e 0 = -5*u + 4*q + 7317, 3*u - 3932 = 4*q + r. Is u composite?
True
Suppose 0 = 172*m - 7333411 - 10210417. Is m composite?
False
Let l(v) = 24*v**2 - 5*v + 196. Is l(55) composite?
True
Let p be -4 + 66/16 + (-196)/32. Is (-5)/((-135)/p) + (-7904)/(-171) composite?
True
Let y(x) = x**2 - 2*x - 23. Let n be y(-6). Let u = n + 7. Suppose 35*m = u*m + 12327. Is m prime?
False
Let p = -5618 + 42520. Let v = -10597 + p. Is v a prime number?
False
Let v = 410 - 736. Let r(w) = -16*w - 25. Let b be r(9). Let k = b - v. Is k prime?
True
Let g = 1253480 - 689089. Is g composite?
False
Suppose -9289 = -29*z - 2126. Is 112/28 - -11*z a prime number?
False
Let b be 292*(34/(-51) + (-14)/(-12)). Let c = 1567 + b. Suppose z - c = 746. Is z a composite number?
False
Let f(w) = -4 - 18 + w**3 + 49*w + 5 - 19*w**2. Is f(20) composite?
True
Let m be (12/(-8))/((-4)/144). Suppose 15 = 51*d - m*d. Let t(p) = 21*p**2 - 7*p - 3. Is t(d) a prime number?
True
Suppose -31*x - 34098 = -16*x - 17*x. Is x prime?
False
Let v(s) = 11*s**3 + 6*s + 41 - 13*s**2 - 40 + 23*s. Is v(8) prime?
False
Suppose -2*j - 1120984 = -40*x + 36*x, 21*j = 4*x - 1121098. Is x a prime number?
True
Suppose -k - 1 = -5*v + 4*v, 0 = -3*v + 4*k + 1. Let d(h) = 37*h + 4. Let j be d(v). Let t = 266 + j. Is t composite?
True
Suppose -4*p = 3*s - 14, -3*p + 4 + 2 = 0. Let w be 13/s + (-3)/(-18)*3. Suppose -22*x + 495 = -w*x. Is x a composite number?
True
Let k be (24/(-3 + 2))/(10/(-1425)). Suppose k = 18*j - 13*j. Suppose 2*w - 2*i = j, i + 1730 = 5*w - 0*i. Is w composite?
False
Let y = -357652 + 610461. Is y a prime number?
False
Let s(y) = 24*y**2 - 358*y - 437. Is s(113) prime?
False
Let m = 543146 + -319393. Is m a composite number?
False
Let c(g) = 657*g**2 + 4*g - 3. Suppose -49 = 7*u - 0*u. Let i(o) = -2*o - 12. Let n be i(u). Is c(n) composite?
False
Let s(v) = -v**2 + 7*v + 10. Let t be s(8). Suppose 2*p = t*r, 4*p - 3*r = 2*r + 4. Is 1/(p*(-1)/1508) a composite number?
True
Let t = -564799 + 867630. Is t a prime number?
True
Let o = -25505 + 42516. Is o composite?
False
Let q = 20 - -2. Suppose -j - r = j - 10, 0 = -4*j - 3*r + q. Suppose -330 = -j*m + 242. Is m composite?
True
Is (19 - 20)*210533*5*-1 prime?
False
Let l = 1288 + -186. Suppose 0 = 4*p - 4010 - l. Suppose -p = -o - 5*o. Is o composite?
True
Let m(o) = 8647*o**3 + 4*o**2 - 16*o + 21. Is m(2) prime?
False
Suppose 0 = 8*o - 17782 - 5242. Suppose 2*t - o = 3*t. Is (-2)/(2/1916*t - -3) a composite number?
False
Let h = -80622 + 136673. Is h prime?
False
Let q(x) = -5*x**2 - 15*x - 5156. Let h = -70 + 77. Let k(s) = -3*s**2 - 8*s - 2578. Let c(v) = h*k(v) - 4*q(v). Is c(0) a prime number?
False
Let a(t) = -218453*t - 5249. Is a(-2) composite?
False
Let c be 5 - -1 - 5 - 13. Let h(d) = d**2 + 5*d + 61. Let i be h(c). Let m = -66 + i. Is m composite?
False
Let d(s) = 440*s + 117569. Is d(0) prime?
False
Suppose 80 = 11*j - 27*j. Let i(q) = 714*q**2 + 2*q + 63. Is i(j) composite?
False
Let w(u) = -11*u**3 - 4*u**2 + u + 18. Let q be w(-5). Suppose -2*c = -4882 + q. Is c composite?
True
Let i(c) = 2*c**3 + 111*c**2 + 14*c + 114. Let v be i(-53). Let w = 25470 - v. Is w a composite number?
True
Let o be ((-3)/9)/((-2)/192). Let u = 42 - o. Suppose -5*t = -t + 4*c - 748, u = 5*c. Is t a prime number?
False
Suppose 2*x - 3*b - b - 50404 = 0, -3*x = b - 75606. Suppose 0 = -6*i + x + 15346. Is (4/(-12))/(i/(-3378) - -2) a prime number?
True
Let l(o) = -277197*o - 127. Is l(-2) prime?
False
Let a = -113230 - -300543. Is a composite?
True
Suppose -85*l + 84*l - 2*b = -85635, -l + 85629 = 5*b. Is l a prime number?
True
Let m(a) = 6*a**2 + 124 + a**2 - 6*a**2. Let l be m(0). Suppose 0 = j + 3*j - l. Is j composite?
False
Suppose 153*c + 182809 = 164*c. Is c prime?
True
Suppose -171 + 80 = -7*r. Suppose -11*x + 335928 = r*x. Is x composite?
False
Suppose 447 - 1681 = -2*h. Suppose 0 = -2*t - h + 247. Is (4*1/4)/((-1)/t) a composite number?
True
Let w = -63620 + 90860. Is 1/(3 + w/(-9081)) composite?
True
Suppose -21 = -2*w - 3*a, -11*a + 6*a = -15. Suppose -k = -2*y - w*k + 13741, -4*k = -y + 6851. Is y a prime number?
True
Let i(k) = 105*k - 38. Let p = -63 + 102. Let f = -34 + p. Is i(f) a composite number?
False
Let u = 97970 + 20633. Is u a prime number?
True
Let q = -596 + 5146. Let u = 8935 - q. Is u a composite number?
True
Let g(v) = 3*v**2 - 8*v - 127. Let a be g(-16). Let t = a + -92. Is t a composite number?
False
Let y be (1/2)/(6/25572). Let f = 4310 - y. Is f a composite number?
False
Suppose -4*d - 3*k = -1311, 8*k - 1281 = -4*d + 11*k. Suppose d*q = 323*q + 2095. Is q prime?
False
Let q(b) = 5*b**3 - 2*b**2 - b - 2. Let c be q(-2). Let g = 69 + c. Let v = g - -325. Is v prime?
False
Let h = -629 + 631. Is ((-34)/(-68))/(h/16468) prime?
False
Let u = 15514 - 8253. Suppose -3411 = -16*r + u. Is r a composite number?
True
Let g = 23353 - 19004. Is g a prime number?
True
Let r(p) be the third derivative of 0 + 0*p + 1/60*p**5 - 11/3*p**3 + 1/6*p**4 - 1/60*p**6 - 27*p**2. Is r(-7) prime?
False
Let x(d) = 461*d - 2054. Is x(15) prime?
True
Is (16374882/1023)/((-4)/(-22)) prime?
True
Suppose 2*p + 5*p = -6*p. Suppose p*f - 8916 = -12*f. Is f prime?
True
Let y(p) = 29*p**2 - 4*p - 9. Let i be y(-5). Suppose 3*d = -i + 2629. Is d composite?
False
Suppose -c - 2*c + 5*d + 220 = 0, -2*c + 135 = -d. Let g = -9 + c. Suppose -g*a + 61*a = 6305. Is a prime?
False
Suppose -r - t + 6 = -5*t, -4 = -2*r + 4*t. Let q be (9/(-6))/(r/2652). Suppose -3*s + 1608 = -q. Is s a prime number?
False
Let a = -10 + 23. Suppose -6432 = -3*b + a*u - 18*u, 2*u = 3*b - 6453. Is b a prime number?
False
Suppose 0 = -5*o - 5*k + 55, -3*k = -16*o + 14*o + 2. Suppose 0 = 2*r + o*v - 8*v - 40128, 5*r - 100319 = 2*v. Is r a composite number?
False
Suppose -15 = 2*g - 10*n + 5*n, -3 = -n. Suppose -9*h + 12*h + 3813 = g. Let r = h - -2248. Is r composite?
False
Let x(g) = -3*g**2 + 28*g - 28. Let y be x(8). Suppose -y*o + 9880 = 2*t, -5*t + 10*t + 4952 = 2*o. Is o prime?
False
Suppose 3*p - 1956057 = 4*a, 4*p - 6*p + 1304036 = -3*a. Is p prime?
False
Suppose -482 = -a + 2*q, 4*a - 3*q - 1935 = -2*q. Suppose -y = -r + 4*y + a, 0 = -5*r + y + 2444. Suppose 5*h + r = 8*h. Is h a prime number?
True
Is (-2)/(152/(-39670564)) + (-90)/855 prime?
True
Let p = 399734 - 201915. Is p composite?
True
Let y(c) = 23*c**2 - 13*c + 17. Let z be y(-7). Suppose -2*g + 85 = 5*m - 403, 5*g = -5*m + z. Is g composite?
True
Suppose 4*n - 8 = -0. Suppose 26 = n*f + 18. Suppose -f*v + 1042 = 2*b, 4*b + b - 2577 = 4*v. Is b a prime number?
False
Suppose 0 = 11*h - 52 - 69. Suppose -11048 = -h*k + 6453. Is k prime?
False
Suppose -7*a - 15*a = -110110. Let u = a - 2606. Is u composite?
False
Let l = 21568 + -537. Is l a prime number?
True
Let k(a) = 25*a + 73. Let r be k(-3). Is 149906/68*(-4)/r composite?
False
Let w(n) = -n**2 + 18*n - 66. Let a(i) = -2*i + 67. Let q be a(27). Let k be w(q). Is k/(-2) - ((-10257)/(-2))/(-13) composite?
True
Let a = -733 - -746. Suppose -11*d - 14354 = -a*d. Is d a composite number?
False
Let o = -271 + 273. Suppose -3*d + 0*d + 46809 = 2*s, o*d + 4*s = 31214. Is d a composite number?
False
Suppose -20*y - 23*y + 215108 + 25563 = 0. Is y composite?
True
Let t(n) = n**2 - 82*n - 9. Let l be t(41). Let g = 4116 + l. Is g prime?
False
Let d be 131/3*(10 + -7)*-53. Let f = 12568 + d. Suppose -f - 3200 = -5*k. Is k a composite number?
True
Let k = -63 - -72. Suppose -k*r + 2759 = 608. Is r a composite number?
False
Let z(k) = k**2 + 5*k + 5. Let o be z(-2). Let d be 143*(-47 - o - 3). Let t = d + 10434. Is t composite?
True
Let u be (-8 + 12)*23/4. Let v = u + -17. Let t(p) = p**3 - 5*p**2 - 2*p - 9. Is t(v) a prime number?
False
Let p(t) = 270*t**3 - 11*t**2 + 25*t + 17. Is p(7) prime?
False
Suppose 0 = 5*x + d + 4 - 12, 5*x = -2*d + 6. Let z(h) = 114*h + 10. Let r be z(8). Suppose -x*f = -184 - r. Is f composite?
True
Suppose 18*x - 3900876 = 9*x - 3*x. Is x a composite number?
True
Let l be (-6)/(-45) - 3/(45/58562). Let q = -743 - l. Is q prime?
False
Suppose 0 = 2*u - 12, 7*v - 3*u = 5*v + 485164. Is v composite?
False
Let p = -618 + 1054. Let q = 2271 - p. Is q prime?
False
Let x be (-18)/4*(-56)/(-21). Let c be x/(-114) + 564/57. Suppose 6*r = 4*b + c*r 