-2*s + o*s = -170. Is s prime?
False
Let v(g) = -g**3 + 4*g**2 + 6*g + 7. Let h be v(5). Let i(r) = -343 + 178 - r + 186. Is i(h) composite?
True
Suppose 28*v = 5*w + 29*v - 119333, 23857 = w + 5*v. Is w prime?
False
Suppose 3*h - 2401 - 1690 = -4*j, 4*j - 2*h - 4106 = 0. Suppose -j = -4*u - 9945. Is (-2)/(-4)*u/(-5) a prime number?
True
Let j(h) = 15*h**2 + 110*h + 4. Is j(-25) composite?
True
Let a(r) = 287 + 138 + 146 + 4*r + 15. Is a(0) a prime number?
False
Suppose 2*y + 9 = -y. Let u(d) = -46*d**3 - d**2 - 3*d + 1. Is u(y) composite?
True
Let r = 17 + 4. Let c = r + -14. Suppose -c*z = -5*z - 28. Is z a composite number?
True
Let m be (-1)/(-6) - 348/(-72). Let w(b) = 3*b**3 - b**2 - 16*b - 5. Is w(m) a composite number?
True
Let h = 13 + -15. Let l be h + -3 + 2 - 5. Let j(u) = -50*u - 18. Is j(l) a composite number?
True
Let b be (-1)/(-4) + (-110)/(-8). Suppose b + 23 = 5*k - 2*y, -y - 5 = -k. Let c = 86 - k. Is c a prime number?
False
Is (2/(-2))/((-1740)/1738 - -1) a composite number?
True
Suppose -k - k = -8. Suppose 0 = 4*q - 8, -q - 2*q = -k*s + 2734. Is s composite?
True
Suppose m - a = a + 13, m + 7 = -3*a. Let c(k) be the third derivative of k**5/30 - 5*k**4/24 + 2*k**3 - k**2. Is c(m) a composite number?
False
Suppose 4*t + 3*s = 3*t + 931, 4*t - 3684 = -4*s. Let y = t + -411. Is y prime?
False
Let s(n) = n**3 + 18*n**2 - 8*n + 10. Let z be s(-10). Suppose 0 = 3*l - l - z. Is l a prime number?
False
Suppose 3*g - 9133 = -5*t - 1581, 2*g - 1516 = -t. Suppose -t = -6*i + 2*i. Is i a prime number?
False
Let k be 169*1/(7/2 + -3). Let m = k - -51. Is m composite?
False
Is 2/4*(-23 + 8401) a prime number?
False
Suppose 3*m - 3 = -3*y - 51, 4*m = 4*y + 104. Is (-7 - 37080/y) + (-2)/(-7) prime?
True
Let t = -35807 - -76468. Is t composite?
True
Let i(b) be the third derivative of 229*b**4/24 - 5*b**3/3 - 22*b**2. Is i(9) prime?
False
Suppose 0 = 16*r - 25596 - 24596. Is r a prime number?
True
Suppose 19*n + 32 - 1267 = 0. Is n a prime number?
False
Let q(r) = -r**2 + 13*r + 17. Let p be q(14). Suppose 5*d = -p*x + 189, 4*d = 3*x + d - 213. Let i = x - 19. Is i composite?
True
Let l = -13 - -21. Suppose -2*v - l = 0, -n = -3*v + v - 50. Is ((-17)/(-2))/(3/n) a prime number?
False
Suppose 447570 + 97857 = 27*v. Is v a prime number?
True
Suppose -4*r + 5 - 65 = 5*j, 48 = -4*j - r. Let b = 13 - j. Is 4*(b/2 - 1) composite?
True
Suppose 2*b - 36070 = -8*b. Is b a composite number?
False
Suppose -3*x - 37 + 13 = 0. Let r be 4 + x/12*-6. Suppose -21 = r*c - 9*c. Is c prime?
False
Let f(u) = u**3 - u**2 - 7*u + 4. Let q be f(8). Suppose 3*v + 560 = 4*j + 7*v, 3*j - q = 5*v. Suppose 3*b - 340 = j. Is b a composite number?
True
Let t = 8 + -5. Let h(a) = 2 + 0 - 33*a - t + 2. Is h(-4) a composite number?
True
Let m be (868/(-12) - 3)*-282. Is 4 - (-248)/(-56) - m/(-14) composite?
True
Is (-8 - -10)/(-2)*(-52479 + 2) a prime number?
False
Let i = 58 + -27. Suppose -i*q + 30*q + 1211 = 0. Is q a composite number?
True
Let k(t) = 116*t - 1. Suppose 0 = -7*r + 4*r + 3. Is k(r) a prime number?
False
Let o(c) be the third derivative of c**6/20 - c**5/60 + c**4/3 + c**3/3 - 19*c**2. Is o(5) prime?
False
Suppose 0 = 4*q + 38656 - 340920. Is q a composite number?
True
Let l = 13 - 23. Let i(y) = 3*y**2 - 14. Let j be i(l). Let n = j + -203. Is n prime?
True
Suppose -15 = -2*w - 3*w. Suppose -y = -6*y + 3*g - 85, 4*y = w*g - 71. Let q = 47 + y. Is q composite?
True
Let u be 6/(-12)*(0 - -1)*6. Is u - (-4*397)/4 composite?
True
Suppose -17*b = -14*b - 19563. Is b a composite number?
False
Is ((-44452)/(-6))/(5/((-150)/(-20))) a composite number?
False
Let y be (-14)/(-4)*-6*(-28)/147. Let g be ((-658)/(-2) + 0)*5. Suppose p + y*p = g. Is p a prime number?
False
Is (6/6)/(2/10942) a prime number?
True
Let j(z) = 2*z**3 + 3*z**2 - 9*z + 13. Suppose -4*x - 4*l = -20, -29 = -4*x - 3*l - 9. Is j(x) a prime number?
True
Suppose j + 26 = -j. Is j/((-39)/864) - (-2 - 1) a composite number?
True
Let j = -3 - -956. Let u be 8*(-3)/((-24)/388). Let w = j - u. Is w composite?
True
Let m be (4 - 2)/(6/(-117)). Let i be 4764/m + (-12)/(-78). Let l = 9 - i. Is l a prime number?
True
Let i(z) = 58*z + 13. Suppose -5*d + g + g + 41 = 0, 9 = -3*g. Is i(d) a composite number?
False
Let b = 28 + -42. Let p(u) = u**3 + 17*u**2 + 6*u - 5. Is p(b) composite?
False
Let k(x) = 7 + 1 - 1 + x + 7*x + x**2. Let u be k(-6). Let z(m) = -44*m - 3. Is z(u) prime?
False
Let p(q) = 1005*q**2 - 10*q - 86. Is p(-6) composite?
True
Let r(u) = -22*u + 8. Let f(v) = 3*v**3 - v**2 + 1. Let i be f(1). Suppose 4*s - i*l = -5, -5*s = 2*l - 7*l. Is r(s) a prime number?
False
Let g(x) = 10*x**2 - 9*x - 72. Is g(-11) prime?
True
Is 57/38*((-9938)/(-3) + 0) prime?
True
Let v be 1 + -2 + 2 + -15. Let x be v/(-63) - (-34)/9. Suppose 3*k - x*k = -655. Is k composite?
True
Let b(x) = -x**3 + 10*x**2 - 11*x + 22. Let a be b(9). Suppose -4*j - 3*v = -952, -3*j - 2*v + a*v = -697. Is j prime?
False
Let f = 5032 - 3279. Is f a prime number?
True
Let n(s) = s**3 - 3*s**2 - 4*s - 7. Let l be n(5). Suppose 0 = -3*o - h + l, -3*h + 4 = -4*h. Is o a prime number?
False
Suppose 4*w = -0*w + 16, -2*o = 3*w + 356. Let y = o + 314. Let z = y + -48. Is z a prime number?
False
Let d(i) = 1203*i - 5. Let h be d(2). Suppose 5*c - h = 1164. Is c a composite number?
True
Let v = 35 + -37. Let j = v + 29. Suppose -379 - j = -2*g. Is g prime?
False
Let r(n) = 7147*n + 55. Is r(2) a prime number?
False
Suppose 10*n - 2294 = 33636. Is n composite?
False
Let o(i) = i**3 - 30*i**2 + 18*i + 41. Is o(33) a prime number?
False
Suppose -35*f - 8 = -34*f. Is (2 - (-3 - -3))*(-27212)/f a composite number?
False
Suppose -22*p = -18*p + 4. Let z(j) be the third derivative of -7*j**4/12 + j**3/6 + j**2. Is z(p) a composite number?
True
Let y be (-308 + -2)*1*(-2)/4. Let r = -97 + y. Is r a prime number?
False
Let t(l) be the first derivative of 13*l**3/3 + l**2/2 + 25*l + 18. Is t(-6) composite?
False
Suppose 15*u - 20*u = -605. Is u prime?
False
Let t be (-2)/8 - (-4998)/24. Let h = t + 745. Is h a composite number?
False
Let l be (((-176)/(-6))/(-4))/((-6)/18531). Suppose 0*w - 11*w = -l. Is w a composite number?
True
Let b = 10 + 2. Let u be (-86)/b + 2/12. Let j(p) = -15*p + 8. Is j(u) prime?
True
Suppose -2*l - 2*m - 4 = 0, -4*m + 6*m = -4*l. Let v(u) = 1 + u + 4*u**2 - l*u**2 + 2*u**3 - u**2. Is v(4) a prime number?
True
Suppose 5*r - 3*q + 13 - 44 = 0, 0 = -5*r + 2*q + 29. Suppose 5*h + 32 = -2*d + 3*d, r*d + 5*h = 40. Is 4/(0 + d)*261 a composite number?
True
Let y(z) = z + 15. Let f be y(-13). Suppose -f*k = -4*k + 10. Suppose 0 = r + d - 265, -6*r + 795 = -3*r - k*d. Is r a prime number?
False
Let r be (-2260)/(-6) + (-12)/(-9). Suppose 0 = x - r - 257. Is x composite?
True
Let l(z) = 1 + 0*z**2 - 26*z + 0*z**2 + 2*z**2 - 3*z**2. Is l(-11) a prime number?
False
Suppose 0 = 6*t - 1191 - 1401. Let n = 843 - t. Is n composite?
True
Let w be (-2)/(-2) + -6 + 38. Is (-6)/33 + 15813/w a prime number?
True
Suppose 4*p = -5*y + 30, 0 = -y - p + 2*p - 3. Let k(d) = 16*d**3 - 5*d**2 + 2*d + 1. Is k(y) prime?
True
Let x = 208 - -391. Is x prime?
True
Is 208536/(-20)*(-35)/14 composite?
True
Let f(q) = 1 + 4*q - q**2 + 4 + 4*q - 1. Let a be f(8). Is a/(-10) + 432/30 prime?
False
Let m(a) = a**3 + 7*a**2 - a + 1. Let o be m(-7). Let n(q) = -q**3 + 9*q**2 - 3*q - 10. Let w be n(o). Suppose b - 21 = w. Is b prime?
False
Let w = 13 - 3. Let q(t) = -2*t - 20 + 11*t + 32*t + w*t. Is q(11) a prime number?
True
Let f(c) = 4*c + 21. Let g be f(-6). Let j(v) = -13*v**3 + 5*v - 5. Is j(g) prime?
True
Suppose 3*m - 2*w + 5478 = -m, 4*w = -3*m - 4081. Let s = 3026 + m. Let x = s + -974. Is x prime?
False
Suppose -2*s + 14 - 4 = 0, f - 20 = -4*s. Suppose -2*r = -2*y + 578, -2*r + 6*r + 8 = f. Is y prime?
False
Suppose q - 11 = 3*z, -q + 3*q = 5*z + 20. Suppose q*r - 1115 = -0*r. Is r prime?
True
Let f = -4594 + 6567. Is f a composite number?
False
Suppose 44 = 3*l - 4*s, 4*l + 4*s - 17 = s. Is 4/14 + (49968/42)/l composite?
False
Let g = -1534 - -2789. Is g prime?
False
Let i = -23 + 14. Let x = 3 - i. Suppose 0 = 5*j - 5*a - 470, -5*a + x = -a. Is j prime?
True
Suppose 21 = 4*i + 5. Suppose 0 = -2*r + r + 2*y + 1403, 4*r + i*y = 5588. Is r a comp