-3*c - 2*c + 5*z = 5. Let y(a) = 31*a**3 - a**2 + a. Is y(c) a composite number?
False
Suppose 0 = a - 2*a + 93. Is (a - 11)*(-3)/(-2) composite?
True
Suppose -3 = -2*v + 1. Suppose v*h + 2 = 4*p - 18, -4*h - 3*p = 7. Let g = 25 + h. Is g a prime number?
False
Let p be (2 + -2)/(-4 - -3). Let b(i) = 4*i**3 + i**2 + i - 4. Let a(y) = -y**3 - 1. Let v(t) = -3*a(t) - b(t). Is v(p) a prime number?
True
Let f(z) = z + 5. Let u be f(5). Suppose 0 = 5*l - 0*o - 3*o - u, o = -3*l + 6. Is l a composite number?
False
Let r(x) = -x**3 - x**2 + 2*x - 5. Let a be r(-4). Suppose a = 5*s + 10. Suppose 3*m = -5*p - 0*p + 151, 2*m + s*p = 104. Is m a prime number?
True
Let h be (-3)/6*(1 + -11). Suppose -1175 = -2*o + s, -o - h*s + 0*s = -582. Is o composite?
False
Let t(p) = p - 8. Let i be t(8). Suppose n + i*n = g - 12, -2*g + 5*n = -27. Suppose -g = m - 48. Is m composite?
False
Let o be 190/(-7) + 15/105. Let h be 4/10 + (-776)/(-10). Let t = h + o. Is t a composite number?
True
Suppose -5*n + 33 = -2*c, -30 = 5*c + n + 12. Let m(v) be the first derivative of v**4/4 + 8*v**3/3 - 6*v**2 + 8*v + 2. Is m(c) composite?
True
Let n be (-3)/(6/4) + -5. Let u(d) = -d**2 - 8*d - 2. Let x be u(n). Let q(z) = 8*z - 5. Is q(x) prime?
False
Suppose -2*c = -4*i - 0 - 24, 4*i = -3*c - 14. Suppose -4*x + 14 = -c*j, -5*j = -4*x + 2*x + 3. Let m(y) = 34*y + 1. Is m(j) a prime number?
False
Let r be 4/(-12) - (-1)/3. Suppose 3*n - 15 - 762 = 0. Suppose r = -3*v - b + 163, n + 14 = 5*v + b. Is v composite?
True
Suppose 0 = -3*c + f + 4 - 0, 3*f + 12 = 2*c. Suppose -5 = -5*q + 5. Suppose 5*h + 0*r - q*r - 271 = c, 226 = 4*h + 3*r. Is h composite?
True
Suppose -2366 + 9477 = 13*s. Is s composite?
False
Suppose b = -2*f + 3*b + 568, 0 = f + 2*b - 293. Is f composite?
True
Is (-3 - 800/6)*-3 prime?
True
Let h(t) be the third derivative of -7*t**4/3 - t**3/2 - 2*t**2. Is h(-2) a prime number?
True
Let b be 2/(-11) + (-1971)/(-11). Let m = b + -52. Is m a composite number?
False
Let o = -404 - -925. Is o composite?
False
Let h(u) = 64*u - 5. Let k(q) = 128*q - 10. Let j(c) = -5*h(c) + 3*k(c). Is j(7) composite?
False
Suppose -4*y + o = 6*o + 37, 5*y + 5*o = -40. Is 5*(-1)/y*87 composite?
True
Suppose 0 = -2*v + 4*v - 3012. Is (-2)/6 + v/9 a composite number?
False
Let v(o) = -o**2 + 12*o - 8. Let i be v(9). Let m = i - -4. Let r = 2 + m. Is r prime?
False
Let y(r) = -r**2 + 4*r. Let l be y(2). Suppose 2*s - 10 = -l*c, s - 12 = -c + 6*c. Is s composite?
False
Let g = 39 - -10. Suppose 0 = -i + 28 + g. Is i a composite number?
True
Suppose -n - 3*p + 2*p = -4, 2*p = -n + 2. Suppose y = -4*d + n + 117, -5*y + 657 = -d. Is y prime?
True
Let n(u) = 3*u**2 + 2*u - 6. Is n(-7) composite?
False
Suppose 885 - 18249 = -4*o. Is o prime?
False
Let a = -149 - -442. Is a a prime number?
True
Let d(s) = -2*s - 1. Let v be d(4). Let q be (2/(-6))/(v/(-27)). Is 85 - (q - (-1 + 0)) prime?
False
Let v(r) = 43*r + 36. Is v(5) prime?
True
Suppose -5*z = -35 - 20. Suppose 4*j - 9 = z. Suppose 0 = j*l - 447 - 128. Is l a prime number?
False
Suppose n + 2*n = -f + 9330, 0 = -5*n + 3*f + 15536. Is n a composite number?
False
Let h = -5 - -15. Is (2/3)/(h/7575) composite?
True
Let o be 2400/11 + 4/(-22). Suppose -b = 2*i - o, 0 = -2*i - 3*b - 2*b + 202. Is i a prime number?
False
Let d = -782 + 1455. Is d prime?
True
Let p = -3 - -8. Suppose 32 = p*a - 43. Is a prime?
False
Let q(h) = 17*h**3 - 4*h + 1. Is q(4) prime?
False
Suppose 0 = -5*p - p + 6. Is 3914/12 - p/6 a composite number?
True
Let a = -10 - -17. Suppose -a = -4*j + 5. Suppose 15 = j*w - 2*w. Is w a prime number?
False
Let q be (7 + -3)*(1 + 0). Suppose -n = -q*n + 288. Let x = -59 + n. Is x prime?
True
Suppose 0 = 5*u - 7 - 8. Let z = -49 - -94. Suppose -3*k = u - z. Is k composite?
True
Let a(p) = 4*p**2 - 4*p + 9. Is a(12) composite?
True
Suppose 7 = -2*m - 5. Let p(u) = u**3 + 6*u**2 - 2*u - 8. Let k be p(m). Suppose -k*c = -60 - 128. Is c composite?
False
Let n = 49 + -15. Is n a composite number?
True
Let k(g) = g**2 - 2*g + 1. Is k(-6) a prime number?
False
Let p be (12/(-3))/(-4)*3. Suppose p*m = 16 + 617. Is m a prime number?
True
Let o be 49/5 + 1/5. Is 2054/o + 2/(-5) composite?
True
Let s be (-3 + 15)*(-1)/2. Let j(o) = -2*o**3 - 7*o**2 - 4*o - 1. Is j(s) prime?
False
Suppose 0 = -2*g + 3*u + 1424, g + 2*u + 246 - 951 = 0. Is g a composite number?
False
Let j = 273 - 151. Suppose 0 = p + 1 - 4. Suppose 357 = p*a - l, -3*a = 5*l - j - 235. Is a prime?
False
Let t = 5 - -55. Suppose -205 = -5*b + t. Is b a composite number?
False
Let b(h) = 6*h**3 + h**2 + h. Let z be b(-1). Let j(q) be the first derivative of q**3/3 + 5*q**2/2 - 3*q + 7. Is j(z) a prime number?
True
Suppose 5*a - 55 = -5*o, -2*a + 10 = -o - 12. Let t be (-3)/6*(0 - 0). Suppose a = y - t*y. Is y a prime number?
True
Suppose -11*x + 4*x + 1099 = 0. Is x prime?
True
Let w = 411 + -232. Is w a composite number?
False
Suppose 4*s - 17 = -9. Suppose i - 4*l - 263 = 0, -s*l + 7*l = -3*i + 772. Is i a prime number?
False
Suppose 5 - 3 = -r. Let u(m) = -4*m**3 - 1. Is u(r) composite?
False
Let x(k) = k + k + 2 - k**2 + 4*k. Let i be x(5). Is (0 - 2) + (55 - i) composite?
True
Is -4 + 26172/68 + 4/34 prime?
False
Let p(o) = o + 172. Let q be p(0). Suppose -2*w + q = 2*a, -4*a + 7*w = 2*w - 371. Is a composite?
False
Suppose -4*l = -7*l - 6. Is (6/4)/(l/(-20)) composite?
True
Let r = 38 + -22. Suppose 4*l = -8, 6*c - 4*c = 4*l + r. Is (61 - c) + -1 + 3 composite?
False
Let c(r) = -r**3 - 6*r**2 + r. Let k be c(-3). Let g = -526 - -305. Let t = k - g. Is t prime?
True
Is 1667/9 - 8/36 a composite number?
True
Suppose -3*c - 12 = c + 3*n, 2*c - 5*n = 20. Let y(w) be the third derivative of w**5/60 - w**4/24 + 11*w**3/2 - w**2. Is y(c) a prime number?
False
Suppose -5*b + 10*b = 1600. Let c = 541 - b. Is c a prime number?
False
Suppose 0 = -17*b + 19*b - 998. Is b a prime number?
True
Is 2 - (-1 + 7) - (-2 - 2505) composite?
False
Let i be 426 - 9 - (0 + -2). Suppose f - i + 124 = 0. Is f a prime number?
False
Let d be (-2 + 4 - -144) + 0. Let s = 261 - d. Suppose -s - 90 = -5*t - 2*m, 5*t + 5*m - 220 = 0. Is t a composite number?
True
Let i(x) = x**3 - 13*x**2 + x - 10. Let l be i(13). Suppose b - 476 = -l*b. Is b prime?
False
Let l(r) = r**3 - 8*r**2 + 3*r + 5. Is l(11) a prime number?
True
Is 1/(((-4)/157)/(-4)) prime?
True
Let c = 86 - 37. Let d = c - -10. Is d composite?
False
Let n(f) = f**3 - 2*f**2 - 2*f + 2. Let k be n(2). Is 0 + -1 - k - -220 a prime number?
False
Let m be (20/(-15))/((-2)/(-192)). Let a = 340 + m. Let z = a + -63. Is z composite?
False
Let p be -345*((-7)/3 + 1). Let g = -273 + p. Is g a prime number?
False
Let h = -7 + 2. Let w(i) = 50*i + 7. Let o(t) = 49*t + 6. Let z(j) = h*w(j) + 6*o(j). Is z(2) a composite number?
False
Suppose -2*x + 0*x = -718. Is x a composite number?
False
Suppose 10*o = 5*o + 140. Let v be 4/o - 97/(-7). Let y = 20 - v. Is y a prime number?
False
Let o(l) = l**2 - 9*l - 8. Let a be o(10). Suppose -3*i = a*u - 409, 120 = 5*i + 3*u - 563. Is i composite?
False
Suppose -5*r + 4*r - 14957 = -2*x, x - 4*r = 7489. Is x a prime number?
True
Suppose 2*r = -5*g - 37, -4*r - 5*g = -6*r + 13. Suppose 0 = -5*l - 15 + 5. Is 3/r + (-75)/l composite?
False
Let n be ((-40)/6 + 2)*-3. Let b = n + -80. Let a = -45 - b. Is a composite?
True
Let u = 4 + 10. Let w(l) = -l**3 + 9*l**2 - 12*l - 9. Let p be w(7). Let f = p + u. Is f prime?
True
Suppose 504 = 3*c - 834. Is c prime?
False
Let x(d) = -d**3 - d**2 - 2*d - 3. Let u be x(-2). Suppose 0 = -4*b - u*s + 15, b - 2*s + 7 = 1. Let z(n) = n + 3. Is z(b) a prime number?
True
Suppose -3*d + 20 = 2*d. Let r be 1/(-2) + 2/d. Let k = r - -3. Is k a prime number?
True
Let l(z) = 2*z + 2. Let o be l(4). Is (-3069)/(-15) + 4/o prime?
False
Let z = 122 - 62. Suppose -4*k + z = -56. Suppose 5*i = 3*d + 116, i = d + k - 5. Is i composite?
True
Let o be 1 + (-3)/1 + 1. Let n = -1 + o. Let x = n + 8. Is x a composite number?
True
Let g = -5 + 5. Suppose g = p + p. Suppose 255 = -p*l + 3*l. Is l a composite number?
True
Let t(s) = 24*s**2 - 12*s - 71. Is t(13) a prime number?
False
Suppose x = -1 - 1, -2*i + 4*x - 958 = 0. Is (i/(-3))/1*1 prime?
False
Suppose -269 = -2*d - 5*z, -5*z + 4*z + 511 = 4*d. Is