i be 1*(2/b - 2). Suppose p + i*p - 10 = 0. Is p composite?
True
Suppose 0*n - n + 2*m + 7 = 0, 0 = -3*n - 2*m - 19. Let o be ((-104)/5)/(n/15). Let s = 147 - o. Is s prime?
True
Let a(z) = -20*z + 11*z**2 - 5 + 3*z**2 + z**2 + 3*z**3 - 2*z**3. Is a(-15) composite?
True
Let k(w) = -w**3 + 4*w**2 - 3*w. Let n be k(3). Suppose n = x + 4*x. Suppose -89 = -t - x*t. Is t a composite number?
False
Suppose 3*f + 326 - 95 = 4*h, -5*h - 3*f = -282. Suppose -3*q + 0*q = 5*n - 114, h = 3*n - 2*q. Is n prime?
False
Let s(k) = k**3 - k**2 + k - 6. Let w be s(0). Let h(c) = -7*c - 5. Is h(w) composite?
False
Suppose 6*n - 1316 = 2*n. Suppose 2*h - 377 = n. Is h prime?
True
Let m be 2/3*(0 - -3). Suppose m*b = 118 + 136. Is b prime?
True
Suppose 3 = -3*l, 2*l - 743 = -3*f + 7*l. Suppose 513 = 3*v - f. Is v composite?
True
Let a = -198 + -36. Let p = -147 - a. Is p a prime number?
False
Suppose 895 = 10*l - 15135. Is l a prime number?
False
Let w be 2/(8/(-4620)*3). Let z = -162 - w. Is z prime?
True
Let v = 17 - -4. Is v a prime number?
False
Suppose -5*k + 386 = 3*l, -5*k = l - 328 - 64. Is k prime?
True
Let w(a) = a**3 + 4*a**2 - 3*a - 3. Let t be w(-4). Let y be (-2)/((-3)/(t/1)). Is 2/(y/291)*1 a prime number?
True
Suppose 4*z + r = -16, -2*z - 4*r - 20 - 2 = 0. Let x = 72 + z. Suppose -t = -4*t + x. Is t composite?
False
Suppose 2*x - 6 = -o, 0 = -5*o + 2*x - 6*x + 24. Suppose -f = -5, -o*m + 513 = -f + 2*f. Is m a prime number?
True
Suppose -9 - 19 = -4*p. Let u be (-4)/(-14) + (-912)/p. Let o = 207 + u. Is o prime?
False
Let p(y) = 25*y + 11*y - 5 + 25*y. Is p(3) a composite number?
True
Let z be (-1 - -4)*(-6)/(-9). Let l be (-1 - -179 - 1) + -1. Is (z/4)/(4/l) prime?
False
Is (1/2)/((-7)/(-7798)) composite?
False
Let y(x) = 45*x + 17. Let o(p) = p**2 + 3*p - 2. Let k be o(-5). Is y(k) a composite number?
True
Let z = 1203 + -702. Is z prime?
False
Let s(o) = 11*o**3 + 2. Is s(4) a composite number?
True
Suppose a + 3500 = 4*a - b, -a - 4*b = -1145. Is a prime?
False
Suppose 4*h + 6*u = 4*u + 72, 3*u = -4*h + 70. Is h composite?
False
Let j(t) be the third derivative of t**6/60 - t**5/60 - 7*t**4/24 + 5*t**3/6 - 2*t**2. Is j(4) prime?
True
Let h(q) = -12*q**3 + q**2 - 5. Is h(-2) a prime number?
False
Let h = -6 + 10. Let l(m) = m. Is l(h) a composite number?
True
Let z = -1089 - -1858. Is z prime?
True
Let q(c) = c**3 - 4*c**2 - 7*c - 1. Let n be q(6). Let x = n + -20. Is x composite?
True
Let j be -2 - -3 - (-1 + -52). Let s(v) = 7*v - 9. Let k be s(4). Let a = j - k. Is a a composite number?
True
Let j(u) = -7*u**2 - 1. Let n be j(1). Let s = -4 - n. Suppose -271 - 37 = -s*m. Is m composite?
True
Suppose f + 16*f = 12835. Is f a prime number?
False
Let q(x) = 5*x**2 - 2*x + 2. Let i be (1/(-2))/((-2)/(-12)). Is q(i) prime?
True
Let b be (46/6)/((-1)/(-6)). Let h = -69 - b. Is (2 - h) + -1*2 composite?
True
Let d(y) = y + 1. Let k(u) = 12*u - 6. Let t(g) = 2*d(g) - k(g). Let r be t(-6). Suppose -r = -f + 87. Is f prime?
False
Suppose -2*v - 12*v + 1190 = 0. Is v a composite number?
True
Let b(y) = 2*y**3 - 7*y**2 - 10*y + 7. Suppose -j - 1 = -3*x, -2*x - j = j - 14. Suppose 4*g - 4 = -x*m + 4, 3*m - 2*g - 20 = 0. Is b(m) prime?
True
Let n(l) = -l**3 + 7*l**2 - 5*l + 3. Let t be (9/(-6) + 1)*-8. Is n(t) prime?
True
Let w(l) = -8*l + 0*l + l. Is w(-3) composite?
True
Let f be 1 + (5 - 2 - 0). Suppose f*g - s = 3*g + 24, g - 39 = 4*s. Is g a prime number?
True
Let a = -18 - -33. Suppose 3*q = -2*q + 100. Let l = q + a. Is l a prime number?
False
Let p = 1 - 7. Let l = p + 11. Suppose q = 4*m - 816, l*m - 1011 = -3*q + 2*q. Is m a prime number?
False
Let p = -2 + 1. Let u be ((-2 - p) + -2)*-30. Suppose u + 28 = 2*n. Is n a prime number?
True
Suppose 2*n = 5*a + 205, 5*a + 79 = n - 11. Is n prime?
False
Let g be 8/((-16)/(-4)) + 0. Suppose -5*p - 155 = -5*w, 3*w - 85 = g*p + 8. Is w a composite number?
False
Let o(u) = -10*u - 13. Suppose 5*w + 42 = 3*v, -9*v = -w - 4*v - 4. Is o(w) a composite number?
True
Is 12/16 + 2010/8 + 2 composite?
True
Let g be (-2)/((-3)/(-3)) - -3. Let c be 239 + g/((-1)/2). Suppose 3*d = 0, d = -3*z + 3*d + c. Is z composite?
False
Suppose 2*t = -0*t + 112. Suppose -t = d - 1. Let m = -20 - d. Is m a prime number?
False
Let z(c) = 18*c + 1. Let b(m) = 2*m**2 - 4*m**2 + 4*m + 6 + m**2 + 0*m**2. Let x be b(5). Is z(x) a prime number?
True
Let i = -275 + 502. Let t = i + -96. Is t prime?
True
Let l(i) = 2*i + 139. Is l(0) prime?
True
Suppose -2*r = 2*r + 292. Let q = r - -110. Is q a composite number?
False
Let t(v) = 2*v**2 + 4*v + 1. Let f be t(-3). Suppose 3*g + 14 = -2*x + f*g, 29 = 3*x + 4*g. Is x a prime number?
True
Is 37550/40 - 1/(-4) prime?
False
Let k be (58 - (-3 + 0))*-7. Let r = -264 - k. Is r prime?
True
Is ((-2)/(-4))/(-2*1/(-1172)) prime?
True
Let d(w) = 12*w - 11. Let i be d(8). Let h = i + -47. Is h prime?
False
Let p(j) = j**3 + 11*j**2 + 9*j + 2. Suppose 2*q - 3 = -v, -q + 2 = v - 0*q. Let l be (-35)/4 + v/(-4). Is p(l) composite?
False
Suppose -2*y + 2*k + 500 = 0, -2*y - 3*y - k = -1232. Is y a composite number?
True
Suppose -h - 382 = -2*x, 6*h - 10 = h. Suppose 3*k - k = x. Suppose -5*i = -251 + k. Is i composite?
False
Let j(g) be the third derivative of -g**4/3 - 2*g**2. Let d be j(-1). Is 6/d - (-1875)/12 a prime number?
True
Let x(h) = h**3 - 9*h**2 + 11*h - 11. Let c be x(8). Let q = 146 - c. Is q a prime number?
False
Let n(u) = -33*u - 7. Is n(-6) prime?
True
Let n(o) = -o**2 + o - 36. Let w be n(0). Let u = 61 - w. Is u a composite number?
False
Let m be (4 + -6 + 3)*-27. Let s = m + 58. Is s a composite number?
False
Suppose -5*t + 3*a = -259, 0 = -3*t + 4*a - 0*a + 151. Is t a prime number?
True
Suppose -3*c - 3*b + 0*b = -885, -3*c = -3*b - 873. Is c a prime number?
True
Suppose 2*o + 2*o = -4. Let i = 5 + o. Suppose 0 = -2*n - 4*m + 22, -2*n + i*m = 3*m - 12. Is n a composite number?
False
Let m(f) = -1383*f + 5. Is m(-2) composite?
True
Suppose 2*b = -k + 756, 1514 = 4*b + 6*k - 5*k. Is b prime?
True
Let r = -8 - -13. Suppose -4*s = -r*w - 272, 0 = 4*w + 3 + 13. Is 4/18 + 1939/s prime?
True
Let j(d) = 0*d**2 - 6*d**2 + d**3 + d + 0*d - 8. Let h be j(6). Is 52 + (-3)/(-6)*h a prime number?
False
Suppose 5 = 3*w - 1. Suppose w*j + j = 102. Is j a prime number?
False
Let h(n) = -8*n**2 - 2*n + 11*n**2 + 9*n**2 + 2*n**2 - 2. Let o be h(2). Suppose -3*p + o = -16. Is p prime?
False
Suppose -3*m = -4*a + 1373 + 842, -5*a + 2763 = 2*m. Is a a prime number?
False
Suppose 5*x - 177 - 248 = 0. Is x composite?
True
Let g = 0 + 8. Let w(n) = n + 3*n + 2 + n**3 + 0*n**2 + g*n**2. Is w(-7) prime?
True
Let c = 1460 + -671. Is c a composite number?
True
Suppose 4*r = -5*h + 5589, -1 = -5*r + 4. Is h a prime number?
True
Let p(w) = -w**3 - 6*w**2 + 2. Suppose v - 5*l + 3*l = -4, 4*l - 20 = 4*v. Let d be p(v). Suppose 0 = -3*f - d*f + 110. Is f composite?
True
Suppose 5*q + 0*g = -2*g + 1855, -q = -5*g - 398. Is q a composite number?
False
Suppose -4*k - 8 = 0, 5*k = 5*c - c - 18. Suppose -5*w = c - 17. Suppose -7 = -3*l - h, -4*h - 2 = w*l - l. Is l composite?
False
Suppose -255 = 5*a - 890. Is a prime?
True
Suppose 2*v - 483 = -3*n, 5*n = v + 4*v + 805. Is n composite?
True
Let i(x) = 172*x + 23. Is i(8) composite?
False
Let w be (-40)/(-6)*24/(-20). Is (-902)/w - 1/(-4) a composite number?
False
Suppose x = 4*q - 1504, q - 4*q = 4*x - 1109. Suppose a + 4*b = -q, 0*b - 1791 = 5*a - b. Is a/(-7) - 4/14 a prime number?
False
Let r = -115 - -232. Suppose -3*i + 4*h = -179, 4*i + 3*h = r + 155. Is i prime?
False
Let o(f) = -3*f + 3. Let c be o(-4). Suppose -2*j + 55 = -c. Is j a prime number?
False
Suppose q = -3*x + 118, -5*q + 5*x + 448 = -42. Let w = 11 - 7. Suppose -3*k + k + 34 = w*h, -h = 5*k - q. Is k prime?
False
Let x be (-4)/(-5)*(-40)/(-16). Suppose 3*h - 49 = x*h. Is h a prime number?
False
Let t(m) = -22*m + 9. Is t(-7) a prime number?
True
Suppose 4*a + 0*a - 76 = 2*p, a + 3*p - 19 = 0. Is a a composite number?
False
Let c be ((-6684)/24)/((-1)/8). Let x = c + -1309. Is x a prime number?
True
Suppose 2*s - 941 = 101. Is s a prime number?
True
Let k(d) = -d**3 - d**2 - d. Let i(v) = -v**2 - v - 1. Let z(f) = -4*i(f) + k(f). Let o be -1*(0/(-1) + -3). Is z(o) a prime number?
True
Let m = 2 + 