+ 1. Is p(u) prime?
True
Suppose -4*s - 5*b - 18 = 0, -3*s = -s + 5*b + 14. Suppose -13 + 3 = 5*n + 5*h, -4*n - 5*h - 12 = 0. Let q = n - s. Is q a composite number?
True
Let v be (-6)/(-9)*3 - 2. Let h be (-2 - -1)*(v - 17). Let c = -10 + h. Is c a composite number?
False
Let a(k) = -151*k - 6. Let f be a(-5). Suppose f = 5*u + 3*i - 176, 0 = 3*i. Is u composite?
True
Let y be 2/(-11) - (-18)/99. Let b be y/(-3*6/9). Suppose 2*g - 254 = -b*g. Is g prime?
True
Let v be 4/((-12)/9) + 18. Is 3/(-6)*2 + v a composite number?
True
Let j = 21 - -14. Suppose -3*p = 2*p - j. Is p a composite number?
False
Let i(a) = 5*a + 8. Let k(q) = 6*q + 9. Let m(c) = -3*i(c) + 2*k(c). Is m(-9) a prime number?
False
Suppose -2*n + 407 = h, -2*n + 10 = -0. Is h composite?
False
Let l be 165 - 0 - (0 - -3). Let g = -111 + l. Is g prime?
False
Suppose 0 = 3*v - 4*d - 327, -5*v + 553 = -d - 3*d. Is v a composite number?
False
Suppose p + z = 249, -7*p + 2*p + 1249 = 3*z. Is p prime?
True
Suppose 16 + 78 = -2*f. Let g = 6 - f. Is g a prime number?
True
Let k be (-10)/(-3)*69 + -1. Suppose -k = -3*d + 47. Suppose 0 = w - u - u - 41, 2*w - d = 2*u. Is w a composite number?
True
Let o = -4 - -9. Suppose 4*v = o*z - 102, -2*z + z + 14 = -4*v. Is z a prime number?
False
Let k(b) = -136*b + 3. Is k(-5) a prime number?
True
Let k = 522 + -155. Is k prime?
True
Let n(z) = z**3 - 10*z**2 + 13*z - 1. Let l be (6/4)/((-1)/(-42)). Suppose 18 = -5*a + l. Is n(a) a prime number?
False
Let j = 60 - -5. Let s = j - 19. Is s a prime number?
False
Suppose 3*i + 5*x = -387, 0 = -6*i + 2*i - 5*x - 516. Let t = i - -392. Is t a composite number?
False
Let t = -4 - -6. Let d be ((-5)/3 + 1)/((-3)/18). Suppose -t*b + 350 = -d*r, -b - b + r + 341 = 0. Is b composite?
True
Let j(v) be the third derivative of -v**4/24 + 5*v**3/3 + 3*v**2. Let g be j(6). Suppose -126 = -g*s - 34. Is s prime?
True
Let c(z) be the second derivative of -7*z**3/3 + 7*z**2 + z. Let o be c(-10). Suppose -o - 63 = -3*r + 2*j, -r + 59 = 2*j. Is r prime?
False
Let u(i) be the third derivative of -i**6/120 - 2*i**5/15 - 5*i**4/24 + 4*i**3/3 - 2*i**2. Let h be u(-7). Let a = h - -17. Is a a prime number?
True
Let z(k) = -150*k**3 + 143*k**3 + k - 2*k**2 + 207*k**3 + 128*k**3. Is z(1) prime?
False
Suppose 4*j = -t + 2*t - 157, -5*t + j = -747. Is t composite?
False
Let p(w) be the first derivative of w**4/4 - 2*w**3/3 - w**2 - 8*w - 3. Is p(7) a composite number?
False
Suppose 7*t = 2076 - 305. Is t a prime number?
False
Let z be (-20)/(-12) + 2/6. Suppose z*x - 25 = -5*o, 5*x = 4*o + o - 25. Suppose 225 = o*i + 2*c, 6*i - 3*i + 4*c - 121 = 0. Is i a prime number?
True
Let s = 31 + -21. Let c(n) = 2*n + 5. Let y be c(5). Let q = y + s. Is q composite?
True
Let t(h) = -5*h**3 - 7*h**2 - 2*h + 5. Let v(i) = 9*i**3 + 14*i**2 + 4*i - 9. Let s(m) = 11*t(m) + 6*v(m). Is s(6) composite?
True
Let u(p) = 8*p**2 - 3*p - 3. Is u(4) composite?
False
Let t = 83 + -58. Let u = t + 0. Is u composite?
True
Let n be -2 + -3*(-1 - 151). Let f = -12 - -215. Let k = n - f. Is k prime?
True
Let y(a) = 5*a**2 - 2*a + 1. Let j be y(1). Suppose -3*t = -3*h + h - 18, 0 = 4*t + h - 24. Let o = t + j. Is o a prime number?
False
Suppose 4*x = -4*j - 56, -2*x + 16 = -j - x. Let q be (114/j)/((-1)/5). Suppose -4*v + q = n - 113, -2*v + 83 = 3*n. Is v prime?
True
Suppose -3*c - 2*a = 4, -5*c - 9 = -4*a + 5. Let m be (1 + (-3 - c))/(-1). Is 1 + (34 - m/2) a prime number?
False
Let t(k) = -k**3 + 11*k**2 + 13*k - 11. Let n be t(12). Is (-158)/((-3)/n - -1) composite?
False
Let q = 1 + 42. Is q a composite number?
False
Let p = -3 + 1. Is (-1 - p - 2)*-23 prime?
True
Let u(h) = -h**2 + 4*h - 1. Suppose 10 = 4*y - 2. Let l be u(y). Suppose -l*b = b - 177. Is b a prime number?
True
Let s(a) = a - 1. Let i be s(3). Let o(n) = 4 - n + n**i - 2*n - 8 + n. Is o(-3) composite?
False
Suppose 2*u + 2*u = 8. Suppose 0 = d - u*d. Suppose k - p = 39, -k + 5*k - 3*p - 154 = d. Is k a composite number?
False
Let d(u) = -2*u**2 - u. Let a be d(-2). Let k be (-125)/(-3) - (-4)/a. Suppose -2*s + k = -25. Is s a composite number?
True
Let j be 6 + 6 - (0 - 0). Suppose -4*w + 3*c = -j, -w - 4*c = -6*w + 14. Suppose w*f - 166 = 4*f. Is f prime?
True
Let b(s) = 7*s + s**3 + 6*s**2 - 6*s - 5 - 2*s**3. Is b(4) prime?
True
Let a(n) = 59*n. Let z(g) = g**2 - 5*g + 1. Let c be z(5). Is a(c) prime?
True
Suppose i = 5*z + 427, 2*i - 3*z + 427 = 3*i. Is i prime?
False
Let t(z) = 3*z**2 - 6*z - 10. Is t(-15) prime?
False
Suppose r = -5*n - r - 10, -15 = n + 3*r. Suppose 3*m + 3*h = 99, n = 5*m + 3*h + 56 - 223. Is m a prime number?
False
Let b(q) = -10*q - 7. Let h be b(-8). Let r = h - -48. Is r a prime number?
False
Let j = 9 + -6. Suppose -w + 11 = -j. Is w a prime number?
False
Is (-3)/((-156)/147 + 1) a composite number?
True
Suppose 2*p + 6 = 0, 3*s + 5*p + 2 = -1. Suppose 0 = s*j + 3*r, 8 + 4 = 3*r. Let c = j + 10. Is c a composite number?
False
Let q = 225 - 14. Is q a composite number?
False
Let b(x) = -3*x**2 - 20*x + 6. Is b(-5) a prime number?
True
Suppose -3*d + a + 4*a - 41 = 0, -a - 10 = 2*d. Let z = 12 - d. Is z prime?
True
Suppose 3*n - 97 = b + 96, 0 = -b + 2. Is n a composite number?
True
Let w(a) = 147*a - 1. Is w(4) composite?
False
Let k = 22 + -18. Suppose k*o - 103 = 3*o. Is o a prime number?
True
Let f(v) = -2*v - 8. Let d be (-1 - 0)/(3/18). Let g be f(d). Is g/6 + (-109)/(-3) a composite number?
False
Let u(c) = -4*c**2 + 12*c - 13. Let g be u(12). Let d = -318 - g. Is d a prime number?
True
Is (-12)/9*(-1422)/12 a composite number?
True
Suppose 4*h - 9*h - 20 = 0. Is 15/(-10) - 50/h prime?
True
Let k(t) = -t**2 - 5*t + 1. Let j be k(-3). Suppose -j*q + 754 = -5*q. Is q prime?
False
Suppose 0 = -5*o - 6 + 31. Let q(f) = -f**3 + 5*f**2 + 2*f - 5. Let m be q(o). Is (m/3 + -1)*51 composite?
True
Suppose 5*n - 3*h = -1053, 2*h + 0*h = -4*n - 860. Let v = 382 + n. Let t = v + -114. Is t a composite number?
True
Let s(r) = -33*r + 20. Let q(m) = -9*m + 5. Let l(t) = -t. Let y(p) = -l(p) + q(p). Let g(k) = 2*s(k) - 9*y(k). Is g(4) a prime number?
True
Let r(x) = 5*x + 1. Let c be r(1). Suppose -c*k + 78 = -3*k. Is k a prime number?
False
Let p(y) = 34*y**3 + y + 1. Let g be p(-1). Let q = g - -60. Is q a prime number?
False
Let x = 0 + -2. Is (3/x*2)/(-1) composite?
False
Let g be 18 - (1/1)/(-1). Suppose -2*x = -39 - g. Let y = x + -14. Is y prime?
False
Suppose 0 = -4*p - 16 + 48. Let s(m) = m**2 - 8*m + 6. Let v be s(p). Is v/(0 - -2)*1 prime?
True
Let n be (-12)/20 + 34/(-10). Let c(u) = -u**3 - u**2 + 1. Is c(n) composite?
True
Let u(c) = 5*c**2 - 11*c - 15. Is u(-7) a composite number?
False
Suppose -4*c + 0*c = 0. Suppose c*p + 13 = 3*r + 4*p, -3*p + 12 = 0. Is 5 + r - -1 - -2 prime?
True
Let a be ((-6)/4)/(10/(-20)). Suppose 0 = n - a*r - 107, 4*n + 5*r - 376 - 120 = 0. Is n prime?
False
Let m(r) = 2*r**2 + 6*r. Let b be m(-4). Let f be b/(-4) - (-7 - 2). Let t(s) = 2*s**2 - 6*s + 9. Is t(f) composite?
True
Let s(l) = l**2 + 6*l + 5. Let f be s(-6). Let k = 18 - f. Suppose o - k = 44. Is o a prime number?
False
Let h = 81 + -14. Is h prime?
True
Suppose -7 + 17 = -5*q. Is -1 - ((-3 - q) + -129) a prime number?
False
Let i = 817 + 2020. Is i a prime number?
True
Let t(o) = -9*o**2 - 17*o - 15. Suppose x + 2*n = 5*x + 4, 0 = 2*x + n + 2. Let j(z) = -z**2 - z - 1. Let c(p) = x*t(p) + 6*j(p). Is c(-8) prime?
True
Let d = -9 + 10. Is 1 - 14*d*-8 composite?
False
Suppose -3*k + 14 = -5*l, 2*k = 2*l - 0*k + 8. Is 2*(l + 2) + 89 a prime number?
False
Let h = 0 + 2. Let u = h + 5. Let d = u - -52. Is d a prime number?
True
Let a be 3 + -1 + (-26)/1. Let v be (-1)/6 - 76/a. Suppose 21 = s + v*f, 4*s - 14 = -f + 15. Is s prime?
False
Let d be 4/2 - 0 - -70. Let w = 40 - d. Let q = 5 - w. Is q composite?
False
Let c be 307 + 4*1/2. Suppose 3*k - 930 + c = -5*m, 2*m = -2*k + 250. Is m a prime number?
False
Let c(q) be the first derivative of q**4/4 + q**3 + q**2 + 3*q + 1. Suppose -34 = -5*r - 44. Is c(r) composite?
False
Let k(g) = -g - 4. Let s be k(-6). Let l(y) = -y + 5. Let i be l(5). Suppose i = 5*o + 3*w - 64, 2*w = s*o - w - 34. Is o prime?
False
Let j(v) = v**2 + 9*v + 19. Let i(m) = m**3 - 2*m**2 + 3*m - 4. Let o be i(3). Is j(o) a composite number?
True
L