0*y**2 - 9*y + 17. Is b(-4) prime?
True
Let j be (-4)/8*2*16. Let o = -8 + -4. Is 14500/16 + o/j prime?
True
Let k = 19 - 189. Let n be 2549/9 - 4/18. Let d = k + n. Is d composite?
False
Is (-350)/(-18) - (-184)/(-414) composite?
False
Suppose x - 6531 = 31*s - 35*s, 5*s - 3*x = 8168. Is s a prime number?
False
Let z(m) = 26111*m**3 + 3*m + 2. Let b be 0 + 0 - (-1)/(-1). Let a be z(b). Is 2/(-18) + a/(-27) prime?
True
Is (2 + 2)/((-22)/(-2321)) a composite number?
True
Let h(l) = l**2 + 8*l + 1. Let w be h(-8). Let b be 1/w*(-885 + 2). Let c = -528 - b. Is c composite?
True
Suppose 5*t - 13465 + 2600 = 0. Is t a composite number?
True
Let w be 2 - (-256)/12 - 1/3. Let x(i) = i**3 - 23*i**2 + 19*i - 40. Is x(w) composite?
False
Let p = -25454 + 39577. Is p a prime number?
False
Suppose 0 = -3*u + 15, -4*g + 0*u + 2598 = -2*u. Suppose 0 = -2*n - 3*x + 332, 5*n + 3*x = n + g. Suppose -3*p - a = -n, 4*p - 63 = 5*a + 144. Is p prime?
True
Suppose -7*y = -y - 6. Is -3 + (-2)/(-2) + y + 588 composite?
False
Let d = 4179 + -536. Is d a composite number?
False
Suppose -3*k = -0*k - 4*i - 5257, 3*i + 7021 = 4*k. Is k composite?
False
Let u(x) = 13*x**3 - 7*x**2 + 2*x + 11. Suppose -q + 4*d + 6 = 2*d, -2*q = 2*d - 12. Is u(q) prime?
True
Let t = -5 - -48. Let i(l) = 2*l**3 + 3*l**2 + 3. Let x be i(3). Let d = x + t. Is d prime?
True
Let s(f) = -33*f**3 - 2*f**2 + 1. Let v be s(-1). Let c be 18/(-4)*22*(-1)/1. Suppose c = a + v. Is a a prime number?
True
Suppose 2*l - 9 - 37 = 0. Let w(o) = -1 + 3 + o - 3 + l*o**2 + 0. Is w(-2) a composite number?
False
Let a(l) = 2 - 2 + 7 - 5*l - 1. Let o(t) = 4*t - 7. Let q(h) = -4*a(h) - 3*o(h). Is q(7) composite?
False
Is (((-5967240)/36)/(-5))/((-4)/(-6)) prime?
True
Is 76222/(-69)*3/(-2) composite?
False
Let t be (-21 - -1) + 0/8. Let u = t + 14. Is (-6)/18 + (-956)/u composite?
True
Let w be (-3 - 0 - -7) + -8. Let c(b) = -b**2 - 3*b + 7. Is c(w) a composite number?
False
Let u(q) = -13 - 575*q + 1710*q + 13. Is u(1) a composite number?
True
Suppose -z = 5*k - 272395, 3*k - 17*z - 163409 = -12*z. Is k a prime number?
False
Suppose 221 + 412 = 3*f. Is f a composite number?
False
Let i = 12 - 14. Let n be ((-2)/i - 1)*-1. Suppose n = -5*j + 1553 - 18. Is j composite?
False
Suppose -2*r + 8*g + 11703 = 5*g, 4*r + 4*g - 23376 = 0. Is r a prime number?
False
Let x(s) = -s + 1. Let j(a) = -23*a + 8. Let t(o) = -j(o) + 5*x(o). Let m(g) = -g**3 - 7*g**2 - 6*g + 2. Let d be m(-6). Is t(d) prime?
False
Let a(o) = -9*o**3 + 2*o. Let h be a(4). Let i = -374 - h. Is i composite?
True
Let a = -528 + 8197. Is a composite?
False
Suppose -3*q = -5 + 17. Let y = 6 + q. Suppose -4*p - y*i + 366 = -7*i, 0 = 5*p - 4*i - 453. Is p a prime number?
True
Let h be (-3)/6*(-1 + 1). Suppose h*s + 10197 = 5*p + 2*s, 8152 = 4*p + 3*s. Suppose -3*q = -2*v - p, -4*v - 30 = 2*q - 1380. Is q a composite number?
True
Let m(t) = 217*t**2 - 7*t + 9. Is m(2) a prime number?
True
Let b(s) = 861*s**2 - 2*s - 1. Let p be b(-2). Suppose -y + 1973 = 5*x, 2472 + p = 3*y - 5*x. Is y composite?
False
Let b be ((-572)/(-6))/((-8)/24). Let i = b + 458. Suppose i = 3*p + p. Is p composite?
False
Let n(t) = -265 - 15*t**2 - 5*t - 10*t + 0*t**3 - t**3 + 239. Is n(-15) a composite number?
False
Suppose 3*r - 2 - 4 = 0. Let s(q) = 7*q + 10*q**r + 5 + q**3 - 2*q**3 + 2*q**3 - 2*q**3. Is s(6) composite?
False
Let s = 1404 - 385. Is s a prime number?
True
Suppose -6 = -x - 2. Suppose k + 4*l - 371 = 0, 8*k + l - 1559 = x*k. Suppose -k = -6*p + 2087. Is p a prime number?
False
Suppose 145*s - 143*s - 11974 = 0. Is s prime?
True
Let f = 58 - 58. Let i(t) = -t**3 + t**2 + 2*t + 4195. Is i(f) composite?
True
Suppose 2*q = -23 + 19. Let n be (-3)/q - 3/(-2). Suppose 327 = n*g - 1206. Is g a prime number?
False
Let y = 19 - 8. Let z(k) = y*k - 10 + 1 - 14*k**3 + 13*k**3 + 12*k**2. Is z(12) prime?
False
Suppose 4*q + 2 = 14. Suppose -q*u = 2*m + 2 - 8, 0 = -3*m. Suppose u*o - 342 = -4*c, 4*o = -2*c + 94 + 560. Is o a prime number?
False
Let q(z) = -10*z**3 + 13*z**2 + 33*z - 1. Let p = 9 - 15. Is q(p) composite?
True
Let z be ((-2)/(-4))/(2*(-3)/(-72)). Suppose z*n - 367 = 1067. Is n composite?
False
Let w = -48 - -305. Is w a composite number?
False
Suppose 4*u + 8*y = 6*y - 8, 3*u - 4*y = 16. Let z = u - -89. Is z a prime number?
True
Let r = 23353 + -2714. Is r a prime number?
True
Let b = 1824 - -6817. Is b a prime number?
True
Suppose -9*l + 4967742 = 69*l. Is l composite?
False
Suppose -48*j + 52*j = 5216. Is (j/(-12))/(8/(-60)) composite?
True
Is (-7 + 277177)/15*1/2 prime?
True
Suppose -a - d = 3*a - 39, 31 = 3*a - d. Suppose -h - 13 = -24. Suppose h*c = a*c + 62. Is c prime?
False
Suppose 3*z + 7*z - 1310 = 0. Is z composite?
False
Let c be 1 + 2 - 10/(-5). Suppose -1 = 2*v - c. Suppose v*o = 137 + 1. Is o composite?
True
Suppose -7*n + 3772 = -12825. Is n a prime number?
True
Let a = 2905 + -1938. Is a a composite number?
False
Suppose 10*x - 13*x + 189575 = 4*o, 0 = -4*x + 2*o + 252774. Is x a composite number?
True
Suppose -4*s = -24 + 8, -3*s = -2*m + 13082. Is m a prime number?
True
Suppose 3*l - 3 = 0, -4*s - l + 379 = 2*l. Let w = s - 79. Is w composite?
True
Let u = 2 + -40. Let w = 13 + u. Let x = w - -84. Is x prime?
True
Let i = 20 + -15. Suppose 2*o + 1655 = 4*j - 807, -i*j - 2*o = -3055. Is j prime?
True
Suppose 4*x - 1 - 11 = 0. Suppose -8*v + 7469 = x*v. Is v a prime number?
False
Is ((-1827486)/(-108) - -19)/(2/12) a composite number?
False
Let q(z) = z**3 - 10*z**2 + 9*z + 4. Let d be q(9). Suppose d*o = -0*o + 16. Let n(t) = 53*t - 1. Is n(o) composite?
False
Let y = 31 + -27. Is 823/y + (-15)/20 a prime number?
False
Suppose 0*c + 5*c - 341 = f, 4*c + f - 280 = 0. Suppose -5*m - 105 = -5*r, -r + 21 = -4*m - c. Let v = 42 + m. Is v composite?
False
Suppose -3*f + 67251 = -4*j, 4*f + j - 89668 = 6*j. Is f a prime number?
False
Let i = 5708 - 1831. Is i a prime number?
True
Let g(v) = 40*v**2 + 12*v + 36. Let s(f) = 13*f**2 + 4*f + 12. Let c(q) = 3*g(q) - 8*s(q). Let a be c(-10). Let x = a - 1075. Is x prime?
False
Let z(a) be the third derivative of a**5/60 + a**4/4 - 3*a**3/2 - 8*a**2. Let r be z(-6). Let q = r - -18. Is q composite?
True
Suppose -2*o + 3*t - 6*t = 1373, -2059 = 3*o + 5*t. Let i = 1595 + o. Is i prime?
True
Is (2504/16 - 3)/(1/14) a composite number?
True
Let g(f) = 19*f + 239. Is g(12) composite?
False
Let u(b) = 311*b - 474. Is u(35) a prime number?
False
Let j be 20/(-8) + 52/8. Suppose -718 - 995 = -y - 4*k, j*k - 5179 = -3*y. Is y a prime number?
True
Let c(a) be the first derivative of 5*a**3/3 - 20*a**2 - 23*a - 5. Is c(-16) prime?
False
Suppose 3*j - 27 = 6*w - 3*w, -4*w + 41 = 3*j. Let b(k) = k**2 + 3*k + 1. Let f(v) = 7*v**2 + 12*v + 6. Let i(c) = -6*b(c) + f(c). Is i(j) a prime number?
False
Let c(k) = -k**3 - k**2 - 2*k + 211. Is c(0) a composite number?
False
Suppose -17*g + 144459 = -8*g. Is g prime?
False
Suppose 2*x = -2*n - 178, 82 + 96 = -2*n - 3*x. Let p be (40/6)/((-14)/(-168)). Let s = p - n. Is s a composite number?
True
Let y(p) = p + 8. Let d be y(-6). Suppose 2*w - c - 354 = w, -c - d = 0. Suppose 0*s + 2*s - 179 = -h, -4*s = -4*h - w. Is s a composite number?
False
Let h be (5 + -2)*(-1 - 0)/(-1). Suppose -3*g + 3140 = h*l - 1261, 3*g = -4*l + 4397. Is g a prime number?
True
Is 3/(-21) + 13/(637/3538346) a prime number?
True
Suppose 6*s - 4*s - 4 = 2*d, -2*s = -4. Suppose 2*q - 1401 = 2*n - 443, d = -2*q + 4*n + 958. Is q a prime number?
True
Let v(f) = f**2 - 5*f - 14. Let c be v(10). Suppose -5*w + 2*w + c = 0. Suppose -b = -0*b + u - 22, 0 = 4*u - w. Is b a prime number?
True
Let m(l) = l**2 - 20*l + 3. Let a be m(20). Suppose -3*k = -3*x - 159, x + x + 161 = a*k. Is k prime?
False
Let k = 21 - 20. Suppose -21 - k = -2*c. Let o(v) = 19*v - 18. Is o(c) composite?
False
Suppose -2*b + 8610 = 2*k, 2*k = 5*b - 7196 - 14336. Suppose 0 = 2*d - 4*d + b. Is d a composite number?
False
Let k = -10972 - -15833. Is k a composite number?
False
Let r(p) = -37*p + 1. Let q = 27 - 23. Let x be (6/q)/((-21)/56). Is r(x) composite?
False
Suppose -3*m = -17 - 13. Let n = 12 - m. Suppose 4*w + 75 = 3*a - 24, -179 = -5*a + n*w. Is a composite?
False
Suppose -3*z - 2*f - f = -1710, 5*z = f + 2868. Is z a composite numb