66 + -3 a composite number?
True
Suppose w - 12 = -b - 4*b, 21 = 3*b - 4*w. Suppose z + 0*z = 0. Is b + (z - 1) + 1 prime?
True
Suppose p + 15 = 6*p. Let v = 4 + p. Let o(i) = -i + 10. Is o(v) a prime number?
True
Let o = -224 - -475. Is o prime?
True
Let k(o) = -3*o + 2. Let h be k(6). Let b = 22 + h. Suppose t = b*t - 1295. Is t composite?
True
Let c(m) = -m**3 + 4*m**2 - 2*m - 4. Let d be c(3). Let j be (-2 - d)/((-2)/4). Let i(f) = 10*f**2 - f - 1. Is i(j) composite?
False
Let l be 171/(-6)*(-14)/7. Let t = 88 - l. Is t a composite number?
False
Let d(q) = 20*q**2 - 3*q + 7. Let f be d(6). Suppose 1822 = 3*s + f. Is s composite?
True
Let u be (5 + -4)/((-1)/(-3)). Let f(p) = 10*p**2 + 3*p - 4. Let k be f(-5). Suppose 0*o = u*o - k. Is o a composite number?
True
Suppose 0 = -3*d + 2*d - 1. Is d/4 - 853/(-4) a prime number?
False
Suppose 2 = -2*p + 3*x + 2*x, -2*x = -3*p + 8. Let y = -98 - -326. Suppose -p*z - 80 = -y. Is z a prime number?
True
Let a = -267 - -151. Let f be 9/3 - 1 - a. Let s = -33 + f. Is s prime?
False
Suppose 0 = 5*m + 5*r - 4 - 41, -3*r = 5*m - 41. Suppose -m*v + 2*v + 515 = 0. Is v a prime number?
True
Let h be -1 + 3 + 0/(-1). Let w(r) = h + 1 - 16*r + 2*r**2 + 12. Is w(10) a composite number?
True
Let w = 18 - 11. Let g = w + -4. Is (-16 + 2)/((-2)/g) a prime number?
False
Let h(t) = t**3 - 8*t**2 - 4*t - 5. Let l be h(6). Let g = -52 - l. Is g a composite number?
True
Let k = -129 - -896. Is k composite?
True
Let r = 164 + -69. Is r a prime number?
False
Let p be (-1)/2 - (-220)/8. Suppose 3*a - 3 = p. Is (-4)/a + 172/5 a prime number?
False
Suppose -k - 390 = -5*s, s = 5*k + 54 - 0. Is s a prime number?
True
Let d = -16 - -28. Suppose -l + 99 = -d. Is l a prime number?
False
Suppose 167 = 3*y + 26. Is y a composite number?
False
Let p = 9351 - 5944. Is p composite?
False
Let u = -31 - -450. Let y = -296 + u. Is y prime?
False
Suppose -2*b = -3*n - 21, -5 = -0*n - n. Is (-2146)/(-6) + 6/b a composite number?
True
Let b(p) = 8*p + 7. Is b(6) a composite number?
True
Let x(u) = -45*u. Let j be x(-4). Suppose 5*v + 444 = 2*y, -y = 2*v - 3*y + j. Is v/(-14) - (-2)/(-7) a composite number?
True
Let m = -97 - -57. Let r = m - -66. Is r composite?
True
Let q(v) = 5*v**2 + 3*v + 1. Let d(z) = -z - 1. Let m(u) = 2*d(u) + q(u). Let h(x) be the first derivative of m(x). Is h(3) a prime number?
True
Suppose 5*a - 286 = 3*a. Is a a composite number?
True
Let q(n) be the first derivative of n**4/4 + 7*n**3/3 + 2*n**2 - 2*n + 4. Is q(-6) a composite number?
True
Suppose 0 = 3*q - 14 + 2, 2*q = -4*x + 1768. Let i = x - 229. Is i prime?
True
Suppose -3*c + v + 11746 = 309, 0 = -5*c - 4*v + 19039. Is c/13 + (-2)/13 prime?
True
Let a(z) = z**2 - 2*z - 3. Let p be a(4). Suppose 11 = -p*b + 201. Is b prime?
False
Suppose -2*y + 5*q - 4 = -6*y, -5*y = 2*q - 22. Suppose -3*v = -y*v + 12. Suppose 0 = -5*m - 3*l + 101, 5*m + v*l - 49 = 54. Is m prime?
True
Suppose -46 - 46 = -4*c. Suppose -4*m + 3*m - 1 = 4*f, -4*m + 3*f - c = 0. Is (-380)/8*6/m a composite number?
True
Let b = -284 + 677. Is b composite?
True
Let f(o) = -1890*o**3 - 2*o**2 - 2*o - 1. Is f(-1) composite?
False
Let s(c) be the second derivative of -c**5/20 - c**4/6 - c**3/2 + 3*c**2/2 - c. Is s(-7) prime?
True
Let y(q) = -22*q - 4. Let u be (0 - 1)*(-9)/(-3). Is y(u) a composite number?
True
Suppose 15 = 3*s + 2*s. Is (-12)/18 - (-113)/s composite?
False
Suppose 5*b - 3*b - 236 = 0. Is b a prime number?
False
Suppose 0 = -2*a + 3*a - 397. Is a prime?
True
Let f(q) = 62*q - 7. Is f(3) a composite number?
False
Suppose 2486 = 4*k + 4*s - s, 3*k - 1863 = -3*s. Is k prime?
False
Let z(n) = n**2 - 7 + 8*n + 3*n - n. Let y = 23 + -34. Is z(y) prime?
False
Let m(y) = -y**3 - 4*y**2 - 5*y - 1. Let s(q) = 3 + 3 + 3*q - 5*q. Let x be s(5). Is m(x) a composite number?
False
Suppose 2*q = 1010 - 72. Is q composite?
True
Is 3 - (2 + 5) - -261 a prime number?
True
Let n = 50 + -30. Is ((-118)/(-8))/(5/n) a composite number?
False
Suppose 0 = -8*p + 5*p + 717. Is p prime?
True
Let t(y) = -y + 7. Let q be t(5). Suppose -21 = -q*c + 5*c. Is c - -5 - 17*-5 a composite number?
False
Let d be (405 - 1) + -1 + -1. Suppose 7*s - d = 4*s. Is s a prime number?
False
Is (-7)/14*-892*(-7)/(-2) composite?
True
Let o(l) = l**3 - 3*l + 2. Let w be o(2). Suppose -z - 5*n + 580 = 4*z, 0 = 5*z + w*n - 585. Is z a composite number?
True
Let q be 9/(-3) - -6 - -170. Let s = q - 102. Is s a composite number?
False
Suppose 2070 - 732 = 6*c. Is c a prime number?
True
Let h(c) = c**3 + 5*c**2 - c - 3. Let i be h(-5). Suppose -2*j + 8 = i*j. Is j composite?
False
Let b be 4 + (-1 - 1)/(-2). Let h(j) = j**2 - 4*j + 5. Let o(d) = d. Let q(l) = h(l) + 3*o(l). Is q(b) a composite number?
True
Let j(x) = 5*x**2 - 9*x + 1. Let h = -14 - -20. Is j(h) prime?
True
Suppose 5*r = 230 + 155. Is r composite?
True
Let z(x) = 1. Let c(s) = -s**2 - s + 5. Let h(d) = -c(d) + 6*z(d). Let f be h(3). Suppose 2*w + f = 3*w. Is w composite?
False
Let o = 4 + 3. Suppose -2*x = -o - 43. Is x composite?
True
Let k(t) = t**3 + 12*t**2 + 12*t - 16. Let w be k(-11). Let q = w - -19. Is 22/3*(-348)/q a composite number?
True
Let a = 103 + 160. Is a a composite number?
False
Let q = 10138 - 5289. Is q composite?
True
Let z(k) = -22*k - 23. Is z(-18) a composite number?
False
Suppose 5*q - 2*x - 15 = 0, 3*x - 7*x = -20. Suppose -z = -2*a - 149, -4*a + 3*a - q = 0. Is z a composite number?
False
Let p(z) = z**3 - 10*z**2 - 3*z - 5. Is p(11) a composite number?
False
Let r = 26 - -57. Suppose 3*y = 464 - r. Is y prime?
True
Let r(y) be the first derivative of -y**4/4 - y**2/2 + 133*y - 1. Let a = 3 + -3. Is r(a) prime?
False
Suppose 5*s - 329 = 376. Is s composite?
True
Let w(y) = -y + 6. Let m be w(11). Let n = m + 28. Is n a composite number?
False
Let g(v) be the second derivative of -3*v**3/2 + 4*v**2 + v. Let j(i) = -3*i + 3. Let z(q) = -4*g(q) + 11*j(q). Is z(2) a prime number?
True
Let v(p) be the third derivative of 25*p**4/12 - 3*p**3/2 + 4*p**2. Is v(4) a composite number?
False
Let k(v) = -2*v + 2*v + 354*v**2 - 1 + 2. Let u be k(1). Suppose 0*r + u = 5*r. Is r a composite number?
False
Suppose a - 14*a + 8606 = 0. Is a composite?
True
Suppose 8*p - 12 = 4*p. Suppose -4*c + c + 159 = p*g, 10 = -5*g. Is c a prime number?
False
Let h(q) = 1 - 5*q - 5*q + 36*q. Let k be (-1 - -3) + (-22 - -26). Is h(k) a composite number?
False
Is (-1)/(-2) - 1265/(-10) a prime number?
True
Let a(z) = -z**3 + 4*z**2 + 5*z - 6. Let t be a(4). Suppose 4*v = t - 6. Suppose -2*y + 3*s + s + 38 = 0, v*s = -2*y + 20. Is y a composite number?
False
Suppose -870 = -3*v - 3*v. Is v composite?
True
Let r(d) = -d - 1. Let v be r(-5). Suppose -3*p = -v*p + 10. Is p composite?
True
Let i = 1085 - 758. Is 2/4*(i - 1) composite?
False
Suppose 3*s + 4*j - 862 = 769, -5*s = -5*j - 2695. Is s a composite number?
False
Suppose 30 = 3*k + 2*k. Let m be (-1 - -1) + k/(-3). Let n(c) = -5*c**3 + 2*c + 1. Is n(m) a composite number?
False
Suppose 0 = -3*m + 19 - 205. Let i be 1479/(-7) + (-12)/(-42). Let g = m - i. Is g a composite number?
False
Let u = 2447 + -1188. Is u prime?
True
Let s = -10 - -12. Suppose s*l - 770 = -96. Is l prime?
True
Let y be -2*1/2 + 4. Suppose x - y*o = -2*x + 27, 4*o = 5*x - 41. Suppose x*v + c - 9 - 4 = 0, 2*v = -4*c - 2. Is v prime?
True
Suppose 0 = m - 6*m + 2*b - 15, 27 = -2*m + 5*b. Let q be -2 - (m + 2) - 6. Let j(x) = -43*x + 8. Is j(q) composite?
True
Let u(g) = 2*g**3 - 2*g**2 - g + 1. Let n(j) = -j**2 - 2*j**3 + 1 + 3*j**3 + 0. Let z(v) = 7*n(v) - 3*u(v). Is z(3) composite?
False
Let r = 44 + -75. Let p = -116 - r. Let w = p - -234. Is w a composite number?
False
Let s(z) = 7*z - 7. Let y(w) = -13*w + 13. Let f(q) = -7*s(q) - 4*y(q). Is f(6) a composite number?
True
Let z be 14/(-4) - (-3)/6. Is 4*(99/(-6))/z composite?
True
Suppose 0 = -s + 3*k + 5 + 2, 2*s - 10 = 2*k. Let d be (155/s)/(2/8). Suppose -20 = -5*y + d. Is y a composite number?
True
Suppose 5*j = j - 4*f, -2*f = 5*j. Suppose -a + 4*u = -253, j = a - 2*u - 281 + 30. Suppose 5*b - 4*s - a = 0, -2*b - 4*s + 114 = -2*s. Is b prime?
True
Suppose 5*k = -4*x + 2079, -k - 79 - 443 = -x. Is x a prime number?
True
Let a = 6642 + -2257. Is a a prime number?
False
Suppose 0 = 5*a - 