rime?
False
Suppose x - 2 + 495 = 0. Let b = x - -814. Suppose 3*j = b + 252. Is j a composite number?
False
Suppose -3*m + 18 = 4*i, -3*m - 2*m + 3*i = -1. Suppose m*y = -110 + 556. Suppose 2*o = 223 + y. Is o prime?
True
Suppose -151*t = -137*t - 9142. Is t composite?
False
Let p(r) = -r**3 - 3*r**2 + r - 5. Let b be p(-4). Let o(d) = 8*d**2 - 6*d - 9. Let m be o(b). Suppose 5*t - m = 144. Is t a prime number?
True
Let r = 40 + -37. Suppose -r*v = 3*p - 57, v + 4*p - 31 = -p. Suppose -8*u - 1688 = -v*u. Is u a prime number?
True
Suppose 34172 = 4*x - 2632. Is x composite?
True
Suppose 6*g + 970 - 11230 = 0. Suppose -6*y + 7776 = -g. Suppose -4*p + 63 = -y. Is p prime?
False
Suppose 42700 - 282980 = -40*n. Is n composite?
False
Suppose 7*h = 90150 + 73097. Is h a composite number?
False
Let t = 28 + -4. Suppose -238 - t = -f. Is f composite?
True
Let g be 1678 + (1 + -16)/5. Let l = -1188 + g. Is l composite?
False
Suppose 0 = 31*f - 35*f - 3376. Is (1*f/(-6))/((-4)/(-6)) a prime number?
True
Suppose -u + 6 = -2*u. Let b be (-4)/10 + u/10. Is (-1147*(-1 + 2))/b composite?
True
Let u(f) = -f + 9. Let r be u(6). Suppose 6*v - r*v = 4521. Is v prime?
False
Let p be ((-20)/6)/(-5)*6. Is p*(-1)/7 + 2508/28 prime?
True
Suppose -13*z + 10*z - 6 = 0. Let q(w) = 1 - w**2 - 2*w**3 - 2*w + 2 + 4*w. Is q(z) composite?
False
Let r(l) = 4*l - 9 - l - 4 + 4. Let h be r(6). Suppose 0 = -i - 5*k - 12, -h = i + i + 5*k. Is i a composite number?
False
Let m(i) = i**3 - 7*i**2 + 5*i + 14. Let l be m(6). Is l/12 + -3026*(-3)/18 a prime number?
False
Let a(u) = u**3 - 4*u**2 - 5*u - 5. Let f(r) = r**3 + 5*r**2 + r - 2. Suppose 0 = -5*d - 0 - 10. Let m be f(d). Is a(m) a composite number?
False
Suppose -2148 - 4319 = -a. Is a prime?
False
Suppose -3*s + 67 = -2*s - 4*v, 5*v = -2*s + 69. Let d = 124 - s. Is d a composite number?
True
Let z(q) = -q**3 - 5*q**2 + 5*q + 12. Let k(c) = -c**2 - 7*c - 1. Let d be k(-7). Let p = d - 10. Is z(p) composite?
False
Let q(m) = -m**3 + 24*m**2 - 25*m + 9. Is q(16) composite?
False
Let w(r) = -645*r - 1. Let b be w(-1). Let c = 1533 - b. Is c prime?
False
Is 26335 + (5 + 3)/(-1) prime?
False
Let x = 2166 - -13891. Is x prime?
True
Suppose 11*t - 383858 - 105323 = 0. Is t a composite number?
True
Let b = 1699 + -780. Is b composite?
False
Let x = -675 + 1160. Is x a prime number?
False
Let u(s) = -s - 1. Let o(b) = b**2 - 9*b + 11. Let y(x) = o(x) + 5*u(x). Is y(-9) a prime number?
False
Let g(d) = -3*d + 20. Let t be g(6). Suppose 4*a = 1 - 21, -t*a + 551 = 3*m. Is m composite?
True
Let x(b) = -b**2 - 2*b + 7. Let l(i) = -i**2 - 2*i - 3. Let c be l(-2). Let f be x(c). Suppose 3*k - 2913 = -f*a, 5*k - 4841 = -3*a + a. Is k a prime number?
True
Suppose 3*g - 973 = 3638. Is g composite?
True
Let z(v) = -88*v**3 - 26*v**2 - 58*v + 13. Is z(-7) composite?
True
Let b = -28 - -30. Suppose b*j - 165 - 13 = 0. Is j a composite number?
False
Let h = 440 - 1052. Let t = 2269 + h. Is t a composite number?
False
Let j(n) = 61*n + 38. Let g be 1/((-2)/(-20)) + (-4)/4. Is j(g) a composite number?
False
Suppose 2*c - 31329 = -5*y + 29474, -2*c + 4*y + 60794 = 0. Is c composite?
True
Suppose 316 = 10*x - 6*x. Let t = x - 42. Is t prime?
True
Suppose -3*t - 4*x + 3203 = 0, -7*t + 12*t = 5*x + 5350. Is t a composite number?
False
Suppose -3*w - 2*n = 16 + 38, 0 = 5*n + 15. Let t = w + 42. Is t a prime number?
False
Suppose 3*j - 5*i + 21 = 5, -2*j + 11 = i. Suppose 4*r = -j*c + 48 + 11, -r + 18 = c. Is c a composite number?
False
Let n(q) = q**2 - 2*q - 1. Let h be 3*1 + (6 - 6). Let w be n(h). Is -4*1/w + 85 composite?
False
Suppose 3*d - 3365 = -5*h, -d - 23*h + 25*h + 1107 = 0. Is d a composite number?
True
Suppose 0 = -4*t + 5*k - 288, -3*t - 103 = 5*k + 113. Is t/(-90)*(-62)/(-4)*5 a prime number?
False
Suppose 223*c = 218*c + 795. Is c prime?
False
Suppose 1110 = 7*m - 2*m. Let q be ((-4)/(32/268))/((-2)/4). Let r = q + m. Is r prime?
False
Let c(u) = u**3 - 29*u**2 - 20*u + 100. Is c(31) prime?
False
Suppose -4 = -2*u - 2. Let p(j) = 44*j. Let z be p(u). Suppose -i = 0, 4*b + 4*i - i - z = 0. Is b a prime number?
True
Suppose 2*c = -5*i - 0*i + 3199, 638 = i + c. Is i composite?
False
Let j(z) = z**2 + 4*z + 5. Let c be j(-4). Suppose -2*y - 3561 = -c*o + 2*y, -3*y = -3*o + 2139. Is o a prime number?
True
Let h(w) = -349*w - 2. Let n be -2*1/(-5) + 14/(-10). Is h(n) composite?
False
Let j(y) = -1192*y - 103. Is j(-11) prime?
True
Suppose 2*x + x = 3228. Suppose -9*s = -7*s - x. Is s composite?
True
Let g = -17 - -16. Is (-3 + -16)*(-2 - g) prime?
True
Suppose -9*s - s + 13170 = 0. Is s a composite number?
True
Let d = 1449 + -1030. Is d a composite number?
False
Suppose -d - 10 = -3*d. Let g = 0 + d. Suppose g*m = -10, -s - m + 12 = -23. Is s composite?
False
Let z(l) = l**3 + 9*l**2 + 13*l + 2. Let p be z(-7). Suppose -p*d + 8*d = -2*y + 1587, -3965 = -5*y + 5*d. Is y a prime number?
False
Suppose 1711 = 5*m - 4*m. Suppose 0 = -4*v + 5*v - m. Is v composite?
True
Suppose -2*k - 44 - 358 = 0. Suppose -m + 6 = i - 5*m, 4*i = -5*m + 24. Is (i - -2)*k/(-12) prime?
False
Let l = -22 - -12. Let r = l - -12. Suppose 0 = r*b + 3*o - o - 820, 2*o + 1245 = 3*b. Is b a prime number?
False
Let i(d) be the second derivative of d**4/12 - 2*d**3/3 + 3*d**2/2 + 28*d + 1. Let f(w) = w**3 - w**2 - 4*w. Let t be f(3). Is i(t) prime?
False
Let f(g) = -402*g + 18. Let x be f(-4). Suppose 3*h = -2*n + x - 57, -2090 = -4*h - 2*n. Is h a composite number?
False
Suppose 4*w + 3028 + 7204 = 0. Let n = 7171 + w. Is n a composite number?
True
Suppose 40 = -13*a + 313. Let p(c) = c**2 + 6*c + 7. Let g be p(-6). Let y = a - g. Is y a composite number?
True
Suppose 17*u = 22*u - 15. Suppose 219 = u*q - 204. Is q prime?
False
Let t(v) = -32*v - 10. Let l be t(7). Let f = l + 573. Is f a composite number?
True
Suppose -3*l + 2*d + 5 = 0, 3*l - 2*l - 3 = d. Let u(t) = 125*t**3 - 2*t**2 + 1. Let q be u(l). Let b = q - -331. Is b composite?
True
Let a(t) = 18*t**2 + 2*t + 1. Let r(x) = 17*x**2 + 3*x. Let d(g) = 4*a(g) - 3*r(g). Suppose -j = 3*j - 8. Is d(j) a prime number?
False
Let r(k) be the first derivative of k**3/3 - 5*k**2/2 + 7*k + 5. Let s be r(6). Suppose 55 = -s*o + 14*o. Is o composite?
True
Let v = 35404 + -15743. Is v a composite number?
False
Suppose -3*y = 0, 2*a + 2*y - 3*y = 123430. Is a a prime number?
False
Let a = 74 - 41. Suppose 4*d + a = -399. Let y = d + 331. Is y a prime number?
True
Suppose -23*z + 16 = -27*z. Is 602/z*-6 + 4 a composite number?
False
Let d(n) = -n**3 + 11*n**2 - 10*n - 10. Let y be d(10). Is (-3 - y/3)/(2/1266) prime?
True
Let c be 78/18 + 4/6. Suppose -4 = -2*i + 5*w, -5*i - 3*w + c*w + 10 = 0. Suppose -4*l + 5*r = -i*l - 179, -r + 391 = 4*l. Is l a composite number?
False
Let f(s) = -22*s - 2. Let l be f(-1). Is 1 + 112/l - (-2)/5 a prime number?
True
Let t be -4 + 3 + 8 + -2. Suppose 0 = -s - t + 9. Is s*(-3 - (-435)/6) prime?
False
Suppose 2*n - 4448 - 95 = 3*p, -5*n - 5*p + 11420 = 0. Is n a prime number?
False
Let v(n) be the first derivative of -7*n**2/2 + 10*n + 10. Let x be v(6). Let a = 43 + x. Is a prime?
True
Suppose 102*c = 110*c - 49976. Is c prime?
True
Suppose c = -4*c + 30. Is (-86)/(-4)*(-2 + c) composite?
True
Let x = 53 + -35. Is (869/3)/(6/x) prime?
False
Let h(t) = -t**3 + 17*t**2 + 18*t + 7. Let w(o) = 4*o - 28. Let u be w(11). Is h(u) a composite number?
True
Let d = 5 - 2. Suppose d*k + t = 0, 0 = k - 2*k - 4*t. Suppose k = 3*u - u - 76. Is u a composite number?
True
Let q(t) = -t**2 - 2 + 11 + 0*t**2 - 7*t + 1. Let f be q(-8). Suppose -2*d - f*d + 124 = -4*o, 4*d = o + 136. Is d a composite number?
True
Let b(i) = -i**2 + i + 1. Let p(k) = 33*k**2 - 11*k - 22. Let z(d) = 5*b(d) + p(d). Is z(8) prime?
False
Let s(c) = c + 2. Let v be s(2). Suppose v*k - 2*k + 91 = r, 5*r = 2*k + 487. Suppose -2*q + 4*n = -78, 2*n + 14 = 3*q - r. Is q prime?
True
Suppose 0 = -4*r + 5*x + 13, 4*r - 3*r - 5*x = 7. Suppose 8781 = 5*o + r*t, 5279 = o + 2*o - 4*t. Is o prime?
False
Let r = 15 - 11. Let w(n) = 79*n + 1. Let x be w(4). Suppose t = 4*f - x - 419, r*f - 3*t - 728 = 0. Is f prime?
False
Is (8 + -11)*(-2073)/9 a composite number?
False
Suppose -19*g - 19412 = -23*g. Is g a prime number?
False
Is (-3314)/(-10)*(-21