- 6*o = 2045. Is o a composite number?
False
Let a(h) = -38*h + 7. Is a(-3) a prime number?
False
Suppose 4*l = l - 5*v - 51, -3*l + 2*v = 72. Suppose -98 = 5*u + 82. Let c = l - u. Is c prime?
False
Suppose -4*t + 7*r - 593 = 2*r, 0 = -4*t + r - 573. Let v be t/(-2) + (2 - 3). Suppose k - v = -k. Is k prime?
False
Suppose 0 = 3*h - 5*h. Let c be -1*(5 - 3 - h). Is 296 + c - 1 - 0 prime?
True
Suppose 0 = x - 4 + 12. Let h = 1 + x. Is (h/2)/(3/(-6)) prime?
True
Let y(z) = 30*z + 1. Let f be y(6). Let p = -102 + f. Is p composite?
False
Let a = 883 + -192. Is a a composite number?
False
Let l(t) = -t**3 + 5*t**2 - t + 5. Let g be l(5). Let i be (g - -12)*3/4. Suppose -r + i + 22 = 0. Is r a prime number?
True
Suppose 10 = -5*o + 4*k, -4 = 2*o + 3*k - 0. Let j be (45/(-10))/(o/4). Suppose 2*q - 17 = j. Is q prime?
True
Suppose 5*o - 52 = 23. Suppose 3*z + o = 5*a, 0 = 2*z - 4*a - 0*a + 12. Suppose -4*u + 55 = l, 0 = -z*u + u + 3*l - 22. Is u a composite number?
False
Suppose f + 16 = 4*b, 0 = -2*b + 5*b + 3*f - 12. Suppose y + b*s - 331 = 0, -2*y - 2*y = 2*s - 1338. Is y a composite number?
True
Suppose -4*z - 2 = -3*z, -5*z + 5 = 5*w. Let p = 1 - w. Is (-211)/p*(-16)/(-8) a prime number?
True
Let u(d) = -d**2 - 1. Let y be u(0). Let x = y - -20. Is x a composite number?
False
Let a = 1185 - 776. Suppose a = 2*p - 3*v, -5*p = 2*v + v - 1012. Is p a composite number?
True
Let u be (-1 + -3)*1 - -5. Is (-3)/(u/(140/(-12))) composite?
True
Let y(v) = -12*v + 7. Let w(g) = -13*g + 7. Let z(l) = 3*w(l) - 4*y(l). Suppose -2*d + 5*r - 22 = -4*d, d - 4*r + 2 = 0. Is z(d) a composite number?
False
Is (0 - 10/(-15)) + 4538/6 composite?
False
Is (-20)/(-130) + (-10162)/(-26) prime?
False
Let k(b) = 59*b**2 + 7*b - 5. Is k(-4) a composite number?
False
Let d = -4 + 7. Suppose d*w = -15 + 450. Is w composite?
True
Suppose 0*o + 10178 = 7*o. Is o prime?
False
Suppose -4*v - 4*m = -6868, -m + 1223 = 3*v - 3936. Is v a prime number?
True
Let s = -220 + 773. Suppose -2*a - 330 = -3*v + a, s = 5*v - 4*a. Is v composite?
False
Let d = 576 - 389. Suppose 3*m = 2*m + d. Is m composite?
True
Let q(v) = 16*v - 3. Let n(p) = -p**3 + p**2 + p + 5. Let l be n(0). Is q(l) composite?
True
Suppose -v + i + 0*i - 9 = 0, 2*v = -2*i - 6. Is (29/(-1))/(v/30) a composite number?
True
Is (-148995)/(-88) + (-1)/8 a composite number?
False
Let a = -72 - -45. Let h = a - -45. Suppose 4*n + 76 - h = 2*d, 3*n = 2*d - 53. Is d a prime number?
True
Let k(n) = n + 2*n**2 + 0*n**2 - n**3 - 4*n**2 + 6. Is k(-4) prime?
False
Let a(t) = t**3 + 7*t**2 + 4*t - 1. Is a(-4) a prime number?
True
Let h(w) = -w + 7. Suppose 0 = 5*o - 20, 0 = 3*v - 2*v + 3*o - 18. Let q be h(v). Is ((-1)/3)/(q/(-9)) prime?
True
Let w = -9 - -9. Let a(r) = 36*r + 2. Let b be a(2). Suppose 2*v - b = -w*v. Is v prime?
True
Let h(q) = 2*q - 5. Let a be h(5). Suppose 4*j - 3 = a. Is j a prime number?
True
Let f(n) = n**2 + 569. Let l be f(0). Suppose 465 + l = 2*r. Is r composite?
True
Let m(l) be the third derivative of -3*l**4/4 - l**3/6 - 5*l**2. Is m(-3) prime?
True
Suppose 2*t - 157 - 145 = 0. Let o = t + -82. Is o composite?
True
Suppose -y + 163 = -42. Suppose 2*o = -6*h + h + 23, -2*o + 3 = h. Suppose h*q = 5*u + y, -4*u + 16 = q - 15. Is q prime?
False
Let w(d) = d + 6. Let h be w(-3). Suppose -h = 3*m - 9. Suppose -m*c = -6 - 44. Is c composite?
True
Suppose 0 = t - 0*t + 10. Let b be (-2158)/t - (-1)/5. Suppose -4*j = -f - f - b, 4*j + 4*f = 228. Is j composite?
True
Let k(o) = 7*o - 6. Let m(q) = 8*q - 7. Let c(t) = -5*k(t) + 4*m(t). Is c(-3) a prime number?
True
Suppose n = -6*n. Let u(t) = -t**3 - t**2 - t + 187. Is u(n) composite?
True
Let n(k) = 21*k**2 - k**2 - 2*k**2 - k + 1 + 21*k**2. Is n(1) a prime number?
False
Suppose -3*u = -5*i + 5 + 2, -4*i + 7 = -u. Is (u/2)/((-4)/(-184)) composite?
False
Let f(v) = v**2 + 7*v + 6. Let c be f(-6). Suppose -4*d + 2*k - 3*k - 239 = c, 295 = -5*d - 2*k. Let x = d - -92. Is x prime?
True
Is 6/4*(-1270)/(-15) composite?
False
Let m(i) = 3*i**2 + 4*i - 4. Let z(h) = h**3 + 6*h**2 - 2*h - 7. Let u be z(-6). Is m(u) prime?
False
Suppose 4*n - 2 = 6. Suppose n*q + 666 = 2*m, -304 = -m - 3*q + 21. Is m a composite number?
False
Let i(r) = -14*r + 12*r - 30*r + 7. Is i(-11) composite?
False
Suppose 0*g + 6705 = 9*g. Is g composite?
True
Suppose -v + 1338 + 75 = 3*f, -5*f - 6985 = -5*v. Suppose 4*u = u + v. Suppose -q = -s - u, 0*q + 4*q + 3*s = 1882. Is q a prime number?
False
Let j(r) = 61*r - 10. Let w be j(3). Let t = w - -92. Is t prime?
False
Let k = -63 - -206. Is k composite?
True
Let m(a) = -a**3 - 6*a**2 - 5*a + 5. Let y(s) = -2*s**3 - 6*s**2 - 6*s + 5. Let v(d) = 3*m(d) - 2*y(d). Is v(7) composite?
True
Let s = 166 - 27. Is s prime?
True
Is (-1)/(4/(-22) + (-1763)/(-9757)) a composite number?
False
Suppose 0*n - n = -4. Suppose 0 = n*m - 0*x + 4*x - 20, -3*m + 5*x + 31 = 0. Suppose -3*i + m*i = 188. Is i a prime number?
True
Let z = 163 + 11. Suppose -z = x - 3*x. Is x a composite number?
True
Let u(o) = -22*o + 5. Let b be u(-4). Suppose 5*c = -3*n + 34 + 73, 5*n + b = 4*c. Is c a composite number?
True
Suppose 2*y + 61 = -2*y - 5*k, -2 = -2*y + 4*k. Let b be 6/y + (-14)/(-3). Suppose 0*q + b = 2*q. Is q a prime number?
True
Suppose -115 = 5*z - 0*z. Let j = z + 36. Is j a composite number?
False
Let m(c) = c**2 - c - 15. Let y be m(0). Let g be (-14 - 21) + (-3)/1. Let v = y - g. Is v a prime number?
True
Let m = -81 - -143. Suppose -m = -j - 2*a + a, 0 = 2*j + 3*a - 121. Is j a composite number?
True
Let k(m) = 70*m - 1. Suppose 2*c = 3*l + 3, 0*l + 3*c = -l + 10. Is k(l) a composite number?
True
Let w = 402 - -377. Is w a prime number?
False
Let u be 2/(-6)*(-1 - 20). Suppose -2*b = n - 22, 0 = 3*b + u*n - 2*n - 40. Is b prime?
False
Suppose 8141 = -0*q + 7*q. Is q a prime number?
True
Let f(d) = d. Let b be f(1). Suppose -98 = -5*w + 3*z, b + 3 = z. Is w a prime number?
False
Suppose -3*b = -9, l + 3*b - 25 = 17. Is l composite?
True
Let z be ((-36)/21)/(4/(-154)). Let q = 221 - z. Suppose q = 3*x - 2*l, l + 4*l - 80 = -x. Is x a prime number?
False
Let q(v) = -v**3 + 3. Let s be q(0). Suppose 2*g = 3*l + 5 - s, 5*g = -5*l + 30. Suppose 3*f = 3*i - l*f - 85, -i = 5*f - 15. Is i composite?
True
Let r = -72 - 140. Let g = r + 321. Is g prime?
True
Suppose 4*w - 6 = 2. Suppose u + w*u - 4*k - 561 = 0, -4*u + 4*k = -752. Is u a prime number?
True
Let k = 53 - 21. Let d = k - -43. Is 2/((-1)/(2 - d)) a prime number?
False
Let c be 0 - ((1 - 2) + -2). Let g be -5*((-9)/5)/c. Suppose g*u - 5 - 52 = 0. Is u prime?
True
Suppose -4*f + 1201 = -5*b, 2*f - 4*b - 603 = -b. Let l = f - 151. Is l composite?
True
Let w = 88 + -53. Let t be 4/(-14) + 815/w. Let i = t + -1. Is i composite?
True
Let t = -12 - -15. Suppose 494 = t*a - 115. Is a prime?
False
Let t(d) be the second derivative of -7*d**5/10 - d**4/12 - 2*d**3/3 - d**2 - d. Is t(-3) composite?
False
Let u = -49 + -19. Let t = u - -147. Is t a prime number?
True
Let g = 73 - 36. Is g a prime number?
True
Suppose 2*x = -3*x + 2785. Is x a prime number?
True
Suppose 0 = -4*k + 4*d - 80, -2*k + k - 5*d = 44. Let x = k + 53. Suppose 0 = -2*m + x + 13. Is m a composite number?
True
Suppose -4*r + b = -3407, 4*b + 0*b - 2541 = -3*r. Is r composite?
True
Suppose -9*c + 4040 = -5*c + 3*w, 5*c + 2*w = 5043. Is c a prime number?
False
Let y = 133 - 11. Is y a prime number?
False
Suppose 2*b + 18 = -14. Let q = b - -49. Is q composite?
True
Let z = -8 + 14. Let g(h) = 5*h**2 - 8*h + 1. Is g(z) a prime number?
False
Let y = 9 + -7. Suppose y = -3*t + 8. Is (-4)/(-12)*402/t a prime number?
True
Is 6/4*(19 - 5) a prime number?
False
Let v(d) = d**2 + 2*d - 178. Let p be v(0). Is (p - 1)*(4 + -5) composite?
False
Let w be 6/(-24) + (-142)/8. Is (-850)/(-4) + 27/w a prime number?
True
Let o(r) be the second derivative of -r**5/5 + r**4/3 + r**3/3 - r**2/2 + 4*r. Is o(-2) composite?
False
Suppose 1 = 3*i - m, -3*i + 3*m - 3 + 0 = 0. Let t be 4 - i - 3 - -3. Suppose 0 = t*q - 293 - 496. Is q a composite number?
False
Let m = -124 + 477. Is m a prime number?
True
Let s = 466 - 317. Suppose -2*m + 6*m = 2*o + 596, m - s = 5*o. Let t = m - 64. Is t prime?
False
Let p(c) = c**3 + 3*c**2 + 2. Let a be p(-3). Suppose -a*l - 201 = -5*l