z + t, -k = 4*t. Is z prime?
False
Suppose 0 = -4*q + 12. Suppose -k - 58 = -q*h - 24, h + 5*k - 38 = 0. Is h composite?
False
Let a = -8 + 7. Let r be a + (-2)/((-6)/93). Suppose 5*i = r + 155. Is i a composite number?
False
Suppose 12*u = 13*u - 1250. Suppose 10 = -2*r, 0 = -v - 4*v - 3*r + u. Is v composite?
True
Let j(o) = -o. Let a(r) = -r**2 - 3*r - 3. Let l be a(-2). Let v be j(l). Is 1*(-2 + v) + 34 a composite number?
True
Suppose -3*j + y + 440 - 3397 = 0, -2*y = -10. Is (j/(-18))/(4/6) a prime number?
False
Suppose -d - 3 + 7 = 0. Let m = -122 - -516. Suppose 162 = d*z - m. Is z a prime number?
True
Suppose 0*v + v - 2 = 0. Let u(b) = -4 + 2*b**2 + 5*b + 5*b**2 - 3*b**2 + 0*b**v. Is u(3) a composite number?
False
Let f(x) be the first derivative of -2/3*x**3 - 1/4*x**4 + x**2 - 2 + 2*x. Is f(-5) a composite number?
False
Let k = 348 - 145. Let i(z) = z**2 - 3*z - 2. Let v be i(4). Suppose g + k = v*g. Is g a composite number?
True
Suppose 4*r + 3*b - 3929 = -0*r, -4*b = -4*r + 3908. Suppose -136 = 4*v - r. Is v prime?
True
Suppose -5*r = -698 - 2007. Is r composite?
False
Let n(c) = -c**3 + 18*c**2 + 5*c + 3. Is n(13) a prime number?
False
Suppose 2*b = r - 4*r + 1497, 0 = -r + 5*b + 482. Is r a prime number?
False
Suppose j + 12 = 5*j. Suppose -2 = -j*x + 7. Suppose 4*a + x*b + 39 = 532, a + 2*b - 117 = 0. Is a composite?
False
Suppose 2*p + 5*t = 5*p - 738, 3 = t. Is p prime?
True
Suppose 6*x - 190 = 140. Is x prime?
False
Let j(u) = -u**2 - 8*u - 5. Let v be j(-8). Let w(a) be the second derivative of -a**3 + 2*a**2 - 2*a. Is w(v) a composite number?
True
Suppose -14 - 166 = -5*f. Let w(p) = p**2 - p - 1. Let n be w(3). Suppose f - 141 = -n*o. Is o prime?
False
Let v = 3 + 306. Is v composite?
True
Suppose 11 = 5*l + 1, -1113 = -5*x + l. Is x a prime number?
True
Is -1*(13960/(-12) + (-2)/(-6)) composite?
False
Suppose -2*j + 4*j - 2*s + 26 = 0, 65 = -5*j + 2*s. Let o(u) = u**2 + 6*u - 6. Is o(j) a prime number?
False
Let a = 11 + 10. Is a a prime number?
False
Suppose 0*k - 4 = -k. Suppose -2*x + 0*n - 4*n = -122, -k*x - 2*n = -232. Is x composite?
True
Suppose 3*k - 6*k = 105. Is -5 - -3 - k - -1 prime?
False
Suppose 0 = b - 0 - 3. Let x = -2 - -2. Suppose x = 2*s + b*s - 345. Is s a composite number?
True
Let a be (-6)/(-15)*(1 - 26). Let g = a + 18. Suppose 2*u - 157 = i, 0 = g*u - 3*u - i - 388. Is u a prime number?
False
Let i(n) = n**3 + 11*n**2 + 9*n - 6. Let q be i(-10). Let d be (q - 1*-2) + -1. Suppose -d*t + 28 = -2. Is t a prime number?
False
Let z be 1/(-5) - 36/20. Is (z/6)/(3/(-5517)) prime?
True
Suppose l - 3 = -2*m, -3*l + 4 = -l + 3*m. Let g(y) = -103*y - 30*y + 4*y. Is g(l) composite?
True
Let i(m) = -4*m + 7*m + m + m**2. Let o be i(-4). Is 5 + 1 - (o - 0) prime?
False
Let p(x) = -x + 37. Is p(0) composite?
False
Let q(t) = -1 - 4 + 2*t - 2*t + 7*t. Is q(6) a prime number?
True
Let y = -213 - -319. Is y composite?
True
Suppose -10*n + 2*n = -3032. Is n a prime number?
True
Suppose 5*r = -c - 0*c + 172, r - 23 = -4*c. Is r a composite number?
True
Let o = 155 - 55. Suppose 3*v + 31 = o. Is v a composite number?
False
Suppose 3*o + 3 = -3, -4*p + 28 = 2*o. Let m(b) = -b + 6. Let g be m(-5). Let l = g - p. Is l a prime number?
True
Let l = 350 + -177. Suppose 4*y - 2*b = 266, -2*y - 46 + l = b. Is y a composite number?
True
Let p(t) = t**3 + 13*t**2 - 18*t + 5. Is p(-10) a composite number?
True
Is (4 + -1)/(-6) - 5038/(-4) a prime number?
True
Let a be (-74)/(-8) + (-3)/12. Suppose a*d - 4*d - 815 = 0. Is d a prime number?
True
Suppose 4*y + 393 + 135 = 0. Let m be (-35)/45 - 4/18. Is -2 + m + (-2 - y) a composite number?
False
Let s = -5 + 14. Let m(a) = a**3 - 8*a**2 - 3*a - 6. Let o be m(s). Suppose 2*w + w - 2*z = o, 2*w = -z + 25. Is w a composite number?
True
Let p = -1252 - -2339. Is p a composite number?
False
Let l(a) = -366*a + 1. Is l(-3) composite?
True
Suppose m + 4 = -l, 0 = 4*l + 3*m - 3 + 17. Let k(z) = 14*z. Let v be k(l). Is ((-13)/(-2))/((-2)/v) a prime number?
False
Let g = -6 - -6. Suppose 0 = -g*f - 3*f + 3. Is (31/2)/(f/2) a prime number?
True
Is ((-1)/3)/(-2*(-2)/(-2472)) a prime number?
False
Let l(u) be the first derivative of 7*u + 6*u**2 + 3 + 0*u - 4*u**2 + 4*u**2. Is l(5) prime?
True
Suppose 5*t + u = 28, t = -4*t + 4*u + 13. Suppose -2*y + 5*j + 50 = 0, -2*y + 116 = 2*y - 2*j. Suppose -3*q + x + 36 = -y, -4*q = -t*x - 77. Is q composite?
False
Suppose 0 = -s - 4*s + 715. Is s a composite number?
True
Let r(c) = 6*c**2 - 1. Let g be 5/(-2)*(-6)/5. Is r(g) prime?
True
Suppose 5615 = p + 4*p. Is p composite?
False
Let j(w) = -4*w + 2. Let u be j(8). Let k(y) = -12*y - 4. Let c be k(-4). Let o = u + c. Is o a prime number?
False
Suppose -l + 50 = -b + 2*b, 0 = -4*b + 16. Is l composite?
True
Suppose 0 = l - 21 - 1. Suppose 3 = 4*i - 9. Is (l - i) + (2 - 0) composite?
True
Suppose 0 = -2*t - 2*c - 4, 0*t - 5*c = t - 18. Is 3 + t/((-7)/230) prime?
True
Suppose -4*h = -0 - 4. Let x(a) = a + 2. Let t be x(6). Suppose -t = -m - h. Is m a composite number?
False
Let r(f) = -f**3 + f**2 + f + 787. Let d be r(0). Let z = d - 522. Is z a prime number?
False
Suppose -2*n + i + 1 = -2, 2*n = 3*i - 7. Suppose n*f = -1 + 9. Let l = 19 + f. Is l composite?
True
Let r be -2*2*118/(-4). Suppose -5*c - 5 = -3*p + 2, 5*p - 17 = 3*c. Suppose 2*v = -p + r. Is v a prime number?
False
Suppose -3 = -4*h + 29. Suppose u - 4*r + 13 = 0, -2*u - 4*r + h = 2*u. Is u/((-1)/33) - 2 a composite number?
False
Let q(w) = 2*w - 1. Suppose 0 = 4*c + 16. Let i = c + 8. Is q(i) prime?
True
Let q(o) = -o**3 - 6*o**2 - 2. Let z be q(-11). Suppose 2*m + 4*k = 3*m - 177, 5*k = -4*m + z. Is m a composite number?
False
Let l = -1158 - -5575. Is l a composite number?
True
Suppose 3*i - 28 + 175 = 3*m, -4*i = m - 34. Suppose 3*l + 162 = -x + m, -3*l + 5*x = 140. Let w = 95 + l. Is w a composite number?
True
Let l = -10237 + 15686. Is l prime?
True
Let a = 11 - 27. Is (-844)/a*(2 + 2) prime?
True
Let i(x) = x**2 - 5*x - 4. Let n be i(6). Suppose -n = 5*p - 22. Suppose 2*o + a = -p*a + 150, 3*a = -o + 73. Is o a composite number?
True
Suppose 701 = 2*r - 137. Is r prime?
True
Let n = 598 - 267. Is n prime?
True
Let t(p) = p**3 - 8*p**2 + 8*p - 2. Let v be t(7). Suppose -5*w + 4*w - 194 = -4*l, v*l = -5*w + 255. Is l a prime number?
False
Suppose i - 10*i + 6309 = 0. Is i a prime number?
True
Let h(f) = 21*f + 11. Let a(s) = 22*s + 12. Let t(k) = 4*a(k) - 5*h(k). Is t(-6) prime?
False
Suppose -q = -6*q + 75. Is q a composite number?
True
Suppose -3*k = 0, -4*c = -6*c - 5*k + 10. Suppose -5*q + 5 = -c. Suppose 7 = q*y - 7. Is y a prime number?
True
Let i be 3084/10 + 2/(-5). Let p = 687 - i. Is p composite?
False
Suppose -5*y + 10 = 0, -2*j - y - 218 = 2*j. Let x = 72 - j. Is x composite?
False
Let g(q) = 3*q**2 - 9*q - 19. Is g(-12) a prime number?
True
Suppose 3*w + 12 = 0, 4*b - 3*w = w + 732. Let f = -100 + b. Is f prime?
True
Let x = 2 - 9. Is 799 - x/((-28)/8) composite?
False
Is 133652/16 - (-4)/(-16) a prime number?
True
Let m(n) = 2361*n**2 + 5*n + 3. Is m(-1) composite?
True
Is ((-3 + 2)/1)/(1/(-37)) prime?
True
Let j be (-6)/(-21) - (-691)/7. Suppose 2*b = -o - 3*b + j, 3*o + 4*b - 253 = 0. Is o a composite number?
False
Let a(l) = l**3 - 3*l**2 - 4*l + 6. Let s be a(4). Suppose -3*n + s*n = 36. Is ((-102)/(-4))/(6/n) a composite number?
True
Is ((-6)/(-4) - 1) + 16653/26 composite?
False
Is 18/(-27) + (-3587)/(-3) a prime number?
False
Suppose 4*w + 10 = -5*z, -9 = -2*z - 4*w + 5*w. Let b = 0 + z. Suppose -7*u + b*u + 425 = 0. Is u prime?
False
Suppose -1 = -r - 0*r, 0 = -2*v + 3*r + 103. Is v prime?
True
Let q be 50*1*(-90)/(-20). Let l = q - 128. Is l prime?
True
Let y(b) be the second derivative of -b**6/60 - b**5/15 + b**4/8 + b**3/2 - b**2 + 3*b. Let x(a) be the first derivative of y(a). Is x(-4) prime?
False
Let m be (0 + -1)/((-1)/3). Let n = 12 - m. Suppose -8 = -z + 5*g + 24, -2*z + n = g. Is z a prime number?
True
Let r be 9/4 + (-8)/32. Suppose 5*q = r*q + 24. Let p(t) = 2*t - 5. Is p(q) composite?
False
Suppose 3*r - 5*s + 6*s = 45616, 5*s = 4*r - 60815. Is r composite?
True
Suppose -8 = -5*o + o. Suppose 0 = -o*r + 4*r - 102. Is r a prime number?
False
Let o(w) = -w**3 + w + 4. Let f be o(0). Suppose -3