 -i - 3*i = -5036. Is i a composite number?
False
Let z = 10 - 7. Suppose -4*a + 0*n + 4*n = -216, -83 = -2*a - z*n. Is a composite?
True
Let p be (-1)/(-3 + (-2310)/(-771)). Suppose 0 = -5*m + 3*m - q + p, -q + 638 = 5*m. Is m prime?
True
Is 560/(0 + 4) - -2 a prime number?
False
Suppose 0*s + 8396 = 4*s. Is s composite?
False
Let f(c) = c**3 - c**2 + c. Let j be f(1). Is 4*13 + j/1 a prime number?
True
Let j be 2/(-3) - (-290)/30. Let n = j + 2. Is n a prime number?
True
Let p(w) = 3*w**2 + 21*w + 25. Is p(-13) a composite number?
True
Let u be 6/4*(1 + 1). Let k be -39*(-3 - (u - 5)). Suppose 4*b - k = 1. Is b a composite number?
True
Suppose 0 = 9*m - 12*m + 597. Is m a composite number?
False
Let i be 1/5 + (-7436)/(-20). Let j = i + -215. Is j a composite number?
False
Suppose -4468 = -3*p + 3695. Is p prime?
False
Let l = -2 + 5. Suppose l*j - 5*j + 230 = 0. Suppose -7 = -c + 4*i, 3*c + 5*i + 43 - j = 0. Is c prime?
True
Suppose h = -4*h + 25. Suppose 5*x = 5*g - 665, -h*g + 3*x = -390 - 277. Is g a prime number?
False
Suppose 0 = 2*m - 5*m + 3. Let g(d) = 4*d - 1. Is g(m) composite?
False
Let a be ((-4)/3)/((-4)/222). Let u(j) = -j**3 + 14*j**2 - 13*j - 9. Let v be u(12). Let o = v - a. Is o prime?
False
Let v be 13668/(-18) + 2/6. Let o = v - -1186. Is o a composite number?
True
Suppose 0 = 3*l - 8*l + 65. Is (-1 - l)*(-2 + 1) composite?
True
Suppose 5*q + 10 = 0, 6*q + 575 = 3*f + 5*q. Is f composite?
False
Suppose -3*n - 4*l = -n - 1846, -5*n = -2*l - 4591. Is n composite?
False
Suppose -3*w = -166 - 194. Let c = 169 - w. Is c a composite number?
True
Let u(x) be the second derivative of -163*x**5/20 - x**4/12 - x**3/6 + 3*x. Is u(-1) a prime number?
True
Suppose 244 = 4*b - 96. Is b prime?
False
Let x = -53 + 4600. Is x a composite number?
False
Suppose -6 = 2*x - 4*x. Suppose -x*i + 31 + 80 = 0. Is i prime?
True
Let z(a) = 13*a**2 + 3*a + 2. Let c(k) = -38*k**2 - 8*k - 6. Let i(v) = -6*c(v) - 17*z(v). Let j(y) be the first derivative of i(y). Is j(4) a composite number?
False
Suppose -u = 4*u - 25. Suppose -2*y = 3*f - 199, u*f - 41 - 148 = -2*y. Suppose 3*p + p + w = 147, 3*p = -4*w + y. Is p prime?
True
Suppose 0 = -s - 5*y - 3 - 4, -4*s - y = 47. Let a(v) = -11*v + 7. Is a(s) composite?
False
Is (-4)/(-26) + (-162684)/(-156) a composite number?
True
Suppose -1626 = -3*v - 3*z, -5*v = -4*v + 5*z - 546. Is v a composite number?
False
Let r = 178 + -51. Is r a composite number?
False
Let u be 3 + -1*(1 + 0). Suppose 4*y + u*t = 36, -5*y = -t + 4*t - 43. Is y a prime number?
True
Suppose -2*x + 0*m + 4*m = -30, 5*x = 5*m + 50. Suppose 933 = x*u + 138. Is u prime?
False
Let b(u) = 10*u + 16. Let x(y) = -15*y - 24. Let l(c) = 7*b(c) + 5*x(c). Let w be l(-7). Suppose f + 0*f - m = 11, 5*f + 2*m = w. Is f a composite number?
False
Let q(g) = 11*g**2 - 3*g - 13. Let i be q(-11). Let c = 1938 - i. Is c a prime number?
True
Let w(v) = v**2 - v + 5. Let a be w(0). Let n = 6 + a. Is n prime?
True
Suppose 0 = 5*t - z - 2378, 0 = 6*t - 3*t - 5*z - 1440. Suppose -5*q = -0*q - t. Is q composite?
True
Let p = 81 - 78. Let s = -4 + 7. Suppose -2*n + 4*c = -78, 2*n = -s*n + p*c + 167. Is n a prime number?
True
Let q(i) = -i**3 + 9*i**2 + 10*i + 13. Is q(8) prime?
True
Suppose -749 = -5*z + 871. Suppose -304 = -4*m + z. Is m a prime number?
True
Let s(q) = q**3 + 4*q**2 - q + 2. Let r(k) = -k**2 - 4*k. Let z be r(-3). Let f be s(z). Let w = f - -29. Is w prime?
False
Let p(g) = -8*g - 1. Suppose -5*k = -k - 16. Suppose -4*d = 8 + k. Is p(d) prime?
True
Let z = -1024 + 1575. Is z prime?
False
Let m(l) = 4*l - 2. Let k be m(2). Let b(o) = -o**2 + 6*o + 2. Let j be b(k). Is -3*(j + 303/(-9)) a composite number?
True
Suppose -3*h - h + 60 = 0. Suppose d = h + 4. Is d prime?
True
Let j(d) be the second derivative of -d**4/12 + 4*d**3/3 + 13*d**2/2 + d. Let x be j(9). Is (92/6)/(x/6) composite?
False
Let o(q) = -q**3 - 5*q**2 + 2*q - 9. Let r be o(-7). Let u = r - 24. Is u composite?
True
Is (6346/66 + (-12)/(-66))*3 prime?
False
Let f(d) be the first derivative of -31*d**2 + 3*d + 2. Is f(-2) a prime number?
True
Suppose -5*v + 2*v = 0. Suppose 65 = m - v. Is m prime?
False
Let t be (72/15)/(2/35). Let c = 39 - t. Let j = -6 - c. Is j composite?
True
Suppose 4*q = f + 13 + 4, 3*q = 3*f + 24. Is 28 + f - 3*-1 prime?
False
Let v be (0 - (0 - 0))/(-2). Suppose v = -0*x - x + 115. Is x a prime number?
False
Suppose 3*k - 4*t - 1329 = 0, 3*k - t + 0*t = 1320. Is k composite?
False
Suppose -210 = -4*c + 106. Is c composite?
False
Suppose 3*b - 3*c - 459 = 0, -2*b = -4*c - 236 - 78. Is b a prime number?
True
Let l(a) = a**2 + 5*a + 2. Suppose 2*v + 30 = 2*r, 3*v - 4 = 2*r - 48. Let m be v/3 + (-2)/6. Is l(m) prime?
True
Suppose 20502 + 937 = 11*w. Is w prime?
True
Suppose 5 - 1 = 2*v, 4*v - 230 = -3*u. Is u composite?
True
Let j be (1431/6)/(2/4). Let d = 731 - j. Is d a prime number?
False
Let n = -789 + 2636. Is n prime?
True
Let q = -7 + 7. Suppose q = -2*h - 1 + 7. Is h a prime number?
True
Is 391/3 - 14/(-21) a composite number?
False
Suppose -n - 2*c = 103 - 592, -3*c = 2*n - 982. Is n composite?
True
Let t(a) = -a**3 - 6*a**2 - 7*a + 5. Let j be (-4)/6*(5 - 8). Let w be 0 - 1 - (3 + j). Is t(w) composite?
False
Let u = 2 + -4. Let z be (u - -1)/((-5)/905). Let x = z - 116. Is x a prime number?
False
Let a = -6 + 6. Suppose 3*b - y + 3 = 4*y, -3*y = -b - 5. Suppose -5*k = -4*g - 403, a = -2*g - b. Is k prime?
True
Let q(c) be the first derivative of -21*c**4 - 2*c**3/3 - c**2 - c - 1. Is q(-1) a composite number?
False
Suppose 0 = -3*u - d + 3296, -2*u + 3*d + 2189 = 2*d. Is u prime?
True
Let h = -576 - -2035. Is h a composite number?
False
Is -3*(2 - (44 + -1)) prime?
False
Let a = 312 + 69. Let t = -196 + a. Is t a prime number?
False
Let n = 3 + 0. Suppose -4*o - 5*g + 18 = 0, 3*o + 2*o + n*g - 16 = 0. Suppose -53 = -o*v + v. Is v a composite number?
False
Let q = -1 - -3. Let y be 9*q/(4/94). Is (-3)/6 + y/2 prime?
True
Let z = -2136 + 3191. Is z composite?
True
Let d be (-18)/(-2)*(-2)/(-1). Suppose -d = -4*c + c. Is c a composite number?
True
Suppose -11 - 5 = 4*b. Is (-1690)/(-8) + 1/b a composite number?
False
Let k(v) = -v**2 + 4*v - 1. Let a be k(3). Suppose a*t = 3*q - 3*t - 190, 5*q - 4*t - 295 = 0. Is q prime?
False
Let l = -246 + 433. Is l a prime number?
False
Let b(w) = -w**2 - 1. Let z(o) = -3*o**2 - 57. Let u(d) = 4*b(d) - z(d). Is u(0) a composite number?
False
Suppose 6*k = 2*k - 48. Let p = k - -19. Is p a prime number?
True
Suppose -n - 4*b + 5*b = -788, 5*b - 800 = -n. Let x be 10*(-7)/((-175)/(-10)). Is (n/25)/(x/(-10)) a prime number?
True
Let x be ((-27)/6)/((-1)/2). Suppose 0 = v + 3*c, -2*v + 0*c + 3*c + 18 = 0. Let r = x - v. Is r a prime number?
True
Suppose 11725 = 8*l - 22939. Is l composite?
True
Let h(s) = -3*s + 3. Let z = 1 + -2. Let q be 2/z + 10/(-5). Is h(q) composite?
True
Is -10*(-1)/2*337/5 a composite number?
False
Suppose -4*n = -2*n. Suppose 4*s - 5*s + 83 = n. Is s a prime number?
True
Let o = 485 + -345. Suppose -3*u = -362 + o. Is u a composite number?
True
Let a(x) = 5*x**3 + 2*x**2 - 4*x + 4. Suppose 4*m - 1 + 5 = 0. Let k be (m - 4*-1)*1. Is a(k) a prime number?
False
Suppose -2764 = -43*z + 39*z. Is z a composite number?
False
Suppose w = 6*w. Suppose -v + 6*v = x + 748, 5*v - 5*x - 760 = w. Is v a composite number?
False
Let m be (0 + 1)*(-480)/3. Let h = -105 - m. Is h a prime number?
False
Let x(p) = -p**3 - 4*p**2 + 1. Let r be x(-2). Suppose -4*s + 116 - 28 = 0. Let y = s + r. Is y a prime number?
False
Let n = 174 + -65. Is n a composite number?
False
Let o(g) = 56*g**2 + 11*g - 29. Is o(8) a composite number?
False
Let w = 9 + -6. Suppose 0 = w*n - 9, 5*v - 4*n + 126 = 714. Suppose 5*m = -4*c + c + 154, 2*c - m = v. Is c prime?
False
Let u = -41 + 94. Is u a prime number?
True
Suppose -4*k = -20, 0 = -2*o + 3*k + 397 - 6. Is o a composite number?
True
Let i = 1027 + -483. Suppose i = 3*r - 161. Is r a prime number?
False
Let n be (96/(-10))/((-3)/120). Suppose 0 = -4*g + 2*o - n, 2*g + 4*o + 196 = 3*o. Let r = -12 - g. Is r composite?
True
Suppose 4*f + 6*d - 7*d = 12, -d + 24 = 5*f. Let y(r) = -3*r + 6 + 3*r + 0*r - r. Is y(f) a composite number?
False
Let v = 3526 - 865. Is v composite?
Tr