 1. Let k = m - 0. Suppose k = 7*i - 2*i - p - 39, i - 11 = p. Is i prime?
True
Let w = 8 - 12. Let k(m) = m**3 + 6*m**2 + m + 5. Is k(w) composite?
True
Suppose -7128 = -5*p + 5437. Is p a prime number?
False
Let q(t) be the first derivative of t**4/6 + t**3/6 - t**2/2 - 2. Let l(x) be the second derivative of q(x). Is l(6) composite?
True
Let t = 129 - 186. Let l = -34 - t. Is l a composite number?
False
Suppose 2*s + 5*f = -2, s + 0 = f + 6. Let y be 58/(s/2)*-1. Let d = y + 174. Is d composite?
True
Let b = -4 + 4. Suppose m - 4 = 0, b*m = l - 2*m - 69. Is l a composite number?
True
Suppose -z - 3 + 28 = 5*j, 2*j = 5*z + 10. Suppose -4 = 4*p, j*a - 3*p - 118 = -0*p. Is a a composite number?
False
Let n(s) = -s**3 + 16*s**2 - 28*s + 10. Is n(11) a prime number?
True
Let m(s) = -s**3 + 10*s**2 - 8*s - 9. Let x be m(9). Suppose x = 3*r - 7*r + 44. Is r prime?
True
Suppose 0*v + 24 = 3*v. Let l(z) be the second derivative of -z**5/20 + 7*z**4/12 + 5*z**3/3 - 7*z**2/2 + z. Is l(v) a prime number?
False
Suppose 4*d - 30 = 2*m - 12, 5*d - 3*m - 23 = 0. Let c = -1 + d. Is (c/(-6))/((-1)/28) a composite number?
True
Let y(w) = 324*w + 5. Is y(1) composite?
True
Let g(f) = -56*f + 6. Let x be g(4). Is -2*(-1 + x/4) composite?
True
Let a = 3 + 2. Let u = 42 - a. Is u composite?
False
Suppose -12 = -2*f - 2. Suppose -f*b + 147 = v - 2*b, -b + 284 = 2*v. Is v a prime number?
False
Let b = -12 - -32. Suppose 9 - 145 = -4*c - 5*u, b = -5*u. Is c a prime number?
False
Suppose -3*g = 12 - 0. Let j = -4 - g. Suppose j = -2*u - u + 222. Is u a prime number?
False
Is -5 + 18417/35 + (-2)/10 a prime number?
True
Let c(n) = n**2 + 4*n - 1. Let t be c(-5). Let a(k) = t*k - 2*k - 2 - 16*k. Is a(-2) a composite number?
True
Suppose 0 = -5*t + 15, -4*d - 3*t = -1045 - 1520. Suppose 0*j = 3*j - d. Is j a composite number?
True
Let h(o) = o - 2. Let c be h(8). Suppose 2*z + 429 = c*z - 5*q, -2*q = z - 104. Is z a prime number?
False
Suppose q + 3*u = 958, q - 787 - 171 = u. Is q prime?
False
Let n(u) = -u**3 - 10*u**2 + 9*u - 14. Let h be n(-11). Let o(i) = -i**3 + 9*i**2 - i - 1. Is o(h) a prime number?
False
Let v = 1907 + -1320. Is v prime?
True
Is 1095 + 7 + -12 - 3*1 a prime number?
True
Suppose 0 = -3*k + 356 + 217. Is k a composite number?
False
Let m(g) be the first derivative of g**6/120 - 2*g**5/15 - 2*g**4/3 + 5*g**3/2 + 3*g**2/2 - 1. Let x(z) be the second derivative of m(z). Is x(10) prime?
False
Let o = -55 - -108. Is o prime?
True
Let p = -63 - -146. Is p composite?
False
Let l(c) = 33*c**2 - 3*c - 3 + 7*c + 5. Let k be l(-2). Let b = 17 + k. Is b a composite number?
True
Let l(s) be the third derivative of -s**6/120 + 7*s**5/60 - s**4/4 - s**3/3 + 2*s**2. Let v be l(5). Let j = v - 7. Is j composite?
False
Suppose 2*s + 0*r - 10 = -r, 5*s + 5 = 5*r. Suppose 5*i + s = 2*i. Is (i - -2)/((-3)/(-327)) a composite number?
False
Suppose 3*h = -k + 5*k + 429, -5*k = -3*h + 432. Is h composite?
False
Let m = -11 + 48. Is m composite?
False
Let m(a) = a**2 - 3*a + 3. Let h be m(3). Suppose -2*n + 1457 = -5*v, -3*n + h*v + 720 = -1470. Is n prime?
False
Let d be 15*85 - 0/3. Suppose -d = -5*o - 390. Is o prime?
False
Let n = -745 + 1080. Is n a prime number?
False
Suppose 0 = 3*s + 12, 8335 = 4*o - s - 5685. Suppose 5*a = -5*n + 3*a + 4392, 4*n = -4*a + o. Suppose 2*c = -4*y + 6*c + n, 2*c = 6. Is y a composite number?
False
Let i(j) = 5*j**2 + 7*j + 35. Is i(-17) a composite number?
False
Let p(a) = -20*a**2 - 9*a - 20. Let g(b) = -7*b**2 - 3*b - 7. Let t(h) = 8*g(h) - 3*p(h). Let l be t(3). Let x = l + -30. Is x a composite number?
False
Suppose 0 = -8*j + 13*j - 3925. Is j a prime number?
False
Let j(x) = x**2 + 7*x - 3. Let i be j(-9). Suppose n + l - 2 = 0, -l = 5*n - 2*l - 40. Let f = n + i. Is f composite?
True
Let r = 7 + -3. Is (2 - 12/r)*-503 composite?
False
Let h(k) = -k**2 - 6*k - 4. Suppose 4*l + 5 + 11 = 0. Let n be h(l). Suppose 0 = n*i - 458 + 102. Is i a composite number?
False
Let p(l) = 3*l**2 - 25*l - 11. Is p(12) a prime number?
False
Let i be (-16 - (-4 - -1)) + 1. Is (-9)/i - (-1266)/8 prime?
False
Let n(b) = 478*b - 3. Is n(2) a prime number?
True
Let z = -142 - -515. Is z prime?
True
Let l(q) be the second derivative of -1/2*q**2 + 2*q + 0 + 19/6*q**3. Is l(2) prime?
True
Let v = 221 - -120. Is v prime?
False
Let c = -2 + 2. Suppose d - 4*d + 78 = c. Is d prime?
False
Let d be ((-8)/(-6))/((-8)/(-24)). Suppose -o = -d*h - 0*h - 241, 5*h = 5*o - 1280. Let c = 452 - o. Is c a prime number?
True
Let w be (-16)/7 + 2/7. Is 37 - (w/1 - -2) a composite number?
False
Let r(v) = 31*v - 5. Let p(c) = 15*c - 2. Let l(h) = 13*p(h) - 6*r(h). Let i(j) = -j**3 + 3*j + 1. Let a be i(-2). Is l(a) a composite number?
False
Let r = 1477 + 1014. Is r composite?
True
Is (236 - -6)*(-3)/(-6) composite?
True
Suppose -2*w + 2 = 6*g - g, 4*w = -5*g - 6. Suppose -g*q = -3*q - 3*p + 14, -p = -5*q + 6. Let h = q + 5. Is h a prime number?
True
Let k = -7 + 18. Suppose 6*l - k*l + 635 = 0. Is l prime?
True
Let y be -2*(-5)/((-20)/(-6)). Let o = 183 - -53. Suppose -v = y*v - o. Is v composite?
False
Let p = 9 - -29. Let q = 55 + p. Is q prime?
False
Suppose -3*y - 250 = 4*k, 4*y - 5*y - 92 = -3*k. Let n = 262 + -141. Let l = n + y. Is l a prime number?
False
Suppose 4*c = 3*i - 0*c - 14, 4*i - 4*c - 24 = 0. Suppose -2*s + 7*s - i = 0. Is s/(-1 + (-453)/(-447)) prime?
True
Let r(v) = -2*v - 8. Let q be r(-6). Suppose 54 = q*k - 82. Is k prime?
False
Let j = -13 + 9. Is j/(-10) + 306/10 a prime number?
True
Let y(h) = -129*h + 11. Let p(f) = -65*f + 6. Let w(c) = -7*p(c) + 4*y(c). Is w(-3) composite?
True
Let s = -47 + 118. Let g = -50 + s. Is g a composite number?
True
Is (13/(-2))/(7/(-42)) composite?
True
Suppose v - 2*v - 12 = 0. Suppose 0 = 4*r + 5*z + 427, 2*z + 422 - 107 = -3*r. Let h = v - r. Is h prime?
False
Suppose -5*x + 9695 = -o + 4*o, 5*o = -2*x + 3897. Suppose 5*h + 0*i - 2415 = 5*i, 0 = -4*h + 5*i + x. Is h a prime number?
True
Let m(p) = -3*p**3 + 7*p**2 + 9*p - 5. Let a(g) = -10*g**3 + 22*g**2 + 28*g - 14. Let z(x) = -2*a(x) + 7*m(x). Let u be z(6). Is -2 - -2 - u*47 composite?
False
Let d(x) be the third derivative of -x**6/30 + x**5/10 + 5*x**4/24 + x**3/2 + x**2. Is d(-4) composite?
True
Let t(n) be the third derivative of n**7/840 + n**6/72 - n**5/60 - 5*n**4/24 - n**3/6 - 2*n**2. Let s(k) be the first derivative of t(k). Is s(-4) prime?
True
Let k(p) = p**3 - 3*p**2 - 6*p - 2. Let m be k(5). Suppose -3*l + v = 4*v - m, 5*l - 5*v - 40 = 0. Is l a composite number?
False
Let o(p) = p**3 - 18*p**2 + 8*p - 14. Let r be o(12). Is r/(-8) + (-15)/20 composite?
False
Suppose -4*u = u - 20. Let w(a) = -2 - 1 - 4*a**2 + 2 - 2*a - u*a**3. Is w(-3) a prime number?
False
Suppose -4*i + 3930 = 782. Is i prime?
True
Is 99/(-12)*(-136)/6 a prime number?
False
Is (-6)/4*(-1604)/6 composite?
False
Suppose -q - 959 = -2*u, -3*q - 2 = 1. Is u a prime number?
True
Let t(s) be the first derivative of s**5/60 + s**4/12 + s**3/3 - s**2 - 2. Let v(a) be the second derivative of t(a). Is v(5) a composite number?
False
Let k(f) = -f - 7. Let r be k(-9). Suppose m + 2 = r*m. Suppose m*n - 4*n + 20 = 0. Is n prime?
False
Let f(q) = -79*q + 32. Is f(-5) prime?
False
Suppose 0 = 3*d + 3*l - 1341, l = -5*d + 3*l + 2214. Let y = d - 151. Is y a composite number?
False
Let b be 2318/14 + 15/35. Let l = -83 + b. Is l prime?
True
Let k(c) = -c**2 - 11*c - 6. Let s be k(-10). Suppose -5*t - 5*h = -435, s*t - h = 2*h + 362. Is t composite?
False
Let b be 2*-2 + 3/1. Let z(k) = -160*k**3 - k. Is z(b) a prime number?
False
Let b = 106 - -57. Is b a composite number?
False
Let t(d) = -d**2 - d. Let p be t(3). Let h = p + 17. Suppose 4*y + h - 29 = -3*m, -3*m = -5*y + 3. Is y a composite number?
False
Let p(f) = 4*f**2 + 16*f + 16. Let s be p(-11). Suppose 0 = o - q - s, 8*o - 3*q - 1612 = 3*o. Suppose -5*k = -o + 25. Is k composite?
False
Let o(t) = -9*t + 1. Is o(-4) a prime number?
True
Let i be (-5 - -4)/(1/6). Let j(z) = 5*z**3 + 11*z**2 - z - 7. Let b(x) = 6*x**3 + 12*x**2 - 7. Let l(d) = 3*b(d) - 4*j(d). Is l(i) composite?
False
Let o(m) = m**3 + 14*m**2 - 11*m - 11. Is o(-13) a prime number?
False
Suppose -2*f = 4*f + 12. Is 1 - (f - 2)*102 a prime number?
True
Let v be -