*v - 586. Is v a composite number?
False
Let a(b) = b**2 + 6*b + 7. Let x be a(-5). Let u(s) = 2*s - 3. Let j be u(x). Is (j - 4)/(9/(-33)) a prime number?
True
Let f = 3375 + -2045. Suppose f - 35 = -5*z. Is (-6)/(-24) + z/(-4) a prime number?
False
Let s(k) = 3*k**2 - 3*k - 6. Let p be s(-5). Suppose 10 = -2*g + p. Is g a prime number?
True
Suppose -4*v + 3*v - 2*k + 5 = 0, -3*k + 3 = 0. Suppose v*d + 12 = 4*m, 3*d + 5*m - 15 = -2*d. Suppose d = -5*q + 3*q + 28. Is q a composite number?
True
Let m = 1380 + -961. Is m a composite number?
False
Let l = -2 + 7. Suppose -260 = l*i + 570. Let s = -89 - i. Is s composite?
True
Let b = 5 - 3. Let a = b + -5. Is 129/9 + 1/a a composite number?
True
Suppose 3*m - 6 = 60. Let w = -12 + m. Is w a prime number?
False
Suppose -2 = -2*l + 2. Suppose -5*d + 68 = j - l*d, 5*j - 5*d = 240. Is j composite?
False
Suppose -82*a - 3738 = -88*a. Is a composite?
True
Let m(t) = -55*t - 31. Is m(-10) prime?
False
Let u(r) = 68*r + 11. Is u(7) prime?
True
Let p(w) = -w + 10. Let a be p(8). Suppose 4*j = a*j + 50. Is j a composite number?
True
Let f(j) = j**3 + 2*j**2 - 4*j + 3. Let y be f(2). Suppose -y + 1 = -2*s. Suppose -s*v + 50 = -65. Is v a composite number?
False
Suppose 4*v = n + 36, -3*v - 5*n - 6 = -33. Suppose v*j - 12*j + 699 = 0. Is j a composite number?
False
Let j(f) = 15*f + 1. Let r(p) = p**2 + 7*p + 5. Let b be r(-6). Let z be j(b). Let c = z - -47. Is c prime?
False
Suppose -2*m - 2*f + 46 = 0, m - f = 30 - 9. Is m a prime number?
False
Suppose 2095 = 41*u - 36*u. Is u prime?
True
Is ((-379)/(-4))/(4/16) a composite number?
False
Suppose 2*x - 525 = 221. Is x composite?
False
Suppose 5*t + 5*j - 50 = 0, 3*t - 2*t + 4*j = 22. Let v = 11 - t. Suppose 0 = -d - 2*q + 25, -2*d + v*q + 25 = -d. Is d prime?
False
Let g(f) = 43*f**2 - 2*f + 8. Is g(5) composite?
True
Let o = 167 - 108. Is o a prime number?
True
Let f = 4 + -3. Suppose -5*r = 4*p - 41, -5*p + 3*r + 6 = f. Suppose 3 = p*w - 3*w. Is w a composite number?
False
Let i = 7 + -7. Suppose -22 = -3*q - 4*k, 4*k = -5*q - i*k + 50. Is q prime?
False
Let i(p) = -p**3 + 6*p**2 + 2 + 3 - 7 + 2*p. Is i(5) a prime number?
False
Let z = 4 + 3. Suppose -2*g + 6 = -2*h, z = 2*h - 3*h - g. Let a(u) = -26*u - 3. Is a(h) a composite number?
False
Let h be (1/(-3))/((-10)/30). Is (h - 320)/(-5 - -4) prime?
False
Let m = 25 + 1. Is m prime?
False
Suppose -226 = 13*s - 14*s. Is s prime?
False
Suppose 5*w - 3*n - 57 - 60 = 0, 0 = -4*n + 4. Let h = w - 13. Let k = 11 + h. Is k a prime number?
False
Let z(r) = r**2 + r. Let h(y) = -2*y**2 - 4*y - 39. Let s(c) = -h(c) - 3*z(c). Let u = -1 - -1. Is s(u) composite?
True
Let i = -1 + 7. Let v be (2/i)/(1/15). Let h = 42 - v. Is h a composite number?
False
Suppose -344 = 2*i - 6*i. Suppose -10*m = -14*m - 8. Is i/6 + m/(-3) a prime number?
False
Suppose -3*y + 4*x - 130 = -8*y, 2*y + 3*x = 59. Suppose 2*l - y = -2*k, 0*k + 4*k - 36 = -2*l. Is k composite?
False
Suppose -81 = -4*o + 27. Suppose 2*z = 4*i - 0*z - 366, 0 = -5*z + 25. Let m = o + i. Is m composite?
True
Let d = -676 - -111. Let m = -194 - d. Is m composite?
True
Suppose 5*a = 2*r + 23, 2*r = 2*a - 6 - 2. Let f(v) = 131*v + 1 - 1. Is f(r) prime?
True
Let h(m) = -m**3 - 13*m**2 - 14*m - 14. Let i be h(-12). Suppose -z + 3 - 1 = 0. Suppose -i + 4 = -z*p. Is p prime?
True
Suppose -4*o + 3*w + w = -4, 3*o = -4*w + 24. Suppose 0 = -2*c - o*y - 163 - 137, -332 = 2*c - 4*y. Is (1/(-2))/(1/c) prime?
True
Let i be (-1)/(1278/(-1275) - -1). Suppose 0 = 4*y + y - i. Is y composite?
True
Suppose -2944 = 5*c - h, 8*c + 2941 = 3*c + 4*h. Let x = c + 980. Is x prime?
False
Let y(k) = k**2 + 12*k. Let d be y(-12). Suppose -4*l + 22 = 2*w - 62, d = -3*w - 3*l + 114. Is w a composite number?
True
Suppose -1231 = -2*x + 1771. Let v = -920 + x. Is v a composite number?
True
Suppose -w - 3*w = -436. Is w a composite number?
False
Let n(m) = 4*m**2 + m - 1. Is n(4) a composite number?
False
Suppose 2*f - f - 4 = 0. Suppose 655 = 4*d + 3*l, f = 3*l + l. Is d a composite number?
False
Let k(v) = 7*v**2 - v. Let t be k(1). Let f = 2 + t. Suppose 0 = -3*y + o + 133 + 102, 4*o = f. Is y a composite number?
False
Suppose 4*d + 6 = 5*q + 2, 3*d - 12 = 0. Suppose -5*f - 15 = -5*a + 25, -q*f = 16. Suppose a*s - 49 = -2*n + 3, -3*s = 5*n - 25. Is s a prime number?
False
Suppose 0 = 5*y + o - 30, -4*y + o = -3*o - 48. Let j = y + -8. Let x(i) = -32*i**3 + 2*i**2 + 2*i + 1. Is x(j) composite?
True
Let j be ((-16)/56)/(2/(-14)). Suppose -38 = 4*k - 4*n + 58, 67 = -3*k - j*n. Is k*(-3)/(9/3) a composite number?
False
Let l(r) = -2 - 2 + 2 - 2*r - 1. Let v be l(-2). Suppose c + 3*c = y + v, 4*y - 66 = 2*c. Is y a composite number?
False
Suppose 0*b + b + 3 = k, b + k - 3 = 0. Let m(u) = 3*u**2 + 15 + b*u**2 - u**3 - 2*u**2. Is m(0) a prime number?
False
Let n(g) = 685*g - 7. Let z(q) = -1027*q + 10. Let t(f) = -7*n(f) - 5*z(f). Is t(1) a composite number?
True
Let x(o) be the first derivative of 12*o**2 - o - 3. Suppose -2*f = -5*g + 19, 5*g = 2*g + f + 11. Is x(g) prime?
True
Suppose a = 4*d - 0 - 3, -3*a = -5*d - 5. Suppose -q + i + 10 = -0*q, -3*q - d*i = -35. Suppose v - 4*s = q + 56, 0 = -3*s - 6. Is v prime?
True
Suppose -m = 2*t + 1, 4 = 3*m + 19. Let g(i) = i**2 + 7*i - 1. Let j be g(-8). Suppose t*w = w + j. Is w prime?
True
Let b = -528 + 1019. Is b a composite number?
False
Suppose -4*w + 4*p - p = -12, 5*w + 3*p = -12. Suppose -5*l + 4*v + 671 = w, -266 = -0*l - 2*l + v. Is l composite?
False
Suppose -4*f + 12 = 5*i, i + 9 = 5*f - 6. Let u = -3 - -41. Suppose -c - u = -f*c. Is c prime?
True
Let q(r) = -2*r**3 + 3*r**3 - 7*r + 4 - 4*r**2 + 11*r**2. Is q(-7) a prime number?
True
Suppose 0 = -h + 5*b + 157, -2*b = -2*h + b + 321. Let a = 289 - h. Is a a prime number?
True
Let w(z) = 2*z - 1. Let j be w(4). Let g(r) = -j - 1 + 6*r**2 + 3 - 4 + 10*r - r**3. Is g(6) prime?
False
Let y = -752 - -1287. Is y prime?
False
Let r = 45 + 166. Is r composite?
False
Is ((-6)/((-36)/(-3126)))/(-1) composite?
False
Suppose 0 = -2*g - 10, 4*g + 0 + 6 = k. Is (-2)/3*2583/k composite?
True
Let s = -3 + 6. Suppose -4*l + s*w + 5 = -2*l, -43 = -4*l - 5*w. Is l a prime number?
True
Suppose -2*d - 2*d - 8 = -4*n, 10 = -5*n. Is ((-33)/(-4))/(d/(-16)) a prime number?
False
Let r(p) = -p**3 + 8*p**2 - 3*p + 5. Is r(7) composite?
True
Let m be (12/(-2))/(-2) - 30. Let q = m - -40. Is q prime?
True
Let t = 107 - -14. Is t prime?
False
Let v(p) = p**2 + 3*p + 9. Is v(7) composite?
False
Let k(o) = -o + 2. Let m be k(2). Suppose m = 4*f + f + 1225. Let w = f + 482. Is w a prime number?
False
Suppose f = -x, -24 = 3*f - 2*x - x. Is 66/(-4)*f/3 a composite number?
True
Let g(h) = 58*h - 1. Is g(1) composite?
True
Suppose -2*n + 7*n - 290 = 0. Let u be -5 + 7 - (-1 - 0). Suppose -5*j = -2*j - 5*s - n, 3*j - u*s = 48. Is j a prime number?
True
Suppose -15*k - 6951 = -18*k. Is k prime?
False
Let s(c) = c**2 - c + 7. Is s(6) composite?
False
Let i(y) = -3*y**3 + y**2 + 3*y + 2. Let g be i(-3). Let x = g + 12. Is x prime?
False
Suppose -3*h - 2*x - 2 + 6 = 0, -x = 1. Suppose -4*l + b = 85 - 430, h*b - 170 = -2*l. Suppose 0*f + l = 4*f - g, 5*f + 4*g = 97. Is f prime?
False
Let j(q) = q**2. Let y(x) = -11*x**2 - x + 1. Let n(l) = -5*j(l) - y(l). Is n(-2) a prime number?
False
Let u be 2/(-10) + 521/5. Suppose -237 - u = -n. Is n composite?
True
Is 412*(24/(-60) + 246/40) composite?
True
Suppose 4*t - 4*a - 2308 = 0, 2*t + 4*a = 3*t - 565. Is t a prime number?
False
Let w be (-7 - (0 - 4)) + 2. Is w + (-2 - (-300)/3) a composite number?
False
Let u(b) = 9*b**3 + 3*b**2 + 4*b + 2. Let h be u(-2). Suppose -6 = -2*v + 32. Let y = v - h. Is y prime?
False
Let u = 35 + 110. Is u a prime number?
False
Let f = 284 - -1429. Is f prime?
False
Let m = -763 - -1414. Let c = -392 + m. Is c prime?
False
Let w be (12/(-8))/((-3)/(-20)). Let k = w - -17. Suppose 4*d - 69 - k = 0. Is d a prime number?
True
Suppose 4*m = w - 6, 0 = -3*w - 3*m + 6 - 3. Suppose 5*h + 2*f = w*h + 631, 0 = 3*h + 5*f - 637. Is h/9 + (-6)/27 a prime number?
True
Let q = -133 - -260. Is q a prime number?
True
Let p = 46 + 311. Let l = -170 + p. Is l composite?
True
Let r be (2 - 3)/((-2)/4). Suppose 2*d + 16 = -4*i, r*d + 5*i + 23 = d. Suppose 72 = d*q + 3*f