ppose l - 5*i = -l + 62, 0 = -4*i + 16. Suppose -l - 217 = -q*c. Is c a composite number?
True
Suppose 84529 = 40*q - 122791. Is q a prime number?
False
Suppose 12*c = 10293 + 135. Is c composite?
True
Let o be 0 + 0 + (-4)/(-16)*4. Let t = 306 + o. Is t a composite number?
False
Let c(t) be the third derivative of 19*t**5/12 - t**3/6 + 3*t**2. Let q be c(-1). Suppose 0 = -2*x - q + 252. Is x a prime number?
True
Suppose 2*z - z + 6 = 2*q, 0 = 2*z + q - 3. Suppose 2*k = -4*y + 8, -3*y + 9 = 2*k - z*y. Is 112/k - (-1)/3 a composite number?
False
Suppose 0 = -4*d - 4*u - 416, 2*u - 114 = d + 5*u. Let o(t) = -t**2 - 44*t + 208. Let h be o(-49). Let s = h - d. Is s prime?
False
Let u be 20/50*35/2. Let j(i) = -i**3 + 16*i**2 - 9*i + 1. Is j(u) a composite number?
False
Let p(j) = -2*j**3 - 9*j**2 - j + 5. Let n(q) = -q**3 - 2*q**2 + 2*q + 2. Let l be n(-3). Suppose -l*b = -3*b + 14. Is p(b) prime?
True
Suppose -2*y + 5*y - 12 = 0, 0 = d + 2*y - 9247. Is d composite?
False
Let g(j) = 8*j**2 + 35*j + 1. Is g(16) prime?
True
Suppose 2*m = 21612 + 12686. Suppose 0 = 15*l - 4*l - m. Is l composite?
False
Let o be 1*4/6 + (-4172)/(-6). Suppose 4*u - 3*a + 0*a = o, 0 = 2*u - 4*a - 338. Is u a composite number?
True
Let m = 10 - 17. Let f(s) be the first derivative of -2*s**2 + 9*s - 271. Is f(m) composite?
False
Suppose 25 = 2*a - 3*r, 4*a + r = -r + 26. Suppose 0 = -6*i + a*i - 298. Is i a prime number?
True
Let n(q) = -4*q - 60. Let t(x) = x + 12. Let i(s) = -3*n(s) - 14*t(s). Let w be i(6). Is 2/4*w + 257 a prime number?
True
Let k(g) = 3*g - 4*g - 19 - 5*g. Is k(-15) composite?
False
Let q(n) = -n**3 + 5*n**2 + 8*n - 1. Let p be q(6). Let x = -5 + p. Suppose x*k - 1038 = 126. Is k composite?
True
Let r = -123 + 314. Is r composite?
False
Let x = 113 - 109. Suppose -2*s = -x, k + 0*k = -2*s + 1241. Is k composite?
False
Let r(o) = 346*o - 3. Let w be r(2). Suppose -3*u - w = -l, -2*u + 0*l - 458 = -l. Is u/(-7)*(-1)/(-3) prime?
True
Is (28/(-21) - (-5666)/(-12))*-4 a composite number?
True
Suppose -h + 2406 = -4*l, -2*h + 385 + 4382 = l. Is h a prime number?
False
Suppose 10*r - 329828 = 6*r. Is r prime?
True
Let z = -11 - -23. Suppose -19 = -u + z. Is u a prime number?
True
Is (58/6)/((-52)/(-1716)) a prime number?
False
Let x = -56 - -58. Is x/6 + 89024/39 prime?
False
Let v = 20925 + 17077. Is v composite?
True
Suppose -350941 - 19119 = -20*l. Is l composite?
False
Is 48964/6 - (1 + (-12)/9) a composite number?
False
Let i = -39 + 55. Let w(v) = v**3 - 15*v**2 - 19*v - 13. Let c be w(i). Is -3 - (-1 + 3*c) a composite number?
False
Suppose -5*f + 35 + 5 = 0. Suppose n - 5*h + f = -0*n, 2*h = n + 5. Is 1/n - 4912/(-12) prime?
True
Let o(g) = g + 79. Let w be o(0). Let v = -15 + 97. Let x = w + v. Is x composite?
True
Let p = 59 - 71. Let v(c) = 3*c**2 + 7*c + 19. Is v(p) prime?
True
Let j = -9 - -24. Is (-1)/(j/(-2935))*(1 + 2) prime?
True
Suppose a + 4 = 0, 4*h - 148 = -4*a + 58272. Is h a composite number?
True
Is (-14)/49 - (-3040700)/140 a prime number?
False
Suppose 9*v - 33 = 4*v + g, 2*v = -2*g + 18. Let t(d) = d**3 + 17*d**2 + 13*d + 23. Let s be t(-16). Suppose 4*m = x - s, -5*m - 8 = v. Is x composite?
False
Let t be 20/10*2/4. Let o be (t - 2)/(9/(-54)). Let s(x) = 17*x + 9. Is s(o) a composite number?
True
Let m(h) = -2*h**3 + 2*h**2 - 6*h + 2. Let r be m(-6). Suppose 44 + r = -2*c. Let j = c + 1198. Is j a composite number?
True
Let b(k) = 3*k**3 - 71*k**2 + 46*k - 159. Is b(34) composite?
True
Let q = -19 + 19. Suppose q = 3*s - s - 8. Suppose h + 534 = s*h. Is h prime?
False
Let d = -15 - -20. Let p = d + -190. Let z = -58 - p. Is z a prime number?
True
Let h = 2459 - 1584. Let v = h - 522. Is v prime?
True
Let q = -82 + 81. Is (3 + 0 - 1940)/q a prime number?
False
Suppose -3*m = -0*m + 2*y + 5, 2*y = 4. Let d(z) = -2*z - 1. Let l be d(m). Suppose 0 = -l*v + g + 2268, -v + 444 = -8*g + 3*g. Is v prime?
False
Suppose 0 = -2*h - 19 + 25. Suppose 2*m - 3*z = -4*z + 151, h*z = -3*m + 222. Is m composite?
True
Suppose -16366 = -0*o - 2*o - 4*k, -3*o + k + 24577 = 0. Is o a composite number?
False
Let x(c) be the second derivative of 5*c**5/4 - 5*c**4/12 + 3*c**3/2 - 5*c**2 - 30*c. Is x(4) a composite number?
True
Let d = 33 - 12. Is 2*5 - d/(-7) composite?
False
Suppose -f + 1 + 7 = 0. Let q be (-17280)/65 - f/52. Let s = -55 - q. Is s prime?
True
Let u be 114/18 + 2/3. Suppose 6*x + 119 = u*x. Is x a prime number?
False
Suppose 27*r = r + 47814. Is r prime?
False
Let r be (-2)/10 - 1232/(-10). Let n = r - 40. Is n a prime number?
True
Let h = -827 + 589. Let l = 451 + h. Is l a composite number?
True
Let b(y) = -y + 12. Let h be b(7). Is h + 3 + -4 - -123 a composite number?
False
Let f(q) = q - 6. Let w be f(0). Let r(y) be the second derivative of 2*y**4/3 + 7*y**3/6 + 5*y**2/2 + 37*y - 1. Is r(w) composite?
False
Let v(q) = 218*q**2 + 7*q + 30. Is v(11) prime?
False
Suppose 21*s + 5542 = 23*s. Is s composite?
True
Let i be (8/(-6))/(5/(-345)). Suppose 2*v = 46 + i. Is v composite?
True
Let q(z) = -863*z + 183. Is q(-10) a prime number?
False
Let x(q) = 47*q**2 + 18*q - 1. Is x(16) a composite number?
True
Let b(p) = p + 2. Let r be b(2). Suppose r*x + 16 = -3*t, -3*t - 3*x - 26 = t. Is (1 - 134/t)*4 a composite number?
False
Let g = -3 - -9. Let n = g + -7. Is (2041/(-26))/(n/2) composite?
False
Let l = -26 + 30. Suppose 0 = 2*m + 4*p - 158, -17 = l*m + 5*p - 345. Is m composite?
True
Suppose 8*u = 10*u - 8. Let x(h) = -2360*h + 4. Let l be x(u). Is -2*(l/(-8))/(-7) composite?
False
Let o(y) = -78*y**3 - 47*y**2 - 7*y + 3. Is o(-4) a prime number?
True
Suppose -28*c = -37*c + 8091. Is c composite?
True
Let o = 81030 + -35797. Is o a prime number?
True
Let i(b) be the second derivative of 1/2*b**2 + 0 + 44*b**3 + 2*b. Is i(1) prime?
False
Let q(y) = y**2 + 4*y + 3. Suppose 0 = -7*v + 9*v + 8. Let r be q(v). Suppose -3*o + 11 = 3*n - 253, -n = -r*o + 276. Is o a prime number?
False
Is ((-60)/(-10))/((-36)/(-31002)) prime?
True
Suppose x - 3*x + 5*b = -33, -b + 77 = 4*x. Let u = x + -28. Let g(h) = -h**2 - 20*h - 10. Is g(u) composite?
False
Let r(m) = 225*m**2 + 7*m + 3. Is r(4) a prime number?
True
Let n(f) = -10*f**2 - 117*f + 21 - f**2 + 115*f - f**3. Is n(-11) composite?
False
Let x be 744/(-180) - 4/(-30). Let s(v) = 48*v**2 - 4*v - 5. Let g be s(x). Let d = 90 + g. Is d composite?
True
Let y(r) = r**3 + 10*r**2 - 5*r + 11. Let k(m) = -m**2 + 1. Let q(h) = 5*k(h) - y(h). Let g be q(-11). Let b = -294 - g. Is b composite?
False
Suppose -57 = 4*a + 5*s, -4*s = 4*a - 8*s + 12. Is 12747/(-9)*(5 + a) a prime number?
False
Let b(r) be the third derivative of -r**4/12 + 9*r**3/2 + 19*r**2. Is b(-13) prime?
True
Suppose r + 49 - 446 = 0. Is r prime?
True
Is 175 + -2*1 + (-30 - -26) a composite number?
True
Let r = 74584 + -43217. Is r a prime number?
False
Let y(k) = 363*k + 3. Let g be y(2). Suppose 2*u - 3505 = -g. Suppose 2*a - 832 = -p, 5*p - u = -4*a + 282. Is a composite?
True
Suppose 19*y - 26*y + 24913 = 0. Is y a prime number?
True
Let a(p) = 350*p**2 + p + 1. Is a(-2) prime?
True
Let z(q) = -q**3 + 9*q**2 + 2*q - 13. Let d be z(9). Suppose 0*w = d*w + 15. Is (2 - 569)/w - 4 a prime number?
False
Let h be 3*((-50)/15 - -4). Suppose 3*s - 2*c = 945, h*s - 4*c + c - 625 = 0. Is s composite?
False
Suppose c + 4128 - 40386 = w, -w = c - 36268. Is c a prime number?
True
Suppose 3*j - 125 = 5*i, -j = j - i - 95. Let s = j + 33. Is s a composite number?
False
Let y(f) = -4322*f + 229. Is y(-5) a composite number?
False
Let r(f) = -51*f - 4. Let s be r(-3). Let l(j) = j. Let q be l(0). Suppose 4*v - s - 215 = q. Is v a composite number?
True
Suppose -2*j + 1 + 1 = 0. Let y be j - 1/2*-2. Suppose 2*z - 489 = -y*z - 5*o, -5*z + 602 = -3*o. Is z prime?
False
Suppose 0 = -4*l - 6*d + 2*d + 40, 2*d - 10 = 0. Let x(y) = 24*y**3 - 3*y**2 - 2*y + 3. Is x(l) composite?
True
Suppose -15*x + 12*x = -2*c - 4491, 0 = x + 4*c - 1497. Is x composite?
True
Let d = 18 - -7. Is -2 + d/(1 + 4) prime?
True
Suppose 2*h - 5*s - 15981 = 0, -3*h - 2*s + 11043 + 12938 = 0. Is h composite?
False
Let d(p) be the third derivative of 89*p**4/6 - p**3/3 - 7*p**2. Let t be d(2). Let k = -447 + t. Is k prime?
True
Let h = -1787 + 8856. Is h a prime number?
True
Let