*h - 210 = 0. Is f composite?
True
Suppose 7807 = 3*j - 6488. Is j a prime number?
False
Is (1 + -59510)*(15 + -16) composite?
False
Suppose 5*l - 5*u = 0, -4 = 4*l + 5*u - 31. Suppose 0 = -l*h + 13732 - 5719. Is h a composite number?
False
Let k = -10 + 25. Is -1533*((-35)/k)/7 composite?
True
Suppose -5*m - 25 = 0, -j - 4*j + 30940 = m. Suppose c = 4*c - j. Is c a prime number?
True
Suppose 0 = -42*q + 605779 + 1684103. Is q prime?
True
Suppose 79 - 14 = u. Let h be ((-52)/u)/(2/(-955)). Suppose 2*g - 204 = h. Is g a composite number?
False
Let u(w) = 187*w**2 - 3*w - 5. Let g(p) = 2*p + 22. Let m be g(-12). Is u(m) a composite number?
True
Let x = 950 + -805. Is x a composite number?
True
Suppose 3*p - 6215 = -4*k, p = -p + 2. Is k prime?
True
Let u(r) = -2*r**3 + 6*r**2 + 6*r + 6. Suppose f = 6*f + 20. Let l be u(f). Suppose -2*j + v = 4*v - l, 412 = 4*j - 2*v. Is j a composite number?
False
Suppose 72*s - 1906 = 71*s. Is s composite?
True
Suppose -3*y = -4*y. Suppose y = -4*o - o - p, -o + p + 6 = 0. Is 133*o - (6 - 6) a composite number?
True
Let q = 59 - 13. Is q prime?
False
Suppose 113409 = 29*m - 20*m. Is m a composite number?
False
Let i be 1*4 - (-1 + 1). Suppose 0 = -i*h + 14 - 2. Suppose 708 = 5*z + u - 393, -3*z + 651 = h*u. Is z a composite number?
True
Let l = 11 - 6. Is 0 - (-2 + (-4305)/l) prime?
True
Suppose -12*n + 11*n + 5123 = 0. Let k = 8538 - n. Is k prime?
False
Suppose 11*s - 13*s = -4*j - 51630, -5*j + 77467 = 3*s. Is s a composite number?
False
Suppose -91 = -2*u + 2*k - 3*k, 0 = k - 1. Let s be (16/3 - -3)*u. Suppose 5*d - 190 = s. Is d a prime number?
True
Let p = -28211 + 54420. Is p a prime number?
True
Suppose 4*c + 0*i + 62 = -2*i, 3*c - 3*i + 60 = 0. Let a be 10*(-5 + 4)*1. Let g = a - c. Is g a prime number?
True
Let f(x) = -5*x - 1. Let t(m) = m**3 - 3*m**2 - 1. Let w be t(3). Let c be f(w). Suppose 2*l - 274 = -c*r, 3*r + 2*l = -2*l + 203. Is r composite?
True
Let g(d) = -d**3 + 2*d**2 + 3*d - 1. Suppose -4*u = -5 + 1. Let w = u - 4. Is g(w) a prime number?
False
Let z = -9 + 11. Suppose 17 = 4*x - 5*u - 3, -2*u = z*x - 28. Is x prime?
False
Let k = 6 + -6. Suppose k = -3*x - 0*x - 33. Is ((-2)/5)/(x/1265) a prime number?
False
Let f = 1671 - 714. Suppose -3*g + f + 258 = 3*z, 0 = 3*z - 2*g - 1235. Is z a prime number?
True
Is -5 + (962/(-185))/(2/(-4340)) a prime number?
True
Let j = -7 + 2. Let d = j - 7. Is (4/d)/((-2)/1434) a composite number?
False
Let a(c) = 295*c - 2. Let v be a(12). Suppose 0 = 3*j + v - 8941. Is j prime?
True
Let s = 27420 - 19157. Is s a composite number?
False
Suppose -3*r = 2*r + 30. Let n(p) = -12 + 9*p**2 + 0*p + 9 + 0*p - 3*p**2 - p**3 - 4*p. Is n(r) prime?
False
Let o(j) = -143*j + 167. Is o(-44) a prime number?
False
Let a be 10/35 - 52/(-14). Is 2/a - 637*(-4)/8 a composite number?
True
Let l = -7 + 10. Let d be 16/(-6) + (-84)/36. Is (-6706)/(-35) + l/d a composite number?
False
Let k(d) = 1080*d - 17. Is k(5) a composite number?
True
Let i = 0 + 1. Suppose -3*k + i + 5 = 0. Is (-1)/k + 186/4 a composite number?
True
Suppose -4 = -2*j + 2. Suppose 2*a - 3*y - 740 = 0, -j*y = 4 - 10. Is a a composite number?
False
Suppose -4*v + 4874 = 526. Is v prime?
True
Suppose 3*p + 5*d - 74647 = 0, 4*d = 4*p + d - 99568. Is p prime?
True
Let d = -2190 - -7337. Is d a composite number?
False
Let q be -3*7*-3*3. Let a be 4/3*-6*44/16. Let l = q - a. Is l prime?
True
Let d(r) = -5*r**2 + 17*r + 13. Let w(a) = -2*a**2 + 9*a + 7. Let o(i) = -6*d(i) + 11*w(i). Is o(-6) a composite number?
True
Suppose -k = -3*k + 4. Let x = 51 + -49. Suppose 68 = x*l - 5*g, -k*l + 4*g = -15 - 55. Is l composite?
True
Suppose 5132 = 4*j + 1404. Suppose -j = 5*z - 7*z. Is z a prime number?
False
Let p = 4035 + -2056. Is p a prime number?
True
Let m(v) = -3541*v + 11. Is m(-2) a prime number?
False
Is 11028/(-6)*(-4 + (-4)/(-8)) a prime number?
False
Suppose -2*z + 4*a - 1010 = 0, -4*z - 4*a - 1981 = a. Let d = z - -1140. Is d prime?
True
Let g(b) = -4415*b - 164. Is g(-6) a prime number?
False
Suppose -2*y + 4*k + 14 = 0, -k - 2 = 1. Let j be y*((-8)/2)/(-2). Suppose j*m - 1757 + 131 = 0. Is m prime?
False
Suppose -168496 = -10*p + 444214. Is p a prime number?
False
Let w(t) = 122*t**2 - 8*t + 1. Is w(-1) a prime number?
True
Let i = -66 + 181. Suppose -i = -j + 5*b + 654, -b = -4*j + 3000. Is j prime?
False
Let x(k) = -84*k**3 - 23*k**2 - 8*k - 24. Is x(-11) prime?
False
Let n(p) = p + 24. Let g be n(-14). Is 1490/25*g/2 composite?
True
Let r(w) = 266*w**3 + 3*w**2 + 6*w + 10. Is r(3) composite?
False
Let j(t) = t**2 - 7*t - 8. Suppose 0 = 4*q - 5*q + 8. Let d be j(q). Suppose -2*r + 10 + 4 = d. Is r a composite number?
False
Suppose 0 = 5*f - 0*f - 19165. Is f a composite number?
False
Suppose -h + 7 = u, -9 = -h + 3*u - 5*u. Let d = -97 - -150. Suppose -h*f - 2*g + 116 = g, -g = -2*f + d. Is f prime?
False
Suppose 18030 = 4*u + 2*l, -4*u + 3*l = u - 22532. Is u prime?
True
Let p(u) = u**3 + 11. Let k be p(0). Let q = k + 67. Suppose 22 = -4*s + q. Is s a prime number?
False
Let j = 21 + -12. Suppose 3*d - 4*l - j = 0, 2*l + 2*l = -5*d + 15. Suppose -d*g = g - 812. Is g composite?
True
Suppose -2678 + 15318 = -5*c. Let n = c + 4681. Is n composite?
False
Suppose -22*x + 17*x = 0. Suppose -2*j - 2*j - 44 = x. Let d = -4 - j. Is d a composite number?
False
Suppose -5*l + 68188 + 21879 = 4*k, 2*k + 3*l - 45031 = 0. Is k composite?
True
Let s(k) be the second derivative of k**6/720 + k**5/40 - k**4/4 + 5*k. Let q(l) be the third derivative of s(l). Is q(7) a composite number?
True
Let c = -64 + 67. Suppose 3*x - 4411 = -m, -5*x + 5*m + 2952 = -c*x. Is x prime?
True
Let j = 79232 + -39315. Is j composite?
True
Suppose 8927 = x - 7568. Is x a prime number?
False
Let z(i) = -2*i**2 + 47*i + 28. Let n be z(24). Suppose -n*m = p - 2*p - 532, m + p = 133. Is m a composite number?
True
Let w = -6110 - -10248. Is w a composite number?
True
Let z be (-3 + 3 - -1) + 6. Let q = z + -9. Is (q - (-2 - -3))*-67 composite?
True
Suppose 5*z - 9627 = 2*z. Let s = 5320 - z. Is s a composite number?
False
Let s(j) = j**2 + 6*j - 16. Let t be s(9). Let l = 84 + t. Is l a composite number?
True
Let s(h) = -225*h + 37. Let q be s(-9). Suppose q - 717 = 5*y. Is y composite?
False
Suppose 4*t = -3*w + 6*w + 12, -3*t + 9 = -2*w. Suppose -2*g + 3544 = 4*b, -6*g - 6 = -t*g. Suppose 0*j - j = -b. Is j prime?
True
Let t(k) = 13*k. Let s(z) = -12*z - 1. Let m(h) = 6*s(h) + 5*t(h). Let x be m(-5). Suppose -3*u + 188 - x = 0. Is u composite?
False
Suppose 2*d + 110 = 948. Suppose -d = -2*t + j, 0 + 1 = -j. Is t a prime number?
False
Let x = 33867 + -16058. Is x a prime number?
False
Let q(w) = -w**3 - 7*w**2 + 6*w - 16. Let n be q(-8). Suppose -3*j + 2*l + 1707 = n, -5*l + 1409 = 4*j - 890. Is j a composite number?
False
Suppose -4*g + 15700 = g + 5*d, 3149 = g + 4*d. Is g a prime number?
True
Let j(x) = -22*x - 11. Let i be j(-10). Let c = 5 + -5. Suppose -l - l - 2*p + 138 = c, -i = -3*l - 4*p. Is l prime?
True
Let v(c) = c**3 - c**2 - 2*c + 3. Let j be v(-4). Is (j/6 + 0)*-2 composite?
False
Let p be (-5)/(-2) - 2/4. Suppose 5*x - 3*x + 8 = 0, 0 = 5*q - x - 4849. Suppose -3*o = -p*m - 763, 4*o - 5*m - q - 60 = 0. Is o a prime number?
True
Let p be -14 + 0 + (2 - -1) + -6. Is (p/4 - -4)*-4748 prime?
True
Let p(s) = -25*s**3 + 18 - 6*s - 5 + 18*s**3 - 10*s**2. Is p(-6) composite?
False
Let l(f) = f - 5. Let w be l(5). Suppose -11*u + 8*u + 12 = w. Suppose 0 = 5*g - 3*y - 5138, g + 0*g - u*y = 1031. Is g prime?
False
Suppose 0 = f + 4*f - 155. Suppose -3*w = 5*q - f, -5*q + 26 = -2*w + 5. Suppose -2*g = s - 0*s - 253, -775 = -3*s + w*g. Is s prime?
True
Let p(j) = -j**3 - 2*j**2 + 4*j - 2. Let z be 144/10 - 6/(-10). Let q be z/(-9)*(-2 + 5). Is p(q) prime?
True
Let g(q) = -q**3 - 16*q**2 - q - 16. Let w be g(-16). Suppose -4*h + 4*v = -0*v - 1788, w = -3*v - 3. Is h a composite number?
True
Let q(n) = 57*n - 14. Let z be q(7). Let c = 618 - z. Is c a composite number?
False
Let c(j) = -j**3 - j**2 - 18*j - 11. Let o be c(8). Let z = -300 - o. Is z prime?
True
Let j = -42 + 2095. Is j a prime number?
True
Suppose 18 - 3 = 3*q. Let g = q - 2. Let i = g - -22. Is i composite?
True
Let l = -67739 + 111618. Is l prime?
False
Let y = 11391 