 - -21). Let h = c - -210. Is h prime?
True
Let z = 1316 + -669. Is z a composite number?
False
Suppose -r - 3 = -2*r. Suppose -5*h + 2*g + 0*g = -124, -87 = -r*h - 3*g. Is ((-1)/(-2))/(1/h) a composite number?
False
Suppose 3*b + 5 = 2*b. Let o(f) = -8*f + 7. Is o(b) prime?
True
Let w(s) = -19*s - 22. Is w(-23) a composite number?
True
Suppose 2*k - 24 = -2. Suppose -5*m = -10, 3*m - k = -v + 17. Is v prime?
False
Suppose 4*r = 4*d - 1164, -5*d - 6*r = -r - 1415. Is d a composite number?
True
Suppose 5*m + 3*r - 138 = 0, -3*m = 2*r + 2*r - 85. Is -422*(4 + m/(-6)) a composite number?
False
Let f be 0/(0 + -2) - 26. Let a = f + 45. Is a composite?
False
Suppose -7*c = -6*c - 2*i - 373, 4*c = -4*i + 1528. Is c prime?
True
Let u be 183 + (0 - 2 - -1). Let y = u + -103. Is y a composite number?
False
Let b be 3438/12*2/3. Let z = 288 - b. Is z prime?
True
Let n = 2276 + -1053. Is n prime?
True
Let w(k) = 8*k**2 - 7*k**2 - 7*k + 3 - 2*k**2. Let g be w(-7). Suppose 3*f + 2*q = 323, f - 5*q + 197 = g*f. Is f a prime number?
False
Let r(w) = -w**2 + 5*w - 6. Let i be r(4). Let p be (1 - 12)*i/2. Is 2/p - (-458)/22 a prime number?
False
Let p(r) = r**3 + 5*r**2 - 4*r. Let l be p(4). Let w = l - 9. Is w a composite number?
True
Let j(b) = -37*b + 5. Let r be (-2 + -8)*3/6. Let f be j(r). Suppose f = z + z. Is z prime?
False
Let b = -115 - -195. Suppose 224 - b = -4*v. Let g = 59 + v. Is g a prime number?
True
Suppose 4*v + a = -v + 600, v = -2*a + 129. Is v a composite number?
True
Suppose y = -4*y + 25. Suppose 0 = -0*q - y*q + h + 12, -4*q + 4*h = 0. Suppose 86 = r - 3*a, -5*a - 2 - q = 0. Is r a composite number?
False
Let d be (24/30)/(1/5). Is (d + -1)*14/3 prime?
False
Suppose 5*c - s - s = 8, -s + 7 = 3*c. Suppose 264 = 4*b + 2*a, -2*a = c*b - b - 63. Is b a composite number?
False
Let p = 40 - 20. Is p + (-2)/(-2) + 2 a composite number?
False
Let u = -30 - 75. Let f = 38 - u. Is f a prime number?
False
Let m be (18/(-8))/((-3)/8). Is (m/9)/(-2)*-237 a composite number?
False
Suppose -2 = -s + 5*u - 4, 0 = s - 2*u - 1. Suppose -s*m = -0*m + 87. Is 2/(-8) - m/4 a prime number?
True
Let i = -2042 - -4401. Is i prime?
False
Let j be 120/3 - 6/2. Suppose 5*f + j = 4*c, -2*f = -c + 3*c + 4. Suppose c*z + 3*h = 87, 0 = 5*z - 5*h - 122 - 73. Is z composite?
True
Let l(g) = -g**3 + 9*g**2 - 6*g + 7. Let q(z) = -4*z - 2. Let f be q(-2). Is l(f) a prime number?
True
Suppose 0*o = 2*o - 18. Let t be (o/6 + -1)*-2. Is 3/t - -6 - -84 a composite number?
True
Let r(c) be the second derivative of c**6/72 - c**5/30 + c**4/8 + c**3/3 + c. Let p(l) be the second derivative of r(l). Is p(2) prime?
False
Let f = 0 - -1. Let t = f + 6. Is t prime?
True
Let a = -32 + 228. Suppose 0 = -2*z - 2*z + a. Is z a composite number?
True
Suppose -f = 2*p + 9, -3*p = f + 11 + 1. Let n be 3*(-4)/p - -1. Suppose -5*t + 235 = 2*a, -5*t + 255 = -n*a + 3*a. Is t a prime number?
False
Suppose 5*z - 20 = 0, -13 + 45 = 4*y + 5*z. Is y a composite number?
False
Let n(k) = k**2 + 2*k + 3. Let u(a) = a**2 + 3*a + 2. Let c(j) = 2*n(j) - 3*u(j). Let x be c(-4). Suppose -x*t = -t - 69. Is t prime?
True
Suppose 4*y - 6*y + 14 = 0. Is y a composite number?
False
Let j be 1 - -2*(-2)/(-4). Suppose -j = -2*h + 6. Suppose 105 = -d + h*d. Is d a composite number?
True
Let n(b) = 29*b + 11. Is n(10) a composite number?
True
Let x(n) = -45*n - 11. Is x(-10) prime?
True
Suppose 3*p = 3*q + 18, 4*q + 2 = 3*p - 21. Suppose 3*z - f - 8 = p, 2*z + 8 = -4*f. Suppose 0 = n + z*n - 42. Is n prime?
False
Let w(f) = -4*f + 4. Let x be w(-6). Is (x/(-12))/((-2)/30) a prime number?
False
Suppose 5*z = 1553 - 388. Is z a composite number?
False
Let x(a) = 2*a - 2. Let t be x(3). Suppose b + t = -0*b. Is (-1)/(-4) - 39/b composite?
True
Let i be -94 - 6/3 - 2. Is (i/(-7))/(2/5) prime?
False
Suppose 5*l + 4717 = -5*x + 44627, 2*l - 15976 = 2*x. Is l a prime number?
False
Let y = -1 - -4. Let o be 16/(-64) + 1935/(-4). Is (-1)/y + o/(-3) a prime number?
False
Let q(x) = -x**2 - 11*x + 10. Is q(-11) composite?
True
Suppose -563 = -8*i + 7*i. Is i composite?
False
Let m be (-15)/(-4)*24/(-9). Is ((-268)/m)/(4/10) prime?
True
Is (4/16)/((-1)/(-268)) composite?
False
Suppose 3*n - 5*s = 911, 425 = 4*n + 4*s - 811. Is n a composite number?
False
Let h(g) = -g**3 - g**2 + g + 19. Suppose -3*u - 2*u = 0. Is h(u) prime?
True
Let l = -2 - -1. Let j = l - -3. Suppose -j*v = -4*c - 26, 3*c + 71 = 2*v + 8*c. Is v a prime number?
True
Suppose -26*o + 30*o = 5108. Is o a composite number?
False
Let g be -2*(3 + -4) - 2. Suppose 0*u - 2*u + 12 = g. Is u prime?
False
Let a = 1775 + -1042. Is a a prime number?
True
Let d(f) = f**3 + 6*f**2 + 5. Let b(s) = s**2 - 7*s. Let u be b(6). Let a be d(u). Let j(z) = 2*z + 1. Is j(a) composite?
False
Let r(x) = 2*x**2 - x - 1. Let v be r(-1). Is (-5)/v*(-4268)/55 a composite number?
True
Suppose 0 = r, -c + 5*c - 1028 = -2*r. Is c a prime number?
True
Suppose 0 = -w + 4*w - 5*x - 4739, -2 = -x. Is w a prime number?
True
Suppose 36 = 3*u + 4*l, 37 = 5*u - 4*l + 9. Suppose 9 = 3*d + 60. Let n = u - d. Is n prime?
False
Suppose -5*t = 15 - 5. Let s = 0 - t. Suppose 2*d - s = 2. Is d a composite number?
False
Suppose -4*s - 12 = -8*s. Suppose 0 = -2*u - 2*y + 22, -5*y + 35 = 3*u - s*y. Suppose 4*w = -3*h + 8, -h = h - 5*w - u. Is h composite?
True
Let g be (1*-2)/((-4)/32). Suppose 3*a - s = 3*s - 2, 0 = -5*a - 3*s + g. Suppose 1 + 11 = a*t. Is t prime?
False
Suppose 2*p - 4*o - 2814 = 0, -3*p + 2*o - 2784 = -5*p. Is p a composite number?
True
Suppose 0 = -4*z + y + 6907, -2*z + 3815 = -y + 364. Suppose -3*b + 9*l = 4*l - z, 572 = b - 3*l. Is b composite?
True
Let b = 362 - 159. Is b composite?
True
Let s(n) = -n**3 - 5*n**2 - 8*n - 5. Is s(-8) a prime number?
True
Let u = -29 - -41. Suppose -3*r = r + u. Is 2/r + 203/3 a prime number?
True
Suppose -6568 = 2*r + 2*r. Is r/(-18) - (-2)/(-9) a composite number?
True
Let h = 116 + 18. Is h prime?
False
Suppose 0 = -m + 54 + 5. Is m composite?
False
Let v = 239 + -112. Is v prime?
True
Let j = 9 - 22. Let h = -8 - j. Suppose -h*q = 2*z - 585, 2*z - 6 = 4. Is q prime?
False
Let t = 455 + -77. Suppose 0*q - 24 = -2*x + 4*q, x = 3*q + 11. Suppose t = 4*u + x. Is u prime?
False
Let b = -1108 + 2607. Is b a prime number?
True
Let r(o) = -o**3 + 11*o**2 + 13*o + 11. Let u = 5 + 7. Is r(u) a prime number?
True
Let c(k) be the third derivative of 3*k**5/20 - k**4/8 - k**3/2 + 6*k**2. Is c(-3) a composite number?
True
Is 149*3/9*3 a prime number?
True
Let o be (-12)/30 - 2/(-5). Suppose 2*u - 6*u - 3*y - 329 = 0, o = -u - 2*y - 81. Let x = u - -118. Is x a prime number?
False
Suppose 0 = 5*d - 5, 2*d - 37 = -5*y - 0*d. Is y a composite number?
False
Let j be (-4)/16 - (-17)/4. Suppose 2*f + 4 = 4*x, 2*f = f + 5*x - 8. Suppose -t - 2*v = f*t - 36, 0 = j*t - 4*v - 68. Is t prime?
False
Let z = 6 + -4. Suppose b - 1 = z. Suppose 0 = -i + 2 - 5, -b*i + 536 = 5*c. Is c a prime number?
True
Let c(h) = -h**2 + 8*h + 2. Let w be c(6). Let p = w - 8. Is (2/4)/(1/p) composite?
False
Is 1/(-12)*-4*237 a composite number?
False
Let r = -2922 - -7451. Is r a prime number?
False
Let i be (-4)/1*(-2)/4. Suppose -i*q + 12 = 4*x, x - 8 = 3*x. Is q a prime number?
False
Let u(j) = -j**2 + 6*j + 8. Let c be u(7). Let v be (4*c)/(10/5). Suppose 0 = -v*y - 2*y + 36. Is y a prime number?
False
Suppose -3*j - 54 = -6*j. Suppose 4*x + j = 6. Is -31*x/(-6)*-2 a prime number?
True
Is 3/9*0 - -359 a prime number?
True
Let d(r) be the first derivative of -r**5/20 - r**4/4 - r**3/2 - r**2 - r - 1. Let z(p) be the first derivative of d(p). Is z(-3) composite?
False
Let r = -1 - -4. Suppose -r*a + 457 = 2*i, 2*i + 147 = a + 8. Is a composite?
False
Suppose 5*n = 84 - 14. Is n a prime number?
False
Suppose y - a - 519 = 0, y - 5*a - 316 = 211. Let n = y - 280. Is n a prime number?
False
Suppose 2*g - 2325 = 5*b + 7*g, 0 = g. Is (2 + b/(-9))*3 composite?
True
Suppose 11*d - 409 = 10*d. Is d composite?
False
Let a(m) = m**3 - 7*m**2 - m - 5. Let y be a(7). Let i(f) = f**2 + 14*f + 15. Let b be i(y). Is 244 + (-1)/(3/b) a prime number?
False
Let x = 779 - 268. Is x a composite number?
True
Let a = -140 - -279. Is a composite?
False
Suppose 5*z - 586 = 1759. Is z prime?
False
Let q(k) =