rime?
False
Suppose -3*q - 131*z + 548831 = -127*z, 3*q - 548839 = -5*z. Is q a composite number?
False
Let u(j) = -8*j**2 + 20*j + 35. Let l(m) = 6*m**2 - 22*m - 35. Let o(d) = -2*l(d) - 3*u(d). Is o(-9) composite?
True
Suppose 4*m = -5*v + 17947, -2*m = 5*v - 11354 + 2393. Suppose -m - 12332 = -25*c. Is c composite?
False
Let a(y) = 1948*y**2 + 10*y + 12. Let j be a(-3). Let o = j - 4993. Is o composite?
True
Suppose h = -d + 4, 5*d - 3*h - 12 + 0 = 0. Suppose -n - 9619 = -d*z + 3553, -z + 4395 = 4*n. Is z a prime number?
True
Let g = 324 - 394. Is 7/2*((-58630)/g - -3) a prime number?
False
Let u(a) be the first derivative of -3/2*a**2 + 11/2*a**4 + 20 + 5*a + 5/3*a**3. Is u(4) a composite number?
False
Suppose -4*o = -4*s - 2286728, 3*s - 2307729 + 21022 = -4*o. Is o a prime number?
True
Suppose 17 = -j + 2*n - 3, 5*j + 140 = 2*n. Suppose -2*i - 4 = 0, -2*f - i - 22 + 28 = 0. Let t = f - j. Is t composite?
True
Suppose -443814 = -5*s + p, -s + 73376 = 3*p - 15390. Is s prime?
False
Let j(t) = -5273*t - 279. Is j(-22) composite?
False
Suppose 3058 = 4*l + 2*h, 5*h - 742 = -10*l + 9*l. Let a = 7168 - l. Is a a composite number?
True
Let n(o) = 443*o**3 - 18*o**2 + 74*o + 62. Is n(11) a composite number?
True
Suppose -3*x - 5*o + 12 + 18 = 0, 3*o + 50 = 5*x. Suppose 3*j + x = 4*j. Is 1614/j - 28/70 a prime number?
False
Let u(y) = -1369*y**3 - 3*y**2 - 2*y + 1. Let n(w) = w**2 - 1 - 8*w - 28 + 8. Let d be n(10). Is u(d) a composite number?
True
Let g be -2 - (7/(14/(-48)) - 3). Let j be 4*g/60*-3. Let d(q) = 13*q**2 + 9*q + 7. Is d(j) composite?
True
Let s be ((-2)/(-4))/((-20)/(-23400)). Suppose 6*j = -5*a + 4*j + s, -a = 4*j - 99. Is a composite?
True
Suppose 2 = -n + 20. Suppose -n = 3*b - 6*b + 3*p, -2*b = 4*p - 6. Suppose b*j - 780 = 115. Is j a prime number?
True
Let w = -135160 - -361115. Is w composite?
True
Let r(f) be the first derivative of -453*f**4/2 + f**3 + 2*f**2 + 2*f + 87. Is r(-1) prime?
True
Is (1 - 5/6)/(9/54) - -3606 prime?
True
Is -4273933*3/(-6) - 444/(-888) prime?
False
Let k be (8/(-60))/(2/42)*5. Is (-3 - -15553) + (k - -15) prime?
True
Let q(o) = -221*o**3 - 10*o**2 - 98*o - 402. Is q(-9) a prime number?
False
Suppose 4*a + 16 = 5*d, 5*a + 3 = d + d. Let l be ((-2)/d)/(1*2/(-12)). Suppose l*f = 7*f - 1340. Is f prime?
False
Is (-33)/(-132)*((-8420335)/(-20) + (-3)/4) composite?
True
Let w = 2291 + -9297. Is 46/(-14) + 14/49 - w composite?
True
Let c = 534339 - 222898. Is c composite?
True
Let q = 160881 + -114452. Is q composite?
True
Suppose 3*s = -20*s + 76484 + 45945. Is s a composite number?
False
Is 2145197/((6 + -5)/(-7 - -8)) a prime number?
True
Let z = -7888 - -14644. Suppose -112*x + 116*x - z = 0. Is x a composite number?
True
Is (-1028)/771*(1 - (-2597047)/(-4)) prime?
True
Suppose -122*u + 4117686 + 46323457 = 107*u. Is u a composite number?
True
Let a(u) = -57361*u + 3683. Is a(-14) a composite number?
False
Suppose -4 - 1 = 5*i. Suppose 143*p = 15 - 730. Is (i + 14)/(p/(-25)) prime?
False
Let p(v) = 122*v**2 - 3*v + 1. Let k be p(1). Suppose -122*l + 1574 = -k*l. Is l a prime number?
True
Let g(u) be the second derivative of 17*u**3/2 + 4*u**2 - 25*u + 2. Is g(13) a composite number?
True
Let d = -2577676 - -4212599. Is d composite?
False
Suppose 5*a + 4*a - 113859 = 0. Is (a + -13)*2/4 prime?
False
Let w(z) = -210*z**2 + 6*z + 1. Let o(d) = d**2 + d. Let v(l) = 2*o(l) - w(l). Let r be v(2). Suppose -438 = -q + r. Is q composite?
False
Let w(n) = 25553*n + 2674. Is w(5) composite?
False
Suppose 0 = 44*p - 47*p + 1515. Let c = -341 - p. Let l = -467 - c. Is l composite?
False
Let c(g) = g - 71. Let v be (-576)/(-24) - 1*2. Let b be c(v). Let r = b + 570. Is r a prime number?
True
Is (4 + -6)*((-2)/5 - 38945110/100) composite?
False
Suppose 2359566 = 38*n - 4*n. Suppose 77627 = 22*f - n. Is f prime?
False
Suppose 25*o - 28*o - f = -294895, 4*o - 5*f = 393168. Is o prime?
True
Suppose -2*x - 26600 = 3*f, -3*f - 4*x = -9*x + 26572. Let y = f + 18177. Is y composite?
True
Let k(s) = 68*s**3 - 18*s**2 - 7*s + 29. Let f(u) = 17*u**3 - 4*u**2 - 2*u + 7. Let p(o) = -9*f(o) + 2*k(o). Is p(-4) prime?
False
Suppose -20 = -30*r + 40. Suppose -556 = -0*i - r*i + 5*d, 5*i - 1390 = -5*d. Is i a prime number?
False
Let a(z) = 117640*z + 269. Is a(11) composite?
False
Let i = -443 - -575. Suppose -133*c = -i*c - 9239. Is c prime?
True
Let n = -1140029 + 1914930. Is n composite?
False
Let q(f) = 506*f**2 - 58*f - 173. Is q(-17) prime?
True
Let i(r) = -3*r**2 + r + 26. Let c be i(-4). Let y = c - -29. Is (-32703)/(-27) + y/((-135)/10) composite?
True
Let j(a) = a**3 + 9*a**2 - 11*a - 10. Let t be j(-10). Suppose -283*m + 277*m + 10578 = t. Is m prime?
False
Let v be (532/8)/(-7)*2. Let b = 54 + v. Is 913/5 + 14/b a composite number?
True
Suppose -4*k + 0*k = 2*b - 22, 0 = -4*b + 4*k + 8. Suppose -3*g + 2*l = -43775, b*g + 3*l - 7*l = 72959. Is g a prime number?
True
Suppose -y + 294113 = 2*f, 238*f - 240*f + y = -294099. Is f a prime number?
False
Let n = 15 - 12. Suppose 3*o - 10 = -4*w, -n*w + 7*w = -o + 6. Suppose -2*x = -r - o*r - 919, -2*r - 1858 = -4*x. Is x a prime number?
True
Let n be -3*3/(-9)*-38. Let s = 55 + n. Is (16 - s) + 3*62 prime?
False
Suppose -32*u + 1881137 = 238609. Is u a prime number?
True
Suppose 0 = 2*c - 25*c - 28727. Let g = c + 2568. Is g composite?
False
Suppose -x = x - 5*j + 7, 0 = x + 3*j - 24. Suppose v - x = -20. Is (-178)/(v/(-55) + (-17)/35) composite?
True
Suppose 0 = 13*n - 225544 - 73651. Is n composite?
True
Let u = 50661 - 26453. Suppose -237 = -m + u. Is m a composite number?
True
Let f = 52 + -52. Let l(a) = a**3 + f*a**3 + 14*a + 183 - 87 - 78 + 16*a**2. Is l(-11) a prime number?
False
Let d = -141 - -72. Suppose 4*v - x = 753, -4*x = -v - 89 + 281. Let m = v + d. Is m composite?
True
Suppose 5*b + b + 78 = 0. Let n be (b/(-3) - 4)/(2/24). Is (-7)/(-4) - 2 - (-5397)/n a composite number?
True
Let q(b) = 153*b**3 + b**2 - b + 1. Let r(c) = 3*c - 2. Let f be r(1). Let v be q(f). Suppose -y + v = -163. Is y a prime number?
True
Let d(j) = -4*j - 1. Let g be d(5). Let p be -1 - ((-14)/g + 64/(-6)). Is 1/(-3) + 543/p + -1 a prime number?
True
Suppose -26*o + 28*o + 160 = 0. Suppose -b + 15 + 114 = 2*c, -3*c - 387 = -3*b. Let v = o + b. Is v a composite number?
True
Suppose 0 = -i - 2*w - 5 - 0, 0 = -4*i - 4*w - 16. Let g(x) = -x**3 + 10*x + 1. Let s be g(i). Is (-72621)/(-36) - s/(-8) composite?
False
Let k be 16528/48*(3 + 0). Suppose 2*g - 2389 - k = 0. Is g a prime number?
False
Let d = 7356 + 24677. Is d a prime number?
False
Let s = -7576 + 7811. Let j(t) = -6*t**2 - 4*t + 4. Let d be j(4). Let k = s + d. Is k composite?
False
Let a = 66 + 55. Let b = -42 + a. Is b a composite number?
False
Let u(m) = 142*m**2 + 2*m - 1. Let b(s) = -8*s - 22. Suppose 5*c + 30 = 5*d, -5*c - 3*d - 3 = d. Let a be b(c). Is u(a) a prime number?
True
Let j(x) = -8680*x**3 + 0*x - 5106 - 4*x + x**2 + 5102. Is j(-1) a prime number?
True
Suppose 3*w = 3*a - 0*a + 1317, -2*w = a - 863. Suppose 4*d - w = -t, 4*t = d - 378 + 2165. Is t a prime number?
False
Suppose -9 = x + 3*p, -2*p - 2*p - 12 = 4*x. Suppose x = 2*q - 3*u - u - 4666, 0 = u. Is q composite?
False
Let n = 894362 + -213745. Is n a composite number?
True
Let i(z) = -74*z + 52. Let b(k) = -k. Let t(j) = 5*b(j) - i(j). Is t(35) a composite number?
True
Suppose -43164 = -7*u - 11*u. Suppose -a = 4, -2*j - a + u = -6*a. Is j a composite number?
True
Let t(b) be the first derivative of -4/3*b**3 - 20 - 7*b**2 - 7/4*b**4 - 11*b. Is t(-6) a prime number?
False
Let z(f) = 19*f**2 + 96*f + 62. Is z(45) a composite number?
True
Let y = -9421 - 653. Let i = -5540 - y. Is i a prime number?
False
Let f be ((-3)/(-6) - (-35)/30)*879. Let b be 9/6*(0 - -2). Suppose -b*a + 4*a = f. Is a a composite number?
True
Let k(w) = -w**3 + 24*w**2 - 16*w + 39. Let s be k(16). Suppose 0 = 7*t - 47618 + s. Is t a prime number?
False
Suppose -3*k - 5*u + 65902 = -30464, 3*k - 96354 = -u. Is k composite?
False
Let d(q) = 725*q - 225. Let v be d(12). Suppose -4*l = -2*a + 12710, 3*a = -l + 10569 + v. Is a prime?
False
Suppose -3830 = 2*a + 3*t, 3*a + 2*t + 9553 = -2*a. Let g = a + 3272. Let w = 198 + g. Is w prime?
False
Let w = 530 + -530. Suppose w = -11*t + 18*