
Let a = 1214 + -405. Is a a composite number?
False
Let m = 164 - -350. Is m a composite number?
True
Let t(g) = 8*g**2 + 4*g + 7. Is t(-7) a prime number?
False
Let q(t) = -t**3 - 18*t**2 + 30*t + 28. Is q(-21) a composite number?
True
Let j(g) = -g**3 + 3*g**2 + 6*g + 5. Let k be j(5). Is k/(-6)*(-88)/(-10) a composite number?
True
Suppose -2*n + 819 = n. Suppose -5*d + 2*f - 735 = -10*d, 5*f - n = -2*d. Is d composite?
False
Suppose -3*y + 1219 = -5*h, y + 0*y + h = 417. Is y prime?
False
Let m be 50/3*(-3)/(-2). Let l = m - 10. Suppose -2*p - a = -34, -3*p + 54 + l = -3*a. Is p a prime number?
True
Let r be 8/(-1)*260/(-8). Let w = r - 99. Is w a composite number?
True
Suppose v - 5*v + 8 = 0. Suppose -c - 5*a + 869 = v*c, 3*a - 287 = -c. Is c a prime number?
True
Is 2231/11 + 4/22 composite?
True
Let v be 9/(-2)*6/(-9). Let j(h) = 1 - 4 + v*h**2 - 1. Is j(-3) a prime number?
True
Suppose -3*q + 195 = -78. Is q a prime number?
False
Suppose 24140 = 15*p - 24265. Is p a prime number?
False
Let n = -21 - -28. Suppose 11*s - n*s = 572. Is s composite?
True
Let k(x) = -3*x**2 - 3*x**3 + 5 + 7*x**2 + x**3 + 3*x. Is k(-4) prime?
False
Let d = -315 - -682. Is d a composite number?
False
Let z(x) = -x**3 - x**2 + 1. Let a be z(-2). Suppose a*g - 792 = 5*n - 4*n, 4*g + 4*n - 624 = 0. Let i = g + -25. Is i composite?
True
Let l = -240 + 451. Is l prime?
True
Let r be ((-386)/4)/((-2)/8). Let a = -271 + r. Is a a composite number?
True
Is 2077 + -1 - (-4 + -1) prime?
True
Suppose -t + 7 = -d, -2*t + t = 4*d + 18. Is (11/2)/(t/4) a composite number?
False
Let b = 45 - -49. Is b a prime number?
False
Let p = -5 - -10. Suppose -p*z + 2*z = -99. Is z prime?
False
Suppose 874 = 5*o + 239. Let b = o - -4. Is b a prime number?
True
Let i = -20 - -351. Is i a composite number?
False
Let o(y) = -y**3 + 10*y**2 + 5*y - 5. Let j(h) = -9*h**3 + h. Let z be j(-1). Is o(z) composite?
False
Let f = 6 + -12. Is (316/6)/(f/(-9)) a composite number?
False
Let n be (-20)/(-6)*(-15)/(-2). Let y be 4/(-12)*-3 + -17. Let q = n + y. Is q a composite number?
True
Let l(h) = -h**2 - h - 1. Let z be l(-1). Let m be -5 + (-2)/(-3 - z). Is ((-23)/m)/((-1)/(-12)) a prime number?
False
Suppose 196*x - 192*x = 1972. Is x composite?
True
Is ((-2255)/10)/(2/(-4)) composite?
True
Is (-940)/(-6)*15/10 prime?
False
Let u(b) = -b**3 + 5*b**2 + 14*b - 11. Is u(5) a composite number?
False
Suppose -8 = -2*a + 5*l, 2*l - 13 = a - 2*a. Let r = a + -14. Let b(h) = -2*h**3 - 3*h**2 + 4*h. Is b(r) prime?
False
Let n(k) be the second derivative of -25*k**3/6 - k**2/2 + k. Let z be n(-4). Suppose 0 = -2*x - x + z. Is x prime?
False
Suppose 14 = 5*d - 1. Suppose d*r + 14 = -w + 374, -2*w = -r - 748. Is (-1)/(-2)*w/6 a composite number?
False
Suppose 0 = -4*w - 1950 + 6170. Is w a composite number?
True
Let k(w) = 53*w**3 + w**2 - w. Let p(d) = -d**2 + 2*d. Let a be p(-3). Let z be 9/a + 16/10. Is k(z) a prime number?
True
Let q = 3 - -176. Is q a composite number?
False
Let u be 1/(2/6 + 0). Let n be u + 16*(2 + 1). Suppose -y + n = -5*q, 0 = -y + 6*y - 4*q - 150. Is y a composite number?
True
Let x = -9 - -15. Suppose -x*k = -k - 15. Is k prime?
True
Let t(l) = 7*l**2 - 4*l + 4. Suppose b = 3 - 0. Is t(b) a prime number?
False
Suppose 50*a = 53*a - 381. Is a a prime number?
True
Let n(c) = 2*c**3 - 6*c**2 + c - 1. Let h be (-10)/(-2) - 0/(-2). Let w be 4/6*(h + 1). Is n(w) composite?
True
Suppose -5*r + 5 = 0, 0 = -n - 0*n - 3*r + 118. Is n composite?
True
Let l = 8 + -3. Suppose -36 = -x + c, -2 + l = 3*c. Is x a prime number?
True
Let q = 254 + -127. Let c = -74 + q. Is c a composite number?
False
Suppose -5*g = -3*g. Let v = 0 + 3. Is 3 - (g/v)/(-1) a prime number?
True
Let g be 2/(-4)*(-299 + 1). Suppose 87 = 4*y - g. Is y a prime number?
True
Let x(g) = -g**3 + 3*g**2 + 5*g - 4. Let h be x(4). Suppose -o - 15 - 15 = -5*p, 20 = 5*p. Let z = h - o. Is z a composite number?
True
Suppose -4*q + 3*q + 3 = 0. Let y(f) = -f**3 + 0*f**3 - q*f + 5*f**2 + 0*f**3. Is y(3) a composite number?
True
Suppose -17*k = -22*k + 3365. Is k prime?
True
Suppose 5*w + 5*r = 700, r = -3*w - 26 + 440. Let s = -84 + w. Is s a prime number?
True
Let i(o) = -4*o - 80. Let v(r) = -7*r - 159. Let s(q) = 5*i(q) - 3*v(q). Is s(0) a prime number?
False
Let d = -25 + 18. Suppose 2*q - 24 = 8. Let m = d + q. Is m a composite number?
True
Suppose 4*k - 6036 = -4*g + 10656, 5*k - 2*g = 20851. Is k prime?
False
Is -87*22/18*-3 prime?
False
Suppose 0 = 4*n - 0*n - 40. Suppose n = 2*t - 12. Is t a composite number?
False
Let i = -1508 - -3337. Is i a prime number?
False
Is 4724/8 + 9/(-6) composite?
True
Let h be (-7)/21 - (-2)/6. Is -1 + (2 + h)*6 a prime number?
True
Suppose -b + 10 = 4*b, -5*b - 1965 = -5*g. Is g composite?
True
Let s = -4 - -7. Suppose -s*b + 2 = -5*t + 12, b = 0. Let o(x) = 14*x**3 + 2*x**2 + 2*x - 1. Is o(t) composite?
True
Suppose 0 = -3*g - 5*j + 731, g + 4*j - 239 = -0*g. Is g - -5 - (2 - 1) composite?
False
Suppose 0 = -2*c + 2*l + 16, 3*c + 5*l - 32 = -c. Let r be (-1)/4 - (-2)/c. Suppose r = 2*g - 3*z - 116, -z = -3*z. Is g composite?
True
Suppose 2*a = -3*y + 6, -11 = y - 0*y + 5*a. Suppose d + y*d = 185. Is d a prime number?
True
Let v(f) = -f**3 + f + 67. Is v(0) prime?
True
Suppose -m + 2*r + 26 = 0, -r + 19 = 4*m - 58. Suppose 3*c + 9 - 35 = -4*g, 0 = -g + 5*c - 5. Suppose g*p + 5*i - 45 = 0, -4*i = -7*p + 3*p + m. Is p prime?
True
Suppose -4*g = -3*g - 2, 5*h - g - 4533 = 0. Is h a composite number?
False
Let m(l) = 33*l**2 + 3*l + 5. Is m(-7) prime?
True
Suppose -2*u - 5 = 5*l, -41 = 5*u + 2*l + l. Suppose -4*o = 4*r + 108, 2*o + o + 50 = -2*r. Let b = u - r. Is b a composite number?
True
Let d be 13/5 - (-15)/(-25). Suppose 4*c = 16, 5*c + 100 = -d*b + 358. Is b composite?
True
Let v = -17 + 22. Suppose v*r - 2511 - 554 = 0. Is r prime?
True
Let i be 3/(-12)*-2*22. Suppose 0 = 5*g - i + 1. Let b = 9 - g. Is b a prime number?
True
Suppose 4*f - 1923 - 1753 = 0. Is f a composite number?
False
Suppose -2*c - 2*c = 0. Suppose k = -4*z - z - 43, c = -2*k + 4*z - 156. Is k/(-5) - 4/(-10) a prime number?
False
Suppose 657 = w - 530. Is w a prime number?
True
Let w = -575 - -864. Is w a prime number?
False
Let l be (-2)/(-3) + 16/(-6). Let h be (-21)/2 + l/(-4). Is (-854)/h + (-2)/5 prime?
False
Suppose 0*a - 30 = -3*a. Let m(g) = -3*g**2 + 25*g - 17. Let o(i) = 2*i**2 - 17*i + 11. Let p(b) = -5*m(b) - 8*o(b). Is p(a) a prime number?
True
Let o = 59 - -322. Is o a prime number?
False
Let s be 4/(-6) - (-190)/6. Let w = 22 + s. Is w composite?
False
Suppose 2115 = 4*d - 2*d + 5*u, -d = -3*u - 1052. Is d prime?
False
Is 10169 + -4 - 8/(-2) composite?
False
Suppose 2191 + 8288 = 3*c. Is c a composite number?
True
Let p(v) = -2*v + 5 + v**3 - 5*v - 12 + 6*v**2 + 2*v**2. Let t be (-3)/(((-9)/(-8))/3). Is p(t) a composite number?
True
Let w = 24 - 15. Let v = w + -7. Is 2/((-4)/(-7))*v composite?
False
Let o be 2 + -5 + (0 - 1). Let j = o - -55. Is j composite?
True
Let z(r) = -30*r + 9. Let y be z(-4). Suppose -3*m - y - 198 = 0. Let v = -70 - m. Is v a composite number?
True
Let o(b) be the first derivative of -b**4/4 - 2*b**3/3 - 2*b**2 + b + 1. Let t = -6 - -3. Is o(t) composite?
True
Let k = 7 + -3. Let z(n) = -23*n - 3. Let v be z(k). Let p = 138 + v. Is p composite?
False
Suppose -z + 1380 = -3*z. Let m = z - -1169. Is m prime?
True
Suppose -3*j + 5520 = j. Suppose -2*l + j = l. Suppose 4*r + 0*r = l. Is r composite?
True
Is 2/(-7) - (-3859)/7 a composite number?
True
Let n(o) = -o**3 + 21*o**2 + 17*o + 47. Is n(20) a prime number?
True
Let o be (1 - (-2 - -3)) + 531. Suppose 2*j = -5*k - 68 + o, 0 = 5*k + 4*j - 471. Is k a composite number?
True
Let w(h) = 69*h. Suppose -4*j + 5*q = -0*j - 4, 4*q = j + 10. Let g be w(j). Suppose 5*c = 3*k - g, -4*c + 79 = k - 42. Is k prime?
False
Let l(t) = 128*t - 1. Let b be 1*4/(-4)*-1. Is l(b) composite?
False
Is 9/54 - (-1145)/6 a prime number?
True
Let z(i) = -12 - 2*i**2 + 77 - 9*i + i**2 + 10*i. Is z(0) prime?
False
Let f(m) = -m**3 + m**2 - 2*m + 1. Let s be f(1). Let n = 3 + s. Suppose -n*v + 13 = -v. Is v composite?
False
Suppose -2*o = 4, -850 = -2*n - 5*o - 238. Let a = n + -162. Is a a prime number?
True
Is (-614)/(-2)*((-10)/(-5))/2 prime?
True