0) a prime number?
False
Suppose 38*x + 51*x - 3552074 = 15*x. Is x a composite number?
True
Let s(c) = 1657*c**2 - 1290*c - 2. Is s(5) a composite number?
True
Suppose y - 259 = -2420. Suppose -16*g + 6136 = -14*g. Let b = y + g. Is b prime?
True
Suppose n = -2*l + 9726, 5*l - 5*n - 1244 = 23041. Is l a composite number?
False
Let f = 93 - 45. Let i be (-2)/(-6)*f/4. Suppose -i*q = -2*n - 3546, -421 = -q - 3*n + 469. Is q composite?
False
Let p = 142588 + -56999. Is p a composite number?
True
Let k be 1*3*(35/15)/(-7). Let f be (k/(-3)*-14)/((-2)/(-2235)). Let a = -3116 - f. Is a composite?
False
Let l = -38862 - -115865. Is l a composite number?
False
Let l = -211 + 844. Let o = l - -902. Is o composite?
True
Suppose 9*j - 18438 = 6*j. Suppose 2*r - j = 8*m - 3*m, -12292 = -4*r + m. Is r a prime number?
False
Let r(z) = 128*z + 5. Let m be r(1). Let p = m + -133. Suppose p = 3*q - s - 1012, 4*q + 2*s - 1349 = 3*s. Is q prime?
True
Let c be 4/(-14) - (-607330)/35. Suppose 0 = 3*z - c - 1596. Suppose j = -3*j + z. Is j composite?
False
Let z(d) = 3*d**2 - 25*d - 24. Let j be z(-1). Suppose -g = -5*o - 7056, g - j*o = 2*g - 7065. Is g a composite number?
True
Let y(n) = -3622*n - 4657. Is y(-9) a composite number?
False
Let k(i) = 30 - 20*i**2 + i**3 + 20 + 6*i**2 - 14*i. Is k(17) prime?
False
Suppose 98*d - 84272798 - 2851848 = 0. Is d composite?
False
Suppose l - 7*a = 247190, 4*l + 5*a - 488846 = 499881. Is l a composite number?
False
Let g = 44892 + -2219. Is g a composite number?
True
Let t(d) = 50*d - 343. Let y be t(17). Suppose 2 = -3*s + 11. Suppose a - s*c = y, -5*a + 1501 = -2*a + c. Is a a composite number?
True
Let c(o) = -846*o - 1429. Is c(-50) a prime number?
False
Let g = 35 - 35. Suppose g = 15*r - 12*r + 27. Is (-6024)/(-18) + (-3)/r prime?
False
Let v(j) = -88*j - 23. Let o(h) = 88*h + 22. Let p(r) = 2*o(r) + 3*v(r). Let c(f) = 265*f + 74. Let t(q) = -4*c(q) - 11*p(q). Is t(-7) prime?
False
Let o(s) = 631*s**2 + 22. Let k be (300/18)/5 - 3/9. Is o(k) a composite number?
False
Let w(i) be the second derivative of i**4/12 + 7*i**3/6 + 5*i**2 - 15*i. Let t be w(-4). Is (-1)/t*706/1 a prime number?
True
Let k = -19 + 28. Let t be (12/9 + -1)*k. Suppose -3*a - 391 = -t*z + 1376, -2931 = -5*z - 2*a. Is z a prime number?
True
Suppose -9*x - 7*x + 420027 = -13*x. Is x composite?
False
Suppose -65*u - 90*u = -1734608 - 509637. Is u a composite number?
False
Let s(r) = 2*r**2 - 19*r - 18. Suppose 5*a = -3*a + 72. Let g be s(a). Let o = g - -78. Is o prime?
False
Let k = -530 - -339. Is (-9)/(63/581)*k a prime number?
False
Let t(j) = 3*j**3 - 26*j**2 - 45*j + 179. Is t(21) a composite number?
False
Is (-351)/585*(-2521940)/12 composite?
False
Suppose 6*m - 8*m + 1117641 = -5*s, 5*s + 35 = 0. Is m composite?
True
Let l = -60 + 61. Let j(y) = 292*y**3 + y**2 + 4*y - 4. Is j(l) composite?
False
Suppose -46*r = -3985956 + 1383874. Is r composite?
True
Let u(d) = -157*d + 21 - 224*d - 61. Is u(-7) a prime number?
False
Suppose 19*b - 44*b = -300. Is ((-4666)/(-8))/(b/48) a composite number?
False
Let z = -931 + 1199. Suppose z*o + 12806 = 270*o. Is o a prime number?
False
Suppose 0 = -3*w + 3. Let t(n) = 782*n**3 - n**2 + 17*n + 21. Let j(v) = -261*v**3 - 6*v - 8. Let f(z) = 8*j(z) + 3*t(z). Is f(w) prime?
True
Suppose -29*c = -42*c + 104. Is 6*c/(-12)*1 + 1173 a prime number?
False
Suppose -t = -2*t + 17. Let n = -21930 - -26478. Suppose -t*s + 5*s = -n. Is s composite?
False
Suppose -4*v + 18 = -3*v - 3*z, -2*v + 26 = -4*z. Suppose l = -2*k + 26943, v*k - 2*l - l - 40410 = 0. Is k composite?
True
Let l(r) = r**3 - 7*r**2 + 8*r + 12. Let s be l(5). Suppose -3*x + 5*o = -7*x + 23904, 0 = -x + s*o + 5989. Is x a composite number?
False
Suppose -11*w + 9*w = 4*l - 6590, 0 = -4*l. Suppose -4*j = -4*o - 13168, j - w = -0*o - 2*o. Is j a composite number?
True
Let a(f) = -206*f**3 - 4*f - 13. Let b(m) = 413*m**3 - m**2 + 7*m + 27. Let z(k) = 9*a(k) + 4*b(k). Is z(-3) a composite number?
True
Suppose 167*z + 441864 = 129*z. Suppose 5*w - 4*b + 16119 = -14120, 0 = 4*b - 4. Let c = w - z. Is c prime?
True
Is (30794/(-519))/((-2)/3603) a composite number?
True
Suppose -2*p + 9*i - 6*i = -21, i - 4 = -3*p. Suppose -p*v - v = 5*n - 5406, -v + 1348 = 3*n. Is v prime?
False
Let g(i) = 436*i**2 + i + 6. Let r be g(3). Let o = 9516 - r. Is o a prime number?
False
Let z be (-17 - 0)*(12 - 11). Let g = z + 21. Suppose g*v = v + 2271. Is v prime?
True
Let q be (-22)/55 + 12604/10. Suppose -5*l - 3*z + z + q = 0, -4*l = -z - 1021. Is l prime?
False
Suppose 2*m - 156 = 5*i - 66, 5*i + 4*m = -60. Is (-181197)/(-216) + (-2)/i a prime number?
True
Let o = -566 - -983. Suppose -r - o + 6544 = 0. Is r a prime number?
False
Suppose 13 + 19 = 5*b - 2*s, 4*s - 8 = b. Suppose 0 = -b*z + 57210 - 12634. Is (-10)/10 + z/2 composite?
True
Suppose 22*c - 35*c + 14131 = 0. Let a = c + -456. Is a a composite number?
False
Let l = 28300 + 3369. Is l prime?
False
Let v(m) be the third derivative of -19*m**6/40 - m**5/12 - m**4/3 + 25*m**3/6 + 35*m**2. Is v(-7) composite?
False
Let m be (1 - 12/4)/2. Is m/(30582/6117 + -5) composite?
False
Let k = 240 + 306. Let c = 2343 - k. Suppose -2*d + 5*d - c = o, 1797 = 3*d - 4*o. Is d a prime number?
True
Let h(m) = 453*m + 14. Let g be h(-4). Let f = -153 - g. Suppose -10*s + 15*s = f. Is s composite?
True
Let m = -73 + 70. Let t be -4 + (8 - 1) + (m - -5). Suppose -3*r - 6902 = -t*a, -4*a - r = -3*r - 5522. Is a prime?
True
Let u(s) = -14*s**3 - 16*s**2 - 26*s + 135. Is u(-14) a prime number?
False
Let g = 18 + -15. Suppose -5*f = -g*f - 2430. Let a = f - 628. Is a a composite number?
False
Suppose -8*b + 1584 = -6*b. Is 6/16 + 11/(b/9261) prime?
False
Let t = 114134 - -32469. Is t composite?
False
Is 19022938/55 - 3*(-1)/(-5) composite?
True
Suppose g + 230109 = 4*a, -80*a + 78*a + 115050 = 4*g. Is a a prime number?
True
Suppose -2*s - 125 = -z + 5, 3*z - 390 = -2*s. Suppose -1521 = -13*p + z. Is p composite?
False
Let i be ((-8)/5 + (-10)/25)*-1. Suppose 0 = g - 4*g + 5*w + 67283, -44866 = -i*g - 2*w. Is g prime?
False
Suppose 0*r + 4 = -2*f - 4*r, -f + 4*r = 2. Is (-152376)/(-8)*(f/(-6))/1 a prime number?
False
Let c be 57307 - (6/(-27) + 203/63). Let i = -27515 + c. Is i a composite number?
False
Let r = 42 - 29. Suppose -9*x = -71060 - r. Is x a prime number?
False
Let l = -2383 + 3046. Let m(v) = 60*v**2 - 7*v. Let t be m(-6). Suppose t + l = 3*w. Is w a composite number?
True
Let u(w) = -10*w**3 + 5 + 9*w**3 + 5*w - 15*w**2 - 4*w**3 - 8*w**3 + 0*w**2. Is u(-12) prime?
True
Let k(o) = -6389*o**3 + o**2 - 2*o - 3. Is k(-1) composite?
False
Suppose 0 = 35*f - 37*f + 10. Suppose -a - a = 5*h - 2823, f = h. Is a a prime number?
True
Let b = -40 - -48. Suppose -5*v + 3 - b = 0. Is 211 - (v - (0 + -2))*0 prime?
True
Suppose 2*t = 4*f - 8, -5*f + 10*f - 5*t - 5 = 0. Suppose -5191 - 1808 = -f*j. Is j a composite number?
False
Let n(j) = 85956*j - 4031. Is n(4) a prime number?
False
Let g = -35 - -29. Let q be 172/g - (-6)/9 - -2. Let i = q + 181. Is i prime?
False
Let g(j) = 10*j + 34. Let k be g(-3). Suppose 0 = k*m + 2*p - 30360, -5*p + 7581 = 2*m - m. Is m prime?
True
Let z(q) = -3*q - 22. Let f be z(-10). Suppose -f*a = -18877 - 179. Suppose 8*n - 14*n = -a. Is n composite?
False
Let l(k) = 8782*k + 3083. Is l(5) prime?
True
Suppose -607*n - 136686746 = -653*n. Is n prime?
False
Let d(v) = 15*v**3 + v**2 + 8*v - 9. Let m be d(1). Is (0 - m/25) + 76832/20 prime?
False
Let n = -358 - 186. Suppose -2*b = -1806 - 628. Let o = n + b. Is o composite?
False
Let s be ((-3)/(-2))/((-69)/230). Is 8391/(6*s/(-30)) prime?
False
Is -4 - (-6)/(-18)*-193191 prime?
False
Let z = 10585 + 8820. Is z prime?
False
Suppose 8*o = 5*o + 4*m - 20, 5*o + 4*m - 20 = 0. Is 2449/124*(o + 92) a composite number?
True
Let c(o) = o**3 + 2*o**2 - 10*o - 7. Let n be c(-4). Let q(r) = 150*r**3 - r**2 - 2*r + 2. Is q(n) prime?
True
Let v(z) = 7068*z**3 - 5*z + 6. Suppose -h + 3*h = 2. Is v(h) composite?
False
Let r = -4 + 24. Suppose -y = -3*l - r, 0 = 3*y - 8*l + 3*l - 44. Suppose -3*a - 1055 = -y*a. Is a a prime number?
True
Let a(g) = 2*g**2 + 3*g + 4. Let t be a(-2). Let n be (-3)/t + (-68)/(-8). Suppose 6*l - n*l = -590. Is l prime?
False
Let f(j) = -787*j 