
True
Let t(i) = -34*i**3 + i**2. Is t(-1) composite?
True
Suppose 10 = 4*f - 6. Suppose 3*a - 6 = -i, f*i - 2*i = -6. Suppose 73 = a*k + 16. Is k a composite number?
False
Suppose 2*y - 3*n = 674, y - 3*n = 6*y - 1643. Is y a prime number?
True
Suppose 0*p + 9 = 3*p. Suppose x - 142 = -x. Suppose 4*s + 37 = t, 2*t - x = 5*s + p. Is t composite?
False
Let c(m) = 5*m**2 + 12*m + 8. Is c(9) composite?
False
Let h = -16 + 9. Let l(s) = 2*s**2 + 6*s + 9. Let v be l(h). Suppose d + 0 = v. Is d a prime number?
False
Let n be 4 - (-1 + 7) - -5. Let p be 2*(-1)/(-5)*10. Suppose l - 39 = n*k - 195, p*k + l = 215. Is k composite?
False
Let d be -4*(4/2)/4. Is (0 - d)*(-2095)/(-10) a composite number?
False
Let r be (2 - 4) + (-1 - 26). Let n = r + 142. Is n a composite number?
False
Is (-1236)/(-48) + 1/4 prime?
False
Suppose -10 = 5*s + 5, 0 = 4*k + s - 1. Let v = 4 - k. Suppose -v*y + 44 = -61. Is y a prime number?
False
Let r(v) = -v**3 + 4*v**2 - 23. Is r(-14) a prime number?
False
Let g(o) = o**2 + 5*o - 3. Let j be g(-6). Suppose j*m - 5*m = 194. Let a = 184 + m. Is a a prime number?
False
Is (-4)/16 + (-6068)/(-16) a prime number?
True
Suppose 4 = 2*h, p - 95 - 70 = -4*h. Is p composite?
False
Suppose -3*l + 9 = -0. Suppose 0 = l*g + g - 196. Is g a composite number?
True
Let l = -1 + 4. Suppose 4*d - 1 = -l*c, 2*d - 3*c + 5 = 7*d. Suppose 0 = 3*r - 5*x - 242, -d*x = -2*r + 3*r - 75. Is r composite?
False
Suppose -196 = -7*j + 3*j. Let q = j + -18. Is q prime?
True
Let k(y) = 3*y + 9. Let t be k(9). Let m = 23 + t. Suppose -v = -2*v + m. Is v composite?
False
Let x = -13 - -15. Suppose -3*c + 643 = -x*m, 2*c - 3*m = 3*c - 196. Is c prime?
True
Suppose 0 = -2*x + 2*h + 28, -x + 11 = 5*h - 33. Let z(k) = -k**3 + 6*k**2 + 8*k - 7. Let g be z(7). Suppose m - x = -g*m. Is m prime?
True
Let v(l) = -l**2 + l. Let j be v(-1). Is j*2/2 + 213 a prime number?
True
Let q(n) = n**3 - 2*n**2 + 2*n - 2. Let b be q(2). Suppose 4*i + 44 + 12 = b*z, -2*z + 3*i + 61 = 0. Is z composite?
True
Let k be (146/6)/((-3)/(-9)). Let x(y) = -y**3 + 7*y**2 + y - 2. Let a be x(7). Suppose 3*h - k = -a*p, -4*p - 97 = -h - 4*h. Is h a composite number?
True
Suppose 3*p + 6*y = y - 612, -p - y - 204 = 0. Let f = -307 - p. Let u = 326 + f. Is u composite?
False
Suppose -a - 2 = -2*j, 0*j = j - a. Let f be 245/77 + j/(-11). Suppose -b + f*b = 14. Is b a prime number?
True
Suppose 0*c - 3*l = 4*c - 1243, 3*l + 599 = 2*c. Is c composite?
False
Let r = -19 + 29. Let m be (-3)/5 + (-4)/r. Let p(v) = -8*v**3 + 1. Is p(m) a prime number?
False
Suppose 16*n + 1108 = 20*n. Is n a prime number?
True
Let s(b) = b. Let g(d) = 2*d - 4. Let o(l) = g(l) - 3*s(l). Let h be o(-3). Is ((2 - 3)*71)/h a composite number?
False
Suppose -2*r + 2*i + 1254 = 0, -3*i - 3143 = -5*r - 2*i. Is r prime?
False
Let h(c) = 29*c - 2. Let t be h(10). Let i = t + -145. Is i a composite number?
True
Is 779*(4 - 2)/2 composite?
True
Let a be 3*4/(-2 - 0). Let f(u) = -3*u**3 + 3*u + 3. Let r(k) = -k**3 + k. Let o(j) = a*r(j) + f(j). Is o(2) a composite number?
True
Let v(b) = -10*b**3 - 10*b**2 + 194. Let r(n) = -7*n**3 - 7*n**2 + 129. Let g(z) = -7*r(z) + 5*v(z). Is g(0) prime?
True
Let c = 2 + 2. Suppose c*b - 3*b - 2 = 0. Suppose 134 = b*v - 0*v. Is v a composite number?
False
Suppose -3*y = -19 - 5. Let w be 33/(-12) + (-2)/y. Is (w + -323*1)/(-2) a prime number?
True
Suppose 0 = 6*c + 326 - 1754. Let i = c - 119. Is i a composite number?
True
Let z = 1010 + -207. Is z a prime number?
False
Suppose 5*v = 2*m + m + 550, -2*v + 2*m + 216 = 0. Is v composite?
False
Let s = -11 + 5. Let k(j) = -15*j**3 + 7*j**2 - 10*j + 2. Let p(r) = 7*r**3 - 3*r**2 + 5*r - 1. Let h(v) = s*k(v) - 13*p(v). Is h(-4) composite?
False
Let t(c) = -2 + 13*c + 3 - 2*c + 0. Is t(2) a prime number?
True
Let o(a) be the first derivative of a**4/4 - 7*a**3/3 - 7*a**2/2 + 1. Let x be o(8). Suppose 0 = -f + 3*u - x*u + 137, -f + 4*u = -119. Is f prime?
True
Let j = -8 + 11. Let w be -1*1/1 - -51. Let i = j + w. Is i prime?
True
Let o(j) = -j**3 + 2*j**2. Let z be o(2). Let x = -10 - -13. Suppose -3*v - x*b + 384 = z, 2*v - 251 = -3*b + 6*b. Is v composite?
False
Suppose g - 146 = -p, -5*p = g - 834 + 92. Is p prime?
True
Let c(o) = -2*o**3 + 3*o**2 - 3*o - 3. Let i = -7 - -4. Let d be c(i). Suppose -2*h + d + 11 = 0. Is h a prime number?
False
Let i(c) be the first derivative of -7*c**3/6 - c**2/2 - c + 2. Let y(r) be the first derivative of i(r). Is y(-1) a composite number?
True
Let f = -3 + 7. Let c(v) = v**3 + 4*v**2 - 4*v - 1. Is c(f) a prime number?
False
Let c be (-2)/(-1) - (0 + -1). Suppose 2*m = y + 4 - 14, c*m + 17 = 2*y. Let x = 5 + y. Is x prime?
False
Let l(s) = s**3 - 3*s**2 - 2*s - 3. Let u be l(4). Suppose 5*z - 672 = 2*w - 0*w, 0 = -5*w - u. Is z a prime number?
False
Let g = 261 - 100. Let o = 420 - g. Is o a prime number?
False
Let f(n) be the third derivative of n**6/120 - n**5/10 - 5*n**4/24 - 3*n**3/2 - n**2. Let s be f(7). Suppose d = -s*h - 4*d + 1460, 307 = h + 4*d. Is h prime?
False
Let j be 1*(2 + -1) + 472. Let w = j - 279. Suppose 4*v + 0*o = 2*o + w, 0 = 3*v - 3*o - 144. Is v a prime number?
False
Is (-2215)/(-15)*3 + 4 composite?
True
Let z(f) = f**2 - 5. Let b be z(0). Let k = -5 - b. Suppose v - 25 + k = 0. Is v a prime number?
False
Is -1*(-2 + 1)/((-6)/(-3786)) prime?
True
Is ((-682)/(-4))/((-3)/(-6)) composite?
True
Let w be (-1 - 0) + -2 - 0. Is 1/w - (-532)/21 composite?
True
Let c(q) = -q**2 + 6*q. Let s be c(5). Suppose -s*u + 2021 + 2364 = 0. Is u a composite number?
False
Suppose -2*v = 5*d, -2*v - 5*d = -4*v. Suppose -3*l - j = -1016, v = -4*j + 2*j + 10. Is l prime?
True
Let x be ((-6)/(-5))/((-2)/(-5)). Let r be (1/(-3))/(x/(-18)). Suppose 0 = -r*g + 62. Is g a composite number?
False
Suppose 2*l + 5*y = 642, -6*l + l = 4*y - 1639. Is l prime?
True
Is ((-14)/28)/(-2*2/8824) a composite number?
False
Suppose -3 = -k + 2. Suppose k*u = 214 - 59. Suppose -3*d + 2*n + 24 = 0, -d - 4*n = -u + 9. Is d a composite number?
True
Let o(k) = 2*k**2 + 7*k. Is o(5) a composite number?
True
Suppose 4*c - 5 - 3 = 0. Let l(a) = 3*a**2 + 1 + 0*a**c + 3*a - a**3 + a. Is l(3) a prime number?
True
Let d(w) = -6*w**3 - 3*w**2 + 0*w**3 - w**2 - 3 - 5*w. Let j be d(-3). Let q = j - 85. Is q composite?
False
Suppose 0 = -r + 6 - 2. Suppose -2*n - 2*d = -818, -n - 1243 = -r*n + d. Is n prime?
False
Let z(l) = -48*l. Let u be z(1). Let n be (2/(-4))/(2/u). Suppose 0*h - 4*j - 37 = -3*h, 3*j = -n. Is h prime?
True
Suppose 7*s - 2130 = 2*s. Suppose 0*k = -2*k - s. Is (-2)/1 + k/(-1) composite?
False
Let w be (-67)/13 + 8/52. Let r be w/(-2)*(-48)/(-30). Suppose -3*y + 2*u + 3*u + 216 = 0, -r*u = 4*y - 320. Is y a prime number?
False
Is 215525/333 - (-1 + (-11)/(-9)) a composite number?
False
Suppose -3*a + 0*a + 5*w = -5, 4*w = 2*a - 6. Let z = a + 8. Suppose z*o - 390 = 57. Is o a composite number?
False
Suppose -6*a = -4*a - 32. Suppose 0 = -5*x - 5, 0*q - 2*q + x + 203 = 0. Let t = q - a. Is t composite?
True
Suppose -4*x - 4 = 20. Let v = x - -13. Is v prime?
True
Suppose 2*a - 2 = 0, 0*l + 5*a - 4689 = -4*l. Is l prime?
True
Let y(r) = r**2 - 3*r - 3. Let s be y(3). Let k(c) = -18*c - 1. Is k(s) a composite number?
False
Let t(f) = 3*f - 4. Let i be t(2). Suppose i*y = 4*y - 4*u - 122, -167 = -3*y + 2*u. Is y prime?
True
Let c(w) = 120*w**2 + 2*w - 1. Is c(1) a prime number?
False
Let v(x) = 164*x**2 - 3*x + 2. Is v(1) a composite number?
False
Suppose 3*h = -h - 52. Let p = -7 - h. Let d = p + -3. Is d a prime number?
True
Suppose 0*f = f - 7. Let k = 11 - f. Is ((-14)/(-4))/(k/8) prime?
True
Is (1906/(-6))/(2/(-6)) composite?
False
Let f(b) = b**2 + 4*b + 5. Let d be f(-3). Suppose -d*c + 66 = -68. Is c prime?
True
Suppose -2*v + 1903 = -615. Is v prime?
True
Suppose -5*j - 5*w + 379 = -886, 5*j - w = 1289. Is j a composite number?
False
Let o = 8 + -6. Let l(w) = w**2 - 1. Let a be l(o). Suppose -a = -2*y + y. Is y a composite number?
False
Suppose -2*q + 6*q + 16 = 0. Let b be (q/(-5))/2*-10. Is (-1932)/(-20) - b/10 prime?
True
Suppose -2*n = -0*n - 404. Is n a composite number?
True
Let c = 1685 - 936. Is c prime?
False
Let f(m) = 54*m - 4. Let z be f(-3). Is (2 - z/8)*4 a composite number?
True
Suppose g + 4*y - 