ppose 0 = 3*w - 270 - f. Is w a prime number?
True
Let m(p) = -p**3 - 8*p**2 + 10*p + 11. Let s be m(-9). Let h be (s + (-85)/(-10))*86. Let n = -382 + h. Is n prime?
True
Let f be (-48)/(-18) - 4/6. Suppose 9*l - 4*l = 5*b + 1900, -4*l + f*b = -1518. Is l prime?
True
Let f(h) = -92*h**3 + 8*h**2 + 9*h + 22. Is f(-5) composite?
False
Let c = -11107 + 26336. Is c a composite number?
True
Let z = 10487 - -2820. Is z composite?
True
Let w = 8588 + 6381. Is w a composite number?
False
Let p(v) = -v - 12. Let s be p(-14). Suppose u - s*u - 2 = 0, -4*m + 5*u - 30 = 0. Is 1/(-2) - 3275/m a prime number?
False
Let f be (-2)/(1*(-6)/15). Suppose 3484 = f*t - 2646. Suppose -t = -l - 3*l + y, -2*l + 5*y = -604. Is l prime?
True
Let l be (-90)/21 - 4/(-14). Is 2/8 + (-2787)/l a composite number?
True
Is -1*2*23977*5/(-10) a prime number?
True
Is 3/4 - ((-2711984)/64)/19 prime?
False
Let m(x) = -5*x - 14. Let y be m(-6). Let b be (1 + -213)*(-60)/y. Suppose 0 = d + 4*d - b. Is d prime?
False
Let d(g) = -g**3 - 8*g**2 - g - 7. Let w be -11 - (-1 + (3 - 5)). Let i be d(w). Suppose -5*b = -2*k - k - 428, -k - i = 0. Is b a composite number?
True
Suppose -4*u - 4 = -20. Suppose u*k - 180 = 5272. Is k prime?
False
Let l = 93272 - 54021. Is l composite?
False
Let i(a) = -7*a**2 + 12*a - 28. Let n(p) = -36*p**2 + 60*p - 139. Let u(g) = -11*i(g) + 2*n(g). Is u(7) composite?
False
Suppose 0*r + 3*o = 5*r - 47, -o + 11 = r. Let s be (1/((-1)/r))/1. Is 15/s*706/(-3) a composite number?
False
Suppose -5 = -0*z - z. Let l be (-3 + z)/((-2)/6). Let m(i) = 4*i**2 + 10*i + 7. Is m(l) prime?
False
Let f be (-2 - 8/(-4)) + 157. Suppose 2*h + f = 3*h. Is h composite?
False
Let w(p) = p + 11. Let q be w(-6). Suppose -2*r = 5*i - 2021, q*r = 9 + 6. Is i a prime number?
False
Suppose u - 28350 = -3*n - 2*n, 0 = -5*n + u + 28340. Is n composite?
False
Let o(i) = -3*i**2 + 10*i - 8*i**3 + 7 - 6*i**2 + 6 + 7*i**3. Is o(-10) prime?
True
Let r = -49954 + 71187. Is r a composite number?
True
Suppose -3*b + 10638 = q, 0*q + 10647 = 3*b + 4*q. Is b a prime number?
False
Suppose s - 3*s = -4162. Suppose -22 = -2*j - 14. Suppose s = 3*h + 2*p, j*p + 2061 = 3*h + p. Is h a prime number?
True
Let b(o) = -119*o - 2. Let q(n) = 118*n + 1. Let p(d) = 4*b(d) + 5*q(d). Is p(6) composite?
True
Suppose 2*y + b = -y + 23, 0 = 5*y - 2*b - 20. Suppose -y*u = -2329 - 1913. Is u composite?
True
Let y = -6 - -8. Is 10/(296/(-149) + y) a composite number?
True
Let b(q) = -6*q**3 - 24*q**2 + 18*q + 11. Is b(-7) a composite number?
True
Let y be (-9)/(-2) + 4/8*-1. Is ((-782)/y)/(((-6)/(-12))/(-1)) a composite number?
True
Suppose l + 1 = 0, -2*l - 97 - 25 = -3*z. Let s be 5/(-1)*z/(-50). Is (-2)/((-8)/2244) - s composite?
False
Let h(m) = -m**2 - 7*m - 8. Let o be h(-6). Is 103*2 + (1 - o) a composite number?
True
Let z(k) = k**2 - 16*k - 2. Let g be z(16). Is 1543 + (3 - 5) - (g - -2) prime?
False
Let b(j) = j**3 - 17*j**2 + 17*j - 8. Let x be b(16). Suppose 2*c = -x, 0*m - 98 = 2*m - 2*c. Let n = m - -202. Is n prime?
True
Suppose 616 = -5*f - 59. Let o = f - -352. Is o composite?
True
Let s(l) = 12*l**2 - 8*l - 17. Let m be s(-15). Let a = -1944 + m. Is a a prime number?
True
Let h be (-4)/(-3 - ((-3 - -2) + 0)). Let s(c) = 106*c**2 - 7*c + 3. Is s(h) a composite number?
True
Let m be 0/1 + (-4 - -265). Suppose -5*i + 407 + m = -t, 5*i = 5*t + 680. Is i a composite number?
True
Let s be 34/3 + 6/(-18). Let j(a) = a - 35. Let n be j(0). Let t = s - n. Is t a composite number?
True
Suppose -11*h = 325 - 61. Let a(i) = -10*i + 19. Is a(h) composite?
True
Is 83*((-1)/(-3)*87)/1 a composite number?
True
Let d = 18 - 16. Suppose -5*t + b - d*b = -30, 5*t = b + 30. Suppose -t*f = -f - 2785. Is f a prime number?
True
Let x(p) = -p**3 - 8*p**2 + 10*p + 13. Let a be x(-9). Suppose 0 = -3*g - 3*s + 777, 0 = 4*g - a*s - 718 - 350. Is g a composite number?
False
Is ((-244964)/(-16) - -4) + (-40)/32 a composite number?
False
Suppose 30247 = 3*o + 2*b, 4*o - 5*o - 4*b + 10099 = 0. Is o composite?
False
Let b = -10477 + 3298. Is (-4)/((-24)/(-2))*b a composite number?
False
Let w(i) = 13*i + 22. Let a be w(-7). Let g = 230 + a. Is g prime?
False
Let w = -6256 + 9195. Is w prime?
True
Let s(u) = 4*u**3 - 10*u**2 + 6*u - 1. Let a be s(10). Let i = a - 480. Is i a prime number?
True
Let k(t) = 6 - 1 - 6 - 1062*t. Is k(-1) a prime number?
True
Suppose -2*i - 5*g + 4539 = -4*g, i - 2274 = -5*g. Is i a composite number?
False
Let p be 477/(-54) + (-1)/6. Let h = 6 + p. Is h/2 + 5655/30 prime?
False
Let m = -42550 - -65783. Is m prime?
False
Let z be 2056/12 + (-2)/6 + 2. Let g = z - 40. Is g prime?
False
Let s = -848 - -4721. Is s a composite number?
True
Is (-2)/((16/(-119018))/4) a prime number?
True
Let w(f) = 30*f**3 + 8*f**2 - 8*f - 3. Suppose -30 = -3*y + 3*u, 4*y - 3*y = -2*u - 5. Is w(y) a composite number?
False
Suppose 856*z - 861*z + 102865 = 0. Is z prime?
False
Let k = 28 + -40. Let w(c) = -c**3 - 12*c**2 - 23*c + 17. Is w(k) a prime number?
True
Suppose 0 = -5*b - p + 76480, 4*b - 92*p = -95*p + 61173. Is b a composite number?
True
Suppose 4*v + 17 - 5 = 0, 4*z - 4*v = 28. Is (-120)/(-9)*174/z - -1 composite?
True
Suppose 12*w = w + 22. Suppose -2692 + 1032 = -4*d - 4*z, 0 = -w*z + 4. Is d a composite number?
True
Let k be 11 - -3 - (-2 + -1). Let l(i) = 9*i**2 + 2*i**3 - i**3 + k - 5*i**2 - 10*i**2 - 12*i. Is l(12) a composite number?
True
Suppose -6*q = -q. Let n(f) = 4*f + 0*f - f**2 + 502 + 85 - 5*f. Is n(q) a composite number?
False
Let q = 5 + -3. Suppose 0 = -5*p - 3*l + 6*l + 996, 0 = -4*p - 3*l + 813. Suppose -q*c - p = -1307. Is c a prime number?
False
Let w(u) = 1215*u + 229. Is w(4) a composite number?
True
Suppose 3*q - 33 = -3*n - 0, -q + 5 = 3*n. Suppose q*s = 19*s - 745. Let h = -70 + s. Is h prime?
True
Is 530/106 + (1332 - 0) composite?
True
Let o(q) = q + 1. Let a be o(0). Is (-78)/(-9)*21 + a a prime number?
False
Let s = 9906 - 1247. Is s a prime number?
False
Let q = 70 - 65. Suppose -165 = -q*t + 320. Is t a prime number?
True
Let y(l) = 456*l + 34. Is y(3) prime?
False
Suppose -t - 35 = 4*t - 5*g, -5*t + 4*g = 38. Let m(p) = -p**3 - 10*p**2 + p + 9. Let y be m(t). Is (y/(-4))/((-10)/(-280)) composite?
False
Suppose 29 = 2*y + 13. Let c(d) = 77*d - 13. Let w(q) = -51*q + 9. Let m(s) = -5*c(s) - 8*w(s). Is m(y) a prime number?
False
Let t = 2 + 2. Suppose 5*k = -v + 6, 6*k - t = -v + 2*k. Is ((-42)/(-9))/(v/(-6)) prime?
True
Suppose -4*i - 40 = -2*i. Is ((-5965)/i)/1*4 prime?
True
Let v = -14 - -17. Suppose 4*l - 56 = 4*u, -2*u - v*u - 5 = 0. Is l prime?
True
Let p be (1 - -2) + 8 + -2. Let s = 11 - p. Suppose -4*w = -s*w - 402. Is w a composite number?
True
Let y(i) = 14*i**2 + 8*i - 17. Is y(8) composite?
True
Let a = -1402 + 2093. Is a*2*(-3)/(-6) composite?
False
Let g = 37 - 25. Let v = 7 - g. Let n(m) = m**2 - 3*m - 9. Is n(v) prime?
True
Suppose k = 3*u + 32, 2*u + 0*u + 28 = 4*k. Let t be u*5/(25/(-6)). Is (-3)/12 - (-1575)/t a composite number?
False
Let k be ((-192)/(-36))/(2/6). Let d = k - -583. Is d a prime number?
True
Let v(f) = 25*f**2 - 43*f - 13. Is v(21) prime?
False
Let r(l) = -l**3 - 12*l**2 - 10*l + 13. Let x be r(-11). Suppose -11*b = x*d - 12*b - 5627, -11248 = -4*d + 4*b. Is d a composite number?
True
Suppose -3*f + 48 - 3 = 0. Let p = 11 - f. Is (-588)/p - -1*2 prime?
True
Let t = 28 - 12. Is t/56 - (-4098)/14 composite?
False
Let y be 830*6*(-1)/5. Let a be (-1 - 4/(-1)) + y. Let l = a - -1670. Is l composite?
False
Let s = 2 + 2. Suppose 2*r - s*x + 124 = 0, -2*x + 310 = -5*r + 3*x. Let i = r - -121. Is i a composite number?
False
Let h(q) = 15490*q + 331. Is h(7) a prime number?
True
Suppose -11 = -4*u - 3. Suppose u*b = 12*b - 1660. Is b prime?
False
Is ((-27037)/(-76))/(2/104) a prime number?
False
Let c(a) = -50*a**2 - 45*a**2 - a + 96*a**2 + 53*a**3. Suppose y = -4*y + 5. Is c(y) composite?
False
Let c = 14 + -15. Let r be -15 + 11 + 1762 + c. Suppose 3*v = -2*u + 7*u - 1759, -4*v = -5*u + r. Is u composite?
False
Let r be (0 - -3 - 1) + 7. Suppose -6*j + r*j = 1761. Is j a composite number?
False
Suppose 0 = 43*i - 41*i - 2524. Suppose x - i = -3*s, 6 = 2*s - 4. Is x composite?
True
Let k(i) = -i**2 + 12*i + 18. Let z be k(13). Suppose a + a - 3*d -