et s = -13 + 8. Let z = s + 28. Is z a prime number?
True
Suppose 0*d - 2*d = -10. Suppose d*j - 2*g + 124 = 943, 646 = 4*j + 3*g. Is j prime?
True
Suppose 1644 = 4*c + 4*b, -c + 4*b + 834 = c. Is c composite?
True
Let u = 198 - 138. Suppose -r + u = -7. Is r a composite number?
False
Let z = 6 - 6. Suppose -2*c = z, c + 17 = 3*u - 13. Is u a prime number?
False
Suppose s + 0 + 85 = 0. Let v = s + 138. Is v prime?
True
Let c be -1 + (2612/(-2) - -2). Is 6/(-21) - c/35 prime?
True
Suppose 0 = 2*x - 3*y + 7*y - 282, -5*y = 4*x - 576. Is x prime?
True
Suppose -5*g = -2*a - 3, g - 3 = -2*a - 0. Let q(f) = -a - f - 3*f + 8*f**2 - 2*f**2. Is q(-3) a composite number?
True
Suppose 0*j - j = -5*p - 1384, -p = -2*j + 2759. Suppose -4*g + 2*q = -1998, -5*q = -5*g + j + 1131. Is g a composite number?
True
Let w(v) = 682*v + 1. Let d(z) = z + 1. Let y(l) = -2*d(l) + w(l). Is y(1) a prime number?
False
Suppose 14*u = -0*u + 5908. Is u a prime number?
False
Let c(l) = -14*l**3 - 8*l**2 - 13*l - 7. Is c(-6) prime?
False
Let n be 1/((-1)/(-1 - -28)). Let w = 8 - n. Is w a prime number?
False
Let h(o) = -o - 5. Let v be h(-10). Suppose 0 = u - v*g - 42, -3*u - 3*g + 145 = u. Is u a composite number?
False
Let z(t) = -t**3 + 13*t**2 - t + 16. Let l be z(13). Suppose -l*y + 34 = -2*u, 4*u - 2*u = -4. Is y composite?
True
Let h(z) = -295*z + 2. Is h(-9) a prime number?
True
Let d be -2 - (-4 - (2 - 4)). Suppose x = 3*h + 5*x - 173, d = -h - 3*x + 66. Is h prime?
False
Suppose 99 - 15 = -4*o. Is (-6)/o + (-243)/(-7) prime?
False
Let a be (0/(-2) - -13)*1. Let n = a + -9. Suppose n*b + 22 = k - 3, -24 = -3*k - 5*b. Is k prime?
True
Let i(q) = -209*q + 7. Is i(-6) composite?
True
Suppose -16 + 1 = -3*s. Suppose -384 = -2*p + s*p. Let l = -75 - p. Is l prime?
True
Let h = 0 + 4. Let j(o) = -78*o - 3. Let x be j(-2). Suppose 5*q - x = -h*k, -k + 2*q + 19 = -16. Is k a composite number?
False
Let t(j) = 133*j. Suppose -8 = -5*x - 3. Is t(x) composite?
True
Let z(w) = w + 11. Let t be z(-6). Suppose -5*v + 84 = -0*v + 3*u, 2*u = -t*v + 81. Is v a prime number?
False
Let x(l) = -187*l**3 + l**2 + 3*l + 2. Is x(-1) a composite number?
True
Let n(s) = -28*s**2 + 9*s. Let p(i) = i**2 + i - 1. Let w(t) = -n(t) + 3*p(t). Is w(-4) a composite number?
True
Suppose j - 678 = -2*j. Is j a composite number?
True
Suppose 0 = -2*b + 333 + 227. Suppose 0 = -w - 45 + b. Is w a prime number?
False
Let d = 22 + -2. Suppose d = 4*n + n. Suppose n*m = -2*j + 34, -5*j + 2*j = -5*m - 62. Is j prime?
True
Let j(q) = 4*q**2 + 3*q + 7. Is j(-4) composite?
False
Is (56055/(-27))/(-5) - (-2)/(-9) a prime number?
False
Let o(u) = u + 9. Let n be o(-9). Suppose n = -d - 13 + 68. Is d prime?
False
Is (774/(-12))/((-6)/8) a prime number?
False
Suppose 0 = -3*q - 6*q + 8163. Is q a composite number?
False
Let a = -9 - -14. Let l = 4 + -1. Suppose 2*u - r - 278 = -l*u, 269 = a*u + 2*r. Is u a composite number?
True
Suppose 4*l = 13 + 63. Is l prime?
True
Is ((-286)/91)/((-1)/7) a composite number?
True
Is (-1 - (-1 - -4)) + 27*37 a composite number?
True
Suppose -9685 = -7*p + 12813. Is p a prime number?
False
Is -3*(8/(-6))/1 a composite number?
True
Let b = 19517 - 6756. Is b prime?
False
Suppose 0 = -3*q - 6 - 3. Let m(w) = 4*w**2 + 3. Is m(q) composite?
True
Suppose 19*f - 188 = 17*f. Is f prime?
False
Suppose 6 = -3*j + 141. Suppose 4*t = -39 - j. Is 66/12*(1 - t) a composite number?
True
Suppose 3*a + a + k = -20, 2*k = 5*a + 12. Let n be 3 + (-5 - -2) + 16 + -1. Let z = n - a. Is z a prime number?
True
Is 2270 + 1 - (1 - 1) a composite number?
True
Let a = -7 + -2. Is 3/a*-3 - -30 a composite number?
False
Let z = -2 - -5. Suppose z*v + 5 = 14. Is v a prime number?
True
Suppose 2*f - 3*f + 23 = -4*x, -3*f = x - 69. Suppose t - 30 = -0*t. Let c = f + t. Is c a prime number?
True
Suppose -x - 12304 = -5*p, p + 0*x = -3*x + 2464. Is p prime?
False
Let k = 7 + -4. Suppose 0 = 5*s - k*n - 785, -4*n = -3*s - 2*n + 471. Is s a composite number?
False
Let s(r) = r**2 - 7*r - 3. Let i be s(8). Suppose t = -t - b + 10, -b + 22 = i*t. Suppose 3*u = -t*y + 137, 0 = -0*u + u - 4*y - 51. Is u a composite number?
False
Let g be (7/(-3))/(6/18). Is (-551)/(-7) - 2/g prime?
True
Let w(z) = z - 4. Let o be w(5). Let c be 2/(-2 + 1 - 1). Is (27 - o)/((-2)/c) composite?
False
Suppose 2*a + q - 9 = 0, 4*a - 3*q - 2*q + 3 = 0. Suppose -a*c + 72 + 57 = 0. Is c a composite number?
False
Let x be (-8)/(-28) + (-80)/(-14). Suppose -366 = -x*g + 3*g. Let k = g - 40. Is k composite?
True
Suppose -5*q - 3*o = o - 960, 0 = o. Suppose 0 = -2*t - 4*f - q - 20, 0 = 5*f + 20. Let y = 189 + t. Is y prime?
False
Let a = -1 - -5. Suppose 0*r = 2*r + a, -j = -r - 68. Suppose 0 = 5*t - j + 11. Is t a composite number?
False
Suppose 6 = 4*n - n, 3*n = -3*a + 1263. Is a a prime number?
True
Let q = -735 - -2468. Is q prime?
True
Suppose -2*i + 6*i = 284. Is i composite?
False
Suppose 3*n - 3*u - 2603 = -u, 4*n = u + 3474. Is n a prime number?
False
Suppose -4*k + 18814 = x - 3*x, -3*k + 5*x + 14100 = 0. Is k a composite number?
True
Is 1/(-4) - 2525/(-4) composite?
False
Suppose -2*t + 2*f + 300 = -0*t, -747 = -5*t + 2*f. Is t a composite number?
False
Let n(q) = -8*q**3 - q**2 + q + 3. Let y be n(4). Let b = y + 940. Is b a prime number?
True
Let m = 3 - 3. Suppose 5*s - 762 - 773 = m. Is s composite?
False
Let n be -9*(2/(-6) - 0). Suppose -a + 1 = 0, 2*u - a - 88 = n*a. Suppose -63 = -0*d - 5*d + 4*l, 4*d - l - u = 0. Is d a prime number?
True
Let d(w) = 14*w**2 + 3*w - 7. Let t(v) = -14*v**2 - 4*v + 7. Let p(k) = -2*d(k) - 3*t(k). Is p(6) a prime number?
False
Is 1/((-5392)/(-1796) - 3) composite?
False
Let b = 72 + -39. Is b a composite number?
True
Let v = 6 - 8. Let w be (5 - 6/(-2)) + v. Is (w - -160)*(-2)/(-4) a prime number?
True
Is 484 + (-2 - (-3 + 4)) a prime number?
False
Let m = 241 + 6. Is m a prime number?
False
Let h(z) be the second derivative of -z**3/3 - 2*z. Is h(-5) a composite number?
True
Let u = -7 + 12. Let h = 14 + u. Is h prime?
True
Let t(k) = 2*k**2 + 12*k + 3. Let q(z) = -z**3 - 7*z**2 + 2*z + 6. Let h be q(-7). Is t(h) prime?
False
Suppose -1022 + 217 = -5*x. Is x a prime number?
False
Let n be (-2 + 2)/((-8)/4). Suppose -3*m + 413 = -0*a + 2*a, 3*a + 2*m - 627 = n. Is a composite?
False
Suppose t - 6 = -3. Is t a composite number?
False
Suppose i + 3*b = 20, -4*i + 4*b = i - 5. Suppose -8*d = -i*d - 471. Is d prime?
True
Let p(m) = 8*m**2. Let r be p(1). Let b be 2/r - (-4)/(-16). Suppose 3*h - 353 + 122 = b. Is h a composite number?
True
Let p = 15 - 10. Suppose -46 = 5*b + 4*h - 176, 0 = p*b + h - 115. Is b a prime number?
False
Let b(y) = 1205*y - 1. Let a be b(1). Suppose -1505 = -5*t + u, -3*t + 5*u = -7*t + a. Is t a composite number?
True
Let l be (0 - -1) + (-4)/(-2). Suppose -2*b + g = -29, 0 = 5*b + l*g - 33 - 12. Suppose -1 = n - b. Is n a prime number?
True
Is (-3 - 16/4)*-31 composite?
True
Let x(u) = -u + 1. Let c be x(7). Let h(g) = 141*g + 11. Let w be h(9). Is w/12 - (-4)/c prime?
False
Is 16 - (6 - 3/1) a composite number?
False
Suppose 5*s - 15 = -5*k, -5*s = 2*k - 0*s - 21. Let t(l) = 94*l**2 + 5*l + 5. Is t(k) prime?
False
Suppose -f = -2*q + 3, -3*f + 21 = -2*f + 4*q. Let s(w) = -7*w**3 - w**2 - w + 2. Let z be s(-2). Suppose z = -d + f*d. Is d composite?
True
Let v(d) = -3*d**2 + 2*d**2 + 8*d - 5 + 0*d**2 - d**2. Let l be v(5). Is 5/(l/(-99)) + 0 composite?
True
Let a(r) = -r + 7. Let z be a(6). Let u = z + 1. Is 3/3*67 - u prime?
False
Suppose 5*h + 2*v - 1 = 0, -3*h + 0*h + 5*v = -13. Let y(z) = 126*z**2 - 2*z + 1. Let q be y(h). Suppose -15 = 2*t - q. Is t a composite number?
True
Let z = 973 - 417. Is z/12 + 2/(-6) composite?
True
Suppose -n = n + 4*t - 7510, -4*t + 11271 = 3*n. Is n a prime number?
True
Suppose 2*y - 18 = 2*v - 0*y, -7 = v - 2*y. Let p(h) = -10*h + 1. Is p(v) a prime number?
False
Let d be (-2 - 242)/((-5)/10). Suppose -5*r + d = -82. Suppose -k + r = k. Is k a composite number?
True
Let a(y) = y**2 - 3*y - 2. Let o be a(4). Suppose -h = -3*u + 7, -u + o = 5*h - 11. Suppose -h*t + 5*q = t - 424, 4*q - 246 = -2*t. Is t composite?
True
Suppose 7*g - 3*g + 168 = 0. Let v = 61 + g. Is v a prime number?
True
Suppose 2*t + 512 = 4*b, 4*t + 6 = -2. Is b a com