 z - v, -2*z + 175 = j - 40. Is j a composite number?
False
Let i(u) = -57*u - 23. Is i(-20) prime?
True
Suppose -12 = 4*q + 12. Let v be (-4)/3*9/q. Suppose -v*a - 4 + 14 = 0, -32 = -j + a. Is j composite?
False
Let n = -4 + 1. Let z = 3 + n. Suppose z = s - 0*s - 23. Is s a prime number?
True
Suppose 9 = 3*d, 2*n - 11 - 1 = -4*d. Suppose 3*a - l + 3 = 0, n = -4*a - 2*l + 6. Suppose a = 3*v + 15, 3*y - v - 516 = 2*v. Is y a prime number?
True
Let h be 830/4*(7 + -5). Let l = h - 282. Is l a prime number?
False
Let t(g) = -5*g**3 - 7*g**2 - 10*g - 1. Is t(-6) a prime number?
True
Suppose 4*i = 3*n + 5867, 318 - 6188 = -4*i + 2*n. Is i composite?
True
Suppose 58 = -2*q - 2*c + 708, c = -1. Suppose -3*n = -2*z + 319, -3*n + 7*n - q = -2*z. Is z a composite number?
True
Let a(u) = u**2 + 2*u - 2. Let c be a(-2). Is 119/2 + 1/c a prime number?
True
Suppose 5*m - 207 = 5*y + 298, 5*m + 3*y - 521 = 0. Is m a prime number?
True
Suppose 0 = -3*k - 4*b + 41, -4*k - b + 53 = -k. Is k a composite number?
False
Suppose -4*b + 0*y + 1572 = -3*y, b - 393 = 4*y. Suppose -b = j - 2*j + 4*a, -1114 = -3*j - a. Suppose 3*n - j = -16. Is n composite?
True
Let g be 3/3*4*101. Suppose g = -5*z - 416. Let h = z - -291. Is h prime?
True
Suppose 0 = -8*a + 3*a - 20, y - 3*a = 18. Is (802/(-4))/((-3)/y) prime?
True
Let c(w) = w**3 + 11*w**2 + 7*w - 2. Suppose l = 4*l + 21. Is c(l) composite?
True
Let s(q) = -q**2 - 6*q - 4. Let a be s(-5). Suppose -a = 3*y - 31. Is y a prime number?
False
Suppose -3*g - 3 = -3*w, -2*g + 0 = w - 4. Let o be 386 + w - (-6)/3. Is 1/4 - o/(-8) a composite number?
True
Suppose 4*n - 26 = -2*x, -5*x - 2*n - 2*n = -41. Suppose 0*w + x*w = -u + 8, 0 = 2*u + 3*w - 2. Let c(a) = -11*a + 1. Is c(u) composite?
False
Let z(h) = -h**2 + 6*h - 5. Let u be z(4). Suppose 0 = u*c - 458 - 151. Is c composite?
True
Let r = -476 - -1057. Is r prime?
False
Suppose -m - m = 0. Let y be 4/10*(m + 5). Suppose 0 = p + 1, -y - 54 = -3*v - p. Is v a composite number?
False
Suppose 308 = 4*d - 2*p, 5*d - 383 = -2*p + 5*p. Let s = d - -18. Is s a prime number?
True
Let f be (-1 - 8/(-4))*-65. Let l = 358 + f. Is l composite?
False
Let v be ((-6)/(-8))/(9/24). Suppose -103 - 295 = -v*k. Is k prime?
True
Let h = 211 + 1738. Is h a prime number?
True
Let h = 214 - 65. Is h prime?
True
Suppose 481 = -o + 2*o. Is o prime?
False
Let p = -76 - -225. Is p prime?
True
Let s(r) = 29*r**3 + r**2 + 3*r - 3. Is s(2) prime?
True
Let s be (0 - -2) + -2 - -2. Suppose -s*n - n + 285 = 0. Is n a prime number?
False
Suppose 0 = -4*a - 2*n - n - 596, -5*a + 4*n = 745. Suppose 80 = -4*q + 912. Let l = q + a. Is l prime?
True
Is 6385*((-72)/(-30) + -2) prime?
False
Let n(d) = -d**2 + 14*d - 9. Let z be n(13). Let g(u) = u**3 + 2*u**2 - u - 5. Is g(z) composite?
True
Suppose -o - 3*m + 197 = -0*m, -3*o = 2*m - 619. Let z = 210 + o. Is z composite?
False
Let z(f) = -5*f**3 + 2*f**2 + 2*f + 3. Let g = -6 - -4. Is z(g) a prime number?
True
Let l be (-2)/9 - 922/(-18). Suppose -y + 4*n = 4*y + l, n = 4*y + 32. Let m = y - -26. Is m a composite number?
False
Let h = -1 - -8. Suppose 3*g - 8*g = -l - 8, 2*l - 3*g - 12 = 0. Let m = l + h. Is m a composite number?
False
Is -3271*(-2)/(3 - 1) prime?
True
Suppose -3*t + 56 = 5*y, 3*y + 0*y - 36 = -3*t. Suppose -4*p + 2*c - 26 = -p, 8 = -4*p - 4*c. Let u = y + p. Is u a composite number?
True
Suppose -2*x - 15 = -5*x. Suppose -3*j - 2*j + 109 = 2*f, -x*j + 42 = f. Is f a prime number?
True
Let n be 56/(-12)*9/(-6). Let d(q) = 4*q**2 + 2*q + 1. Is d(n) prime?
True
Let w = -12 + 10. Is w*((-155)/2 + -1) a composite number?
False
Let u = 838 - 507. Is u a prime number?
True
Let l be 6/6 - (18 - 1). Is (22/4)/((-8)/l) a prime number?
True
Let z(r) = 7*r**2 - 5*r + 1. Is z(6) a composite number?
False
Let c be (-446)/(-4) + (-4)/8. Suppose -g + c = y, 45 = -3*y + g + 394. Is y a prime number?
False
Let c(b) = -4*b + 4. Let o be c(-3). Suppose 0 = 5*x - 5, 0*z - 3*z - x + o = 0. Let g(j) = -j**2 + 8*j + 4. Is g(z) composite?
False
Let k(p) = -2*p**3 - 9*p**2 + 7. Is k(-6) prime?
False
Suppose l = -7 + 25. Is 2/3 + 4542/l composite?
True
Let b = -5 + 5. Suppose -4*u + 2 + 6 = b, x - 3*u - 547 = 0. Is x a prime number?
False
Let d(w) = w**2 - 5*w - 2. Let r be d(11). Let y = -29 + r. Is y prime?
False
Suppose 2*c + 327 = -c. Let y = -120 - -356. Let u = y + c. Is u prime?
True
Let l(n) = -n**2 - 6*n + 1. Let o be -7 - (-1)/(1/2). Let f be l(o). Suppose f*d = -3*g + 2*d - 11, d - 7 = -4*g. Is g a composite number?
False
Suppose 4*y - 17 + 77 = 0. Is ((-530)/y)/((-2)/(-3)) composite?
False
Let q = 55 + -41. Is q composite?
True
Let f be 3/(-6)*31*-4. Suppose 3*g - 6 = 6. Suppose -10 + f = g*c. Is c composite?
False
Suppose -4*j = 3*w - 338, 4*j + 0*j - 328 = 2*w. Is j a prime number?
True
Let v be 0/(2/(-4)*2). Suppose 0 = b - 2 - v. Suppose b*u - 13 = 3*r, 5*u + 0*u = -5*r + 70. Is u prime?
True
Suppose 9 = 3*k - 3*a, -a = 3*a + 8. Let q(y) = 11*y**2 + y - 1. Let d be q(k). Suppose d + 2 = m. Is m prime?
True
Let m = -131 + 294. Is m prime?
True
Let b = 2498 - -1139. Is b a prime number?
True
Let m(x) = -3*x - 3. Let b be m(-6). Suppose -25 = -5*y + 2*q - 4*q, 3*y = -q + b. Suppose 4*w + 90 = y*g + 7*w, -3*g - w = -50. Is g composite?
True
Let y(t) = -20*t - 1. Is y(-4) composite?
False
Suppose 0 = 12*v - 10*v - 12. Let p(m) = 2*m**3 + 2*m**2 + 8*m + 1. Is p(v) a prime number?
False
Let u(n) = 2*n**3 - n**2 + 6*n + 1. Is u(8) prime?
True
Let a(f) = 27*f**3 + 2*f**2 - 1. Let h be a(-1). Let k = 58 + h. Suppose -k = -i + 5*g, -i - 3 = 2*g - 21. Is i prime?
False
Suppose 1055 = -32*n + 37*n. Is n prime?
True
Suppose 0*s = -s - 5. Is (s/3)/(8/(-2136)) prime?
False
Let w(f) = 2*f**2 + f + 103. Is w(0) a prime number?
True
Let y be ((-4)/(-2))/2 + 0. Let b = 22 + -11. Is b*((-1 - -2) + y) prime?
False
Suppose -3*s + 9 + 9 = 0. Suppose 0 = s*l - 3*l - 909. Is l a prime number?
False
Let m = 3 + -1. Suppose -3*n = m*n - 375. Suppose -4*f + n = -81. Is f a prime number?
False
Let c = -338 - -627. Is c composite?
True
Let m = 6 - 6. Suppose -4*u + 7*u - 6 = m. Suppose -x + 2*g = -17, -104 = -u*x - 2*x - 4*g. Is x a composite number?
False
Let i(a) = -a**3 + a**2 + 95. Is i(0) a prime number?
False
Suppose -130 = -4*v - v. Let i = -16 + v. Suppose 0*t - g = -5*t + 630, 0 = 2*g - i. Is t a prime number?
True
Suppose -2*g = -3*d + 39333, -4*g + 65530 = 5*d + g. Is d prime?
True
Let q = 5 + -3. Let f = q + 29. Is f composite?
False
Suppose 2 = k - 1. Let x(y) = -389*y - 1. Let b be x(-1). Suppose s + k*s - b = 0. Is s a prime number?
True
Let f(o) = -o**3 + 2*o**2 + 7*o + 5. Is f(-6) a composite number?
False
Suppose -5*q = -101 - 164. Is q a composite number?
False
Let o(z) be the first derivative of 4*z**3/3 + z + 1. Is o(3) composite?
False
Suppose 2*p + 3*p - 924 = k, 928 = 5*p + 3*k. Is p composite?
True
Let o = -1 - -4. Suppose 0 = -2*c + o*c - 67. Is c prime?
True
Suppose 10*o - 7*o - 675 = 0. Suppose -u = 48 - o. Is u a prime number?
False
Let g(x) = 114*x**2 - x + 2. Is g(1) a composite number?
True
Let o(l) = 5*l**2 - 4*l + 5. Is o(6) a prime number?
False
Suppose 2*q - 206 = -12. Is q a composite number?
False
Suppose -2*v + v = -2. Suppose -k - 5*c = -2*c, -4*c - v = 2*k. Is ((-78)/(-4))/k*-22 a composite number?
True
Let d = 10 - 7. Suppose d*i + 24 = 69. Is i composite?
True
Let d(j) = -j**2 - 3*j + 4. Let z be d(-4). Suppose z = v - 77 - 1. Suppose -2*o + v = -0. Is o a composite number?
True
Is (-14320)/(-100) - (-2)/(-10) prime?
False
Let y(x) = 2*x**2 + 7*x + 13. Let b be y(-10). Let g = -24 + b. Is g prime?
False
Suppose k + 2*u = -4*k + 16, k - u = 6. Let w(g) = -g**2 - 5*g + 5. Let b(o) = o**2 + 6*o - 6. Let l(z) = -3*b(z) - 4*w(z). Is l(k) composite?
True
Suppose -365 = -7*d + 972. Is d prime?
True
Suppose 134*l - 133*l = 1195. Is l a composite number?
True
Let q = -860 - -2025. Is q prime?
False
Let g(y) = y**2 + 6*y + 1. Let z be g(-4). Is (-551)/z + 2/7 composite?
False
Let b = 698 + -255. Is b composite?
False
Suppose k - 205 = 280. Is k prime?
False
Let v(d) = -d**3 - d**2 - 7*d - 15. Is v(-10) a composite number?
True
Let i be (-2)/(-5) + (-48)/(-30). Suppose 3*p - 38 = 4*l, -3*l - 23 = -3*p - i*l. Is 310/p + (-8)/12 a prime number?
False