 5*r. Let g be j(4). Suppose 0 = -5*l + l + b, -g*l + 5*b = 0. Suppose -5*o + l*o = m - 450, 2*m - 81 = -o. Is o prime?
False
Let i = 2 + -2. Let l be 8 + (i - (-2 + 2)). Suppose -3*m + l*m = 2155. Is m a composite number?
False
Let u = -9816 - -29623. Is u a composite number?
True
Let c be (3/(-24))/(2/(-16)). Let w be (6/(-15))/(c/(-175)). Let u = w - -223. Is u composite?
False
Suppose -2*x - 2*l = -44, 44 = 2*x - 0*l - l. Suppose -15 = -4*z - p, 3*z + 0*z + 2*p = 15. Suppose -2*w + z*w = x. Is w prime?
False
Suppose 3*z - 5 = 10. Suppose 4*u = -y + 15660, -15334 - 4226 = -z*u - 5*y. Suppose -f - 3*f = -u. Is f a composite number?
True
Let w(i) = i**3 - 8*i**2 + 8*i + 16. Let t(c) = 5*c**3 - 31*c**2 + 33*c + 65. Let g(l) = 2*t(l) - 9*w(l). Let v be g(-11). Let x = -11 - v. Is x prime?
False
Let v = 6 - 124. Let f = v - -209. Let b = 184 - f. Is b prime?
False
Let t(k) = 58*k + 19. Suppose -4*i - 17 = -53. Is t(i) prime?
True
Let y = 551 + -480. Is y a prime number?
True
Suppose -176*a = -175*a - 10057. Is a prime?
False
Let z be (-1)/3*(-5 - 4) + -42. Let j = z - -58. Is j prime?
True
Let b = -42 - -62. Is (-2 + 1/(-2))*(-5608)/b a prime number?
True
Let g(o) = -57*o - 3. Let u be g(7). Let p = u - -47. Let y = -56 - p. Is y a prime number?
False
Let f(c) = 5*c - 4. Let s be f(3). Suppose 13*d - 2222 = s*d. Is d a composite number?
True
Suppose 2*u - 19155 = -3*m - 2*u, -3*m - 2*u + 19155 = 0. Is m a composite number?
True
Suppose 0*q = q + 2*p - 3, -4*q + 3*p = -12. Suppose q*f + 993 = 2*f. Let b = f - -2036. Is b composite?
True
Let x = 5074 - 3477. Is x prime?
True
Let j = 1342 + -431. Is j a prime number?
True
Let x(m) = -m**3 + 5*m**2 + 5*m - 14. Let o(u) = u**3 + u**2 + u + 6. Let q be o(-3). Is x(q) a composite number?
True
Is (-11)/((-88)/127440) + 7 a prime number?
True
Suppose 450 = -4*i + 2*o - 4*o, -2*o = -10. Let y be -2*(i/2 - -1). Let k = 74 + y. Is k composite?
True
Suppose 0 = 20*z - 47*z + 317979. Is z a composite number?
False
Let x(s) be the first derivative of s**5/60 - 7*s**4/24 + 25*s**3/6 - 4*s**2 - 11. Let y(p) be the second derivative of x(p). Is y(13) prime?
True
Suppose 35 + 69 = 8*y. Suppose -4609 = -y*c + 2*c. Is c composite?
False
Let x = 10 - 13. Suppose 105 = 3*b - z, -5*b + 0*z + z = -173. Is x - (-4)/8*b a composite number?
True
Suppose 2*k - 7*k = 5*w - 175, -183 = -5*k - w. Let a = k + 44. Suppose -a - 337 = -b + c, 3*b + 4*c = 1261. Is b a composite number?
False
Let i = 2540 - 1444. Let b = 2367 - i. Is b prime?
False
Suppose 3*t = t - 8. Is (12/(-15))/t*1985 composite?
False
Let g be (-52)/(-8) + 5/(-10). Let x(b) = -13*b**3 + 23*b**2 + b + 3. Let a(l) = 7*l**3 - 12*l**2 - l - 1. Let m(k) = g*x(k) + 11*a(k). Is m(4) a prime number?
True
Suppose 5*l - 2*l + 6 = 0, -3*o + 6763 = -5*l. Is o composite?
False
Suppose 20 = 2*o - 4*p, -5*p = 2*o + 3*o - 5. Let z = o - 2. Suppose -z*b + 6*b - 296 = 0. Is b prime?
False
Let y = 6338 + -4487. Is y a composite number?
True
Let y(d) = 3*d**2 - 15*d - 28. Let k be y(-9). Suppose -t - 83 + k = 2*g, 4*g = -4*t + 1068. Is t composite?
True
Let o(n) = -5*n + 5. Let s(c) = -14*c + 14. Let r(j) = -17*o(j) + 6*s(j). Let y be r(11). Suppose 5*g - 1028 = -2*k, g + 4*g = -y. Is k prime?
False
Suppose 2*y = 5*g + 1699 - 469, 0 = -2*y. Let z = g - -577. Is z composite?
False
Let o(g) = g**3 + 3*g**2 - 3*g - 3. Let j be o(-3). Is ((-2)/7)/(j/(-11802)) a composite number?
True
Let n(o) be the third derivative of o**6/120 - 17*o**5/60 + 5*o**4/8 + 9*o**3 + 34*o**2 - 2. Is n(16) composite?
True
Let o(h) = 112*h + 6. Let q be o(-12). Is (-1 - -4)/3 - q a composite number?
True
Let x be 144/45 + (-1)/5. Let u be 3*(-31)/(-3) - x. Let f = u - 21. Is f a composite number?
False
Suppose -25*c + 372087 = 2*c. Is c composite?
False
Suppose -12082 = -9*b + 15791. Suppose -6*r + 221 + b = 0. Is r composite?
True
Suppose 0 = -w + 5*w + 84. Let m = w - -8. Is (-1649)/m - 8/(-52) a composite number?
False
Suppose 4*a + 337 = 5*a. Is a a prime number?
True
Let f(s) be the first derivative of 25*s**3 + s**2 + s - 1. Let o be (-15)/9 - 8/(-12). Is f(o) prime?
False
Let j be (-72)/(-21) - 12/28. Suppose 3*w - j*b - 615 = 0, 0*b = -b. Is w composite?
True
Let i(x) = -x**3 - 9*x**2 + 2. Let t be i(-9). Suppose 0 = 4*j + t*y - 818, -7*j + 2*j + 4*y = -1003. Let f = 8 + j. Is f composite?
False
Suppose -90 = -4*x + 186. Let u = -247 + 215. Let h = x + u. Is h a prime number?
True
Let d(k) = -k**2 + 38*k - 16. Let j be d(18). Let z be j/(-120) + 4/(-30). Is z + (-1 - -37) - 2 a prime number?
True
Let o = 506 + -343. Is o prime?
True
Is (18969/(-9))/((-10)/30) composite?
False
Let d = -5 + 10. Let t = -193 - -198. Suppose g - t*l = d*g - 595, -5*l - 275 = -2*g. Is g composite?
True
Suppose 49129 = 3*m + 5*w, 0*w = 3*m + w - 49109. Is 10/50 + m/10 a prime number?
True
Let y(d) = -88*d + 45. Is y(-4) composite?
False
Let x(o) be the second derivative of 25*o**3/2 + 7*o**2/2 + o. Let g be (-1 + 3)/(2/4). Is x(g) a composite number?
False
Suppose 0 = 4*a + 23 + 13. Let d(p) be the third derivative of -p**6/120 + p**4/6 - 4*p**3/3 - 14*p**2. Is d(a) composite?
True
Let r be 3 + ((-8)/1)/4. Is (r + -1)*4/(-8) + 82 a composite number?
True
Let g(m) = m + 6. Let x be g(-3). Suppose -4*z = -x*u - 725, -4*z + 0*u = -5*u - 731. Is z a prime number?
True
Let u = 2092 + -4662. Is ((-2)/4)/(5/u) a composite number?
False
Let p(x) = -54*x**3 - x**2 - 12*x - 18. Is p(-7) prime?
True
Let h be 9 - 8 - 1*-3. Let v(s) = 103*s - 8. Let x(b) = 207*b - 15. Let f(a) = h*x(a) - 7*v(a). Is f(3) composite?
False
Let w(d) = -d**3 + 15*d**2. Suppose -3*f + 5*u = -0*u - 70, -5*f + 70 = u. Let n be w(f). Suppose 0 = -z - 1 - n, -2*z = -2*a + 1272. Is a prime?
False
Let r(p) = -4*p**3 + p**2 + 4*p + 53. Is r(-6) a prime number?
True
Let i = 328 - 464. Let q(z) = -22*z - 1. Let o be q(-2). Let y = o - i. Is y a composite number?
False
Let q(l) be the first derivative of 212*l**2 - 21*l - 25. Is q(5) composite?
False
Let g(k) = -3*k + 41. Let v be g(13). Is (10/v + 484)*1 composite?
True
Suppose 5*i + 2*i = 5628. Suppose -5*y = -2999 + i. Is y composite?
False
Let d(u) = 80*u**2 - 25*u + 22. Is d(-15) a prime number?
True
Let w be (24/(-16))/((-3)/(-18)). Let p(n) = -n**3 + 5*n**2 + 10*n + 13. Is p(w) prime?
False
Let w(m) = m**2 - 4*m. Let x(v) = -6*v**2 + 21*v. Let a(i) = -11*w(i) - 2*x(i). Let j be a(-2). Is (j + 94/(-4))*-2 prime?
True
Let o = 17 - 13. Suppose -3*z + o = -5*y, -4*z + 14 + 0 = 2*y. Suppose -x - z*x + 484 = 0. Is x composite?
True
Let w = 5 + -2. Let r be -3*-2*w/9. Suppose 4*x = r*x + 254. Is x prime?
True
Suppose 5*m = -0*m. Suppose i + m*i = 3. Suppose -37 = -4*s + i*s. Is s a composite number?
False
Suppose 3*m + o = -m + 34031, -3*m - o = -25522. Is m a composite number?
True
Let l be (-3 - 3844/(-12))*(-9)/(-4). Let k = l + 193. Is k composite?
False
Is 29205/54 - (-4 + (-69)/(-18)) a prime number?
True
Let o be (-3909)/(-15) + (-3)/((-30)/4). Let i = o - 152. Is i prime?
True
Let s be (-13)/2 + (-1)/2. Is s/(-7) + 9*44 prime?
True
Let r(h) = 927*h**2 + 2*h + 3. Let j be r(-1). Let m = j + -159. Is m composite?
False
Let z(a) = a**3 + 14*a**2 + 11*a - 13. Suppose 1 = -o - 1. Let l be 5*o - 3/1. Is z(l) a composite number?
False
Let u(k) = -2363*k - 299. Is u(-18) composite?
True
Let f = -41 - -43. Suppose 4*g = 3*x - 8*x + 790, 5*x - 790 = f*g. Is x prime?
False
Is ((-35)/(-10) + -2)*7870/15 composite?
False
Let j = 35 - -1. Suppose 4962 = -j*l + 38*l. Is l composite?
True
Let d(z) = -53*z**3 - 13*z**2 - 13*z - 100. Is d(-7) a composite number?
True
Let a be (3 - 28/8)*-40. Let c = -17 + a. Suppose 3*k = -4*z + 83 + 10, -c*k + 93 = z. Is k a composite number?
False
Suppose -15 = -4*q - 4*g + 1, q + 4*g - 10 = 0. Let t(i) = 97*i - 7. Is t(q) prime?
False
Let n = 0 - 0. Let v = 2 - n. Suppose -5*r + 432 = -0*z + v*z, -8 = -2*r. Is z prime?
False
Let n be (-7 - (-5 + -1))*(-7)/1. Suppose 5*g + 2*m - 7365 = 0, -11*m = -5*g - n*m + 7335. Is g a prime number?
True
Let t(q) = -201*q**3 + 12*q**2 - 8*q - 56. Is t(-5) prime?
True
Suppose 0 = 5*k - s - 95770 - 219718, 63091 = k + 2*s. Is k prime?
True
Let m(l) = -2*l**3 - l**2 - l. Let x be m(-1). Suppose -x*d + 218 = w + 3*d, 4*w - 2*d - 784 = 0. Is 1/(-2) - w/(-4