/(-2). Suppose -q + 2*d - 6 = q, -4*d = p*q - 26. Suppose -q*c + 24 = 2*c. Is c composite?
True
Let k = 6 + -3. Suppose -5*h + 313 = -3*y, 2*y - y = k*h - 187. Is h a prime number?
False
Suppose 0 = -d - 1031 + 4234. Is d a prime number?
True
Suppose 6*t = 2*t - 208. Let j = t + 117. Is j a prime number?
False
Let m = -855 + 1620. Suppose -4*p - m = -5*i, 3*i = 5*i - 3*p - 299. Is i prime?
True
Suppose 2*t = 10*t - 3176. Is t prime?
True
Let y(i) = -i - 2. Let k be y(-3). Let n be (-26 + 1 - -2)/k. Let t = 54 + n. Is t a composite number?
False
Suppose -4*p = -0*p - 316. Is p prime?
True
Suppose 0 = 2*s + 2 - 6. Let m = 3 + s. Suppose c - m*d - 78 = 0, 239 + 41 = 5*c - 3*d. Is c a composite number?
False
Let n(b) = 2*b + 1. Let j be n(1). Let i(o) = 5*o**2 - o - 3. Let h be i(j). Let p = -16 + h. Is p composite?
False
Let s(m) = 1. Let a(r) = 3*r**2 - 2*r + 2. Let h(o) = a(o) - 4*s(o). Let p(d) = d**2 - 4*d - 5. Let b be p(4). Is h(b) prime?
True
Let p(g) = -9*g**3 - 7*g**2 + 2*g + 5. Is p(-3) a composite number?
False
Suppose 3*d - 4916 = 5*s, -4*d + 9320 = 5*s + 2777. Is d a prime number?
True
Let l(z) = 543*z - 2. Is l(1) a prime number?
True
Let w = -7 - -7. Suppose -4*t = -4*c - w*c, -3*c = 2*t - 15. Suppose 3*x - t*q - 108 = 0, -7*q + 3*q = 20. Is x a prime number?
True
Let c(n) = 47*n**2 - 5*n + 3. Is c(3) prime?
False
Let r be (-1)/((-2)/16) + -3. Suppose 0 = -r*f + 3*f. Suppose -u + 97 + 34 = f. Is u composite?
False
Let b be (0 - 1)/(2/46). Let k = b + 47. Let z = k - 9. Is z a composite number?
True
Suppose 5*b = -v + 2245, -4*b + v - 3*v = -1802. Let x = 659 - b. Is x a prime number?
True
Let w(a) = 7*a + 5. Let m(i) = -4*i - 3. Let f(x) = 5*m(x) + 3*w(x). Let c be f(-3). Is (1 - 32)/(c + 2) composite?
False
Let f(u) = -58*u**2 - 2*u - 1. Let z be f(-1). Suppose 0 = -2*a - 2*s + 446, -3*a - a + s + 877 = 0. Let d = a + z. Is d prime?
True
Let f(c) = -c**2 + c + 30. Let x be f(0). Let w = 5 + x. Is w a prime number?
False
Suppose 0 = 4*m - 2*m - 478. Is m a prime number?
True
Suppose 0 = 3*w - 4*p - 23, -3*p = -3 + 9. Suppose 5*y + 3*h = -208, 85 = -3*y + w*h - 67. Let l = y - -70. Is l a composite number?
True
Let t = -10 - -15. Suppose -1921 = -t*k + 304. Is k a composite number?
True
Suppose -10*i + 1059 = -9*i. Is i a composite number?
True
Is (5 - 1) + (2 - -5321) composite?
True
Suppose 6 = -0*h + 3*h. Suppose 5*z - 3131 = -4*d + 58, -h*z - 3*d = -1270. Is z a composite number?
False
Let f(j) = -166*j**2 - 10. Let y(u) = -55*u**2 - 3. Let p(s) = -2*f(s) + 7*y(s). Let n be p(1). Let z = n - -177. Is z prime?
False
Let t(u) = -13*u + 11. Let w(o) = o**2 - o + 1. Let y be w(2). Let p(i) = -6*i + 5. Let h(x) = y*t(x) - 7*p(x). Is h(5) a prime number?
True
Let b(o) = 2*o**2 + o + 3. Let l be b(-3). Let d be (4 + 26)*l/4. Let v = -96 + d. Is v prime?
False
Suppose -2*n = 3*p - 155, -p = 4*n - 31 - 14. Is p a composite number?
False
Suppose 0 = j - 340 - 167. Let m = j - 272. Is m prime?
False
Let x(s) = 4*s**2 - 2*s. Let l be x(-3). Let b = -19 + l. Is b prime?
True
Let h(a) = a**2 + 6*a + 4. Let u be -6 + -1 + 0/1. Is h(u) a prime number?
True
Suppose 0 = 3*j + 4*y - 26 - 8, -2*j = 2*y - 22. Suppose 0 = 2*g - j - 84. Is g prime?
True
Let n = 3 - 6. Let s(m) = 3*m**2 - m + 3. Is s(n) a prime number?
False
Suppose x - 4*x - 2*u + 1871 = 0, 2*u = 4*x - 2490. Is x composite?
True
Let w = 106 - 200. Let y = w + 171. Is y composite?
True
Let g = 187 + -26. Is g a prime number?
False
Suppose h + 1 = -c, -5 - 1 = 3*h + 4*c. Let r = 14 + -24. Is -1*(0/h + r) prime?
False
Let u = 250 + -49. Is u composite?
True
Let b(w) = 234*w**2 + 2*w - 2. Let s be b(2). Let q = s + -573. Is q composite?
True
Let q = 7 + 72. Is q prime?
True
Let g(y) = -y**2 - 3*y + 2. Let m be g(-3). Suppose 0 = 5*j + 5*c - 725, 0 = -m*j + 2*c - 6*c + 282. Is j composite?
False
Is (2 - 1)*(1751 + 2) a prime number?
True
Let b = -81 + -38. Let c = -216 - b. Let v = -60 - c. Is v a composite number?
False
Let q(g) = -29*g - 5. Let u be (-2)/(-6) - (-31)/(-3). Let y be q(u). Let f = y - 142. Is f a prime number?
False
Let n = -66 - -143. Is n composite?
True
Let h(k) = -k**2 - 10*k + 15. Is h(-8) a prime number?
True
Let m be -5*((-309)/15 + 1). Suppose 7 = 3*o - m. Suppose 4*b - 49 - o = 0. Is b prime?
False
Let k be -562*(-3)/6 - -1. Let s = k - 136. Is s a composite number?
True
Suppose -7*b + 4*v + 46 = -6*b, v - 86 = -3*b. Suppose 3*z - b = z. Is z composite?
True
Let b(p) = -2*p**3 + p**2 - 8*p - 2. Is b(-7) prime?
False
Let c(g) = -g**3 + 5*g**2 - 3*g - 3. Let h be c(3). Suppose -55 = 5*p - h*p. Is p prime?
False
Let p = 3266 + -2149. Is p a composite number?
False
Is -3*(-4)/(-12)*-479 a composite number?
False
Suppose 341 = 10*b + b. Is b composite?
False
Suppose 0 = n + 2*z - 4, 9 = n - 2*z - 11. Suppose 0 = t - 4*c - n, -2*c + 14 + 36 = 3*t. Let j = t + -5. Is j composite?
False
Suppose 6*f - 1524 = 4*f. Let j be (-9)/(-12) - f/(-8). Suppose -4*k + 2*y + j = 0, 4*y = 4*k - 2*k - 54. Is k composite?
False
Suppose 0 = -3*c - 2 + 14. Suppose -c*k + 256 = -12. Is k a composite number?
False
Let m(x) be the second derivative of -x**3/6 + x**2 - 2*x. Let v be m(0). Suppose -v*i - 3*i = -275. Is i prime?
False
Let v(p) = -p**3 + 1247. Is v(0) a composite number?
True
Is (-3)/(((-24)/4306)/4) composite?
False
Suppose 2*x = 5*n, -9 - 4 = n - 3*x. Suppose n*c = -a + 28, -3*c + 39 - 8 = a. Is a a composite number?
True
Suppose -2*k + 2 = -2. Suppose 3*t - 20 = -k*t. Is 14/t*-2*-7 prime?
False
Let v be (-4)/8 + (-10)/(-4). Suppose -v*i = 4, p = -0*p - 2*i + 95. Suppose 0 = -2*m - m + p. Is m a prime number?
False
Let l = 291 + -208. Is l prime?
True
Let s = 1171 - 655. Suppose 0 = -2*a - 202 + s. Is a a composite number?
False
Let q = 2 - -3. Suppose -q*u + 10 = 0, 2*i - 5*i = 3*u - 24. Is 663/i - (-4)/8 a prime number?
False
Suppose -5*z = -2*d + 1759, 5*z - 902 = -d - 0*d. Is d prime?
True
Let p be ((-108)/10)/(6/(-20)). Let i = -21 + p. Suppose -5*r = i, 3*q - 419 = 2*r + 148. Is q composite?
True
Suppose 0 = -w + 5*l - 2*l + 1076, 0 = -4*w - 4*l + 4336. Is w composite?
True
Let h = -130 - 5. Let g = h - -206. Is g prime?
True
Suppose 0 = -6*q + 4*q. Suppose 2*r = 4*x + 114, -4*r + q*r - x + 255 = 0. Suppose r + 5 = 2*l. Is l a prime number?
False
Suppose 6 = -3*d + 15. Let k be d*(-4)/(-6) - -86. Is k/6*(-6)/(-4) prime?
False
Suppose 60 = -4*t + 172. Suppose -s - 5*m = -t - 101, 234 = 2*s - 2*m. Is s a composite number?
True
Let o(y) = -y + 4. Let g be o(7). Let i be (-2 - g)/(1/38). Suppose -3*f + 59 = f + 3*z, -z = 3*f - i. Is f composite?
False
Suppose 4*p + 1776 = -2*u, 3*p = 6*p - 2*u + 1325. Let f = -190 - p. Is f prime?
False
Let t be ((-8)/(-12))/((-2)/(-2577)). Suppose 5*z + t = 2*o, 2*o + 3*o - 2158 = 2*z. Let p = o + -91. Is p composite?
True
Let f = 1 - 6. Let d be (54/(-15))/((-1)/f). Let c = 28 + d. Is c a composite number?
True
Suppose -4*y + 25 = 5*x + y, -3*x - 2*y = -14. Suppose 25 + 11 = x*b. Is (-2)/b + (-191)/(-9) a prime number?
False
Let m = -9 - -3. Let v(r) = r**2 + 5*r + 2. Let n be v(m). Suppose -3*k = -n*k + 115. Is k composite?
False
Suppose -4*x = -2*b - 26, 0 = -x - 0*b + 2*b + 11. Suppose 13 = x*l - 2. Suppose -l*k - k = -40. Is k composite?
True
Let n(b) = -2*b**3 - b**2 + 6*b - 12. Let h be n(6). Let j = -253 - h. Is j a composite number?
False
Let u(c) = -c + 82. Is u(0) a composite number?
True
Let k(x) = 166*x - 1. Is k(3) prime?
False
Let s = -9 + 5. Let q(v) = -3*v - 6. Is q(s) a prime number?
False
Let b = -1 - -11. Let t = b + -6. Suppose 5*r = t*a + 177, 0 = -2*r + 2*a - 3*a + 76. Is r composite?
False
Let z(a) = 0*a - 1 - 3*a + 2*a**2 - a**2. Let n be z(4). Is (-1 + n)*(-66)/(-4) a prime number?
False
Suppose 2122 + 1922 = 4*j. Is j composite?
True
Suppose 2*u + 0*u = 2. Let q = u + -39. Let r = q + 69. Is r a composite number?
False
Suppose 4*i - i = -288. Let p = -43 - i. Is p a composite number?
False
Suppose 3*j = -2*i + j - 4, 5*i = 3*j - 26. Let g = -7 - i. Is (0 - g)*(-10)/(-3) prime?
False
Is 614*(-9)/(-6)*1/3 prime?
True
Suppose 3*r - 5*r + 2572 = 0. Is (-2)/(-8) - r/(-8) composite?
True
Let j(v) = 17*v. Let h(f) = -18*f - 1. Let r(n) = 3*h(n) + 2*j(n). Suppose -q - 3*k = -8, 5*k = 5*q + 8 + 32. Is r(q) a composite 