-4)/18 + l/(-207) a prime number?
False
Suppose -587*k - 461344 = -619*k. Is k a prime number?
False
Is (-10 - (-26 + 14))*(-92438)/(-4) a composite number?
False
Let z(g) = 32*g**2 - 11*g + 31. Let s be z(-28). Suppose 4*h + s = 5*w, -8*h = -11*h + 6. Is w prime?
True
Let q(o) be the first derivative of -849*o**2/2 - 43*o - 5. Let a = -588 - -584. Is q(a) prime?
False
Let t(a) = -712*a**2 - 85*a**2 + 16829*a + 1554*a**2 + 1599*a**2 - 3 - 16825*a. Let j be (7/21)/((-2)/(-6)). Is t(j) a prime number?
True
Suppose 0 = 3*f + 8 + 10. Is (-1814)/4*(f - -4) a composite number?
False
Let m(s) = -663*s**2 - 3*s - 3. Let u be m(-3). Let k = u + 10158. Suppose 2*f - n - k = -0*f, 0 = 3*f - 5*n - 6278. Is f prime?
False
Suppose 26*g - 3276375 = 3557858 + 6077601. Is g prime?
True
Suppose 5657337 = 84*x + 8*x - 6925595. Is x composite?
True
Let g(v) = v + 3. Let c be g(10). Suppose -c*t + t + 37032 = 0. Let n = 4345 - t. Is n a prime number?
True
Let s(j) = 689*j**3 - j**2 + 3*j - 3. Let h be s(1). Suppose -2*x + h = 10. Let l = x - -56. Is l prime?
False
Suppose 613273 = 3*b + i, 5327*i - 408870 = -2*b + 5329*i. Is b a prime number?
True
Is 720/48*344229/9 composite?
True
Let d(t) = t**3 - 11*t**2 - 2*t + 1. Let h(v) = 6*v**2 + 5*v + 6. Let o be h(-3). Suppose 0 = -5*r - b + 32 + o, r = -2*b + 10. Is d(r) a prime number?
True
Is 25/((-3675)/84) - 4563154/(-14) prime?
True
Suppose -5356 = 17*t - 16508. Suppose -649*q = -t*q + 260785. Is q a prime number?
False
Let f(m) = 8081*m**2 - 12*m - 28. Is f(-3) a composite number?
True
Is ((-9)/18)/(4/842848*-4) a prime number?
True
Suppose -3*o = -4*a + 10, 3*o - 2 = 3*a - 11. Let w(g) = 4253*g**3 + 2*g - 2. Is w(a) prime?
True
Is (-7 - (-93)/9)/(((-42)/38547)/(-7)) composite?
True
Let u be (-2)/7 + 5523336/196. Suppose 100*m = 104*m - u. Is m a composite number?
True
Let a(t) = -1832*t**3 - 14*t**2 + 4*t + 25. Is a(-6) a prime number?
False
Suppose -234*o + 11160685 - 2334907 = 0. Is o prime?
True
Let t = -42547 - -240848. Is t a prime number?
True
Let j = 39 + -36. Suppose j*o + 0*o + 6 = -3*t, 5*o = t + 8. Is (-5201)/t + 6 + (-60)/9 composite?
False
Let z(y) = 6694*y + 1227. Is z(50) prime?
False
Let z be 120/(-36)*(-18)/4. Let q be z/9*(54657/3 - 3). Suppose -5*b + 3835 = -q. Is b a prime number?
False
Let j(b) = 4*b**3 - 13*b**2 + 16*b - 71. Let f be j(24). Suppose 13221 = 2*a - f. Is a prime?
True
Let z(w) = w**3 - 48*w**2 + 128*w - 1477. Is z(86) composite?
True
Let l be (2*(-2 + 1))/(4/2230). Let f be (-2)/(-14) - l/35. Is (-912)/f*(-2)/3 a composite number?
False
Let v(i) = -i**3 + 38*i**2 - 13*i + 21. Let z be v(21). Let f = z - -11737. Is f composite?
True
Let y(x) = 48*x**2 - x + 15. Let b be y(15). Suppose 2*w = -10, 2*s - 705 = -w + b. Is s prime?
False
Suppose 3*r = -2*r + 4*u + 35650, -2*r = 3*u - 14237. Suppose -18933 = -5*k - 2*a, -2*k - 2*a = -446 - r. Is k a prime number?
False
Let k = -18848 + 42331. Is k a composite number?
True
Let t be (-754)/((-20)/(-8) + -2). Let o = t - -2590. Suppose o = 3*n + 209. Is n a prime number?
False
Suppose 0 = 4*p - 174 + 174. Suppose p = 13*u - 16593 - 74368. Is u prime?
True
Let b = -100 + 336. Suppose 237*o = b*o + 2321. Is o a composite number?
True
Is ((-260966)/(-3))/(-29 - (-267)/9) a composite number?
False
Let a(f) = -3*f**3 + f**2 - 3*f + 3. Let l be a(-3). Let t = 19947 - 19552. Let x = t - l. Is x composite?
False
Let j be 29*(3 + -4 + 2). Let b be 14/4*(11 - j). Is (3/(b/7))/(1/(-393)) prime?
True
Let m(k) be the third derivative of 109*k**4/24 - 3*k**3 + 18*k**2. Is m(13) a composite number?
False
Let z = 34 - 34. Suppose 4*l - 29223 - 14669 = z. Is l a composite number?
False
Let d(j) = -j**2 - 22*j - 58. Let p be d(-14). Suppose 58*w - 5036 = p*w. Is w prime?
True
Let r be ((-90)/40)/(-1 - 10/(-8)). Let c be (-6)/r*((-1091)/(-2) - -2). Let h = c - -84. Is h a prime number?
True
Let w = -98844 + 234559. Is w a prime number?
False
Let a = -98 - -98. Let k be (-3 - 10/(-2)) + a. Suppose -2*w + 515 = 3*n, -k*w = -4*w + 3*n + 545. Is w a composite number?
True
Suppose -6*c + 39 + 3 = 0. Suppose 0 = -5*z + d + 25, 6*z - 4*z + c = -3*d. Suppose b + 2154 = z*b. Is b a composite number?
True
Is (560672/80)/((-6)/(-15)) composite?
True
Let f(l) = 3*l + 4. Let z be f(4). Suppose 5*s = s + z. Is -1 + (328 - (s - 8)) prime?
True
Suppose -2*v + 5*v + 751 = -p, -2*p - 749 = 3*v. Suppose 0 = -8*i + i - 2590. Let z = v - i. Is z a composite number?
True
Let l(s) be the second derivative of s**5/20 - s**4/6 + s**3/2 + 4337*s**2/2 - s - 22. Is l(0) a composite number?
False
Suppose 13*v - 4 = 17*v. Let n(c) = -c**2 - 6*c + 7. Let z be n(-7). Is 765 + 2 + z/(v - 0) composite?
True
Suppose n - 3 = -3*n + 5*b, 0 = 4*n + 3*b + 21. Let u be 2/3 + (-1228)/n. Is 14/6 + 2/3 + u prime?
False
Let h(x) = -x**2 + 6. Let v(o) = -5. Let w(l) = -4*h(l) - 5*v(l). Let n be w(-1). Suppose -k = -2*k + 5, -n*r + 8280 = -k. Is r a prime number?
True
Is 554578 + (-15 - ((-108)/12 - -3)) a composite number?
False
Let a(i) = 36*i**2. Let z be a(1). Let f = z - -117. Suppose f + 1848 = 3*t. Is t prime?
False
Let t(m) = 33*m**2 - 93*m + 175. Is t(39) a composite number?
True
Let o(q) = 57*q - 6. Let w be o(-2). Suppose -k = -g - 2*g + 540, -g - 2*k + 173 = 0. Let c = g - w. Is c a prime number?
False
Let j(t) = 1895*t - 6. Suppose 3*f = -17 + 23. Let g be j(f). Suppose g = -s + 5*s + 3*q, -3*q - 12 = 0. Is s prime?
False
Let u be (-10)/(-6) + (-129344)/3. Let i = -22952 - u. Is i a composite number?
False
Let m(x) = 1699*x - 123. Let y(c) = c**2 + 14*c + 54. Let f be y(-10). Is m(f) a prime number?
True
Is ((-62695)/25*1)/((-17)/85) a prime number?
True
Is -166 - -487739 - (-4)/2*5 composite?
True
Let t = -28 + 7. Let c be (((-24)/t)/(-4))/((-7)/98). Suppose 2*d + 8 = 0, c*k - 6*d = -3*d + 904. Is k a prime number?
True
Let t(j) = j**3 - 21*j**2 - 7*j + 47. Let r be t(21). Let u = 5401 - r. Is u prime?
True
Suppose -10741 - 6484 = -13*g. Suppose g = -4*x + 9*x. Is x composite?
True
Suppose -15*g + 35993614 = -26575933 + 11138792. Is g composite?
False
Suppose 7761 + 40307 = 2*z + 2*y, 5*z + 3*y = 120166. Suppose 0 = -4*r + n + z, -r - n + 5991 = 3*n. Is r a composite number?
False
Let w(l) be the first derivative of l**4/2 + 14*l**3 - 14*l**2 + 47*l - 122. Is w(-18) a composite number?
True
Let a be (-2 + 3320/6)*(40 - 4). Suppose k - a = -4*h, -3*h - 14873 = -6*h - 4*k. Is h prime?
False
Let i = -93 + 100. Suppose -5*c - 5*k = -5, 3*c - i - 16 = 2*k. Is 3385 - (c + (3 - 12)) composite?
False
Let n = -182 + 186. Is n/((-24)/6406)*(2 + -5) a prime number?
True
Let r be (-2 - -4)/(8/16). Suppose r*d - 3*d = 3*t + 2594, 4*d = 4*t + 10400. Is d a prime number?
False
Let m(o) = -o**2 - 8*o + 18. Let g(f) = -f**3 - 7*f**2 - 3*f + 8. Let z be g(-6). Let r be m(z). Let q(u) = -276*u + 7. Is q(r) a composite number?
True
Is (-7*2/(-14))/((-11)/(-152471)) a composite number?
True
Suppose 0 = -5*z - 5*c - 6725, 5*z + 3*c - c + 6734 = 0. Let x = z + 9557. Is x a composite number?
False
Suppose 6*u - 2*u = -20. Let t be (32/40)/((-2)/u). Is 22/(-99) - (t - (-821)/(-9)) composite?
False
Let h = 22 - 22. Suppose -9*t - 2705 + 8573 = h. Suppose -3*v + t = -1109. Is v a prime number?
True
Let g = 32 - 34. Let d be g/4 + 5/40*68. Is (-2 - -1)*(d - 895) composite?
False
Suppose 1820306 + 7003008 = 194*b. Is b composite?
False
Let n be 1*5*447/21*7. Suppose -n + 29 = -4*h. Is h prime?
True
Suppose -8*c + 312935 = 5*s - 3*c, 5*c = 5*s - 312985. Suppose -19*v = -118421 - s. Is v composite?
True
Suppose 0 = -5*h - 1207 + 1212, 4*x = -5*h + 814369. Is x a prime number?
True
Let f be (8663 - 25)*6/4. Let h = f - 8846. Is h prime?
True
Let v = 3824 - 635. Let d = 10626 - v. Suppose -5*h + d - 1372 = 0. Is h prime?
True
Suppose 208*i - 681543 = 199*i. Is i composite?
True
Let j = 55 + -52. Suppose 2*b + 3*g = 209, -j*b = b + 5*g - 419. Is (b/4)/(16/96) prime?
False
Is (-8328879)/(-153) + (-62)/527 prime?
True
Suppose -5*o - 2*u - 19048 = -2*o, 4*u - 19036 = 3*o. Let q = -4442 - o. Is q composite?
True
Suppose -3*z = -27*v + 25*v + 389005, -2*z + 583527 = 3*v. Is v a prime number?
True
Suppose 0 = 472*t - 482*t + 228530. Is t a prime number?
True
Let d(m) = -120570*m - 1619. Is d(-6) a prime number?
False
Let 