 composite?
False
Let t(f) = -f**3 + f**2 + 2*f. Let c be t(-2). Let j = c - 5. Suppose 5*q - 6 = j*q. Is q a composite number?
False
Let k be (-2)/(-4) + 18/(-4). Is (2/5)/(k/(-1060)) composite?
True
Suppose -956 - 909 = -5*n. Is n a prime number?
True
Suppose 1 = 2*q - 1. Let m(a) = a - 3*a + q + 9*a**2 + 9*a**2. Is m(-2) a composite number?
True
Let l(b) = -4*b - 3. Suppose -2*j + 4 = -4*j. Let a be l(j). Suppose 0 = a*i + 22 - 132. Is i a composite number?
True
Suppose 3*n - d - 588 = 2*d, 184 = n + 5*d. Is n prime?
False
Let z = 1967 - -822. Is z a prime number?
True
Let z(c) = -c**3 - 3*c**2 + 3*c - 7. Suppose -r - 2*j = 2*j + 6, 0 = 5*j. Is z(r) prime?
True
Let j(p) = 18*p**2 + p. Let r be j(-3). Let h = 82 - r. Is 2/4 + h/(-2) composite?
True
Suppose -203*d = -209*d + 1290. Is d a composite number?
True
Let f(b) = -129*b + 2. Is f(-1) prime?
True
Let d(s) = s**3 + 3*s**2 - 8*s - 4. Let b be d(-5). Let l = 73 - b. Is l a prime number?
False
Let z(r) = 3*r**3 - 2*r**2 + r - 5. Is z(2) a prime number?
True
Suppose w + 4*w - 10 = 0. Suppose -65 = -h - 2*t, h = 4*h + w*t - 175. Is h a composite number?
True
Let z be -3*(1*-2 - -1). Suppose -4*b - b + r = -701, z*b = -4*r + 439. Is b a prime number?
False
Let u(c) be the second derivative of -7*c**3/3 + 2*c**2 + 2*c. Let i be u(-4). Let v = i - 11. Is v a composite number?
True
Let t = 1384 - -1735. Is t prime?
True
Let q(z) = -z - 3. Is q(-6) a prime number?
True
Suppose 1 = -5*c + 21. Suppose v + 5*s = s + 1465, c*v - 5*s - 5923 = 0. Is v composite?
True
Let t = -4 + 9. Suppose 25 - 150 = -t*d + 2*l, -3*d + 49 = 4*l. Is d prime?
True
Let s = -7 + 8. Is (6895/(-7))/(0 - s) composite?
True
Suppose -2*r + 2*l = -11316, 3*r - 3*l + 17004 = 6*r. Is r a prime number?
False
Let w(y) = y**3 + 13*y**2 - 15*y - 6. Let x be w(-14). Let m be 467 - (3 - 1/1). Is m/10*x/6 a prime number?
False
Let z be ((-2)/4 - 0)*-4. Suppose 152 = -f - d + 362, -z*d = -5*f + 1057. Is f composite?
False
Suppose 0*n + 40 = -2*n. Is n/(-4)*98 - 3 prime?
True
Let q(m) = -m**2 + 11*m + 1. Is q(10) a composite number?
False
Let j be (-7)/(-3)*54/(-2). Is (j/(-18))/((-1)/(-4)) a prime number?
False
Let q be -11*(-4)/8*2. Let z = q + 12. Is z composite?
False
Suppose 0 = -4*l - l + 80. Suppose 24 = 2*p + 2*s, p = 5*p - 4*s - l. Let t(c) = -c**2 + 12*c - 11. Is t(p) composite?
True
Is -56*21/(-6) + 3 prime?
True
Let x = 3 + -3. Is 4/(-2 - x) + 16 prime?
False
Let c be -178 + (-1 - -2) - 2. Let a = c - -387. Suppose -a = 4*x - 1100. Is x prime?
True
Let y(h) = 3*h**2 - 2*h + 3. Let a be y(-8). Let x = -370 + a. Let r = -110 - x. Is r a composite number?
True
Let u(g) = -3*g + 10. Let n be u(5). Let k(o) = 2*o**2 + 6*o + 3. Is k(n) a prime number?
True
Let r = -11 + 16. Suppose 264 - 19 = r*f. Is f a composite number?
True
Suppose -5*r = 11 - 36. Let c(g) = 7*g + 7. Let v be c(r). Suppose v = k + k. Is k a composite number?
True
Let o(s) = -s**3 + 3*s - 2. Let k(l) = l**2 - 5*l + 3. Let q be k(3). Let m be o(q). Suppose -x + 15 + m = 0. Is x composite?
False
Suppose 0 = 5*s - 0*s + 1750. Let j be (-2)/3*2043/(-2). Let a = j + s. Is a a composite number?
False
Suppose 81 + 54 = 5*j. Let o be (-4)/18 - (-6)/j. Is 37 + (4/2 - o) a prime number?
False
Let w = 298 + -47. Is w a composite number?
False
Let r(o) = -o**3 + 4*o**2 + 6*o - 6. Let h be r(5). Let t be 7/(-3)*(10 + h). Let y = t + 58. Is y prime?
True
Let r(w) = -11*w - 5. Let v be r(-4). Let d = 14 + -9. Suppose 2*q + v = d*q. Is q prime?
True
Let m = -2 - -4. Let w(s) = s - 2*s**3 + 0*s - 2*s + s**3 - 2 + 8*s**m. Is w(4) a prime number?
False
Let i(j) = j**3 - 7*j**2 + 6*j - 4. Let g be i(5). Is (-14)/7 - (-1 + g) composite?
False
Let u(p) = p**2 + 6. Let i be u(-10). Suppose 2*z = -2*b + 124, -4*b = -3*z + z + i. Is z prime?
True
Let k = 852 + -295. Is k prime?
True
Is 843/4 - 2/(-8) composite?
False
Let q be -10*2*1/(-4). Let y = 8 - q. Suppose 1 = -v + y. Is v prime?
True
Suppose -3*w = -5*i - 29, 5*i + 12 = -8. Suppose w*u - 60 = 102. Is (-1)/(-2) - u/(-4) prime?
False
Is 4 - (5 + -3 - 525) prime?
False
Let v(t) = 35*t + 5. Is v(4) composite?
True
Suppose 4*v + 10 + 10 = 0, 28 = -3*c - 5*v. Suppose g = 2, -3*q - 6 - 1 = g. Let o = c - q. Is o a composite number?
False
Is (-6 - -3) + 27 + -1 a prime number?
True
Let s = 250 - -193. Is s prime?
True
Let x(y) = -10*y - 7. Let q(s) = -21*s - 14. Let j(k) = -3*q(k) + 7*x(k). Suppose -g - g - 16 = 0. Is j(g) prime?
False
Let h(t) = 3*t**2 - 3*t + 4. Let j be 4/(-14) - 69/(-21). Let c be h(j). Let f = 59 - c. Is f prime?
True
Let h be 4 + (2 - 1)/(-1). Suppose 0 = -3*g + 8 + 367. Suppose -t + h*w = -5*t + 121, g = 4*t - w. Is t composite?
False
Let w = 19 - -5. Let u = w + 179. Is u a composite number?
True
Suppose 2502 + 3315 = 3*a. Is a a prime number?
False
Let l = 24 + -40. Let i = l - -30. Suppose 95 = p - i. Is p a composite number?
False
Let q(d) = 12*d**3 - 9*d - 4. Is q(7) composite?
False
Let t(k) = -15*k - 16. Is t(-7) a composite number?
False
Let f = -27 - 169. Let o = f + 275. Is o a composite number?
False
Let r(h) = -h**3 + 11*h**2 - 10*h + 1. Let z be r(10). Suppose z = u + 2. Is -3*u/3 - -92 prime?
False
Let g = 4 - 2. Suppose -559 = 5*l + 3*v, -3*l - v - 339 = g*v. Let i = l + 163. Is i a prime number?
True
Suppose 1054 = -11*r + 13*r. Is r a composite number?
True
Let q be 6/(-8) + 2492/16. Let w = -68 + q. Is w prime?
False
Is 1465/3*6/((-2)/(-1)) a composite number?
True
Is (-16830)/(-25) + ((-4)/5)/4 a composite number?
False
Let p be (9/(-4))/(1/(-4)). Suppose -159 = -2*r - 1. Is (7 - p)*r/(-2) composite?
False
Let y be (-9)/(-12) + 6/(-8). Suppose 12 = -0*w + 3*w. Suppose 5*g - 5*h - 70 = y, 3*h + 70 = 5*g + w*h. Is g a composite number?
True
Suppose 13*n + 942 = 19*n. Is n a prime number?
True
Let y(l) = 20*l**3 - 2*l**2 - 1. Is y(3) a composite number?
False
Let x(z) = 5*z + 8. Let u be x(-9). Let r = u - -74. Is r a composite number?
False
Let f(w) = -w**3 - 6*w**2 - 6*w - 5. Let l be f(-5). Suppose -g + 5*g - 148 = l. Is g a prime number?
True
Let s = 24 + -1. Is s composite?
False
Let v(m) = 7*m**3 - 1. Let y be v(-1). Let r = 3 - y. Is r a composite number?
False
Suppose -3*n + 13 = k, k + 2 = -n + 3*n. Suppose -b + 7 + 4 = k*c, b + 7 = 5*c. Is b a prime number?
True
Suppose 5*w = 2*w. Suppose w = 3*f - 12 - 3. Suppose 5*x - 285 = -f*t, 8 = 3*x + x. Is t composite?
True
Suppose -250 = -4*x + 182. Suppose 26 = 2*m - x. Is m a prime number?
True
Is 1/(-4) - 941/(-4) a prime number?
False
Suppose -5*l + 4*l = -2444. Suppose 0 = -2*w - 2*w + l. Is w composite?
True
Let q = 3 - 3. Suppose 0 = t - q*t + 4. Is (-70)/t + 12/8 a composite number?
False
Suppose -2*z + 1047 = -491. Is z a prime number?
True
Let y(p) = 207*p - 1. Is y(2) composite?
True
Let h(p) = 58*p - 7. Is h(6) a composite number?
True
Let r(k) = 44*k - 1. Is r(2) a composite number?
True
Let w = -737 - -1123. Is w a prime number?
False
Suppose -f + 20 = -6. Suppose 22 = c - f. Suppose -4*g = c - 180. Is g a composite number?
True
Is (3346/3 - -1)/(2/6) prime?
False
Suppose -732 = -5*b - p, -3*b + b + p + 297 = 0. Is b*2*2/12 prime?
False
Let k(b) = 181*b**3 + 2*b - 2. Is k(1) prime?
True
Let v(y) = 2*y + 14. Let o be v(-12). Let x(b) = -24*b + 9. Is x(o) a prime number?
False
Let h(s) = s**2 + 5*s. Let n be h(-5). Suppose -3*m + 4*j - 68 = 0, n = -m - 2*j - 10 - 6. Let r = m - -39. Is r a prime number?
True
Suppose -5 = 5*n - 5*h, -3*h + 8*h = 2*n + 14. Suppose d = 80 + n. Is d composite?
False
Let s(x) = -2*x**2 + 2*x + 1. Let n be s(-1). Let j = 7 - -31. Let p = n + j. Is p a composite number?
True
Is 1077/9 + 4/(-6) a prime number?
False
Let f = 142 + -270. Let j = 35 - f. Is j a prime number?
True
Let y = 6 - 34. Let l = 139 + y. Is l a composite number?
True
Suppose 84 = 4*i + 16. Suppose -4*u + 2*n + 10 = 0, 4*u + 0*n = 5*n + 13. Suppose -u*a + 146 = -4*z, 4*a - i - 283 = 4*z. Is a composite?
True
Is ((-155)/10)/((-2)/44) a composite number?
True
Let r = 6 + -4. Suppose 0*q + 148 = r*q. Suppose -o + 4*h + q = o, -5*o + 169 = -2*h. Is o a prime number?
False
Let k(l) = 2*l**2 - 2*l - 1. Let d be k(-1). Suppose 130 = -y + d*y + 4*q, -4*y + 221 = -5*q. Is y composite?
False
Suppose 4*c - 16 = 4. Suppose -x = -27 + c. Is x prime