composite number?
True
Let c = -5621 - -23268. Is c composite?
True
Suppose -5*x - 3*n - 218 = 0, -3*x - 3*n = -7*n + 154. Let w = 719 + x. Is w prime?
True
Let r(b) = -14*b + 32. Let v(j) = -9*j + 21. Let t(y) = 5*r(y) - 8*v(y). Let s be t(11). Is (s/4)/(6/804) a composite number?
True
Let d be (2/(2/3))/1. Suppose 0 = 5*y - 5*g - 520, 0*g + g - d = 0. Suppose 4*l - 117 = -4*n + y, 0 = -5*l - 3*n + 286. Is l a prime number?
True
Suppose 0 = 10*d - 14851 - 2219. Let p = -838 + d. Is p a prime number?
False
Let k be (105/20)/(2/16). Is ((-14)/(k/6))/((-2)/6007) a prime number?
True
Let b = 25 + -38. Let z(m) = 13*m**2 - 8*m + 16. Is z(b) a composite number?
True
Suppose -t - 2*t = -2*j - 987, 4*j + t = -2009. Let b = -715 - j. Is 0 - -2 - (b + 5) prime?
True
Is 3 - -1 - 0/(-4) - -8349 a composite number?
False
Is 48/8 + 2/(-4)*-26566 composite?
True
Suppose -5*x + 5*q + 10 = 0, 0*q - 14 = -4*x + q. Suppose -3*p + x*p = 1. Is p - -49 - (4 - 0) a prime number?
False
Suppose -v + 0 + 2 = 0. Suppose c - 2*y - 1 = -0*y, 8 = 2*c + v*y. Suppose -c*k = -0*k - 105. Is k a composite number?
True
Let d(u) be the second derivative of 269*u**3/3 + 3*u**2/2 - 8*u. Is d(1) prime?
True
Let y be 225/(-63) - 3/7. Is (2*1)/(2692/(-674) - y) a prime number?
True
Let h(b) = 286*b**3 - 3*b**2 + b + 3. Suppose -i - 3*i = -8. Is h(i) a composite number?
False
Let j(f) = -f**3 - 8*f**2 + 9*f - 2. Let n be j(-9). Is n/6*(-1223 - 10) prime?
False
Let z(r) = 1724*r**2 + 16*r - 47. Is z(4) prime?
False
Suppose -3*f = 5*y - 1679 - 2402, 4*y - f = 3275. Is y a composite number?
True
Suppose 3*v = -5*y + 42, 0*y + 6 = 2*y. Suppose 0*k - 7065 = -v*k. Is k a prime number?
False
Let z = -385 - -1000. Is (-1 + z)*(-1)/(-2) composite?
False
Let l(c) = -86*c + 15. Let w(i) = -i**3 + 10*i**2 - 8. Let s be w(10). Is l(s) prime?
False
Suppose 3*z = -k + 44386, -3*k + 2*k + 44381 = 4*z. Is k composite?
True
Suppose 2*y + 2*o = -290 + 78, -2*o = -3*y - 293. Let i = 480 + y. Is i prime?
True
Let q(f) = 10*f**2 - 12*f - 2. Let d be q(9). Let v = -407 + d. Is v a prime number?
True
Suppose -5*b = -6*b. Suppose 1936 = x - b*k + k, 4*x - 3*k = 7765. Is x a prime number?
False
Let o(v) = 2*v**3 - 4*v**2 - 3*v + 11. Let w be o(-5). Let k = -115 - w. Is k a composite number?
True
Let d(r) = 8*r + 50. Let i be d(-7). Is (i/4)/((-3)/(-15270)*-5) composite?
True
Is (40990/(-4) - -3)*(25 + -27) composite?
True
Suppose 0 = -5*w - 373 + 1308. Suppose 602 = 3*n - w. Is n a composite number?
False
Suppose 0 = 4*a - s - 88320, 23*a = 25*a + 2*s - 44150. Is a a prime number?
True
Let z(f) = -f**3 + 29*f**2 + 15*f - 46. Is z(24) composite?
True
Suppose -9*r + 12*r = 192. Let u = 70 + r. Is u a composite number?
True
Suppose -2*c + 1201 = -6333. Suppose -2*s + 5*t + 2403 = -140, c = 3*s + 2*t. Is s composite?
False
Let r be (-3)/(-1) + (-123 - (0 + 3)). Let i = r - -1160. Is i prime?
False
Let a = 28 + -25. Suppose 5*q - 2785 = -3*o - o, -1091 = -2*q + a*o. Is q a composite number?
True
Let l be (63/14)/((-6)/8). Let g be ((-9)/27)/(1/l). Suppose 0 = -g*s + 2677 - 383. Is s a composite number?
True
Suppose 0 = 60*d - 89*d + 84709. Is d prime?
False
Suppose 2*r = -5*h - 1496, 4*r = -0 - 12. Let p = h - -947. Is p a composite number?
True
Let t be (17/(-4))/(1/(-36)). Suppose 0 = -3*q + 2*x + t + 52, 5*x + 285 = 4*q. Is q a prime number?
False
Let t(c) = c**3 + 22*c**2 - 13*c + 111. Is t(-22) a prime number?
True
Let p(g) = 10*g + g**3 - 1 + 8*g - 8*g + 6 + 13*g**2. Is p(-10) a prime number?
False
Suppose 8*j - 3*j - 5*b + 134180 = 0, 0 = -2*j - 5*b - 53700. Is j/(-28) + 9/21 composite?
True
Suppose 3*j = j - 736. Suppose -4*u = 708 - 80. Let y = u - j. Is y a prime number?
True
Let o be ((-11)/22)/(1/(-10)). Is (-2688)/(-80) - (-2)/o composite?
True
Let g(y) = -274*y - 37. Let v be g(-4). Suppose 9*z = 12*z - v. Is z composite?
False
Suppose -13 = -4*s + 7. Suppose 5*b = l + 631, -s*b + 2*b + 389 = 2*l. Is b composite?
False
Is (3/(-2))/((-231)/677138) composite?
False
Is (-21 + 0)*818/(-6) a composite number?
True
Suppose 0 = 11*o - 2*o - 1683. Is o a prime number?
False
Let x = 207 + -4. Suppose 5*w - 4*w - x = 0. Is w a composite number?
True
Let g be ((-4)/(-10))/(9/45). Let d(l) = -4*l + 2 + g*l + 6*l**2 + 19*l**2 + 5*l**2. Is d(2) a composite number?
True
Let i(m) = m**3 - 15*m**2 + 26*m - 55. Is i(19) a prime number?
False
Is 25*((-40)/60)/(2/(-3)) a prime number?
False
Suppose -73893 = -x - r, -65832 = -x + 4*r + 8051. Is x prime?
False
Let a(j) = j**2 - 8*j + 2. Let f = 8 + 0. Let w be a(f). Suppose -3*l + 125 = w*l. Is l a prime number?
False
Let p(q) = 984*q**3 + 2*q**2 + 5*q + 6. Let u(j) = -2952*j**3 - 6*j**2 - 14*j - 17. Let a(w) = -17*p(w) - 6*u(w). Is a(1) a prime number?
False
Suppose 35*y - 432441 = -54406. Is y a composite number?
True
Let a = 3 - 1. Let l be (-168)/(-11)*4 + 14/(-154). Suppose -37 = -a*s + l. Is s a composite number?
True
Let u be 40/(-70) - 860/14. Let p = u + 193. Is p a composite number?
False
Suppose -965 = -4*j + 5*p - 181, -2*j + 392 = p. Suppose 4*d + g - j = -g, g = 2*d - 106. Is d a prime number?
False
Let k(f) = -38*f**2 - 2*f + 1. Let o(n) = -39*n**2 - n + 1. Let z(x) = 2*k(x) - 3*o(x). Is z(-6) composite?
False
Suppose 0 = -26*q + 10*q + 816. Let u = q - -148. Is u a composite number?
False
Let q(k) = -3*k**3 - 14*k**2 + 9*k + 27. Is q(-7) composite?
False
Let z be (-2)/(4/(8*-1)). Suppose -3*u = z*w - 5 - 4, -w + 6 = -3*u. Is 15 - 12 - 248/u prime?
True
Suppose 2*x - 72 = -4*x. Suppose y = -3*y + x. Suppose o - 6*o + 361 = y*r, -2*r + 5*o + 274 = 0. Is r a prime number?
True
Suppose -1 = 5*i + 4*l, 17 = -3*i + 4*l + 42. Suppose p + 2*z - 1 = -4, -5*z = -4*p + 1. Is i + (120 - 1) + p a composite number?
True
Suppose 118 = 2*z - 3*y, z - 147 = -2*z - 3*y. Let k = 182 - z. Suppose q - k = 20. Is q a composite number?
False
Suppose 2*p - 34 = -2*f, 4*f + p + 4*p - 64 = 0. Let y = f - 19. Suppose 36 = 3*w - h - 144, 0 = -w + y*h + 65. Is w prime?
True
Let t = -14 + 17. Suppose -t*m - 2*m + 4*h + 151 = 0, 0 = -3*h - 12. Is -3 + (-9)/(m/(-282)) composite?
True
Let t(k) = 8*k**2 + 9*k + 8. Suppose 0 = 15*l - 14*l + 6. Let c = -1 + l. Is t(c) a prime number?
True
Suppose 2*w = -w - 39. Let j be (1 - w)/((-6)/(-207)). Suppose -r = -4*r + j. Is r a prime number?
False
Suppose -a - 450 = -3*v, 0*v = 2*v + 5*a - 317. Let k = 437 - v. Suppose 0 = 5*n, 5*n = 4*r - 2*r - k. Is r a prime number?
False
Let r = 6 + -4. Suppose -102 = -r*t + 568. Is t a composite number?
True
Let f = 6 + -9. Let s be (-8)/(-6) - 2/f. Suppose 0 = 2*q + s*z - 258, 2*z + 3*z = 2*q - 258. Is q a composite number?
True
Let k(p) = p**2 + 4*p + 1055. Let s be k(0). Suppose 9*x = 10*x - s. Is x a prime number?
False
Let s(g) = -2*g**2 - 2*g - 2. Let o be s(-2). Let p(i) = 6*i**2 - 9*i - 6. Let d(z) = z**2 - 2*z - 1. Let h(f) = -11*d(f) + 2*p(f). Is h(o) prime?
True
Suppose 3*x - 919 = -2*q - 7365, 5*x + 6450 = -2*q. Let b = q + 6861. Is b prime?
False
Suppose 0 = 5*l - 2*c + 574, 3*l - 45 + 393 = 3*c. Let a = 179 - l. Is a a composite number?
False
Let w(j) = 2*j**3 + 8*j**2 + j + 4. Let v be w(-4). Is (v - 45/6)/(2/(-4)) prime?
False
Let p = 5 + 32. Let m = p - -448. Is m a composite number?
True
Let n be (4 - -1)*(-2829)/(-15). Let k = n - 252. Is k a prime number?
True
Let z be (-13)/(-3) + 4/6. Let p(l) = 6*l**2 + 14*l - 4. Let q be p(-10). Suppose -z*r + b = -3*b - 765, 3*r - q = 3*b. Is r a prime number?
True
Let b = 384 - -671. Is b prime?
False
Suppose -303567 = -24*t - 9*t. Is t a prime number?
True
Suppose -18237 = -6*c + 3285. Is c a composite number?
True
Let h(c) = -21*c + 18. Let b(t) = -2*t + 1. Let i(k) = -5*b(k) - h(k). Is i(6) a prime number?
True
Let w(f) = -436*f + 41. Is w(-7) prime?
False
Let z = 822 - -934. Suppose -z = 2*r - 4*r + h, r + h - 875 = 0. Is r a composite number?
False
Let t be (24/(-15))/(3 + (-94)/30). Is 4/6 + 4/(t/2281) a composite number?
False
Let h(l) = 3*l - 7. Let g be h(8). Let m = g + 109. Let t = 139 + m. Is t a prime number?
False
Let p = 8 - 32. Let t = p - -24. Suppose 0*h - h + 419 = t. Is h composite?
False
Let q = -18798 + 31841. Is q a composite number?
False
Suppose 28748 = -r + 2*b, -2*r + 114948 = -6*r - 3*b. Let o(p) = -2*p**2 + 2*p + 16. 