*o**5/20 - o**4/8 - 3*o**3/2 + 17*o**2. Let l be t(8). Let k = 3002 - l. Is k composite?
True
Is 18/33 - (10 + 118488/(-88)) prime?
False
Let y(x) = -3*x**2 + 3*x + 2. Let k = -119 - -120. Let i(u) = -u**2 - u - 1. Let v(c) = k*i(c) - y(c). Is v(-10) a prime number?
False
Let n(a) = a**3 + 10*a**2 + 2*a + 22. Let c be (133/(-2))/7 + 2/(-4). Let r be n(c). Is r - 3 - (-568 - 6) a composite number?
True
Let h(g) = g**2 + 15*g - 11. Let v be h(-16). Suppose v*j - 32 = -12. Suppose 0 = -j*f + b + 193, 0 = -5*b - 8 - 17. Is f composite?
False
Let y = -21877 - -32120. Is y composite?
False
Let p be -1 - (0/7)/(-7). Is ((-7)/p - 7) + (0 - -4327) a composite number?
False
Let g(f) = 8*f - 82. Let t be g(10). Is t/(-13) - 7/(273/(-100575)) composite?
False
Suppose 33*h + 97*h = 1991247 + 6104243. Is h a prime number?
True
Let k be (-7)/((-28)/(-16))*6961/(-4). Let q = k + -4402. Is q prime?
False
Let s(i) = -1781*i**2 - 22*i + 17. Let h(k) = 3561*k**2 + 47*k - 34. Let c(w) = -6*h(w) - 13*s(w). Is c(-4) a prime number?
True
Suppose 5*s - 5755165 = -5*m, 7*m + 36833328 = 32*s + 5*m. Is s a prime number?
True
Let u be 8/6*-2*6/(-8). Suppose 0 = k + 5*s - 6649, -10*s = u*k - 9*s - 13316. Is k a composite number?
False
Suppose 17*y - 821881 - 5403400 = 0. Is y a composite number?
False
Let m(k) be the second derivative of 3*k**5/20 - k**4/12 + 5*k**3/3 - 3*k**2/2 + 37*k. Let u be m(5). Suppose 7882 = 5*h + u. Is h a prime number?
False
Let t(m) = -m**2 - 7*m - 9. Let h(z) = -z**2 - z + 8. Let v be h(3). Let g be t(v). Suppose g*i = 1839 + 1494. Is i composite?
True
Let m = -318 - -315. Is (13918/(-4))/(m/6) a prime number?
True
Let r(s) = -3*s - 58. Let y be r(-20). Suppose 0 = -h + y*w, -h = -2*h - 3*w. Suppose -5*u - 4*f + 3*f + 749 = 0, -5*u + 4*f + 729 = h. Is u a composite number?
False
Is 1/((-412236)/1442924 + 16/56) a composite number?
True
Let j = -89 - -83. Is 380 - (-5)/10*j composite?
True
Suppose -99*b + 5*l + 381653 = -97*b, -572460 = -3*b + l. Is b composite?
True
Suppose 6*g - 2874 - 36813 = 3*g. Is g composite?
False
Suppose 0 = 22*x + 247236 - 629530. Is x composite?
False
Let h be -3 + 255 + 2/(-1). Let m = -135 + h. Let r = m - -96. Is r prime?
True
Is (6 + -11 - -3)/(2/(-71607)) prime?
False
Let i be (-1 - (-75)/10)*4. Let v(t) = t**3 - 26*t**2 + 2*t - 51. Let g be v(i). Is (-5 + -2048)/(g*-1) a composite number?
False
Let t = 2216 - 2216. Suppose -3765 = -3*z - 927. Suppose 5*k = -3*b + z, k = -t*b + 3*b + 200. Is k prime?
True
Suppose -4*j + 44 = -4*y + 16, 3*y = j - 11. Suppose 2*l - j*c - 7343 = 0, 3*l = -2*l - 2*c + 18285. Is l prime?
True
Suppose -2*t - 709 + 8013 = 4*a, 0 = 5*t. Suppose -4230 - a = -8*j. Suppose -2*k - 5*i = -2297, -j = -2*k + i + 1546. Is k composite?
False
Suppose 231*s - 202*s - 4176 = 0. Let c = 2 - 2. Suppose c = -2*t - s + 730. Is t a composite number?
False
Is 189/504*8/1 - -5894 a composite number?
False
Let o(i) be the second derivative of -1/20*i**5 - 8*i - 19/2*i**2 + 11/3*i**3 + 5/4*i**4 + 0. Is o(16) prime?
False
Suppose 45*x = 46*x - 219. Let b = x - -274. Is b a composite number?
True
Let b be 3 + (0 - (3 - 4)) + 1230. Suppose -d + 304 = a, a + a = 4*d - b. Is d a composite number?
False
Suppose 42 - 39 = -3*q. Suppose -10 = 2*g + x - 0*x, -11 = 5*g - x. Is -2 + (249 - (g + q)) a prime number?
True
Suppose 4*f - 12 = 0, -t - 3*t - 5*f = -31. Suppose -g = -3*d + 861, t*d - 5*g = -g + 1140. Suppose v - 67 - d = 0. Is v composite?
True
Let d(i) = -17*i + 7 + 3*i + 3*i - 23*i. Let x(b) = b**2 + 9*b + 12. Let s be x(-6). Is d(s) a prime number?
True
Let u = 26 - 114. Let l = -92 - u. Is ((-211)/(1/l*-4))/(-1) prime?
True
Let i = 1521 + -863. Suppose 0 = 10*m - i - 2652. Is m composite?
False
Suppose -25 = -3*b - 19*z + 17*z, 11 = b + 2*z. Suppose 0 = -5*l - 3*n + 12868, b*n = 5*n + 2. Is l a prime number?
False
Let m = -10972 - -24005. Is m a composite number?
False
Suppose 4*f - 5951591 = i, -16*i - 1487912 = -f - 11*i. Is f a composite number?
True
Suppose -4*u + 107 + 121 = 0. Let w = u - 20. Suppose -5*r = -2*f - 562 - w, -115 = -r + 2*f. Is r composite?
True
Let b be 2/(3*2/21). Suppose 5*f + 17 = u - 7, -3*f - 16 = -u. Suppose 3*x = -u*q + b*x + 2064, -4*q + 3*x + 2059 = 0. Is q a composite number?
True
Let b(c) = 2718*c**2 - 63*c - 86. Is b(5) a prime number?
False
Let v be 6/9*((-272)/(-4) + -2). Suppose -73*f + v*f = -599459. Is f composite?
True
Let a(b) = -1998*b - 6193. Is a(-115) a composite number?
False
Let b be (-1395225)/(-36) + 6/8. Suppose 9*z - 31596 = b. Is z composite?
False
Suppose -165 = -2*c - 45. Suppose -c*b = 3*d - 59*b - 40568, d - 13519 = -4*b. Is d a composite number?
False
Let h = -797461 + 1338312. Is h a prime number?
True
Let a = -39 + 49. Suppose a*j + 5664 = 13*j. Suppose -4*w - 2*i + j = -i, -2*w + 962 = -4*i. Is w composite?
True
Let w = 264394 + 634851. Is w prime?
False
Suppose 5*g + 14*g - 31958 = 0. Is -7*(g - (1 + 3))/(-7) a composite number?
True
Suppose -5*o - 4*m = -26, -2*o - 5*m + 16 = -8. Let a be 1/(o + (-15)/10). Is a/5 - (-7878)/30 a prime number?
True
Suppose q + 2*w = 34, -5 = -q + 3*w + 4. Suppose 17507 = q*t - 52741. Is t a composite number?
False
Suppose -3*v - 2*y + 439 = -2*v, -2*y = -4*v + 1736. Suppose 5*l - 25 = 5*n, -5*n - 11 - 5 = -2*l. Suppose 0 = l*x - v + 144. Is x a prime number?
True
Let x(k) = 2170*k + 97. Let q = -831 + 837. Is x(q) composite?
True
Suppose 0*k - 44674522 = -449*k + 15072561. Is k prime?
False
Suppose 0 = -3*m - 2*n + 1029130 + 278681, -3*m + 5*n = -1307853. Is m composite?
True
Let j(q) = 34*q - 17. Let x(l) = l - 6. Let s(c) = j(c) - 6*x(c). Suppose 4*z - 18 = z. Is s(z) composite?
True
Suppose 2*s + 2*u - 26608 = 0, -3*s + 10461 + 29445 = 5*u. Is s a composite number?
True
Let q = -1035190 - -1474443. Is q a composite number?
False
Let i(x) = -99*x**3 + x**2 + 20*x + 47. Let w be (6 - 1)*(0 + 6/(-10)). Is i(w) a composite number?
True
Suppose -3*h = -12*h + 171. Let v(j) = 6*j**2 - 40*j - 9. Is v(h) a prime number?
False
Let i = -33695 + 60152. Suppose -3*x - 8*c = -4*c - i, -x = -c - 8819. Is x composite?
False
Let b be (3 - (3 + -3))*(-33)/(-9). Suppose -5960 = 3*t - b*t. Is t a composite number?
True
Let m = -65 + 556. Let g = 622 - m. Is g composite?
False
Suppose 169*b - 375907 = 176*b. Let x = b - -77442. Is x composite?
False
Suppose -2*n - 404 = -18. Let b = 327 + n. Is b a prime number?
False
Let m be (-6)/(-18)*1083 + -6. Suppose -3*a + 2*a = 2. Is -2*1*m/4*a a prime number?
False
Let q(o) = 34985*o**2 - 53*o + 55. Is q(1) a composite number?
True
Let g(d) = -d**3 - 2*d**2 + 1733. Let y(z) = 3*z**2 + 17*z - 28. Let v be y(-7). Is g(v) composite?
False
Is (333972 - ((-2)/(-2))/(-1)) + (-2550)/(-425) a prime number?
False
Let l = 190165 + -74744. Is l prime?
True
Let w(u) = -4*u - 16*u**2 + 4*u + 14*u**2 + 2*u - 1 + 7*u**3. Let c be w(1). Suppose -16*k = -c*k - 10990. Is k composite?
True
Let x = 194006 + -56235. Is x a composite number?
False
Is (4 - (10 + -4)) + -5 + (1 - -437077) composite?
False
Let q(a) = 15*a**3 + 51*a**2 + 23*a - 243. Is q(40) a composite number?
True
Let i(q) = -2 - 6*q**3 + 62*q - 65*q + 7*q**3 + 2*q**2. Let r be i(2). Let z(c) = 22*c + 47. Is z(r) prime?
True
Suppose -3*b + 8*m - 10*m = -9, -9 = -3*b - m. Is (b*185/60)/((-1)/(-28)) a prime number?
False
Let g(u) = 567*u**2 + 20*u - 15. Let l(f) = 189*f**2 + 7*f - 5. Let v(r) = 6*g(r) - 17*l(r). Let n be (-1)/(2 - (-5)/(-3)). Is v(n) a prime number?
True
Let p(r) = r**2 + 10*r + 13. Let c be p(-9). Suppose -74 + c = 10*g. Let j(n) = -2*n**3 - 5*n**2 - n - 2. Is j(g) a composite number?
True
Let t(k) = -39*k**3 - 18*k**2 + 57*k - 106. Let p(i) = -22*i**3 - 9*i**2 + 28*i - 53. Let z(b) = -11*p(b) + 6*t(b). Is z(14) composite?
False
Let a = 135555 + -44302. Is a prime?
True
Suppose -8*c = -2*c + 18. Is ((-3)/9)/(c/64521) prime?
False
Let u(x) = -8 + 7*x - 17 - 2. Let a be u(-10). Let i = 1382 + a. Is i a prime number?
False
Let f(h) = 23*h - 28*h + 17 + 32*h. Is f(20) prime?
True
Suppose 3*i + 3 = -x, -3*x - 5*i + 15 = 2*x. Is 11011 - 4/((-6)/x) a prime number?
False
Let f(x) = -x**3 + 14*x**2 + 8*x - 35. Let v be 22/10*5/(-1). Is f(v) prime?
False
Let f(y) = -y**2 + 6*y + 57 - 3*y - 20*y. Is f(-15) a composite number?
True
Let 