(w) = w**3 + 5*w**2 - 2*w - 7. Let d be n(-5). Suppose -d*k - 291 = -6*k. Is k a prime number?
True
Let f be 6/(-21) + (-26)/7. Is 6*(1 - 3)/f composite?
False
Let g = -73 + 86. Is g a prime number?
True
Suppose -324 = -3*u - u. Suppose 5*r - r + 176 = 0. Let k = r + u. Is k prime?
True
Let v be (-3)/(-4)*8*1. Is ((-99)/v)/((-1)/2) a prime number?
False
Let q(l) = -l + 3. Let w be q(7). Suppose -5*i - 2*p - 5 = -2*i, -5*i + 5*p + 25 = 0. Is i/2 - 234/w a prime number?
True
Let m(r) be the third derivative of -r**5/60 - r**4/2 - r**3/6 - 3*r**2. Is m(-8) composite?
False
Suppose -5*m + 33 = -7. Suppose 5*h = m + 7. Suppose -u - 1 = -h. Is u a composite number?
False
Suppose 9*g - 7*g - 818 = 0. Is g composite?
False
Let a = 436 + -181. Suppose -a = -p - 34. Let c = -72 + p. Is c a composite number?
False
Let v(a) = a**2 + 9*a + 9. Let i be v(-8). Let y = 4 - i. Is y composite?
False
Let s = -5 + 7. Suppose -2*r = 3*l - 191, -2*l = -0*l - r - 132. Suppose l = 7*q - s*q. Is q prime?
True
Suppose 3*n = 18 - 9. Is (-2)/(n/(-957)*2) a prime number?
False
Let i be 5/(-6) - 2/12. Let q be -2*6/4*i. Is 1 + -30*(2 - q) composite?
False
Let n be (-14)/(-6) - 3/9. Suppose 4*w - 28 = -n*c, -8 = 3*c - 0*w - 4*w. Is c a composite number?
True
Let d(v) = 9*v + 11. Let o(k) = -4*k - 5. Let n(w) = -6*d(w) - 14*o(w). Let t be n(-6). Is t/24 + 34/3 prime?
True
Let v be ((-175)/2)/(3/6). Let l = v + 386. Is l prime?
True
Let w(s) = -s**2 + 4*s + 3. Let z be w(4). Suppose 0 = -z*n + 18 + 267. Suppose 0 = -4*o + 125 + n. Is o composite?
True
Let w(o) = -4*o**3 - 11*o**2 + 6*o + 3. Is w(-4) composite?
False
Suppose 0 = -6*h + 8*h - 742. Is h a composite number?
True
Let d = -7 + 11. Suppose d*c = -0*c + 1036. Is c composite?
True
Suppose 2*i - i = -2. Let x be i/(-4)*1*4. Suppose -x*o + 74 = 4*l, -o = -5*o + l + 148. Is o a composite number?
False
Suppose 2*c - 561 - 277 = 0. Is c prime?
True
Let o be 1/(-2 - 347/(-173)). Let l = 11 - 8. Suppose -y - l*j + 44 = -4*j, 0 = 4*y - 5*j - o. Is y composite?
False
Let f = 72 + 77. Is f prime?
True
Is 4567 - ((-18)/(-72) + (-34)/8) a prime number?
False
Suppose -z - 30 = -4*z. Let d = 6 - z. Is ((-61)/d - 2)*4 a composite number?
False
Let h(c) = 85*c + 3. Is h(10) prime?
True
Suppose 2*j = -3*j + 90. Suppose 4*i + 2*c + 21 = 99, -i = c - j. Is i a composite number?
True
Suppose -6 = -h - 3*f, -85 = -5*h - f - 3*f. Let a = h + -14. Is a a prime number?
True
Suppose -2*q - 3 + 57 = 0. Suppose -5*k - q = -622. Let a = 177 - k. Is a prime?
False
Let c be 3 + (-16)/6*-6. Let u = -6 + c. Is u a composite number?
False
Is (42/18)/((-3)/(-3573)) a prime number?
False
Let k(m) = 19*m**2 + 4*m + 11. Is k(-7) a prime number?
False
Suppose 2*r + 395 = -11. Let k = r - -286. Is k a composite number?
False
Suppose 36*r - 37*r = -377. Is r a composite number?
True
Let v = -4 + 7. Suppose -v*u + 8*u = 70. Is u a composite number?
True
Let f = 3409 - 2103. Is f a prime number?
False
Let p be 30/(-2)*(-220)/30. Let c = -75 + p. Is c composite?
True
Let p(q) = -38*q**3 - 1. Let a be p(-1). Suppose -3*y + 3*k - 56 = 4*k, -y - 4*k = a. Let d = -6 - y. Is d prime?
True
Suppose -4*w + 163 = -53. Let o = -19 + w. Is o a prime number?
False
Let c(r) = 13*r**2 + 4*r + 6. Is c(7) a prime number?
False
Let s(l) = 35*l - 1. Is s(12) composite?
False
Let j be ((-1)/(-3))/((-3)/9). Is (1 + -1 - 23)/j prime?
True
Suppose 20 = 5*l, 0*k - l + 2242 = 2*k. Is k prime?
False
Let h be 1861 + (-1)/((-2)/(-6)). Suppose -2787 = -3*f - 5*k, 2*f - 3*k = -0*f + h. Is f composite?
False
Suppose 0 = -5*v - 3*i + 1988, 4*v - i = 976 + 611. Is v a composite number?
False
Let a = -2 + 1. Let q be 1/(0 + a/(-62)). Suppose -b = -c + 13, -4*c + q - 22 = 2*b. Is c composite?
False
Let g be 5*12/45*3. Suppose g*x - 350 = 710. Is x a prime number?
False
Is (-4431)/(-35) + 2/(-20)*-4 composite?
False
Suppose 130 = 4*n - 2*u, u + 2*u - 85 = -2*n. Suppose 16 = 5*m + 2*r, 0*m + 3*m = 2*r. Let f = n + m. Is f composite?
False
Let u(z) = -2*z**3 + 6*z**2 + 3*z - 3. Is u(-5) a prime number?
False
Let g(d) = -4*d**3 - 2*d**2 + 6*d + 5. Is g(-4) prime?
False
Suppose -2*y - 2*r + 14 = 0, 0 = -4*y - r + 5*r - 12. Suppose y*f = 2 + 16. Is f prime?
False
Suppose 5*h - 2*b - 3 = -33, -5*b - 65 = 5*h. Let s = h + 10. Suppose -3*x - 2*x - 84 = -s*w, 0 = -5*x - 10. Is w a prime number?
True
Let l(a) = 2*a - 5. Let s be l(4). Suppose 3*z + 5*k - 13 = -z, 0 = s*z - 5*k - 36. Is z a prime number?
True
Suppose 9*s = 3*s + 318. Is s a composite number?
False
Let x(q) be the first derivative of -43*q**2/2 - 11*q - 4. Is x(-12) a prime number?
False
Let u = 239 - -14. Is u prime?
False
Let o(l) = -134*l + 5. Is o(-3) composite?
True
Suppose 2*l + 4*v = 594, -1197 = 4*l - 8*l + v. Is l a composite number?
True
Let s = -45 + 27. Let d = 19 - s. Is d a composite number?
False
Suppose -c + 6 = 2*c. Let w(i) = 6*i + 7. Let o(l) = l - 1. Let y(f) = c*o(f) - w(f). Is y(-7) composite?
False
Let b(w) = 486*w**3 + w**2 - 7*w + 7. Is b(1) a composite number?
False
Let f = 828 + -161. Is f a prime number?
False
Let g(k) = -5*k**3 + 3*k + 3 + 3*k**2 - 5*k**3 + 0*k. Let h be (-2)/(-4)*(-4 - 0). Is g(h) a prime number?
True
Suppose 793 = 2*m - m. Is m a prime number?
False
Is ((225 + 1)/1)/(21 - 20) a composite number?
True
Suppose -2*z + 28 = 2*z. Is 3995/z - 30/(-105) composite?
False
Let f be (-1)/(-3) - 5/15. Suppose -5*j = r + 4*r - 775, f = r - 5*j - 179. Is r a prime number?
False
Let j(s) = -264*s - 13. Is j(-16) prime?
True
Suppose 0 = -4*t - t - 10. Let d(z) = -2*z**3 - 3*z**2 - 3*z. Is d(t) prime?
False
Suppose -15 = 6*g - 11*g. Let d = 9 + 25. Suppose -323 = -g*h + d. Is h composite?
True
Suppose 0 = -d - 3*d + 764. Is d a composite number?
False
Suppose 758 = 3*s + t, 2 = -2*t - 0. Is s composite?
True
Let f(d) = d**2 + 4*d - 2. Let i be f(-5). Suppose -i + 11 = 4*c + 4*u, -2*c + 10 = -u. Is c prime?
False
Suppose -2*f = 6*x - 2*x + 2, 5*f - 5*x = -5. Let q be 1/f*1 - -5. Suppose 0*k - k - q*t + 49 = 0, 0 = -4*k + 4*t + 136. Is k composite?
False
Let k(b) = -b**3 - 5*b**2 + b + 5. Let n be k(-5). Let r(h) = -h + 9. Let g be r(6). Suppose 201 = -n*t + g*t. Is t a prime number?
True
Suppose 0 = -f + 5*f - 8. Suppose 4*c + 73 - 21 = f*j, -3*c + 38 = 2*j. Is j a prime number?
False
Let w(b) = b**2 - 5*b + 4. Let g(h) = h**2 - 6*h + 4. Let x(t) = -5*g(t) + 4*w(t). Is x(5) a prime number?
False
Is (2 + -4)*428/(-4) a prime number?
False
Let j be 4*(-12)/(-16) + -251. Let q = j - -417. Is q prime?
False
Let s be (-1)/2 + 1/2. Let l be 4 + -2*1 + s. Let n(f) = 56*f - 3. Is n(l) composite?
False
Let a(s) be the second derivative of -203*s**3/6 + s. Is a(-1) a composite number?
True
Suppose 0 = -3*s - 3. Is (-35)/2*2*s a prime number?
False
Let q = 5 - -3. Is (68/q)/((-1)/(-10)) a prime number?
False
Suppose -2*k - 2*v = 162, 2*k + 169 = -v + 6*v. Let b = -57 - k. Is b a composite number?
True
Suppose -b + 4 + 1 = 0. Suppose 183 + 262 = b*f. Is f prime?
True
Suppose -c - 3*a + 88 = -36, 445 = 4*c - 5*a. Is c prime?
False
Let v(y) = -240*y + 3. Is v(-3) a composite number?
True
Let u(r) = 4*r**2 - 2*r - 7. Is u(-9) prime?
False
Let h = -13 + 18. Suppose 4*v - d = 22 + 208, h*d = -v + 68. Suppose z - 7 - 48 = 2*x, -5*x = -z + v. Is z composite?
False
Suppose -35 + 0 = -i. Suppose 2*f - 7*f = -i. Is (-1 + -4)/((-1)/f) composite?
True
Suppose -3 = d - 9. Suppose 5*y + d*l - 265 = l, 0 = -y + l + 51. Let q = y + -29. Is q composite?
False
Let c be (12/(-10))/(4/(-110)). Let a = 82 - c. Is a composite?
True
Let h(u) = 77*u + 17. Is h(8) prime?
False
Suppose -34 = 3*p - 10. Let z(u) = -6*u + 10. Is z(p) prime?
False
Suppose 0 = 5*i - 2*g + 14, 5*i - 6*g = -3*g - 16. Let a(n) = -45*n**3 + 2*n + 3. Is a(i) a prime number?
True
Is -2 + 3 + -2 - -788 a prime number?
True
Suppose 0 = -5*f - 5*p + 487 + 148, -3*p = f - 119. Is f prime?
True
Let p be -1*(-2)/(2 - 3). Is (-3108)/(-35) - p/10 a composite number?
False
Suppose 0*c - 4 = -2*c. Let f(g) = 7*g**3 - g**2 - 2*g + 1. Is f(c) a prime number?
False
Let v(b) = -b**2 + b + 12. Let a be v(0). Is ((-4)/a)/((-1)/993) a prime number?
True
Let c(w) = w**3 - 4*w**2 - 6*w + 3. Let s = -5 + 11. Is c(s) a composite number?
True
Suppose -w = -4*w + 72. Is ((-1114)/3)/((-16)/w) 