
Let y(o) = 29*o**2 - 5*o + 1. Is y(-4) composite?
True
Let i(u) = 204*u**2 + 5*u + 6. Let o be 33/(-7) + (-4)/14. Let p(l) = 204*l**2 + 4*l + 5. Let r(w) = o*i(w) + 6*p(w). Is r(1) composite?
True
Let n(t) = t**3 + 85*t**2 + 111*t - 43. Is n(-58) a prime number?
True
Let j(u) = 170*u + 81. Is j(20) a composite number?
True
Suppose 8 = -2*k + 14, -5*i + 1612 = -k. Is i prime?
False
Let l = 1631 - 104. Is l a prime number?
False
Let h be 1/((-2)/(-4)) - -21. Is (-1740)/(-30)*h/2 composite?
True
Let i(b) = -b**3 + 17*b**2 + b - 7. Let j be i(17). Suppose 8*z = j*z - 178. Is z prime?
True
Let j(d) = -705*d - 536. Is j(-49) composite?
True
Suppose 2*a + 2*d - 3262 = 0, -a - 2*d + 1627 = d. Suppose 0 = -6*t + a + 2801. Is t prime?
True
Is 2/(-8) - 88680/(-32) composite?
True
Let g(h) be the second derivative of -h**5/20 + 4327*h**2/2 - 17*h. Is g(0) a composite number?
False
Let p(t) = -4*t**2 + 7*t - 1. Let i be p(-6). Suppose 2*n - 3*n - 1036 = -3*q, -3*q - n + 1028 = 0. Let h = i + q. Is h prime?
True
Let v(x) = -14*x**3 - 7*x - 7*x**2 + 10*x**3 - 2 + 5*x**3. Let n be v(8). Is ((-579)/n)/((-2)/20) prime?
False
Let z = 68 - 117. Let h be -26*(3 - 0)/3. Let f = h - z. Is f a composite number?
False
Suppose 5*x - 10895 = 5*y, 0 = -4*x + 32*y - 29*y + 8716. Is x a composite number?
False
Let s be 2/(3*2/(-3)). Let h(n) = -16*n**3 - 52*n**3 - 77*n - n**2 + 77*n. Is h(s) prime?
True
Let p = -42 - -52. Is 3*p/12*194 composite?
True
Suppose 3*s = -2*k + 10, s + 6 = 2*s - 2*k. Let v(p) = 9*p**2 + 5*p - 7. Is v(s) prime?
True
Suppose 4*c - 3525 = -2*x + x, -c - 14168 = -4*x. Is x prime?
True
Let r = -41 + 33. Is 6/8 - 1778/r a composite number?
False
Let x = -3949 - -6708. Is x a prime number?
False
Is (0 + 9)/((-15)/(-13840)) - -2 prime?
False
Suppose 0 = -l - 4*l + 20. Suppose 0 = 4*s, -l*s = -5*r - 0*s + 145. Let k = r + 30. Is k composite?
False
Let s be (-2 + 0 - -68) + 2. Suppose s*j - 71*j = -186. Is j a prime number?
False
Let i = -2 - -3. Let q(l) = -48*l + 0 + i - 36*l + 23*l. Is q(-1) a composite number?
True
Let b be (-1 - 1) + 8 + -1. Let d be 5885/b - (-6)/(-2). Suppose 5*z = -3*a + d, -a + 6*a = 3*z - 684. Is z a composite number?
False
Let u = 9 + -7. Suppose -452 = -q + u*y, -6*y + y = 5*q - 2185. Suppose 3*k + 80 = -p + 735, -2*k + q = 2*p. Is k a composite number?
True
Let z(o) = 3*o**3 + 3*o**2 + 6*o - 7. Suppose -4*b + 32 = -2*b. Suppose -1 = 5*x - b. Is z(x) a prime number?
False
Suppose 55333 - 8769 = 4*x. Is x a composite number?
True
Let p(z) = -z**3 - z**2 + 8*z + 7. Let d(h) = 7*h - 7. Let x be d(5). Suppose 0 = -3*v - 3*t - 15, 2*v - x = 7*v + 2*t. Is p(v) a composite number?
False
Suppose 0*j + 2*p = -j - 1, -4*p + 4 = 0. Let a(h) = -4*h**2 - 4. Let r(q) = -5*q**2 - q - 3. Let d(i) = j*r(i) + 2*a(i). Is d(-2) prime?
True
Let f(p) be the first derivative of -3*p**5/20 + 2*p**3/3 - 3*p - 3. Let z(k) be the first derivative of f(k). Is z(-3) a prime number?
False
Suppose -f = o - 9, o = -2 + 4. Suppose 364 = -f*u + 11*u. Is u a composite number?
True
Suppose 5*k - 132890 = -5*k. Is k a prime number?
False
Let v(q) = 32*q**2 + 6*q + 8. Let l be v(-7). Let g = l - 637. Suppose -5*p = 2*o - g, 3*p = -p - 4. Is o composite?
True
Suppose 1 + 3 = 2*k, 7 = 3*j - k. Suppose 0 = -4*x - j*h + 493, 0 = 3*x - 2*h - 296 - 61. Is x prime?
False
Let r(y) = y**3 + 9*y**2 + 8*y + 3. Let l be r(-8). Suppose 1028 = -l*z + 7*z. Is z a prime number?
True
Let x(z) be the third derivative of z**6/60 + z**5/20 - z**4/8 - z**3/2 - 7*z**2. Is x(2) prime?
True
Let q = -13630 - -23243. Is q prime?
True
Let p = -2 + 11. Suppose p - 164 = -q. Suppose -q + 496 = x. Is x composite?
True
Let i(l) = -12*l**3 + 10*l**2 - 15*l - 51. Is i(-10) prime?
True
Let x(d) = 12*d**2 - 28*d - 43. Is x(9) composite?
False
Suppose -6*h + 16 = 2*r - h, 5*r - 17 = -h. Suppose 3*m = -3*v + 2355, -r*m + 0*m = 5*v - 3925. Is v composite?
True
Let o = -10 + 16. Let f(v) = 76*v + 62*v - 5 + 75*v. Is f(o) composite?
True
Suppose 2*s - 16 = 3*t + 8, -t = 4*s - 6. Let i be 52/(-20) - t/10. Is (672 + 2)*i/(-4) a composite number?
False
Suppose 2*o - 5 - 3 = 0. Let p be (-6 + 6)/(5/(-1)). Suppose p = o*t - 3*t - 127. Is t a composite number?
False
Let b be 20*(-4)/(-8) - 0. Let j = -8 + b. Is 6288/15 + j/(-10) a prime number?
True
Let r(l) = -l**3 + 15*l**2 - l + 9. Let f be r(15). Let a(b) = b**2 + 6*b + 3. Let s be a(f). Is 381/s*(-3)/(-1) prime?
False
Is 422 + 3/9*-15 prime?
False
Is -9 + 264/32 - (-162287)/4 prime?
False
Suppose -5*r = 15, 3*r - 27397 + 199309 = 3*i. Is i composite?
False
Suppose 4 = -2*t + 16. Let z = 123 + t. Suppose -98 - 74 = -4*c + 4*v, z = 3*c - v. Is c prime?
True
Suppose 6*g - 3*g = -42. Is (2 - 1584/g) + (-2)/14 prime?
False
Let p(c) = 10*c + 5 + 2 - 24*c + 48*c. Let v be 13/3 - 2/6. Is p(v) prime?
False
Suppose -3*l + 56572 - 20247 = 5*u, -5*u + 4*l = -36290. Is u composite?
True
Let n = 633 + -296. Is n a composite number?
False
Let q(r) = 3*r + 4. Let p(t) = -4*t - 5. Let f(j) = -2*p(j) - 3*q(j). Let o be 106/(-9) + (-12)/54. Is f(o) composite?
True
Suppose 0 = v + y - 819, 5*v - 2095 - 1990 = 5*y. Is v a composite number?
True
Is -62*1361*-2*(-2)/(-8) a composite number?
True
Let f = 6 - 0. Suppose 0 = -f*p + 5*p + 467. Is p a prime number?
True
Let g(m) = -m + 13. Suppose 5*s = -15, 0*s + 21 = 5*i + 3*s. Let d be g(i). Suppose 0 = -d*q + 9*q - 890. Is q composite?
True
Let x(g) = 1545*g - 13. Is x(6) composite?
False
Suppose 3*k - 2900 = 1183. Is k prime?
True
Suppose 9 = 4*q - 5*x, 0*x = 4*q - 3*x - 15. Suppose -q = -2*n + n. Is n/42 - (-320)/14 a prime number?
True
Let d be 5588/(-11)*(-9)/6. Is (-8)/(-2)*d/24 a prime number?
True
Let n(r) = r**3 - 8*r**2 + 7*r + 3. Let g be n(7). Suppose -2*p - g*t = 195, -3*p = -2*t - 145 + 470. Let k = -70 - p. Is k a composite number?
True
Let d = 1211 - -794. Is d prime?
False
Let g = 26 + -26. Suppose 3*b + 0*b - 891 = g. Suppose 418 = 3*o + j, 3*o - o - b = 3*j. Is o prime?
False
Let v(n) = 3*n**2 + 10*n. Let h(y) = -4 - 1 + y + 0*y - 8. Let f be h(6). Is v(f) a composite number?
True
Let d = 2674 + 4167. Is d composite?
False
Suppose -3299 = -12*t + 12193. Is t prime?
True
Let y be -2*((-23702)/15 + 2/15). Suppose 5*w - 2*x = 3941, 4*w - x - y = -3*x. Is w a composite number?
True
Suppose -f + 1696 = -c, 3*f - 5*f - 2*c = -3372. Let a = f + -1206. Is a composite?
True
Let v(o) = o**3 - 4*o + 2. Let k(w) = w**3 + w**2 - 4*w + 1. Let j(x) = 4*k(x) - 5*v(x). Let i be j(3). Let q(s) = 2*s**2 - 7*s - 11. Is q(i) composite?
True
Suppose 294 = 7*l - 315. Suppose 0 = 2*v - 15 - l. Is v a composite number?
True
Is (-14 - -15) + 6 + (-88700)/(-2) prime?
True
Let x = -82 + 141. Suppose j - n = n + x, 0 = j - 5*n - 68. Is j composite?
False
Suppose -2 = -10*y + 11*y, 20 = -l + 2*y. Let k = 173 - 94. Let n = k + l. Is n composite?
True
Let f = -3232 + 6009. Is f composite?
False
Let i(w) = -1. Let v(m) = 184*m + 2. Let b(d) = -3*i(d) - v(d). Let x be (-2)/2*(-3 - -4). Is b(x) composite?
True
Let x = 294 + -35. Is x prime?
False
Let n(i) be the third derivative of 0*i - 1/6*i**3 + 65/12*i**4 + 3*i**2 + 0. Is n(2) a composite number?
True
Let b(o) = -o - 1. Let d be b(-5). Suppose -d*q + 9*q = 20. Let w = 27 + q. Is w a prime number?
True
Suppose 5*g = -m + 95, 0 = 5*g - 0*m + 4*m - 95. Let v = -17 + g. Suppose 95 = v*p - p. Is p a prime number?
False
Suppose 5*h = 5013 + 9242. Suppose -s - 33 = 2*t - 742, -4*s - 5*t + h = 0. Is s a composite number?
False
Let b(g) = 90*g - 11. Let r be b(15). Let q = -252 + r. Is q a prime number?
True
Let u = 69814 - 17667. Is u prime?
True
Suppose 4*l + t - 12 = 36, 3*l = 2*t + 25. Suppose -3*r + 172 - 35 = 2*b, 309 = 4*b - r. Let o = b + l. Is o prime?
False
Let m(a) = -a**2 - 12*a - 19. Let q be m(-10). Let u(o) = 259*o**3 + o**2 - 2*o + 1. Is u(q) a prime number?
False
Let f = -6 + 11. Suppose f*u - u + 5*h = 0, u - h = 9. Suppose -2*k = -0*l + u*l - 183, 0 = k + 3*l - 94. Is k prime?
True
Let t be (9/(-6))/(6/(-988)). Suppose z - 190 - 69 = -r, -r - 4*z = -t. Is r a prime number?
True
Suppose 0 = 5*f - 316 - 99. Suppose 0 = -4*u + 3*u + f. Suppose 0*a - u = -a. Is a a composite number?
False
Suppose 0 = -98*z + 4502523 - 937577. Is z a prime number?
False
Suppose -4*x - 4 = 0, 4*a 