= -4*y - 25634, -4*h + 20*y + 51294 = 25*y. Is h prime?
True
Suppose 0 = 4*z - 26498 + 8310. Is z prime?
True
Let y = 714 - -1082. Suppose 1361 = -3*x + 6*x + 2*p, 2*p + y = 4*x. Is x composite?
True
Let a be 3*1/(-6)*-2. Let m(q) be the second derivative of 59*q**5/20 - q**4/12 + q**3/6 - 44*q. Is m(a) prime?
True
Suppose 0 = -3*a - 3*p + 47274, -2*p = -a - 7*p + 15746. Is a a prime number?
True
Suppose u + 4*u = 580. Suppose n + u - 615 = 0. Is n composite?
False
Suppose -5*v = -5*o + 4510, 3*v + 4520 = 9*o - 4*o. Is o prime?
True
Let m(l) = l**2 - 15*l + 40. Let f be m(12). Suppose 9*k - 4*k = -2*p + 1412, -f*k + 709 = p. Is p prime?
True
Let o = 9500 + 6833. Is o composite?
False
Let d(b) = -b**2 + 16*b - 20. Let g be d(14). Is 8/(g/(-4)) + 1707 a composite number?
True
Let a = 547 - -3. Let w = -177 + a. Is w composite?
False
Suppose 4*i = u + 4, u + 2*i = -u + 2. Let b = 98 + -204. Is b*((u - 0) + -1) composite?
True
Suppose 0*f + f = -u + 20, 0 = 3*f + u - 54. Let d(v) = -v - 3. Let o be d(-5). Let m = o + f. Is m composite?
False
Let k = -335 - -837. Let z = -11 + k. Is z a prime number?
True
Let m(q) = q**3 - 5*q. Let l(p) = -p**2 - p - 1. Suppose w = 3*o - 4 + 1, 0 = -5*o + 4*w + 5. Let z(c) = o*m(c) - 3*l(c). Is z(-3) a prime number?
False
Let n be (-1*1)/(10/(-1570)). Let r = -75 + n. Let i = r + -27. Is i prime?
False
Suppose 4*s - 1582 - 1102 = 0. Let o = s - 470. Is o a prime number?
False
Let f = 17 - 17. Suppose f = -4*w - 2*v + 410, 0 = -2*w + 3*w - 2*v - 115. Suppose -4*k + 1553 = w. Is k prime?
False
Let s(n) = 20*n**2 - 6*n + 5. Let m be s(11). Is (m/14)/(3/6) prime?
True
Suppose 2181 = 5*o - 3809. Is o a composite number?
True
Let z be (4/(-12))/(6/(-162)). Suppose a + 2*a = z. Suppose 0 = -3*r - 4*s + 205, -2*r + 5*s = -a*r + 72. Is r composite?
False
Suppose 8*b - 6053 = 7811. Is b a prime number?
True
Suppose -6 = 2*n, -4*z + n + 0*n = 73. Let u(r) be the first derivative of -9*r**2/2 + 38*r - 7. Is u(z) composite?
True
Suppose 43*k + u - 430847 = 40*k, -3*u - 143629 = -k. Is k a composite number?
False
Let r(s) = s**3 - 3*s**2 - 6*s. Let k be r(-3). Let w = 67 + k. Is w a prime number?
True
Suppose 63 = t - 1560. Is t a prime number?
False
Suppose 4*b = -2*k + 41994, k + 0*b = -b + 20995. Is k prime?
False
Let o = -1833 - -21392. Is o composite?
False
Suppose -17*v + 447337 = 3620. Is v a composite number?
True
Suppose 0 = -2*m - 1 - 9. Let u(k) = 2*k**3 + 2*k**2 + k - 5. Let g be u(m). Let z = g - -373. Is z composite?
False
Let u be (11/2)/(2/(-1108)). Let c = u - -5176. Is c a prime number?
True
Suppose -g - 3*g + 2*l = -1276, -g = 3*l - 319. Is g - 1*(-1 + -3) prime?
False
Let l(f) = -678*f - 1. Let k(n) = n**3 - 4*n**2 - n + 3. Let u be k(4). Is l(u) composite?
False
Suppose -18*n + 60*n - 184254 = 0. Is n a prime number?
False
Let w(v) = -v**3 - 3*v**2 - 4*v + 2371. Is w(0) composite?
False
Suppose 32*z - 1836 = 26*z. Let t = z + 1133. Is t composite?
False
Suppose -2*a - a = -3*p + 3, 2*p = 4*a + 12. Let r(w) = -w - 5. Let m be r(a). Suppose -2*t + 4*h = -918, m = -5*t + 5*h + 1382 + 938. Is t prime?
False
Suppose 6*v - 27513 - 33393 = 0. Is v a prime number?
True
Let o(c) be the third derivative of 7*c**6/45 - 7*c**5/120 - c**4/6 + 5*c**2. Let u(b) be the second derivative of o(b). Is u(5) a composite number?
True
Let y(o) = 2*o + 6. Let m be y(5). Let i = m + -12. Is 2630/(-40)*i/(-1) a prime number?
True
Let s(h) = 54*h**2 - h. Let t be s(1). Suppose -2*g - t = -5*o - g, -o = 2*g - 4. Is o a prime number?
False
Suppose -283*i + 275*i + 28744 = 0. Is i prime?
True
Is 675351/(-18)*6/(-9) a composite number?
False
Let t = 39 - -105. Let q(p) = -30*p**3 - p**2 + p - 1. Let x be q(1). Let m = t + x. Is m a composite number?
False
Let c(r) = 53*r - 14. Let t(k) = 18*k - 5. Let j(m) = 6*c(m) - 17*t(m). Is j(8) composite?
False
Let x be (1 + -2)*2 - -3353. Let o = 2796 + -1264. Suppose 3*q = -3*m + x, -2*m - 415 + o = q. Is q prime?
True
Suppose 2*j - 501 = -4*z + 13, j - 259 = -3*z. Let b = j - -138. Is b a prime number?
False
Let w(m) = 93*m**3 - m**2 + m + 1. Let q be w(1). Let u = 147 - q. Is u a prime number?
True
Let m(a) = -a**2 - 26*a + 42. Is m(-13) composite?
False
Suppose 0 = -g + 4*g + 3. Is g + -1 + 5 - -628 a prime number?
True
Suppose -5*q + 930 = 5*g, 0 = 4*q + g - 3*g - 744. Suppose 0 = 5*y + d - q, d + 4*d + 143 = 4*y. Is y a prime number?
True
Suppose -2*q - 4*u + 4 = 0, 6 = -2*u + 4*u. Is -34*(q + (-9)/(-6)) a prime number?
False
Let f(d) = 0*d**2 - 2 - d**2 - 5*d + 2. Let s be f(-4). Let r(q) = 3*q**2 + 4*q - 5. Is r(s) a prime number?
True
Let c(z) = 2*z - 8. Let p be c(7). Let f(o) = 32*o**3 - 2*o + 5*o**2 - 30*o**3 - 6 - 7. Is f(p) prime?
True
Suppose 4*u - 3*u - 2 = 0. Suppose -4*d = 4*g - u*d - 624, 4*g - 2*d = 640. Is g prime?
False
Let n = -1034 - -5317. Is n a composite number?
False
Suppose 17*m - 6678 - 343 = 0. Is m a prime number?
False
Let r = 35 - 31. Suppose -2*p - 4*n + 6029 = -5*n, -r*p + 12078 = 2*n. Is p a prime number?
False
Suppose -5*r + 9420 = k, -5*r - 18 = 7. Is k a composite number?
True
Suppose -6*g - 13 - 5 = 0. Is (-3862)/3*g/2 a prime number?
True
Let k be (-9)/((-28)/12 + 6/(-9)). Suppose 993 = k*t + 3*a, -2*t + 2*a = t - 1013. Is t composite?
True
Suppose 0 = -t - 2*y + 8, -3*t + 2*t = 5*y - 14. Suppose -4*g + t*r = -1424, 3*r - 4*r = 5*g - 1762. Is g composite?
False
Suppose 0 = h - c + 27, 0 = h + h + 5*c + 19. Let z = 13 + h. Let g = -7 - z. Is g prime?
True
Let a(f) = 731*f**2 - 45*f + 143. Is a(6) a composite number?
False
Suppose 0 = 2*l - 0*l + 4*i - 74090, 0 = -2*i - 10. Is l a composite number?
True
Let g(w) = -3*w - 18. Let v(a) = -6*a - 37. Let b(s) = 5*g(s) - 2*v(s). Let c be b(-7). Suppose 3*z = 5*i - 883, -338 = -3*i + i + c*z. Is i prime?
True
Let b(s) = -s**3 - 12*s**2 - 10*s + 14. Let u(l) = l**3 - 6*l**2 + 3*l - 1. Let m be u(2). Let r be b(m). Is (5 - r)*(-2037)/(-6) composite?
True
Suppose -3 = w - 8. Suppose 4*s + 1283 = w*s. Is s a composite number?
False
Suppose -4*q = -p - 4036, 3*p = 26*q - 25*q - 1009. Is q a composite number?
False
Let w = -28388 + 40357. Is w a composite number?
False
Is 9566/14*1 + (-30)/105 a composite number?
False
Suppose 31*y = 48*y - 213877. Is y a composite number?
True
Let d = -12 - -15. Suppose -2*p = d - 249. Suppose -17 = 3*c + g - p, 12 = c + 5*g. Is c composite?
False
Let w(g) be the third derivative of -g**6/120 + g**5/15 + g**4/12 - g**3/6 - g**2. Suppose 2 = 4*j - 3*j. Is w(j) a prime number?
True
Let q(t) = -4*t**3 + 4*t**2 - 18*t - 73. Is q(-12) prime?
False
Let y(a) = 92*a**3 + 27*a**2 + a - 5. Is y(8) composite?
True
Let p be 70/(-7)*2/4. Let y = 856 + p. Is y a composite number?
True
Let a = -551 - -1092. Is a prime?
True
Let o(z) = 8*z**2 - 2 + 4*z**3 - 8*z**3 + 3*z**3 - 4*z. Is o(6) composite?
True
Suppose -s + 5*l + 10 = -0*l, -4*l - 8 = s. Suppose -g = -s*g. Is (-1 - g) + 312/4 composite?
True
Suppose -2352 + 9812 = 20*c. Is c a prime number?
True
Suppose 2*l = -3*o - 21, -6 = 2*l + 2*o + 12. Let y(g) be the second derivative of 3*g**4/2 + 3*g**3/2 - 4*g**2 - 11*g. Is y(l) a prime number?
False
Suppose 42 = -2*p + 48. Suppose p*l + 4*z - 873 = -z, 4*l + 4*z = 1164. Is l prime?
False
Let f(k) = 7*k**2 - 2*k - 1. Let a(s) = 8*s**2 - 3*s - 1. Let j(r) = 4*a(r) - 3*f(r). Is j(-2) prime?
False
Let o(v) = 21*v**2 + 2*v - 26. Is o(-17) prime?
False
Suppose -u + 299 = 2*d + d, 1140 = 4*u - 2*d. Suppose -2*a - 2*h + 114 = 0, -2*a - 3*h = 3*a - u. Is a composite?
True
Let z = 10811 - 1720. Is z a prime number?
True
Suppose -4360 - 13061 = -3*b. Is b composite?
False
Is -5803*8/(-4) - 8/2 a composite number?
True
Let o(d) = -34*d**3 + 6*d**2 + 21. Let a be 2/(-7) + 528/(-112). Is o(a) prime?
True
Let i be ((-28)/35)/(4/(-30)). Let m(z) = z**3 - 7*z**2 + 6*z + 6. Let p be m(i). Is ((-2597)/(-21))/(2/p) composite?
True
Let q(z) = 4*z**2 + 2*z + 1. Let x be q(-1). Let r = x + 6. Is (r*14 - -1)/1 prime?
True
Let f(k) = -k. Let w be f(-4). Suppose 4*i = -w*o - 4, -3 = -i - 0. Is 4506/18 + o/(-6) prime?
True
Let b(a) = 7*a**2 - 21*a + 221. Is b(49) prime?
False
Let j = -2632 - -1871. Let s = 434 - j. Is s prime?
False
Suppose -44 = s - 46. Suppose 4*t = s*z - 362, -3*z + 3*t - 208 + 760 = 0. Is z a prime nu