Let r be h(-11). Let q = r + 337. Suppose 0 = 3*d + z - 79 - q, -d + 125 = 2*z. Is d a composite number?
True
Let z(b) = -b**3 - 7*b**2 + 2*b - 8. Let y be z(-8). Suppose -9*w = -w - y. Suppose 4*l - 197 = w*d, -l - 5*d + 227 = 3*l. Is l prime?
True
Let r be 3 + (1 - 4) + 3 + 1810. Suppose -28*c + r = -21*c. Is c prime?
False
Let u be -2 - (-1 + 3 + -9). Suppose -b = 5*x - 13, -2*b = 5 - 1. Suppose -u*q + 1431 = r, 2*q + x*r = 394 + 168. Is q a composite number?
True
Let a(o) = -o**3 + 51*o**2 + 148*o + 121. Is a(51) a prime number?
True
Let w(j) = j**2 - 8*j + 12. Let n be w(5). Let x be 4*(-3)/(-9)*n. Is 364 + (-1 - x) + 4 a composite number?
True
Let t = -2726 + 2722. Let n be ((-12)/(-10))/((-4)/20). Is (t/n)/(-5*(-5)/18825) composite?
True
Let d = -695 + 695. Suppose -4*x - 3*s + 17199 = d, 2*x - 11*s - 8595 = -8*s. Is x composite?
True
Let p = 1133 - -958. Suppose -2*h = -3*h. Is (-2)/((-6)/p) - h prime?
False
Let y(r) = 0*r + 6 + 10 + 3*r - 6*r. Let f be y(4). Suppose -j - 2552 = -4*n + f*j, 2*n - 4*j - 1282 = 0. Is n a composite number?
True
Suppose 3*f - 4*f + 35 = 4*g, -5*f + 115 = 5*g. Let t(i) = i**3 - 17*i**2 - 9*i - 13. Is t(f) prime?
False
Let l = -435523 + 638166. Is l prime?
False
Suppose 98526 = -5*q + 2*q - 3*n, -2*q = n + 65688. Let s = q + 65451. Is s a composite number?
True
Let v(i) = -19*i**3 - 3*i**2 + 6*i + 8. Let f(t) = t**3 - 1. Let g(c) = 4*f(c) + v(c). Let o be g(-4). Suppose 448 = 4*l - o. Is l a prime number?
False
Suppose t + 2 = -g, t - 1 = 2*g - 3. Let j be 34/(-8)*(0 - (-3 + -1)). Is (t/4)/(j/18394) prime?
True
Let r(h) = -61*h**3 - 52*h**2 - 9*h + 63. Is r(-22) a composite number?
True
Let g(o) = 13*o**2 + 1231*o + 11. Is g(15) a prime number?
True
Let g be 5/(-2)*(8 + (-382)/5). Suppose 5*h - 5*f = 13120, h + 2*f - g = 2462. Is h a prime number?
False
Let p(d) = -126*d**2 + 3*d - 4. Let m be p(3). Let i(g) = 8*g**3 + 7*g**2 - 14*g - 48. Let c be i(6). Let k = m + c. Is k a prime number?
True
Let z be 9/(-1)*-1 + (-6 - -5). Suppose 2*h - 5628 = -p, 2*p - 14071 = z*h - 13*h. Is h a prime number?
False
Let q(u) = u**3 + 7*u**2 - 8*u + 3. Let z be q(-8). Let x(n) = 1 - 18*n - z - 109*n - 1. Is x(-2) composite?
False
Is (-114736140)/(-110) + 3 - (-2)/22*2 a composite number?
True
Suppose -2*v = 3*u + 1737, -3*v + 3491 - 596 = -5*u. Let m = 34 - u. Is m a composite number?
False
Let d(h) = 9*h + 59. Let v be d(-6). Is v/(-10)*19563*8/(-12) composite?
False
Let f be 2/(-4)*(28 - 14). Let m be (-18)/(-27) - f/3. Suppose -j + 3 = p - m, -3*p + 2*j = -3. Is p prime?
True
Let a(l) = -l + 11. Let b be a(6). Suppose -4*x - f = -3, 8*x + 15 = 3*x - b*f. Suppose -x*h - 1435 = -9*h. Is h prime?
False
Suppose 145*j = 80531273 + 105895082. Is j a prime number?
True
Suppose 2*j + 7*p + 698 = 4*p, -3*p = -4*j - 1396. Let d = -876 - j. Let i = 624 - d. Is i a prime number?
True
Let l = 107104 - 41343. Is l a prime number?
True
Let p be (1 + -2)/(11/(-55)). Suppose -p*t = -c + 1476, 2*t - 1292 = -c + 170. Is c composite?
True
Let k(i) = -8*i**2 - 5 + 120*i**2 + 8 - 7. Let h be k(-3). Suppose -5*s + 2*g + 996 + 259 = 0, 4*s + 2*g - h = 0. Is s a prime number?
True
Suppose 175 = 7*u + 28. Suppose 0 = -2*a + 4, 19*a - u*a + 4165 = 3*y. Is y composite?
True
Suppose -391 = 20*c + 129. Is -3*c/(-6)*(-226 + -1) a composite number?
True
Let w = -58360 + 89345. Is w a prime number?
False
Is 20/((-320)/112) - (0 - 1080312) composite?
True
Let q be 13/(-26)*18/(-3). Is (-133)/(-57)*q*3 prime?
False
Is (-54121)/10*-6 + 8/20 prime?
False
Let v be (-58)/10 + -3 + (-42)/(-15). Is (15471/(-135))/(v/50) a composite number?
True
Let l = -43 - -198. Let d = l + 726. Let v = d - 574. Is v composite?
False
Suppose -6*y - 5*u + 2087835 = 0, -y + 3*u + 167975 + 179963 = 0. Is y a prime number?
False
Let b = -14041 + 22170. Is b composite?
True
Is ((-3912114)/(-15))/((-3)/(-25)*1050/315) composite?
False
Let b(w) = 8*w**3 - 5*w**2 - 4*w - 6. Let k be b(-4). Suppose 3*f = -x - 1024 - 178, -4*f = -2*x + 1606. Let j = f - k. Is j prime?
True
Let c = 3329 + 324148. Is c a composite number?
True
Suppose 63*d - 59*d - 46300 = 0. Suppose 0 = 3*l + 2*l - 5*i - d, -2*l - 5*i = -4644. Is l a composite number?
True
Suppose 4*k = 1511 + 9. Suppose 5*i + 2*j = 5965, 2*j - 2684 = -3*i + 895. Let d = i - k. Is d composite?
True
Let m(j) = j - 11. Let b be m(16). Suppose 18 = b*k + k. Suppose 5*c - 3*c = 5*z + 2110, k*c - z - 3165 = 0. Is c a prime number?
False
Suppose -151*z = -436*z + 15093885. Is z a composite number?
True
Is (3 - 0)/((-4878030)/(-1626005) - 3) composite?
False
Let l be 1431 + (10 - (-5 + 8)). Let w = l - -9759. Is w composite?
False
Let o be 12/54*21716 - (-4)/18. Let j = 6839 + o. Is j prime?
False
Let b = -7 - 2. Let z(a) = -127*a + 35. Let g be z(b). Let q = g + 183. Is q a prime number?
True
Suppose -2*u - 33267 = -y + 2*u, -25 = -5*u. Is y prime?
True
Let b = -78 - -81. Suppose -o + 1832 = b*o. Let p = o - -204. Is p a prime number?
False
Let c = 2872651 - 1658822. Is c composite?
False
Let v be (-7 - (0 + -2))*-1 + 1107. Let s = v - 547. Is s prime?
False
Suppose -4*j + 5*u + 13 = 0, -1 = -5*u - 6. Suppose 0 = 4*z - 3*i - 148, 2*z = -j*z - i + 132. Is (-1814*(-1)/4)/(17/z) a composite number?
False
Suppose -154*v + 88*v + 5846082 = 0. Is v composite?
True
Suppose 3*j = -w + 87060, -2*w - 4*j = -4*w + 174080. Is -4 + 4/(-22) + w/88 composite?
True
Let x = -42 - -60. Let r be (x + -1857)/(-1 - -2). Let f = r + 3548. Is f a prime number?
True
Suppose 61*q - 49*q = 28452. Let t = 378 + -1886. Let l = q + t. Is l prime?
True
Suppose 8*a - 24*a = -63*a + 1801087. Is a a composite number?
False
Let q = 1404718 + -74017. Is q a composite number?
True
Suppose -9*v = -v - 112. Let h(a) = 851*a + 267. Is h(v) composite?
True
Suppose 43*b - 28*b + 60 = 0. Let p(i) = -44*i**3 - 2*i**2 - 9*i + 11. Is p(b) prime?
False
Let x be -44*(-4 + (-95)/(-20)). Let w be (-18)/3*(-10)/(-4). Is (-1)/5 + x/w - -612 a composite number?
True
Let q = 15950 + -8905. Is q composite?
True
Suppose -24*a + 523860 = -12*a. Is a prime?
False
Let s(h) = 4*h**2 + 1. Let z be s(1). Suppose 4*m + 3*p = 28, -5*m + z*p = -0*p. Suppose m*q - 8643 = 5*k, -q + 10791 = 4*q - 2*k. Is q a composite number?
True
Let o(s) = -s**3 - 13*s**2 + 8*s - 1. Let x be o(-14). Suppose -n - 3*p + 80 = -x, 0 = -n - p + 163. Is n a composite number?
False
Suppose 13*j - 8*j = -5*y + 843550, y - 506128 = -3*j. Is j a composite number?
True
Let u be 2 - 4*(6 + -7). Suppose 6573 = 3*r - 4*f, 8*r - 3*f = u*r + 4381. Is r composite?
True
Let o(s) = -3822*s**3 - 3*s**2 + 2. Let g(k) = k**2 - 19*k - 43. Let x be g(21). Is o(x) prime?
True
Is (2/(-7))/((-14)/4251142*7) composite?
True
Suppose 8833 = m + 3*q - 2944, -2*q - 11777 = -m. Is m a prime number?
True
Let j(f) = 324*f**2 + 8*f + 4. Suppose 7*m + 104 = -6*m. Let q be j(m). Suppose u - 3*u - q = -4*n, -3*n = -3*u - 15501. Is n prime?
True
Suppose 7*k + 3*n - 7682 = -1633, 2*k - 1704 = 4*n. Is k a composite number?
True
Suppose 0 = 5*s - 3 - 22. Let h(z) be the first derivative of 20*z**2 + 11*z - 188. Is h(s) prime?
True
Let l(y) = 4*y**2 - 5*y + 6. Let n be l(-3). Suppose n = -2*a + 17. Let v(u) = -u**3 - 20*u**2 - 23*u + 27. Is v(a) composite?
False
Let o(w) = -2*w**2 - w + 2. Let b(a) = -23*a**2 - 33. Let n(h) = -b(h) + 3*o(h). Is n(-8) a composite number?
False
Suppose 2359994 = -z + 21*z + 6*z. Is z a composite number?
True
Let f be (1 + -4)*18 + -2. Let w = -53 - f. Suppose 4*t = c - 99, 0 = -4*c + c + w*t + 342. Is c a prime number?
False
Let b = -450 + 493. Suppose -b*w + 40*w + 14505 = 0. Is w a prime number?
False
Let k(i) be the first derivative of i**2 + 10. Let s be k(8). Is 72/s*1868/6 a prime number?
False
Let i(h) = 114*h + 10. Let o(q) = -113*q - 11. Let j(b) = 4*i(b) + 6*o(b). Let n be j(9). Let u = 3679 + n. Is u a prime number?
False
Let b(h) be the third derivative of 3*h**6/40 - h**5/60 - h**4/8 - 2*h**3/3 - 30*h**2. Let c be b(5). Let r = c - 502. Is r a prime number?
False
Let w(v) = 2*v**3 - 2*v**2 - v - 1. Let h(a) = 10*a**3 - 17*a**2 - a - 7. Let y(p) = -h(p) + 6*w(p). Let l be 5 - 0 - 3/(-3). Is y(l) a prime number?
False
Let x = 114 + 154. Is ((-2648845)/x)/((-5)/4) a prime number?
True
Let c(n) = n**3 + 11*n**2 + 11*n + 