912 = -5*f - 77. Is f composite?
False
Suppose y - 4*c = 199, 0 = 5*y + 2*c + 58 - 987. Suppose 0 = -f - i + 149, 405 = 4*f + 3*i - y. Is f composite?
True
Let k(x) = 6*x**2 + 7*x. Let q(s) = 19*s**2 + 20*s. Let m(w) = -17*k(w) + 6*q(w). Is m(1) prime?
True
Is ((-4533)/(-9))/((-4)/(-12)) a composite number?
False
Let i(p) = -p - 6. Let q be i(-8). Is (29/q)/(2/20) a composite number?
True
Let f(m) be the second derivative of -m**7/840 - m**6/120 - m**5/20 - 5*m**4/24 - m**3/3 - 4*m. Let g(x) be the second derivative of f(x). Is g(-6) composite?
False
Suppose 0 = 5*i + 5*g - 20, 4*i = 9*i + 4*g - 21. Suppose -i*b + 5*u = -1660, 3*b - 894 - 95 = -4*u. Is b a prime number?
True
Suppose 24*b + 1975 = 29*b. Is b composite?
True
Let q be ((-1780)/(-15))/(1/3). Suppose -q = 4*f - 8*f. Is f composite?
False
Suppose 0 = 3*u - 6. Suppose -4*p = u*j - j - 379, 0 = 5*j + 2*p - 1805. Suppose -49 - j = -3*y - 3*m, -4*m = -3*y + 429. Is y a prime number?
True
Let s(h) = -h**2 + 6*h - 3. Let j be s(6). Is 932/(-6)*j/2 prime?
True
Let s be (8/(-2))/(2/12). Is (-6)/s - (-3590)/8 a composite number?
False
Is (3 + 4676/(-8))/2*-4 prime?
True
Suppose -2*p + 4 = 3*s, -2*p - 7 = -5. Suppose 3*w = -s*w + 3*l + 731, -l + 288 = 2*w. Is w composite?
True
Suppose 0 = -5*g + 20, u - 4*g = -2*u + 2. Suppose -u*z + 158 = -4*z. Is z a composite number?
False
Let u be 1 + (-1)/1*156. Let f be (-4 - -3)*(u - -1). Suppose -m + f = m. Is m composite?
True
Suppose 27 = 3*o - 0. Let n(w) = -1 + 5*w**2 + 13*w + 3*w**2 - w**3 + 0. Is n(o) composite?
True
Let y = 13 - -2. Is y composite?
True
Let p(b) = -b**3 + 7*b**2 - 3*b - 8. Let m = 2 + 2. Suppose 0*q + q - 21 = -m*z, 0 = -z - 2*q. Is p(z) a prime number?
False
Let h be 6/3 - 0 - 8. Let s = h - -17. Is s prime?
True
Is 2 - (0 + (-197 - 0)) a composite number?
False
Suppose 7*n + 72 = 3*n. Let x = n - -4. Is (-4)/x - 1775/(-35) a composite number?
True
Is 1*(4/6 + 163/3) a composite number?
True
Let d = 0 + 0. Suppose 232 = -d*p + 4*p + 3*i, -p = -i - 51. Is p prime?
False
Let w(d) = d + 3. Let i be w(0). Let n(c) = 1 + 2*c**2 + 5*c - 3*c - i*c. Is n(2) composite?
False
Suppose -3 = -q - 2*q. Let x(c) = 365*c**2. Is x(q) prime?
False
Let d(c) = -87*c + 2. Is d(-1) a composite number?
False
Suppose -w = -2*w + 4*h + 343, -3*h + 329 = w. Suppose q - 2*k - 63 = -3*k, -5*q = -5*k - w. Is q a prime number?
False
Let x(s) = -5*s + 3*s**3 + s**2 - s + 5*s. Let k(w) = w + 7. Let u be k(-6). Is x(u) a composite number?
False
Let r(w) = w**3 + 11*w**2 + 12*w + 13. Is r(-9) composite?
False
Is (-14)/(0/1 - 12/222) prime?
False
Let v(h) = -h**2 + 4*h - 1. Let w be v(5). Let y(g) = 4*g**2 + g - 11. Is y(w) composite?
False
Suppose -i - 3*y = -3*i + 3, 0 = -4*y + 12. Suppose -4*q = -w + 7, w - i*w + 4*q + 99 = 0. Is w a prime number?
True
Let o(k) = 61*k - 28. Is o(9) prime?
True
Let g = 316 + -101. Is g prime?
False
Let w(k) = -2*k**2 + 3*k + 7. Let c be w(6). Suppose -111 = 4*x - x - 3*j, 5*x + 169 = j. Let b = x - c. Is b a prime number?
False
Let f(h) = -2*h - 11. Let m be f(-10). Suppose 5*i = -m - 11. Let y = -2 - i. Is y prime?
True
Let o = 29 - 22. Is 96690/70 + (-2)/o a composite number?
False
Let u be 0 + (1 - -8) - 2. Let n = u + -4. Suppose -n*c = -2*z - 49, -5*z = -z + 8. Is c prime?
False
Suppose 2*i - 24 = 66. Suppose 0 = 5*w - 2*z + i, 4*w - 5*z + 8 + 11 = 0. Is (w/(-4))/((-4)/(-48)) prime?
False
Let q(w) = 23*w - 32. Is q(17) a composite number?
False
Let c(p) = 4*p**3 + 4*p**2 - 3*p - 10. Is c(4) a prime number?
False
Suppose -702 = -3*u + 3081. Is u prime?
False
Suppose -d + 15 = -2*d - 5*n, 11 = -d - 4*n. Suppose 291 - 16 = d*u. Is u a composite number?
True
Suppose 12 = -2*i - 0*i. Let m = -2 - i. Suppose -4*u - 57 - 119 = -m*a, 5 = u. Is a a prime number?
False
Let q(o) = -3*o - 5. Let c(y) = 13*y + 20. Let f(w) = 2*c(w) + 9*q(w). Let r be f(-4). Is 2 - ((r - -2) + -216) composite?
True
Suppose -n + 2*s = -3, 3*s + 9 = 3*n - 3. Suppose -u - t = -128 + 44, n*u - t = 450. Is u composite?
False
Let x = -290 + 915. Suppose -5*f - 2*z = -x - 1234, 5*f - 2*z - 1851 = 0. Is f prime?
False
Let l be 3 + -2 + -2 + 3. Suppose 3*s + q - 281 = 0, 4*s + l*q - 372 = -2*q. Is s a prime number?
False
Suppose -o + 4*n + 3 + 3 = 0, -5*n = o + 3. Suppose 4*c - 56 = -2*u, u - 58 = -2*c - o*c. Let y = 82 - c. Is y a composite number?
False
Suppose -635 = -5*r + 60. Is r composite?
False
Let l(h) = -10*h + 21. Is l(-18) composite?
True
Let k = 11 + -21. Is -5*1/k*382 prime?
True
Let y be (0 + 0)*(-2)/(-4). Suppose 10*x - 5*x - 595 = y. Is x prime?
False
Let v be ((-2)/1)/((-1)/160). Suppose 65 = -5*j + v. Is j composite?
True
Suppose a = -a. Suppose 2*r + o - 35 = a, 3*r - 2*o - 15 = 48. Is r a prime number?
True
Suppose v = 3*n + 6*v - 719, 936 = 4*n + v. Is 0 + n + (0 - -2) a composite number?
True
Let f(g) be the third derivative of -g**6/120 + 3*g**5/20 + g**4/6 + 5*g**3/6 - 5*g**2. Is f(7) prime?
True
Let r(p) = -3*p + 1 + 0 + 9*p**2 + p + p. Is r(2) prime?
False
Suppose 4*p - 4*k = 1324, -3*k = -2*p - 0*k + 666. Is p prime?
False
Is (-1 - -2)/(1 + 2584/(-2588)) a composite number?
False
Suppose 1414 = -2*k - 0*k. Let d = k - -1217. Is (-2)/11 + d/22 a prime number?
True
Suppose j - 2238 - 1984 = -4*d, -4*j = 2*d - 2118. Is d a prime number?
False
Let t be -3 + (1 + 0 - 0). Let q(v) = v - 13. Let n be q(12). Is 2/t*n - -66 a prime number?
True
Suppose -2*l - 2*c = -10994, -2*l - c = -5*c - 10994. Is l prime?
False
Suppose c = 2*j - 65 - 10, 3*j - 125 = 4*c. Is j composite?
True
Let s = 506 - 301. Is -8 + 10 - (2 - s) a prime number?
False
Is 12/24*(27 + -1) composite?
False
Let v = 1149 + -242. Is v a prime number?
True
Is 8/12 - (-507)/9 composite?
True
Let v be ((-9)/6)/(6/16). Let l(u) = -2*u**3 - 5*u**2 + 5*u + 5. Let j be l(v). Suppose 2*d - 29 = j. Is d composite?
False
Let m(i) = i**2 + 5*i + 2. Let l be m(-5). Let f(a) = 11*a**3 - 4*a + 3. Is f(l) prime?
True
Suppose 2 = 2*h - h. Suppose -1035 = -5*j - 2*c, 0 = h*j - c + 4*c - 403. Is j prime?
False
Let u(x) = 5*x**2 - 5*x + 1. Suppose 25 = 7*j - 24. Is u(j) a composite number?
False
Suppose -17*n + 12*n + 5015 = 0. Is n prime?
False
Let k(c) = 2*c**3 - 11*c**2 - 3*c - 3. Suppose -3*g + 32 = g. Is k(g) a composite number?
False
Let c(w) = 3*w**2 - 6*w - 6. Let t be c(-5). Suppose -2*p = 4*v - 194, 2*p - 3*v + t = 3*p. Suppose x - 2*i - p = 2, -2*x - 5*i = -181. Is x a composite number?
True
Is 1007 - (0 + (-4 - (3 + -5))) prime?
True
Let g = 37 - -21. Is g a composite number?
True
Suppose -20 = -6*u + u + 5*p, 0 = -2*u - 2*p + 12. Let v = 10 + u. Is v a prime number?
False
Suppose -6*f - 752 = 52. Is 2*f*(-2)/8 a composite number?
False
Let i = 5 - 5. Suppose -5*m + 10 - 25 = i, -8 = s + 4*m. Suppose g + s*t = -3*g + 880, -4*g + 889 = t. Is g prime?
True
Let u(w) = 4*w**2 - 15*w + 32. Is u(15) a prime number?
False
Let c(m) = 6*m - 2 - 3 - 7*m**2 + m**3 + 2*m**2. Let j be c(3). Let v = 17 - j. Is v prime?
False
Let n = 809 + -574. Suppose -n - 33 = -4*q. Is q composite?
False
Let o = -5 - -8. Let x(f) = o*f - 10 + 41 - f**3 - 2*f. Is x(0) a composite number?
False
Suppose -2*n = -1513 - 1285. Is n composite?
False
Let g = 1 + 18. Is g a composite number?
False
Suppose 5*m - z - 13 = 3*m, -3*z - 27 = -3*m. Suppose m*h = 1214 - 274. Is h composite?
True
Let w = 1 - 6. Let y = w + -2. Let b(d) = d**2 + 6*d - 4. Is b(y) composite?
False
Let p(u) = -u - 6. Let t(z) = z - 3. Let k be t(-3). Let c be p(k). Suppose c*i = 3*i + g - 54, 0 = -2*g - 6. Is i composite?
False
Let q(j) = 4*j**2 + 3*j - 6. Let k = 5 - 8. Let x be k + ((-6)/(-3))/(-1). Is q(x) a prime number?
True
Let n(p) = 3*p**3 - 8*p + 0*p**3 + 1 + 2*p**2 + 8*p**2 - 4*p**3. Let m be (9 - 0)*1/1. Is n(m) a composite number?
True
Let v(i) = -2*i**3 - 11*i**2 - 9*i + 1. Let c = -13 + 6. Is v(c) prime?
True
Is ((-10)/4)/(4/(-376)) a prime number?
False
Let l be (-6)/8 - 675/(-4). Suppose 428 = -4*p + l. Is p/(-3) + 2/(-3) a prime number?
False
Suppose 23 = -4*k - 5*c - 2, c = k - 5. Suppose k = l - 3. Is l a prime number?
True
Let t(n) = -n**2 + 9*n - 5. Let p be t(8). Suppose 2*v - 168 = 2*f + 8, -v = p*f - 76. Is v prime?
False
Let d = 281 - 171. Let m(s) = -77*s**2. Let j be m(-1). Let q = j + d. Is q composite?
True
Let w b