*a - m = -1420. Is a composite?
False
Let a = -73 + 77. Is (-42)/(-35)*(2222/a - -2) a prime number?
False
Suppose -7 = c - 4*g, -g - 3 = -5*c - 0. Let m(l) = 221*l**2 - 3. Let z(q) = 220*q**2 - 4. Let a(p) = 5*m(p) - 4*z(p). Is a(c) prime?
False
Let u(m) = m - 6. Let o(z) = 2*z**2 + 7*z + 5. Let c be o(-4). Let g be u(c). Suppose -g*t = -5*s + 127, 0*s + s = -t + 19. Is s a prime number?
True
Suppose 0 = -3*h + 4*s - 4 - 9, h = -4*s + 17. Let j be (h/(-3) - 1)*3. Is (12/(-2))/(j/14) a composite number?
True
Let m(k) = 376*k - 6. Let o be m(3). Is o/21 + (-18)/42 prime?
True
Let o(g) = -16*g + 1213. Is o(0) composite?
False
Let m(b) = 13*b**2 - 15*b - 49. Let l = -39 - -30. Is m(l) composite?
True
Let a = 12683 - 2472. Is a a prime number?
True
Let z(p) be the first derivative of -16*p**2 - p - 5*p + 5*p + 2. Is z(-6) prime?
True
Suppose 3*a = i - 8364, 2*a = 5*i + 3*a - 41836. Suppose -22*r + i = -19*r. Is r prime?
True
Is (132/20 + -7)/(2/(-8285)) composite?
False
Let n = 13059 - 6556. Is n composite?
True
Let j(h) = -h**3 + h**2 + 9*h - 9. Let q be j(-16). Suppose 2*a - q = -3*d, a = 2*d - a - 2796. Is d a prime number?
True
Suppose 4*c - 1420 = -2*j, 0 = 4*c + 4*j - 7*j - 1410. Suppose 0 = 2*l - c - 4. Is l composite?
False
Suppose 0 = -2*w + 2, 3884 = 4*f + 4*w. Let x = -15 + f. Suppose -5*t + 10*t = x. Is t prime?
True
Let x(n) = n**2 - 7*n + 3. Let i be x(6). Let y = i + 3. Suppose -1 + y = l, -3*d = 4*l - 623. Is d a composite number?
True
Suppose 0 = -2*w + j + 4*j + 279, 3*j = -15. Is w a prime number?
True
Suppose 0 = -4*y - 2 + 10. Suppose 0 = y*x - 3*x. Suppose -k + 27 + 530 = x. Is k a prime number?
True
Is (0 + (-3573)/(-36))/((-1)/(-4)) composite?
False
Let u(c) = 179*c + 354. Is u(31) prime?
True
Suppose -4*j = 5*b + 36, -2*j - j + 43 = -5*b. Let s(t) = t**2 + 7*t - 6. Let f be s(b). Suppose 2*o - 212 = -f*o. Is o prime?
True
Suppose -14099 = -3*i - 818. Let g = -3028 + i. Is g a composite number?
False
Let v = -3709 - -1939. Is (v/40)/(3/(-92)) a prime number?
False
Let b = 11325 + -5128. Is b a composite number?
False
Let r(m) = 0 - m + 0 + 1. Let j be -6 + (-4 - (-3 + 1)). Is r(j) prime?
False
Let s be (27/(-6))/(2/(-788)). Suppose -2*y + 1063 = -s. Is y composite?
True
Suppose 2*z - 2*i = 3888, -z + 0*i + 1944 = -2*i. Suppose -826 - z = -2*r. Is r composite?
True
Let d = -113 - -317. Let c = d + 547. Is c a prime number?
True
Let n(m) = m - 4 + 4 - 1. Let u be n(4). Suppose 0*j - 102 = -u*j. Is j composite?
True
Let t = 19 + -13. Suppose -5*q = -t*q + 3. Is (5 - q)*253/2 prime?
False
Let l = -179 - -46. Suppose 3*a - 2*w - 4 = -w, 0 = -2*a + w + 1. Is 0*a/(-3) - l prime?
False
Let w(q) = 677*q**2 + 5*q - 13. Is w(2) prime?
False
Let s = 100 - 75. Suppose b = 3*t - 3 + 12, -4*t = -b + 14. Is ((-1940)/s)/(b/15) a composite number?
True
Let l(b) = -58*b + 3. Let x be -3 - 1 - (4 + -4). Is l(x) a composite number?
True
Let a = 4 + 14. Suppose 0 = -3*z + 4*p + 4, 8*z - 18 = 4*z - p. Suppose 0 = -z*i + a + 298. Is i a prime number?
True
Let n(z) = 694*z + 1. Let k(v) = -2774*v - 3. Let i(d) = 2*k(d) + 9*n(d). Is i(1) a composite number?
False
Let y be 16720/57 - 1/3. Let s = -88 + y. Is s composite?
True
Let b(q) = -2*q + 8. Let n be b(0). Let c be 16/n*(-726)/(-4). Suppose y + 4*p = p + 121, -c = -3*y + 2*p. Is y a composite number?
True
Let n be (6/15)/((-3)/75). Let h = n + 12. Suppose 53 = h*k - 49. Is k prime?
False
Suppose -2*q - 441 = 5*q. Let n = -168 - 74. Let o = q - n. Is o prime?
True
Let i = -1 - 19. Let f be 2/8 - 435/i. Is (f/8)/(9/828) composite?
True
Is (0 + 14712/16)/(9/6) a composite number?
False
Suppose 2*z - 772 = 1888. Let b = z + -761. Suppose -5*p - 3*f = -b, 0 = -5*p + 3*p - 5*f + 220. Is p prime?
False
Let b(p) = p**2 - 8*p - 7. Suppose -2 - 16 = -2*i. Let t be b(i). Suppose 0 = 3*o - 6, -t*o = x - 5*x + 264. Is x composite?
False
Let z be (-4)/(-10) + (-1002)/30. Let k be (z/6 + 2)*-2. Let a = k - -3. Is a prime?
False
Suppose -5*r + 379 + 702 = -4*b, 5*r + 2*b = 1087. Suppose -4*o = -4*a - 444, -2*o + r = -2*a + a. Is o a composite number?
True
Let f = -3 + 6. Is ((-3)/1)/f*-719 composite?
False
Suppose -d + 1300 = d. Suppose 5*l - l - d = g, 4*l = 3*g + 646. Is l a composite number?
False
Let v = -81 - -206. Suppose -v = -2*l - 3*l. Suppose 0 = 4*y - 2*h - h - l, y + 4*h = 30. Is y prime?
False
Is (-4 + -158994)/(-7) - -3 a prime number?
True
Let p(r) = -10 - 2*r**2 - 3*r**2 - 5*r + 4*r**2. Let c be p(-11). Let i = -38 - c. Is i composite?
True
Let m(r) = 14*r - 25. Let v be m(8). Suppose 0 = -2*g - v + 265. Is g a composite number?
False
Suppose 0 = -9*d + 30729 - 3180. Is d a composite number?
False
Suppose 0 = -7*w + 19*w - 60. Suppose -w*x = -5*f + 11350, -5*x + 11360 = 6*f - f. Is f a composite number?
True
Let j(b) = b**3 - 6*b**2 - 8*b + 1. Suppose 4*f = -12, -3*g + 2*f + 2 + 22 = 0. Let k be j(g). Let t = k + 204. Is t a composite number?
False
Let l(o) = o**2 + 4*o + 5. Suppose -9 = 3*k + 2*p + 8, 4*p = k + 1. Let m be l(k). Suppose -j + 683 = m. Is j prime?
True
Let y(w) = 11*w + 6. Let s be y(6). Let b = 73 + -32. Let p = s - b. Is p prime?
True
Let f = -41 + 725. Let c = f - 205. Is c a prime number?
True
Suppose 5*n = -3 + 8. Let d be (1 + 6 - -1)/n. Let v(p) = 37*p - 9. Is v(d) a prime number?
False
Let a = -1016 - -5217. Is a a prime number?
True
Let h = -7 + 10. Let p(f) be the second derivative of f**5/10 - f**4/4 + f**3/2 - 3*f**2/2 + f - 16. Is p(h) composite?
True
Let q(k) = -2*k + 3. Let z be q(3). Let r be (13 + z)*1/(-2). Is -1*r*(0 + 47) composite?
True
Is 6790 + 1 + 80/(-20) prime?
False
Let z(m) = -m**2. Let j be z(0). Let d(t) = 2*t + 1. Let u be d(1). Suppose u*l + 3803 = -j*g + 5*g, 0 = 3*g + 2*l - 2297. Is g prime?
False
Let d be (-12)/36*12822/((-6)/3). Suppose 5*n - 6397 = -3*g - 0*n, -4*n = g - d. Is g a composite number?
False
Let g = -9 + -20. Let u = g + 31. Suppose -u*a = -a - 157. Is a prime?
True
Suppose 0 = -4*s + s + 3, -j = -s + 7. Is (-2)/(-6)*(j - -2097) a composite number?
True
Suppose -3*g = -2*g - 5. Suppose -g*u = -4*t + 75, t + 4*u = -u + 25. Suppose 2225 = 5*f - t. Is f prime?
True
Suppose 4*j - j + 4*d - 6959 = 0, 2*j - d = 4643. Suppose 3*c + 558 = t + j, 0 = 3*c + t - 1759. Is c a prime number?
True
Let z = 27 - 21. Let k(a) = 17*a - 1. Let n(p) = 16*p. Let y(c) = 3*k(c) - 2*n(c). Is y(z) prime?
False
Let a = -1110 + 1783. Is a composite?
False
Let h = -2531 + 4350. Let t = h + -1074. Is t a composite number?
True
Let a(f) = 4*f + 15*f**2 - 5*f - 1 - 10. Is a(9) a composite number?
True
Let b(m) be the second derivative of 31*m**4/6 - m**3/3 + 7*m**2/2 + 15*m. Is b(-3) prime?
True
Suppose 0 = -2*f + 8. Suppose -f*t - 17 - 7 = 0. Is (1 - 0) + (246 - t) composite?
True
Suppose -3*y = -2*y - 520. Let l = 987 - y. Is l prime?
True
Let p(d) = 4314*d + 67. Is p(1) a prime number?
False
Suppose 10*u = 7*u + 6. Suppose u*o + 20 = 7*o. Suppose o*p - 118 - 134 = -4*z, -p + 59 = 2*z. Is p a prime number?
True
Let z(j) = -j**2 + 10*j - 34. Let a be z(14). Let w be (-133)/(-2)*(-1 + 3). Let s = w - a. Is s a composite number?
False
Suppose 12*s = 8*s + 988. Let w = s - 108. Is w composite?
False
Let x(i) = -744*i + 187. Is x(-10) a composite number?
True
Suppose 0 = -59*r + 43092 + 78389. Is r prime?
False
Let d(x) = 23*x**2 + 3*x - 3. Let b be d(3). Suppose 4*o + b = -423. Let q = o + 304. Is q composite?
True
Suppose 3*x + 3 = -0, 4*j = -x + 3. Is 667*((-16)/(-20) + j/5) a composite number?
True
Suppose -3*j - 4*m - 39 = 0, -3*m + 74 - 9 = -5*j. Let h = 20 + 3. Let a = h + j. Is a a prime number?
False
Let o = 28729 - 8136. Is o a prime number?
True
Let k(z) = 3*z**2 + 4*z + 16. Is k(35) a composite number?
True
Suppose 4*b + v - 4*v = 33, 5*v = -2*b - 3. Let t be ((-150)/(-4))/(b/12). Let u = 190 + t. Is u a prime number?
False
Is ((-5686)/(-8))/(23/92) composite?
False
Let y be 2*(0 + (-243)/(-3)). Let d = -109 + y. Is d a composite number?
False
Suppose -2*q = -2*y + 3880, q + 1945 = y - q. Suppose y = -5*x - 3*r - 2666, 2*x + r + 1841 = 0. Let w = x + 1965. Is w a composite number?
True
Let o = 16975 - 9512. Is o composite?
True
Let b(c) = -c**3 + 4*c**2 + c. Let a be b(2). Let m(h) be the second derivative of -h**4/12 + 13*h**3/6 + h**2/2 - h. Is m