2*q, 4*l = -i*q - 2353 + 20021. Is l a composite number?
True
Let i(p) = -38*p**2 + 23*p - 66. Let s(k) = -71*k**2 + 45*k - 132. Let f(g) = 7*i(g) - 4*s(g). Is f(13) composite?
False
Suppose 172835 + 84241 = -6*p. Let o = p + 60187. Is o a composite number?
False
Let v(b) = -b**2 - 11*b - 6. Let f be v(-10). Suppose w + f*w + 4*q = 17193, 0 = -4*w - 2*q + 13752. Is w prime?
False
Suppose -2*f = -4*i + 3*f + 75, 2*f = -5*i + 135. Suppose -h - i = -6*h. Suppose 2992 = 4*t + h*n, 2*n + 5 = 13. Is t prime?
True
Suppose -3*y = -4*y + 3. Suppose 0*q - 726 = -y*q. Suppose -3*m = -5*t - q, m + 4*m - 3*t - 430 = 0. Is m prime?
True
Suppose 0 = -5*z + 39 - 19. Let p be (5 - (6 - 2)) + z. Suppose -3242 = -2*i + p*j, -3*j + 8105 = 5*i - 2*j. Is i prime?
True
Suppose 0 = 3*z - 0 - 12. Suppose 0 = -z*f + 10735 - 2183. Is f prime?
False
Suppose 5*w + 2*f = 5*f - 30, 3*w + 5*f = -18. Let o(u) = -557*u - 81. Is o(w) prime?
False
Suppose -20*x + 3*x + 545636 - 105115 = 0. Is x a prime number?
True
Suppose 0 = -3*o + 3, -11*x - 3*o = -16*x + 497. Is 25/x - (-61835)/4 composite?
True
Let k = -27461 + 49372. Is k composite?
False
Let u = -30020 + 52106. Is (u/(-135))/(4/(-10)) a composite number?
False
Let u(z) = -z**3 + z + 14789. Let c be 48/(18/3) + -8. Is u(c) prime?
False
Suppose 9339 = d - 4*r, -3*d = 4*r - 4984 - 23065. Is d prime?
False
Let x = 1203 + -1194. Let d(v) = -2*v**2 - 11*v + v**3 - 6 + 0*v**3 - v**2. Is d(x) a prime number?
False
Suppose -120*d + 3214417 = -17*d + 585548. Is d a prime number?
True
Suppose -2*b - 5246 = -4*u - 25304, 4*b = 4*u + 40124. Is b a prime number?
False
Suppose 18801692 = 161*q - 146199319. Is q prime?
False
Suppose 0 = -22*q + 52 + 190. Suppose q*g - 6312 = -13*g. Is g a prime number?
True
Let a(f) = -30557*f - 1838. Is a(-11) a prime number?
True
Let n(o) be the first derivative of 93*o**2/2 + 16*o - 53. Is n(3) a prime number?
False
Suppose -3*g + 4*i - 2*i = -13199, 3*i + 4402 = g. Is g composite?
True
Suppose -16*s = -8*s - 136. Suppose 5*q = -o + s, -2*o = 8 - 2. Suppose -5*v + 2*i + 214 = -v, -2*v + 110 = -q*i. Is v prime?
True
Suppose -462717 = -26*l + 307169. Is l a prime number?
True
Let f = 932314 + 442755. Is f a prime number?
False
Let j(i) = 705*i**3 + 4*i**2 - 19*i + 59. Is j(6) a composite number?
True
Suppose 30*a = 25*a - 3*v + 1652412, 4*a - 3*v - 1321935 = 0. Is a composite?
True
Suppose 5*s = 3*i - 24, 4*i - 67 = 3*s - 8*s. Suppose -7*a = -i*a - 24. Is (-20)/6*(0 - (-1146)/a) a composite number?
True
Suppose 0 = -5*k + 4*z + 578, 14*k - 3*z + 127 = 15*k. Suppose -124*h = -k*h - 28788. Is h a prime number?
False
Let u(n) = n**2 - 27*n + 21. Let a be u(26). Let m(b) = -4*b**3 - 8*b**2 - 7*b + 8. Let g be m(a). Suppose -3*t + 976 = g. Is t composite?
False
Suppose -7 = 5*m + 13, -4*w + 4*m = -32. Suppose -14505 = -7*q + 4*q + h, -4835 = -q + 3*h. Suppose w*f = -f + q. Is f composite?
False
Suppose 818*o + 97644011 - 550985337 = 0. Is o a composite number?
False
Let c(k) = -13*k**3 + 6*k**2 - 24*k - 11. Suppose -5*l - 72 = 4*u, 2*l + u = 6*u - 9. Let s be c(l). Suppose 7*f - 2*f = s. Is f composite?
False
Suppose 0 = 1372*n - 1480*n + 11934108. Is n prime?
True
Let t(l) be the second derivative of 22*l**4/3 - 5*l**2 + 17*l. Let m be t(8). Suppose -6*v = -12*v + m. Is v a prime number?
True
Suppose -1926*u + 1975*u = 854707. Is u a prime number?
True
Is -4*(4 - 3) - -6911*(26 - -1) prime?
False
Suppose 2756451 = 215*y - 1965164. Is y a prime number?
True
Let f = -5920 - -13272. Suppose 0 = -44*y + 52*y - f. Is y prime?
True
Let y be (12 + -16 + 1)*(-4)/3. Suppose y*l - 2*p - 77178 = 0, l + p - 18898 = 404. Is l prime?
False
Let i = -26887 - -80300. Is i a composite number?
True
Suppose -4*w = 4*a - 556772, 4*w + 469567 = 4*a - 87253. Is a prime?
True
Let o(q) = 1734*q**3 + 2*q**2 + 14*q - 23. Is o(3) a composite number?
True
Is -3 + 349477 + (-12 - -10 - 1) prime?
True
Let w(g) = -4*g**3 + 10*g**2 - 2*g + 9. Let o be w(-8). Let h = -1657 + 807. Let f = o - h. Is f a prime number?
False
Suppose 288*u - 211*u - 11908897 = 0. Is u a composite number?
True
Suppose 5*g - 55 = 5*k, g + 48 = 5*g - 3*k. Is (-25)/(g/(-3)) - -846 a composite number?
True
Let n = -154 - 100. Let c = 155 + n. Let s = c + 233. Is s a composite number?
True
Let y = 16 + -10. Let j be y/(-24) - (-2)/8. Suppose 4*t - 12 = j, -x + 5*t + 788 = -596. Is x composite?
False
Let r = 202650 + -117863. Is r a prime number?
True
Let t be (-8)/(-12)*7/((-14)/(-114)). Suppose 0 = -23*p + 4*p + t. Suppose p*h + 3*h = 885. Is h a composite number?
True
Let f = -3548 + 279867. Is f composite?
False
Let r(v) = 899*v - 2. Let d be r(-1). Let b = d - -3438. Is b composite?
True
Let k(l) = 957*l**2 + 34 - 2 - 906*l**2 - 10*l. Is k(7) composite?
True
Let o(s) be the first derivative of 5/2*s**2 + 2*s**4 - 4*s - 28 - 2*s**3. Is o(5) composite?
True
Let c(v) be the third derivative of v**6/40 + v**5/40 - 17*v**4/24 + v**3/6 + 2*v**2. Let m(d) be the first derivative of c(d). Is m(-10) a prime number?
True
Let x be (5 + 20)*1/5 - 5. Suppose n + 5*n - 236154 = x. Is n a prime number?
True
Suppose 12 = -4*t - 3*w + 29, 3*w = 3*t - 18. Let i = t - -8. Is (-39)/i*38/(-6) + 0 a prime number?
True
Is (-5920)/24*-3607 - (-2)/6 a prime number?
True
Let y be 32/18 - 6/(-27). Let j(o) = -301*o - 18. Let w be j(-1). Suppose w = 2*z + h, -y*z + h + 292 = -h. Is z a composite number?
True
Let o(l) = 142*l - 4896*l - 80 - 779*l. Is o(-3) a prime number?
True
Let s = 182 + -176. Suppose -s*z + 7479 = -6999. Is z a composite number?
True
Suppose -2*i + 17 = 29. Is (-11919)/i - (-2)/4 composite?
False
Is (3151530/(-50) - (-4 + -3))/((-10)/25) prime?
True
Suppose -4 = 5*y - 4. Suppose 8*w = 4*w + 5*r - 22, -5*w + r - 17 = y. Is (1339/w)/(3 - (-60)/(-18)) composite?
True
Let u = -838 - -1572. Suppose 414 = 7*d - u. Let s = d - 111. Is s prime?
True
Suppose -t - 22*n = -20*n - 31, 0 = -4*t + n + 79. Is ((-8806)/t)/(10/(-15)) prime?
False
Suppose -3*d - 8*d = 88. Is 3189 + 8 + -2 - d a prime number?
True
Let r be (-608)/((-16)/40 + 1/(-10)). Suppose 5*j = 3*d - r, -3*d - j + 789 = -d. Is d a composite number?
False
Let p be -2*(-8)/(-80) - (-92)/10. Is 8935/p + (-10)/(-45) prime?
False
Let q = -553 + 558. Is (-1)/((-234275)/46850 - -1*q) a composite number?
True
Let c(h) = 438*h + 85. Suppose 32 = -11*v + 13*v. Is c(v) composite?
True
Suppose 4*b - 3 - 1 = 0. Let u(q) = q + 5*q + 33*q**2 - 32*q**2 + b. Is u(8) composite?
False
Let y = -93 - -91. Is (-13628)/y*(-4)/(72/(-63)) prime?
False
Suppose 4*m - 40250 = 14974. Suppose 2*y + 6906 = -j + 3*j, m = -4*y + j. Let l = y + 7272. Is l prime?
True
Let q(y) = 3125*y**3 - 4*y**2 - 37*y - 1. Is q(7) a composite number?
False
Suppose 467*o - 441*o = 7145554. Is o prime?
True
Suppose 0 = 2*m - 3*x - 6, -2 - 6 = 4*x. Suppose 1 = -p - r, -3*p - 5*r - 11 = -m*r. Suppose p*f - 1372 - 2249 = 0. Is f a prime number?
False
Suppose -4*x = -20, -2*x - 191212 = -5*o + 8333. Is o a composite number?
True
Let g(t) = 4*t + 15*t**3 + 4 - 13*t**2 + 8*t**2 - 2*t. Let o be g(4). Suppose b - 5*b = -o. Is b composite?
False
Suppose -12*x + 103553 = -8*x - l, -18*l - 77613 = -3*x. Is x a composite number?
False
Suppose -20814833 + 222002735 = 82*k. Is k a composite number?
True
Suppose 5*d = -5*j + 8669175, 0 = -5*j + 2*d - 4*d + 8669181. Is j prime?
False
Suppose 5*j - 13848 = -j. Suppose 5*f - 5*p = -0*p + 2885, -3*p + j = 4*f. Let q = f - 104. Is q a prime number?
False
Let b = -168 - -174. Suppose -10152 = -2*d + 4*s - b*s, 3*d + 5*s = 15226. Is d a composite number?
False
Let d(f) = 10*f**2 - 13*f - 7. Let v(n) = 9*n - 30*n + 12*n + 19. Let b be v(3). Is d(b) a prime number?
False
Let t(r) = 51 + 11 - 41*r + 5*r + 184*r**2 + 7*r + 36. Is t(5) composite?
True
Let a(m) = m**3 + 6*m**2 + 8*m - 3. Let h be a(-3). Suppose 4*n + 3292 - 12468 = h. Suppose -5*j - 799 = -n. Is j a prime number?
False
Suppose 6*d = 5*d. Let l be d + 2 - (-6)/2. Let s(y) = 464*y + 1. Is s(l) composite?
True
Let s be 30/25*(-5)/(-3). Let n(f) = 7919*f - 23. Is n(s) a prime number?
False
Let h = 246754 + -132687. Is h a prime number?
True
Let c(r) = 66*r**3 - 3*r**2 + r - 1. Let y be 2*(-1)/9 - 20/(-9). Let m be -4 - ((-15)/10)/(y/8). Is c(m) a prime number?
False
Let o(h) = 6