1 - 5 = w, -n = -5*w - 2. Suppose 4*m - 4 = -2*v, -4*v + n*m = 3*m - 8. Suppose -v*k = -c - 290, -c + 290 = 2*k - 5*c. Is k prime?
False
Is 12242/2 - (-55 - -63) a composite number?
False
Let l(w) = 2*w**3 + 12*w**2 + 5*w - 8. Let u be l(-6). Suppose 4*b + 2*g = 431 - 139, 5*g - 304 = -4*b. Let o = u + b. Is o prime?
False
Let x be 4*2/24*9. Suppose -x*q = 301 - 79. Is q/3*(-18)/4 composite?
True
Suppose 4 - 7 = -r. Suppose -r*j - 812 = -7*j. Is j prime?
False
Suppose -6*b + b + 15 = 0. Is -1 + b + 791 + 2 + -1 a prime number?
False
Suppose 12*c - 13*c + 3349 = 0. Is c prime?
False
Suppose 0 = -16*i + 6*i + 2400. Suppose 4*f = 76 + i. Is f composite?
False
Let a = -1640 + 10243. Is a a prime number?
False
Let b(s) = -2 + 15*s**2 + s**2 - 8*s**2 + s. Suppose 3*m + 15 = -2*m - 3*q, m + q = -3. Is b(m) prime?
True
Suppose -2*o = o + 12, -4*u + o = -20. Suppose 0 = 5*x - 2*r - 1759 + 282, 5*r - 1175 = -u*x. Is x composite?
True
Let a = -63 - -78. Is (-78)/a + 5 + (-10672)/(-10) a composite number?
True
Suppose 0*a + 8 = 4*a. Suppose -4*g - 3*x - 2 = 0, -x = a*g + 2 - 0. Is 2/g + 144 + 2 composite?
True
Let f be (-14)/(-21)*(-9)/(-2). Suppose f = 4*o - 9. Suppose 0*c + o*c = 573. Is c prime?
True
Let p = 31 + -27. Suppose -9*u = -p*u + 30. Is (-2)/(-4) - 771/u prime?
False
Let u be ((-3)/(-1))/((-6)/(-14)). Let j(t) = 7*t - 11*t + 4 + u*t. Is j(6) a composite number?
True
Suppose 0 = -3*m - 3, -7 - 45 = -2*h - 4*m. Suppose -25*j + h*j = 1671. Is j composite?
False
Let i(z) = 30*z + 157. Is i(21) prime?
True
Suppose -15 + 27 = 4*w. Let r be 24/(-16)*(-238)/w. Suppose 3*i - 4*j = 73, -5*i + r = -i - j. Is i composite?
False
Suppose 0 = -4*l - 3*l + 6748. Suppose -9*v + 2*d = -5*v - 1286, 0 = -3*v + d + l. Is v a composite number?
True
Is -4 - (6 - 3)*(9 + -280) prime?
True
Is (-1 - (-210481)/4) + (-20)/80 composite?
True
Suppose d = 3*v + 20739 - 4358, -d + 16365 = v. Is d a prime number?
True
Let l be (-3)/1 + 1316 - -3. Suppose -3*r - r = -l. Is r prime?
False
Let o = -26 + 31. Suppose k - 292 = -b, -2*b = 2*b - o*k - 1177. Is b prime?
True
Let n = 9 + -10. Let a(t) = 145*t**2 + t + 1. Let c be a(n). Suppose 0*j - c = -j. Is j composite?
True
Let o = -8 - 7. Let d(c) = c + 20. Let q be d(o). Suppose q*p - 7*p + 658 = 0. Is p a composite number?
True
Let t = 1895 - 1079. Is (t - 25)/((2 - 1)/1) a composite number?
True
Suppose -4*c + 115 = 5*x, -4*x + 7*c + 92 = 2*c. Let f = 70 - x. Is f a composite number?
False
Let y = 1598 + -478. Let t = 1809 - y. Is t composite?
True
Let x(v) = 4*v**3 + 5*v**2 - v - 6. Let d be x(-5). Let g = d - -798. Is g a composite number?
True
Let k be (-30)/(-105) + (-37)/7 + 1. Is (-6)/3*1574/k a prime number?
True
Let f(y) = -y**3 + 12*y**2 - 11*y + 15. Let h be (-3)/6*(-5 - -3). Let r = h - -10. Is f(r) a prime number?
False
Suppose 46036 = 6*i - 5*i + 5*f, 0 = -i + 4*f + 46009. Is i prime?
True
Let c(s) = 10*s**2 - 16*s - 53. Is c(27) prime?
False
Let j(s) = 7 - 3*s + 2*s + 16*s**2 + 11*s**2. Is j(5) a prime number?
True
Let q = -23125 + 34544. Let y be (-7 - -1)/((-38)/q). Suppose 4*t + 0*g - 3551 = -g, -2*t = -5*g - y. Is t a composite number?
True
Suppose 0 = -p + 3*p - 4. Suppose 3*l = p*l + 5*c, 3*c = 3. Suppose -1525 = -l*a - 0*a. Is a composite?
True
Suppose -3*y = -8*y + 2*l, 3*l = -4*y. Let j be (y - 1) + (14 - 170). Let b = 266 + j. Is b a prime number?
True
Suppose 0 = j - 4*j. Suppose -3*m + 321 + 252 = j. Is m composite?
False
Suppose -6*d + 4238 = -16708. Is d composite?
False
Suppose -52*c = -213482 - 987666. Is c prime?
True
Let u(l) = 202*l**2 + 56*l - 25. Is u(9) a composite number?
True
Let l(n) = 1709*n**2 + 11*n - 11. Is l(1) prime?
True
Suppose 2*x = 81 + 345. Let c = x - -44. Is c a prime number?
True
Let w(l) = l**2 - 2*l - 2. Let z be w(4). Let f(v) be the second derivative of 19*v**3/3 - 5*v**2/2 + 33*v. Is f(z) prime?
True
Suppose 11512 = -7*b - 19554. Is (-25 - -24)/(2/b) composite?
True
Let f(r) be the third derivative of 17*r**4/6 - r**3/2 + 12*r**2. Let l be f(4). Suppose -273 = -3*j + 3*d, 4*d - 2*d + l = 3*j. Is j prime?
False
Let f = 59343 + -22820. Is f prime?
True
Is (2 - (3 - (8 - 4))) + 2456 a composite number?
False
Let i(h) = -h**3 + 5*h**2 - 2*h + 37. Is i(-21) a prime number?
False
Let a = 297 - -4882. Is a a prime number?
True
Let y(d) = -138*d + 137. Is y(-11) prime?
False
Suppose -8*a + 9*a + r = -183, a + 3*r + 173 = 0. Suppose 913 = -2*x + 31. Let z = a - x. Is z a prime number?
False
Let s be -1 - (-1 + 0 + 52). Let g(d) = -9*d + 290. Let l be g(19). Let h = s + l. Is h a composite number?
False
Let f = -2498 - -5244. Is f a composite number?
True
Let w = -19 + 15. Let n = w - -10. Suppose -3*j + 4*h + n = 1, 5*h = -j + 8. Is j prime?
True
Suppose 3*m = n - 52, -4*m + 2*n - 58 = 10. Let h be (-6)/(-14) - m/7. Is (h/6)/(3/4362) prime?
True
Let p be (-2)/(-5) + (-9240)/(-25). Suppose 0 = 3*g + 2*m + p - 4249, -4*g - 5*m = -5172. Is g prime?
False
Let q be ((-28)/6)/(2/(-1404)). Suppose -4 = g - 2*g, 4*k + 4*g - q = 0. Is k composite?
True
Let v be -2*3/4*(2 + 908). Let r = v + 2528. Is r prime?
True
Is (7 + -8 - -5) + 631 a prime number?
False
Let k(v) = -v**3 - 3*v**2 + v + 8. Let f be k(-3). Suppose 2750 = 4*z + f*o, -5*z = -o - 2364 - 1059. Is z a composite number?
True
Let c = 50 + -55. Let o(j) = -81*j + 2. Is o(c) prime?
False
Let t(w) = w**2 + 9*w + 4. Let h be t(-9). Suppose 1169 = h*l - 3*j, 0 = -3*l + j - 4*j + 882. Is l composite?
False
Suppose -20*f + 2318274 = 34*f. Is f a composite number?
True
Let k be 3/2 - (-77)/(-22). Is 23844/60 + k/5 prime?
True
Suppose -2*n + 1540 = 3*n. Let x = n - -360. Suppose -4*f = -0*f - x. Is f composite?
False
Let p(c) = 45*c**2 - 15 + 22*c - 8*c - 68*c**2 + c**3. Is p(23) a composite number?
False
Is 39359*(-6 + -6)/(-12) prime?
True
Let y be (-30)/4*8/(-5). Is -2*(-1)/(-3) + 3152/y a prime number?
False
Let d(x) = x**2 + 2*x. Let m be d(0). Suppose m*f - f + 1114 = 3*b, 5*f + 25 = 0. Is b a prime number?
True
Suppose -3*p = 3*r + 9, -3*r + 5*p + 1 = 10. Is (-2)/3 + r/(36/(-5072)) composite?
True
Suppose -y - 286 = 340. Let s = -207 - y. Is s a composite number?
False
Let m(a) = -4*a**3 - 7*a**2 - 10*a + 13. Suppose 1 = -u - 3*i - 13, -42 = 4*u + 5*i. Is m(u) prime?
True
Let o = -27354 + 82377. Is o prime?
False
Let m be (8/16)/((-1)/42). Let h = 13 + m. Let u(f) = f**3 + 9*f**2 - 11*f + 5. Is u(h) a composite number?
False
Let l = -15 + 19. Suppose 3760 = d - w + 905, l = 2*w. Is d composite?
False
Let k be (3 - 0)/(2/14). Suppose 0 = 5*x + 55 - 5. Let p = k + x. Is p a prime number?
True
Let i(z) = -z**3 + 38*z**2 + 9*z - 13. Is i(23) a composite number?
True
Let g = -11 - -16. Suppose 3*v - 3*i - 3738 = 0, -g*v - 2*i + 1757 = -4466. Suppose -2*z + v = 3*z. Is z prime?
False
Let y(o) = -97*o + 55. Is y(-18) composite?
False
Suppose 2*c = -0*c - 5*o - 32, -4*c - 40 = 4*o. Is (8167/c)/(-1) - (-6)/(-36) a prime number?
True
Let a = 55 + -17. Suppose -a = -g + 213. Is g prime?
True
Suppose -2*q - 5*c = -0 - 5, c = 3*q + 1. Suppose q = 5*p - 55 - 0. Is p a prime number?
True
Let d = 2480 - 629. Is d prime?
False
Let q = -14 - -19. Suppose j - q*s - 145 = -s, 4*j = -s + 529. Is j a prime number?
False
Suppose 2*q - 2*o + 14 = 0, -2*q + 4*q + 4*o = -20. Let y be (2 + 2)*(-106)/q. Suppose -4*n = -3*n - y. Is n a prime number?
True
Let h be 0*4*2/8. Suppose 105 - 28 = j + 2*r, h = 2*r. Suppose -56 = -3*i + b, -4*i + b + j = 2*b. Is i composite?
False
Let a = -12 - -12. Suppose a = w + 10*w - 21703. Is w prime?
True
Suppose 0 = u - 3*o - 121 - 29, -5*u - 2*o = -801. Suppose -42*x + 26 = -29*x. Suppose t + x*m - 126 = 45, t = m + u. Is t prime?
True
Let f(o) = -26*o + 2*o**2 - 15 + 26*o. Is f(10) a composite number?
True
Let s(w) = 2*w**2 + 19*w + 20. Let v be s(-1). Suppose 996 = 5*u + 4*n, -4*u = -n - 0*n - 801. Suppose -2*y + v*k = -397, -3*y + 4*y - u = 2*k. Is y composite?
True
Is (1 + -5)*12248/(-32) composite?
False
Let g(y) = 7*y**3 - 3*y + 2. Let f be g(1). Is -1 + f*(-1860)/(-5) a composite number?
True
Let m(x) = -2*x + 37. Let r be m(5). Suppose r*o - 24*o = 7071. Is o prime?
True
Suppose -w + 5*d + 66449 = 0, -83*d + 199347 = 3*w - 79*d. Is w a prime number?
True
Suppose 6 = 3*r - 0*r, -4*r = -5*s - 8. Suppose -5*n - 