
True
Let u(z) = -14*z**3 + z**2. Let m be u(1). Let y(o) = -156*o - 15. Let n(k) = 39*k + 4. Let c(b) = -9*n(b) - 2*y(b). Is c(m) a prime number?
False
Suppose 3*k = -3 - 9. Let c(v) = -334*v - 10. Let r be c(k). Suppose 4*p + 178 = r. Is p prime?
False
Suppose -2*t = 4*c - 1083 - 787, 3767 = 4*t - c. Is t composite?
False
Suppose -13 - 39 = 2*l. Is (22/(-4))/(2 - l/(-12)) a prime number?
False
Let a = -203 + 295. Let j = a + 71. Is j a composite number?
False
Is (-65)/13 - (0 + -28876) a composite number?
False
Let b = 220 + -148. Suppose -10*d - 228 + 438 = 0. Let q = b - d. Is q prime?
False
Suppose -3*i - 274 = -i. Let u = 168 - i. Let v = -194 + u. Is v composite?
True
Let m be 21 + -4 + 4 + -4. Suppose 0 = -o + m. Suppose 0 = -4*x + 41 - o. Is x composite?
True
Suppose -4*s - 10882 = -j + s, 12 = 4*s. Is j a composite number?
True
Let o(y) = 963*y - 478*y - 10*y**2 - 3 - 484*y + 2*y**3 + 2. Suppose -5*r + 41 = -9. Is o(r) a prime number?
True
Let x = 10 + -10. Suppose -3*t - 15 = 0, 4*t + 237 = m - x*m. Is m prime?
False
Is 1324*(-5)/60*1*-3 a composite number?
False
Let n(v) = 18*v**2 - 1. Let h be n(-1). Let a = -13 + h. Suppose 2*c - a*u + 55 = 3*c, 4*u - 110 = -2*c. Is c composite?
True
Let a = 4 - 2. Suppose 4*p = -5*w + 310, -a*w + 0*w = 2*p - 126. Is w prime?
False
Let j(g) = 16*g**2 - 6*g + 11. Let r be j(6). Suppose -3*u + 208 = -r. Is u a prime number?
False
Is 39/(-26) - 250494/(-12) a prime number?
True
Let f be (12/(-28))/1 - (-91969)/7. Suppose 5*w = 5877 + f. Is w composite?
False
Is (29 - 31)/((-2)/1889) composite?
False
Suppose -6*o + 7*o = -7. Is o/(21/6) - 12*-5 composite?
True
Suppose 20*o - 13*o - 15505 = 0. Is o composite?
True
Suppose 4*c = 11993 + 44835. Is c prime?
True
Let m be 13631/11 + (-2)/11. Let n = m + -752. Is n composite?
False
Let k(a) be the second derivative of -a**4/12 + 7*a**3/6 + 4*a**2 - 10*a. Is k(6) a composite number?
True
Let l be -4*2/(-28)*7. Suppose -2*v = -m + 2441, -l*m - 2435 = -3*m - v. Is m a composite number?
False
Let q = -1533 + 2396. Suppose -3*j + j + q = -3*n, j = -5*n + 451. Suppose 2*s = -2*s + j. Is s a composite number?
False
Let l be (4 - (-20)/(-6))*636/(-2). Let v = l + 915. Is v a prime number?
False
Let m(l) = -l**2 + 3*l + 10. Let u be m(5). Suppose 4*h + h - 510 = u. Suppose -3*d + 2*d = -3*y - h, d + 3*y = 120. Is d a composite number?
True
Let f(h) = h + 14. Let w be f(-7). Suppose w*b - 275 = 285. Suppose -u = 11 - b. Is u a composite number?
True
Let a = -181 + 253. Is (1 + (1 - 1))*(55 + a) a composite number?
False
Let t be (4 + 0)*(-7)/21*-306. Suppose a + 200 = 2*h - 65, 3*h = 5*a + t. Is h a prime number?
True
Let k(t) = 25*t**2 - 38*t - 415. Is k(-12) composite?
True
Let q be ((-8)/3)/((-2)/3). Suppose -z = -3*j + 212, z + 3*z + q*j + 816 = 0. Let w = -79 - z. Is w a composite number?
False
Suppose 0 = 4*w - 2*o - 119660, -5*w + 37079 + 112526 = 5*o. Is w composite?
False
Let d be 2/7 + (-33)/(-7). Suppose d*z + 8 = 28. Suppose z*b = -106 + 770. Is b a composite number?
True
Suppose 4*k - 32 = 4*c, 4*k - 2*c - 31 = -k. Suppose -u + k*u = m - 1431, 0 = -4*u - 16. Is m prime?
False
Suppose 8*u - 6*u - 3178 = 0. Is u composite?
True
Suppose 3*w = 5 + 16. Let a(y) = -y**2 + 8*y - 5. Let d be a(w). Is -5 - (-1 - d) - -97 prime?
False
Let r be 1/(6/108) + (0 - -2). Let s(c) = c**3 - 18*c**2 - 8*c - 11. Is s(r) a composite number?
True
Let v = -197716 - -631797. Is v a composite number?
False
Let u be 1 + (-3 + 6)/3. Suppose -17 = -5*y - u, -3*b + 30 = -3*y. Is b a composite number?
False
Let q = -44 + 46. Is q/2 + 1 - 15*-5 a composite number?
True
Let j(a) = 504*a + 199. Is j(12) composite?
False
Suppose -4*g + b = -14489, -2*g - 3*b = -4*b - 7245. Is g composite?
True
Suppose b = -0*b + 3. Let v(w) = 17*w - 4. Is v(b) composite?
False
Let y be (-2831)/76 - 6/8. Let h be (-1)/(2 + -1)*16. Let r = h - y. Is r a prime number?
False
Let f = 13239 + -4736. Is f a composite number?
True
Let m be (-4)/12*(-1 - -1). Suppose m = 4*k - 611 - 517. Suppose 1467 = 4*w - 5*t, -2*w + t = k - 1023. Is w composite?
False
Let f(j) be the third derivative of 0*j + 3/2*j**3 - 2/15*j**5 + 0 + 1/120*j**6 - 5/8*j**4 + 2*j**2. Is f(10) prime?
True
Is 1/(1/443401*7) a prime number?
False
Let j = -2 - -3. Let n be j/3 + (-14)/(-3). Suppose n*o = 9*o - 956. Is o a composite number?
False
Let s(y) = -y**3 + 3*y**2 + y. Let j be s(3). Suppose 3*i + j*f + f = 74, 76 = 3*i + 2*f. Is i a prime number?
False
Suppose -3720 = -4*r + 2*r - 4*n, -r - 5*n = -1848. Suppose -6*u + 2*u = -r. Is u a composite number?
False
Suppose n + n = -10, -252 = 2*u - 2*n. Let v = u + 307. Let x = -49 + v. Is x prime?
True
Suppose -i = -5*i - 1148. Let z be i/((-1)/(-2) - 1). Let s = z + -155. Is s prime?
True
Let k = 9784 + -6563. Is k composite?
False
Suppose o - 44 = 4*n, 39 = 4*n + 5*o + 107. Is ((-1974)/n)/(1/2) a composite number?
True
Suppose -2*a - 5*u - 5862 = -3*a, -a + 5858 = -u. Is a composite?
False
Let g(w) = -w**3 - w**2 + 1. Let o(z) = -z**3 - 11*z**2 + 10*z - 4. Let l(p) = -2*g(p) + o(p). Is l(8) composite?
True
Suppose 2*r - 5 = 3. Suppose -m - 2*i - r = 0, -5*m - 3*i + 4*i - 9 = 0. Is 2/3*(-753)/m a composite number?
False
Let s = -2098 + 3662. Suppose 3*i - s - 1781 = 0. Is i a prime number?
False
Let x(i) = -120*i + 1. Let r be x(-3). Suppose 5*l - 376 = 334. Suppose r = y - l. Is y a composite number?
False
Suppose -2*a + 16 = 5*f + 2*a, 12 = 2*f + 3*a. Suppose 5*h + 345 = y, f = 3*y - 7*y - h + 1422. Is y a composite number?
True
Let q(z) = -385*z - 11. Let l(w) = -128*w - 4. Let t(x) = 8*l(x) - 3*q(x). Is t(6) a prime number?
True
Let j be 8 - -1*(2 - 5). Let x(f) = 15*f**2 - 2*f + 11. Let z be x(j). Is z/11 - (-14)/(-77) composite?
True
Let z(w) = w**2 + 6*w - 22. Let o(t) = -2*t + 13. Let k be o(11). Let f be z(k). Is (-3 + f - 705)/(-1) composite?
True
Let j be 0 + 1/(-2)*4. Let p(b) = 63*b**2 - b - 1. Let s be p(j). Suppose z = 2*c + s, -z + c + 3*c = -249. Is z a composite number?
False
Let w = 1 - 7. Let z(i) = -2*i - 6. Let x be z(w). Suppose -46 + x = -4*u. Is u prime?
False
Suppose w = -p + 6*w + 71, 4*p - 4*w - 348 = 0. Suppose 4*a - 476 = g, -a = -g - p - 31. Is a a prime number?
False
Let o = -10 + 12. Let j be 3*-4*o/(-4). Suppose -2*c + j = -40. Is c a composite number?
False
Let q(l) = 37 + l - 3*l - 31. Let b be q(-9). Let h = -5 + b. Is h a prime number?
True
Let p be (-2)/(-9) - (-736)/(-72). Let r be (-554)/p - (-4)/(-10). Let w = r + 24. Is w prime?
True
Let f be ((-2880)/(-12))/(6/8). Is f + ((-2)/(-6) - (-50)/(-15)) prime?
True
Suppose 17*d - 8977 - 547042 = 0. Is d composite?
False
Suppose 3*k + 16 = 67. Let q = 110 + k. Is q composite?
False
Let c(m) = 2726*m**3 - 4*m**2 - 30*m + 133. Is c(4) composite?
False
Let x = -76 - -69. Let l(p) = -48*p - 25. Is l(x) prime?
True
Is (-715963)/(-15) - (-3 + 344/120) composite?
True
Suppose 0 = -4*x + 23 + 185. Let s = x + 75. Is s composite?
False
Is (5 - (-241)/(-1))*(-502)/8 composite?
True
Is (-45 + 44)/((-2)/69942) a prime number?
False
Let w(x) = 52*x**2 - 3*x - 62. Is w(8) a composite number?
True
Suppose -112*a = -116*a + 1524. Is a composite?
True
Let b(s) = s**2 - 21*s + 28. Let j be b(19). Let r(p) = -41*p - 31. Is r(j) prime?
True
Suppose 18*r - 24*r + 40818 = 0. Is r a prime number?
True
Suppose 4*x + 3*x = 6538. Let i = x + -347. Is i prime?
True
Let k = 36 - 23. Let u = k - 13. Suppose u = -3*j - 52 + 307. Is j a composite number?
True
Let y be 3830/4 - 1/(-2). Suppose -3*n = 2*r - 574 - 887, 4*r + y = 2*n. Is n a prime number?
False
Let x(d) = d**3 + 11*d**2 + d + 19. Let l be x(-11). Suppose 5*o = l*i - 6*i - 501, 1290 = 5*i - 5*o. Is i a prime number?
True
Let x(s) = -s**3 - 2*s**2 - 3*s - 4. Let v = 25 + -28. Let u be x(v). Is u*33/(-18)*-3 composite?
True
Is (-3)/(-24) - 4644037/(-152) a composite number?
False
Suppose 3*r + 31114 - 129316 = -5*l, r = -3*l + 58922. Is l a composite number?
True
Suppose -10*s + 3 = -7*s. Let o(b) = 407*b**3 - b**2 + b - 1. Let d be o(s). Suppose -3*x - 4*j + 609 = 0, -2*x = j + 3*j - d. Is x composite?
True
Suppose -i + 2*z = 3*z - 33643, -i = 3*z - 33643. Is i a composite number?
True
Let y(b) = -22*b**3 + 5*b**2 + 263*b + 13. Is y(-14) a prime number?
True
Suppose -m = 