?
True
Let n(a) be the first derivative of 31*a**3/3 - 2*a**2 + 2*a + 3. Is n(2) a composite number?
True
Is 10/(-25) - 2781/(-15) a composite number?
True
Let t(l) = l**3 - 10*l**2 + 9*l - 16. Is t(10) composite?
True
Suppose -8*x + 1530 = -502. Is x prime?
False
Suppose -5*r + 1 = -0*y - 2*y, -3*r = 9. Is 1/((y/(-158))/4) prime?
True
Suppose 5*c = 3*u - 262, 3*c - 43 - 63 = -u. Let w = 257 - u. Is w a composite number?
False
Suppose x - 3449 = -4*m, 3*m - 13736 = -4*x + 2*m. Is x prime?
True
Suppose 3*q + 0*q - 12 = 0. Suppose 2*m - 1021 = -p, -5*p + 753 = q*m - 1298. Is m composite?
False
Suppose -5*y = -4*i + 5889, 3*i + y - 5141 = -729. Is i a prime number?
True
Is 42/63 + (-616)/(-3) prime?
False
Let w(k) = -k**3 - 4*k**2 - 7*k - 6. Let s be w(-4). Let x = s + 15. Is x a prime number?
True
Let y = 227 - 14. Is y a prime number?
False
Let p = 2978 + -691. Is p a composite number?
False
Let z = 153 - -788. Is z composite?
False
Let f(o) = -26*o**3 - 4*o**2 - 2*o + 13. Is f(-4) a composite number?
False
Let f(q) = q**3 + 6*q**2 + 4*q - 2. Suppose k - g = -3*k - 19, -k - 5*g = 10. Let o be f(k). Suppose -9 = -o*l - 0. Is l composite?
False
Suppose 1221 = 2*v + v. Suppose -8 = 3*z - v. Is z a prime number?
False
Let o(h) = -h**2 + 2*h + 431. Is o(0) a composite number?
False
Suppose 129 = 4*p - 4*b - 203, -5*p + 406 = 4*b. Let l = p + 37. Is l prime?
False
Suppose -3*j = -0*j - 807. Is j prime?
True
Let m(p) = p**3 - p**2 + 7. Let n be m(0). Suppose 4*u - 2*s = -n*s + 676, -4*u - s + 676 = 0. Is u a composite number?
True
Suppose 3 = 3*g - 3. Suppose 0 = -k - g*k. Suppose k = y - 7 - 26. Is y prime?
False
Let l = -752 + 1087. Is l composite?
True
Suppose 196 - 46 = 2*d. Suppose -3*x + 3 = -2*j + 18, 0 = 5*j + 5*x - d. Suppose f = -j + 47. Is f prime?
False
Let w = 441 + 208. Is w prime?
False
Let z(r) = 9*r**2 + 26. Is z(5) prime?
True
Let i(a) = -6*a + 11*a - 7 + 20*a + 0*a. Is i(4) composite?
True
Let q = -9 + 12. Let w(u) = -13*u**3 + 17*u**2 + 4*u - 4. Let t(r) = -3*r**3 + 4*r**2 + r - 1. Let z(o) = -9*t(o) + 2*w(o). Is z(q) a prime number?
True
Let b(y) = 1 + 2*y - 7*y**2 + 3*y**3 + 5*y - 2*y**3. Let d be b(8). Suppose 5*k - 154 = d. Is k prime?
False
Let j = 474 - -175. Is j prime?
False
Let d be -2 - (1 - -1 - 8). Is (-36)/9*(-211)/d composite?
False
Let l be 1/(-2 - -2 - 1). Let p be 1 + 0 - (-12)/l. Let i(x) = x**3 + 11*x**2 - 8*x - 11. Is i(p) composite?
True
Suppose -6*l + 3*l = -48. Let g be 12/(-36) - (-28)/(-6). Let i = l + g. Is i a composite number?
False
Let m(y) = y**3 - 6*y**2 - 6*y - 2. Is m(9) a composite number?
True
Is ((-4)/8)/(2*(-2)/8648) a composite number?
True
Suppose 10*v = 5*v. Suppose v = 3*m - 39 - 66. Is m composite?
True
Suppose 2*d + 1 = -5*l, -3*l + 2 = 2*d - l. Let b = 5 - d. Let w(s) = 6*s**3 + 3*s**2 + s - 1. Is w(b) a composite number?
False
Suppose 3*m - 2*m - 2 = 0. Suppose -2*z + m*k = -2*k - 30, -k = z - 12. Is z a composite number?
False
Let m = 70 + 31. Suppose -3*s = j - m, -j = -2*s + 3*s - 31. Is s prime?
False
Let t be 130/18 + 6/(-27). Suppose 2*v = t*v - 15. Is v composite?
False
Suppose -3*m + 4*k = -2*m, 3*m = 2*k. Suppose 4 = -m*n + 2*n. Suppose -j - n*j + 273 = 0. Is j composite?
True
Is 52*(4 - 2/(-8)) a composite number?
True
Let t be 14/6 - 12/(-18). Is 100/t - 1/3 prime?
False
Let g = 1510 - -249. Is g a composite number?
False
Let y(j) = -5*j**3 + 2*j**2 + j + 2. Let x be y(2). Let o = 49 + x. Is o a composite number?
True
Let n = 22 + -16. Let y = 15 + n. Is y prime?
False
Is 3/6 + 1825/2 a composite number?
True
Let g be (-6)/15 + (-84)/(-10). Suppose -4*k + 29 = -g*k + 5*t, -5*k - 2*t + 5 = 0. Is 1*(k - (-1 - 157)) a composite number?
False
Let y = -248 + 710. Suppose -2*u + 472 = -h, h = -2*u - 3*h + y. Is u a prime number?
False
Suppose 3*o - 29 = 4*p, 1 = 5*o - 4*p - 42. Suppose -w + 16 = -o. Is w prime?
True
Let b be (-14)/(-49) + 23/(-7). Let t = -1 - b. Is -6 - -7 - (-296)/t a prime number?
True
Suppose -a - 7 = -3*r, 4*a + 2*r = -2 + 16. Suppose a*q + 20 = -2*q, 2*d - 3*q = 25. Suppose 3*j = -5*o + 24, d*o + 26 + 2 = j. Is j a composite number?
False
Let g(i) = 25*i + 11. Suppose 21 = 2*u + 5. Is g(u) a composite number?
False
Suppose -5*n - 137 + 435 = -3*r, 0 = -r + 2*n - 99. Let q = 26 - r. Is q a prime number?
True
Let h be (18/(-2))/((-5)/235). Let r = -274 + h. Is r prime?
True
Suppose -3*k = -y, -y + 1 + 1 = -5*k. Is 118/(y/((-9)/6)) prime?
True
Let c = 4 + -5. Is (c + (-1110)/4)*-2 a composite number?
False
Let i = -3 - 0. Suppose -2*y = -3*y - 3. Is (-203)/i + 2/y a composite number?
False
Suppose 0 = 4*c - 5*u - 80, -2*c + 2*u = -30 - 8. Is c a composite number?
True
Is ((-107)/2)/(4/(-40)) a prime number?
False
Suppose 2*v = -5*y + 7*v + 2630, 0 = 5*y + 3*v - 2590. Is y prime?
True
Let c(k) = -k**2 + 7*k - 6. Let n be c(4). Suppose 2*q - n = -2. Suppose -q*s - 2 - 18 = -4*r, 3*r + 7 = -4*s. Is r a composite number?
False
Let z = 83 - 44. Let y = 4 - 1. Suppose 0 = y*a - 150 + z. Is a composite?
False
Let n(a) = 5*a**3 + 2*a - 1. Let b be n(1). Suppose 3*r + 0 = b. Is 2 - (r - (-22)/(-1)) a prime number?
False
Let i(g) = -3*g**3 - 17*g**2 - 15*g - 8. Is i(-7) a composite number?
False
Suppose 0 = 3*i + 2*i + 15, 0 = -2*n + 5*i + 27. Let q = n - 5. Let c(d) = 46*d**2 + d - 1. Is c(q) prime?
False
Let w = 0 - -1. Let r be (4/(-1) - -1) + w. Is r - -78 - (1 + -4) composite?
False
Let a be -2*(-3 + 2) - 3. Is 66/4*(a - -3) composite?
True
Let m(g) = 6*g + 4. Let y be m(10). Let d = y - 27. Is d a prime number?
True
Let s be (9/(-15))/(3/15). Let i(u) = 13*u**2 - 2*u + 1. Let z be i(s). Suppose 3*t = 7*t - z. Is t prime?
True
Let v(k) be the third derivative of -3*k**6/40 - k**5/30 + k**4/12 - k**3/6 + 2*k**2. Let z be v(1). Let w = 29 + z. Is w a prime number?
True
Suppose 0 = 4*y + 16, -3*y - 621 = -7*p + 4*p. Is p composite?
True
Suppose -5*g = -3*p, -g + 2*g + 22 = 5*p. Let n be (-302)/(-6) - 2/6. Suppose p*r = -5*b + n, -8 = -2*b + 4*r - 3*r. Is b a prime number?
False
Let v(r) = 301*r - 15. Is v(4) composite?
True
Suppose -4*f + 4294 = 5*w, 2578 = 4*w - w + 4*f. Suppose w = -t + 4*t. Suppose 41 - t = -5*m. Is m a composite number?
True
Let o be (1*3)/(3/3). Let k be 3 - (-86 + o + 0). Is 2/5*(k - 1) prime?
False
Let o(c) = 16*c**2 - 1. Let j be o(-1). Let u be 216/j + 2/(-5). Is 1183/u - 2/(-4) a composite number?
True
Is (-3)/((-7)/(111916/12)) composite?
True
Let y(v) = -9*v**2 - 11*v - 15. Let f(i) = -6*i**2 - 7*i - 10. Let g(c) = -8*f(c) + 5*y(c). Is g(6) prime?
False
Suppose -y + 4*r = -149, 0 = -0*y + 2*y - 4*r - 310. Is y prime?
False
Let h be (21 - 6)*14/5. Suppose 0 = -2*w - 4*g + h, -4*w - 2*g + 63 = -3. Is w a prime number?
False
Let r(c) = -c**3 - 3*c**2 - c + 4. Let i be r(-3). Suppose i + 1 = 4*t. Suppose 2*a - 3*m = a + 178, t*a - 347 = 3*m. Is a prime?
False
Let s = 25 + -15. Let a = -5 + s. Suppose 5*u = -2*w - w + 250, u = -a*w + 28. Is u prime?
True
Suppose -k + 4 = 2*k + 2*o, 2*o + 16 = 2*k. Suppose -3*z + 372 = 3*d, 0*z = -2*d - k*z + 254. Is d prime?
False
Suppose 0*o + 5*k + 11 = o, k - 29 = -5*o. Let t(i) = 30*i - 3. Is t(o) a composite number?
True
Suppose 4*i - 4 = -0*i. Let h be (-6)/2 + (-1 - i). Let o(g) = 2*g**2 + 7*g + 4. Is o(h) a composite number?
False
Let j(o) = -o**3 - 4*o**2 - 4*o + 3. Let q be j(-5). Suppose -28 = -4*z + q. Suppose -z = -d + 3*a, 5*d - 8 - 15 = -3*a. Is d a prime number?
True
Let f = 16 + -23. Is (-6068)/(-28) - 2/f composite?
True
Suppose -3*m = -156 - 75. Is (2 + -3 - -1) + m a prime number?
False
Suppose 0 = q - 2*o - 5, -11 = 2*q - 5*q + 5*o. Is (-1070)/(-5) + 1*q composite?
False
Suppose 0 = -4*n - x + 12, -5*n - 3*x + 7*x + 36 = 0. Suppose -4 = n*f - 76. Suppose -p - 4 = -f. Is p a prime number?
False
Let d(x) = -20*x**3 + 7*x**2 + 56*x - 33. Let o(s) = -7*s**3 + 2*s**2 + 19*s - 11. Let q(h) = 6*d(h) - 17*o(h). Is q(9) a composite number?
True
Let p(n) = -3*n - 3. Let h be p(-6). Is 11180/h - 2/6 composite?
True
Let s(x) = x - 1. Let z be s(3). Suppose -k - 27 = -z*k. Suppose -i = -4*i + k. Is i prime?
False
Let h = 75 - -119. Is h a prime number?
False
Let x = -1 + 0. Is x/((-1)/3)*11 a composite number?
True
Let v = -873 + 4178. Is v prime?
False
Is ((-82)/3)/(3/(-9)) prime?
False
Suppose 5*w -