 number?
True
Let i = -28943 + 50361. Is i a composite number?
True
Suppose 0 = 9*h - 17*h + 92584. Is h composite?
True
Let k = 72 - -5657. Is k composite?
True
Let c = 6 - 3. Suppose 5*g - 18 = -5*v + 22, -5*v + 42 = 4*g. Is (v - c)/(2/254) a prime number?
False
Let x = -400 - -250. Let w = -238 + x. Let b = -185 - w. Is b a prime number?
False
Suppose -4*o - 5*u + 528 = -10*u, 0 = -3*u + 12. Suppose 2*x = -0*x. Suppose -s + o = -x*s - 2*t, -5*s + 5*t = -690. Is s prime?
True
Let n(q) = -q**2 + 4*q - 1. Suppose 5*v = v + 12. Let o be n(v). Suppose 5*d = l + 630, -5*d + d - o*l + 518 = 0. Is d a composite number?
False
Suppose 2*v = 9*v + 42. Is v/21 + (-9795)/(-7) a composite number?
False
Suppose 2 = -4*c + 2. Suppose -4*h - 859 + 2343 = c. Is h a prime number?
False
Is 66236/22 - 42/(-154) prime?
True
Let d(j) = 3*j**2 + 2*j + 2. Let r = -6 - -12. Let y be (-5)/((-2)/(r/(-3))). Is d(y) prime?
True
Let f(n) = -n - 2. Let o be f(7). Let v(b) = 7*b**2 - 3*b - 13. Is v(o) composite?
True
Let k(y) = y**3 - 6*y**2 + 2. Let t be 0 + 24/(7 + -3). Let o be k(t). Suppose 4*g - 20 = o*g - 4*a, 34 = 3*g + 4*a. Is g a prime number?
False
Let p be ((-10)/(-6))/(-5)*0. Let o be (p + -1)*8 - -3. Is ((-776)/4)/(2/o) prime?
False
Let x(k) = -3*k**3 - k - 1. Let a be x(-1). Suppose -1 = f + 2*z + a, 4*f - 4*z = -28. Let n(d) = -d**3 - 3*d**2 - 5*d + 4. Is n(f) a prime number?
False
Suppose 3*s - 2*s = -n + 1, 3*n = 5*s + 11. Let d(x) = 10*x**n - 2*x - 3*x**2 - 3*x - 1. Is d(5) composite?
False
Let l(g) = g**3 + 16*g**2 - g + 16. Let s be l(-12). Let r = s + -426. Is r prime?
False
Let r(i) = 67*i**2 - i - 1 - 2 - 4*i + 0. Is r(-1) a composite number?
True
Let t be -1 - (0 + 2) - -7. Let i = 2 - t. Is (i + 0)*(-195)/6 a prime number?
False
Let l(y) = -14*y**2 + y**3 + 15*y**2 + 5*y - 22 - 16*y**2. Is l(15) a composite number?
False
Let a(m) = -92*m**3 - 9*m**2 - 9*m + 1. Is a(-6) composite?
False
Let i = -110 + 1053. Is i a prime number?
False
Is -30 - -3687 - (-2)/1 a composite number?
False
Let x(d) = d + 2*d + 17*d**2 - d**2 + 1. Suppose -3*h - 4 = -4*h. Is x(h) composite?
False
Let m(f) = 2*f**2 - 5*f - 23. Let x be m(14). Let c = x - 202. Is c prime?
True
Suppose -2*g = -0*g - 19340. Suppose 3*i - g = -3133. Is i a prime number?
True
Suppose -95 = -v - 2*j + 102, -10 = -2*j. Is v a composite number?
True
Let w = 15 + -11. Let y(d) = -119*d**3 - 3*d**2 - 2*d + 5. Let r be y(w). Is (-1 + 2)/((-11)/r) prime?
False
Let f(u) = u - 11. Let v be f(9). Let h = -2 + v. Is -4*(33/h - 1) a composite number?
False
Let g(o) = -204*o**3 - 4*o**2 + 8*o + 101. Is g(-7) a prime number?
True
Is (-11)/(44/(-84))*194/6 composite?
True
Let k(c) = 947*c + 202. Is k(3) a composite number?
True
Suppose 3948 = -0*u - 6*u. Let g = 1404 + u. Is g a prime number?
False
Suppose 78*f + 4038 = 84*f. Is f composite?
False
Let h(k) = k**2 + 5*k + 6. Let j = -19 - -16. Let c be h(j). Suppose 0 = u + f - 11, c*u - u + 4*f = -26. Is u prime?
False
Let t(z) = z**3 + 4*z**2. Let v be t(-3). Suppose b + 28 = 32. Suppose 0 = -b*k + v*k - 665. Is k prime?
False
Let g(t) = -208*t**3 + 3*t**2 - 9*t - 7. Let r(a) = -209*a**3 + 2*a**2 - 8*a - 6. Let w(k) = -5*g(k) + 6*r(k). Is w(-1) prime?
False
Suppose -5*h - 4*r + 7*r = 117, 5*h + 5*r = -85. Is (h/12)/(-7)*652 composite?
False
Suppose -5*l - 42532 = -2*n + 44235, -5*n + 216967 = 4*l. Is n a composite number?
False
Let t = 12082 - 6303. Is t composite?
False
Suppose -28*c + 155570 = -18*c. Is c a composite number?
True
Let o(g) = 34*g + 1. Let l be 4/(0 + 4) + 1. Is o(l) a composite number?
True
Suppose -3*r + 5*z - 3 = -137, 2*r - 87 = z. Suppose 4*j - 465 - r = 0. Is j a prime number?
True
Let u be 2/2*(-22 + 19). Let t be (-1 - u)/((-1)/1). Is (-631)/t*(17 - 15) a composite number?
False
Suppose -4*n - y = -512, 5*y = -2*n + 7*n - 615. Is n prime?
True
Suppose 0 = 2*o - 61 - 27. Is 57/2*o/33 composite?
True
Suppose 6834 = 14*w - 13*w - 5*c, -4*c = -4*w + 27272. Is w a prime number?
False
Suppose 0 = -17*b + 12*b - 30. Let o(i) = -i**3 - 5*i**2 + 6*i + 6. Let r be o(b). Is ((-326)/r)/((-3)/9) a prime number?
True
Suppose 3*j - 2*j - 3 = 0. Suppose 0 = -j*g - 57 + 222. Suppose -12 = -4*a + 4*d, 4*a + 4*d - g = -11. Is a a composite number?
False
Suppose -2*o + n = 1149, 4*o + 2*n + 1335 = -959. Is 10/((-7)/(o/4)) a prime number?
False
Let x(u) = u**2 + 2. Let f be x(4). Let p be 4/f + 34/9. Suppose 0 = -9*n + p*n + 670. Is n a composite number?
True
Let k be 9/6 + ((-5)/(-2) - 2). Is -6 + 2 + -1 + k - -1166 a composite number?
False
Let b = -784 + 1162. Suppose 1895 = 5*m + a, -m + b = -2*a - 12. Let j = m + -195. Is j a composite number?
True
Suppose -3894 = 5*m - 8*m. Suppose -3*r - m = -5*r. Is r composite?
True
Suppose 4*k = -2*h + 29946, -4*k = 4 - 24. Is h a prime number?
False
Let s be (6/(-12))/(3/(-18)). Suppose -4*q + 4*a + 263 = -q, -2*a = s*q - 269. Is q composite?
False
Let r(v) = -767*v - 3. Let l be r(-1). Is (-3)/(-2)*l/6 a prime number?
True
Is ((-871300)/500)/(1/(-15)) composite?
True
Is (6/(-12) + 0)/(2/(-11516)) prime?
True
Let s(t) = -386*t + 17. Is s(-6) a prime number?
True
Suppose -3*d + 146 = -322. Suppose 2*q = 3*z - 2*z - d, -2*z = 4*q - 296. Suppose 2*a = z + 134. Is a a composite number?
True
Let m(t) = t**3 - 37*t**2 - 9*t + 67. Is m(40) prime?
True
Let h(u) = -16 + 2 + 23*u + u**3 - 1 + 16*u**2 - 2*u**3. Is h(13) composite?
True
Suppose -18*g + 120 = -150. Is g a composite number?
True
Let s be ((-1)/(-2))/(5/90). Suppose 3*w = 2*w + 268. Suppose -5*q - w = -s*q. Is q prime?
True
Is (2 + -1)/(4/14764) a composite number?
False
Let d(i) = -143*i**2 - 6*i - 10. Let m be d(-4). Let s = 3559 + m. Is s a prime number?
False
Suppose 4*c = -p + 361, 0*p - 3*p - c + 1072 = 0. Let o = p + -196. Is o a prime number?
False
Let w(m) = m**3 + 2*m**2 + 2*m + 4. Let y be w(-2). Suppose y = x - 677 - 1080. Is x a prime number?
False
Suppose -g + 3*l - 6*l - 10 = 0, 0 = 5*l + 20. Let o(r) = 67*r - 1. Is o(g) prime?
False
Is (-1 - 236)*(-6)/9 prime?
False
Is -2*(-3)/51 - (-139347)/17 prime?
False
Let l = 3884 + -2443. Is l prime?
False
Suppose 10 + 4 = -b - 4*i, 0 = -3*b - 3*i + 3. Let z(w) = -w - 18*w**2 + b*w**2 + 11*w**2 + 65. Is z(0) prime?
False
Suppose 0 = -m + 2*s + s + 328, -2*m - s = -635. Is m a composite number?
True
Suppose 2*m - 29 + 97 = 0. Suppose 5*j + 110 = 15. Let g = j - m. Is g a composite number?
True
Suppose -27*g + 30*g - 4*a - 34879 = 0, -5*g - a = -58147. Is g a composite number?
True
Suppose 2*s + 10 = 6. Is 6*12 + (s - 1) a prime number?
False
Suppose -2245 = 7*o + 5406. Let w = 1716 + o. Is w composite?
True
Let j(i) = -i + 2. Let d be (-1)/(-2) + 49/14. Let m be j(d). Is (11 + -14)/(m/22) a composite number?
True
Let b be (((-80)/6)/4)/((-12)/18). Suppose -14655 = -0*r - b*r. Is r a composite number?
True
Suppose -4*p - 7*p = -33. Is (p - (84 + -2))*-13 composite?
True
Let u = -129 - -538. Is u a composite number?
False
Let a(t) be the third derivative of t**5/20 - t**4/8 + 65*t**3/6 - 28*t**2. Is a(-27) a composite number?
False
Let o(v) = 2*v**3 - 9*v**2 + 6*v - 5. Suppose 2*s - 16 = 3*x, 0*x = 4*s + 4*x - 52. Suppose -5 + s = 2*h + 2*t, -h - 3 = 3*t. Is o(h) prime?
True
Let p(z) = 299*z - 45. Is p(4) prime?
True
Let i(u) = 8*u**3 - 8*u**2 - 18*u + 7. Is i(9) prime?
False
Suppose 2*s = -2*z + 27650, z + 6*s - 8*s - 13837 = 0. Is z prime?
True
Let h(z) = 4*z - 10. Let j be h(0). Let c(r) = r**2 - r - 1. Is c(j) a composite number?
False
Let x be 0 + 1 - (2 - -14). Let j = x - -13. Let b(z) = -40*z - 3. Is b(j) a composite number?
True
Let p(a) = -a**2 + 5*a + 16. Let x be p(7). Suppose -f + x*f - 2*v - 1199 = 0, -5*f - 4*v = -6051. Is f a prime number?
False
Suppose 0 = m + 5*l + 2, -3 = 3*l + 3. Suppose m*u + 4*k + 9 = 3*u, 5*k = -5. Is u/(-2) - 58/(-4) prime?
False
Let d(t) = 1188*t**3 - 2*t**2 + t + 2. Let z be d(-1). Let x = 570 - z. Is x a composite number?
False
Suppose -2*q + 24 = -s, -11 = -4*q + 4*s + 29. Suppose 4*i + 6 - 2 = 0, -2*c - 4*i = q. Let y(f) = -f**3 + 4*f**2 + 2*f - 6. Is y(c) prime?
False
Let y = -24 + -500. Let o = y - -742. Is o prime?
False
Let n(q) = -3*q + 3. Let u be n(-3). Let y(d) be the first derivative of d**3 - 9*d**2/2 - 5*d - 31. Is y(u) prime?
False
Let q(a) be t