y(r) be the third derivative of r**4/24 + r**3/3 + r**2. Let v be y(0). Suppose -6 = -2*t - v. Is t composite?
False
Let t be (2 + -1)/(1/(-1)). Let n be (-1)/(1/(t - 4)). Let q(x) = 14*x - 5. Is q(n) a composite number?
True
Let i = 1296 - 843. Suppose 0 = -2*y + 5*k + 383, -k = -4*y + 286 + i. Suppose 4*t - 51 = 2*c - 241, -y = -2*c + 2*t. Is c a prime number?
True
Let m = -7 + 13. Suppose d = -4*a - 2, -2*a + 2 = d + m. Is 23 + (-3)/(9/d) prime?
False
Let v(o) = -3*o**3 + o**2 - o + 631. Is v(0) prime?
True
Let v(l) = l**3 - 6*l**2 - 6*l - 5. Let r be v(7). Suppose d + 81 = f - d, -3*d + 197 = r*f. Suppose 0 = 5*p - 356 + f. Is p a prime number?
True
Suppose 2*l - 2500 = -3*l. Let x = l - 319. Is x a composite number?
False
Let y(i) = i + 163. Let x be y(0). Suppose z = 2*t + 49, 2*t - x = -3*z + 8. Is z prime?
False
Suppose 10*a - 1034 = -a. Is a a prime number?
False
Let z(l) = -3*l**2 - 2*l + 3. Let n be z(-4). Let y = -3 - n. Is y a prime number?
False
Let j be 238 - -1 - (-12)/(-4). Suppose -2*z + 5*s + j = z, 0 = z + 5*s - 72. Is z composite?
True
Let v be (-6)/(-8)*(6 + -2). Suppose -8*c = -v*c - 10. Suppose 5 = 5*n, 3*g - 30 - 11 = -c*n. Is g composite?
False
Let d(c) = -16*c**3 + 3*c**2 + 2*c - 1. Let v be d(-2). Suppose -3*y = -2*i - 285, -y + 2*i + v = 44. Is y composite?
False
Let k = -146 - -205. Is k composite?
False
Let r be 0 + (-2 + 9)*27. Suppose r = 4*i - 71. Is i composite?
True
Suppose -105 - 67 = -n. Let w = -8 - n. Let g = w + 257. Is g a composite number?
True
Suppose -100 = b + 3*b. Let l = 12 + b. Let p = 24 + l. Is p a prime number?
True
Suppose -2*u + 4*g = -10322, -3*g - 16 = g. Is u prime?
True
Suppose -3*g + 1919 = o, 5*o - 1262 = -5*g + 3*g. Is g prime?
True
Let n = -24 + 49. Suppose -3*i + n = 1. Suppose -i = -g + 3. Is g composite?
False
Let k(t) = -t**2 - 5*t + 3. Let q be k(-5). Suppose 0 = q*v + 4*r + 61, -3*r = -19 + 4. Is 2/1 - 3*v composite?
False
Let g be 19/(-7) + 4/(-14). Is 25 + -2 + (-3 - g) a prime number?
True
Let b(l) = 3*l**2 - 2. Is b(3) a prime number?
False
Let a(w) = 3. Let j(x) = x - 14. Let r(t) = 11*a(t) + 2*j(t). Let m be r(-6). Is (m/14)/((-1)/38) prime?
True
Let d = -27 - 3. Let s = d - -121. Is s a prime number?
False
Suppose 2*b - l + 7 = 0, -4*l + 7 + 16 = -3*b. Let f be (-2 - b)/((-2)/6). Suppose -r + k + 77 = -f*k, 0 = -3*r + k + 198. Is r prime?
False
Let m be -2 - (-5)/(15/18). Suppose 0*l + 316 = m*l. Is l composite?
False
Suppose t = -4*g + 13, 0 = t - g - 4 - 4. Suppose 0 = -3*y, 0 = -t*o + 6*o + 4*y + 24. Let p = 49 + o. Is p composite?
True
Let f(j) be the third derivative of -j**6/120 + j**5/60 + j**4/12 + 55*j**3/6 + j**2. Is f(0) composite?
True
Let p(o) = -2*o + 211*o**2 + 0*o + 1 + 3*o. Let i(a) = a + 1. Let t be i(-2). Is p(t) a composite number?
False
Let s(w) be the first derivative of -w**4 - w**3 + w**2/2 - 4*w - 1. Is s(-3) composite?
True
Suppose 2*m = m + 197. Suppose 3*t - 3*v - m = -2*t, 0 = -2*t - 3*v + 62. Is t a prime number?
True
Suppose l + 1 = 4. Suppose -l*a - 2*a + 165 = 0. Is a composite?
True
Suppose s - 2757 = -4*r, -1701 + 328 = -2*r + 5*s. Is r composite?
True
Suppose 0 = -5*s + 3*s - 20. Let v = -8 - s. Suppose -v*x + 3*t = -305, 265 = 2*x - 0*t + 5*t. Is x a composite number?
True
Is 6908/6 - (-13)/(-39) a prime number?
True
Suppose 2*b + 7*b - 1719 = 0. Is b a composite number?
False
Let o(y) = 123*y**3 + y - 1. Let p be ((-3)/18)/((-3)/18). Is o(p) prime?
False
Suppose -4*h + 88 = -12. Suppose 0 = 5*t - h, 0 = u - 2*t + 3 - 0. Is u a composite number?
False
Let i(a) = -2*a. Let k be i(-1). Suppose -4*q = q + k*b + 624, -3*q - 4*b - 380 = 0. Let c = q + 206. Is c prime?
False
Suppose -3*h = -4*h + 28. Is 3/4 + 2471/h a prime number?
True
Let j be (-3 + 3)*(2 + -1). Suppose j = -6*n + 7*n - 211. Is n a prime number?
True
Let u = -3 + 23. Let j(h) = 2*h. Let g be j(-1). Is 692/u + g/(-5) prime?
False
Let b be 0/(-2)*(-2)/4. Let y = 3 + b. Suppose u + 28 = y*u. Is u a composite number?
True
Let d(w) = 3*w**2 - w - 1. Let l be d(-1). Let r(f) = f + 3. Is r(l) a prime number?
False
Let c = 1663 + -944. Is c a composite number?
False
Let u(h) = -9*h + 2. Let m be u(-3). Let l = 18 + m. Let y = -32 + l. Is y composite?
True
Is 2232/10 - ((-4)/5 + 1) prime?
True
Let t(k) = -k**3 + 6*k**2 + k - 3. Let u be t(6). Let q be (22/(-6))/((-1)/u). Is q*(6/3)/1 composite?
True
Let v(t) = -t**2 - 11*t - 1. Let w be v(-6). Let n = 98 + w. Is n a composite number?
False
Let w(x) = -x**3 + 4*x**2 + 6*x - 2. Let i be w(5). Suppose i*n = -n + 92. Is n a composite number?
False
Let r(v) = 8*v**2 - 10*v + 1. Let p be r(7). Let b(w) = -2*w**2 - 8*w - 4. Let y be b(8). Let s = p + y. Is s prime?
True
Let v(k) = -15*k - 3. Let m be v(-6). Let a = 133 - m. Is a a prime number?
False
Is ((-15522)/8)/(-13) + (-1)/4 a prime number?
True
Suppose -10 = -3*d + 2. Suppose -3*o + 218 = -o - d*m, 0 = -o - 2*m + 121. Is o prime?
False
Let j be ((-18)/21)/((-2)/(-14)). Is (2/j)/((-2)/222) a composite number?
False
Let o = 8 + -4. Suppose z - 110 = -o*z. Is z a composite number?
True
Let b be (-2 + 1)/(3/(-18)). Is (-1)/2 - (-1149)/b prime?
True
Let h(j) = 2*j**3 - 8*j**2 + j + 5. Let x(n) = 2*n**2 + 4*n. Let q be x(-3). Is h(q) prime?
False
Let m(i) = -64*i**3 - 2*i + 1. Is m(-3) a composite number?
True
Is -3 + 3222/66 + 4/22 prime?
False
Let t(z) = -2*z**2 + 6*z - 8. Let u be t(6). Let d be 4/22 - 124/u. Let g(r) = 3*r**2 - 3*r - 3. Is g(d) a prime number?
False
Let y(h) be the third derivative of -h**6/120 + h**5/60 + h**4/24 + h**3/2 - 2*h**2. Is y(-4) prime?
True
Suppose 0 = m + 2*c - 193, 2*m - 3*c = -2*c + 381. Is m prime?
True
Suppose -l - 23 = -p, l - 46 = -2*p - 2*l. Suppose 4*u + 2*o + o = 69, 5*u = 3*o + 66. Suppose u = 2*a - p. Is a composite?
False
Suppose 0 = 6*d - 9*d - 5*a + 4108, -5*d + 6780 = -5*a. Is d a prime number?
True
Let l be 68/6 - 1/3. Let r = 7 + l. Suppose -3*g + j = -r, 0*g = g - 5*j - 6. Is g a prime number?
False
Let d = 10 + -4. Is 116/d - (-3)/(-9) composite?
False
Let j(s) = 2*s**2 + 9*s + 20. Is j(11) a prime number?
False
Let h be (-668)/(-2) + (1 - 2). Suppose 5*n = -5*y + 595, 2*y - 3*n - h = -y. Is y prime?
False
Let q(j) = 45*j + 5. Let b be q(6). Suppose -9*c + b = -4*c. Is c prime?
False
Let d(c) = c**3 - 10*c**2 + c - 8. Let q be d(10). Suppose 248 = 3*k + q. Is k prime?
False
Let y be (-604)/(-3) - 2/6. Let s(j) = -j**3 + j**2 - j - 136. Let r be s(0). Let w = r + y. Is w a composite number?
True
Suppose -61 = -3*j - 13. Suppose -4*d + 2*m = -j, -2*d - d = 5*m + 14. Suppose 5*v + 49 = 5*p + 9, p + d*v - 11 = 0. Is p prime?
False
Suppose -2*s - 39 = -409. Is s a prime number?
False
Let s = 15 + -10. Suppose x + 308 = s*x. Is x a prime number?
False
Let n(l) = 24*l**2 - 2*l - 3. Is n(-2) a prime number?
True
Let c(d) = -1 - 12*d - 1 - 1. Is c(-3) a composite number?
True
Let u(v) = 21 - 14 + 2*v**2 + 6*v + 2*v**2 - 3*v**2. Suppose 0 = -0*a - 4*a - 28. Is u(a) composite?
True
Let o(h) = -h**3 + 9*h**2 + 4*h - 5. Let p be o(9). Suppose 3*n = 4*n - p. Is n a prime number?
True
Let l(p) = 15*p**3 - 2*p**2 + 1. Suppose 5*u - 4*a = a, -1 = 4*u - 5*a. Is l(u) composite?
True
Suppose l = 66 + 94. Let a = 392 - l. Is (a/2)/(6 + -4) a composite number?
True
Suppose -3*c + 3158 = i - 8*c, 0 = -4*i - 3*c + 12655. Is i a prime number?
True
Suppose -4*w = 2*w - 3522. Is w a composite number?
False
Let r(k) = -k**3 - 10*k**2 - 9*k + 7. Let o(i) = -i**2 - 8*i - 10. Let q be o(-8). Is r(q) composite?
False
Let j = 24 + -15. Suppose j = -5*k + 454. Is k a composite number?
False
Is 45 - -1*(3 - 5) composite?
False
Let g(w) = 5 - 13*w - 5 - 3. Let q be g(-2). Suppose -23 = -2*t + q. Is t composite?
False
Let z = 9 - 3. Let k = z + 2. Is (-28)/k*(-2 + -24) composite?
True
Let b = 93 + 598. Is b composite?
False
Let t(d) = -d**2 + 7*d + 4 + 4*d - 2*d. Let p be t(9). Suppose p*n - 3*s = 2*s + 357, -s - 420 = -5*n. Is n a prime number?
True
Suppose -y + 450 - 40 = 0. Let b(r) = r**2 + 5*r - 1. Let q be b(-6). Suppose -84 = -g - t, 4*t = q*g - t - y. Is g prime?
True
Let i be (-9)/6*-2 + 234. Suppose 5*j + 82 - i = 0. Is j a prime number?
True
Let c be (-2)/1 - -2 - -16. Suppose 5*m = 4*f + 39, 3*m - f - 6 = c. Is m a composite number?
False
Let w(k) = k*