 Suppose 5*o + 4*t - t - 6104 = 0, y*t - 6 = 0. Is o a prime number?
False
Suppose t + 4*j = -13, 4*j + 5 = -t + 2*j. Suppose -2*m = -t*s - 3652, 11*m - 9117 = 6*m + s. Is m a prime number?
True
Suppose -1857 = -5*a - 562. Is a composite?
True
Suppose -5*k + 3*k - 3079 = 5*b, 3*k + b + 4599 = 0. Let q = k + 3707. Is 4/(-22) - q/(-165) a prime number?
True
Is (9 - 4)/(-5) - (2 - 7864) prime?
False
Suppose j - 5*v + 19 = -7, -5*j = 3*v + 18. Is 5338/6 + 4/j a prime number?
False
Suppose -m - 5*n - 26 = 0, -14 = 2*m - m - n. Let h(g) = -53*g. Let o be h(-2). Let f = o - m. Is f prime?
False
Let t = 17 - 27. Let n(k) = k**2 + 6*k + 15. Is n(t) a composite number?
True
Suppose 3*b - 747 = -q, 247 = b + 4*q - 3*q. Suppose 3*k + 12 = 2*o + 155, b = 5*k - o. Is k composite?
True
Let n(h) = 5*h + 67. Let c be n(-15). Let p(t) = 3*t**2 + t + 1 + 4*t**2 - t**3 - 12*t. Is p(c) a composite number?
False
Suppose h - 10709 = v, 2*h + 5*v = 19098 + 2292. Is h a composite number?
True
Let q(f) = f**2 + 1174. Let o be q(0). Suppose 0 = -0*p - 2*p + o. Is p a composite number?
False
Is (-20)/(-4) - (-6602 + -10) composite?
True
Let u(q) = -234*q**2 - 5. Let h be u(5). Is (1 + -4)/(15/h) a prime number?
True
Suppose 2*p - f + 53 = 0, 0 = -p + 4*p - 4*f + 72. Is (1 + p/8)*(-194)/5 composite?
False
Is -3*((-1316)/21 + -1) prime?
True
Let i(k) = -2*k**2 + 46*k + 9. Let s be i(23). Suppose 2*u + 3*t = 2*t + 23, -5*u = -3*t - 63. Suppose l + s = u. Is l prime?
True
Let p(v) be the first derivative of 10*v**3/3 + 7*v**2/2 - 6*v + 3. Let b be p(4). Suppose b = 5*x + 3*m - 89, -3*x + 2*m + 155 = 0. Is x a prime number?
True
Let i(g) = g**2 - 6*g + 6. Let r be i(4). Let j be (-4 + 18)/(r/163). Is (-3 - -2)/(7/j) a composite number?
False
Suppose -2*c - 3*m = -823, m - 3*m + 1232 = 3*c. Suppose 2*l - c + 124 = 0. Is l a prime number?
False
Let c(z) = 88*z**3 - 3*z**2 + 17*z - 53. Is c(6) prime?
False
Let h(k) = -208*k + 3. Suppose b - 5*u + 3*u + 15 = 0, -2*b - 15 = -u. Is h(b) prime?
False
Suppose -6*s + 15365 + 113305 = 0. Is s a composite number?
True
Suppose 0 = -3*x + 2*k + 12, 5*x - 25 = -2*k + 7*k. Is x/13 - 3989/(-13) prime?
True
Is 1584932/111*(-30)/(-8) composite?
True
Suppose 1844 = 4*x - 2*k, -2*x - 5*k = -k - 922. Let d = 282 + x. Is d a prime number?
True
Suppose -5*n = 4*o - 2*o - 318, 0 = -5*n + 3*o + 323. Suppose 0 = -4*c + u + 305, -u - n = -c + 10. Is c composite?
True
Is 1013349/45 + (22/15)/11 composite?
True
Let g = 1462 + -179. Is g composite?
False
Let r be ((-24)/(-28))/((-2)/868). Let p = r - -557. Is p a prime number?
False
Let c(o) = o**2 + 11*o - 16. Let m be c(-11). Let k(a) = -a**3 - 15*a**2 - 12*a + 4. Let f be k(m). Suppose 4*q + f - 1624 = 0. Is q a composite number?
False
Let b(p) = 955*p**2 - 10*p - 4. Is b(3) a composite number?
True
Suppose c + 5*w + 1125 = 0, 3*c + w + 4*w = -3355. Let t = c + 1690. Let b = t - 204. Is b a prime number?
False
Let g(k) = k**2 - 3. Let n be g(-2). Is ((-1)/n + 54)*11 composite?
True
Let m be 2 + (-3 - -1)/(-2). Is (-30453)/(-6) + m/2 a composite number?
False
Suppose 9*d = 5*d + 788. Let w = d - 88. Is w a prime number?
True
Suppose -6*m - 7074 = -3*m + 3*h, -4*m - 9429 = h. Let q = m - -3394. Is q composite?
True
Let a = -14 - -13. Is 115 + -2 + 1 - a a composite number?
True
Suppose w - 2 = 100. Suppose b + 4*b - w = -3*z, -2*b + 37 = 5*z. Is b composite?
True
Let g be (-20)/(-25) - 1/(-5). Let v(z) = -37*z - 1. Let p(t) = -t - 1. Let h(w) = g*v(w) - 2*p(w). Is h(-6) composite?
False
Let n = -2601 - -4178. Suppose -25 = -5*v, 3*i = -4*v - 0*v + n. Is i composite?
True
Is (-45704)/(-20) + 13/(-65) prime?
False
Let i = -1861 + 3118. Suppose 0*g + 4*g - r = 1006, 5*g - r = i. Is g a prime number?
True
Let k(a) = -2357*a**3 - 2*a**2 + 1. Let s be k(-1). Suppose -s = -4*f + p, f - 359 = -2*p + 230. Suppose -4*g = -f - 303. Is g a composite number?
False
Let y(i) = -120*i - 13. Let v = 35 + -38. Is y(v) a prime number?
True
Is (-69)/9*(-268 - -1) a composite number?
True
Let m = 53 + -19. Is -17*(-2)/(4/m) a composite number?
True
Let u(s) be the first derivative of -62*s**2 - s + 1. Suppose -6*b = -0 + 12. Is u(b) prime?
False
Let z be 8/(2/2*(-14 + 13)). Let q = 151 - 28. Let i = z + q. Is i a composite number?
True
Suppose -5*c - 96 = -8*c. Let h = c + 3. Is h composite?
True
Let l be -621*((-24)/(-9))/(-4). Let q = l + -78. Let d = 37 + q. Is d a composite number?
False
Suppose 3*x + 4*d = 5851, x = -0*x + 4*d + 1945. Is x a composite number?
False
Let v(c) = -33*c**2 - 8*c + 11. Let n be v(5). Let k = n - -1247. Is k a composite number?
True
Let r(t) = 2*t. Let s be r(1). Suppose -i = p - 34 - 114, p + s*i - 151 = 0. Suppose 2*j - p = j. Is j a prime number?
False
Is -6 - (5 + -36702 - -8) composite?
False
Let h = 51778 - 27085. Is h a prime number?
False
Let n(m) = 4214*m**3 - m**2 - m + 1. Is n(1) a composite number?
True
Let v(f) = -f**2 + 3*f - 4. Let i be v(-5). Is 7833/(-2)*(i/12 + 3) prime?
False
Suppose 5*r - 822 = 1213. Suppose -346 = -3*i + r. Is i composite?
False
Suppose 0 = 23*v - 20*v. Suppose -2*n - 5*i + 98 = v, 0 = 5*n - 5*i - 0*i - 315. Is n a composite number?
False
Let r(p) = -p**3 - 4*p**2 + 2. Let z be r(-4). Suppose -z*a - 16 = 2*a. Is 2*((-370)/a - -3) prime?
True
Let m be -2 - 2*20/(-5). Suppose -3*t + m*t = 9. Suppose t*r - 2*r = 71. Is r a composite number?
False
Suppose -3*l + 10*j + 22127 = 5*j, j - 36841 = -5*l. Is l prime?
True
Let p(l) = -6*l - 5. Suppose 4*o + 5*f = -223, -3*o + 4*f + 0*f = 206. Let x be (-2)/(-10) - o/(-10). Is p(x) a prime number?
True
Let x(c) = -c**2 + 1239*c - 414*c**3 - 1239*c. Is x(-1) a prime number?
False
Suppose 12*i - 462 = 5*i. Let j = 91 + i. Is j prime?
True
Suppose 0 = 3*p - g - g + 43, 2*p = 4*g - 26. Is -7*(p - 0)/3 a composite number?
True
Is (-1 - 146949/(-21)) + (-96)/(-224) a prime number?
True
Let t = 26 + -22. Let k be 9/(-6)*(t - 302). Is (k/(-6))/(1/(-2)) a prime number?
True
Let f be 224/(-3)*(-783)/12. Suppose -5*j = -f + 287. Is j a composite number?
True
Let f = 14 - 10. Suppose i - 2*o = 118 + 131, 0 = -f*i - 3*o + 985. Is (-3)/3 + i + 3 prime?
False
Let c = 7 + -2. Suppose -z + 0 = 1, c*a - 18 = -2*z. Suppose -2*p - a*q = -266, -3*q - 2*q - 239 = -2*p. Is p composite?
False
Let q(x) be the second derivative of -x**4/6 + 11*x**3/6 + x**2 - 2*x. Let a(z) = 5*z**2 - 21*z - 5. Let b(o) = 3*a(o) + 5*q(o). Is b(6) composite?
False
Suppose -4*k + 4*u + 460 = 0, -4*k + 305 = -3*u - 150. Suppose k + 24 = m. Let b = 291 - m. Is b a prime number?
True
Let p = -6653 + 13996. Is p composite?
True
Suppose -13*g - 5 = -18*g. Let d be (g/(-2))/(6/12). Is (-14)/d*92/8 a composite number?
True
Let h be -10*(55/25 - 3). Suppose -l + 174 = 5*g, 0 = -3*g + 5*l + h + 74. Is g a prime number?
False
Suppose -17*o = -16*o - 3. Suppose -o*n + 4*l + 1470 = l, -2*n - l = -989. Is n a composite number?
True
Suppose -5*r + 19 = 4. Suppose -k = -f + 66, -r*k + k = -8. Suppose f = -4*x + 9*x. Is x prime?
False
Is (-28)/8*-2 + 34024 composite?
False
Is -47453*(4 + 174/(-42)) prime?
True
Suppose 2 - 15 = r. Let t(h) = -1 - 8*h + 3 - 5 + 4*h. Is t(r) composite?
True
Let q be (0/4)/(-1 - 0). Suppose 3 + 3 = 3*o, q = -m + 5*o + 297. Is m composite?
False
Suppose -23*d + 31126 = -35597. Is d composite?
True
Let b(h) = -10*h**2 + 20. Let r(y) = 9*y**2 - y - 19. Let c(q) = 2*b(q) + 3*r(q). Is c(8) a prime number?
False
Suppose 0 = -y - 2*z + 9541, 5*z + 17 = 12. Is y composite?
True
Is 3 - (-4 + -780)*(2 + 0) prime?
True
Suppose 298727 + 1022933 = 20*p. Is p a composite number?
False
Suppose 3*i + 79 = 2*i. Let f = 70 - i. Is f prime?
True
Let y(g) = -g**3 + 25*g**2 + 23*g + 114. Is y(25) a prime number?
False
Let f = -33 + 57. Let r be (-3)/12 + 54/f. Is 78 + -4*r/(-8) a composite number?
False
Let s(w) = -439*w**3 + 13*w**2 - 9*w - 7. Is s(-6) composite?
False
Let o = -33353 - -88634. Is o a composite number?
True
Let s be -2118 - (2/(-7) + 115/35). Let o = -1168 - s. Is o composite?
False
Is (2 - 10) + 800 - (-10)/(-2) a composite number?
False
Suppose 2*g - 12 = 6. Suppose -6*z - 198 = -g*z. Let w = z - -31. Is w composite?
False
Let c = 47 + -31. Is ((-56)/c)/((-1)/46) a prime number?
False
Suppose 32*c = 30*c + 8. Let m = -3 - -5. Suppose m*v + 5*q = 