 -4*a + 15 + 1 = 0. Let q be -547*(6/2 - a). Let t = q - 134. Is t a prime number?
False
Is 1654 + (15/6 - 8/(-16)) composite?
False
Let i = 42 - 24. Let p = 18 - i. Let x(a) = -a**2 - 3*a + 235. Is x(p) composite?
True
Let q(g) = -10*g**3 + 2*g**2 - g - 2. Let j be q(-2). Suppose 5*o - c = 240, -2*c - j = -2*o - 0*o. Is o a composite number?
True
Let y(g) be the second derivative of g**4/12 + 4*g**3/3 - g**2/2 + 2*g. Let d = 16 - 10. Is y(d) a prime number?
True
Suppose 0 = 3*f + k - 17, 11 + 18 = 5*f + k. Suppose n - 20 = f*n. Is 1*(-3 - -84) - n prime?
False
Let t(c) = c - 5 - 369*c**2 + 743*c**2 + 1. Is t(-3) a prime number?
True
Suppose 2*v - 10 - 2 = 0. Suppose -v*z - 7292 = -10*z. Is z composite?
False
Suppose -2*l = -2*q + 19958, 3*l - 3 = 9. Is q prime?
False
Is 55/5 + 7964 - -10 a composite number?
True
Suppose -3*t - 4*y - 760 = 1992, 4*y = -5*t - 4592. Let o = t - -2043. Is o a composite number?
False
Let j(l) = -3*l**3 - 5*l**2 + 4*l - 11. Let q(x) = -2*x**3 - 5*x**2 + 4*x - 10. Let m(t) = -3*j(t) + 4*q(t). Let s = -294 + 303. Is m(s) composite?
False
Suppose 7*k - 23*k = -1482128. Is k a composite number?
True
Suppose 0 = -17*c + 14*c + 6. Let i(m) = 67*m**2 - m - 3. Is i(c) a composite number?
False
Let g = -5994 + 14029. Is g a prime number?
False
Let z = 5 + -11. Is 3/z + 1227/2 prime?
True
Suppose 0*a + 2*a - 25 = 5*q, -2*a - 2*q + 4 = 0. Suppose -4 + 14 = a*r. Suppose -r*m + 74 = -0*m. Is m a prime number?
True
Suppose 0 = z - 3*z. Suppose z = 5*s - 1 - 4, -3*b = -s - 80. Suppose 0 = 2*w + b - 281. Is w prime?
True
Suppose -9*s = -8*s + 3*i - 19693, -3*s + 59107 = -5*i. Is s composite?
False
Suppose 4*y - 12908 = -3*i + 3249, -5*y = -3*i - 20176. Is y a composite number?
True
Suppose -k - 1010 = 4*k. Let h = k + 295. Suppose -5*f + h = -172. Is f prime?
True
Is ((-108)/315 - 2/(-14))*-6995 composite?
False
Let p(y) = -21*y + 1 - 33*y - y + 12*y. Suppose 0 = 5*m + 22 + 8. Is p(m) a composite number?
True
Suppose -54*w = -36*w - 59382. Is w a composite number?
False
Let c be -353 + 12/4 + -1. Let f = -98 - c. Is f a composite number?
True
Suppose -10*x - 21 = 29. Is (-67 + -8)/x*838/6 a composite number?
True
Let h(l) = -5*l + 52. Let x be h(10). Suppose -400 = -x*q + 142. Is q a composite number?
False
Let n(b) = -36*b**2 - 4*b**3 + 3*b**3 - 8 + 40*b**2 + 7*b. Let r be n(5). Suppose -470 = -r*u + 2*v, -4*v - 395 = -5*u + 784. Is u a composite number?
False
Suppose q - 7 = -2*p - 5, 11 = 2*q - 3*p. Suppose 3*y + 2100 = 3*g, g + y + q*y - 706 = 0. Is g composite?
False
Suppose -5*j - 411 = -2*j. Let h = -4 - j. Is h a composite number?
True
Suppose 5*o - 1921 = -2*u + 4230, o = -3. Suppose -6*k = u - 23393. Is k composite?
True
Is -3 - (-10 + 7 - -3) - -4490 a prime number?
False
Let t(s) = 2*s**3 + s**2 + 4*s + 6. Suppose 0 = 22*d - 20*d - 14. Is t(d) a composite number?
False
Suppose 480 + 265 = 5*m. Is m a prime number?
True
Suppose -c + 494 = k - 4*c, 1911 = 4*k + c. Is k a prime number?
True
Suppose -8*a - 3490 = -3*a. Is 0 - (a - (2 + -3)) a composite number?
True
Let r = -12183 + 19849. Is r composite?
True
Let t = -710 + 2466. Suppose -l - t = -5*l. Suppose 2*b = 171 + l. Is b prime?
False
Let d(c) = 24*c + 19. Suppose -5*h = -s + 30, 4*s + h - 28 = -2*h. Is d(s) a prime number?
False
Suppose -3*t - 81 + 0 = 0. Let m be 1*2*t/(-6). Is 453/6 - m/(-6) a prime number?
False
Suppose -894 = -4*d + 2354. Let a = -59 + -488. Let i = d + a. Is i a prime number?
False
Is -3*(0 - 56346/(-24))*-4 prime?
False
Let v(o) = 2*o + 15. Let m be v(-5). Is (0 - 4476/(-20))*m a prime number?
False
Let h = -29 - -29. Is 4 - h - 77*-11 a prime number?
False
Let h = -10751 - -20648. Is h prime?
False
Let v = 10 + -8. Suppose -4*s + 4*t = -32, s + v*s = -2*t - 1. Suppose 3*r - 951 = -2*r - 4*p, -s*p = -2*r + 362. Is r prime?
False
Let z be 6/(-3) + -3 + -2. Let o = z + 4. Is -2 + 55 - (-3 - o) composite?
False
Suppose -2*s = 5*s. Suppose g + 0*g = -c + 151, -g + c + 159 = s. Is g prime?
False
Let c(r) = r + 1. Let y be c(1). Let g be y/4 - (-7)/2. Is 586*(1 + 1)/g prime?
True
Let d(o) = 173*o - 2. Let c = 14 - 17. Let n(f) = f**2 + f - 3. Let q be n(c). Is d(q) a composite number?
True
Let l(n) = 108*n**2 - 13*n - 12. Is l(13) a prime number?
False
Suppose -104*a = -102*a - 135556. Is a a composite number?
True
Let m(o) = 23*o - 4. Let h(s) = 3*s**2 - 1. Let l be h(-1). Suppose -2*i = -l - 16. Is m(i) composite?
True
Let p(j) = -j**3 + 4*j**2 - j + 1. Let k be p(6). Let l be 8/14 + (-12045)/k. Suppose 0 = n + 5*i - l, n = 2*i + i + 133. Is n prime?
False
Let a = 55 - -14. Is a + -1 + -2 + -1 + 2 composite?
False
Let i be (-5)/((-35)/4)*7. Let t be -1*72*(-4)/i. Suppose -1423 - t = -5*n. Is n composite?
True
Let m(q) = 48*q - 1. Let x = 40 - 36. Is m(x) a prime number?
True
Let l = -646 + 1167. Is l composite?
False
Suppose -3*g = -5*w + 5, 4*w = 5*g + w - 13. Suppose -g*x + 7741 - 816 = 0. Is x composite?
True
Let b(p) be the first derivative of p**3/3 - p**2/2 - 2*p - 3. Let u be b(-3). Is (-194)/(-5) - (-2)/u composite?
True
Let a(r) = 7*r**3 - 4*r**2 + r + 23. Is a(6) prime?
False
Suppose -22*a + 24*a = -10. Let c(w) = w**2 - w + 5. Is c(a) prime?
False
Let z be 126/(-21)*(-2)/3. Suppose -4*n + 0*m - m + 331 = 0, z*n + 2*m = 334. Is n composite?
True
Suppose -y + 2*c = -4*y - 19, -3*c - 31 = 5*y. Let v be -2 - (1 + -5 - y). Is (-2666)/v + 2/6 a composite number?
True
Suppose -3*b + 15685 = 5*a, -6274 = -4*a + 2*a - 3*b. Is a composite?
False
Let u(i) = 30*i**3 - 11*i**2 + 5*i + 29. Is u(6) a composite number?
False
Let n = 1 - -2. Let b be (-6)/(-45) + ((-48)/90)/4. Suppose n*q - 5*u - 1499 = b, u = 2*u + 4. Is q prime?
False
Is (17713/(-4))/((-37)/148) prime?
True
Let j = 4672 - 1050. Is j a composite number?
True
Let n(p) = -p**2 - 9*p - 8. Let j be n(-7). Suppose j*m = 1325 + 73. Is m a composite number?
False
Let j be ((-2754)/(-8))/((-6)/(-16)). Let d = -397 + j. Is d prime?
True
Let t = 4 - 4. Suppose -x + 450 - 59 = t. Suppose -2*m + x = 77. Is m a composite number?
False
Suppose -4*o = -0*o + 8. Let d(a) = -a. Let l be d(o). Suppose x + 926 = 5*p, 0 - 2 = l*x. Is p composite?
True
Let s = 6431 - 4584. Is s a composite number?
False
Suppose 10*y = 6*y + 12. Suppose 3*l = -2*z + 2593 + 5623, y*l = z - 4117. Is z composite?
False
Suppose 23*x + 830 = -2275. Let y(o) = o - 250. Let d be y(0). Let l = x - d. Is l a composite number?
True
Let h(r) = 703*r - 2. Suppose 4*k = -42 + 46. Is h(k) prime?
True
Suppose 2*c + 2*r - 6452 = 0, -12*r + 8*r + 12 = 0. Is c a composite number?
True
Suppose -4*k - 2 = 5*r + 18, 4*r + 16 = 2*k. Suppose 3*m + k*m = -3*a + 30, 20 = 4*a - m. Suppose -a*h - 21 = -99. Is h prime?
True
Let z be (-4)/22 - (-598)/143. Suppose -2*j = -6*x + z*x + 158, 0 = 3*j + 6. Is x a composite number?
True
Let l(r) = r**2 + 7*r + 9. Let p be l(-6). Let o(g) be the first derivative of 19*g**3/3 - 3*g**2/2 - g - 2. Is o(p) a composite number?
True
Suppose 25 = 5*l + f, 0 = -0*l - 2*l - 4*f + 10. Suppose -l*b + 3756 = 281. Is b a composite number?
True
Suppose -2*h + 5 + 0 = 3*f, -5*h = -5*f + 25. Suppose -218 = -4*g + f*g. Is g composite?
True
Let i = 130 - 76. Let x = -103 + i. Is -1*(0 - -1)*x a prime number?
False
Is (1/6 - (-3014)/(-12))*-1 prime?
True
Is -6*(-38)/(-57) + (24332 - -1) prime?
True
Let c = -893 + 2245. Let g(m) = m**3 + 6*m**2 - 3*m - 16. Let w be g(-6). Suppose w*o - 134 = c. Is o a prime number?
True
Let g(h) = 13*h + 38*h - h + 10. Let f be g(7). Is 3 + f/((-8)/(-4)) composite?
True
Let q(s) = 10*s**2 + 23*s + 271. Is q(30) a prime number?
False
Let d = 268 - 53. Let k = d - 109. Suppose 2*b - 120 = k. Is b a composite number?
False
Let t(u) = u**2 + 7*u + 12. Let f be t(-5). Suppose -f*h = 5*j - 479, h - 2*h = 3*j - 288. Is j a prime number?
True
Let f(z) = 144*z**2 - 27*z - 13. Is f(-6) prime?
True
Let g be -1*(6 + -4 - 1). Let r(c) = 4*c + 2 + 5*c + 89*c**2 - 7*c. Is r(g) a composite number?
False
Let r = -27 + 21. Let c be (-7086)/5*(-20)/r. Is (2/2)/((-4)/c) a composite number?
False
Suppose 0*v + v = 508. Suppose -41 = m - v. Is m a composite number?
False
Suppose -10 = -4*u - 2. Suppose 4*h - u = 58. Is h a prime number?
False
Is ((-51790)/4 - -3)/(24/(-48)) a composite number?
False
Let m(p) = 