x**3 + 3*x**2 - 10*x + 15. Let k(u) = -u**3 + u**2. Let f(t) = 6*k(t) - w(t). Let l be f(6). Let n = 200 - l. Is n prime?
True
Let f = 90 + -47. Suppose -4*y = -q + 353, q + 4*y - f - 342 = 0. Suppose -2*t + q = t. Is t prime?
False
Let h(q) = 202*q + 5. Is h(9) a composite number?
False
Let t(z) = -7*z - 2. Let s(v) be the third derivative of -v**3/6 + 6*v**2. Let u(b) = -s(b) - t(b). Is u(4) composite?
False
Let m be (108/16 - 3)*-72. Let z = -136 - m. Is z a prime number?
False
Let a(f) = -14879*f**3 - 2*f**2 + f + 2. Let v be a(-1). Suppose v = 4*w - 31518. Is w a prime number?
False
Let m(t) = 348*t + 15. Let v be m(4). Suppose -9*h + v = -2*h. Is h a prime number?
False
Suppose -4*v + 32 = -0. Suppose -4*z - 96 = -v*z. Let x = 91 - z. Is x composite?
False
Is 52823*(5 + 1 + -5) a composite number?
True
Suppose 5*o - 2*m = -400, 0*o + 4*m + 80 = -o. Let k = o - -193. Is k composite?
False
Let s(w) = 43378*w**3 + 2*w**2 - 4*w + 3. Is s(1) a prime number?
False
Let d = 7204 - 3027. Is d prime?
True
Let z = 12 - 8. Suppose 173 + 475 = z*y. Suppose y - 22 = 4*l. Is l a composite number?
True
Suppose -3*d = -7*d + 20. Let u = -6 + d. Is (-1)/(u/167) + 2 composite?
True
Is (-11)/(10 + 1)*-1*163 prime?
True
Let q = 45 - 240. Suppose 3*o + 604 = 4*o. Let u = q + o. Is u a composite number?
False
Let g be -1 - 7/((-7)/(-4)). Let i = g + 1. Let a = i - -41. Is a prime?
True
Let d be (199/(-4))/(2/(-56)). Suppose 0*c - 283 = -c + 2*x, 5*c + x = d. Suppose -h = -4*m + c, -2*m + 112 = 3*h - 45. Is m prime?
True
Let q = 7373 + 60. Is q prime?
True
Suppose 3*v = -9, 4*x - 162 = x + v. Is x a prime number?
True
Let m = 71858 + -28455. Is m prime?
True
Suppose -123*v + 41*v + 9725446 = 0. Is v prime?
True
Let v(q) be the second derivative of q**3/6 + 23*q**2/2 - 127*q. Suppose 0 = 2*s + 3*n + 40, -2*s = -7*s + 3*n - 58. Is v(s) prime?
False
Let g = 4257 - -3064. Is g prime?
True
Let h = 353 + -93. Is (h + -1)*4/4 a composite number?
True
Is 195742/4 + -5*(-36)/120 a prime number?
False
Let f = 75 - -44. Is f a composite number?
True
Suppose 21*r - 62771 + 16970 = 0. Is r a prime number?
False
Let g = 192 + -673. Let s = -156 - g. Suppose -w + s = -628. Is w a composite number?
False
Suppose -3*a = 5*c - 10645, 0*a - 4*c = -2*a + 7060. Suppose -4*h = -3*f + 2098, 5*f = -5*h + 3*h + a. Suppose 6*u - f = 4*u. Is u a prime number?
True
Let h = 53080 - 36723. Is h prime?
False
Let k = -14 + 16. Is (-4)/16*(k + -1518) a prime number?
True
Suppose 0 = -0*q + 5*q. Suppose 0 = -4*h - q*h + 2164. Is h a prime number?
True
Let z(g) = 57*g**2 + 11*g + 11. Is z(-4) composite?
True
Let q = 9103 + 8730. Is q prime?
False
Let h be 12/1*(-408)/(-36). Suppose 4*k - h = -4*w, 2*k - 171 = -2*k + 3*w. Suppose k = g - 28. Is g a composite number?
False
Suppose 0 = 19*r + 13572 - 47373. Is r prime?
False
Suppose 4*d - d - 3 = 0. Is ((-2517)/(-2) - 3/(-6))*d composite?
False
Suppose 23 = 7*p - 19. Let a = p + -2. Suppose 2559 = a*m - m. Is m prime?
True
Let a = -1957 + 2957. Let r = 1497 - a. Is r composite?
True
Let j(t) = 16*t**3 - 18*t**2 + 12*t - 6. Let n(v) = 11*v**3 - 12*v**2 + 8*v - 4. Let r(d) = 5*j(d) - 7*n(d). Is r(3) prime?
True
Suppose 3797 = -7*b + 87566. Is b a composite number?
True
Let c(y) = 3*y - 92. Let b be c(24). Is -2*5147*(b/8 - -2) a composite number?
False
Is (-18)/(-153) - 149067/(-51) composite?
True
Let w be 34/85 - 26/(-10). Suppose 869 = p + 5*t, 1798 = 2*p - w*t - 2*t. Is p composite?
True
Suppose 5*i + 84 = 4*i. Is (-3)/(-3) + i/(-1) composite?
True
Let s(w) = w + 18. Let c be s(-18). Suppose c = -8*m + 4*m. Suppose m = -t + 89 + 54. Is t prime?
False
Suppose 0 = -4*d - 381 - 479. Suppose 0 = -c + 2*f - 128, -2*c + 0*c - 258 = -3*f. Let i = c - d. Is i a prime number?
True
Let m(b) = -7*b**3 + b**2 + 7*b + 6. Let u(v) = -2*v**3 + 17*v**2 - 10*v + 11. Let w be u(8). Is m(w) prime?
False
Suppose 4*x - 5*l - 2988 = 10535, 2*x = -4*l + 6794. Is x a composite number?
True
Let q(t) be the second derivative of 73*t**3/6 + t**2/2 + t. Let h be q(-1). Let p = h + 233. Is p a composite number?
True
Suppose -3*d = 5*b + 17, -2*b + b + 15 = -4*d. Let k be (-2*(-1)/2)/b. Is (10/k)/(2/(-11)) prime?
False
Suppose -5*o + 106 = 3*z - z, o - 26 = -2*z. Is ((-145)/o)/((-2)/56) prime?
False
Let v = 1399 + -954. Suppose -2*t = -v - 537. Is t composite?
False
Suppose 0 = -4*p - 0*p. Suppose p = -n - 5, n = -3*v - 0*n - 170. Is (-2)/11 + (-2815)/v prime?
False
Let g be (-1)/(-6) - (-29)/6. Suppose -4 = 3*h + h + 4*p, 2*h - g*p - 5 = 0. Suppose 3*o - 8*o + 95 = h. Is o composite?
False
Is (2/(-6))/((-7)/914445*3) composite?
True
Suppose -5*n + 10*n = 0. Suppose 8351 = 3*j + s, -3*j + 5*s + 0*s + 8375 = n. Suppose -6*v + v = -j. Is v a prime number?
True
Let z(q) = 2*q**3 + 3*q**2 + 3*q + 5. Let x be ((-4)/5)/(10/25). Let j be z(x). Let p(h) = 9*h**2 - 2*h - 12. Is p(j) composite?
False
Let d be (1/(-3))/((-1)/(-9)). Let a be 2/d + (-126)/(-27). Is (4/a + -515)*-1 a prime number?
False
Suppose 0 = 3*r - 4*p + 920, -1045 = 5*r + 2*p + 523. Let x = 899 + r. Is x prime?
True
Suppose -307 = -2*q + 351. Is q prime?
False
Let w(q) = -500*q - 21. Let z be w(-8). Let c = z - 2078. Is c a prime number?
True
Let d(o) = -o**3 + 5*o**2 - 5*o + 2. Let m be d(3). Let b be ((-40)/(-220))/(1/11). Suppose b*n + 393 = m*n. Is n a composite number?
False
Let b(h) be the third derivative of 19*h**4/24 + 11*h**3/3 + 7*h**2. Let c be b(-21). Is c*(-1 + -2 + 2) a prime number?
False
Suppose 2*v - 40951 = r, -v + 81857 = 3*v + 7*r. Is v prime?
False
Let o(r) = 525*r**2 - 151*r - 5. Is o(7) a composite number?
True
Let d(j) = -29*j + 1. Let q be d(-3). Let p = 260 - q. Is p/12 + 2/(-6) a composite number?
True
Suppose 3*l = -8 + 14. Suppose a = 5*h + 819 + 961, 4*a - l*h = 7174. Is a a composite number?
True
Is 5/(-45) - 693156/(-108) a composite number?
True
Suppose -5*b = 7*b - 84684. Is b prime?
True
Let k be (-54)/(-21) + 12/28. Suppose 5*r - 49 = -3*y, -4*y - k*r + 55 = -14. Suppose -d = d - y. Is d a composite number?
True
Let m = -253 - -152. Let t = 446 - m. Is t prime?
True
Let u(k) = -k + 9. Let l be u(7). Let f be -202*l/(4/7). Let n = f + 1248. Is n a prime number?
True
Let n(r) = 1363*r**2 + 5*r - 4. Let c be n(2). Suppose 5*x - 7*x + c = 0. Is x a composite number?
False
Let i(k) = -52*k**3 + 5*k**2 + 3*k - 23. Is i(-6) a prime number?
False
Let y(r) = r**2 + 2*r - 17. Let o be y(-7). Suppose 0 = -w - o + 209. Is w composite?
False
Suppose 0 = -3*a + 2*a + 29. Suppose 276 = 2*u + u. Let t = u + a. Is t a composite number?
True
Let n(p) = -1122*p - 283. Is n(-27) composite?
False
Let j be -3 + 51/12 + 3/4. Suppose 253 = -i + j*i. Is i composite?
True
Let x be (-2 - 1 - -6)*1. Let m be (-1 - (x - 2)) + -23. Let j = 62 - m. Is j composite?
True
Suppose -27 = -5*s - 47. Let j be ((-1426)/s)/((-1)/(-2)). Suppose -j = -7*p + 5160. Is p prime?
True
Let k be (6/2 - 2)*2. Suppose -4*a = 5*i - 355, 0 = k*i - 3*a + 22 - 164. Suppose i = -3*g + 668. Is g a composite number?
False
Let c(o) = o + 3. Let b be c(10). Let d(a) be the second derivative of 5*a**3/6 + 3*a**2 - 3*a. Is d(b) a composite number?
False
Let x(s) = 5*s**3 + 7*s**2 + s - 3. Let t be (-1)/(-1)*15/(-5). Let o(k) = -11*k**3 - 14*k**2 - 2*k + 6. Let n(f) = t*o(f) - 7*x(f). Is n(-5) composite?
False
Let i(v) = 12*v**2 - 2*v - 8. Let j(f) = f + 2. Let z be j(-7). Let g be i(z). Let b = g + -175. Is b a prime number?
True
Suppose -76179 = -3*j + 4*m - 9*m, -m = 3*j - 76179. Is j a composite number?
True
Suppose 0 = 2*i - 6, 0 = -a - 4*i + 12 + 3. Let p(g) = -g + 0*g + a*g + 4 + 4*g. Is p(9) a composite number?
True
Is -3 + -3 + 2 + 995 prime?
True
Let m = 11 - 4. Is m/42 - (-1073)/6 a prime number?
True
Let y = -9 - -12. Let q be 9*(y + (-1)/3). Is (-6)/q - (-7098)/8 a prime number?
True
Let q = 8435 - 4850. Let b = -2536 + q. Is b a prime number?
True
Suppose 0 = -4*d - 4*z + 7440, 3*d - 7942 + 2370 = z. Suppose -2*j + d = -4*r, 0 = -3*j + 4*r - 7*r + 2823. Is j composite?
False
Let g(z) = -22*z + 8. Suppose -11 + 29 = 3*q. Let x be g(q). Let r = -77 - x. Is r a composite number?
False
Let x(v) = 21*v**2 + 27*v + 31. Is x(16) a composite number?
False
Suppose -2*j + 528 = -4*j - 3*w, w = 2*j + 520. Is -1*(-1 + 2)*(-6 + j) prim