*i + 4*i - 5996 = 0. Is i composite?
False
Let a be 3*(16/12 + 0). Suppose -2*t + 4*j + 311 = -t, a*t + 2*j = 1334. Is t prime?
True
Let j(w) = -w**3 + 7*w**2 - 5*w - 1. Let a = 22 - 16. Let z be j(a). Let t(u) = 6*u + 7. Is t(z) composite?
False
Suppose 0 = -6*k + 4*k + 136. Let d = 121 - k. Is d a composite number?
False
Let g(a) = 12*a + 3. Let s be g(-3). Is (-4)/22 + (-435)/s composite?
False
Suppose n - 127 = -4*b, -5*b + 508 = 4*n - 0*b. Is n a composite number?
False
Suppose -5*r = u - 13 + 3, 4*u + 10 = 5*r. Suppose u = -5*p + 34 + 311. Is p a prime number?
False
Suppose -5*t - 11 + 33 = -j, 0 = 3*j + t - 14. Suppose -j*m = -0*m - 105. Is m a prime number?
False
Let j be (-1 - -2) + 1 + -2. Suppose -2*k + 138 = -j*k. Is k a prime number?
False
Let n = 7 + -11. Let j = n - 4. Let q = j - -14. Is q a composite number?
True
Suppose -2*o + 4*d = -3*o + 75, o + 5*d - 72 = 0. Let x = 268 - o. Is x a prime number?
True
Let h = 60 + -25. Is h prime?
False
Suppose -2*b = 5*r - 0*r + 15, 3*r + 9 = -2*b. Suppose b = -q - h + 45, q + 2*h - 182 = -3*q. Is q composite?
True
Let f = -740 + 1185. Is f prime?
False
Let y be (-2)/2 + 69/1. Suppose -2*v + y = -106. Is v prime?
False
Let h = -6 + 4. Is h/(-10) - (-1608)/10 prime?
False
Let t = 9 - 5. Suppose -i + 70 = -s, t*i - 283 = 2*s + 3*s. Is i composite?
False
Suppose -12816 + 34673 = 11*w. Is w composite?
False
Let p be 6/((-20)/11 - -2). Suppose -2*a = -a. Suppose p = -a*b + b. Is b a prime number?
False
Let p(d) = 1 + 0 + 4*d - 3*d**3 + 4*d**2 - d. Is p(-3) a prime number?
True
Let t(c) = -c**2 - 8*c - 9. Let o be t(-6). Suppose 4 = 4*m + 4*a - 8, m = -2*a + o. Suppose 4*h - 55 = -m*d, 3*h - 5*d = -2*h + 60. Is h a composite number?
False
Let a = -8 - -8. Suppose 56 = o + 3*i, a*i - 289 = -4*o + i. Is o composite?
False
Let h = 1244 - 613. Is h composite?
False
Let d = -547 - -2204. Is d a prime number?
True
Is ((-14)/6 - -2) + (-4872)/(-9) a composite number?
False
Let o = -1587 + 1097. Is o/5*(-1)/2 composite?
True
Let s be (2 - 1*24)/(-2). Suppose 3 = 4*f + s, b + 50 = -4*f. Let t = -19 - b. Is t composite?
False
Suppose -65 - 2003 = -5*z - 3*v, -2*z + 5*v + 821 = 0. Is z a prime number?
False
Suppose -4*b = 5*b - 23481. Is b a composite number?
False
Suppose -39 + 235 = z. Let l = 293 - z. Is l prime?
True
Let b(z) = -z**3 + 8*z**2 + 13*z + 1. Let u = 6 + -2. Suppose -g - 3 = -3*l, -2 - 5 = g - u*l. Is b(g) a composite number?
False
Suppose 3*s - 3645 = -462. Is s composite?
False
Let h(l) = -14*l - 4. Let f be h(-3). Suppose -4*b + 3*n = -76, 2*b - 5*n - f = -7*n. Is b composite?
False
Suppose 0 = -b - 4*b + 15. Suppose y + 5*o - 42 = 179, 2*y = b*o + 416. Is y composite?
False
Suppose -3*k - 4*v + 13 = 1, k - 14 = 2*v. Let w = 11 - k. Let y(c) = 22*c + 1. Is y(w) prime?
True
Let u = -43 - -84. Suppose -u = -5*j + 3*l, 4*j - 20 = -7*l + 3*l. Is j prime?
True
Let l(q) = q**3 + q + 53. Suppose 7 = -5*r + 2. Let b be r/2*0/(-1). Is l(b) composite?
False
Let k(o) = o**2 + 6*o + 2. Let z be k(-5). Let r be (-4)/(-6)*(z - -6). Suppose r*t + 44 + 197 = 5*x, -3*t + 132 = 3*x. Is x composite?
False
Let q be 497 + (-1 - -1 - 0). Let n = q + -293. Is (-4)/(-14) - n/(-21) a prime number?
False
Let s = 176 - 83. Is s a prime number?
False
Suppose -3*b + 1199 = 278. Is b a composite number?
False
Let m(s) = s + 1. Let g be m(3). Suppose 5*j + 12 = z + 31, 5*z + 32 = g*j. Suppose -51 = -j*d + 54. Is d a composite number?
True
Let j = -1 + 25. Let n = j + -14. Is n a prime number?
False
Let h(x) = x**3 - 9*x**2 + 12*x - 10. Let g be h(8). Let p = 111 - g. Suppose 0 = 3*r - p - 49. Is r a composite number?
True
Let j be -3 + (2 - 1) + 18. Is (2*47)/(j/40) a prime number?
False
Let g(x) = 76*x**2 - 12*x + 3. Is g(-8) a prime number?
False
Let v = 8 - -18. Is (143/v)/(1/4) a prime number?
False
Let n = -41 - -74. Is n prime?
False
Let v(c) = 2*c**3 - 17*c**2 - 26*c - 9. Is v(16) a prime number?
False
Suppose 5*g - 3*g - 2*y = 2432, 3654 = 3*g + 3*y. Is g a prime number?
True
Suppose -4*l + 5*v - 3*v = -12, 2*l - 2 = 3*v. Suppose -l*p = -p. Suppose 2*o - 5*m - 17 = 0, 0 = 4*o + 3*m - p*m - 47. Is o a prime number?
True
Let p(q) be the third derivative of 3*q**5/20 + q**4/12 - 2*q**3/3 + 2*q**2. Let z be 13/4 - 1/4. Is p(z) a prime number?
True
Suppose -5*m = -2*m - 30. Let z = 3 + m. Is z composite?
False
Suppose 13*i - 17*i = -7468. Is i composite?
False
Let u be 2/(-2 - (-2 - -1)). Let b(r) = 8*r**2 - 3*r - 3. Let p be b(u). Suppose 4*o = 5*o - p. Is o prime?
False
Suppose -6*a = -2*n - 2*a - 138, -4*n + 4*a - 260 = 0. Let u = n - -356. Is u composite?
True
Let b be 4 + 4/(16/980). Let w be (3 - -1) + -1 + 0. Suppose -b + 48 = -w*x. Is x composite?
False
Let x(q) = q - 2. Suppose 2*i - 13 = -1. Let z be x(i). Suppose z*m = -0*m + 220. Is m prime?
False
Let m(q) = 49*q + 15. Let h(c) = 16*c + 7 - 2*c + 7*c + 3*c. Let u(z) = -5*h(z) + 3*m(z). Is u(9) composite?
True
Suppose 4*g - 2*g + z = 2, 27 = 5*g - 3*z. Suppose 0 = -5*m + g*u + 445, 3*m - u = 4*u + 283. Is m prime?
False
Let p = -8 - -8. Suppose p*b - 388 = -4*b. Is b a prime number?
True
Suppose -a - 2*a = 5*j + 263, 2*a + 5*j = -172. Let i = 168 + a. Is i prime?
False
Let g(o) be the third derivative of -2*o**2 + 1/12*o**4 + 7/6*o**3 + 1/60*o**5 + 0*o + 0. Is g(-5) composite?
True
Let m(d) = d**2 + 4*d + 5. Let o be m(-4). Suppose w - 4*l + 2 = -2*l, 0 = -4*w + o*l + 4. Suppose 5*f + w*r = 4*r + 58, 32 = 2*f + 3*r. Is f composite?
True
Suppose 2509 = b - 2*s, b + 3*s = -0*s + 2494. Is b composite?
False
Let g = 6007 + -4106. Is g prime?
True
Let b(x) = x**2 + 13*x + 17. Let p be b(-12). Suppose -p*g = -3*g - 204. Let f = 151 - g. Is f a composite number?
True
Let a = 3 - 7. Let t(f) = -f**3 - 6*f**2 - f - 8. Let v be t(-6). Is 74*v*1/a composite?
False
Let j be (-2)/(-1) - 12/4. Let p(b) = 158*b**2 - 1. Is p(j) composite?
False
Let i(u) be the second derivative of u**7/840 - 7*u**6/360 + 3*u**5/40 - 3*u**4/8 - u**3/3 - 3*u. Let t(y) be the second derivative of i(y). Is t(8) prime?
True
Suppose -2*k + 24 = 2*r, k + 14 = 2*k + 3*r. Is k a prime number?
True
Let c(o) = -102*o - 3. Let m be c(-7). Suppose 4*s = 101 + m. Is s a prime number?
False
Let t(y) = y**3 + 98. Let v be t(0). Suppose -v = -d + 29. Is d a prime number?
True
Let z(o) = 4*o**2 - o - 1. Let t be z(-1). Let k = 6 - t. Suppose 3*r - 11 = k*r. Is r a composite number?
False
Suppose -3*y = 6, 4*k - 5*y - 42 = -0*k. Let o = 54 + k. Is o composite?
True
Suppose -4*l = 5*a - 28 - 42, 4*a = 4*l + 20. Let u = 27 + a. Is u composite?
False
Suppose -5*u + 0*u + 615 = 0. Is u/9 - 2/3 prime?
True
Let z = 259 + -395. Let m = z + 201. Is m a prime number?
False
Let f(g) = 158*g**2 - 2*g. Let i be f(-2). Suppose -3*n + n - 3177 = -5*m, -m + n = -i. Is m prime?
False
Let z be ((-4 + -2)/3)/1. Is z/3 + 236/12 a prime number?
True
Let t(a) = -a**3 - 9*a**2 - 8*a + 10. Let q be t(-7). Is q/(-16) + (155 - 0) composite?
False
Let m = 9 - -2. Suppose 0 = -x + m + 12. Is x composite?
False
Suppose 0 = 5*y - 29 + 4. Suppose -2*r + 5*r = 2*w - y, r = 1. Is (-1)/(-4) - (-1027)/w prime?
True
Let b = -494 - -969. Suppose 0 = 4*x + 1219 - b. Let t = 269 + x. Is t prime?
True
Let y(n) = -31*n**3 + 4*n**2 - 5*n - 2. Let o(m) = -32*m**3 + 3*m**2 - 4*m - 1. Let r(x) = -3*o(x) + 2*y(x). Is r(1) a composite number?
True
Let y be (5/(-2))/(1/(-2)). Suppose 3 = -l, y*m + 3*l = 3 - 2. Suppose -i + 6*s + m = s, -i + 9 = 2*s. Is i composite?
False
Suppose 0 = -6*y + 4*y - 4*k - 4, 0 = 4*y + 4*k + 8. Is (-5)/y*52/10 a prime number?
True
Let i be 9/(-15) - 2/5. Let p(c) = -83*c + 3. Let d(o) = 55*o - 2. Let m(v) = -8*d(v) - 5*p(v). Is m(i) prime?
False
Let k = 11 + -8. Suppose -3*m + 379 = 4*j, 0*m - k*m = 3*j - 384. Is m a composite number?
True
Suppose 3*p + 838 = 5*p. Is p prime?
True
Suppose -1 = -3*b + 4*b - 5*q, -5*q + 25 = 5*b. Is ((-63)/(-3))/(6/b) composite?
True
Let k(p) = p**3 + 4*p**2 - 2*p - 3. Let z be k(-3). Suppose 5*h = z - 2. Suppose 110 = h*c + 3*s, -2*c + 0*c - 5*s + 110 = 0. Is c composite?
True
Suppose -252 = -7*z + 4*z. Suppose -z = -2*f + 26. Is f a prime number?
False
Let l = -4 - -6. Suppose -l*y = -5*y. Suppose y = -2*x - x + 111. Is x prime?
True
Let k = -22 - 8. Let h = 4 - k. Is h prime?
False
L