e first derivative of p**5/20 + 2*p**4/3 + p**3/6 - p**2/2 + 2*p + 1. Let s(k) be the first derivative of j(k). Is s(-6) a composite number?
True
Let w(y) = -78*y - 1. Let r be w(-1). Let g = -31 + r. Is g a composite number?
True
Let i = 483 + 194. Is i a prime number?
True
Let x be -4 + 1 + 0 + 5. Suppose -2*l = x*v - 1576, 3*l - 1925 - 433 = -v. Is l composite?
True
Let m(u) = 18*u. Let d be m(1). Suppose -4*q = 6 - d. Is 1/((-1)/(-42)) - q a composite number?
True
Let u(t) = -37*t. Suppose 4*p - x + 12 = 36, -4*x = -4*p + 24. Suppose 5*m + p = 1. Is u(m) a prime number?
True
Suppose 0 = -z + 4*z. Suppose 0 = -0*y + 2*y - 12. Suppose z = -u - 2*x + 163, -151 = -u - 4*x + y*x. Is u a prime number?
True
Let l be (10/(-4))/((-4)/8). Suppose 238 = l*t + 2*b - 74, 2*t + 4*b = 128. Is t a prime number?
False
Suppose 14 = -3*z + 3*o + 2*o, 3*o - 10 = z. Suppose -z*p - 10 = -4*r - 4*p, -r = 2*p - 10. Is 6/6 + (r - -52) prime?
True
Let w = 155 + -78. Is w a prime number?
False
Let z(r) = 91*r**2. Is z(-1) prime?
False
Is (-1 + (-6)/(-3))/((-3)/(-3513)) a prime number?
True
Let n(p) be the third derivative of -4*p**6/15 - p**5/60 + 5*p**4/24 + 5*p**3/6 - 5*p**2. Is n(-2) a composite number?
True
Suppose -b + 44 + 20 = 3*l, -4*l - 4*b = -72. Suppose -l = -2*q + 143. Is q prime?
True
Let y = -23 - -228. Is y - (6/2 + -1) prime?
False
Let b(k) = 2*k**3 - 8*k**2 + 4*k - 4. Let u be b(5). Let c = 60 - 91. Let x = u + c. Is x prime?
False
Let d(j) = -j**3 - 8*j**2 - 12. Let f be d(-10). Let u = -99 + f. Is u composite?
False
Let f(n) = 20*n**2 + 10*n + 7. Is f(9) composite?
True
Suppose -17008 = -11*k + 14133. Is k composite?
True
Suppose 5*m = 3*n + 170, -5*n - 56 = -m - 0*m. Is m prime?
True
Is ((-777)/14)/((-3)/2) prime?
True
Suppose -4*k + 3*n = 0, 0 = -0*k + k + 5*n - 23. Let w = 2 - k. Is (0 - -15)*(2 + w) a composite number?
True
Suppose -3*d + 122 = 2*b, 7*d - 2*d - 10 = 0. Let q = -77 + 52. Let x = b + q. Is x a composite number?
True
Suppose -7*z + 3*z + 455 = 5*w, -5*z = 5*w - 570. Is z composite?
True
Suppose c - 9 = -2*c. Suppose 0 = -5*n, -c*o - 3*n - 8 = -47. Is o a composite number?
False
Suppose 48 = -4*b - 5*x, 0 = -4*b + 5*x - 7 - 1. Let f be 0 - 2 - b*1. Suppose -5*h + 118 = f*y - 2*y, 2*y = h - 21. Is h a prime number?
True
Suppose 0*u - 106 = -u + a, 0 = -5*a + 25. Is u a composite number?
True
Let g = -7 + 7. Suppose g*i = i + 3. Is (2/4)/(i/(-132)) a prime number?
False
Let q(n) = 2*n**3 - 16*n**2 + n - 2. Is q(9) a prime number?
False
Let d(i) be the second derivative of 7*i**3/6 + i**2 + i. Is d(11) composite?
False
Let t be 3 - (-10)/2 - 1. Suppose -3*m + 4*b = 57, 0 = -3*m + t*m + b + 95. Is (m*1)/(2/(-4)) a composite number?
True
Let a(b) = 50*b**2 - 3*b - 3. Is a(-4) a prime number?
True
Suppose 0 = -2*g + 5*i + 64, -4*g + 3*i + 104 = -i. Suppose x = 3*x - g. Is x prime?
True
Let w(u) = u**3 + 6*u**2 - 2*u - 5. Let b be w(-6). Let l = 10 - b. Suppose -z - l*z = -28. Is z prime?
True
Suppose -4*y - 4*p - 19 + 3 = 0, -2*p - 13 = 3*y. Let r(o) = o**3 + 6*o**2 + 2*o - 1. Is r(y) composite?
True
Suppose 0 = -z + 4*z. Suppose -2*p + 148 + 150 = z. Is p a prime number?
True
Let p(g) = 10*g**3 - g**2 - g - 1. Let w be p(-1). Let c = 25 + w. Is c a prime number?
False
Let c(r) = 7*r - 4 + 5*r**2 - 1 - 4 + 7*r**2. Is c(4) a composite number?
False
Let x be ((-9)/4)/(2/(-8)). Let i = x - -10. Is i a prime number?
True
Let p(v) = v**3 + 5*v**2 + v + 1. Let h be p(4). Suppose -h + 8 = -3*d. Let o = -10 + d. Is o prime?
True
Let k(t) = -4*t + t + 58 + 2*t - 5. Is k(0) a prime number?
True
Let l(c) = c**3 - 3*c**2 + 4. Suppose -x + 4 = -0*x. Let q be l(x). Let b = 17 + q. Is b composite?
False
Suppose 0*q + 3*q = 0. Suppose -2*k + 2*z + 412 = 4*z, 2*k + 4*z - 422 = q. Is k composite?
True
Let o be 3 + (-1)/(3/9). Let y be -112 - (3 - o/2). Let l = y + 182. Is l a prime number?
True
Suppose -67 - 62 = -3*n. Is n a prime number?
True
Is (-6)/4*(-1180)/30 composite?
False
Let i = 2 - -1. Suppose -i*w + 4*y = -109, 4*y + 53 + 91 = 4*w. Is w prime?
False
Let c(g) = -g**2 - 9*g + 3. Let h be c(-8). Suppose -1 = -5*n - h. Is (-134)/n - (4 - 2) prime?
False
Let t(m) = m + 18. Is t(20) composite?
True
Let p be (2/(-4))/(2/(-188)). Let h be (-14)/(-4) - (-4)/(-8). Suppose t - 47 = -f, 0 = -5*t + 4*t - h*f + p. Is t a prime number?
True
Let c be 2 + 3/(6/4). Suppose -3*b + f = -467 - 100, -c*b = -3*f - 751. Let a = b - 101. Is a prime?
True
Let h = 26 - 21. Suppose -h*l + 148 = -l. Is l a composite number?
False
Suppose 1 = 3*l + 3*f - 5, -4*l + 3*f = -36. Let s(w) = -w**3 + 9*w**2 - 7*w - 7. Is s(l) a composite number?
False
Suppose 2*x = 3*r - 5, -r = -4*x - 3*r + 14. Suppose -b + x + 36 = 0. Suppose 0*w + b = w. Is w a composite number?
True
Is (19 - 17) + 1*885 a prime number?
True
Let t(z) = -17*z**2 - 5*z - 3. Let b be t(-3). Let w(n) = 57*n**2 + n. Let a be w(2). Let m = a + b. Is m a composite number?
False
Suppose 0 = 2*s - 8, -4*s = -0*u - 3*u - 13. Suppose 0 = -3*k - 4*y + 451, 3*y - 2 = u. Suppose -a = -2*a + k. Is a composite?
False
Let a(u) = -u**3 + 7*u**2 + 7*u - 4. Let k be a(6). Let x = k - 39. Is (0 - -2) + x + 0 composite?
False
Let a(r) = 100*r + 29. Is a(6) composite?
True
Suppose -2*f - 1 = -l - 0*l, -13 = f - 3*l. Let s be ((-112)/(-24))/(f/6). Let y = 5 + s. Is y prime?
True
Suppose 1017 - 100 = 7*x. Is x composite?
False
Suppose 2*i - 817 + 113 = 0. Let l = i + -161. Is l a prime number?
True
Suppose 218 = 3*y + 4*t, y - 3*t + 367 = 6*y. Is y a prime number?
False
Let q(y) = -y**3 - 11*y**2 - 11*y - 4. Is q(-10) prime?
False
Let x(c) = -3*c + 3. Suppose -2*z + 4 + 0 = 0. Let a be x(z). Let j = 36 - a. Is j prime?
False
Suppose -39*r = -40*r + 779. Is r a composite number?
True
Let q be (12 - 2) + 0/1. Is 4/q - 326/(-10) composite?
True
Suppose -7*h - 8*h + 8955 = 0. Is h composite?
True
Suppose -4 = -s + 1. Let u(z) = -z**3 + 5*z**2 + z - 3. Let x be u(s). Suppose 3*f - 155 = -x*f. Is f prime?
True
Let j(k) = k**2 + 217. Is j(0) composite?
True
Let n = 649 - 440. Let h = 138 + n. Is h composite?
False
Suppose 3*f - k = 2*f + 5, -3*k = -5*f + 15. Let r be 2/9 + 2/(-9). Suppose 3*i + y - 173 = r, -2*i + 104 = -f*i - 5*y. Is i prime?
False
Let r(j) = 3*j + 2 + j + j**2 - 1. Let d be r(-4). Is 20/6*(d - -2) a composite number?
True
Suppose -7*k + 16*k - 3231 = 0. Is k a composite number?
False
Suppose -15*a = -8*a - 24367. Is a composite?
True
Suppose -6830 = -10*s - 0*s. Is s a composite number?
False
Suppose -5*g = p - 15, 0 = -2*p + 5*g - 2*g - 9. Suppose 0 = -5*r + 95 - p. Let m = 56 - r. Is m a prime number?
True
Let f be 4/(-2 - -4) + 2994. Suppose -q = 3*q - f. Suppose g - 5*a - 231 = -0*a, -a - q = -3*g. Is g a composite number?
False
Let z(i) = 5*i**2 + 6*i + 10. Is z(-7) a prime number?
False
Let z(k) = -k**3 + k**2 + 3527. Is z(0) prime?
True
Let i(q) = 97*q + 57. Is i(14) composite?
True
Let f be (6/(-9))/(4/6). Let y be -2*(22/4)/f. Suppose i + 0*i = y. Is i a composite number?
False
Suppose -5*q = -5 - 15. Suppose b + 4*b = q*d - 2591, -2*b + 2 = 0. Is d a prime number?
False
Suppose 3*w - 2*i - 703 - 780 = 0, -5*w - 5*i + 2505 = 0. Is w a prime number?
False
Suppose 5*b - 872 = 663. Is b a composite number?
False
Suppose -2*g + 380 = 3*g. Suppose -38 = -3*o - 167. Let p = o + g. Is p prime?
False
Let x(k) = 3*k + 0*k**3 - 2*k**2 - 2 + 2*k**3 + 0. Let r be x(2). Let q = r + 14. Is q a prime number?
False
Is (-343)/(-11) - (-60)/(-330) composite?
False
Suppose -4*s = 3*v - 299, v = -s + 56 + 18. Is s a prime number?
False
Let m(b) = -28*b - 1. Is m(-4) prime?
False
Let i(t) = t**3 - 3*t**2 + 2*t + 7. Let r be i(6). Is (r*(-1)/1)/(-1) composite?
False
Suppose 0*q - 3*q - 9 = 0. Is 80 + (4 + q)*-1 composite?
False
Suppose -12218 = -6*b - 2744. Is b a composite number?
False
Let t be 2 + (0/(-2))/3. Suppose -2*a + 3*d = -t*d - 193, -4*a + 368 = -4*d. Is a a prime number?
True
Suppose -z + 6*z + 24 = -3*n, -3*z - 14 = 2*n. Let a = 13 - z. Is a prime?
True
Let x = -199 - -533. Let z = x - 31. Suppose -5*h + z = -122. Is h a prime number?
False
Suppose -14876 - 35343 = -13*y. Is y composite?
False
Let u(s) = 4*s**2 - 7*s - 7. Let n be u(-5). Suppose l = -0*q + q - 130, 3*q = l + n. Let r = l + 225. Is r composite?
True