2 = -5*o. Is w prime?
True
Let m(q) = 5*q**3 + 26*q**2 + 15*q + 2. Let r be (-2)/7 - (-5)/(140/(-328)). Let d be m(r). Let s = d + 7577. Is s a prime number?
True
Let z(c) = -74947*c**3 + 23*c**2 + 12*c - 11. Is z(-1) a composite number?
True
Let m be (-1 - 0 - (-56)/42)*-27. Is (8634/m)/((-2)/3*1) composite?
False
Suppose 6*s - 66732 + 23418 = 0. Suppose 4*x - s = 5*k, -4*x + 2*k - 5397 = -7*x. Is x composite?
False
Let d(b) = -4*b**3 + b**2 - 5*b + 4. Let f be d(1). Let r(z) = 499*z + 28. Let c(j) = -167*j - 9. Let w(n) = f*r(n) - 11*c(n). Is w(-4) a composite number?
True
Let z be (-5)/(15/63)*-9. Let b = 2 + z. Is b a composite number?
False
Let n(c) = 11*c - 7*c - 8*c - c**2. Let z be n(-4). Suppose z = k, 191 = -v + 2*v + 3*k. Is v composite?
False
Suppose -12 = 3*x - 3*m - 3, 5*x = 2*m. Let t(i) = 13*i**x - 14 + 8*i**2 + 26*i - 44*i. Is t(17) composite?
False
Let w(i) = -3*i**3 + 41*i**2 + 31*i - 15. Let g be w(15). Let u = g - -1373. Is u a composite number?
True
Suppose -2*x - x = -27. Suppose 0 = x*t - 7*t - 5030. Is t composite?
True
Is -12997135*7/(-140) + (-14)/8 a composite number?
True
Suppose 2*u + 4*h - 26672 = 0, 0 = -14*h + 12*h + 6. Is (-30)/45 - (-2)/(12/u) prime?
True
Is (243/(-1296)*1*-4)/((-2)/(-287192)) composite?
True
Let n(o) = 62*o**3 - 18*o**2 + 35*o - 22. Is n(15) prime?
True
Let r(p) = -2*p**3 + p**2 - 3*p + 2. Let c be r(0). Is c*-3 - (-14 + -6513) composite?
False
Let y = -90519 + 138780. Is y a composite number?
True
Let r(v) = 13*v**2 - 80*v - 1799. Is r(-84) a composite number?
True
Let p = -12097 - -8149. Let r = p - -6671. Is r composite?
True
Suppose -2*n + r + 1 = 0, 3*n = 6*n - 3*r. Let t be 1 + -2 + n/((-4)/(-56)). Let g(b) = -b**2 + 32*b - 36. Is g(t) composite?
False
Is (-23)/(161/(-28)) + 256123 prime?
False
Let n be 114/627 + 128/22. Suppose -7978 = 4*b - n*b. Is b a composite number?
False
Is 989498/28 - (-102)/(-476) prime?
True
Let o(a) = 2*a**3 + 3*a**2 - 15*a + 37. Suppose 4*i - 48 = -2*w, -3*i + 31 = -0*i - w. Is o(i) prime?
True
Let m be 252/15 - (-7)/35. Suppose -16*d - 1 = -m*d. Is (-4 + 5)*(d - -406) a composite number?
True
Suppose -37 = 2*y - 25, -5*z = 5*y - 1486765. Is z a composite number?
False
Let z(i) = 20*i + 113. Let x be z(24). Suppose -9208 = -597*s + x*s. Is s a prime number?
False
Let j = -57564 + 178725. Is j composite?
True
Let x = -100 + 123. Suppose 3*c - 24953 = x*a - 18*a, -4 = a. Is c a prime number?
True
Let m(g) = -19*g**3 - 48*g**2 - 1743*g + 51. Is m(-31) composite?
True
Let g = 1182617 - 170712. Is g a composite number?
True
Let m = -134 + 150. Suppose m*t - 9*t = 107429. Is t a composite number?
True
Let x(i) = 5586*i - 3085. Is x(11) a prime number?
False
Let n be ((-12)/18)/(4/(-19254)). Suppose 0 = -3*l + 6643 + n. Is (-1)/(1/l*-2*2) a prime number?
True
Let z = 49889 - 34966. Is z composite?
False
Let f(p) = 12*p**3 + 7*p**2 - 10*p + 23. Let h be f(6). Suppose m = 1740 + h. Is m a prime number?
True
Is (-12 - 6028/(-506)) + (-97077643)/(-23) composite?
False
Suppose 0 = -42*n + 27*n + 28710. Suppose -q = -1159 - n. Is q composite?
True
Suppose -3*w + 2*s = -s + 42, 3*s + 48 = -3*w. Let b be 8/(-60) - -1174*(-8)/w. Suppose -865 = -3*p + b. Is p prime?
False
Suppose 70*k = -1236967 + 5540546 + 2911531. Is k a composite number?
True
Suppose -4857 - 106588 = -155*t. Is t prime?
True
Let m(g) = -15001*g + 4789. Is m(-9) a composite number?
True
Suppose -n + 143 = -29. Let j = 405 - n. Suppose 0 = 3*l - 4*l + j. Is l a prime number?
True
Suppose 10*u + 4*u - 187964 = 0. Suppose -19198 = -8*n + u. Is n a prime number?
False
Suppose 17280 + 22860 = 12*f. Let u = 36 + -32. Suppose u*m + f = 7*m. Is m prime?
False
Let r(d) = 6*d**3 + 7 - 4*d**3 - 19*d**2 - 1 + 4*d. Let n be r(13). Suppose -3*b + 3120 = 2*b - 5*m, -2*b + n = 5*m. Is b composite?
True
Let x be ((-62)/(-22) - 3) + (-64)/11. Let q(z) = -51*z + 26. Let m(d) = d + 1. Let w(i) = -m(i) + q(i). Is w(x) a composite number?
False
Let a = -355 - 1586. Let p = -715 - a. Suppose -2*y = -5*t + p + 2075, 2*t = -3*y + 1309. Is t a prime number?
True
Let x(v) = 2*v**3 + 17*v**2 + 6*v - 27. Let j(n) = 3*n**3 + 17*n**2 + 5*n - 27. Let g(z) = -3*j(z) + 4*x(z). Is g(13) a composite number?
True
Let t(w) = w**3 - 2*w**2 - 5*w - 3. Let d be t(4). Suppose 8*n + d*n - 44353 = 0. Is n prime?
True
Let o = -49530 + 73132. Is o a composite number?
True
Let z(y) = y**3 - 4*y**2 + 5*y - 2. Let x be z(3). Suppose -8 = 12*a - x*a. Is (a/(-3))/(5/72915) prime?
True
Suppose 9*b = -19*b + 140. Suppose 0 = z + 2*t - t - 874, -2*z + 1763 = b*t. Is z a composite number?
True
Let o(r) = -63749*r + 997. Is o(-8) a prime number?
True
Suppose -145*n = -140*n - 235. Let m(v) = 6*v**3 + 7*v**2 + 3. Let s be m(-3). Let r = n - s. Is r a prime number?
False
Let m(q) = 365*q - 101. Suppose 11*d - 24 = 8*d. Is m(d) a prime number?
True
Suppose -2*s + 22*s = 21*s - 10061. Is s composite?
False
Let c(s) = -736*s**2 - 2*s. Let t be c(3). Let n = t - -11831. Is n prime?
False
Is ((-21)/(-6))/(10*(-2)/(-497320)) a composite number?
True
Let i = 14361 + 33362. Is i composite?
True
Suppose -4*h + g = -81, -2*h - 2*g + 38 = -0*g. Is 19852/(-6)*(-30)/h prime?
False
Let r be (-7)/(-21) + 4/(12/1127). Let z = r - -195. Is z a prime number?
True
Suppose 168159 = z + 399*f - 397*f, 2*f = z - 168175. Is z prime?
False
Let k be ((7162*-5)/1)/2. Let s = k - -26372. Is s a composite number?
False
Suppose 3*s - 156 = -5*z + 1260, 3*s - 5*z = 1446. Let f = -309 + s. Suppose -f = -3*y - 5*y. Is y composite?
True
Let z(y) = 34*y**2 + 123*y - 5. Let a be z(-12). Let p = a - 29. Is p prime?
False
Let w(s) = 134 + 5*s - 55 - 7*s**2 + 5*s - 7*s**3 - 44. Is w(-12) a prime number?
True
Let l = -5 - -17. Let g(c) be the first derivative of -c**4/4 + 20*c**3/3 - 7*c**2 + 9*c - 163. Is g(l) prime?
False
Let z = 328941 - 117620. Is z composite?
True
Let v(l) = -l + 2 + 4*l**2 - 1 + 10*l**2 - 4*l**2. Let n be v(1). Is (-1310)/((2/5)/((-2)/n)) prime?
False
Let c(w) = 7920*w**2 - 161*w + 705. Is c(4) a prime number?
True
Suppose 4*n + 0*u - 50 = 2*u, 0 = 2*u + 10. Let p(d) = -d + 10. Let i be p(n). Suppose i = -10*x + 1222 - 352. Is x a prime number?
False
Let u = 4636 - 3010. Suppose 0 = 2*d + u - 11780. Is d a composite number?
False
Suppose -2*h = -8, 5*h - 447538 = -12*g + 11*g. Is g composite?
True
Let n be (2 - 12)*(-1805)/38. Suppose -5*m + 4*c + 2413 = 0, 0 = -m - 5*c + 2*c + n. Is m a composite number?
True
Let y be ((-2)/(-2))/(-3 + (-266)/(-91)). Let w(t) = -2*t**3 - 3*t**2 - 44*t - 18. Is w(y) composite?
False
Is -34 + 33 + (-87800)/(-1) composite?
True
Let g(u) = -218*u**3 - u**2 - 5. Let c(f) = f**3 - 16*f**2 + 14*f + 20. Let w be c(15). Let b(n) = n - 7. Let i be b(w). Is g(i) a prime number?
False
Let h(g) = -8*g**3 + 8*g**2 + 9*g - 678. Let d(m) = 7*m**3 - 7*m**2 - 8*m + 679. Let j(b) = 7*d(b) + 6*h(b). Is j(0) composite?
True
Let i be ((-10)/4)/((-1)/2). Suppose 3261 = -5*l + i*j - 649, l + 770 = -2*j. Let z = l - -1263. Is z prime?
False
Let l = -70 - -85. Suppose -4 = 16*s - l*s. Is (-64273)/(-15) + s/(-30) composite?
True
Let p = 307482 - 175928. Is p composite?
True
Let t be (-56)/21*(-51702)/8 + 2. Suppose -6*c + 10394 = -t. Suppose -3*d + c = s - 676, 3*s + 5289 = 3*d. Is d prime?
False
Let x(p) = 76*p**2 + 25*p - 45. Let b(s) = 78*s**2 + 26*s - 45. Let a(r) = -5*b(r) + 6*x(r). Is a(17) a prime number?
False
Suppose 0 = -y - 13 - 27. Is (-412064)/y - 5/((-125)/(-15)) prime?
True
Suppose 3765239 = 19*s - 2633796 + 977518. Is s a prime number?
True
Suppose -135*u - 808887 = 38*u - 5365534. Is u composite?
False
Let q(m) = -m**2 - 7*m + 54. Suppose -t - 4*g + 64 = -5*t, 4*g = -3*t - 13. Let y be q(t). Suppose 8*r = y*r - 4306. Is r a prime number?
True
Let u be (16/6)/((-376)/282). Let x(t) = 4 - t - 5 + 2 + 50*t**2. Is x(u) a prime number?
False
Let o(p) be the third derivative of 259*p**5/5 + p**4/12 + p**3/2 + 22*p**2. Is o(2) a prime number?
False
Suppose -611*o - 88212904 = -715*o. Is o composite?
False
Is (566376/(-18) - 7)*21/7*-1 a composite number?
True
Let p = 465429 - 327211. Is p a prime number?
False
Let z(q) = 10*q**2 - 24*q - 51. Let h = 40 - 55. Is z(h) composite?
True
Let d(p) = 2*p + 28. Let s = -10 + -3. Let m be d(s). Let k(c) = 73*c**3 -