o**4/12 + 5*o**3/6 - 17*o**2/2 + 9*o. Is x(4) a composite number?
False
Suppose 5*d - 3924 = 8*d. Let i = 1195 - d. Is i prime?
True
Let a(d) = d**2 + 10*d + 14. Let b be a(-14). Let j = -141 - -66. Let o = b - j. Is o a composite number?
True
Suppose 0 = -2*j - 3*j + 75. Suppose -4*w + j = w. Suppose -3*k + w = -2*k, k = -3*f + 888. Is f composite?
True
Suppose -k - 3*x + 990 = -0*x, -3*x = 3. Is k prime?
False
Let a = -5149 - -13268. Is a a composite number?
True
Let a(n) = -n - 6. Let k be a(7). Let v = k + -1. Is 365/11 - v/(-77) composite?
True
Is (-116)/(-2) - (-33 + 32) composite?
False
Let r(y) = -y**3 - 39*y**2 + 134*y - 60. Is r(-43) a composite number?
True
Suppose 5*q + 15202 = k, k - 2*q + 4*q = 15181. Is k composite?
False
Let g(t) = -t**3 - 7*t**2 + 2. Let d be g(-7). Let l(h) = -h**3 - 2*h**2 + 3*h - 2. Let b be l(-3). Is b + 151/d*2 a composite number?
False
Let l(p) = p**3 - 8*p**2 + p - 5. Let x be l(8). Let j = x - 6. Let c(i) = -i - 1. Is c(j) prime?
True
Let a be (2 - 12/(-9) - 2)*3. Suppose b - 2947 = 2*o, -a*b + 3*b + 5*o = -2932. Is b prime?
True
Let j(h) = -h**3 - 4*h**2 - 2*h - 4. Let l = 29 + -32. Let x be j(l). Let m(z) = 9*z**2 + 10*z + 10. Is m(x) prime?
False
Let c = -1926 - -2917. Is c composite?
False
Suppose -h + 1 + 4 = y, h - 4*y = -20. Suppose 4*o - 345 - 299 = h. Is o a prime number?
False
Let g be (-9*1)/(60/(-20)). Suppose -r + 7*h - g*h = -93, 0 = -r + 2*h + 91. Is r a composite number?
False
Let x be (-6)/(-8)*(-136)/(-51). Is 2/(640/319 - x) a prime number?
False
Is (20795 - -1)/(-4)*(-18)/27 a prime number?
False
Is -9*(-5)/(90/12244) prime?
False
Suppose -5*t = y - 13148, 0 = 4*t + 3*y - 7*y - 10504. Is t a composite number?
True
Let t(f) = -f**2 + 5*f - 2. Let r be t(3). Suppose -r*i + 3*i = -184. Let g = -57 + i. Is g a composite number?
False
Let g = 5268 + 215. Suppose -7*v - 1612 + g = 0. Is v a composite number?
True
Let r be 27/6*4/6. Suppose r*i - 10 = 32. Is i a prime number?
False
Let s be (-1 - 4 - -2) + 26. Let l = -20 + s. Is (7 + -4)*7/l a prime number?
True
Let p = 537 - -380. Suppose -4*x + p = 3*y, -2*y = -0*y + 5*x - 609. Is y prime?
True
Let w(p) = -p**3 + 3*p**2 + 7*p - 5. Let s be w(5). Let z = s - -29. Let t = z + 94. Is t a composite number?
False
Suppose 12*c = 29*c - 16847. Is c a prime number?
True
Suppose -2*k = 3*q - 0*q - 148, 5*q = -5*k + 255. Is q composite?
True
Let k(g) = 300*g + 19. Is k(41) a prime number?
False
Let h(f) = f**3 - 6*f**2 + f - 2. Let z be h(6). Suppose -z + 0 = -y. Suppose 953 = q + t - 3*t, -3*q + y*t + 2859 = 0. Is q composite?
False
Let k(u) = 5 - 2*u + 18*u**2 - 28*u**2 + 46*u**2. Is k(9) a prime number?
True
Let d = -2404 - -4563. Is d composite?
True
Let l(a) = 5*a**2 - 32*a + 98. Is l(3) prime?
True
Let f be -2 + 3 - (0 + -389). Suppose 5*w - f = 200. Is w prime?
False
Let u = 34 - 30. Suppose 5*s - 2925 = -5*z + 9*z, u*s - 2349 = 5*z. Is s prime?
False
Let l = 0 - -6. Let f be (3/(-2))/(l/(-16)). Let a(k) = -k**3 + 9*k**2 - k + 3. Is a(f) a composite number?
False
Let w(j) = 8*j. Let h be w(2). Suppose -v - h = 4*n, 3*n + 3 = -v - 2*v. Let q = v - -51. Is q prime?
False
Let r = -12 + 12. Suppose r*z + z = 797. Is z a composite number?
False
Suppose 36510 = 5*l + 3*u + 2*u, 0 = -l - 3*u + 7312. Is l a prime number?
True
Suppose 68*o = 70*o - 62018. Is o composite?
True
Suppose 8 = 2*j - 4*j + 5*a, 4*j = a - 52. Is (-4)/j + 0 + (-99270)/(-210) a prime number?
False
Let g = 4 + 0. Suppose -7*w = -g*l - 3*w + 76, -19 = -l - 3*w. Is l a prime number?
True
Let r be (-20)/2*22/(-44). Suppose 3*p + 649 = 5*k - p, -r*p - 521 = -4*k. Is k a prime number?
False
Let v = 178 - 28. Let z be 8/10*v/20. Suppose -2*g + z*g - 1012 = 0. Is g a prime number?
False
Suppose 4*d + 8 = 4*s, -3*d - 5*s = -5*d - 7. Let t = 3 + d. Suppose -t*z - x = 3*z - 1674, 0 = 2*z - 3*x - 673. Is z composite?
True
Let i(s) = s**3 - 4*s**2 - 11*s - 4. Let u be i(6). Is 3/(6/u) + (708 - 0) a composite number?
False
Let z(u) = 2894*u**2 - 4*u + 3. Is z(1) a composite number?
True
Let o(y) be the second derivative of 17*y**3/3 + y**2/2 + 2*y. Let d(k) = -k**3 + 6*k**2 - 4*k - 3. Let h be d(3). Is o(h) a composite number?
False
Let s(w) = -3*w + 9. Let v be s(2). Suppose 2*m + 549 = d + 4*m, -1099 = -2*d - v*m. Is d prime?
False
Let o(a) be the second derivative of a**3/3 + a**2/2 - 4*a. Let j be o(-2). Let v(h) = -4*h**3 + 3*h - 4. Is v(j) a composite number?
True
Suppose -4*o + 305 = -9*o. Let k = 1152 - o. Is k a prime number?
True
Let b(h) = 139*h**2 - 105*h - 441. Is b(-4) prime?
True
Suppose -3 = x, 4*l + x - 4*x = 73081. Suppose 3*a + 3541 = l. Is a a prime number?
True
Let a(q) = 2926*q**2 - 9*q - 8. Is a(-1) a composite number?
False
Let k = 1 - 2. Let x be (-2)/1 + 20/k. Is ((-754)/4)/(11/x) a prime number?
False
Let v(y) = 9*y - 7*y + 6*y + 18*y. Let l be v(5). Suppose -6*u + 8*u - l = 0. Is u a composite number?
True
Suppose 0 = 6*t - 2*t - 8. Suppose -2*y + 34 = 5*w, -2*y + 5*y - w - 17 = 0. Is (-3)/(y + t)*-501 a prime number?
True
Let g(h) = -3*h + 14. Let z be g(7). Let c(f) = -f**2 - 7*f - 1. Let v be c(z). Is v/4*-4 + 96 composite?
False
Let j(q) = q**2 + 8*q + 1. Let d be (10/8)/(3/(-24)). Let b be -18*(-2 + d/(-6)). Is j(b) prime?
False
Let p(c) = 26*c**2 + 4*c - 3. Let u(b) = -26*b**2 - 5*b + 3. Let y(n) = 5*p(n) + 4*u(n). Let r be y(-3). Let i = -97 + r. Is i a composite number?
True
Let x be ((-4)/16)/((-3)/24). Let p(a) = 10*a**2 + 40*a**2 - 1 + x. Is p(2) prime?
False
Suppose -5*k + s = 4050, -16*k + 784 = -17*k - 5*s. Let j = 110 - k. Is j prime?
True
Let w(r) = r**2 + 0*r**2 + 28 + 15*r**3 - 14*r**3. Let h be w(0). Suppose f = -i + 24, 90 = 3*f + i + h. Is f prime?
True
Let i = 224 - -18115. Is i composite?
True
Let s = 0 - 1. Suppose 4*g - 24 = 9*l - 6*l, -3*l = 0. Let c = g - s. Is c a prime number?
True
Suppose 5*y - 6 = 3*y. Suppose 2*t = -u - 11, -4*t + 8*u - 1 = y*u. Let x(o) = -4*o**3 - 3*o**2 - 4*o - 1. Is x(t) a prime number?
True
Let w(t) = -720*t**2 - 4*t + 5. Let h(s) = -s + 1. Let p(a) = 4*h(a) - w(a). Is p(1) composite?
False
Let w = 48779 - 20082. Is w composite?
False
Let t = 5 + -11. Let n(o) = 3*o**2 + 8*o + 7. Let q be n(t). Suppose -q + 25 = -3*y. Is y prime?
False
Suppose -194*m = -196*m + 3694. Is m prime?
True
Suppose -2*k - 239 = 5*a - 2463, 2218 = 5*a + 4*k. Suppose 222 = 2*h + 2*p, -4*h - p = 2*p - a. Suppose g - 268 + h = 0. Is g a composite number?
True
Let a(j) = 72*j**2 + 3*j - 1. Suppose -2*m = 3*m + 40. Let n be (m/6)/(2/(-3)). Is a(n) a composite number?
False
Suppose 0*d - 3*y + 7 = -2*d, -4*d + 5*y - 13 = 0. Is d - 149*(4 - 9) a prime number?
True
Let o = -5001 + 9110. Suppose -1768 = -3*v + o. Suppose 0 = 4*x - x - v. Is x a prime number?
True
Let a(x) = 119*x**2 - x - 1. Let i(r) be the first derivative of r**2 + r + 2. Let w be i(-1). Is a(w) prime?
False
Let j(z) = 6*z**2 + 28*z + 59. Is j(-19) a composite number?
False
Let z be 6*(30/4 - 0). Suppose 26*j + 0 - 78 = 0. Suppose -z + 381 = 4*q - 5*r, q - 91 = j*r. Is q prime?
True
Let z(v) = 17*v + 69. Is z(-2) prime?
False
Let f(j) = 15*j**3 + 3*j**2 - 6*j + 5. Let u(v) = v + 9. Let h be u(-6). Is f(h) prime?
True
Suppose 840 = 2*r - 3*b, -4*r + b - 4*b = -1716. Suppose 436 = 2*t + 3*c, -2*t + 4*t - 2*c = r. Is t composite?
True
Let g = 154 + 309. Let p = g + 294. Is p prime?
True
Suppose 3*n + c - 10 = 0, 4*c - 6 = -n + c. Suppose -2*x - x - t + 2100 = 0, 2*x - 1411 = n*t. Is x composite?
False
Let d(k) = 3*k**2 - 63*k - 5. Is d(-6) a composite number?
True
Let u be (17 - 1) + 12/4. Let y = u + -17. Is y + -2 - (-1204 - 1) a composite number?
True
Suppose -3*i - 236082 = -5*w, -3*i + 11603 + 130027 = 3*w. Suppose -21*v + 1527 = -w. Is v a composite number?
True
Let x(m) be the second derivative of 0 - 5*m + 14/3*m**3 + 1/2*m**2. Is x(4) a composite number?
False
Let n = 35206 - 16647. Is n composite?
True
Let t = 120 - 110. Suppose -h = -t*h + 4689. Is h composite?
False
Suppose -a - 15 = -4*a, 5*j + 2*a - 25 = 0. Let z be 2 - (3 + (j - 6)). Let n(s) = 144*s + 1. Is n(z) composite?
True
Let a = -1939 + 2768. Is a prime?
True
Suppose 0 = -2*i + 2*c + 2, 0 = -3*i - c + 17 + 6. Suppose i*x = -156 + 1482. Is x prime?
False
Suppose 3*b - 2*u = 866, 572 = 2*b + u + 3*u.