v(-5) composite?
True
Suppose 0 = -j - 0*j + 2. Is 2/((-4)/(-182)) + j composite?
True
Let s(t) = t**2 + 2*t + 20. Suppose 2*y = -a - 7, 0 = -5*y + 5. Is s(a) prime?
True
Let p(o) = o**3 - 3*o**2 + 2*o. Let n be p(2). Let x = 1 + n. Is x/(-1)*(-9 + -2) composite?
False
Let h = 5176 + -3236. Suppose 6*d - 2*d = h. Is d composite?
True
Let z(t) = 2*t. Let x be z(1). Suppose -5*f + 122 - 17 = 0. Suppose f = x*k - k. Is k a composite number?
True
Let m be (56 - -2)/((-2)/(-29)). Suppose 601 = 2*y - m. Is y a prime number?
False
Let x(j) = -j**2 + 13*j - 11. Is x(10) a prime number?
True
Let o(y) = 37*y**2 - y - 1. Let u = -13 - -12. Is o(u) prime?
True
Let w(g) be the first derivative of 19*g**2/2 + g - 1. Let j be w(1). Suppose a - j = 27. Is a composite?
False
Suppose -455 = -d - 3*a, 5*d - 8*d = -2*a - 1343. Is d prime?
True
Suppose 4*d + 16 = 0, -506 = 3*p - 5*p + d. Is p a prime number?
True
Let t be (-1)/4 + (-107)/4. Let f = 221 + t. Let p = 281 - f. Is p composite?
True
Let g(w) = 2*w**2 - 7*w + 5. Is g(12) composite?
True
Let b(w) = 3*w**3 - w**2 + 5*w - 5. Is b(4) a composite number?
False
Suppose 11*f - 3155 = 6*f. Is f a prime number?
True
Let q = 7 - 40. Suppose 2*v = 2*l + 36, 5*l + 58 = v - 4*v. Let g = l - q. Is g prime?
True
Suppose -41 - 29 = -2*j. Is j a composite number?
True
Let v(d) = d**2 - d - 2. Let b be v(10). Suppose -5*y = -3*h + b, 5*h + 4 = -16. Let c = y - -111. Is c composite?
True
Suppose -3*g + 154 = -32. Suppose -3*m + 5*a = 3*a - g, 3*m + 5*a = 76. Is m a prime number?
False
Suppose -3*k + 0*k = 0. Let m = k - -2. Suppose 4*s - 8 = 0, -m*n + 35 + 33 = -3*s. Is n prime?
True
Suppose -3*k + 25 - 7 = 0. Suppose 4*r - 404 = 4*t, -3*r + k*r - 2*t - 299 = 0. Is r a prime number?
True
Suppose -3*j = -l + 300, 0*l + 2*j = -4*l + 1158. Let q = 743 - l. Suppose 288 + q = 4*r. Is r a composite number?
True
Let z = 374 + -525. Let f = z + -346. Let a = -336 - f. Is a composite?
True
Suppose -2*v = -5*v + 291. Is v a composite number?
False
Let y(x) = x**3 - 11*x**2 - 6*x - 7. Is y(12) prime?
False
Suppose 1088 = 2*x + 3192. Is (12/(-8))/(6/x) composite?
False
Suppose a + k - 32 = 0, a - 5*k + 7*k = 30. Is a a composite number?
True
Let x(r) = 33*r**2 + 4*r + 3. Let n(y) = -4*y + 2. Let p be n(1). Is x(p) composite?
False
Let c be (1 - -15) + (-1)/(-1). Suppose 14 = 4*k + 6. Suppose -k*m + 11 = -c. Is m a prime number?
False
Let o(m) be the first derivative of -5*m**4/6 + m**3/6 - m**2/2 - 1. Let j(t) be the second derivative of o(t). Is j(-1) prime?
False
Suppose 2*b - 1 = 1. Let m(c) = 3*c**2 + 2*c**2 - 2*c**2 + c - b. Is m(-3) a composite number?
False
Suppose s - 4*a - 12 = 0, -3*a = -4*s - a + 6. Suppose 1063 + 127 = 5*u - 5*q, -3*u - q + 714 = s. Suppose 5*p = 2*n - 565, 2*p - u = 5*n - 1703. Is n prime?
False
Suppose 0 = -2*b - 2*b. Suppose -k - 2 = -b*k. Let y = 32 - k. Is y prime?
False
Suppose j = -0*k + k - 4, 3*k = -5*j - 20. Suppose k*b = b. Suppose -265 = -5*x - b*x. Is x a composite number?
False
Let p(y) = y**3 - y - 27. Let n(s) = -s**2 + 7*s - 6. Let w be n(6). Let l be p(w). Let t = 116 + l. Is t prime?
True
Suppose -3*c = 2*o + 7 + 2, 5*o - 40 = 5*c. Suppose -o*q + 170 = 2*q. Is q a composite number?
True
Let d = 22 - 22. Suppose 5*v + y - 2135 = 0, d*v + 427 = v - y. Is v prime?
False
Let u be 3*598/12*4. Suppose -3*j + 2*j = b - 303, 0 = -2*b - 4*j + u. Is b composite?
False
Is (1128/18)/((-6)/(-9)) a composite number?
True
Suppose 8 = 3*c - 1. Let w be (-1)/((-2)/1266) + -1. Suppose -c*s - j + 378 = -0*j, 5*s + j - w = 0. Is s composite?
False
Let l(i) = i**2 + 6*i + 6. Let x be l(-3). Let g(o) = -8*o - 1. Is g(x) a prime number?
True
Let o = 31 - 21. Let t = o - -15. Is t prime?
False
Let m(p) = -p**2 - 6*p - 4. Let c be m(-4). Suppose -2*r - r = -12, -4*o + 4*r - 8 = 0. Suppose 4*x = 2*x - o*u + 98, -5*x + 249 = c*u. Is x composite?
False
Let r(z) = -z**3 - 16*z**2 + 24*z - 19. Is r(-20) a prime number?
False
Let r be 215/4 - (-9)/36. Let z = 199 - r. Is z a composite number?
True
Suppose 0*g + 5*g - 595 = 0. Is g a composite number?
True
Let q(h) = -75*h - 7. Is q(-2) prime?
False
Let o(w) = w**3 - 5*w**2 - 9*w + 12. Let f(d) = -3*d**3 + 15*d**2 + 26*d - 37. Let k(m) = 2*f(m) + 7*o(m). Let x be k(7). Let p = 78 - x. Is p composite?
False
Let s be 0/((1 + 0)/1). Suppose s*d = 3*d - 33. Suppose -2*b - 6 = b, 0 = i + 4*b - d. Is i a composite number?
False
Suppose 0 = 4*m + 24 - 68. Let l = m - 1. Is l a prime number?
False
Let a = 5215 + -3708. Is a a prime number?
False
Let b = 396 - 277. Is b composite?
True
Let t = 38 - -86. Let q = -209 + t. Let o = q + 152. Is o a composite number?
False
Let h be ((-132)/8)/(9/(-12)). Let g = 53 - h. Is g a composite number?
False
Suppose -i + 0*m - m = -81, 0 = -2*m + 10. Suppose i = 2*a + 2*a. Is a prime?
True
Let p(x) = 9*x - 14. Let g(z) = -z + 16. Let o be g(11). Is p(o) prime?
True
Suppose 3*z - 2*z - 1114 = -5*d, -3*z = -2*d + 449. Is d composite?
False
Let w(k) = -16*k**3 - 3*k**2 - k + 7. Is w(-3) a prime number?
False
Let w(y) = 10*y - 4. Let f be w(9). Suppose 275 = 5*b - 5*i, 5*b - f = 4*i + 191. Is b a composite number?
True
Is (2/1)/2 + 10368/16 prime?
False
Let m = 472 - 311. Is m a prime number?
False
Suppose 8*n - 496 = 4*n. Suppose 4*z - n = 216. Is z composite?
True
Suppose -3*n - 19 = 5. Let g = n + 67. Is g a prime number?
True
Let t(f) = -980*f**3 - 3*f**2 - 3*f - 1. Is t(-1) prime?
False
Suppose 5*l - 49 = -4*o + 2*o, -o - 3*l = -22. Is o a prime number?
True
Suppose 5*y - 5*o - 45 = 0, -3*y + 20 = 5*o - 7. Let z be -2 + (-19)/(-3) + (-7)/21. Suppose -5*l + 2*n + 67 = 0, -3*l - z*n = -26 - y. Is l composite?
False
Suppose 0 = -3*q - 2*f + 59, 3*f = 3*q - 7*q + 77. Let d = 13 - 8. Suppose v - y - 12 = 0, -2*v - d*y + 15 = -q. Is v a composite number?
True
Let a = 30 - 44. Let i = a - -47. Suppose -i = -3*k + 126. Is k prime?
True
Let o(u) = 5 - 3*u - 3 + 4*u. Let y be o(8). Is y/45 - 2930/(-18) composite?
False
Let q = 725 - 420. Is q prime?
False
Let i(f) = 4*f**3 - 2*f**2 - 5*f - 2. Let q be i(5). Let l = -116 + q. Is l a prime number?
True
Suppose 20 = 4*d + 4*y, -6 - 4 = -5*y. Suppose d*t - t = -2*i + 128, -4*i + 49 = t. Is t composite?
True
Let t = -87 + 448. Is t prime?
False
Is 320 + (-4 + 3)*-1*-1 a prime number?
False
Suppose 760 = 2*u - 4*t, -1905 = -u - 4*u + 5*t. Is u a prime number?
False
Suppose 2*k - 5335 = -9*k. Is k a prime number?
False
Suppose 5*x - 4006 = b, 4*x + 2*b = 7*b + 3188. Is x composite?
True
Let a = -7 - -5. Let o = 41 + a. Is o a prime number?
False
Suppose 0 = -2*j + 5*f + 5, -3*f + 10 + 13 = 4*j. Suppose -2*g + j*o = -5, 0 = -4*g + 6*o - 5*o + 55. Suppose -g = -3*m + 48. Is m a prime number?
False
Suppose 121 = 3*u - 206. Let q be -44*((-14)/(-91) + (-22)/(-26)). Let y = q + u. Is y composite?
True
Suppose 4*o + 5*h = 1294, -4*o = o - 4*h - 1597. Is o a prime number?
False
Let n = -168 - -279. Is n prime?
False
Let g = -7 + 16. Let b(x) = 18*x - 11*x + g*x + 20*x + 3. Is b(3) a composite number?
True
Suppose 3*s = 143 + 46. Let f = 112 - s. Is f prime?
False
Suppose 0 = 4*q + q - 10. Let k(l) = -l**2 - 5 - q*l + 0*l**2 - 6*l. Is k(-6) composite?
False
Let r(y) = y**3 + 5*y - 3. Is r(3) composite?
True
Let s(b) = -b - 5. Let u be s(-9). Suppose 0 = d + 2, -u*o - 3*d + 592 = -d. Is o prime?
True
Suppose 24 = 2*a - 4*x, 0*x = 4*a + x - 3. Is (-67)/(1/(a/(-2))) prime?
True
Let j be 432 - (-7)/(21/(-6)). Suppose 5*c + 45 = j. Is c composite?
True
Suppose -25 = -2*d - 3*p, -5*d - 19 = 3*p - 59. Let u(w) = w**3 + 2*w - 4. Is u(d) prime?
True
Suppose 2*t + 1 = m, 2*t + 3*t = -m + 36. Is 130/20*(-1 + m) a prime number?
False
Suppose 1046 - 27 = 4*g + 3*j, -4*g + 3*j = -989. Is g a prime number?
True
Let j = -18 + 15. Is ((-4)/10)/(j/705) a prime number?
False
Suppose -2*s + 5*j + 2320 = 204, -5*j = 0. Suppose -2*x + x = -4*w + s, -2*w + 540 = 5*x. Is w a prime number?
False
Suppose 4*l = 5*r - 4 - 5, -2*l + 33 = 5*r. Suppose l*k - 9 = -5*z + 15, -2*z - 4*k = -12. Let o(f) = 8*f + 2. Is o(z) a composite number?
True
Let y(l) = 46*l - 19. Is y(11) prime?
True
Let f(r) = -r**3 + 4*r**2 - 4*r + 3. Let z be f(2). Suppose 2*m - 21 = -5*c - 8, z*c - 4 = -5*m. Is (4/(-8))/(m/66) a prime number?
False
Suppose -4*a = -3*a