Let c = 612976 + -428465. Is c composite?
False
Let x be (3 + -4)/(4/(-200)). Let p(l) = 78*l + 1 - 110*l + x*l + 3*l**2. Is p(-14) prime?
True
Let w be -8*1/(-10) + 11/5. Suppose -w*d = 4*b + 626, -5*b - 236 + 1019 = -4*d. Is ((-66)/20 + (-4)/(-5))*d composite?
True
Let j = 89 - 3906. Let o = j - -1968. Let h = -1148 - o. Is h a composite number?
False
Is ((-1028835)/108)/(5/(-4)) a composite number?
False
Let k = -552 - -3634. Suppose 4*y - 770 = k. Suppose d = f + y, -4*d + 2*f + 3407 + 437 = 0. Is d composite?
True
Let k(h) = 6*h**3 + h**2 - 7*h - 11. Let i(o) = 8*o**3 + 2*o**2 - 6*o - 10. Let p(w) = -4*i(w) + 5*k(w). Is p(-10) a composite number?
True
Let z(v) = 127*v**2 + 10*v + 10. Let i = -202 - -199. Is z(i) prime?
True
Suppose j = -3*w + 3*j + 5209, -3*j - 15 = 0. Suppose -2077 = -2*x + x. Suppose -6*s + x + w = 0. Is s a prime number?
False
Let g be (5/((-15)/118))/(1/(-75)). Suppose -2669 - g = -3*s. Suppose -4*n = f - s, -5*n - 2*f = 3*f - 2330. Is n a prime number?
False
Let c(q) = 423*q - 27. Let g be c(9). Suppose -13*r + 2122 = -g. Suppose 0*v - 1879 = -4*z - v, z - 5*v - r = 0. Is z a prime number?
False
Suppose 5*u = -3*n - 219, -5*u + 3*n = -0*n + 231. Is 4/(-18) + (-97300)/u + -5 a prime number?
False
Let f = 217370 + -75627. Is f composite?
True
Let a(d) be the first derivative of 387*d**2/2 - 4*d + 45. Suppose 0 = -3*n + 4*n - 3. Is a(n) prime?
False
Suppose -57 = -3*a + 8*a - 3*u, 5*u + 5 = 0. Let g(p) = -124*p + 167. Is g(a) a prime number?
False
Is 1 - (1091662/(-6) + 120/(-432)*-6) prime?
True
Let a be (-1)/(3/6)*45255/(-30). Let r = a + -1602. Is r composite?
True
Suppose -652018 = 17*s - 51*s. Is s a composite number?
True
Let r(o) = 2*o**2 + 18*o + 19. Let f be r(-8). Suppose 0*w - 18 = -f*w. Suppose 1220 = w*m - 1870. Is m prime?
False
Let o be ((-576440)/48)/(-5)*6. Let z = 34612 - o. Is z a composite number?
False
Suppose -8 = 2*s - 2*l - 46, 3*s - 43 = -4*l. Suppose -10438 = -0*u - s*u. Is u a composite number?
True
Let x = -459606 - -1003829. Is x a prime number?
True
Let v be (-11)/(-77) - (-40)/14. Let o = v - -9. Suppose o*u + 31 = 13*u. Is u composite?
False
Let y(h) = -10*h - 13*h - 17 - 15*h**2 + 0 + h**3 + 8*h. Let g be y(16). Is 2 - ((-70376)/20 - g/(-5)) prime?
False
Let v(o) = 8*o**3 - 19*o**2 + 127*o + 57. Is v(16) a composite number?
True
Suppose 49*q - 55*q + 30 = 0. Suppose 0 = -6*y + 2*y + q*s + 32797, -5*y - s = -41018. Is y a composite number?
True
Let w(c) be the third derivative of -11*c**6/12 - 2*c**5/15 - c**4/3 - c**3/6 + 4*c**2 + 42. Is w(-5) prime?
False
Suppose 4*v - 10 = -2*b + 20, 2*v - 30 = -4*b. Suppose 4*u + b*g - 5089 + 188 = 0, 2*u - 3*g - 2467 = 0. Is u composite?
False
Let i be (-5 + 1)/(15/(652575/(-10))). Let q = 12742 + i. Is q/80 - 2*(-1)/10 prime?
False
Let r(k) = 80*k + 2. Let i be r(5). Suppose -8*g - i + 18970 = 0. Is g a composite number?
True
Suppose -3*q + 5*q = 0. Suppose -l + 195096 = 32*l. Is (q - -2)*l/16 composite?
False
Suppose -2*a + 2 = 0, -2*o = -o - 2*a - 438317. Is o prime?
False
Suppose 120 = -9*h - h. Let f = -11 + h. Let r = 288 + f. Is r prime?
False
Let p(k) be the second derivative of 17*k**4/3 - k**3/6 - 25*k**2/2 - 31*k. Is p(-4) prime?
False
Let z(a) = 10*a + 5. Suppose 0 = 12*n - 4*n - 56. Suppose -3*t - 8 = -n*t. Is z(t) composite?
True
Let p(a) = 5*a + 19. Let v be p(-3). Let r(f) = -f**3 + 2*f**2 + 9*f + 1. Let k be r(v). Suppose z - 252 - 209 = 4*s, -k*z + 2239 = 2*s. Is z prime?
True
Suppose 6*n - 3133518 = -32*n. Is n a prime number?
False
Let i(b) = -3*b + 24. Let h be i(9). Let z be 36057/30 - h/30. Suppose z = 4*t - 738. Is t a prime number?
False
Suppose -3*w - 2*a = -3*a + 9, -5*w = -5*a + 25. Let h(k) = -405*k - 13. Let v be h(w). Let s = v - 166. Is s composite?
False
Suppose 0 = 3*j - 5*f - 59688, -j + 4*f + 8747 + 11149 = 0. Suppose 0 = -12*t + 437148 + j. Is t a composite number?
True
Let z(d) = -16775*d - 467. Is z(-2) composite?
False
Let p = -162702 + 264185. Is p composite?
False
Suppose p + 19 = 4*o, 2 - 27 = -5*o. Is 150326/33*(3/2)/p prime?
True
Let j(t) = -t**3 + 7*t**2 + 7*t + 6. Let z be j(-4). Let c(i) = -6*i + 45. Let f be c(7). Suppose 2*p - 4*a - 9396 = z, p = f*a + 4780. Is p composite?
True
Let s be -7 + (7 - 3) - -6. Suppose s*u = 2*q - 12366, -8423 = -5*q + 3*u + 22510. Is q a prime number?
False
Suppose 22*z + 9373 = 2*j + 17*z, 2*z = 7*j - 32883. Is j a prime number?
False
Let f(r) = r**3 - 4*r**2 - 12*r + 8. Let l be f(6). Suppose -10785 = -l*y + 51751. Is y a composite number?
False
Suppose 4*h + 0*h + 16 = 4*n, -5*n = 2*h + 8. Suppose n = m - 4*m + 15. Suppose -m*c + 9 = -b, -3*c + b + 4 = -b. Is c a prime number?
True
Let h = -32 - -30. Let b be ((-277)/h)/((-1)/2). Let l = 408 + b. Is l prime?
True
Suppose -54*q = -57*q - 3*l - 9663, 3*q + 4*l = -9667. Let u = q - -4578. Is u a prime number?
True
Suppose -5*u - 2*j + 738795 = -703942, 5*u + 4*j = 1442739. Is u prime?
False
Let b(u) = -u**3 + 8*u**2 - 9*u + 18. Let y be b(7). Suppose 9 = y*j - j. Suppose j*x = 6*x - 147. Is x a prime number?
False
Let n = 8 - 15. Let y be 22/7 - (-1)/n. Suppose 0 = m + 1, 4*m = -4*r + y*m + 4163. Is r a prime number?
False
Suppose -4*q - 2*g = 2*g - 56, 0 = -q + 3*g + 30. Suppose q*n = 13*n + 7535. Is n composite?
True
Suppose 0 = -0*d - d - 2*k, 30 = 3*d - 4*k. Let b = d - 4. Suppose 676 = b*i + 150. Is i a prime number?
True
Let n(b) = -45*b**2 + 4 - 2*b - 5 + 4*b + 367*b**2. Let s be n(-1). Suppose 0 = 2*z - s - 37. Is z composite?
True
Suppose 13*d + 120 = 8*d + 5*b, -2 = b. Is (-5)/((d - -25) + (-732)/(-734)) composite?
True
Suppose 10*j - 16 = 6*j. Suppose 3*b + 4*h - 4053 = 5*h, 0 = -j*b - 2*h + 5404. Is -4*(-4)/(-4) + b composite?
True
Suppose 0 = -5*p + 5*r - 35, 4*p - 2 = -2*r - 0. Is (2*p)/((-44)/80267) prime?
True
Suppose -681*j + 645*j + 7596252 = 0. Is j prime?
True
Let f = -26022 - -33449. Is f prime?
False
Suppose -20*i = -875847 + 81467. Is i composite?
False
Let r = 973139 + -542568. Is r prime?
True
Let t = 217 + -207. Suppose -8*a - 1371 = -t*a + j, 3*a - 2*j = 2059. Is a prime?
True
Is 10714694/18 + ((-12)/36 - (-20)/36) prime?
True
Let m(s) = -s**2 + 24*s + 201. Let y = 316 - 316. Is m(y) prime?
False
Let h(k) = 2460*k + 773. Is h(17) a composite number?
True
Let k(t) = 57*t - 7. Suppose 0 = -4*b + 3*o - o + 18, -5*b - 3*o + 28 = 0. Suppose -b*f + 3*g - 1 = -4*f, -f - g = -11. Is k(f) composite?
False
Let w = -93415 + 159674. Is w prime?
False
Suppose -2*o + 230600 = 2*g - 4*g, 0 = 4*o - 3*g - 461201. Is o a prime number?
True
Suppose j + 3*j - 5*y - 30822 = 0, -5*j - 5*y + 38505 = 0. Suppose -20*k = -21*k + j. Is k composite?
False
Let k = 3285529 + -1906328. Is k composite?
False
Let d = 32356 + -11678. Let l = -14539 + d. Is l a prime number?
False
Let u(m) = -m**3 - 2*m**2 + 799. Let f(x) = -2*x**2 + 6*x. Let g be (-3)/(-4)*4*1. Let l be f(g). Is u(l) a composite number?
True
Let f = 62 - 59. Suppose 0 = -4*h - f*h + 1757. Is h prime?
True
Let a(s) = 2*s**2 + 7*s - 14. Let y be a(-5). Let f(w) = 6801*w - 4. Is f(y) prime?
False
Let q(k) = 4*k**2 + 2*k - 4 + 10*k + 9*k - 19*k - k**3. Let z be q(4). Suppose -3*b + 3781 = -f, -6303 = -5*b - 2*f + z*f. Is b prime?
True
Let x(s) = -1560*s - 1. Is x(-1) composite?
False
Suppose -q = q - 4. Suppose -5*x = -i + 25, -i - 12*x + 13*x + 9 = 0. Suppose -3*p = -3*u - 738, -i*u = q*p - 245 - 254. Is p composite?
True
Suppose 0 = -1586*k + 1571*k + 11264475. Is k composite?
True
Suppose v = -4*v + 10. Suppose v*p = -3*p + g - 870, g - 522 = 3*p. Let s = p - -987. Is s a prime number?
False
Let x(c) = -c**3 - 17*c**2 - 44*c - 279. Is x(-56) prime?
True
Suppose 89*j - 6250237 = -30*j. Is j a composite number?
True
Is 2*((-22635106)/(-52) - -4) a composite number?
False
Let j(x) = -6*x**2 - 40*x + 65. Let c be j(-20). Is 20/(-10)*(-4)/(-8)*c prime?
False
Let q(x) = 792*x - 59. Let c be q(4). Suppose -4*j = -c - 1127. Is j composite?
True
Let h(q) = -470*q**3 - 2*q**2 + 4*q - 7. Suppose -5*i + p - 20 = 0, -i - 1 = -4*p + 22. Is h(i) composite?
False
Let o(l) be the first derivative of l**4 + l**3/3 - l**2/2 + 12227*l + 61. Is o(0) prime?
True
Let m be 1028/8*(2 + 0). Let h be 40*(282/24 + -7). Let z = h + m. Is z a prime number?
False
Suppose -16 = -4*m - 2*x,