et w(k) = 5*k + 9 + k**2 - 12 - 6. Is w(-8) composite?
True
Let d(l) be the first derivative of -l**2/2 - 4*l + 2. Let j be d(-6). Suppose 0*u = 3*u + 15, 0 = j*x + u - 133. Is x a composite number?
True
Suppose -5*l = -q + 625, 2*l = -2*q - 0*l + 1274. Is q composite?
True
Let o(y) = -2*y**3 + y**2 - y - 2. Let v be o(2). Let s = -30 - v. Is 1 - 0 - (0 + s) prime?
False
Suppose 0 = -3*k - 2*y - 214 - 45, 5*y - 440 = 5*k. Let g = -46 - k. Let m = g + -4. Is m a composite number?
False
Let w = -14 - -16. Is (-3192)/(-35) + w/(-10) composite?
True
Suppose 2*z + 0*z - 2 = 0. Let f = 1 - z. Suppose f = -4*o + o + 138. Is o prime?
False
Suppose 4*r - 2478 = 1390. Is r a prime number?
True
Suppose 5*l = -3 - 57. Let v = 58 - l. Suppose v = 5*r + 4*z, 15 = z + 2*z. Is r a composite number?
True
Suppose o = 5*v - 3240, -3*v + 1424 = 3*o - 538. Is v composite?
True
Let z be 80 + (5 - 2) + -2. Let l = 172 - z. Is l a prime number?
False
Let r(h) = -905*h + 2. Is r(-1) composite?
False
Suppose 3*r = -4*n - 71, -2*n - 4*r + 9*r - 3 = 0. Let o = n - -10. Let d = o - -15. Is d a prime number?
True
Suppose l = -3*u + 7, -u = 2*u - 3*l - 3. Suppose u*r = -x + 63, 0 = -3*x - 3*r + 2*r + 214. Suppose 0 = 4*t + 4*w - 268, 128 = 3*t + 5*w - x. Is t composite?
False
Let i(z) be the second derivative of -5*z**3/3 + z**2/2 + 4*z. Is i(-1) prime?
True
Let z = 44 + 83. Is z a composite number?
False
Suppose -3*n + 5*o + 370 = 0, -2*o - o - 360 = -3*n. Suppose 5*x + n = 5*b, 4*b + 2*x = -2*x + 76. Is b a prime number?
False
Let x be (-1 + 0)/((-1)/2). Let p be (-2)/(-6) - 2512/(-24). Suppose 1 + p = x*r. Is r a composite number?
False
Let c(x) = x**3 - 5*x**2 - 5*x + 3. Let n be c(3). Let s = 16 + n. Is (-312)/s + (-2)/7 prime?
False
Suppose -3*o + 0*o = -15. Suppose -o*f = -0*f - 5*k + 25, 5*k - 25 = -f. Let p(l) = -l**2 + 37. Is p(f) prime?
True
Let x(v) = v**2 - v - 15. Suppose -2*j = -5*p + 6, 5*p - 5*j - 15 = p. Let i be x(p). Is (-351)/i - 4/10 prime?
True
Let w(a) = -a**3 + 14*a**2 - 11*a + 9. Is w(11) composite?
False
Suppose -2098 = -17*p + 15*p. Is p prime?
True
Let a be 8/14 + 17/7. Suppose 0*v + 102 = a*v. Is v a composite number?
True
Let u(a) = a**3 + 5*a**2 - 6*a - 1. Let z be u(-7). Let g = -2 + -2. Let w = g - z. Is w prime?
True
Let g = 1615 + -828. Is g a prime number?
True
Suppose -2*i = -210 - 1216. Let j = -446 + i. Is j a composite number?
True
Suppose 3111 = 4*b + 1111. Suppose -2*q + 4*q - 92 = -h, -2*q + b = 5*h. Suppose -h = -l - 2*l. Is l prime?
False
Let c = -1 - -15. Suppose -a = -0*a - c. Is a composite?
True
Let h(n) = -9*n**2. Let m be h(1). Suppose 0*d - 4*d + 60 = 0. Let y = d + m. Is y a prime number?
False
Let b = 4 - 3. Let y(d) = b + d**2 + 3 + 0. Is y(7) prime?
True
Suppose 4*v = -115 + 19. Is (16/v)/(2/(-795)) composite?
True
Let w be -1 - 1*(-2 - 2). Suppose -w*g = p + 4 + 6, -5*g = 25. Suppose -p*l - 86 + 361 = 0. Is l composite?
True
Let i(c) be the third derivative of -c**4/2 - c**3/6 - 2*c**2. Is i(-7) composite?
False
Let n(o) = -o**2 + 23*o + 13. Is n(10) a composite number?
True
Suppose -43 = -3*v + 47. Let j = 4 - 3. Is 7/j*v/21 prime?
False
Let v(y) = -15*y - 13. Let m be v(-9). Suppose 5*s + 47 - m = 0. Is s a prime number?
False
Suppose 5*h + 5*b + 5 + 35 = 0, 0 = 3*h - 5*b - 8. Let c be (1 - 1)*(-2)/h. Suppose c = 3*d - 2*i + 5*i - 57, 5*i = 3*d - 57. Is d a composite number?
False
Suppose 0 = 4*b - 2*b + 6. Is ((-424)/24)/(1/b) a composite number?
False
Is (-141)/9*(-2 + -37) a composite number?
True
Let z(d) = 5*d**2 - 5*d + 7. Is z(9) a composite number?
False
Let a(h) = -h**3 - h**2 - 139. Let g(o) = 1. Let p(t) = -a(t) - 6*g(t). Is p(0) a composite number?
True
Suppose 2*f - 133 - 749 = 0. Let o be (2/3)/(6/f). Suppose -3*m = 4 - o. Is m composite?
True
Let v(s) be the first derivative of -3*s - 3/2*s**2 - 2 + 25/3*s**3. Is v(-2) prime?
True
Let m = 32 - 11. Suppose -2*l = -l - m. Suppose j + l = 4*j. Is j composite?
False
Suppose g = -11 - 63. Let i be g - 1/(2/4). Let d = i + 231. Is d prime?
False
Suppose -2*k + 0 = -16. Suppose -2*h - 4*c = -280, 0 = -3*h - k*c + 4*c + 418. Is ((-4)/(-12))/(2/h) a composite number?
False
Let p(l) = l**2 - 9*l - 49. Is p(22) prime?
False
Suppose 0 = r + 3*i + 8, r - 4*i = 3*r + 14. Is 2/(r/(65/(-2))) prime?
True
Let o(a) = 52*a**2 - 7*a + 2. Is o(-5) composite?
True
Is (158/3)/(-2*7/(-63)) composite?
True
Let k = 2118 + -1367. Is k a prime number?
True
Suppose 2*d = 4, 2*d + 335 = 3*x + 3*d. Let m = x - 68. Is m a composite number?
False
Let d(f) = -3*f**2 - 4*f - 4. Let h(t) = 13*t**2 + 15*t + 15. Let s(c) = -9*d(c) - 2*h(c). Is s(7) a composite number?
False
Suppose 4*k = 3*q - 2*q + 17, 2*k + 4*q = 4. Let d be (10/3)/(k/6). Suppose h - 166 = -h + f, 190 = 2*h + d*f. Is h composite?
True
Suppose m - 2*z = 58, 3*m - 5*z = -3*z + 186. Suppose -5*h + m = -6. Let g = -3 + h. Is g a composite number?
False
Let v = 11674 + -7565. Is v a composite number?
True
Let k(j) be the first derivative of 5*j**4/4 + 2*j**3/3 - 3*j**2/2 + j - 1. Is k(2) a prime number?
True
Suppose -20 = 2*a + f - 5*f, -f + 33 = -4*a. Let h be 0 + -3 - (a + 7). Is ((-381)/9)/(h/6) a prime number?
True
Let i(p) = -p**3 - 5*p**2 - p. Let h be i(-5). Suppose 10*u - 700 = h*u. Suppose 5*b - 5*g - 142 = 178, -2*b - 2*g = -u. Is b prime?
True
Let o = -7 - -11. Suppose 4*g + 149 = 2*n + n, 0 = -n + o*g + 39. Suppose n = 3*b - t, b + 5*t = -2*b + 67. Is b a composite number?
False
Suppose a = -2*f + 2*a + 233, -5*f = a - 600. Is f a prime number?
False
Is 6297/33 + 4/22 a composite number?
False
Suppose -3*y + y = -5*d - 15, 3*y + 4*d + 12 = 0. Suppose y = -j - j. Suppose 4*r - 5 - 3 = 0, j = 5*o - 5*r - 55. Is o a prime number?
True
Let t(w) = -w**2 + 7*w + 4. Let l be t(6). Let i be (-5)/l + (-18)/(-4). Suppose -3*a = -i*a + 2*o + 127, -4*o = 2*a - 230. Is a prime?
False
Let r be (2 - (-1 - 8))*47. Let k = r - 214. Is k a prime number?
False
Suppose 111 = t - 90. Is t composite?
True
Let u(t) = -t - 7. Let f be u(-7). Suppose 0 = 5*k - 5*b - 240, 3*b = b - 10. Suppose -j + 2*g + k = f, -5*g - 149 = -3*j - 3*g. Is j prime?
True
Let g(m) = 4*m**2 - 4*m + 3. Let y(p) = 8*p**2 - 7*p + 5. Let j(w) = -7*g(w) + 4*y(w). Is j(6) a composite number?
True
Let x be -1*(-2 + 4 + -7). Let b(k) be the second derivative of k**4/4 - k**3 + 2*k**2 + 4*k. Is b(x) a prime number?
False
Suppose 2*s - 69 = -s. Is s composite?
False
Let b(p) = 149*p**2 - 3*p - 5. Is b(-3) prime?
False
Suppose -2*i - 21 = i. Let t(v) = 1. Let l(d) = -4*d**2 + 2*d - 5. Let q(j) = -l(j) - 4*t(j). Is q(i) prime?
True
Suppose -3*b + 267 = 3*l, 10 = -5*l - 0*l. Let p = b + -54. Is p prime?
True
Let a(z) = z**2 + 7*z. Let p be a(-7). Suppose -2*n + 3*h + 0*h = -82, -n + h + 43 = p. Suppose -n = -5*x + 63. Is x a prime number?
False
Let y(k) = k**3 + 34*k**2 + 22*k - 7. Is y(-16) a composite number?
True
Let x(r) = 5*r**2 + 4*r - 8. Is x(-5) prime?
True
Let r = -3 + 5. Suppose 0 = -r*o + 1 + 7. Suppose 0 = o*q + j - 135, 2*q - 3*j - 105 = -q. Is q prime?
False
Suppose -4*c + 3*s + 1498 = 0, -s = -4*c + 1112 + 382. Is c composite?
False
Let s(n) = n**2 + 2*n - 1. Let h be s(-3). Is -2*(-178)/8*h a prime number?
True
Let c(h) = -223*h + 3. Is c(-2) a prime number?
True
Let t(y) = -y**3 - y - 13. Is t(-10) prime?
True
Suppose 1230 = 4*o + 34. Is o prime?
False
Let m = 158 - 71. Is m a prime number?
False
Let f be (3 - 1) + -2 + 1. Suppose 5*q + 8 - 34 = -3*n, -f = 2*q + 5*n. Is q prime?
True
Suppose -x - 396 = -2*y + x, 0 = -2*x + 10. Is y composite?
True
Let l(t) be the second derivative of t**3/6 - 4*t**2 - 2*t. Let q be l(6). Is 7 - (0 - q) - 2 a composite number?
False
Suppose -4*q = -t + 8, -13 = t - 3*t + 5*q. Suppose -20 = -4*n - n, t*z + 4*n - 24 = 0. Is (-154)/(-6) + z/(-3) composite?
True
Suppose 2*o = 5*d - 1400 - 653, -2*d - o + 823 = 0. Is d prime?
False
Suppose 0 = 5*r - 10, -3*r + 7 = 2*l - 35. Suppose -5*t + l = -7. Suppose 3*h = 3*z - 9, -h + 39 = t*z - 0*h. Is z composite?
False
Let y be (-6)/(0 + (-1 - 0)). Suppose c = -y*n + 2*n + 637, c + 317 = 2*n. Is n prime?
False
Let z = -22 - -16. Let o be ((-9)/z)/((-1)/(-2)). Suppose -s - 12 = -o*s. Is s composite?
True
Let u(g) = 31*g - 13. Is u(22) a composite number?
True
Let l = -70 + 18. Let 