. Let r = -504 + z. Is r a prime number?
False
Let o(u) = -71*u - 44. Is o(-5) composite?
False
Suppose 0 = 4*t - 5*t + 4*s + 303, 4*t - 1231 = -3*s. Is t a prime number?
True
Let p(l) = 2 - l + 4 + 5*l**2 - 4*l**2 - 2*l**2. Let n be p(0). Suppose 0 = a + 2*x - 161, 2*a - n*x = -x + 313. Is a a composite number?
True
Let r = -1618 + 645. Let y = r - -1530. Is y prime?
True
Let a(f) = 71*f**2 + f + 1. Let j be a(-2). Let l = j - 198. Is l a prime number?
False
Suppose 55*x = -31*x + 1770998. Is x composite?
False
Let a(j) = 209*j + 67. Let v be a(-12). Let n = -1734 - v. Is n prime?
False
Let u(k) = 7*k**2 + 5*k + 2. Let f be u(-5). Suppose -5*i = -2*i - 81. Let z = f + i. Is z a prime number?
True
Suppose -q + 4924 = 327. Is q composite?
False
Let i(n) = 4*n - 5*n - 7*n - 12*n - 23 + 6*n**2. Is i(17) a prime number?
False
Suppose -2*s - 2*a = -1248, -5*s + 4*a = -a - 3170. Is s composite?
True
Let p(m) be the third derivative of 19*m**5/120 + 11*m**4/12 + m**3 + 15*m**2. Let t(h) be the first derivative of p(h). Is t(15) prime?
True
Suppose 5*v - 3*r = -r + 3009, -3*v + 3*r = -1800. Let c = -338 - -491. Suppose -3*b = -3*u + 99 - v, c = b + 2*u. Is b a composite number?
False
Is ((-19)/(-2))/((-53)/(-46958)) a prime number?
False
Let q = -90 + 87. Is (-9333)/q + 3/((-9)/6) prime?
True
Let u(z) = 585*z + 175. Is u(18) a prime number?
False
Let s = -25 + 34. Let g be 14/7*s/6. Suppose 0 = -2*y + g*y - 3*p - 40, 4*y = 5*p + 195. Is y a composite number?
True
Let x(r) = 74*r**3 - 3*r**2 - 2*r - 2. Let k(l) = -148*l**3 + 5*l**2 + 3*l + 3. Let u be 70/22 - (-2)/(-11). Let w(h) = u*k(h) + 5*x(h). Is w(-1) composite?
True
Suppose 25 = 5*b - 0. Suppose -b*w - 276 = 294. Let m = -68 - w. Is m prime?
False
Let u = 39274 + 1845. Is u prime?
False
Suppose 5*b + 3353 = 3*h, -5*b = -39*h + 38*h + 1131. Is h a composite number?
True
Let n = 767 + -1544. Let v = 866 - n. Is v a prime number?
False
Suppose -2*n + 985 = c, c + n = 489 + 498. Let i = 2020 - c. Is i composite?
False
Let v be -6*13 + (-3 - -4). Let a = 830 + v. Is (-4)/((-24)/a)*2 a composite number?
False
Suppose y = -i - 1, i = 3*y - 6 - 7. Let r be i/5*25/(-10). Suppose -314 = -4*a - 3*k, 4*a - 160 = r*a - 3*k. Is a a prime number?
False
Let n = 184 + -190. Let m(f) be the second derivative of f**4/2 + 5*f**3/3 + 3*f**2/2 - 2*f. Is m(n) prime?
False
Let v = 35822 + 39007. Is v a prime number?
False
Is 1508 - 5*1/3*-3 prime?
False
Let i = -24 - -28. Suppose -1 - i = -b. Suppose -b*d + 19 + 616 = 0. Is d composite?
False
Let d = -485 - -84. Let z(x) = -208*x - 4. Let u be z(-5). Let r = d + u. Is r prime?
False
Suppose 1211 + 3650 = v + 5*o, 5*o = 0. Suppose -3 = 7*q - v. Is q composite?
True
Is 79469/8 - -1 - (-186)/496 a prime number?
False
Let q(f) = f**3 - f**2 + f + 17. Let l be q(0). Let j = 16 - l. Let t(y) = -50*y**3 - 2*y**2 - 2*y - 1. Is t(j) a composite number?
True
Let f(r) be the first derivative of 5*r**2 + 10*r - 2. Let x be f(7). Suppose x = l - 189. Is l a composite number?
False
Let n(q) = 541*q**2 - 2*q - 2. Suppose -5*j - 6 = k, 2*k = -2*j - 3*j - 7. Is n(k) prime?
True
Let f(b) = 25*b**2 - 8*b + 11. Is f(4) a composite number?
False
Is (9/2 + -4)*2386 a composite number?
False
Let i(r) = 3*r + 2. Let j be i(1). Suppose -3*b - j*y + 1447 = 295, 0 = -5*b - 2*y + 1901. Is b a composite number?
False
Suppose 3*v - 34 = 5*v + 2*r, 0 = 3*v + 5*r + 47. Let b(j) = -2*j**3 - 24*j**2 - 7*j + 20. Is b(v) a prime number?
False
Suppose -40562 = -4*c + 39962. Is c a prime number?
False
Suppose 4*s = -136 + 444. Suppose 5 = -z - s. Let a = 156 + z. Is a prime?
False
Suppose -r + 23 + 59 = 0. Suppose 57 - 36 = -3*c. Is r*c*3/(-6) prime?
False
Let y(g) = -4*g**3 - 3*g**2 - 7*g + 3. Let x be y(-8). Let c = -1350 + x. Is c a prime number?
False
Suppose 3*x = 3, -4*y + 6143 = y + 3*x. Suppose -6*s + 3692 = 3*t - s, 3*s = -t + y. Is t prime?
False
Let k = 12442 - 4701. Is k a composite number?
False
Suppose -3*y + 5639 = -2*u - 34014, y - 13216 = -u. Is y prime?
True
Let k(n) = 4862*n**2 + 28*n - 99. Is k(5) prime?
True
Let w = -459 - -1077. Suppose -10 = -2*c, -5*c = -4*i + 9 + w. Is i composite?
False
Suppose -12994 = -2*g - 3*w, -4*g = -0*g + 3*w - 26000. Is g prime?
False
Suppose -5*h = -1659 - 2101. Let i = 57 + h. Is i composite?
False
Suppose 5*f + 5*g = 26145, -3*f + 764 = -3*g - 14935. Is f prime?
True
Let v = 3 - -13. Suppose -v*l - 290 = -18*l. Is l composite?
True
Suppose -8 = 2*z - 3*z. Let i(k) = -6*k - 36. Let w be i(-7). Is (-4)/z + 447/w a prime number?
False
Let q be (-151767)/(-5) - 9/(-15). Is q/18 + 8/12 a prime number?
False
Let x be 3/(0 - -1) + -1. Suppose p - 5*l = 2473, 0 = x*p - 4*p + 2*l + 4946. Is p a composite number?
False
Suppose 0 = -4*i + 3*p - 4*p - 183, 3*i - 4*p = -161. Let n = 294 + -364. Let x = i - n. Is x a prime number?
True
Is ((-12071)/(-4))/((-31)/(-124)) prime?
True
Suppose 2*i = 4*v - 12 - 14, -v + 11 = i. Suppose 7*g - v*g + 1019 = 0. Is g a composite number?
False
Let t(y) = 244*y**2 - 3*y + 3. Let d be t(2). Let s = d - 516. Is s a prime number?
True
Let x(g) = 38*g**2 - 5*g - 4. Let h be x(4). Suppose h - 2081 = -3*p. Is p composite?
False
Suppose 3*d - 2580 = 8*d. Let j be 2018/(-6) - 4/6. Let a = j - d. Is a composite?
False
Let p(d) be the first derivative of -894*d**2 - 35*d + 22. Is p(-14) a composite number?
True
Let c(h) = -11*h**2 - 18*h + 7. Let u(a) = -23*a**2 - 35*a + 15. Let n(v) = 5*c(v) - 3*u(v). Is n(7) prime?
False
Suppose -1 = -4*d + 3. Let l be (6 + d/(-1))*50. Suppose -3*f + 5*f - 4*s - l = 0, -s + 270 = 2*f. Is f prime?
False
Let v(u) = u**3 + 2*u**2 - 1. Let q be v(-1). Suppose -1 = 5*i + 4, q = 4*y - 4*i - 6056. Is y a prime number?
False
Let h(l) = -l**2 + 9*l - 5. Let b be h(8). Let x be (-10)/2 + 3 + b. Suppose 3*k = -n + 352, 0 = -2*k - x + 11. Is n composite?
False
Let v(q) = -311*q**3 + 2*q**2 + q. Let n be v(-1). Suppose 4*y + n = y. Is y/(-2) - (-3)/(-3) a composite number?
True
Suppose -4*t + 39*t - 244265 = 0. Is t a composite number?
True
Is (-4)/22 + (-10265244)/(-484) prime?
False
Let i = -509 + 1011. Suppose -i = -2*g - 2*d, -d - 251 = -g + 2*d. Is g a prime number?
True
Suppose l + 25470 = 4*z + 6804, 3*l = -2*z + 9326. Is z a composite number?
True
Is (-7)/(-2)*(-16656)/(-168) composite?
False
Let y(d) = 7*d**2 + 4*d - 3. Let x be y(2). Suppose 0 = 4*s - 8 + 12. Is (13/s)/((-3)/x) a prime number?
False
Let s = -11 + 15. Suppose 0 = -7*p + s*p + 777. Is p a prime number?
False
Let k(u) = u**2 + u. Let q(f) = 3*f**2 - f + 9. Let d(i) = k(i) + q(i). Let s be (-4)/3*(-27)/6 - -2. Is d(s) a prime number?
False
Let s(h) = h**2 + h + 1. Let m(y) = -15*y**3 + 2*y**2 + 4*y + 3. Let a(i) = m(i) - 5*s(i). Is a(-3) composite?
False
Let k = -132 - -72. Let q = k - -121. Let h = q - 28. Is h a prime number?
False
Suppose -5*p + 0*p - 2*y = 563, -4*y - 16 = 0. Let s = p + 226. Is s composite?
True
Let r = 3 + -3. Let o(f) = -f + 191 + 51 + r*f + 131. Is o(0) a composite number?
False
Let n(m) = -m**3 + 15*m**2 - 17*m + 50. Is n(-17) prime?
True
Let a(z) = 134*z - 185. Is a(27) prime?
True
Let p(s) = s - 3. Let t be p(6). Suppose 0 = -m - t + 8. Is (2 - m) + -2 + 118 composite?
False
Let f(a) = -a**3 + 3*a**2 + 7*a - 10. Let n be f(5). Let h(i) = -i**3 - 23*i**2 - i - 26. Is h(n) a composite number?
False
Let r be ((-15)/12)/((-4)/16). Suppose 5*i + 0*b = -5*b + 20, -5*b + r = 0. Suppose 3*g - i = 0, 3*s + 2*g + 158 = 949. Is s composite?
False
Suppose -6*c - 89 = 31. Let n be (-8)/c + 103/5. Suppose 0 = -n*s + 22*s - 623. Is s a prime number?
False
Let x be (3/3 - -3) + -4. Suppose 2*i + 6 = x, -6*y + 5*y + 3*i = -127. Is y a prime number?
False
Suppose 0 = -5*m + 2*s - 5, 3*m - 4*s + 23 = 6*m. Suppose 0 = -y + m - 0. Is 5/(15/234) + y composite?
False
Let j(l) = 17*l**3 - 8*l**2 + 18*l - 34. Is j(7) prime?
True
Is 1/(3/(-144906))*(-14)/28 composite?
False
Suppose -4*i + 13965 = 5*k, 4*i = k - 2113 - 656. Is k a prime number?
True
Let g be -2 - (-7)/((-21)/1446). Let x = g + 903. Is x composite?
False
Suppose 13 = 3*y + 1. Let z(f) be the third derivative of f**6/12 + f**5/60 - f**4/8 - f**3/2 - 6*f**2. Is z(y) composite?
False
Let h be 3/(-5) + (-1784)/(-40). Suppose -2*m = -16 - h. Let q = m + 29. Is q composite?
Fals