
True
Let b(v) = 5*v. Let y be b(2). Suppose 0 = y*s - 7*s - 753. Is s a composite number?
False
Let k(w) = -w**2 - 9*w - 12. Let u(b) = 3*b**2 + 19*b + 25. Let y(f) = 5*k(f) + 2*u(f). Let h be y(8). Let r(i) = -49*i - 5. Is r(h) a prime number?
False
Let t be 1088/5 + 8/20. Let k = t + 465. Is k a prime number?
True
Let l = -19 - -25. Suppose l*c = 12258 + 660. Is c a composite number?
False
Suppose 3*f - 10 = -y, 3*y - 8 = -y + 4*f. Suppose 2115 = 3*l - 2*v, 4*v + 16 - y = 0. Is l prime?
False
Suppose 5*k + 6300 = -4660. Let p = -1279 - k. Is p a composite number?
True
Suppose -11*l - 213374 = -25*l. Is l a composite number?
False
Suppose -7*y + 31383 = 2*y. Is y prime?
False
Let q(o) = 148*o - 13. Let r be q(3). Suppose 0 = -0*f + f - r. Is f prime?
True
Is (-31)/((-62)/8) + (-25927)/(-1) a prime number?
True
Suppose 5*s = -5*m - 5, -2*s - 3*m = -2*m + 3. Is s/5 + 5/(-25)*-9687 a composite number?
True
Let u = 2049 + 1236. Suppose -2*r + 3*k + 6596 = 0, 3*k = r + 8*k - u. Is r composite?
True
Let u = 6274 + -867. Suppose 3*b + u = 16168. Is b composite?
True
Is 6 + (75 - -1)*(-2192)/(-64) a prime number?
True
Suppose 4*f = x - 41413, -3*x - 92*f + 94*f + 124249 = 0. Is x prime?
False
Let h(u) = -282*u**3 - 2*u**2 - 9*u - 20. Is h(-2) composite?
True
Suppose -3*v + 5*c - 852 = -7*v, -3*v - 2*c + 639 = 0. Is v a prime number?
False
Let f(q) = 6*q**2 - 12. Let c(j) = -j**2 + j + 1. Let r(o) = 8*c(o) + f(o). Let g be r(5). Let z = g + 25. Is z a prime number?
True
Suppose n + 9 = -23. Let l = n + 34. Suppose l*i - 154 = -r + 2*r, -4*i - 4*r + 308 = 0. Is i composite?
True
Let i = -8806 - -31173. Is i a composite number?
False
Let t be 30/12*(-4)/(-10). Suppose -2*b + t = -19. Let y(q) = -q**2 + 13*q + 1. Is y(b) prime?
True
Suppose -3*w = 3*z + 33, -2*z + 2*w = 9 + 1. Is (-2695)/z - (-21)/168 prime?
True
Suppose -5 = -3*l + 1. Let j(v) = -16*v + l - 54*v - 71*v - 120*v. Is j(-1) composite?
False
Let w(c) = 25*c**2 - 308*c - 66. Is w(49) a composite number?
False
Let b = 16 + -16. Suppose -5*v - 267 = -4*p, b*p + 302 = 4*p + 2*v. Is p - (2*-4)/2 composite?
True
Is -46*6/12*-97 a prime number?
False
Suppose 0 = 25*r - 852429 - 446846. Is r a prime number?
True
Let t = 3657 + 1042. Is t prime?
False
Suppose -19*g = -21*g + 8. Suppose 2*u = -g*i + 1838, 4*u = 4*i + i + 3689. Is u composite?
True
Suppose -476 = h + 1106. Let z = h - -3275. Is z a composite number?
False
Suppose k - 8 = -k. Let d be 12/(k + -1) - -6. Let w(a) = 9*a + 23. Is w(d) prime?
True
Let j be (-1)/(-2) + 0 - 14/(-4). Suppose -j*w = x - 6*x + 5581, 0 = 5*x + 2*w - 5587. Is x a prime number?
True
Let l be 53/2*(-486)/9. Let m = -524 - l. Is m a composite number?
False
Is -8 - ((-1)/9 + 38900610/(-405)) composite?
False
Suppose 4*z = 3*m - 6906, -z = 3*z. Let r = m + -3490. Let q = 1709 + r. Is q a composite number?
False
Let a = -7247 - -10584. Is a a prime number?
False
Suppose -4*v - 342 = -2*i, -10*i - 876 = -15*i + 3*v. Is i composite?
True
Is (9868/16)/((-2)/(-8)) composite?
False
Let m(k) = -4*k + 7*k**2 - k + 4 + 5*k**3 - 7 - 2*k**2. Is m(4) a prime number?
False
Suppose -6*g = -9*g + 1797. Let p = 164 + g. Is p composite?
True
Is (1823112/108)/(2 - (-12)/(-9)) a composite number?
False
Suppose -5*v = v. Is 24/(-16)*(-2 + v)*23 a composite number?
True
Suppose 2*l = -0*l + 1110. Suppose 0*p + 5*p + 5*z = l, -2*p = 5*z - 210. Is p a prime number?
False
Let a(b) = -9*b**2 + 2*b - 8. Let p(n) = -10*n**2 + 4*n - 8. Let c(t) = -3*a(t) + 2*p(t). Is c(-9) prime?
True
Suppose 10*r - 4533 + 14703 = 0. Let l = -520 - r. Is l prime?
False
Let g(q) = -q**3 + q**2 - 2*q + 733. Is g(0) a prime number?
True
Suppose 4047 + 14343 = 6*o. Is o composite?
True
Let u(r) = 10*r**2 - 3*r + 2. Let a be u(2). Suppose -d = -4*h - 6, -4*d - 4*h + 58 = -6. Is (a/(-21))/((-4)/d) composite?
True
Let y be (-24)/(-14)*(-140)/(-8). Let u be (-14655)/y*-2*1. Suppose u = 5*b - 1278. Is b a composite number?
True
Let l(k) = -k**3 + 8*k**2 - 8*k - 3. Let y be l(7). Let i(x) = x**2 + 9*x - 7. Let c be i(y). Suppose 357 = c*r - 132. Is r prime?
True
Let f = 50 + -45. Suppose t + t + f*w - 1233 = 0, -5*w = -4*t + 2481. Is t composite?
False
Let j = -14411 + 5227. Let k = -5979 - j. Is k prime?
False
Let k = 3985 - 1445. Suppose -26*n = -22*n - k. Is n a prime number?
False
Let y be 112/12*(-2 - (-15)/3). Is 46914/y*(-2)/(-3) composite?
False
Let v(y) = -16*y - 1. Let n(c) = 30*c + 3 - 17*c + 19*c - 2. Let i(d) = 4*n(d) + 10*v(d). Is i(-2) a prime number?
False
Suppose -3*r - 2*c + 1113 = 0, -c + 3*c - 1486 = -4*r. Let n = r - 566. Let u = -80 - n. Is u prime?
True
Is 5 - (4 + -15928 + -8) a composite number?
False
Suppose 0 = 3*c - 0*c - 999. Let u = 524 - c. Suppose -4*t = -3*a - 264, 5*t - u = 2*t + 4*a. Is t a composite number?
True
Let s = 18228 - 6827. Is s prime?
False
Let m(t) = 0*t**3 - t**2 + t**2 - 9 - t**3 + t**2 + 5*t. Let w be m(6). Is (3/(-3))/(1/w) composite?
True
Let r(q) = q**2 - 3*q - 3. Let y be -3 + 2 + -2 + -3. Is r(y) composite?
True
Suppose 3*f - w - 21 = 0, f - 34 = -4*f + 2*w. Is 1 + f/4 - -916 composite?
False
Let w(a) = 3*a + 3. Let u be w(-2). Let r be 2/4*(-6246)/u. Suppose -r = -4*f - 405. Is f composite?
True
Let j(c) be the third derivative of -c**4/24 + 9*c**3/2 + 3*c**2. Let d(w) = 9. Let t(y) = -11*d(y) + 4*j(y). Is t(-3) a prime number?
False
Let h = 9327 - 4990. Is h composite?
False
Let x(d) = d**3 - 5*d**2 + 13*d + 1. Let j be x(9). Let b = -25 + j. Let h = -154 + b. Is h a composite number?
False
Let q(h) = 625*h - 158. Is q(12) a composite number?
True
Let z(r) be the third derivative of 13*r**5/120 + r**4/6 + r**3/6 + 4*r**2. Let s(b) be the first derivative of z(b). Is s(5) prime?
False
Let u be 20*((-261)/(-2) - 0). Is -3 + 21/6 + u/4 a composite number?
False
Let m(t) = 1318*t**3 + 1. Is m(1) a prime number?
True
Let s(y) = -y**3 - 6*y**2 + 6*y - 10. Suppose -9 = 2*u + 5. Let j be s(u). Is 25 + 9/j - 0 composite?
True
Let w(f) = -10*f**2 + 4*f + 5. Let t be w(-4). Let k = t - -602. Is k a prime number?
True
Let m(x) = x**2 - 3*x + 6. Let p be m(2). Suppose 6*f = -p*f + 590. Is f prime?
True
Let w(z) = -111*z + 7. Let j(p) = 556*p - 34. Let a(l) = -2*j(l) - 11*w(l). Is a(10) prime?
False
Let z(s) = 37*s**2 - s + 1. Let q(w) = w + 12. Let p(o) = -o**3 - o - 11. Let b be p(0). Let k be q(b). Is z(k) a prime number?
True
Suppose -29*h = -32*h + 4*x + 31277, 3*h + 2*x = 31283. Is h a prime number?
True
Let d = -15 - -3. Is (-3692)/d + (-2)/3 a prime number?
True
Suppose 3*s = 2*b + 7*s + 18, 4*b - 3 = 5*s. Is (-18381)/44*4/b a prime number?
True
Let m(z) = z - 8. Let c be m(10). Suppose q + 3067 = r, -c*q = -5*r - q + 15327. Is r composite?
True
Suppose -5815 - 3797 = -6*m. Let l(o) = -o**3 - 7*o**2 - 6*o + 5. Let u be l(-6). Suppose c - 777 = u*t, c = 3*c + 2*t - m. Is c prime?
True
Suppose 0 = -8*l + 3561 + 5855. Is l prime?
False
Let r = -786 + 1753. Is r a prime number?
True
Suppose 0 = 4*a + 3*a - 21301. Is a a composite number?
True
Let z = 1275 + 707. Is (14 - 16)*z/(-4) a prime number?
True
Let p = 651 - 219. Let x = -298 + p. Is x composite?
True
Let k(d) = 4*d - 1. Let q be k(14). Let y be 333/5 - 4/(-10). Suppose o = q + y. Is o a composite number?
True
Suppose 4*m + 25 = -g, 3*g - 4 = 4*m + 33. Let y(f) = 4*f**2 - 9*f - 2. Is y(m) a composite number?
False
Let c be 2 - -3*4460/15. Let r = 4 - 0. Is (2/r)/(3/c) composite?
False
Let r(s) = s**3 + 14*s**2 - 11*s + 18. Let n be r(-15). Is (-3)/((-18)/4) - 53438/n a prime number?
False
Let y be 20/(2*-2)*-7. Suppose q = -y + 211. Let g = -49 + q. Is g prime?
True
Let p(l) = l**3 - 9*l**2 + l. Let b be p(9). Let n = 11 - b. Suppose 179 = n*k - 255. Is k prime?
False
Suppose -8*o + 7009 = -23895. Is o composite?
False
Let b be (-1)/(2732/(-1364) + 2). Suppose -3*s = s - 4*j + 1352, 4*j - b = s. Let l = s + 1036. Is l composite?
True
Suppose 0 = -k - 1, 3*z + 10 = -4*k - 12. Let l(y) = 38*y - 6. Let d be l(7). Is (-8)/24 - d/z composite?
False
Suppose 275*k - 258*k = 391. Is k prime?
True
Suppose 5*u + 22 + 183 = 0. Let r = u - -380. Is r composite?
True
Let q(s) = -81*s - 89. Let f be q(-14). Suppose -9*l = -14984 - f. Is l a prime number?
False
Let v(a) = 3*a - 81*a**2 + 269 + 80*a**2 + 50 + 118. Is v(0) compos