 composite?
False
Let v(c) = 35*c**2 - 19. Suppose -q - 10 = -2*b, -b + 11 = -4*q - 8. Is v(q) composite?
False
Let h be 344 + 0 + 21 + -17. Suppose 6*x - 54 = h. Is x a prime number?
True
Suppose -2*h - 945*k = -944*k - 63369, 4*k = -5*h + 158415. Is h a prime number?
True
Let j be 1 + ((-8)/4 - -5) - 2. Suppose -j*s - z = -1671, 0 = -s - 0*s + 2*z + 833. Is s a composite number?
True
Let w(q) = q**3 - 2*q**2 - 7*q + 3. Let v be w(4). Suppose u - 2 = v. Is (-2316)/(-9) + (-3)/u composite?
False
Let w(y) = y**3 + 12*y**2 - 14*y - 9. Let z be w(-13). Suppose -820 = -z*c + 780. Let k = c + -183. Is k a prime number?
False
Suppose 2*l = l + 4. Let q(i) = 80*i - 9. Let m(r) = -80*r + 8. Let v(n) = l*m(n) + 5*q(n). Is v(10) a prime number?
True
Let v(u) be the third derivative of 5*u**2 + 0 - 1/6*u**3 + 7/60*u**5 + 0*u + 1/12*u**4. Is v(2) a prime number?
True
Let t = -14 - -14. Suppose 0 = -c - m + 21, t*c + 87 = 5*c - m. Let o = c - 11. Is o composite?
False
Is 1/(-7) - 126984/(-77) a composite number?
True
Suppose 3*l - 11307 = -4*t + 13157, 24432 = 4*t - 5*l. Is t a prime number?
True
Suppose 10*q - x = 13*q - 2724, -q = 4*x - 919. Is q composite?
False
Let z(c) = -c - 13. Let g be z(-16). Suppose -o + 1102 = s - 0*s, g*s - 1100 = -o. Is o composite?
False
Let y = -5771 + 8670. Is y prime?
False
Suppose -9*l = -4*l - 115. Suppose 2*p - 5*k = -50, 0 = p + k - 3*k + l. Is (89/5)/((-3)/p) composite?
False
Let q(z) = -z. Let d = -34 - -39. Let s be q(d). Let j(g) = -11*g**3 - 7*g**2 - 5*g - 12. Is j(s) prime?
True
Let h(s) be the first derivative of 6*s**3 + 5*s**2 - 3*s - 9. Is h(5) prime?
False
Suppose -5*k + 565 = -5*t, 2*k - 3*k - 541 = 5*t. Let s = 0 - t. Is s prime?
True
Let l(k) = 225*k**2 + 4*k - 4. Is l(3) prime?
False
Let x(o) = 467*o**2 - 16*o + 28. Is x(5) composite?
True
Suppose 0*a = 3*a. Suppose a = -2*y + 2*r + 2518, 5*y - 4*r + 7*r - 6295 = 0. Is y a composite number?
False
Let t = 34827 + -20574. Is t composite?
True
Let c(b) = 11 - 539*b + 31 + 574*b. Is c(5) a prime number?
False
Let y(q) = 3*q**2 - q. Let j be y(1). Suppose 3*v - 98 = j*v. Let u = v - 7. Is u a prime number?
False
Let s be (-4)/2*(-2130)/12. Suppose -11*c + 10*c + s = 0. Suppose 3*v + 5*r - 339 = 0, 5*v + 5*r = c + 210. Is v composite?
False
Let u(f) = -2 + 5*f**2 - 2*f**2 - 2*f**2 - 4*f + f**2. Is u(-2) a prime number?
False
Suppose 9 = 3*v, 5*n + 132 = 2*v - 919. Let p = -50 - -14. Is 8/p + n/(-9) a prime number?
True
Suppose -18 = 18*x - 16*x. Let i(t) = 13*t**2 + 3*t + 21. Is i(x) a composite number?
True
Suppose 23*q + 14131 = 71424. Is q a prime number?
False
Suppose 0 = -43*s + 54*s - 243199. Is s prime?
True
Let m be (-1)/4*200/(-10). Suppose -m*q = q - 930. Is q a composite number?
True
Let o(b) = -199*b**3 - 2*b**2 + 2*b + 3. Let a be o(-2). Suppose -5*w + a = -2*w - 2*t, 0 = 2*t - 4. Is w a composite number?
True
Suppose -4*l - 3*a - 405 = 9, -3*l - 5*a - 305 = 0. Suppose d - 184 = 5*p + 88, 4*d + 5*p = 1088. Let o = d - l. Is o a prime number?
False
Is (-5)/25 + -7*7516/(-10) composite?
False
Let x(y) = 69*y**2 + 10*y + 23. Let g be ((-44)/(-55))/((-2)/10). Is x(g) prime?
True
Let l(g) = g**3 + 5*g**2 - 5*g + 6. Let i be l(-6). Suppose r + 3 = i, -5*d - 4*r + 9 = -2*r. Suppose 5*c - d*c - 166 = 0. Is c a composite number?
False
Suppose -3*h + 27 = 2*h - 2*n, -n = -h + 6. Let y(x) be the third derivative of x**5/12 - x**4/4 - x**3/3 + 3*x**2. Is y(h) composite?
True
Let l be 0/(1/1)*1. Suppose -4*m + l*m + 32 = 0. Let n(s) = s**3 - 6*s**2 - 5*s + 3. Is n(m) a prime number?
False
Let o(z) = 5*z**3 - z**2 - 7*z - 10. Suppose -3*y + 4*r + 28 = 0, -2*y + 2*r + 20 = y. Let m(a) = -5*a**3 + 7*a + 9. Let q(v) = y*m(v) + 3*o(v). Is q(-5) prime?
True
Suppose 4*v = 6 + 6, -5*v + 15 = -3*d. Suppose 5*n - 21 = -37*r + 39*r, 3*r = n - 12. Suppose 2*c + 143 = b, d = -2*b + n*b - c - 144. Is b composite?
True
Let r = 1188 + 103. Is r composite?
False
Let a = 318 + 87. Let h = a + -597. Let y = -89 - h. Is y prime?
True
Let p(n) = 4*n - 43. Let f be p(10). Is 4194/(-12)*2*f/9 composite?
False
Let k = 7 - 6. Let p(o) = -7*o - 4*o + 8*o**2 - k + 3*o. Is p(6) a prime number?
True
Let v(q) be the first derivative of 8/3*q**3 + 17/2*q**2 - 8 - 11*q. Is v(-14) a composite number?
False
Let d(w) = 2*w**3 + 12*w**2 + 9*w - 5. Let z be d(-5). Suppose -b - 3*i = -257, -4*b + 0*b + 3*i + 1013 = z. Is b a prime number?
False
Suppose -4*d + 28 + 0 = 0. Suppose -9252 = n - d*n. Suppose 4*k + 2*v = 1200 + 850, 3*v - n = -3*k. Is k a prime number?
False
Let a(s) = 11*s + 1151. Is a(0) a composite number?
False
Is ((-3984827)/(-147))/((-2)/(-6)) composite?
True
Let b(c) = 3*c**2 + 3*c - 5. Let m = 2 - 4. Let j be 2/6*m*-12. Is b(j) composite?
False
Let z(r) be the second derivative of -r**3/3 + 11*r**2/2 + r. Suppose -30 = 3*t + 2*t. Is z(t) prime?
True
Let x(q) be the second derivative of -61*q**3/6 - 3*q**2/2 - 3*q. Suppose 4*r = 4*o + 4, 0 = 3*r - 5*r. Is x(o) a composite number?
True
Let z(y) be the second derivative of -9*y**5/20 + y**4/6 + y**3/2 + 3*y**2/2 - 2*y. Let j = 1 - 3. Is z(j) a composite number?
True
Suppose -l = -3*f + 9, 2*l + 4 = f - 2*f. Suppose -2*p - 5*v = 3*p + 1340, 0 = -p + f*v - 274. Is (-3 - -1) + p/(-6) a prime number?
True
Let r = 4997 + -1350. Is r composite?
True
Let u = 15239 - 9612. Is u prime?
False
Suppose -s + 5*k + 2257 = 0, 6*s = 2*s + 4*k + 8964. Is s composite?
False
Suppose 0 = -126*a + 121*a + 5365. Is a prime?
False
Let t be 0 + (-1 - -1) + 600. Let r be ((-37)/3)/((-5)/t). Is 1/(-4) + r/32 prime?
False
Let j(w) = 7*w**2 + 9*w + 25. Let r(o) = 13*o**2 + 17*o + 49. Let a(i) = -11*j(i) + 6*r(i). Is a(9) composite?
False
Let d(g) = 34*g - 9. Let f = 24 - 22. Is d(f) prime?
True
Let x be 5 + (-3385)/(-20) + (-1)/4. Suppose -2*p + x = -1528. Is p a composite number?
True
Let d be (3/4 - 0)*(22 + 478). Suppose 8*k - d = 865. Is k a prime number?
False
Let g(p) = -15*p**3 + 2*p**2 - 2*p + 2. Let o be (2/1)/(1 + 1). Let y be (4/(-12))/o*9. Is g(y) composite?
False
Suppose 0 = -35*h + 254380 + 202125. Is h a composite number?
False
Let q(l) = 12*l**2 - 11*l - 6. Let g be q(-8). Suppose 5*i + u - g + 46 = 0, 3*i - u = 484. Is i prime?
False
Suppose -c = b - 223, 3*b + 693 = -0*c + 3*c. Suppose -c = -3*u + 19. Let g = u - -7. Is g a composite number?
False
Suppose 1997 + 1902 = 7*o. Is o a composite number?
False
Let t(p) = 58*p**2 + 10*p - 1. Let y = -87 - -82. Is t(y) a prime number?
True
Let s = -5554 - -12623. Is s a prime number?
True
Let a = -71 - -74. Is a*-2*(-2705)/30 a composite number?
False
Suppose -3*g + 12 + 3 = 0. Suppose -g*t + 12 + 3 = 0. Suppose y = -t*v + 109, -2*v + 179 = 3*v + 3*y. Is v composite?
False
Let w(i) = 47*i**3 + 3*i**2 - 4*i + 2. Let q be w(2). Suppose -16 = 4*p, -b - 11 = -2*b + 2*p. Suppose q = -c + b*c. Is c a prime number?
True
Let i = -30 + 15. Let z = i - -19. Is (-15063)/(-12) + z/(-16) prime?
False
Suppose 10*n - 40*n = -121710. Is n a composite number?
False
Let b(x) = -3*x**2 + 26*x - 6. Let o be b(17). Suppose 0 = 2*d - 8 + 616. Let u = d - o. Is u composite?
False
Let z = 2522 - 1423. Is z prime?
False
Let b(k) be the second derivative of -11*k**3/6 + 9*k**2/2 + 7*k. Is b(-4) prime?
True
Suppose 3*d - 5*g = 7971, -122*d + 119*d - 4*g = -7971. Is d a prime number?
True
Suppose f + 12275 = 5*x - 3*f, 5*x = -2*f + 12305. Is x a prime number?
True
Let k(s) = 4*s + 17. Let t be (4/3)/(10/30). Suppose -3*q - 12 = -t*q. Is k(q) composite?
True
Is 9 + -7 - (795*17)/(-3) a composite number?
False
Let w(y) = 2*y**2 - 8*y - 22. Let n be w(8). Suppose 3*s + 0*x + 2*x = -161, -x = 5*s + 273. Let k = n - s. Is k a prime number?
True
Let g = 2783 + 488. Is g a prime number?
True
Suppose g - 2432 = -d, 2*d = 2*g + 2*g - 9758. Is g composite?
False
Suppose 9*s = -0*s + 26001. Suppose 5*p = 6*a - 7*a + s, 0 = -5*a - p + 14493. Is a a composite number?
True
Let z(r) = -2*r**2 - r + 3. Let d be z(-4). Let a = 10 + d. Is 3052/60 + (-2)/a a prime number?
False
Suppose 20 = 2*n - 6*n. Let l(u) = -2*u + u - 3*u + 2 - 5*u. Is l(n) a prime number?
True
Suppose -g - 9 = 3*z, -7*g + 44 = -3*g - 4*z. Let u be (-1 - 2)*8/g. Is (-1 - u)*(-203)/(-7) a prime number?
False
Let x(a) = -411*a + 166. Is x(-13) prime?
False
Suppose -8*z +