 d be t(s). Let q = d - -161. Is q composite?
True
Let g(d) = -33*d - 66. Let i be g(-2). Suppose i = -5*q + 11*q - 26346. Is q a composite number?
False
Let a(m) = -366*m + 185. Is a(-68) prime?
True
Let g = 66 - 104. Let n = 22 + g. Is ((-1358)/(-4))/((-8)/n) a prime number?
False
Suppose -36*l - 39*l = -73*l - 763046. Is l composite?
False
Suppose -5*m - 58 = -68. Suppose -m*j + j - 6 = 2*q, 3*q = 2*j + 5. Is (q*2/4)/((-6)/36948) prime?
True
Suppose 3*t = -5*n + 1837, -3*t + 4*n - 2452 = -7*t. Suppose 617*h - 36591 = t*h. Is h prime?
True
Suppose -78*c - 360774 = -95*c. Let g = c + -14845. Is g a prime number?
False
Let m = -186686 + 264553. Is m prime?
True
Is (4*(-4)/(-8) + -23419)/(22/(-418)) a prime number?
False
Suppose 5*x = -2*x - 7. Let u be x*(2 + (2 - 4)). Is 4*(u + -1)*1895/(-20) composite?
False
Suppose 5*n - 1 = 9. Suppose -3*k + 2*j - 32 = 7*j, 4*k + 8 = n*j. Is (-1426)/(-18) - (136/(-36) - k) composite?
False
Let f(t) = 297*t**2 + 41. Let h be f(-8). Suppose 6442 - h = -7*o. Is o prime?
True
Let o = -2432 + 5134. Suppose 572 = 2*x - o. Is x composite?
False
Let j = 107 - 103. Let x = -114 + 197. Suppose 2*a - j*a + 22 = 2*g, -2*g = -5*a + x. Is a composite?
True
Let o(k) = 372*k**2 + 6*k + 10. Let n be o(-2). Let g = -125 + n. Is g composite?
False
Let d(b) be the first derivative of 1541*b**2/2 + 14*b - 227. Is d(7) prime?
False
Let c = 512207 + -105514. Is c a composite number?
True
Let f(a) be the third derivative of 32*a**5/15 + a**4/24 + a**3/3 + 16*a**2. Let t(q) = -q**2 + 14*q - 3. Let s be t(14). Is f(s) a composite number?
False
Suppose -3*n = 5*r - 126517, n - 25305 = -97*r + 96*r. Is r a prime number?
True
Suppose 0 = 4*d - 5*f + 1003, 5*f - 6*f = 2*d + 491. Let l = -214 - d. Is l a composite number?
True
Let m be (2/(-4) - -1)*1514. Let k = m - -150. Suppose 4*h = k - 183. Is h a composite number?
False
Let u be 0 - (-4 + -2) - -3. Suppose -u*a + 8943 = -7383. Is a prime?
False
Let k(c) = 801*c**2 - 36*c - 14. Is k(6) a composite number?
True
Let h(j) = -231*j + 14. Let b = 144 - 103. Suppose 6*a = 5*c + a + 5, 0 = 5*c + 4*a + b. Is h(c) a prime number?
False
Let w = 1449668 - 922957. Is w a prime number?
False
Let j(s) be the second derivative of 6*s**3 - 85*s**2/2 - 130*s. Is j(36) a prime number?
False
Let a = -1141843 + 1625732. Is a a prime number?
False
Suppose -60*s + 1307293 + 3260695 = -1696072. Is s a prime number?
False
Let w(s) = s**2 - s + 1. Let r(p) = 8*p**2 - 10*p + 7. Let z(n) = r(n) - 6*w(n). Let t(k) = -5*k**3 - 2*k**2 + k. Let x be t(1). Is z(x) a composite number?
False
Let b(f) = 51292*f + 1513. Is b(5) a prime number?
False
Suppose 0 = 4*x, 0 = 5*z + 4*x - x - 284280. Suppose -6*k = -z + 12618. Suppose 3*w = r - 5482, 4*w + 1856 = -r + k. Is r composite?
True
Suppose -5*z + 8*z - 42 = 0. Let d(n) = 2*n**3 + 4*n**2 - 13*n - 13. Let r be d(z). Suppose 8*l - 251 = r. Is l a prime number?
False
Let s be (-3)/(-2)*(-1090)/(-15). Let q = s - 100. Suppose 7*o - q*o = -1742. Is o prime?
False
Suppose 21*t - 7272837 = 6*t - 268692. Is t a composite number?
True
Suppose 5*r - 2*x + 35003 = 161744, -25351 = -r - x. Suppose 2*u - 3*n - n = 25354, 0 = -2*u + 3*n + r. Is u prime?
False
Let c(v) = 15*v**3 - 47 - v**2 + 35*v - 36*v + 16*v**3. Is c(6) prime?
True
Let b = 46 + -91. Let a be 13522/18 - (-10)/b. Suppose 5*l - a + 236 = 0. Is l a composite number?
False
Suppose 10 = -w - 4*k + 24, -5*k = -5*w + 20. Suppose w = -2*p + 5*y + 23, -5*y = -5*p + 80. Is 34/3*p*2/4 a prime number?
False
Suppose 0*b + 28 = 7*b. Suppose -21 = -b*t - 1. Suppose t*m = -h + 6718, -3*h = -4*m - 2*h + 5369. Is m composite?
True
Let i be 1/((-12)/(-2835)) - (-1)/(-4). Suppose -7*p + 3*p = i. Let o = p - -400. Is o a composite number?
True
Is -28729*(-4)/(12 + -8) a composite number?
False
Let d be (11 - 6/1) + 0. Suppose 0 = -2*f - d*a + 17119, 5*a - 1495 = -f + 7057. Is f a composite number?
True
Let c(t) = 33*t**3 - 4*t**2 + 13*t - 12. Let r(z) = -z**3 + z - 1. Let s(u) = -c(u) + 3*r(u). Let i be s(4). Let a = 3193 + i. Is a composite?
True
Let y be ((-9)/(-6))/(((-3)/(-40276))/1). Let z = 37921 - y. Is z prime?
True
Suppose -11 = -3*s - 5. Let j(o) = -4*o**3 - 10 - 24*o + 22*o - 6*o**s + 3*o**3. Is j(-9) a composite number?
False
Suppose 0 = -3*t + 3, -2*t - 333271 = 2128*m - 2131*m. Is m a prime number?
True
Let u(a) = 180*a + 86 - 183*a - 416*a. Is u(-15) a composite number?
True
Let x = 49 + -51. Let r(t) = 234*t**2 - 8*t - 4. Let o(b) = -234*b**2 + 7*b + 3. Let y(c) = -7*o(c) - 6*r(c). Is y(x) composite?
False
Let i be ((-20)/(-12))/((-15)/18). Is (4 - 758547/(-18)) + 1/i prime?
False
Let x(p) = 2*p**3 + 7*p**2 + p + 4. Let t be x(9). Suppose -g - 262 + t = 0. Suppose -g = -y - y + 5*j, 2*y = j + 1784. Is y a composite number?
True
Suppose 5*t - 75190 = -4*a, 19*t + 56433 = 3*a + 16*t. Is a a prime number?
False
Let x be 2 - (-21)/(-9) - 1/(-3). Suppose x = 4*r - w - 44, 0 = -3*r + 7*r - 2*w - 40. Is (-4)/24 - (-14918)/r a prime number?
False
Suppose 4*u = -o + 3*o + 22, 19 = 3*u - 2*o. Suppose -4*x + 0*v - v = -13, 0 = u*v - 3. Suppose -5*j - 477 = -s, 2*s + 2*j = x*s - 471. Is s a prime number?
True
Let g be (8/2)/(28/42). Suppose -g*j + 170187 = 59709. Is j composite?
False
Is ((-54)/(-63))/(51/4625887) a composite number?
True
Is (5/((-100)/70))/((-3)/39594) composite?
True
Let l(a) = 224*a**3 + 111*a**3 + 2*a**2 + 19*a**3 + 5 + 40*a - 48*a. Is l(3) prime?
False
Suppose -5*t = 5*h + 55, -3*h - t - 3*t = 36. Let l(m) = 5*m**2 - 66*m + 5. Is l(h) a composite number?
False
Let x = -54 - 11. Let t = x - -68. Suppose 5*h = w + 3*w + 4467, 0 = -2*h - t*w + 1796. Is h composite?
True
Let b be 3/(-6)*-4 - (-244)/1. Suppose 206 = 4*l - b. Suppose 4*i - l = -2*t + 321, 3*t + 3 = 0. Is i a prime number?
True
Let q = 270 + -287. Let h(g) = 11*g**2 - 13*g + 7. Is h(q) composite?
False
Suppose -17*n + 95*n - 5372973 = -1932315. Is n prime?
True
Let z(f) = -33*f**2 - 17*f + 67. Let b be z(11). Let g = b - -8056. Is g prime?
True
Suppose -135 + 159 = 8*g. Suppose 6303 = g*h - 5598. Is h a composite number?
False
Let g = 25 + -21. Suppose 4*u + 1276 = g*h, -4*u - u = -4*h + 1276. Is h prime?
False
Let f(a) = a**3 - 6*a**2 - 11*a + 30. Let r be (3/(-6))/((-8)/112). Let z be f(r). Suppose 0 = -2*d + z*i + 1840, -5*i + i = 2*d - 1822. Is d prime?
False
Suppose -6*b = -b - 145. Let q = 29 - b. Suppose 4*u + 218 = -t + 3*t, t - 3*u - 107 = q. Is t a composite number?
False
Suppose -82*i + 2083667 = 212*i - 93052087. Is i composite?
False
Is 628275/7 - (-60)/315*-3 prime?
True
Suppose 3*q - 36 - 138 = 0. Suppose -102 = 8*t + q. Is ((-10275)/t - 1)*4 composite?
True
Let y = -92622 + 154737. Is -1 - ((-2)/4 - y/10) a composite number?
False
Suppose 5*i = -3*w + 10, -26 + 21 = 5*i. Is (-5709)/(-3) - 3 - w a composite number?
True
Let j be (3 + 19)*(-7 - (-4602)/12). Suppose 5*s + t - j = 0, 4967 = 3*s - 0*t + 2*t. Is s a composite number?
False
Suppose 4*m = 233 - 229. Is (m - -6) + 16068/39 composite?
False
Suppose -2*j + 3*j + 1 = f, -3*j = -6. Suppose 0 = -f*r + 1624 - 169. Let t = 1176 - r. Is t prime?
True
Suppose 2*t + 1083234 = 3*j - 141385, j + 6*t - 408173 = 0. Is j prime?
True
Let s = -38790 + 86577. Suppose s = 13*w - 6007. Is w a prime number?
False
Suppose 88*w - 28493443 - 5212053 = 0. Is w composite?
True
Is (-2)/7 + (1 - (-198834)/21) a composite number?
True
Let c = -8 + -26. Let q = c - -34. Suppose -2*k - 3*r = k - 483, -4*k + r + 644 = q. Is k a composite number?
True
Suppose 2*t + 4*y = -224, 0*t + 2*y + 460 = -4*t. Let k = 217 + 82. Let n = k + t. Is n a prime number?
False
Let l = 216 + -214. Suppose 5*h + p - 877 = 2359, 0 = -l*h + p + 1293. Is h a composite number?
False
Is (1399/5)/((-6371)/(-2530) + (-5)/2) a composite number?
True
Let a(x) = 47*x - 91. Let w be a(2). Suppose -4513 - 13196 = -w*j. Is j a composite number?
False
Suppose 3*u + w = 900762, u + 44*w = 40*w + 300265. Is u a prime number?
False
Let f(y) = 1565*y - 14. Suppose -2*a = 67 - 73. Is f(a) composite?
True
Let o = 3179 - 1821. Let t = 3719 + o. Is t a composite number?
False
Let g be -6*(-1)/18*3*5. Suppose -33855 = -g*j + 850. Is j composite?
True
Is -1 - 8/((-216)/15) - (-10396266)/54 a composite number?
True
Suppose 45*i - 18594477 = 12*