 d prime?
False
Let i(p) = 2*p**2 - 6*p + 20. Let s be i(-16). Let z = s + -299. Is z prime?
False
Let a(v) = -5050*v**3 - 2*v - 1. Is a(-1) a prime number?
True
Suppose -788*w - 75929 = -795*w. Is w a composite number?
False
Let k(n) = 1166*n**3 + 2*n**2 - 1. Suppose -5*a - 3 = 2*u + 5, 4*u + 2*a = 0. Is k(u) prime?
False
Let v(x) = x**3 - 2*x**2 + 2*x + 83. Suppose -6*f + 43 = 43. Is v(f) a prime number?
True
Is (-1 - 85005/(-27))/(2/6) prime?
False
Suppose 3*i + 3*c = 582, 3*i - 4*i - 3*c = -186. Let m = -598 - i. Is (-15)/(-10)*m/(-6) prime?
True
Let l(r) = 4*r**3 - 13*r**2 - 83*r + 49. Is l(31) prime?
True
Suppose 5*x - 55 = -4*o + 74, -x - 47 = -2*o. Is 249 - ((-65)/o + (-6)/4) prime?
False
Suppose 2*r - 3 = -r, 2*u - r - 18261 = 0. Is u prime?
False
Let x(f) be the second derivative of -f**5/20 + 5*f**4/12 - 13*f**3/6 + 4*f. Let r be x(6). Is r/(9/(27/(-6))) composite?
True
Suppose 3*b - 11951 = -2*o, -b + 25575 = 4*o + 1688. Is o composite?
True
Let u = 2954 + -637. Is u prime?
False
Suppose -3*t = -2*q - 32, -3*q - q - 16 = 0. Suppose t = -2*p + 4. Is p/(-6)*(631 + 2) composite?
False
Let h be -5*(-3 + (-135)/(-25)). Is (-664)/(-3) + 4/h composite?
True
Suppose -v - 4*v = 2*i + 308, 324 = -2*i - v. Let y be i/(-14) + 6/21. Is 3/y + 1235/4 prime?
False
Let w(j) = -112*j**3 - 2*j**2 + 5*j - 3. Let x be w(2). Let g = -356 - x. Is g a composite number?
False
Let z(p) = -56*p - 33. Is z(-4) a composite number?
False
Let m(i) = 49*i. Let l be m(6). Let w(t) = -4*t**2 + 15*t + 6. Let s be w(4). Suppose 0 = s*c + 2*u - 1198, -3*c + 5*u + l + 1487 = 0. Is c composite?
True
Is 4770*(-405)/(-120) + 14/(-8) prime?
True
Let y(t) = t**3 + t**2 - t. Let n(z) = 3*z**3 - 13*z**2 - 5*z - 24. Let s(h) = -n(h) + 2*y(h). Is s(11) a prime number?
True
Let c(u) = 9*u - u**2 + 0*u**2 + u - u**3 - 8 - 5*u**2. Let j be c(-8). Is 2*5/(j/2836) a composite number?
False
Let y = -11 + 16. Suppose y*t - 30296 = -3*t. Is t prime?
False
Let p(f) = 20*f**3 - 6*f**2 + 4*f + 13. Is p(4) prime?
True
Let p(c) = -16*c**2 - 16*c + 2516. Let w(r) = -3*r**2 - 3*r + 503. Let b(o) = -2*p(o) + 11*w(o). Is b(0) prime?
False
Let w = 10048 - 1191. Is w a prime number?
False
Let g be 2/(-4) - (-88)/16. Suppose g*d = 6*d. Suppose 5*z - 387 - 343 = d. Is z composite?
True
Let z = 76 - 74. Let o(g) = 2*g**2 + 3*g + 2. Let q be o(-2). Suppose -2716 = -4*y - q*i, z*y - i - 4*i - 1344 = 0. Is y composite?
False
Suppose 4*g - 4 + 16 = 0. Let z be 1468 + (g + -2 - -2). Suppose 12*n = 17*n - z. Is n prime?
True
Suppose -3*m + 0*f + 2*f = -14, -4*f = -3*m + 22. Suppose m*v = -0*v. Suppose 0 = 4*h - v*h - 5276. Is h a composite number?
False
Let b(w) = -w**2 - w + 234. Let p be b(0). Let r = -324 + 327. Suppose 2*u + 5*z - 189 = p, 0 = 2*u + r*z - 421. Is u composite?
True
Let y(q) = -q**3 - q**2 + q + 1. Let a(r) = -54*r**3 + r**2 - r. Let d(g) = a(g) + 3*y(g). Is d(-2) a composite number?
True
Let y = 100 + -115. Is ((-508)/(-5))/((-36)/y - 2) a composite number?
True
Let i be 64 + (3 - (3 - 3 - -3)). Is i/20 + -3 + 1332/15 a composite number?
False
Suppose l - 1355 = 4*g + 448, 4*l - 7197 = g. Suppose -2*x + x - l = -5*f, 3*x = -3*f + 1065. Is f a composite number?
False
Let x(q) be the first derivative of -9*q**2 + 5*q + 12. Is x(-9) a prime number?
True
Let v(p) = -p**3 + 2*p**2 + p + 1. Let q be v(2). Suppose w = q*h + 5 - 113, -2*h + 71 = -w. Let u = h - -14. Is u prime?
False
Suppose -5*q - 3 = -4*t + 24, -t + 3*q = -12. Let w(x) = x**3 - 2*x**2 - 10*x - 5. Let n(s) = s**3 - s**2 - 11*s - 6. Let b(f) = t*w(f) - 2*n(f). Is b(6) prime?
False
Suppose 0 = -5*g + 3*i - 4620, 4*g + 0*g - 2*i + 3694 = 0. Let q = g - 307. Let o = -849 - q. Is o a prime number?
True
Suppose 7*b - 4*b - 582 = 0. Suppose 4*v - 4290 = -b. Suppose -2*o + 516 = -n, 0*o + 2*n - v = -4*o. Is o prime?
True
Let k(y) be the first derivative of -2/3*y**3 - y**4 + 1 + y - y**2. Is k(-4) composite?
False
Let i be 8*2 - (-24)/(-8). Is 1*i*4/4 prime?
True
Suppose 0 = n + f + 1, -4*f - 7 + 3 = 3*n. Suppose n = 3*w + o - 2224, 7*o = -2*w + 3*o + 1466. Is w a composite number?
False
Let z = -23 - -28. Suppose 0 = 4*t - 5*p - 3096, z*t + 0*p = 4*p + 3861. Is t a composite number?
False
Suppose -3*b = -5*i - 26, 4*i + 4 + 12 = 0. Suppose -b*w = w - 18. Is 1796/w + 1/(-3) prime?
False
Suppose 13553 - 46405 = -4*p. Is p a composite number?
True
Let b = 12933 + 21028. Is b composite?
False
Let q = 4 + 1. Suppose -1 + 16 = q*c. Suppose -c*x = 2*x - 545. Is x prime?
True
Let a(l) = -l**2 + 14*l + 15. Let j = 13 + 2. Let f be a(j). Is 302 + (3 - 4 - f) a composite number?
True
Let v be 6*(-1)/(-4)*2. Suppose 0 = v*y + y. Suppose -2*k - 299 + 973 = y. Is k a composite number?
False
Let m(b) = -4*b - 13*b**2 - 15 + 35 - b**3 - 17. Is m(-13) prime?
False
Suppose 4*y - 3*k = -177 + 800, -5*k = -4*y + 617. Is 0*(-3)/12*-4 + y a prime number?
False
Suppose 0*i = 37*i - 3589. Is i prime?
True
Let c(h) = 15*h**3 - 8*h**2 + 4*h + 3. Let q be c(5). Let n = q + -335. Is n prime?
False
Let a be -2 - (29 - -2 - -1). Is -17*(-4 + a - -1) a composite number?
True
Let y be -3*((-10 - -3) + 2). Suppose w = k, 4*w - 5 - y = 0. Suppose i = 4, 0 = -u - k*i + 200 + 31. Is u prime?
True
Let x be (-3)/(-2*(-6)/(-40)). Let o = x - 5. Suppose 2971 = 5*j + 3*z, -o*z + 306 + 2669 = 5*j. Is j prime?
True
Suppose -3*r + 16106 = 5*q - 0*r, -5*q = -4*r - 16127. Is q a prime number?
False
Let o(v) = v**3 + 28*v**2 + 38*v - 18. Is o(-25) composite?
False
Let x(c) = c + 7. Let j be x(-5). Let v be ((-104)/10)/(j/(-35)). Suppose 0 = -2*z - 0*z + v. Is z prime?
False
Let y = -29 + 16. Suppose 5*t + k = 105, -5*t - 3*k + 75 = -2*t. Let s = t + y. Is s a prime number?
True
Let v = -24402 - -74591. Is v a prime number?
False
Let p(s) = -25*s**3 - 38*s**2 + 35*s - 11. Let w(m) = 17*m**3 + 25*m**2 - 23*m + 7. Let y(d) = -5*p(d) - 8*w(d). Is y(-5) prime?
False
Suppose d = -320 + 993. Is d + (0 + 0)/(2 + 1) composite?
False
Suppose -4*c - 141 - 508 = o, 650 = -o - 3*c. Let v = o - -916. Is v a composite number?
False
Suppose -3*j + 0*j + 15 = 0. Suppose -3*m = a + 1 + j, 3*a + 5*m = -10. Suppose x + a*o + 4*o - 65 = 0, x = o + 45. Is x a prime number?
False
Suppose -108 = -3*b + 4*s, 0 = -3*b - 3*s + 67 + 41. Is 418/3 - 12/b composite?
False
Let l be 1*-24 + 0/(-8). Let x = 36 + l. Is (x - 15)*206/(-3) a composite number?
True
Suppose -21018 = -26*p + 26146. Is p prime?
False
Let v = 14 + -4. Suppose -l = v - 121. Let j = l + 260. Is j composite?
True
Let i = -640 + -305. Let g = -608 + 294. Let y = g - i. Is y a prime number?
True
Let r be 0/(3/(9/(-6))). Suppose -s - s = r. Is 289*1 + (-2 - s) a composite number?
True
Let q(x) = 19*x + 15. Let v(u) = -10*u - 8. Let k(f) = 3*q(f) + 5*v(f). Let h be k(-2). Is 5*(-2)/(6/h) a prime number?
False
Let n = 173 - -584. Is n a prime number?
True
Suppose 0*l = l + 47. Let m = -80 - l. Let s = 56 + m. Is s prime?
True
Is 2 + 1 - (4737 + 2)*-4 a composite number?
False
Let m(y) be the second derivative of -y**4/4 - 5*y**3/3 - 2*y**2 + 7*y. Let d be m(-4). Let w = d + 14. Is w prime?
True
Let r = 19 + -27. Let n be r/(-10)*(-15)/6. Is (-3 - -2) + n + 130 composite?
False
Let s = 39314 - 22473. Is s a prime number?
False
Let t(d) = 78*d**3 + 3*d**2 - 2*d + 1. Is t(2) composite?
True
Let v(p) = -103*p - 1. Let n(d) = 103*d + 1. Let w(k) = 3*n(k) + 4*v(k). Is w(-4) a composite number?
True
Suppose 80*w + 223792 = 84*w + 2*t, 223798 = 4*w - t. Is w a composite number?
False
Let d = -13611 - -23598. Is d a composite number?
True
Let g = -32616 + 66067. Is g prime?
False
Suppose 9*x - 7*x = 5*h + 119810, 5*h = 0. Is x a prime number?
False
Suppose -4*h - 4*p + 719 = -5*p, -p = -h + 182. Let n = 1182 + h. Is n a prime number?
True
Let q = -24 + 34. Let p = -4 - q. Let g = 51 + p. Is g a composite number?
False
Suppose 0 = 8*z - 7*z - 64. Is 477 + (z/4)/4 a prime number?
False
Let p be (4 - 4)/(-3) + 2. Let k be p/(-4) - (-12115)/10. Suppose 0 = -3*j - 2*b + 3147, -j - 2*b + k = 162. Is j a prime number?
True
Suppose 0 = -3*z - 35 - 25. Suppose h = 2*h + 7. Let g = h - z. Is g a composite number?
False
Let y = 36 + -20. Suppose -y*f - 2361 = -19*f. Is f prime?
True
Let u be -4*(1 - -24)*-2. Suppose -u = -2*z + 386. Is z composite?
False
Let w