True
Suppose 125809 = -5*w - 2*p + 478468, 4*w - p - 282109 = 0. Is w a composite number?
False
Suppose -20*f - 14 - 46 = 0. Let u be (-4 + 0)/(f + (-4)/(-2)). Suppose -6569 = -u*p - 5*w, 4*p + 3*w - 6563 = 4*w. Is p a composite number?
True
Let y(r) = r**2. Let f be y(2). Suppose f*w - 12884 = -696. Is w/((-42)/(-54) - 4/(-18)) prime?
False
Let i = -9 + 149. Suppose -6861 = i*l - 143*l. Is l a composite number?
False
Let p(u) = -70*u**2 - 6*u - 15. Let s be p(-3). Let a = s - -3056. Is a prime?
False
Suppose 0 = -z - 12*b + 215627, 0 = -27*z + 28*z - b - 215640. Is z prime?
False
Let j = -13401 - -20812. Is j composite?
False
Let p(i) be the first derivative of 2*i**3 - 9*i**2/2 - i + 2. Let z be 4 + (-1 - -1)/((-69)/23). Is p(z) a prime number?
True
Let v = 15 + -15. Suppose 9879 = c + 2*i - 848, v = -i. Is c prime?
False
Suppose -2*q = -h + 10, h - 3*q = -5*q - 10. Is 54603/6*(h - (-10)/15) composite?
False
Suppose 126*p - 117*p = 3123027. Is p composite?
False
Let z be ((-8967)/6)/(-1)*2. Suppose 10*f + z = 17*f. Is f a composite number?
True
Suppose -o - 5*p - 2336 = -0*p, 7044 = -3*o - 3*p. Let b = 6905 + -7815. Let r = b - o. Is r composite?
True
Suppose l + 55866 = a, 0 = 2*a + 8*l - 9*l - 111737. Is a composite?
False
Suppose 0 = -5*f - 5*j + 1 - 16, j - 1 = -5*f. Let a(p) be the first derivative of 94*p**2 + 3*p - 83. Is a(f) a composite number?
False
Let g be 14/63 - ((-104)/9)/2. Let i(p) = -10*p + 4 + 6 + 1 + 16*p**2. Is i(g) a composite number?
True
Let q be -3*10/15 - 673. Let g = 1193 + q. Suppose d + d - g = 0. Is d composite?
True
Suppose k + 870184 = 5*o, -53*o + 2*k = -49*o - 696146. Is o a prime number?
False
Suppose 4*k + 1255 = 2*h + 5, 5*h - 3*k - 3139 = 0. Is h composite?
True
Is 391346 + -5*(15 + -14) a composite number?
True
Let c = 0 + 0. Let p be ((-176)/(-24))/((-25)/(-15) - 1). Suppose c*w + 286 = p*w. Is w prime?
False
Let y be (-2 - 4/2) + (-7 - -10). Is 6/(-4)*((-81565)/33 + y) composite?
False
Let b(i) = i**3 - 3*i - 2. Let s be b(2). Suppose -2*d + 5*l = -6*d + 5876, 3*d + 4*l - 4407 = s. Is d prime?
False
Let g(o) = -3558*o + 2533. Is g(-5) a prime number?
True
Let k(d) = 65*d**3 + 4*d**2 + 2*d - 4. Let n be k(2). Suppose -q + 182 = u, 6*q - 2*u = 3*q + n. Suppose 4*o - 1072 = -q. Is o composite?
False
Suppose 0 = -4*p + 5 + 3, -5*q = 3*p + 94. Is 1759 - (q/(-2))/(-5) a composite number?
True
Let i(l) = 35*l - 95. Let v be i(-2). Let b = v + 1534. Is b a composite number?
True
Let o(y) = 494*y + 1123. Is o(17) a prime number?
True
Suppose 43*j = 35*j + 800. Is ((-20175)/j)/((-3)/44) a prime number?
False
Suppose n + 3 = -k, -3*k + 2*n + 0 = 4. Let c be (-4)/k + (-4)/((-4)/13). Suppose c + 36 = d. Is d a composite number?
True
Suppose 4*x - 28 = 4*v, 4*v + 0*v = 3*x - 22. Let i be x/((15/249)/5). Suppose 4168 + i = 2*d. Is d prime?
True
Let f be -1*339/(-3)*1. Let l = f + 6. Is l a prime number?
False
Suppose 48 - 24 = 8*o. Suppose 3*d = -o*r + 17097, 5*d = -2*r + 2*d + 11398. Is r composite?
True
Let i(b) = b**2 + 4*b + 17. Let l be i(7). Let d(y) = -l*y**2 + 12*y + 3 + 155*y**2 + 300*y**2 - 15*y. Is d(2) composite?
True
Let g(r) = -64*r**3 + r**2 - r - 1. Let s be g(-1). Suppose 0 = 4*u + q + s, u - q = q - 14. Let w(n) = 5*n**2 - 18*n + 9. Is w(u) composite?
True
Suppose 0 = -t - 2*k + 590, -2*t + 4*k = -0*t - 1204. Let f = t - -618. Is f a composite number?
True
Let l = -23601 - -42577. Suppose w + l = -w. Let f = -6273 - w. Is f composite?
True
Let v(q) = 4041*q + 17. Let t(s) = -2026*s - 9. Let g(p) = 6077*p + 27. Let u(z) = -6*g(z) - 17*t(z). Let o(h) = -11*u(h) - 6*v(h). Is o(-2) a composite number?
False
Let x(a) = -24*a - 375. Let l be x(-23). Let c be (304/3)/((-3)/(-9)). Let q = c - l. Is q a prime number?
True
Let o(s) = 3549*s - 38. Is o(23) composite?
True
Let f = 57 - 52. Suppose 2 = f*y + 3*a - 1, 3*a + 24 = 4*y. Suppose 3437 = 5*n - 2*z, -n - y*z - 677 = -2*n. Is n composite?
True
Let l = 120 + -109. Let b(c) = l*c + 21*c**2 + 0*c**2 - 11 - 17*c. Is b(-8) composite?
False
Let i = -124 - -127. Suppose i*j = -2*a + 11350, 4*a + 5*j = 30373 - 7677. Is a a prime number?
True
Let r(l) = -l - 7. Let p be (-1)/4 - (-108)/(-16). Let d be r(p). Suppose 0 = -4*s - 5*y + 867, -5*s + 4*y - 2*y + 1125 = d. Is s composite?
False
Let y = 7674 - 4867. Let g = 1332 + y. Is g a prime number?
True
Suppose 9 = -0*p + 5*p + 4*i, 0 = 3*p + 2*i - 7. Suppose -2*t + p*q + 143 = -145, 3*t - 445 = q. Is t composite?
False
Suppose 0 = g - 11 + 1. Suppose -s + 10 = 2*h, h = 3*s + 2*h - g. Suppose -q = s*q - 111. Is q composite?
False
Let m = 13282 + -4712. Suppose 1782 = -2*s + m. Is s/10 - 8/20 prime?
False
Let z(l) = -l**3 + 11*l**2 - 3*l - 20. Suppose v - 11 + 5 = 5*w, -5*v - 26 = 3*w. Let s be (2 - 2)/(-3 - w) - -5. Is z(s) prime?
False
Let b(y) = -y**2 - 2*y + 17. Let d be b(-5). Is (-4314)/(-9) + d/(-6) a prime number?
True
Let s be 2*(-2430)/40*(-190)/3. Let u(h) = h**3 - 4*h**2 - 3*h - 5. Let f be u(5). Is s/f + -1 - (-3)/(-1) composite?
True
Let g(b) = -23218*b - 10809. Is g(-25) a composite number?
True
Suppose 3*q - 2*j - 142153 = 2*j, 0 = -5*q + 4*j + 236919. Suppose -59*u = -66*u + q. Is u a composite number?
True
Let p be -13*((-22)/18 + 12/54). Suppose -124 = p*d - 20. Is 604/16 - (-6)/d prime?
True
Let f(y) = -3*y**3 - y**2 + 8*y - 7. Let s be (-24)/(-15)*(150/4)/(-5). Let m be f(s). Let z = m - 2842. Is z composite?
True
Let g(d) = -57*d**2 - 24*d - 3. Let p be g(-7). Let l = p - -9091. Is l prime?
False
Suppose 93*u + 66*u - 209468652 - 1327347 = 0. Is u a prime number?
True
Let y = -10 + 17. Is 5 + -11 + 5 + y*972 a composite number?
False
Let n = -3419 - -12318. Is n prime?
False
Suppose -f - 3*h = 40943 - 171618, -4*f - 3*h + 522673 = 0. Suppose f = 4*a + 12734. Is a a prime number?
True
Suppose 5*r + 5*a - 361340 = 0, -297*a = r - 293*a - 72283. Is r composite?
True
Suppose 3*u = 2*c - 135074, -144899 = -4*c + u + 125249. Suppose -34*g + 87061 = -c. Is g a prime number?
True
Suppose -h - 854763 = -5*f, 8 = -248*h + 252*h. Is f a composite number?
False
Let c be 14/6*(-10 - -16). Suppose g = 3*l, l + 3*g = -4*l + c. Is 69 - -2 - 0/l composite?
False
Let i = 661728 + 15349. Is i composite?
False
Let t(s) = 47*s**2 + 386*s + 145. Is t(-88) composite?
True
Let w be (12/9)/(6/2016). Suppose s + 3*j = 307, s + 2*j - 921 = -2*s. Let f = w - s. Is f composite?
True
Let b = 191605 - 111746. Is b a composite number?
True
Let q(z) = 209*z**3 - 3*z**2 + 6*z + 12. Let k be q(-3). Let o = 12589 + k. Is o a composite number?
True
Suppose -4*j + 247 = -2*g + 5*g, -5*g = -2*j + 117. Suppose j*p - 978 = 55*p. Is p a prime number?
True
Let a(r) = 179284*r - 2123. Is a(3) composite?
True
Let m(i) be the first derivative of i**4/2 + i**2 - i - 81. Is m(5) a prime number?
False
Let g be -2 - (-4 - -3) - (7 - 7). Is 1 - g - (8 + (-15340)/4) prime?
False
Suppose 0 = -3*h + g + 305981 + 388791, g = -5. Is h prime?
True
Suppose 4*c = -4*y + 186968, 2*y = 7*c - 8*c + 46746. Suppose 2*t = 4*t - c. Is t a prime number?
True
Let x = -316464 - -1891291. Is x prime?
True
Suppose 64*v = 69*v - 95. Let z = v - -115. Is z composite?
True
Suppose 3130809 = 26*t + 7*t. Is t prime?
True
Suppose -l + 7933 = -1878. Is l composite?
False
Let w = 42046 - 15099. Is w composite?
False
Suppose -13253493 = -136*i - 2766213 + 5487416. Is i composite?
True
Suppose 20*y - 5115715 = 3*y - 38*y. Is y a prime number?
False
Let p(d) = 126*d**2 + 8*d - 1. Let w(t) = -5*t - 35. Let n be w(-6). Let i be p(n). Suppose -2*s + i = -3*r - 1245, 3*s + 3*r = 6501. Is s a composite number?
True
Let l be (-1 - -4)*-4*(-6508)/16. Let a = 2836 + l. Is a composite?
False
Let b(y) = -8*y + 117. Let g be b(14). Suppose -10600 = -4*r + g*t + 9153, 3*t = -2*r + 9871. Is r a prime number?
True
Let f(t) = -6*t**3 - 67*t**2 - 32*t - 68. Is f(-27) composite?
False
Suppose -23*h - 106016 = -11*h - 44*h. Is h a composite number?
False
Let d = -525 - -1041. Let y = 732 - d. Let u = 35 + y. Is u a composite number?
False
Suppose -10*m + g = -238995, 26*m + 3*g = 24*m + 47783. Is m a prime number?
True
Let k(d) be the second derivative of 271*d**3/3 + 119*d**2/2 - 2*d + 55. Is k(11) prime?
False
Suppose 0 = -5*w + 27 - 2. Let g be 6/10 - (-1)/w*12. Suppose -5*o = 5*c - 7