 = -r - r + 21, -n = -4*r + d. Is r a prime number?
True
Let b(y) = -3*y**2 - 4*y + 20. Let j(m) = 2*m**2 + 3*m - 13. Let x(v) = -5*b(v) - 7*j(v). Let a be x(0). Let s(l) = -11*l - 10. Is s(a) a composite number?
False
Suppose 0 = -2*c - 15*c + 77095. Is c composite?
True
Let n be 800/60*(-9)/4. Let d = 32 + n. Is ((-993)/9)/(d/(-6)) a composite number?
False
Let j(n) = 5*n**2 - 15*n + 5. Let t be j(3). Suppose t*g - 2297 = 4*g - 2*i, -3*i + 2302 = g. Is g a composite number?
False
Is (3 - 0)/(45/65865) prime?
True
Is (1 - (-8360)/36) + (-6)/27 composite?
False
Let l(r) = -1294*r - 157. Is l(-6) a composite number?
False
Let g(l) = 3*l + 5. Let z be g(-3). Is z*(45693/(-12))/3 composite?
False
Suppose -225769 = -23*u + 1087002. Is u a prime number?
True
Is -1284*92/(-8) + (-10 - -5) composite?
True
Let k be 270/63 + (0 - (-4)/(-14)). Suppose -u + 2*s + 2 + 43 = 0, -k*s = -3*u + 127. Is u a composite number?
False
Let m(k) be the third derivative of k**5/30 - 5*k**4/6 + 5*k**3/6 - 13*k**2. Is m(-14) a composite number?
False
Suppose -15787 = -31*o + 65464. Is o composite?
False
Suppose 9 + 3 = 12*c. Is (417 - c - -1)/(18/6) composite?
False
Suppose 0 = 4*x - 5*x + 4*r + 18, -5*r = -3*x + 26. Suppose -y + 39 = -0*y. Let l = y - x. Is l composite?
False
Let x(y) be the first derivative of -y**3/3 + 21*y**2/2 - 13*y + 1. Let z be (-28)/(-20) + (-12)/(-20) - -13. Is x(z) a prime number?
False
Let u be 2*(3/(-3) + -7). Let l(t) = 16*t**2 + 10*t + 7. Is l(u) a prime number?
True
Suppose -5*w = -3*q - 251796, -19*q + 21*q = 2*w - 100716. Is w a prime number?
False
Let s(n) = -2*n**2 - 30*n - 4. Let m be s(-15). Is 20/(m - 1) - -297 a composite number?
False
Let d = -311 - -1280. Suppose 0 = -2*f - 10, -3*f - d + 4699 = 5*r. Is r a composite number?
True
Let d be 15/(-45)*(-6)/1. Suppose -2*p - d*x = -982, -5*p + 2*x + 2447 = 3*x. Is p a composite number?
True
Let o(v) = 678*v**2 - v + 9. Is o(-10) a composite number?
False
Let n be -2 - (-12)/(1 + 3). Suppose 0 = -4*d + p + 10, -d - 2*p - n = -4*p. Is -3 - (d + 47)/(-2) prime?
False
Let b(p) = 12 + 14 - 43*p - 30. Is b(-11) prime?
False
Let s be -2 - (-5 + -174 - 5). Let g = 197 + s. Is g a prime number?
True
Let p(s) = s**2 - 4*s + 2. Let v(c) = c**3 - c**2 + c - 2. Let r be v(2). Let x be p(r). Suppose -6*q + x*q = -596. Is q prime?
True
Let d be 6/(4/(4*6)). Let r = d + -18. Let n(q) = q**3 - 18*q**2 + 2*q - 5. Is n(r) prime?
True
Suppose 10*s = 14*s + 12. Suppose -5*d + 5*a + 4 = 3*a, -3*a = 5*d - 19. Is (-1095)/(-9) + d/s prime?
False
Let q be (2/(-2))/(11/11). Let r(m) = -188*m**3 - 2*m**2 - m. Is r(q) a prime number?
False
Let x(g) = -254*g + 69. Is x(-7) composite?
False
Suppose 0 = g - v - 9664, -3*g = -2*g - 3*v - 9658. Is g prime?
False
Let c = 8 + 3. Let l(s) = -7*s - 5*s**2 - s**3 - s**2 - c + 8. Is l(-5) a composite number?
False
Let t be (-65)/((-1)/(-15)*-3). Suppose 326*v - 161 = t*v. Is v prime?
False
Let p = -2135 + 50472. Is p prime?
True
Let q be ((-6)/(-4))/(6/108). Suppose -4*h + 44 = 276. Let c = q - h. Is c composite?
True
Is 4/((-1)/(284/(-8))) a prime number?
False
Let r = 9 - 11. Let c be (r + 2)*(-7)/(-14). Suppose -3*n + i + 311 = -616, c = -5*n - i + 1545. Is n prime?
False
Suppose 103*x - 95*x = 656. Is x a composite number?
True
Suppose -2*o + 2*t - 775 = t, -o - t - 395 = 0. Is (-12)/(-3) + -1 - o composite?
True
Let t be (-10)/(-4)*36/15. Let s(z) = 2*z - 10. Let d be s(t). Is 1590/8 + d/8 a prime number?
True
Suppose 5*s - 25 = -0*s - 5*u, 4*s = u + 15. Suppose s*n + 10 = -22. Is ((-424)/6)/(n/12) a prime number?
False
Let w(r) = -8*r**3 + 3*r**2 + 19*r + 15. Let d(p) = -4*p**3 + p**2 + 9*p + 7. Let j(t) = -5*d(t) + 2*w(t). Is j(4) prime?
True
Let y(c) = -c**2 + 56*c**3 + 0 - 4 + 2 - 2*c + 5. Is y(2) a prime number?
True
Let z be (-10)/3*(-9)/(-6). Let g be 6/15 - 8/z. Suppose -681 = -b - g*h, 4*b - 744 = -2*h + 1974. Is b composite?
True
Let i(n) = -2*n**3 - 4*n**2 - 7*n - 3. Let g be (-8)/3*(1 - -2). Is i(g) prime?
True
Let s be (2/(-4))/(-1)*(-10)/(-1). Suppose -4*u + s*r = -6*u + 2334, r - 3501 = -3*u. Is u composite?
True
Let o(b) = -3*b**3 - b**2 + 2*b - 3. Let w(f) = 2*f**3 + 2*f**2 - f + 3. Let h(y) = 5*o(y) + 6*w(y). Let l(j) = 5*j. Let z be l(-1). Is h(z) composite?
True
Let s(l) = -14*l - 1 + 66*l**3 + 3*l**2 + 29*l - 13*l - l**2 - 3*l**2. Suppose -6 - 2 = -4*h. Is s(h) composite?
True
Suppose 40*a + 6951 = 47*a. Is a a composite number?
True
Suppose 0 = 5*q - 5*i - 42620, -4*q + 7*i - 6*i = -34087. Is q a composite number?
False
Let i = 10262 - 6714. Suppose 4*b - i - 1488 = 0. Is b a composite number?
False
Let c(g) = 7*g**3 + 10*g**2 + 15*g - 7. Is c(8) composite?
False
Suppose 4 = -4*w, -5*w = -8*d + 5*d + 203642. Is d a prime number?
False
Let h(r) = -2*r**2 - r + 18059. Is h(0) composite?
False
Is (0 - 40873/5)*(-2 - 3) a composite number?
True
Suppose -188*o = -193*o + 13535. Is o prime?
True
Is 16 - 6 - (-57239 - 2) composite?
False
Let j be 9/(-3) + 14 - 0. Let h(i) = 2*i**2 - 12*i + 8. Let q be h(j). Suppose 2*f = 4*x + q, 125 - 23 = 2*f + 4*x. Is f composite?
True
Suppose -2*d - 3 = -7. Suppose -17098 = -d*p + 3*j, -5*p - 3*j + 25617 = -2*p. Is p prime?
True
Suppose 0*w + 704 = 4*w. Suppose -3*d + 50 - 165 = -2*u, 0 = 3*u - d - w. Is u composite?
False
Let p = -11397 + 33739. Is p prime?
False
Let c be (6 - 10) + (10 - 0). Let w(q) = -q + 13. Let g be w(c). Suppose 0*k = -g*k + 343. Is k a composite number?
True
Suppose -5*m - h + 3*h + 10768 = 0, 0 = 5*m - 3*h - 10767. Suppose 2*k - 5*d + 0*d - m = 0, -5*d - 5415 = -5*k. Is k composite?
False
Suppose 62 = -10*w + 2. Let j(h) = -199*h + 1. Is j(w) prime?
False
Suppose 0 = -7*o + 2*o + 135. Let m = o + -22. Suppose 70 = -3*n + m*n. Is n a composite number?
True
Let q be 1/(2 - 19/9). Let k = 17 + q. Is 2/k - 2255/(-20) composite?
False
Let a = -2227 - -9836. Is a prime?
False
Let r(i) = 3*i**3 + 2*i**2 - 8*i - 4. Let a be r(-7). Let x be (-7)/(-21) + a/(-9). Let o = x + 51. Is o a prime number?
True
Let r = 32 + -17. Suppose -10*v = -r*v. Suppose v = -5*j + 201 + 54. Is j a prime number?
False
Let w(v) = -1211*v**2 + 5*v - 1. Let l be w(-4). Let c = -33530 - l. Is (c/42)/((-2)/4) a composite number?
False
Let w(a) = 2*a**3 + 7*a**2 + 11. Let t be w(-4). Let b(n) = 28*n**2 + 7*n + 20. Is b(t) a composite number?
True
Let a be ((-8)/(-5))/(-4) + 264/(-15). Is (1 + -447)/(36/a) prime?
True
Is 506/4*(-1)/(-1)*2 a prime number?
False
Let p be 0 - (7 - (2 - 2)). Let j be (3 + -1)/(p/(-28)). Is (j + 9)/((-1)/(-11)) composite?
True
Let r(a) = -a**3 - 7*a**2 + 2*a + 14. Let k be r(-7). Is (-645)/(-1 - k) + 4 composite?
True
Let o = 13 + -11. Suppose 30 = o*y + 3*y. Suppose -y*a = -545 - 241. Is a a composite number?
False
Let n(z) = 845*z - 79. Is n(12) a composite number?
False
Let k be -3*((-986)/(-6) - -3). Let s(c) = 41415*c**2 - 502*c - 502. Let n(v) = -248*v**2 + 3*v + 3. Let x(t) = k*n(t) - 3*s(t). Is x(-1) composite?
False
Let l(s) = -138*s - 28*s - 2 - 1 - 25*s. Is l(-2) prime?
True
Let b = -86 - -287. Let c be (4/(-6))/(1/b). Is c/(-6)*(-3 + 6) composite?
False
Suppose 5*h + 13870 = -5*s, h - 3*s + 1431 = -1343. Is (-2)/(-8) + h/(-8) prime?
True
Suppose -164*s = -177*s + 56251. Is s composite?
False
Let x = -43 - 42. Let c(d) = -3*d**3 + 53*d**2 + 17*d + 16. Let j be c(18). Is (4 - 2)/j*x a composite number?
True
Suppose -5*z = -2*p - 249, 4 - 2 = -p. Let t = -4 + -20. Let v = t + z. Is v prime?
False
Let l be 4 - (-44)/(-8) - 267/(-2). Suppose 26*g - 30*g = -l. Is g composite?
True
Let t(k) = k**3 - 45*k**2 + 56*k - 109. Is t(48) a composite number?
False
Suppose -2*c - 3*c - 2*r = -1538, 5*c - 5*r - 1545 = 0. Suppose c = -3*m - 298. Let b = 351 + m. Is b prime?
True
Let p = -10 + 12. Suppose -p*k - 2*k = -4. Is ((-322)/28)/(k/(-2)) composite?
False
Let x be -6 + 2 + (413 - 2) - 4. Let l = 538 + x. Is l prime?
True
Suppose -2*b + 31 = 5. Let f(k) = 2*k + 1 - b*k + 4 + 0. Is f(-4) a prime number?
False
Let y(l) = 27*l**2 - 4*l + 6. Let i(s) = s**2 + 1. Let o(v) = -5*i(v) + y(v). Is o(-3) a composite number?
False
Let d(x) = 75*x + 19. Is d(4) a composite number?
True
Suppose -4*a + 7*a = 20103. Is a a prime number?
True
Let o = 62682 - 29599. Is o prime?
True
Let i = -14770 - -28799. Is i 