 Let z = 94 + y. Is z a composite number?
False
Let q(d) = -11*d - 6. Suppose -4*t = -6*t. Suppose -m - 8 = -t. Is q(m) prime?
False
Suppose v + 4 - 104 = 0. Let o = v - -49. Is o a prime number?
True
Suppose 10*q + 13 = -b + 5*q, -52 = 4*b + 4*q. Let g = b - -15. Suppose -4*f = g*m - 62, 2*f + 80 = 5*m - 3*m. Is m a composite number?
False
Is -17308*(-6)/26 - 28/182 prime?
False
Suppose 0 = 3*j - 1 - 5. Suppose -2*u - 913 = -j*n + 377, 4*u = 16. Is n a composite number?
True
Let c be (-11888)/(-56) - 4/14. Suppose 0*k + 4*k - c = -z, -4*z = 4*k - 212. Is k composite?
False
Let u = 500 - -267. Is u a prime number?
False
Suppose 49*l - 31*l - 464958 = 0. Is l a prime number?
False
Let u(o) = -3*o + 138. Let b be u(0). Let f = b - 55. Is f a composite number?
False
Suppose 3946 = s - 1688. Suppose -2*b = 2*d - s, 2*b = d - 1835 - 994. Suppose -p = p + 10, -4*g - 3*p = -d. Is g a prime number?
True
Is (-2 + (-6)/(-2))/(2/19178) composite?
True
Suppose 4*g - g + 3*o + 6 = 0, -2*o - 8 = 3*g. Is g/(-6)*45429/38 a composite number?
False
Suppose 4*v = -41 + 53. Suppose -987 = -v*b + 2*u, -3*b + 1316 = b + 2*u. Is b a composite number?
True
Let x = -1214 + -19. Let r = x - -1882. Is r a prime number?
False
Let a = -33 - -15. Let u be (-2)/(-6) + (-8994)/a. Let g = u + -267. Is g a composite number?
False
Suppose -2*w = -3*l + 3912 + 1177, 0 = 2*w + 10. Is l a composite number?
False
Let k = -1161 + 2342. Is k prime?
True
Let l = -7 + 7. Let v(m) = -33*m**2 - 2*m + 99*m**2 + l - 6 + 5. Is v(-1) a composite number?
False
Let w = -175 - -308. Suppose 3090 + w = 11*d. Is d a prime number?
True
Suppose -2*n = 3*i - 83754 - 61987, 0 = 3*i - n - 145735. Is i a prime number?
False
Let r(n) = -15*n**2 - n. Let v be r(-1). Let k be (-7)/(v/4)*293. Suppose k = i + i. Is i a composite number?
False
Let n(w) = 454*w**3 + 2*w**2 - 13. Is n(3) a composite number?
False
Suppose 0 = -i + 3*u + 16, 3*i + 5*u - 5 = -13. Let a(o) = -7*o**2 + 38*o**2 - 3*o + 23*o**2 + i. Is a(-3) a prime number?
True
Let x(j) = -129*j**2 + 3*j - 3. Let f(n) = 130*n**2 - 2*n + 2. Let a(s) = 6*f(s) + 5*x(s). Is a(2) a composite number?
True
Let i = -151811 - -249804. Is i prime?
False
Let c(y) = -6470*y**3 - 8*y**2 - 6*y + 1. Is c(-1) a composite number?
False
Let f = -139 - -141. Is f/(-20)*-2 + (-22902)/(-165) a composite number?
False
Let f(s) = s + 7. Let l be f(-5). Let g(q) = -q**2 - q + 1. Let w(i) = 23*i**3 + 8*i**2 - 1. Let d(t) = 6*g(t) + w(t). Is d(l) composite?
True
Let i = -6935 + 17697. Is i/22 - (-12)/(-66) a composite number?
True
Suppose -4*x + 1071 = 5*o - 0*x, 2*o = -4*x + 426. Let d = o - 148. Is (0 + -2 + 3)*d composite?
False
Suppose -3*z + s + 14128 = 0, -z - 2*z - 4*s + 14153 = 0. Is z a composite number?
True
Let o(j) = -20*j - 7. Suppose 4*z = -5*x + 48, x = 3*z + 2*z - 31. Suppose 0 = 6*f - z*f - 3. Is o(f) a composite number?
False
Suppose -3*y = -8763 + 1812. Is y prime?
False
Let t be 1 - -7 - (-20)/(-5). Suppose -2*l = 2*l - 4*s - 452, s + t = 0. Is l prime?
True
Suppose 3*s = 4*t - 7*t + 27, -2*s + 13 = t. Suppose -4*v - 20 = 5*d, -d - 3 = -t*v + 1. Suppose 9 = -3*q, v*q = 5*j + 2*q - 409. Is j prime?
True
Suppose c - 3*s = -7*s + 10301, -5*s - 51630 = -5*c. Is c composite?
False
Suppose 0 = 2*b + 6, -y + 2664 = 2*y - 4*b. Is y/(-6)*6/(-4) prime?
False
Let f be 1/((-51)/27 - -2). Suppose -f*a - 1628 = -7*a. Let u = 1227 + a. Is u a composite number?
True
Let c(z) = 150*z**3 + 2*z**2 - 18*z + 59. Is c(3) prime?
True
Let j(g) = g**3 - g**2. Let u(y) = -y**3 + 5*y**2 - 6*y - 6. Let h(l) = -2*j(l) - u(l). Let k be h(-6). Suppose -k + 22 = -4*m. Is m a composite number?
True
Let i(z) = -z + 24. Let r be i(18). Suppose 3*u = -5*x + r*x - 1951, -2*x + 3916 = u. Is x composite?
True
Let b(r) be the first derivative of 8*r**3/3 - 17*r**2/2 - 15*r + 18. Is b(-24) a composite number?
True
Let y(f) = 3*f**3 - 9*f**2 + 2*f - 19. Is y(9) prime?
False
Is (375125 + -9)/14 - 14/(-2) composite?
False
Let c(z) = -4*z**3 - 12*z**2 - z + 6. Let y be 78/(-6) - 1*-4. Let h = y - -4. Is c(h) a prime number?
True
Suppose -5*d = -d - 12. Let i be 844*(-1)/(d + -4). Suppose -n - i = -5*n. Is n a prime number?
True
Suppose -t + 2 = -2. Suppose -t*g = z - 8, 3*z - 2*z = 3*g - 13. Is g a prime number?
True
Let b = -865 + 2594. Let c = 2672 - b. Is c a composite number?
True
Suppose 0 = 2*x - 27 + 89. Is (-1)/5 - x/5 a prime number?
False
Suppose -665*j + 21830 = -655*j. Is j prime?
False
Let w = 36 - 32. Suppose -w*m = -3*p - 175, -m = 2*p + p - 40. Is m prime?
True
Let b = 66 - 58. Is (-2938)/(-18) + b/(-36) a prime number?
True
Suppose -5*v - 2*w + 3*w + 335 = 0, 2*w = -5*v + 350. Suppose -2*y + v = -y. Suppose 4*j = 220 - y. Is j composite?
True
Let r = -2718 + 3005. Is r composite?
True
Let n(r) = 66*r**2 - 15*r + 7. Let i be 6*(16/(-6))/(-2). Is n(i) a composite number?
False
Is 6752/3 - (-6 - 17/(-3)) composite?
False
Let s(l) = l + 2. Let u(f) = -7*f**2 + 11*f - 49. Let z(h) = -3*s(h) - u(h). Is z(14) prime?
False
Let y(z) = z**2 + 8*z + 9. Let b be y(-6). Let k be -7 + 5 + 18 + b. Suppose -x + 75 - k = 0. Is x prime?
False
Let v be (0 - 231/(-15)) + 6/(-15). Suppose j + 256 - 25 = -5*q, 4*q - 1242 = 5*j. Is j/(-5) - 3/v prime?
False
Let j(m) = 8*m**2 - 19 + 4*m - 4*m - 3*m. Is j(6) composite?
False
Let g(d) = -2*d + 5. Let o be g(3). Is 1 + o - (-802 - 1) prime?
False
Suppose 5*j + 38685 = 20*j. Is j composite?
False
Let i = -761 - -784. Let n = -124 + 216. Suppose 4*r - n = 2*b, 0*b = -r - 4*b + i. Is r a composite number?
False
Let n be (6/(-2) + 2)*-1. Is (2/(16/121048))/(1/n) a composite number?
False
Is (4006 - -4) + (-3 - (5 - 7)) a prime number?
False
Let n(y) = -y**2 + 3*y - 12. Let u be n(-5). Let d = u - -81. Suppose -9 - d = -2*b. Is b a prime number?
True
Let d = -1023 - -17944. Is d composite?
False
Suppose y - 8 = 3*g, -4*y - 5*g - 4 = -2. Suppose 5*m = y*m - 66. Is 14/(-77) + (-4646)/m prime?
True
Let y(b) = -3 - 12*b - 7*b + 25 + 18*b + 8*b**2. Is y(11) composite?
True
Let q be 22/4 - (-12)/(-24). Suppose 0 = -3*f + 5*v + 27, 0*f - q = -2*f - v. Suppose f*a + 171 = 911. Is a composite?
True
Suppose 5*w - 31 = -t, 0 = 2*w - 5*t - 1 - 6. Suppose w*a - 7232 = 6910. Is a prime?
True
Let b(w) = -w - 1. Let u(t) = -10*t + 15. Let o(c) = -2*b(c) - u(c). Suppose 1 = n, 0*g + 17 = 2*g - n. Is o(g) composite?
True
Suppose 2*q = 238 + 2050. Suppose 7*y - q = 3*y. Let d = y - 167. Is d composite?
True
Let h(t) = 39*t**2 - 54*t - 35. Is h(24) composite?
True
Suppose 253*y = 247*y + 64518. Is y a prime number?
True
Suppose -3*s + 3*d + 8618 = 8*d, 3*s - 8633 = -2*d. Is s prime?
False
Suppose -2*b = -281 - 429. Is b composite?
True
Suppose -26*i + 10787 = -12795. Is i a composite number?
False
Let s(n) = n**3 + 3*n**2 - 4*n + 2. Let w be (-4)/30 + (-290)/75. Let g be s(w). Suppose -3*m - i + 41 = -6*i, -g*i = 2*m - 6. Is m a prime number?
True
Let v = 2293 - 4437. Let s = v + 4591. Is s a prime number?
True
Let z be (-6)/9 + (-15)/(-9). Is z - ((0 - 9) + 3) prime?
True
Let g(y) be the first derivative of 131*y**3/6 + 2*y**2 - 6*y - 2. Let n(a) be the first derivative of g(a). Is n(3) a prime number?
True
Let u = -25 + 22. Let h be (u + 1)/(10/7115). Let c = -882 - h. Is c prime?
True
Let j(w) = 44*w**3 + 3*w**2 - 5*w + 7. Let q(l) = -l - 6. Let b be q(-9). Is j(b) prime?
False
Suppose -5*q + o - 64 = -10*q, -44 = -2*q - 5*o. Let i = -9 + q. Suppose -259 = -i*j - h, -h = -4*j - 3*h + 346. Is j prime?
False
Let p be (-5)/(30/(-6))*(-1 + 1). Suppose -z - z + 2686 = p. Is z a composite number?
True
Let o(c) = 37*c**2 - 23*c + 9. Is o(6) prime?
False
Is 5*(-12)/630 - 519922/(-42) a composite number?
False
Suppose -3*d - v = -2725, 7*v = 3*d + 9*v - 2729. Is d a prime number?
True
Let h be 8/(-10) + (-9)/45. Let t be 5/(-15) + h/(-3). Suppose 0 = -2*x - 4*g + 1106, x - g + 2*g - 555 = t. Is x a composite number?
False
Let i = -20 + 40. Suppose 0 = 3*a - 2*a + 5, 5*r = -4*a - i. Suppose 2*h + 2*l = 5*l + 59, -3*h + 4*l + 86 = r. Is h composite?
True
Is 8831/((-144)/(-20) + -7) a composite number?
True
Suppose 5*r - 1346 = 3189. Is r a prime number?
True
Suppose 2*j + 3*t = 128, -4*j + 3*t + 20 + 272 = 0. Is 20/j + (-1139)/(-7) prime?
True
Let j(s) = -2523*s - 8. Let m be j(-3). Let