4*b + 1370 + m. Is b composite?
False
Suppose -m - 9*l = -12*l - 19721, -3*m + 59203 = l. Is m prime?
False
Suppose 0*b = b. Suppose -6*j + 3*j + 84 = b. Let u = j - -11. Is u composite?
True
Let y(s) = 373*s**2 - 2*s. Let i be y(1). Suppose 3*v - 4*w + 2*w = i, -4*w = 4*v - 528. Is v a composite number?
False
Let a be ((-48)/120)/(2/10). Let f(j) = -111*j + 1. Is f(a) prime?
True
Let k be 6/((-9)/6*-1). Suppose 2*g + k = g. Is (339/(g - -1))/(-1) prime?
True
Suppose 0 = -3*v - v + 1776. Let y = 1692 - v. Let l = 1813 - y. Is l prime?
False
Let n(u) = -21*u + 48*u + 18*u - 70 + 48*u. Is n(17) a prime number?
True
Suppose 3*h = -0*h + 12. Let o(c) = 5*c + 3 + h + 1 - 194*c. Is o(-5) a composite number?
False
Suppose 6*c = 2*c + 20. Suppose -m - 5*d + 1161 = 0, 0*m = 3*m + c*d - 3463. Is m prime?
True
Let z(b) = 2*b**3 + b**2 - 9*b - 9. Let t be z(-9). Let i = -398 - t. Is i prime?
True
Is -15 - -21 - (-19382 + 1) a prime number?
True
Let c(i) = i**2 - 4*i - 8. Let t be c(-4). Let j(q) = 27*q**2 - t*q**2 - 82 + 77 + 81*q**2. Is j(2) prime?
True
Let w(l) = l + 30. Let j be w(-15). Is 292 - j/10*-2 composite?
True
Let y(p) = 4305*p**2 + 4*p + 1. Is y(-2) composite?
True
Let a be (-66)/(-14) + (-6)/(-21). Suppose -423 = -a*n + 92. Is n prime?
True
Let x be (3/2)/((-5)/(-1560)). Suppose 4*a + 4*v = 384, -5*a + v + x = -0*v. Is a a prime number?
False
Let n(y) = 2000*y - 191. Is n(3) prime?
False
Let y be 4 + (-8)/(-4) - 1. Let o be 6/(-4)*(2 + -12). Is y/o + (-663)/(-9) a prime number?
False
Suppose 0 = 18*c - 44*c + 346502. Is c a prime number?
True
Let k = -97 - -113. Is 4/k*-662*(0 + -2) prime?
True
Let g(r) = 56*r**2 + 52*r + 601. Is g(-20) a prime number?
True
Suppose 2*p - 5*p = -24. Suppose -1571 = p*n - 4203. Is n a prime number?
False
Let a(g) = -66*g + 13. Suppose 41*r - 43*r - 6 = 0. Is a(r) prime?
True
Let b be 2/6 + 12940/(-36)*-15. Let p = b - 3599. Is p composite?
True
Suppose 635 = 4*z + 3*n, 5*z - 814 = 7*n - 4*n. Is z prime?
False
Suppose 0*h - 3*u = -4*h + 46, -2*u = -2*h + 22. Suppose -12*z - 373 = -h*z. Is z a composite number?
False
Suppose -2*p = -470 - 390. Suppose 3*d - 1719 = -5*w, -2*w - p = -2*d + 716. Is d a prime number?
False
Suppose 0 = c - 5, f + 5 + 0 = 2*c. Suppose -f*v + 777 = 2847. Let p = 745 + v. Is p prime?
True
Let o(g) = g**3 - 8*g**2 - 10*g + 11. Let n be o(9). Let d be (n/3)/((-6)/(-45)). Suppose j = 4*m - 88, -j + d*j = 4*m - 100. Is m a composite number?
True
Let s = -13 + 7. Let o(j) = -7*j**2 - 5*j + 1. Let r(x) = x**2 - x. Let g(k) = o(k) + 6*r(k). Is g(s) a prime number?
True
Let u(r) be the third derivative of -1/120*r**6 + 1/10*r**5 + 0*r + 0 + 1/8*r**4 + 1/2*r**3 - r**2. Is u(5) a prime number?
True
Let q = 10488 - -8135. Is q a composite number?
True
Suppose -3*l - 37*l = -60280. Is l a prime number?
False
Let f = -600 - -1339. Is f composite?
False
Let s = 7 + -5. Suppose 2*j - 3*h = 472, j - 727 = -s*j - 5*h. Is j composite?
False
Let g = -664 - -1334. Suppose 4*w + g = 5*r, -5*w = 5*r - 0*w - 670. Is r prime?
False
Suppose -4*z + z + 4*f - 193 = 0, -3*z - 228 = 3*f. Is (6 + -4)*-2 - z a prime number?
True
Let g be (-24)/56 - ((-10)/7 - -1). Suppose 2*h = g, -2*d + 3*h + 144 = -430. Is d a composite number?
True
Suppose -7*j = 555 - 11979. Suppose -6*r = -642 - j. Is r a composite number?
False
Let z be 11/11 - (-2)/2. Suppose -795 = -5*p - z*f, -3*p + 6*f - 3*f + 498 = 0. Is p composite?
True
Let o = 277 + -111. Let m = o + 277. Is m composite?
False
Let v be (336/(-20))/(4/(-10)). Suppose p = 4*p - v. Is p a composite number?
True
Let s(j) be the third derivative of -j**6/15 - j**5/60 - j**4/3 - 19*j**3/6 + 7*j**2. Let f(z) = -8*z**3 - 7*z - 18. Let q(i) = 6*f(i) - 5*s(i). Is q(-4) prime?
True
Let q(m) = -371*m + 6. Suppose 2*t = t - 5*b + 2, -3*t - b = 8. Is q(t) prime?
False
Let z(c) = 2786*c**2 - c + 1. Let g be z(2). Suppose -11119 = -b + 3*y, -3*y + g = b + 2*y. Is 4/14 - b/(-56) prime?
True
Let q = -2 + -8. Let v = q - -7. Is 2 - (v + -95 - 3) a prime number?
True
Suppose 2 - 12 = -2*n. Suppose 0 = 4*o + 2*u - 942, o + n*u - 214 = 44. Is o a prime number?
True
Let a(x) be the second derivative of x**4/12 - x**3/3 - x**2 + 3*x. Let m be (34/1)/(-3 - -5). Is a(m) a prime number?
False
Suppose 3*g + 5*o = 25064, 0*g = -4*g - 2*o + 33414. Is g a composite number?
False
Let f = -2832 - -3055. Is f a composite number?
False
Let q(c) = -c**3 - 3*c**2 - 5*c - 3. Let y be q(-4). Suppose -y*r + 27*r = -4014. Is r a composite number?
True
Suppose 0 = 5*h - 3*x - 71, -x + 6 = x. Suppose -5*a = -a - h. Suppose 0 = 4*b + 5*c - 679, 4*b + a*c - 220 - 456 = 0. Is b composite?
True
Let n(b) = b**3 + 29*b**2 + 6*b + 61. Is n(-17) composite?
True
Suppose -10 = -5*v, 2*x - 5 = v + 9. Suppose -5*q = -9*q + x. Suppose -4*w + 5*w = -2*l + 20, q*w + 4 = 0. Is l prime?
True
Suppose 0 = -a + 13*a - 56652. Is a composite?
False
Let r = -1447 + 2193. Suppose -10 + 34 = 6*m. Suppose -h + 887 = m*d, 5*d + r = 4*h + 1881. Is d composite?
False
Let x = 8019 + -4692. Is x prime?
False
Let g = 20 + -11. Let u(h) be the second derivative of 17*h**3/6 + 5*h**2 - h. Is u(g) prime?
True
Suppose 0 = -5*j + 4*j - 221. Let a = j - -1119. Is a a composite number?
True
Let w = -49924 - -77897. Is w a composite number?
True
Let w be (-1 + 5/20)*188. Is 4/(-3)*w/2 a composite number?
True
Suppose 2*k = -4*g + 18, -3*g + k = 2*g - 12. Suppose 4*v - g*l - 80 = 0, -2*v = -4*l + 9 - 59. Is 1774/4 + v/(-34) a composite number?
False
Suppose 3*p - 135 = -0*p. Suppose -2*i = -235 + p. Suppose -2*c = 3*c - i. Is c a prime number?
True
Let w be 365 - (-1 - (-2 - 2)). Suppose 5*l - q - 979 - 936 = 0, 4*q = -l + w. Is l prime?
False
Let w be 878*(1 - 2)/(-1). Let g = w - 525. Let r = -234 + g. Is r a prime number?
False
Let x(y) = 6*y**2 + 10*y - 1. Let k be x(-5). Suppose 3*b - 66 - k = 0. Is b a prime number?
False
Suppose -1352 = -6*u + 2*u. Suppose u = 2*l - 1430. Is 1*l/(16/4) prime?
False
Let t(r) = 55*r - 6. Suppose 3*d = 7*d - 12. Suppose -38 = -5*j - d. Is t(j) a prime number?
True
Suppose -2*w - 4*i + 5*i = -32171, 0 = -4*i + 12. Is w a prime number?
True
Let l(w) = -11*w**2 - 2*w + 3. Let o(k) = -12*k**2 - 2*k + 4. Let i(x) = 4*l(x) - 3*o(x). Let g be i(2). Is (-3)/(-2)*(-1032)/g prime?
True
Let j be 3/1 + -2 + -3. Is 66 - 6*j/4 a prime number?
False
Let v(r) = -4*r**3 + 1. Let o be v(-1). Let t = -5 + o. Suppose t = 7*x - 4*x - 483. Is x prime?
False
Suppose 5*i + 2*h = 6*h + 277281, 3*h + 55465 = i. Is i composite?
True
Suppose 2*v + 2*s = 0, -s = -0 + 4. Is v/6 + 1235/15 a prime number?
True
Suppose 4*z - z = 0. Let q(f) = -f - 1. Let g be q(-4). Suppose z = j + g*j - 1508. Is j a prime number?
False
Let k be -3*(-1 - -234) - 1. Let s = k + 1313. Is s a prime number?
True
Suppose -13 = -7*h + 1. Suppose 0 = h*k + k, 4*k = -q + 127. Is q a composite number?
False
Let t be (-10)/65 + (-2)/(-13). Let p(y) = y**2 - y - 1. Let d be p(t). Let q(a) = 432*a**2 + 2*a + 1. Is q(d) prime?
True
Suppose -3*h + 0*y + 2*y - 4 = 0, 0 = -2*y + 4. Suppose -12 = -3*d, -58 = -l + 2*d - h*d. Suppose -p - p = -l. Is p prime?
False
Let v be 6 - 3 - 10690/(4/2). Let b = -2557 - v. Is b composite?
True
Let r(f) = -6*f**2 - 3*f - 19. Let u(q) = -2*q**2 - q - 6. Let p(d) = -6*r(d) + 21*u(d). Let m be p(-9). Is (m/9)/(3/(-9)) prime?
True
Is 2668 + (-6)/42*-7 prime?
False
Let r = 12 - -47. Let q = r + -36. Is q prime?
True
Suppose -2*y - r + 21566 = 0, 5*y + 4*r + 1456 - 55377 = 0. Is y prime?
True
Is 25678/6 + 4 - 4/6 a prime number?
True
Let o be (-162)/(-30) - (-4)/(-10). Suppose k - 41 - o = 0. Is k a prime number?
False
Let d = -3779 + 7678. Is d a prime number?
False
Suppose 2*s = l - 5, -3*s - 2*l + 3 = -0*s. Is 1*s - (-1980)/3 a composite number?
False
Suppose 1117 = 4*j - 671. Is j prime?
False
Let z(c) = -c**2 - 4*c**2 - 13*c - 10*c**2 - c**3 - 4. Let i be z(-14). Is (-12)/(-54) - 10598/i composite?
True
Let p be (-2368)/(-6) - (-2)/6. Suppose -1217 - 2215 = 52*s. Let d = p + s. Is d a composite number?
True
Suppose 18*y - 94310 = 16*y. Is y prime?
False
Suppose -5*l = -3*z + 1819, 3*z + 2*l - 621 = 2*z. Is z a composite number?
False
Let b(s) = -16*s**3 - 9*s**2 - 8*s - 1. Let j = 16 + -20. Is b(j) a prime number?
True
Let p(w) = -7*w**2 + 