
False
Let w(z) = -105*z. Let t be w(3). Let g = 189 - -305. Let h = t + g. Is h a composite number?
False
Suppose -3*k - 5251 = -5*x - 45389, 4*k - 5*x = 53519. Is k a prime number?
True
Suppose -7824 = -4*i - 2*q, 3*i + 0*i = 5*q + 5842. Suppose -3*v + 5*l = -1964, 0*v + 3*v - i = -5*l. Is v prime?
True
Let k(o) be the first derivative of -o**5/20 - 3*o**4/4 - 4*o**3/3 - o**2/2 - 11*o + 12. Let d(z) be the first derivative of k(z). Is d(-9) composite?
False
Suppose -4*u = 2139 - 12935. Suppose 1997 = 8*b - u. Is b prime?
True
Suppose 4*l - 79 + 7 = 2*w, -2*l - 56 = w. Let v = 9 - w. Is v composite?
True
Let v(t) be the third derivative of 41*t**5/60 - t**4/6 + 7*t**3/6 - 20*t**2. Is v(4) a composite number?
False
Suppose 326*s - 287599 = 313*s. Is s composite?
False
Let r = -12 + 14. Suppose -3*z - r*z = 7100. Let v = -1011 - z. Is v a prime number?
True
Let t(n) = 30*n**2 - 9*n + 6. Let q(j) = 6*j**2 - 2*j + 1. Let b(l) = 11*q(l) - 2*t(l). Is b(4) a prime number?
True
Let i = -23 + 27. Suppose 4*j + 0*j = 3*p - 431, 612 = 4*p + i*j. Is p a prime number?
True
Let u(j) = -674*j + 77. Is u(-10) a prime number?
False
Let z(i) = 2*i**2 - 4*i + 2. Let v be z(4). Suppose -10904 = -v*l + 10*l. Is l a composite number?
True
Let p(v) = 7*v**2 + 29*v + 49. Let o(l) = -4*l**2 - 14*l - 25. Let b(q) = 5*o(q) + 3*p(q). Let m be b(-17). Is m + -3*(3 + -4) a prime number?
False
Let h(n) = 5*n**2 + 5*n + 29. Is h(-16) a prime number?
True
Suppose 11*p - 6*p - 130 = 0. Suppose -3*k - p = -302. Suppose n - k + 9 = 0. Is n composite?
False
Let z be (-2 + 2)/((-6)/6). Suppose z = -4*x + 9*x - 3235. Is x a prime number?
True
Let v = 1648 + 1575. Is v a prime number?
False
Let i = 698 - 351. Let r = 856 - i. Is r prime?
True
Let q(m) = 86*m**2 - 3*m + 1. Let c be q(2). Let a = -229 + c. Let h = a + -55. Is h prime?
False
Let w = -13 - -17. Suppose -w*h + 0*h = -260. Suppose z + 2*u = -3*u + h, 3*z + 4*u - 173 = 0. Is z prime?
False
Let c(n) be the first derivative of -47*n**4/4 - 2*n**3/3 + n - 5. Let t be c(-1). Suppose -w = -3*w + t. Is w a prime number?
True
Let h(c) = c. Let i(g) = 26*g + 13. Let d(r) = -4*h(r) - i(r). Let k(s) = 121*s + 53. Let j(y) = -9*d(y) - 2*k(y). Is j(4) prime?
False
Let o(z) be the third derivative of z**5/30 - 3*z**4/8 - 2*z**3 - 6*z**2. Let i be o(-13). Suppose -i = -6*m + 703. Is m composite?
False
Let y(w) = 4*w**3 - w**2 + w - 11. Let c(r) = r**3 - r**2 - r + 3. Let t be c(2). Is y(t) a composite number?
True
Suppose -5*d + 3*f + 9 = 0, -2*d - f = 7 - 4. Suppose z - 1 + 0 = d. Is ((-6)/(-18))/(z/69) a composite number?
False
Let b(o) = 312*o**2 + 2*o - 9. Let f be b(7). Suppose 8*k = -3317 + f. Is k a prime number?
False
Let n(d) = -d**3 - d**2 - d + 2. Let z be n(0). Suppose -c - 3*r + 450 = z*c, 446 = 3*c - r. Is c prime?
True
Suppose 0 = r - 3*v - 7432, -4*r + 3*v = -38234 + 8488. Is r a composite number?
True
Suppose -8*w - 192183 = -488807. Is w a prime number?
False
Let y(q) = q**3 + 2*q - 10. Let h(g) = g**3 + 2*g - 11. Let j(u) = 2*h(u) - 3*y(u). Let c be j(0). Suppose c*b - 13*b = -635. Is b prime?
True
Let d(i) = 345*i - 64. Is d(10) composite?
True
Let r(q) = -77*q + 78*q + 1 + 2612*q**2 - 1. Is r(-1) prime?
False
Let i(x) = x**3 + x**2 - 8*x - 5. Let y(p) = -2*p - 16. Let h be y(-11). Is i(h) prime?
True
Suppose 207*n = 201*n + 198426. Is n composite?
False
Let v be (-2)/(-6) + 50/3. Suppose v*y - 134 = 15*y. Is y prime?
True
Suppose 2*y + 2*l = -2*l - 2164, l = y + 1073. Let t = 1731 + y. Is t a composite number?
True
Suppose 0*f = -2*f + 38. Let g = f + -13. Suppose -g*p + 359 + 103 = 0. Is p prime?
False
Let c(s) = 146*s - 153. Is c(31) prime?
True
Suppose -7008*z - 98768 = -7016*z. Is z composite?
True
Suppose -c + 112757 = -4*k, -4*k = -6*c + 3*c + 338239. Is c composite?
False
Suppose 35 = 4*r + 151. Let d = -15 - r. Suppose 0 = z - d - 69. Is z a prime number?
True
Let r be -309*(-1 - (-10)/(-6)). Suppose -n + 9*n = r. Is n prime?
True
Is ((2 - 2) + -1)/((-1)/2129) prime?
True
Let m = -347 + 512. Suppose -m = 5*s - 695. Is s composite?
True
Suppose 12*x = 7*x + 85295. Suppose -2*s = 5*s - x. Is s prime?
True
Let d = -401 + 112. Is (-30)/(-45) + d/(-3) a composite number?
False
Let j = -30 - -39. Let p(k) = 5*k**2 + 4*k - 22. Is p(j) a prime number?
True
Let w = 53781 - 11914. Is w prime?
False
Let y(r) = r - 13. Let o be y(7). Let h be 516 + o/3 + 3. Suppose -h = -3*u + 2*u. Is u a prime number?
False
Let d be 60/27 - (-4)/(-18). Suppose 0 = -4*u + 5*u - d. Let k = u + 9. Is k prime?
True
Let y(i) = 11986*i - 229. Is y(3) a composite number?
False
Is -6 + 93665/20 - (-9)/12 composite?
True
Let y(b) be the second derivative of -65*b**3/6 - 28*b**2 + 6*b. Is y(-17) a composite number?
False
Let t(b) = 25*b**2 + 8*b - 1. Is t(10) a composite number?
False
Let j = 15 - 0. Suppose -j*w = -6*w - 297. Is w a composite number?
True
Let m = -29 + 44. Let f = -3 + m. Let u(j) = 2*j + 13. Is u(f) a prime number?
True
Suppose -69 = -f - 19. Suppose -5*t + f = 5*u, 2*t + 3*t + 28 = u. Suppose 18*p = u*p + 5575. Is p a prime number?
False
Suppose -4*g - 5*n - 21158 = -93618, 0 = -3*n. Is g a prime number?
False
Let s(z) = -2*z - 21. Suppose 33 = -10*p + 7*p. Let t be s(p). Let x(r) = 497*r + 2. Is x(t) prime?
True
Let d(b) = 8*b + 2*b**2 + 2 - 12 - 3*b**2 + 0*b**2. Let i be d(6). Let u(f) = 43*f - 1. Is u(i) a composite number?
True
Let s(n) = -n**2 + 9*n - 8. Let d be s(4). Let a be -2*9/d*2. Is 2/(a + (-519)/(-171)) prime?
False
Let l = -5012 + 8125. Is l a prime number?
False
Let f(v) be the third derivative of v**5/60 + 7*v**4/24 + v**3/3 + 7*v**2. Let n be f(-6). Is n/6 - (-678)/18 a composite number?
False
Let n(a) = -2*a**2 - 6*a + 7. Let v be n(-5). Let d = 35 + v. Suppose 0*x + 3*x - d = -s, 0 = -2*x + 5*s - 8. Is x composite?
True
Let t = -16531 - -30304. Is t a composite number?
True
Suppose 0 = -7*m + 25*m - 10170. Is m a composite number?
True
Suppose -3*k + 6*k + 9 = 0. Is (-6)/18*k - (-1496)/1 prime?
False
Let l(c) = 849*c - 20. Let j be l(7). Let u = j - 3744. Is u a composite number?
False
Is (20559 + -4)*(-84)/(-140) a prime number?
False
Let d be (-120)/9*1/10*12. Is 794/1 + (-13 - d) prime?
True
Let c be 329 + (-1 - 0) - -3. Let h = c + 10. Is h a composite number?
True
Suppose 3*z - 7*z = l - 55052, 0 = -4*l. Is z prime?
True
Suppose -2*g - 88 = -2*j, -g - 5*j - 53 = g. Let n = -411 - g. Let x = n - -629. Is x a composite number?
False
Suppose 6 = -5*m - 44. Let b be ((-160)/25)/((-1)/m). Let i = 213 + b. Is i a composite number?
False
Suppose 8 = -5*d + 4*g, 0*g + 3*g = 3*d + 6. Let b be (-27 + d)/((-3)/(-3)). Is (0 - 3)/(b/1305) a composite number?
True
Suppose -3*m - 1625 = -5*z, 2*m + m = 15. Let u = z - 141. Is u a composite number?
True
Let u(b) = -3*b - 6. Let s be u(0). Let l(z) = -z - 4. Let y be l(s). Suppose -3*v + 255 = y*v. Is v a composite number?
True
Let s = -57871 - -85758. Is s a composite number?
True
Let y(c) = 3*c**2 + 5*c - 5. Suppose 2*p - 5*p = -2*z + 43, 3*z + 7 = -2*p. Let n = -6 - p. Is y(n) a composite number?
True
Suppose 0*n - 4*n + 3*m = 10, -3*m = 3*n + 18. Let x be n/26 + 2816/52. Let f = -31 + x. Is f a prime number?
True
Let p(x) = 105*x + 28. Let w = 8 - -7. Is p(w) a composite number?
True
Suppose -b = -l - 34 - 112, b = 5*l + 150. Suppose -2*w - 3*w = -b. Suppose -3*y = -w + 8. Is y prime?
True
Let z be (-36)/(-5) + (-9)/45. Let o be 3589 + z/((-14)/8). Suppose 0 = -0*u + 5*u - o. Is u prime?
False
Is ((-23934)/(-8))/((-276)/(-368)) a prime number?
True
Is 18143 - (14/1 + -8) a composite number?
True
Suppose 11*t = 32 + 12. Is ((-206)/4)/(t/(-152)) prime?
False
Suppose -c - 5*h + 3786 = c, 3*c - 5697 = -3*h. Is c a prime number?
False
Suppose 4*j - 4*f + 1232 = 0, 4*f = -0*j + 2*j + 622. Let w = -195 + 101. Let m = w - j. Is m composite?
False
Let q(t) = -11 + 2*t + 16 + 10*t. Is q(4) prime?
True
Suppose -7323 = -u - 4*o, -2*u = 7*o - 6*o - 14625. Is u composite?
True
Suppose 25 = 7*z - 2*z + 2*m, -10 = -5*z + m. Let o = -3 + z. Suppose 4*w - 2*w - 778 = o. Is w a prime number?
True
Let n = 13 + 2. Is -1074*((-50)/n - -3) prime?
False
Is (-140564)/(-4) - (-36 + 26) a composite number?
True
Let a(z) = 21*z**2 + 2*z - 12. Suppose -6*d - 44 + 2 = 0. Is a(d) a compos