v) = -5*u(v) + z(v). Is w(-8) composite?
True
Suppose 0 = 24384*t - 24345*t - 3308253. Is t composite?
False
Let y = 12060 + -6617. Suppose 0 = -f - 1, 4*x = -f + y + 1320. Suppose 5*m = -c + 2221, c - x + 360 = -3*m. Is m composite?
True
Let d(h) = 157864*h - 71. Is d(1) composite?
False
Suppose -333*d + 336*d = 0, -5*u + 793495 = d. Is u composite?
False
Let y = 9751 + 2230. Is y composite?
False
Let a(w) = 9*w + 12. Let p be a(5). Let t = -59 + p. Let r(h) = -108*h - 13. Is r(t) a prime number?
False
Suppose o = 11 - 5. Suppose -o*x = x. Is x - (-4 + 7 - 544) a composite number?
False
Let z(y) be the first derivative of 39 + 3*y**2 + 5/3*y**3 - 11*y. Is z(-18) a composite number?
True
Suppose 3*q - 407580 = -2*q + 5*d, q - 4*d = 81531. Is q a composite number?
True
Let m = -3564 - -13305. Suppose 3*d - 3*r - m = 0, 3*r + 1 = 13. Is d composite?
False
Suppose 5*i - 420 = -2*i. Is ((-4826)/(-3))/(i/90) composite?
True
Suppose -53881 = 17*p - 3204. Let n = p - -6672. Is n prime?
True
Suppose c - 11*w + 13*w - 95431 = 0, -477149 = -5*c - 4*w. Is c prime?
True
Let a = -10022 + 6641. Let c = 7826 - a. Is c a composite number?
True
Suppose -10*t + 13*t + 7074 = 0. Is (-1 - (-2)/(-2))*t/36 prime?
True
Let f(v) = 73*v**2 + 18*v - 95. Is f(76) a prime number?
False
Suppose 0 = 10*j - 31 - 9. Suppose -p + 15 = j*p. Suppose w = -4*z + 745, 0*w + p*w - 4*z = 2203. Is w prime?
False
Let i = 610362 + -90499. Is i a prime number?
True
Let j = 51441 + -30478. Let f = -12162 + j. Is f a composite number?
True
Let j be 3*(68618/(-6))/(-11). Suppose -6*t = j - 57809. Is t a composite number?
True
Let s(q) = 2*q**3 - 4*q**2 + 4*q - 4. Let v be s(2). Suppose -o + 5*p - 20 = -2*o, -5*o = p - v. Is ((-239)/(-1))/(o + 1) prime?
True
Let u(f) = -f**2 + 19*f - 15. Let o be u(18). Suppose -3*k = -o*s - s, 22 = 4*k + 2*s. Suppose 5*m + 5884 - 756 = 4*t, -m - k = 0. Is t a prime number?
True
Let q(p) be the second derivative of 35*p**4/12 + p**3 + p**2/2 - 198*p. Let u = 2 + -5. Is q(u) a composite number?
True
Let b(n) = 20*n**2 + 321*n - 85. Is b(56) a composite number?
False
Let p(l) = 438*l**2 - 47*l + 871. Is p(18) prime?
True
Suppose t = -0*z + 5*z + 743, -5*t + 3619 = -z. Suppose -t = x - 2161. Is x a composite number?
True
Let i(q) = 24*q + 339. Let a be i(-14). Suppose -a*y = 6, 2*y - 12995 = -n - y. Is n a prime number?
True
Let a(y) = y**3 + 15*y**2 + 15*y + 19. Let r be a(-14). Suppose o = 5*o - r*c - 7393, -5 = 5*c. Is o prime?
True
Let f = 917 + -916. Is (34934/3*f)/(620/930) prime?
True
Let d = -2 + 11. Suppose -i + f + 8 = d, 2*f = i + 3. Is -1*-3012*i - 1 a prime number?
True
Let y = -3561 + 5335. Suppose 9*v - 10*v = -y. Is v composite?
True
Is ((-2)/24*4)/((-1)/54039) a composite number?
False
Let c = 157247 - 104070. Is c composite?
True
Suppose 39*r + 54 = 57*r. Suppose -2*y + 7701 = -5*z, r*y - 5*z + 15477 = 7*y. Is y a composite number?
False
Let g(z) = 8307*z + 2036. Is g(7) a prime number?
False
Suppose 9*a - 11*a + 4 = 0, 3*w = -2*a + 2005027. Is w a prime number?
False
Suppose 6*d - 8*d + 3*k - 15 = 0, 12 = -d + 3*k. Let f be (-18)/(-8)*(-4)/d. Suppose q + 5 = 0, f*q = -c + 37 + 250. Is c prime?
False
Suppose -5*j + 2*m = -2145907, -47*j = -44*j + m - 1287542. Is j composite?
False
Suppose -3*h - 604599 + 1683733 = 4*h. Is h a composite number?
True
Suppose -80*t - 53*t + 16903282 = 33*t. Is t prime?
False
Suppose -26*p + 560 = -766. Suppose -3*g + 49601 = 5*r, 55*r = -g + p*r + 16529. Is g a composite number?
True
Let u(f) = -2*f**3 + 77*f**2 - 44*f - 20. Let i be u(30). Suppose 4*z = 3*c - i - 1091, 0 = 5*c + 5*z - 25085. Is c prime?
False
Let q = 181 + -94. Suppose 4*v = 18*v + 112. Let o = q - v. Is o prime?
False
Let j(l) = 4*l**2 + 136*l + 2 + 69 - 2*l**2 - 101*l. Is j(24) a prime number?
True
Let n = 532 - 529. Suppose f - 4*s - 503 = 0, 0*f - 5*f = -n*s - 2498. Is f composite?
False
Let x(f) = -2*f**2 - 6*f - 7. Let i be x(-4). Is -8*5/(-300) + (-36793)/i a prime number?
False
Let x = -21696 - -34403. Is x composite?
True
Suppose 3*p - 3*a - 201 = 0, -a + 0 + 143 = 2*p. Let g = 585 + p. Is g composite?
True
Let k(j) = -367*j**3 + j**2 - j - 3. Let w be k(-1). Is (-4 - 1 - -6) + w prime?
True
Let u(j) = -48*j**3 - j**2 - 2*j - 4. Let p be u(-4). Suppose -3*q + p = 5*v + 2*q, 4*v - q - 2453 = 0. Let t = v - 204. Is t a composite number?
False
Suppose -4*i - 18 = -i + 3*d, 0 = i - 5*d - 18. Let s(r) = -22*r**2 - 32*r - 298. Let o be s(-9). Is o/i + -4 + -3 prime?
False
Let o(k) = -91399*k + 24. Is o(-1) prime?
True
Let z = -198 - -205. Is -2 + ((-5968)/(-28) - 1/z) a prime number?
True
Let h(l) = 10953*l**2 + 57*l + 11. Is h(-6) prime?
True
Suppose 17286 = q + r, 113*q + 69139 = 117*q + 5*r. Is q composite?
False
Let a = -296 - -562. Let k = 673 - a. Is k a prime number?
False
Suppose -2*i - 2*a = -420492, i + 8*a = 4*a + 210231. Is i a composite number?
True
Is 1258339/21 + 72/756 a prime number?
True
Let o be (1/5 - 1)/(172/205110). Let m = o - -5275. Is m prime?
False
Let m(c) = c - 31. Let x be m(27). Is (-5)/(-4)*x + 244 a composite number?
False
Suppose 3*u - 3*g - 114 = 0, 0 = -u - 4*g + g + 30. Let p = -33 + u. Suppose 7*a - p*a = 340. Is a prime?
False
Suppose -3*j - 2*w + 8 = -3*w, 6 = 4*j + w. Let f be (-97*j)/(27/(-162)). Let n = f - 671. Is n composite?
True
Suppose -2*h + 6 = -86*w + 84*w, 0 = -4*w + 12. Let l(m) = 2259*m + 359. Is l(h) composite?
False
Suppose -2*d + 3*f - 8 = 0, -6*d + 11*d - 18 = -2*f. Suppose -3*h - 2 = -5*h, -o + d*h + 4469 = 0. Is o a prime number?
False
Let l(q) = -17461*q + 6407. Is l(-24) prime?
True
Let a = 104281 - -265020. Is a prime?
True
Is (0 + 4)*1199574/24 composite?
True
Let d(s) = -s**2 + 6*s - 4. Let h be d(4). Suppose -4*p + 5208 = -5*f, -3*p + h*f = -p - 2598. Suppose 3*t - p = 4756. Is t a composite number?
True
Is -3 + (34690/4)/(4/104) composite?
True
Suppose 3*c + 4542 - 489 = 3*t, -6743 = -5*t - c. Let a = -582 + t. Let p = a + -514. Is p composite?
True
Suppose 0 = -4*c - q + 946057, -3*q - 1138225 = -5*c + 44325. Is c a prime number?
False
Let t be ((-33)/22 - 5/(-2)) + 1. Let n be (1*t)/((-8)/(-1988)*7). Is n + (3 - 3)/(-2) composite?
False
Let p = -12 + 21. Let v = -12 + p. Is -7 - v - (0 - 309) a prime number?
False
Let q(z) = 4*z - 31. Let d be q(9). Suppose d*t = h + 58713, 3*t - 3*h + 10693 = 45916. Is t prime?
True
Let p(q) = 642*q - 172. Let n(o) = -320*o + 87. Let u(h) = -7*n(h) - 3*p(h). Is u(13) prime?
True
Let p(u) = 2*u**3 + 57*u**2 + 61*u + 53. Let z be p(-28). Is z*(0 - -7)/(-7) a prime number?
False
Suppose -113*a + 67224715 = -57147718. Is a a composite number?
False
Let a(w) = w**3 - w + 118. Let z(f) = f**2 + 4*f + 4. Let j be z(-2). Let k be a(j). Let y = -71 + k. Is y composite?
False
Suppose 4*i = 6*k - 2*k - 432, -5*k = i + 90. Is -7 + (-212744)/i - 4/30 prime?
False
Suppose 0 = -12*p + 144501 + 45927. Is p a prime number?
False
Suppose 0 = -2*q - 22 + 36. Let w be (-4367709)/(-189) + 3/q. Is 4/14 - w/(-14) composite?
True
Let y(m) = -79*m + 218. Let g be y(5). Suppose -4*z = z + 60. Is (1 + (-22)/(-2))*g/z a prime number?
False
Suppose -140 = 5*n - 15*n. Let b = -9 + n. Suppose -c - 2*d + 35 = 8, -b*d = -5*c + 210. Is c a prime number?
True
Suppose -73759 = -2*t + u + 184902, -3*t - u = -387984. Is t a composite number?
True
Let a(c) = 8*c**3 - 4*c + 3. Let d be a(1). Let j be d + 282611/21 + (-4)/(-3). Suppose 8*n - 10158 = j. Is n composite?
False
Let m(c) = 1301592*c**2 - 113*c - 112. Is m(-1) composite?
True
Suppose -q - 16247 = 4*w + 147942, 0 = w - 2*q + 41036. Let s = -26697 - w. Is s prime?
False
Let t = 42 - 40. Is -6 - (3 - (1804 - t)) prime?
False
Let x(q) = q**3 + 8*q**2 + 9*q + 7. Let f be x(-7). Let a be 0 + (-2 + 2 - 4). Is (179/a)/(f/28) composite?
False
Let o = -82 + 100. Suppose 0 = 10*k - o*k + 7016. Is k prime?
True
Suppose -c + 322389 = -3*r - 1247239, -4*r + 6278528 = 4*c. Is c composite?
True
Suppose 3*x + r - 17 = 0, 6*x - 5*x - 3 = -r. Suppose -m = -x + 9. Is (-6807 + -2 - -3)/m a composite number?
True
Let z(d) = -170*d + 44 - 60 + 75. Is z(-10) composite?
False
Suppose -10*t = 5*s - 8*t - 55358, -33218 = -3*s + 2*t. Suppose 4*v - s = -13*r + 9*r, 4*r - 11069 = -v. Is r prime?
True
Is (-1)/(-1)*84813900/300 a composite number