4*j + 80. Let c be 8 - (8/j + (-26)/(-22)). Is w(c) a composite number?
True
Suppose 1292 = 3*x + 2*n, 2*x + n + 264 = 1126. Let d(h) = 634*h - 156*h - 3 + x*h. Is d(1) composite?
False
Let f = 237 + -252. Is (-3)/(f/4055) + 4 prime?
False
Let p(v) = -2255*v**2 - 2*v + 1. Let x be p(-2). Let k = x + 12918. Is k a prime number?
False
Suppose -34*i + 362355 + 1187071 = -367596. Is i a composite number?
False
Let l(f) = -f - 2. Let b be l(-4). Let k(c) = 14*c + 2. Let m be k(b). Suppose -5*w - m = -365. Is w a composite number?
False
Let a = 92 + -51. Let t be (-10 - a)/(3/(-96)*2). Suppose -2*f = -t - 1150. Is f composite?
False
Let g be (-6)/(-21)*(-105)/(-20)*4 + 5010. Suppose -4*p + s + 10 = 0, 8*p = 3*p - 4*s + 23. Suppose p*c = 903 + g. Is c prime?
True
Let u be -1*(-3)/3*0. Suppose u*s = 3*s - 5*o + 1039, 0 = 5*s - 2*o + 1719. Let i = s + 1886. Is i a composite number?
False
Suppose 2*w - 460 = 4*v, v - 3*v = 5*w + 218. Let o = 2633 - v. Is o prime?
False
Let o(y) = -11*y + 59. Let h be o(6). Let r be (-116)/(-36) + -3 - h/9. Is r*2 + (9 - -480) a prime number?
True
Suppose -4260 = -3*b - 2*r + 8606, 3*b - 5*r = 12901. Let w = 732 + b. Suppose -w = -5*n + 1401. Is n a prime number?
False
Suppose 76 = p - 39. Let o(i) = -p*i - 20 + 18 + 13. Is o(-5) a prime number?
False
Let q = -110 + 301. Let s = q - 424. Let u = s - -1446. Is u a composite number?
False
Suppose -2*d + 16408 = 3*h, -5*d - 24614 = -8*d - 4*h. Let t = 12031 - d. Is t a prime number?
True
Suppose -10 = 5*x - 4*q, 5*x = -0*q + 2*q. Let s be (-8)/4*(-3)/x. Suppose -s*f = -6*f + 807. Is f a prime number?
True
Let r = 16 + -8. Suppose -p = -0*p - r. Suppose -p*s + 4431 = -s. Is s prime?
False
Let l = 31496 - 18685. Is l a composite number?
True
Let m(l) = l - 13. Let a be m(18). Let i be a*(4/(-12) + 4/3). Suppose 0*c + i*h + 1086 = 4*c, -5*c = -5*h - 1355. Is c a prime number?
True
Let c = -6 - 28. Let h be 20/15 + -2 - c/6. Suppose -u + 192 = h*j, -2*j = -2*u - 116 + 560. Is u a prime number?
False
Suppose -1 = -4*f + 11. Suppose 2*y - 8 + 4 = f*z, -z - 4*y = 20. Is (0 - -3) + (-1504)/z a composite number?
False
Let x(n) = -n**3 + 17*n**2 + 14*n + 31. Let b be (39/(-15))/(-1 + (-12)/(-15)). Is x(b) a prime number?
False
Let r = -14651 + 7240. Let d = 11122 - r. Is d a composite number?
True
Is 8*(-12 + 113610/48) composite?
False
Suppose 10*j = 22*j + 2136. Is j/3*(-84)/56 a prime number?
True
Let d = 658024 + -417453. Is d composite?
False
Suppose 11*w + 378919 = 13*w - c, 3*w = -12*c + 568419. Is w a prime number?
False
Suppose -2*x - 6703681 - 4095005 = -20*x. Is x prime?
True
Suppose -53*s + 999189 = -1124150. Is s a composite number?
False
Suppose 2*a - 5*c = 4578 + 5281, 0 = -a + 4*c + 4928. Suppose -2*j + a = -48562. Is j prime?
False
Suppose -4*k + 126 - 54 = 0. Suppose d - 1305 = 1227. Is 9/6*d/k composite?
False
Let p(b) = 7*b**2 + 51*b - 4. Let s be p(-7). Is (1 - 1438)*42/s a prime number?
False
Let o(f) be the first derivative of 661*f**3/3 - 5*f**2/2 + 5*f + 6. Let i be o(2). Suppose -5*p = -846 - i. Is p prime?
False
Suppose 5*r = -4 + 79. Suppose 3*i - 7*g + r = -2*g, 15 = -i + 5*g. Suppose i*b - b + 3*z + 496 = 0, -5*z = 3*b - 1446. Is b a composite number?
False
Let p(t) = -t**3 + 23*t**2 + 5*t - 26. Let n be p(-13). Let g = -3180 + n. Is g a composite number?
True
Suppose 16*p + 234331 = 2*l + 11*p, -5*l + 4*p + 585819 = 0. Is l prime?
True
Let z(h) = 18*h - 36. Let c be z(15). Let o be c/(-4)*(-42)/7. Suppose 470 + o = k. Is k prime?
True
Suppose -1615*l - 87283 = -1622*l. Is l prime?
False
Let j = 188 + -185. Suppose j*h = 3*a + 17883, 4*h + 0*a = -a + 23864. Is h a composite number?
True
Suppose -460 = 27*c + 19*c. Is (-45)/c*(-25548)/(-27) composite?
True
Let r be -3*(-3 - (0 - 2))/1. Suppose -2*h - 13 = -l, -3*l + 15 = -r*h - 0*h. Let y(d) = 9*d**2 - 3*d + 35. Is y(h) a prime number?
False
Suppose 4*s = -5*t + 9716189, t - s - 2428268 = -485041. Is t prime?
False
Suppose 46*h - 132101 - 1839735 = 0. Is h a prime number?
False
Let j(h) = -h**3 + 82*h**2 - 283*h - 397. Is j(65) a prime number?
False
Suppose -4*q - 4*a + 1865278 - 611666 = 0, 3*a = 9*q - 2820555. Is q prime?
False
Suppose 3744 + 969 = -3*m. Let s = m - -2511. Let l = s - 537. Is l prime?
False
Let v(d) = -d**3 + 12*d**2 + 12*d - 14. Let b be v(13). Let w = b + 27. Suppose -c - c + 170 = w. Is c a prime number?
False
Suppose -c + 4*k = 27, -2*c - 2*k - 8 = 6. Let w(u) = -36*u - 98. Is w(c) prime?
False
Let b = -962 - -2536. Is (102/18)/(-17) + b/6 prime?
False
Suppose -13 = 2*s + 3*t, 5*s + 2*t + 20 = -3*t. Is 1 + (-2)/(-2) - (-2117)/s prime?
False
Suppose -84*r = -4*q - 89*r + 203361, 3*q - 5*r - 152512 = 0. Is q composite?
False
Suppose 5*m = 23 - 3. Suppose l + m*c = 5, 14 - 55 = 5*l - 2*c. Let y(o) = 5*o**2 + 10*o + 16. Is y(l) a composite number?
False
Let u = -104 - -96. Is 5159*(-4)/u - (-3)/(-6) a prime number?
True
Let a = 691365 - 318494. Is a prime?
True
Suppose 28*x + 25 - 613 = 0. Is 4 + (39/(-91) - (-786522)/x) prime?
False
Suppose -41*t = -40*t - 5*f - 193344, -5*t + f + 966696 = 0. Is t a composite number?
True
Let z(m) = -m**2 - 3*m + 41297. Let k be z(0). Suppose 12*y = 6463 + k. Let t = 5757 - y. Is t a composite number?
False
Let s be 5073/2*11/(77/(-42)). Let b = 27082 + s. Is b composite?
False
Suppose 2*p + 14 = 20. Suppose 4*u = 2*y - 5462, -2*y - u - p*u + 5462 = 0. Is y composite?
False
Suppose -251*u = -26033947 - 3727374. Is u composite?
False
Let b(u) = u**3 - 6*u**2 + 11*u - 8. Let n be b(4). Suppose w - 175 = -r, 2*r - n*w - 300 = 80. Let v = r + 33. Is v a composite number?
True
Suppose 26181 = j + i, 6*j - 26157 = 5*j + 5*i. Is j prime?
True
Let a(h) = 3*h**3 - 3*h + 0*h**2 + 7*h**3 + 2 - 11*h**3 - 2*h**2. Let k be a(0). Suppose 0*i - 4406 = -k*d - 4*i, 5*i = 0. Is d composite?
False
Let z(f) = 7*f - 6. Let c be z(3). Suppose -j = -s + 6*s - c, -j + 27 = s. Is 556/5 - 3/j*2 a prime number?
False
Let j(l) = -4*l**3 - 12*l**2 + 2*l + 27. Let b = 47 - 48. Let a be (b + (-20)/(-12))/(4/(-66)). Is j(a) composite?
False
Suppose -4573021 = -122*x + 1925553. Is x a composite number?
False
Let f(h) = h**2 + 23*h - 27. Let g be f(-24). Is (7666/g)/(72/(-108)) composite?
False
Let m(r) = r**3 + 4*r**2 - 6*r - 8. Let g be m(2). Suppose 52972 = 3*j - n, 4*j - g*n - 12145 = 58487. Is j composite?
False
Suppose 84 = 2*j + 38. Suppose 70476 = 35*h - j*h. Is h prime?
False
Let p be (-10)/(-25) - 4/10. Suppose p*v - 4 = 4*v. Is v/(1/(-418)) + 1 prime?
True
Suppose -3*y = -60*y + 404643. Is y composite?
True
Suppose -4*t - 18 = -w, -2*w - 7*t = -5*t + 4. Suppose 0 = 5*z + 7*s - 2*s - 6450, w*z = 4*s + 2598. Is z prime?
False
Let v(w) = 5933*w**3 + 5*w - 15. Is v(2) a prime number?
True
Suppose 5*l - 2*l + 1 = n, 0 = -4*l - 8. Let c(z) = 5*z + 25. Let t be c(n). Suppose t = -2*i + 856 - 326. Is i a prime number?
False
Let f = -2699 - -23754. Is f composite?
True
Let o(v) = -v - 13. Let n be o(5). Let k = -15 - n. Suppose -5*b + 1057 = 2*g, b + 100 = -k*g + 1666. Is g composite?
False
Let p be 8 + (-25)/6 + 7/42. Suppose 2*n + 0*w = -2*w + p, w - 8 = -4*n. Suppose 5*l + n*c - 695 = 0, 2*l = -c - 0*c + 278. Is l prime?
True
Let s(x) = 9589*x + 5231. Is s(30) a prime number?
False
Let y(u) = -586014*u - 145. Is y(-1) prime?
False
Let u = 3440507 + -1314834. Is u composite?
True
Suppose 12340 = 6*v - 3308. Let s(b) = 686*b + 37. Let j be s(8). Let f = j - v. Is f composite?
False
Suppose 25*t + 526012 - 2823 = 54*t. Is t prime?
True
Let w be (219/(-4))/((-60)/400). Let j(b) = -548*b**2 + 310*b**2 - 1 - 1 + w*b**2. Is j(-5) prime?
False
Is ((-26)/(-156))/((-5)/(-4711170)) composite?
True
Suppose -3*d + 4*d + 3*p = 0, -5*d - 5*p = 0. Let a be d/((4 - 0)/(-4)). Suppose a = -12*y + 16*y - 3652. Is y composite?
True
Let z(a) = -31*a**3 + 4*a**2 - 2*a - 5. Let w be z(2). Is 1/(-2)*w*10 a composite number?
True
Suppose 3*x - 5*d = 20, 0 = 4*x - 2*d - 2*d - 24. Suppose x*y - 3226 = -471. Is y prime?
False
Suppose -2*p = b - 1019981, -3*p + 2039957 = -2*b + 4*b. Is b a composite number?
False
Suppose 2*t - w - 30 = 0, -2*w + 38 = 4*t - 22. Let s(q) = 6*q**3 - 15*q**2 - 16*q - 16. Is s(t) composite?
False
Suppose -7*u - 22*u + 297685 = 0. Is u prime?
False
Suppose -3*z + 5*x + 248214 = 