 - 2 composite?
False
Let m = 3623 - 1485. Is m/18 - (-2)/9 a prime number?
False
Let w(j) = j**2 + 7*j + 9. Let n be w(-6). Suppose 2*t = n*t - 2. Let d(a) = 2*a**3 - 2*a**2 + 3*a - 1. Is d(t) a composite number?
False
Is (14611/38)/(2/8) prime?
False
Suppose 0 = a - q + 3, 4*a + 2*q - 3 - 9 = 0. Is (118/(-4))/(a/(-2)) prime?
True
Let g(n) = -n**2 + 7*n + 5. Let v = -14 + 22. Let p be g(v). Is (0 - -5)/(p/(-9)) prime?
False
Suppose 0 = 5*h + 81 + 44. Suppose 11 = 3*l - 2*y, 0*l - l = -5*y - 21. Let u = l - h. Is u composite?
True
Suppose -5*t = 2*y - 26, 5 + 21 = 2*y + 4*t. Is y a composite number?
False
Let y(d) = 79*d**3 + 3*d**2 - 3*d. Let c(k) = -k**2 + k. Let i(a) = 4*c(a) + y(a). Is i(1) composite?
False
Let f(w) = 87*w + 1. Let y be (-8 + 2)*3/(-9). Let t be f(y). Suppose 0 = 5*a - 0*a - t. Is a a prime number?
False
Let p(c) be the third derivative of 11*c**5/30 - c**3/6 - c**2. Suppose 3*d + 10 - 7 = 0. Is p(d) composite?
True
Suppose -2*k = 5*y - 1252, 5*k - 202 = -4*y + 2945. Is k a composite number?
False
Suppose 2*p + 367 = 4469. Is p a prime number?
False
Let b be 2/((-1)/(111/(-2))). Let c = -2 + b. Is c prime?
True
Suppose 5*q + 7907 = 3*m, -5*m - 7*q = -3*q - 13129. Is m prime?
False
Let c(z) = -4*z**3 - 9*z**2 + 9*z - 1. Let g(t) = -5*t**3 - 10*t**2 + 10*t. Let h(a) = -4*c(a) + 3*g(a). Let o = -12 + 7. Is h(o) prime?
True
Is 0 + 4 - (4 + -1399) a prime number?
True
Suppose 4*v - 28 = -4*s, s + v = 3*s + 1. Suppose s*z = 8, z + 16 = 2*r + 2*z. Is r composite?
True
Let u be 2/(-2) + -1 + 2. Let k(s) = s**3 - s + 24. Let h be k(u). Let r = h + -1. Is r prime?
True
Suppose 3*z - 2*z = -7. Let b(r) = -11*r + 4. Let i be b(z). Let k = i - -14. Is k composite?
True
Let j(o) = 8*o + 10. Let k = -14 + 23. Is j(k) a prime number?
False
Let r(c) = -4*c + 7*c - c**2 + 4*c. Let q be r(7). Suppose q*a - 14 = -2*a. Is a a composite number?
False
Is 187/((-3)/(-6)*2) a composite number?
True
Let c(o) = 49*o - 3. Let a be c(2). Suppose -2*k = -k - a. Suppose 0 = 5*z - 10*z + k. Is z a composite number?
False
Let d = -5 + 8. Suppose -d*i + 458 = -19. Is i a composite number?
True
Let m = 1052 - 603. Is m prime?
True
Let i be 1/3 + (-52)/12. Let s(y) = -2*y - 3. Let m be s(i). Let h(n) = 11*n - 6. Is h(m) composite?
True
Let m(t) = -2*t + 9. Let h be m(9). Let s be -12*(1 + 3/h). Let p = s + 23. Is p prime?
False
Suppose 2*a = 2*j + 438, 2*a - 4*j - j - 444 = 0. Let v = 336 - a. Is v composite?
True
Let q(n) = 2*n**2 - 10*n + 7. Is q(6) prime?
True
Let n(f) = f**2 + 4*f + 2. Let w be n(-4). Suppose 0 = -4*t - t - 5*s + 35, 4*t - w*s + 2 = 0. Suppose 35 = 3*x - t*x. Is x a prime number?
False
Suppose -z - 3 = -2*z, -2*z = r - 11. Let k be r - ((-2)/(-1) - 3). Suppose -y - 244 = -3*f, 0 = 2*f - k*f - y + 337. Is f composite?
False
Let w(q) = q**3 + 6*q**2 - 9*q - 9. Let t be w(-7). Suppose 5*a - 4*o - 678 = 0, -t*o - 222 - 458 = -5*a. Is a prime?
False
Is (1 - 4 - (-11 + 4)) + 861 a composite number?
True
Let a = 25 - 35. Let y = a - -14. Is ((-4)/(-1))/(y/14) a composite number?
True
Suppose 2*t - 2 = 2. Let r(d) = -1 + 1 - 4*d + 3 + d**t. Is r(6) a prime number?
False
Let s be 0/(4 - (2 - -1)). Suppose 2*d - 3*j - 19 = 0, -d + j + 8 + 2 = s. Is d prime?
True
Suppose -3*w - 2001 = -6*w. Is w composite?
True
Let c be 1474*1 - (-1 + 0). Suppose -c = -3*p - 2*p - 5*r, p - 299 = -3*r. Is p prime?
True
Is 2/10 + (-19488)/(-35) prime?
True
Suppose -1 = -5*s - 6. Is s*1*(-483)/3 a composite number?
True
Suppose -u = 5*n + 16 - 5, -2*u - 5*n = 7. Suppose -g + 4*g + 24 = u*r, -2*g - 2 = 2*r. Is -9*(2/r - 1) composite?
False
Let g be (-4)/22 + (-48)/(-22). Let b(z) = -z**3 + 3*z**2 - 2*z + 3. Let r be b(g). Suppose r*w - 24 = -3*o - 0*w, 0 = 5*w - 5. Is o composite?
False
Suppose 3*m = 9*m - 8394. Is m a prime number?
True
Is (-3)/6 - 225/(-6) a prime number?
True
Suppose 4 = y, -2*u - 5*y + 17 + 11 = 0. Suppose -2*r + r - 264 = -u*w, 0 = 4*r - 16. Is w a prime number?
True
Suppose -3*o = o. Suppose d = -2 - o, 4*d + 16 = n. Suppose 3*k + n = 29. Is k a composite number?
False
Let m(u) = u**3 + 3*u**2 + 3*u + 1. Suppose 0*k - 2*k - 4 = 0. Let s be m(k). Is (s - -2)/((-3)/(-237)) a composite number?
False
Let s(d) = 12*d**2 - 10*d + 9. Let i be s(-9). Let r = -568 + i. Is r prime?
True
Suppose 5*o - 20 - 25 = 0. Let f = o - 4. Suppose -4*h = -i - 0 - 5, -f*h = 5*i - 50. Is i composite?
False
Let g be (8/(-5))/(4/(-10)). Suppose -s = b - 28 + 9, g*s - 99 = -5*b. Suppose -2*q + t + 86 = 2*q, -b = -q + t. Is q a prime number?
False
Let b(i) be the second derivative of i**5/20 + 2*i**4/3 - i**3 - i**2/2 + 3*i. Let p be b(-8). Suppose 0 = -d + 32 + p. Is d a composite number?
False
Let i(w) be the first derivative of -w**4/4 + 7*w**3/3 - 3*w**2 + 6*w - 1. Let s be i(4). Suppose -z + a + 54 = 0, 5*a - s + 104 = z. Is z a composite number?
True
Let c = -12 + 27. Suppose -x = -0*x - c. Is (-6)/x - (-117)/5 composite?
False
Let z be 2/(-1 - (-1)/(-1)). Is 80 - -3*(-2 - z) prime?
False
Let w = 815 - 384. Let d = w + 150. Is d composite?
True
Is (-3)/(-9)*3*119 prime?
False
Let w = 1 + 2. Suppose -3*x = -3*t - 0*x, w*t = -2*x + 15. Suppose -t + 13 = 5*p. Is p a prime number?
True
Let j(i) = 2*i**3 - 4*i**2 - 7*i + 4. Suppose 3*u - 5*u = -10. Suppose -3*m + 0*l - l + 14 = 0, u*l + 10 = m. Is j(m) a composite number?
True
Is 1013 - (16/4 - 0) a composite number?
False
Suppose 2*d = 5*u - d - 27, 0 = 3*u - 4*d - 25. Let t(z) = -z**2 + 2*z + z**2 + z**u - 6 - 2*z**2. Is t(4) a composite number?
True
Let j = 3 + 6. Let b = j + 8. Suppose b = c + 2. Is c a prime number?
False
Let y(f) = -f + 632. Let c(r) = r + 1. Let i(d) = -c(d) + y(d). Is i(0) composite?
False
Let u(i) = -i**3 - 4*i**2. Let t be u(-4). Let k = 3 + -4. Is (-30)/(-2) + t + k a composite number?
True
Let r = 17 - 41. Let g be -3*(2 - r/(-9)). Suppose -g*l = -2 - 24. Is l a composite number?
False
Suppose -2*x = 2*x - 56. Is x composite?
True
Let g be 8/6*203*3. Let j be ((-4)/8)/((-2)/g). Suppose -71 + j = 4*w. Is w prime?
False
Let k(t) be the second derivative of t**5/20 + 11*t**4/12 - 5*t**3/2 + 17*t**2/2 - 3*t. Is k(-12) prime?
True
Let x be ((-6)/(-9))/((-1)/(-78)). Suppose -3*t - x = -211. Is t composite?
False
Suppose -5 = -5*w + 4*w - d, 5 = 3*w - 2*d. Suppose 0 = 5*t + w*q - 251, -2*q + 37 = t + 3*q. Is 15/2*t/6 prime?
False
Let l(d) = 3*d**2 - 6*d + 5. Is l(8) a prime number?
True
Suppose y - 4*x = 0, 4*y = 4*x - 6*x. Suppose 3*z = -2*t + 5*z + 52, t - 22 = 5*z. Suppose 5*p + y*l = -2*l + t, -5*l - 20 = 0. Is p a prime number?
True
Is 8/(-60) - 1907*31/(-15) a composite number?
True
Suppose 10216 = 3*g + 5*g. Is g a composite number?
False
Suppose -4*w + 4*a + 432 = 0, -2*w - w + 5*a = -330. Suppose -l + w = 4*l. Let z = l - 12. Is z composite?
True
Suppose -3*f - 4*l = -2615, -4*f - 5*l = -f - 2611. Is f a composite number?
False
Suppose 0*h + 2 = c - h, 3*h + 21 = -2*c. Let w(a) = -7*a**3 - 2*a**2 - 4*a - 4. Is w(c) prime?
True
Suppose -f = 4*a + 9, -f - 2*f = -a - 12. Suppose 2*y - 1 - 5 = 0, 2*p + f*y = 191. Is p composite?
True
Let z(m) = m**3 + 5*m**2 - 10*m - 3. Let c be z(-7). Let d = 160 + c. Suppose d - 24 = 3*g. Is g a prime number?
False
Let h = 991 - 297. Is h prime?
False
Let d(u) = -u**3 + 4*u + 1. Let g be d(-3). Let w = g + 15. Is w a prime number?
True
Let n be ((-27)/(-4))/(3/40). Suppose 25 - n = -5*a. Suppose -a = 5*k - 248. Is k a composite number?
False
Let j(v) = -v**2 + 3*v + 6. Let u be j(6). Let l = u - -10. Is 78 + l*2/4 prime?
False
Suppose k - 2*c = 1345, 5*k = 4*c - 0*c + 6725. Is k a prime number?
False
Let m(u) = u + 6. Let d be m(-6). Let i be (d - (-501)/6)*2. Suppose -45 = -2*r + i. Is r a composite number?
True
Let n = -3 + 41. Suppose t - n = -t. Is t composite?
False
Suppose -4*f - 36 = -3*s, -3*f + 0*s - 27 = s. Let p be (-132)/f*(-9)/2. Is (10/(-3))/(4/p) a prime number?
False
Let x be -2 - (-3)/(-3)*-3. Let w be x/(((-12)/81)/(-4)). Is 519/w + 4/(-18) prime?
True
Let a(v) = -225*v - 3. Let k be a(-2). Let t = k - 314. Is t a prime number?
False
Is 145*(2 - (-15)/(-25)) composite?
True
Let r(j) = -136*j - 37. Is r(-14) composite?
False
Suppose 0 = -2*d + 4*z + 16, 8 = -4*d + 2*z + 28. Let x(w) = 12*w**2 + 3*w + 1. Let y be x(-4). Suppose y = t + d*h,