 22*h + 2 = 0. Let o be d(h). Suppose -4*x + 2113 + o = 0. Is x composite?
True
Let d = 174555 - -236882. Is d a prime number?
False
Let c be ((-8)/12)/(4 - (-52)/(-12)). Suppose 0 = c*r + 2, -3*o + 2*r + 1010 = -5955. Is o a composite number?
True
Suppose 0 = -7*b + 8*b. Suppose -3*r - 4*g - 4 = b, -5*g = 3*r - 1 + 6. Suppose r*n = -3*n + 4083. Is n a prime number?
True
Suppose 8511 = -12*c - 44601. Let g = c - -8267. Is g a prime number?
False
Suppose 4*g = 0, -2*p - 21*g + 964690 = -22*g. Is p prime?
False
Suppose 4*u + 5*q = 54, -3*u - 5*q = -25 - 13. Suppose -30687 = -u*y - 6031. Is y prime?
False
Let l = 725736 - 359399. Is l a prime number?
False
Let b be -1*(0 - -3) - -10. Let l(z) = -21*z**3 + 12*z**2 - z - 2. Let t be l(-5). Suppose -b*i + 229 = -t. Is i prime?
False
Let n(a) = -429*a + 118. Let h(y) = 432*y - 117. Let s(p) = -6*h(p) - 5*n(p). Is s(-13) a prime number?
True
Let f = 1209 - -3142. Is f a prime number?
False
Suppose -33478 + 2028896 = 4*y - 125098. Is y prime?
True
Suppose 316505 = 7*s - 297794. Is s prime?
False
Suppose -5*h + 5*v + 20 = 0, -4*h = 3*v + 3 - 5. Suppose -18359 = h*m - 5123. Is m/8*4/(-3) a composite number?
False
Suppose -8*t + 14139 = t. Let o be (-96)/(70/(-156) - 1/(-3)). Let k = t - o. Is k composite?
False
Let d = 12990 - -20569. Is d a composite number?
True
Let v = 44 + -46. Let u be (12/15*(-10)/2)/v. Is (0 - 1)*(-1262)/u prime?
True
Suppose -7*r + 2*r = -10. Suppose -3*w + 120 = 4*c - 0*c, r*c = 0. Suppose 66 = q - w. Is q a prime number?
False
Let r be 3/(5 + -2)*1. Let t be (-4*(-12)/(-30))/(r/(-5)). Is ((-2)/(-2 + 0))/(t/6392) a composite number?
True
Suppose 19 + 3 = 11*k. Suppose k*r + 4319 = j - 2*r, 17216 = 4*j - r. Is j composite?
True
Let q = -54 + 55. Let y(r) = -3*r**2 + q + 1 - 2*r**3 + 8*r**3 + 4 + r. Is y(4) composite?
True
Suppose 0 = -897*m + 922*m + 50. Suppose 2*d + 10 = n, 4*d = 3*n + 3*d - 10. Is (-127)/(-2)*m/(n + -3) a prime number?
True
Let y(n) = -10*n + 18541. Let z be y(0). Suppose -63891 = -10*c - z. Is c composite?
True
Is ((32/(-28))/8)/((-23)/33379647) a prime number?
False
Let o(h) be the first derivative of 6674*h**3/3 + 3*h**2 - 7*h - 18. Is o(1) prime?
True
Suppose 2*h + h - 30 = -3*t, -2*t + 10 = 0. Suppose -20 = -5*w + 2*q, 5*q + h = -4*w - 12. Suppose 6938 = w*y - 188. Is y a prime number?
False
Let q be (-4)/(-7) - 1243836/(-63). Suppose 2*f + 2743 = t + q, 4*t - 8505 = -f. Is f a composite number?
False
Suppose 0 = 3*n - 1 - 62. Suppose 2*x + 7*i - 12*i + 38 = 0, -3*i = 3*x + 36. Is x/n*2259/(-6) a composite number?
False
Let n(u) = 272*u + 7. Let p = 214 - 208. Is n(p) composite?
True
Let q(n) = 745*n**2 - 74*n - 500. Is q(-7) a composite number?
False
Let m = 3002 - 425. Suppose -9*u - z - m = -12*u, 2*u - 1718 = 4*z. Is u prime?
True
Let b(l) = -21*l**2 - 6*l - 8. Let h be b(-2). Let v = h + 83. Suppose -2396 = -v*p - 0*p + 5*n, n - 3984 = -5*p. Is p a prime number?
True
Suppose 4*k = -4*h - 0*h + 220, h + 4*k = 70. Let z = 53 - h. Suppose 2*n = 2*w + 898, -z*w + 2209 = 5*n + w. Is n prime?
False
Let m = 24 - 30. Let l(d) = -d**3 - 5*d**2 + 8*d + 3. Let q be l(m). Is ((-994)/(-3))/((-6)/q) prime?
False
Let w be (7341/9)/((-1)/(-3)). Suppose 3*x - 4300 = w. Is x composite?
True
Let d(n) = 28776*n - 10205. Is d(7) composite?
False
Let h(l) = -l**3 - l**2 + 3*l - 2. Suppose 5*s = -2*u + s + 6, 0 = -u - s + 2. Let g be h(u). Is ((-22178)/(-130))/(g/(-5)) prime?
True
Let w(z) = 21*z + 83. Let c be w(-3). Is 14190/c - 3/6 a prime number?
True
Suppose 4*w + 4*w = 16. Let i(p) = 7*p**2 - 4*p + 4. Let j be i(w). Is (-292)/(-6) + 8/j composite?
True
Let x(u) = 5*u**3 + 10*u**2 + 7*u + 114. Is x(16) a composite number?
True
Let a = 406569 - 269632. Is a a composite number?
True
Let a(m) = 5490*m - 17. Let f(x) = 5488*x - 19. Let v(j) = -2*a(j) + 3*f(j). Is v(1) composite?
True
Let m = -187 + 133. Is (m/(-6))/(-3) - -1696 a composite number?
False
Suppose 19*x = 18*x - 3*w + 44830, -3*w - 89651 = -2*x. Is x a prime number?
False
Let y be (108/(-90))/(2/(-130)). Let j be y/(32/(-10) - -3). Is (0 + 5)*1 - j composite?
True
Let g be 315/65 + (-8)/(-260)*5. Suppose 0 = 4*t + g*c - 5659, -3*t = 3*c - 1717 - 2528. Let p = 3109 - t. Is p composite?
False
Suppose 52278 = 23*y - 21*y - 2*t, -2*y - 4*t = -52290. Is y prime?
True
Suppose 0 = 666*y - 677*y + 3597715. Is y composite?
True
Let w(l) = 28*l**2 + 121*l - 2462. Is w(51) a prime number?
True
Let i(m) = -m**3 - 8*m**2 - 6*m + 5. Let r be i(-7). Let h = 1050 + -2102. Is -2 - h/2 - (-1 + r) composite?
True
Let m(w) = -w - 7. Let q be m(-12). Suppose 151032 = 9*t + q*t. Is (-2)/((0 - -4)*(-6)/t) composite?
True
Suppose 5*a - 641061 = -2*z, -2*a + 177408 = 4*z - 79042. Is a composite?
True
Let c(v) = 345*v**2 + 3*v - 3. Let h be c(4). Suppose 5*r = 4*x - h, -2*r = -x + r + 1377. Suppose -x - 4369 = -5*s. Is s a prime number?
True
Suppose 3*c + 2*c - 2*a + 5 = 0, -2*c - 3*a = -17. Is (c - 0)/((-33)/(-11253)) prime?
False
Let w(j) = j**3 + 89*j**2 + 53*j - 124. Is w(-70) a prime number?
False
Let l be ((-2436)/(-10))/((-33)/(-110)). Suppose -6*a = -a - 2*d + 9, -3 = -a + 2*d. Is (l/10)/(2/80) - a prime?
True
Suppose 4*c - 2*s - 8572 = 0, 5*c + 5*s + 6422 = 8*c. Is (c/80)/((-2)/(-5)) prime?
True
Let j = -113384 + 197927. Is j a prime number?
False
Let n(y) = -y - 8. Let j be n(-6). Is ((-3)/j)/(12/(-9760)*-4) composite?
True
Let y = 38618 + 1839. Is y a prime number?
False
Suppose -10 = 5*i, 3*k - 3*i = 8 + 7. Let a(b) = 113*b**2 - 5*b + 7. Is a(k) a prime number?
True
Suppose -57*m + 14*m + 86 = 0. Suppose 0 = -10*s - m*s + 5820. Is s a composite number?
True
Let d = -166734 + 516821. Is d a prime number?
True
Suppose 2*j - 2*h = 438060 - 116988, -5*h = -25. Is j a composite number?
False
Let c(q) = -q**3 + q**2 + q. Let n be c(0). Let h(p) = 1 + 19*p**2 + 10*p + 0 - 2 + n. Is h(-2) a composite number?
True
Suppose 0 = -5*f - 4*u + 1590, 13*u = -3*f + 11*u + 952. Suppose -4711 = -321*k + f*k. Is k a prime number?
True
Let n(f) = 27*f - 180*f - 16 - 169*f - 149. Is n(-8) prime?
True
Let t = -244631 + 414858. Is t prime?
True
Let n(t) = 517*t**3 - t**2 + 24*t + 43. Is n(7) prime?
True
Let b = 136381 + 15586. Is b a prime number?
True
Suppose 2*y = y + 6. Suppose 12 = -6*r - y. Is 3009/6 + ((-5)/2 - r) composite?
True
Suppose -4*t = 5*h - 14783 - 11757, -2*t + 13270 = 5*h. Let s = t + 8106. Is s prime?
True
Let p = -514460 - -735207. Is p prime?
True
Suppose -8*p + 40628 + 56512 = 4*p. Is p a composite number?
True
Let j be (-1*(-5)/10)/(2/848). Let w = -137 + 74. Let b = w + j. Is b prime?
True
Suppose 0 = -3*u - 0*v - v + 24, -3*u + 2*v + 24 = 0. Suppose 0 = -a + 3*k - u*k + 17758, -5*a + 88895 = 4*k. Is a prime?
True
Suppose -7 + 4 = -4*l + 3*s, -2*l = 4*s + 4. Suppose 3*i + 3*o + 2749 = 12028, -5*i - o + 15465 = l. Is i a composite number?
True
Suppose 0 = d - 4*m - 75317, d - 5*m = 55360 + 19953. Is d prime?
False
Suppose 0*v + 8084098 = 9*v + 13*v. Is v prime?
False
Let t = 57 + -70. Let c be -4 + (-3 - t - 3). Suppose -4*b + m = -5136, 0*m = -c*b - 5*m + 3829. Is b a composite number?
False
Let g be 2972256/(-280)*((-8)/2 - 1). Is (-36)/63 + g/28 a composite number?
True
Let g = -62112 + 87635. Is g a composite number?
False
Let s(k) = 3*k**3 - 13*k**2 + 5*k - 4. Let i be s(4). Let q(f) = -19*f + 8191. Is q(i) a prime number?
True
Is -275306*(105/(-186) + 20/310) prime?
True
Let i be -7 + 8/(24/651). Let a = 421 - i. Is a a prime number?
True
Is (3/(-6))/(22/(-2276956)) a composite number?
False
Suppose 314149336 = -178*m + 867*m - 2084199721. Is m a prime number?
True
Suppose 70 = 5*g - 2*y, g - 42 = -g - 2*y. Suppose 171779 = g*i - 38253. Is i a composite number?
False
Is 20/(-30) + 3390/(-36)*3782/(-5) a composite number?
True
Let v be ((-502)/(-4))/(-1)*-16. Let b = -4849 + 4855. Is 1/(22/33*b/v) a composite number?
True
Let g(n) = -2*n**3 + 4*n**2 - 2. Let m be g(-2). Suppose -19*w = -m*w + 20251. Is w a prime number?
False
Let y = 354898 - -113555. Is y a composite number?
True
Let c(p) be the third derivative of 7*p**5/60 - 3*p**4/8 - 7*p**3/6 - 2*p**2. Let q be -6*(-15)/10*-1. Is c(q) a composite number?
False
Let n(z) be the second derivative of z**5/20 - 5*z**4/6 - 13*z**3/6 - 37*z**2/2 - 20*z. Let a be n(