q - 4*o + 337 = 0. Is q prime?
False
Suppose 0 = p + l + 8, 2*l - 12 = 5*p + 21. Let z = 70 + -56. Let d = z + p. Is d composite?
False
Let z(c) = 3*c - 5. Let m be z(-13). Let b = 83 - m. Is b prime?
True
Suppose 2*j = 3*j - 125. Suppose 2*k + 5*s = 21, 5*k - 6*s - j = -4*s. Is k prime?
True
Let l(t) = 27*t**2 - 4*t + 8. Is l(-5) a composite number?
True
Let n = 82 - 168. Let d = -12 - n. Is d prime?
False
Let c = -40 - -12. Let y = -5 - c. Is y prime?
True
Suppose -3*i + 5*b + 1573 = 0, -b = -5*i + 1037 + 1570. Is i composite?
False
Is 3513/2 + (-3)/(-6) a prime number?
False
Suppose 0*d + 5*w = d + 5, 4*w - 16 = 0. Let y = d + -12. Is y a prime number?
True
Let o be 2*(-2)/(-4) + -59. Let d = 7 - o. Is d composite?
True
Let m(l) = -9*l**2 + 3. Let g be m(3). Let z = -47 - g. Is z prime?
True
Let m(x) = 64 - 20 + 41 - 3*x + 4*x. Is m(0) a composite number?
True
Let l be (-3)/2*48/(-9). Suppose -5*m + 55 = -5*z, -35 = -5*m + 2*z + l. Is m a prime number?
True
Suppose 6*d - 2651 = -137. Is d prime?
True
Let q = -1613 + 4950. Is q prime?
False
Let r(w) = w - 2. Let c be r(-4). Let h(k) = 11*k**2 + 3*k - 1. Is h(c) a prime number?
False
Suppose 3*q - 14 + 5 = 0. Suppose -q*k + 0*k + 57 = -5*b, -3*k + 57 = -b. Is k prime?
True
Let s(d) = d**3 - 5*d + 4. Let o be s(3). Let y = 95 - o. Is y a prime number?
True
Let s(i) = -2*i + 3. Let y be s(5). Let m(v) = -v**2 - 7*v + 6. Let h be m(y). Is (-27)/12*(-16)/h a composite number?
True
Let s = -184 + 264. Suppose 116 = 4*f + 4*g, -1 = g + 1. Let v = s - f. Is v a composite number?
True
Let h be ((-14)/(-4) + -2)*2. Suppose h*b - 54 - 165 = 0. Is -1*(1/(-1) - b) a prime number?
False
Let f be -2 + (118 - 1)/1. Let b = 27 - 15. Suppose -5*i + b = 3*r - f, 0 = -4*r + 16. Is i a prime number?
True
Suppose -834 + 3699 = 5*i. Is i a composite number?
True
Let p = -2 - -7. Suppose -k = -p*k + 8. Is (-6)/(-1 - k) - -75 a prime number?
False
Suppose -5*g = -2*n + 9833, 2*g = n - 3*g - 4924. Is n a composite number?
False
Let x = 105 + 160. Is x prime?
False
Suppose 0 = 3*g - 4746 - 5643. Is g composite?
False
Let m(o) = -3*o + 122. Let x(s) = s - 41. Let t(p) = 3*m(p) + 8*x(p). Is t(0) prime?
False
Suppose 5*c = 15, 4*h + 19 = c - 4. Is (-2)/h + (-68)/(-5) composite?
True
Suppose -53 = -5*l + 27. Suppose -2*q - v + 17 = -l, q - v - 12 = 0. Is q a prime number?
False
Let q = 30 + -5. Suppose -b = 2*o - 4*b - 23, -b + q = 4*o. Is o a prime number?
True
Suppose 6*f - 48 = 2*f. Suppose -r - f = -5*r, 0 = -2*q - 2*r + 12. Suppose 28 = o - 3*l + 4*l, -5*o - q*l = -130. Is o a composite number?
False
Let i be -227 + -2*(1 - 3). Let w = 640 - i. Is w a prime number?
True
Let h(s) = s + 1. Let m be ((-4)/(-16))/(2/8). Let x be h(m). Suppose -3*i + 75 = x*i. Is i composite?
True
Suppose 0*o + o - 2708 = 0. Suppose 5*j - o = -283. Is j composite?
True
Let h(w) = w**2 - 5*w - 9. Let x be h(7). Suppose -3*r + r + 3*b - x = 0, 0 = 4*b - 20. Let p(v) = v**3 - 4*v**2 - 5*v + 6. Is p(r) a prime number?
False
Let o be (32/20)/((-2)/(-5)). Suppose o = -f + 57. Is f a composite number?
False
Suppose -4*r + 2*w = -0*r - 16, 0 = -2*r - w + 4. Suppose r*p + p - 1636 = 0. Is p a prime number?
True
Suppose 14 = -4*a + 7*d - 2*d, 4*d - 10 = 3*a. Let p = a + 21. Is p*(24/9 + -1) composite?
True
Let p be ((-10)/4)/((-3)/6). Suppose -w + 69 = -o, p*w + 5*o = 2*w + 191. Is w prime?
True
Let t(o) = 3*o - 2. Let j be t(2). Suppose 5*v - v = -j*c + 144, -5*v - 153 = -4*c. Is c prime?
True
Suppose -2*w + 4*w - 826 = 0. Is w a composite number?
True
Let g(y) = 2*y**2 - 8*y + 9. Is g(-7) a composite number?
False
Suppose 3 = 2*o - 1. Let b be 6/o*(-4 - -1). Is (-4)/18 + (-191)/b composite?
True
Let r = 738 - 517. Is r prime?
False
Let t(p) = 66*p**2 + 6*p + 7. Is t(-3) composite?
True
Suppose -3*x + 5*c + 10 = 0, -2*x + 3*x = -5*c + 10. Suppose -3*p + 81 = p + 5*q, 0 = 4*p - x*q - 31. Is p composite?
True
Suppose -4*a + 375 = 5*y, -5*a + 360 + 116 = -y. Suppose a = -5*g + 360. Is g composite?
False
Suppose -4*g - 178 = -926. Is g prime?
False
Let n = 20 + -18. Suppose 22 + 8 = n*l. Is l prime?
False
Let u = -157 - -241. Suppose u = 2*c + 18. Is c a prime number?
False
Suppose 3*m = -o - 0*o + 197, 5*m - 3*o = 319. Let k = m + 26. Is k prime?
False
Let c be (3/6 - 1)*-20. Is (-3)/(-2) + 535/c prime?
False
Suppose -4*q = 361 - 1109. Is q composite?
True
Is 6/((-28)/(-6) + -4) a prime number?
False
Let o(p) = -p**3 + 11*p**2 + 15*p - 17. Is o(12) a prime number?
True
Is 5*1136/40 + (0 - 0) a prime number?
False
Let t = 1067 + -510. Is t composite?
False
Let v(x) = 17*x**2 + 5*x - 1. Is v(-7) a composite number?
False
Let k be -3*((-38)/2)/1. Is 1/(1 + (-54)/k) a composite number?
False
Suppose 10*s = 5*s + 5585. Is s a prime number?
True
Suppose 8*v + n = 3*v - 798, 0 = -v - 5*n - 174. Let q = -1 + 2. Is (q/1)/((-3)/v) prime?
True
Let p(l) = 5*l + 2. Let q be p(-2). Let x(m) = -m**3 - 9*m**2 - 11*m + 2. Is x(q) a composite number?
True
Let w be (-1)/(15/(-6) + 2). Let v(s) = 7*s**2 - 2*s**w - s + 4 + 0*s + 0. Is v(3) composite?
True
Suppose -5*d - 257 = -3*a, 2*a = -2*d + 245 - 47. Suppose 2*i - g - 14 = 37, 3*i + 2*g = a. Suppose 0 = -y - y + i. Is y composite?
True
Let p(o) = -o**3 + o**2 + 467. Let a be p(0). Suppose 5*j - a = 588. Is j a prime number?
True
Let n(d) = -d**3 - 4*d**2 + 4. Let o be n(-4). Suppose 5*g - 415 = o*h, 2*g - h = -0*g + 166. Is g composite?
False
Let c be (-1 + 2 - -1) + 0. Is ((-8)/(-12))/(c/42) a composite number?
True
Let f(j) = 5*j - 2. Let i(u) = -10*u + 4. Let h(k) = 9*f(k) + 4*i(k). Suppose 11 = 5*w - 14. Is h(w) a composite number?
False
Suppose -5*i = 4 + 26. Let u(r) = 2*r**2 + 1 - 7*r**2 - r + 2*r - r**3. Is u(i) composite?
False
Suppose 1 = 6*s - 7*s. Is -3 - (-19*21 - s) composite?
True
Let w be 70/(-7)*1/(-2). Suppose 1794 = w*b - 2606. Suppose 5*z + 105 - b = 0. Is z composite?
True
Suppose -x + 3*t = 1, 0*x - 5*t + 11 = 3*x. Suppose 10*m - 5*m + 5 = -w, w = -x*m - 5. Suppose m = -3*u - h + 6*h + 29, u + 1 = -h. Is u composite?
False
Suppose -1313 = -3*s - 122. Let h = -311 + 207. Let c = s + h. Is c composite?
False
Let c(r) be the first derivative of 16*r**2 + r + 1. Is c(8) prime?
True
Let y(p) = p**2 - 5*p + 3. Let r be y(4). Let l = r - -3. Suppose 2*s + 6 = g + 6*s, 0 = g + l*s - 16. Is g prime?
False
Let f = 381 + -118. Is f composite?
False
Let c(f) = -f**3 + 11*f**2 - 7*f - 5. Let k = 10 - 5. Suppose 15 + k = 2*s. Is c(s) prime?
False
Suppose 4*d + 5*t - 11 = 0, -2*t = -t - 3. Is ((-1)/d)/(2/12) a prime number?
False
Is 3*2/6*19 a composite number?
False
Let p = 194 + -107. Let o = 204 - 24. Suppose -3*g = -p - o. Is g composite?
False
Let d be 2/4*(6 - 2). Let h be d*((-81)/(-2) - 3). Suppose 2*v = l - h, -l + v + 47 = 6*v. Is l a composite number?
False
Let o(r) = -5*r**3 - 7*r**2 - 1. Is o(-5) prime?
True
Let l = 44 - 13. Is l a composite number?
False
Let u be ((-14)/(-4))/(1/(-22)). Suppose -9*l = -0*l + 1116. Let o = u - l. Is o a composite number?
False
Let i(y) = 6*y**2 - 7*y + 3. Is i(-8) a prime number?
True
Suppose m - 5 = 5*p, -2*m - 3*m + 25 = 3*p. Suppose 5*r + 5*t = 3*r + 318, 20 = m*t. Is r a composite number?
False
Suppose -4*p + 2*o = 88, 5*o = 3*p - p + 36. Let d = p + 69. Suppose j = d + 3. Is j a composite number?
True
Let f(d) = -d - 3. Let x be f(-4). Is x*(0/4 - -131) a composite number?
False
Let r = -2 - -3. Let g be ((-2)/(-2))/(5/15). Suppose 0 = -2*z + r + 9, -b = g*z - 74. Is b a prime number?
True
Let j(l) be the second derivative of -l**4/12 - 2*l**3/3 - l**2/2 - 2*l. Is j(-3) composite?
False
Let d(r) = -7*r + 19. Let a(t) = -20*t + 57. Let o(m) = 6*a(m) - 17*d(m). Is o(0) composite?
False
Let i(m) = -2*m**3 - 10*m**2 + m - 4. Let b be (-61)/9 - 2/9. Is i(b) a prime number?
False
Let c(z) = -z**3 + 4*z**2 - 4*z + 3. Let x be c(2). Suppose 0 = -b - x, b + 158 = r + 2*b. Is r composite?
True
Let w = -4 + 6. Suppose -2*i - 2*u + 18 = 2*u, -3*i - w*u + 35 = 0. Is i prime?
True
Let t = 16 + -20. Let i(c) be the third derivative of -c**6/120 - c**5/30 + 7*c**4/24 + 5*c**3/6 + 2*c**2. Is i(t) composite?
True
Suppose t - 79 = -21. Is t a composite number?
True
Suppose -5*x + 165 = -20. Is x prime?
True
Let m = 97 - 180. Suppose 1384 = 3*w + w. Let k = w + m. Is k a pr