 -655 + q. Is f composite?
True
Let k = 97 - 196. Let l be 3568176/k + (-2)/(-11). Is 1/1*(-4)/(24/l) prime?
True
Suppose -4*b + 726 = -f - b, b = 3*f + 2170. Let w be -2 + (-56)/(-26) - 304626/(-273). Let g = w + f. Is g composite?
True
Let b(i) = i**3 - 41*i**2 - 22*i + 379. Is b(42) a prime number?
False
Let x = 82 + -146. Let a = 62 + x. Is 1/a*-3 - (-2514)/12 a prime number?
True
Is ((-860172)/2 + -1)*(3 + 0 + -4) a prime number?
False
Suppose -89*z + 974918 + 2593893 = 0. Is z a composite number?
False
Suppose -54 = 4*v - 50, 406673 = 3*z + 4*v. Is z a prime number?
True
Suppose 0 = -2*z + 3 + 1. Suppose v - 4*c = 3*v + 12, -2*v + z*c = 30. Let j(r) = 5*r**2 + 17*r + 17. Is j(v) prime?
False
Let w(p) = 3*p**3 - 3*p + 1. Let l(i) = -17*i**3 - i**2 + 5*i + 21. Let x(q) = l(q) + 6*w(q). Let z be (-2)/4 + 34/4. Is x(z) composite?
True
Let v be 66/14 - 20/(-70). Suppose -v*o + 201 = -2*o. Suppose o = a - 252. Is a composite?
True
Suppose 306*v - 286*v = 1981880. Is v a composite number?
True
Let x(q) = -q**2 - 3*q + 29. Let s be x(-7). Suppose t + 5 = s, -4*n - 2*t = -160988. Is n prime?
False
Let x(c) = -204*c**3 - 2*c**2 - 1. Let a(o) = 2*o**2 - 3*o - 3. Let h be a(2). Is x(h) a prime number?
False
Suppose 1260742 - 7096900 = -18*i + 3679272. Is i composite?
True
Suppose m - 3 = -n - 4, 4*m = -n + 11. Let o(g) = g**3 - 30*g**2 - 56*g - 68. Let i be o(28). Is (14/m + -1)/((-18)/i) composite?
True
Suppose 9*t - 8*t - 30209 = -2*m, 3*t = 4*m - 60443. Is m prime?
True
Let x be (10/2)/(33865/(-8465) - -4). Let g = -2238 - x. Is g prime?
False
Let q(i) = 30*i**2 - 273*i + 210. Is q(79) a composite number?
True
Suppose -3*q - 2*l = -159363 - 151278, 6 = l. Is q a composite number?
True
Suppose -5*d - 2*k = -5*k - 130, 4 = d - 5*k. Suppose 2*h - 5 = -4*n - d, -5*h = 3*n + 46. Let p(x) = x**3 + 18*x**2 - 7*x - 7. Is p(h) composite?
True
Let h(g) = g - 10. Let a = -37 + 50. Let r be h(a). Is 4082/r - (-5)/30*2 composite?
False
Suppose -22*i + 5*i = -68. Suppose 0 = -i*f + 12*k - 15*k + 2770, -2*f - 2*k = -1384. Is f a composite number?
True
Suppose 0 = -8*x + 53*x - 1307655. Is x a composite number?
False
Let s = -88319 + 147516. Is s a composite number?
False
Is (-23)/(-23)*(3/5 - 1461764/(-10)) composite?
True
Let f = -341 - -349. Is 1*22226*f/16 composite?
False
Suppose -4*t + 242 = 70. Suppose -37*v - 8394 = -t*v. Is v a composite number?
False
Let z(b) = 14*b. Let r be z(2). Let i = r - 25. Suppose 0*q - 329 = -4*q - a, -i*q + 255 = -2*a. Is q prime?
True
Let z = 174 + -173. Is (-56404)/(-10) - z - 4/10 prime?
True
Let t(p) = 26*p**2 - 4*p + 10. Let r(d) = -26*d**2 + 5*d - 11. Let i(v) = -3*r(v) - 2*t(v). Is i(8) a prime number?
True
Let n = -41813 + 77416. Is n a prime number?
True
Let q(x) = 9*x**3 + x**2 + x - 16. Let p be q(-3). Let y = p + 490. Is y composite?
True
Let z = 22907 - -142380. Is z composite?
False
Suppose -i + 2*h + 19 = -3*h, -2 = h. Suppose 7203 = i*t - 4128. Is t prime?
True
Let q be 0 + (-12)/(-8) + (-2)/(-4). Suppose 2*a - 3*c = 33, 3*a - c + q*c - 33 = 0. Suppose a*x - 6688 = -868. Is x a prime number?
False
Let g(o) = 17*o**3 - o**2 + 2. Let a be g(1). Suppose r + 3*l - 10 = 8*l, 3*l + a = 3*r. Suppose r*t = 20, -2*t - 301 = -j - 4*t. Is j a prime number?
True
Is 35389/2 - ((-5)/2 - -6) a composite number?
True
Is (8 - (-22184)/(-16))*4/(-18)*177 a prime number?
False
Suppose 0 = -5*u + 3*f + 3017, f + 1714 = 4*u - 694. Suppose -3*x = -4*d - 688, -x - 5*d + 679 = 2*x. Let h = u - x. Is h a prime number?
True
Suppose 0 = 21*x + 35*x - 10*x - 358846. Is x a prime number?
False
Suppose -2*b - 8 = 4*g, 9 + 19 = 2*b - 5*g. Suppose -b*q - 3*c = -3162, 2*c - 2 = c. Suppose -58*j = -55*j - q. Is j a prime number?
True
Suppose 2582*h - 2572*h - 13610 = 0. Is h a prime number?
True
Let i(h) = -829*h**3 + 47*h**2 + 474*h - 3. Is i(-10) prime?
False
Let c(x) = 280*x**2 - 90*x + 352. Is c(-31) a composite number?
True
Let i be (-2)/4*-698*(3 + -4). Let h(j) = 23*j - 1. Let x be h(1). Let v = x - i. Is v prime?
False
Suppose 5*z + 23*z - 13496 = 0. Let h = z + 1173. Is h prime?
False
Let y(r) = 5*r - 15. Let d be y(17). Let k = d - 67. Suppose -2*a + 3*l = -506, k*l = 4*a - a - 753. Is a composite?
True
Is (-4176)/414 + 10 - (-4745318)/46 a prime number?
False
Let r = -92462 + 391975. Is r a prime number?
True
Let i be (6/(-9))/(3/(-18)). Is 44/(-110)*(-43210)/i a prime number?
False
Let l(j) = -12*j**2 + 38*j + 51. Let a(f) = 25*f**2 - 76*f - 102. Let i(b) = -4*a(b) - 9*l(b). Is i(-16) a composite number?
True
Let z be (-4)/10 - 22/(-5). Suppose 0 = 7*q - 10*q + 3*n + 6054, -5*n = -z*q + 8071. Is q a prime number?
False
Let t(b) = 2623*b + 2581*b - 78 + 5542*b + 115. Is t(1) a composite number?
True
Suppose 738197 = 2*r + 5*h, -r + 977*h + 369082 = 974*h. Is r a prime number?
False
Let l(u) = 2*u**2 - 27*u + 11. Let i be l(8). Let y = i + 79. Is ((-20)/6)/(y*3/(-549)) a prime number?
False
Suppose u - 19 = -4*l, 5*u - 21 = -5*l + u. Let o(s) = 5*s + 3*s + 33*s + 46. Is o(l) composite?
False
Suppose 35*k - 13635936 = 4380979. Is k composite?
False
Suppose i - 383 = -365. Suppose 4*z + 3514 = i*z. Is z composite?
False
Is (18/5)/(-3) - (-173101)/5 a composite number?
True
Let c(k) = -31*k**2 + 2 - 27*k**2 - 21*k - 5 + 59*k**2. Let d be c(9). Let r = -74 - d. Is r a prime number?
True
Suppose -4*r + 2*c + 336 = -742, 524 = 2*r + 2*c. Suppose 3*f = 7*f + 3*w - 2074, 2*f + 2*w = 1036. Let b = f - r. Is b composite?
True
Let p = -23199 + 11461. Is p/(-10) - 6/(-30) a composite number?
True
Let c = -50 + 52. Let i be c - (103512/39 - (-14)/(-91)). Let n = -1583 - i. Is n composite?
False
Suppose 0 = -4*d - 93 + 113. Suppose 14*x - 17*x + 4259 = 5*c, -3*c + 2569 = -d*x. Is c prime?
True
Suppose 3*v - 37 = 5*t, -3*v + 11*t - 10*t = -17. Suppose -2*r - 3*j + 8*j + 25696 = 0, 0 = -v*j + 8. Is r composite?
False
Let v(j) = -1957*j + 1899. Is v(-16) prime?
True
Let d(p) = 13179*p - 271. Is d(22) a composite number?
True
Is 132/(-8 + -4) - -11818 a composite number?
False
Is ((-2811)/(-15) + -6)*685 a composite number?
True
Let m = -140 + 27. Let i = m - -116. Suppose -158 = -l + i. Is l composite?
True
Is (3/15*5)/5 - 806694/(-5) composite?
False
Let f be (7/(-2) + 3)*-8. Suppose 0 = 4*d + 12, 3*m - 5220 = -f*d + 1119. Is m a prime number?
False
Suppose -u = -q - q - 17, q + 26 = 3*u. Is ((u - 3) + 1170)/2 - 0 composite?
False
Suppose -4*i - 12 = 0, 25*i = 5*r + 28*i - 185696. Is r a composite number?
True
Let b(c) = 4*c**2 - 6*c - 3. Let k be b(-3). Let m = k - 55. Is 4*((-22)/m - 0) a prime number?
False
Suppose 0 = -9*l - 2*x + 12138637, -5*x - 2243107 - 3151884 = -4*l. Is l composite?
True
Suppose -5*r = -2*q + 509781, 10*q = 15*q - 3*r - 1274424. Is q a composite number?
True
Let b(j) = j - 3*j - 4 - j + j**2 + 2*j. Let r be b(0). Let u(f) = f + 14. Is u(r) composite?
True
Let h = 25 + -22. Suppose h*k - 218 = -2*c, 2*k + 2*c + 272 = 6*k. Let v = 219 - k. Is v composite?
False
Let d be -4 - (-4 + 1) - (9 - 2). Let y(z) = -5*z - 36. Let a be y(d). Suppose 194 = 2*c + a*b - 4864, c - 2541 = 4*b. Is c a prime number?
False
Let a be 1432374/5 - (-9)/45. Is a/63 - -2*1/(-9) prime?
True
Let r(w) = -9*w + 6 + 92*w - 5 + 5. Is r(7) a composite number?
False
Suppose 0 = -132*y + 52*y + 942800. Is y a prime number?
False
Let z(p) = 21*p**3 + 5*p**2 + 2*p + 27. Let u be z(-5). Let x = 4026 + u. Is x a prime number?
True
Is -4 + (0 - -9093) + 2 a prime number?
True
Let x = 17 - 13. Suppose -4*p = 0, x*p - 12 = -4*c + 20. Let n(b) = 2*b**2 - 9*b - 7. Is n(c) composite?
True
Let w = 1929 - -715. Let x = w - -519. Is x a composite number?
False
Suppose -3*s = -2*d - s - 2, -4*s = -2*d - 4. Suppose d = 4*w - 5*z - 2174, -5*z + 74 = w - 457. Is w prime?
True
Let u(z) = 47*z**3 + z**2 - 7*z. Suppose -5*p + 2*a + 27 = 0, -3*a = p - 18 - 1. Suppose 6*l - 39 = -p*l. Is u(l) a composite number?
True
Let b(f) be the first derivative of f**5/20 - 3*f**4/4 + 8*f**3/3 + 17*f**2/2 + 19*f + 4. Let z(o) be the first derivative of b(o). Is z(9) a prime number?
False
Suppose -951*z + 759*z = -49953984. Is z a composite number?
True
Suppose -3*d - 45 = -12*d. Is (-5 + 4)*d - -5232 composite?
False
Let c(w) = 22348*w + 5197. Is c(30) a composite number?
True
Let u = -