Let o(p) = 3*p**2 + 12*p - 10. Let z be o(9). Suppose 0*a = 5*d - 4*a - z, 2*a - 347 = -5*d. Is d a composite number?
True
Let t be 2*(-4)/((-24)/(-2355)). Is t/10*(-2)/1 prime?
True
Suppose -4*s - 5*n = 149, 5*s = n + n - 178. Let x = -40 + 18. Let j = x - s. Is j composite?
True
Suppose -8 - 31 = 3*x. Let l = 68 + x. Is l a composite number?
True
Let h(p) = -9*p + 2 + 2*p**2 + 3*p + 2. Let u be h(4). Let j = u + -3. Is j a composite number?
True
Let q(h) = -h**3 - 17*h**2 - 17*h + 18. Is q(-17) composite?
False
Let r(z) = 6*z**3 + 2 - 4 + z**2 - 5*z**3. Let v be r(-4). Is v/4*4/(-5) composite?
True
Let n(o) = 2*o - 13. Is n(10) a composite number?
False
Let d be (-8876)/35 - 4/10. Let i = -135 - d. Is i a prime number?
False
Let o be 0 + 0 + -46 + 1. Let w = o - -92. Is w composite?
False
Suppose -5*o - c - 2*c - 525 = 0, -4*c = -4*o - 420. Let k = -86 - -24. Let m = k - o. Is m composite?
False
Let j(x) = -x**3 + 23*x**2 - 2*x + 5. Is j(19) prime?
False
Suppose 832 = j - c, -15 = c - 6*c. Is j prime?
False
Is (-6)/(-12) + 1466/4 a prime number?
True
Let y(g) = -11*g - 10. Let w(m) = -22*m - 21. Let s(c) = 3*w(c) - 7*y(c). Is s(5) composite?
True
Let s be (-3)/(-3)*2 + -8. Let i(c) be the second derivative of c**4/6 + 3*c**3/2 + 5*c**2/2 - c. Is i(s) a composite number?
False
Suppose 2*s + 2701 = 5*g, -2*g + 4*s + 593 + 481 = 0. Is g prime?
True
Suppose -2*s - u + 19 = -80, 5*u = 4*s - 219. Suppose 4*b - 161 = 5*i + s, -4*b + 168 = -4*i. Is 121/i*(-9 + 1) composite?
True
Let o = 4 + 1. Let n(c) = -12*c**3 + c**2 + 2*c + 1. Let p be n(-1). Is (o + 0)*p + -1 prime?
True
Suppose 0 = -3*i + 5*i. Suppose -5*a + p + 274 = i, -3*p - 4 = -7*p. Let v = 138 - a. Is v a prime number?
True
Let a be (-10)/(-4)*(-6)/(-1). Suppose a = 7*n - 6*n. Is n a prime number?
False
Suppose 3*q - 4*c = -2*c + 85, -3*c - 143 = -5*q. Suppose q - 162 = z. Is 2/7 + z/(-7) a composite number?
False
Suppose 2*t = -73 + 743. Suppose 6*y - t = y. Is y composite?
False
Let g(z) = -z**3 + 13*z**2 + 2*z - 18. Let r be g(13). Suppose -r*j + 7*j + 53 = 0. Is j prime?
True
Suppose 22 = -4*c - 2. Let q(y) = -y**3 - 5*y**2 + 5*y + 3. Let a be q(c). Suppose a + 46 = x. Is x a composite number?
True
Let y be (-2)/8*3*-4. Suppose 3*m = -3*x + 15, -x + y*m - 7*m + 20 = 0. Suppose x = 5*s - 4*h - 409, 4*s = -3*h + 6*h + 328. Is s a composite number?
True
Suppose 4*j + 185 = 5*d, 5*d = 5*j + 2*d + 228. Let s = j - -96. Suppose 2*x - s = x. Is x a composite number?
True
Suppose 8725 = 8*s - 22755. Is s a composite number?
True
Suppose -11*b = 917 - 8628. Is b a composite number?
False
Suppose -k = -4*k - 2*u + 15, 2*k - 10 = u. Suppose -k*q - 246 = -7*q. Is q a composite number?
True
Let d(y) = 33*y - 2. Is d(5) a prime number?
True
Let m = -451 - -219. Suppose 4*l + 554 = -762. Let z = m - l. Is z a prime number?
True
Suppose -3*a = n + n + 11, 5*n + 3*a = -50. Is (n - 4)/(3/(-6)) a prime number?
False
Let u(b) = b - 2. Let s be u(5). Let h(c) = s*c + 5 + c**2 - 5. Is h(-5) prime?
False
Suppose 5*h = -20 - 40. Let c be h/(-18) + (-14)/3. Is 15 + (c/(-2) - 3) a prime number?
False
Suppose 3*q = -2*q + 415. Suppose -2*g - q = -397. Is g a composite number?
False
Suppose 3*u = 2*w - 21, 4*w + u - 22 = -1. Suppose -2*j = 5*v - 255, -5*j - w*v = -3*v - 590. Is j a composite number?
True
Let p(d) = -d**2 + 9*d + 9. Let c(z) = -2*z + 4*z - 3 + 0*z. Let u be c(5). Is p(u) a prime number?
True
Suppose 0 = -9*f + 5*f. Let u(l) = -3*l + 2*l + 68 - 1. Is u(f) composite?
False
Let o = -5 - -12. Let n = 102 - o. Is n a prime number?
False
Let q(n) = -29*n - 2. Is q(-3) a composite number?
True
Suppose 4*n + 38 = 5*r, 4*r + 0*n = -3*n + 49. Is r prime?
False
Let b = -10 - -7. Let w be 260*(b - -7 - 3). Suppose -3*r - u = -w, 5*r = -3*u - 193 + 633. Is r a composite number?
True
Let m(k) = k**2 + k + 10. Suppose -2 - 6 = -5*r - 3*z, -16 = -2*r + 2*z. Let y be r/(-10) + (-2)/(-5). Is m(y) prime?
False
Let n(g) = 1. Let o(z) = -z - 4. Let b(x) = -4*n(x) - o(x). Let m be b(5). Suppose 0 = m*d + 32 - 277. Is d a prime number?
False
Suppose -2*r - r + 1923 = 0. Is r a composite number?
False
Let i(l) = -l**2 + 6*l + 1. Let w be i(7). Let q be (-2)/6 + (-182)/w. Let x = q - 16. Is x composite?
True
Let v = 1440 - 551. Is v a composite number?
True
Let w be (-21 + 1)*12/(-8). Suppose 18*m - 16*m = w. Is m prime?
False
Let o(l) = -l**2 - 6*l - 2. Let f(z) = -z**3 + z**2 - 1. Let q(g) = 2*g**3 - g + 6. Let w(i) = -f(i) - q(i). Let c be w(0). Is o(c) composite?
False
Suppose 0*u - 2 = -u. Suppose w + 19 = 5*r + 4*w, -20 = -u*r + 5*w. Suppose -2*k = -4*d - 6 - 60, d = -r*k + 198. Is k a composite number?
True
Suppose 0 = 4*j + 5 + 27. Let l = -3 - j. Suppose -l*d - 15 = -190. Is d composite?
True
Suppose -3*c + 47 = -739. Let x = c - 53. Is x prime?
False
Let f be 4*(2 + 21/(-12)). Let d(a) = 154*a**3 + 2*a - 1. Is d(f) a composite number?
True
Suppose 7*t - 795 = 2*t. Is t composite?
True
Suppose 10*j - 652 = 6*j. Is j composite?
False
Let w(y) = 0*y**2 + 2*y + 6 + 3 - 2*y**3 - 3 - 4*y**2. Suppose 3*q = 0, g - 4*q + 9*q = -4. Is w(g) prime?
False
Suppose 4*w + 3*n - 832 = 0, 5*w - 517 - 530 = -2*n. Is w prime?
True
Let k(g) = -6*g - 5. Suppose 0 = 2*i + 2*i - 20. Let c(m) = m - 9. Let h be c(i). Is k(h) composite?
False
Let m(s) = -s**3 + 1. Let h(c) = -2*c**3 + 4*c**2 + 4*c + 3. Let w(g) = -h(g) + 3*m(g). Let t(o) be the second derivative of w(o). Is t(-11) prime?
False
Let i(c) = c**3 - 4*c**2 + 7*c - 5. Suppose 0 = -3*o + 6*d - d - 146, 4*o - 3*d = -180. Let s be 4/(-14) + (-306)/o. Is i(s) a composite number?
False
Let p = 772 + -71. Is p a composite number?
False
Let s = -82 - -119. Is s composite?
False
Let w = -567 + 1684. Is w a prime number?
True
Let p(l) = 6*l**2 - 5*l**2 + l + 1 - 2. Suppose 4*a = 9*a + 20. Is p(a) a composite number?
False
Suppose 36*d = 33*d + 633. Is d prime?
True
Let c(z) = 41*z - 3. Is c(2) composite?
False
Suppose 4*o - 553 = 259. Is o composite?
True
Suppose 7*w = 4*w + 753. Is w prime?
True
Suppose 14*m = 18*m - 12076. Is m a prime number?
True
Is (10/30)/((-1)/(-66)) prime?
False
Suppose 2*y + 40 = 4*y. Let a(m) = m + 1. Let p be a(5). Suppose -4*w = -y, -2 - p = -o + 3*w. Is o prime?
True
Let t(v) be the third derivative of -23*v**7/5040 - v**5/30 - 3*v**2. Let i(z) be the third derivative of t(z). Is i(-7) a prime number?
False
Suppose -3*h - 3*l = -6396, 3*h - 4*l - 3677 = 2698. Is h a composite number?
False
Let z = -57 - -94. Is z a composite number?
False
Let u(h) = -9*h**2 + h. Let s be u(-1). Let d be s/(-35) - (-24)/14. Suppose d*i = v - i - 10, 41 = 3*v + 2*i. Is v a composite number?
False
Let a = 1595 - 496. Is a a composite number?
True
Let j(w) = -36*w - 7. Is j(-11) prime?
True
Let z be 1 + 1 - (-2 + 0). Suppose z*t = 3*t. Suppose -3*y + 2*d + 1 = 0, -y + 15 = 3*d - t*d. Is y a composite number?
False
Let l = 7 + 35. Let b be l/8*(-16)/4. Let v = b + 70. Is v composite?
True
Let t = -581 - -271. Is (2/(-5))/(2/t) a prime number?
False
Let j(d) = -1. Let f(p) = 7*p. Let s(y) = f(y) + 5*j(y). Let u(o) = 11*o - 8. Let l(m) = 8*s(m) - 5*u(m). Is l(2) a composite number?
False
Let a(t) = -88*t + 3. Let u be a(-3). Let p = -124 + u. Is p prime?
False
Let k(w) = -36*w - 1 + 8 - 8. Let x(v) = v + 4. Let s be x(-5). Is k(s) a composite number?
True
Suppose j + 2554 = 3*j. Is j a composite number?
False
Suppose 4 = -z + 1. Let c = 14 + z. Is c a prime number?
True
Suppose -4*g - i + 22 = 0, -g = 4*i - 3 - 10. Suppose -p = -3*w + g, -15 = -5*w - 0*p + 5*p. Suppose 66 + w = q. Is q a prime number?
True
Suppose -4*z + 10502 = 2*o, 5263 = 2*z - 2*o - o. Is z composite?
True
Suppose 2*m + 1083 = f, -3*f + 5*m + 1728 + 1523 = 0. Is f a composite number?
False
Suppose 0 = -3*y + 9, 6*z = 3*z - 4*y + 18. Suppose -z*q - q - 21 = 0. Let b(i) = -i**3 - 6*i**2 + i - 5. Is b(q) composite?
False
Suppose -3*t + 1438 + 1334 = 0. Let b = t + -593. Is b composite?
False
Suppose -y + 25 + 39 = 0. Let a = y + 35. Suppose -l = 2*l - a. Is l prime?
False
Suppose 0 = -2*s + 26 - 2. Suppose 2*q - 58 = -s. Suppose -t + 8 = -q. Is t composite?
False
Let t = -9 + 26. Let o be -1 + 0 + t*39. Suppose v - o = -v. Is v a prime number?
True
Let o(m) = -m**3 + 3*m**2 + 2*m + 1. Let z be o(5). Let t =