6. Is s(4) composite?
False
Suppose -3*r = 3*r - 762. Is r a prime number?
True
Let t = 615 + -244. Is t composite?
True
Let l = 7 - 5. Suppose -l*d - 13 = -3*k, 3*d + d = 5*k - 19. Suppose 69 = 3*s - 5*m, 3*m = -4*s + k*m + 92. Is s a prime number?
True
Let w(v) = v**3 - 9*v**2 + 2. Let g be w(9). Suppose 7 = 5*l + 2. Is (l/g)/((-4)/(-536)) prime?
True
Is (-2292)/(-24)*((-2)/(-2) + 1) a prime number?
True
Let i(s) = 6*s**2 - 2*s - 1. Suppose 0*d + 3*k = -3*d + 3, 3*d + k - 11 = 0. Let v = -2 + d. Is i(v) a prime number?
True
Let f(j) = -2*j + 1. Let x(h) = -h - 1. Let a be x(1). Let w be f(a). Suppose -w*y + 3*p + 98 = 0, 3*y + 6*p - 70 = 5*p. Is y composite?
True
Let n(s) = 41*s - 2. Suppose 6*o = 3*o + 9. Suppose -4*b + 32 = 4*v, b - o*b = 4*v - 26. Is n(v) prime?
False
Let i be 4/((-3)/24*-2). Suppose -4*m - 3*v = -8*v - 92, 3*v = m - i. Suppose 93 = 4*a - g, a - 5*g - m = -0*g. Is a a prime number?
True
Suppose -j - 8 = 4*o + 3*j, j - 18 = 4*o. Is (38/(-57))/(o/1842) prime?
True
Let c(s) = 13*s + 1. Let z = -5 + 6. Is c(z) composite?
True
Let s = -163 + 261. Suppose 0 = -3*g + 4*c + 26 + 116, 2*g - c = s. Let n = 139 - g. Is n a prime number?
True
Let l = 4 + 0. Suppose 3*u - 2*z - 2 = 0, u - l*z = -0*z - 6. Is u composite?
False
Let u be 16 - 2/(-4)*-2. Let i = u - 11. Suppose -3*c - 22 = -i*c. Is c a prime number?
False
Suppose 0*m = -m + 5*a + 24, 3*a + 16 = m. Let s be (-37)/4 - (-1)/m. Let u = 2 - s. Is u a composite number?
False
Let o be (-6)/9 + (-33)/(-9). Suppose 5*u - 20 = -5*c, -2*u + 13 = -0*c + o*c. Is -3 - -1 - u*37 composite?
True
Suppose 2*b - d = 12, 5*b - 2*d - 3*d = 40. Suppose 7*a = -5*n + b*a - 25, n = -2*a - 12. Is 1 + n*3/(-2) composite?
True
Let k be (-7 - -3)*(-1 - -2). Let g = 15 + k. Suppose -2*x = -3*f - g, 3*x - f - 2*f - 24 = 0. Is x a prime number?
True
Let j(i) = i**3 + i + 1. Let u(f) = 2*f**3 - 5*f**2 + 4*f + 2. Suppose -3*z - 15 = 0, 4*z = -t + 2*t - 21. Let y(a) = t*u(a) - j(a). Is y(6) prime?
False
Let h be (-7)/(-28) - 967/(-4). Suppose 4*v + 583 = -0*y - 5*y, -4*v + y = 589. Let n = v + h. Is n a composite number?
True
Let h = 1159 + -712. Is h a prime number?
False
Let y(m) = 0*m + m - 7*m - m + 3. Let r = -13 - -9. Is y(r) prime?
True
Let a = 2329 + 2454. Is a composite?
False
Let r(l) be the second derivative of 19*l**4/6 - l**2/2 - 2*l. Suppose -k = 4*h - 2*k - 1, 0 = -4*h + 2*k + 6. Is r(h) a composite number?
False
Let u = 4 - 2. Suppose 3*b - b = u*n - 20, -5 = -2*n + 5*b. Is n a composite number?
True
Let c(n) = -9*n + 2. Let b be c(-2). Is (b + 1)*(1 + 0) composite?
True
Let x(w) = -7*w - 13. Is x(-10) composite?
True
Let g(d) = d**3 + 3*d**2 - 4*d + 2. Let h be g(-4). Is (1316/(-21))/(h/(-3)) prime?
False
Let y = -24 - -51. Let r be (-6)/y + (-3084)/(-27). Let z = 143 + r. Is z composite?
False
Let r be ((-3)/3)/((-2)/102). Suppose -5*p + 3*w + r = 0, w - 5*w = -3*p + 24. Is (-1)/((p/141)/(-4)) a prime number?
True
Let v(n) = -13*n. Let a be v(-4). Let c = a + -29. Suppose -2*x + c + 3 = 0. Is x composite?
False
Suppose 0 = 5*y + 5 - 15. Suppose 5*g + b = -2*b + 259, 0 = -g + y*b + 57. Is g a prime number?
True
Suppose 2*y = -3*y + 30. Suppose -3*r - 237 = -y*r. Is r composite?
False
Let z(u) = u**3 - 9*u**2 - 8*u - 14. Let j be z(10). Is ((-4)/j)/((-2)/147) a composite number?
True
Let n(d) = d + 5. Let g be n(-3). Suppose -5*i = -2*i + p - 89, -85 = -3*i - g*p. Is i prime?
True
Suppose -4977 - 4761 = -9*t. Is t a composite number?
True
Let j = -4 - -7. Is 1 + (-6)/j*-43 a prime number?
False
Let y be 2/(-4) - 2/(-4). Suppose -2*i - 3*j + 101 = y, 5*i - 5*j - 348 + 108 = 0. Is i a composite number?
True
Let m = 3660 + -1511. Is m composite?
True
Let w(y) = -y**3 + 2*y**2 + y + 7. Is w(-5) composite?
True
Let n(c) = c**3 - 8*c**2 + 2*c + 6. Let d be n(6). Let s = d + 289. Is s prime?
False
Let j = 248 + 125. Is j a composite number?
False
Let s(g) be the third derivative of 7*g**4/8 + g**3/6 - g**2. Suppose 0 = -8*v + 5*v + 12. Is s(v) a composite number?
True
Suppose 0 = -2*z + z + 8. Suppose 2*b + z = 0, -5*s + 66 = -5*b - 9. Is s prime?
True
Let a(j) = j**3 + 4*j**2 + 2*j + 6. Let h be a(-4). Let m(i) = 10*i**2 + 2*i + 1. Is m(h) prime?
True
Let l = 174 + -342. Let a = l + 287. Is a a composite number?
True
Suppose 0*i + 12120 = -4*i. Let y = 4325 + i. Suppose 6*u - y = u. Is u prime?
False
Let o = -3 - -68. Is o a composite number?
True
Let s(k) = -438*k**3 - 2*k**2 - 2*k - 1. Is s(-1) composite?
True
Suppose -5*b + 1644 = -b. Is b a composite number?
True
Suppose 0 = -5*f - t - 6 - 3, -4*f = t + 7. Let x = -2 - f. Suppose x = -3*y - y + 232. Is y a composite number?
True
Suppose d + 7 = 14. Let l(b) = 7*b + 7. Let h be l(d). Suppose -h = -2*u + 102. Is u a composite number?
False
Let g = -296 - -699. Suppose 0 = -5*l + g - 78. Suppose 24 + l = j. Is j a prime number?
True
Suppose -5*t - 3*f + 2107 = 0, t + 6*f = f + 439. Is t a composite number?
False
Let f = -9 - -7. Let o be (-50)/(-15)*(-3)/f. Let q(h) = h**2 + 3*h - 7. Is q(o) composite?
True
Suppose -5*t + 15 = -0*t. Let i be (-2 - -2)/(-3) + 125. Suppose 5*c + 253 = -w + t*w, -w + 2*c + i = 0. Is w a prime number?
False
Let g(x) = 27*x + 41. Is g(20) a prime number?
False
Suppose -17 - 3 = -5*u. Let z be 2/u - 57/6. Let w(s) = s**2 - 10*s + 6. Is w(z) a prime number?
False
Suppose 3*s + 5*m = 231, -3*s + 3*m - 80 + 311 = 0. Is s prime?
False
Suppose 0 = 3*p - 4*p + 213. Is p a composite number?
True
Suppose 0*i - i + 4 = 0, -i - 1655 = -3*x. Is x composite?
True
Is ((-6159)/12)/(1/(-4)) a prime number?
True
Let r(b) = -b**2 + 33*b + 24. Is r(23) prime?
False
Let d(x) = x**3 - 19*x**2 + 30*x + 17. Is d(18) composite?
False
Let l = 6 - 4. Is 2/1*263/l prime?
True
Let c(i) = i**2 + 2*i. Let r be c(-3). Let g = 1 + r. Suppose 4*f = -g*u + 16, -2*u = f - 4*f - 18. Is u a prime number?
False
Let m = -6 + 4. Is 7 + m + -2 - -10 composite?
False
Let q(m) = 74*m**2 + 3*m - 4. Is q(-7) prime?
False
Is ((-316)/14)/((-5)/35) a prime number?
False
Let s(o) = -o**3 - 19*o**2 + 22*o + 22. Let z be s(-20). Let d = z - -57. Is d prime?
False
Suppose -d - 3 = l, d - 8*l + 28 = -4*l. Let g be 4/((-2)/(-1)) - d. Suppose 0 = -3*a - g + 103. Is a composite?
False
Suppose 0 = -3*c + 2*c + 503. Is c composite?
False
Let q(k) = 4*k**3 + 10*k**2 + 11*k - 8. Let t(h) = -24*h + 3*h + 15 - 28*h**2 + 8*h**2 - 7*h**3. Let c(u) = -5*q(u) - 3*t(u). Is c(-9) a composite number?
True
Let f(s) = 5*s - 5. Let h be f(-4). Let m = h - -72. Is m a prime number?
True
Let h(b) = b**2 - 8. Let x be h(6). Let w be (x/3)/(6/117). Suppose 402 = 3*n - g, 2*n + g - w = 81. Is n a composite number?
True
Suppose -4 = -4*y + 4. Suppose 158 = -y*g + 4*g. Is g prime?
True
Let n(p) = 2*p**2 - 2*p - 2. Let m be n(-2). Let z be (-5)/(-2) + (-5)/m. Suppose 3 = -z*o + 3*b, -4*o - 5*b + 6 + 21 = 0. Is o a composite number?
False
Suppose 0*b + 5*b = -3*z + 1, 2*b - 8 = -5*z. Let s be (-14)/(-2)*2/z. Suppose 0 = s*c - 4*c - 159. Is c a prime number?
True
Suppose -9 = -4*h + 7*h. Is 27/h*-9 - -4 composite?
True
Let g(z) = z - 6. Let c be g(0). Let h be (0 - c)/((-3)/(-22)). Suppose -4*j = 4*a - h, -2*a - 5 = -3*a. Is j composite?
True
Let u = 6 + 0. Suppose g - 634 = -3*t, 0 = -3*g - 3*t + u*t + 1926. Suppose -5*a + g + 315 = 0. Is a composite?
False
Let w(j) = 29*j - 40. Is w(9) a prime number?
False
Suppose 5*d + 15 - 105 = 0. Let i = -30 + d. Let y = 23 + i. Is y a prime number?
True
Suppose -2*a + 4*h + h - 31 = 0, -a = -2*h + 13. Is (-66)/4*14/a composite?
True
Let s(g) = -46*g + 10. Let m be s(-8). Suppose m - 34 = 4*j. Let q = -49 + j. Is q a prime number?
True
Let s(x) = -1193*x**2 + x. Let w be s(-1). Let o be 2/(-9) - w/27. Let j = 81 - o. Is j composite?
False
Let o = 4363 + -2142. Is o composite?
False
Let r be (-1 - (2 + -1))/1. Let z be ((-6)/(-9))/(r/(-237)). Let k = -28 + z. Is k a prime number?
False
Let f(v) = 2*v - 1. Let m be f(2). Suppose m*w + 179 = a, 5*w = -5*a + 4*w + 927. Is a a prime number?
False
Suppose 0 = 3*v + 3082 - 14533. Is v a prime number?
False
Suppose 3 = v - 0. Let a(m) = -m**3 + 2*m**2 + 5*m - 3. Let l be a(v). Is (-5)/2*l*-2 composite?
True
Is 14/(-91) - 2268/(-39) composite?
True
Suppose 3*b - 2*v = 29, -4 = -2*b - 2*v + 2. Is b a composite n