er?
False
Suppose -2817217 = -96*y + 214751. Is y composite?
False
Suppose -56415 = -14*f + 9*f. Is f a prime number?
False
Suppose 4*m + m - 2*t - 11 = 0, 4*m - 5*t = 2. Suppose 3*r = -4*q + 77, 5*q - 85 = -3*r + m*q. Is r a prime number?
True
Suppose 4*i - 9*i + 710 = 0. Let f be (9 - 16)/((-2)/i). Suppose -q = 78 - f. Is q prime?
True
Let c = -18 - -17. Is -2 + 5 + (-160)/c a composite number?
False
Suppose 30 = -2*t - 14. Let g = t + 110. Let h = g + 383. Is h prime?
False
Let j(v) = -v**2 + 14*v - 12. Let r be j(8). Let z = r - 36. Suppose -2*a + 5*k + 673 = 0, -a + 2*k + 335 = -z*k. Is a a prime number?
False
Suppose -4*x + d = 7, -3*x - 4 = -5*d + 14. Let r be (-3)/(x/(-8)*-6). Is 39 - r/(-6)*-3 a prime number?
True
Is -5*1 + 7504/20*20 composite?
False
Is (-153911)/(13/((-52)/4)) a prime number?
True
Let t be (12*6)/2*1. Is (-1)/5*-5 + t composite?
False
Suppose 5*i - 658 = -s, 84*i = 80*i + s + 521. Is i a prime number?
True
Suppose -4*z = -9*z + 30. Let r(j) = 33 + 2*j - 43 + 10*j. Is r(z) composite?
True
Let q = -38 - -90. Let j = 225 - q. Suppose h = 4, -5*h = y - h - j. Is y a prime number?
True
Suppose -4*u = -5*s + 159667, -2243 = 2*s + 2*u - 66099. Is s a prime number?
False
Suppose z = -j, -5*z = 5*j - 3*z - 9. Suppose 3*q = 2*i - 15, -j = 2*i + 3*q - 0. Suppose -345 = -2*s - i*s. Is s a prime number?
False
Let j(p) = 28*p**2 + 13*p + 434. Is j(67) composite?
True
Let d = -38 - -38. Suppose y - 332 = -5*p, -4*y + d*y + 3*p + 1397 = 0. Is y a composite number?
False
Let j = 19 - 7. Suppose -10*a + j*a - 6 = 0. Suppose 0*i + 799 = a*k + 2*i, -5*k + 5*i + 1315 = 0. Is k a composite number?
True
Let c be 12/18*66/4. Let m = 106 - 74. Let v = m - c. Is v prime?
False
Let y be ((-5)/(-2))/(-5)*1448/(-2). Let m = -55 + y. Is m a prime number?
True
Suppose 49*i + 129860 - 352075 = 0. Is i prime?
False
Let x(w) be the second derivative of 2*w**4/3 - 8*w**3/3 + 3*w**2/2 + 8*w. Let b be x(12). Suppose -2*t = t - b. Is t a composite number?
True
Suppose 0 = 5*l + 3*q - 108, l + q = -0*l + 20. Let x = -23 + l. Let z(d) = 66*d**2 - 1. Is z(x) composite?
True
Suppose -5*b + i = -332611 - 96841, 0 = 4*b + 5*i - 343579. Is b a composite number?
True
Let d(v) = 5*v**2 + 13*v + 12*v + 0*v**2 + 9. Is d(-7) a composite number?
False
Let k = 1754 + -879. Let i = k + -582. Is i a composite number?
False
Let w(r) = 4*r**2 - r - 3. Let z(m) = -5*m**2 + m + 4. Let v(g) = -4*w(g) - 3*z(g). Let j be v(0). Suppose j = -4*i + 192 + 956. Is i prime?
False
Let g(o) = -48*o + 5. Let b(r) = 48*r - 5. Let l(k) = 5*b(k) + 4*g(k). Let m(c) = -c + 1. Let x(u) = l(u) - 6*m(u). Is x(13) a prime number?
True
Suppose -6 = -y - k + 1, -3*k + 3 = 0. Let w(p) = -2*p**3 + 6*p - y*p**2 - 6 - 4*p + p. Is w(-5) composite?
False
Let i(w) = 3*w - 18. Let l be i(9). Suppose -l*o = -12*o + 4395. Is o a prime number?
False
Suppose 11*o = 257 + 909. Suppose -20*i = -22*i + o. Is i prime?
True
Let f(w) = 119*w - 8. Let r = 59 - 54. Is f(r) composite?
False
Let i(l) = l - 1. Let u be i(-1). Is -103*u/(4 + -3) a prime number?
False
Let m(l) be the third derivative of 13*l**5/10 - l**4/6 - l**3/2 + 29*l**2. Is m(-1) prime?
True
Is 10 + (-114)/6 + 2318 prime?
True
Suppose -y = 4*s - 21409, 4*s - 3*y - 11942 = 9447. Is s a composite number?
False
Let y be (-2 - 1) + -1 + -435. Is y*((-3)/1 - -2) composite?
False
Let q(y) = -37*y - 20. Let v(u) = -38*u - 20. Let o(n) = -5*q(n) + 4*v(n). Is o(13) a composite number?
False
Is 20529/9 + (-20)/(5/(-1)) a composite number?
True
Let p(o) = -o**3 + 13*o**2 + 9*o - 6. Suppose -q - 2*s + 1 = 0, -3*q - 2*s + 8 = 3*s. Let t be p(q). Suppose -j + c + t = 0, 3*c = j - 344 + 9. Is j prime?
False
Suppose -9*u + 1749366 = 9*u. Is u a composite number?
False
Let m = 35196 - 24093. Is m composite?
True
Let l = 903 + 4. Is l prime?
True
Let m(s) be the first derivative of 3*s**4/2 + 2*s**3/3 - s + 5. Suppose 0 = -5*l + 7 - 2. Is m(l) prime?
True
Let a = 3897 - 1168. Is a a composite number?
False
Let p = 10 + -37. Let k(q) = -q**2 + q + 22. Let a be k(-4). Is a/(-6) + (-9594)/p a prime number?
False
Let y be (-1)/(-2) - (-5)/2. Let l be (y/(-2) + 1)*6. Is (-12)/(-18) - 1459/l a prime number?
True
Let p(r) = r**3 + 8*r**2 + 8*r + 9. Suppose -3*t - 23 = -5. Let b be p(t). Let q = 26 + b. Is q composite?
False
Suppose 7*w + 6*w - 191009 = 0. Is w a prime number?
False
Is 1/2*(11210 + 36) composite?
False
Let h(v) = 3*v**2 + 13*v - 6. Let u be h(-9). Let c = 189 - u. Is c a composite number?
True
Let n = -48 + 48. Suppose -1771 + 4996 = 5*s - 5*y, n = -4*y + 8. Is s a prime number?
True
Let l(b) be the third derivative of -1/12*b**4 - 5/6*b**3 - b**2 + 0*b - 1/5*b**5 - 1/60*b**6 + 0. Is l(-9) a prime number?
True
Let f(u) be the first derivative of u**4/4 + 2*u**3/3 - u**2 + 919*u + 20. Is f(0) a composite number?
False
Let k(d) = 1431*d + 739. Is k(22) prime?
False
Let z(v) = v**3 + 36*v**2 - 71*v - 77. Is z(-36) composite?
True
Let f(h) = -7*h**3 + 28*h**2 - 26*h + 3. Let z(y) = -10*y**3 + 42*y**2 - 38*y + 4. Let o(d) = -7*f(d) + 5*z(d). Let u = 4 - -8. Is o(u) prime?
True
Let u(v) = -2*v**3 + 3*v**3 - v**2 + 5 + 18*v + 17*v**2 - 2*v. Let l be u(-13). Is l - (-1)/((-4)/(-12)) composite?
False
Is 11/((-1331)/(-66)) - 143186/(-22) composite?
True
Let k(o) = 49846*o**2 + o - 2. Is k(-1) a prime number?
True
Suppose 2*a = m + 21773, 5*a + 3*m = 2*a + 32655. Is a a composite number?
True
Let f = 22 - 15. Suppose f*q = 6*q + 11. Suppose 0 = -5*v + 726 - q. Is v a prime number?
False
Suppose 0 = -6*u + 4*u + 36546. Is u composite?
True
Suppose 0 = -3*i - 3*i. Suppose 3*m - 220 - 197 = i. Is m a composite number?
False
Suppose h - 2*k + 42 = 5*h, -5*h + 51 = 4*k. Suppose -4*l = g + h, 10 = -5*l + g - 3*g. Let v(i) = -8*i + 7. Is v(l) a composite number?
True
Let o = 4 - -26. Is (-48367)/(-165) + (-4)/o a composite number?
False
Suppose -6*m + 2*m = 4*q - 5828, 0 = -q + 3*m + 1445. Is q prime?
False
Let h = 79 - 81. Is (1 - 4 - (-47)/h)*-2 prime?
True
Let d be 1/(-2)*-3*2498. Suppose -3*s + d = -5*j, -2*j - 480 = s - 1729. Is s prime?
True
Let i(h) be the second derivative of -h**5/20 - 11*h**3/6 - 13*h**2/2 + 9*h. Is i(-6) a prime number?
True
Let y(k) = 169*k - 215. Is y(22) composite?
True
Let w be 4 - 5 - (2 - 1). Let k(u) be the second derivative of 14*u**4/3 - u**2/2 - 13*u. Is k(w) a prime number?
True
Suppose 53*y + 20836 = 57*y. Is y a prime number?
True
Suppose -6 = 2*u, -3*d + 8*u = 11*u - 60396. Is d prime?
False
Suppose 0 = 6*x + 36090 - 231708. Is x a composite number?
False
Suppose 42 = 3*h + 3*y, -5*h + 82 - 4 = y. Suppose -15*b = -h*b - 541. Let w = b + 1304. Is w a composite number?
True
Suppose -97*d + 91*d + 4206 = 0. Is d a composite number?
False
Is 4 - (-16)/(48/7299) a composite number?
False
Let t(u) = -27*u - 2. Let q be t(-10). Suppose -o = 3*w - 8*w - q, 4*w = 20. Is o a composite number?
False
Suppose -5*z = 6 - 16, 0 = -4*y - 3*z + 89026. Is y prime?
False
Suppose -3*k + 5*l + 1002 + 74044 = 0, 4*k - 100096 = -2*l. Is k a prime number?
False
Let o(i) = 7*i**2 - i - 85. Is o(8) prime?
False
Let p(y) = 11 - 7*y + 1 - 16*y. Is p(-5) a composite number?
False
Let q = 4102 + -2288. Is q a composite number?
True
Let o(v) = 7*v**2 - 2*v + 6. Let a be 4/2 - (-3 + 0). Let p(k) = k**3 - 5*k**2 - k. Let t be p(a). Is o(t) composite?
False
Suppose -3*o = -2*q + 1335, -47 = 3*q + o - 2066. Suppose 2*v - q - 233 = -5*d, -1300 = -3*v + 4*d. Suppose -2*u + v = 150. Is u composite?
True
Let a(q) = -16*q**2 + 2*q. Let p be a(-3). Let u be ((-22)/3)/(1/p). Is 1/4 + u/16 a prime number?
False
Let t(q) = -q + 9. Let s be t(4). Suppose 0 + s = 5*r. Is 1142/7 - r/7 a prime number?
True
Let l(n) = 29*n + 11. Let p(j) = -1. Let r(y) = l(y) - 2*p(y). Let k be r(-6). Let a = k + 310. Is a prime?
True
Let w(m) be the third derivative of -m**4/24 - 17*m**3/6 - 2*m**2. Let r be w(-12). Is -2 + 15 + 5 + r prime?
True
Let c(t) = -t - 6. Let s be c(9). Let f be 4/(-10) + (-6)/s. Suppose f*w - 955 = -5*w. Is w composite?
False
Let p(i) = -i**2 + 19*i - 15. Let b be p(18). Suppose -4*o + 4*a = -568, b*o - a - 342 = 84. Is o composite?
True
Let l be -2 - 6*(2 + -1). Let a(j) = -2*j**3 - 23*j**2 + 29*j - 18. Let n(k) = k**3 + 11*k**2 - 14*k + 9. Let b(r) = -6*a(r) - 13