+ 2*p**2 + 2*p + 1. Is s(-5) composite?
False
Let f(j) = 25*j**2 - j - 7. Is f(-4) a composite number?
False
Let x = 163 + -86. Is x a prime number?
False
Suppose -3*r + 6*r - 12 = 0. Suppose 4*n - 2710 = q, 0*q - r*q - 8 = 0. Is n composite?
False
Suppose -6*a = -3*a + 3. Let k(y) = -70*y - 1. Is k(a) prime?
False
Let v = 861 + -494. Is v prime?
True
Suppose -26 - 11 = -h. Let v = -18 + h. Is v composite?
False
Let k(x) be the second derivative of 5*x**3/2 + 3*x**2/2 - 8*x. Is k(2) a composite number?
True
Suppose -5*b + 15 = -2*b. Suppose -p + 0*p = -t - 28, -t = -b*p + 144. Suppose v - p = -2*c, -54 = 2*v - 4*v - 5*c. Is v a prime number?
True
Is -4 - (1 + -6) - -140 a prime number?
False
Suppose 0 = 4*o - 25 - 7. Suppose -3*v + o = -1, -4*s - 3*v = -93. Is s a prime number?
False
Let q(a) = 21*a**3 - 10*a**2 + 7*a - 1. Is q(7) a prime number?
True
Let b(y) = 12*y**2 - 6*y - 3. Is b(-3) prime?
False
Suppose 60 + 30 = 2*c. Let d = c + -11. Is d prime?
False
Let o(y) = -y - 4. Let c be o(-8). Suppose -40 = -g - r, c*g - 3*g + 3*r - 50 = 0. Let w = g - 13. Is w composite?
True
Suppose 0 = 24*h - 72322 - 25862. Is h composite?
False
Suppose -4 = -5*h + 3*h. Suppose 4*o - h*o - 10 = 0. Suppose 127 = o*x + 32. Is x a prime number?
True
Let n(t) = -t**3 - t**2 + 6*t + 4. Let v be n(-3). Let q(z) = 2*z - 1. Let o be q(3). Suppose 5*l = 3*w + 806, -v = o*w - 19. Is l a prime number?
True
Let v(q) = 189*q**3 - q**2 + 2 - 48*q**3 - 2. Let z be v(1). Suppose 2*f - z = -2*f. Is f composite?
True
Suppose 4*z + 4*s - 2083 = -83, 3*z = s + 1508. Is z prime?
False
Let b(t) be the second derivative of -2*t**5/5 - t**4/2 - t**3/6 - t**2/2 + t. Is b(-4) composite?
False
Let j(q) = q**2 + q - 1. Let w be j(-4). Let m = w + -8. Suppose -3*n + 342 = -m*i, -3*i - 94 = -n - 6*i. Is n prime?
True
Let n(j) = -4*j - 4. Let c be n(-3). Let t be (-206)/(-8) - (-2)/c. Suppose -115 = -5*v + 2*l, 3*l - 2*l + t = v. Is v prime?
False
Suppose 2*p + 4 - 10 = -5*v, -v - 3*p = -9. Let n(a) = 0*a + 5*a - 4 + v. Is n(3) a composite number?
False
Suppose -2*o = -4*z + 1142, -3*z - 7*o + 8*o + 858 = 0. Is z a composite number?
True
Suppose -g = 3*g + 4, -5*g = -2*w + 637. Suppose 2*b = -2*b + w. Is b prime?
True
Suppose 3*t - 10 = -2*t. Let y = t - 8. Let j = 13 - y. Is j prime?
True
Suppose -2 = -5*a - 12. Is 52 - ((a - -2) + 3) a prime number?
False
Let v(r) = r + 4. Let g be v(-4). Suppose g = 4*a - 772 - 184. Is a a composite number?
False
Let h(x) = -x + 1. Let m(q) = -8*q + 1. Let u(r) = -2*h(r) + m(r). Is u(-2) a prime number?
True
Is (3/(-2) - 0)*(-238)/3 a composite number?
True
Let d(u) = -2*u**3 + 4*u**2 + 2*u - 25. Is d(-12) a prime number?
False
Let v(h) = -h**3 + h**2 + h + 55. Is v(0) a prime number?
False
Let l = -1 - -6. Suppose -l*x + 1295 = p - 565, 4*x - 1502 = 2*p. Is x composite?
False
Let b(r) be the first derivative of r**3/3 - 2*r - 1. Let o be 12/((-8)/(-2)) - -3. Is b(o) prime?
False
Let s = 0 + 1. Suppose 6 - s = z. Suppose z*x = -2*o + 85, x - 2*x + 2*o + 5 = 0. Is x a prime number?
False
Let v(g) = 3*g - 1. Let f be v(-1). Is 7 + (f - (-9)/3) composite?
True
Let k(v) = 482*v - 6. Let r(l) = 241*l - 3. Let g(j) = -6*k(j) + 13*r(j). Is g(2) a prime number?
True
Let t = 102 + -262. Let i = t - -315. Is i composite?
True
Suppose 2*r - 3*n + 170 + 1052 = 0, 5*n - 20 = 0. Let a = -385 - r. Let d = a + 87. Is d a composite number?
False
Is (-10)/4*618/(-15) a prime number?
True
Let o be (-6)/(-10) + 1122/5. Let q = o - 98. Is q a prime number?
True
Let r(b) = 7*b**2 + 8*b + 8. Let d be r(7). Let p = -76 + d. Is p a prime number?
True
Suppose 14*t - 6789 - 5279 = 0. Is t prime?
False
Suppose -3*r = -515 - 2938. Is r prime?
True
Let w(i) = 10*i**2 - 13*i. Is w(11) a composite number?
True
Let l = -233 + 538. Is l a prime number?
False
Let h = 1013 + -36. Is h composite?
False
Let g = 6792 + -3819. Is g a composite number?
True
Suppose 2*p = -3*f + 1450, -3*p - 1336 = -4*f - 3477. Is p a prime number?
True
Let q(c) = 2*c + 10. Let w be q(7). Suppose b + 3*m = 14, b + 0*b + m - w = 0. Suppose -5*p - b = -5*l + 61, 5*p - 24 = -l. Is l a composite number?
False
Let t(w) be the first derivative of 2 - 1/4*w**4 + 8/3*w**3 - 3*w**2 + w. Is t(6) a prime number?
True
Let u(h) = 2*h**3 - h**2 + h + 1. Let f be u(-1). Is (28/6 + f)*21 a composite number?
True
Let q be 2/7 + (-516)/42. Is -1 - (-29 - q/(-4)) prime?
True
Let l(v) = 4 - 15*v**3 + 0 + 0 - v**2 - v. Is l(-3) a composite number?
True
Suppose -3*i + 24 - 12 = 0. Suppose u = 78 + i. Is u composite?
True
Let k = -10 + 14. Suppose k*j = -j - 10. Is (-3)/((-9)/48) + j a composite number?
True
Let d = 3 - -188. Is d prime?
True
Is (-135)/(-2) + (-5)/10 composite?
False
Let u(w) = -71*w + 5. Let p be (5/1)/((-4)/4). Let y be u(p). Suppose -5*o = -5*r - 0*r - y, 2*r = 4*o - 278. Is o a composite number?
False
Is 4/(-18) + ((-35556)/27)/(-4) prime?
False
Let t = -258 + 639. Is t a prime number?
False
Let u(g) = -g**3 - 5*g**2 + g + 5. Let h be u(-6). Let o = h - -126. Is o a prime number?
False
Let n = 1 - 4. Let k be ((-2)/(-3))/(n/(-45)). Suppose -3*m + m = -k, 0 = -2*d - m + 97. Is d composite?
True
Let o(d) = d**3 + 6*d**2 + 4*d**3 - 4*d**3 - 2. Let t be o(-6). Let j = t + 13. Is j composite?
False
Suppose -a + 31 = 4*l - 6*a, 2*a = -3*l + 6. Suppose -l*s = 2*r - 218, 0*s = s + 5. Suppose -r - 118 = -3*i. Is i a prime number?
True
Let m(r) = -2*r**3 - 10*r**2 - 8*r - 1. Let l be m(-6). Let q = -82 + l. Is q composite?
False
Let o = -3 - 7. Is ((-5)/o)/((-2)/(-716)) a composite number?
False
Suppose 4 + 2 = -b. Is (-38 + 0)*3/b a prime number?
True
Suppose 2*t = 16*t - 27034. Is t prime?
True
Let g be (10/3)/((-6)/9). Let h = g + 9. Suppose -m = 3*s - 86, 5*m + h*s + 18 = 415. Is m a prime number?
False
Suppose 116 = 3*c + c. Let d = c + 6. Is d a composite number?
True
Let m(u) = -3*u**3 + 2*u**2 + 2*u + 1. Let r be m(-1). Let j(q) = -q + 3. Let k be j(-3). Suppose -r*x - 46 = -k*x. Is x composite?
False
Suppose 0 = -3*k - k. Suppose k = z - 0*z + 2*b - 139, -3*z - 2*b = -437. Is z a composite number?
False
Let a(t) = t**2 + 14*t + 18. Let b be a(-12). Suppose 3*p = -17 - 43. Let n = b - p. Is n prime?
False
Let b be 6479/22 - 1/(-2). Let k = b - -58. Is k composite?
False
Let i(b) = -b**2 + b + 9. Let v be i(-7). Let f = 86 + v. Is f a prime number?
False
Let x(c) = 2*c**2 - 10*c - 13. Let u be x(12). Suppose -2129 = -6*t - u. Is t a prime number?
False
Suppose -2*h + 3*i = 2*h - 4, h + 5*i = -22. Is (-423)/(-4) + h/(-8) prime?
False
Let i(w) = w + 4. Let u be i(0). Is (2/u)/((-1)/(-534)) composite?
True
Suppose 3*q - 3165 = -0*q. Is q prime?
False
Let b = 26 + -16. Is b prime?
False
Let q(z) = z**2 - 4*z - 4. Let w be q(5). Let c(k) = 21*k - 1. Let i be c(w). Suppose i = 4*j - 8. Is j prime?
True
Suppose -2*o - 4 = -3*o. Suppose 0 = o*u + x - 580, -x - 3*x = -4*u + 580. Is u prime?
False
Let i(c) = -c**3 + 13 + 0*c - 3*c - 2*c + 0*c**3 + 12*c**2. Is i(9) a prime number?
True
Suppose -x = -3*x + 2. Let d be ((-2)/4)/(x/(-34)). Let v = -8 + d. Is v prime?
False
Let y be (0 + 0)*(-6)/(-12). Let u = 39 - y. Is u composite?
True
Let g(i) = 90*i**2 + 5*i + 16. Is g(-7) prime?
True
Let b(y) = -y - 12. Let a be b(-8). Let r be (-2)/8 + 111/a. Is 8/r - (-2757)/21 a prime number?
True
Suppose -d = 4*o - 893, 0*o - 2664 = -3*d + 3*o. Is d composite?
True
Let b = 1943 - 408. Is b prime?
False
Let h be (-9)/(-6)*(-508)/(-6). Suppose -3*b - 3*o + 363 = 0, b + 0*b - 119 = -3*o. Suppose 0 = 3*v + 5*t - h, -4*v + v - 4*t = -b. Is v composite?
True
Suppose -n + 0*n + 75 = 0. Suppose j + 4*h - n = -2*j, 5*j - h - 102 = 0. Is j a composite number?
True
Let s = 977 - 636. Is s a composite number?
True
Let f(y) be the second derivative of y**4/6 - y**3 - y**2/2 - 16*y. Suppose -3*v - i - 14 = 0, -v + 8*i = 3*i - 6. Is f(v) composite?
True
Let f(q) = -q**2 - 4*q + 5. Let t be f(-6). Let x = 10 + t. Suppose 6 = 3*n, -2*b + 6*b - x*n = 142. Is b a composite number?
False
Suppose 0 = 5*u + 25, 4*u = -r - 3*r + 428. Let h = r - 33. Is h a composite number?
False
Let a(l) = -l**3 + 6*l**2 + 3*l + 4. Let m be 2*(1 - 2*-2). Let y be (m - -2)*(-2)/(-4). Is a(y) a prime number?
False
Suppose -4*g = -2*r + 10, -3*r + 0 = -5*g - 12. Let k be 