se
Suppose 0 = 2*v + 3*c - 21, 3*v + c = -10 + 52. Is v prime?
False
Let s(q) = 170*q**2 - 1. Is s(-2) prime?
False
Suppose -5*h + 5*p = -40, h + 5*p - 51 = -h. Let k = -5 + h. Suppose m = k + 2. Is m composite?
True
Let z(n) = -6*n**3 + 14*n**2 + 3*n + 9. Let k(v) = -3*v**3 + 7*v**2 + 2*v + 4. Let w(h) = -7*k(h) + 3*z(h). Is w(6) composite?
True
Let m(d) = -6*d - 10. Let b(f) = f + 1. Let g(z) = -4*b(z) - m(z). Let i be g(-4). Is ((-15)/(-10))/((-1)/i) a prime number?
True
Suppose -173 = -5*p + y, -4*y + 183 = 2*p + 3*p. Is p composite?
True
Suppose d = 1 - 4. Is d - (-3 - (129 - 2)) prime?
True
Let d = 1 - -1. Suppose 5*k - 447 = d*k. Is k prime?
True
Suppose -5*j - i = -0*j - 1254, -4*i + 1251 = 5*j. Is j prime?
True
Let x(g) = -g**3 - 6*g**2 - g - 9. Let d(j) = 2*j**3 + 6*j**2 + 10. Let q(l) = 3*d(l) + 4*x(l). Is q(5) a prime number?
False
Let s = -25 + 8. Let j = s + 32. Is j a prime number?
False
Suppose -2*p - p = -381. Is p composite?
False
Let q(p) = -2*p**2 - 3*p + 1. Let j be q(-3). Let k = -4 - j. Suppose 2*f - 247 - 81 = 3*o, 3*f - k*o = 491. Is f prime?
False
Suppose 278 - 3925 = -b. Is b prime?
False
Suppose 3*g + 6 = 0, 10*x - 5*x - 91 = -2*g. Let d = 18 + x. Is d a composite number?
False
Is (-271)/(-4) + (-9)/12 composite?
False
Let m(r) = r**3 + r**2 + 303. Let j be m(0). Suppose -c = -0*c - j. Let y = 452 - c. Is y composite?
False
Suppose -2*k = k - 4*o - 177, -2*k + 2*o = -116. Is k composite?
True
Is 4/6 - (-8103)/9 a prime number?
False
Suppose 0 = 3*q - 9, 4*c = -5*q - 70 + 833. Is c a composite number?
True
Let r = 14 + -9. Let t(w) = w**2 + 2*w - 3. Let f be t(r). Let g = f - 17. Is g a composite number?
True
Suppose -3*v + 9 = -3, -4*v - 534 = 5*k. Let g = k + 244. Is g a composite number?
True
Is (-771)/(-2)*(-48)/(-72) prime?
True
Suppose -2388 - 1494 = -6*f. Is f a composite number?
False
Is -1 + 6 - 2712/(-2) prime?
True
Let s(g) be the third derivative of 1/24*g**4 - 2*g**2 + 0 + 0*g - 1/2*g**3. Is s(7) composite?
True
Let a be (-4)/22 - 276/(-66). Suppose -566 = -3*n - 4*m, -n + a*n - 590 = 2*m. Is n prime?
False
Let n be 2/7 + (-200)/(-35). Let p(j) = -2*j**3 + 15*j**2 + j - 6. Let z(b) = b**3 - 7*b**2 - b + 3. Let m(w) = 3*p(w) + 7*z(w). Is m(n) a prime number?
False
Suppose g = -3*j + 1101, 0*j = -3*j - 5*g + 1101. Is j a composite number?
False
Suppose 0 = -4*y + 5*o + 462, -3*o = -2*y - 8*o + 246. Is y composite?
True
Suppose -s + 1800 = l, 0*s + 2*s = 2. Is l a composite number?
True
Let o = -29 + 68. Is o prime?
False
Let u be (2 + 0)/(2 - 4). Let p be ((-3)/5 - u)*-5. Let a = p + 6. Is a composite?
True
Let n(a) be the second derivative of 5*a**3/3 - a**2/2 - a. Suppose 2 - 12 = -2*u. Is n(u) a composite number?
True
Suppose 4*g - 5*x - 20 = 0, -3*g + 3*x = 7 - 22. Let v(p) = 6*p. Let i be v(1). Suppose -4*q + 179 = g*u, 4 = i*q - 2*q. Is u composite?
True
Let h be ((-24)/14)/((-1)/7). Is (-3)/h + 266/8 a prime number?
False
Let m be 2*(10/4 - 0). Suppose o = -3 + m. Suppose -3*q + 5*c = -126, -5*q + 6*c - o*c = -197. Is q composite?
False
Suppose 5*s + 210 = v, -4*s - 3*v = v + 168. Is -1 - s*(-1 - -3) a composite number?
False
Let s(i) = 10*i**2 - 4*i + 8. Let w be s(5). Suppose -w = -2*g - 4*h, -2*h + 111 = g + 2*h. Is g prime?
True
Let k(n) = -5*n**2 - 5*n - 1. Let x(c) = 2*c**2 + 2*c. Let q(b) = -3*k(b) - 7*x(b). Is q(0) a prime number?
True
Suppose g - 5*n - 224 = 50, -3*n = 3*g - 750. Suppose -r + g = r. Is r a composite number?
False
Let c = -8 - -3. Let p(y) = -y**3 - 4*y**2 - 2*y - 1. Is p(c) a prime number?
False
Let k = 632 + -421. Is k prime?
True
Suppose -527 = 5*a + 8. Let p = 185 + a. Suppose -4*o + o = -p. Is o prime?
False
Let b = 160 + 114. Is b composite?
True
Let q be ((-4)/6)/(1/(-3)). Let w = 19 + -15. Suppose -2*g = -g + q*x - 51, w*g = -x + 225. Is g a prime number?
False
Let t be 2 - 3 - 1 - -3. Let u(h) = 59*h**3 - 2*h**2 + 1. Is u(t) prime?
False
Suppose 3*g - 585 = -204. Is g composite?
False
Suppose 1199 = i + 144. Is i a prime number?
False
Suppose -w = -3*y + 2*w + 21, 0 = -2*y - 3*w + 29. Is (y/1 - -1)*7 prime?
False
Let d = -7705 + 12566. Is d a prime number?
True
Let u(v) = -v. Let q be u(-2). Let f(a) = -3 + 5*a**2 + q*a + 0 + 4. Is f(2) prime?
False
Suppose 20 = 5*k + 5. Let u(s) = 21*s**2 + 2*s - 1. Is u(k) a composite number?
True
Let z(v) = -27*v**3 - v**2 + 2*v + 3. Is z(-2) prime?
True
Suppose -5*u - t = -0*t + 13, 5*u + 5*t + 25 = 0. Let l be -1 + 3/3 - u. Is 10 - l - (-1 - -2) composite?
False
Let m(w) = -8*w**3 - 2*w**2 - 5*w - 4. Is m(-3) composite?
True
Let h(f) = 11*f**2 + 10*f + 6. Is h(5) composite?
False
Suppose -3*g - 1 = -2*g. Is (g/(-1))/((-2)/(-226)) a prime number?
True
Let x(h) = -48*h + 7. Suppose -4*w - 25 = w. Let l be x(w). Let r = l - 158. Is r composite?
False
Let a = -1680 + 3859. Is a a prime number?
True
Suppose -4445 = 4*h - 9*h. Is h a composite number?
True
Let j(q) = 2*q**2 + 2*q + 1. Let z be j(-4). Suppose -g = -188 + z. Is g prime?
True
Let w(s) = s + 67. Is w(0) a composite number?
False
Let j be 4 - (-150 - 2)/1. Let r(y) = -y + 7. Let w be r(3). Suppose -2*o + 156 = 2*o + 4*i, -5*i - j = -w*o. Is o composite?
True
Suppose -4*w + 21611 = -3*c, 0*c = w - 4*c - 5419. Is w composite?
False
Suppose -n = n + 10. Let x = 8 + n. Suppose j = -x*j + 260. Is j prime?
False
Suppose -3*c - 12 = -7*c. Let s(j) = -6*j + 4*j**2 + 7 - c*j**2 + j**3 + 2*j - 2*j. Is s(5) a composite number?
False
Suppose 0*g - 3*g = -27. Is 0*3/g - -11 a prime number?
True
Suppose 4*d - 840 = -2*h, 3*h + d = 7*h - 1689. Is h prime?
False
Is 4143/(-1 + -2)*-1 a composite number?
False
Let h(a) = -a**2 + 11*a - 6. Let z be h(9). Let c = 23 + z. Let o = c - -80. Is o a prime number?
False
Suppose -5*n = -593 - 202. Suppose -n = 2*t - 541. Is t composite?
False
Let m(g) = -28*g - 1. Let q(f) = -f**2 + 3*f + 5. Let p be q(4). Let d(j) = -3*j**3 + 2*j - 1. Let l be d(p). Is m(l) a prime number?
False
Let n(i) = -i - 1. Let g be n(-3). Suppose -3*f + g = -f. Is (3 + -4)/(f/(-47)) a prime number?
True
Suppose 0 = q + 4*q - 100. Suppose -422 = -2*u - q. Is u composite?
True
Let a = 207 + 202. Is a prime?
True
Suppose -4 = -3*j + 5. Suppose k + 422 = 5*k + 5*p, j*p = k - 97. Suppose -k = -h - 14. Is h a prime number?
True
Let m(p) = -8*p - 7. Let j(t) = -t**3 + 7*t**2 - 7*t + 1. Let y be (-132)/(-21) + 2/(-7). Let u be j(y). Is m(u) composite?
True
Let g = 40 - 21. Is g a prime number?
True
Let n(l) be the third derivative of -2*l**2 - 5/8*l**4 - 7/6*l**3 - 1/120*l**6 + 0*l + 0 - 1/6*l**5. Is n(-10) a composite number?
True
Suppose -4*w + 4026 = 38. Is w prime?
True
Suppose -2*g + u + 149 = 4*u, -114 = -2*g + 4*u. Is g composite?
False
Let q = -2 - 1. Let m be (q + 2)/((-2)/6). Suppose -5*z - 2*g + 1057 = 0, 4*g + 1051 = 8*z - m*z. Is z a prime number?
True
Let o = 164 - 61. Is o a composite number?
False
Let t(s) = s**2 - 12*s - 3. Let g be t(12). Let d = g + 40. Is d composite?
False
Let o(z) = -z**2 - 9*z - 10. Let u be o(-7). Is 2010/u*(-6)/(-9) prime?
False
Let w(c) = -c - 4. Let k be w(0). Is 10/k*-74 - 0 composite?
True
Let w(l) = -2*l**3 + 2*l**2 - 4*l. Let q be w(-4). Is q/12*(-6)/(-4) a composite number?
True
Suppose l - 11 = -4*h, 5*h - 2*h = -3*l + 15. Suppose 0 = -w + h*w - 23. Is w prime?
True
Let b(r) = -r**3 - 5*r**2 + 5*r + 4. Is b(-7) prime?
True
Suppose 5*q - 9*q + 6964 = 0. Is q prime?
True
Let t be (-3)/(-5) - (-51)/15. Suppose -245 = -j - t*j. Is j prime?
False
Let y(i) be the first derivative of i**3 + 5*i**2/2 + 5*i - 3. Is y(-8) composite?
False
Suppose 6 = 4*r - 366. Let k be (r - 2)*2/2. Suppose -3*z + 2 + k = 0. Is z composite?
False
Let t(d) = 7*d + 2. Let m = -4 - -7. Suppose -s + m = 3*c - 2, 4*c + 5 = s. Is t(s) prime?
True
Suppose 0 = z + m - 5, z - 3 = -5*m + 14. Is z*((-37)/2)/(-1) composite?
False
Suppose 0 = 5*a - 82 - 153. Is a a prime number?
True
Suppose -5*h + 4*t = -44, 3*h - 2*t - 15 = 11. Suppose h = -r - 2. Is 5/25 - 1428/r a composite number?
True
Let c = 13 - 1. Is 3*74/c*14 a prime number?
False
Suppose -j + 2*j = 2. Let b be j - 295*1*-2. Suppose 0*o = -2*y - o + 241, 5*y - o - b = 0. Is y a prime number?
False
Let l(w) = -3*w**3 + w**2 + 11. Let r(j) = 4*j**3 - j - 12. Let t(m) = -5*l(m) - 4*r(m). Let x be t(-6). Suppo