 2*y - t, -t + 2*t = 4*y - 1047. Is y prime?
True
Let x = -2326 - -3983. Is x composite?
False
Suppose 8*d + 429 = 11*d. Is d a composite number?
True
Suppose 3*n + 5*c - 329 = 0, 4 = c + 9. Suppose j = 6*j - a - 126, 0 = 5*j - 3*a - n. Is j composite?
True
Suppose 4391 = 37*t - 36*t. Is t a composite number?
False
Let t be (-3)/(3/3) + 8. Suppose 0 = 3*n - g - 775, -g = 3*n - t*g - 769. Is n a prime number?
False
Let g = 284 - -69. Is g a composite number?
False
Suppose -j = -58 - 71. Suppose -2*m - 117 = 4*n - 657, -n + m + j = 0. Is n a composite number?
True
Let q(h) = 146*h + 57. Is q(14) composite?
True
Let x(h) = -1 - h - 9 + 11. Let i be x(-4). Suppose 2*m - 3*n - 226 = 0, -611 = -0*m - i*m - 4*n. Is m a prime number?
False
Let g = 940 + -429. Is g prime?
False
Suppose 0 = 3*q + 67 - 238. Is q composite?
True
Suppose 2*t = -3*a + 349, 3*t + 0*a + 2*a - 516 = 0. Let w = t + -88. Is w a prime number?
False
Let l = -311 - -692. Is l composite?
True
Is (-32)/16*(-502)/4 a composite number?
False
Suppose h - 521 = 4*d, 0 = 2*h - 0*d + 5*d - 1003. Is h a prime number?
True
Suppose -65 = -3*x + 1. Is x a prime number?
False
Let q(y) = 62*y**2 + y. Let l(f) = 249*f**2 + 4*f. Let m(x) = -2*l(x) + 9*q(x). Is m(-1) a composite number?
False
Suppose 0 = 3*v - 3*j - 219, -39 - 326 = -5*v + 2*j. Let d = -22 + v. Is d composite?
True
Let s = 81 - -772. Is s a prime number?
True
Suppose 0 = 5*p + 4*z - 2489, p - 5*z + 251 - 743 = 0. Is p composite?
True
Suppose 1929 = 6*d - 981. Is d prime?
False
Suppose 0 = 5*u + 2*o - 91, o - 77 = -4*u - 2*o. Let b = u + 4. Is b a composite number?
True
Suppose 0 = -k - m, -5*k = -5*m - 12 - 8. Is k composite?
False
Suppose 3*h - q - 52 = 0, 3*h + 31 = -3*q + 91. Is 698/h - (-2)/9 a prime number?
False
Let w(l) = l**3 - 3*l**2 + 2*l - 4. Suppose -4*y + 0*y + 5*f = -32, 1 = -5*y - 4*f. Let b be w(y). Is (-62 - 0)*(-1)/b a composite number?
False
Let b(s) be the third derivative of -5/6*s**3 - 3*s**2 + 0*s + 0 + 1/8*s**4 + 1/20*s**5. Is b(-6) prime?
False
Let r = 1970 + -315. Is r a composite number?
True
Suppose -2*b + 82 = 4*r, 5*r - 103 = r + 5*b. Let u(k) = -3*k**2 + k**3 - k**2 + 5*k**2 + r. Is u(0) composite?
True
Suppose l = -3*l + 4120. Suppose -47 = -3*x + l. Is x prime?
True
Let o = 4 + -1. Suppose 5*b + o = 23. Suppose -5*h = -h + b*c - 196, c = -3*h + 151. Is h prime?
False
Let s(x) = x**3 - x**2 + 647. Is s(0) prime?
True
Suppose 7 + 6 = -4*t - 5*o, -2*t - 4 = 2*o. Suppose 0*a = t*u - 4*a - 2, 2 = -a. Let s = 5 + u. Is s a composite number?
False
Let t(b) = -3*b + 3. Let o be t(5). Let v be (-2)/(-12) - (-1550)/o. Let p = v - -220. Is p prime?
False
Is 27/63 + (-12076)/(-14) a composite number?
False
Is (2/(-4))/(3/(-6234)) prime?
True
Suppose -1067 = -15*p + 8668. Is p a composite number?
True
Suppose -w + 2*h - 4*h = 0, 3*w = 2*h - 24. Let l(u) = u**3 + 7*u**2 + 5*u - 2. Let i be l(w). Let f = i - -11. Is f a prime number?
False
Let d be (-98)/(0 - 2/10). Suppose -t + 607 = 5*a, 3*t = -3*a - a + d. Is a a prime number?
False
Let w be (-2)/(-4)*0*1. Let c(j) = 14 + 7 + j**3 - 7. Is c(w) prime?
False
Let y be (3/(-1))/3 + 3. Suppose 0*z = y*z. Suppose -h + 34 + 19 = z. Is h a composite number?
False
Suppose 2*z + 15 = 7*z, -3*z = -3*r - 18. Let b(q) = -q**3 + q**2 - q. Is b(r) composite?
True
Suppose -3*n + n = -8, -28 = -2*o - 5*n. Suppose 0 = p - 3*q - 101, o*p + 0*q = 5*q + 376. Is p prime?
True
Is (-5)/2*22340/(-50) prime?
True
Let l = 0 + 1. Let d be l + (1 - (-4)/(-2)). Suppose -w + 2*w = 2*f + 47, -w + f + 42 = d. Is w prime?
True
Let k(s) = s**3 + 6*s**2 - 7*s + 6. Let l be k(-7). Suppose 5*r = -n + 46, 0 = 4*n + r - l*r - 109. Is n composite?
False
Let l be ((-8)/(-10))/(8/(-2980)). Let v = l - -425. Is v a prime number?
True
Let n(d) = -92*d - 3. Let c = 3 + -10. Is n(c) prime?
True
Let b = 110 - -1. Is b prime?
False
Let j = 5 - 2. Suppose -j*d = d - 60. Is d composite?
True
Let j(b) = -85*b**3 + b + 1. Let h = 5 - 6. Is j(h) composite?
True
Let o(p) = p**3 - 9*p**2 + 2*p + 14. Let v be o(10). Let r be 1/((-132)/v - -1). Suppose -3*s + 44 = -r. Is s a prime number?
True
Let b(f) be the first derivative of -f**4/4 + 2*f**3/3 + 3*f**2/2 + f - 2. Let u be b(3). Is (-1 + 4)/(u/17) prime?
False
Suppose -c - 3*c + 2*b = -1578, -5*b - 785 = -2*c. Is c a prime number?
False
Let p(q) = -q**3 - 8*q**2 + 12*q + 5. Is p(-10) prime?
False
Suppose 3*h + 3*l - 304 = l, -4*h - 3*l + 404 = 0. Suppose h = 4*u + 4*w, 2*w = 7*w + 25. Is u prime?
True
Suppose -2039 = -3*s - 4*u, -3*u = -4*s - 2*u + 2744. Is s a prime number?
False
Suppose -h = 1, 5*o - 51 = -3*h + 166. Suppose 0 = -5*u - o + 159. Is u a prime number?
True
Suppose 5*o + 13 = -3*b, -6 = 5*b - o - 31. Suppose -150 = -2*f - 4*n, -412 = -5*f + b*n - 51. Suppose -2*k = f - 303. Is k a composite number?
True
Let p(k) = 3*k**3 + 2*k**2 + 1. Let b be p(3). Suppose -2*w = 3*w - b. Suppose -3*s - 4 = -4*l, 2*s = -0*l - 3*l + w. Is s prime?
False
Suppose 0 = 5*h - 0*h. Let a be (-1)/(h - (-1)/(-4)). Let o(x) = 2*x**2 - 5*x - 1. Is o(a) prime?
True
Suppose 2*t - 6 = -0. Suppose 4*z + u - 15 = 0, 3*z + 4*u = -0*u + 21. Let h = z + t. Is h a composite number?
True
Let h(f) = -f - 3. Suppose 4*l - 12 = 3*i + 2*l, 2*i = 2*l - 8. Let o be h(i). Is (-15 + 1)*o/(-1) a prime number?
False
Let o be 16/(-10)*(-60)/8. Suppose -8 = -y + p, -y + p = y - o. Suppose y*q - 77 = -1. Is q a prime number?
True
Let h(f) = -5*f**2 - 2*f - 1. Let c be h(-1). Suppose -5 + 0 = 5*z. Is (56/c)/(z + 0) a prime number?
False
Let w(s) = 2*s**2 + s + 1. Let k be w(-1). Let b be ((-3)/k)/(2/(-4)). Suppose 72 = b*d + 9. Is d a prime number?
False
Let j(r) be the second derivative of -r**5/20 - 2*r**4/3 + r**3 - r**2/2 - 2*r. Let u = -10 + 1. Is j(u) prime?
False
Let p(i) = i**2 + 2*i - 1. Let l be p(-3). Suppose -677 = -3*c + l*b, 5*c - b - 1135 = 4*b. Is c a composite number?
False
Suppose -a - 87 = -532. Is a composite?
True
Let s(p) = p**2 + p. Let j(a) = 8*a**2 + 5*a - 4. Let h(m) = j(m) - 3*s(m). Let o be h(-3). Let g = o - 16. Is g prime?
True
Let c(u) = 222*u**2 - 5*u - 11. Is c(-2) composite?
False
Let f(k) = 23*k - 24. Is f(19) a composite number?
True
Is ((-20)/(-15) - 1)*2127 a composite number?
False
Let i(n) = 2*n. Is i(5) prime?
False
Let l = -10 + 14. Suppose -619 = -l*o + 697. Let u = -214 + o. Is u composite?
True
Let r(o) = -6*o + 7. Let w be r(-6). Suppose w = x - 70. Is x prime?
True
Is (-3)/12 - (-2151)/12 composite?
False
Is 2/(-6) + (57225/9 - 5) composite?
False
Suppose -3*d - 833 = -5*f, -4*f + 747 - 84 = d. Let g = f - 69. Is g prime?
True
Let a be 7/((-28)/(-1188)) + 1. Suppose t = -t + a. Is t a prime number?
True
Let n(l) = l**2 + l + 19. Let r be (4 + -2 - 4)*1. Let v = 2 + r. Is n(v) composite?
False
Let a(j) = -j**2 - 6*j + 7. Let b be (-2)/8 + 54/(-8). Let u be a(b). Suppose -4*i + 125 + 183 = u. Is i composite?
True
Suppose 3*k = 2*k - 1. Let g be (-4)/12*39*k. Is 4*g - (3 + -2) prime?
False
Let f(b) = b**3 - 10*b**2 + 10*b - 1. Let g be f(10). Is 4239/g + (-2)/(-11) a prime number?
True
Let z be (9/(-3))/(1/(-11)). Suppose 0 = 3*t - o - 13, -t = 5*o - 7 + 24. Suppose z = 4*y - t*y. Is y a prime number?
False
Suppose 25*s - 1325 = 20*s. Is s a composite number?
True
Suppose 0 = -3*i + 52 + 56. Let u be (1/2)/((-3)/i). Is (1144/12)/((-4)/u) a composite number?
True
Let q(n) = n + 5. Let c be q(-3). Suppose -m + 4*j + 3 = -c*m, -2*m = -5*j - 59. Suppose 0 = -2*t + a + m, a = -3*t - 4*a + 58. Is t prime?
True
Suppose 4*g - 15 = m, 4*g + m = 3*g. Suppose -42 = -g*v + 3. Is v prime?
False
Is 6/12*6 - -5482 prime?
False
Let d be (-7)/((-21)/810) - 2. Suppose q = o - d, 0*o - 4*o = 3*q - 1051. Is o composite?
True
Let r = -476 + 787. Is r a prime number?
True
Let b(t) = 8*t**2 + 2*t + 1. Let g = -9 - -14. Is b(g) a prime number?
True
Let w = 42 - 11. Suppose -3*g - y + 395 = 0, -g = -3*y - 114 - w. Is g prime?
False
Let u = -1 - -5. Suppose -u*g = -2*h + 82, -5*g + h + 11 = 118. Let c = g + 33. Is c composite?
False
Let k(m) = m - 7. Let x be k(6). Is (-6)/3 + (x - -38) prime?
False
Let w = -11 - -30. Is w a composite number?
False
Is -1 + (-4)/(-2) + (429 - 11) a prime number?
True
Suppose 4*t + t + 25 = 3*m, 4*t - 2 = -2*m. Let r(k) = 3*k**2 + 5*k - 3. Is r(m