563, 0 = -0*p - 3*p + x + 575. Suppose p = b - 4*y, 2*y - 764 = -4*b + 5*y. Is b prime?
True
Suppose 4*k - 8 = -4*n, 0 - 3 = n. Suppose -q = -3, -2*j + 39 = -k*j + 5*q. Is (-4)/j*(1 + 313) a prime number?
True
Let s be 5 + ((-9)/3 - 0). Let g(h) = 2 - 4 - 2 + 3*h - s*h + 2*h**3. Is g(3) prime?
True
Suppose 51*i - 52*i + 7621 = 0. Is i prime?
True
Suppose 6*a = 2*a + 2236. Let y = a + -260. Is y composite?
True
Suppose 3 = -m, -5*m = -j - m + 706. Is j a composite number?
True
Is -199*(-924)/9 - (-5)/15 a prime number?
True
Let h = 0 - -15. Let p(u) be the first derivative of -u**4/4 + 16*u**3/3 - 6*u**2 - 12*u - 271. Is p(h) prime?
False
Suppose -3*m - 2 = 13. Let b be (2 + -3 - m)*-1. Is (-5 - b)/((-3)/195) composite?
True
Let g(z) = -109*z - 3. Let d(p) = p + 1. Let y(w) = 6*d(w) - g(w). Let k be y(4). Suppose -3*u = -k + 106. Is u composite?
True
Let d = -165 - -859. Is d*(-3 + (2 - -2))*1 prime?
False
Let t = -364 + 511. Let k = t - 24. Is k a composite number?
True
Let o(t) = 1522*t - 69. Is o(5) composite?
False
Let g be ((-1)/2)/((-10)/40). Is (g + 875/2)*2 a composite number?
True
Suppose -4*d + 3698 = 2*a, 6 = 5*d + 26. Suppose -j = 5*n - 4040, -4*j + 1391 = 4*n - a. Is n prime?
False
Let n(j) = 11*j**2 - 2*j + 2. Let i(m) = m**3 - 14*m**2 + 12*m + 6. Let o be i(13). Let l be n(o). Is ((-2)/(-6))/(1/l) prime?
False
Suppose 11 = 5*b + 51. Let w = b + 68. Is 6/(-4)*(-1400)/w a composite number?
True
Suppose -4*y + 12 = -3*y. Suppose -5*l = 2*v - 18, 3*l - l + 2*v = y. Suppose 127 = 4*t + 5*u, l*t - 3*u + 63 = 4*t. Is t composite?
True
Let g(h) = -h**2 + 9*h - 14. Let o be g(4). Is 16*98 - (-18)/o - -3 a prime number?
False
Let u = 70 + -68. Suppose u*j + j = 1329. Is j prime?
True
Let c = 33801 - 23558. Is c a prime number?
True
Let y = 20924 + -12001. Is y prime?
True
Suppose -132942 = -9*z + 102615. Is z a prime number?
False
Let o be (-2 + 6)/((-4)/202). Suppose -n = 5, 4*s + 1234 - 43 = n. Let u = o - s. Is u a prime number?
True
Let b be 6/(-2 - -4) + 7. Suppose 2*i + 2005 = 3*j, 3*i = 8*i + b. Is j a prime number?
False
Let c(q) = -q**2 - 3*q + 1087. Is c(0) prime?
True
Let l = 7 + -3. Let x = 7 - l. Suppose 0 = -k - x*k + 124. Is k prime?
True
Let d be (1 - -1)*6/6. Is 2282 - (d - 3)*3 a prime number?
False
Let k = -10 + 13. Suppose -u - k*d = d - 83, -3*u = -5*d - 283. Let l = u + 36. Is l prime?
True
Let t(g) = -g**3 - 4*g**2 + 2*g - 3. Let k(s) = s**3 - 2*s**2 - 4*s - 3. Let n be k(3). Is t(n) a composite number?
True
Suppose -36 + 2 = -2*f - 4*c, -5*c + 37 = 2*f. Suppose -4*h + 9 + f = 0. Suppose r = -2*o + 513, 4*o = h*r + 1563 - 530. Is o composite?
False
Let p(g) = 65*g - 898. Is p(67) composite?
False
Let j be (944/(-24))/(4/(-18)). Suppose o - j = 26. Is o prime?
False
Suppose -2*f - 5*w + 18836 = 0, 0 = -4*f + 28*w - 24*w + 37644. Is f prime?
True
Let r be (-66)/(-14) - (-6)/21. Let f(s) = 2*s**3 - 7*s**2 - 15*s. Let w be f(5). Suppose w = r*x - 3706 + 551. Is x composite?
False
Suppose -2*u + 2*m + 11184 = 0, 22362 = 4*u - m + 3*m. Is u a prime number?
True
Let w be (-10)/3*(-27)/18. Suppose g - w*m + 765 = 6*g, 5*m = g - 159. Suppose 0 = -5*d + 3*d + g. Is d a composite number?
True
Let o(h) = -3 - 5*h + 0*h + 6*h + 8. Let q be o(-4). Is (0 + 0)*q + 19 a composite number?
False
Let b = -2 - -2. Let w be -4 + 2 - (-8 - b). Is (-1506)/9*w/(-4) a prime number?
True
Let w = -986 + 3439. Is w composite?
True
Let l(h) = 384*h**2 + 16*h - 21. Is l(5) a prime number?
False
Let b(g) = -7*g**2 - g + 7. Let u be b(-6). Let a = -100 - u. Is a composite?
False
Let o = 892 - -441. Is o composite?
True
Let p = 3022 + -717. Suppose -5*d = -5*r + p, 5*d - 6 = 4. Is r a composite number?
False
Let s(m) = -942*m. Let t be s(-1). Let y = 1737 + -1172. Let d = t - y. Is d a prime number?
False
Let y(d) = -d**3 - 2*d**2 - 5*d - 2. Let g be y(-5). Suppose -t = l - 164, 0 = -5*l - 5*t + 3*t + 811. Let s = l + g. Is s a composite number?
True
Suppose -5*v + 35 = 10. Suppose 0 = 3*x - i - v, -2*i - 14 = -5*x - 4. Suppose 582 = 2*o - x*o. Is o prime?
False
Let v(z) = -z + 10. Let a be 8 + (-2 + 0 - -1). Let q be v(a). Suppose -s - q*g + 336 = -4*g, 0 = 2*s + g - 657. Is s a prime number?
True
Let k = -439 + 2251. Suppose -10*z + 21358 + k = 0. Is z prime?
False
Suppose 11*m - 15*m = -46084. Is m a prime number?
False
Suppose 6*l - 8218 = 3026. Suppose -6*h - l = -6020. Is h a prime number?
True
Is -39 - -39 - (-6842 + -1 + 2) composite?
False
Let z = 14 + -8. Let v(m) = 4*m**2 + z + 0 - m - m - 5. Is v(4) prime?
False
Let s(j) = -42*j**3 - 17*j**2 - 22*j + 37. Is s(-12) a composite number?
False
Suppose 13*x + x - 42 = 0. Is x + (744*-9)/(-6) a composite number?
True
Suppose -2*u - 6395 + 19588 = l, 0 = 3*u + 2*l - 19787. Is u composite?
False
Is (-9)/(-12)*(-7372)/(-3) composite?
True
Let c = -2027 + 6736. Is c composite?
True
Let f(v) = -v**2 - 8*v + 7. Let m be f(-7). Suppose 6*r - 535 = 3*r - g, 0 = -3*r - 3*g + 537. Suppose m*u = 12*u + r. Is u composite?
False
Suppose -47 = 4*j - 15. Let i be j/(-12)*18/4. Suppose -5*v + 2 = -i, 0 = 2*n + 2*v - 8. Is n a composite number?
False
Suppose 79288 = 9*j - 89021. Is j prime?
True
Suppose k + 5*a + 499 = 2*k, -2*a + 1514 = 3*k. Let z = k - 109. Is z prime?
False
Let v be (-5)/20 - (-964)/16. Let t = v - 14. Is t a prime number?
False
Let w = -2823 - -4071. Let g = -839 + w. Is g prime?
True
Let x(h) = 78*h**3 + 42*h**2 - 5*h + 30. Is x(7) composite?
False
Suppose -5*y - 4*o = -4*y + 4, -2*o + 8 = 3*y. Suppose -895 + 129 = -2*d + y*n, -5*n = -3*d + 1148. Is d prime?
False
Let p = -16066 + 36633. Is p composite?
True
Let m(r) = r**3 - 11*r**2 - 10*r - 29. Let w be 2/(-11) - (-156)/11. Is m(w) composite?
False
Let b = 1595 + 16098. Is b composite?
True
Suppose -45*h - 22107 = -48*h. Is h composite?
False
Let t = -6 + 17. Suppose l - t = 243. Suppose -l = -r - 45. Is r prime?
False
Let k = 5 - 5. Suppose -j = -5*q - 548, 3*j + k*q = 3*q + 1680. Is j prime?
True
Let j(a) = 7*a - 4. Let f be j(2). Let m = 32 - f. Is ((-4)/2)/(m/(-407)) prime?
True
Let a(n) = -n + 22. Let w(x) = -x + 1. Let d(q) = -a(q) + 4*w(q). Is d(-9) composite?
True
Let f = -34 - -23. Let m = f - -21. Is (-2)/(-5) - (-706)/m composite?
False
Suppose 24*x = 214885 + 80051. Is x composite?
False
Let l = 9102 - -1871. Is l a composite number?
False
Let r be (9/(-3) + 2152)*1. Let w = r - 1208. Is w a composite number?
False
Let o = -5249 + 13090. Is o a prime number?
True
Let q(i) = 78*i**2 + 13*i - 47. Is q(3) composite?
True
Let v = -13 + 13. Suppose v = 5*w - 1438 - 87. Is w prime?
False
Let r(p) = -1189*p + 36. Is r(-5) a prime number?
True
Let q(t) = -7*t**3 - t**2 + 13*t - 16. Let v(d) = 10*d**3 + 2*d**2 - 20*d + 24. Let b(o) = -7*q(o) - 5*v(o). Let n be b(-8). Let l = n - 153. Is l prime?
False
Let j = -3350 + 5409. Is j a prime number?
False
Let u(z) = 111*z - 29. Is u(20) a prime number?
False
Suppose 2 = -h + 5. Suppose 2*d = 4*f + 1 - h, 4*d - 11 = 3*f. Suppose 2665 + 1090 = d*i. Is i composite?
False
Let i = -754 - -4619. Is i a composite number?
True
Suppose -30*t = 70*t - 404900. Is t prime?
True
Suppose -6*h - 3*c + 191 = -4*h, -3*c = -15. Let i = -9 + h. Is i a composite number?
False
Is (-3544)/(-14) + (-1 - (-6)/7) a composite number?
True
Let q = -1787 - -2878. Suppose -s = -4*w - q, -2*w + 3*w - 3260 = -3*s. Is s prime?
True
Let d(k) = -13*k + 43513. Is d(0) a composite number?
True
Let n(r) = 779*r**3 + 2*r**2 + 2*r + 1. Is n(2) a composite number?
True
Suppose -8 - 2 = -5*x. Is 1/x + 0 + 5334/28 a prime number?
True
Let k = 2567 + -1794. Suppose 2*s + 3002 = 4*h, 0*h - 4*s = h - k. Is h composite?
True
Suppose -8*p + 22477 = -81595. Is p a prime number?
True
Suppose -24*s + 26376 = -0*s. Is s composite?
True
Suppose -2*p = 3*p - 115. Suppose p = -5*u - 22. Let s = 30 + u. Is s prime?
False
Let z(b) = 238*b**2 + 11*b + 31. Is z(-12) composite?
False
Suppose 0*y = -3*f + y + 2466, 0 = -f - 2*y + 815. Is f a prime number?
True
Is 15 + -19 - (-2865 - 0/1) a composite number?
False
Suppose 4*p + 12 = 0, 2*p = u - 2*p - 17. Suppose 5*r = u*j - 125, -4*j - 2*r + 50 = -j. Suppose 5*s - 285 = 4*b, -b = 3*b + j. Is s a composite number?
False
Suppose j = 4*o - 738, 5*j - 3*j + 1487 = -3*o. Is (j/(-6))/(14/42) a compos