-4) a prime number?
False
Let x be 3/3*1*-7. Let f = -2 - x. Suppose -f*c - 4*s = -185, 4*c - 4*s = -c + 185. Is c prime?
True
Let n be 0/(-1) - (0 - 26). Let a be 372/(-8)*(0 - n). Suppose -5*p + a = 124. Is p a composite number?
True
Suppose 4*b + 4 = 3*t, -t - 5*b - 5 = -19. Suppose t*l - 54 = -6. Suppose -c + l = 2*c. Is c prime?
False
Suppose z = x + 87, 4*z + 336 = 8*z - x. Is z composite?
False
Let x(y) = -y**3 - y**2 + y + 5. Let g be x(0). Let k be (0 - 2/1)*-86. Suppose 156 = g*i - w, 5*i - k = 3*w - 14. Is i a prime number?
True
Suppose -r - 298 = -2*t, -5*t + 38 + 692 = 5*r. Suppose -2*z - t = -6*z. Is z prime?
True
Let n(c) = 382*c + 10. Is n(4) a composite number?
True
Suppose 2*o + 518 = 2*w, 6*w - 1295 = w - 4*o. Is w a prime number?
False
Suppose -4*a = 8*a - 3576. Is a a composite number?
True
Let q(l) = 128*l + 3. Is q(1) prime?
True
Let q(s) = s**2 + s + 3. Let r be q(-3). Let d = r + -23. Is 0 - 0 - -1 - d prime?
False
Suppose 3*p + 3*c - c + 2 = 0, -2*p + 3*c + 3 = 0. Suppose -2*m + 8 = -p*m. Suppose m*n = 205 - 57. Is n a composite number?
False
Suppose -2*h = 4*n - 4 - 4, -2*n + 5*h - 20 = 0. Suppose n = k + 2*k + 54. Is 3*(-2 + k/(-2)) prime?
False
Let y(d) = -3*d**2 + 2. Let i(b) = 6*b**2 - 4. Let w(q) = -2*i(q) - 5*y(q). Is w(7) a composite number?
True
Let x(n) = 6*n + 17*n + 26*n - 16*n + 13. Is x(6) a prime number?
True
Let u = 48 + -91. Let s = 78 + u. Is s composite?
True
Suppose 4*y - 32 = -12. Suppose 0 = -y*i + i + 228. Let o = i + -22. Is o a composite number?
True
Suppose -5*z + 46 = -39. Suppose -98 - z = -5*x. Is x a composite number?
False
Let n be (0 + 0/(-1))/(-2). Let c be (0 - (1 - n)) + 28. Suppose -3*u = -2*u - 5*t - 19, -c = -u + 3*t. Is u a prime number?
False
Suppose -2 = -4*b - 6. Let h(j) = -111*j**3 - j**2 + j - 2. Let l(k) = 110*k**3 + 2*k**2 - k + 3. Let o(g) = 3*h(g) + 2*l(g). Is o(b) prime?
True
Suppose 188 = 7*f - 1667. Is f a composite number?
True
Let v be 2/(8/7 + -1). Suppose -k + 72 = v. Is k a composite number?
True
Let a(t) be the second derivative of t**4 - t**3/2 - t**2/2 + 6*t. Let h be (6/(-4))/(3/4). Is a(h) a prime number?
True
Let d be ((-12)/9)/((-2)/3). Let p be (3 - d)*1*263. Suppose -2*u + p = 85. Is u a composite number?
False
Suppose -v = 2*s - 497, 5*v - 2*s - 2363 - 62 = 0. Is v prime?
True
Let j(q) = 13*q**2 + 27*q - 5. Is j(7) a prime number?
True
Suppose 0 = 4*d - 5*d, -5*d + 20 = 4*l. Suppose u - s = -6*s - 23, l*s = u - 17. Is (-653)/u - 4/6 a composite number?
True
Suppose 1 = -x, -x = 4*w - 0*x - 75. Suppose o = -0*o + w. Is o composite?
False
Suppose 0 = -4*n + 3*j + 23, 4*j = -2*n - 0*n + 6. Suppose -3*t = -t + n*w - 288, 4*t - 3*w - 602 = 0. Is t a composite number?
False
Suppose w = 8 + 56. Suppose w - 694 = -o. Is (2/3)/(12/o) a composite number?
True
Suppose q - 3*q = -2*p + 1194, 3*p + 2*q - 1806 = 0. Let n = -415 + p. Is n a prime number?
False
Let o = -1 + 3. Let q be (-34)/(-8) - (-14)/(-56). Is -26*(6/q - o) composite?
False
Suppose -2*i + 5*z - 17 = 0, -4*i + 5*z - 10 - 9 = 0. Let d be 1/(-1) + (i - 1). Is (-99)/d + (-2 - 0) prime?
True
Let u(i) = -i**3 - 6*i**2 + 2*i - 2. Is u(-7) composite?
True
Let b = 7 - 2. Let q(y) = -y**3 + 7*y**3 + 5 + 3*y - y**3 - 7*y**2 - b*y. Is q(5) a prime number?
False
Suppose u + 5*n - 51 = 0, 4*u - 4*n - 129 = -9*n. Is u a prime number?
False
Suppose 2 = -5*s + 12. Suppose 5 = -5*j, -2*z - s*z - j = 69. Let o = 62 - z. Is o composite?
False
Let i = -4691 - -7024. Is i composite?
False
Let w(m) = m**3 + m. Let q(s) = -3*s**3 - 2*s + 21. Let k(r) = q(r) + 2*w(r). Let y be k(0). Suppose y = n - 0*n. Is n composite?
True
Suppose -162 = -5*b - 42. Let x = b + 6. Let g = x - 17. Is g prime?
True
Let f(n) = 159*n - 1. Let a = 6 + -4. Is f(a) composite?
False
Is (-85 - 8/4)/(-1) a prime number?
False
Let u(h) = h - 4. Let g be u(4). Suppose o = 5*p - p - 129, 3*p + 5*o - 114 = g. Is p composite?
True
Suppose 12*n = 15*n - 357. Is n prime?
False
Suppose v = -5*h + 534, -2*h = -3*v - 4*h + 1641. Let k = v - 218. Is k a prime number?
True
Let r be 6/(-2) - (-7 + 4). Let y(f) = f**2 + 2*f + 329. Is y(r) prime?
False
Let g = -38 + 43. Suppose -5*m + 2085 = -0*m. Suppose g*u + 0*x + x - m = 0, -2*u = x - 168. Is u prime?
True
Suppose 22 = h + 3*r, -5*r + 43 = 4*h - 10. Suppose 5*d + 5*g = 3 + h, -4 = -2*d - 5*g. Is d/3 - (-127)/3 a composite number?
False
Suppose -14 = -3*x + 1, -3694 = 3*o - 2*x. Is 1/(-2 - 2460/o) composite?
False
Let a = 4 - -15. Suppose a = p - 146. Suppose -4*v + p - 9 = 0. Is v a composite number?
True
Suppose 3*i - 8 = -z - 2, 3 = i. Let a be 0 + -104 + 0 + z. Let n = a - -204. Is n a composite number?
False
Let k be 3 + (3 + -4 - 45). Is (-8)/4*k/2 a composite number?
False
Suppose -4669 = -6*n - 1855. Is n a prime number?
False
Suppose 5*l = 2121 - 236. Is l a composite number?
True
Is 12/8*(-1004)/(-6) a composite number?
False
Suppose -9*v + 14029 - 1906 = 0. Is v prime?
False
Suppose -3*h = 4*s - 0*h - 10, 2*s - 4 = -h. Let l = 13 - s. Suppose -2*r = -266 - l. Is r composite?
False
Suppose -2*w + 10 = -o, 2*o = 3*o - 3*w + 12. Let l be 26/7 + o/(-21). Suppose 0*a - l = -a. Is a a prime number?
False
Let c(t) = t**3 - 4*t**2 - 3*t - 7. Let q be c(5). Suppose q*b + 0*b = 0. Suppose i - 38 - 9 = b. Is i a composite number?
False
Let w be 1828/36 + (-2)/(-9). Suppose -3*c + w = -4*c. Let o = c + 136. Is o prime?
False
Suppose 2*u = 2*q - 4*q + 70, -4*q = 2*u - 78. Is u composite?
False
Let u = -1 + 3. Suppose -u*k - 203 = -3*k. Is k prime?
False
Let k be (-5034)/(-15) - 2/(-5). Let b = k - 198. Let f = 215 - b. Is f prime?
False
Let y be 92*3*(-2)/(-3). Suppose -6*g + 250 = -g + 3*x, -3*g + 5*x = -y. Is g prime?
True
Let a(b) = 7*b**2 - 8*b + 23. Is a(8) a prime number?
False
Let c be (-1)/(1/(-237)) + 1. Suppose 2*y + 3*n = c, -758 = -4*y - n - 282. Is y composite?
True
Let b = 225 - 148. Is b a prime number?
False
Let r(u) = 2*u**3 - 5*u**2 + 5*u - 2. Suppose -2*l + 3 = z, 0 = -l + 6*l + 10. Let k be r(z). Suppose 6*x - k = 2*x - 5*y, -x - y = -119. Is x composite?
True
Let o(m) = -151*m - 10. Is o(-3) a prime number?
True
Is 1*(102/85)/((-4)/(-1010)) prime?
False
Let o(c) = 2*c**3 + c**2 - 2*c + 1. Let q be o(1). Let l(x) = 0*x**2 + 3 - x**q + 4*x**2 + x**2. Is l(-3) a prime number?
False
Let s(l) be the first derivative of l**4/4 - 3*l**3 + 9*l**2/2 + l - 3. Is s(12) a composite number?
False
Is 1187/2*(-1 - -3) composite?
False
Suppose 3*l = l + 314. Is l composite?
False
Suppose 2*n + 3*t = -3*n + 117, -5*n + 121 = -t. Suppose 0*m = w + m - n, -3*w + 77 = -2*m. Is w a composite number?
True
Let i(k) = k**2 - k - 5. Suppose 7*x + 41 = 5*r + 3*x, 2*x + 25 = 3*r. Is i(r) a prime number?
True
Let s(m) be the first derivative of 17*m**4/2 - m**3/3 + m + 1. Let k = 38 + -37. Is s(k) prime?
False
Suppose 0 = 4*o + o - 5. Let i(t) = 6*t. Is i(o) composite?
True
Let i(r) = 2*r**2 + 8*r - 5. Is i(6) a composite number?
True
Suppose -3*q + 1348 = -233. Is q composite?
True
Let j(i) be the second derivative of 19*i**4/6 + i**3/6 + i. Is j(-1) a prime number?
True
Let y = -689 + 5082. Is y prime?
False
Let f(g) = -g + 1. Let o(m) = m**2 - 3*m - 1. Let s(k) = -k - 3. Let l be s(-2). Let i(d) = l*f(d) + o(d). Is i(-2) a composite number?
True
Let g(t) = -t**2 - 2*t + 3. Let p be g(0). Let h be 166 + (-1 - 1) + 2. Suppose -p*i + i = -h. Is i a prime number?
True
Let x be 2/3 - (-163)/3. Is (x - 0/(-1))/1 composite?
True
Let l(h) = 24*h**2 - 1. Let g be l(1). Suppose 2*i + 5*r - 53 = 0, i + 5*r = 3*i - g. Is i prime?
True
Let g = -269 + 472. Is g a prime number?
False
Let l(h) = -15*h**3 + h**2 - 3*h - 2. Suppose 2*z = -g, 3*g - 16 = 4*z + g. Let s be l(z). Let f = -39 + s. Is f composite?
False
Let b(v) = v**3 - v + 8. Let h be b(0). Let d = 5 + -3. Let g = h + d. Is g a prime number?
False
Let z(v) = v**3 + 3*v**2 - 6*v + 5. Is z(6) a composite number?
False
Is 0 + (-6870)/(-2) + -2 composite?
False
Suppose u + 4*t + 0*t = 187, 3*u = 4*t + 625. Is u a prime number?
False
Suppose -2*o - 4*u - 20 = 0, -3*u + 3 = -5*o - 8. Let p(l) = -18*l + 5. Is p(o) composite?
True
Suppose -2*n - 2 = -0. Is (-3)/n*127/3 composite?
False
Let i(j) = j**3 + 4*j**2 - 9*j - 5. Let k be i(-6). Suppose -89 = 2*g + 91. Let z = k - g