umber?
True
Let n(m) = m**3 + 9*m**2 + 14*m + 4. Let r = 33 + -40. Let h be n(r). Suppose h*u - 6260 = -0*u. Is u a composite number?
True
Suppose 0 = 2*g - 63 - 11. Let a = g + -34. Is (-1 + 527)/(a + -1) a composite number?
False
Let q(t) = -t**3 - 12*t**2 - 13*t - 10. Let d be q(-11). Suppose d*a = 11*a + 75. Suppose n - i = 84, 5*n - 3*i = 349 + a. Is n composite?
True
Let t(m) be the second derivative of 119*m**5/120 + 13*m**4/8 + 2*m**3/3 + 21*m. Let z(u) be the second derivative of t(u). Is z(10) a composite number?
False
Let r(n) = -3*n**3 - 4*n**2 + n + 1. Suppose 4*o + 16 = -2*g, 3 - 2 = 4*g - 3*o. Let f be r(g). Is (1 - (-646)/f) + (-44)/154 a composite number?
True
Let x(y) = 8*y**2 + 126*y - 427. Is x(73) prime?
False
Suppose -5*z = 4*y - 3*y - 60, 2*y + 2*z = 88. Is 757/(-1*(y/15 + -3)) a prime number?
False
Let p be 72/8 - (-6 + 0). Is (-13 + p)*(-838)/(-4) prime?
True
Let h = -234 + 229. Is h*(-3 - (-20629)/(-35)) a prime number?
False
Suppose 16 = -5*o + 6, 5*r = 3*o - 38589. Let x = -292 + -3156. Let c = x - r. Is c composite?
False
Let q = -33720 - -56297. Is q a composite number?
True
Let s be 12/(-16) - (-28796)/16. Let y = s - 540. Is y prime?
True
Let c(q) = q**3 + 22*q**2 + 118*q + 16. Let p be c(-13). Suppose 0 = 3*l - p*x - 74268, -2*l + x + 43097 = -6417. Is l a prime number?
False
Let w(v) = v**3 - 9*v**2 - 7*v + 1. Let o be w(8). Let g = 208 + o. Let k = 45 + g. Is k composite?
True
Suppose 7 = -13*w + 46. Is 3522/18*w + 0 a composite number?
False
Suppose 45*r - 2050631 = -4*y + 42*r, 0 = 4*y - 3*r - 2050625. Is y prime?
True
Let m(h) = 13 + 298*h - 403*h + 381*h - 6. Is m(10) prime?
True
Suppose 63*b - 626175 = 494455 + 1047893. Is b prime?
True
Suppose -x + p = 2, 4*p = -5*x + 2*p + 18. Suppose -40*y - 206*y + 48*y = 594. Is (-51)/y*x/((-4)/(-122)) a prime number?
False
Let o(g) = -9*g**3 - 17*g**2 + 52*g + 571. Is o(-16) prime?
True
Suppose 5*v - 3062918 = 3*s, -10*s + 117445 + 495128 = v. Is v composite?
False
Suppose -2*f = 2*c - 1451452, -f + 1173*c + 725732 = 1176*c. Is f prime?
True
Suppose 27*g - 133220 = 7*g. Let r = g + -4754. Is r a prime number?
True
Suppose -7*r + 32*r = -3*r - 280. Let c be 1/(-1 + 0) - -44. Let u = c + r. Is u a composite number?
True
Suppose 7*r + 27 = 3*r - 5*a, -r - 3*a = 12. Let z be 63/3 + r + -2. Suppose 5960 = z*k - 8*k. Is k a composite number?
True
Suppose 3*u = -2*w - 2*u - 10, -3*u = 2*w + 6. Let g be (-21)/(-3) + (1 + w - 3). Suppose -g*h + 10470 = h. Is h composite?
True
Let m(n) = 1388*n - 21. Let g(i) = 1389*i - 16. Let b(u) = -2778*u + 33. Let y(p) = 4*b(p) + 7*g(p). Let r(x) = 3*m(x) + 4*y(x). Is r(-4) composite?
True
Let w(g) = 13569*g**2 - 138*g - 577. Is w(-4) composite?
True
Let s(t) = 2*t - 10. Let h be s(-8). Let y = 53 + h. Suppose y*m = 32*m - 725. Is m a prime number?
False
Let v = 30392 - -59931. Is v a prime number?
False
Let u be 6/(-1 - 8/16). Is ((u - 5)/(-45))/((-2)/(-22070)) a composite number?
False
Let d be ((-10)/25)/((-3)/120). Let x be 13/2 + (-8)/d. Suppose 0 = -x*z + 15*z - 10035. Is z a prime number?
False
Let n = 4506 - -2227. Is n a composite number?
False
Suppose -i + 2*i = -2*z + 17719, 53154 = 3*i + 3*z. Suppose -24*c + i = -18835. Is c a composite number?
False
Let b(f) = -f + 1. Let g be b(-10). Let w be g/((-1 + 2)*(-2 - -3)). Suppose -w*z = -13*z + 148. Is z a prime number?
False
Let l(w) = 17190*w**2 - 498*w - 2467. Is l(-5) a prime number?
True
Suppose -10*p = d - 6*p + 11, -25 = 5*p. Suppose -u = -3*f + 37442, 6*f + 37439 = d*f - 4*u. Is f composite?
True
Let t(v) = 932*v**2 + 324*v + 3339. Is t(-10) composite?
True
Let m = 36005 - -13881. Is m composite?
True
Let i(y) = -3*y - 20. Let w be i(-8). Let g be (132/18 - 8)/(w/(-42)). Suppose 0 = -m - l + 1649, -5*m = -g*m + l + 3313. Is m composite?
True
Let r = -182 - -195. Suppose 3*t - 4*x - 53081 = 0, r*t - 14*t + 4*x = -17691. Is t composite?
True
Let g(a) = -52684*a - 8831. Is g(-12) a prime number?
False
Let w(y) = 5*y**2 + 23*y + 26. Let i be w(-15). Let x = i + 5099. Is x prime?
False
Suppose 0 = -3*f + m - 1419 - 749, -3*f - 2138 = 5*m. Suppose -2*p = -3*g + 3776, -5*g + 5442 + 858 = -2*p. Let c = f + g. Is c composite?
False
Suppose -14064 = 3*l - 73381 - 70994. Is l a composite number?
True
Suppose g + 0 + 1 = 0. Let w be -14*(47/4)/(g/(-2)). Let k = w + 666. Is k a prime number?
True
Let x be -2*7 + -6 + (8 - 0). Let a(u) = 21*u**2 + u - 11. Let n be a(x). Suppose 0 = -3*z + 5*z - t - n, -3*t + 7508 = 5*z. Is z prime?
False
Suppose -3*t = -14*t + 154. Is (0 + 7)*11498/t composite?
False
Suppose 66*q - 3407182 = 2800052. Is q composite?
False
Let n be 4/(-10) - ((-94)/10 + 0). Suppose 2*s - 4235 = n*s. Let v = -276 - s. Is v prime?
False
Let i(c) = 32*c - 25. Let f be (10/3)/(4/84). Let a = f + -61. Is i(a) composite?
False
Let u = 390 + -371. Suppose 1999 = u*v - 3834. Is v composite?
False
Suppose 6*x - 1601509 = -32*x + 8149405. Is x composite?
False
Suppose 3*j - 5*j = -4*p + 10, 5*p = 2*j + 10. Suppose -q + 5*i = -3*q + 17999, p = -4*q - 2*i + 35990. Is q composite?
True
Suppose -10784896 - 1758469 = 16*w - 101*w. Is w composite?
True
Let c = -17043 - -159704. Is c prime?
False
Let p(s) = 3*s - 16. Let r(u) = -7*u + 31. Let f(q) = -9*p(q) - 4*r(q). Let n be f(-14). Suppose -1479 = -n*c + 3*c. Is c prime?
False
Let l = -90 - -90. Suppose -5*s - 11 + 26 = 0. Suppose -2*f - 3*n = -234, -s*n + 111 = f - l*n. Is f composite?
True
Let u(m) = -m**3 - 3*m**2 + 170*m + 9. Let g be (-248)/(-12)*(-27)/18. Is u(g) a composite number?
False
Suppose -34*x - 116671 + 2090133 = 0. Is x a composite number?
False
Let z(v) = -v**2 + 3*v + 48. Let u(d) = d**3 + 8*d**2 + 8*d + 14. Let i be u(-7). Let r be z(i). Is 2872/r - (-6)/(-10) a prime number?
False
Suppose 0 = 8*y - y - 28574. Let g = -2883 + y. Is g prime?
False
Let r = 5 + 0. Suppose -2*t + 2259 = -r*t. Let k = 1084 + t. Is k prime?
True
Let k(q) = -3*q + 14 + 9*q**2 + 16 - 11. Let g be (-44)/(-176) + (-180)/16. Is k(g) prime?
False
Let t = -22700 - -57751. Is t composite?
False
Suppose 5*f - 677270 = -5*l, -19*l + 677254 = -14*l + 3*f. Is l composite?
True
Let l = -10 + 13. Let c(p) = -2*p**2 + p**2 - 5 + 4*p - l*p + 6 - 2*p**3. Is c(-6) a prime number?
False
Let a = -9 - -3. Let w(n) be the second derivative of -17*n**3/6 - 35*n**2/2 + 76*n - 2. Is w(a) prime?
True
Let i = 220 - 216. Suppose -i*g + 5*d = 2*d - 9760, 0 = -d - 4. Is g composite?
False
Let w be (-148)/18 - -8 - (-124906)/18. Let u = w + -2852. Is u prime?
False
Let u(q) = 70 - 109 + 7*q**2 + q**3 + 9*q + q**3. Is u(6) composite?
True
Is 232166 - ((-9)/9 - 10) a composite number?
True
Suppose -2 = d + d, 4*l - d = 9. Suppose -l*u + 5 = -p, -9*p + 8*p = 2*u - 3. Suppose u*y - 4*i = -y + 3281, 1082 = y + i. Is y a prime number?
True
Let z(j) = 5*j**2 - 20*j + 8. Let y be z(4). Suppose 0 = -y*s + 2*s + 33486. Is s prime?
True
Let l = -19569 - -42744. Suppose 26*d = l + 6751. Is d composite?
False
Suppose 2*m + 215958 = 4*w, 5 = 7*m - 8*m. Is w prime?
True
Let g(y) = -y**2 + 15*y + 18. Let z be g(16). Suppose -73 = -3*a - 0*a + z*c, 2*a + c - 37 = 0. Is a a prime number?
False
Let v = -2245 + 14262. Is v composite?
True
Let w = 26323 + -1866. Is w a composite number?
True
Let k be (4 - 0 - 6)*(-18)/3. Suppose 110851 = k*s + 1759. Is s composite?
False
Let k = 192 + -193. Is (-1 + (1 + k)/2)*-983 composite?
False
Suppose -2*t = 4*h - 10, -2*t + h = -3*h - 50. Suppose -10*x + t*x = 1975. Is x prime?
False
Let v(w) = w**3 - 4*w**2 + 5. Let n be v(4). Let i be 1 - (47 - n) - 1. Let u = i + 155. Is u composite?
False
Suppose -21413*f + 320878 + 18934 = -21409*f. Is f prime?
False
Let u be (-8 + -2)/(-5) + (0 - 1). Let s be u*(-8)/14*(-7)/2. Let f(m) = 268*m + 5. Is f(s) composite?
False
Suppose 5*m - 4*k = 24, 4*k = 23 - 7. Let i(s) = 9 - 30 + m + 2*s**2 + 2*s**2 + 4*s. Is i(-8) prime?
True
Let c(g) = 347*g + 3. Let k be -72*1*(-4)/(-8). Let o = 38 + k. Is c(o) a composite number?
True
Suppose 2*y - 1096 = -0*y + 4*f, -f - 5 = 0. Let j be (712/12)/((-3)/((-414)/4)). Suppose -y = -5*n + j. Is n composite?
True
Is (165/30 - 6)*-607786 prime?
False
Let l be 30/(-5 - -11) - -24428. Suppose -4*k = 5*s - 24429, 5*s + 5*k - l = 2*k. Is s prime?
True
Let x(g) = -g**3 + 56*g**