s v prime?
False
Let a(b) = 71109*b**3 + 2*b**2 + 3*b - 4. Let v be a(1). Suppose 0*r - v = -26*r. Is r composite?
True
Let j(q) = 20*q**2 - 540*q + 1007. Is j(-108) composite?
True
Let l(y) be the first derivative of -85*y**2/2 + 23*y + 39. Is l(-8) a prime number?
False
Let f(o) be the second derivative of 83*o**5/20 - o**4/12 - 2*o**3/3 - 5*o**2/2 + 15*o. Let w(m) = -m. Let y(j) = -f(j) + w(j). Is y(-2) composite?
True
Let j(s) = s**2 - 13*s + 32. Let z be j(11). Suppose -14*i + 10624 = -z*i. Suppose 3*q = -a + 2372 - 367, -4*q + i = -3*a. Is q prime?
False
Let g(r) = -17*r - 86. Let w(f) = -52*f - 256. Let a(v) = 17*g(v) - 6*w(v). Is a(13) composite?
False
Let l = 72661 - 11790. Is l a prime number?
False
Suppose -y - 56 = 4*d, 2*y - 70 = 5*d - 2*y. Let i(a) = -2*a + 17. Let n be i(d). Is ((-5835)/n)/((-2)/6) composite?
False
Let c(p) = -77*p**3 + 7*p**2 + 6*p + 4. Let o be c(-5). Let l = 14851 - o. Is l a prime number?
True
Suppose 0 = 2*x - 4*i - 1456498, 4*i + 2913020 = 1187*x - 1183*x. Is x a composite number?
False
Let n = 43 + -14. Suppose 4*b - 5*f - 348 = 0, -2*b = -4*f + n - 203. Is b a prime number?
False
Let u be 349 + ((-5)/5)/(-1). Suppose -5*l + u = -0*l. Suppose 5*r - l - 55 = -2*t, 3*r - 5*t - 44 = 0. Is r a composite number?
False
Is (-32)/(-96) - 1154480/(-3) a prime number?
True
Suppose a - 2*t - 94 = 5*a, 4*a + 4*t = -88. Let b be (-5)/25*3*a. Let s(m) = 3*m**2 - 4*m + 16. Is s(b) composite?
False
Suppose -5 = 3*u + 2*z, 2*z - z - 5 = 0. Let m(k) = 18*k**2 - 10*k - 13. Is m(u) composite?
False
Let x be (-828)/(-81) + 2/(-9). Suppose -3*o = -8*o + x. Suppose -1657 = -3*y - 2*d, 5*d - o = y - 543. Is y a prime number?
False
Let v = -157 - -156. Let o(n) = -30*n**3 - n**2 - n. Let b(z) = -z. Let r(q) = b(q) + o(q). Is r(v) a composite number?
False
Suppose 0 = -25*o + 43*o - 1934262. Is o a prime number?
False
Suppose -27*j = -j - 1664. Is (982/(-3))/(j/(-96)) prime?
True
Let u = 121719 + 295339. Is u composite?
True
Let o = -47936 + 155547. Is o prime?
False
Let f = 956195 - 569866. Is f composite?
False
Suppose -4*y + 5*j = 21, -4*j + 12 = -8. Is (2 - -13851) + (y - (1 - 0)) prime?
False
Suppose 0 = -5*p - 5*t + 15, 3*p - 10*t = -9*t - 7. Is (27/(-18) + p)/((-2)/692) a composite number?
True
Let i(q) = -q + 10. Let l be i(4). Suppose -l*p - 10*p = -48. Suppose -4721 = -p*n - 2*j, n - 3139 = -n - 3*j. Is n composite?
True
Let t(y) = -210*y**3 - y**2 - 3*y - 1. Let k be (4 - (-4 + 9))*(-1 + 4). Is t(k) a prime number?
True
Let f be (0 + -1)*70/(-7). Suppose -4*x = -f*x + 468. Let h = x + 79. Is h a composite number?
False
Let l(k) = -k**3 - 20*k**2 + 23*k + 38. Let z be l(-21). Is 1 - (-5 - -5) - 132*z a prime number?
False
Let b = -8607 + 18934. Suppose 10326 = 2*z + 5*g - 9*g, 0 = 2*z - 5*g - b. Is z a composite number?
True
Let k(y) = 3*y**2 + y + 16907. Let j(q) = 5*q**2 + 16906. Let r(x) = -2*j(x) + 3*k(x). Is r(0) prime?
False
Suppose 50*z + 809100 - 11827074 = -16*z. Is z prime?
False
Let m = -17 + 12. Let d be ((-838)/m)/((-1)/(-50)). Let q = 13287 - d. Is q composite?
True
Let g(t) = 12*t - 81. Let n be g(7). Let s be 2 + 6475/1 + -1. Suppose -5*r + 8099 = n*z, -z - s = -4*r - 5*z. Is r a composite number?
False
Suppose -3*m = -0*m + 9, 0 = -4*u + m + 31. Let n(a) = 204*a - 67. Is n(u) prime?
True
Suppose 2*q = -4*s + 320, 3*q = s - q - 98. Suppose -3*k + 3*r + 6789 = 0, -2*k = -r - 4449 - s. Let p = k - 1513. Is p a prime number?
False
Let d(t) = 8*t**2 - t - 3. Let f be d(1). Suppose -2*j - 2*v - 9560 = -f*j, -3*v + 4792 = j. Is j composite?
False
Let r(f) = -488*f + 20 + 22 + 28 - 27. Is r(-6) a prime number?
True
Let k(t) = t**3 - 33*t**2 - 41*t + 247. Let l be k(34). Let q(y) be the first derivative of 75*y**2/2 + 42*y - 1. Is q(l) composite?
True
Let u be 4/(-18) - 380/(-171). Suppose 44631 - 1081 = 2*t + u*x, 65345 = 3*t - 2*x. Is t prime?
False
Let x(v) = v**2 - 12*v + 3. Let j be x(12). Suppose j*s + 4 = 4*s. Suppose 2*c - s*c + 538 = 0. Is c prime?
True
Let p(z) = 12*z**3 - 9*z**2 + 6*z + 14. Suppose 13*t - 19 = 46. Is p(t) a composite number?
False
Suppose -16 = -4*z + 5*i + 6, 0 = 3*z + 4*i - 1. Suppose -5 = 4*n + t - z, -3*n - 3*t - 6 = 0. Suppose 0 = l + 5*o - 55, n*l + 3*o - 82 = -2*l. Is l composite?
True
Suppose -8*q + 43773627 = 103*q. Is q a composite number?
False
Let i be (-70)/30 + 3/9. Let j(t) = 48*t**3 + 3*t**2 - 6. Let b(r) = -48*r**3 - 3*r**2 - r + 5. Let w(k) = 4*b(k) + 3*j(k). Is w(i) composite?
True
Let j be (-2)/3*(-21345)/10. Suppose -4*c + 3935 = j. Suppose -5*k + 5*x + 785 = 3*x, 4*k + x - c = 0. Is k a prime number?
True
Let k(q) = -1630*q**3 - 2*q**2 + 149*q + 589. Is k(-4) a prime number?
True
Suppose 11*c = -3*c - 301938. Let x = -3448 - c. Is x a composite number?
False
Suppose 72*w = 35*w + 902467. Is w prime?
True
Let y = 344193 - 234770. Is y a composite number?
False
Let y = 116391 + -57238. Is y prime?
False
Let h = 3 - 4. Let t be (-4)/18 + (-188)/(-36) + -11. Is t/3 + h - -7*106 prime?
True
Let c(a) = -318*a**3 - 2*a**2 - 1. Let k be c(-2). Let h = k - -171. Suppose 5*y - 5*g - 6160 = 0, -5*y + g + 3442 = -h. Is y a composite number?
False
Suppose 0*q = -q + 3*z + 22, 40 = 2*q - 2*z. Suppose 74 = -q*h + 20*h. Is h a composite number?
True
Let g be ((-26)/(-3))/(3/(-177 + -3)). Let a = g - -891. Suppose -32*n + 25*n + a = 0. Is n prime?
True
Suppose 18*z + 16*z = -29*z + 9225783. Is z prime?
False
Suppose 2*l + 3*j = 97930, -2026 = -2*l + 5*j + 95936. Is l a composite number?
True
Let b = -238941 - -346504. Is b prime?
True
Let m(j) = 15536*j + 2. Let s(g) = 7769*g + 1. Let k(v) = -3*m(v) + 7*s(v). Is k(2) prime?
True
Suppose -84*m + 10*m + 1207606 = 0. Is m a prime number?
True
Let h be -5 - 6*(-4)/6. Let y(a) = 92*a**2 - 3*a - 8. Let z(p) = 46*p**2 - p - 4. Let i(j) = 3*y(j) - 5*z(j). Is i(h) composite?
True
Let y(d) = -556*d + 55. Let p be 6/4 + (9 - (-156)/(-8)). Is y(p) a composite number?
False
Suppose 17*n + 4*n - 16849931 + 1025360 = 0. Is n a composite number?
True
Let u(i) = -i**2 + 6*i - 10. Let c be u(11). Let w be c*(-7 + 6)/(1/(-14)). Is 6*2/(-4) - w a composite number?
False
Suppose 20*m - 150318 = 6*m. Suppose -41*o = -50*o + m. Is o prime?
True
Let n(d) = -4890*d**3 - 4*d**2 - 7*d - 4. Let b(u) = 21*u + 251. Let v be b(-12). Is n(v) composite?
False
Let a = 48844 - 28557. Is a a prime number?
True
Suppose -5*j + 4*o = -21, 5*o = -2*j - 0*o + 15. Suppose 2*b + 12783 = 4*w - 399, 4*w = j*b + 13167. Suppose 132*x + w = 134*x. Is x a composite number?
True
Let c = 8228 + -4007. Let i = c + -2404. Is i prime?
False
Suppose 4198 = -14*u - 716. Is ((-1)/(18/u))/((-2)/(-4)) a prime number?
False
Let o(l) = 6*l + 51. Let r be o(-11). Is 48/120 + (-10059)/r + 2 composite?
False
Let n be 7/35 + (-2)/(10/23331). Let o = 3286 + n. Let a = 2717 + o. Is a composite?
True
Let n be 3/(5 + (-4)/1). Suppose 0 = -b - n*b + z + 9634, 2413 = b + 2*z. Is b*1 - (-17 - -19) prime?
False
Suppose 22*q - 134643 = 19*q + 3*u, -5*q = -4*u - 224405. Is q composite?
True
Let k = 123893 - 56982. Suppose 30*g - 17*g - k = 0. Is g a composite number?
False
Let r(k) = k**3 - 21*k**2 + 13*k - 18. Let h be r(21). Suppose -4*c - h = -17299. Suppose -909 + c = 8*w. Is w composite?
False
Let s(n) be the third derivative of n**6/24 - 11*n**5/30 + 11*n**4/12 - 4*n**3/3 - n**2. Suppose -35*p + 205 = -6 - 104. Is s(p) a composite number?
False
Let y(p) = p - 1. Let m be y(3). Let g(z) = -2*z**2 + z - 2. Let a be g(m). Is 12/a*(-2776)/12 a prime number?
True
Let l = 29 + -41. Let a be (-1 - 4/l)/(2/(-18)). Suppose 9*q - a*q = 618. Is q a prime number?
False
Suppose -4*p - 5466311 = 1020*k - 1025*k, -k = 5*p - 1093210. Is k composite?
True
Let a(p) = p**2 - 28*p - 104. Let y be a(32). Is 407 - (-16)/y*3 prime?
True
Let g(p) = 5578*p - 701. Is g(3) prime?
True
Suppose -s - 2*s = -s. Let v = -2 + 7. Suppose -295 = -v*y - s*y. Is y prime?
True
Suppose -1 = -7*s - 645. Let t = 1243 + s. Is t prime?
True
Let c = -110 + 112. Suppose 2*k = 3*w + c*w + 20, -4*w = 2*k - 20. Suppose k*z = 34067 + 263. Is z a composite number?
False
Let k(u) = 302*u - 37. Let i be k(14). Let v = -43 + 46. Suppose -v*b + i = -0*b. Is b composite?
True
Suppose 700364 = 4*f + u, 35*f + 3*u - 175113 = 34*f. Is f prime?
False
