= -9*y**3 - 2*y**2 + 22*y + 24. Is x(-7) a composite number?
True
Suppose 5*n = 29 + 1. Let m = -4 + n. Is 150 - 1*(-1 + m) a prime number?
True
Let b = -564 - -1326. Suppose -4*u = -10*u + b. Is u composite?
False
Suppose 4*i - 3*u = 71, -4*u - 38 = -3*i + 17. Let m = i - 10. Suppose 3*w + 2*s - 17 = m, 5*w - 45 = -5*s. Is w prime?
False
Let t = 10 - 4. Let p = t - 4. Suppose p*g + 2*g + 74 = 5*d, -4*d - 5*g + 51 = 0. Is d a prime number?
False
Let t = -9 - -13. Suppose -395 = 5*z + 2*y, 0 = -3*z + 3*y - t*y - 238. Let w = 118 + z. Is w a prime number?
True
Let b be 5/10*(-6 - 0). Let y = b - -7. Is -1*(-446)/y*2 composite?
False
Let f = 0 + 5. Suppose f*m + 29 = 79. Is m a composite number?
True
Suppose 0*v + l - 1328 = -4*v, -1340 = -4*v - 4*l. Suppose -3*c + 218 = -v. Is c prime?
False
Let g = 16 - 22. Let z be (1 + -2)*g + -1. Is (-2)/(-5) - (-18)/z prime?
False
Suppose 1582 = 5*q - 1053. Is q prime?
False
Let v be 6/(-4)*70/5. Let p = 118 - v. Is p prime?
True
Let m be (-2301)/(-27) - 4/18. Suppose 3*i = -m + 2314. Is i a prime number?
True
Let s(z) = 88*z**2 - 4*z - 1. Is s(5) a prime number?
True
Suppose 33 = -j + 2*j. Let s = 58 - j. Is s prime?
False
Let z(b) = 11*b - 16. Let f(q) = -11*q + 15. Let s(p) = -7*f(p) - 6*z(p). Let a be 3/(36/8)*12. Is s(a) a prime number?
True
Suppose -62*w = -60*w - 2302. Is w prime?
True
Let q(o) = 21*o - 15. Let a be q(9). Let s = a + -13. Is s a prime number?
False
Suppose -2*y - 258 - 230 = -4*r, -2*r = 3*y - 260. Let m = r + -27. Is m a prime number?
True
Let j(z) = z**3 - 2*z**2 + 2*z - 2. Let r be j(2). Suppose -37 = -r*f + 189. Is f a prime number?
True
Is -6*1676/(-8) - -2 prime?
True
Let i be (-460)/(-52) - (-2)/13. Let o(q) = q**3 - 10*q**2 + 10*q - 1. Let k be o(i). Suppose -27 = -5*c + k. Is c a prime number?
True
Let z = 7 + -1. Suppose 4*s + 4*t + 1356 = 0, -2*t = s - z*s - 1660. Is (-3)/(-2) + s/(-4) a composite number?
True
Let y be ((-14)/(-6))/((-3)/18). Let n be 162/(-24) - (-3)/4. Is (-1032)/y - n/21 composite?
True
Suppose 0 = h + 4*h. Suppose y + 7 - 54 = h. Is y a prime number?
True
Let g be ((-30)/4)/5*2. Let q be 1*(-10)/6*g. Suppose q*u = 2*u + 339. Is u a composite number?
False
Let x = -241 - -922. Is x a composite number?
True
Let t(z) = 3*z + 18 + 37 - 2 - 2*z. Is t(0) composite?
False
Let u(n) = 3*n + 7. Let f(y) = -2*y + 10. Let r be f(8). Let b(q) = 2*q + 7. Let l(g) = r*u(g) + 7*b(g). Is l(-10) a composite number?
False
Let d = -340 + 1247. Is d prime?
True
Let b = 2 + 8. Suppose -5 - b = -5*x. Is x a prime number?
True
Suppose 5*m - 4 = 4*z, z = 2*m + 1 - 2. Suppose y - 2 = 4. Let i = y + m. Is i composite?
True
Let q(h) = -4*h**2 - 2*h**2 + 3*h + 5*h**2 - h**3 - h**2 - 2. Let i be q(-3). Is (1/2)/(i/(-28)) prime?
True
Suppose -a - 2*b = -6*b - 8, -4*a - b - 2 = 0. Let q be 1 + 2 + a/(-1). Suppose -2*r = 2*r + 3*h - 163, 136 = q*r + 5*h. Is r a prime number?
True
Suppose -10*b + 20582 + 85188 = 0. Is b prime?
False
Let o(i) = -27*i + 8. Let j(a) = -107*a + 32. Let q(s) = -2*j(s) + 9*o(s). Is q(-7) prime?
True
Let y be 154*((-2)/(-4) + -1). Let x = y - -172. Is x a composite number?
True
Suppose -6*c + 5036 = -2*c. Is c composite?
False
Is (2/2)/(1/331) a prime number?
True
Suppose 0*o + 34 = o. Suppose 2*c + 2*w = -0*c + o, -3*c + w + 59 = 0. Is c a prime number?
True
Suppose -2*c + p = -4*p + 387, 0 = -c - 5*p - 186. Let v = 304 + c. Is v prime?
True
Suppose -2*v + 8 + 66 = 0. Let k = v - 15. Is k composite?
True
Let n be 3/(-6)*1*24. Is 3*2/(n/(-22)) composite?
False
Suppose -3*c + 8138 = -1579. Is c composite?
True
Suppose 0 = -2*b - 3*b + 10. Suppose 0 = -b*g + 7*g - 15. Is g prime?
True
Suppose 3*s = -s. Suppose 0 = -s*f - 2*f + 8. Suppose 3*d - 105 = t, -11 - 164 = -5*d + f*t. Is d a composite number?
True
Suppose 3*r + 5*k + 87 + 71 = 0, -3*r + k - 134 = 0. Let s = r + 72. Is s prime?
False
Let t(a) = 3*a**2 - 18. Is t(-13) a composite number?
True
Let v = 5 - 2. Let a be 8 - v*2/2. Is ((-5)/a)/(1/(-89)) a prime number?
True
Is (-149)/(-4 + 9/3) a prime number?
True
Is (-16)/(-24)*159/2 a composite number?
False
Let t be 101 + (0 - (2 - 2)). Suppose -5*i + t + 244 = 0. Is i composite?
True
Suppose -5*n = -7*t + 3*t + 1611, 4*t - 1626 = 2*n. Is t a prime number?
True
Suppose 7 = 3*d - 8. Suppose a + 3 = -d. Is (-3)/(-12) - 150/a prime?
True
Let l be (-42)/4 + 4/(-8). Let c be (8/2)/(-2) - -1. Let d = c - l. Is d a prime number?
False
Suppose 11*m = 45 + 868. Is m prime?
True
Let f(a) = -6*a. Let o be f(-1). Suppose 3 = 3*y - o. Suppose -25 + 118 = y*s. Is s composite?
False
Let v be 12/9 - 2/(-3). Let s(z) = 3*z**2 + 3*z**2 - 1 - z + 8*z**v. Is s(-1) composite?
True
Let x(q) = 3*q**2 + 2*q - 1. Let t be x(1). Suppose 12 = 3*m - 2*f, -5*m + 2*f + 4 = t*f. Is ((-15)/m)/((-3)/4) a composite number?
True
Let l(v) = -3*v + 839. Is l(0) composite?
False
Let t(v) = 36*v - 23. Is t(10) a prime number?
True
Let l = 2 + -3. Let v = 4 + l. Is v/(-12) + 1527/12 a prime number?
True
Let u = 12 + -18. Let k = 13 - u. Is k a prime number?
True
Let o be (-5074)/(-12) + (-1)/(-6). Is ((-2)/(-6))/(3/o) composite?
False
Let i = 8 - 12. Let h(k) = -k**3 - 3*k**2 - 5*k - 5. Is h(i) composite?
False
Suppose f = 2*d - f - 784, -4*f = -3*d + 1177. Is d a composite number?
True
Is ((-2253)/3 + 0)*(3 + -4) a composite number?
False
Let z(j) = -2 + 2*j**2 + 6*j + 5*j + j. Let m be z(-9). Let r = m + -3. Is r composite?
True
Suppose -m + 1 = -9. Let h = m - 3. Is h a prime number?
True
Let h(s) = 9*s**2 - 2*s. Let u be h(-4). Suppose -4*k + 20 = u. Let w = 54 + k. Is w prime?
False
Let n(s) = 14*s**2 - 9*s + 15. Is n(14) a composite number?
False
Let h be 74/14 - 6/21. Suppose 0*u + h = u. Suppose -u*s = -23 - 32. Is s composite?
False
Let z be (36/(-14))/((-6)/140). Suppose -4*j = -0*j. Suppose -3*b + 1 = -m, 2*b = -j*m + 5*m - z. Is m a prime number?
False
Suppose -2 + 0 = u, 5571 = 5*g + 2*u. Is g prime?
False
Let h = -4 + 7. Suppose -2*m + 0*j + 3*j + 26 = 0, -4 = -m - h*j. Is m a prime number?
False
Suppose -y - 3*y = -932. Is y composite?
False
Suppose -3*v - 2*v = -2*d + 50, 2*v = 2*d - 50. Let w = d + 12. Is w prime?
True
Let t(f) = 28*f**2 - 2*f - 1. Let v be t(-1). Let q = v - 21. Let n = 5 + q. Is n a prime number?
True
Let u = 11 + -6. Suppose 2*p + 0*z = 4*z + 2, 4*p + u*z - 17 = 0. Suppose 0 = -3*w - p*l + 84, -2*w - 5*l + 2*l = -51. Is w composite?
True
Let o(i) = -2*i - 4. Let b be o(-4). Suppose 5*f = -2*m - 33, -b*f - 6*m + m = 40. Let k(a) = -32*a - 1. Is k(f) composite?
True
Suppose j + 0*j = 34. Let m = -21 + j. Is m a composite number?
False
Let z = 137 - 98. Is z prime?
False
Suppose -22 + 680 = 2*f - 3*t, -4*t = -f + 329. Is f prime?
False
Let c = 14 + -10. Suppose 4*o - 8*o - x = -235, 0 = 4*o - c*x - 240. Is o composite?
False
Suppose -3*q - 1 = -7. Let r be 20 + q*(-1 + 2). Is (r + 0)/((-2)/(-5)) composite?
True
Let w(l) = 2*l**2 - 1. Let s be w(-1). Let o be (2 - (s - -2))*0. Suppose o*m - 75 = -3*m. Is m prime?
False
Suppose -3*y - y = -8. Suppose -5*v + 26 = a - y*a, 2*v = 4*a + 50. Is 93/33 + (-2)/a a prime number?
True
Let a(r) = -r**3 + 6*r**2 - 4*r - 1. Let s be a(5). Suppose 48 - 154 = -s*x - i, -5*i - 64 = -2*x. Suppose 2*o - 5*h = x, 0*o - 2*h = o - 9. Is o prime?
True
Let a be 2*(3 + 0 + -2). Let l(z) = 38*z**3 - 3*z**2 + z - 1. Is l(a) a composite number?
False
Suppose -3*p - l + 13 = 0, -p + 3 = -0*p + l. Suppose -21 + 1 = -4*o. Suppose -5*s + p = -o. Is s a prime number?
True
Suppose -4*j - r + 152 = 4*r, 5*r = -j + 23. Is j prime?
True
Let c(d) = -4*d**3 + 15*d**2 + 23*d - 9. Is c(-8) a composite number?
True
Suppose 2*z - 27 = u - 0*u, 0 = 4*u - 4. Is (z/4)/((-11)/(-22)) composite?
False
Let f(t) = t. Let x(b) = -b**2 - 2*b + 2. Let n(v) = -4*f(v) - x(v). Let o be n(2). Is 80 + o + (-1 - 0) a prime number?
False
Let s(d) = -d**3 + 27*d**2 + 7*d - 26. Is s(25) a composite number?
False
Suppose -9 = 5*t + 4*x, 2*t + 2 = -x - 1. Let p(f) = -f**3. Let w(i) = -34*i**3 - 2*i**2 + 1. Let b(z) = 6*p(z) + w(z). Is b(t) a prime number?
False
Let h = 1 + 5. Is 6/3 - (-786)/h prime?
False
Let u = 52 - 3. Suppose -4*o + u + 75 = 0. Is o composite?
False
Let j be (-9)/54 + 7321/6. Suppose 4*u - 4*c = j, u + 6*c = 2*c + 315. Is u prime?
True
Let r(d) = d**3