 a prime number?
True
Suppose 7*a + 1218 = 13*a. Suppose -9*g - a = -10*g. Is g composite?
True
Let u = -344 + 2715. Is u composite?
False
Suppose 15*u - 97816 = 56879. Is u a prime number?
True
Let o(k) = 54*k**2 + 246*k + 5. Is o(18) a composite number?
False
Suppose -c = 3*h, 17 = -3*c + 8*c - 2*h. Is c/1 + 61 + 1 a prime number?
False
Suppose -47 - 45 = -4*g. Let x(l) = 29*l**3 - 2 - 9*l**2 - 1 + 10*l + g*l**3 - 51*l**3. Is x(8) a prime number?
True
Let d(f) be the third derivative of f**4/6 - 4*f**3/3 - f**2. Let o be d(7). Suppose 4*t = -o, -3*p + 406 + 256 = -t. Is p prime?
False
Let l(d) be the second derivative of 353*d**5/10 + d**4/12 - d**3/6 + d**2/2 - 16*d. Is l(1) composite?
True
Suppose 22*m - 17*m = 920. Suppose -298 - m = -s + 3*n, -s + 483 = -2*n. Is s a composite number?
True
Let p = -2803 + 6852. Is p prime?
True
Is (5204 - 1) + 3/((-6)/(-8)) a prime number?
False
Suppose 24 = 6*f - 3*f. Let s(i) = 11*i**2 + 23*i**2 - 17*i**2 - 2*i + 15. Is s(f) composite?
False
Let s = 63 + -63. Suppose 14*p - 7653 - 1181 = s. Is p composite?
False
Suppose 5*n - 766 = -261. Let d be (-3*2)/(-3) + n. Let b = d - 17. Is b a composite number?
True
Let j(p) = 1103*p**2 - 5*p + 1. Is j(-11) prime?
True
Let x(a) = a**3 - 12*a**2 - 19*a - 31. Is x(22) a prime number?
True
Let j = -7856 + 11917. Is j composite?
True
Is 1/(-2)*(-5 - (5 + 3864)) a prime number?
False
Let m = 13 + -9. Suppose m*l - 1209 = 707. Is l a composite number?
False
Let h = -5 - -10. Let w = h + -7. Let n(i) = -2*i**3 - i + 1. Is n(w) a prime number?
True
Let w be ((-20)/(-6))/((-20)/(-30)). Suppose -3*r - q + 3515 = 2*r, -4*r = w*q - 2812. Is r composite?
True
Suppose -8101 = -8*q + 10867. Is q a composite number?
False
Let g(w) = 7*w**2 + 3*w - 2. Let a be g(2). Let j = a + 653. Is j a composite number?
True
Let w(b) = b**3 + b**2 - 5*b - 3. Let h be w(-2). Suppose t + 3*t = h*j - 2525, -2*j + 1684 = -3*t. Is j a prime number?
True
Let i(t) = 28*t + 13. Is i(30) composite?
False
Let t = -5099 + 15760. Is t composite?
True
Let r(j) = j**3 - 26*j**2 - 29*j + 57. Let k be r(27). Suppose -x + 3*d + 7352 = 0, 7687 + 14351 = k*x - 3*d. Is x a prime number?
False
Let i = 75 - 69. Is i/(-4) - 531/(-6) prime?
False
Let m(k) be the second derivative of k**5/20 + k**4/4 + 5*k**3/3 - 17*k**2/2 + k. Is m(5) prime?
True
Suppose 53848 = 10*j - 9482. Is j a composite number?
True
Let y(t) = -64*t**3 - 22*t**2 - 40*t + 19. Is y(-6) composite?
False
Suppose 0 = -5*p - 30 - 0. Let l(a) be the third derivative of -5*a**4/4 + 11*a**3/6 - a**2. Is l(p) prime?
True
Let z be 1560/216 + (-2)/9. Suppose 0 = -4*g - 2*a + z*a + 4869, 20 = -4*a. Is g prime?
False
Let c(w) = 2*w + 6. Let z be c(0). Suppose 3*y - 7*y + 236 = 0. Let r = y - z. Is r a prime number?
True
Suppose p - 23 = 618. Let w = -324 + p. Is w a composite number?
False
Let v(q) = -2*q - 2. Let p be v(2). Let i be -1 - (753 + p + 2). Let g = i + 1307. Is g a composite number?
False
Suppose 0 = -4*s + 2*s - 84. Let m = 80 + s. Let h = 97 - m. Is h prime?
True
Is (-2 - (-12368)/12)*(-126)/(-12) composite?
True
Let l be 8/2 + 5 + -3. Suppose 0 = -2*b - 4*c - 12, c - l = 3*c. Suppose b = -3*i + 620 - 185. Is i a composite number?
True
Suppose 0 = 3*j - 4*p + 13, 5*j + p = -0*j + 9. Is (7 + -6)*307/j a composite number?
False
Let y = -5 - 1. Is (87/y)/(2/(-52)) - 0 prime?
False
Let b = 16 - 3. Let n = b + -12. Is -2 + -1 + (110 - n) composite?
True
Let t = -3017 + 6160. Is t a composite number?
True
Let j = 2093 + -1182. Is j a composite number?
False
Let u be (30/4)/((10/4)/5). Let p(g) = g**3 - 10*g**2 - 8. Is p(u) prime?
True
Suppose 59*u + 16*u - 2404950 = 0. Is u composite?
True
Let n(q) = 3662*q - 269. Is n(6) a composite number?
True
Let v be 5/(30/387)*6. Suppose q = v + 248. Is q composite?
True
Let d = 4183 + -2360. Is d a prime number?
True
Let v(t) be the third derivative of 0 - 2*t**2 + 3/8*t**4 - 1/3*t**3 + 0*t. Is v(1) prime?
True
Let u(p) = 176*p - 51. Is u(8) composite?
True
Suppose -3*y = -9686 + 167. Let o = y - 2136. Is o a composite number?
True
Let v be (-5 + 16)/(2 - 1). Suppose 0 = -5*h - v + 31. Suppose 3*b - 15 = 0, b - 3*b - 1258 = -h*g. Is g a prime number?
True
Let l = 8 - 12. Let r = 16 - l. Suppose -r = -p - p. Is p composite?
True
Let l(v) = -2*v**2 - 2*v. Let r be l(-3). Is 3/(-4) - 3093/r a composite number?
False
Let o be -2 - (5/30 + 118/12). Is o/20 - 94040/(-25) composite?
False
Let t(n) = n**2 - 7*n - 5. Let j be t(7). Let r be (-5 - j)*(-2)/(-4). Suppose 185 = 5*y - r*y. Is y composite?
False
Let q be (-4)/22 + 12/66. Let w be (-4)/(-18) + (-33)/27. Is 58 + 6 - (w - q) composite?
True
Suppose 0 = -2*n - 1 + 99. Is n prime?
False
Let u be ((-22)/(-4))/(2/136). Let m = -116 + 333. Let v = u - m. Is v a prime number?
True
Let n(b) = b + 6. Let k be n(10). Let c = k - -547. Is c a composite number?
False
Is (52/(-8) + 5)/(6/(-76)) prime?
True
Let f(h) = 2*h**2 - h - 8. Let j be f(4). Let r = 29 + j. Is r a composite number?
True
Let n(g) = -433*g**2 + 3*g - 3. Let s be n(2). Suppose 20*p + 2496 = 21*p. Let y = s + p. Is y prime?
False
Let j(y) = 42*y**2 + 2*y - 8. Let g be j(6). Let a be (-1)/(-2 + (7 - 4)). Is (-1)/(a - (-1512)/g) a composite number?
False
Let r(p) = 33*p**2 - 5*p + 9. Is r(5) prime?
True
Suppose 7*q - 5*q - 5518 = 0. Let k = 612 + q. Is k composite?
False
Let i = -9 - -11. Suppose q = -2*z + 392, q = i*q - 5*z - 364. Suppose -5*l + 261 = 5*c - q, -2*l - 4*c + 262 = 0. Is l a prime number?
True
Let u be -2 + 129/18 - (-2)/(-12). Suppose u*k = 1122 + 473. Is k prime?
False
Let g(h) = 6*h - 12. Let f be g(3). Is 0 + 5802/(-18)*f/(-2) a prime number?
True
Suppose -11*u + 437416 - 96493 = 0. Is u composite?
True
Let r(t) = -t**3 + 5*t**2 - 3*t + 1. Let g(m) = -5*m**3 - m. Let d be g(1). Is r(d) prime?
False
Suppose 11*x + g - 2720 = 8*x, 4*g = -4. Is x a composite number?
False
Suppose 0 = -2*u - 6, 5*o + u - 47 = 5*u. Suppose -9*l = -o*l - 4658. Is l a composite number?
True
Let b(u) = u**3 + 14*u**2 + 7*u - 1. Let x be b(-14). Is (-2103)/(-11) - (-18)/x a prime number?
True
Suppose 3*t - 18 = 3*w, -5*t + 47 = -w + 5. Is 798/t + (-3)/(-9) prime?
True
Let v(a) = -40*a + 56. Let d be v(-13). Suppose 2*i = x + d, i + 7*x = 5*x + 283. Is i a prime number?
False
Let z be 5 + (-6962)/(-6)*3. Let h = z + -1973. Is h a prime number?
False
Let q be 4 + -1 + 2 + -3. Suppose -9 = -q*r - 1. Suppose 7*p = r*p + 99. Is p composite?
True
Let a be ((-60)/(-18))/(2/3). Suppose 2*u + 253 = p - 2*u, -a*p = -4*u - 1297. Suppose -4*t - n = -p, -4*t - 3*n + 256 = -7*n. Is t a composite number?
True
Suppose 11*u - 46608 - 7171 = 0. Suppose 7*s - 494 = u. Is s prime?
True
Let v(g) = -97*g + 57. Is v(-13) a composite number?
True
Let t(u) = u**3 - 2*u**2 - 2*u + 2. Let s be t(3). Let h(o) = 8 - 7 + 5 - 22*o + s. Is h(-6) a composite number?
True
Suppose -2*a + 10 = -72. Suppose 9*i - 43 = -25. Suppose i*v - 411 = -a. Is v prime?
False
Let m(y) = -10*y - 7. Let a be m(6). Is -10 + 8 + a/(-1) a prime number?
False
Suppose 4*f = -3*b + 31293, -74*b + 41693 = -70*b - 5*f. Is b prime?
True
Let j = -1645 + 3627. Is j a prime number?
False
Let s(c) = 336*c**2 - 38*c + 177. Is s(8) prime?
True
Let j(b) = 434*b**2 + 73*b + 492. Is j(-7) a composite number?
False
Let h be 5 + -3 + -2 - -6. Suppose 4*v = 165 + 183. Is (-1 + 5)/(h/v) composite?
True
Let w(n) = 14576*n + 25. Is w(3) prime?
True
Let u(p) = -27*p + 3. Suppose -n - 2*y = 6, 9*y - 27 = n + 4*y. Let b be n*-1*(-4)/12. Is u(b) a prime number?
False
Suppose 4591 = 5*i - 3*o, 3*i + 4*o = 2510 + 233. Is i composite?
True
Let x(r) = 1796*r**2 - 40*r + 1. Is x(1) a composite number?
True
Suppose 5*p + 6592 = 3*z, 2*p = -5*z + 10031 + 904. Is z prime?
False
Suppose -v + 2*k + 214 = v, 2*v + k = 223. Is v*1 - (6 - 5) composite?
False
Let z(n) = -n**2 - 2*n + 3. Let y be z(5). Suppose -232 = 4*m - 4*g, -4*g + 3*g = -5*m - 282. Is y/m - 297/(-7) composite?
False
Let f be (7671/(-6) - 3) + (-4)/8. Let b = f - -2599. Is b prime?
False
Let c = 21 + -16. Suppose d - 28 = 78. Suppose -c*h - d = -3*v, 0 = 4*v - 2*h - 79 - 67. Is v a composite number?
False
Suppose -28 = -3*l - 4*q, 0*l + 2*q - 16 = -2*l. Suppose 4*c = -3*h + 2061, -2*c + 0*c = l*h - 2758. Is h composite?
False
