. Is p prime?
True
Is (16479/6 + 2)/((-38)/(-76)) a prime number?
False
Suppose 0 = 8*q - 3*q, 41746 = 2*s + 2*q. Is s composite?
False
Let j = -29794 - -74645. Is j prime?
True
Let j = -12 - -16. Suppose -267 = -j*x + 1. Is x a composite number?
False
Let w(n) = -14*n**3 + 12*n**2 + 22*n - 19. Is w(-5) a composite number?
True
Let k(w) = 13*w**2 - 23*w + 10. Let g(y) = -9*y**2 + 15*y - 7. Let j(u) = 7*g(u) + 5*k(u). Is j(8) a composite number?
True
Let x(m) = m**3 + 20*m**2 + 18*m - 23. Let r be x(-16). Suppose 5*o = 5*b - 910, -o + 0*o = 4*b - r. Is b prime?
True
Let u(y) be the second derivative of 27*y**3/2 - 59*y**2/2 + 8*y. Is u(26) prime?
False
Suppose -49*j = -54*j - 15. Is j/(-2)*2 - (-99 - -7) prime?
False
Suppose 2*x + 0*x - 2*y = 122, -4*x = 5*y - 235. Suppose -3*u + 4*l - x = 0, -40 = 2*u - l + 6*l. Is -1 + 2 - (u + -1) a composite number?
True
Suppose 2*i + 1 + 7 = 0. Let y = i - -8. Suppose 4*h - 93 = -g, y*h + 16 = -0*h. Is g a composite number?
False
Let r be (-38)/(-4) + (-19)/(-38). Suppose 0 = -f + r*f - 2745. Is f a composite number?
True
Let j = -579 - -1208. Suppose -4*i - 4*v + 172 + 664 = 0, -3*i + j = 2*v. Is i a composite number?
False
Suppose -4*s - 8 = -4*p, s = 4*s + 3*p - 24. Is 2 + -3 - (-29 + s) prime?
False
Let l(d) = -d**2 - 6*d + 29. Let u be l(-9). Is 3543/((u/(-4))/((-7)/14)) a prime number?
False
Suppose s = -5*m + 21, -5*s + m = -32 + 5. Let r(x) = x + 1. Let y(b) = 2*b + 2. Let o(k) = 5*r(k) - 2*y(k). Is o(s) composite?
False
Is (-10 + 29495/(-5))/(-1) composite?
True
Let s = 4663 + -830. Is s prime?
True
Let q be 2/4 + (-15)/30. Let g(s) = s. Let v be g(q). Suppose 0*l - 4*l + 2188 = v. Is l composite?
False
Is 2/22*2 - (-56485)/121 a prime number?
True
Let a(k) = k**3 - k**2 + 4. Suppose -4*w = -w. Let v be a(w). Suppose v*q = -j + 214, 161 = q + 2*q + j. Is q composite?
False
Let l(u) = -103*u + 1. Let c be l(-1). Suppose -c = 2*y + 2*y. Let q = -7 - y. Is q a prime number?
True
Suppose y - 7812 = -r, 3*r - 3*y - 15580 = 7886. Is r composite?
False
Let a(z) = z**3 - 5*z**2 - 5. Let k(x) = x - 5*x**2 - x + 1 + 5 - x**3. Let d be k(-5). Is a(d) a composite number?
False
Let g(x) be the second derivative of 37*x**4/3 + x**3/2 - x**2 - x. Is g(1) composite?
False
Suppose -366 + 72 = 7*w. Suppose -2*j + 0*j = -8. Is (-18)/j*3892/w a composite number?
True
Let m(r) = 93*r**2 + 50*r - 36. Is m(23) prime?
True
Suppose -20 = -5*z + 3*j, z - 5 + 1 = -3*j. Suppose -5*a = -5*p + 3160, -p - 4*p + z*a = -3163. Is p composite?
True
Suppose 2*s - 6*d = -d + 4, -2 = -d. Suppose q - 3*j - 91 = 0, s*q - 3*q - 3*j = 346. Is q a composite number?
True
Suppose -z - 5 = 5. Let k = 24 - z. Is k prime?
False
Let t = 10549 - 2271. Suppose -23903 - t = -17*r. Is r prime?
False
Let a = 12 - 5. Let t be -2*2 + 91/a. Let y(w) = 149*w + 4. Is y(t) prime?
False
Is -21*(-11 + (-47320)/21) prime?
False
Let z(a) = 128*a - 90. Is z(13) composite?
True
Suppose -103 = 2*w - 641. Is w a composite number?
False
Let o be ((-351)/(-6))/(6/(-8)). Let p be (5/2)/(3/o). Is (-18)/(-12) + p/(-2) a composite number?
True
Let j(l) = -2*l**2 + 5*l + 5. Let k be j(4). Let i(v) = -5 - 17 - 13*v + 2. Is i(k) prime?
True
Suppose 8232 = 4*g + 3*b - 8024, 12 = 3*b. Is g a prime number?
False
Suppose 0*y = -2*y + 104. Let h = 545 - y. Is h a composite number?
True
Is 4/(-10) + 221517/755 prime?
True
Let j(o) = -122*o + 29. Is j(-4) a prime number?
False
Suppose 155*y + 22853 = 159*y - 5*s, -3*y + s = -17126. Is y composite?
True
Let y(w) = 39*w**2 - 28*w + 49. Is y(-16) prime?
False
Suppose 10162 - 77466 = -8*t. Let i = -3108 + t. Is i a prime number?
False
Is 3387 - (-9)/(27/6) a prime number?
True
Suppose 5*v - 15 = -f - 38, 4*f + 5*v + 17 = 0. Let q(g) = -35*g - 52*g + 1 - 5*g - f*g. Is q(-1) composite?
True
Suppose 0 = -6*l + 15985 + 617. Is l a composite number?
False
Is 15519 - 14 - 12/2 a prime number?
False
Let n = 55 + -50. Suppose 614 = -n*o + 7*o. Is o composite?
False
Let i be (-433)/5 - 6/15. Let f be 4/((-4)/3) + i. Let p = 213 - f. Is p a composite number?
True
Let d(m) = m**3 + 5 + 0*m**3 - 7*m**2 + 10*m + 0*m**2 - 4*m**2. Let v be d(10). Suppose -v*t + 1285 = 3*q, -269 + 25 = -t + 2*q. Is t a prime number?
False
Let q = -661 - -2430. Is q a composite number?
True
Let x be (-14)/(-4)*(10*15)/5. Suppose 0 = 4*j - x - 19. Is j prime?
True
Let f = 29394 - 76779. Is 63/12 - 5 - f/12 composite?
True
Let j = 382 - 16. Suppose 0 = -4*t - 2*q + j, -q - 258 = -3*t + 4. Is t prime?
True
Let w = 5 + -9. Let g = 169 + 401. Is 6/w*g/(-9) composite?
True
Suppose 3 = k, -2*k = -4*f - 7*k - 69. Let l(v) = v**2 + 19*v - 5. Is l(f) composite?
False
Let n(z) be the first derivative of z**4/4 + 11*z**3/3 + 2*z**2 - 3*z + 2. Let m = -40 - -32. Is n(m) a prime number?
True
Suppose -2115 = -5*z - 5*o, -4*o = 3*z - 1805 + 534. Suppose x - z = 166. Suppose 3*u + x = 4*l, -3*l = -7*l - 4*u + 608. Is l prime?
True
Let g(o) = 23*o**3 + 19*o**2 + 13*o - 15. Is g(14) prime?
True
Suppose -3*j - 37 = -1. Let c be 200/(-48) + (-2)/j. Is (62/c)/((-9)/18) prime?
True
Suppose -15744 = -4*k + f, f - 3941 = 2*k - 3*k. Is k composite?
True
Let q(b) = 2*b**3 - 3*b**2 - 6*b - 12. Let y be q(6). Let n = y - 27. Is n prime?
False
Let x be 4/(-10) + 296/40. Suppose -x*s = -5*s. Suppose -2*g = 5*l - 1585, s*l - 2*l - g + 634 = 0. Is l a prime number?
True
Let a(j) = -j**3 - 3*j**2 - 7*j - 2. Suppose 4*k + 18 = -2. Is a(k) a prime number?
True
Suppose 0*k + k = 7. Let s(x) = -8 + 20 - 19 - 5 - k*x. Is s(-7) prime?
True
Suppose 3*c = 8*c + 2*j + 12, 0 = -3*j - 3. Let v(x) be the second derivative of -19*x**5/20 - x**4/6 - x**3/3 + x**2/2 + 108*x. Is v(c) a prime number?
True
Suppose -l = 3*m - 710, -3*l + 1028 + 1078 = m. Let i = 1080 - l. Is i prime?
True
Let z(b) be the second derivative of 11*b**3/3 - 15*b**2/2 - 7*b. Let m(x) = -1. Let j(s) = -6*m(s) + z(s). Is j(7) composite?
True
Suppose -z = -2*w + 41484, 2*w = -9*z + 6*z + 41492. Is w a composite number?
False
Let p(f) = -f**2 + 5*f + 8. Let m be p(7). Let o = 16 - 18. Is o/m + 45/27 a composite number?
False
Let l = 1 + -22. Let y = -21 - l. Suppose r - 127 = -y*r. Is r a prime number?
True
Let b(w) = -2*w**2 + 7*w + 2. Let u be b(-9). Let p = u + 424. Is p a composite number?
True
Suppose -4*s = 2*w + 2, -3*s - 3 = 3*w - 0. Suppose 3*f - 648 - 543 = s. Is f composite?
False
Suppose -l + 0*s + 3*s + 2389 = 0, 4*s = -l + 2354. Is l a composite number?
True
Let x = 7964 - 4283. Is 2/3*x/6 composite?
False
Let c = -8 - -17. Is 14344/18 - c/(-81) composite?
False
Is (28/(-8) - -3)/((-2)/45868) a prime number?
True
Suppose 5*d = j - 5796, -5*j + 28830 = 8*d - 3*d. Is j prime?
False
Suppose -203*m + 94407 = -200*m. Is m a composite number?
False
Let q = 1146 + -612. Let j = 837 - q. Is j composite?
True
Is (-1 - 32343/(-6))/((-18)/(-12)) composite?
False
Let d be 6/(-4)*6684/(-18). Suppose d - 93 = 8*x. Is x prime?
False
Let v(y) = y**3 + 43*y**2 + 57*y - 103. Is v(-28) a composite number?
False
Suppose -10*q - 5468 = -14*q. Let m = q + -972. Is m composite?
True
Let c = -12 + 32. Let q be 5/c + 299/4. Suppose 0 = 5*l - q. Is l prime?
False
Let c(d) = -d**2 + 9*d + 12. Let h be c(10). Let f be 0 - (2 - 10/h). Suppose 0 = -t - f*v + 254, -t + 2*t = 2*v + 259. Is t composite?
False
Suppose -50 - 18 = -4*o. Let v = -11 + o. Is ((-21)/v - -3)*-194 composite?
False
Is -5*(-8)/(-80)*-93118 prime?
True
Let n = -13 - -14. Let g(y) = 633*y**2 + y - 2. Let z be g(n). Suppose -z = -4*c - 2*b, 5*c + 5*b - 3*b = 791. Is c a prime number?
False
Let v(z) = -z**3 + z + 1. Let k be v(2). Let l(c) = 23*c - 4. Let w be l(k). Let r = 633 + w. Is r prime?
False
Let f be 5 + -7 - -2 - -5. Suppose -f*r = 3*r - 12088. Is r prime?
True
Let t be (2 + -1)*23 + 0. Let s be (4 + -1)*(t - 22). Suppose -1995 = -s*h + 42. Is h a composite number?
True
Let w be ((-354)/(-4))/(39/1612). Suppose -2637 = -5*n + w. Is n a composite number?
False
Let i = 2693 - 1488. Let j = -622 + i. Is j a composite number?
True
Let c = -5 - -8. Let b = 315 - 213. Suppose h - c*h + b = 0. Is h prime?
False
Let v(m) = 288*m**2 + 21*m - 143. Is v(-16) prime?
False
Let s(d) = 18*d**2 - 27*d - 52. Is s(-23) a composite number?
False
Suppose 4*g = 38167 - 13795. Suppose 0 = -5*n + 4*m 