 = 37*y**2 - 9*y + 19. Suppose 2*a - 156 = -146. Is s(a) a composite number?
True
Let l = 6928 + -3359. Is l a prime number?
False
Let a(u) = u**3 + 3*u**2 + 1. Let t be a(-2). Suppose 0 = -2*c - 5*g + 12757, 5*c - t*g - 24773 = 7032. Is -3*(c/9)/(-2) a prime number?
True
Suppose -5*q + 30*y - 34*y = -456719, 0 = -6*q - y + 548078. Is q prime?
False
Suppose -4*x + 9772 = f - 20859, -153155 = -5*f - 3*x. Is f a composite number?
False
Let l(k) = 33266*k - 7153. Is l(39) composite?
True
Is 12/10 + (-52029936)/(-120) + -2 + -3 composite?
True
Let n(x) = 4536*x + 6. Let w be n(1). Is (-1)/((-3)/w) - (1 + 0) prime?
False
Let g(l) = 218*l**3 - 9*l**2 + 65*l - 755. Is g(10) a prime number?
False
Suppose -5*b + 15415 = -5*u, 15*b - 12327 = 4*u + 12*b. Let l = 9065 + u. Is l composite?
False
Let t be 6/(-1)*(-31423)/14. Suppose -4*k - t = -3*w, 3*w = -2*w + 5*k + 22450. Is w a prime number?
True
Suppose -p = -4*y + 14, -2*y - 8*p = -3*p + 4. Suppose 0 = -y*l - 0*l + 5*c + 442, 2*c - 470 = -3*l. Suppose 0 = -5*a, 5*a - l + 20 = -2*z. Is z a prime number?
True
Let h(b) = -b**2 - 11*b + 64. Let i be h(-15). Suppose 2*j + 183 = 2*q - 2241, -5*q + i*j = -6061. Is q composite?
False
Is 5429 - (-18 - 144/(-12)) a composite number?
True
Let t(m) = 10*m**2 - 13*m - 11. Let o(k) = -k**2 + 2*k. Let q(z) = 2*o(z) + t(z). Is q(-8) a composite number?
True
Let h(n) = 427*n**2 + 73*n - 67. Is h(22) composite?
False
Let a be (-10)/6 - (-18764)/(-18)*-6. Suppose 5*z - 4*v = a, -4*z + 7735 = 3*v + 2745. Is z composite?
False
Let n(t) = -752*t**3 - 3*t**2 - 3*t - 13. Let o(s) = -3756*s**3 - 16*s**2 - 15*s - 65. Let y(h) = 11*n(h) - 2*o(h). Is y(-3) prime?
True
Suppose 26*x - 16*x = 30. Suppose 2*l - 367 = -3*y, x*l - 6*l + 549 = 4*y. Is l prime?
True
Let u be (-1)/(-1*(-1)/5). Let c(v) be the first derivative of -51*v**2 - 11*v - 3. Is c(u) a composite number?
False
Suppose -13344416 = -5*g - r, 8*g = 11*g + 4*r - 8006619. Is g composite?
True
Let v be (14/(-21))/((-726764)/(-726756) - 1). Let t = v - -148416. Is t composite?
False
Is (310 - 48/(-3))*(-10)/(-4) a composite number?
True
Let m = 0 - -6. Let t be -2*1*m/(-4) - 3. Suppose -u = 2*d - 3*u - 1162, t = -5*d - u + 2905. Is d a composite number?
True
Let m = 241576 - 115713. Is m a composite number?
False
Suppose 59939 = 2*y + 5*n, -13*y = -14*y - 4*n + 29971. Suppose 4*u - 5029 = y. Is u composite?
True
Let d(y) = 1687*y - 210. Let c be d(9). Let i = c - -2546. Is i prime?
True
Suppose 1247*y + 154 = 1248*y. Is 8/(-22) + 461748/y a composite number?
True
Suppose 20 = -5*y + 40. Suppose -6149 - 2167 = -y*x. Let u = -1217 + x. Is u composite?
True
Is (-36)/234 + -71815*171/(-39) a composite number?
True
Let g be (-30534)/4*(-20)/(-30). Let r = 8600 + g. Is r a composite number?
False
Suppose -759*j + 5*x = -758*j - 48825, -j + 3*x + 48829 = 0. Is j a composite number?
True
Suppose m = -3*b + 6, 18 = -b + 3*b - 4*m. Suppose 0 = b*x - 1513 - 44. Is x composite?
True
Is 23380 - 6/((-18)/(-33)) composite?
False
Let j(u) = u**2 + 12*u + 10. Let z be j(-12). Let x be z/3 + (-2)/6 - -192. Let f = 322 - x. Is f prime?
True
Let k = 1266 + -158. Let i(u) = -4*u + 65. Let f be i(8). Let d = f + k. Is d composite?
True
Let u(c) = -c + 10. Let a be u(13). Let j be ((1 - -1) + a)*-217. Is 644 + (j/(-77) - (-2)/(-11)) composite?
False
Let d = -1 + 5. Suppose 4 = -w, -2*x - 3*x - w - 4 = 0. Suppose 4*j - 5*t - 32 = x, d*t - 12 = t. Is j a prime number?
True
Let y(t) = -1296*t**3 - 3*t**2 - 16*t - 9. Is y(-2) prime?
False
Let c(o) = 298534*o**3 - 4*o**2 + 25*o - 20. Is c(1) prime?
False
Let k(b) be the third derivative of 4*b**4 - 59*b**3/6 + 3*b**2 - 2. Is k(11) composite?
False
Suppose -3*i + 3 = -12. Suppose 0 = -z - 2*z - j + 17774, i*z - 29612 = 4*j. Suppose 37*l = 41*l - z. Is l composite?
False
Is 17/((-67382)/7487 - (13 + -22)) a composite number?
True
Let a = 152 + -127. Suppose 30*z - 1535 = a*z. Is z a composite number?
False
Suppose 0 = -16*j + 72*j - 112. Suppose 3*z + 3*p - j*p - 23212 = 0, -z = -5*p - 7764. Is z prime?
False
Let v(p) = 37050*p - 329. Is v(5) a prime number?
False
Let y = 40251 + 611748. Is y a prime number?
False
Suppose 0 = 231*r - 226*r + 14275. Let q = 6822 + r. Is q a composite number?
False
Let h = -118 - -123. Let z(x) = 46*x - 9*x + 194*x - 22. Is z(h) prime?
False
Let y be (-2 - -4 - 3) + 245. Let s = -40 - -87. Suppose j = y + s. Is j a prime number?
False
Let l be -1*2/4 + 1478466/(-228). Let w = 9622 + l. Is w a composite number?
False
Let u(j) = 208*j**3 - 11*j**2 - 23*j + 35. Is u(11) a prime number?
True
Suppose -22*d = -6*d - 62368. Let h = d - 1997. Is h prime?
True
Suppose 18*g = -4*t + 19*g + 14, -t = g - 6. Suppose -16*x + 21*x + t*j - 12115 = 0, -20 = 4*j. Is x a prime number?
False
Let j be (-1166)/265 + (2/5)/1. Let m(w) = -12*w**3 + w**2 - 33*w - 109. Is m(j) prime?
False
Let o(c) = -c**2 + 11*c + 26. Let z(i) = -i**2 + 18*i - 35. Let y be z(16). Let q be (-30)/(-2) + y + 0. Is o(q) prime?
False
Suppose 52 = -2*x + 48. Let p be 22/5 + 12/(-30). Is (-5 - 5706/p)*x a prime number?
False
Is -11 + 3 - 98165/(-29) prime?
False
Let q(m) = 64*m**3 + 5*m**2 - 6*m - 7. Let o(i) = -30 + 63*i**3 + 3*i**2 + 24 + i**2 - 7*i. Let s(b) = -4*o(b) + 3*q(b). Is s(-4) a prime number?
False
Suppose 42*u = -385 + 133. Let d = 5 + -7. Is -2 - (1341/u)/((-1)/d) a composite number?
True
Let t be 351/45 + 12/(-15). Suppose -t*p - 840 = -2*p. Is p/16*22/(-3) a composite number?
True
Let x = -188 - -198. Suppose -12*v + 3670 = -x*v. Is v prime?
False
Suppose 80*b = -68*b + 11035588 - 2207240. Is b a composite number?
False
Let k(g) = 29*g + 147. Let x be k(-5). Suppose 4*r = u - x*u + 4319, -3*r = 4*u - 17341. Is u composite?
False
Let d = -51 + 56. Suppose 5*k - d*n = -10*n - 11440, 0 = 4*n - 16. Is k/(-16) + 1/(-4)*1 composite?
True
Suppose 182 = -31*y + 554. Suppose -15*a = -y*a - 6687. Is a a composite number?
True
Let t = -15 - -21. Suppose -t*w + w - 5480 = 0. Let f = w + 1667. Is f a prime number?
True
Is (-140)/420 + (-31198)/(-3) composite?
False
Suppose 9*o + 0*o - 54 = 0. Let h be (-8)/o - (-618)/18. Let v = 20 + h. Is v composite?
False
Let x = 367827 + -186328. Is x a composite number?
False
Let i(x) = x**2 + 7*x + 1207. Let q be -2 + 3 - (-1 - -2). Is i(q) prime?
False
Let v(n) = 13*n**2 + 0*n + 10 + 11*n - 32 - 11*n**2. Suppose 0 = 2*o - 5*o + 12, m + 4*o + 9 = 0. Is v(m) a composite number?
False
Let h(v) = 14122*v**2 + 26*v + 17. Is h(-3) a composite number?
False
Let p(l) = 424*l**2 - 2*l + 41. Is p(-5) a prime number?
True
Is ((-6)/(-4))/((-8388852)/(-559256) + -12 + -3) a prime number?
False
Suppose 5*x = 4*v + 20, x + 4 = 2*x. Suppose o - p - 5994 = v, 3*o + p - 11985 = o. Is o prime?
False
Let d be (170/(-2))/(-7 + 6). Let v = d + -85. Suppose -3*r + 448 + 1313 = v. Is r prime?
True
Let q(l) = 1015*l**2 + 21*l - 463. Is q(12) prime?
True
Is 428512 + 2/2 + (27 + -7)/(-10) composite?
True
Let v(k) = 2*k**3 - 5*k**2 - 2*k + 1. Let x be v(3). Suppose 0 = 2*l - 3*y - 43537, 3*l = -x*y + 54465 + 10832. Is l a prime number?
True
Suppose 5*q - 4*b = 151, -119 = 4*q - 8*q + 5*b. Suppose 43 - q = 4*y. Suppose -4*k + 2696 = -3*x + 5*x, -5*k = -y*x - 3359. Is k composite?
False
Suppose 3*j + 13*k - 68 = 9*k, 0 = 2*k - 10. Let x(c) = -c**3 + 20*c**2 - 10*c + 15. Is x(j) a composite number?
True
Let i(j) = 1572*j**3 + j**2 - j - 2. Let s be i(1). Let t = s - 599. Is t a composite number?
False
Let i be -3*(-14)/(-21) + 2. Suppose i = -j - 2*d + 3341, 0 = -4*j - 73*d + 70*d + 13369. Is j prime?
True
Suppose y - 41429 = -33*s + 29*s, 0 = -5*s - 40. Is y composite?
True
Let g(b) be the second derivative of 7/2*b**2 + 109/6*b**3 + 0 + 18*b. Is g(10) prime?
True
Let q(h) = -h - 32. Let g be q(-18). Let w = -10 - g. Is 2/(w + (-14696)/3676) composite?
False
Suppose 2*j = 4*w + 22, 10*j - 12*j = -3*w - 18. Is (-332)/(-1) + 4/w a composite number?
False
Let b(w) = 3020*w**2 + 102*w - 307. Is b(3) composite?
False
Let m(i) = -618*i + 3163. Is m(-13) composite?
False
Suppose -3*q - 4*a = -24, 5*q - 25*a - 29 = -28*a. Suppose -5*j - 3*h + 79377 = h, 4*h + 63516 = q*j. Is j a prime number?
True
Let z = -326 - -587. Suppose -263*q = -z*q - 1538. Is q composite?
False
Let v = 62 - 57. Suppose -5*x - 4*p +