ite number?
True
Let r(t) = t**3 + 21*t**2 + 75*t + 153. Is r(38) prime?
False
Let o = 81020 - 11287. Is o prime?
False
Suppose -3*k - d + 3744095 = 0, -9*k = -13*k + 5*d + 4992114. Is k a composite number?
False
Suppose 20*r - 9808997 - 527641 = -94058. Is r a composite number?
True
Suppose 0 = 5*s + 29 + 34516. Let o = s + 14698. Is o composite?
False
Let a(l) = 6 + 16 + 17*l + 49*l**2 - 15. Suppose 4*f = 3*f - 5. Is a(f) a composite number?
True
Let u(t) = 235*t**2 + t + 32. Is u(-14) a prime number?
False
Let o = 853 + -847. Let b(h) = 96*h**3 - 2*h**2 - 13*h - 25. Is b(o) prime?
False
Let v(m) = 17*m - 9. Let r(o) = -51*o + 27. Let c(w) = 6*r(w) + 17*v(w). Suppose 4*z - 7*z - 31 = 5*a, -10 = 5*z. Is c(a) composite?
True
Suppose 0 = 2*n - 3*x - 21958, -22*n = -17*n + 2*x - 54895. Is n composite?
False
Suppose -121 + 43 = 26*d. Is 2640/8 + (1 - d) prime?
False
Let m be (24/4)/3*(-3146)/4. Is 1*(-7)/28 + m/(-4) composite?
True
Suppose 16*s - 335199 - 1298967 = -2*s. Is s a composite number?
False
Suppose -10*i + 5*k = -5*i + 15, 4*i + k - 13 = 0. Suppose -2*x + 0*r = r - 6213, 6233 = i*x - 3*r. Is x a composite number?
False
Let j be 555 + 18/81 + 22/(-18). Suppose 2*c + 586 = 4*c - 4*b, 4*b - j = -2*c. Suppose 0 = l - c - 38. Is l a prime number?
False
Suppose 3*g - s = -277, -5*g - s - 459 = -2*s. Let t = g + 89. Is (-3 - t)/(7/(-938)) prime?
False
Let r(q) = 603*q**2 - 3*q - 1. Let z be (8 - 7)*(1 + -2). Let m be r(z). Suppose 3*j - m = 994. Is j prime?
False
Let s(b) = -b**3 - 3*b**2 + 6*b + 2. Let q be s(-4). Let j be 864/16*q/4. Let x = j - -586. Is x a composite number?
True
Suppose 0 = -2*s + 5*d - 12, -4*s - d + 2*d = -12. Suppose -s*x - 3 = -7*x, 0 = 5*q + 4*x - 5049. Is q prime?
True
Suppose -9*z + 42 = -84. Suppose -2980 - 39174 = -z*k. Is k prime?
True
Let h(b) = 2*b**3 + 11*b**2 - 17*b + 2. Let t be h(-7). Is 21139 + 0*(t/(-6) - 4) a composite number?
False
Let h(c) = 29*c + 402*c**2 + 59*c**2 - 28*c + 6. Let w be h(-2). Let f = w + -805. Is f composite?
True
Let n = -734 + -358. Let u = n + 3637. Is u a prime number?
False
Let v = -395125 + 560728. Is v composite?
True
Let o(l) = -l**3 - l**2 - l + 2. Let v = 86 - 86. Let d be o(v). Suppose -5*r + 1765 = d*s, -5*r + 2*s + 0*s = -1785. Is r a prime number?
False
Let o(a) = -1347*a**3 + a**2 + 3. Let v be o(-2). Let z = -4326 + v. Is z a prime number?
False
Suppose 0 = 154*u - 95*u - 413. Let h(c) = c**3 - c**2 - c - 1. Let m(t) = -t**3 + 2*t**2 + 6*t. Let q(o) = 3*h(o) - m(o). Is q(u) a composite number?
False
Let l be (-65)/(-6) - 15/18. Let w(g) be the first derivative of 117*g**2/2 - 19*g - 2. Is w(l) prime?
True
Let s = -10630 - -19293. Is s prime?
True
Let t be (3/(-4))/(-1 - (-42)/56). Suppose -3*m + 14211 = t*j, -4*j - 5*m + 26115 = 7171. Is j a prime number?
False
Let j(m) = -m**3 - 10*m**2 - 9*m + 2. Let i(c) = -3*c + 39. Let s be i(16). Let o be j(s). Suppose -2*k - 7322 = -5*l + k, -3*k = -o*l + 2927. Is l composite?
True
Let p(g) be the first derivative of 32*g**3 - 5*g**2/2 + 19*g + 52. Is p(4) a prime number?
False
Suppose s = -k + 890, 3*k + 2*s = 6*k - 2685. Let g = 1708 - k. Is g a prime number?
False
Let c be (-12)/(-30) - 3849*6/(-15). Let r = 1123 - 2032. Let a = c + r. Is a composite?
False
Suppose 3*h + p = 3*p + 5, -4*h = 2*p - 16. Let y be (-4)/h*(-8 + 2). Suppose 14*n = y*n + 4254. Is n composite?
False
Suppose -259 = -b - 5*n, -b + n - 275 = -2*b. Let j be b - (0 - (-3 + (0 - 0))). Suppose 306 = 3*h - j. Is h composite?
True
Suppose -3*v + 2*u - 16 = 0, 4*v + u + 28 = 5*u. Let w(y) = 2*y**2 + 2*y - 4. Let l be w(v). Suppose 3*x - 10*x + 8197 = l. Is x prime?
True
Suppose -43*f = -48*f - 6095. Let j = 3328 - f. Is j a composite number?
False
Let z(g) = 55*g + 243. Let i be z(-18). Let f = i + 2108. Is f prime?
True
Suppose 4*r - 12 = -2*l, 3*l = 2*r + r + 9. Let h(m) = -m**2 + 8*m - 13. Let g be h(l). Suppose 4*f - 2*n - 2*n = 1276, -g*n - 6 = 0. Is f a prime number?
True
Suppose -4*v - 2*o - 304 = 0, 3*o - 246 = -0*v + 3*v. Let c = v + 77. Let l(u) = 317*u**2 + 2*u + 2. Is l(c) a prime number?
True
Let z(n) = n - 5*n - 2*n - 28 + n**2 - n. Let x be z(9). Is (1/(-3) + 1)/(x/(-18255)) composite?
False
Suppose 4*d + 9499 = 1327. Let g = d + 8317. Is g prime?
False
Suppose -20*q + 24*q - 57178 = -l, 0 = l - 6. Is q prime?
True
Let s = -28 + 29. Let q(p) = -208*p**2 + 5*p - 5. Let r be q(s). Is (r/28 - -7) + 776/14 composite?
True
Let t = 245 + -241. Suppose 3*p - 394583 = -t*p. Is p a prime number?
True
Suppose -23*t = -17*t - 48. Is 2*(-6 + 2)*(-1226)/t a prime number?
False
Suppose 0 = -4*v - 3*v - 0*v. Suppose h = z - 1563, 5*z + v*h + h - 7815 = 0. Is z a prime number?
False
Suppose 228 = 5*c - 2*b - 162, -3*c + 218 = 2*b. Let u = c + -71. Suppose u*z - 2*t = -0*t + 1775, -t = -4*z + 1420. Is z composite?
True
Let v(w) = w + 10. Let s be v(-5). Suppose 3*h = -3*q - 0*h + 3012, 2*h = -s*q + 5017. Is q composite?
True
Suppose 0 = -3*q - 66 + 24. Is (-4)/q + 20301/21 + 0 a prime number?
True
Suppose 4*v - 235484 + 1706679 = 3*m, -m + 490395 = -2*v. Is m composite?
True
Suppose -d = 3*v - 95638, -40*v - 191326 = -2*d - 36*v. Is d composite?
True
Suppose 5*k = -5*x - 735, 2*k - 16*x = -14*x - 290. Let h be -2 - (91 + 2 + 2). Let w = h - k. Is w a composite number?
True
Let u = 360 + -364. Is ((-14644)/(-14))/(u/(-26)) composite?
True
Suppose 0 = -3*l + r - 81, 2*l - 2*r + 5*r = -54. Let q(a) = a**2 + 19*a + 35. Is q(l) prime?
True
Suppose 15 = 8*w - 17. Let l(z) = z**3 + 2*z - 2382. Let k be l(0). Is k/w*4/(-6) composite?
False
Suppose 4*z - 250 - 210 = -4*u, 4*z - 455 = -3*u. Is 13917/6 + 11/(z/15) a prime number?
False
Suppose -10*z - 10*z - 23*z = -3739667. Is z a prime number?
True
Let k(f) = 7026*f + 26. Is k(2) composite?
True
Suppose -46*c + 4939195 = -3*c. Is c prime?
False
Let j = -1156 - 502. Let p = 2649 + j. Is p composite?
False
Suppose -25 = 5*x - 90. Suppose -5*l + 2 = 2*b - 3*l, 5*b = 3*l + x. Suppose 2*u + u - b*r - 2871 = 0, -5*r - 3835 = -4*u. Is u composite?
True
Suppose -13*b + 84 = 8*b. Is (30/b)/((-8)/(-16)) prime?
False
Let l(o) = 156913*o**2 + 235*o - 1195. Is l(5) prime?
False
Is (-73111040)/(-840) - 1/(-21) composite?
False
Let o be 28/(-6)*(-6)/7. Is o/(-14) + 153172/56*6 a prime number?
True
Let b(l) = 2*l**2 - 18*l - 4. Let a be b(11). Let h(o) = 28*o - a - 2 - 4. Is h(8) prime?
False
Let o = -180 + 175. Is 6524 + -1*(o - -4)*-3 a prime number?
True
Suppose 10725228 = 7*l - 34*l + 63*l. Is l composite?
True
Suppose 0 = -8*h - 84017 + 1025593. Is h composite?
True
Suppose 5*q + 4 + 1 = a, 3*a - 3 = 3*q. Suppose a = -y + 14 - 7. Suppose -102 = 4*h - y*h. Is h composite?
True
Suppose 0 = 25*k - 21*k + 16. Let c be (-3 - k)*(1/(-1) - -658). Let b = c - 456. Is b a composite number?
True
Is (-23*(-24096405)/1380)/(1/4) a prime number?
True
Let d(b) = -154*b + 27. Suppose h + h - 3*v - 7 = 0, 5*v = h + 7. Suppose 0 = 2*s - h, -3*y + 5 = s + 25. Is d(y) prime?
True
Suppose 2*d - 9 = -d. Let g be (-30)/45*(-24)/8. Suppose 0 = 5*f - 2*i - 1189, g*i + d*i + 721 = 3*f. Is f a prime number?
False
Let w(b) = 5 - 3*b**2 + 4*b - 5*b**3 - 2 - 10. Let h be w(-6). Suppose -785 = -2*n + h. Is n a prime number?
True
Suppose 26 = 5*g + 8*g. Suppose 4*n - 9327 + 2181 = -g*j, 0 = 3*j - 4*n - 10669. Is j a prime number?
False
Let q = 134 + -146. Let t(c) = c**3 - 6*c**2 - 7*c + 29. Let u be t(q). Let d = u + 3938. Is d a composite number?
False
Let t = -854898 + 1296577. Is t prime?
False
Let w(k) = 17*k - 3. Let m be w(4). Suppose t + m = 6*t. Is (16 - t) + (1 - -781) a prime number?
False
Let r(f) = -187*f**3 - 10*f**2 + 8*f - 6. Is r(-11) a prime number?
False
Let n = -249 + 150. Let b = n - -97. Is (4/(-3)*3147)/b a prime number?
False
Suppose -202 = -16*n - 714. Is ((-478)/3)/(n/240) a composite number?
True
Let w(r) = -r**3 - 6*r**2 + 7*r + 9. Let u = -125 + 119. Let m be w(u). Is -411*(0 + m/9) a prime number?
False
Let q(i) = -1013*i**3 - 7*i**2 - 30*i - 129. Is q(-5) composite?
True
Let h(y) = 4*y**2 + 37*y - 12. Let l be h(-11). Suppose 61*i + 17564 = l*i. Is i prime?
True
Suppose -10242 - 10257 = -3*f. Suppose 8420 = 7*l - f. Is l a prime number?
True
Suppose i - 3*c - 3016242 = -921427, -4*i = 8*c - 8379180. Is i composite?
False
Let 