i - 127 = 3*i. Is i a prime number?
True
Let y(z) = z**3 + 4*z**2 + 2*z - 1. Let v be y(-3). Is v/(-6)*0 - -59 prime?
True
Let b = -145 - -2850. Is b a prime number?
False
Suppose -b = b + 2*c - 1288, -1283 = -2*b + 3*c. Suppose -s - 2*x = -309, -2*s + b = -3*x + 2*x. Is s prime?
False
Let x(a) be the first derivative of a**2/2 + 2*a - 1. Let h be x(-3). Is (-99)/(-3) + (-1 - h) prime?
False
Suppose -4*q + 0*q + 96 = 0. Suppose -4*l + 5*a + q = -19, -a = 3*l - 56. Let p = 14 + l. Is p a composite number?
False
Let j = 1755 - -547. Is j composite?
True
Let h be (-13)/(-11) + (-20)/110. Let k(w) = -10*w - 1. Let f(p) = 19*p + 3. Let y(c) = -2*f(c) - 5*k(c). Is y(h) prime?
True
Let m = 50 + -4. Is m a composite number?
True
Let i = 4 + 0. Suppose -i*v = -0*v - 16, -3*v - 126 = 2*j. Let c = 212 + j. Is c a composite number?
True
Suppose -x + 6 = 2*x. Suppose 3 + 1 = -x*h, -5*b + 193 = -4*h. Is b prime?
True
Let j(i) = 8*i**3 - 8*i**2 + 2*i - 6. Let u(q) = 8*q**3 - 9*q**2 + 2*q - 7. Let a(z) = 6*j(z) - 5*u(z). Is a(2) composite?
True
Let h = 19 - 7. Let i be 165/h - (-1)/4. Suppose -5*l - 6 - i = 0, -2*u + 22 = 2*l. Is u composite?
True
Suppose 0 = 2*p + 4*a - 42, 60 = 3*p + 5*a - 0*a. Let k = p + -8. Is k a composite number?
False
Let u be 133 + 1*0/1. Let d(j) = -185*j + 1. Let o be d(-1). Let i = o - u. Is i a composite number?
False
Suppose 0*k = 4*k - 296. Is k a prime number?
False
Let a = 943 - 206. Is a a prime number?
False
Let c = 54 - 33. Is 1*(c + (-2 - 0)) a prime number?
True
Suppose 1 = -y - 2. Let f(t) = t**2 + 2*t. Let k be f(y). Suppose 0 = k*v + 2*v - 95. Is v a prime number?
True
Let w = 2522 + 701. Is w a composite number?
True
Let y(p) = p**2 + 7*p + 6. Let m be y(-8). Let w = 9 + -2. Let z = m - w. Is z prime?
True
Suppose 0 = 3*a - 5*a + 794. Is a a prime number?
True
Suppose -3*h - 14 = -4*y, 0 = y - 2*y - 4*h - 6. Suppose y*x - 4*x = 4. Let l = 5 + x. Is l composite?
False
Suppose 0 = -2*w - w - 3684. Is 4/20 + w/(-10) a prime number?
False
Suppose -818 + 3582 = 4*b. Is b prime?
True
Suppose 4*b - 1320 = -4*n, 4*b = 4*n - 9*n + 1651. Is (-5 - (-5 - -2)) + n a composite number?
True
Let s(b) = -b**3 + 7*b**2 - 4*b - 8. Let g be s(6). Suppose 17 = g*l + 1, 16 = -2*c + 5*l. Is c prime?
True
Is 4*2/32 - 9254/(-8) a composite number?
True
Let m(h) = 10*h**3 - h**2 - h + 3. Let g be m(3). Suppose -3*o - o = 592. Let l = g + o. Is l a prime number?
True
Let i(j) be the second derivative of 5*j**3/6 - 2*j. Let u = 3 - 1. Is i(u) a composite number?
True
Suppose -3*i + 5*i - 14 = -3*f, 4*f = 2*i. Let c = i - -19. Is c a prime number?
True
Let r = -7 - -9. Is -1 + 87 + (2 - r) a composite number?
True
Let x be (-1)/(-5) + 16/(-5). Let d = x + 6. Suppose d*r = -r - 3*g + 34, -22 = -2*r - 4*g. Is r composite?
False
Let s be (-4 + 3)*(-2 + 1). Is (15/(-20))/(s/(-4)) prime?
True
Suppose -2*k - 290 = 7*m - 4*m, -k + 4*m = 167. Let v = k + 44. Let i = -61 - v. Is i prime?
False
Let b(s) be the second derivative of -s**4/12 + s**3/2 + 2*s. Let w be b(-3). Is (-2)/(-2)*(-5 - w) composite?
False
Suppose 11*k - 15 = 8*k. Suppose -k*s + 44 = -s. Is s a prime number?
True
Let k(u) = u**2 - 7*u - 1. Suppose 2*q - 20 - 5 = -s, s + 3*q = 30. Is k(s) a prime number?
False
Let r be ((-9)/12)/(1/(-4)). Suppose r*z - 236 = -z - 3*k, 5*z - 4*k = 295. Is z a prime number?
True
Suppose 6 = 4*z + 26. Let c(d) = -d**3 + 6*d**2 + 5*d + 7. Is c(z) a prime number?
True
Let d = -15 - -54. Is d prime?
False
Let k(s) = -s**3 + 3*s**2 + s - 25. Let p(l) = 3*l**3 + 2*l + 0*l - 6*l - 10*l**2 + 76. Let r(o) = -7*k(o) - 2*p(o). Is r(0) composite?
False
Let a(h) = 8*h**3 - 4*h**2 + 2*h + 1. Suppose 0 = -4*i + 3*z + 11, z + 2 = i - 1. Is a(i) prime?
True
Let d(f) = -f + 15. Let s be (0/((-9)/3))/(-1). Is d(s) composite?
True
Let v(p) = -p**2 + 5*p + 55. Let t(g) = -g - 1. Let f(j) = 6*t(j) + v(j). Suppose w = -b - 3, 3*b = 3*w + w + 12. Is f(b) composite?
True
Suppose -3*q = -6 - 9. Suppose -61 + 326 = q*i. Is i composite?
False
Let z be (2 + 0)/(8/332). Let u = 0 - 0. Suppose t - z = -u*t. Is t a prime number?
True
Let k = -7 + 10. Suppose -k - 2 = 5*p. Is ((-2)/6)/(p/201) a prime number?
True
Let t(g) = 2*g**2 + 3*g - 6. Let p be t(-6). Suppose 6*h - 3*h = -87. Let a = p + h. Is a a prime number?
True
Suppose -3*l + 5*q = -16, 5*l + 8*q = 3*q. Let x be (-35)/(-10) + 1/l. Suppose -t + z = -0*z - 16, t + x*z - 41 = 0. Is t a composite number?
True
Let d(q) be the second derivative of 13*q**4/12 - q**3/6 + q**2/2 - q. Suppose -4*r - 3*j - 8 = 0, r + 2*j - j + 3 = 0. Is d(r) prime?
True
Suppose -i - 3*c = -14, 0*i + 2*c - 10 = -i. Suppose -i = -r + 8. Suppose 0 = -2*u + r, -q + 0*q = 4*u - 57. Is q prime?
True
Let u = 1195 + 672. Suppose a + 3*c - 376 = 0, -5*a + c = 3*c - u. Is a prime?
True
Suppose -5*q = 0, 4*q - 65 - 508 = -3*z. Is z prime?
True
Suppose 3*s - 44 = h + 26, s = -4*h + 45. Is s a composite number?
True
Suppose 3*f - 107 + 36 = a, -4*f + 73 = 3*a. Is f composite?
True
Let j = 450 - 69. Is j a composite number?
True
Suppose -3*n + 13 = u, -7 - 5 = -2*n + u. Suppose -5*s + 267 = n*m - 448, 0 = 5*s. Is m prime?
False
Let c = 13 - 11. Suppose -4*g + 1000 = 2*o + c*o, o + 1005 = 4*g. Is g a prime number?
True
Suppose 3*b - l - 4604 = -2*b, 3*b - 2759 = 4*l. Is b prime?
False
Suppose 4*k - 2*t - 77 = 3*t, 2*k - 5*t - 41 = 0. Is 21/k*3*2 a prime number?
True
Suppose -4*n - 57 = -z, 0 = -2*z - 2*n + 3*n + 114. Suppose 4*g - g - z = 0. Is g composite?
False
Let j(w) = w**2 + 11*w + 15. Let t be j(-11). Is 591/t - 2/5 prime?
False
Suppose -3*n - 2*n = -5, -4*c + 2*n - 626 = 0. Let w = c - -221. Is w composite?
True
Suppose -6*b + 3*b = 36. Is 2/(-3) + (-1676)/b a prime number?
True
Let p(h) = -h**3 + 14*h**2 - 10*h - 1. Let o be p(10). Suppose o = 3*y - 1042. Is y a composite number?
True
Let p(d) = -d - 3. Let x be p(-5). Let g be 321/(-12) + (-2)/8. Is (-1803)/g - x/(-9) composite?
False
Let r = -20 - -20. Suppose u + 3*u - 84 = r. Is u a composite number?
True
Let g be -3*(0 + -3)/3. Suppose -4*s = g*w + 6, -5*w + s + 19 = -2*s. Suppose -w*i + 445 = 3*i. Is i a composite number?
False
Suppose -l + 0 = 2. Is (1 - -52 - -2) + l prime?
True
Is 11*(195/12 + 12/16) a prime number?
False
Let r(i) = i**2 + 9*i - 3. Let o(a) = a**2 - 8*a + 1. Let t(z) = -z**2 - 8*z - 1. Let u be t(-7). Let q be o(u). Is r(q) composite?
False
Suppose 2*v = 7*v + 45. Let c = 12 + -7. Let d = c - v. Is d prime?
False
Suppose -1094 = -5*o - 3*a, -3*o + 670 = -4*a - a. Suppose 3*p - 4*x = 5*p - 448, -p + 2*x = -o. Suppose 0 = -4*f - 20, -3*d - 2*f + p = d. Is d prime?
False
Suppose -o + 2*y = 6*y - 5, 4 = 4*y. Is o/(3/204) - 1 a composite number?
False
Let t(a) = 37*a**2 - 2*a + 2. Let n be t(3). Suppose -x = -2*x. Suppose -n = -5*z - 2*u + 4*u, x = 5*z + u - 323. Is z a prime number?
False
Suppose 2*m + m = 5*o - 662, -4*o + m = -524. Suppose 3*j + o = p, 377 = 2*p + p + 4*j. Is p a composite number?
False
Let s be 14/3 - 1/(-3). Suppose -s*d - 148 = -4*f, -37 = -2*f + f + 2*d. Is f a prime number?
True
Let n be 3 - (-3 - (3 - -147)). Let x = n + -25. Is x composite?
False
Let z(j) be the first derivative of j**4/4 - 7*j**3/3 + 7*j**2/2 - 3*j + 2. Let p be -1*8/(-12)*9. Is z(p) a composite number?
False
Let a(g) = 245*g + 3. Is a(4) a composite number?
False
Suppose -3*r + 21 = -0*r. Let s be 13/r + 2/14. Suppose 16 = s*x + 4. Is x composite?
True
Let f(m) = 0*m + 37*m**2 + 2*m - 12*m**2 + 1 + 13*m**2. Is f(-1) a prime number?
True
Suppose 0 = 3*z + 2*p - 1325, -5*p - 43 = -2*z + 872. Is z prime?
False
Suppose -t - 3*t = 12. Is (-1992)/(-9) + 1/t prime?
False
Let l be (-6)/8*(-5 - -1). Let u(s) = 4*s**3 - 4*s**2 - 2*s - 4. Let d(y) = -5*y**3 + 4*y**2 + y + 5. Let o(z) = l*d(z) + 4*u(z). Is o(7) composite?
True
Suppose -z - 4*d = 6 + 14, 49 = -5*z - 3*d. Let q = z + 26. Is 4/q - 799/(-9) prime?
True
Suppose -2*c = -4*c + 4. Suppose c*v = v + 27. Suppose -2*m = -x - 1, -4*m = x + m - v. Is x prime?
True
Suppose 2*u - d + 3 = 0, -5*u = -3*d + 2*d. Is 46 + u - (0 - 0) composite?
False
Suppose m = -2, r - 4*m - 158 = m. Suppose -5*u = -u - r. Is u prime?
True
Let o = -31 + 45. Suppose s - o = 53. Is s prime?
True
Suppose 3*h - 4*b - 2 = 26, -2*h - 4*b = 8. Suppose -4*u + 22 = 5*q, 13 = -h*