ose -31 = -z + 4*p, p + 4*p = -2*z + j. Is z prime?
True
Let p be (28/10 - 2)*5. Suppose -4*k + 0*a + 24 = -p*a, 0 = -3*k + 4*a + 13. Is k a composite number?
False
Let r be 0/(1 + 0 + 0). Suppose 5*m - 784 + 149 = r. Is m a prime number?
True
Let s(h) = -h**3 - 2*h**2 + 3*h + 1. Let l be s(-3). Is (2 - l)*(0 - -11) a prime number?
True
Let b(g) be the second derivative of -7*g**3/2 + 13*g**2/2 - 8*g. Is b(-9) composite?
True
Let g(w) = -9*w - 1. Is g(-6) a prime number?
True
Suppose -i + 0*i = -26. Suppose -h = -2*h - 2. Is i/5*(7 + h) a composite number?
True
Let q(p) = -p**3 + 3*p**2 - 8. Let g(c) = -c**3 - 6*c**2 - c. Let l be g(-6). Let o be q(l). Is o/(-16) + 1/(-4) a composite number?
False
Suppose 2*h - y + 221 = 0, 4*y + 210 = -3*h - 127. Let n = h - -190. Is n a composite number?
False
Suppose -m + 0*m = -3*k - 11, 0 = 5*m - 2*k - 42. Let o(d) be the first derivative of d**4/4 - 3*d**3 + 6*d**2 - 9*d - 5. Is o(m) a prime number?
True
Let k be 2/8 + (-22)/(-8). Let m be -3 + k + 1 + -2. Is ((-858)/24)/(m/4) composite?
True
Let i be (-25)/5 - (-1 + 3). Let j(d) = -d**3 + 7*d**2 + 9*d - 2. Let x(g) = 3*g**3 - 14*g**2 - 18*g + 3. Let y(s) = -5*j(s) - 2*x(s). Is y(i) composite?
False
Is 0 + 2 + (205 - 2) composite?
True
Suppose 2*y = -5*o + 1861, -2*o - 2*y + y + 745 = 0. Is o prime?
False
Suppose 0 = -2*q + 3*q - 487. Is q a prime number?
True
Suppose -4*g = -x + 30 - 7, 19 = -3*g - x. Is (-1)/3 + (-68)/g a composite number?
False
Suppose v = 394 + 239. Suppose 2*g + g - v = 0. Is g prime?
True
Let d = 13 + 8. Is (-551)/(-7) - (-6)/d prime?
True
Let o(k) = -2*k**2 + 7*k - 11. Let a(y) be the first derivative of -y**3/3 - y**2/2 - y + 2. Let t(c) = a(c) - o(c). Is t(8) a prime number?
False
Let d = -13 - -10. Is -3*(d + (-52)/6) composite?
True
Suppose -y = -5*y. Suppose 3*g + 5*c = 100, -3*g = -y*c + 3*c - 102. Is g a composite number?
True
Let w(a) = -70*a + 9. Is w(-7) a prime number?
True
Let v(c) = c**3 - 15*c**2 + 20*c - 7. Suppose 5*f = 1 + 69. Is v(f) a prime number?
False
Suppose -5*g + 8 = -3*g. Is (g/(-8))/(3/(-24)) composite?
True
Let o(u) = 2*u**2 + 1. Let y be o(-1). Suppose 5*w - y*w = -3*p + 258, 4*w + p = 496. Is w prime?
False
Let g = 231 - -1166. Is g a composite number?
True
Let m(q) be the first derivative of 11*q**3/3 - q**2/2 - 2. Let s be m(2). Let c = s + -11. Is c a composite number?
False
Suppose -3*o + 0*o + 2*p - 4 = 0, -24 = 4*o + 2*p. Is 3*(o - -23) - 2 composite?
True
Let b(h) = -12*h + 9. Let s be b(8). Let y = s + 172. Is y prime?
False
Suppose 0*t + 13 = -t - 4*f, -f = -3*t + 13. Suppose -b - 382 = -t*b. Is b prime?
True
Let n(c) = -6*c + 2. Let m be n(2). Let w be 2*(0 - m/4). Suppose 0 = -o + 4*i + w, o - 3*i - 10 = 0. Is o prime?
False
Let i be -1*(1 + (-3)/3). Suppose i = 4*s - s - 291. Is s a composite number?
False
Let m = 608 - 362. Suppose p = -p + m. Suppose z - 4*z = 2*q - 65, -3*q = -4*z - p. Is q composite?
False
Let u = -1058 - -1509. Suppose 5*m + 186 - u = 0. Is m a prime number?
True
Is (-4560)/(-14) - (46/(-14) + 3) a prime number?
False
Suppose 0*s = -v + s + 8, 3*v + 4*s - 3 = 0. Suppose 4*t + t = -v. Let h = t + 40. Is h prime?
False
Suppose 27*j - 14776 = 19*j. Is j composite?
False
Let i = 469 + 13. Is i a composite number?
True
Suppose -h - 4*p + 3 = -0, -2*p - 21 = 5*h. Let y(z) = z**3 + 11*z**2 + 7*z + 4. Is y(h) a prime number?
False
Let z(r) = r**2 + 2*r - 1. Let w be z(-2). Let n(b) = -164*b**3 - b**2 + b + 1. Is n(w) prime?
True
Suppose 0 = 2*y + 13 - 37. Let k = y + -8. Suppose 3 = -k*w + 31. Is w a prime number?
True
Suppose -4*o = -11 - 13. Suppose 2*p = o*p - 4. Suppose -p = -5*q + 104. Is q a prime number?
False
Is (3*2/(-3))/((-20)/2980) prime?
False
Suppose 3*h - 7*h - 4 = -3*v, -2*v = -h - 1. Suppose -5*n = -v*n - 45. Is n a composite number?
True
Let y(x) = x**2 + 163. Is y(0) a composite number?
False
Suppose 0 = -u - 0 + 9. Is (-5)/((-15)/u) - -550 composite?
True
Suppose 6*s - n - 942 = s, -4*s + 5*n + 762 = 0. Let y = s - 26. Let p = -97 + y. Is p composite?
True
Suppose -2*h = u - 387, -5 = 3*h + 1. Is u prime?
False
Suppose -2*d = -0*d + 476. Let q = 531 + d. Is q prime?
True
Suppose 6 + 9 = -3*o, 5*u + 20 = -3*o. Is (-140)/u + (-9)/(-3) prime?
False
Let j = 73 - 187. Let u = -29 - j. Is u a composite number?
True
Let f(t) = 87*t**2 - 7*t + 15. Is f(5) composite?
True
Let s(t) = -108*t + 5. Is s(-9) a prime number?
True
Suppose 0 = -3*h - 3*i + 2*i + 582, -781 = -4*h - 3*i. Suppose -5*q + h = -202. Is q prime?
True
Let q = -225 - -518. Is q a prime number?
True
Suppose -4*a = a - 15. Suppose -4*y = 4*z - 140, -z + 3*z + y = 66. Let i = a + z. Is i prime?
False
Is (419/4)/((-7)/(-28)) prime?
True
Suppose -4*b + 2*b = -304. Suppose 0 = 2*g + 3*m + b, -4*g = -4*m - 39 + 363. Is g/1*(1 + -2) composite?
False
Suppose -4*w = 21 - 77. Is (-17600)/(-56) + (-4)/w a prime number?
False
Let q(s) be the first derivative of 27*s**2 - s + 3. Is q(1) prime?
True
Let n(x) = -x**3 + x**2 + 381. Is n(0) prime?
False
Let b be (300/(-8))/(6/(-8)). Suppose 2*a + 3*a + b = c, 0 = 5*c + 2*a - 304. Suppose -c = 3*m - 7*m. Is m a composite number?
True
Let t(v) = v**3 - v**2 + v + 115. Let g be t(0). Let f = g + -56. Is f a prime number?
True
Let c be 18/30 + (-3)/5. Suppose c = -3*j + 4*m - 9*m + 552, 2*j - 370 = -4*m. Is j a prime number?
True
Suppose 187 = 2*d - d. Is d a prime number?
False
Let m be 8/10*(-45)/6. Let r(a) be the first derivative of -a**4/4 - 5*a**3/3 + 5*a**2/2 + 8*a - 1. Is r(m) a composite number?
True
Let x = 65 + -23. Is (-12)/x + (-298)/(-14) composite?
True
Let c = 12 + -10. Suppose -c*q + 149 = 6*z - z, -z - 71 = -q. Suppose -38 - q = -2*t. Is t a prime number?
False
Suppose -3*k - 9 + 4 = -z, 3*z + 5*k = 15. Suppose -z*y = -1154 - 2001. Is y a composite number?
False
Suppose 0 = 74*p - 71*p - 897. Is p prime?
False
Let v be -33*((-4)/(-3) + 0). Let n(h) = 72*h - 3. Let a be n(-1). Let m = v - a. Is m prime?
True
Let m(g) = 25*g. Let j be m(8). Suppose h = -4*o + 579, 2*h = 4*o - j - 382. Is o a prime number?
False
Let n = -287 + 454. Is n a composite number?
False
Let u(p) = p + 5. Let h be u(-5). Is 56/1 - (h - -1) a prime number?
False
Suppose 0*j - 213 = -z + 5*j, -1089 = -5*z + j. Let o be 988/(-8) + 1/2. Let l = z + o. Is l composite?
True
Let r = -407 - -786. Is r prime?
True
Let g(u) = u**2 - 3*u + 2. Let v be g(2). Suppose -3*q + 3*y + 63 = v, -6*q + 61 = -3*q - 2*y. Is q a prime number?
True
Let m be 1/((0 - -2)/(-2)). Let d = 2 - m. Suppose 2*i - 5*i = -3*g - 66, 3*g - 84 = -d*i. Is i a prime number?
False
Let i be (-22)/(-5) + (-6)/(-10). Suppose 0 = 3*a - i*d - 1582, 5*a - 2*d = -7*d + 2650. Is a a prime number?
False
Suppose 3*x - 50 = 5*x. Let d = x - 28. Let a = d - -78. Is a composite?
True
Let l(n) = 46*n**2 + 1. Let r be l(-2). Suppose 0*p = 5*p - r. Is p a composite number?
False
Suppose 118 = t + 5*u, 3*u - 524 = -0*t - 5*t. Is t composite?
False
Suppose 0 = -3*b + 521 - 83. Is b a composite number?
True
Suppose 112 = 4*d - 0*d. Let g = 19 + -40. Let j = d - g. Is j a prime number?
False
Is 12/66 - 25758/(-22) a prime number?
True
Let q be (-24)/(-14) + (-4)/(-14). Suppose 0 = -2*s + 15 + 129. Is q/(-7) + s/7 a prime number?
False
Suppose 0 = 4*d + 4 - 56. Suppose 5*f - d = 2. Is f a composite number?
False
Let i = -4 + 11. Let r(v) = v**3 - 7*v**2 + 2*v - 1. Is r(i) prime?
True
Let p(c) = 2*c - 3. Let h be p(2). Let n = h - -1. Is 1/n - 327/(-6) a prime number?
False
Let v(n) = 5*n + 5. Let a(o) be the third derivative of o**5/60 + o**4/8 + o**3/3 + o**2. Let s be a(-4). Is v(s) prime?
False
Let i = 831 + -364. Is i a composite number?
False
Let c = 1080 + -433. Suppose -z + 3*w + c = 4*z, 0 = -z - 3*w + 115. Is z prime?
True
Is 12 + -11 - (-306 + 0) a prime number?
True
Let p(v) = v**2 + 4*v + 6. Let f be p(-4). Let d = f + -6. Is (1 - -113) + (-3 - d) composite?
True
Let m(y) = 5*y**3 - 2*y**2 - y. Let i be m(-1). Let q = i - -91. Is q a composite number?
True
Let i = -22 + -12. Let v = 91 + i. Is v a prime number?
False
Let t(i) = -i + 4. Let y be t(0). Suppose 23 + 12 = 5*d - q, 0 = 5*d - y*q - 50. Let x = d + 1. Is x prime?
True
Suppose -2409 - 522 = -3*d. Is d a composite number?
False
Suppose -232 = -4*k + 612. Is k prime?
T