True
Suppose 0 = i + 3*w - 6, 2*i - 16 + 1 = -5*w. Is i prime?
False
Let s = -941 + 2079. Is s prime?
False
Let r be ((-6)/(-8))/((-2)/(-8)). Suppose 5*c + 0 = 5. Suppose 0 = r*l + c - 31. Is l prime?
False
Suppose 3*v = -5*m + 8200, m + m - 5*v - 3249 = 0. Is m a composite number?
False
Suppose 2*f = 2 - 0, -4*z + 4*f = -12. Suppose o + 2 = 0, -x - 3*x - o + 2 = 0. Is (-25)/x*(-5 + z) a composite number?
True
Let i = 1625 - 306. Suppose -1662 = -3*n + 3*s, 2*n + 2*s + 215 = i. Is n composite?
True
Let i = 2 - -3. Is 0 + (12 - 1)*i a composite number?
True
Suppose -3*k = -k - 3*g - 23, -g = -2*k + 21. Is k prime?
False
Suppose 221 = 5*a - 264. Is a a composite number?
False
Suppose 0 = 5*g - 12803 + 1208. Suppose -3*m = -4*a + 2*m + g, -3*a + 1733 = -5*m. Suppose 5*t - 209 = a. Is t a composite number?
True
Is (3/3)/(3/609) composite?
True
Suppose 50 = -5*j + 4*j + f, 5*j + 2*f + 285 = 0. Let x = j + 81. Is x a prime number?
False
Let y be 3/(-12) + 1995/12. Suppose 0 = -r - r + y. Suppose -4*w = 3*n - r, -4*n + w + 20 = -116. Is n a prime number?
False
Suppose -4*u + 1928 = 356. Suppose -u = -5*d + 3*h - 4*h, -h - 239 = -3*d. Is d composite?
False
Let i(o) = 25*o - 17. Is i(8) composite?
True
Let z be 3/(-1) + 0 + 9. Suppose z*h = 2*h + 412. Suppose 5*s = 5*d - 165, -4*s = 2*d - h + 13. Is d composite?
False
Suppose -3*s - 2*s - c = -1740, -4*c - 327 = -s. Let d = 606 - s. Is d a prime number?
False
Is 2770*(-5 + 0)/(-10) a composite number?
True
Suppose 5*o + 4*k + 1358 = 0, -262 = o - 7*k + 3*k. Let s(h) = 22*h + 3. Let w be s(-5). Let u = w - o. Is u composite?
False
Is (-3 - -4)/(9/4689) composite?
False
Let u be ((-2)/(-3))/((-2)/(-15)). Suppose 0 = -u*r + 539 - 69. Is r composite?
True
Let d = 119 + -219. Let r = d - -203. Is r composite?
False
Suppose 5*k - 1160 = 3895. Is k prime?
False
Let c = 5 + -3. Suppose -c*k - 3 - 1 = 0. Is k + 3 + 32 - -2 prime?
False
Let f = 73 - 11. Suppose 3*v + 3*u = 339, -2*v + 280 = -2*u + f. Is v composite?
True
Suppose -5*j = -8*j - 171. Let w = j + 184. Is w prime?
True
Let q = -5 + 6. Let j be q + 228/(6/3). Suppose -s = -2*s + j. Is s prime?
False
Let y = 152 + 227. Is y a composite number?
False
Is 310 + 0 + (-1)/(-1) a prime number?
True
Let c = -33 + 56. Is c a prime number?
True
Suppose 3*c + 3165 = 18*c. Is c a prime number?
True
Let d be 683/3 + (-7)/(-21). Suppose 5*p + 4*a - d = p, p = a + 63. Suppose -y + 37 + p = 0. Is y composite?
False
Let w(n) = 8*n**2 + 8*n + 2. Let s be w(7). Let t = s + -152. Is t a composite number?
True
Suppose -104 = -3*v + 145. Is v composite?
False
Suppose -8*f = y - 3*f - 311, y - 4*f = 275. Is y a prime number?
False
Let w(a) = 15*a**3 - a**2 + 2*a + 1. Let x be (-2)/5 - 12/(-5). Is w(x) a prime number?
False
Is 332 - -1 - (-3)/(-6)*4 a composite number?
False
Suppose 5*j + 10 = 0, -517 = -5*k + 5*j + 1033. Let i = 521 - k. Is i a prime number?
False
Suppose 2*b - 3 = 11. Let o(v) = 7*v**3 - 13*v - 1. Let a(p) = 8*p**3 - 14*p. Let z(y) = -6*a(y) + 7*o(y). Is z(b) a composite number?
True
Let i = -9 - -15. Suppose -i*y - 257 = -7*y. Is y prime?
True
Let h be 30 - (3 + 2 + -3). Let t = 51 - h. Is t a composite number?
False
Let l be 3/(2*3)*-22. Let w = l + 21. Let s = w - 3. Is s composite?
False
Is (-1)/(-2) - 41*54/(-12) composite?
True
Suppose 3216 + 1071 = 4*f + l, -3*f = 5*l - 3194. Is f a composite number?
True
Let o(j) = j**3 + 4*j**2 - 8*j + 3. Let h be o(-6). Let y be (5/3)/(3/270). Let x = h + y. Is x a composite number?
True
Let r(n) = -n**3 + 6*n**2 + 7*n + 2. Let t be r(7). Let l(a) be the first derivative of 11*a**4/4 + a**3 - 3*a**2/2 + 3*a + 3. Is l(t) prime?
True
Let c(f) = -10*f + 2. Let h(g) = -g. Let j(y) = -3*c(y) + 21*h(y). Suppose -2*a - 8 + 22 = 0. Is j(a) prime?
False
Let n = 1007 - 154. Is n composite?
False
Let x(h) = 3*h + 10. Let k be x(-6). Let l = k + 75. Is l prime?
True
Let p(w) = -w**2 + 4*w. Let b be p(3). Suppose 4*f + 2*r - 42 = 0, f + 0 = b*r + 7. Let i = 55 + f. Is i composite?
True
Let q(u) be the first derivative of u**4/6 + u**3/2 - 2*u - 1. Let b(d) be the first derivative of q(d). Is b(5) a prime number?
False
Let w be ((-32)/(-20))/(2/10). Suppose 4*n + 12 = 0, 0 = -w*x + 4*x - 4*n + 192. Suppose i + c - x = -0*i, i = 3*c + 51. Is i a composite number?
True
Let b be (-1)/(0 - (-3)/114). Let z = -15 + -4. Let u = z - b. Is u prime?
True
Suppose -6 = -4*b + 6. Let y be b*(1 + (9 - 0)). Let i = y + 5. Is i composite?
True
Let l(y) = y**3 - 3*y**2. Let z be l(3). Suppose 0 = -z*c + 4*c - 76. Let i = c + 2. Is i composite?
True
Let h = 873 + -358. Is h prime?
False
Let p be -1 + (3 + 0)*1. Suppose -3*h = 5 - p. Is 1 - (h - 225/3) a composite number?
True
Let q be (3 - 0) + (0 - 0). Let x be (-3)/q - (0 + -3). Suppose -3*y - x*y + 3*c = -461, -y - 3*c = -85. Is y a composite number?
True
Suppose 4*d + 15 = 27. Let p(g) = -g**2 + 4*g + 5. Let a be p(5). Suppose -4*o = -5*z + 67, d*o + 42 = 3*z - a*o. Is z prime?
True
Suppose 0 = 4*o + 4, 8*h = 3*h + 5*o + 190. Is h prime?
True
Let f(d) = d**2 - 19*d - 20. Let k be f(17). Let n = 85 + k. Is n a prime number?
True
Suppose g + 52 = -3*q, -2*g - 3*g = -5*q + 300. Suppose -4*z - 5*h + h = 156, 5*z + 3*h + 195 = 0. Let x = z - g. Is x a prime number?
True
Suppose 16294 = 5*r - 2671. Is r a prime number?
True
Let g = -3 - -5. Suppose 5*z = -b - g*b + 170, -3*z - 2*b + 103 = 0. Is z composite?
False
Suppose -m + 0*m + 28 = 5*l, 3*l - 4*m = 3. Let f(t) = 24*t + 7. Is f(l) a composite number?
False
Let q(z) = z**2 - 12*z + 13. Let c be (-2)/(-2) + 13 - 3. Let h be q(c). Suppose s - 79 = 3*a + h*a, 5*a = -4*s + 291. Is s composite?
True
Let g(j) = 2*j**2 + 4*j + 1. Let w be (-2)/(-7) + (-99)/(-21). Is g(w) composite?
False
Suppose -3*v + 0*v = -336. Let z = v + -57. Is z prime?
False
Suppose 0 = -2*i + 6*d - 2*d - 44, -3*i - 4*d = 56. Let n be 24/i*1*-5. Let y(q) = q**3 - 7*q**2 + 8*q - 3. Is y(n) a composite number?
True
Let u be 1/(((-8)/(-10))/(-4)). Let f(k) = k + 7. Let c be f(u). Suppose -235 = -7*y + c*y. Is y composite?
False
Suppose o - 3*s = -7, 5*s - s = -4*o + 20. Let c = -9 + 14. Suppose -c*z + 75 = -2*w - 32, o*z + 3*w = 39. Is z a composite number?
True
Suppose 4*i = 3*i + 4. Suppose -i*x + 4*v = 224, -3*x - 5*v + 40 = -4*x. Is ((-1)/2)/(3/x) a composite number?
True
Suppose -6*t + 4713 = 1755. Is t composite?
True
Let d = -74 - -235. Is d a prime number?
False
Let d(r) = 17*r**2 - 5*r - 9. Let y be d(7). Suppose 4*s = 3*s + y. Is s a composite number?
True
Suppose -2 = -3*h + h. Let u = 1 + h. Suppose -3*s = -w - 7*s + 18, u*w = 2*s + 16. Is w prime?
False
Let y(o) = -o**3 - 2*o**2 + 2*o + 2. Let p be (-14)/8 + (-2)/8. Let c be y(p). Is 4/((-4)/(-5)) - c a composite number?
False
Let k = -74 - -153. Is k a composite number?
False
Suppose -3*w - 3*m = -8*m - 19, 4*w + 4*m + 28 = 0. Is (370/5)/(w/(-1)) a prime number?
True
Suppose 0 = -4*g + 2*g + 40. Let x be (g/6)/((-4)/(-6)). Is (x - 4)/(1/155) composite?
True
Suppose -5*v = -v. Suppose -5*p + p + 804 = v. Is p a prime number?
False
Suppose 159 = 4*a + 839. Let q = 289 + a. Is q composite?
True
Let t = 6 - -2. Let z = 35 - -4. Let h = z - t. Is h prime?
True
Suppose 2*w - 14 = -64. Let i = 46 + w. Is i prime?
False
Let a(y) = -3*y - 3 - y**3 + 2*y**2 + 0 + 2*y**3. Let n be a(-2). Let t = n + 3. Is t a prime number?
False
Let t(r) be the first derivative of 31*r**3/3 - 5*r**2/2 - 7*r - 5. Is t(-3) a prime number?
False
Let w be -139 - -6*(-3)/(-6). Let k = -77 - w. Is k a prime number?
True
Suppose -3 = 3*t, 0 = 3*z - 2*t + 17 - 256. Is z prime?
True
Suppose c = -1 - 4. Let i(z) = -z**3 - 3*z**2 - 3*z + 6. Let b be i(c). Let m = 122 - b. Is m prime?
False
Let n = -78 + 22. Is (n - -1)/(-6 + 5) a prime number?
False
Is (3 - 15)/3 + 198 a composite number?
True
Let o(q) = 15*q - 3. Let l be o(2). Let i = l - 9. Let m = -4 + i. Is m prime?
False
Let b be (7/2 + 0)*-6. Let r be b/(-2)*(1 - -1). Suppose v = 4*v - r. Is v prime?
True
Suppose -4*r + 0*r = -88. Suppose c = 2*c - r. Is c prime?
False
Let g(d) = 204*d**2 - d - 1. Let y be g(-1). Suppose -m + 23 = 3*o - 24, -4*m - 4*o = -y. Suppose 3*t - 3*j = 37 + 11, 0 = -3*t + 4*j + m. Is t a prime number?
True
Let l = -52 + 234. Suppose -4*k + l = -2*k. Is k a prime numb