
True
Let q(m) be the second derivative of 5*m + 0 + 0*m**2 - 23/6*m**3. Is q(-3) composite?
True
Let b(a) = 159*a - 451. Is b(18) a prime number?
True
Is (-6)/(-18)*(22481 - 4 - -2) a composite number?
True
Suppose 11 = 8*z - 5. Suppose -h = -2*w + 365, -935 = -0*w - 5*w - z*h. Is w a prime number?
False
Suppose 0 = -3*g + 29 + 67. Let n = g - -39. Is n a composite number?
False
Let o = -82 + 1443. Is o prime?
True
Let y(p) = p**2 - 5*p - 15. Let t be y(8). Suppose t*a + 2*a = 17611. Is a a composite number?
False
Suppose -5723 - 401 = -4*v. Is v prime?
True
Let o(l) = 285*l**2 - 11*l + 49. Is o(6) composite?
False
Suppose 9*y - 7*y - 26 = 0. Let a = 15 - y. Suppose -g = -5*d + 2*g + 1972, 0 = a*d - 2*g - 788. Is d a prime number?
False
Let o = 14640 + -3271. Is o composite?
False
Let x(f) = 3*f**3 + f**2 - f. Let r be x(1). Suppose d = -2*k + r*k - 1738, 3441 = 2*k + 5*d. Is k prime?
True
Suppose 618 = 10*c - 19892. Is c a composite number?
True
Let x(w) be the first derivative of 9*w + 2 - 5*w**2 + 2/3*w**3. Is x(7) a prime number?
True
Let u = -7 - -13. Is (u/(-4))/(3/(-284)) a composite number?
True
Let f be (2/(-4))/((-3)/2280). Let b be 240/39 - 16/104. Suppose q + f = 5*t, -4*q = -b*q + 10. Is t prime?
False
Let w be 320/6*69/2. Let g = -215 + 217. Suppose 0 = 5*m + 5*t - w, g*m = 2*t + 3*t + 757. Is m a composite number?
True
Let m(r) be the second derivative of -10*r**5 - r**4/12 - 11*r**3/6 + 7*r**2/2 - 2*r - 15. Is m(-3) a prime number?
True
Let c(x) be the second derivative of 2*x + 3/2*x**2 - 5/12*x**4 + 2/3*x**3 + 0 + 1/10*x**5. Is c(4) a composite number?
False
Suppose 13*i = 18*i - 15. Suppose 0 = -i*k - 3*c + 1362, -724 - 662 = -3*k + 3*c. Is k composite?
True
Suppose h - 7 = -5*j + 20, -j = 4*h + 6. Suppose j*o = 2*o + 3452. Is o composite?
False
Let y(l) = -3*l. Let u be y(0). Suppose -4*r - 20 = 0, 5*v + 4*r = -u*v + 10. Is (-771)/v*(1 + -3) composite?
False
Let d(x) be the second derivative of 145*x**3/6 - 45*x**2/2 + 14*x. Is d(14) prime?
False
Let d(m) = 6*m - 3. Let a be d(2). Suppose 14*c - a*c = 75. Let f(b) = 2*b**2 - 17*b + 22. Is f(c) composite?
True
Let q(n) = -n**2 + 7*n + 6. Let i be q(7). Let k = i - 14. Is (-2)/16 - 3273/k prime?
True
Suppose 972 = t - 3*f - 295, 0 = -2*t - 2*f + 2502. Is t a composite number?
True
Suppose -5*g - 3*s + 8 = -7, -3*s = -15. Suppose 3*o - 1311 - 2106 = g. Is o composite?
True
Suppose -j - 6*j = -15491. Suppose 8*w - j = 1667. Is w prime?
False
Suppose -2*v + 3*h = -213260, 65*v + 426500 = 69*v + 4*h. Is v a composite number?
False
Let x(a) = 33*a**2 - 6*a - 31. Let o be x(-8). Let d = o + -1264. Is d a prime number?
False
Let t = 7909 - 120. Is t a prime number?
True
Let i = -70 + 76. Suppose -4*v + 3*l = -859, 4*l + 1073 = -v + i*v. Is v prime?
False
Let p(h) = -9*h**3 - h - 3. Let v be p(2). Let x = v + 146. Is x a prime number?
False
Suppose 0*i + 907 = d - 4*i, -3586 = -4*d - 5*i. Is d prime?
False
Suppose -114 = -n - n. Let k = 2 + n. Is k prime?
True
Let x(q) = -q**3 + 16*q**2 + 14*q + 29. Let w(k) = k**2 + k - 4. Let u be w(4). Is x(u) prime?
False
Suppose t = -2*t - 18. Let o(b) = -3*b**3 - 4*b**2 + 9*b + 8. Is o(t) composite?
True
Let w(t) = t**2 - 2*t + 17. Let v be w(-11). Suppose 4*a - 3388 = v. Is a a composite number?
False
Is (-62843)/(-99) + 3/(81/6) a prime number?
False
Let u be 2/(-2) - (-45 + 7). Let t = 35 - u. Is t + (0 - -83) + 4 prime?
False
Let g be (23/4)/1 + 30/120. Is (-6 + -325)*(g/(-2) + 2) a prime number?
True
Is (-3 + 0)*(-198638)/6 a prime number?
False
Let b(l) = 34*l**2 - 2*l + 1. Let k = -5 - 1. Let m be (-2)/k + (-6)/(-9). Is b(m) prime?
False
Suppose -72*y + 65*y + 174055 = 0. Is y a composite number?
True
Suppose 0 = 2*f - 0 - 6. Let b(n) = -45*n - 5. Let k(x) = -90*x - 11. Let d(m) = -14*b(m) + 6*k(m). Is d(f) composite?
True
Let r(x) = 5*x - 6. Let z(l) = 11*l - 12. Suppose -11 = -3*t + 10. Let k(d) = t*r(d) - 3*z(d). Is k(14) composite?
True
Let y(d) = -d**3 + 13*d**2 - 18*d - 23. Is y(10) a composite number?
False
Suppose c + 3606 - 19115 = 0. Is c prime?
False
Let b = -124 - -130. Is -3*(21322/b)/(-7) composite?
False
Suppose 5*y - 4 = 4*y - 5*l, -2*l = 2*y. Let j = -10 - -11. Is (-291 - (j - 1))/y composite?
True
Let j = -80 - -54. Let r be 6/9 + j/(-6). Suppose 1165 = n - 2*u, n = 4*n + r*u - 3495. Is n composite?
True
Let c(m) = m**3 + 15*m**2 - m - 10. Let j = -7 + -8. Let r be c(j). Let z = r + 69. Is z composite?
True
Suppose -62*n + 139585 = -57*n. Is n prime?
True
Suppose 0 = -4*k + 22 - 6. Let u be (572/6)/(k/12). Suppose -5*s = -3*f - 330, 4*s - u = -0*s - 2*f. Is s a prime number?
False
Suppose -3*o - 4*q + 18923 = 0, -210*o + 2*q = -215*o + 31557. Is o a composite number?
True
Suppose -22*c + 6*c + 717872 = 0. Is c prime?
True
Let s(t) = -t**2 + 35. Let o be s(6). Is (17/(-51))/((-236)/(-237) + o) composite?
False
Let d = 36 + -58. Let z = d - -15. Let s = 39 - z. Is s a composite number?
True
Let m = 1 + 2. Suppose 0 = -m*f - 12, a - 8 = -a - 3*f. Suppose n - 459 = -4*b, -5*b - a = -0*b. Is n prime?
True
Suppose -8*f + 90963 = 13187. Is f a prime number?
False
Suppose 3*p - 7 + 1 = 0. Suppose r - 106 = -3*w, 203 = 2*r + p*w + w. Is r composite?
False
Let t(g) = 2596*g**2 - 18*g + 61. Is t(5) prime?
True
Suppose -4*r + 2*z = -12 - 38, 3*r - 4*z - 40 = 0. Suppose -10*j + r*j - 3638 = 0. Is j a composite number?
True
Let u(v) = -v**2 - 12*v + 2. Let o(d) = 2*d**2 + 2*d + 1. Let s be o(-2). Suppose s*l = 3*i + 41, 0*i + 2*l = 4*i + 36. Is u(i) prime?
True
Suppose 5*o - 8*m + 10*m - 29235 = 0, 0 = 2*o - 2*m - 11708. Is o a prime number?
True
Let c(b) = -14 - 2*b - 3*b + 7*b. Let g be c(8). Suppose -g*z + 6*z - 308 = 0. Is z prime?
False
Let j = -1068 + 1975. Is j prime?
True
Suppose 0*w + 24 = -2*w. Let k be 20/w - 2/(-3). Is 116 - -1*(0 + k) composite?
True
Suppose 0 = -w + 2*v + 10, 3*w + 6 = 2*v + 24. Let c(u) = -u**2 + 5*u - 3. Let x be c(3). Suppose 3*q - w*o = 651, x*q + 2*q - o - 1068 = 0. Is q composite?
True
Suppose k - 2 = 5*a - 0*k, 0 = -5*k + 10. Suppose 3*n - 2*v = -235, -n = -a*n + 4*v + 55. Let z = n - -144. Is z a prime number?
False
Suppose -3*c + 3*b + 16710 = 0, b - 16808 + 102 = -3*c. Is c a composite number?
False
Let w(t) = -41*t + 8. Let x(f) = -f**2 + 20*f - 25. Let i be x(19). Is w(i) composite?
True
Suppose -3*r - 9028 = -2806. Let q = 37 - r. Is q a prime number?
True
Let y = -7354 - -12483. Is y a prime number?
False
Let u be (708/15)/(4/150). Let q = 2732 - u. Suppose -1438 = -3*o - r, 0 = -2*o - r - 3*r + q. Is o prime?
True
Is 2566 - (-16 + 7 - -12) prime?
False
Suppose 2*b + 2*b = -c - 17, -3*c + 1 = -b. Let w(u) = -676*u**3 + u**2 + 2*u + 2. Is w(c) composite?
False
Let a(z) = z**3 + 4*z**2 + 3*z. Let v be a(-4). Let p be (4 - (-56)/v)*-3. Is (p - -312)*(-2)/(-4) composite?
False
Suppose -17*c + 662299 = -6*c. Is c prime?
True
Suppose -n = -3 - 6. Suppose 4*u = u + n. Suppose 117 = u*s + 18. Is s prime?
False
Suppose 5 = d + 2*a + 3, 3*d - 7 = -5*a. Suppose 0 = -p + d, -2*n - 8*p + 430 = -3*p. Suppose 2*s = -4*z + 250, -n - 150 = -3*s + 4*z. Is s a composite number?
True
Suppose 4*x - 632 = 4152. Let q = x - -1367. Is q prime?
False
Let v(b) = b**3 + 5*b**2 - 8*b - 9. Let p be v(-6). Let t(s) = 104*s + 2. Let n(l) = 50*l + 1. Let q(o) = -5*n(o) + 3*t(o). Is q(p) a prime number?
False
Let h = 18 - 16. Let j be h*(275/2 - -4). Suppose -5*y + 471 = -3*f - 0*f, -3*y + 2*f + j = 0. Is y composite?
True
Let u(k) = 868*k - 41. Let m(w) = 289*w - 14. Let x(a) = 8*m(a) - 3*u(a). Is x(-3) a prime number?
True
Suppose 4*l - 3*q - 225 = 0, -2*l - 2*q = 2*l - 230. Is (6/(-4))/(l/(-17404)) prime?
False
Suppose -4*s - 3*z + 35518 = 0, 9*s - 3*z - 26649 = 6*s. Is s a composite number?
True
Let k be (-4)/38 - (-131817)/133. Let l = k + 20. Is l composite?
True
Let j(d) be the third derivative of d**4/12 - d**3 + 4*d**2. Let v be j(5). Suppose -424 = -3*k - 5*z, 2*z + 123 = -3*k + v*k. Is k composite?
True
Is 2/(-4)*(-4 + -1570) a prime number?
True
Suppose 78*d - 74*d = 7948. Is d a prime number?
True
Suppose -2*l = -149 + 33. Is l composite?
True
Let k(r) = 526*r**3 + r**2 + 2*r + 2. Let n be k(2). Let c = n - 2404. Is c composite?
True
Is (-3)/2*255580/(-78) composite?
True
Let d(q) = 7*q - 32. Let l be d