f(q) = 203*q**2 - 368*q + 28. Is f(-27) prime?
True
Suppose 9*s = 10*s - 4. Suppose 0*l + 10025 = 4*l + w, -s*l + 10005 = -3*w. Suppose 3*z - 4*n - 2139 = 0, -4*z - 5*n = -347 - l. Is z composite?
True
Let d(z) = -16*z + 3. Let f(n) = -48*n + 8. Let p(c) = 17*d(c) - 6*f(c). Suppose -s = -0*s - 2*i - 18, 0 = -2*i - 2. Is p(s) composite?
True
Suppose 5*w - 346755 = -2*g, g = 2*w + 260883 - 87528. Is g prime?
False
Suppose 11*f - 13*f = -10. Suppose 0 = -f*p + 1535 - 55. Suppose -6*m = 2*m - p. Is m a prime number?
True
Let j = -9 + 9. Suppose p - 4*g - 96 = -542, j = -2*p - g - 874. Let h = -297 - p. Is h a prime number?
False
Let g be (-4)/3*(-7)/(28/2472). Let p = g + 517. Suppose -2*t + 648 = 4*y, -t - 3*t + y + p = 0. Is t a prime number?
False
Let m = -1488 - 1623. Let g = m + 4496. Is g a composite number?
True
Suppose 28*s + 13532540 = 168*s. Is s a composite number?
False
Suppose -f = 15 - 17. Suppose -f*b - 22 - 190 = 0. Let i = b + 773. Is i a composite number?
True
Suppose c - 4*l = 125123, -22*l + 24*l + 125127 = c. Is c prime?
True
Let x be 213/24 - 1/(-8). Let i(n) = 71*n**2 - 14*n - 2. Is i(x) prime?
True
Let p(j) = 45*j - 26. Suppose -3*k - 16 = -7*k. Suppose -2*h - 9 = -u, 4*h - 12 - 24 = -k*u. Is p(u) composite?
False
Let a(m) = 74*m - 267*m - 483 - 42 + 233. Is a(-13) a prime number?
False
Suppose 85187 = -21*b - 11791. Is (11/(-11))/(2/b) a composite number?
False
Let n be -11126*(-4)/20 + 4/5. Let s = -72 + -533. Let l = n + s. Is l a composite number?
False
Let s be 156/(-10)*20/3. Let j = 105 + s. Is 2 + -3 + j - -5581 a composite number?
False
Let o = 775 - 226. Let z = 1016 - o. Is z a composite number?
False
Suppose -s - 486592 + 995032 = -568513. Is s a composite number?
False
Is 391859219/674 + (-2)/4 composite?
False
Is 24/(-14)*(-41960562)/1176 a composite number?
True
Let p = -1312437 - -1899968. Is p a prime number?
False
Let b be 7/(70/60)*(-2)/(-4). Suppose 0 = -3*p + 3*t + 25632, 5*p + 0*t - 42722 = b*t. Is p a prime number?
False
Let f(w) be the first derivative of -43*w**2 + 11*w - 44. Is f(-12) a prime number?
False
Suppose 0 = 3*i - 4*u - 18, 2*i - 5*u - 5 = 7*i. Suppose i = -b - 4. Is (-1 + (-4)/b)*-3351 a composite number?
False
Let a(w) = 2*w**3 + w**2 - 4*w + 1. Let z be a(2). Let x(d) = -26*d + 31. Let u(v) = -78*v + 93. Let b(g) = -3*u(g) + 8*x(g). Is b(z) prime?
True
Let d(b) = b**2 + 2*b - 11. Let k(n) = -n - 5. Let a be k(-8). Let q be d(a). Suppose -6*v + q*v = -8770. Is v a composite number?
True
Let h(c) = 17368*c - 3987. Is h(35) a composite number?
False
Let v(l) = 15*l + 8. Let d be v(4). Let q(u) = -137 + 68 + d - 2*u**2 - 23*u**3 - 6*u**2 - 3*u. Is q(-4) a composite number?
True
Suppose -20*p + 169 + 551 = 0. Is (-36904)/(-10) + p/60 composite?
False
Let g(t) = -t**2 + 2*t - 61. Let k be g(0). Let u = k + 64. Is (u - 1)*(-15132)/(-24) prime?
False
Is (-13)/(455/(-57413100)) - -7*(-10)/245 composite?
True
Is (35/(-49))/5 - 23198670/(-35) a prime number?
True
Let f = -3603 + 9956. Let a = 14488 - 8138. Suppose 4*u - f = -m, -3*m - a = -4*m - u. Is m prime?
False
Let j be ((-38)/4)/(-19)*(0 + 0). Suppose 4*y = -16 - j, 5*u - 4*y = 71401. Is u prime?
False
Let h(g) = 48*g + 43 + 43*g**2 + 32 + 3*g - 6*g. Is h(23) prime?
True
Suppose 0*f - 5 = l + 3*f, -2*l = 4*f + 6. Let x(h) = 4 + 509*h**2 + 1 - 3 + 182*h**2 - 2*h. Is x(l) composite?
False
Let s(p) = p**3 - 5*p**2 - 11*p - 4. Let r be s(7). Suppose -r + 41 = -3*d. Is (-14)/(d/356 - 0) a composite number?
True
Let r(i) = 95*i**3 - 5*i**2 + 13*i - 37. Let m be r(7). Suppose -40*g + 37*g = -m. Is g a composite number?
True
Let s = -12108 + 134551. Is s a composite number?
False
Let v(t) = -9139*t**3 + 3*t + 9. Let w be v(-2). Suppose -42*o = -49*o + w. Is o a composite number?
True
Let c(h) be the second derivative of h**5 + 3*h**4/4 - 19*h**3/6 - 21*h**2/2 - h - 16. Is c(5) composite?
False
Let r(a) be the third derivative of a**6/20 + a**5/5 - a**4/12 + 5*a**3/6 + 15*a**2. Is r(8) prime?
False
Let n(x) = -2*x**3 + 16*x**2 + 2*x - 10. Let i be n(8). Suppose -3*z - 4*m + 3522 = 0, -i*m + m + 1174 = z. Is z composite?
True
Let o be 3*((-14)/(-6) + -4). Let c be -12*((-247)/4 - o). Let b = c - -62. Is b a composite number?
False
Let k(b) = 77*b**2 - 3*b - 3. Let a be k(-1). Let p = 79 - a. Suppose -5*d - p*c = -3067, -4*d = 4*c - 3886 + 1430. Is d a composite number?
False
Let t(q) = 59*q**2 - 103*q + 233. Is t(36) composite?
True
Suppose -9*o - 5*v = -11*o + 32753, 4*v = 2*o - 32750. Is (o/3)/(13/39) a composite number?
False
Suppose 5*i + 0*i - 7005 = 0. Suppose -i = -4*m + 883. Is m a composite number?
False
Suppose z = -4*h + 18, -5*z + 31*h = 33*h. Is (-747)/(-81)*253 - z/(-9) a prime number?
True
Let d(o) = 242*o**2 + 35*o - 493. Is d(30) prime?
True
Suppose 15*j = -3*j + 62154. Suppose -14*d = -11*d - j. Is d a prime number?
True
Let u = 887 - 841. Is (-1 - -3)/(u/60191) composite?
False
Is (-5)/((-6 - -3)*(8 - (-4781777)/(-597723))) a prime number?
False
Let j(h) = 4708*h**2 + 274*h - 13. Is j(5) a composite number?
False
Let b = -2104 + 20321. Is b a prime number?
True
Let l(a) = -115*a + 39. Let o be l(-8). Suppose -u + 4*k = -0*k - o, 0 = -u - 3*k + 994. Is u a composite number?
True
Let r(u) = 9*u + 14. Let f be r(-1). Let m(k) = 33*k**3 - 6*k**2 - 5*k + 3. Is m(f) composite?
True
Let c(a) = -15*a**3 - a**2 - 9*a - 6. Let y be ((-196)/3)/(-4) - (-12)/(-36). Let n = y - 19. Is c(n) a composite number?
True
Let f(m) = 27*m**2 - 12*m**2 - 15*m**2 - 4*m + 13859 - m**3. Is f(0) a composite number?
False
Let s be -5*1*(-10)/25. Suppose 5*y = -u + 22433, -22431 = -6*y + y - s*u. Is y a prime number?
False
Suppose -4*a - 8 = -g, -a + 5 = 2*g - 4*g. Is (8/g)/(12/(-2886)) a composite number?
True
Let t be 33/55 - (-54)/10. Is -1 - (2 - 4784) - (t + -8) a composite number?
False
Suppose -2*v = -3*l + 4 + 5, -17 = v - 4*l. Suppose -20 = -4*f, v*f + 2 - 3 = 2*g. Suppose 2*w + 3*u + 728 = g*w, 3*u + 148 = w. Is w composite?
True
Let d = -482475 - -828634. Is d a composite number?
True
Let p be ((-11)/33)/((-2)/6). Is p/((-7)/(-15421) + 0) a prime number?
True
Suppose 177448 = 2*g + 2*j, -3*g = -5*g + 5*j + 177427. Is g composite?
False
Suppose 0 = -4*v + 2*j - 55830, -14*v = -13*v + 5*j + 13974. Let l = -6982 - v. Is l composite?
False
Suppose -50*x = -212*x + 22606614. Is x a prime number?
True
Let m be -150 + 150 - (0 - (-2)/(-2)). Suppose r = 5*a + 27, -2*a = 5 + 5. Is m/r*(3320 + -10) composite?
True
Let y = -42 - 77. Let r = y - -121. Suppose -5*d = -x - 9118, -14*d - r*x = -11*d - 5463. Is d prime?
True
Let n = -9759 + 16468. Is n prime?
True
Suppose o + 2*o = -h + 99738, -4*h = o - 33235. Is o a prime number?
True
Let h(r) = 2*r**2 - 6*r - 3. Let u be h(-1). Suppose 4*v = -u*c + 375337, 6*c + v + 75062 = 7*c. Is c a prime number?
False
Let p be 3 + -6 - (-1)/((-1)/1562). Let j = p - -2668. Is j a composite number?
False
Suppose -82*z + 3452350 - 1062933 = 25*z. Is z a composite number?
True
Suppose -442206 = -0*m - 27*m. Let c = m + -7741. Is c a composite number?
True
Suppose -4*s + 11984 = -2*r, 666 = 2*s + 3*r - 5310. Let d = 5510 - s. Suppose 0 = 2*j + 2*j - d. Is j a prime number?
False
Is (-56926)/8*(14 + -18) a composite number?
False
Suppose -135 = -2*o - 129. Suppose o*w + 3*b - 3251 = 3538, -5*w + 3*b = -11347. Is w a prime number?
True
Let w = 995 + -1581. Let h = w + 2487. Is h a composite number?
False
Let h be ((6/4)/3)/((-3)/(-30)). Let n be (-2)/5*h/(-2) + 4. Suppose -2*r + 1112 - 243 = -o, n*r + 4*o = 2205. Is r prime?
False
Let r(u) = 4769*u + 595. Is r(8) composite?
False
Suppose -p - 1938 - 287 = 0. Let b = p + 4048. Is b a prime number?
True
Let i be (-17)/(119/14550)*-7. Suppose 11838 + i = 2*p. Suppose -10*a = -p - 5896. Is a prime?
False
Let r = -60 + 68. Suppose r*m - 2553 - 287 = 0. Is m a prime number?
False
Suppose 3*h + 14 = -5*c, -2*c - 11 = -5*h + 7. Let n be (1 - h) + 1502 - 20/5. Let q = n - -160. Is q prime?
True
Suppose -2*u - 2*u = -5*r - 8, 2*u = r + 4. Suppose r = -3*g - 0*g - 3*p + 27405, 2 = p. Is g a composite number?
False
Suppose -5*d + 5*h + 1858355 = 0, -1579*h + 1574*h - 1486678 = -4*d. Is d a composite number?
True
Let x(p) = 2*p**3 - 12*p**2 - 13*p + 9. Let r be x(7). Suppose -9*i + r*i = 82