-4*i + u. Is i a composite number?
True
Let f = -621 + 882. Let p(y) = 263*y - 3. Let k be p(1). Let z = k + f. Is z a composite number?
False
Let o(b) = 2545*b**2 + 4*b + 2. Let l(k) = k**2 - 67*k + 364. Let y be l(6). Is o(y) composite?
True
Let w = 4 - 2. Suppose 0 = -s + 5*b + 137 - 43, -4*b = -w*s + 170. Suppose -n + 39 = -s. Is n prime?
False
Let x(r) = -905*r + 125. Let l be x(-19). Let u = l + -7259. Is u prime?
True
Suppose 3*l = 4*a - 58367, 3*a + a - 58366 = 2*l. Is a composite?
False
Let c(x) = -3*x**2 - 2*x + 1. Let j be c(-5). Let k = j - -66. Suppose k*o = -4*z + 3618, 3876 + 634 = 5*z + 5*o. Is z composite?
False
Suppose 0 = -174*l - 9225782 + 23276804. Is l prime?
False
Suppose 0 = 68*b - 5*b - 1323. Suppose 2*h - 2*g - 1074 = 0, g - 529 = -b*h + 20*h. Is h prime?
False
Suppose 12*n = -9 + 57. Is (60404*7/(-70))/(n/(-10)) composite?
False
Let h be (15/6)/(2/7256). Suppose 0 = -19*o + 24*o - h. Suppose -8 - 7 = -3*w, 3*g - o = 5*w. Is g a composite number?
False
Suppose 0 = -0*i - i + 3. Suppose -i*o + 6 = 2*x - 2, -2*o + x = -3. Suppose 0 = 2*h + 3*p - 898, -o*h = p - 3*p - 878. Is h composite?
False
Let x(h) = h + 101. Let l be x(0). Let m = l + -75. Is 169788/52 + 4 + (-4)/m composite?
True
Let k(a) = -20*a**2 + 9*a - 3. Let l(b) = -19*b**2 + 7*b - 5. Let w(d) = -4*k(d) + 3*l(d). Is w(4) prime?
False
Is (120904 - (0 - -6)) + -5 composite?
True
Let o(f) = f**2 + 12*f + 22. Let m be o(-2). Suppose m*v = 4*d + 1122, -8*v - 545 = -9*v - 2*d. Is v prime?
False
Let w(p) = -316*p**3 - 4*p**2 + 6*p - 79. Is w(-10) composite?
False
Let l = 41 + -37. Suppose 5*x - 3 = 5*p - l*p, 0 = 5*p - 4*x - 6. Suppose -2*t = 3*i + p*t - 1115, -2*i - 2*t + 746 = 0. Is i a composite number?
True
Suppose -4*x + 5*x = 642. Suppose x - 89 = h. Is h prime?
False
Suppose 27007 = 4*d - y, 0 = -3*d + 3*y - 6*y + 20244. Let g = d + -4624. Is g a composite number?
True
Suppose 48*r = -3748276 + 5842148 + 7569920. Is r composite?
False
Let x = 247 - 261. Is ((-21662)/(-5))/(x/(-35)) prime?
True
Suppose -397219 = -18*a + 5621315. Is a prime?
True
Is 89234680/1400 - (-6)/(-105) a composite number?
True
Let d be ((-27)/(-18))/(3/6). Let f be ((-243)/(-108))/(d/8). Suppose 0 = p - 3, f*o - 2*o + 3*p - 7117 = 0. Is o a composite number?
False
Let a(r) = 369*r**2 + 33*r - 217. Is a(24) a composite number?
False
Suppose -3*j + 93072 = u - 9098, 6 = -6*u. Is j prime?
True
Suppose -300 = b + 2*a, -5*b + 3*a = a + 1440. Let z = 503 + b. Is 4*z/18*63/6 a prime number?
False
Let j(n) = 8*n + 44. Let a be j(-5). Suppose -5*l + l = -a*q - 21936, -4*q = -l + 5481. Is l a prime number?
False
Suppose -255*f + 271*f = 123664. Is f a composite number?
True
Suppose 72 = -24*a - 48. Is 816 + 5 + (-5 - a) a prime number?
True
Let p(k) = 99*k**2 - 56*k + 259. Is p(25) a composite number?
True
Suppose -43*s + 216619 = -30*s. Is s composite?
True
Suppose 0 = 4*i - 5*d - 127363, 18*i = 19*i - 3*d - 31832. Is i a prime number?
True
Let l(i) be the first derivative of -593*i**3/2 - 2*i**2 - 41*i - 8. Let h(w) be the first derivative of l(w). Is h(-2) a composite number?
True
Suppose 4*d = -20, -272 = -3*n - 7*d + 2*d. Let x(a) = -3 - 2 + n*a - 111*a. Is x(-5) a composite number?
True
Is -1*16/(-48)*5250183 a composite number?
False
Suppose k = -2*j + 16589 + 6932, 5*k + 5*j - 117575 = 0. Is k composite?
False
Let w(y) be the third derivative of 7*y**5/60 + 8*y**4/3 - 40*y**3/3 + 3*y**2 + 11*y. Is w(-31) a prime number?
True
Let v(j) be the second derivative of -4*j**3/3 + 35*j**2 + 39*j. Let o be v(16). Let t = o - -104. Is t a composite number?
True
Let y(p) = 38*p**2 + 21*p + 3. Let a be y(12). Let s = a - 936. Is s a prime number?
False
Is 382942/(-3 - -10) - -3 a composite number?
False
Let f(c) = 3*c + 2308. Let l be f(0). Let d = l + 411. Is d composite?
False
Suppose 3*x + 5*v - 13149 = 0, x + 5*v = -x + 8771. Is (6 - 4)*(-1)/((-4)/x) prime?
False
Let i(n) = -33*n**3 - 15*n**2 + 107*n + 169. Is i(-18) prime?
False
Suppose 2*t + 5279266 = 41*t + 1673599. Is t a composite number?
True
Suppose 0*p = p - 2. Suppose -5*g + 5*s = -65, 4*g - p*s = 60 + 2. Suppose -g*w + 14*w = -136. Is w a prime number?
False
Let h = -1906 - -1905. Suppose 4*b = -3 - 1. Is b + (h/(-1) - -97) prime?
True
Let j = 2702 + -4091. Let o be (-5 + (-25)/(-3))*j/(-2). Let g = o - 1602. Is g prime?
False
Suppose -204*x + 1123883 + 179065 = 0. Is x composite?
True
Let v(a) = 4 - 358*a + 0 + 5 - 4. Is v(-2) a prime number?
False
Let t(o) = o**3 - 14*o**2 + 13*o + 12. Let m be t(23). Suppose 1444 - m = -4*z. Is z composite?
False
Suppose -2*p + 5*m + 65 = 0, 5 = 4*p - m - 80. Suppose j - 8 - p = w, 0 = 3*j - w - 88. Is 6024/j + (1 - (-4)/(-5)) prime?
False
Suppose -5*s + 2*p + 36 = 0, -s - 5*p = -3*s + 6. Suppose s*i - 17 = 23. Suppose -w + 1264 = i*r, -w + 2*r = -0*r - 1257. Is w prime?
True
Let r = 103769 + 152516. Is r a prime number?
False
Let d(v) = -v**3 - 17*v**2 + 4*v - 55. Let p be d(-17). Let r = -40 - -24. Is (-1)/(4/r) - p composite?
False
Let g be -5*(-12)/30 - -7128. Let r = 10095 - g. Is r prime?
False
Suppose 4*b - 519270 = -q, b + 4*q = -0*q + 129810. Let s = b - 55009. Is s composite?
True
Let w = 104648 - 32815. Is w a prime number?
False
Let q(y) = -63*y - 1. Let o(f) = 62*f + 3. Let a(v) = -3*o(v) - 4*q(v). Is a(10) a prime number?
False
Is ((-16700264)/2905)/((-8)/10) a prime number?
False
Let b(h) = 11*h**2 - 28*h - 8. Suppose -z + 5 = -4. Is b(z) a composite number?
False
Suppose j + 24 = 2*y - 0, -2*y + 12 = -4*j. Suppose -y = 7*m + 14. Is (237/m)/((-27)/72) a composite number?
True
Let h be (6 - 1)*(-28386)/285. Let l = 11057 + h. Is l prime?
True
Suppose -29 = -5*p + 31. Suppose 0 = -n - 2*f + 67, -2*n - 3*f + 13 + 126 = 0. Let a = p + n. Is a a composite number?
False
Suppose 3*w + 0*w + 798167 = 32*w. Is w composite?
True
Suppose -p = 2*v - 4*p - 9, -5*v = -4*p - 12. Suppose 4*k + l - 23521 = -1600, -k + 4*l + 5459 = v. Is k prime?
True
Let y(q) = -26*q - 20*q + 47*q - 1. Let b(p) = 132*p**3 + 8*p - 8. Let v(g) = b(g) - 5*y(g). Is v(2) a composite number?
True
Suppose -602*c = -596*c - 44016. Suppose -9*y = -y - c. Is y a composite number?
True
Let g(r) = 36*r + 58. Let n(b) = -b**3 - 19*b**2 + 19*b - 21. Let p be n(-20). Let v(q) = -1. Let x(o) = p*g(o) + 3*v(o). Is x(-20) composite?
False
Let n(g) = -g**2 - 15*g + 59. Let o be n(-18). Suppose -3*t + 33987 = -2*x - 11354, -o*t + 75585 = 5*x. Is t a prime number?
False
Let m(u) = 84*u**2 - 90 + 3*u + 5*u**2 + 0*u + 30. Is m(7) a prime number?
False
Let l(i) = 37*i**2. Let n be l(-1). Suppose 9*b = 2*k + 8*b - 2945, -2*k - 4*b = -2960. Let a = n + k. Is a a composite number?
False
Let n = 80235 + -28976. Is n prime?
False
Let m = -1 + -4. Let s be 5278/m + (-15)/(-25). Let l = s - -2956. Is l prime?
True
Suppose 0 = 18*l - 21*l - 22182. Let u be 7/(-49) + l/(-14). Suppose -u = -4*o + 2164. Is o composite?
False
Suppose 58*o - 851561 = 452717 + 96944. Is o a prime number?
False
Let k(o) = -16*o - 4. Let h be k(15). Let p = 981 + h. Is p a prime number?
False
Suppose -28*j + 53568 = 3140. Is j prime?
True
Let g = -15157 + 48638. Is g a composite number?
True
Suppose 0 = 6*t + 8492 + 10612. Let x = 6435 + t. Is x a composite number?
False
Suppose 2*g = -2*x + 241354, -4*x - 132422 = g - 615154. Is x composite?
True
Let k(b) = b**3 + b + 4727. Let u be k(0). Is 1*(u - (-36)/(-6)) prime?
True
Is 1*-3*((-1126178350)/(-66))/(-25) prime?
True
Let a be (-1 - -1) + 0/(-2). Suppose -345 = -3*k + 4*u - 3*u, a = 4*k - 5*u - 471. Let y = -55 + k. Is y a prime number?
True
Suppose 0 = 9*k - 11771 - 4555. Is k a prime number?
False
Let c be (-4)/14 + 9 + (-40)/56. Is (6/c + 1034/(-24))*-69 a composite number?
True
Is 4 - -3 - ((-160)/(-20))/(4/(-131090)) a composite number?
False
Suppose -235764 = -82*t + 220238. Is t composite?
True
Let l = 9 - 9. Suppose l = d - 153 - 11. Suppose 674 = 2*m - d. Is m composite?
False
Let w(l) = l**3 - 61*l**2 + 26*l + 659. Is w(64) composite?
True
Suppose -6*c = -7*c + 3. Suppose 45 = 5*x + c*h, 2*x + 0*h + 13 = 5*h. Suppose 0 = 2*f + x*f - 248. Is f prime?
True
Let s be (39/26)/(17/14 - 1). Is ((-1)/(-2))/(s/13174) composite?
False
Suppose -12*d + 99156 + 25559 + 34921 = 0. Is d a prime number?
False
Let w(h) = h*