 + 3*t. Is i prime?
False
Suppose 2*u = -0*u - 188. Suppose -268 = -2*c - 3*f, -2*c = -0*c + 5*f - 272. Let b = c + u. Is b composite?
False
Let q(n) = -14*n**2 + 35*n**2 + 72*n**2. Suppose 0 = 3*w - 2 + 5. Is q(w) a composite number?
True
Let r = 1 - 1. Suppose -4*x = -r*x - 212. Is x a composite number?
False
Let x(b) be the second derivative of 3*b**4/4 + b**3/6 - b**2/2 + 2*b. Is x(2) prime?
True
Let m = 462 + -227. Is m a composite number?
True
Let q = -813 - -1400. Is q a composite number?
False
Let t = 84 - 27. Is t a prime number?
False
Suppose -11*t = -7*t - 40. Is t composite?
True
Let h(g) = -g**3 - 9*g**2 - 8*g + 11. Suppose 23 + 9 = -4*o. Is h(o) prime?
True
Let j(g) = 3 + 1 + 0*g**2 - g**2 - 18*g. Is j(-13) a composite number?
True
Is 8084/8 + 6/(-4) a prime number?
True
Let i = 11 + -8. Suppose 12 + 6 = -5*l - 4*n, 2*l - i*n - 2 = 0. Is -178*(0 + 1/l) composite?
False
Let w(l) = l**3 - 201. Let s be w(0). Is (s/3)/((-3)/3) prime?
True
Let a = 2000 + -849. Is a a prime number?
True
Let a be (-1)/(3*(-1)/(-4197)). Is a/(-6) + 1/(-6) prime?
True
Suppose -195 - 132 = -3*f. Is f a prime number?
True
Let u = -148 - -92. Let v = 109 + u. Is v composite?
False
Suppose 1343 - 14937 = -14*h. Is h composite?
False
Suppose -2644 + 689 = -5*o. Is o a prime number?
False
Let v be 146*(-4)/(4/5). Let u be (-8)/12 - v/(-3). Is (-2)/(-9) + u/(-36) prime?
True
Let b(v) = v**3 + 2*v**2 + v - 1. Let k be b(-2). Let h be (-796)/(-12) + 1/k. Suppose 119 = 5*o - h. Is o a prime number?
True
Let l = -13 + 17. Is (-2)/(l*(-2)/340) a composite number?
True
Let c be 12/(-20) + (-25134)/(-15). Suppose 3*a + 2*a = c. Is a a composite number?
True
Let z = 5905 + -4148. Is z prime?
False
Suppose -5*v = -4*v - 4. Suppose 4*c - 5*c + v = 0. Suppose -c = h - 11. Is h composite?
False
Suppose -2*n + 929 = 5*y, -5*y + 950 = -0*n - 5*n. Is y a composite number?
True
Let v(l) = -12*l - 4. Let b be v(-6). Suppose r + b = z, -5*z + 2*z - 5*r = -180. Is z composite?
True
Suppose -2*m + 22 = m + 2*r, -4*m + 30 = 3*r. Is 3/6*m*1 prime?
True
Suppose -4*k - 8 = 0, -4*v - 134 + 632 = 5*k. Is v + 0/(-4) - 0 composite?
False
Suppose -3*m + 15 = -2*d, -2*m = -4*d - 3 - 7. Suppose -2*k + 178 = -d*k. Is k a prime number?
True
Let f(t) be the first derivative of -5*t**2 - t + 2. Is f(-4) composite?
True
Let c be (-4)/(-8) - 498/(-4). Let q = c - 49. Suppose -2*y + 2 = -q. Is y a prime number?
False
Let y(n) = n**3 + 10*n**2 + 8*n + 11. Let u be y(-8). Suppose -x + u = 2*x. Is x composite?
True
Let s(q) = 2*q**2 - 9*q. Let a(t) = t**2 + 2*t + 4. Suppose 5*j = -11 - 4. Let c be a(j). Is s(c) prime?
False
Let o = 5 + -1. Suppose -84 = -3*s + 2*s + j, -o*j = 2*s - 198. Is s a composite number?
False
Is 4/(-28)*-2 - (-2609)/7 a composite number?
False
Suppose 0 = o + 102 - 261. Is o composite?
True
Let v = 292 + -137. Suppose -4*t - v = -1639. Is t a prime number?
False
Let k = 11 - 19. Let x(b) = -23*b + 19. Is x(k) a prime number?
False
Let k(y) = -2*y**3 + 2*y**2 - y. Let s be k(1). Let q = 2 - s. Is q composite?
False
Suppose -2*a - 3*x = -363, 3*a = 7*a + x - 721. Suppose 3*q - a = -21. Is q prime?
True
Is 2*(6612/8)/3 a prime number?
False
Is 7281/15 + (-14)/35 composite?
True
Suppose 0 = -d + 11 + 116. Is d prime?
True
Suppose 0 = -5*x - 5*r - 10, 4*r - 5 = 2*x - 1. Is -3 + x + (2 - -254) a composite number?
False
Let o(d) = 3*d**2 + 2*d + 1. Let x be o(-1). Let w(u) = -3 - 3 + 3*u - 3 + x + u**2. Is w(-5) a composite number?
False
Suppose -3*n - 11 - 14 = -2*h, 0 = -5*h - 2*n + 15. Let f(w) = -w**3 + 5*w**2 + 5*w - 2. Is f(h) a prime number?
True
Suppose -4*v + 20 = -3*v + 3*j, 4*j + 8 = 3*v. Suppose -2*h + 4*h - v = 0. Suppose -h*k + 17 + 107 = 0. Is k prime?
True
Is (2819/(-2))/(2/(-4)) a prime number?
True
Suppose 3*t - 34 = t. Suppose 0 = -i + 20 + t. Is i a composite number?
False
Suppose -2*i + 10 = 5*y, -4*y = -0*y. Suppose -h + 4*m + 52 = h, -i*m = 4*h - 169. Suppose -3*d = 3*g - h, d - 5*g + 40 = 4*d. Is d prime?
False
Let d(q) = -55*q**2 - 2*q + 1. Let i be d(1). Let t = i - -135. Is t a composite number?
False
Let h(g) = 65*g**2 - g. Let d be h(-2). Let o be (-2)/(2/(-1)) + 2. Suppose 311 + d = o*p. Is p a composite number?
False
Let w(q) be the first derivative of -q**4/4 + 3*q**3 - 3*q**2 + 6*q - 2. Let p be w(8). Is (p/3)/((-2)/(-3)) composite?
False
Is ((-281)/4)/((-13)/260) a prime number?
False
Let n be 1*(1 + -3) + -8. Let w be (12/n)/((-4)/(-20)). Is (-8 - w)/(4/(-154)) a prime number?
False
Let h = 0 - -3. Suppose -2*a + 3*w + 14 = -3*a, -29 = 4*a + h*w. Is -51*3/(2 + a) composite?
True
Let l(c) = c - 5. Let f be l(13). Let k = 15 + f. Is k a prime number?
True
Suppose 4*u = -3*f - 1274, 2*f - 7*f = -3*u - 941. Let y = u + 116. Is 1/(-2) + y/(-6) composite?
True
Suppose -7*b + 2*b + 15 = 0. Let m(d) = b - d**2 + 3*d**2 + 0*d**2. Is m(-3) a composite number?
True
Suppose r = -4*r - 20, 5*k + 2*r + 23 = 0. Let i = k + 8. Suppose -x + 3*x + 2*l - 230 = 0, i*x + 4*l = 571. Is x prime?
False
Let x be (2/4)/(9/36). Let i(y) = 10*y + 4 - x - 1 - 6. Is i(6) prime?
False
Suppose 4*v - 3*v = 0. Suppose -r - 8 = -2*q - v*r, 0 = -3*q + 4*r + 22. Suppose 7*l - q*l - 105 = 0. Is l a prime number?
False
Suppose -2*f = 4*r - 3*f, 0 = -3*r + 2*f. Suppose h + j - 128 = -r*h, 4*h + 5*j - 509 = 0. Is h a composite number?
False
Let h(z) = 335*z**3 + 2*z - 2. Let w be h(1). Let y = -222 + w. Is y prime?
True
Let i(x) = -x**3 + 3*x**2 - x + 637. Let v(d) = 4*d**3 - 10*d**2 + 3*d - 1912. Let p(y) = 7*i(y) + 2*v(y). Is p(0) a composite number?
True
Suppose 6*p = -5*o + 2*p + 905, -5*p = 4*o - 715. Is o composite?
True
Let k = -319 + 584. Is k a composite number?
True
Is (-2)/8 + 778/8 a prime number?
True
Suppose -k + 205 + 114 = 0. Is k prime?
False
Let c = -23 - -58. Is c a prime number?
False
Suppose 0 = 15*i - 14*i. Let z = 0 - 0. Suppose z*g + 35 = h - 2*g, -2*h - g + 70 = i. Is h composite?
True
Let c be 4/18 - (11565/(-81) + -2). Let v(b) = -b. Let i be v(-3). Suppose -14 - c = -i*p. Is p a composite number?
False
Let z be (0 - -1)*0/(-1). Let v be 2 - (0 + -2 + z). Suppose o + v*o - 955 = 0. Is o a prime number?
True
Let q(g) = -15*g + 7. Let s(h) = -h**2 + 5*h. Let n be s(6). Is q(n) composite?
False
Let i = 83 + -16. Is i a prime number?
True
Let i = 20 - 9. Suppose -11 = -4*w + j, 5*j + i = -4. Suppose -5*m = -3*f + w*f + 48, 4*m + 176 = 4*f. Is f a composite number?
False
Suppose 6*a + 223 = 7*a. Is a a composite number?
False
Let y(o) = o + 23. Let z be y(0). Suppose w + 20 = 6*w, -3*k = 5*w - z. Let r(s) = 14*s**2 + 1. Is r(k) composite?
True
Suppose 5*z = z + 224. Suppose 27 = o - z. Is o a prime number?
True
Let s be (-4)/20 - (-16)/5. Suppose s*w = 550 + 335. Suppose 368 + w = 3*z. Is z prime?
False
Let w(l) = l**2 + 6*l + 1. Let b(v) = v**2 + 7*v. Let a(f) = -4*b(f) + 5*w(f). Let k be a(-11). Suppose k = 5*u - s, 0 = -u + 2*u + s - 22. Is u prime?
False
Is 3 - (2 + (-3)/3) composite?
False
Let n = -8 - -9. Is (-11)/((-44)/600) - n composite?
False
Suppose 2*y = 3*h + 3*y - 4410, 0 = -h + 5*y + 1486. Is h composite?
False
Suppose 2*p = -3*p + 5. Let o = 3 + p. Suppose 3*k - 17 = o. Is k a prime number?
True
Suppose -6 = -3*a + 4*h, a - 4*a + 6 = -5*h. Let f(w) = 5*w**3 - 2*w**2 + 2*w - 1. Is f(a) a composite number?
True
Let r = -39 + 72. Is r prime?
False
Let t(q) = -q**2 - 5*q - 4. Let y be t(-5). Let s(n) = 2*n**2 + 2*n + 1. Is s(y) prime?
False
Let d be (0 - -2) + 4 + -1. Let q = d + -5. Suppose q = -3*c + g + 63, 2*g + 50 = 5*c - 55. Is c prime?
False
Let w be (0 - 0)/(3 + -4). Suppose 53 = 5*k + m, w = 5*k - 5*m - 16 - 49. Is 1/((-2)/k)*-10 composite?
True
Suppose 3*b - 74 = 40. Let l(g) = g**3 - g**2 - g + 41. Let r be l(0). Let p = b + r. Is p composite?
False
Let y = 15718 - 11075. Is y prime?
True
Suppose -16 = 4*a - 2*p, a = -4*p - 2 - 2. Let y = a + 13. Let l(w) = w**2 - 3*w - 1. Is l(y) a composite number?
False
Suppose 4 = a + a, 2*o - 6 = -5*a. Let v(z) = -20*z**3 - 3*z**2 + z + 2. Let w be v(o). Suppose -w = -2*l + 22. Is l composite?
True
Let q = -74 + 123. Is q prime?
False
Let t(z) = -116*z - 7. Let n be t(3). Suppose -3*o = x - 3*x + 1616, 0 = -o + 5*x - 530. Let s = n - o. Is s a composite number?
True
Suppose -3*c = c. Suppose -5*k + 4*k