 o(1) composite?
True
Let d(l) = 1714*l**2. Let a be d(-1). Is a/8 + 13/(-52) composite?
True
Let h(y) = -y**2 + 17*y - 9. Let r be h(7). Is 3/2*(r - -1) a prime number?
False
Suppose c = -1 + 13. Let y be 45/c - (-3)/(-4). Suppose 3*d - 42 = -3*l, y*d = -4*l + 93 - 36. Is l prime?
False
Let a = 914 + -543. Is a composite?
True
Let g be 3/(2/(20/6)). Suppose -g*f = -2*d + 293, 3*d - 173 - 279 = 5*f. Let h = 248 - d. Is h composite?
False
Let l = 4 - 1. Let f = l - 6. Let s(o) = -o**3 - o**2 + 2*o - 1. Is s(f) a prime number?
True
Let z(c) = c**3 + 4*c**2 + 2*c + 1. Let k be z(-3). Suppose 0 = -6*o + 7*o + k. Let i = o - -57. Is i composite?
False
Suppose -4*q + 9 = -7. Suppose -b - 2 + q = 0. Suppose 214 = b*k - 8. Is k composite?
True
Suppose 0 = -2*x - 3*i + 50 + 49, 0 = -4*i + 20. Suppose 0 = k - x - 11. Is k a prime number?
True
Let j(g) = -g**3 - g - 44. Let x be j(0). Let o = 77 + x. Is o/1 + (-2 - 0) a composite number?
False
Let s = 15 + -11. Suppose 0*k + s*k = 0. Suppose 5*v - 72 = 2*y, -v - 3*y = -k*v - 11. Is v prime?
False
Let b = -2 - -2. Suppose 0 = 5*a - b*a - 475. Is a composite?
True
Suppose -4*a = -2*q + 378, 427 = 5*q + 3*a - 505. Is q composite?
True
Let o(a) = 3*a - 9. Let x be o(4). Let j = -10 - -14. Suppose -2 + 27 = 4*w - x*c, w = 3*c + j. Is w a composite number?
False
Is (862/(-3))/((-22)/33) prime?
True
Suppose -3*o - 53 = -308. Suppose -o = -3*a + 488. Is a composite?
False
Let f be (-100)/45 + 4/18. Is 114 - (0 - 2)/f a composite number?
False
Suppose -4*b - 3*k + 2078 = 0, -b = b - k - 1044. Is b a composite number?
False
Let j = -20 - -11. Is -3*(345/j + 2) composite?
False
Let w(d) = -12*d + 11. Is w(-6) prime?
True
Suppose 0 = -2*z - 2*t + 86, 0 = 3*z - 2*t - 87 - 17. Suppose y + 0*y = -n - 10, -10 = -5*y. Is (z/(-6))/(4/n) composite?
False
Let w be 5/(20/(-6))*-182. Suppose 2*x = c - 379, -262 - 684 = 5*x - 4*c. Let f = w + x. Is f composite?
False
Suppose 0 = -5*n + 2*m - 21 - 37, -2*n - 8 = 3*m. Let l(s) = s**3 + 9*s**2 - 10*s + 13. Is l(n) composite?
False
Let c = -10 - -15. Suppose -w + 150 = 4*u + w, -184 = -c*u + w. Let g = u + -23. Is g prime?
False
Is 3 - (-2)/(-1) - -108 a composite number?
False
Let y = -35 - -58. Let p = 9 - y. Is p/1*(-51)/6 a prime number?
False
Let z(g) = 2*g + 13. Let i be z(-6). Is (7256/(-24))/(i/(-3)) prime?
True
Suppose -2*f + 223 = -65. Let c(l) = -3*l + 1. Let p be c(-1). Suppose 0 = p*s - 5*d - f - 23, s + 2*d = 45. Is s composite?
False
Is ((-1)/(-2))/((-5)/(-15110)) a prime number?
True
Suppose p = -4*v + 21, -v = 5*p + v - 51. Suppose -p + 2 = -i. Is i composite?
False
Let r = -2 + 4. Suppose 3*n + r*t - 8 = 3*t, n = t + 2. Suppose 0 = -2*m - n*m + 255. Is m composite?
True
Suppose 14 = -5*q + 39, 2*d = -4*q + 1650. Suppose 0*f - 5*f + d = 0. Is f prime?
True
Suppose -14*m = -10*m - 372. Is m a composite number?
True
Is (-7 + 5671 + -1)*(2 + -1) a composite number?
True
Suppose -2*d = -3 - 3. Is 2/d - 6734/(-42) a prime number?
False
Suppose 11585 = 10*s - 3*s. Is s a composite number?
True
Let o(s) = -s**3 - 3*s + 1. Let z(j) = -j**2 + j - 3. Let a be z(0). Is o(a) a prime number?
True
Let s = 9 + -5. Suppose -1615 = -q - s*q. Is q composite?
True
Suppose 0*b = -3*c - 5*b + 846, 0 = 5*c - b - 1438. Is c a prime number?
False
Is 539 + (3/(-9))/(4/(-24)) prime?
True
Suppose -184 = -q + 2*d + 63, 0 = 5*q + 4*d - 1263. Is q composite?
False
Suppose -5*i + 2*i - 12 = 0. Is (-898)/(-1)*(-2)/i composite?
False
Suppose 5*j - 3*j - 2368 = 0. Let g = j + -705. Suppose -g = -4*w + 29. Is w a prime number?
True
Suppose 0 = 5*r - 2*i - 435, 6*r - 4*i - 247 = 3*r. Is r prime?
True
Let a(u) = -32*u**2 - u + 4. Let n be a(-3). Let d = n - -414. Is d prime?
False
Suppose 0 = -3*u + 64 - 349. Let z = -13 - u. Is z composite?
True
Let z = -76 - 10. Let l = z - -321. Is l composite?
True
Suppose 5*q + 12 = q. Let j = q - -3. Let t = 77 + j. Is t a composite number?
True
Let w(k) = -2*k + 3. Let r be w(-4). Let i = r - 8. Suppose -3*s + 42 = i*j - 0*j, 0 = 2*j - s - 19. Is j a prime number?
True
Let p(q) = q - 1. Let v be p(4). Suppose -67 = v*f - 4*f. Is f a composite number?
False
Suppose -2*k - 195 = -7*k. Let l = -6 + 8. Is (0 - 0)/l + k a prime number?
False
Let y(c) = 2 - 1 + 2*c**3 - 2 - 4*c**3. Is y(-2) a composite number?
True
Let h = 276 - 756. Is 3 - (-7)/((-21)/h) a composite number?
False
Let c = -634 + 1056. Is c prime?
False
Let j = -119 + 448. Is j a prime number?
False
Suppose -4*i - 5*d + 80 = i, 0 = -i - 4*d + 13. Let o = 48 - i. Is o a composite number?
False
Let p(g) = 136*g - 1. Let s be p(-1). Let m = s - -204. Is m a composite number?
False
Suppose 2*k - k - 6 = 0. Suppose t = 5*t + 4*l - 12, 3*l - 9 = 2*t. Let q = t + k. Is q a prime number?
False
Let k(z) = z + 5. Let i be k(8). Let y(w) = -w**3 + 13*w**2 + 5*w + 12. Is y(i) prime?
False
Let r = -1 + 4. Suppose -3*n + r*y = -1149, -2*n + 5*y = -0*n - 772. Is ((-4)/(-6))/(2/n) composite?
False
Suppose f + 350 - 105 = 5*b, 5*f - 147 = -3*b. Is b composite?
True
Let q(h) = 4*h**3 - 3*h**2 + 0*h**2 + 1 - 5*h**3 + 4*h. Let a be q(-3). Let z(m) = m**3 + 11*m**2 - 3*m - 12. Is z(a) prime?
False
Let z = -7 - -7. Suppose 4*d = -4*j + 512, -5*d + 386 = -z*j + 3*j. Is j a prime number?
True
Let n(q) = -6*q - 3. Is n(-7) a composite number?
True
Let u(i) = i**2 + 4*i - 3. Let q be u(-5). Suppose 0 = c + c - q. Is 3*1*(4 - c) a prime number?
False
Suppose 9*t = 14699 + 3778. Is t a composite number?
False
Suppose -6*t = -t + 25, -4*c - 16 = 4*t. Let i be (4 - -16) + 2/c. Let l = i + 15. Is l prime?
True
Let h(a) = 5*a - 14. Is h(13) a prime number?
False
Let b = 111 + 156. Is b prime?
False
Suppose 0 = l - 4*l + 285. Is l prime?
False
Let h = -3 - -11. Suppose -5*o - 33 = -4*q, h = -4*o - 5*q - 2. Is o/(15/(-72)) - 3 composite?
True
Let n(x) = 162*x**3 + 1. Is n(1) a composite number?
False
Let t = 64 + -33. Is t prime?
True
Suppose 3*u - 4*o - 14 = -5*o, 4*o - 28 = -5*u. Let q be (u/(-6))/(4/(-24)). Suppose -q*r + 37 = -39. Is r composite?
False
Suppose 5*s + 0 = 100. Suppose 74 = h + 5*w + 19, -5*w = -s. Is h a composite number?
True
Let l = 7 - 4. Suppose -q + 527 = l*j + 118, -5*j - 3*q = -679. Suppose j + 51 = 4*z. Is z a composite number?
False
Let g be (-1)/(-3) + 4/6. Let o(d) = 8*d**3 + d - 1. Let l be o(g). Is 57/(-2)*l/(-6) a prime number?
False
Let y(z) = 3*z + 1. Suppose 0 = 5*k + 3 - 8. Let f be y(k). Is 145/1 - (f - 4) a composite number?
True
Suppose -6*v = -10*v + 148. Is v a prime number?
True
Suppose 5*p + 2 = -0*g + g, g - 2 = -3*p. Suppose -30 = -5*v - 5*m, g*v + 3 = 6*m - 3*m. Suppose 2*i = -10, v*i + 62 = 3*u + 2*i. Is u composite?
False
Is ((-6)/(-3) - -1)*127 a prime number?
False
Let k(y) = y - 5. Let c be k(7). Let j be 0/(-3*c/(-6)). Suppose -3*b + 0*b + 39 = j. Is b prime?
True
Suppose 0 = -2*w + 1050 + 704. Is w a prime number?
True
Suppose 5*g - 69 = -d, -5*d + 2*g + 240 = -186. Let v be 3 + 0 + 1 + d. Suppose 0 = -u + 5*u - v. Is u composite?
True
Let d(h) = -7*h + 22. Let c be 6/(-18) - (-105)/(-9). Is d(c) composite?
True
Let p(c) = -c**2 - 2*c - 7. Suppose 9 = 3*i + 30. Let q be p(i). Let w = 88 + q. Is w a prime number?
False
Is (-8230)/(-18) - 16/72 composite?
False
Suppose -3*y = -2*y - 4, -4*y = h - 18. Suppose -a + h*a - 4 = 0. Suppose -a*w + 2 = -50. Is w prime?
True
Let t be -1 - (0 + -6) - 1. Suppose z = -t*z + 745. Is z prime?
True
Suppose 0 = 4*k - 4*v - 1492, 0*k - 5*k - 5*v = -1865. Is k prime?
True
Suppose -4*t - a + 20 = 8, -4*t = 5*a - 12. Suppose t*p + 2*d = 613, 4*p + p - d = 1000. Is p a prime number?
False
Let s = -37 - -64. Let g = s + -4. Is g a prime number?
True
Let z(c) = 86*c + 4. Let w be z(3). Suppose w = 3*a + 55. Is a composite?
True
Let k(a) = 7*a + 4. Let o be k(4). Let p = 475 - o. Is p composite?
False
Is 7510/30 - 4/(-6) composite?
False
Let x(h) = 10*h - 15. Let k = 15 + -2. Is x(k) a prime number?
False
Suppose 0 = 23*d - 24*d + 146. Is d composite?
True
Let k(r) = 2*r**2 - 9*r - 9. Is k(-8) a composite number?
False
Let y = 2261 + -1518. Is y composite?
False
Let h be (2 + -2)*1*-1. Is (-1 + h)/(1/(-37)) prime?
True
Suppose -5*z = 3*q + 38, 6 = q - 4*z + 30. Let w be q/(-10) - 6/(-15). Suppose 0 = 7*j - w*j - 75. Is j prime?
False
Suppose -5*g - 2*