t p(b) = -8*b - 1. Let s be p(-4). Let d = s + -5. Suppose -4*o + 34 = -d. Is o prime?
False
Suppose 3*m - r = 2*m + 1757, 3*m - 5269 = 5*r. Suppose 3*l - l = m. Is l composite?
True
Suppose -5*v + 3*m + 27790 = 0, 0 = 5*v - 2*m - 39277 + 11482. Let r = -3334 + v. Is r prime?
False
Let l(x) = -2*x - 4. Let p be l(-3). Suppose -p*z - z = -15. Suppose -y - 4*s + 53 = -4, -s + 190 = z*y. Is y a composite number?
False
Let v = -160 - -163. Is ((-7881)/6 - v)*(-1 - 1) a composite number?
False
Let c be -1 + 9/(-1) + (-6 - -9). Let z(h) = -152*h + 23. Is z(c) prime?
True
Suppose 22*g + 243 = 13*g. Let r(t) = -t**2 - t + 4. Let a be r(0). Is (-5691)/g - a/(-18) a composite number?
False
Let k(a) = 237*a + 6. Let f be k(7). Let v = -76 + f. Is v a composite number?
True
Is 5 + -1224*(-102)/12 composite?
True
Let b = 13932 + 7655. Is b a composite number?
False
Suppose 4*q - 25 = -q. Let w = -1 + q. Suppose 257 = -3*y + w*y. Is y a prime number?
True
Suppose 4*i + 2*p = 5*i - 485, p = -i + 485. Is i composite?
True
Suppose -f - 14469 = -i, 0*f = -f + 1. Is i/50 + -3*2/15 prime?
False
Suppose 6 = -2*y, 0 = 6*f - 8*f + 4*y + 1834. Is f a prime number?
True
Let j(v) = -3*v**2 + 8 + 2*v - 5*v**2 - v**3 + 22*v - 7*v**2. Is j(-17) prime?
False
Let f(a) = -2353*a + 306. Is f(-5) composite?
False
Let p be (5 - 0)*(0 - 47). Let y = 456 + p. Suppose -5*k + y = 3*z - 263, -4*k - 5*z = -395. Is k a composite number?
True
Let u(k) = 261*k**3 + 9*k**2 + 13*k - 144. Is u(7) prime?
False
Let g(z) = -z**2 + 3*z + 3. Let r be g(3). Let v(u) = 130*u + 19. Is v(r) composite?
False
Suppose -2*q = -3*q + 1361. Is q a prime number?
True
Let j(m) = 31*m**2 - 8*m + 5. Let a(x) = 61*x**2 - 15*x + 10. Let z(o) = 6*a(o) - 11*j(o). Let y be 4 - 4/(-10) - 4/10. Is z(y) prime?
True
Suppose 7*b - 8*b + 2066 = -3*g, 5*g = 4*b - 8292. Is b a composite number?
True
Let w = 437 + -1531. Let s = w - -2305. Is s prime?
False
Let m = 139 + 3000. Let y = -1448 + m. Is y composite?
True
Let t(x) = x**2 + 581. Let z = -44 + 44. Is t(z) a prime number?
False
Let u(z) = -z**2 + 3*z + 3. Suppose 0 = 3*s - 3 - 6. Let n be u(s). Suppose -82 + 25 = -n*g. Is g composite?
False
Suppose 0*d - 18 = 2*b - 2*d, 5 = -b - d. Let z = 12 + b. Suppose z*o - 3*h - 1880 = 0, -3*h - 2*h - 1112 = -3*o. Is o a prime number?
True
Let n be (-2)/3*(-450)/(-20). Is (1*5 - (-10)/n)*201 prime?
False
Suppose 33*m - 11060 = 5*m. Is m composite?
True
Let t(g) = 1036*g + 29. Is t(3) a prime number?
True
Let l(q) = -3*q**3 - 9*q**2 + 5*q - 6. Let i = -36 + 28. Is l(i) prime?
False
Let d be (-2)/7 - (-4)/14. Suppose 0 = i - d*i - 1. Is i/(4/1352) - 1 a composite number?
False
Let q(s) = s**2 + 4*s + 5. Let f be q(-4). Let j = f + -3. Suppose v - 2*u - 35 = 0, -j*v - 4*u = -0*v - 54. Is v composite?
False
Let c = 11 - 24. Let z = -12 - c. Let o(g) = 200*g**3 - g**2 + g - 1. Is o(z) composite?
False
Suppose -5*p + 2*r = -1468, 4*p - 3*r - 1464 + 284 = 0. Suppose -p - 482 = -18*b. Is b a composite number?
False
Let c(a) = -5*a**3 - 24*a**2 - 30*a + 35. Is c(-18) a composite number?
True
Let y be ((-3)/(-6))/((-3)/(-36)). Is ((-1)/(-6)*782)/(2/y) prime?
False
Let x be (-1*6)/((-12)/8). Let r be (62/5)/(((-30)/3)/(-5750)). Suppose -x*w = -r + 1758. Is w composite?
True
Let z = 5021 + 5645. Is z composite?
True
Suppose -115206 = -26*h - 4212. Is h prime?
False
Let f = 17 + -119. Let z = f + 236. Is z a composite number?
True
Is 238749/14*(-6)/(-9) a prime number?
True
Let m = -1721 - -562. Let n = m - -2182. Suppose -3*u + 2*u - 4*r = -n, -u + 1018 = 5*r. Is u a prime number?
False
Let b = 18 + -13. Suppose -4*w + b*w - 631 = 0. Is w prime?
True
Is (276 - -2)*(-1305)/(-30) - -4 composite?
False
Let r(x) = -x**3 - 21*x**2 + 37*x - 73. Is r(-32) a composite number?
False
Is (-2)/((-4)/(-6))*83734/(-42) a prime number?
True
Let v(b) = -4*b**3 - 7*b**2 + 4*b - 15. Is v(-6) a prime number?
False
Suppose g = 4*y - 6, -3*y + 2*g = -2*g + 2. Let v be (2 - (y - -73)) + 4. Let s = 136 + v. Is s composite?
False
Let l = 618 - 434. Let u be ((-3)/(-9))/((-5 + 7)/822). Suppose c - u = l. Is c a composite number?
True
Let m = -14 - -2. Let y be 105/m + 1/(-4). Is (-8)/36 - 2585/y composite?
True
Suppose 3*x = -56 - 46. Let k = x - -35. Is (k - (0 + 4)) + 392 a composite number?
False
Let t(d) = 41*d + 15. Let y(r) = r + 1. Let w(f) = -t(f) - 2*y(f). Is w(-10) a prime number?
False
Let m be 24/(-9)*6/(-4). Suppose -n = m*n - 635. Is n prime?
True
Suppose -15 = 3*j - 3, 3*i = -3*j + 8805. Is i a composite number?
False
Let z = -26 - -30. Suppose -z*n + 6*n - 5870 = 0. Is n a prime number?
False
Let w(z) = -z**3 + 37. Suppose x + 22 + 10 = 3*j, x = -4*j + 52. Let s = 12 - j. Is w(s) composite?
False
Let c(o) = 803*o - 6. Is c(1) a composite number?
False
Let q = -109 - -312. Is q a composite number?
True
Let p = 2 + 2. Suppose 0 = -p*b - 568 + 2228. Is b composite?
True
Let s(g) = g**3 - 6*g**2 + 6*g - 2. Let m be s(5). Suppose m*t - t - 1002 = 0. Let u = -284 + t. Is u composite?
True
Let d(v) = 4*v - 10. Let p be d(4). Let j(x) = 1 + 3 - 5*x - p + 6*x**2. Is j(5) prime?
False
Let t = -5 - -9. Suppose -4*q = t*m - 560, 3*m - 4*q = q + 412. Suppose -3*u = -p - m, 4*u + p - 196 = -3*p. Is u a composite number?
False
Let u be (-1 - 6/(-10))*5 + 314. Suppose 2*a + 4663 = 3*d, -d + 1238 + u = -5*a. Is d composite?
True
Suppose -2*h = 4*l - 20826, -4*h = 3*l - 6*h - 15637. Is l a prime number?
True
Suppose 6728 = 2*j - 6738. Is j a prime number?
True
Let x(l) = -464*l**3 + 3*l + 2. Is x(-1) prime?
True
Let y = -62 + 62. Suppose k - 4 = 0, -r + k + 302 + 1083 = y. Is r composite?
True
Let z = -37907 - -70012. Is z a composite number?
True
Suppose -5*v = -4*w + 83719, -w - 3*v = -6*v - 20935. Suppose -8*a + 3946 = -w. Is a composite?
False
Let c(y) = 3*y**3 + 4*y**2 - 2*y - 3. Let q(o) = o**3 + o**2 - o**3 - 1 + o**3. Let f(s) = -c(s) + 5*q(s). Is f(3) composite?
False
Let r be (-12)/(-54) - 1258/(-9). Let o = r - 63. Is o a prime number?
False
Let h(s) = 2*s**2 + 16*s + 15. Let g = 108 + -94. Is h(g) a prime number?
True
Let s(u) = -458*u**3 + 9*u**2 + 5*u + 15. Is s(-4) a composite number?
True
Suppose 13*p - 81730 = 160499. Is p composite?
True
Suppose -5*s = -5 - 22560. Is s composite?
False
Suppose -5*l + 9377 = 3*f - 0*l, 4*l = -5*f + 15611. Suppose 5*c + 3*b - 792 + 4694 = 0, 5*b = -4*c - f. Let q = c - -1302. Is q prime?
True
Is ((-201)/2)/((-9)/78) a prime number?
False
Let q(o) = -1338*o**3 - 4*o**2 - 8*o + 1. Is q(-2) prime?
False
Suppose -9*h = -10*h + 134. Is -2 + (h - 2) - 3 prime?
True
Suppose -7*k + 16778 = -15569. Is k prime?
True
Let x = 318 + -56. Suppose -4*u + 382 = -x. Is u composite?
True
Let l be 4 - 7 - (-7 - -1). Let z be 1007/3 - (-8)/(-12). Suppose -z = -l*i + 136. Is i prime?
True
Let o(w) = w**3 + 5. Suppose 0 = 5*t - 2*t - 2*v, -2*t = 5*v. Let n be o(t). Suppose 0 = 4*x + 2*p - 1986, n*p = -x + 237 + 237. Is x prime?
True
Let x(i) = -9*i + 8. Let l(r) = -r**3 + 5*r**2 + 8*r - 2. Let f be l(6). Let c be -18*(f/4 + -2). Is x(c) a prime number?
True
Let i(b) = -b**3 - 4*b**2 - 34*b + 14. Is i(-15) a prime number?
True
Is (-2)/(-11) - (-11 + 2968320/(-165)) a composite number?
True
Let x(t) = 10*t**2 + 15*t + 95. Let n be x(-12). Suppose 99 + 1837 = m. Let p = m - n. Is p prime?
False
Suppose 19*f = 27519 + 7232. Is f a composite number?
True
Let s(m) = 3*m**2 + 50*m - 31. Is s(22) prime?
True
Let o(w) = 144*w + 2 - 33*w**2 - 144*w. Let x be o(16). Is x/(-18) - (-28)/(-126) composite?
True
Suppose 61320 = -6*a + 195738. Is a prime?
False
Suppose 4*w = 6*w. Suppose w = 2*q - 3*n - 3 - 23, 4*n + 18 = q. Is ((-134)/(-10))/(2/q) composite?
False
Suppose -2*m + 4*s + 62833 = -72081, -2*s = 10. Is m composite?
False
Let n(a) = 24*a - 3. Is n(30) a prime number?
False
Let n = -974 + 1918. Let x = n + -567. Is x prime?
False
Suppose -3*z + 0*z + 7394 = 5*a, -12360 = -5*z - a. Is z prime?
True
Let g(l) = 3*l**2 + l + 1. Let u = 11 - 9. Suppose -u*t = 4 - 10. Is g(t) composite?
False
Let t(m) = 2*m + 4. Let p be t(-7). Is 4 + 2570 + (-5 - p) prime?
True
Suppose 11*v = 8*v + 294. Let x = 189 - v. Is x a composite number?
True
Let a = 18474 + -10055. Is a prime?
True
Let l(j) = j**3 + 12*j**2 - 12*j + 18. Let p be l(9). Suppose -10*z = 