c + 137. Is k prime?
False
Let n = 1027 - 18. Is n composite?
False
Let m(s) = -61*s + 1. Let i(b) = -61*b + 1. Let l(h) = -6*i(h) + 5*m(h). Let z be l(-5). Let o = 557 + z. Is o a composite number?
False
Let j be (-2)/10 + (-452)/(-10). Suppose 0 = -2*i + 110 + 64. Suppose 4*l - i = j. Is l a prime number?
False
Let g be (0/2)/(2 + -1 - 0). Is (-1)/(6/(-7518) + g) a prime number?
False
Suppose h - 5*a - 4 - 15 = 0, 4*a + 24 = 3*h. Suppose -3*k + 703 = s, 6*k + h*s = k + 1167. Is k composite?
True
Suppose 0*p = p. Suppose 4*r - 392 = -p*r. Suppose -4 + 9 = -5*k, -4*m + r = 2*k. Is m a composite number?
True
Suppose 7*t + 12 = 10*t. Suppose -5*c + 0*g - 2*g + 13 = 0, 2*g = -t*c + 12. Is 322 - (3 - 3) - c a prime number?
False
Suppose 2*n + 2*y - 5864 = -3*y, -4*n = -y - 11728. Suppose 7*j + n = 8973. Is j a prime number?
True
Let c be 1*-6*(-6)/3. Let a = c - 3. Is (-2)/a + (-2902)/(-18) a prime number?
False
Suppose k + 3*w - 21994 = 0, -319*k + 316*k = w - 66022. Is k composite?
True
Let w = -81 - -84. Suppose 9 = w*j, 4*j = o + o - 4846. Is o a composite number?
True
Suppose 23 = d + 3*k, 2*k = 5*d + k - 115. Let q = d + -33. Is (-2 + (-25)/2)*q a prime number?
False
Let b = -2546 + -1776. Let f = b + 38906. Is f/40 - 4/(-10) a prime number?
False
Let q(k) = -31*k**3 - k**2 - k + 10. Let c(m) = 62*m**3 + m**2 + 2*m - 19. Let t(j) = -6*c(j) - 11*q(j). Is t(-3) prime?
False
Suppose 9*k = 59 + 13. Is ((k/6)/(-2))/((-4)/1302) a prime number?
False
Let x be ((-2)/(-4))/((-2)/(-9908)). Suppose -2*u = -t - 1498, -4*u - 5*t + 547 = -x. Is u a prime number?
True
Is 8166/4 + (-108)/216 a prime number?
False
Let c(b) = 118*b**2 - 6*b + 3. Let o = -47 - -51. Is c(o) a prime number?
True
Suppose -159*f = -151*f - 2648. Is f a prime number?
True
Let w(z) = -z**3 + z**3 + 14*z**3 - 7 + 5*z - 3*z - 3*z**2. Let c be w(5). Let i = c - 771. Is i composite?
False
Let i(w) = -w**3 - 12*w**2 - w + 10. Let k be i(-12). Let t(d) = 44*d + 5 + k*d + 23*d + 42*d. Is t(4) a composite number?
True
Let w = -460 + 1001. Is w prime?
True
Let s be (9 - 16) + -2 + 1. Let v(r) = -r**3 - 5*r**2 - 2*r - 7. Is v(s) a composite number?
True
Let z(w) = w**3 - 3*w**2 + w - 5. Let t be z(3). Is 1/4 - t/(24/405) a composite number?
True
Let y = 79617 + -51832. Is y a composite number?
True
Suppose w = 5 - 3. Suppose -1116 = -w*b + 4*v - 3*v, v = -2. Is b a composite number?
False
Is 116859*2*(-2 - (-91)/42) prime?
True
Let k(i) = 2*i + 22*i**2 + 0 - 3 - 3*i - 11. Is k(-5) prime?
True
Let o be (10 + -16)*(-2)/3. Let k(s) = 5*s**2 + s + 1. Is k(o) a composite number?
True
Let a be 16016/(-10) - 12/(-20). Let j = -820 - a. Is j prime?
False
Let p = -45 + 43. Suppose -4*n + 20 = -4*w + 6*w, -2*n + 10 = 3*w. Is (-307)/((w + 2)/p) composite?
False
Suppose 5*x - 4*j = -2*j + 10, j + 5 = 5*x. Suppose x = -4*y + 16*y - 21612. Is y prime?
True
Let q(b) = -730*b + 17. Is q(-2) a composite number?
True
Let s = -373 - -680. Is s prime?
True
Suppose 28 + 12 = 5*q. Let u be 1/(8/(-20))*q. Is ((-5)/u)/(3/3804) prime?
True
Suppose 5*k + 459 - 2274 = 0. Let c = -200 + k. Suppose -4*z + 5*z = c. Is z a composite number?
False
Let f = 45771 + -17474. Is f a prime number?
True
Let s = -69321 - -147088. Is s prime?
False
Suppose 4*i - 43957 = -3*g, -2*i - 2*i - 29338 = -2*g. Is g a prime number?
False
Suppose m - 979 = 7090. Is m a composite number?
False
Suppose g + 2*g - 23745 = 0. Is g a prime number?
False
Let t(y) = -2*y**2 + 66*y - 39. Is t(32) a prime number?
False
Suppose -q + 2*i = 4, -6 = q - 0*i - 3*i. Suppose q = -2*k - 3*k + 4835. Is k a prime number?
True
Let k be (2734/(-8))/((-8)/32). Suppose m + 153 = -k. Let q = -1041 - m. Is q a prime number?
True
Let n = 139 + -87. Suppose n*v = 49*v + 7833. Is v a prime number?
False
Let y = -1 - -5. Suppose 3*a - 4*m - y = 0, 2*a + 3*a - m - 18 = 0. Suppose 2*g - 2*b = 286, 374 = a*g + 5*b - 198. Is g a composite number?
True
Suppose 6*v = 20*v - 374542. Is v a prime number?
False
Let b = -189 + 370. Suppose -4*p = -f - 47 - b, -3*f + p = 684. Let c = f - -439. Is c composite?
False
Is 1137 + (4 + -7 - -3) - -4 prime?
False
Let a be (15/4)/(30/40). Suppose 5*u + 44 = a*v - 1, 3*v + 4*u = 27. Is v composite?
True
Let i be 8*(-1)/(-2)*1. Suppose i*w - 7*w = -483. Suppose 0*m = 4*g + 2*m - 244, 4*m + w = 3*g. Is g a composite number?
False
Suppose 3*l = 2*l + d + 342, -3*l + 5*d + 1018 = 0. Suppose -6*u - l = -17452. Is u composite?
False
Let y(i) = -2*i - 18. Let a be y(-12). Let g be 108/42*28/a. Suppose 6*x - g = 4*x. Is x prime?
False
Suppose -4*v + 61913 = -5*c + 345002, -226471 = -4*c + 3*v. Is c a prime number?
False
Let v = -9 + 1. Let t(j) = j**3 + 8*j**2 + 9. Let w be t(v). Suppose -27 = -q + 5*b + w, -48 = -3*q - 5*b. Is q composite?
True
Suppose 4*v + 612 = -2*p - 356, -3*p - 3*v - 1458 = 0. Is ((-10)/4)/(4/p) a composite number?
True
Suppose -u - 4*u + 20 = 0. Suppose q + 3*r = 1631, 7592 = u*q - r + 1068. Is q a composite number?
True
Let a be (-114)/9 + 6/(-18). Let o(m) = -m**2 - 17*m - 3. Is o(a) composite?
True
Let b(k) = 243*k - 10. Let y be b(-3). Let d = -182 - y. Is d composite?
False
Let t(i) = -35*i**2 + 2*i - 23. Let b(h) = 12*h**2 - h + 8. Let d(k) = -2*k + 8. Let q be d(6). Let l(x) = q*t(x) - 11*b(x). Is l(-3) prime?
True
Let m = -4503 - -7278. Suppose 0 = 7*x - 12*x + m. Is x + (12/2)/3 a composite number?
False
Let u(z) = 13*z**2 + 76*z**2 - 51*z**2 + 163*z**2 + 5. Is u(-2) a composite number?
False
Let z(v) = 5*v**2 - 81*v + 233. Is z(-58) composite?
False
Suppose -22*c = -8*c - 25858. Is c prime?
True
Let m = -17 - -17. Suppose x + m*x + 3*d = 2276, 5*d - 9139 = -4*x. Suppose v = -3*r + 6*v + 2294, 2*v = 3*r - x. Is r prime?
False
Let l be 965 + (-6)/2 + -4. Suppose -2*i - 252 + l = 0. Is i a composite number?
False
Let m = 4292 + 899. Is m composite?
True
Let u = 24320 + -3081. Is u composite?
True
Let k = 30 - 27. Suppose n - 68 = 3*s, -124 - 62 = -3*n + k*s. Let j = 390 - n. Is j a composite number?
False
Let k = -326 - -580. Is k a composite number?
True
Let h = -1952 - -3153. Is h composite?
False
Is -1*3 - 6332/(4 + -6) composite?
False
Let n = 23 + 3. Let i = -179 - n. Let p = -138 - i. Is p prime?
True
Let g(c) = 329*c + 25. Let k(f) = -f**3 - 4*f**2 - 4*f - 8. Let r be k(-4). Is g(r) composite?
False
Let i = -388 + 599. Let q = 6 + i. Is q a composite number?
True
Suppose 0 = 3*q - 5*g + 9, -3*q - 16 = -3*g - 1. Let w(h) = -5*h + 9. Is w(q) prime?
False
Suppose 0 = 5*p - 2*b - 20006, -4*b = -2*p + 4702 + 3310. Let q = p - 1001. Is q a composite number?
False
Suppose -4*l + 366 = -514. Suppose 2*i + 3*i + l = 0. Let r = i - -69. Is r composite?
True
Let f(w) = w**3 + 9*w**2 + 14*w + 13. Let v be f(-5). Let i = 262 - v. Is i a composite number?
True
Suppose -3 = -o, -4*o = -2*l + 7 + 19. Let x be 2/(-3) + 17/3 - 3. Suppose -3*q = -b + l, 0*b + 20 = 4*b + x*q. Is b a prime number?
True
Suppose -9*t = -65088 - 2079. Is t a composite number?
True
Is 1/((-9)/6*10/(-395565)) prime?
True
Let w be (-9 + 22)*(-17)/1. Let p = 2141 - 1497. Let o = p - w. Is o composite?
True
Let b(x) = 243*x - 6. Let f be b(4). Let v(z) = z**3 - 4*z**2 - 5*z - 8. Let j be v(6). Suppose j - f = -4*h. Is h a composite number?
False
Let c = 6480 - 251. Is c composite?
False
Let i(c) = -251*c - 11. Let n = -16 + 12. Is i(n) composite?
True
Suppose 0 = 9*b - 1514 + 92. Suppose -2*z + y + b = -4*y, -8 = 2*y. Is z prime?
False
Suppose 48*s - 520632 - 1717080 = 0. Is s composite?
False
Suppose x + 24*x = 192475. Is x a prime number?
True
Is (7798/(-6))/((-4)/12) composite?
True
Let b be (6/10)/(2/40). Is (-1220)/(-6)*18/b prime?
False
Let u = -5511 + 85874. Is u a composite number?
False
Let u(a) = 24*a**2 - 20*a - 39. Is u(28) composite?
False
Let w(s) = s**3 - s - 1. Let f be w(1). Is 3395/(f + 6)*(-2)/(-2) a composite number?
True
Let u = 316 - -3. Is u a prime number?
False
Let a(m) = 38*m**3 + m**2 - 2*m - 5. Suppose -58 + 78 = 5*u. Is a(u) a prime number?
False
Let v = 9071 + -4372. Is v composite?
True
Let k = 177 - 103. Is k composite?
True
Let b = -35 - -18. Let s = b - -17. Suppose s = c + 5*q - 39, 3*c - 4*q - 157 = q. Is c a prime number?
False
Is (2/4)/((-2689695)/(-298854) - 9) composite?
False
Suppose 16*b = 2*b + 32438. Is b a c