uppose 1516 = 2*z - 4*q, -q - 2*q = -4*z + b. Let n = z + -347. Is n composite?
False
Let h(n) = -n**2 - 9*n + 9. Let p be h(-10). Let w be 1 - p*(-356 + -4). Let q = w - -570. Is q composite?
False
Let n be (-1*3/(-2))/((-6)/(-16)). Is 1/2*7604*2/n a composite number?
False
Is 51*(-1)/(-15)*865 prime?
False
Suppose 576 = 6*h - 6330. Is h a prime number?
True
Let z = 108 - 154. Let u = -18 - z. Is (0 - 295)*u/(-70) a composite number?
True
Suppose 330 + 455 = 5*r. Let j be 4/7 + 34/14. Suppose -j*d + 5*m = -r, 2*m - 9 + 258 = 5*d. Is d composite?
True
Suppose -t - 2*m + 138 = 0, -t + m + 143 = -2*m. Let j = t - -44. Suppose j + 569 = 3*a. Is a composite?
False
Suppose -2*r + 5*z = 3*r + 5, 5*r = -3*z + 27. Let g be 5 - (2*-1)/(-1). Is r*83*(g + -2) a composite number?
True
Suppose 7*b - 371 + 3997 = 0. Let a = b - -1471. Is a composite?
False
Let h(l) = 281*l**3 - 2*l + 2. Is h(2) prime?
False
Let p = -16988 - -35125. Is p composite?
True
Is 1/(-3) + (-8142)/(-18) + -5 composite?
True
Let h(p) = 8*p**2 - 3*p + 2. Let k(s) = -s**3 - 10*s**2 + 8*s - 10. Let g be k(-11). Suppose -5*n - 2 - 13 = -v, -3*v - 2*n = g. Is h(v) composite?
True
Suppose 7*p - 3*p = 272668. Is p composite?
True
Suppose u + 4*q = -u + 16, -4*u - 4*q + 40 = 0. Let s = u + -10. Suppose -s*v - 6 = 4, -v - 481 = -4*k. Is k a prime number?
False
Let h = 2457 + -679. Suppose -r = -4*d + 516 + 382, 0 = -2*r - d - h. Is r/15*(-3)/2 a composite number?
False
Let z(m) = 73*m**2 + 5*m + 14. Let g be z(-4). Let a = 2 + -1. Is ((-6)/(-4) - a)*g composite?
True
Let x be 14/(-2)*52305/(-33). Suppose 7*b - x = -0*b. Is b a composite number?
True
Let w(n) be the third derivative of -n**6/120 + n**4/24 + 195*n**3/2 + 5*n**2. Let m be w(0). Suppose 4*x + m = 5*k, -4*k + 28 + 476 = 4*x. Is k a prime number?
False
Suppose 44456 = -30*y + 34*y. Is y a prime number?
False
Let q = 1 - -1. Suppose -3*g = -2*x - q*x - 31, x = -4*g + 16. Suppose 5080 = g*u + 3*u. Is u a prime number?
False
Let i(d) = -d**3 + 8*d**2 - 7*d + 5. Let q = 8 + -1. Let b be i(q). Suppose -b*p + 0*p + 115 = 0. Is p prime?
True
Let f(m) = -2*m**3 - 17*m**2 - 7*m + 11. Let w be f(-8). Let o(n) = n**3 - 4*n**2 + 4*n + 1. Let q be o(3). Suppose w*v + 487 = q*v. Is v composite?
False
Suppose 5773 = -2*g + 17385. Is g composite?
True
Let y(o) = o**2 + o + 13. Let u be (38/(-6))/((-1)/(-3)*1). Is y(u) prime?
False
Let x(g) = 190*g**2 - 56*g - 21. Let q(s) = -38*s**2 + 11*s + 4. Let i(t) = -11*q(t) - 2*x(t). Is i(-5) a prime number?
False
Suppose 4*v - 4888 = -4*m, -v + 2445 = 4*m - 2*m. Is m a prime number?
True
Suppose 2*n - 5*l + 0*l = 1221, -4*l = 3*n - 1889. Let z = 307 - n. Let h = z + 443. Is h a prime number?
True
Suppose 3*r + i - 2306 - 395 = 0, 2709 = 3*r + 3*i. Let c = r + -121. Suppose 0*k + c = 2*k. Is k a composite number?
False
Suppose 0 = -i - 5*w + 16156, 5*i + 6*w - 5*w - 80756 = 0. Is i composite?
True
Let s(r) = -r**3 + 29*r**2 - 7*r. Let g(h) = h**3 - 30*h**2 + 5*h + 1. Let k(x) = 2*g(x) + 3*s(x). Is k(17) a prime number?
False
Let o = 105 - -888. Is o a prime number?
False
Let c(n) be the first derivative of n**4/6 + 11*n**3/6 - 3*n**2 - 6*n - 1. Let v(r) be the first derivative of c(r). Is v(-8) composite?
True
Let c = 26 - 28. Is 66 - (5 + c) - (0 + -2) composite?
True
Suppose -3*n + 4*n = 2596. Suppose -2*r + n = 2*r + 2*u, -2*r - 4*u = -1298. Is r a prime number?
False
Suppose -5*h + 26 = -3*k, -2*k - 10 = -h + k. Suppose i = h*g - 0*i - 1, -4*g + 3*i + 11 = 0. Is (-19)/(g + 0/(-3)) a prime number?
True
Let x(t) = 2753*t + 182. Is x(9) a composite number?
True
Suppose -31*a + 21890 = 2*m - 35*a, -4*m = -5*a - 43789. Is m a prime number?
False
Let w(u) = -73*u - 6. Suppose -3*q - 9 = -0. Is w(q) a composite number?
True
Suppose 0 = 5*k + 4*x - 1156, 5*x + 1120 = 5*k - 0*k. Suppose j = -3*l + 2*j + 134, 5*l = 4*j + k. Let t = l + -31. Is t a composite number?
False
Let a(l) = -l + 7. Let f(v) = v**2 + v - 2. Let o be f(2). Let b be a(o). Suppose 3*k - 512 = b*w + 1330, -1231 = -2*k + 5*w. Is k prime?
True
Let t(s) = 59*s**3 - 2*s**2 + 23*s - 61. Is t(5) composite?
True
Let n be (-3)/9*0/2. Let y = -25 - -29. Is (n - -26)*y/8 a prime number?
True
Suppose 5*m = 2*k + 4, -m - 4 = -0*k - 2*k. Suppose -2*d = -5*d - 4*c + 19, k*d - 23 = -5*c. Let n(h) = 128*h**3 - h. Is n(d) prime?
True
Suppose -2*x = 3*x - 25. Suppose -2*a + 3*q = x, 7*a = 3*a - 4*q + 20. Suppose -563 = -a*v + 147. Is v prime?
False
Suppose -10 - 2 = -6*j. Suppose j*z - 3*z = -649. Is z a prime number?
False
Let y(f) = -f**2 - 7*f + 5. Let q be y(-6). Let k(o) = -4*o - q*o - 3 - 13*o. Is k(-2) composite?
False
Is -1 - -1 - (-14 - (3 - -11550)) composite?
True
Let r = -14 + 867. Is r a prime number?
True
Suppose 14*h + 298665 = 59*h. Is h a composite number?
False
Let l be ((-18)/12)/(12/(-80)). Let c = l + 73. Is c a composite number?
False
Is (-8)/(-16)*-2*-11959 a prime number?
True
Is 18401760/1020 + (-1)/(-17) a composite number?
False
Let p be 11 + -5 + (-2)/(-2). Suppose 2*g - p*g = -710. Is g prime?
False
Let g(q) = -46*q**2 - 24*q + 35. Let z(n) = 69*n**2 + 36*n - 53. Let t(r) = -8*g(r) - 5*z(r). Is t(-8) composite?
False
Let y(u) = -36*u**3 + 8*u**2 + 24*u + 58. Is y(-6) composite?
True
Suppose 1522132 = 34*v + 49490. Is v prime?
True
Let m = -2878 + 5211. Is m prime?
True
Let j(k) = 2*k**2 + 7*k - 84*k**3 - 3*k - 2 + 7. Is j(-2) a prime number?
True
Let b be (3260/3)/(5/15). Suppose 3*n - b = -2*n. Suppose n = -0*w + 4*w. Is w a composite number?
False
Suppose 0 = -9*w - 0*w + 666. Is w a composite number?
True
Let t(h) = h**2 - 1. Suppose 4*c = -2 - 2. Let o(m) = -7*m**2 - 4*m + 22. Let b(d) = c*o(d) - 6*t(d). Is b(13) composite?
True
Is (-3 - 57)*-3 + -1 + 0 a composite number?
False
Let h = 20 + -10. Let q = -14 + h. Is -3 + 2 - q - -2606 a composite number?
False
Let r(c) = 47*c**2 + 3*c + 5. Suppose 2*f = -7 + 1. Is r(f) a composite number?
False
Suppose 11 + 4 = 3*v. Suppose v*h - 1194 = -n, 2*n + 5*h + 0*h - 2383 = 0. Is n composite?
True
Let m be 8/(-12)*-3*-1*5. Is (762/(-15))/(2/m) composite?
True
Let v(p) = -40*p - 8. Let m(x) = 39*x + 8. Let l(q) = -5*m(q) - 4*v(q). Is l(-6) composite?
True
Suppose -193 = -2*f + 3613. Is f a prime number?
False
Suppose -35531 - 6612 = -17*j. Is j a composite number?
True
Suppose -2*q + 2*f + 0 = 2, -2*q + f - 6 = 0. Let s(b) = -2*b + 4*b - 5*b - 7 + 27*b**2. Is s(q) composite?
False
Suppose -p + 4*p - 189 = -3*a, a = -2*p + 123. Let i = 163 + p. Is i prime?
True
Suppose -5*a = -2*a - 84. Let c be (-8)/a + (-390)/7. Let s = -19 - c. Is s a composite number?
False
Let q = -60 + 68. Is (-4438)/((-3)/((84/q)/7)) prime?
False
Suppose t + 4*u = 12844 + 14671, -5*t - 4*u + 137623 = 0. Is t a composite number?
False
Is (-1179752)/(-36) - 24/(-216) composite?
False
Let b = 39 - 42. Is (b/6)/((-1)/110) a composite number?
True
Suppose 435 - 4842 = -13*k. Is k a prime number?
False
Let m = 8025 + -1538. Is m prime?
False
Let c be 583/(-1 + 2) + 1 + 1. Suppose -2*g - 5*k - 125 = -3*g, 0 = 5*g - 5*k - c. Is g a composite number?
True
Let b(x) = 2*x**2 + 31*x - 4. Let j be b(-26). Suppose 9*m = 11*m - j. Is m a prime number?
True
Let t be 0/(-1) + 1 + -2. Is 3962/7 + t + 0 a prime number?
False
Suppose -4*u - 3*u = 1022. Let w = u + 349. Is w a composite number?
True
Let u(o) = o**3 - 4*o**2 + o - 4. Let g be u(4). Let a(d) = -d**3 - d + 2. Let h be a(g). Is (3/h)/(-3)*-1382 prime?
True
Let b(f) = -2*f + 13. Let w be b(11). Let v be (24/w)/((-2)/3). Is (-130)/v*8/(-10) a composite number?
True
Suppose -3*h + 12 = -3*p, 2*h + 3*p = 3*h. Suppose y + 3155 = h*y. Is y prime?
True
Let o(t) = t**3 - 8*t**2 + 7*t + 4. Let r(y) = y**2 - y + 1. Let i be r(3). Let c be o(i). Suppose 8*m - 644 = c*m. Is m composite?
True
Is (-263376)/(-10) - (16 + 1001/(-65)) composite?
True
Suppose -k - 5474 - 1210 = 0. Is 0 - (k/(-4))/(-1) prime?
False
Let d = 209 + -109. Let w = 48 + -15. Let b = w + d. Is b composite?
True
Suppose 5*g + 1557 = 4*o - 8402, 5*o + g = 12427. Let q = -645 + o. Is q a composite number?
True
Let d = 3174 + 10439. Is d a composite number?
False
Let d be 6 - (-3 + 2)/(-1). Suppose -4 - 11 = -d*m. Suppose -105 = -m*k - 30. Is k a prime number?
False
Let j(u) = 16*u**2 + u - 20. Let d be j(-5). Let 