Suppose 0 = 2*w - 2, -2*w - 2*w = -2*y + c. Is y prime?
False
Let h(u) = -u**2 + 4. Let c be h(0). Let y(b) = -b**3 + 9*b**2 + 11*b - 6. Let p be y(10). Suppose -c*w + 313 = 5*g, g + w = p*g - 198. Is g a prime number?
False
Let w = 1373 + -580. Is w prime?
False
Let o(a) = 8*a**2 - 39*a + 17. Is o(16) composite?
True
Is ((-6)/(-5))/(-3 - (-9788)/3260) prime?
False
Let x(u) = -60*u**3 - u**2 - 3*u - 1. Is x(-2) prime?
False
Let l = 15 - -25. Let p = 71 - l. Is p prime?
True
Is 2 + 12/(-54) + 15801/27 a prime number?
True
Suppose -4*q + 24 = -q. Let m(w) = 9*w**2 - 6*w - 5 - 9*w**2 + 4*w**2. Is m(q) a prime number?
False
Let d(a) = -487*a. Suppose 0 = -p - 1 - 0. Is d(p) prime?
True
Let l be (4/12 - 2)*-3. Suppose c + 2456 = l*c. Is c a composite number?
True
Let g(h) be the second derivative of 3*h**4/4 + 5*h**3/6 - 3*h**2/2 - 3*h. Is g(8) composite?
False
Let r(o) = 10*o + 1. Is r(3) composite?
False
Let t(a) be the first derivative of -7*a**2/2 - 7*a - 1. Is t(-6) composite?
True
Let u be (6/(-9))/((-2)/54). Let f = u - -1. Suppose -y - 3*v + f = -18, 0 = -5*y + 5*v + 105. Is y a composite number?
True
Let g = -31 + 63. Suppose f + 4*f + 105 = 0. Let k = g - f. Is k composite?
False
Suppose -6*c = -3*c - 20841. Is c a composite number?
False
Let v(h) = -h**3 + 10*h**2 - 4*h + 12. Let w be v(9). Is (w/6)/(1/2) composite?
False
Let h(g) = g**2 - 8*g - 14. Let x be h(10). Let b = x - 3. Suppose p - b*z - 37 = 0, -3*p + 5*z + 37 = -2*p. Is p prime?
True
Let z be 2/(-3) + (-72)/(-27). Suppose -5*k + z*k = -201. Is k a prime number?
True
Let d(i) = 2*i**2 + 14*i + 7. Let j be d(-9). Suppose 130 = 2*v + 5*x - j, 4*x - 91 = -v. Let z = v - 46. Is z prime?
False
Let g(x) = x**2 + x - 3. Let l be g(-3). Let v = l - 3. Suppose 4*w - 68 + 16 = v. Is w prime?
True
Let a = -3 - -4. Suppose 4*d - a = 19. Suppose -h + 52 = -d*o, -2 + 4 = -2*o. Is h a prime number?
True
Let j(x) = -x**3 + 0*x**3 + 3*x - 5*x**2 + 7 + 2*x**3 - 4*x. Suppose -c + 7 = 2*t - 7, -2*t + c + 10 = 0. Is j(t) prime?
True
Let j(t) = t**3 - 5*t**2 + 4*t + 3. Let f be j(4). Suppose f*q = u - 409, 0 = -3*u + 5*q - 3*q + 1199. Is u a composite number?
False
Let k be 0 + 2 - (0 - 2). Suppose 0 = -k*l, 3*b + 2*b + 25 = 3*l. Let p(y) = -y**2 - 7*y + 1. Is p(b) composite?
False
Let s(n) = 4*n + 8. Let o be s(-8). Is (-159)/o*-2*-4 a prime number?
True
Suppose -n - 1 = -16. Suppose -5*i - p = n, 0 = -3*i + 5*p - 5 + 24. Is -2 + (-91)/(-1) + i a prime number?
False
Let w(y) = 3*y**2 - 13*y - 3. Suppose -2*l + m + 27 = 0, -l = -5*m - 24 - 12. Is w(l) composite?
True
Let u(g) = -9*g**3 - g**2 - g + 1. Is u(-2) a prime number?
True
Let z be -3 - (3 + (-8 - -2)). Let k(f) = f**3 + f**2 - f + 79. Is k(z) a prime number?
True
Let s be (-8)/44 - 1755/(-33). Let u = s + 96. Is u a composite number?
False
Suppose 0 = -0*f - 2*f + 3*j + 10189, -j - 5 = 0. Is f a composite number?
False
Suppose 0*m = 2*m - 946. Is m a prime number?
False
Let d = -203 - -510. Is d a composite number?
False
Let i = -175 + 92. Let y = -48 - i. Is y a composite number?
True
Let g be (-3)/(-2 + (-1)/(-2)). Let k be (g - -16)*(-2)/(-2). Let o = 101 - k. Is o a prime number?
True
Let r = 2540 + 167. Is r prime?
True
Suppose 0 = 5*t - q - 820, 0 = t - 4*q - 11 - 172. Is t composite?
False
Suppose -2*s + 222 = 8. Suppose 0 = -2*v + s + 75. Is v composite?
True
Let f = 227 - 118. Is f - 6/(-4)*-2 prime?
False
Is 19010/30 + 8/6 prime?
False
Let s = 315 + -166. Is s a prime number?
True
Suppose -7*v = -2*v - 16205. Is v prime?
False
Suppose 2*o = -5*v + 278, 3*o = o + 2*v + 306. Is o a prime number?
True
Let u = 4 + -2. Let b = -7 - -7. Suppose b = z + u*w - 25, 2*w = 5*z + w - 92. Is z composite?
False
Let d(i) = i - 4. Let m be d(7). Let f(j) = 3*j - 2. Let n be f(m). Suppose k = 2*k - n. Is k a composite number?
False
Let z = -8 + 691. Is z a composite number?
False
Suppose -5*w = -4*a + 8, 2*a + 0*w + 6 = 5*w. Suppose 0 = 5*y - 8 - 7. Suppose -j + a = -4*v - 44, -y*v + 228 = 3*j. Is j prime?
True
Suppose c + d - 5*d + 752 = 0, -4*c = -5*d + 2953. Let v = 387 - c. Is (-1)/(3 - 3360/v) prime?
True
Let x = 13 + -8. Let c be (x/2)/(-5)*0. Suppose 2*q - q + 3*o + 2 = c, 2*o + 75 = 5*q. Is q a composite number?
False
Suppose 4*w + 4 = 36. Suppose 220 = -w*b + 12*b. Is b composite?
True
Let l be -2 + 2*(-1097)/2. Is 2/(-8) + l/(-28) prime?
False
Suppose 202 = -p + 3*o, -450 = -4*p - o - 1206. Let y = -79 - p. Is y a composite number?
True
Suppose k = -3*b + 307 + 331, -4*k - 4*b = -2528. Is k a prime number?
False
Suppose -q = 4*p - 413, 28 + 385 = q - 4*p. Is q prime?
False
Let h(l) = -20*l - 1. Suppose -3 + 9 = -u. Is h(u) a composite number?
True
Let b(y) be the first derivative of y**3/3 + y**2/2 + 3*y - 1. Suppose -3*f - 22 = 2*a, 0 = -2*a + 4*f - f + 2. Is b(a) a composite number?
False
Let i = 5 + -4. Let y be 10 + ((-1)/i - 2). Let h(a) = a**2 + a - 3. Is h(y) prime?
True
Let m(w) = -w**3 + 12*w**2 - 8*w - 27. Is m(11) a composite number?
True
Let w be 2*6/9*3. Let m(p) = -4*p**2 - 2*p - 5. Let k(v) = -4*v**2 - 2*v - 5. Let s(x) = w*k(x) - 5*m(x). Is s(4) a composite number?
True
Suppose 0 = -8*r + 508 + 1948. Is r prime?
True
Let y(k) = -35*k**2 + 2*k + 2. Let z be y(-2). Let l = 459 + z. Is l prime?
True
Let q(j) = -2*j. Let a be q(-7). Is 746/a - 2/7 a composite number?
False
Let i = -1 - -1. Suppose -2*d + i*d = 0. Suppose -c - 36 = -4*s, -4*c - 14 = -3*s - d*s. Is s prime?
False
Suppose w = -3*w + 3*r + 4, 0 = 3*r. Let k be 210/4 - w/2. Is -1 + k + (-2)/1 a composite number?
True
Let a = -19 + 11. Let n(q) = -4*q - 10. Is n(a) a composite number?
True
Let t be ((-18)/(-2))/(1 - 2). Let v(y) = -5*y + 4. Let i(d) = d**2 + 6*d - 5. Let f(p) = 2*i(p) + 3*v(p). Is f(t) a prime number?
True
Let i be -4*4/((-32)/102). Let j = -288 - -452. Let s = j - i. Is s composite?
False
Suppose -f + 3*f = 0. Suppose -2*d - 3*p + 1258 = f, -5*p + 1 = 21. Is d prime?
False
Let q = -1016 - -1831. Is q prime?
False
Let q(a) = a**3 - 4*a**2 - 2*a - 4. Let g be q(4). Let c be 45/g - (-2)/(-8). Let r(l) = l**2 + 4*l + 3. Is r(c) prime?
True
Let k = 1 + 4. Suppose -3*n - 242 = -k*n. Is n prime?
False
Let x = 9 + -7. Let g be (-2)/(-5) - 1818/(-5). Suppose -x*j + g = 2*j. Is j a prime number?
False
Let n be (1 - 4/(-8))*-2. Is (-8)/n*(-66)/(-8) a prime number?
False
Let j(k) = -5*k - 7. Suppose -3 = 5*i + 27. Is j(i) prime?
True
Is (236/(-2))/(2 - 4) a composite number?
False
Suppose 5*d - 533 - 1302 = 0. Is d a composite number?
False
Let l = 9 + -6. Suppose -2*d - 665 = -3*f, 3*d + 294 = -l*f + 969. Is f composite?
False
Let c be 1/(-4 + (-651)/(-162)). Let p = -43 + 210. Let s = p - c. Is s a prime number?
True
Suppose 2*c = -b + 72, 5*c + 2 = 3*c. Is b/5 - (-6)/30 a composite number?
True
Let l(m) = m**3 + m**2 + m - 1. Let o be l(0). Suppose -3*r - 2*r - 4*t = 0, 0 = -4*r + 2*t - 26. Let z = o - r. Is z a prime number?
True
Let t(b) = -b**2 + 74. Is t(0) a prime number?
False
Let y = 7 + -9. Is y/(-10) - (-229)/5 a composite number?
True
Let g(q) = -q**3 + 7*q**2 + q + 10. Let k be g(7). Suppose -5*s = -3*v - 287, -k + 115 = 2*s + 3*v. Is s composite?
True
Let r(u) = 185*u + 1. Is r(2) a prime number?
False
Suppose -2*v + v - 3*q + 15 = 0, 3*v - 4*q + 7 = 0. Suppose -3*b - 1108 = -4*s + v*s, 2*b - 10 = 0. Is s a prime number?
True
Let u = 432 + -139. Is u prime?
True
Suppose -4*t + 22 = -2*t. Suppose -4*a + 9 = -t. Suppose a*h + 177 = 1192. Is h a prime number?
False
Is 4/(-18) + 1 + 25784/36 composite?
True
Let b be -105*(-1 - 0) - -4. Suppose -3*u = -5*g + 558, 4*u - 2*u = -g + b. Is g a prime number?
False
Suppose -98 = -c + 120. Let l = -91 + c. Is l prime?
True
Let i(u) = 3*u + 2. Let z be i(-2). Let c be z/(-6) + 1888/3. Let n = c - 373. Is n composite?
False
Let j(s) = -2*s - 3. Let a be j(-3). Let k = -131 + 210. Suppose a*c = 2*c + k. Is c prime?
True
Let m(c) be the third derivative of -5*c**4/24 - c**3 + 3*c**2. Let h be m(-5). Let r = 44 - h. Is r prime?
False
Suppose -t + 4 = 0, -3*s + 7*t = 3*t - 737. Is s a composite number?
False
Let j(z) = 6*z**2 + 4*z + 2*z**2 + 1 - 3 - 4 - z**3. Is j(7) a composite number?
False
Let p(n) = 2*n**2 + 2*n - 2. Let w be p(-2). Suppose -w*g + 0 + 10 = 0. Suppose 0 = 3*u - g*x - 74, 0 = 5*u + x - 