t m be ((-2)/6)/(4/(-492)). Suppose 3*r - 6*r - p = -70, -2*r + 5*p + m = 0. Is r a prime number?
True
Let x(u) = -u**2 - 2*u + 751. Is x(0) prime?
True
Suppose 0 = -2*o - 5 - 1. Is (o - -60)*2/6 prime?
True
Let q(l) = -2*l - 2. Let o be q(-2). Suppose -o*x - 4 = 3*v, -3*x = -0*x + v - 8. Suppose x*u - 1028 = -0*u. Is u a prime number?
True
Suppose 3*o = -18 - 63. Let j = o + 43. Let q = j - -3. Is q a composite number?
False
Let o(s) = -4*s + 8*s + 0*s - 4 + 5. Is o(8) a prime number?
False
Let x(g) = 7*g**3 - g**2 - g + 1. Let n be x(1). Let r(v) = 4*v**2 + 3*v + 3. Let f be r(n). Suppose 5*y - f + 60 = 0. Is y a prime number?
False
Let h be (1 - -4) + 0 + 0. Suppose -h*i - 320 = -1045. Is i a composite number?
True
Suppose -4*u - 10 = u. Is (u/(-3))/(2/771) a composite number?
False
Let x = -418 + 735. Is x a prime number?
True
Suppose -4*y + 7*y = -1011. Let z = -216 - y. Is z prime?
False
Suppose 178 = 8*d - 6*d. Is d prime?
True
Suppose -2*o = -3*o - 2*y + 65, 2*o + 3*y = 127. Is o a prime number?
True
Let w = 1 - 3. Is (6 - -1)/(w/(-4)) prime?
False
Let t(h) = -41*h**3 - 2. Let g be t(-2). Suppose -5*o = -3*u - g, 4*o - 3*u = -u + 262. Is o a prime number?
True
Let m = -8 + 6. Let p be 5 - (-6)/m - -73. Let s = p - -68. Is s a composite number?
True
Let x(m) = -m**2 - 5*m + 1. Let i be x(-4). Let a = 7 - 341. Is 3/i + a/(-10) a prime number?
False
Let n(j) = 21*j - 4. Let f be n(-3). Let b = 38 + f. Let v = 6 - b. Is v composite?
True
Suppose 0 = 3*r - 10 - 20. Let k(u) = 5*u**3 - 14*u**2 - 2*u + 7. Let x(q) = q**3 - q**2 - 1. Let m(o) = -k(o) + 4*x(o). Is m(r) prime?
False
Let z(x) = 0*x**3 - 8*x - x**3 - x - x + 5 + 11*x**2. Is z(7) a prime number?
True
Let x(j) = j**2 - 3*j + 3. Let f be x(2). Let g be f*(0 - (-15 + 0)). Suppose -5*o + 15 = -g. Is o composite?
True
Suppose 2*i = -3*h + 1059, -2*h + 611 = 5*i - 84. Is h a prime number?
False
Let b(h) = -h. Let a be b(-6). Is (-1216)/(-6) - (-2)/a composite?
True
Suppose 356 = n - 179. Is n a prime number?
False
Let r(o) = o - 8. Let h be r(7). Let a(m) = -76*m + 1. Is a(h) a prime number?
False
Let n(q) = 12*q**2 - 3*q + 35. Is n(8) prime?
False
Suppose 0 = l - 5, -3*g - l + 3*l + 167 = 0. Is g a composite number?
False
Let n = 2269 + -1230. Is n a prime number?
True
Suppose -5 = -4*q + 3*c, 8*q + 2*c = 4*q + 10. Is q prime?
True
Let z = -5 + 1. Let x(a) = a + 3. Let u be x(z). Is -2*((-237)/(-6))/u composite?
False
Let m(a) = 1 - a - 4 + 3. Let f be m(0). Suppose -5*y + 10 = f, -y - 126 = -2*t + 3*y. Is t a prime number?
True
Suppose 2*n - 8 = 3*n. Let f(u) = -6*u + 7. Is f(n) composite?
True
Let n(m) = m**3 + 2*m**2 - 3*m - 2. Let k be n(-3). Let b(r) = 36*r**2 + 3*r + 3. Is b(k) a composite number?
True
Suppose -2*a = -4*q - 484, 151 + 75 = a + 2*q. Suppose -2*g = -4*h - 498, -5*h = -2*g + g + a. Is g composite?
True
Let l(k) = 16*k**3 - 5*k**2 - 11*k + 19. Is l(6) prime?
True
Let m = 380 + -43. Is m prime?
True
Suppose 0*v + 4 = v. Let p be -5*(34/2 + -2). Is (-1)/(-4) - p/v composite?
False
Let u = 3 - 3. Let c = 3 - u. Suppose c*z + 1 - 19 = 0. Is z a prime number?
False
Let j be (-4)/(-6) + 21/9. Suppose j*f - 25 - 8 = 0. Is f composite?
False
Let t(h) = -9*h - 13. Let z(w) = 10*w + 14. Let i = -7 + 13. Let r(g) = i*z(g) + 7*t(g). Is r(-7) composite?
True
Suppose -b = 2*o - 339, 5*b = -3*o - 2*o + 1675. Is b prime?
True
Suppose 0 = -2*o - 0*o + 3314. Is o a composite number?
False
Let q = -727 + 1228. Is q a composite number?
True
Suppose -k - 5*j = 2, -5*k - 4*j + 8 = -3. Suppose -5*i + 4*l + 14 = -19, 3*i - l = 24. Suppose -k*v + i = -3. Is v prime?
False
Is 72 + 9/(-3) + 2 a composite number?
False
Suppose y = -2*z + 1348, -5*z - 3*y - 450 = -3820. Is z composite?
True
Let z = -12 - -17. Let m(f) = -2*f + 4. Let b be m(-5). Suppose z*h - 119 + b = 0. Is h composite?
True
Suppose 29*t + 12344 = 37*t. Is t a prime number?
True
Let q(f) = 35*f - 3. Let o be q(9). Suppose -d = -2*d - o. Is (-20)/(-6)*d/(-16) a composite number?
True
Let r = -277 + 552. Let x = -118 + r. Is x prime?
True
Let m(f) = -467*f**3 + f**2 + f. Is m(-1) a prime number?
True
Suppose 4*a + 6 = -2*g - 2, -g + 4*a + 14 = 0. Suppose g*f = 4*f - 298. Is f composite?
False
Let c = -11 - -7. Let q(a) = 2*a**2 - a + 1. Is q(c) a composite number?
False
Let h = -1763 + 3690. Is h a prime number?
False
Let i = 1 - 2. Let t be i - 1/((-1)/(-21)). Is (-4)/t + (-141)/(-11) prime?
True
Suppose -3*u = -7546 - 2753. Is u a prime number?
True
Is (-790)/(-15)*63/6 composite?
True
Is 3 - 7*640/(-5) composite?
True
Suppose 0 = -3*m + 6. Suppose -2*q + q = m*c - 5, 2*c + 4 = -4*q. Let a = 18 + q. Is a a prime number?
False
Suppose s + 5*s = 726. Is s composite?
True
Let r(z) = 16*z**3 + 8*z**2 - 4*z - 1. Is r(5) a composite number?
False
Let p(w) = w**2 + 12*w + 13. Let l be p(-11). Is 16 - l/((-3)/(-3)) prime?
False
Let w be (-74)/14 + (-8)/(-28). Let h(n) = n - 1. Let y(x) = 2*x + 8. Let q(t) = -10*h(t) - y(t). Is q(w) a composite number?
True
Suppose 0 = -0*r - 2*r + 4. Suppose -m = -4*d + 21, -4*d - r*m = -0 - 6. Suppose 0 = 2*s - d*t - 26 - 0, -9 = -3*s - 4*t. Is s a composite number?
False
Let w(o) = -o - 7. Let n be w(-7). Suppose n = -0*r - 5*r - 10. Is 3/(-6) + (-27)/r prime?
True
Let n = 243 - 135. Let z = -50 + n. Is z a prime number?
False
Suppose 13*a - 3124 = 9*a. Is a prime?
False
Let d(u) = -u**2 - u + 1. Let o(g) = -13*g**2 + 4*g + 3. Let m(f) = 2*d(f) - o(f). Let z(w) be the first derivative of m(w). Is z(4) composite?
True
Suppose 3*f = f + 2136. Suppose 5*u - f = 1157. Suppose 5*r - 5*a = u, -5*r = -r + 2*a - 368. Is r composite?
True
Suppose -1 - 1 = -w + 5*o, 4*w + o - 71 = 0. Let n = 224 - 81. Suppose -f + 22 = -4*a - w, n = 3*f + a. Is f composite?
False
Is (-222)/18*1*-3 a prime number?
True
Let t(k) = -2*k**2 + 8. Let n(q) = q**2 + q - 1. Let r(l) = 3*n(l) + t(l). Is r(-6) composite?
False
Let v(d) = d**3 - 9*d**2 - 15*d + 20. Is v(11) prime?
True
Let o(t) = 11*t**2 + 4*t + 4. Let q = 0 - 5. Is o(q) composite?
True
Suppose 1260 = 3*k + z, -3*k - 4*z + 455 = -814. Is k prime?
True
Let g(h) = h**3 - 9*h**2 - 10*h - 3. Let o be g(10). Is o/(-1)*(-8)/(-8) a composite number?
False
Suppose 3*h = -y + 15, 3*h - 24 = -0*y - 4*y. Suppose -z + 2 = 6, -h*s + 4*z = -828. Is s composite?
True
Let a(n) = -4*n - 2. Suppose 3*o + 0*o = 5*g + 9, -2*o = g + 7. Let f be -1*12*(-1)/o. Is a(f) a composite number?
True
Let z(x) = -x**2 - 6*x + 4. Let m be z(-8). Let f be (1/1)/(6/m). Is f/(-4)*(62 - 0) a composite number?
False
Let m = -20 - -238. Suppose -2*g + m = -0*g. Is g a prime number?
True
Let g(u) = u**3 - u**2 - u + 58. Is g(0) composite?
True
Let z(y) = -12*y - 11. Let j = -17 + 7. Is z(j) a composite number?
False
Let o be (6/(-9) - 0)*-165. Suppose 5*h - v + 130 + o = 0, 0 = 2*v. Is 4*4/(h/(-399)) composite?
True
Let t(u) = u**3 - 11*u**2 + 2*u + 12. Suppose 0 = -m + 6 + 3. Let y be t(m). Is (y/15 + 2)*-5 prime?
False
Let j(i) be the third derivative of -i**6/120 - i**5/10 - 7*i**4/24 - 7*i**3/6 + 7*i**2. Let h = -9 - -4. Is j(h) composite?
False
Let v(r) = 7*r**2 - 6*r + 5. Is v(-6) a prime number?
True
Let k(c) be the third derivative of 7*c**5/60 - c**4/8 - c**3/6 + 3*c**2. Is k(-2) prime?
False
Suppose -c - 416 = -6*c - 2*q, -3*q - 237 = -3*c. Let y = -43 + c. Is y prime?
False
Let k = -73 - -107. Is k a prime number?
False
Let h be (-2 - 4)*1/(-2). Is 2 + 156/h + 1 a prime number?
False
Let o(y) = -4*y**3 - y**2 + 4*y + 20. Is o(-9) a prime number?
True
Suppose 2*w - 178 = w. Suppose -2*m + 2*j = -0*m - w, -j = 3*m - 275. Is m a composite number?
True
Let u = 43 - -26. Let s = -36 + u. Is s prime?
False
Let w be 2 - 1 - (9 + 2). Is (-15)/6*(w - 0) prime?
False
Suppose 0 = 5*l - 2*a - 2286 - 3769, 3*a = -2*l + 2441. Is l composite?
False
Let t = 14 + -4. Suppose 22 = -t*m + 11*m. Suppose 0 = -5*z + 3*o + 158, -5*o + m = z - 4. Is z a composite number?
False
Let f be (-2 + 5)/(3/(-4)). Let d(t) = 7*t**2 + 6*t + 3. Is d(f) a prime number?
False
Let k(s) = 50*s + 35. Is k(9) a prime number?
False
Let r(a) = 2*a**2 - 6*a + 17. Is r(-17) composite?
True
Let t be -5 - -2 - -3*1. Suppose t = -3*f + 1119 - 198. Is f a composite number?
False
Let l(g) = 0*g**2 - g**2 + 5*g + 5 + 3*g + 3*g. Let t be l(6). Let