rd derivative of -k**5/60 - k**4/2 - 2*k**3/3 + 3*k**2. Let w be p(-8). Suppose q = 3*q - w. Is q prime?
False
Suppose -50 - 45 = -5*h. Is h composite?
False
Let v = 5 + -3. Let o(h) = -h**3 + 38. Let y be o(0). Suppose -4*t + 5*p + 59 = 0, t = -v*t + 5*p + y. Is t a composite number?
True
Let a(v) = -v**3 - 3*v**2 + 3*v + 10. Let r be a(-8). Let o = r - 151. Suppose -5*m + 2*m = 4*x - o, 3*m = -2*x + 151. Is m a prime number?
False
Suppose 25 - 10 = -3*x + 3*l, -3*x + 4*l - 16 = 0. Let b be 2*((-14)/x + 0). Is 14/b + 38 + -1 prime?
False
Suppose -5*x + 8 = -x. Suppose 4*j = 6 + x. Is j prime?
True
Suppose -c = 1 - 5. Suppose -2*h = 10, o - c*h + h - 302 = 0. Is o a prime number?
False
Let b(i) = i. Let v(h) = 19*h - 2. Let t(g) = -6*b(g) + v(g). Let l be t(3). Suppose -2*n + 99 - l = 0. Is n composite?
False
Is (18/27)/((-2)/(-1407)) a prime number?
False
Let x(f) = f - 5. Let p be x(9). Is -178*((-14)/p - -3) prime?
True
Let u = -865 - -1302. Is u a composite number?
True
Suppose 0 = -7*c + 10*c - 21. Is c prime?
True
Let m(b) = -b**3 - 4*b**2 + 3*b - 5. Let g be m(-5). Suppose -g*r + 3*i = -36, r - 3*r = -i - 14. Is r a composite number?
True
Let k = 1129 - 240. Is k a prime number?
False
Suppose 2*g + 3345 = 5*g. Suppose -3*x = -8*x + g. Is x a composite number?
False
Let g be (-3)/((-2)/((-8)/(-3))). Let c be 16 - (-1 + -2)/1. Is g/(-8) + c/2 a composite number?
True
Let t(b) = -b**3 + 16*b**2 - 10*b + 2. Is t(11) a prime number?
False
Suppose 130 = q - 3. Is q a composite number?
True
Let l = 477 + -223. Is l a composite number?
True
Let l(f) = f**3 + 8*f**2 - 10*f - 4. Let d be l(-9). Suppose 3 = -j - d. Let u(b) = -b**3 - 8*b**2 - 6*b - 11. Is u(j) a composite number?
False
Is 132 - (12/4 + -4) a prime number?
False
Let b(g) be the first derivative of 9*g**4/4 - 2*g**3/3 + g**2 - g + 1. Let p(w) = w**2 - 8*w + 2. Let u be p(8). Is b(u) prime?
True
Suppose 1 - 4 = u. Let f(g) = -7*g**3 - 2*g**2 - 2. Let t be f(u). Let r = t - 116. Is r a prime number?
True
Suppose 2*b - 3 = 5*c - b, 5*c + 27 = -3*b. Let p(r) = -3*r + 2. Let u be p(c). Suppose -k = -u + 4. Is k a composite number?
False
Suppose 5*x + 19 - 624 = 0. Let b = -54 + x. Is b a prime number?
True
Let u(q) = q**3 + 4*q**2 - 6*q - 3. Let h be u(-5). Is (77/(-3) - h)*-3 prime?
True
Let s(i) = 84*i**2 - 3*i - 21*i**2 + 9*i**2 - 1. Is s(-2) a prime number?
True
Let q be -1 + -1 + (12 - 0). Suppose -1 = 3*x - q. Suppose 2*a - 28 = -c, -2*a - c = -x*a + 11. Is a composite?
False
Suppose 3*j - 34 = 2*m, -2*j + j - 4*m = -16. Let b be ((-121)/(-2))/(3/j). Let t = b - 173. Is t a composite number?
True
Let m = 0 - -10. Let o = m + 9. Is o a prime number?
True
Let t = 9 + -6. Suppose -3*p - 8 = 1, 0 = -2*z + t*p + 11. Is (-1)/2*(z - 171) a prime number?
False
Let n(t) = t**2 + 3*t. Let h be n(-4). Suppose i = -h*i + 15. Suppose -3*c = 4*l - 155 + 16, -i*l + 105 = 2*c. Is l prime?
True
Let f be 6/4 + (-150)/(-12). Is (7/f)/((-3)/(-1314)) composite?
True
Let z = 8 + -3. Let m = z - -38. Is m prime?
True
Let l(r) = -3*r**3 - 2*r**2 - 2. Let c be l(3). Let v = c + 154. Is v a prime number?
True
Let s(z) = -7*z - 12. Let g be s(-10). Let h = g + 366. Suppose -2*u + 2 = 12, -3*n - u = -h. Is n a composite number?
True
Let i = -5 + 4. Let w(b) = 379*b**2 + 2*b + 1. Let x be w(i). Let r = -259 + x. Is r prime?
False
Let k be (-21)/(-7) + (174 - -1). Let v = k + -123. Is v a prime number?
False
Is 7/(-14)*1166/(-1) a composite number?
True
Let f = -1 - -5. Suppose -h + 107 = 4*j, 3*h + f*j + 274 = 5*h. Is h a composite number?
False
Let z(q) = 317*q + 4. Is z(3) a composite number?
True
Let v(n) = n**2 + 13*n - 1. Is v(-17) prime?
True
Let b(z) = -z**2 + z + 9. Let n(a) = -4. Let m(p) = -3*b(p) - 5*n(p). Suppose 0 = 2*k - 1 - 9. Is m(k) a composite number?
False
Let j(r) = -10*r + 2. Let t be j(-8). Suppose t = 2*n - 96. Is n a composite number?
False
Let t = -5 - -10. Suppose -4*w - 1049 = -t*n, 3*n + w + 419 = 5*n. Is n a composite number?
True
Let x = -19 + 75. Suppose 4*o - 4*l = x, 0 = 2*o + 4*l - 11 - 11. Is o a prime number?
True
Let h(r) = r**3 + 4*r**2 + 2*r - 2. Let y be h(-4). Let f be 5*(16728/y)/(-2). Suppose f = 5*x + 1067. Is x a prime number?
False
Let u be (2/6)/(3/(-9)). Let x be ((-485)/(-10))/(u/2). Let y = 166 + x. Is y prime?
False
Let w(p) = p**3 - 5*p**2 - 9*p + 5. Let f be w(7). Let l be 2/(-6) + f/12. Is 31 + l*(-4)/(-6) composite?
True
Let y be 0/(-4*3/6). Suppose -3*m - 2*m + 705 = y. Suppose -3*n = 5*a - m, -2*n - n - 4*a + 141 = 0. Is n a prime number?
True
Let d(m) = -m**2 + 12*m - 9. Let g be d(9). Let x = 71 + g. Is x a composite number?
False
Let k = -13 - -16. Suppose -k*w = -545 + 122. Is w a composite number?
True
Is 3/(-18) + (-74)/(-12) prime?
False
Let l = 128 - 40. Suppose -u + l = 21. Is u a composite number?
False
Suppose -17 = -5*a - 7. Let h be (2 - a) + -11 + 2. Let i = h + 19. Is i a prime number?
False
Let q(j) = 41*j**2 + 3*j + 1. Is q(3) composite?
False
Let j = 107 - 33. Is j a prime number?
False
Let j(a) = -3*a**2 + 2*a + 2. Let i be j(2). Let p(q) = -12*q + 5. Is p(i) a prime number?
False
Let q(b) = b**3 - b**2 - b. Let r(a) = a**3 - 7*a**2 - 9*a + 1. Let m(s) = 3*q(s) - r(s). Is m(4) prime?
False
Let k(n) = -5*n - 20. Let m(b) = -2*b - 7. Let r(l) = 6*k(l) - 17*m(l). Is r(9) composite?
True
Suppose -4*r = -0*r - 1052. Is r a composite number?
False
Let c = 146 + 863. Is c a prime number?
True
Let t be (-12)/27*3*-6. Is (-6 - t)/(2/(-43)) prime?
False
Let a(h) = h**3 - h**2 + h + 1. Let g(k) = 7*k**3 - 11*k**2 + 13*k + 8. Let r(b) = -6*a(b) + g(b). Is r(5) a prime number?
True
Suppose -2*m + 5*q = m - 1996, 652 = m + 5*q. Is m prime?
False
Let y = 1785 - -98. Is y composite?
True
Let g = -3 + 8. Suppose 348 - 1063 = -g*f. Is f prime?
False
Suppose h = -3*h - 20. Let x be 1/5 - 744/h. Suppose -3*k - 4*f = -0*f - x, 3*k = f + 169. Is k a composite number?
True
Let m(v) = -20*v + 7. Is m(-6) a composite number?
False
Let g = -620 + 925. Is g composite?
True
Suppose 0 = 4*q + 2*t + 1 + 3, 5*q = -t + 1. Is (14/(-4) + q)*-34 composite?
True
Suppose 3*i = 5*m - 31, 4*i - 10 + 33 = 3*m. Let b(d) = 14*d + 9. Is b(m) prime?
True
Let u(p) = -3 - 4*p + 2*p + 0*p - p**2. Let l be u(-2). Is 36 + (-1)/(-2 - l) a composite number?
True
Let r = 7 - 5. Let f = r + -15. Let x = f - -36. Is x prime?
True
Let y(l) = l**3 - 5*l**2 + l + 1. Let i be y(5). Suppose g - s = 760, -2*s - i = -4*s. Is (-2)/(-3) - g/(-21) a composite number?
False
Let a(f) = f - 3. Let x be a(5). Let r(k) = k**3 - 6*k**2 - 21*k - 12. Let s be r(9). Suppose u = 5*p + 33, -3*p = x*u - p - s. Is u composite?
False
Suppose -14 + 5 = -3*g. Let d(c) = 31*c + 1. Is d(g) composite?
True
Suppose -t = -5*m - 18, 0 = -3*t - m + 16 + 6. Let x = t + 2. Is x a composite number?
True
Let v = 100 + -68. Suppose p - v - 71 = 0. Is p a composite number?
False
Let w(f) = 2*f - 7. Let p be w(6). Suppose 0 = -p*x + 12 + 33. Is x composite?
True
Let n = 8 + -8. Suppose n = 5*y + 25, m - 499 = -2*m + 2*y. Is m composite?
False
Suppose 3*t = -h - 67 - 518, -989 = 5*t - 3*h. Is (t - -2)*1/(-2) a prime number?
True
Suppose -162 = -3*u - 3*q + 213, -2*u = q - 252. Is u a prime number?
True
Let u be -4 + 3*2/6. Let w be 3 - (-87 + u/(-1)). Let q = -32 + w. Is q prime?
False
Let n(x) = -2*x**3 - 5*x**2 + 2. Is n(-5) composite?
False
Let p = 10 + -5. Suppose p*k = k + 124. Is k a composite number?
False
Suppose 20 = 5*t + 5*f, -2*t + 3*t = 5*f - 8. Let i be 2/(-3)*(-2 + -1). Suppose 0 = -z + 5*h - 2 - 10, -i*z - t*h + 36 = 0. Is z prime?
True
Let f(h) = 1947*h**2 + 9*h - 5. Is f(2) a composite number?
True
Is (-1)/(-2) - 7969/(-26) composite?
False
Let w(h) = -h + 2. Let d be w(2). Suppose d*q = 4*q - 8. Suppose q + 91 = 3*z. Is z a composite number?
False
Suppose -10*l + 7*l = -4929. Is l prime?
False
Suppose -5*r = -2*p - 12363, -3*r = -r + p - 4938. Is r a prime number?
False
Suppose -x + 579 = x - j, -284 = -x - 5*j. Is x a prime number?
False
Let t(v) = -v**3 + v + 20. Let l be t(0). Suppose 0 = -j + l + 15. Is j a composite number?
True
Let x(r) = 1 + 46*r + 0 - 11*r - 2. Is x(12) prime?
True
Let u be 6/(0 + (-1)/(-1)). Let k be (-10)/(-6) - (-2)/u. Is (2 + -1)*(k - -125) prime?
True
Suppose -2*y = -2*w + 11