z + 2. Let c be w(5). Let t = -43 + -27. Let j = c + t. Is j prime?
True
Suppose -4*v + 3278 = -4350. Is v prime?
True
Suppose -1832 = -2*y - 2*y. Is y composite?
True
Let h = 1216 - 713. Is h a prime number?
True
Let z be 3/(-2)*(-3 + -1). Let p be (3/2)/(z/16). Suppose -6*u + 66 = -p*u. Is u prime?
False
Let b(h) = -h**2 - 6*h - 2. Suppose 0 = 4*u - 5*u + 4, -3*x = 5*u - 50. Suppose 3*g - 5*g - x = 0. Is b(g) a prime number?
True
Suppose -3*t + 0 - 3 = 0, 0 = -k + 4*t + 4. Suppose -3*q = s - 62 - 66, k = -5*s + 4*q + 583. Is s composite?
True
Let t be 22/(-18) - (-12)/54. Let y be ((-3)/(-3))/(t/(-345)). Suppose 4*b = 307 + y. Is b prime?
True
Suppose 6 - 8 = -s. Is 556/((-4)/(-1)) + s composite?
True
Suppose 4*o + 28008 = 4*n, n + 5*o = 2*n - 7022. Is n a prime number?
True
Let q = 59 + -34. Suppose -5*d + 46 = 4*p, -4*d - 5*p = -d - q. Is 374/d - (-2)/(-5) a prime number?
True
Let y be 4 + (-3 - -7) + 212. Let q = -283 - -157. Let s = y + q. Is s a prime number?
False
Suppose -4*u = -0*u - 5*q - 16, -4*u = 4*q - 16. Suppose -4*z = -2*m + 8, 4*z + 10 = u*m - m. Is m*(3 + (-94)/(-4)) a prime number?
True
Let o(g) = 5*g**3 - 7*g**2 - 2*g + 3. Let q(u) = -u**3. Let h(m) = -o(m) - 6*q(m). Let s(v) = -v**2 - 4*v - 1. Let j be s(-5). Is h(j) composite?
True
Suppose u - g - 410 = 0, 0 = 3*u - g + 5*g - 1209. Is u a prime number?
False
Let b = 91 + 20. Suppose -v + b = -83. Is v a composite number?
True
Let x = 1825 + -728. Is x composite?
False
Suppose 2789 + 3815 = 4*p. Is p composite?
True
Let x(o) = o + 11. Let t be x(-13). Let k(q) = 29*q**2 + 4. Let f be k(-3). Let r = t + f. Is r a prime number?
True
Let j = -2 - -4. Suppose 4*n = -5*z + 462, -n - 5*z = -6*n + 555. Suppose w + w = 2, -j*b = 3*w - n. Is b a composite number?
True
Suppose 5 = a - 7. Let d = a - 7. Suppose 38 = m - d*l, 2*l + 20 = 5*m - 239. Is m a composite number?
False
Suppose 3*q = -29 + 2. Is q/(-2) + (-3)/6 a composite number?
True
Let c be 21/1 + 0 + -3. Suppose -51 + c = -t. Is t prime?
False
Is 97/5 + (-6)/15 prime?
True
Let o(g) = 42*g - 69. Is o(11) a composite number?
True
Suppose -2*b + 14 = 4*l, 21 + 0 = 3*l - 2*b. Suppose -g - 3*g = -5*v - 72, 2*g - l*v - 26 = 0. Suppose -4*q + g = -5. Is q prime?
True
Suppose r - 591 = -5*c, 4*r = 3*c - 0*c - 350. Is c prime?
False
Let r(z) = 3*z**2 - 7*z. Let g be r(-6). Let c be 7/(21/g) - 0. Let x = c + 77. Is x a prime number?
True
Let s = 251 - 447. Let z = 504 + s. Let c = z + -97. Is c prime?
True
Is ((-8)/(-12))/((-12)/(-1746)) a prime number?
True
Let u(h) = -h**3 + 13*h**2 + 24*h - 27. Is u(11) composite?
False
Is 6/(-4)*17420/(-30) composite?
True
Let j = -356 + 735. Is j a composite number?
False
Let i(z) = -z**3 - 4*z**2 + z - 3. Let m be i(-3). Let y be 1*-1 - (4 + 4). Let g = y - m. Is g prime?
False
Suppose -3*w + 16 = h, -2*w = -4*w + 10. Suppose -5*f - h + 116 = 0. Is f composite?
False
Let z(n) = 10*n**2 - 2*n - 1. Is z(2) a prime number?
False
Suppose 4*n - 4 = 0, -5*m + 47 = 5*n - 8. Let j(p) = p**3 - 16*p - 2*p**2 - 6*p**2 + 22 - 9. Is j(m) a prime number?
True
Let k(v) = -v**3 - 5*v**2 - 3*v + 2. Let i be k(-4). Let m be -2*3*1/i. Let a(x) = 4*x + 3. Is a(m) composite?
True
Let h be 7/(-5)*(1 - 6). Suppose -32 = 4*x - 4*j, -2*x = -3*x - 2*j + h. Is (53/x)/((-2)/6) a prime number?
True
Suppose 0 = 5*i - 178 - 232. Let b = i + 79. Is b a prime number?
False
Let k(t) = 40*t**2 + 3*t + 2. Is k(3) a composite number?
True
Suppose -4927 = -3*v + 4*z, -v + 6552 = 3*v - z. Is v composite?
False
Suppose -7*l = -2*l - 10. Suppose -4*n + 50 = 2*u, l*u + 0*u - 54 = -3*n. Is u a composite number?
True
Let t(c) = 126*c**3 + 2*c**2 + 2*c - 3. Is t(1) composite?
False
Let z = -2 + 12. Is z/(-35) - (-2673)/21 a prime number?
True
Let p(r) = -r. Let b(x) = x**2 - 2*x - 7. Let a(t) = -b(t) - 6*p(t). Let l be (-2)/(-2*(-3)/(-21)). Is a(l) a prime number?
False
Let a(c) = -3*c**3 + 2*c**2 - 8*c + 14. Is a(-5) a composite number?
False
Let o(a) = -81*a - 7. Let z be o(6). Let f = -173 - z. Let m = f + -129. Is m a prime number?
True
Suppose 0 = 2*p + 2*p - 3*r, 0 = -5*p + r. Suppose p = 4*w + 3*d - 24, w - d = -3*w + 24. Let t = 13 - w. Is t a prime number?
True
Suppose -i + 57 = -4*m, -i - 2*i = m - 119. Suppose i + 19 = 2*h - 4*s, -45 = -3*h - 3*s. Let v = h - 13. Is v prime?
True
Let w(k) = -7*k**3 + k - 3. Is w(-3) prime?
False
Let v(d) = -3*d**3 + d**2 + d. Let j be v(-1). Suppose 192 = -7*i + j*i. Let g = 91 + i. Is g a composite number?
False
Suppose 0*t + 99 = 3*t. Let u be 1/(t/15 - 2). Suppose 4*d + 324 = 4*b, -4*d - 3 = u. Is b a composite number?
False
Suppose -3*m = -3133 + 268. Is m a prime number?
False
Suppose 5*f - f = -4*b + 80, -4*f - 109 = -5*b. Let v = -29 + b. Is ((-564)/v)/(1/2) a composite number?
True
Is 669*-1*-2 + -1 prime?
False
Suppose -5*n + 2908 = 203. Is n a composite number?
False
Let r(u) be the second derivative of -8*u**3/3 + 3*u**2/2 - u. Is r(-5) prime?
True
Let y = 4 + -2. Let i(s) = -2*s - 9. Let r be i(-6). Is r/(-6)*y*-2 a composite number?
False
Let r = 26 + 11. Is r composite?
False
Let z(f) = -62*f + 5. Suppose o + 8 = 3*c, -3*c = -4*o - 3 + 7. Let t be z(c). Let a = -174 - t. Is a composite?
True
Let k(s) = s - 5 + 57*s + 30*s. Is k(3) composite?
True
Suppose k + 55 = 266. Is k a composite number?
False
Suppose -2160 = -6*i + i. Suppose w = -4*w + 3*x + i, 4*w = -x + 349. Is w composite?
True
Suppose 3*v + 13 = -5. Let i(g) = -g - 13. Let q(k) = -k + 1. Let h(l) = i(l) + 6*q(l). Is h(v) a prime number?
False
Let t = 2 + 0. Let i be -2*6*(-1)/t. Suppose 10 = -s + i*s. Is s a prime number?
True
Suppose 2*q + 3*q - 15 = 0. Suppose -q*i = -i - 6. Let n = i - -28. Is n prime?
True
Let s(x) = 7*x**2 - x + 5. Is s(6) a prime number?
True
Let l be (-3*(-20)/6)/1. Let b be (-2)/5 + 54/l. Suppose -2*w - 2*g + 99 = 3*w, -4*w - b*g = -86. Is w a prime number?
True
Let j(p) = 21*p - 19. Is j(10) composite?
False
Suppose 5*j - 97 = 8. Is j a composite number?
True
Suppose 2*m - 192 = 274. Is m prime?
True
Let p = -6 + 9. Suppose p*r - 4*r = -5*l - 69, 5*l = -10. Is r a prime number?
True
Is (252 - 12/4) + 2 prime?
True
Let n = 2130 + -1151. Is n composite?
True
Let m(p) be the first derivative of 7/2*p**2 + 1/4*p**4 - 5/3*p**3 - 2 - 2*p. Is m(5) a prime number?
False
Let a(z) = 28*z + 1. Let h = -7 - -2. Let y be a(h). Let q = y - -206. Is q a prime number?
True
Let p be 3*(1 + 186/(-9)). Let l = p - -24. Let o = l - -84. Is o composite?
True
Let z = 56 - 35. Suppose -z + 1 = -4*j. Suppose j*c = c + 340. Is c a composite number?
True
Suppose 0 = 3*k + k - 16. Suppose k*s = -l + 88, l + 243 = 4*l + 5*s. Suppose -l = -0*r - 4*r. Is r a composite number?
False
Let o(v) = 12*v. Let h(i) = i - 6. Let g be h(5). Let z be o(g). Is (296/z)/((-4)/6) a prime number?
True
Suppose 5 + 9 = l. Suppose 0 = -y + l + 9. Is y a prime number?
True
Let s(z) = z**2 - 4*z + 1. Let i = 50 + -35. Suppose o + 24 = 3*q, -5*o - i - 14 = -2*q. Is s(q) prime?
False
Suppose 0*q - 4*y + 2 = -3*q, 6 = 3*y. Let r be (3/2)/((-15)/(-20)). Suppose 3*s = r*p + p - 21, -3*p + 17 = -q*s. Is p a composite number?
False
Let i(l) = l + 178. Let j be (0 + 0)*2/2. Let q be i(j). Let x = -93 + q. Is x a prime number?
False
Let c(f) = -11*f - 26. Is c(-17) a composite number?
True
Suppose -k = x - 3*k + 88, 0 = -x - 5*k - 88. Let z be 16/(-10) + 2/(-5). Is ((-1)/(-2))/(z/x) a prime number?
False
Let m = -17 + 4. Let k = -4 - m. Is (7 - k)*145/(-2) a prime number?
False
Let r = -9 - -12. Suppose r*f + 3 = 0, -5*t + 3*f = -2*f - 300. Is t a prime number?
True
Suppose 0*d - 1 = d. Let o(r) = r**2 + 1. Let j be o(d). Suppose 4*x - 4*b - 5 - 7 = 0, -3*b = j*x - 26. Is x composite?
False
Let q(p) be the second derivative of 10*p**3 + 5*p**2/2 - p. Let s = -12 - -17. Is q(s) composite?
True
Suppose 0 = 2*v + 149 - 611. Let a = v + -90. Is a a prime number?
False
Let c = -20 + -92. Let z = c - -36. Is (0 - -1) + (0 - z) prime?
False
Let d = -5 + 9. Let p(k) = 8*k**2 - 3*k + 7. Let b be p(5). Is (-2)/2 + b/d composite?
False
Let j(b) = 38*b - 1. Let c(r) = -r**3 - 5*r**2 - 3*r + 2. Let h be c(-4). Let i be (-9)/(-6) - (-1)/h. Is j(i) a composite number?
False
Let u(d) = 914*d + 5. Is u(1) prime?
True
Suppose 2*n + 3*b - 838 = -26, 0 = 5*n + 4*b 