= m**3 - m + 1. Let a(u) = b(u) + 2*o(u). Is a(-2) composite?
False
Suppose -3*q - 3 = 4*n - 32, n - 2*q = 21. Is n a composite number?
False
Suppose 15 = s + 11. Suppose -2*i - 1026 = -5*x, -s*i + 5*i = 5*x - 1028. Is x a prime number?
False
Suppose -2 = -3*m + 13. Suppose m*f + 2*g - 98 = 0, -f - g = -2*g - 21. Suppose y = 3*y - f. Is y composite?
True
Let y be 18/24*(-8)/(-3). Suppose -223 = g - y*g. Is g composite?
False
Suppose 4*q - 2676 = -3*s + 664, 4*s - 4470 = 3*q. Let r = s - 703. Is r a prime number?
False
Let l be (9/(-4))/((-1)/(-20)). Let r = l - -82. Is r a prime number?
True
Let b = 942 + -496. Is b a composite number?
True
Suppose 5*v = 5*k - 1035, -5*k + 992 + 47 = -4*v. Is k composite?
False
Let q be (-130)/(-35) + (-2)/(-7). Let n(s) = 48*s**2 - 4. Let i be n(q). Suppose -3*l - l + i = 0. Is l prime?
True
Let z be (-3)/(-6) - 22/(-4). Suppose i = f - 2*f - 3, 4*f + 2*i + z = 0. Suppose -2*g = -5*g + 2*d + 19, -5*d - 25 = f. Is g a prime number?
True
Let k(v) = 8*v - 15. Suppose -i = -3*q - 3, 0 = -3*i - 3*q + 3 + 6. Suppose 2*g - 5*d = 20, 2*d = -6*g + i*g + 30. Is k(g) composite?
True
Suppose 2*x - 16 = -2*x. Suppose 5*u + x*c - 279 = 0, -u - u - 4*c = -102. Is u composite?
False
Suppose -2*a + 7*a - 595 = 0. Is a a prime number?
False
Let q = -9 - -6. Let d(y) = 5*y**3 + 15*y**2 + 9*y - 1. Let n(h) = 4*h**3 + 14*h**2 + 9*h. Let g(o) = q*d(o) + 4*n(o). Is g(-10) a prime number?
True
Let c be 2/1*(-1)/2. Let z = c - -3. Suppose -5*r + z*r = -249. Is r prime?
True
Suppose 4 = -s + 6. Suppose -4*t - 126 = -s*w - t, 4*t = -16. Is w composite?
True
Let w(x) = -24*x + 3. Let v(y) = y**3 + 4*y**2 + 3*y + 5. Let z be v(-4). Let c be w(z). Let j = c - 76. Is j composite?
True
Suppose j + 13 = t, 2*t - 17 = 4*j + 1. Let z = -7 + t. Suppose 3*m - m + 87 = h, -z = 5*m. Is h a composite number?
False
Is -2*3*14163/(-18) a composite number?
False
Suppose 4*t + 4*p - 25 + 69 = 0, -29 = 3*t + 5*p. Let y = 1 - t. Let n = 7 + y. Is n a composite number?
True
Let f(z) = -1 - 4 + 7*z + 2. Let w be (-6)/(-21) - (-80)/14. Is f(w) composite?
True
Let j be (-4)/14 + 2421/21. Let s(a) = -7*a + 3*a + 3*a + j. Is s(0) prime?
False
Let z = -3 + 1. Let h be 1*z*1 + 8. Let x = 85 + h. Is x composite?
True
Let v(y) = y**3 - y + 51. Let x be v(0). Suppose -4*w + 95 = -3*a + 2*a, 2*w + 3*a - x = 0. Suppose 3*j = 5*s - 32 - 0, 3*s = -3*j + w. Is s composite?
False
Let s(c) = -c**3 - 5*c**2 + 8*c - 7. Is s(-8) prime?
False
Let n(y) = -170*y + 23. Is n(-11) composite?
True
Let p = -293 - -497. Let j = p + -77. Is j composite?
False
Suppose 3*q + 197 = -3*w - 43, -5*q = 5. Let c = 147 - 263. Let u = w - c. Is u a prime number?
True
Let x be 2/3 + 15/(-9). Let j = 4 + x. Is -159*1*j/(-9) a prime number?
True
Let n be ((-6)/9)/((-2)/2037). Let s = n + -96. Is s prime?
False
Let w = 49 + 268. Is w a composite number?
False
Suppose 3*x = 2*k - 0*k + 148, 4*x - 363 = 5*k. Let g = 131 + k. Let f = g - 21. Is f a prime number?
False
Suppose -n - 4*f = -0*f + 6, 0 = -3*f - 3. Let b be n/(-2 + 4) - -1. Is (1 + b)*127/1 a composite number?
False
Let w = 5 - -9. Is w composite?
True
Let t(u) = 19*u + 9. Let b(k) = 39*k + 29. Let w(v) = 13*v + 10. Let l(f) = -4*b(f) + 11*w(f). Let o(x) = 7*l(x) + 5*t(x). Is o(5) composite?
False
Suppose 5*x - 4 = -0*j + 3*j, 2*j + 4 = 3*x. Let l = -5 - j. Is ((-9)/l)/((-1)/7) a prime number?
False
Let o = -4 - -6. Let j be o/(-4) - 7/(-2). Is -1*(-1 + j) + 27 prime?
False
Let s be 22/5 + 6/(-15). Is (-20)/(-2)*14/s prime?
False
Let f be (-12)/(-9)*12/8. Let g(s) = -4*s + 28*s**3 + 4*s**2 + 2*s - 2*s**f + 1 + s**2. Is g(2) a prime number?
True
Let q be -2 - (-1)/(-1)*-6. Suppose -q*w - 1 + 14 = c, w + 1 = 4*c. Suppose 2*u - 37 = -w*r, -2*u + 0*r = -5*r - 61. Is u a prime number?
True
Let c(p) = p**3 - 3*p**2 - 5*p + 4. Let y be c(4). Suppose y = 5*d + 5*x - 2085, -4*d = x - 1785 + 111. Is d a composite number?
False
Let b = 420 - 236. Suppose 0 = 4*y - 5*c - 0*c - b, -4*y + 184 = 2*c. Is y composite?
True
Suppose x = -5*d - 15 + 3, x - d - 6 = 0. Let o(b) = 8*b**2 + 0 - 4 + 0*b - b. Is o(x) a composite number?
True
Suppose 2*b = 722 + 8. Is b a composite number?
True
Suppose 0 = q + 4*q - 35. Suppose -4*m = -q*m + 753. Is m composite?
False
Is (-13554)/(-2) + -4 + -4 composite?
True
Let p be 60/9 - 8/12. Let f(z) = -z**3 + 6*z**2 + 7*z - 7. Is f(p) a prime number?
False
Suppose 2*h = 4*h + 2. Let k = h + 3. Suppose 0 = z + 5, -d + 3*z = k*z - 72. Is d prime?
True
Let l = -5 + 6. Let d = 4 - l. Suppose -d*n - n = -364. Is n composite?
True
Let r be (-12)/(-4)*(-82 - 1). Let x = -138 - r. Is x a prime number?
False
Suppose 15 = 4*x - w - 36, -5*x - 3*w = -85. Suppose 2*j - x = -6. Is ((-6)/j)/((-2)/20) prime?
False
Let j(k) = -7*k**2 + k - 2*k**2 - k**3 - 5 - 5*k. Is j(-9) composite?
False
Let f be 0/(-2*(-2)/4). Suppose -2*j - 8 = -d - 2*d, -5*j + 2*d - 9 = f. Is 3/(-6)*74/j a prime number?
True
Let a = -105 + 232. Is a a prime number?
True
Let n = 2 + 16. Suppose -b = -17 - n. Is b prime?
False
Let q be 9/(-18) + (-6)/4. Is 74*q/(-4)*1 composite?
False
Let f(y) = -y - 11. Let o be f(-9). Let d be -3*10/(-12)*o. Let i(b) = b**3 + 9*b**2 - 7*b - 2. Is i(d) a composite number?
True
Let i(f) = 5*f**3 - 3*f**2 + 6*f - 2. Let a be i(4). Suppose 2*o + 5*b = -a, 3*b = -b. Is 2*(o/(-2) + -1) a prime number?
False
Suppose -2*o - 5*j - 1 = -4, 5*o - 18 = -2*j. Suppose -o*c = 18 - 86. Let x = 63 - c. Is x prime?
False
Let t = 2 - -1. Suppose -8 - 122 = -k. Suppose -g + k = -3*c, t*g - 529 = -g + 3*c. Is g a composite number?
True
Let c(r) = 4*r + 5. Is c(12) prime?
True
Is ((-134)/4)/(3*4/(-24)) a composite number?
False
Suppose 0 = r + r. Suppose -4*g + 166 = 2*y - r*g, -4*g = -3*y + 289. Is y composite?
True
Suppose -1 = -0*l - 3*l - r, -2*l = -4*r - 24. Let g(i) = -i + 4 - 2*i**l - 2 + i**3 + 2*i. Is g(3) prime?
False
Suppose -2*p - 10 = -4. Let q(m) be the third derivative of -29*m**4/24 - m**3/3 - 2*m**2. Is q(p) a composite number?
True
Let z(n) = n. Let r be z(5). Suppose -4*q + 16 = 5*g - 0, 2*g - 20 = -r*q. Suppose -2*h + 2 + 12 = g. Is h prime?
True
Suppose -9 = g - 5*j, -3*j = j - 8. Let o = g - -3. Suppose o*z - 51 = 53. Is z a composite number?
True
Let y = 347 - -99. Is y a composite number?
True
Let l(z) be the second derivative of z**3 + 5*z**2/2 + 4*z. Is l(12) composite?
True
Suppose 2*a = 7*a. Suppose a = -k - k + 430. Is k prime?
False
Suppose 4*x - 2*w - 1453 = -7*w, -2*x + 719 = 5*w. Is x a prime number?
True
Suppose 0 = 2*m - 4 - 0. Suppose m*r = -2*r + 2692. Is r composite?
False
Let s be 2/(-13) - 660/(-65). Let r(z) = z - 8. Let l be r(s). Suppose -d = l*d - 42. Is d a prime number?
False
Let r(b) = 26*b**2 + 3*b - 6. Is r(4) a composite number?
True
Suppose 3*z = -2*z + 25. Let x(q) = q**3 - 6*q**2 + 6*q - 3. Let u be x(z). Suppose 0 - u = -2*p, -b + 16 = -3*p. Is b a prime number?
True
Let v be ((-16)/(-10))/((-2)/(-440)). Suppose 91 = -3*r + v. Is r a prime number?
False
Let a = 530 + 221. Is a a prime number?
True
Let s(y) = y + 8. Let d be s(-8). Suppose -5*z + 0*z - 95 = d. Let b = 34 + z. Is b composite?
True
Suppose -4*r = -5*o - 6, -5*o + 2*r - 6 = -4*o. Suppose o*v + 63 = 5*v. Suppose 4*w = w + v. Is w a prime number?
True
Let y = 14 - 9. Suppose -2*r + y*r = -4*u - 7, r - 2*u = 11. Suppose r*v - 244 = v. Is v a composite number?
True
Suppose c + 3 = 3*n + 26, 45 = -5*n + 3*c. Let k = -2 - n. Suppose 0 = -k*y + p + 21, -p - 9 = -2*y - 0*p. Is y a prime number?
False
Let j = 6 - 3. Suppose 0*l + l + 3*s - 247 = 0, -4*l + 988 = -4*s. Suppose -4*y = -5*g + l, -j*g + y = -44 - 107. Is g prime?
False
Let r = 0 - -15. Suppose 3*j - r = 0, -2*k + 4*j + 121 = -101. Is k a composite number?
True
Let t be -2 - (-3 - (8 + 1)). Is (-4)/t - 192/(-5) a composite number?
True
Let i(c) = c - 4*c - 2*c + 10. Is i(-9) a composite number?
True
Let q = -21 + 40. Suppose -4*c + 9*c - q = -s, 3*s = -2*c + 18. Suppose z = 2*h + 3*h + 47, 56 = c*z + 2*h. Is z composite?
True
Let m be ((-2)/3)/(5/(-15)). Suppose 2*t - m*w - 37 = w, -t - 4*w = -13. Let x = 66 - t. Is x composite?
True
Let i(k) = 8*k**2 + k. Suppose t = 5*f - 10 - 6, -4*f + 4*t + 16 = 0. Let u = f + -4. Is i(u) composite?
False
Suppose -4*l + w = -92, -4*w - 5 = 11. Su