composite number?
False
Suppose 38*o = 40*o - 22. Suppose 3*z = -2*n + o, 0 = n + z - 8 + 3. Suppose -669 = -n*l + l. Is l prime?
True
Suppose -27066450 - 32658954 = -108*o. Is o composite?
False
Is 71/2*(-290 - -12348) composite?
True
Let i(v) = -43938*v + 1739. Is i(-6) a prime number?
False
Let z(d) = 11 + 13 + 154*d**2 - 25 - 13*d + 11*d. Is z(8) prime?
True
Is 1599 - 4 - (-49 - -47) a composite number?
False
Let y be 1 - (156/1)/(-3). Let g = 233 - y. Let v = g + -31. Is v composite?
False
Let l(b) = 13751*b**3 + b**2 + 2*b + 1. Is l(2) a prime number?
True
Let y(l) = -8*l**3 - 23*l**2 - 2*l - 37. Let c be y(-17). Is 42 + -48 + c + 1 a prime number?
False
Suppose 202*s + 202*s - 460*s = -53746616. Is s a prime number?
False
Suppose -432 = i + 5*i. Let c be 3*21*-2*(-236)/i. Let j = c + 582. Is j a prime number?
False
Suppose -3674561 = 1784*n - 1795*n. Is n a composite number?
True
Suppose -3*m = -2*g - 2 - 3, -m = 3*g - 20. Let z(j) = 2*j**3 + 3*j**2 - 8*j + 8. Let x be z(g). Suppose 3*d + x = 6452. Is d a composite number?
False
Let a be (-2 + (0 - -4))*(-52890)/(-30). Let f(b) = -21*b**2 + 2*b + 3. Let p be f(6). Let t = a + p. Is t prime?
False
Let w(m) = m**2 - 17*m - 20. Suppose 0 = 22*b - 24*b + 38. Let a be w(b). Is -3*3/a + (-1018)/(-4) a composite number?
True
Let m = 48890 + -24603. Is m prime?
False
Let q be ((-33)/(-6))/(-11) - (-15)/6. Is (-2 + 5 - q) + 40370/11 prime?
True
Suppose -h - 2*y = -1, -2*h - 5 = -3*y - 14. Suppose -h*s - 501 = -r, 2575 = 6*r - r - s. Let t = 1193 - r. Is t prime?
True
Suppose -19*q = 4*q - 207. Suppose 9052 = q*z - 5*z. Is z composite?
True
Let y(s) = -29*s + 13. Let c(o) = 29*o - 13. Let x(k) = 4*c(k) + 5*y(k). Let t be (-1338)/150 + (192/100 - 2). Is x(t) a prime number?
False
Let b = 24 + -16. Suppose 0 = 3*g + 7*d - 2*d - 24, 0 = g + 4*d - b. Suppose -c + g = -13. Is c prime?
False
Let q = -732904 + 1122231. Is q composite?
True
Let h(o) = 22*o - 11. Let m(y) = 4*y**3 - 2*y**2 + 1. Let g be m(1). Suppose -b + g = 0, -3*q - 5*b + 45 = 18. Is h(q) prime?
False
Suppose 2*q - 28832 = -h + 93587, 0 = 5*q + 5*h - 306060. Is q composite?
True
Suppose -5*x + 28 = 3. Suppose 0 = 24*u - 25*u - 3, -5*u + 32970 = 5*s. Suppose -x*i + 15508 = -s. Is i a composite number?
False
Let y(o) be the first derivative of 93*o**2/2 + o - 9. Suppose -4*s - 1 = -9. Is y(s) a prime number?
False
Let x(j) = 2*j**2 - 13*j + 25. Let s be x(-31). Suppose -6*r + s = -788. Is r composite?
False
Suppose -5*f + 48*f + 43 = 0. Let x(k) = -k + 501*k**2 - 1 + 48*k**2 + 38*k**2. Is x(f) prime?
True
Let i(j) = 78858*j + 13807. Is i(9) a composite number?
False
Let a(j) = -j**2 - 18*j - 30. Let s be a(-16). Suppose -s*y + 4*i = -1124, 4*i - 858 - 266 = -2*y. Is y prime?
False
Let h(x) = 48520*x - 919. Is h(6) a composite number?
False
Let s(m) = 4*m + 3*m - 10*m**2 + 30 + 9*m**2. Let p be s(10). Suppose 8 = -p*l + 4*l, 2*l - 3656 = -4*o. Is o prime?
False
Let o(z) = z**2 - 3*z - 2. Suppose 2*w - 23 = -2*x - 3*w, 0 = -2*x - w + 11. Let g be o(x). Suppose -2*k + 3 = -1, g*i = k + 176. Is i a composite number?
False
Suppose 0 = -3*o + o - 20. Let j be (-9)/6 + (-55)/o. Suppose j*z - g - 4353 = 0, -2*g - 13 = -3. Is z a composite number?
False
Let z be (2 + (-26)/10)*-20. Is z/32 + 520084/32 prime?
True
Let w = 263 + -259. Let s(d) = -d**2 + 5*d - 18. Let u(p) = p**2 - 9*p + 37. Let c(v) = -9*s(v) - 4*u(v). Is c(w) a composite number?
True
Let t = -21839 - -31074. Is t prime?
False
Is 1/(14/((-632464)/(-8))) a composite number?
False
Suppose 193*f - 169*f = 2300712. Is f a composite number?
True
Let c be (-25)/5 + 11 + (-6)/2. Let d be (-1246)/((10/15)/((-2)/c)). Suppose -d = -2*q - 4*i, 3*q - 3*i = -q + 2536. Is q composite?
False
Suppose -4*y = -4*x + 3292, -5*x - 4*y + 2434 = -2*x. Suppose 4*k = -c + 813, x = -4*k + 8*k + 2*c. Is k prime?
False
Suppose 178*h = 2072803 + 6736008 + 5972487. Is h prime?
False
Suppose -m = -3*g + 857662, -6*g + 2*g - 4*m = -1143544. Is g composite?
True
Let l(a) = -2*a + 27. Let m be l(17). Let f(i) = 9*i**2 + 7*i + 11. Is f(m) composite?
True
Suppose -4 = 4*y, -3*y = 4*x - 308193 - 76312. Is x a composite number?
True
Is 18483751/117 - (-7)/((-252)/(-8)) a composite number?
True
Suppose 12*i + 595713 - 24814 = 73*i. Suppose 5*q + 20 = 55. Is ((i/(-21))/q)/(2/(-6)) a composite number?
False
Is ((-1294203)/6 - -1)*(-3 - (-20 + 19)) composite?
False
Is ((-85)/25 - -4)/(6/8379510) prime?
False
Let p be (-2)/(-15) - ((-2644)/(-30) - 9). Let g = -1748 + 2598. Let t = g + p. Is t composite?
True
Let f(h) = -18*h**2 + 9*h - 20. Let d = 3 - 10. Let w(u) = 37*u**2 - 18*u + 41. Let y(m) = d*f(m) - 3*w(m). Is y(7) a prime number?
False
Suppose 0 = -12032*z + 12012*z + 71295740. Is z a composite number?
False
Suppose -72*v - 56*v - 3661925 = -153*v. Is v a prime number?
True
Is (-2 + 179164 - (2 - 3)) + 212/(-53) composite?
True
Suppose 64*b + 12713419 = 90*b + 81*b. Is b prime?
False
Let n = -43 - -44. Let s be 3/3 + (0/2 - n). Let x(c) = -c**2 + 583. Is x(s) prime?
False
Let d be (-4)/(-7)*7/2. Let s = 13 - d. Suppose 6395 + 1668 = s*h. Is h prime?
True
Suppose 5*z - 50459 = 14776. Is z a composite number?
True
Suppose -4055714 = 90212*t - 90238*t. Is t composite?
True
Suppose -4*q = -2*q - 3*o - 7538, 0 = -5*q - 2*o + 18845. Let k = -2195 + q. Is k a composite number?
True
Let i = 499 - 478. Is (-13490)/(-6) + 14/i a prime number?
False
Let k(x) = -1704*x - 173. Is k(-23) composite?
False
Let l(f) = 3100*f - 2457. Is l(30) prime?
False
Let j be 14*(-5)/10*-7. Let k(p) = -j*p + 20*p - 19 + 8*p + p**2. Is k(-10) a prime number?
False
Let c be 5/(6 - 1) + (-7 - 0). Let s be (-9)/c - 2/(-4). Suppose 973 = s*n - 1345. Is n prime?
False
Suppose -8*a = -14*a + 12. Let p be (-139*(-1)/(-1))/(a/6). Let l = p - -770. Is l prime?
True
Is ((1326598680/48)/(-55))/(2/(-4)) composite?
True
Let y(q) = q**2 + 2*q + 7. Let k be y(-4). Let h(w) = -19*w + 39*w + w**2 + 3 - k*w. Is h(6) a prime number?
False
Is (-16031253)/(-210) - 3/10 a composite number?
True
Let i = -2979 + 7538. Is i a prime number?
False
Let b = 35 - 7. Suppose -409*x + 304*x + 420 = 0. Is (-2)/x + 122290/b a composite number?
True
Let z(f) = -38*f**3 - 6*f**2 - 7*f - 1. Let r be -7 - 2/4*-2. Is z(r) prime?
False
Let x be 1049763/44 - ((-2)/8)/(-1). Suppose 3754 - x = 4*c. Is (c/7)/(2*(-2 + 1)) a prime number?
True
Let k = 2931 - -3148. Is k prime?
True
Let r(s) = 180*s**2 - 9*s - 12. Let y(h) = -h + 1. Suppose -4*x - 4*i = -8*x + 12, 2*i + 11 = 3*x. Let g(q) = x*y(q) + r(q). Is g(6) a composite number?
False
Let t = -331 + 918. Suppose 6*h = r + 3*h - t, -4*h + 2348 = 4*r. Is r a composite number?
False
Is 10/2 + (-55984)/(-2) a prime number?
True
Let f be 2/(-2)*(3 + -898). Let p be ((-16)/24)/(2/(-180)). Let l = p + f. Is l a composite number?
True
Let s(m) = 129*m**2 - 6*m + 16. Let i(c) = 259*c**2 - 13*c + 33. Let d(b) = -6*i(b) + 13*s(b). Let j be (15/(-45))/(2/18). Is d(j) composite?
False
Suppose -24769285 - 21779971 = -43*i - 61*i. Is i composite?
True
Let v(m) = 31*m**2 + 8*m + 1. Let o(i) = -30*i**2 - 7*i - 1. Let u(r) = -6*o(r) - 5*v(r). Let n be u(2). Let p = -18 + n. Is p prime?
False
Suppose -5*p + 30 = 5*h + 25, -4 = -3*h - 4*p. Let s(z) = 10*z + 5779. Is s(h) a composite number?
False
Suppose -3010409 = -5*s - 5*h + 9*h, s = -7*h + 602035. Is s composite?
True
Is 251672/16 - 2 - 3/6 composite?
False
Let g = -3 + 0. Let z be g - (-1)/((-5)/80). Let n(m) = m**2 + 16*m - 36. Is n(z) a prime number?
False
Let w(g) = 3754*g + 4993. Is w(40) prime?
True
Let p(f) = f**3 + 26*f**2 - 12*f - 31. Let r be p(-26). Let d = r - 78. Is d a prime number?
False
Is (-319)/(-110) + 42/(-30) - (-429758)/4 composite?
False
Suppose 9*t = t + 4624. Let l = t - -1399. Suppose 0 = 4*n + d - l, -2*d - d = -5*n + 2450. Is n prime?
False
Let d = -253 + 253. Suppose -2*x - 6*l = -l - 5554, d = 2*x - 3*l - 5554. Is x composite?
False
Suppose -28*t = -29*t + o + 751434, -8265830 = -11*t + 3*o. Is t composite?
True
Let o(a) = -831*a - 754*a + 384*a - 85*a - 93. Is o(-8) composite?
True
Let s = -152610 + 273733. Is s prime?
True
Is (-6388)/((336/(-1351))/12) composite?
True
Suppose -4195*y - 32496057 = -4228*y. Is y composite?
True
Let m(u) = u**3 + u**2 - u + 4. Let r be 