-2 + 9 - 176/32*-5308 a composite number?
False
Let w(l) = -6*l**2 - 63*l - 16. Let s(g) = 6*g**2 + 65*g + 16. Let q(a) = -6*s(a) - 7*w(a). Is q(-31) a prime number?
True
Let u = -16194 - -30595. Is u prime?
True
Let n be 7/(-91) + (-106056)/(-26). Let b = n - 805. Is b a prime number?
False
Let s = 390 - 388. Suppose 5*p = -3*b + 8644 + 2634, -2*p = s. Is b composite?
False
Suppose 3*u - 6*u + 2*i + 4489515 = 0, 4*i = 12. Is u composite?
False
Let h be 21*(-3520)/2*2/15. Let k = 3219 - h. Is k a prime number?
True
Suppose 194*x - 1326 = 188*x. Suppose 0 = -214*p + x*p - 9583. Is p composite?
True
Suppose 1995*v - 1985*v = 1405910. Is v a composite number?
True
Let v(t) = -4*t**2 - 27*t - 34. Suppose -7 - 2 = -9*x. Let f(p) = -p**2 + p - 1. Let d(o) = x*v(o) - 3*f(o). Is d(-11) composite?
True
Suppose -12 = -3*s, -2*u - 427*s + 305738 = -424*s. Is u a composite number?
True
Suppose f - 41000 = 4*i - 6*i, -205040 = -5*f - 2*i. Let k = -17893 + f. Is k a composite number?
False
Let w(l) = l**2 + l - 15. Let f be (1 + -2)/((-3)/12). Let h be w(f). Suppose -g = -2*g, h*g - 357 = -3*q. Is q composite?
True
Let l(v) be the first derivative of -v**5/2 - 11*v**4/24 + 11*v**3/3 - 3. Let w(d) be the third derivative of l(d). Is w(-3) composite?
True
Let f be (-30)/50 - 89788/20. Let v = f + 21945. Is v a prime number?
False
Suppose 5*q - 39 = -119. Let k be (8/q)/((-1)/8). Suppose k*u - 1756 = -4*b + 3*u, 0 = 5*u. Is b prime?
True
Let o = -31 + 37. Let z be 7626/124*23*8/o. Suppose -5*p - h = -898 - 8544, -p - h = -z. Is p composite?
False
Let r be 38974/(-1) - (4 - 3 - -3). Let j = -14781 - r. Is j a composite number?
False
Let n = -13136 + 9067. Let p be ((-856)/(-3))/((-1)/24). Let l = n - p. Is l prime?
False
Let u = -406 - -3386. Let r = 7623 - u. Is r a prime number?
True
Let x(s) = 2*s + 1. Let m(y) = -114*y. Let c(l) = m(l) + x(l). Is c(-9) a composite number?
False
Let t(q) = 73*q**2 - 3*q - 23. Let p be t(-7). Suppose -n - p = -6*n. Suppose k = 6*k - n. Is k composite?
True
Let i(w) = -w**2 + 18*w - 24. Let z be i(15). Let b(x) = x**3 - 10*x**2 - 23*x + 17. Is b(z) composite?
True
Let g(x) = -2692*x + 1157. Is g(-56) composite?
False
Let n(o) = 945*o - 235. Let a(w) = -1891*w + 468. Let h(l) = -3*a(l) - 5*n(l). Is h(4) a composite number?
True
Let l(t) = -835*t - 50. Let d be l(-5). Suppose 4*k = d + 2407. Is k composite?
True
Suppose -2*q + 189222 = 4*f + 19912, q = -5*f + 84664. Is q prime?
True
Suppose -4*b = -13*b - 11763. Let j = 2126 + b. Suppose -v - j + 3838 = 0. Is v a composite number?
False
Let w(x) = -x**3 - 31*x**2 - 30*x + 18. Let y be w(-30). Is 8566/(-3)*4*y/(-48) composite?
False
Let j(y) = 77*y + 12. Let l be 5 - (-3 - -4 - 1). Suppose 5*n = -3*q - 5, -2*q - 3*q = 5*n - l. Is j(q) a composite number?
False
Let m(n) = 5*n + 31 - 11 + 0*n. Let o be m(8). Suppose 2*t + 15 = i - t, -2*t = 4*i - o. Is i composite?
True
Let q(s) be the first derivative of -s**3/3 + s**2 + 293*s + 45. Let z(m) = m**2 + 5*m. Let x be z(-5). Is q(x) a prime number?
True
Suppose 18*o = -65058 - 123402. Let r = -1391 - o. Is r prime?
False
Suppose -4*w + 39*v + 289631 = 44*v, -2*w + 3*v + 144777 = 0. Is w prime?
False
Let v(k) = -k**3 - 122*k**2 + 528*k + 216. Is v(-131) a prime number?
False
Is (4 + 15198)/(7 - 5) a composite number?
True
Let v = 562 - 552. Suppose 2*u = -h + 639, 3207 = -5*h + v*h - 2*u. Is h a prime number?
True
Suppose -2*r = 3*q - 7 - 12, 3*q = -3*r + 21. Let c(k) = 2*k**3 + 4*k**2 + 5*k - 7. Let u be c(q). Suppose 1891 = 9*y - u. Is y a composite number?
False
Suppose 3*b = 0, a + 0*a + 5*b - 344299 = -54626. Is a composite?
True
Suppose 143*x - 139*x - 760007 = 3*n, -379998 = -2*x - 4*n. Is x composite?
True
Suppose 2*n = 2*m - 195766 - 854, -5*m = -4*n - 393242. Is (-28)/266 + (-3 - n/19) a prime number?
True
Let b(g) = 5 + 8*g - 3*g**2 + 0*g + 4*g**2 - 5*g**3. Let q(j) = 11*j - 108. Let u be q(9). Is b(u) composite?
False
Is ((-165)/30 - -7)/(9/272166) a composite number?
False
Suppose 3*y + 3 = 0, 0 = -5*j + 2*y - 4*y + 33. Let f be 1/(((-7)/(-120))/j). Is 6/(-2) - f*(-40)/12 composite?
False
Let y(l) = 11*l**2 - 8*l - 3. Let w(o) = 5*o**2 - 4*o - 1. Let k(n) = 7*w(n) - 3*y(n). Let z be k(2). Suppose -z*v + 4056 = 1246. Is v prime?
False
Is 3 + (1143620 - -21) - 13 prime?
False
Let h = -1815 + -5916. Let z = -3968 - h. Is z a prime number?
False
Let r(q) = q + 8. Let z be r(-4). Suppose 4*s - t - z = -0*s, 0 = 4*t - 16. Suppose -s*h - 1199 = 5*y - 4022, -y = 2*h - 563. Is y a composite number?
True
Let n = 3992 - 3937. Let b = 9 - 57. Let c = n + b. Is c a prime number?
True
Suppose -5*v - 20 = 0, l + 0*v = 5*v + 22. Is (-16)/80 + 1056*l/10 a composite number?
False
Suppose 1467004 = 2*i + y, 4*i - 4*y - 555999 = 2378045. Is i prime?
False
Let i be (705 + 41)*(1/2 - 1). Let d = i + 1934. Is d a composite number?
True
Is (-1367961)/(-35)*((-2)/6 + 2) composite?
False
Suppose 2251903 = 2*d - 5*x, 3*x + 1436828 - 3688723 = -2*d. Is d a composite number?
True
Let t(g) = 2*g**3 + 192*g**2 + 264*g + 367. Is t(-91) prime?
False
Let c(f) = f**2 - f + 1. Let a(n) = -4 + 38*n**2 + 7*n**3 - 2 + 2*n - 48*n**2. Let d(j) = -a(j) - 5*c(j). Is d(-4) prime?
False
Let k = 11636 + -5287. Is k a composite number?
True
Let a = 339 + -324. Suppose a*r = 7572 + 6033. Is r composite?
False
Is (-13)/6*62/(-403)*152499 composite?
False
Let o be -682*(-6)/8 + 4/(-8). Let w = 644 - o. Is w prime?
False
Suppose -299*h + 212*h + 2771907 = 0. Is h a composite number?
True
Let w(l) = 13*l**3 + 9*l**2 - 29*l + 58. Is w(21) a composite number?
True
Let n = -55636 + 92595. Is n a composite number?
True
Let m(t) = t**3 - 8*t**2 - 17*t + 33. Let s = -143 + 154. Is m(s) a composite number?
True
Let r(f) be the second derivative of -1364*f**3/3 - 239*f**2/2 - 245*f. Is r(-6) a prime number?
False
Suppose -3*i = 3*z - 0*z - 51, 82 = 5*z + 2*i. Suppose -z*f + 8 = -12*f. Is 3 - 167*(0 - f) a composite number?
False
Suppose 3*v = -5*l + 61, 4*v - 2*l = -0*v + 116. Let h = -24 + v. Suppose -7*f + 2*f = -5*p - 1540, h*f - 926 = 5*p. Is f a composite number?
False
Let q be (-10)/((-5)/(-1)) + 4 + 4340. Suppose 2*r + 5721 = 3*w, r - 1379 = -3*w + q. Is w a prime number?
True
Suppose 3*p - 4*k = -k + 36, -3*k + 76 = 4*p. Let h be ((-510)/4)/(2/p). Let m = 1633 + h. Is m prime?
True
Let m(w) = w**2 - 11*w + 40. Suppose -3 = 2*l + 2*z - 5*z, 0 = -2*l + 2*z. Suppose l*j = -2*n + 28, 0*j - 3*n = -4*j + 9. Is m(j) composite?
True
Suppose 0 = 378*m - 383*m + 1122815. Is m prime?
True
Let t(o) = -o**3 + 9*o**2 + 11*o - 7. Let l be t(8). Suppose 146*d - 2 = l*d. Is 102/d*(-69)/18*-2 composite?
True
Let k = -1714 + 1212. Is -5 + 1 - k - 5 a prime number?
False
Suppose 1091246 = 5*r + 22*r - 32607481. Is r prime?
True
Suppose 18*k - 6*k = 204. Let l(c) = -c**3 + 14*c**2 + 11*c - 1. Let b be l(k). Let z = -478 - b. Is z a composite number?
True
Let o(a) = -88*a**3 - 3*a**2 - 13*a - 13. Is o(-4) composite?
False
Is 46959 - (6/21)/((-6)/168) prime?
False
Let x(d) = 1598*d - 573. Is x(19) a composite number?
False
Suppose -1463462 = -18*n + 3885842 + 2802122. Is n prime?
True
Let t = -190723 + 570782. Is t prime?
True
Suppose 604058 = -6*v + 11*v + 3*q, 120806 = v - 5*q. Is v prime?
True
Let k(j) = -j**3 - 19*j**2 - 47*j - 2. Let l be k(-16). Is (-120)/l*((-117285)/(-20))/7 prime?
False
Let w(a) = a**2 + 9*a + 20. Let z be w(-5). Suppose z*m = -3*m + 3*c + 15, -3*c - 19 = -5*m. Suppose 7*i - 1465 = m*i. Is i composite?
False
Let h(q) = -q**2 - 5*q - 4. Let w be h(-4). Suppose 5*t = 4*k - 3103, k = -w*k - t + 769. Suppose 2*b - k + 134 = 0. Is b composite?
True
Suppose -r - 2*t + 14394 = 0, -71946 = -0*r - 5*r + 2*t. Is r/(-4)*(-10)/25 a composite number?
False
Suppose 0 = 10*k + 4*k - 213220. Suppose 4*m - k = 21446. Is m a prime number?
False
Let t be -6 + -24*5/(-15). Is ((-3)/((-6)/2))/(t/66958) a composite number?
False
Let q(b) be the second derivative of -b**5/20 - b**4/12 + 2*b**3/3 + 2165*b**2/2 - 219*b. Suppose 0 = 2*a - 0*a. Is q(a) a composite number?
True
Let c(b) = 65039*b - 8127. Is c(10) a composite number?
True
Let m be (-112)/(-20) - (3 - 72/30). Suppose -m*c + 11605 = -4*c - w, c - 11607 = 2*w. Is c composite?
True
Is 511802/10*(11 + 6 - 12) a composite number?
Tru