633 = -2*y. Is u a prime number?
True
Is -2 + (-2238770)/(-14) + 126/147 composite?
False
Let l = -145028 + 203661. Is l a composite number?
True
Let c(j) = 2*j**2 - 5*j + 4. Let s be c(2). Suppose 4*w = m - 2061, -m = -s*m + 5*w + 2063. Is m prime?
True
Suppose 7*i - 31*i + 5871134 = 1450070. Is i a prime number?
True
Let u = -42 + 24. Let s = u + 18. Suppose -5053 = -2*p - 2*p - 3*v, s = -5*p + 2*v + 6299. Is p a prime number?
False
Let g = -8210 - -21747. Suppose 2*m - 7*m = -3*i - g, 4*i + 8131 = 3*m. Is m a prime number?
False
Is (-2672)/80*-5*467 a composite number?
True
Suppose -4*u + 3*d + 139646 = 0, 4*d - 174557 = -5*u + 8*d. Is u a prime number?
True
Let w(q) = q**2 - 14*q - 28. Let c be w(16). Let f be -1*(2/c)/(2/(-10708)). Suppose -6*s + f = -533. Is s prime?
False
Let j(u) be the first derivative of -3*u**2 - 14*u - 15. Let s be j(-3). Suppose -747 = -s*p + 1201. Is p prime?
True
Is (-1 + 4/3)/((-126)/1134) + 114560 prime?
False
Let s(i) = 56*i**2 + 8*i + 11. Let y be s(-5). Suppose -g = -2*j - 1367, -2*j = -11*g + 12*g - y. Is g a prime number?
False
Suppose -2*w - 3*r = -353356 - 285051, 2*w - 638421 = -5*r. Is w a composite number?
True
Suppose -5 - 11 = -8*k. Let b(i) = -12*i + 17*i + 11*i**2 - 3*i**k - 12 - 2. Is b(5) composite?
False
Let m(c) = c**2 - 4*c + 7. Let h be m(-7). Suppose -264 = -11*u + 1573. Let i = u - h. Is i a composite number?
False
Let k(r) = 358*r**2 - 2*r + 993. Is k(-35) prime?
True
Let h = 139 - 131. Suppose -h*l = -11*l + 27. Suppose -3*g + 4408 = f, -3*g + l = -6*g. Is f a composite number?
True
Let x be 12946 + -2 + (-2)/(-2). Let a = -1970 - -1972. Suppose 3*i + 3*m = x - 3180, -a*m - 6494 = -2*i. Is i a composite number?
False
Suppose -208*t + 213*t + 4*f = 727093, 0 = -f + 2. Is t composite?
False
Let r = 167 - -864. Let y(d) = -659*d - 14. Let u be y(-2). Let s = r + u. Is s composite?
True
Let a(j) = -j + 1. Let p(u) = -59*u**2 + 15*u + 3. Let x(q) = -5*a(q) - p(q). Is x(-7) prime?
True
Suppose -3*o = -8*o - 20, 0 = -2*h - 4*o + 144018. Is h composite?
True
Let v(f) = 13*f**3 - 23*f**2 + 18*f - 47. Let k(n) = 28*n**3 - 45*n**2 + 36*n - 94. Let a(c) = -3*k(c) + 7*v(c). Is a(15) prime?
False
Suppose -5*t = -0*t - 3*t. Is (4/1 + t)*49863/132 composite?
False
Let r be ((-141540)/(-24))/(-5)*(-72)/14. Let m = 18623 + r. Is m composite?
True
Suppose 4*b + 2*u - 23034 = 0, -3*b + 27746 = -5*u + 10451. Suppose -p + 3*m = -1136, 17*p - m + b = 22*p. Is p composite?
False
Let s(f) = 752*f**3 + 18*f**2 - 45*f - 8. Is s(3) a composite number?
False
Suppose 61814 + 174550 = 6*a + 51006. Is a composite?
False
Let f(h) = -6*h + 45. Let y be f(7). Suppose -y*o + 0 = -12. Suppose 6554 = 4*r - 2*p, -r + o*p + 1294 + 341 = 0. Is r a composite number?
True
Let g = 2451611 - 1536042. Is g composite?
True
Let a be (416/(-12))/(-8) - 3/9. Suppose -a*x + y = -36377, 65*x - 63*x + 2*y - 18186 = 0. Is x a prime number?
False
Suppose 2*c = 3*a + 218836, 0 = -8*c - 2*a - 2*a + 875344. Is c composite?
True
Let w(l) = 45*l**2 + l + 39. Let t = -538 - -525. Is w(t) a composite number?
True
Let j(x) = 7*x - 95. Let p be j(15). Let u(f) = -216*f - 74. Let h(i) = 324*i + 111. Let d(n) = -5*h(n) - 8*u(n). Is d(p) a composite number?
False
Suppose c + 2*p = 31, -8*p = c - 4*p - 31. Let w(t) = 8*t**2 - 60*t - 15. Is w(c) a prime number?
True
Suppose 5*u - 2*u + v - 29 = 0, -5*u - 2*v = -49. Let k(d) = d**3 + 8*d**2 - 14*d + 4. Is k(u) a composite number?
True
Let o = 20052 + 34906. Is o a prime number?
False
Let p(y) = -y**2 - 17*y - 2. Let t be p(-16). Let d be (16/t)/(14/49). Suppose 0 = -d*z + 3099 - 703. Is z prime?
True
Let b(x) = -680*x - 22. Let g be b(7). Let u = 349 - g. Is u a composite number?
True
Let b(g) be the second derivative of 20*g - 12*g**2 - 2/3*g**3 + 0 + 15/4*g**4. Is b(7) a prime number?
True
Let r(t) be the third derivative of -t**5/30 + 19*t**4/24 - 3*t**3/2 + 23*t**2. Let z be r(8). Suppose 17*h - 6614 = z*h. Is h prime?
True
Suppose 18*x - 2 = 16*x. Is 1*(x + 0)*1883 a composite number?
True
Let y(o) = -o**3 - 29*o**2 + 28*o - 3. Let l be y(-30). Suppose -52*u + l*u - 4195 = 0. Is u a prime number?
True
Let l(c) = -3 + c**2 + 2*c**2 + 7 - 8*c - 5*c**2. Let h be l(-5). Let s(k) = -2*k**3 - 8*k**2 - 7*k - 3. Is s(h) prime?
False
Let c = -7781 + 13523. Suppose -17*o = -14*o - c. Suppose -4*r = -o - 962. Is r prime?
True
Let b = -158 - -164. Let o(w) = 1325*w + 59. Is o(b) a composite number?
False
Suppose -4*o - 2*w - 30 = -0*w, o = 3*w + 3. Is (-30)/9*(0 - (-1413)/o) composite?
True
Let o(m) = 1375*m**3 + 8*m**2 - 81*m + 17. Is o(6) a prime number?
True
Suppose -18099 = -14*h + 11*h. Suppose -h = -0*q - 3*q. Let o = q - 1324. Is o a prime number?
False
Suppose -5*a + 23 = i, 0*i + 5*i + 2*a = 0. Let c be i + (2 - 9)*-1. Suppose c*k - 3*b - 2060 = 0, 5*k - 2*b + b = 2050. Is k a prime number?
True
Let z(n) = -4695*n - 9. Let l be z(-2). Suppose i + l = 2*c, 11*c - 15*c = 2*i - 18766. Is c a prime number?
True
Suppose -30874 = -5*n - 3164. Let l be (-1 + 3)*59/118. Suppose -2*x = 3*y - n, -5*y - 21 = -l. Is x a composite number?
False
Let n = -375552 - -574375. Is n a composite number?
False
Suppose -3*d + 32 = 5*f, 0*d = -2*d + 8. Suppose f*y - 17268 = 13500. Is (2/(-6))/((-4)/y) a composite number?
False
Let v(y) = 7*y**2 - 24*y - 19. Let o(w) = 4*w**2 - 16*w - 13. Let b(u) = 8*o(u) - 5*v(u). Let h be b(-2). Is (h*(-1)/(-3))/(36/(-14796)) composite?
True
Suppose -30*h + 18*h = 0. Suppose 5*i - 124 = -d - h*i, 680 = 5*d + 5*i. Is d a composite number?
False
Suppose 22*j = -2*j + 1152624. Suppose 2*n + j = 24*n. Is n a prime number?
False
Let g(d) = -d - 4. Suppose 0 = 4*l - 8*l. Let p be g(l). Let s(w) = -55*w - 6. Is s(p) prime?
False
Suppose 2*t + 2*t = -3*a + 64, -5*t + 115 = -5*a. Let g = t + -14. Suppose -g*p = -4119 - 2086. Is p composite?
True
Suppose 2*n - 3*y - 8406 = -0*y, 16 = -4*y. Suppose f + 2 = 0, g - n = -4*g - 4*f. Let p = g - 554. Is p prime?
False
Let b = 23 + -19. Suppose b*t - 22402 = 5*q - 6095, 4*t - 4*q = 16304. Is t composite?
False
Suppose 5*o + 15 = -5*d, 0 = -5*d + o + 3. Suppose d = 31*g - 10*g - 84189. Is g composite?
True
Suppose 2*w - 4 = -5*s, -1 - 3 = 3*s - 2*w. Suppose -13*l + 7700 + 1283 = s. Is l a composite number?
False
Suppose -38727 = -57*f + 1745772. Is f a prime number?
True
Let g(f) = 13*f**3 + 21*f**2 - 39*f + 118. Is g(16) a prime number?
False
Suppose 5*x + 5 = -0. Is (1547/4 + x)/(24/96) composite?
False
Let f(z) = 2565*z + 76. Let h(d) = -856*d - 25. Let g(k) = 6*f(k) + 19*h(k). Is g(-5) composite?
True
Let p be 14303 - (55/10 + -5)*0. Let a = -7284 + p. Is a a composite number?
False
Let v(g) = g**3 - 47*g**2 + 409*g + 310. Is v(79) prime?
True
Suppose -3 = j - 32. Let s = -20 + j. Suppose s*p - 1580 = 886. Is p a prime number?
False
Suppose -4*n = -3*u - 2*u + 1932069, 3*n + 1545656 = 4*u. Is u prime?
False
Let x(o) = -o**3 - o**2 + 11*o - 2. Let c be (24/(-9))/(20/6 + -3). Is x(c) prime?
False
Let t be ((-1373)/(-2))/((-5)/(-10)). Let a(j) = 420*j**2 + 10*j - 2. Let l be a(-4). Suppose -t + l = 4*i - m, -i - 3*m + 1336 = 0. Is i a composite number?
False
Is 1183553/(-2)*258/(-301) a prime number?
False
Suppose -27*i + 341334 = -14*i - 248203. Is i prime?
False
Suppose 0 = 4*j - 36, -451*j + 447*j + 65477 = a. Is a prime?
False
Is (-76767 + 0)/((-300)/1700) a composite number?
True
Let p(l) = 25*l + 1. Let h(y) = 76*y + 4. Let w(q) = -2*h(q) + 7*p(q). Let v be w(-1). Let g = v - -35. Is g a prime number?
True
Is -2 + (-2 - -5) + (29383 - (-3 - -6)) composite?
True
Let z(m) = 25461*m - 180. Let o be z(3). Suppose 10*k - o = k. Is k a prime number?
True
Let d(s) = s + 1. Let u(f) = 13*f + 26. Let j(y) = -5*d(y) + u(y). Let p be j(-5). Let m = p + 53. Is m composite?
True
Let c = 443 - 277. Let a = c + -21. Is a a composite number?
True
Let w(a) = 8722*a**2 - 11*a - 25. Let t be w(-4). Let n = -77418 + t. Suppose -3*s - n = -16*s. Is s a prime number?
False
Suppose 939*v - 958*v = -22212539. Is v composite?
False
Suppose 161*u = -76*u + 176308329. Is u a composite number?
False
Let p = -17 - -28. Suppose 0 = 3*n + p - 8. Is 376 - ((-6)/(-2) - 5 - n) prime?
False
Let h = -10760 + 16214. Suppose -4*k + 7*k + h = 0. Let y = k + 3103. Is y composite?
True
L