 = -4*f + 2*m - 4160. Let x = 1917 + f. Is x a composite number?
True
Let l = 386 + -689. Suppose 4*o - 3*d = 74, -4*o + 7*d = 2*d - 70. Let w = o - l. Is w a prime number?
False
Suppose 2*s - 3*h = 148261, 0 = -11*h + 14*h - 9. Is s a prime number?
False
Is 8/(-5)*142182/216*-5 a prime number?
False
Let q(c) = c**3 - 11*c**2 + 14*c - 13. Let w be q(10). Let b be 438/w + 3/((-27)/2). Let d(l) = l + 37. Is d(b) a prime number?
True
Let g = 2949 + 884. Is g a composite number?
False
Let h = 33 + -34. Let k be 2*h - (0 + -2 - 1042). Suppose -k = -2*i - 278. Is i a composite number?
True
Is (-3)/((-864)/324618900) - (-5)/120 prime?
True
Let g = -3903 - -2714. Let n = g + 2042. Is n prime?
True
Suppose 18*j = 10*j - 14*j. Suppose 2*d = d + f + 10601, j = 3*d + 4*f - 31775. Is d a prime number?
True
Suppose -97028 = -4*w - 3482*k + 3487*k, 0 = 3*k. Is w prime?
False
Suppose 5*n - l - 303 = 0, -3*n - 5*l - 64 = -229. Let w = n - 54. Is 585 - ((-28)/12 - (-2)/w) prime?
True
Is (17/(-408)*8)/((-2)/274458) a composite number?
True
Let y = 66427 - -5166. Is y composite?
False
Suppose 0 = -4*k - 26 + 34. Is 1059/k*(-44)/(-33) a composite number?
True
Suppose 3*d - 42 = d. Suppose 19*n + 44 = d*n. Suppose 5*u - 39 = -k, -u + 3*u = -2*k + n. Is u a prime number?
True
Let y be 166/(-7) - 4/14. Let g = y - -99. Suppose u + g - 260 = 0. Is u a prime number?
False
Suppose 2*m + 2*j - 2 = -0*j, 2*m + 3*j - 5 = 0. Let y be -1 + 3 + (m/2)/(-1). Suppose -5*a + 59848 = -d, y*a - d = -2*d + 35904. Is a a composite number?
False
Let g = 17337 - 1648. Is g composite?
True
Let n(w) = 11*w + 56. Let g be n(-10). Is g/(-15) - 3 - 16762/(-5) prime?
False
Suppose 2*r - 84650 = -4*f, -2*f = -4*r + 175793 - 6533. Is r composite?
True
Let q be 0 + (2999 - -3)/2. Let d = -878 + q. Is d a composite number?
True
Suppose w - 1 = 0, 10*i + 2*w - 8 = 7*i. Suppose i*a = 4*q + 198, 4*a = -0*a + 3*q + 381. Is a prime?
False
Let p(u) be the first derivative of u**3 + 21*u**2/2 - 7*u - 9. Is p(-9) a composite number?
False
Let r(g) = 5*g + 4. Let f be r(-4). Let z be (-6)/4*(-18 - f). Suppose -2*l - 549 = -i + 2*l, -z*l = -3*i + 1656. Is i prime?
False
Let x(w) = w**3 + 5*w**2 - 11*w + 10. Let g be x(-6). Suppose -g*l + 37*l + 13413 = 0. Is l a composite number?
True
Let k(t) = t**2 - 3*t + 1. Let s(b) = b**2 - 4*b + 1. Let u(a) = 3*k(a) - 2*s(a). Let v(l) = -20*l**2 - 5*l - 11. Let i(p) = 2*u(p) - v(p). Is i(-4) composite?
False
Let v = -17505 - -25714. Is v prime?
True
Suppose 0*y - y = -4. Suppose -7*n = -y*n - 9. Is (n/(-6) - 15/10) + 129 a prime number?
True
Let t be 8/(-28) + ((-15000)/35)/(-2). Let x = t - -343. Is x prime?
True
Suppose 3*s - 4*w - 10770 = -0*s, -5*w = 5*s - 17915. Suppose 0 = 2*v + 3*f - 833 - 969, 3*f = 4*v - s. Suppose 6*h - v = 4*h. Is h a prime number?
True
Let v(d) = -103*d**3 + 29*d**2 - 76*d - 563. Is v(-21) composite?
True
Let w(c) = -7391*c**3 - c**2 + 2*c + 63. Is w(-5) prime?
True
Suppose -1380*m + 1222*m = -13490881 + 316367. Is m composite?
False
Let z(g) = -g**3 - 23*g**2 + 36*g + 71. Let m be z(-25). Let v = m + 2392. Is v composite?
True
Let v = -1 + -31. Let t = v - -34. Suppose -91 = -2*n - 0*i - i, 4*i = -t*n + 106. Is n prime?
True
Suppose -3*x + 2232 = 2*a - 7*x, 0 = 2*a + 4*x - 2256. Let z = -277 - -1902. Let k = z - a. Is k a composite number?
False
Is (4/4)/((-18)/(-7150014)) a prime number?
True
Is (-4 - -225803)*(22 - 21) composite?
True
Let f(t) = -15*t**3 + 30*t**2 + 146*t + 89. Is f(-20) composite?
False
Is 14347*(5/((-75)/(-10)))/((-14)/(-63)) composite?
True
Suppose -11*p + 265 - 496 = 0. Is (2 - 52745/p)*3 prime?
True
Let h = -19916 + 36918. Is h composite?
True
Let u be 162/21 + -2 + (-64)/(-28). Suppose 3*z + 5*w = -1, 4 + u = -5*z + 2*w. Is z/(-4) - 1645/(-14) composite?
True
Let d(n) = 179930*n + 1911. Is d(11) prime?
True
Let h(w) = 2*w**3 - 15*w - 35. Let m be h(13). Let p = -1495 + m. Is p a prime number?
False
Let o(b) = 144*b**3 + 2*b**2 - 9*b - 14. Let d be o(4). Suppose 9245 = 5*q + 4*n - d, 4*n + 14776 = 4*q. Is q a prime number?
True
Let r(q) = 751160*q**2 - 69*q - 70. Is r(-1) composite?
True
Let k(g) = 239*g + 38. Let l be k(-25). Is 3/9*1*l/(-1) prime?
True
Suppose 9*f - 12*f + 3 = 0. Let u be 1 - (f + -2 - 2). Suppose -m + 331 = q, q + 1356 = 5*q - u*m. Is q composite?
True
Let c = -767 + 3876. Is c a prime number?
True
Let t be (5474 - 5)/(0 - 6/(-4)). Suppose -13*a = r - 11*a - 3631, t = r - 3*a. Is r composite?
False
Let f(n) be the third derivative of n**5/20 + 13*n**4/24 - 17*n**3/6 + n**2 - 1. Is f(16) prime?
False
Suppose 4*h = 3*z + 443, -h = -0*h - 5*z - 115. Suppose h - 529 = -y. Is y composite?
False
Let s be ((-2)/4)/((-2)/8). Let z(k) = 0*k + 1416 + 0*k - 1396 + 3*k**s. Is z(-9) a prime number?
True
Suppose 88*t + 4 = 90*t. Suppose -y + 802 - 183 = -3*q, t*y - 4*q = 1228. Let a = 6849 - y. Is a composite?
True
Let v(u) be the third derivative of 5*u**4/24 + 11*u**3/3 + 3*u**2 - 5. Is v(21) composite?
False
Suppose -m = -5*y + 17, 4*m - 7*m + y + 5 = 0. Suppose -6520 = -m*n - n. Is 8 + n + 1 + -2 a composite number?
False
Suppose -5*l - 2 = -12. Suppose -3*x - 5*i = -1368 - 3222, l*x - 3079 = 3*i. Is x a prime number?
False
Let z(u) = -u**3 - 8*u + 2*u**3 + 7*u**2 - 2*u**3 + 15. Let k be z(7). Let g = 276 - k. Is g composite?
False
Let q(b) = -6*b - 11*b**2 + 3 - 1 + 10 + 12 - b**3. Let y be q(-10). Is 642*(4/y)/(1/(-2)) a prime number?
False
Let p(h) = 13*h**2 - 8*h + 6. Let f be p(-7). Suppose 2*z - n + 810 = 0, 4*n + 657 = -5*z - 1381. Let w = z + f. Is w prime?
True
Suppose 0 = 5*j + 30, -30*z + 17637 = -27*z + 9*j. Is z a prime number?
True
Let r = 94928 - 36885. Is r prime?
True
Let l be 14*(31 - (-4)/(-2)). Suppose 4*f + l = -2*j, 0*j = -f - j - 102. Let u = -24 - f. Is u a composite number?
True
Let z be ((-106712)/(-3))/((-15)/45). Is (50/4)/5*z/(-20) composite?
False
Suppose -3*w - 2*s = 1928 + 4764, 4*s = 5*w + 11168. Let a = -595 - w. Is a prime?
True
Is -51*16/192*-30764 prime?
False
Let x(l) = l**3 - 8*l**2 - 15*l + 37. Suppose -12 = -114*v + 110*v. Suppose 0 = -v*b + 30 + 15. Is x(b) composite?
True
Let k = -36018 + 135879. Is k a composite number?
True
Let i(z) = 16*z**2 - 16*z**2 + 455*z**3 - 3 - 3*z - 6496*z**3. Is i(-1) a composite number?
True
Is (-14)/(-4)*(-12527172)/(-882) a composite number?
False
Let t(w) = 1250*w**2 + 87*w - 757. Is t(18) composite?
True
Suppose 91*c + 144*c - 297084415 = 0. Is c prime?
True
Suppose 16573383 = 99*v - 3147666 + 2776704. Is v a prime number?
False
Let n be (-28742)/12 + (-1)/(-6). Let c = -426 - n. Is c composite?
True
Let h be -28*-50*(-6)/8. Let g = 1774 + h. Suppose -n - n + g = 0. Is n prime?
False
Let g(f) = 17*f**2 + 6*f + 9. Let j be g(4). Let l = j + -524. Let z = 986 + l. Is z a composite number?
True
Let m = 364 + -365. Is m*(-4 - (-6 + 9031)) a composite number?
False
Let n(p) = 39*p**3 + 47*p**2 + 35*p - 131. Is n(30) a composite number?
False
Let b(f) be the second derivative of 1/2*f**2 + 0 + 1/6*f**4 - 9*f + 3*f**3. Is b(6) a prime number?
True
Suppose 0 = -h - 3*s + 2175, 2*h - 4330 = 5*s - 6*s. Let r = -414 - -423. Suppose r*t - 12*t = -h. Is t prime?
False
Suppose 13*q - 1366435 = -22*q. Is q composite?
False
Let k(o) = 4*o**3 + 2*o**2 + 4*o + 21. Let z(r) = 5*r**3 + r**2 + 5*r + 22. Let c(f) = -6*k(f) + 5*z(f). Let m be c(7). Is ((-246)/m)/(8/84) composite?
True
Suppose -8*y + 6*y = -4*t - 1448, -5*t = y - 724. Suppose 3*k - 5798 = y. Is k prime?
False
Let r(l) = 8*l + 72. Let x be r(-10). Is (27185/(-20))/(2/x) composite?
False
Suppose -104*k + 2011878 = -258980 + 268962. Is k prime?
True
Let y = 12354 + -3713. Is y prime?
True
Let l(p) = -4*p**3 - 29*p**2 - 9*p + 63. Is l(-25) composite?
True
Let p be ((-7)/14)/1*2. Let i(q) = q - 2. Let j be i(6). Is (p + (-1428)/(-8))*(-2 + j) a composite number?
True
Let b(i) = i**2 + 8*i + 4. Suppose -7*s = -24 - 25. Let x be b(s). Let m = x - 12. Is m composite?
False
Let q(a) = 14974*a - 2807. Is q(6) prime?
True
Let w be -4*4/((-20)/(-25)). Let g be (-15)/(-2)*(-16)/w. Let h(k) = 170*k - 35. Is h(g) composite?
True
Let q = 15912 - 9445. Suppose -10*z + 4403 = -q. Is z a prime number?
True
Let x = -229014 + 416995. Is x prime?
False
Suppose -3*a + 692783 = 4*q + 243368, -749083 = -