3*g, -5*j + g - 3*g = -10. Suppose 2*r + 192 = j*y, 5*y + 2*r - 277 - 210 = 0. Is y composite?
False
Let m be (-15)/45 - (-322)/(-6). Let k = 87 + m. Is k a composite number?
True
Is (-4)/(-14) - (-1 + 2044/(-49)) a composite number?
False
Let x be (-122)/6*(4 + -1). Suppose 0 = 3*d + 68 + 10. Let a = d - x. Is a prime?
False
Suppose 5*t = 3*y - 1193, -2*t + 1556 = 4*y - 0*t. Is y prime?
False
Let s(i) = i**3 - i**2 - i + 1. Let q be s(1). Suppose 2*z = -6, b + 2*z = -q*b + 79. Is b a prime number?
False
Let z(g) = -4*g**3 - 23*g**2 - 6*g - 8. Is z(-9) prime?
False
Suppose q - 1516 = -2*w - q, -5*w - 3*q + 3796 = 0. Suppose -2*t + 137 + w = 0. Is t a composite number?
False
Let g(i) = -i + 0*i + 6 - 2 - 4*i**3 + 0*i**3. Is g(-3) a prime number?
False
Let v = 223 + -126. Let q = 5 + v. Let l = q + -64. Is l prime?
False
Suppose -m + 274 + 1128 = 2*a, 0 = -5*a - 4*m + 3505. Is a a prime number?
True
Suppose 0 = -7*q + 3*q. Is 85 - (q/(-3) - 2) prime?
False
Suppose 4*p - 4*o - 3088 = 0, 0 = -5*p - 3*o - 177 + 4029. Is p a composite number?
True
Let b = 8 - 7. Is b*-1 + (27 - 5) a composite number?
True
Let w be 1/(-3)*(-282)/2. Suppose -463 = -5*l - 123. Let s = l - w. Is s a composite number?
True
Suppose 2*n + 7 = 5*x - 1, 0 = 4*n - 3*x + 2. Is 1 + 0/n + 57 prime?
False
Suppose -4*j + 2*v + 1218 = 0, -5*v = 5*j - 1498 - 2. Is j prime?
False
Is -2 - (0 + 2 + -183) prime?
True
Suppose 0 = 2*r - 5*f, -5*r + 0*f - 2*f = 0. Let o be (1 + -1)/(-1 - r). Suppose t = -z + 4, 0 = 3*t - o*t - 6. Is z a prime number?
True
Is ((-3)/(-6)*109)/((-1)/(-2)) a composite number?
False
Suppose -2*y + y = 3. Let s(a) = -4*a**3 - 4*a**2 - 2*a - 2. Let b(u) = 5*u**3 + 4*u**2 + 3*u + 3. Let r(j) = -3*b(j) - 4*s(j). Is r(y) composite?
False
Suppose 11*n = -0*n + 1397. Is n a composite number?
False
Let m = -6 + 8. Suppose -2*w + 5*q - 637 = -6*w, 314 = m*w + 4*q. Is w prime?
True
Suppose -6 = -n - 0*n. Suppose -4*x + c = -10, 2*c - n = -c. Is x a composite number?
False
Suppose -4*d + 14 = 2. Suppose 0*n - 159 = -d*n. Is n a composite number?
False
Suppose -17 = -5*g + 3. Let n be (-7 + g)*(-4)/(-3). Is ((-2)/n)/((-2)/(-24)) a composite number?
True
Let n(l) be the first derivative of -l**4/4 + 3*l**2/2 + l + 2. Suppose 0 = -m - 0*m - 4. Is n(m) composite?
False
Suppose 3*y = -0 + 9. Suppose l - 4*o + 0 = 26, -y*l = -5*o - 50. Is l prime?
False
Is 1354/(-4)*32/(-16) prime?
True
Suppose 3*l + 6 = 5*l. Suppose 5*v - 4*k = 927, v + 368 = 3*v - l*k. Is v a composite number?
True
Let z = 3 - 1. Is z*(-1 - (-273)/6) a composite number?
False
Let w be 2 - (-2)/4*0. Suppose 144 = 2*a + w*a. Is 0 - (1 - a - 2) composite?
False
Let q(m) = m - 1. Let g be q(-2). Let c be 13/4 - g/(-12). Is (13/c)/(4/12) a composite number?
False
Let z = -35 + 247. Let i = -109 + z. Is i a prime number?
True
Let x(v) = -1 + 0 + 3 - 4*v + 2. Let k be x(4). Is (4/k)/((-1)/447) composite?
False
Suppose 0*h = -8*h + 14344. Is h a prime number?
False
Suppose 575 + 25 = 4*y. Let o = 219 - y. Is o prime?
False
Suppose 4*u - w - 7269 = 4*w, 0 = 4*w + 20. Is u composite?
False
Let d(q) = 28*q**3 + 5*q**2 - 4*q - 4. Is d(3) a composite number?
True
Let r be (-2 - -2)*2/6. Let l = 2 + r. Is l prime?
True
Let w(q) = -4*q + 57. Let n be w(13). Suppose 0 = -3*o + 9. Suppose n*j = 3*u + 21, -u + 4*u + o = -j. Is j prime?
True
Suppose 2*v + 2*s = -4 - 4, -3*s - 16 = -v. Is v*(0 + 113) - -2 a composite number?
True
Suppose 2*p + 3*p = -10. Is p/3*132/(-8) a prime number?
True
Let z(o) = 2*o**2 - 6*o - 10. Let u be z(11). Let h = -117 + u. Is h composite?
True
Let h = 629 - 1050. Let k = h - -993. Suppose 5*w - 3*n - k = 0, 4*w = 3*w + 3*n + 112. Is w composite?
True
Suppose 1123 - 268 = -5*u. Let k = 326 + u. Is k a composite number?
True
Suppose -50 = 5*q - 745. Is q a prime number?
True
Suppose -5*b - 834 + 119 = -5*c, -2*b + 3*c = 286. Let m = b - -270. Is m a prime number?
True
Let p = 6 + 2. Suppose -11*j + 69 = -p*j. Is j prime?
True
Suppose 0 = f + 2*f - 12. Let g be (582/f)/((-15)/(-20)). Suppose 5*l + 3*x = 229, 0*l = -4*l + 3*x + g. Is l composite?
False
Let f(u) = u**3 - 8*u**2 - 8*u - 3. Let j be f(9). Suppose -3*t - 15 = -j*t + b, -4*b = 5*t - 42. Is t a prime number?
False
Suppose 9*v - 4*v = 4*r + 2365, 2*r - 2335 = -5*v. Is v a composite number?
True
Suppose -6*j = -8*j. Suppose -3*x + 4*a + 53 + 826 = 0, 2*x + a - 586 = j. Is x a composite number?
False
Let s(t) = t**2 + 3*t - 7. Let n be s(-5). Let z be ((-7)/3 + n)*3. Let i(p) = 5*p + 1. Is i(z) a prime number?
True
Suppose -5*q + 2127 = -2*q. Is q a composite number?
False
Let j(h) = -10*h - 6. Let q be j(-4). Let o = q - 19. Is o composite?
True
Let j = 140 + -80. Suppose -g - 4*q + 4 = -11, 0 = -4*g - 2*q + j. Is 88/6*g/10 a composite number?
True
Let v(t) = -t + 140. Let u be v(0). Suppose -4*f = -9*f + 3*d + u, -4*f = -2*d - 114. Is f a prime number?
True
Let a(j) = -j**3 + 12*j**2 - 3*j + 16. Let d be a(12). Let h = d - -69. Is h composite?
True
Let w be 1 - (-3)/((-6)/(-4)). Suppose -22 - 26 = -w*n. Suppose -3*f + n = -26. Is f a prime number?
False
Suppose -43 = -2*t + 211. Is (t + 2)*(-5)/(-15) composite?
False
Let q(v) = 18*v - 3. Let f = -1 - 4. Let c = f - -7. Is q(c) prime?
False
Let k be 2/(-2)*(-3)/1. Let d = 39 - -52. Suppose -r + 74 = -y, 2*r - k*y - d = 62. Is r prime?
False
Let z = -45 + 88. Is z a composite number?
False
Suppose -3*m + 179 + 202 = 0. Is m a prime number?
True
Suppose 0 = -3*j - 3*v + 2052, -8*j + 11*j = -2*v + 2051. Is j composite?
False
Suppose 0 = -6*r + 156 + 1242. Is r composite?
False
Suppose -11*i + 14*i - 5571 = 0. Is i a prime number?
False
Let o = 1285 - 396. Is o a composite number?
True
Let s be 38/8 + 5/20. Suppose -c + 16 = 3*j - s*j, 0 = -5*c - j + 113. Suppose -c = -4*v + 2*v. Is v a composite number?
False
Suppose -40 = v - 5*v. Suppose 2*x + v = 7*x. Suppose -x = -2*r, -3*h + 0*r = 3*r - 486. Is h a composite number?
True
Let a = 0 + 4. Suppose 0*i + 8 = a*i. Suppose 7*h = i*h + 565. Is h a composite number?
False
Let m(s) = s**3 - 3*s**2 + 3*s - 6. Is m(5) prime?
True
Let m be 10/(-4)*24/(-15). Let x(i) = -2*i**3 + 7*i**2 - 5*i - 2. Let j be x(m). Let w = j - -57. Is w composite?
False
Let d = -3 + 5. Suppose -d*r + 567 = -r. Let f = r + -356. Is f prime?
True
Is (-260)/(-2) + 3/(-1) composite?
False
Let p(l) = 15*l**2 - 4*l - 2. Let i be p(-3). Suppose -i = -5*j + 120. Is j a composite number?
False
Let i(n) = -3*n**2 - 6*n - 7. Let h be i(-3). Let c = h - -203. Is c a composite number?
True
Let o(i) = 3*i**3 + 6*i**2 + 5*i - 11. Is o(8) a prime number?
True
Let g = -4 + 7. Suppose -2*s - 2*r = -g*r - 13, 0 = -3*s + 4*r + 22. Suppose 2*u = 2*v + u - 9, -2*v = -2*u - s. Is v a prime number?
False
Let a = -3 + 5. Suppose -2*w = a*w. Let l = w - -11. Is l composite?
False
Let u = -946 + 2001. Is u composite?
True
Let l be -3 - (-1 + 1 + 0). Let t = l + 5. Let o(y) = 8*y**2 + 2*y - 1. Is o(t) prime?
False
Suppose 4 = 3*b - 8. Let f = b + 7. Let x(s) = s**3 - 11*s**2 + 4*s - 7. Is x(f) a prime number?
True
Suppose -32*a + 33*a = 9. Is 7 - a - 969/(-1) prime?
True
Let z = 66 - 46. Suppose -140 = -5*a - 4*p - p, -4*p = -z. Is a a composite number?
False
Let f = -437 - -748. Suppose -5*x + f + 14 = 0. Is x composite?
True
Let r(j) be the first derivative of -87*j**2/2 - 2*j + 2. Is r(-3) prime?
False
Suppose -166 = v - 6*v - 2*k, 138 = 4*v - k. Let z be v/(-14) - (-6)/14. Is (-6)/3*59/z a composite number?
False
Let i = 2734 + -1041. Is i a prime number?
True
Is 1*(-2 - -5) + 31 composite?
True
Suppose -4*x = -2*s - 251 - 599, -2*x = -5*s - 437. Is x a composite number?
False
Let a(i) = 3 + 5*i + 18*i + 0. Suppose 2*x + 8 = 4*z - 2*x, -z = -4*x + 4. Is a(z) a composite number?
True
Let u = 92 + -38. Suppose 2*w - 145 = 5*r - w, -2*r = -2*w + u. Let h = r - -63. Is h prime?
True
Let c(u) = 7 - u + 4*u + u. Let x = 16 + -8. Is c(x) prime?
False
Suppose -2*o + 2869 = 3*m, 2*m + 0*m - 1920 = -5*o. Is m a composite number?
True
Let q = 7 + -5. Suppose -q*p = 4, 2*h - 5*p - 66 = 3*h. Let b = 95 + h. Is b prime?
False
Let m(x) = 88*x - 1. Let i be m(-2). Let t = 338 + i. Is t a composite number?
True
Let l(i) = -i**3 + 6*i**2 + 5*i + 1. Is l(-6) a composite number?
True
Let o = -3 + 5. Suppose o*t = 