- 2*g + 154, 7*g + 728 = 5*k + q*g. Let f = k + -69. Is f a prime number?
True
Suppose -3*s = -5*i - 7*s + 202, 2*i + 3*s = 85. Let m be 9*(3 - i/6). Is (-24)/m*170/4 composite?
True
Let u be 4/3 - (-113)/3. Suppose 0 = -4*r + 7*r - u. Is r a composite number?
False
Let k = 5 + -3. Let g(n) = -5 - k*n + 11*n - 2*n. Is g(6) composite?
False
Suppose -2*f = -2*w + 368, 4*w + 172 = 5*w - 5*f. Is w composite?
True
Let a be (-2)/5 + (-2472)/(-30). Is (a/3)/((-22)/(-165)) a prime number?
False
Let i(k) = 72*k - 4. Let d be i(-3). Suppose 7 + 8 = -g. Is 2/6 + d/g composite?
True
Let o = -157 + 280. Suppose -u - 62 - 18 = 0. Let w = o + u. Is w a prime number?
True
Let f(v) = 2*v**2 - 18*v + 11. Is f(15) a composite number?
False
Suppose -5*o - 135 = -10*o - b, -3*b - 63 = -3*o. Suppose -3*v + 6 = 0, 4*a - 2*a - 2*v = -o. Let f = -8 - a. Is f a prime number?
True
Suppose -3*b = 2*z - 1067 - 291, 12 = 3*z. Suppose l - b = -2*l. Is ((-2)/(-4))/(5/l) prime?
False
Suppose d - 1 - 4 = 0, 5*x = -d + 24600. Is x a composite number?
False
Suppose 7 = -3*d + 19. Suppose r + 102 = d*r. Is r a composite number?
True
Suppose 4*f + 0*f - 4*b - 12 = 0, 3*f - 4 = -2*b. Let z(g) = g + 3. Let j be z(-3). Suppose j = f*m - 10 - 4. Is m prime?
True
Suppose 4*h + 5*q - 13581 = 0, 0*h = 2*h - 4*q - 6758. Is h a composite number?
False
Let o(v) = -v**2 - 14*v - 2. Let p be o(-9). Suppose 2*i + g = 3*i - p, -4*i + 144 = 3*g. Is i prime?
False
Suppose 4*t - 2*t - 6 = 0. Let a(h) = 41*h - 2. Let b be a(t). Suppose -z - 4*o = -0*z - b, 3*z = -3*o + 345. Is z composite?
False
Let q(x) = 37*x. Let p be q(2). Suppose -2*t + p = -0*t. Is t a prime number?
True
Suppose l = -4*l. Suppose -5*f - 35 + 0 = l. Let g = f + 86. Is g a composite number?
False
Suppose -16*g - 8001 = -25*g. Is g composite?
True
Let o(v) = -v**2 + 6*v - 5. Suppose 5*b - 4*s = 17, -2*b - s = 3*b - 27. Let t be o(b). Suppose t = 2*c - 14 + 6. Is c a composite number?
True
Suppose 0 = 3*j - 2*s - 5 - 774, -s = j - 253. Is j prime?
True
Suppose -10*b - 785 = -15*b. Is b a composite number?
False
Suppose -3*p + 2357 - 290 = 0. Is p composite?
True
Let h = -4 - -7. Suppose 156 = 2*l + l. Suppose 7*d = h*d + l. Is d composite?
False
Suppose 0*p = -p + i - 3, p + 5*i + 9 = 0. Let u = 9 + p. Let j(x) = 2*x**2 + 2*x - 2. Is j(u) a composite number?
True
Let h(c) be the first derivative of c**3/3 - c**2 + 2*c + 1. Is h(-4) a composite number?
True
Let g(h) = 6*h + 30*h**3 - 5 + 2*h + 28*h**3. Let r(c) = 19*c**3 + 3*c - 2. Let q(u) = -3*g(u) + 8*r(u). Is q(-1) composite?
True
Let c(u) = 17*u + 84. Is c(19) prime?
False
Is (-6)/2*2973/(-9) composite?
False
Let l be 1 - 1 - (-5 + 12). Let r(u) = -1 + 0*u**2 + 3*u**2 + 7*u + 0*u**2. Is r(l) prime?
True
Let l(u) = -8*u**2 + 11*u - 12. Let c(r) = 12*r**2 - 17*r + 18. Let d(w) = -5*c(w) - 8*l(w). Is d(-5) prime?
False
Suppose -2 = 2*x, f - 5 + 0 = x. Suppose 0 = 2*j - 7 + 3. Suppose 46 - f = j*t. Is t composite?
True
Suppose -4*t + 2 = -2. Is 21 + (-1 + 0 - t) prime?
True
Let z(d) = -466*d - 39. Is z(-6) prime?
False
Let i = -8 - -15. Let j = i - 8. Is ((-2 - j) + 0)*-127 composite?
False
Let h(s) = s**3 - 6*s**2 + 3*s + 3. Suppose -3*t + 4*t + 5 = 0. Let y be 15*(3/t - -1). Is h(y) a composite number?
True
Suppose -2*v + 7*v - 15 = 0. Is -1 + (v - (-20 + 0)) a composite number?
True
Suppose 2*n = 181 + 155. Suppose 3*k + 24 = n. Suppose 3*u = k + 9. Is u a composite number?
False
Suppose -237 = -5*x - 22. Is -2 + 2 - x*-1 a composite number?
False
Let t(a) = 4*a**2 - 9*a - 10. Let u be t(7). Let x(y) = 10*y + 2. Let i be x(7). Let o = u - i. Is o composite?
True
Let k = -5 - -9. Suppose 4*n + k = 0, -f - 9 = -4*n + 2. Let g = -2 - f. Is g composite?
False
Let p be (-2 - -3)*0/(-3). Let v(d) be the first derivative of d**3/3 + 67*d - 2. Is v(p) a composite number?
False
Let o = -9 - -8. Let b = 8 + o. Let t(i) = i**3 - 6*i**2 + 2*i - 10. Is t(b) a prime number?
True
Let l(g) = 184*g**2 + 7*g + 31. Is l(8) a composite number?
False
Let p(i) be the second derivative of 2*i**3/3 - 2*i**2 + i. Let a be p(-6). Let u = a - -113. Is u a prime number?
False
Let a be ((-188)/(-4))/((-3)/21). Let z = 460 + a. Is z a prime number?
True
Suppose 0 = s - t - 92 - 31, -583 = -5*s - 3*t. Is s a prime number?
False
Let s = -177 + 586. Is s a prime number?
True
Let o(t) = t + 9. Let r be o(-6). Let d(w) = 16*w + 5. Let v(i) = -4*i - 1. Let k(f) = -2*d(f) - 9*v(f). Is k(r) a prime number?
True
Suppose i - 4*i - 78 = 0. Let s = 11 - i. Is s a prime number?
True
Let h = 2077 + -818. Is h prime?
True
Suppose 0*h = -w - 3*h + 77, -w + 73 = 2*h. Is w a prime number?
False
Is (4835/(-10))/(3/(-6)) a composite number?
False
Let z(x) be the third derivative of 49*x**5/60 + x**4/24 - x**3/6 - x**2. Let c be (-7)/28 - (-10)/8. Is z(c) composite?
True
Suppose 0 = -m + 3*m - 4. Let p(v) = 8*v**3 - 2*v**2 - 4*v - 4. Let x(t) = -7*t**3 + 2*t**2 + 3*t + 3. Let a(y) = -4*p(y) - 5*x(y). Is a(m) a composite number?
False
Let t(f) = -13*f - 3. Let i be t(-8). Let p = i + -22. Is p a prime number?
True
Let x(z) = 57*z**2 - 9*z + 11. Is x(9) a composite number?
False
Let k be ((-3)/(-6))/((-2)/(-532)). Let o = -43 - 33. Let q = k + o. Is q a prime number?
False
Suppose -d + 817 = -1794. Is d composite?
True
Let a = 133 - -58. Is a composite?
False
Suppose -2*z + 2932 + 382 = 0. Is z a prime number?
True
Let j(r) = r**3 + 7*r**2 + 5*r - 6. Let f be j(-6). Suppose 0 = -3*h - 5*d + 575, 0*h - h + 2*d + 177 = f. Is h a composite number?
True
Let s(x) be the first derivative of 2*x**3 + 5*x**2/2 + 3*x + 4. Is s(-4) prime?
True
Let l = -147 - -1258. Suppose 4*x = -5*m + 1131, -x - l = 4*m - 9*m. Is m composite?
False
Let a be 16/10 + (-6)/(-15). Suppose a*j - g - 95 = 0, -4*j - 2*g = -3*g - 193. Is j a prime number?
False
Let z(n) = -7*n + 1. Suppose 0 = 3*a - 2*k + 16, 2*a + 2*k + 32 = -2*k. Let f be a/1 + -1 + 1. Is z(f) a prime number?
False
Let n = -1 + 16. Is 6/n + 273/5 a prime number?
False
Let a = 347 + -229. Is a a prime number?
False
Let f be 3/(-1 + 2 - 0). Suppose 5*b - f*b = 5*p - 1647, -3*p + 1001 = 2*b. Is p a composite number?
False
Let b(n) = 2*n**2 - 7*n - 4. Let y be b(4). Is (y + 1)/((-2)/(-5222)) a composite number?
True
Let s(d) = 3*d**2 - 2*d - 1. Let m be s(-1). Suppose u - 4*r - 26 - 35 = 0, -m*u = r - 261. Is u composite?
True
Suppose 10*m = -3*z + 5*m + 16, z + 8 = 5*m. Let r(u) = 30*u**3 - u**2 - 2*u - 1. Let i be r(z). Suppose 0 = c - 4*c + i. Is c a composite number?
True
Let x = 16 - 11. Suppose y + 1 = 0, x*o = 2*y - 180 + 607. Is o a prime number?
False
Is (-13059)/(-81) + (-2)/9 a composite number?
True
Let w be 18/12*16/6. Suppose -5*y + 91 = 4*h - 272, w*y = -4*h + 368. Is h a composite number?
False
Suppose -5*b + 2*d + 141 + 188 = 0, d = -4*b + 271. Is b composite?
False
Let c(t) = -2*t**3 - 5*t**2 + 5*t - 9. Is c(-5) a composite number?
True
Let c be 3 + 4 + -3 + -1. Suppose -3*r + 2*r + 4 = t, 9 = 4*r - c*t. Suppose -769 = -r*s - 166. Is s a composite number?
True
Let p(r) = -2*r - 4. Let s be p(-3). Suppose -68 = -s*m + 6. Is m a composite number?
False
Suppose 5*i + 64 = 354. Suppose 3*j = 3*s - 12, 2*j = s - 1 - 3. Suppose 2*r + 20 - i = j. Is r composite?
False
Suppose -5*d + 0*b - 341 = 2*b, 0 = -d - 3*b - 76. Let a = -31 - d. Suppose -6 + 21 = -5*r, f + r - a = 0. Is f composite?
True
Suppose 18*k = 23*k - 275. Is k a prime number?
False
Suppose 2*d = -x + 1258, 3*x = -2*d + 6*x + 1274. Suppose -2*b - 4*r = 3*b - 619, 5*b = -r + d. Is b a prime number?
True
Let y(j) = 4*j - 5. Let o(n) = -3*n - 4. Let c(i) = 8*i + 11. Let b(d) = 4*c(d) + 11*o(d). Let m(t) = 4*b(t) - y(t). Is m(-4) a composite number?
False
Let t be (-11*(2 + -3))/(-1). Let s = t + 5. Is 152/5 - s/10 a composite number?
False
Let c(k) = 3*k + 16. Is c(14) composite?
True
Let a(k) = k + 7. Let n be a(-6). Let g be (220/25)/(n/(-10)). Let s = -39 - g. Is s a prime number?
False
Let d = 2 + -2. Suppose -118 = -d*b - 2*b. Let r = b + -36. Is r a prime number?
True
Is (2 + 1328/(-10))*(-25)/10 a composite number?
True
Let d be 1*(0/(-3))/(-2). Suppose d = -j - 0*j + 58. Let w = -39 + j. Is w composite?
False
Suppose -54 = 3*w + 1494. Let m = -333 - w. Is m a composite number?
True
Suppose 2 = -g + 2*g. Suppose f