 number?
True
Suppose 0 = y + 2*g - 44, -2*g - 3*g = 3*y - 127. Is y a prime number?
False
Suppose -z = 4*m - 279 - 58, 0 = 4*z - 3*m - 1253. Is z a composite number?
False
Is ((-5650)/(-5) - -7)*(-1 + 2) a prime number?
False
Is ((-6)/(-8))/((-5)/20) - -344 a prime number?
False
Is -24 - -27 - (-1 - 3031) a prime number?
False
Suppose 535 - 47 = 2*c. Suppose 5*s - n = 19, 2*n + 5 = 3*s - 12. Suppose -2*r = -3*o - 5*r + 246, s*o + 5*r - c = 0. Is o a prime number?
True
Let t = -8 - -5. Let l(z) = 7*z**3 - 2*z**2 + z + 1. Let d(p) = -8*p**3 + 2*p**2 - 2*p - 1. Let g(q) = -2*d(q) - 3*l(q). Is g(t) a prime number?
True
Let z be (-8 - -5) + 16/2. Let b(o) = 2*o**3 - 4*o**2 - 5*o + 2. Is b(z) a prime number?
True
Is (-17)/(3 + (-30)/9) a prime number?
False
Suppose -229 + 2230 = 3*t. Is t prime?
False
Let t(q) = -3*q + 6. Let g(y) = 8*y - 19. Let m(n) = 4*g(n) + 11*t(n). Let b be m(-8). Is 1082/14 + b/7 composite?
True
Let d be 2776/(-40) + (-4)/(-10). Let k be (0 - d) + (-4 - -6). Let p = k + -34. Is p a prime number?
True
Let k(p) = 105*p - 31. Is k(14) composite?
False
Suppose 4*z + 4106 = 2*i, 4*z = -0*i - 5*i + 10335. Is i prime?
True
Suppose 3*q - h = -8 + 26, -h = -5*q + 32. Let l be ((-4)/(-6))/(q/63). Suppose -2*g - 260 = -l*g. Is g prime?
False
Suppose 2*f = -7*f + 1089. Is f a composite number?
True
Let b(a) be the first derivative of 2 - a - 35/2*a**4 - 1/3*a**3 - 1/2*a**2. Is b(-1) composite?
True
Let x(h) = 37*h - 1. Let t(z) = z. Let l(d) = -5*t(d) + x(d). Is l(4) a composite number?
False
Let d(b) = b**3 + 5*b**2 + 2*b. Let h be d(-5). Let r be 4/h - (-8)/20. Suppose 5*s = 2*p - 29, s = -p - r*s + 4. Is p a composite number?
False
Suppose -2*y - 3*p + 4*p + 43 = 0, 5*p = 2*y - 63. Is y a prime number?
True
Suppose 10*a - 4*a - 1902 = 0. Is a prime?
True
Suppose 2*i = -0*i. Let w = i + 2. Suppose -w*z - 2*z = -452. Is z a composite number?
False
Let y(k) = 3*k**2 + 3*k + 17. Is y(-14) composite?
False
Suppose 777 + 799 = 4*r. Suppose 4*z + r = -130. Is -1 - (z - (-1 - 2)) composite?
False
Let j = -88 - -6. Let d = j - -137. Is d a composite number?
True
Is 4437/3 + 0 + -2 prime?
False
Let u = -527 - -966. Is u composite?
False
Let x(m) = m**3 + 5*m**2 + 3*m - 4. Let o be x(-4). Let j(a) = -16*a**2 + 5*a + 70. Let i(p) = -3*p**2 + p + 14. Let g(s) = 11*i(s) - 2*j(s). Is g(o) composite?
True
Suppose 142 = v + 5*u, 0 = 2*v + 7*u - 2*u - 304. Let h = -35 + v. Is h a prime number?
True
Let v(o) = 43*o**2 - 1. Let k be v(1). Is (-4)/(-14) - (-1458)/k a prime number?
False
Let j(l) = 18*l**3 + 2*l - 1. Let s = 0 + 1. Let p be j(s). Let i = 50 - p. Is i prime?
True
Suppose -j = 2 - 12. Let y = 15 + j. Is y composite?
True
Is 1 + (-14)/10 + 1467/5 a prime number?
True
Let m be 6/21 + (-2138)/(-14). Is -6*(2 - m/6) a composite number?
True
Let u be 6 + (-2 + -3 - -3). Suppose 3*x = u + 59. Is x a prime number?
False
Suppose 4*b = u - 27, 51 = 5*u + 4*b - 3*b. Let o(x) = -x**2 + 15*x - 7. Is o(u) composite?
False
Suppose 0 = 2*q + y - 13, -4*q + 5*y + 44 = y. Suppose -4*d + 4 = -q. Suppose d*o + 49 = r, -r + 0*o + 39 = -o. Is r a prime number?
False
Suppose 3*l = -h + 24 + 8, -3*h + 2*l + 41 = 0. Suppose u - 9 = -0*f + f, u - h = -3*f. Suppose j = 8 + u. Is j composite?
False
Suppose -2*d + 5 = 3. Suppose -d = -v - 7. Is (2 + 0)*(-69)/v prime?
True
Suppose 0 = 5*h + 3 - 53. Is h a composite number?
True
Let h(p) = 11*p - 3. Suppose 13 = 4*j - 2*x + 3, 0 = -2*x - 2. Let b be h(j). Suppose -3 = 3*q, -b = -2*m - q - 2*q. Is m a composite number?
False
Let a = 59 + -113. Is (-7734)/a + (-2)/9 prime?
False
Let b(w) = -w**3 - 4*w**2 + 6*w - 1. Suppose 0 = -g - 3*g - 24. Is b(g) prime?
False
Let n(h) = 3*h - 3 + 3 + 2 + 70*h**2. Is n(-1) prime?
False
Let k = 253 - 14. Is k a prime number?
True
Is 1986/4*(8/12 + 0) a composite number?
False
Let c = -12 - -15. Suppose 2*s = -0*s + 8, -c*l + 553 = -2*s. Is l a prime number?
False
Let u be 1 + 4/(-2) - -2. Let y be u/((-12)/27)*8. Let a = 41 + y. Is a a composite number?
False
Let w(a) = -4*a**3 - 4*a**2 - 4*a - 5. Let y be (10/(-3) - -4)*-6. Is w(y) a composite number?
True
Let o(p) = 4*p**2 - 5*p + 2. Is o(-5) a prime number?
True
Suppose u = -4*u + 1315. Is u composite?
False
Let n(l) = 30*l + 1. Suppose -3*f - 2 + 5 = 0. Let m be n(f). Let w = m + -18. Is w a prime number?
True
Let i(f) = -f**2 - 8*f + 22. Is i(-9) a composite number?
False
Suppose r - 10 - 8 = 5*b, r + b - 6 = 0. Let w = r + -6. Suppose 0 = 2*l - w*n - 82, -3*l - 2*l + n + 197 = 0. Is l a prime number?
False
Let f = -781 - -555. Let s = -260 + 147. Let a = s - f. Is a a prime number?
True
Let a(x) = -x**3 - 15*x**2 - 17*x - 21. Let c be a(-14). Suppose 167 + c = 4*w. Is w a prime number?
True
Suppose f + 10 = -0*f. Let j(l) = -l**2 - 14*l - 4. Let a be j(f). Let s = -10 + a. Is s a composite number?
True
Let s(d) = -3*d - 3. Let y be s(-2). Let h(o) = 5*o + y*o + 9*o - 6. Is h(5) composite?
False
Let d(l) = l**2 + 7. Let g be d(6). Suppose g = 2*z - 91. Is z a composite number?
False
Let p(z) = z - 4. Let c be p(6). Suppose v - 231 = -4*m, 3*v + c*m - 3*m = 667. Is v composite?
False
Let z = -1 - -4. Suppose -2*d = -z*d - 2*c - 10, -4*d + 5*c = -25. Suppose d = 3*s - 3*l - 90, l - 190 = -5*s - 2*l. Is s a prime number?
False
Suppose -m + 43 = -2*m. Let l = 197 + m. Suppose -2*j + 4*w = -w - l, 75 = j - 2*w. Is j a composite number?
False
Let o = -3575 + 5778. Is o a composite number?
False
Let f be (-8)/(-36) + (-47)/9. Let d(k) = 2*k**2 - 3*k + 4. Let v be d(f). Suppose -5*x = 2*g - v, x - 2*x - 2*g + 17 = 0. Is x a composite number?
False
Let x(c) = 40*c**2 + 2*c - 1. Let w = -1 - -6. Suppose -w*j - 3*r = r + 2, 0 = 3*j + 2*r. Is x(j) prime?
True
Let o be (-1)/(-3) - (-22)/6. Suppose -99 = -o*n + t - 503, 2*n = 2*t - 196. Let x = n + 199. Is x a prime number?
True
Suppose 10*i = 11*i - 111. Is i composite?
True
Let m(q) = 112*q**2 + 3*q - 5. Is m(2) composite?
False
Let x(y) = 120*y**2 + 3*y - 5. Is x(2) prime?
False
Let t(w) = 0*w**2 - w**2 + 6*w + 3 + 0*w**2. Let d be t(6). Suppose d*o + 1 = -5, 3*o + 615 = 3*q. Is q prime?
False
Suppose 7*y + 2 - 16 = 0. Suppose y*w + 536 = 6*w. Is w composite?
True
Let x(m) = m**3 + m**2 - 3*m + 4. Suppose v + 10 = -5*j, 5 = -4*j - 3*v - 3. Let c be -6*((-3)/j)/(-3). Is x(c) prime?
True
Let a(x) = -423*x - 37. Is a(-4) composite?
True
Let b = 158 - -55. Is b a prime number?
False
Let h = 97 - 27. Let v = h - 17. Is v a prime number?
True
Suppose -233 = -w + 9. Is (-1 + 6/4)*w a prime number?
False
Let a(p) = -5*p - 1. Let z be a(-1). Suppose 6 = 4*s - 2*s + z*n, -n = -s + 3. Suppose 0 = -3*x + 3*j + 100 - 16, -s*x - j + 104 = 0. Is x a prime number?
False
Suppose -1455 = -4*u - 5*j, -4*u + 5*j + 1465 = -0*u. Is u prime?
False
Let f be 4/((-4)/(-2)) - -3. Suppose f*t - 109 = 106. Is t prime?
True
Suppose 7 = 3*j + 1. Is 3*(-159)/(-18)*j a composite number?
False
Suppose -2*t - t = 4*z - 771, -2*t + z + 514 = 0. Is t a composite number?
False
Let i = -7 + 11. Suppose 24 = -i*a + 340. Is a a composite number?
False
Suppose 2*t - 293 = -3*v, -2*t + 7*t = -3*v + 728. Suppose 8*w = 7*w + t. Is w a prime number?
False
Let r(t) = 107*t**2 + 6*t + 2. Is r(-5) prime?
True
Let f be (3 + 1119/(-15))*-70. Suppose -3*v + f = 1001. Is v a prime number?
False
Suppose 5*i - 3*f = 80, -i - 5*f + 3 = 15. Let q = 6 + i. Is q composite?
False
Let n(f) = f**3 - f - 1. Let b(a) = 9*a**3 - 2*a**2 - 3*a - 9. Let z(m) = -b(m) + 6*n(m). Suppose k + 3 = -0*k. Is z(k) composite?
True
Suppose -19 = 2*x + 5*i, 0 = 3*x + 2*i + 3*i + 21. Let s(j) = -57*j + 4. Is s(x) a prime number?
False
Let s(d) = d**2 + d - 4. Let a be s(-3). Is a/3*(-237)/(-2) a composite number?
False
Let k(r) = r**3 + 8*r**2 - 9*r + 6. Let v be k(-9). Suppose -5*l + 2*p + 46 = v*p, 0 = 3*l + 5*p - 38. Is (2/l)/(2/198) composite?
True
Suppose -n + 2*n = 1399. Is n prime?
True
Let x(w) = -w + 10. Let r be x(10). Suppose 0*u + 3*u - 111 = r. Is u a composite number?
False
Suppose -4*h - 1663 = -5*w, 0 = 3*h - 4 + 10. Is w a composite number?
False
Let d = -16570 + 27921. Is d prime?
True
Let d be 48/(-2 - -5) + -2. Suppose -2*s = -5*m + 26, -d - 1 = 5*s. Is ((-91)/4)/((-1)/m) prime?
False
Let p(a) = -a**3 + 2. Let o be p(0). Is 25/o*(1 + 1) a composite