 = -4*l - 0*l + 676. Is l a composite number?
True
Let m = -10 + 16. Let h(g) = -8*g + 14 - 15*g + 44*g + 3*g. Is h(m) prime?
False
Suppose 2*f - 12 - 10 = 0. Let r = -8 + f. Suppose -3*q + 19 = -2*u - 197, 213 = 3*q - r*u. Is q prime?
False
Let d = -8 - -14. Suppose d*c = 2*c. Suppose c = -p + 2, -354 - 244 = -2*r + 2*p. Is r prime?
False
Let r = 3920 - -5109. Is r a prime number?
True
Is (3 + -1440)/(2 - 3) a prime number?
False
Let m = 70 - 39. Let p = m + -28. Suppose 141 = -n - 4*s + 574, p*n + s - 1332 = 0. Is n prime?
False
Let a(b) = -b**2 - 16*b - 18. Is a(-5) composite?
False
Let r = 961 + -214. Let q = r - 1067. Let w = q + 994. Is w composite?
True
Let d(l) be the second derivative of 2*l**3/3 - 11*l**2/2 - 32*l. Let o = 11 + -6. Is d(o) a composite number?
True
Let m(k) = k**3 - 5*k**2 - 7*k - 17. Let p be ((-4)/8 - 0)*-16. Is m(p) a composite number?
True
Let k = 90 + 48. Let w = -4 + k. Suppose 0 = 2*g - 5*x - 87, g - w = -2*g + 4*x. Is g a prime number?
False
Suppose -4*i = -2*i. Suppose 0 = -5*d - 4*t - 784 - 198, i = d - 5*t + 179. Let l = 323 + d. Is l a prime number?
False
Let i = -26 + 39. Suppose i = -q - 0. Let r = q - -48. Is r composite?
True
Let y(u) be the second derivative of -53*u**6/360 - u**5/120 - u**4/2 + u. Let m(p) be the third derivative of y(p). Is m(-2) composite?
False
Suppose x = 4*x - 9. Suppose -q + 2027 = -x*f, q - 8*f = -4*f + 2029. Is q composite?
True
Let s = -4251 - -7708. Is s a composite number?
False
Suppose -1079 - 2753 = -8*o. Is o a prime number?
True
Let p be (-86)/(-18) - (-2)/9. Let w(o) = -o - 1. Let y be w(-6). Suppose x - 230 = -y*d, 6*x - 1090 = x - p*d. Is x a composite number?
True
Let x = 21 + -17. Let p be 7 + 1*(-12)/x. Suppose -a = 5*j - 168, -5*a - p*j + 0*j + 819 = 0. Is a prime?
True
Let f be (-4168)/(-10) - 3/(-15). Let k = f - 28. Is k a composite number?
False
Let i be (-3)/(-1) + (-488)/4. Let c = -64 - i. Is c composite?
True
Let d(r) be the third derivative of -r**6/120 - r**5/5 + r**4/2 - 5*r**3/2 - 5*r**2. Let y be d(-13). Is y/(-8) + (-4108)/(-16) a composite number?
False
Let t = 17 - 36. Let i = t - -22. Suppose -i*p + 316 = p. Is p composite?
False
Suppose 72832 = -3*h - 13*h. Let z = -3205 - h. Is z composite?
True
Let j = -55 - -31. Let s = 24 + j. Suppose 5*r + 4*c - 1239 = s, -5*r + 1275 = 5*c - 10*c. Is r a prime number?
True
Suppose -22*j + 200841 = -214805. Is j a prime number?
False
Let f = 24410 - 14167. Is f a composite number?
False
Suppose 90657 + 319965 = 6*v. Is v a composite number?
False
Let i be 7/(4/260 + 0). Suppose 5*m = -2*f + 910, -2*m - i = -f + m. Suppose -5*t - 4*x + f = -2*t, -2*t + 294 = -2*x. Is t a composite number?
False
Suppose 2*j - 277 + 3965 = 0. Is 2/(-6) - j/6 prime?
True
Let v be (-3)/(-2)*(-64)/(-12). Suppose -4*f - 7388 = -v*f. Is f a prime number?
True
Suppose -3*g + 68168 = -c, -22940 + 68392 = 2*g - 2*c. Is g a composite number?
False
Let t(w) = -316*w - 95. Is t(-6) prime?
True
Suppose -4*j + 5*b = -33392, -14*b + 19*b + 8333 = j. Is j a composite number?
False
Let h(r) = -3*r + 26. Let k be h(8). Is 0 + k - (1 - 5098) composite?
False
Let s be (870/66 + 4/(-22))/1. Let z(p) = 21*p + 3. Let u be z(3). Let b = u - s. Is b a prime number?
True
Suppose -16 - 44 = -6*h. Is ((-45)/h)/(-9)*614 a composite number?
False
Let r(x) = 20*x**2 + 10*x + 23. Let d = 112 + -123. Is r(d) a composite number?
False
Suppose 0 = 6*n - 7*n + 26. Is (-4)/n - (-2 + (-34900)/52) a composite number?
False
Let x(p) = 91*p**3 + 6*p**2 + p + 5. Is x(6) prime?
False
Let p be 8/(-2) + 2 + 2. Suppose 600 = 4*q + h - 753, p = -5*q + h + 1680. Is q composite?
False
Suppose 5*p - 555735 = -5*z, -165296 = -3*p + 2*z + 168155. Is p a prime number?
True
Suppose -2*v = -10, 32*w - 123585 = 27*w + 4*v. Is w prime?
False
Let t(o) = 2897*o**2 + 3*o - 3. Suppose -d - 3*d + 4 = 0. Is t(d) composite?
False
Let s be (-62)/(-5) - 6/15. Let f be (-30)/s - (-2)/4. Is 3/(-2) + (-425)/f composite?
False
Let i = 227 - -88. Let z = 813 - i. Is 1*1*(3 + z) a composite number?
True
Let n(p) be the first derivative of p**4/4 - 2*p**3 - 7*p**2/2 + 7*p - 3. Let l be n(7). Let d(h) = 18*h + 1. Is d(l) a composite number?
False
Let f be 0/((-12)/(-4)) + 4. Suppose -2*g = -g - f. Is (g - (-4 + 4)) + 873 composite?
False
Let v(o) = 919*o**2 + 3*o - 3. Suppose 2*j - 12 = -4*u, 7*u + 17 = 4*u + 5*j. Is v(u) prime?
True
Let h = -1 + 7. Suppose 3*k - 3*l - 3 = l, -3*k + h = -3*l. Suppose 128 = 2*y - k*r, 2*y - 5*y + 2*r = -214. Is y composite?
True
Let x be (2/(-4))/(11/(-44)). Suppose -z = x*z. Suppose -3*c = -z*n + 4*n - 757, 0 = -4*c - 3*n + 1021. Is c a composite number?
True
Let m be (-7 + 1)*(-167)/(-2). Is 4*(m/4)/(-3) prime?
True
Suppose 35 = -7*c - 7. Let i be (c/(-9))/((-4)/18). Is (-6)/4*1574/i a composite number?
False
Let y = -26454 + 38177. Is y a composite number?
True
Let q(w) = -w**3 - 6*w**2 + 3. Let j be q(-6). Suppose 2*l + m = 503, l - j*m + 747 = 4*l. Suppose -s + l = s. Is s a composite number?
False
Suppose -20*f + 74522 = -18*f. Is f a prime number?
False
Suppose -5*m + 21 - 6 = 2*i, -m - 20 = 5*i. Suppose -2125 = -m*z + 940. Is z composite?
False
Let j(b) = -2*b**2 - 8*b + 7. Let p be j(-3). Suppose -p*r + 4716 = -991. Is r a composite number?
False
Suppose 44*l = 34*l + 2230. Is l a prime number?
True
Suppose -2*r - 8 = 4*v, 0*v = 3*r + 5*v + 10. Let t = r + 2. Suppose t*k = 114 - 22. Is k a composite number?
True
Suppose 0 = 2*z - 4*z + 622. Suppose -2*i = o + z, -3*o + 5 = -4*o. Is (-3 - i) + 2 - 3 a prime number?
True
Let f = 144 + -44. Suppose 4*d = n + 760, -103 - f = -d - 3*n. Is d composite?
False
Let u(o) = -33*o + 31*o + 0*o**2 - 8*o**2 - 2*o**3 + 17. Is u(-5) prime?
False
Let z(r) be the second derivative of -7*r**5/20 + r**4/24 - r**3/3 + 2*r. Let u(b) be the second derivative of z(b). Is u(-3) prime?
True
Let g = 7 - 5. Suppose 6*q - g*q - 42 = -5*y, 0 = 2*q + 2*y - 22. Suppose 3*d - 4*d + q = 0. Is d prime?
True
Let w = 156 - -1218. Let m = w + -467. Is m a composite number?
False
Let p(q) be the second derivative of 0 + 2*q - 5/2*q**2 - 34/3*q**3. Is p(-5) composite?
True
Is ((-245)/56 - -4) + 93419/8 composite?
False
Is 30029 - (5 + (-84)/18)*-18 a prime number?
False
Suppose w + 197 = -5*g - 91, -g - 51 = -2*w. Suppose 2*m = -4, 2*a + 3*m - 218 - 216 = 0. Let t = a + g. Is t prime?
True
Suppose 0 = 4*p + 3*w - 145804, 3*p - 28*w - 109353 = -30*w. Is p prime?
True
Let i(f) = -972*f - 3. Let t(m) = -1943*m - 7. Let j(b) = -7*i(b) + 4*t(b). Is j(-2) composite?
True
Is 1 + (-1036)/21*-99 composite?
True
Suppose -937 = -3*j - 4*t, -j + 299 = -3*t + 7*t. Suppose -j = -2*c + 943. Is c a prime number?
True
Suppose 0 = 4*y - 3*b - 100642, -50312 = 17*y - 19*y - 3*b. Is y prime?
False
Let l(o) be the second derivative of 2*o**2 + 6*o + 35/2*o**3 + 0. Is l(3) prime?
False
Suppose 16 + 80 = 2*b. Suppose 0 = 2*m - 1276 + b. Is m a prime number?
False
Let z(a) = 11*a**3 - 2*a**2 - 12*a + 11. Let c(h) = h + 3. Let u be c(4). Let i be z(u). Suppose 0 = -g - g + i. Is g a prime number?
True
Let p(d) be the third derivative of -d**4/12 + 5*d**3/3 + d**2. Let u be p(5). Suppose u = -2*m - 6*n + n + 186, m - 4*n = 67. Is m a prime number?
True
Let q = -13489 - -22392. Is q a prime number?
False
Is -4 - -1 - (738 - 6)/(-6) composite?
True
Suppose -3*q - 850 = 2*c, 2*c + 0*q = -2*q - 854. Let p = 748 + c. Is p a composite number?
False
Let n = 22 + -19. Let c be n*(24/(-9) + 2). Is -530*c/(-4 - -8) a prime number?
False
Let s(l) = -l**3 + 8*l**2 + 13*l - 13. Is s(-7) a prime number?
True
Suppose 8433 = 5*l - 4*o, 4*o - o + 6746 = 4*l. Suppose -5*r + 2*q = -l, 5*r - 1685 = -0*q - q. Is r a composite number?
False
Suppose 5 + 1 = -2*j, 4*l = 4*j - 8. Let q(i) = -i**2 - 7*i - 2. Let z be q(l). Suppose 14 = g - z. Is g composite?
True
Let w(j) = -708*j**2 - j + 2. Let l be w(1). Is -1 + (-1 + l)*28/(-12) a composite number?
True
Let i be 2 - (-1 - -3)/1. Suppose 2*h + 2*w - 1049 = -3*h, i = 4*h - 4*w - 856. Is h a prime number?
True
Suppose -2*r + 4 = -2, 3*h = -5*r + 11946. Is h a prime number?
False
Let f(z) = 3323*z - 491. Is f(18) a prime number?
False
Let h(u) = -4*u**2 - 2*u - 1. Let j be h(-1). Is 1*((j - -4202) + 2) a prime number?
True
Let g be 1 - ((2 - 