pose 5*n = -w - 158 + 818, -n - 2*w + x = 0. Let c = n - 84. Is c a composite number?
False
Suppose 20*g = 18*g + 1258. Is g composite?
True
Let d(h) be the second derivative of h**8/6720 - h**7/504 + h**6/180 + h**5/120 + h**4/6 + 4*h. Let f(m) be the third derivative of d(m). Is f(7) composite?
False
Let i = -16 + 22. Let v(c) = 3*c + 4. Is v(i) a composite number?
True
Suppose -2*j + 4 = -3*j, -3*s - j = -623. Suppose 2*l - s - 377 = 0. Is l composite?
False
Let v = -3 + 3. Suppose -33 = -v*y - y. Is y prime?
False
Let g(x) be the third derivative of x**8/20160 - x**7/1680 + x**6/240 - x**5/30 + 2*x**2. Let i(t) be the third derivative of g(t). Is i(-4) a composite number?
False
Let i = -4 + 27. Is i a prime number?
True
Suppose -5*n + 4*o = -17, -4*n + 3*o + 26 = 6*o. Let k = 116 + n. Is k a composite number?
True
Suppose -r + 9 = 3*k - 0*r, -5*r - 15 = 0. Suppose 4*n - 12 = 3*n - 3*w, k = 5*n + w. Suppose n = -m - 5 + 18. Is m a composite number?
False
Let b be ((-1)/2)/(1/(-2)). Let c(q) = 9*q**2 + q. Let a be c(b). Suppose -4*t + a + 66 = 0. Is t a prime number?
True
Let c be ((-168)/(-40))/(2/50). Let f be (-112)/(-5) + (-4)/10. Suppose u - c = f. Is u a composite number?
False
Let q = 1 + 0. Let p = -175 - -177. Suppose i = -p*u - q + 74, 2*i - u - 161 = 0. Is i a prime number?
True
Let o(a) = a. Let c be o(2). Let j(i) = 4*i**2 - i. Is j(c) composite?
True
Let m(w) = -3*w**3 - 4*w**2 - 3*w - 1. Suppose -2*o + 4 = -4*o. Is m(o) a prime number?
True
Let s(k) = k + 1. Let m be s(3). Is (8/6)/(m/366) a composite number?
True
Is -1 - 1 - (-128 + -1) a prime number?
True
Is 2495/(-10)*(-5 + 3) a prime number?
True
Suppose -3*x = -4*q + 185, -3*x - 150 = 5*q - 2*q. Let i = -34 - x. Is i - (0 + -1 + 1) a prime number?
False
Let p(y) = y**3 + 6*y**2 - 1. Let t be p(-6). Let o(x) = -x - 1. Let w be o(t). Let k(f) = -f**3 - f**2 + f + 91. Is k(w) composite?
True
Suppose -12*d - 2405 = -17*d. Is d a composite number?
True
Let z be 1*475 - (12 + -8). Suppose -5*p - z = -2*u, 0*p - 912 = -4*u + 4*p. Is u composite?
False
Let u be 133/49 + (-4)/(-14). Suppose 4*r - 4*g = 0, -u*r - g + 12 = 2*g. Suppose -r*h - 25 = -5*s, 4*h + 29 = 5*s - 2*s. Is s a prime number?
True
Suppose 0 = -u - 0*u + 9. Let z = 0 + u. Is z a composite number?
True
Suppose 8*f + 1257 = 11*f. Is f a prime number?
True
Let i(k) = 3*k**2 + 3*k - 1. Let u(x) = -3*x**2 - 2*x + 2. Let o(v) = -6*i(v) - 7*u(v). Is o(7) prime?
False
Suppose 0 = 2*w - 0*w - 12. Is w a prime number?
False
Suppose 4*p - 5 = -13. Suppose -5*n - 2 = -12. Is 326/((1 - n)*p) composite?
False
Suppose 0 = -5*w + 333 + 622. Is w prime?
True
Let h(q) = -q**2 + 8*q - 1 + 2*q - 3. Let c be h(9). Suppose c*m - 42 - 3 = 0. Is m composite?
True
Is (-3)/5 - ((-25568)/(-20))/(-4) composite?
True
Let g(z) = -12*z - 1. Let v = -50 - -108. Let k be v/(-18) + (-8)/(-36). Is g(k) a composite number?
True
Let a be 2/3 - 2246/(-6). Suppose -3*o - 4*l = -a - 420, o = 2*l + 265. Is o composite?
True
Let b be 8*2/(-4) - -64. Suppose a - 361 + b = 0. Is a a composite number?
True
Suppose -167 = -4*c + 21. Suppose 0 = 5*n + 3*o - 0*o - 167, n = -4*o + c. Is n prime?
True
Let z(o) = 1 + o**3 - 1 + 0*o**3 - 1. Let p(f) = f**2 + 2*f - 1. Let g be p(1). Is z(g) a composite number?
False
Suppose -8 = 4*j + 8. Is (-7)/(-14) - 210/j composite?
False
Let f be (9/6)/3*-8. Let q = 31 - f. Is q a prime number?
False
Let b(p) = -p + 1. Let f(j) = 150*j**2 - 30*j + 30. Let i(x) = -30*b(x) + f(x). Let k be i(-2). Is (-4)/18 - k/(-27) prime?
False
Let u = 40 - 9. Is u a prime number?
True
Let t = 17 + -4. Let f = -9 + t. Suppose -f*b + 8 = -8*b, -5*r = -5*b - 255. Is r composite?
True
Let t(w) = -w**2 - w + 3. Let p be t(-6). Let y be (1 - p/(-21))*-7. Suppose -3*v = -2*o - 47, -y*o + o = -4*v + 71. Is v a prime number?
True
Let y = 3 - 3. Let h be (3 + 26)/(1 - y). Let t = h + 24. Is t prime?
True
Is (189132/(-60))/(2/(-10)) composite?
False
Suppose 2*q + d - 2*d - 5 = 0, 0 = -4*q - 5*d + 17. Suppose -4*l + 16 = 0, -2*y + 1 + q = 5*l. Is (12/16)/((-1)/y) a prime number?
False
Is (-55)/165 - ((-115)/3 - -1) a composite number?
False
Let o = 129 + 74. Is o prime?
False
Let n(b) = -b + 1. Let o(p) = p**3 + 3*p**2 - 3*p + 3. Let k be o(-4). Let i be n(k). Suppose -3*y + i*y + 7 = 0. Is y a prime number?
True
Let g = 3 - -1. Suppose -g*k = k - 85. Let m = -6 + k. Is m prime?
True
Suppose -10 = -2*n + 5*r, 23 = 2*n - r + 5. Suppose 24 = 3*m + 2*m - 2*k, -5*k = 5*m - n. Suppose 196 = m*i - 0*i. Is i a composite number?
True
Let q be 0/(-4)*(-2)/(-6). Suppose -j = -q*j + t - 68, 130 = 2*j - 4*t. Is j prime?
True
Suppose 3*w - 25 = -4*q, -w + 10 = 4*q - 9. Suppose 4*c + 440 = 5*p + c, p - 76 = w*c. Is p composite?
True
Let s(f) = 2*f + 1. Let r be s(3). Let o = r - -78. Is o prime?
False
Let z = -26 + -20. Let w = 33 + z. Let g = 23 + w. Is g a composite number?
True
Let l = -115 - -81. Let x = -16 - l. Suppose 6*h - x = 3*h. Is h a prime number?
False
Let x = 959 - 540. Is x a composite number?
False
Let y(s) = -25*s - 1. Let m = 9 + -15. Is y(m) a composite number?
False
Let h = -34 + 159. Let t be 6*((-15)/(-6) + -2). Suppose -5*n = 8*z - t*z - h, 100 = 4*z - 3*n. Is z prime?
False
Suppose -4*q + q = -666. Suppose -3*w - 2*w - s = -q, -w + s = -42. Let r = 63 - w. Is r a prime number?
True
Suppose 0 = 5*k - 1266 - 199. Is k a composite number?
False
Let l(t) = -7 - t - 2*t + 2*t. Let k be l(-7). Suppose k = 3*i - b + 33 - 104, 4*b + 8 = 0. Is i a composite number?
False
Let v(b) be the second derivative of 35/12*b**4 - 1/6*b**3 + 0 + 1/2*b**2 - b. Is v(1) composite?
True
Suppose -4*k = 3*p - 95 + 239, 0 = 5*p. Is ((-2)/4)/(6/k) a composite number?
False
Suppose 2*r - 16 = -2*r. Let k(y) = -3*y + 4. Let b be k(-4). Suppose 2*s = 4*m + 22, -b = -r*s - 5*m + 54. Is s composite?
True
Is -1*(-571 + (-2 - 0)) a prime number?
False
Let u = -680 - -3441. Is u a composite number?
True
Let r = -1009 + 2018. Is r composite?
False
Let p(a) = 6*a + 1. Let t(n) = n**2 + 6*n - 5. Let u be t(-7). Is p(u) a composite number?
False
Let l be 40/6 - (-6)/18. Suppose -4*h - 285 = -l*h. Is h prime?
False
Let d(h) = -h**3 + 7*h**2 - 6*h + 5. Let z be d(6). Suppose -z*q - 14 - 31 = 0. Is (12/q - -1)*-42 prime?
False
Is -4 + -226*3*-1 prime?
False
Suppose -u + 4*z - 61 = -904, -z = -4*u + 3342. Is u prime?
False
Let o(n) = 8*n**2 - n - 1. Let b be o(-1). Let p(z) = 6*z**2 + 10*z + 5. Is p(b) composite?
True
Let k = -1 + -29. Is ((-116)/6)/(4/k) a composite number?
True
Let g(z) = 66*z + 1. Let d(b) = -b**2 + 12*b - 8. Let f be d(11). Suppose k - f + 2 = 0. Is g(k) composite?
False
Let a(f) = 46*f - 10. Let i be a(8). Let h = i + -237. Is h a prime number?
False
Let r(g) = 8*g**3 - 3*g - 1. Suppose 3*u - 9 = 0, -22 = -4*s + u - 3*u. Is r(s) a prime number?
True
Let z = -718 + 1359. Is z a composite number?
False
Let g(d) = -d**2 + 2*d + 2*d**2 - 2*d**2 + 37 - d. Is g(0) a composite number?
False
Let r(x) = 14*x**2 + 3*x + 1. Let v be r(-5). Suppose 0*k + 2*m = -2*k + v, -3*k + m + 500 = 0. Is k a composite number?
False
Is 1 + 48 + 4/1 composite?
False
Let r be ((-5)/5)/((-1)/14). Let t(i) = 5*i**2 - 20*i + 9. Is t(r) composite?
False
Let m(h) = -45*h + 37. Is m(-10) a prime number?
True
Suppose 3*g + w - 9 = -w, 2*w + 6 = 0. Suppose g*q + 18 = 3*a, 3*q + 4*a + 11 = -2*q. Is 2/(-4)*(q + -175) a prime number?
True
Suppose 2977 = 2*w + f - 265, -f = -5*w + 8105. Is w prime?
True
Is 2/(-5) + (-5285)/(-25) a prime number?
True
Let g(s) = 36*s + 19. Is g(4) a composite number?
False
Let z(o) = -o**2 + o + 5. Let w(p) = p**2 + 8*p + 7. Let y be w(-7). Let c be z(y). Suppose 42 - c = f. Is f composite?
False
Let f(n) = n - 12. Let u(c) = 2*c - 12. Let t(j) = -3*f(j) + 2*u(j). Let r be t(-8). Suppose 943 = 5*a + 3*w, -r*w - 199 = -a - 2*w. Is a composite?
False
Let f be 2/(0 + (-3)/(-6)). Let a(c) = 8*c**2 + 5*c - 5. Is a(f) composite?
True
Suppose 11 = x - 2. Suppose 37 - x = -3*r. Let f(l) = -l**3 - 9*l**2 - 10*l + 3. Is f(r) prime?
True
Suppose -3*d - f = -0*f - 509, -3*d = 5*f - 505. Suppose -4*w = -4 - 0, -2*h + 4*w = -d. Is h a composite number?
True
Let r = -7 - -11. Suppose -2*w = -3*j - 9 - 19, -5*w = -r*j - 63. Is w prime?
True
Let j = -2 - 5. Let m = 12 + j. Suppose -m