t w = 3985 + 25498. Is w a prime number?
True
Let x = 148384 + 462529. Is x composite?
False
Suppose -11*w = -14*w + 112353. Suppose -11322 + w = 17*n. Is n prime?
False
Suppose -5*u - 241 - 339 = 0. Let y = 113 + u. Let q(o) = 166*o**2 + 8*o + 1. Is q(y) prime?
True
Suppose -2*g + 10043 = -1455. Let b = 5369 - 2699. Let p = g - b. Is p prime?
True
Let k = 386589 - 160192. Is k a composite number?
False
Suppose 0 = 4*d - 5*n - 268434, -d - 4*d - 3*n + 335561 = 0. Is d a composite number?
True
Is 64/(-72) - (-220675)/45 a composite number?
False
Let i = 25 - 21. Suppose i*r = 8714 - 1006. Is r a composite number?
True
Suppose -g + 3 = -1. Suppose g*h + 1184 = -148. Let m = -148 - h. Is m prime?
False
Suppose 0 = 2*h - 20*g + 25*g - 86059, 0 = 3*h - g - 129114. Is h a composite number?
False
Let y(n) = 5*n**2 + 4*n - 2. Let a be (-22)/(-3)*(3 - -3). Let z = -41 + a. Is y(z) a composite number?
True
Suppose 0 = b + 2*m - 82151, -5*b - 25*m = -30*m - 410755. Is b a composite number?
True
Let p(r) = -1969*r + 224. Suppose -30*x - 20 = 70. Is p(x) a prime number?
True
Is 117*(-3)/(-27) + 101604 composite?
True
Suppose -2*m + 9 + 3 = -2*j, -m + 3 = -4*j. Suppose -2*u + 17 = m. Suppose 1758 = s + u*s. Is s a prime number?
True
Let h be (9663/6)/(4/16). Let s = h - 4339. Is s a composite number?
True
Let u(i) = -873*i + 26. Let m(n) = -6*n**3 + n. Let c be m(1). Is u(c) a prime number?
True
Let t(s) = 5078*s - 13. Let j be t(-5). Let d = -17902 - j. Suppose 5*g - 3724 = d. Is g prime?
False
Suppose -2*b + 17 = -3*o, 5*b + 4*o - 3 = -18. Is (-20)/(-22) - b - (-6330076)/781 composite?
True
Suppose -4 = -4*w - 40. Let v be (-679)/21 + (-2)/w*-3. Let c = 46 - v. Is c a prime number?
True
Let h be (68/(-204))/(1/(-63)). Suppose -h*x + 14914 = -5393. Is x a composite number?
False
Let j be (510/425)/(0 - (-6)/(-40)). Is (-1291633)/(-148) - (-1)/j*2 prime?
False
Let s = 1152 + -506. Let p = -157 - s. Let q = 1504 + p. Is q composite?
False
Let f = 34286 + -18891. Is f prime?
False
Suppose 24314962 = -65*j + 183*j. Is j prime?
False
Let u be 20/(-4) - 2*-5. Suppose -2*t - u*i = -107 - 640, 0 = -4*t + 4*i + 1536. Is t a composite number?
True
Let o = 74 + -74. Suppose 5*r = -o + 25. Suppose -b + 2215 = 3*w - 0*b, -r*w + 3697 = 3*b. Is w prime?
False
Let g = -1502 + 2147. Suppose 0*d + 5*m = 5*d - g, -5*d + 631 = 2*m. Let i = d + 286. Is i a prime number?
False
Let p(g) = -14985*g**3 - 4*g**2. Is p(-1) composite?
True
Let s = -23 - -30. Suppose 2*q + 2*y = -2, -s + 32 = -5*y. Suppose -j = -q*r + 566, 2*r - 2*j = -r + 422. Is r a composite number?
True
Suppose -u + 5*s + 71796 = 0, 0*u + 4*u + 4*s - 287136 = 0. Is 87/232 - u/(-16) a prime number?
False
Let q(d) = -106*d**3 - 2*d**2 - 5*d - 7. Let m(t) = 3*t + 3. Let u be m(0). Suppose 0 = -n + u*n + 5*f - 16, 2*f = 8. Is q(n) prime?
False
Suppose 15*c - c + 14 = 0. Let b(o) = -1671*o**3 - 3*o**2 - 2*o - 1. Is b(c) composite?
False
Suppose 0 = 168*c - 16*c + 5442599 - 20854031. Is c prime?
False
Suppose -5*p = -6*p + 2. Suppose k + p = 4*d, -6 = -4*d - 2. Suppose 2227 = b + 4*b + 2*u, 5*b = k*u + 2243. Is b a prime number?
False
Let k(y) = 3*y**2 + 11*y - 4. Let r be k(-5). Let z(t) = 378*t - r - 9 - 13 - 5. Is z(5) prime?
True
Let g(b) = 64 - 178*b + 9*b**2 + 188*b + 6*b**2. Let r be g(-7). Suppose -5*c + 2285 = 4*i, -r + 139 = -i - 5*c. Is i composite?
True
Suppose -4*y + 136 = -4*r, r = 3*y - 70 - 24. Let h be (0 + y)/(4/8*-2). Is -1*6/h + (-8284)/(-5) composite?
False
Suppose 0 = 18*h - 19*h + 87*h - 67598666. Is h a composite number?
False
Let t(k) = k**2 - 7. Let p be t(3). Suppose 4*r - 3*r + 1849 = -h, 0 = -p*r - 3*h - 3700. Is 0/(1 + -2) - r a prime number?
True
Let x(j) = -j**2 + 2*j + 54. Let t be x(0). Suppose t = -3*g - v, -g - 4*v - 17 - 1 = 0. Is 6 + (-3702)/g + 2/(-3) a composite number?
False
Let s be (8/3 + -1)/((-6)/36). Let g(y) = 4*y**2 + 2*y - 3. Is g(s) a prime number?
False
Let q(l) = -16*l**3 - 31*l**2 - 24*l - 26. Is q(-7) a prime number?
True
Let u(s) = -3*s + 36. Let m be u(10). Suppose -m*k + 2372 = -2*k. Is k composite?
False
Suppose 22*j - 78464 = 6*j. Suppose j = 18*r - 10*r. Is r a composite number?
False
Suppose -5*o + 4*o - 70523 = 0. Let y = o - -107796. Is y composite?
False
Suppose 3*c = 30 - 24. Suppose -r = -c, 3*r - 9 = -o - 0*r. Suppose 1372 = -4*g + 6*g + o*j, -4*j = 8. Is g a prime number?
False
Let a = -15 - -24. Suppose -a*m = -13*m + 4360. Let t = 1775 - m. Is t a prime number?
False
Let x = 286 - 284. Suppose -2*k - 4*f = -5282, -5*k + x*k + 5*f + 7868 = 0. Is k a composite number?
True
Let t(m) = 2*m**2 - 154*m - 77. Is t(-33) composite?
True
Suppose 5*j - 453 = 672. Suppose 0 = -12*b + 11*b + j. Is (15/(-5) - 1) + b a prime number?
False
Suppose -n - 5*o = -10, 4*o + 0 = -2*n + 8. Suppose 2*z - r - 1 = n, 4*z + 3*r + r = 20. Suppose 2115 = 2*y + c, -z*c = 3*c - 25. Is y a prime number?
False
Suppose 302695 = 50*z - 3215955. Is z composite?
False
Is (-277613)/2*(16/42 - 136/204) composite?
False
Let r(f) = -276 + 4*f**2 + 0*f**2 + 283 + 4*f. Let c(t) = t**2 - 13*t - 25. Let s be c(15). Is r(s) prime?
True
Let u = 330052 + -151781. Is u prime?
False
Let j(g) = 39*g**3 + 3*g**2 - 26*g + 19. Suppose -31*a - 84 = -52*a. Is j(a) prime?
True
Suppose -r = -4*u + 12, 3*r + u + 12 = 28. Let j(k) = -39*k + 12. Let o be j(r). Let d = 67 - o. Is d a composite number?
False
Let x = 44582 + -24351. Is x prime?
True
Let u(j) = -2023*j + 40. Let w be u(-15). Let q = w + -16338. Is q composite?
True
Let v(s) = -9 - 58*s + 55 - 63*s. Let z be v(-26). Suppose 5*u - 5236 + 1237 = -h, -4*u + h = -z. Is u prime?
False
Suppose 700755 = -14*p + 560493 + 2063260. Is p composite?
True
Suppose -5*u + 951 = -4*u - d, 4*u - 3836 = -4*d. Suppose 2*p - 362 = -5*q, -5*q = 5*p + 58 - 993. Suppose f - p = -h - 0*f, -f - u = -5*h. Is h a prime number?
True
Let g = 59 + -56. Let h(i) = 31*i**g - i**2 - 8 + 2 + 2 - 3. Is h(3) composite?
False
Suppose 0 = b - 2 + 4. Let m be -203 - (b + (-3 - -3)). Let i = m - -532. Is i composite?
False
Is (-560399 + 6)*91/(-13) a prime number?
False
Suppose 9*r = 8*r - 38. Let f = -678 + r. Let g = 191 - f. Is g a prime number?
True
Suppose 0 = 5*b - 5*n - 30856 + 8431, n = 2. Let w = b + -376. Is w composite?
False
Suppose 169 - 469 = 10*f. Let n be (-5)/(f/1158)*13. Suppose 2*a = 289 + n. Is a composite?
False
Let a(d) = -17*d**3 - 3*d**2 + 4*d - 6. Let s(u) = 9*u**3 + u**2 - 2*u + 3. Let k(o) = -4*a(o) - 7*s(o). Is k(7) composite?
False
Let t be (0 + 1)/(0 + 1)*-4. Is -1 - (t/14 + (-10803)/91) a prime number?
False
Let s = 0 - 3. Suppose -5*z = -10, -2*z + 10 = o - 7*z. Let w = o - s. Is w prime?
True
Let m(y) = 40*y**3 + 6*y**2 - 7*y + 4. Let a = -7 - -22. Suppose 0*p + a = 5*p + 3*z, -p = -4*z - 3. Is m(p) prime?
True
Let j = 48343 + -26000. Is j a prime number?
True
Suppose 3583701 = 90*r - 3643209. Is r a prime number?
False
Let b be 4/((-8)/(-3))*16. Suppose -23 = -4*d + r + 2*r, -4*d = -4*r - b. Suppose 5*j + d*l - 2387 = j, 3*j - 1785 = -2*l. Is j a prime number?
True
Suppose 11*d - 602 = 15*d - 2*z, 3*d + 465 = -3*z. Let r = d + 631. Is r a composite number?
False
Let k(l) = 3*l - 14. Let w be k(6). Suppose w*r - 85 = 83. Suppose 5*u - r = 2*u. Is u prime?
False
Let k(y) = y**2 + 2*y - 2. Let f be k(-2). Let d be (88/(-12))/(f/24). Suppose -2*t - 2 = -d. Is t composite?
False
Suppose 163*m + 321435 = 166*m + 4*z, 3*m - 321393 = 3*z. Is m prime?
True
Suppose 0 = -5*o - 3*o + 96. Suppose -5*y + 7*y + o = 0. Is ((-166)/y)/((-7)/(-147)) composite?
True
Suppose 18 = 4*t + d, -4*d + 5 = 3*t - 15. Suppose 7502 = -t*n + 26218. Is n a composite number?
False
Suppose 5*i + 7 = 3*a + 1, -i = 4*a - 8. Let l(q) = -3*q - 1942. Let p be l(i). Let r = p + 3485. Is r prime?
True
Is (683970/(-12))/35*-314 prime?
False
Let i(b) = 68*b**2 + 2*b + 5. Let a(j) = j**3 - 12*j**2 + 11*j + 15. Let r be a(11). Let z = r - 11. Is i(z) a prime number?
False
Suppose 0 = -5*u + 211483 + 3402. Is u a prime number?
False
Let y = -100 - -103. Suppose 0 = -3*i + 33 - y. Is i a composite number?
True
Suppose 23*u - 4*i - 286 = 25*u, u + i + 141 = 0. Let w = u - -1248. Is w a prime number?
True
Let a be ((-24)/40)/(1/(-5)). Suppose 2*u - u = 3*d + 8, a*u - d = 16. Suppose -2*h - 42 = -u*h