0 = -4*i + 2*f + y, f = -i + 5*f + 23. Is i prime?
True
Let m be 12*(1 - 2)/(-2). Suppose 4*p - m = p. Suppose p*d - 35 = -7. Is d composite?
True
Let x = -626 - -1331. Suppose -4*s + 6*j - j = -2826, s - 2*j - x = 0. Is s prime?
True
Suppose 0 = 17*b - 22*b + 25. Suppose 3*r + 2158 = b*r. Is r a composite number?
True
Suppose 2*d + 4*o = -170 + 34, -5*d - 405 = -3*o. Let u = d - -475. Is u a composite number?
False
Let k = -29248 - -62505. Is k a prime number?
False
Let g(u) = -u**2 - 13*u + 4. Let m be g(-13). Suppose 0 = 2*j - m*j + 174. Is j prime?
False
Suppose 0*q - 50 = -5*q. Let t be (q/6)/((-1)/(-3)). Suppose 5*w + 2*n - 28 = 0, -w + t = -n - 2. Is w composite?
True
Suppose 0*t + 4*t + 14251 = c, 4*t - 57004 = -4*c. Is c prime?
True
Suppose -5*l + 1228 = -1557. Is l composite?
False
Suppose -4*y - 11098 = -2*b, 27769 = 6*b - b - 4*y. Is b a composite number?
False
Suppose -3*q - 2*b = 3*b + 1, 3*q - 5*b = 19. Let x(n) = -3*n - q - 2 - 2*n. Is x(-8) prime?
False
Let p be (-2)/1 + (-5 - 0). Let n(h) = -h**3 - 7*h**2 - 10*h + 3. Let v be n(p). Let q = 156 - v. Is q prime?
True
Let v = -13270 - -25001. Is v a composite number?
False
Let p(j) = -j**3 + 11*j**2 - 1. Is p(-15) a prime number?
True
Suppose 3*d = 4*d - 12. Let i be ((-9)/(-6))/(d/32). Suppose -i*g - 536 = -8*g. Is g a prime number?
False
Let j(s) = s**3 + 5*s**2 + 2*s - 6. Let u be j(-3). Is u/(12/49)*2 prime?
False
Suppose 0*o - 4*o + m = 8, 0 = -2*o + 5*m + 14. Let f(t) be the third derivative of -11*t**4/12 + t**3/2 + 33*t**2. Is f(o) a composite number?
True
Let y(d) = -6*d**3 - 3*d - 10. Let a be y(-3). Let c be (-3164)/(-21) - (-2)/6. Suppose 2*m - 4*m - 3*h = -c, -h + a = 2*m. Is m prime?
True
Let r be 3/(-18) + 4 + 43255/6. Suppose -6*q - r = -21139. Is q a prime number?
False
Suppose 203094 = -2*j + 20*j. Is j composite?
True
Let i(r) = 119*r + 422. Is i(43) prime?
False
Let z(b) = 4009*b**2 + 6*b + 4. Is z(3) composite?
True
Let f(v) = -2*v**3 - 27*v**2 - 12*v + 15. Let p be f(-13). Suppose -2*h - 3*u + 1007 = p*h, -5 = -5*u. Is h a prime number?
True
Let q(a) = 49*a + 12. Let l(d) = -d**2 - 7*d. Let b be l(-7). Let z be (4 - -3)/(b - -1). Is q(z) a prime number?
False
Suppose -h + 4866 = 5*d, 0 = 4*h - 5*h + 3*d + 4858. Is h composite?
False
Let z(c) = c + 12. Let w be z(-8). Suppose 5*t + 2*b = 18, 0*t + 15 = w*t + b. Is (t/6)/((-8)/(-996)) prime?
True
Suppose -5*a = -2*h - 6251, h - 3653 = -4*a + 1340. Is a a composite number?
False
Let g = 15801 - 7842. Suppose 8*z = 5*z + g. Is z prime?
False
Suppose -q - 5851 = -3*m, -12*m + 7*m + 9733 = 3*q. Is m composite?
False
Let x(h) = -22 - 19 + 98*h + 40. Is x(1) a prime number?
True
Let o = 7388 + -3409. Is o a composite number?
True
Suppose -2*l = 3*t + 8, -2*l + 0*t = 5*t + 16. Let p(r) = 11*r**2 - r - r**3 - 2*r**2 - l*r - 11 + 3. Is p(7) a prime number?
False
Suppose -37*l + 42*l - 5*k = 13680, 4*l - 10954 = 2*k. Is l a composite number?
False
Let h(m) be the second derivative of 29*m**4/6 + 3*m**3/2 - 15*m**2/2 + 6*m. Is h(6) composite?
True
Let n(c) = 81*c**2 - 5*c + 5. Let t(j) = j**2 - 19*j + 36. Let z be t(17). Is n(z) a prime number?
False
Suppose -t - 3*q + 7511 = 0, -44463 = -4*t + 4*q - 14483. Is t a prime number?
True
Suppose 24*w = 31*w - 7973. Is w prime?
False
Suppose -l = -2*o + 18614, -9663 = -o + 3*l - 346. Is o a composite number?
True
Let s = 10 - 10. Suppose 3*w - 21 = -4*x, s = 2*w + 2*x + 2*x - 18. Suppose 2*j = -w*h + 329, 3*h + 326 = 2*j + 7*h. Is j a prime number?
False
Suppose 175351 = 3*o + 16*o. Is o a prime number?
False
Let d = -737 - -1039. Suppose 0 = -10*j + d + 668. Is j a prime number?
True
Suppose -9*n + 5*n + 3*q = -6554, 4*n - 2*q = 6552. Is n prime?
True
Suppose -4*o + 2*h = -42644, 11*o + h + 10661 = 12*o. Is o a composite number?
True
Suppose -3*m + 3842 = -m. Is m prime?
False
Suppose -4*c = 4*r - 2148, 0*r + 1639 = 3*r - 4*c. Is r composite?
False
Let g = 74 - 75. Is -1*(4*(3 + -317) - g) composite?
True
Let z = -466 + 3757. Is z prime?
False
Suppose 7*g - 38316 = -5*g. Is g a prime number?
False
Let a(s) = 582*s**2 - 21*s + 23. Is a(6) composite?
False
Suppose -2*s = 5*p + 17823, -3*s - 6555 = 4*p + 7709. Let m = p - -10012. Is m a prime number?
True
Is ((-5518)/(-8))/((-27)/(-108)) a composite number?
True
Let u(v) = -v**3 - 12*v**2 - 12*v - 10. Let o be u(-11). Let b(d) = -14*d**3 + 1. Let a be b(o). Let c(h) = h**2 + 11*h - 12. Is c(a) a composite number?
True
Let b = 70 - 73. Suppose -4*f = -0*f + 8. Is 74/f*-2 - b composite?
True
Let c(d) = -15 + 29 - d**2 + 21. Suppose 7*z - 12*z = 0. Is c(z) composite?
True
Suppose -4*y - 34764 = -4*h, -4*y - 43443 = -5*h - 5*y. Is h a prime number?
True
Let j(i) = -i**3 - 15*i**2 + 3*i - 7. Suppose 2*a + 70 = 5*t, -4*a + 42 = 3*t - 5*a. Suppose 4*h = -t - 50. Is j(h) a prime number?
False
Let b(d) = -2*d - 9. Let o be b(-5). Is o*4 - (-1659 - 8) a prime number?
False
Let v(a) = a**3 - 4*a**2 + 6*a + 4. Suppose 3 = 3*r + 24. Let l = r - -12. Is v(l) a prime number?
True
Suppose 3*j - z - 16499 = 0, 5*j - 6670 - 20819 = 4*z. Is j a composite number?
False
Let p = 5 - 1. Suppose -2*n + 3*d + 1590 = 5*d, -2*d = n - 794. Suppose 0*h - n = -p*h. Is h composite?
False
Let y be (-28)/(-13) + 4/(-26). Suppose -g = -y*h + 75, 0*h - h - g = -30. Is h a composite number?
True
Let r(n) = n + 3. Let v be r(2). Let q(m) be the second derivative of 3*m**4/4 + 2*m**3/3 - 3*m**2 - 3*m. Is q(v) a composite number?
False
Suppose -5*w - 15 = -m, 2*w - 16 = -4*m - 0. Let y be ((-653)/w)/(1/2). Let r = -386 + y. Is r prime?
False
Is -2 - (-3 - -8 - (1973 - -7)) prime?
True
Suppose -207 = -11*x + 453. Suppose -x*z + 63*z - 1533 = 0. Is z prime?
False
Let m = 607 - -31. Let t = 1285 - m. Is t a prime number?
True
Let r = 46084 + -25515. Is r a composite number?
True
Suppose -x = -698 - 1503. Is x a prime number?
False
Is (1 - -2)*(3 - (-1124)/6) a prime number?
True
Suppose -3*o = -2*o - 3. Let n(d) = d**3 - 2*d**2 + 5*d - 2. Let b be n(o). Is 262/3*33/b a prime number?
True
Suppose -6058 = -2*c + 4*h, 94*c - 4*h - 9095 = 91*c. Is c a prime number?
True
Let y = -22 - 20. Let t be (4 - y/(-9))*-6. Is 19*t*(-3)/(-12) a prime number?
True
Let n(h) = -17*h**2 - 7*h + 4. Let u(g) = -g**3 + g**2 + 1. Let t(r) = -n(r) - u(r). Is t(-15) composite?
True
Let k be ((-232)/6)/((-2)/3). Is -1*k*(-21)/6 prime?
False
Let x be (-24036)/(-45) + 14/(-105). Let r = 1871 - x. Is r composite?
True
Let n(s) = -1220*s**3 + 12*s**2 + 44*s + 17. Is n(-5) composite?
False
Let n(u) be the third derivative of u**6/60 + u**5/60 + u**4/24 + 551*u**3/6 + 4*u**2. Is n(0) a prime number?
False
Let w = 44 - 12. Suppose 3*l - 4*g - 33 = 1, -2*l + 5*g = -w. Suppose -3*j + 206 = v, l*v + j = v + 1100. Is v a composite number?
True
Is 24512 - (2 - -1) - -6 prime?
False
Let f(o) = -31*o**3 - 48*o**2 + 13*o - 1. Is f(-9) a composite number?
False
Let u(h) = -2*h**3 + 4*h**2 + 5*h - 35. Is u(-29) composite?
True
Let f(k) = 3 - 4*k**3 - k**3 - 3*k - 10*k**3 - k**2 - 5*k**2. Let y be f(-4). Suppose -3*m = -0*m - y. Is m a composite number?
False
Let m = -31 + 25. Let f(u) = 10*u**2 + 8*u - 5. Is f(m) composite?
False
Let x be -6 + 2 + 0 - -1. Let v(y) = -195*y + 7. Let c be v(x). Suppose 5*w - 3*r = c, -r - 3 = -4*r. Is w composite?
True
Suppose 6*u - 2631 = 3*u. Is u a composite number?
False
Let j = 8255 + -3258. Is j a composite number?
True
Suppose 12*o = 311282 + 22210. Is o a prime number?
True
Let r(u) = -11*u**3 - 5*u**2 + 14*u - 61. Is r(-15) a prime number?
True
Let b be 0 + (18 + -13)*(-1 + 264). Suppose -24*c + 19*c + b = 0. Is c a prime number?
True
Suppose -11*h + 54781 = 276. Is h a composite number?
True
Let f = -103 - -97. Is (13611/f)/((7/2)/(-7)) prime?
False
Suppose -13*h = -10*h + 1788. Let r = -303 - h. Is r prime?
True
Suppose -13*q - 890 = 1268. Let a = 707 + q. Is a prime?
True
Let v(t) be the first derivative of 11*t**5/60 - t**4/6 - t**3/6 - t**2 - 6. Let l(j) be the second derivative of v(j). Is l(-4) a composite number?
False
Let t(q) = 1. Let k(b) = -7*b**2 - 2*b - 12. Let j(d) = -2*k(d) - 22*t(d). Let s be j(6). Let g = s + -373. Is g composite?
False
Let k = 1940 - -5957. Is k a composite number?
True
Let g(q) = 4 - 3 + 2 - 266*q. Is g(-2) a composite number?
Tr