+ 11. Is r(-10) prime?
True
Let a = -782 + 1879. Is a a prime number?
True
Let v = 1 + 2. Suppose -3*b = -v*a - 84, -b + 29 - 4 = -2*a. Is b a prime number?
True
Let p(r) = -1 + 33*r**3 + 2*r + 17*r**3 - 19*r**3. Is p(2) a composite number?
False
Let q be (-4)/20 + (-5142)/(-10). Let p = 830 - q. Suppose -5*d = -d - p. Is d a prime number?
True
Suppose 0 = -2*f + 4*v + 10, -3*f = -7*f + v + 20. Suppose -3*s = -f*o - 790, -s + o = -0 - 264. Is s prime?
False
Let n(w) be the first derivative of -1/2*w**2 + 1/3*w**3 + 3 + 7*w. Is n(10) prime?
True
Let u = -14 - -6. Let k(f) = f**3 + 9*f**2 + 4*f + 11. Is k(u) composite?
False
Let g be 4*-2*1/(-2). Suppose -g*v = 5*q - q - 1596, 0 = -4*v - 5*q + 1600. Is v prime?
False
Is (-7065)/(-7) - 2/21*3 a prime number?
True
Let q(n) = 16*n - 3. Let h be q(3). Suppose -p = -0*p + 2*u - h, 0 = 3*p + 3*u - 150. Is p a composite number?
True
Let r(b) = -41*b**3 - 4*b**2 - 4*b - 3. Is r(-2) prime?
True
Let z be (-10892)/(-6) - (-1)/(-3). Let p be -2 + (-4)/(12/z). Is p/(-5) - (-6)/(-15) a composite number?
True
Suppose -2*v + 4*q - 2939 = -3*v, -4*v + 11699 = -3*q. Is v a composite number?
False
Let l(z) = -3*z**3 + 4*z**2 + 5*z - 7. Let d be l(-5). Suppose -4*x + d - 86 = 3*c, -3*c = -3*x - 378. Is c a prime number?
False
Let t(d) = 9*d**3 - d**2 + 2*d - 1. Let c be 4/6*6/4. Is t(c) composite?
True
Suppose -416 = -3*r + 145. Is r a prime number?
False
Is ((-21928)/(-12))/((-2)/(-3)) prime?
True
Suppose -5*m + 272 + 213 = 0. Is m a composite number?
False
Let g = 75 + 392. Is g a prime number?
True
Let c be (3/(-4))/((-12)/(-96)). Let l(x) = -147*x + 5. Is l(c) composite?
False
Let u = 3 - 2. Suppose -u + 7 = 3*s. Suppose 0 = -s*j + j + 15. Is j composite?
True
Let u be (2/4 + -1)*-4. Let y = 3 + u. Suppose -y*n + 0*n = -3*c + 99, -4*n = 0. Is c prime?
False
Let v = -5 - -8. Suppose v*x - 12 = 6. Let i(u) = 2*u**3 - 9*u**2 + 9*u - 3. Is i(x) composite?
True
Let o = -2 + 7. Let v = 5 - 4. Let y = o - v. Is y a prime number?
False
Let z(r) = r**2 - 6*r + 1. Let v be z(7). Suppose -v = -4*g, -g - 210 = 3*w - 527. Suppose 0*h - w = -3*h. Is h a prime number?
False
Let k(t) = -t**3 + 8*t**2 - t + 11. Let w be k(8). Is (68/16)/(w/84) prime?
False
Suppose 5*k = 716 + 424. Let r = k + -506. Let l = -165 - r. Is l a prime number?
True
Let l = -20 + 30. Suppose -4*r - r = -l. Suppose 5*b = r*b + 9. Is b a prime number?
True
Let u = -534 + 1002. Suppose -5*n + 107 = -u. Is n a prime number?
False
Let m(f) = f + 5. Let o be m(0). Suppose 4*v - 2*w - 2 = 2, 0 = -o*v + 4*w + 8. Suppose v*c - 4*c + 31 = i, -104 = -5*i - 3*c. Is i a composite number?
False
Suppose -3 = -3*j, 3*j = 2*b - 93 - 14. Is b a prime number?
False
Let i(t) = 3 + 6*t + 3 - 7 + 2*t. Is i(1) a composite number?
False
Let q = -801 + 1610. Is q a prime number?
True
Suppose 0 = -3*j - 14 + 32. Is (-669)/j*(-1 + -1) a prime number?
True
Suppose 5*o - 4*r - 529 - 257 = 0, 3*r = -2*o + 319. Is o composite?
True
Suppose 5*o + 115 = 5*k, 2*k - 64 = -0*k - 4*o. Let f be k/6 + (-2)/(-3). Suppose -16 = -g - g + f*i, 3*g = 3*i + 33. Is g prime?
True
Suppose -4*c - 65 = -5*c. Is c composite?
True
Let z = 3 + 2. Suppose 5*i - 434 = 3*q, i + 0*q - 70 = -z*q. Is i a prime number?
False
Let n(q) = 3*q**3 - 3*q**2 + 3*q. Let x be n(2). Let p = 29 - x. Let b = 33 - p. Is b a composite number?
True
Let b = 29 - -16. Let o = b - 30. Is o composite?
True
Suppose 3 = -0*y + y, -2*y = -2*k. Suppose k*c = 7*c + 44. Let u = c - -22. Is u a composite number?
False
Let s(v) = v**2 - 3*v + 1 + 4*v + v. Let c be s(-3). Suppose 19 = -c*j + 59. Is j composite?
True
Suppose -2 = 4*p + 6, -3*p = 3*i - 36. Suppose 38 + i = 4*l. Is l a composite number?
False
Let u(o) = -o**3 + 9*o**2 + 14*o - 7. Let n be (-1 - (-1 + -3)) + 6. Is u(n) a composite number?
True
Let x = -5 - -9. Suppose -x*h + 309 = f, -2*h + 177 - 25 = -2*f. Is h a prime number?
False
Suppose -8 = 3*v + 1. Is -273*(-1)/(v/(-1)) composite?
True
Suppose 4*p - 337 = 5*i, 4*p - 331 = -4*i + 3*i. Is p composite?
False
Suppose 3*h - j = -183 + 933, -5*h + 4*j = -1243. Is h composite?
False
Let j(g) = g**3 - 12*g**2 - 13*g - 23. Is j(18) a composite number?
True
Let h(i) = i - 1. Let z be h(7). Let w = z + -3. Is (3 - 4) + w + 21 a composite number?
False
Let y be 3 - (0/(-2) + 1). Let d(l) = -2 + 3 - 3 - 1 + 21*l. Is d(y) a composite number?
True
Let z(d) = 54*d - 25. Is z(4) prime?
True
Let k(h) = 8*h**2 - 7*h - 9. Is k(6) a composite number?
True
Suppose 0 = 4*n + 5*i - 1029, 0 = -4*n - 0*i + i + 999. Is n a prime number?
True
Suppose -5*s = -299 + 114. Is s prime?
True
Let n(d) be the second derivative of -d**7/840 + d**6/360 + d**5/40 - d**4/6 - d**3/3 + 3*d. Let f(t) be the second derivative of n(t). Is f(-3) a prime number?
True
Suppose -3*f + 83 = -3*z + 4*z, 3*z - 273 = -3*f. Is z composite?
True
Let b be 2*((-3)/(-2) - -1). Let f(x) = x**2 - 8*x + 0*x**2 - b + 15. Is f(-7) a prime number?
False
Let p(c) = 6*c + 13. Let j(z) = z + 1. Let r(y) = 22*j(y) - 2*p(y). Let h be r(7). Let w = 13 + h. Is w a prime number?
True
Suppose p = -17 + 11. Let z(g) = -7*g + 13. Is z(p) a composite number?
True
Let z = -150 + 94. Is 1 + 0 - (z - 1) a composite number?
True
Suppose 3*v + b + 0*b + 26 = 0, -32 = 3*v + 4*b. Let q(g) = 12*g + 17. Let n(f) = 6*f + 9. Let m(x) = -5*n(x) + 2*q(x). Is m(v) a prime number?
True
Suppose -4*v = -313 - 147. Let s = -26 + v. Is s a composite number?
False
Let m be 1*(-27)/(-6)*-14. Let t be (m/(-4))/((-4)/(-16)). Suppose 0 = 2*n - 5*n + t. Is n prime?
False
Suppose 2*p - 10 = p. Let a = p + -7. Suppose 0 = -5*x - a*n, x + n + 4 - 2 = 0. Is x composite?
False
Is 4/8*(-3 + 329) a composite number?
False
Is ((-6)/4)/(2 + (-3836)/1912) a composite number?
False
Suppose 2*s + 5*c - 8 = 0, -c = -2*s - 2*c. Is 131 + (s - -1 - -2) composite?
True
Let n be 0/2*(-2)/4. Suppose d - 2*d + 196 = n. Suppose -4*u - 8 + d = 0. Is u prime?
True
Let d = 46 + -22. Suppose -5*m + m = 4. Let b = d - m. Is b a prime number?
False
Let d(l) = l**2 + 5*l - 2. Let c be d(-5). Let j = c - -16. Is j prime?
False
Suppose 0 = -5*f + 5*l - 8 - 7, -f = l - 5. Let o = 5 - -4. Is (-3 - o)*f/(-2) a composite number?
True
Suppose 5*p + v - 2150 = 0, -1015 - 1160 = -5*p + 4*v. Is p composite?
False
Let w be 451 - 8/(-4) - 3. Let l = w - 143. Is l a prime number?
True
Suppose 0*i = -i. Is ((-429)/3)/(-1 - i) a prime number?
False
Suppose -20 = 4*r - 1248. Is r a prime number?
True
Let v(c) = 36*c**2 - c. Suppose 3*q = -2*b - 1, 0 = -3*b - 6*q + 2*q - 1. Is v(b) composite?
True
Let c be 1 - (2 + -8 + 2). Suppose -5*i + 2*a + 485 = 0, 2*a + 3*a - 520 = -5*i. Suppose -c*j + i = -2*j. Is j a prime number?
False
Suppose -2*z = 9*z - 42163. Is z composite?
False
Let p = 11 + -26. Let a be (-3)/((-1)/(-9 - -3)) - 3. Let j = p - a. Is j prime?
False
Let t(a) be the first derivative of a**3/3 + 5*a**2 - 13*a + 2. Is t(6) a prime number?
True
Let t = 9 + -5. Suppose 0 = -t*q - 4, 0 = 4*w - 2*q - q + 9. Is (-220)/(-15)*w/(-2) composite?
True
Let p = 6 + -1. Suppose -p*y + 10 = -65. Is y composite?
True
Let d = -4 + 5. Let g be -1 - (d - (-21 - 0)). Let p = 36 + g. Is p composite?
False
Let l be 2/9 - (-258)/54. Is (l/4)/((-2)/(-152)) composite?
True
Suppose -4 = -4*s + 12. Let u(o) = o**3 - 5*o**2 + 6*o - 5. Let f be u(s). Is (-21)/f*(1 + -20) a prime number?
False
Suppose -29 = -3*j + 13. Let a = -6 + j. Suppose a*d - 4*d - s = 147, -75 = -2*d - s. Is d a composite number?
False
Let d(c) = c**3 + 5*c**2 - 7*c + 8. Suppose -18 = 5*y - 2*y. Let v be d(y). Suppose 0 = 5*k - 3*l - 316, 2*k - 113 = l + v. Is k prime?
False
Let r be (0 - 0) + (-10)/1. Let i(n) = 4*n**2 - 3*n + 7. Is i(r) a composite number?
True
Suppose -4*t + 20 = -0*t. Suppose -5*x - 1 = -j - 3*x, 0 = -3*j + t*x + 6. Is j prime?
True
Let n(l) = -322*l + 5. Is n(-3) composite?
False
Suppose -2*y - z + 834 + 1518 = 0, 0 = -4*y + 2*z + 4704. Suppose -4*p + 1188 = 2*g, 3*p + p - g = y. Is p a composite number?
True
Suppose -3*n = -8*n. Suppose 3*p - 2*p = n. Suppose p = q - 5*f - 50, -1 - 31 = -q - f. Is q a composite number?
True
Let x(d) be the first derivative of 18*d**2 - 6*d - 3. Let s(v) = -36*v + 7. Let i(o) = -5*s(o) - 6*x(o). Is i(-4) composite?
True
Suppose -3*j = x - 482, -2*j 