t m(y) = 5*y**2 + 7*y - 2. Let v be m(6). Suppose -v = -0*w - 4*w. Is w composite?
True
Let w(c) = 2 + 0*c + 2*c + 10*c**2 + 0*c**2. Suppose 1 + 5 = -3*p. Is w(p) composite?
True
Let a(d) = 5*d**2 - 1. Let p be 0/(-3) - (0 + 2). Let h be (-1)/(-3 - p - 0). Is a(h) prime?
False
Let c = -4 - -4. Let d be (1 + -11)*2/(-5). Suppose -5*s = -c*r + 4*r - 405, -s + 57 = -d*r. Is s composite?
True
Let n = -1319 + 2038. Is n a prime number?
True
Let z(b) = b**3 + 13*b**2 - b - 2. Is z(-11) prime?
True
Is (-2 + (-25179)/(-14))/((-2)/(-4)) prime?
True
Suppose 2*h - 5 = -3*h. Suppose h = 3*i - 4*o, 0 = -0*o + 4*o - 20. Is i a prime number?
True
Let h(k) = k**3 + 9*k**2 - 9*k - 9. Let m(g) = -2*g**2 + 2*g + 4. Let j be m(3). Is h(j) composite?
False
Suppose -4*v = -9*v + 3*z + 4756, -5*v + z = -4762. Is v a composite number?
False
Suppose -300 = -3*y - 0*y. Suppose r = 5*r + y. Let v = -10 - r. Is v a prime number?
False
Let a(h) = 4*h - 12. Let i be a(11). Let z(x) = -i*x + 6 - 7*x - 2. Is z(-3) prime?
False
Suppose -5*i = -2*b - 394, -2*b - 31 = -2*i + 129. Suppose 4*o + c = i, 104 = 5*o - c - c. Suppose 4*u - o - 52 = -2*v, 3*v + 4*u = 110. Is v a prime number?
False
Let j be (-6 - -2)/(3 + -1). Let q be (-30)/(-25) - j/(-10). Let n(c) = 35*c. Is n(q) composite?
True
Suppose -4*z + 971 - 15 = 0. Is z a composite number?
False
Suppose 5*p - 3*y - 658 = -4*y, 5*y = -2*p + 277. Is p a prime number?
True
Is (-6)/10 - (-6654)/15 composite?
False
Suppose 463 + 702 = 5*h. Is h a composite number?
False
Suppose 11*j - 14*j + 381 = 0. Is j a composite number?
False
Let w = -60 - -113. Is w a prime number?
True
Let w(s) = -5*s**3 - 6*s**2 - 6*s. Let c be w(-4). Suppose -d - 328 = -2*n, -2*d = 3*n - 237 - c. Is n composite?
False
Suppose 2*z = 5*z + 4*d - 53, 5*z = d + 73. Is z prime?
False
Let y(a) = -a + 17. Let q = 26 + -17. Let o be y(q). Suppose -g = o - 23. Is g a prime number?
False
Let y(t) = 9*t**2 - t. Let g be y(1). Let m(o) = -o**3 + 4*o**2 + 4*o + 7. Let u(n) = n**2 - n. Let q(j) = m(j) + 4*u(j). Is q(g) a composite number?
False
Suppose 2*i + 0*i - 10 = 0. Suppose -f + 3*q - 9 = 0, i = 5*q - 4*q. Is f composite?
True
Let x = 18 - -4. Is x prime?
False
Let a(r) = -4 + 4 + 3*r - 3*r**3 + r**2 + 2*r**3 + 7. Is a(-5) prime?
False
Suppose -2*k = -57 - 13. Let f = k + 18. Is f a composite number?
False
Suppose 1 = s - 11. Let g be ((-15)/9 - -2)*s. Suppose 2*i + i - 62 = a, -2*i + g*a + 38 = 0. Is i a composite number?
True
Suppose 3*p - 282 - 21 = 0. Is 2*(-2 + p/2) composite?
False
Suppose 3*f = -f + 296. Is f a prime number?
False
Suppose 2*x + x + 15 = 0. Is x/(20/(-3))*116 prime?
False
Is (1 + 1017)*5/10 a prime number?
True
Let q(j) = -j**3 - 10*j**2 + 10*j + 8. Is q(-11) composite?
False
Suppose 56 = c + 994. Let q = -557 - c. Is q composite?
True
Suppose b + 403 + 411 = 0. Let m = -561 - b. Is m a composite number?
True
Let k = 88 + -47. Suppose 34 = 3*p - k. Is p prime?
False
Let x(b) = 319*b + 5. Is x(12) a composite number?
False
Let a(u) = -u**3 + 15*u**2 - 2. Is a(14) composite?
True
Let g(p) = 1. Let q(v) = v**2 + 10*v - 13. Let l(w) = -3*g(w) - q(w). Is l(-8) prime?
False
Suppose 5*s - 5980 = 5695. Suppose 5*l - 2*d + 7*d = s, 0 = -d - 2. Is l composite?
True
Suppose 0 = i + 32 - 351. Is i composite?
True
Let o be 204/8 + (-3)/2. Suppose 5*i = 79 - o. Suppose -s - 2*l + 44 = 0, -s + i = l - 28. Is s prime?
False
Suppose h = 4*b + 222, 4*h - 4*b - 1110 = -282. Is h composite?
True
Let a = 95 - 6. Is (8/4*a)/2 prime?
True
Suppose -12*m + 26518 = -16598. Is m prime?
True
Let m(x) = -x**2 + 6*x + 1. Let y be m(6). Let w(t) = -8*t - 6. Let u be w(5). Is ((0 - y) + u)/(-1) prime?
True
Let w(i) = 94*i - 1. Let m be w(2). Suppose 4*h = -5*u + m + 10, -2*u = 2*h - 80. Suppose -104 = -3*b + u. Is b prime?
True
Suppose 5*v - 18 = 2*v. Let n(l) be the second derivative of l**4/6 - 2*l**3/3 + 9*l**2/2 - 2*l. Is n(v) a composite number?
True
Let a(c) = -c - 1. Let o be a(-3). Let m = o - 0. Suppose -m*i - 4*l = -26, 7*l - 2*l = -4*i + 37. Is i a composite number?
False
Suppose -z + 4 - 3 = 0. Let x(f) be the third derivative of 29*f**6/60 + f**4/24 - 13*f**2. Is x(z) a composite number?
False
Let j(h) = -36*h + 5. Suppose 3*n - 2*f + 6*f + 22 = 0, 4*n + 2*f = -16. Let d be -2*3*n/(-3). Is j(d) a prime number?
True
Let l(r) = r - 1. Suppose 0 = -0*c + c - 3. Let y be l(c). Suppose 0 = h + 2*t - t - 19, -23 = -y*h + t. Is h a prime number?
False
Let l(t) = -83*t**3 + 2*t**2 + 1. Is l(-2) a composite number?
False
Let a = -225 - -330. Suppose a = 5*h + 5*c, -33 - 49 = -4*h - 5*c. Is h prime?
True
Let f(p) = 2*p + 127. Is f(0) prime?
True
Let m = -7 + 15. Suppose -m = -0*h + 2*h, -u = h + 6. Is u/6 - 22/(-3) a prime number?
True
Let i = 360 + 59. Is i a prime number?
True
Let r(j) = -10*j - 13. Is r(-11) a composite number?
False
Suppose -t - w = -475 - 519, 0 = 3*t - 5*w - 2982. Suppose -5*a = -4*l + t, l - a = 4*l - 755. Is l a composite number?
False
Let a(z) = -z + 3. Let p be a(3). Let l(w) = -w**3 + w**2 + w + 50. Let v be l(p). Suppose s - v = -s. Is s composite?
True
Let c(b) = -4*b + 1. Let s(t) = -t**3 + 6*t**2 - 6*t - 1. Let n = 10 + -5. Let q be s(n). Is c(q) composite?
True
Suppose -3*d = 2*d - 20. Suppose r = -d*r + 440. Let k = r - -123. Is k composite?
False
Let o = 12 + -4. Suppose -3*b + o = -1. Is 1/b + 146/3 a prime number?
False
Let q(v) = 18*v**2 + 2*v + 34. Is q(6) a prime number?
False
Let c be 8/(-36) - 544/(-18). Let j = c - -83. Is j a composite number?
False
Let u(l) = -l**3 - 2*l**2 + 12*l + 7. Let f = -4 + -1. Is u(f) a prime number?
False
Suppose -3 - 2 = -5*q. Let w = q + 34. Is w a composite number?
True
Suppose 0 = -4*l + 296 + 36. Is l composite?
False
Suppose 6*w = 8*w - 674. Is w prime?
True
Let y(o) be the third derivative of 13*o**6/20 - o**4/24 - 2*o**2. Is y(1) composite?
True
Suppose 4 = 3*k + 5*g, -k + g - 5*g = -13. Let d(h) = 6*h**2 - h - 2. Is d(k) prime?
False
Let v(d) = -293*d - 5. Is v(-2) a prime number?
False
Let l(p) = -p**2 + p + 3. Let i be l(3). Let d be (-2 + 1)*(i - -33). Is d/(-4)*(-52)/(-6) composite?
True
Let v(p) = 5*p + 11. Let j be v(13). Suppose -8*o = -10*o + j. Is o a prime number?
False
Suppose -3 = y - 3*r, 0 = -2*y - 2*y - 2*r - 12. Is ((-2)/2)/(y/555) a composite number?
True
Let n be (316/(-6))/((-1)/(-9)). Is n/(-4)*(-6)/(-9) a prime number?
True
Suppose -j + 1 = -13. Let m(d) = 24*d - 40. Let v(k) = -5*k + 8. Let a(n) = j*v(n) + 3*m(n). Is a(6) a prime number?
False
Suppose -10 = -5*z, 5*z + 9 = 3*n + 2*z. Let v be 6/n*10/4. Is (669/(-2))/v*-2 a prime number?
True
Let a(s) = -70*s + 1. Is a(-10) a composite number?
False
Let x be (-48)/(-26) + 6/39. Is x/6 + (-136)/(-6) prime?
True
Let p = 1792 + -423. Is p a composite number?
True
Let z be 1/(-2 - -3)*9. Suppose -z*o + 4*o - 6 = 2*v, 4*o = -v - 6. Suppose -2*i - 310 = -5*y + 257, 0 = v*y - 4*i - 214. Is y a composite number?
True
Let y = -10 + 16. Let h be (-1)/(-2) - (-819)/y. Let v = h + -6. Is v composite?
False
Suppose 0*q - 3*q - 22 = 5*w, -w + q + 2 = 0. Let u = -4 - w. Is (1 + u)/((-1)/31) a prime number?
True
Let o(l) = -l**3 - l**2 + 4*l + 3. Let q be o(-3). Suppose -2*j + 31 = q. Is j a prime number?
True
Suppose -4*s = 4*a - 0*a - 1688, 3*a - 5*s - 1242 = 0. Is a a composite number?
False
Is 7 + 25/(-5) + 2219 composite?
False
Let t(x) = 0*x - x - 5 + 0 - 5*x. Is t(-4) prime?
True
Suppose -2*c = -4*c + g - 63, -2*g = -6. Let r be (-1)/(3/c) - 2. Let k(i) = i**3 - 8*i**2 + 6*i + 3. Is k(r) prime?
False
Let n(p) = 3*p + 10. Is n(12) a composite number?
True
Let h = 0 + 4. Suppose 84 = h*p - 7*p. Let g = 23 - p. Is g a composite number?
True
Suppose 5*q + 2*h - 3*h = 2780, 0 = q + 4*h - 577. Is q prime?
True
Let z be 2*5*(-6)/12. Is (-4)/z*70/4 prime?
False
Let d be 12/(-9)*(0 - 3). Let m(w) = 6*w**3 + w**2 - w - 2. Let x be m(d). Suppose 3*v + x = 5*j, 3*v = 4*j + v - 314. Is j a prime number?
False
Let w(h) = 2*h**2 - 2*h - 2. Suppose 16 = -5*g - 9. Is w(g) composite?
True
Suppose 100 = 3*u - 497. Is u a composite number?
False
Let z(w) = w**2 - 7*w - 7. Let s(d) = d**3 - d - 2. Let o be s(-2). Is z(o) a prime number?
True
Let s(z) = -57*z - 3. Let j be s(-3). Let a = 235 - j. Is a prime?
True
Let w(k) = 2*k**3 + k**2 - 2*