uppose -1350 = -4*k - 2*j, -5*j = -k - 108 + 440. Is k prime?
True
Is 2/4 - (-1748)/8 prime?
False
Suppose -5*h = -11 - 24. Let t(a) = 9*a**2 + 3*a + h + a**3 - 3 + a + 1. Is t(-8) composite?
False
Let j(z) = z**3 - z**2 + z - 1. Let k be j(1). Suppose w - 7 = -k. Is w composite?
False
Let n = 754 - 1270. Let c = 1633 + n. Is c composite?
False
Suppose 7*c = 3*c + 8, -5*c + 476 = 2*a. Is a a composite number?
False
Let l = -1 - 5. Let t = 31 - l. Is t composite?
False
Let g be (12/(-5))/(4/(-10)). Is 491/3 + (-4)/g prime?
True
Let h(c) = c**2 - 7*c + 8. Let a be h(5). Is 5180/(-42)*3/a a prime number?
False
Suppose -3*j - 760 = p - 6*p, 0 = -2*p - 5*j + 273. Is p composite?
False
Let o be 76/28 + 2/7. Suppose o*i + 2*x + x - 252 = 0, 3*x + 15 = 0. Is i composite?
False
Is (4 - (-2 + 5))*115 a prime number?
False
Let j = 61 - 104. Let m = -12 - j. Is (-1)/((-94)/m + 3) composite?
False
Let k(g) = g**2 + g. Let q be k(1). Let a(s) = -4*s + 3 + 16*s**2 + 1 - s**q. Is a(3) a composite number?
False
Suppose -5*o = -5*p + 1910, p - 2*o - 213 = 170. Is p a prime number?
False
Let g = 226 + -25. Is g prime?
False
Suppose -2*o + 3*v + 29 = -465, 4 = v. Is o a prime number?
False
Is (-24)/(-32) - (-162)/8 prime?
False
Suppose 0 = 7*f - 21409 - 2482. Is f a composite number?
False
Suppose i - 2*k = 51 + 45, k - 458 = -5*i. Let v(y) = -y**3 - 5*y**2 - 4*y + 6. Let l be v(-6). Suppose 2*j - l = i. Is j composite?
False
Let o(y) = 7*y**2 - 2*y + 106. Let d(t) = 3*t**2 - t + 53. Let s(a) = 5*d(a) - 2*o(a). Is s(0) prime?
True
Let a(b) = -b**2 + 3*b - 3. Let c be a(2). Let n(v) = -v**2 + 4*v + 4*v + 1 - 150*v**3 - 2*v - 5*v. Is n(c) prime?
True
Let z(v) = -5*v + 1. Let j be z(2). Let o = -4 - -6. Is 3*(-3)/j*o a prime number?
True
Let y = -1 - -4. Suppose 2*m = 4*r - 590, -y*r - 2*m + 223 + 230 = 0. Is r prime?
True
Suppose -3*k = -k + 22. Let p = 22 + k. Suppose 0 = -a + p + 42. Is a composite?
False
Let g = 1791 + -950. Is g a composite number?
True
Suppose -3*s + 2*s - o + 139 = 0, -5*s = o - 703. Is s prime?
False
Let z(u) = -15*u - 2. Let w be z(3). Let q = w - -142. Is q composite?
True
Suppose 5*w = 69 + 141. Suppose 2*a = -4 + w. Is a a prime number?
True
Let i = 570 + 402. Suppose 2*j - 1 = j, -i = -5*o - 2*j. Suppose -41 = -t - 4*g, -3*g + 2*g = 4*t - o. Is t prime?
False
Suppose 0*j - 5*j + 3*u = 11150, 4*u - 2247 = j. Let l = -1260 - j. Is l a prime number?
True
Suppose 4*x - 767 + 279 = 0. Suppose -3*q = -d - 104, 4*q + 2*d - 10 - x = 0. Suppose 0 = -2*j + j + q. Is j a composite number?
True
Let o(i) = -4*i**3 + i**2 + 7*i + 3. Is o(-5) a composite number?
True
Let d = 0 - -5. Let o(z) be the first derivative of -z**4/4 + 5*z**3/3 + 3*z**2/2 - z + 2. Is o(d) a prime number?
False
Let l = 6 + 53. Is l a composite number?
False
Suppose -2*b = -f + 2080, -3*b + 0 - 3 = 0. Is f composite?
True
Let u(r) = -27*r + 1. Let a be u(2). Let f = 216 + a. Is f composite?
False
Let p(g) = g**2 + 10*g + 9. Let y be p(-8). Let i be y/(-3) + 3/(-9). Suppose 138 = -i*u + 5*u. Is u a composite number?
True
Let m(x) = -x**2 - 4*x + 7. Let r be m(-5). Suppose -a - r*a = 27. Is (-25)/15*a*1 a composite number?
True
Let p be 3/(-5) + 102/(-30). Is ((-110)/(-8))/((-1)/p) composite?
True
Let t(v) = -13*v**3 + 10*v**3 + 10*v - 33*v**3 - 11*v. Suppose -1 = -5*p - 6. Is t(p) a prime number?
True
Let s(p) = -p**3 + 7*p**2 - 4. Let f be s(7). Let n = f - -8. Is n prime?
False
Let o(w) = w**3 - 14*w**2 + 18*w - 12. Is o(13) a prime number?
True
Let r(h) = 8*h**3 - h**2 + 2*h - 2. Let k be r(2). Let m = -66 + 94. Suppose i = 2*z + 26, 3*z + k = 3*i - m. Is i prime?
False
Suppose 2*x + 4*z + 16 = 0, 3*x = 2*x + 4*z + 4. Is 174/x*(-4)/3 a composite number?
True
Let g(z) = 350*z. Let k be g(1). Suppose x - k = 103. Suppose 0 = 5*u + d - x, 3*d - 6 = 2*u - 194. Is u composite?
True
Suppose 20 = -4*c - 5*x, 0*x + 16 = -2*c - 4*x. Let h(t) = t + 47. Is h(c) prime?
True
Let f(k) = 3*k**2 - 7*k - 4. Is f(-6) prime?
False
Suppose 0 = -n - 3*f - 4 + 1, 0 = -n - 2*f. Suppose -n + 52 = 2*s. Is s composite?
False
Let l = -8 - -10. Is 10/(-5)*(-17 - l) a prime number?
False
Is 485 + (2 - -2 - 2) a prime number?
True
Suppose r + 4*r + 4*h = 24, -4*r + 21 = 5*h. Suppose 3*o - 5*o + 5*b = -158, 4*o = r*b + 292. Is o composite?
True
Let b be ((-9)/12)/(2/(-16)). Let f = 6 - 3. Suppose 177 = b*v - f*v. Is v a composite number?
False
Suppose 0 = 2*w + 5*d + 113, -5*w - 4*d = -3*d + 294. Let u = w - -170. Is u composite?
True
Let m(k) = -2*k**3 - 4*k**2 - 2*k + 1. Let g be m(-5). Suppose -j - g = -2*j. Is j prime?
False
Let x be -1 + (1 - (0 - -1)). Let f be (-6)/(-3) + (-2 - x). Is f/((-1)/(-67) + 0) composite?
False
Let u = 50 + -29. Is u composite?
True
Let f(g) = -2*g**2 + 706. Is f(0) a composite number?
True
Let t(w) = 20*w - 3. Let b(a) = 21*a - 2. Let r(v) = -4*b(v) + 5*t(v). Is r(6) a prime number?
True
Let h(g) be the third derivative of g**6/120 + g**5/20 - g**4/6 - g**3/2 - 2*g**2. Let f be h(-3). Let c = 24 - f. Is c a composite number?
True
Let v(i) = -344*i - 15. Is v(-4) prime?
True
Let q be (-4946)/6 - 2/3. Is q/(-21) + (-4)/14 composite?
True
Let x(s) be the second derivative of 1/2*s**4 - 1/6*s**3 + 0 + 2*s + 0*s**2. Is x(-3) prime?
False
Suppose -7*i + 2*i = -2865. Is i prime?
False
Let t(c) = -c - 3. Let i be t(-3). Suppose i = -4*q - 5*k + 439, 3*q - 554 = -2*q - k. Is q prime?
False
Suppose 2*m - 111 = -b - 2*b, 4*m = -5*b + 227. Suppose -4*t = 2*v - 77 - 153, 2*v - 4*t - 230 = 0. Suppose -5*n + 4*i = -v, -n - n = -5*i - m. Is n prime?
True
Let n(y) = -7*y + 2. Let c be n(-3). Let x = -6 + c. Let d = -10 + x. Is d composite?
False
Let w(y) = y + 1. Let g be w(5). Let n(s) = s**2 - 2*s - 5. Let b be n(4). Is 16 + (-4)/(g/b) composite?
True
Suppose -3*x - 2*x + 58555 = 0. Is x/21 - (-2)/(-3) composite?
False
Let x(a) = 19*a**3. Suppose 2*p - 2 = -0*p. Is x(p) composite?
False
Let h = 1982 + -1175. Is h a prime number?
False
Let b(d) = d**2 - d - 2. Let q be b(3). Suppose x + q = -x. Is 2/((-6)/(-81)) + x composite?
True
Let u(a) = -4*a**3 + 4*a**2 + 2*a - 3. Let k be u(-3). Let w = k - -14. Is w composite?
False
Let q(l) = -2 - 5*l**3 - 4*l**2 + 2*l + l - 3*l. Is q(-3) a prime number?
True
Let i be 2 - 1*(0 + 2). Suppose i = -5*j, -7*h - 52 = -3*h + 5*j. Is -1*h*(2 + -1) prime?
True
Suppose 1118 = 3*s - w, 3*w + 6 + 9 = 0. Is s prime?
False
Suppose 16 = 4*s + 4*q, 5*s - 47 = -q + 5*q. Let v = s + 78. Is v a composite number?
True
Let r(k) = -k**2 + 20*k - 2. Is r(14) a prime number?
False
Let x(j) = -77*j - 13. Let v be x(5). Let i = v + 715. Is i a prime number?
True
Let b = 71 + 11. Is b a prime number?
False
Suppose -2*r - 3*r = 175. Let x = r + 79. Suppose 0 = -5*m - 2*l + 99, -l + 16 = 3*m - x. Is m composite?
True
Let k be (3/5)/(2/10). Let o(c) = -5*c - 3 - k + c**2 + 3. Is o(-5) a prime number?
True
Suppose 3*c + 8 = 5*c. Let q = c - -2. Is (11 + 6)*(q - -1) a composite number?
True
Let d be -4 + 4 + (-3 - 0). Let j(a) = -2*a - 4. Let c be j(d). Suppose k = c*k - 37. Is k prime?
True
Let q(k) = -20*k + 13. Let f(o) = 399*o - 259. Let b(g) = -6*f(g) - 119*q(g). Is b(-8) composite?
True
Suppose -4*l = 66 + 26. Let r = -27 + -11. Let h = l - r. Is h a prime number?
False
Suppose -3*m + 0*m = -6. Suppose 3*t + 21 = m*t. Let u = t + 86. Is u composite?
True
Let b(u) = -5*u**3 - 2*u**2 + 5*u + 7. Let q(d) = 6*d + 4 + 3 - 4*d**3 - d - 3*d**2. Let f(v) = -3*b(v) + 4*q(v). Is f(-7) a prime number?
False
Let n = 162 - 95. Is n composite?
False
Let y(a) = 117*a + 1. Let f(g) = g**2 + 5*g + 6. Let s be f(-4). Is y(s) prime?
False
Let t be (-27)/(-5) - (-2)/(-5). Suppose t*x - 7 = 718. Is x composite?
True
Let b = -708 - -1679. Is b a composite number?
False
Suppose 0 = 4*x - 2 + 38. Let r = x - -14. Suppose r*z = -5*s + 170, -2*z - s = -5*z + 98. Is z composite?
True
Suppose 4*i = 3 + 5. Suppose -i*n = n - 201. Is n a composite number?
False
Let t = 5 + -3. Suppose 0*n + t*n - 492 = 0. Is (-4)/(-10) + n/10 prime?
False
Let q = 1224 + -871. Is q prime?
True
Let q be 1 - (-1 + (-2 - -1)). Suppose -6 = -w + s + 3*s, q*s - 6 = 0. Is w a composite number?
True
Suppose 0 = -3*h + 10 + 14. Suppose 2*g = h + 70. Is g prime?
False
Suppose 0*c - 973 = -2*i - 3*c, -i - 3*c + 482 = 0. Is