omposite number?
True
Let u(q) = 250*q**2 - q. Let y be (0/5)/(-2) - -1. Is u(y) composite?
True
Suppose 2*j - 7685 = -5*c - 2*j, -c - 3*j = -1537. Suppose 3298 = 5*r - c. Is r prime?
True
Suppose 132309 = 3*u + 3*c, 83*u + 220555 = 88*u - 5*c. Is u composite?
True
Let j(v) = -v**3 - v**2 + v + 1. Let p(q) = -13*q**3 + 6*q**2 - 5*q - 7. Let l(u) = 6*j(u) + p(u). Let n(d) = -3*d + 43. Let g be n(15). Is l(g) prime?
True
Let p(c) = -3*c**3 - 2*c**2 - 2*c. Let f be p(-2). Suppose 0 = -13*l + f*l - 6706. Is l composite?
True
Is 53*(-9 + (-10 - -66)) composite?
True
Suppose 2*d + 3*t - 430 = t, 5*t = 15. Suppose 0 = 4*l + 8, -6*l = 2*f - 2*l + d. Let u = f - -497. Is u a composite number?
True
Let f(m) = 3654*m**2 + 5*m - 5. Is f(2) composite?
False
Let d(v) = v**2 + 7*v - 1. Let n be d(-7). Let z be n/(1/4*-1). Suppose -3*h - 246 = -3*k, 2*h + 334 = z*k - 0*h. Is k a composite number?
True
Let c = 1031 + 12086. Is c composite?
True
Suppose 15*r = 11*r - 4. Is r/4 + (-72)/(-32) prime?
True
Suppose p = 5*g + 1733, 4*p + 3249 - 10276 = g. Is (p/12)/((-2)/(-4)) composite?
False
Let b = -250 - -2594. Suppose 5*d = -b + 9149. Is d composite?
False
Let v be (176/(-6))/(3/(-54)). Suppose v - 68 = 2*u. Suppose 3*y - 3*a - 450 = 0, -u = 5*y - 3*a - 970. Is y a prime number?
False
Let w = -13 + 20. Suppose 4 = 3*o - w*o. Is o/((-4)/(-3032)*-2) a prime number?
True
Suppose -3*t = -2979 - 6630. Suppose -2*m + t = -3891. Is m composite?
False
Let k(m) = m**2 - 9*m + 8. Let a be k(8). Let p = -4 - a. Is ((-108)/30)/(p/10) composite?
True
Let i(s) = 55*s**2 - 10*s - 73. Is i(-24) composite?
False
Let i be (-33)/22 + (-2042)/(-4). Suppose i = 3*t - 1261. Let a = t + 507. Is a composite?
False
Let f(u) = -5*u + 65. Let s be f(13). Suppose s*q + 5*q - 8355 = 0. Is q prime?
False
Suppose 4*m + 28 = 1296. Let l = m - 190. Is l a composite number?
False
Suppose -238*z + 10618 = -236*z. Is z a composite number?
False
Let v be 637 + (-2 - -2) + -3. Suppose 0*l - n = 3*l + v, -2*l - 416 = -n. Let i = l - -341. Is i a composite number?
False
Let z(r) = -103*r + 99. Is z(-29) prime?
False
Suppose 4*j = 12*j - 72232. Is j prime?
True
Suppose -115*o + 118*o = 408. Let q = o - 9. Is q a composite number?
False
Suppose 6712*y - 6705*y - 400757 = 0. Is y prime?
True
Let c be 1 + (-3 - -1 - 9). Let g be c*(1 - 26/4). Suppose 0 = 2*b + 3*n - g, 3*b - 5*n = 5*b - 61. Is b prime?
True
Let z(v) = v**2 + 5*v - 10. Let y be z(-7). Let x(m) = 29*m**2 + 2*m + 7. Is x(y) prime?
True
Suppose m + 2*m = 5*m. Suppose -4*s + 4*d + 2144 = m, 4*s + 5*d - 3348 + 1231 = 0. Is s prime?
False
Let j(i) = 21*i**2 - 2*i + 12. Suppose 3*a - 7 - 8 = 0. Suppose -a*g + 18 + 7 = 0. Is j(g) a prime number?
False
Let a = 22806 + -12401. Is a prime?
False
Let n be 12/42 + 4/(-14). Let h(f) = f**2 - f + 784. Let s be h(n). Let a = s - 445. Is a a prime number?
False
Let v(i) = -4*i**3 - 7*i**2 - 2*i + 10. Let u be v(-7). Let l = -695 + u. Is l prime?
False
Let w = 381 + -101. Let s(q) = -q**2 + 8*q - 6. Let k be s(7). Is -3*(k + w/(-12)) composite?
False
Let c(y) = -6*y - 8. Let z be c(-2). Suppose 0 = 5*j - n - 4765, -2*n = -z*j + n + 3823. Suppose 2*i = j + 534. Is i composite?
False
Is (12 - (-3895 + 7)) + -1 a composite number?
True
Suppose 7 = 5*w + 22, -4*y - 4*w + 54992 = 0. Is y prime?
True
Suppose 0 = 6*q - 2*q + 5*j - 5991, -3*j + 4494 = 3*q. Is q a composite number?
False
Let w = 41 + -44. Is -1 - (w - (40 + -3)) composite?
True
Suppose 1 + 9 = 2*d. Suppose -2*w + 4*y - 18 = -6, d*y = -4*w + 15. Let h(c) = -c**3 - c**2 + 58. Is h(w) prime?
False
Suppose -16*s = -20255 - 31281. Is s prime?
True
Let r = 24033 - 12176. Is r composite?
True
Let w = 2129 + -16292. Let v = -7257 - w. Suppose 0*q = 6*q - v. Is q composite?
False
Suppose 0 = -4*j - y + 47831, 13*j - 15398 = -4*y + 140055. Is j composite?
True
Let r(q) = -2*q**2 - 11*q - 22. Let a be r(-5). Suppose 0 = -4*k - 2*c - 10, 1 + 5 = -3*k - 2*c. Is (k - 47)/(3/a) prime?
False
Let o(u) = 11*u**2 + 55*u - 39. Is o(-20) a prime number?
False
Let c = -7792 - -14849. Is c composite?
False
Let z = 27 + -91. Let k = -89 - z. Let d = 24 - k. Is d a prime number?
False
Let r be 6*5/15 + 949. Let x = r - 368. Is x prime?
False
Suppose -5457 = -9*u - 1092. Suppose -5*o + 440 = -u. Is o a composite number?
True
Let f(b) = 28*b + 213. Is f(10) composite?
True
Let z = -177231 - -269032. Is z prime?
True
Suppose 41014 = 3*r - y - 3372, -14802 = -r - y. Is r composite?
False
Is (-17)/(136/118112)*(-2)/8 composite?
False
Suppose -2*j - 50 = -5*b, 4 = -j - 1. Let m be 91/(-28) + 2/b. Is 1 - 1 - m - -91 prime?
False
Is (-6)/4*185890/(-15) prime?
False
Is (-8)/(-40) - 8768/(-10) a composite number?
False
Let y = 16559 + -9780. Is y a prime number?
True
Suppose o = 3*n - 68 - 36, -8 = -2*o. Let k be n/5 + (-1)/5. Suppose 4*h = k*h - 42. Is h a prime number?
False
Let p = -3 - 7. Let u = -8 - p. Suppose 144 + 27 = 3*n + 2*z, u*z = 4*n - 214. Is n composite?
True
Let f(z) = -z**3 - 6*z**2 - 7*z - 6. Let p be f(-5). Suppose -w = p*w - 75. Is w composite?
True
Let p be -4*(-4 + 4/(-16)). Suppose p = 2*n - 27. Is n composite?
True
Let r(u) = -86*u**3 - 7*u**2 - 6*u - 8. Is r(-5) a composite number?
False
Let i = 192 - -1465. Is i composite?
False
Suppose -50*t + 53*t - 40029 = 0. Is t prime?
False
Let d(g) = 410*g - 88. Is d(19) composite?
True
Let f be (1 - 25/15)/((-2)/21). Suppose -50581 - 17970 = -f*m. Is m prime?
False
Is (-7 + 702 - -6)*3 a composite number?
True
Let d = 214 + -232. Let z(v) = -9*v**3 - 1. Let h be z(2). Let m = d - h. Is m composite?
True
Let p be (-3 + -1 - -3)*1. Let q(l) = 2*l - 5. Let o(r) = -r + 1. Let f(c) = p*q(c) + 3*o(c). Is f(-7) composite?
False
Let r(h) = 2*h**3 - 7*h**2 + h + 2. Let u be r(5). Suppose 20*s - 95 + 575 = 0. Let y = u + s. Is y a prime number?
False
Suppose 0 = -14*q + 19*q + 210. Let m = q - -67. Is m prime?
False
Suppose 0 = -52*y + 49*y - 2919. Let t = y + 1564. Is t prime?
False
Suppose 456 = 2*i - j, -i + 3*j + j = -242. Let u = i - 99. Is u a prime number?
True
Let c(t) = 472*t**2 + 5*t - 13. Let f(l) = -l**2 + l. Let q(b) = c(b) - 4*f(b). Is q(4) prime?
True
Let k = 32 + -28. Suppose 3*s - 5*h - 7 = 0, 0 = 5*s - k*h + h - 17. Suppose 0*z - 406 = -4*z + 3*d, 0 = -s*d + 8. Is z a composite number?
False
Is (-260)/(-39)*-6*178/(-16) composite?
True
Suppose 157 = -c + 16. Let v = c + 392. Is v composite?
False
Suppose 4*o - 2*d - 5 = d, 5*o + 4*d = 14. Let z(f) = -16 + f**3 - f**3 - 8*f**o - f + 2*f**3. Is z(7) composite?
False
Let y = -33 - -35. Suppose -4*v = 5*t - 4073, 0*t + 3*v = -y*t + 1625. Suppose -2*u + 1017 + t = 0. Is u composite?
True
Let u(o) = 4*o**3 - 13*o**2 - 21*o + 3. Let v be u(13). Suppose -3*b + 3006 + v = 0. Is b composite?
False
Let s(w) = -w**3 - 5*w**2 - 6*w + 11. Suppose 10 - 4 = 2*h. Suppose g + 48 = -5*u - 2, h*u + 30 = -2*g. Is s(u) composite?
False
Let r = 19 + -19. Suppose r = -3*c + 2*c. Suppose c*k - 254 = -k. Is k prime?
False
Let c be (17/(-34))/((-1)/(-8)). Is 372/(-8)*c/3 a composite number?
True
Suppose 0*k - 10 = -2*k. Suppose 2*r - k*r = 0. Suppose r*c + 3*c - 573 = 0. Is c a composite number?
False
Let m(d) = -2*d + 27. Let k be m(16). Is 1/k + (-26292)/(-35) composite?
False
Suppose -t = -0*t - m - 4658, -3*m + 15 = 0. Is t a prime number?
True
Let k(z) = 3*z**2 + 1. Let w be k(1). Suppose -w*c + c = -36. Is (0 - 620/c)*-3 prime?
False
Suppose 0 = -4*z + 85 - 77. Suppose 0 = -3*v - s - s + 2111, 4*s = z*v - 1434. Is v prime?
False
Suppose 55 = b - 42. Let v = b - 67. Let c = v - -23. Is c a prime number?
True
Let w(p) = p**3 - 15*p**2 + 14*p + 5. Let c be w(14). Suppose -c*u - 45 = -0. Let a(q) = -7*q - 10. Is a(u) composite?
False
Let y(t) = 1267*t**3 - 2*t + 1. Let g be (-6)/(-10) - (-18)/45. Let a be y(g). Suppose 0 = -4*h + 2*h + a. Is h prime?
False
Let t = 1622 + -675. Let f = -30 + 62. Suppose 6 = 3*o, -5*a + 5*o = f - t. Is a prime?
False
Let z(l) = 2*l**3 + 12*l**2 - 7*l - 51. Is z(10) composite?
False
Suppose -650486 + 192541 = -5*m. Is m a prime number?
False
Suppose -b = -5*i + 14962 + 66707, -48995 = -3*i - b. Is i prime?
True
Let p = 13 - 45. Let j = p + 135. Is j composite?
False
Suppose 5*h - 4*v - 45264 = 0, 2*v = -3*h + 5*v + 27159. Let p = h - 5801. Is p pr