*5/20 - 7*y**4/12 + 7*y**3/6 + 2*y**2 + y. Is o(7) prime?
True
Suppose c - 2*c + 10 = 5*k, -2*c - 3*k = -13. Let r be -1 + c + -2 + 31. Suppose -5*w = -2 - r. Is w composite?
False
Let i(v) = -v + 2*v**2 - 68 + 319 + 2*v - v**2. Is i(0) prime?
True
Let i = -255 + 360. Let z(t) = t**2 - 24*t + 2. Let x be z(24). Suppose i = x*b + b. Is b a composite number?
True
Suppose g = -18 + 369. Let r = g - 238. Is r prime?
True
Suppose -5*o - 811 = -3*y - 3*o, 2*o - 2 = 0. Is y a prime number?
True
Suppose -8*g + 4*g + 1436 = 0. Is g composite?
False
Suppose -4*x + 2324 = -0*x. Is x a composite number?
True
Suppose 8 = 3*k - 241. Is k prime?
True
Let s(x) = x**3 - 8*x**2 + 9*x + 3. Let f be s(7). Let m be ((-3)/(-2))/(6/40). Let b = f - m. Is b a prime number?
True
Is ((-1810)/30)/((-1)/9) a composite number?
True
Suppose -15 = -4*a + 5. Suppose 0 = m + 3*o - 50, 2*m + 0*m + a*o - 103 = 0. Is m a composite number?
False
Is 2*5/((-20)/(-722)) a prime number?
False
Let l = 258 - 489. Let n = -164 - l. Is n a composite number?
False
Let r(l) = l**3 + 13*l**2 + 15*l + 11. Is r(-10) a prime number?
False
Let a be (-2 - (0 + 0))*-1. Suppose -4*d + 2*j + 348 = -a*j, -2*d + 171 = -5*j. Suppose -w + 398 = 5*l, -d = -l - 0*l - 3*w. Is l a composite number?
False
Suppose 2*v - 1185 = -19. Is v a composite number?
True
Let i(s) = -10*s**3 - s + 1. Is i(-2) composite?
False
Suppose 238 = 2*m - 52. Is m prime?
False
Suppose -2113 = -2*s - s - 4*k, -2*s - k = -1412. Is s a prime number?
False
Suppose -14 = -2*f + 6. Suppose -n = -4*g + 26 - 196, 5*n = f. Let m = -5 - g. Is m a composite number?
False
Suppose 2*b + 1499 = 347. Let z = b + 820. Let j = z + -53. Is j a prime number?
True
Let g be 22/10 + (-1)/5. Suppose 3*i - 6 = 0, -i - 6 + g = -3*o. Suppose 0 = -o*u + 4*b + 60, 0*u = -4*u - 3*b + 98. Is u prime?
False
Let x(o) = 54*o + 6. Let s be x(-5). Let r = s - -421. Is r a composite number?
False
Let s(l) be the second derivative of -2*l**3/3 - l**2 + 2*l. Is s(-9) prime?
False
Suppose f - 882 = 1707. Is f*(-3)/(-9 + 0) a composite number?
False
Let p be 2/6 - (-70)/(-3). Let g = 52 + -94. Let h = p - g. Is h composite?
False
Is 7 + -7 - -1*59 a composite number?
False
Let s(x) = 609*x - 17. Is s(6) prime?
True
Let z(w) = -3*w**3 + 3*w**2 - 10*w + 1. Let q(a) = -a**3 + a**2 - a + 1. Let u(b) = -4*q(b) + z(b). Let x = 6 + -1. Is u(x) composite?
False
Suppose -4*m + a + 3019 = -1092, 0 = 5*m - 5*a - 5150. Is m prime?
False
Suppose -2*q - q = -18. Is ((-236)/q)/((-2)/3) composite?
False
Suppose 4*g - 2*g + 2*r - 1122 = 0, 3*g = 5*r + 1667. Is g composite?
True
Is -211*5/(0 + -5) a prime number?
True
Let k(b) = b**3 - 10*b**2 + 10*b - 7. Let u be k(9). Suppose 110 = y - 5*n, -u*y = 3*n - 258 + 25. Is y composite?
True
Let r(v) = -3*v**3 - 3*v**2 + 3*v - 5. Let x be -3 - (-3)/((-6)/2). Is r(x) a composite number?
False
Suppose 4*w - 3058 = -2*n, 1512 = n - w - 26. Is n prime?
False
Suppose -3*k = -4*i + 42 - 11, 8 = 2*i. Let l = k + 9. Let a(s) = 2*s**2 + 3*s + 5. Is a(l) a prime number?
False
Suppose -3*s - 2*s + 125 = 0. Suppose 0 = 5*d + s - 105. Suppose 5*x + d = 66. Is x prime?
False
Suppose -2*s = -9 + 3. Suppose 2*a = s*a - 89. Is a a prime number?
True
Suppose 0 = -2*j, -3*h - h = 4*j - 5304. Is (-2)/(-5) + h/10 a prime number?
False
Suppose -4*j - 24 = 2*a, 2*a - 2 = 2*j - 26. Let u = -7 - a. Suppose 0 = 3*w - u*w + 50. Is w composite?
True
Let o = -252 - -505. Is o prime?
False
Let z = 7 - 5. Suppose -2*h + 1650 = -5*v, -4087 = -5*h + v + z*v. Is h prime?
False
Is (-2320)/(-7) + 3/(-7) a prime number?
True
Suppose 9*p - 4666 = 7*p. Is p composite?
False
Let h = -3 + -5. Let f = 11 + h. Is f a prime number?
True
Suppose 0 = -3*z + 2*z - 13. Let c = z - -92. Is c composite?
False
Let p = 2199 + -1244. Is p a composite number?
True
Let m be ((-2)/3)/((-2)/9). Suppose -q + m*t + 409 = 0, 744 + 74 = 2*q + 2*t. Is q a composite number?
False
Suppose -5*h = -2*k - 15, 4*k - 2*k + h = 15. Suppose -4*l + k*l = 15. Is l a composite number?
True
Let o(k) = -4*k + 3*k**2 - 5*k - 2*k**2 + 14. Is o(8) a composite number?
True
Let a(i) = 2*i - 6. Let y be a(3). Let w(g) = g + 113. Is w(y) a prime number?
True
Let f(l) = -58*l**2 + l + 1. Let x be f(-6). Let w = -755 - x. Is (-2)/(-6)*w/2 a prime number?
True
Suppose -2*b + 5*b = 3. Suppose -2*t + a + 7 = 0, -t - 4*t - 5*a = -25. Is (b + 30/t)*14 composite?
True
Let b = 72 - -91. Is b prime?
True
Let g = 17 - 18. Is 1 - g - (-241 + 4) a prime number?
True
Suppose i + 2*o = -3*i - 14, 5*o = -25. Is 1*66/(i - -4) composite?
True
Let a(h) = -h - 12. Let x be a(-6). Is (-10)/15 + (-2278)/x a prime number?
True
Suppose -4*g + 2 = s - 0, -s - 3*g + 2 = 0. Suppose -s*h - 50 = -j + 3*h, -h = 4*j - 263. Is j prime?
False
Suppose 0 = 8*s - 3*s - 65. Is s composite?
False
Let x(h) = -h**3 - 3*h**2 - 6*h + 5. Is x(-11) a prime number?
True
Let t = 18 - 11. Suppose 0 = 3*b + 2 - 8. Suppose 15 = t*l - b*l. Is l composite?
False
Suppose 794 = 4*o - 2*x, 5*x = o + 4*o - 990. Is o composite?
False
Let y(o) be the first derivative of 17*o**2/2 - 10*o + 1. Is y(9) composite?
True
Suppose 5*c - 386 = 249. Is c composite?
False
Suppose 3*u + 0*u = 15. Let x be ((-16)/10)/(1/u). Let o = x + 18. Is o composite?
True
Let c(v) = 3 + 6*v + v**2 - 8 - 1. Let l be c(-6). Is (188/l)/(2/(-3)) prime?
True
Is (74/(-4))/(2/(-4)) prime?
True
Let z(k) = k**3 - 6*k**2 - 16*k + 32. Is z(13) a prime number?
False
Suppose -19*y + 23*y + 13247 = 3*m, 3*y - 13275 = -3*m. Is m composite?
False
Suppose -5*u = 49 + 1. Let d be -30*(264/u - -2). Suppose -136 = 4*i - d. Is i composite?
False
Suppose 836 - 133 = i. Is i composite?
True
Is (-17)/(2/(-2)) - -2 a prime number?
True
Let j(p) = 2*p**2 - 11*p + 10. Let f be 164/10 + (-6)/15. Let y = f - 9. Is j(y) prime?
True
Suppose -5*a = -2*v + 7, 51 = -5*v + v - 3*a. Let y = 6 + v. Let d(j) = -63*j - 4. Is d(y) a prime number?
False
Is (-162)/(-30) + -5 + 6903/5 a composite number?
False
Let o be (4 - -1)*(-8 + 31). Let z = o - 57. Is z a composite number?
True
Suppose 0*t - 5*t + 795 = 0. Suppose -t = 2*i - 5*i. Is i a prime number?
True
Let a = -2 + 7. Suppose d = -2*y - 2*y + 19, 16 = d + a*y. Is d a prime number?
True
Let q be -3 - -1 - -2 - -223. Suppose k + 0*k = q. Is k a composite number?
False
Let g(i) = -3*i**3 - i + 1. Let y(v) = v**3 + v**2. Let l(b) = g(b) + 4*y(b). Is l(-2) prime?
True
Let f be (-2 + 0)*74/4. Let n = -19 - f. Let y = n + -8. Is y prime?
False
Let j(w) = 0 - 3 + 1 - 3*w. Let c be j(-2). Suppose 2*m = 4*n + 58, -c*m - m + n + 181 = 0. Is m prime?
True
Let w be 246/(-4) + 6/(-12). Let t = w - -44. Is (-4)/18 - 1210/t a composite number?
False
Suppose -4*c + q = -30, 0 = -c + 4*q - 0*q. Let v be -3*(c/(-3) - -2). Suppose -v*b - 3*b = 5*i - 225, -61 = -i + 3*b. Is i a prime number?
False
Let b(u) be the third derivative of -3*u**4/4 - 13*u**3/6 + 4*u**2. Is b(-9) a composite number?
False
Suppose 0 = n - 5*n + 236. Is n prime?
True
Let m(d) = d**3 + 2*d - 1. Let f(n) = n**2 - 3*n + 3. Let t be f(2). Let i be m(t). Suppose -i*o = -4*o + 14. Is o a composite number?
False
Suppose -35 = -5*i + 5*v + 570, -3*i + 4*v = -364. Suppose 3*n - 7 - 8 = 0. Suppose n*z = -50 + i. Is z composite?
True
Let l = -482 + 1381. Is l a prime number?
False
Let x be (-3)/9 + (-2)/3. Let f be (2 - x) + 7*1. Let y(m) = -m**2 + 14*m - 3. Is y(f) prime?
True
Suppose -2*x - j = -2 - 23, 3*j - 45 = -4*x. Is 13*(-3)/((-9)/x) a prime number?
False
Let m(j) = -11*j - 1. Let a be m(-3). Suppose -2*w = -a - 60. Let h = -33 + w. Is h a prime number?
True
Let o(x) = 3*x - x**2 - 3*x - 4 - 4*x - 2*x. Let k be o(-3). Suppose k*z = -0*h - 3*h + 32, -3*h + 3*z = -48. Is h a composite number?
True
Suppose 1 + 15 = 4*m. Let s be ((-26)/(-3))/(12/18). Suppose s = -m*h + 105. Is h a prime number?
True
Let x(d) = 25*d**2 - 11*d + 7. Let c(t) = 26*t**2 - 10*t + 7. Let s(v) = 5*c(v) - 4*x(v). Is s(-5) a composite number?
False
Let s(a) = 2*a**3 + 2*a - 1. Let t be s(1). Suppose -2*p + t = -3. Suppose -p*m + 54 + 51 = 0. Is m a prime number?
False
Suppose -4*x + 405 = -0*x + w, -x = -2*w - 108. Suppose x = o - 109. Is o prime?
True
Let j be 6/3 + (4 - 2). Suppose -2*n + 7*n - 9 = -j*o, 3*n + 2*o - 7 = 0. Suppose -2*z + 186 = -4*w, 775 - 23