-6) a prime number?
True
Let z be (-65)/(-1) - (-30)/(-10). Let a = 121 - z. Is a prime?
True
Let l(n) = -44*n - 3. Let b = 8 - 11. Let c be l(b). Let a = c + -82. Is a a composite number?
False
Suppose -2*g + 340 = 2*g. Suppose 5*f - 275 = -o - 4*o, -g = -o + 5*f. Suppose -w + 5*w = o. Is w composite?
True
Suppose -2*d = 2*n - 142, 4*d - 74 = -n - 0*d. Suppose -n = -l - l. Is l prime?
False
Suppose 1368 = -5*f + 5863. Is f composite?
True
Let l = -44 - -40. Let w(o) be the second derivative of o**4/12 - 3*o**2/2 + o. Is w(l) prime?
True
Let w(l) = 146*l**2 + l - 17. Is w(6) composite?
True
Let z(b) = -2*b + 33. Let w(r) = -r + 17. Let s(x) = -5*w(x) + 3*z(x). Let y be s(0). Is -2 + y + (-3 - -1) a prime number?
False
Suppose 4*v + 4*f = 8*v - 28, 0 = -2*v + 5*f + 17. Suppose -4*u + 2*u + v = 0. Suppose -69 = -u*b + 198. Is b composite?
False
Let n be (-16)/(-1) + -1 + 2. Let o(b) = b**2 + 8*b + n - 2*b**2 - 7. Is o(8) a prime number?
False
Let i = 3 - 2. Let g be (-2*(1 - -192))/i. Let n = -255 - g. Is n prime?
True
Let v = 45 + -30. Is v a prime number?
False
Let b(p) = p**3 - 8*p**2 + 13*p + 19. Is b(12) a prime number?
True
Suppose 40 = -4*m - 24. Let l = m + 25. Suppose -3*w + 240 + l = 0. Is w composite?
False
Suppose -3*b = -11 + 2. Suppose b*l = 7 + 5. Suppose 30 = l*x - 110. Is x prime?
False
Suppose -4*a - 3 = 9, -705 = -3*o - 2*a. Is o a prime number?
False
Suppose 0 = 2*s + 3 + 1. Let g be 3/1 - (-2 - s). Suppose 8*r = g*r + 395. Is r prime?
True
Suppose 5 = -4*y - 19. Let l be (14 - -1)*(-2)/y. Let q = l + 2. Is q a composite number?
False
Let m = 0 - -6. Let w(n) = 2*n**2 - 8*n + 5. Let p be w(m). Suppose -3*h = p - 128. Is h a composite number?
True
Suppose 0 = y - 0 - 5. Suppose 0*x - x + 79 = 5*k, 0 = -y*x + 4*k + 337. Is x a prime number?
False
Let a = -17 + 65. Suppose 0 = -3*x - 4*v + 55, -x + a = x - 3*v. Let m = x - 15. Is m a composite number?
True
Let f = 228 - 101. Is f a prime number?
True
Let u(f) = -15*f**2 - f + 2. Let m be u(3). Let o be (-2)/(-3) - m/(-6). Is (o/6)/((-5)/75) a composite number?
True
Suppose 0*j + 116 = 4*j. Let z be (2 - j)/(2/(-42)). Suppose 3*p - z = 222. Is p composite?
False
Let a = 239 + -112. Is a a prime number?
True
Let g be 2 - (246*-1)/3. Is g - (0 + 2)/(-2) composite?
True
Let u(j) = 16*j**2 + 2*j + 2. Let l be u(-7). Let p be l/3 - 2/(-3). Let w = 379 - p. Is w prime?
False
Let h(l) = 8 + 2*l**2 - l**2 + l - 10. Let k be h(-2). Suppose y + 2 = 0, 0*g - g + 2*y + 18 = k. Is g composite?
True
Let c = 893 + -570. Is c a composite number?
True
Let y(h) = -h**3 - 6*h**2 + 3*h + 9. Let c be y(-6). Is (-1717)/c - 4/(-18) a composite number?
False
Suppose -m + 84 + 43 = 0. Is m a prime number?
True
Is -219*3/(-6) + 4/(-8) prime?
True
Suppose 6*w = 5*w + 66. Suppose 0 = -2*x + 664 - w. Is x a prime number?
False
Let t(h) = 38*h**3 + 6*h**2 - 8*h - 1. Is t(4) composite?
True
Let y be 1 - (-1 + -3 - -2). Suppose -2*x + 74 = -3*i, -y*x = -4*i - 15 - 94. Suppose 2*s = h - 8 - x, -2*h - 3*s + 113 = 0. Is h composite?
True
Let h = 214 - 95. Is h a prime number?
False
Let u(s) = 3846*s**3 - s**2 + 4*s - 4. Is u(1) a composite number?
True
Suppose 3*h = -4*c, -3*h = 3*c + 1 - 4. Let k(p) = p**2 + p - 4. Let s be k(c). Suppose -y + 28 = m, -5*y = -0*m - s*m + 77. Is m prime?
True
Suppose 2*z = 2*r + 4, -z = 5*r - 3*z - 2. Suppose 3*d + r = 8. Is 4/d + 79 + 2 composite?
False
Let i be (-3)/(-15) - (-4)/(-20). Suppose 0 = -k - 2*t + 226 - 53, -k + 2*t + 153 = i. Is k a composite number?
False
Is (-1 + -2 + -19)/((-16)/4696) composite?
True
Let x = -1 + 3. Suppose q - 459 = -5*f, 0*f - f - x*q = -99. Is f composite?
True
Let p(w) = 10*w**2 - 9*w + 25. Is p(6) prime?
True
Let u = 1 + 1. Suppose 3*j + u*j + 90 = 0. Is (-42)/j*(3 - 0) a prime number?
True
Let f(p) = -p + 2. Let s = 4 - 6. Let k be f(s). Is (8/k)/(6/93) prime?
True
Let y be (-2 - -3)/((-2)/(-636)). Suppose 4*g - y = -l, 2 + 0 = l. Is g prime?
True
Suppose 373 = 4*d - 135. Is d a prime number?
True
Let t be 6/(-27) + (-40)/(-18). Suppose t*v = 5*v + 114. Let r = v + 85. Is r composite?
False
Let r be 2 + 1 + 1 + 46. Suppose 2*t = f - 9, -5*t = -4*f - f + r. Is f composite?
False
Let y(z) be the third derivative of z**7/840 - 7*z**6/360 - 11*z**5/120 + z**4/6 + z**3/6 + 3*z**2. Let i(p) be the first derivative of y(p). Is i(9) prime?
True
Let z(h) = h**3 + 2*h + 9. Let s be z(-7). Is (s/(-8))/(2/4) a composite number?
True
Let b(j) be the first derivative of j**3/3 + 31*j**2/2 - 15*j + 1. Let c(o) = 15*o - 8. Let d(i) = 2*b(i) - 5*c(i). Is d(9) prime?
False
Suppose l - 5*w + 52 = 296, 0 = 3*l - 2*w - 771. Is l composite?
True
Let b = -395 - -586. Is b a composite number?
False
Let q = -8 + 113. Suppose q = 2*y + y. Is y composite?
True
Let b = 335 + 294. Is b a prime number?
False
Let v(j) = j**3 - 9*j**2 - 5*j - 13. Let k(c) = c**2 - 3*c. Let b(w) = 2*w - 5. Let o be b(5). Let l be k(o). Is v(l) a prime number?
True
Let x(j) = j**2 - 2*j - 4. Let b be x(4). Suppose 0 = v + b*n + 5 + 6, 0 = 5*n + 15. Let c(a) = 20*a**3 - 2*a + 1. Is c(v) prime?
True
Let f be (0 - 11 - -2)*5. Let v = -136 + 258. Let z = f + v. Is z composite?
True
Let q(g) = -2*g + 9*g - 4 + 6*g - 4*g. Is q(11) a composite number?
True
Let f be -3 + -11 - 3 - -2. Is (-805)/f + 6/(-9) a composite number?
False
Is (0 - -1*1149) + -2 a composite number?
True
Let r(q) be the third derivative of 0*q**5 + 1/3*q**3 + 0 + 1/60*q**6 - 2*q**2 + 0*q + 1/8*q**4. Is r(3) prime?
False
Is (-3847)/(1/2*-2) composite?
False
Let m(w) = -52*w - 25. Let b = -3 - -10. Let u(r) = -17*r - 8. Let q(y) = b*u(y) - 2*m(y). Is q(-5) prime?
False
Suppose t - 2*f = 273, 0*f - 1057 = -4*t + f. Is t composite?
False
Is 8 - 5 - ((-400)/(-2))/(-1) a prime number?
False
Let a = 135 + 54. Let i be 0 + 10/(2 - 0). Suppose i*v - a = 206. Is v a prime number?
True
Let l(m) = m**3 - 3*m**2 + 2*m - 1. Let s be -2*(-1)/2*3. Let y be l(s). Suppose -4*n = -0*z - 3*z - 131, 0 = -5*n + y*z + 160. Is n composite?
True
Let y(s) = 53*s**2 - 3*s - 5. Is y(-2) prime?
False
Let h be (4/6)/(6/(-279)). Let w = 53 + h. Is w a composite number?
True
Suppose -11*y + 5*y + 2118 = 0. Is y prime?
True
Let d = 186 + -59. Is d prime?
True
Suppose 4*z - 24 = -3*a, -a + 0*z = z - 7. Suppose i + 6 = -y + 6*y, -i = a*y - 12. Suppose 47 = y*q + 3. Is q a prime number?
False
Let h(u) = -u**3 - 5*u**2 - 4*u + 4. Let k be h(-4). Is 38 + (k - (1 + 2)) prime?
False
Let v be 2/(-2) + 0/8. Let u(g) = 211*g**2 + 2*g + 2. Is u(v) prime?
True
Let r(d) = -17*d - 2. Let t(y) = -85*y - 10. Let m(n) = 11*r(n) - 2*t(n). Is m(-3) composite?
True
Suppose -5 - 5 = 4*t - 2*x, -3*t - x - 5 = 0. Suppose 28 = -2*b - 4*q, -3*b - 2*q - q - 33 = 0. Is 230/b*(t - 2) a composite number?
True
Let m = -16 - -31. Suppose 0 = -j - 0*j - m. Is (-394)/(-10) - (-6)/j composite?
True
Suppose -b = 4*b - 19685. Is b/5 + (-2)/5 prime?
True
Suppose -g + 4*g = 684. Suppose -285 = -5*x + 2*m, -4*x = m + m - g. Is x a prime number?
False
Is (-87)/(0 + (-3 - -2)) a composite number?
True
Let t(l) = l**2 + 3*l + 5. Is t(-7) a prime number?
False
Suppose -k - k + 396 = -5*i, -4*k + 818 = 3*i. Is k prime?
False
Let v(n) be the second derivative of -n**6/120 - n**5/30 + n**4/6 - n**3 - n**2/2 - 2*n. Let p(x) be the first derivative of v(x). Is p(-5) a composite number?
True
Let t(g) = -7*g - 15. Let j(s) = -3*s - 7. Let h(w) = 9*j(w) - 4*t(w). Let k be h(2). Let f = 4 + k. Is f prime?
True
Suppose 0 = -2*d - d + 6. Suppose 3*m = -n + d, -4*m - 86 = -9*n + 4*n. Let b = n - -21. Is b prime?
False
Suppose -55 = -5*j - 4*f, 4*f = j + j - 50. Suppose -u = 2*u + j, -3*u + 919 = 2*t. Is t a prime number?
True
Suppose 5*c = -c. Let v(n) be the third derivative of n**4/24 + 19*n**3/3 + n**2. Is v(c) a composite number?
True
Is 4/8 + 82/4 a composite number?
True
Let z(w) = -w**2 - 13*w + 7. Is z(-10) prime?
True
Suppose -7*n + 3*n = -136. Suppose -g + n + 81 = 0. Is g a prime number?
False
Let p = 485 - -156. Is p a composite number?
False
Suppose 0 = -5*z + 14 + 11. Suppose z*k + 77 = 4*w, k + 86 = 4*w - k. Is w a prime number?
True
Let t(j) be the third derivative of -j**6/120 + j**5/60 + 7*j**3/3 + 3*j**2. Is t(0) prime?
False
Let j = -1 - -2. Suppose -1 = -y + j. Suppose -6*a = -y*a - 644. 