 + 98 = 24. Is p a prime number?
True
Let p(l) = 2*l**3 - 2*l**2 - l + 2. Let q be p(3). Let j = q + -24. Is j prime?
True
Let a(q) = 2*q**2 - 4*q - 17. Is a(8) a composite number?
False
Suppose 321 = w + 4*c, 3*c + 383 = 2*w - 226. Is w/21 - (-4)/14 a composite number?
True
Suppose 3*b - 4 = y, -4*y + 0 = 2*b - 12. Is ((-254)/4)/(y/(-4)) a prime number?
True
Let m(w) = w**3 + 14*w**2 + 9*w - 1. Is m(-12) a composite number?
False
Suppose -3*b = 5*a - 1628, 596 = 4*b - 3*a - 1565. Is b a prime number?
True
Suppose s + 112 = -5*b + 294, -5*s + 22 = b. Is b prime?
True
Let f(t) = 2*t**3 + 1. Let v be f(-1). Let c(x) = -62*x**3 - x**2 - x - 1. Let q be c(v). Let h = q + -38. Is h prime?
True
Let b(a) = 134*a + 1. Is b(2) prime?
True
Let d(q) = -46*q + 14. Let y be d(-8). Suppose s = -s + y. Is s prime?
True
Let w(u) = 2*u**2 + 19*u + 16. Is w(-15) prime?
True
Let b = -169 - -246. Is b composite?
True
Let d = 3 - -2. Suppose -4 = -v + 5*q + 9, 2*q = 5*v - 157. Suppose 2*m - d - v = 0. Is m a prime number?
True
Suppose 4*f + 5 = 25. Suppose f*q = 4*q + 69. Suppose -2*i + 221 = 3*w, 3*w - 5*i - q = 187. Is w a composite number?
True
Let j = 33 + 82. Is j composite?
True
Let u(z) = z**3 + 10*z**2 - z - 13. Let v be u(-10). Let n be 2/(-2) - (-8 - v). Suppose n*r = -2*d + 194, 0 = 5*r + 2 - 7. Is d a composite number?
True
Suppose -2*s = -3*s + 20. Let n(h) = 5*h - 14. Let y be n(11). Let p = y - s. Is p a prime number?
False
Suppose m = 4*c - 478, c = -2*c - m + 355. Is c a composite number?
True
Is (279/(-12))/((-6)/24) prime?
False
Suppose 0 = 11*q + 3077 - 18048. Is q prime?
True
Is 34562/33 - 1/3 a composite number?
True
Suppose 3*q + 0*q + 27 = 0. Let d be (q/(-6) + -2)*0. Suppose -3*r - 115 = -y, -4*y - 2*r + 488 = -d*y. Is y a prime number?
False
Let b(z) = -7*z**2 - z + 4. Let c(x) = -8*x**2 - x + 5. Let g = 9 + -16. Let w(r) = g*b(r) + 6*c(r). Is w(4) prime?
False
Let j be (4 - 2)*(-43 + 3). Let o = 137 + j. Is o composite?
True
Suppose 4*d = -4, -a = -5*a + 5*d + 25. Suppose y - 336 + 68 = -3*c, -a*c - 4*y + 435 = 0. Is c a composite number?
True
Is (-5)/((-25)/1345) - (-1 - -5) a prime number?
False
Let q = -13 - -5. Is q + 7 + (-104)/(-1) prime?
True
Suppose -3*s + 2*j = 13, -28 + 8 = 5*s - 3*j. Let m(g) = 143*g**2. Is m(s) prime?
False
Let c = 1148 + -210. Suppose s - c = -s. Is s a prime number?
False
Suppose d - 3*d = -4. Suppose -d*v + 170 + 162 = 0. Is v composite?
True
Let s be (2/4)/(2/12). Let o = -23 + 48. Suppose 20 - 85 = -2*k - s*h, k - o = -4*h. Is k a prime number?
True
Suppose -4*o + 2*u + 18 = 0, -2*o - 4*u = -1 + 17. Let t(y) = 39*y - 1. Is t(o) a composite number?
True
Suppose 0 = -m + 3. Suppose -61 = -c + 2*i, -207 = -5*c + m*i + 70. Is c composite?
False
Is (-2354)/(-10) + (-26)/65 a prime number?
False
Let o = -279 - -482. Is o prime?
False
Suppose 0 = 5*s - 813 - 1237. Suppose 3*u + s = b, b + 0*b + 4*u - 375 = 0. Is b a composite number?
True
Suppose 3*b = 2*l + 2, 5*l - 14 = -4*b + 2*b. Suppose l*z - 82 = z. Let n = z + -29. Is n composite?
False
Suppose 663 = -5*o - 147. Let w = o - -227. Is w a prime number?
False
Suppose -17*x + 14*x + 1137 = 0. Is x a composite number?
False
Let x be ((-762)/4)/(-3)*10. Suppose 5*k + 2*p = p + 659, -5*k + 5*p = -x. Is k prime?
True
Suppose 3*v - 2179 = 2*j, -4*j + 2443 - 258 = 3*v. Is v a composite number?
False
Suppose 3 + 9 = 4*v. Suppose k = -v*k. Suppose 0 = -k*s + 3*s - 483. Is s a composite number?
True
Let p(z) = 4*z + 7*z**2 + 6*z**2 + 3*z**2 - 5. Is p(5) prime?
False
Is (-6349*(-12)/(-6))/(-2) composite?
True
Let y(j) = -10*j - 9. Let k be y(-9). Suppose 0 = 5*c - 15, 3*c - k = -3*v + 39. Is v composite?
False
Let l = 689 - 354. Is l a composite number?
True
Let l(d) = d**2 - 2*d - 3. Let y(i) = i**2 + 7*i + 6. Let z = -1 - 4. Let k be y(z). Is l(k) composite?
True
Suppose 0*v + 10 = 5*v. Suppose 14 - 106 = -4*t - 2*g, -v*t = 5*g - 62. Is t a prime number?
False
Suppose -6 = 3*t - 0*t, -4*l + 610 = 5*t. Suppose -x + 6*x - l = 0. Is x a composite number?
False
Let h(n) = n**3 + 9*n**2 + 6. Let b be h(-9). Suppose 0 = 4*t + 4*m - 756, 0 = b*t - 2*t - m - 766. Is t composite?
False
Let m(l) be the third derivative of l**7/180 + l**6/360 + l**5/40 - l**4/24 + 3*l**2. Let p(i) be the second derivative of m(i). Is p(-2) a prime number?
False
Let g = 2061 + -1388. Is g a prime number?
True
Suppose -17 = -3*r + x, -2*x - x - 15 = 0. Suppose r*w + 540 = -w. Let v = 159 + w. Is v a composite number?
True
Suppose 0 = -4*z + 12, 2*m = 4*m - 3*z - 101. Suppose 2*t + 5*s - 13 = 0, -t + 3*s = 4*t - 17. Suppose -t*j + d = -9*j + m, 0 = -5*d. Is j prime?
True
Let i be 62/6 + (-3)/9. Suppose -n - 4 = -0. Is (i/n)/5*-178 prime?
True
Let c(n) = -36*n + 8. Let j be c(-6). Suppose 2*b = g + j, 3 + 453 = 4*b + 2*g. Is b prime?
True
Suppose -2*p - 1035 = -5*u, 0 = u + p - 73 - 127. Is u a prime number?
False
Let m(f) = -2*f**3 - 7*f**2 - f + 5. Let d(b) = -2*b**3 - 8*b**2 - 2*b + 6. Let y(g) = -2*d(g) + 3*m(g). Is y(-4) prime?
True
Suppose -7 = -5*u + 13. Let r be 11/u - (-6)/(-8). Suppose r*c - 7*c - 351 = -2*a, -2*a + 3*c + 341 = 0. Is a composite?
False
Let g(j) = 11*j**2 + 3*j - 3. Let p = -24 + 21. Is g(p) a composite number?
True
Let r be ((-22)/5)/((-1)/15). Suppose 232 = 4*m + 5*b, -2*b - r = -m - 8. Let c = 147 - m. Is c a prime number?
True
Suppose -535 = f - 2*f. Is f a prime number?
False
Suppose 4*s - 6*q = -q + 1501, -5*q = 4*s - 1531. Is s prime?
True
Suppose -354 = -q - 59. Is q a composite number?
True
Suppose -2*y + 156 = -722. Is y prime?
True
Let x(t) = 15*t**2 + 6*t + 5. Let u be x(-3). Suppose 0 = 5*q - 20, -u = 5*k + 3*q - 789. Is k composite?
False
Let t = 148 - -1629. Is t a composite number?
False
Let l(j) = j**2 - 3*j + 2. Let t be l(1). Suppose s + s - 382 = t. Is s a composite number?
False
Let y be 1 - (1 - 2 - -1). Is y/(1/345*3) a composite number?
True
Let h(p) = 6*p**2 - 4*p + 3. Is h(-4) a prime number?
False
Suppose -4*a - 499 = -s, a + 2585 = 5*s - a. Let l be (-1)/(-2) + s/2. Suppose 6*i = 2*i + l. Is i composite?
True
Let h be 10/4*30/(-25). Is ((-1)/h)/(8/792) a prime number?
False
Let o = -20 + 35. Is o prime?
False
Suppose 0 = -3*f - f + 296. Suppose 2*t + 3*u - 79 = 0, -2*t + f = -u - u. Suppose -3*s = -s - t. Is s prime?
True
Let r(n) = n**2 + 11*n + 9. Let w be r(-10). Let p(o) = 3*o**2 - o - 1. Let d be p(w). Is (-2 - -15) + -3 + d composite?
False
Suppose -4*t - 82 - 39 = -v, -2*t = -5*v + 641. Suppose 4*g = 19 + v. Is g a prime number?
True
Let p(o) = -2*o**2 - 2*o. Let b be p(-2). Suppose -5*y + 34 = w + 13, -2*y = w - 9. Is 22*(-14)/b*w a composite number?
True
Let x = -45 - -107. Is x a composite number?
True
Let v = -6498 + 11039. Is v prime?
False
Let v = 3402 - -497. Is v a composite number?
True
Let u(t) = 13*t - 9. Suppose -2*a - 3*r = -17, -5*r - 67 = -4*a - 22. Is u(a) composite?
True
Suppose 5*w - 7*w - 170 = 0. Let a = w + 296. Is a a composite number?
False
Is 290780/80 + (-1)/(-4) a composite number?
True
Let d be 0/(-2) + -1 - 1. Let c be 1*(d + -207 - 1). Let l = 367 + c. Is l a prime number?
True
Let l(b) = -b**2 + 8*b + 4. Let n be l(8). Is (524/(-8))/((-2)/n) prime?
True
Suppose 525 = 4*l - g + 140, 3*l - 3*g = 282. Is l composite?
False
Let r = 14 - 0. Is r a composite number?
True
Suppose 4*v + 3979 - 915 = 4*a, 2316 = 3*a + 3*v. Is a a prime number?
True
Let l(w) = w**2 + 5. Suppose -16 = -5*d + d. Is l(d) composite?
True
Is 220 - (-3 - (3 - 3)) a composite number?
False
Suppose 4 = 3*w - w. Suppose 0 = 5*h + 8 + w. Is h/(-4)*2*67 composite?
False
Suppose 10*a - 6*a = 60. Is (a/6 + -3)*-370 a composite number?
True
Suppose l = 9 + 8. Let t = l + -10. Let d = 3 + t. Is d a prime number?
False
Let a = -48 - -301. Is a prime?
False
Suppose -2*y + 29 = -1. Is 2/y - 22719/(-45) prime?
False
Suppose 840 + 2246 = 2*c. Is c composite?
False
Let x(i) = 4*i**2 - 2*i + 4. Let q be x(-5). Let d = q + 215. Is d composite?
True
Suppose 2*j - 6*j - 5*y = -923, -5 = y. Is j prime?
False
Is (-1 - 661/(-5)) + 21/(-105) composite?
False
Let c = 7 + -4. Suppose -77 = -4*h + c*h. Is h prime?
False
Let s be (-841)/(-3) - (-14)/21. Let c = 644 - s. Suppose 0 = -0*d + 3*d - c. Is d a prime number?
False
Let i be (57/6)/((-2)/(-44)). Suppose 