prime?
False
Let b = -72 - -80. Is ((-28484)/(-6))/(((-16)/(-3))/b) composite?
False
Let w(p) = -p + 2. Let y be w(-2). Suppose -y*z = -2*q + 5*q - 389, 5*q = -5*z + 490. Suppose -2*c + z = -15. Is c a composite number?
True
Let k(f) = 4*f**2 + 5*f + 3. Let a be k(6). Let n = 67 - a. Let v = n - -229. Is v a composite number?
True
Let u = -3 + 17. Suppose -3*k = u - 20. Suppose 4*m - 1504 = -4*l, k*m = -4*l + 762 + 752. Is l prime?
False
Let p = -45 - -57. Suppose -8*m - 836 = -p*m. Is m composite?
True
Let p(c) = -c**3 - 5*c**2 - 3*c + 6. Let u be p(-5). Let s(o) = 9 + o**3 + 14 - 5*o - 5*o + u*o**2 - 8*o. Is s(-18) a prime number?
True
Suppose -26*u - 126128 = -3*l - 25*u, 2*u = -3*l + 126131. Is l a prime number?
True
Let j = 1782 + -1241. Is j composite?
False
Let w = -28 - -30. Suppose -5*z + 5*f + 490 = 0, 0 = w*z + 5*f - 181 - 8. Is z composite?
False
Suppose 1 = 5*b + 3*k, -8 = -5*k + 2. Is b + 0 + 2 + -2 + 188 a composite number?
True
Let x(w) = -10*w**2 - 14*w + 17*w - 11 + 11*w**2 + 15*w**2. Is x(2) prime?
True
Let s(r) = 21*r**2 + 2*r - 12. Suppose 5*l - 5*w + 45 = 0, -2 = -w + 2. Is s(l) a prime number?
True
Suppose -4*q = -4*d - 1404, 2*q - 3*d - 626 - 76 = 0. Suppose 5 - 7 = s, 0 = -5*g + s - 1038. Let m = q + g. Is m prime?
False
Suppose x - 20 = -4*f, 3*f - 20 = 3*x - 5*x. Suppose -3*o + 7 = f. Suppose r - 2*r + o = -3*p, -3*r - 2*p = -47. Is r prime?
True
Let k(g) = 6*g - 2*g - 1 - 5*g. Let w be k(-2). Suppose 29 = 4*r + w. Is r a prime number?
True
Let t be (-48)/(-20) + 1 - 4/10. Suppose -442 = -2*m + 4*q, -3*m + 0*q + 672 = t*q. Is m a composite number?
False
Let k = 160473 - 110286. Is k composite?
True
Let y(c) = 3*c**2 - c. Let r(z) = 3 - 2 - 3 - 3*z**2 + 2*z + 1. Let o be r(1). Is y(o) prime?
False
Let x = 3081 + -2046. Let i = -382 + x. Is i a composite number?
False
Let x(i) = i**3 - 10*i**2 - 2*i + 10. Let b be x(10). Let n(h) = h + 12. Let t be n(b). Is (-190)/(-40)*136/t composite?
True
Let l = 8524 - -7165. Is l composite?
True
Let o(d) = -d**3 - 8*d**2 + 7*d - 15. Let z be o(-9). Let g(a) = 28*a**2 - a - 10. Is g(z) composite?
False
Suppose -3*s + c + 6305 = 0, 2*c = 4*s - 3*s - 2095. Suppose 32*b = 29*b + s. Is b a composite number?
False
Suppose 432 - 5676 = -4*f. Suppose 7*j = 1194 + 94. Suppose f = 7*d + j. Is d composite?
True
Suppose -4*k + 27 - 9 = -2*u, 0 = 5*k - 15. Let w = -2 - u. Is w/(3*2/1266) prime?
True
Let c(z) = 20*z**2 - z. Let r(t) = t**3 - 9*t**2 - 10*t + 5. Let a be r(10). Suppose 7*y = 2*y - m - a, 2*m = 4*y + 4. Is c(y) a composite number?
True
Let j = -747 - -1330. Is j a composite number?
True
Let i be (474/4)/((-12)/(-40)). Let h be 1/4 - i/(-20). Suppose -w + h = -93. Is w a composite number?
False
Let u be 0 - (1 - (4 - -1)). Suppose 3*p = u*p + 1, -5*x + 130 = 5*p. Suppose -n + 3 = 0, -4*s + 7*s - 2*n - x = 0. Is s prime?
True
Let d(v) = 7*v - 7*v**2 + 6*v**2 + 0 - 2. Let c be d(6). Suppose -4*j - 105 = -5*q + j, -4*q - c*j = -116. Is q composite?
True
Suppose -3*g = -5*k + 5, -5*g + 33 = 4*k - 2*k. Suppose -2*m + 36 = 5*c, m = k*c + 5*m - 36. Suppose 866 = c*o - 1264. Is o composite?
True
Let i(t) = t**3 - 4*t**2 + 4*t + 22. Let r(d) = -13*d - 3. Let n be r(-1). Is i(n) a prime number?
False
Let z(d) = d - 2. Let b be z(5). Suppose 2*j + 3*r - 53 = 0, b*j - 5*j - 5*r + 55 = 0. Is 3865/j - 4/(-10) a prime number?
False
Let c(h) be the second derivative of -145*h**3/6 + 5*h**2/2 + 20*h. Is c(-2) composite?
True
Suppose -103 + 2097 = 2*l. Is l composite?
False
Suppose 0 = 5*i + 5*p - 9625, -i + 0*i + 5*p = -1913. Is i a composite number?
True
Suppose -12086 = -o + 5*b - 656, 2*o = 5*b + 22835. Is o a composite number?
True
Let n(v) be the second derivative of -v**5/20 + 5*v**3/2 + 5*v**2/2 + 94*v. Suppose 0*k + 9 = 3*k, -b + 5*k - 21 = 0. Is n(b) a prime number?
True
Suppose -4*j - 2 = -2*j. Let d = 483 + -480. Is (-489*1)/d*j composite?
False
Let j = 59105 - -9758. Is j prime?
True
Let g(b) = 130*b + 1. Let k be 2/8 - 70/56. Let c be g(k). Let v = c - -226. Is v composite?
False
Let z = 369 - 209. Let n = 471 - z. Is n composite?
False
Let d(w) = 3*w + 8353. Is d(0) a prime number?
True
Is 1 + 8433960/210 + 2/7 prime?
True
Suppose 5*i - 1393 = -2*c, c + 1114 = 4*i + 3*c. Suppose 3*q - 626 = -w, 4*q + 2799 = 4*w + i. Is w composite?
True
Suppose 3*n - 4 = n, 3*n - 332 = 2*d. Let x = d + 282. Is x a prime number?
False
Suppose -3*u + 2134 - 231 = t, 0 = -3*t - u + 5725. Is t composite?
True
Suppose 16*h + 205 = 96221. Is h composite?
True
Suppose -k = -4*k + 12. Suppose -2*w + 2*i = 3*w - 31, 0 = -2*i + k. Is w prime?
True
Let h be 90*((-13)/(-3) - -4). Let r = h - -241. Is r a composite number?
False
Suppose 3*f - 26660 = u, 4*f + 33*u - 35*u = 35546. Is f composite?
False
Let v(n) = n**2 + 5*n - 12. Let o be v(-5). Is 2 - 166*o/8 composite?
False
Suppose -3*t + 19272 = 717. Is t a prime number?
False
Let t = 54 + -89. Let k be 77/t + (-8)/10. Let w(s) = 27*s**2 - 4*s - 6. Is w(k) a composite number?
True
Suppose 5*z - 3232 = 135213. Is z a composite number?
False
Let z(d) = 525*d**2 + 4*d + 2. Is z(5) prime?
True
Let j = -10 - -12. Suppose -3*n = 0, -1296 = -5*f + j*n + 124. Suppose 2*i - 330 = f. Is i prime?
True
Let y(u) = -2*u**3 + 65*u**2 - 32*u + 2. Let s be y(32). Suppose 4*r - s*k = 2966, 3*r - r = -3*k + 1463. Is r a prime number?
True
Let v(u) = 15*u**2 + 27*u - 2. Is v(7) prime?
False
Let z be (-4)/18 - 5860/(-45). Let c = 27 + z. Let m = 242 - c. Is m a composite number?
True
Is (-130)/(-52)*2237*2 composite?
True
Let n be 826/(-14) - (-10)/(-5). Suppose 0 = 5*w + 666 + 84. Let b = n - w. Is b a prime number?
True
Let y be 88/16*(2 + 360). Suppose y = 6*n - 931. Is n a prime number?
True
Suppose -12*n + 21*n = 0. Suppose -5*t + 7*t - 94 = n. Is t a composite number?
False
Suppose 5*o = 15 + 10. Let w(b) = 17*b**2 - 3*b + 5. Let l be w(-4). Suppose o*n - l = 4*d, 177 = 3*n + 3*d + 9. Is n prime?
False
Suppose 0 = 4*v - 19 + 3. Let w(i) = 75*i**2 - 5*i + 5. Let m be w(v). Suppose m = 5*p + 470. Is p prime?
False
Suppose -5*f = 3*z - 191 - 4, -2*z = 0. Let s(c) = -10*c + 13*c + f*c - 5. Is s(2) composite?
False
Let m(x) = -x - 28. Let b be m(-10). Let z be (-572)/(-16) + b/24. Let l = -1 + z. Is l a prime number?
False
Let l(q) = 12*q**3 - 25*q**2 + 7*q + 13. Is l(6) a prime number?
True
Let z = -15 + 31. Suppose -z*h + 261 = -13*h. Is h a composite number?
True
Suppose -2*y + 11 = -w, y = 2*w + 13 + 12. Suppose 2*p + 303 = c - p, 5*c + 5*p = 1455. Let m = c - w. Is m prime?
True
Let d = -155 - -676. Suppose 0 = 3*a + 4*g - d + 92, 2*a + 2*g = 284. Is a composite?
False
Let q be 1623*10/15*2. Suppose -4*m = -0*m - q. Is m a composite number?
False
Is 2/((-2)/3) - 91440/(-18) composite?
False
Let f be 4 - (2 + -27) - -4. Let z = f - 29. Is z a prime number?
False
Let h(i) = -4 + 1 + 7 - 3*i + 4*i**2. Let l = -18 + 25. Is h(l) composite?
False
Let u be (-3)/(-3 + (-3 - -5)). Let f(m) = 3*m - 2. Let h be f(u). Let c(j) = -j**2 + 9*j + 7. Is c(h) a prime number?
False
Suppose -5*c + 0*l = l - 7, -5*c + 5*l = -25. Suppose 0 = -c*g + 62 + 28. Suppose g = 5*i - 350. Is i a composite number?
False
Suppose 11528 + 13659 = n - 3*x, -2*n + x + 50394 = 0. Is n composite?
True
Let w be 97 - (2 - 3 - -3). Suppose -448 = -o - w. Is o composite?
False
Let a = 18 - 31. Let d = 66 + a. Is d a prime number?
True
Suppose -65*v = -63*v - 10. Suppose -5*i + 9380 = 5*f - 7715, -v*f + 17115 = -5*i. Is f a composite number?
True
Suppose 0 = -4*g + 3*v - 7*v - 21660, 3*g + 2*v = -16245. Is g/(-6) - 3/2 a prime number?
False
Let d(n) = 27129*n**2 + 15*n + 17. Is d(-1) prime?
False
Suppose 0 = 3*b - 35 - 22. Suppose -2*n + b = -55. Is n composite?
False
Suppose -3*s = 0, -p = 11*s - 7*s - 565. Suppose -16*z + p = 21. Is z prime?
False
Suppose 3*y = -5*u + 30, 2*u = 5*y + 9 - 59. Suppose y - 1 = -3*a, 0 = r - 5*a - 149. Is r a prime number?
False
Suppose 163 = 2*r + 5*d - 351, 0 = 4*d + 16. Suppose 11*y = 8*y + r. Is y composite?
False
Is 6/(-12)*(-5042 - 0) prime?
True
Suppose -3*p + 5*i + 16246 + 3136 = 0, -19387 = -3*p + 4*i. Is p prime?
True
Let s(p) = p**3 + 14*p**2 + 12*p - 14. Let c be s(-13). Let l(v) = -1212*v**3 + 2*v**2 + v. Is l(c) a prime number?
True
Suppose 0 = 5*l - 5*v + 5, -5*l - 3*