mber?
True
Let m(c) = -2*c**2 - 36*c + 2. Let a be m(-18). Suppose -s = -a*v - 391, -2*v - 408 = -5*s + 1571. Is s a composite number?
False
Suppose -1050534 = -9*n - 264717. Is n a composite number?
False
Let n = -19 + 113. Is n prime?
False
Suppose 12*i - 29990 = 2*i. Is i composite?
False
Let y(p) = 5*p - 29. Let s be y(7). Suppose -3*r = -3 - 18. Is 349 + s/(4 - r) composite?
False
Let b be 2*((-4)/2 - -12). Let v be (b/3)/4*3. Suppose 0 = -5*o - q + 51, 0 = -o + v*q + 10 + 21. Is o composite?
False
Let q = 1422 + 89. Is q composite?
False
Let y be (-2)/((-15)/(-6) - 2). Let h(s) = -4*s**2 + 8*s + 7. Let x(d) = -d. Let t(n) = -h(n) - 3*x(n). Is t(y) prime?
False
Suppose 0 = -4*u - k - 5, -4*u + 3*u - 5*k + 13 = 0. Is u + (-2 - -1*57) a prime number?
True
Let b(l) = -8*l**2 + l + 1. Let o = 13 - 10. Let n be b(o). Is n/(-7) + (-2)/(-7) a prime number?
False
Let f = 1869 - 956. Is f a prime number?
False
Let q be 3/(-5) + 424/40. Is 40/q - (-570 + 1) a prime number?
False
Let c = 13642 + 29737. Is c composite?
True
Suppose -5*x + s = -263, -4*s = 6*x - 2*x - 220. Is x a composite number?
False
Let j be (-12)/3 - 0 - -3. Let m be (0 - j) + 1 + 2. Suppose 1281 = 3*u + 3*y, -6*y = m*u - 4*y - 1716. Is u prime?
True
Suppose 8 + 8 = 4*n. Suppose -58 = -4*t + 5*c + 4, 0 = -n*t + 2*c + 68. Suppose 19 = l - t. Is l a prime number?
True
Let u be 2/4 + (-11)/2*-1. Let l(p) = 115*p - 17. Is l(u) prime?
True
Let r = 13109 - -1634. Is r a composite number?
True
Let i = -246 + 1153. Is i a composite number?
False
Let t(a) = -905*a. Let i(d) = -d**3 + 2*d**2 + 7*d + 3. Let g be i(4). Is t(g) composite?
True
Is -3*(5380/(-15) - -5) a prime number?
True
Suppose 3*h + 2*n + 118 = -0*n, -2*h - 2*n - 82 = 0. Let g = 7 - h. Is g a composite number?
False
Suppose -1 - 4 = -w. Suppose m + w*m - 2442 = 0. Is m a prime number?
False
Suppose 0*m + m = 23. Suppose 28*h - m*h = 0. Suppose h = -5*y + 362 + 743. Is y a prime number?
False
Let u(r) = 6*r**3 + 6*r**2 - 1. Is u(4) a composite number?
False
Let o be 49/4 - 15/(-20). Let y = -8 + o. Is (y/(-2))/((-3)/678) a prime number?
False
Suppose -4*u + 2*u = 2*b + 10, 0 = -3*b + u + 5. Suppose b = -5*y - 10, 3*y + 2*y - 1778 = -4*o. Is o prime?
False
Let d(a) be the second derivative of -a**4/3 - 7*a**3/6 + 5*a**2/2 - 8*a. Let j be d(9). Let c = j - -755. Is c composite?
False
Let u = 22 + -12. Is (4 - (-4 + u)) + 205 a prime number?
False
Suppose -19*q + 26570 = -9*q. Is q composite?
False
Let x(v) = 8*v**2 + 2*v + 21. Is x(-5) composite?
False
Let j be ((-1)/2)/((-1)/204). Suppose 10*i - 12*i + j = 0. Is i a composite number?
True
Suppose 3*r - r + 20 = 2*o, 4*o - 15 = -r. Suppose 4*g = -233 + o. Is (g + 4)/(-1*1) a composite number?
False
Let a(l) = 179*l**3 + 3*l**2 + 6*l - 7. Is a(3) composite?
False
Suppose 2*x - 390 = 5*x. Let g be (-21)/28*(-1 + 349). Let r = x - g. Is r prime?
True
Let q(z) = 2*z**2 + 4*z - 6. Let f(t) = -8*t - 1. Let n be f(-1). Let p be q(n). Let i = -37 + p. Is i a prime number?
True
Let k(x) = 35*x**3 + 2*x + 1. Let r be k(-1). Is (514/(-4))/(6/r) a composite number?
True
Let a = 56 - 166. Let z be (-514)/(-2) + (-3 - -5). Let h = z + a. Is h a prime number?
True
Suppose 4*t = 6*t. Let i = t + 4. Is i/5 + 2061/5 prime?
False
Let w be ((-2)/4)/((-2)/152). Let o be 25/(-2)*68/(-85). Is o/35 - w/(-14) a prime number?
True
Suppose -13*n + 2268 = -1034. Is n prime?
False
Let d(l) = -1542*l**3 - l**2 - 3*l - 1. Is d(-1) prime?
True
Suppose -8*s + 11*s + 6 = 0. Let p be -1*(-3 - s)*6. Suppose 5*c - 3*a + a - 1901 = 0, 0 = 2*a + p. Is c prime?
True
Let s(g) = -g**3 - 7*g**2 - 3*g - 1. Let k be s(-7). Is (-1058)/(-10) - (-4)/k a prime number?
False
Suppose -5*t = -2*r + 2189 - 17854, 4*t + 3*r - 12509 = 0. Suppose -2*g = -5*x + 82 - 1308, 4*x = -5*g + t. Is g composite?
True
Let l(s) = -1099*s + 438. Is l(-17) composite?
False
Let g(p) = -109*p + 7. Let l = 72 - 76. Is g(l) a prime number?
True
Suppose -4*o + 26 = 3*w, 5*w - 5*o + 15 = -0*w. Suppose h = -w*a - a + 1, 3*h - 5*a - 17 = 0. Let b(p) = 55*p - 3. Is b(h) a prime number?
False
Suppose 0*c = -4*c + 4*h - 43896, 3*h = c + 10972. Let z = -7188 - c. Is z composite?
True
Let c = 2211 + -1189. Is 9/(-6)*2 + c prime?
True
Let i = -1818 + 9947. Is i composite?
True
Let p(t) = 5*t**2 + t + 1. Let c be p(-1). Suppose w + 488 = l - 1344, 0 = c*l + 4*w - 9187. Is l a prime number?
False
Let p(f) = 3*f**3 - 4*f**2 + 2*f + 1. Let z = 9 + 1. Suppose 0*v = -5*v - 2*j + 4, 4*j + z = -v. Is p(v) composite?
False
Let q = 4519 + -2316. Is q a composite number?
False
Let u(b) = -14*b**3 + 15*b**2 + 39*b + 35. Is u(-7) a prime number?
False
Let k be 0 - (0 + 2 + -4). Suppose 4*x = k*f + 54, 2*x + f - 42 = -3*f. Let a = 22 + x. Is a prime?
True
Let j be (-3 + 1)*(-2)/1. Let s(q) be the third derivative of q**5/60 - q**4/12 + q**3/2 - 25*q**2. Is s(j) composite?
False
Let z = 223 + 1614. Is z a composite number?
True
Let c be (-12)/3*1/2. Let h be (-7 + 10 - 2)/(2/30). Is h/(-10) + (-181)/c a prime number?
True
Let n(j) = -1470*j + 799. Is n(-6) a composite number?
False
Suppose 2*l = 0, 4*l + 33 = -4*p - 51. Is (-1166)/(-6) + 7/p*1 composite?
True
Let g = -121 + 125. Suppose -g*r + 3132 = -4*y, 187 = -4*r + y + 3331. Is r composite?
False
Let s(h) be the first derivative of -6 + 2*h**2 + 4/3*h**3 - 1/4*h**4 - 5*h. Is s(-6) prime?
True
Suppose -66 = 3*r + 66. Is ((-1397)/r)/(1/4) composite?
False
Let z = -154 - -752. Let f = -347 + z. Is f prime?
True
Suppose f - 15025 = -5*u, -2*u = -2*f - 3853 - 2157. Is u composite?
True
Suppose 0*s - 5*s + 4300 = 0. Suppose -2*q = 2*q - s. Is q prime?
False
Let y = -935 + 1006. Is y composite?
False
Suppose 0 = -0*z + 4*z + 4*b - 24, -4*z + 3*b = -10. Suppose -p - z*o + 3091 = 0, -5*p = -2*p - 2*o - 9231. Suppose -164 = 5*v - p. Is v composite?
True
Let l = -119 + 13. Let p = l + 793. Is p a prime number?
False
Let z(r) = 4*r**2 - 24*r - 13. Let k(i) = -i**2 + 8*i + 4. Suppose 2*a + 0*a - 22 = 0. Let j(w) = a*k(w) + 4*z(w). Is j(-7) a prime number?
True
Let p(n) = -1279*n - 55. Is p(-2) composite?
False
Suppose -29 = -m - 4*v, -4*v + 22 = 2. Is (1/(-1))/(m/(-693)) a prime number?
False
Suppose -2*p - 3 = p, -p = -3*t + 1. Is (-891 + 2)*(-1 - t) prime?
False
Let r(v) = -v**2 + 3*v + 2787. Suppose -3 = -3*i + q, i + 2 + 4 = -2*q. Is r(i) composite?
True
Suppose -60*l = -56*l. Suppose 2*u + l*u + q - 19 = 0, 0 = u + 3*q - 7. Is u composite?
True
Let l(p) = 12*p**2 + 12*p - 9. Let x be l(10). Suppose 5*z - 3*o - 361 - x = 0, 0 = -4*z - 5*o + 1308. Let f = z + -237. Is f a composite number?
True
Let k(r) = 31*r**3 + 20*r**2 + 12*r - 10. Is k(9) prime?
True
Suppose f + 3*i - 2233 = 5*i, -4*f + 3*i = -8927. Is f composite?
True
Let d(p) = -6*p**3 - 29*p**2 - 7*p + 27. Is d(-16) a prime number?
True
Let w = 105670 - 52197. Is w composite?
True
Let q(i) = -i**2 + 5*i. Let b(x) = -2*x - 5. Let c be b(-5). Let h be q(c). Let o(w) = -w + 149. Is o(h) a composite number?
False
Let w(u) = -183*u + 26. Is w(-5) prime?
True
Suppose 2*i - 28193 = 5*r, 2*r + 56431 = 4*i + r. Let s be i/9 - (-6)/18. Suppose -4*o + o + 946 = 4*v, -2*v = -5*o + s. Is o a prime number?
False
Suppose 5*b + 10 = 60. Suppose 80 = -b*c + 11*c. Let u = c - 6. Is u a composite number?
True
Let z = 884 + -619. Is z composite?
True
Suppose -y - 5*s + 15 = 3*y, -2*y - s = -3. Is (-1228)/((-12)/3) - y a composite number?
False
Suppose 2*g - 4*o = -30, 3*g - 7*o = -2*o - 47. Let l = g + 22. Suppose -46 = -4*k + l*k. Is k a prime number?
False
Let u(q) = -q - q**3 + 2*q**2 + 2*q**2 - 4*q**2 - 38. Let f be u(0). Let v = 213 - f. Is v a prime number?
True
Let i(g) = -9*g**3 - g**2 + 3*g - 27. Is i(-8) a prime number?
True
Let r(l) = -49*l + 9*l - 70*l - 11. Let z be r(-10). Let c = -586 + z. Is c prime?
True
Suppose -119*f + 104*f + 313695 = 0. Is f a prime number?
False
Suppose -3*s - 3*p = -19 + 4, -5*s + 5*p - 25 = 0. Suppose -3*k + 44 = 2*o, -4*o - 4*k + 61 + 27 = s. Suppose -8 = -5*z + o. Is z prime?
False
Let d(o) = -3*o + 19. Let s(u) = u**2 - 6*u + 8. Let p be s(6). Let l be d(p). Is (-26)/(-65) - 573/l a composite number?
True
Let l = 38 + -34. Suppose -r + 839 = 5*z - 213, -r - 847 = -l*z. Is z prime?
True
Let d = -2345 - -5778. Is d a prime number?
True
Let i = 