se i + 4*x + 1018 = 0, 2*i - 5005 = 7*i + 3*x. Let o = i + u. Is o prime?
True
Suppose x - 2 = -10, -4*s - 6*x + 17260 = 0. Is s composite?
False
Is 14 + -5 + -16 + (0 - -214158) composite?
True
Let i be (6/(-18))/((-3)/129474). Suppose -5*k = -3*j - i, -k + 0*j - 2*j + 2885 = 0. Is k a prime number?
True
Let x(a) = -538*a**3 - 4*a**2 - 316*a - 2819. Is x(-9) prime?
True
Suppose 0 = s + 134 - 49. Let b = 83 + s. Is (-337*(-3)/6)/((-1)/b) composite?
False
Let c(i) = 24*i + 25. Let x = -319 - -360. Is c(x) prime?
True
Let s = 14204 + -14202. Suppose 0*o = 4*o - 2*p - 22, -4*o = -5*p - 31. Suppose 4*u + 0*i = s*i + 2722, -o*u + 3*i = -2725. Is u prime?
False
Let c be 10/((-80)/104) + -3. Is ((-78)/6 - c)*65/3 prime?
False
Let k = 3348 - -20010. Suppose k = 10*u - 385912. Is u prime?
True
Suppose -90 = -5*j + 80. Suppose 4*y + 5*v - 26 = 18, -3*y + j = 4*v. Is ((-942)/(-15))/(y/15) prime?
True
Let x be 7 + (-7 - -10) + 2/(-6)*0. Let b(z) = 800*z + 6. Let n be b(6). Is ((-1)/(-3)*x)/(36/n) a composite number?
True
Suppose -4*b = 3*c - 8*b - 20, -2*b - 10 = 3*c. Suppose 3*m - 31740 = 3*y, m - 10583 = -c*y + 2*y. Is m a prime number?
False
Suppose -2*j + 165458 = 4*s, 0 = -4*j - 21 + 1. Is s prime?
False
Suppose 135877 - 2584392 = -246*i + 1409011. Is i a prime number?
False
Let m = 69615 + 55246. Is m a composite number?
True
Let r be ((-96)/30)/(6/15). Is (30948/16)/((-6)/r) a composite number?
False
Let a(l) = 28*l + 22. Let h be a(-13). Is 2/(-19) - 303390/h composite?
False
Let d(w) = 60*w**3 - 8*w**2 - 37*w + 197. Is d(4) a composite number?
False
Let p(c) = 40883*c**2 - 63*c + 371. Is p(5) prime?
False
Let h(m) = -m**3 - 5*m**2 + 6*m + 18. Let k be h(-5). Let i be 3/7 - -33942*k/(-126). Suppose 26 = -3*a + i. Is a a composite number?
False
Is ((-1)/4)/(-1) - (-1387657685)/2204 prime?
True
Suppose 2*p - 29336 = 5*u - 0*u, -u = 2*p + 5860. Let f = u - -10247. Suppose -2*r + 2 = 0, -5*h - 5*r = -f - 3929. Is h a composite number?
True
Suppose -16*v = -7*v - 9918. Let s = -754 + v. Let f = s + 95. Is f a prime number?
True
Suppose 0 = -2*z + 4*z - 2*y - 22, 2*z - 3*y = 26. Suppose -z*d + 34 = 216. Let n = 45 + d. Is n a composite number?
False
Let w be 2/(-2) - (-27)/9. Suppose 173 = w*b - 585. Is b composite?
False
Suppose -i = -5*y - 2, 2*i - 2*y + 30 = 3*i. Let w = i - 22. Suppose w = 4*s - 1162 - 1986. Is s a composite number?
False
Let m = -978 + 987. Suppose -3545 = -v + 3868. Suppose 16*i = m*i + v. Is i prime?
False
Let i(q) = -237*q - 12. Let b be (-4)/(-6)*21/14*-3. Is i(b) prime?
False
Let n(r) = -3*r + 18. Let l be n(5). Let j = 27 - 22. Suppose 2*s - 5*c = 2535, -l*c - 5035 = s - j*s. Is s a prime number?
False
Suppose -13*o - 13*o = -312. Is ((-64868)/6)/((-8)/o) a prime number?
True
Is 0/(-3) + -6 - (-42770 + (-1 - 2)) a composite number?
False
Let i(k) = -k**2 - 6*k - 2. Let p be i(-6). Is (220/(-80))/(p/1688) - 0 a prime number?
False
Let z = -436 - 13. Suppose 7 - 16 = 8*l + l. Is l*(z + 1) - (1 + -4) prime?
False
Suppose 0 = 2*o + 5*u - 9528, -4*o + 3*u + 9217 = -9813. Let g = o + 4912. Is g a prime number?
False
Let n = 84 + -81. Suppose 20 = 5*h, -n*h = 4*c - 2*h - 1920. Is c composite?
False
Suppose -3*r = 4*d - 1941627, -3*r + 1090126 + 851465 = -2*d. Is r prime?
True
Let p(t) = t**2 + 5*t. Let a be p(-5). Let u(v) = -7 - 3*v - 3*v**2 + a*v + 15*v**3 + 131*v**3. Is u(4) a composite number?
False
Let q be 165/35 + -5 - 158/(-14). Is (-2)/(7 + -1)*(-16010 + q) prime?
True
Suppose 0 = 4*b - c - 994, 25*b = 21*b + 4*c + 988. Let j = b - 196. Is j a prime number?
True
Suppose 16 = -4*a + 8*a. Let o(t) = 106*t**2 - 3*t + 27. Is o(a) composite?
True
Suppose -4*f = 133 - 5. Let a = -40 - f. Let t = 38 - a. Is t a prime number?
False
Suppose -748*f = -713*f - 4351795. Is f a composite number?
False
Suppose 5*p + 244996 = 2*c, 245014 = 2*c + 15*p - 17*p. Is c prime?
False
Suppose 0 = 2*k + 5*t - 1, t - 2*t = -5*k - 38. Is 389*(5 + k + 3) composite?
False
Let c be (2/10)/(8/80). Suppose 2*i = -3*b - c*b + 2327, 0 = -5*i + b + 5750. Is i composite?
False
Let q(z) = 30*z**3 + 3*z**2 + 3*z - 1. Let m be q(3). Let f(l) = -73*l**3 - 4*l**2 - 24*l - 22. Let o be f(-2). Let u = m - o. Is u composite?
False
Let p = -56 + 54. Let z be (-9)/p - (-3)/(-6). Suppose -z*r - 8*j + 5*j + 5995 = 0, 0 = -3*r - j + 4500. Is r a composite number?
True
Let o = 68 + -72. Let g = -8 - o. Is 2/(-4) + (-214)/g a prime number?
True
Suppose -2*d - 3*l = -3*d + 4, -6 = 2*d + l. Let k be ((-7)/((-35)/10))/(d/(-11)). Let b(u) = 3*u**2 - 16*u + 4. Is b(k) composite?
False
Let u be (-552)/(-460)*(-5)/(-2). Let t be (-4)/10 + 71854/10. Suppose 2*r - 2878 = 4*h - 4, t = 5*r - u*h. Is r composite?
True
Suppose 0 = 5*b + 3*f - 18 + 45, 34 = -5*b + 4*f. Suppose -3*u = -u - 12. Is (-1503)/b - (-3)/u prime?
True
Suppose -83 + 53 = 6*m. Suppose n = -3*n + 4. Is (n + 0)*m/(35/(-3493)) a composite number?
False
Let q(b) = -b**3 + 34*b**2 - 37*b - 94. Let z be q(32). Suppose 0 = -2*x - 5*y + 1537, 3*y + z = x + 4*y. Is x composite?
True
Let d = 52 - 58. Let n be 2/6 - 70/d - 1. Suppose 12*f = n*f + 1, -4*a - 4*f = -2652. Is a prime?
False
Is (-10)/((-60)/68322) - 2*2 a composite number?
False
Suppose -10*l + 133057 - 10367 = 0. Suppose 6*p + l = n + p, 4*p - 36883 = -3*n. Is n a prime number?
True
Suppose 17*k = 2*k + 1032496 + 2564969. Is k a composite number?
False
Let q be (-3 - 1083) + (6 - 4). Let g = q + 1835. Is g composite?
False
Let x = 41 - 56. Let d be 10555*(54/x)/(-6). Is 0 - (-1)/(3/d) a prime number?
True
Suppose -3*h = -y - 42474 - 523, 4*y + 3*h + 172063 = 0. Is (y/32)/((-15)/(-20))*-6 prime?
True
Let k = -65 - -68. Is 0/4 + 3351/k a prime number?
True
Is (-2)/(8/(-62108))*(-14)/(-98)*14 a composite number?
True
Suppose 4*k = 3*a + 28226, 0 = -363*k + 361*k - 5*a + 14152. Is k a prime number?
False
Let a = 4385 - 32. Let b be 24/(-84) - 3/(21/(-44)). Suppose -2*l = -5*p - b*l + 5439, -5*l = 4*p - a. Is p composite?
False
Let z(o) be the second derivative of -7*o**3/6 - 8*o**2 + o. Let y be z(-3). Is (-5)/(y/2) + 125 a composite number?
True
Is 3 - -1 - 134446/(3*30/(-225)) composite?
True
Let h(r) = -4*r**3 + 44*r**2 + 3*r - 26. Let a be h(11). Suppose a*q + 15*q = 177518. Is q composite?
False
Let c = -238 + 258. Suppose -c*n = -21*n + 2863. Is n a prime number?
False
Let y be (1206/24 - 1/(-4))*132. Suppose -2*n - 41 = -4*c - c, -2*c = -4*n - 26. Suppose -c*v = -v - y. Is v prime?
False
Let x(q) = 19 + 6 + 15 - 17*q - 22. Let r be (-2)/(-5) + (-348)/20. Is x(r) a composite number?
False
Suppose 0 = -34*l + 13*l - 19*l + 3147240. Is l a composite number?
True
Suppose 39*d + 1001761 - 286567 = 57*d. Is d a composite number?
False
Suppose -y + 20 = 4*b, 2*b = -2*b - 3*y + 28. Suppose -r - 2*r = -b*h + 26, -r = 3*h. Is (-206)/r - 4/(-6) a prime number?
False
Let l be (26/6)/(5/(-15)). Let p be (-5210)/(-65) + 2/l. Is p + -1 + 8 + -4 a composite number?
False
Let z be ((-16286)/6 - -4) + (-2)/(-6). Let i = 5045 + z. Is i prime?
False
Let j(i) = -i**2 - 12*i - 11. Let w be j(-13). Let u = 36 - w. Is ((-2)/(-6))/(4/(u*47)) a composite number?
True
Suppose -4*b - 13*z + 8825041 = 0, 2*b + 14*z - 13*z = 4412559. Is b a composite number?
False
Is 4563537/(-22)*(-3 - (-21)/9) prime?
True
Suppose -17*n + 19*n + 5*h - 1528 = 0, 759 = n + 5*h. Is n a composite number?
False
Let t = 32872 + -16689. Is t a composite number?
False
Let w be 16/(-28)*(-21)/3. Suppose -10*b + 37794 = -w*b. Is b a composite number?
False
Let p(s) be the second derivative of 0 + 34/5*s**5 - 7*s - 1/4*s**4 - 7/2*s**2 + 1/6*s**3. Is p(3) composite?
True
Let t(c) = c**3 + 3*c**2 + 65*c + 86321. Is t(0) a prime number?
False
Suppose 90779 = -7*s + 32035. Suppose 0 = -2*z + 2*u - 4, 4*z - 2*z + 4*u + 4 = 0. Is s/24*6/z prime?
True
Let n(r) = 3042*r**2 + 248*r - 2469. Is n(10) a prime number?
True
Let y = -1970 + 5826. Suppose 3484 = 4*s - y. Is s a prime number?
False
Let z be (-4)/10 + (-285)/(-25). Suppose 0 = -6*w - z - 25. Let g(b) = b**2 - 6*b + 7. Is g(w) composite?
False
Let y(j) = -j**2 + 8*j + 20. Let c be y(10). Suppose 0 = 5*t - 0*f - 3*f - 6379, 2*t + 4*f - 2562 = c. Is t prime?
True
Let w = 1285 + 936. Let h(k) = k**2 + 2186. Let p be h(0). Suppose w = 3*a + 2*n, -3*a = -6*n + n - p. 