s d composite?
False
Let s(k) = 2*k. Let h(d) = d - 1. Let m(l) = -3*h(l) + 2*s(l). Let a be m(0). Suppose 4*r - 136 = -a*p, -3*r + 5*r - 58 = -4*p. Is r a prime number?
True
Suppose d = 2*f - d - 8, -d = -4*f + 10. Suppose 2*v = -3*z + 233, 60 = f*z - 2*v - 92. Is z prime?
False
Let z(j) = 4*j**3 + 2*j**2 - 4*j - 8. Let u(i) = -11*i**3 - 6*i**2 + 11*i + 23. Let l(n) = 3*u(n) + 8*z(n). Is l(-4) a prime number?
False
Let k(x) = -x**2 + 4*x + 4. Let s be k(4). Let g = 7 - s. Suppose -58 = -t - h, 4*t - g*h = -t + 250. Is t composite?
False
Let r = 3 - -1. Let b = r + -2. Suppose 2*d + 0*c - b*c = 114, -3*d - 4*c = -143. Is d composite?
False
Suppose -3*s = 70 - 181. Suppose -2 - s = -3*h. Is h a composite number?
False
Let h(p) = 3*p**3 + 4*p**2 - p + 1. Let m = -6 + 9. Let l be h(m). Suppose -5*g + 0*g = -l. Is g a composite number?
False
Suppose 0 = -3*f + 21. Suppose -f*s + 691 = -114. Is s composite?
True
Suppose -5*t = -r - 3*r + 1253, -986 = 4*t + 5*r. Let s = t - -412. Is s a composite number?
False
Suppose -3*i - 2*i + g = -1, -g = 5*i - 9. Let p = i + -5. Is 465/20 + 1/p prime?
True
Suppose 0*q + 168 = 3*q. Suppose -s - 4*x = -66, -4*s + 193 = x - q. Is s prime?
False
Let m be (6/(-4))/((-18)/2280). Let k = -41 + m. Is k a composite number?
False
Let o(r) = -r + 3. Let q be o(0). Suppose 7*z = q*z. Is 7*(z + -1)*-11 composite?
True
Suppose 0*u + 20 = 5*u. Let r(k) = 2*k**3 - 6*k + 5. Is r(u) a prime number?
True
Suppose x + y + 6 = -2*y, 2*y + 9 = x. Suppose -2*v - 5*r - x = 2, 0 = -3*v + 4*r + 27. Let k(g) = 12*g - 5. Is k(v) a prime number?
False
Let w = 34 - -34. Suppose -c = -291 + w. Suppose 3*t - c = 14. Is t a prime number?
True
Let z(w) = 7*w - 2. Let s(k) = 5. Let v(c) = 11. Let q(a) = 13*s(a) - 6*v(a). Let f(n) = 5*q(n) - z(n). Is f(-7) composite?
True
Let z(h) = -h**2 - h - 96. Let m be z(0). Let w = m + 235. Is w prime?
True
Let f(j) = j**2 + 9*j + 5 + j - 5*j + 6. Is f(-9) composite?
False
Let z = 8 + -5. Suppose 0*m + 33 = z*m. Is m composite?
False
Let m = 61 + -32. Let z = 17 - m. Is (-382)/(-3) + 4/z a composite number?
False
Let d = -1 - -1. Suppose -3*y - 3*q + 4 = -2*q, 2*y - 3*q - 10 = d. Suppose 0 = 2*w + 2*r + y*r - 42, 0 = 2*w - 4*r - 18. Is w composite?
True
Let m(j) = -3*j**3 - j**2 + 4*j - 1. Let a(w) = 3*w. Suppose 0 = -o - 0 - 1. Let p be a(o). Is m(p) composite?
False
Let c = -39 - -62. Suppose -c - 125 = -4*n. Suppose -d + 0*d = -n. Is d a composite number?
False
Let v(c) = 3*c**2 - 2*c - 2. Let o be v(-1). Suppose -149 = -4*y + o*y. Is y composite?
False
Let d = -3 + -8. Suppose -2*a - 100 = 4*f + f, 3*f = 2*a - 44. Let v = d - f. Is v composite?
False
Let i = -480 + 1595. Is i a prime number?
False
Let t = -2 + 5. Suppose t*c - 263 = 2*c. Is c a prime number?
True
Let v = -240 - -451. Is v composite?
False
Let l(h) = 84*h**3 + 2*h - 1. Suppose 1 = o - 0. Is l(o) prime?
False
Let z = 7 - 3. Suppose 48 = 4*x + 2*y, -2*x + 40 = z*y + y. Is x a composite number?
True
Suppose -89 = -2*q + 45. Is q composite?
False
Let k = 1877 - 494. Is k prime?
False
Suppose -i - 2*v = -7*v - 11, 3 = i + 3*v. Let c(r) = 4*r + 5. Let m be c(i). Let t = 66 - m. Is t a prime number?
True
Let n be (-2)/((-2)/76*1). Suppose -30 = -i - 5*g + 2, -2*g - n = -2*i. Is i a prime number?
True
Is (3/(-6))/((-3)/5514) composite?
False
Let v(k) = -k**3 + 36*k**2 - 2*k - 20. Is v(17) a prime number?
True
Let b = 4 + -4. Suppose 4*d + n - 643 = 0, d - 166 = -b*d + 5*n. Is d composite?
True
Let i(s) = 2 + 3*s + 2 - 3. Let a = 22 - 16. Is i(a) a composite number?
False
Let f = 3 - 0. Suppose 0 = f*y - 25 - 32. Is y a composite number?
False
Let j = 0 + 0. Let z(n) = -n**2 + 22. Let b be z(j). Suppose -5*w - q + 62 = 0, w - q = 2*q + b. Is w a prime number?
True
Suppose 0 = -4*d + 3*d + 69. Is d a composite number?
True
Suppose 0 = 4*o + 2030 - 7514. Is o a composite number?
True
Let m = 1758 + -1201. Is m a prime number?
True
Let r(v) = -v**3 + 3*v**2 + 3*v - 2. Let m be r(5). Let z = m - -140. Suppose -3*y + 50 = -z. Is y a prime number?
False
Let j = -2 - -4. Let c(n) = -11*n**3 - n**2 + 4*n + 2. Let y(l) = 11*l**3 - 3*l - 1. Let t(v) = 2*c(v) + 3*y(v). Is t(j) composite?
False
Let u(y) = y**3 + 7*y**2 - 12*y - 1. Let g(f) = -6*f - 2. Let x be g(-6). Suppose -3*i + 4*j - 36 = 0, x = -i - 4*i - 2*j. Is u(i) a prime number?
True
Suppose 2*o + 4*u = 5*o - 5, 5*o - 5*u - 5 = 0. Is (1 + -2)*(o + -18) a prime number?
True
Let w be (-2)/(-6) - 19/3. Let s = 1 - w. Is s prime?
True
Is (-6)/(-8) - ((-2002)/8 + 0) a composite number?
False
Let g(a) = a**3 + 3*a**2 + 4*a + 4. Let u be g(-3). Let q = -37 - -35. Is ((-514)/(-8))/(q/u) composite?
False
Let f(d) = -d + 2. Let p be f(6). Is ((-23)/p)/((-4)/(-112)) a prime number?
False
Let w(l) = 3*l**3 - 9*l**2 + 4*l - 7. Is w(8) a composite number?
True
Suppose 0 = -s - 3*s - 16, -4*k + 5388 = -4*s. Is k a composite number?
True
Let w be (3 - 33/12)*20. Suppose -j - 2 = 0, -j - 3*j + 377 = w*c. Is c prime?
False
Let o(z) = 2*z + 11. Is o(7) composite?
True
Suppose 3*v - 19 = -4*h - h, -3*v + 14 = 4*h. Let l(b) = 1 - 3 - 23*b + 3. Is l(v) a prime number?
True
Let k be 2/(-4)*(-1 + 1). Let a be k/(4 + -2 + -4). Suppose a*u - 88 = -4*u. Is u a prime number?
False
Suppose 5*c + 9 = 114. Is c a prime number?
False
Suppose 4*v + 2*f - 18998 = 0, -5*v + 2345 = 3*f - 21401. Is v prime?
True
Suppose -3*a - 11 = -2. Let l be -3*(a - -1*2). Suppose -4*t - 2*b + 90 = 0, l*b - 60 = -2*t + 5*b. Is t composite?
True
Let q = -257 - -87. Let t = q + 403. Is t a prime number?
True
Let o = -4 - -4. Suppose -4*q + 3*g - g + 8 = o, -2*q + 20 = -5*g. Suppose 0*d + 3*d - 195 = q. Is d a composite number?
True
Let c(f) = -f**3 - 4*f**2 - 2*f + 3. Let n be c(-3). Let r = n + 0. Is (-89)/(-4)*(4 + r) a prime number?
True
Let m = -3 - -8. Suppose 4*v - 351 = -s - 0*v, -10 = -m*v. Suppose -4*p + s + 229 = 0. Is p prime?
False
Let b = 78 - 542. Let v = 913 + b. Is v a prime number?
True
Suppose 0 = -2*x - 113 + 565. Is x prime?
False
Is (194/((-5)/((-75)/(-10))))/(-1) prime?
False
Let i = -1669 - -5742. Is i a composite number?
False
Let u(h) = 11*h**3 - h - 1. Let s be u(-1). Is (s/2)/((-4)/8) a composite number?
False
Suppose -399 = -t - 4*g, -4*g + 0*g - 1676 = -4*t. Suppose -3*s + t = 4*h, 4*h - 5*s - 409 = -2*s. Is h composite?
False
Let l(b) be the third derivative of b**6/45 - b**4/24 - b**3/3 - b**2. Let p(j) be the first derivative of l(j). Is p(4) a prime number?
True
Let j be 656/(-6)*3/2. Let d be (j/5)/(1/5). Let g = 327 + d. Is g a composite number?
False
Let r(n) = 3*n + 1. Let f be r(1). Suppose 14 = 3*k + 2*i, k = 6*k + 4*i - 24. Suppose 0*s + 63 = a - f*s, -k*a - s = -269. Is a a composite number?
False
Suppose -3*g + g - 4*n = -990, 5*g - 2490 = 5*n. Is g a composite number?
True
Suppose -12*c + 3734 = -10*c. Is c prime?
True
Let a(v) = 20*v**2 - v + 7. Is a(-4) composite?
False
Let s be 23*6/9*-3. Suppose 7*n = 2*n + 405. Let t = s + n. Is t composite?
True
Suppose 3*r + 3*u = 129, 2*r + 3*u + 40 = 122. Suppose s - o - r = -3*o, -5*o = s - 47. Is s a prime number?
True
Let l(u) = -u**3 - 4*u**2 - 4*u. Let a be l(-3). Suppose 828 = a*y + 159. Is y composite?
False
Suppose 126 = g - 211. Is g a prime number?
True
Let a(r) = 558*r**3 - r. Is a(1) composite?
False
Let m(q) = -27*q**3 + 2*q**2 + 3*q + 3. Let l = 11 - 13. Is m(l) composite?
True
Let y = -176 + 20. Let q = -60 - y. Is q/(1 - -2) + 2 a prime number?
False
Suppose 0 = -5*k + 2*k + 1977. Suppose -3*v + k = 4*o, 644 + 197 = 5*o - 2*v. Is o prime?
True
Let a = 285 - 76. Is a a prime number?
False
Let u(t) = -58*t**3 - 3*t**2 + 2*t + 2. Let m be u(-3). Suppose 9*j - m = 4*j. Is j a prime number?
True
Let p(v) = -9*v**2 + v - 3. Let d(k) = 5*k**2 + 2. Let l(t) = -7*d(t) - 4*p(t). Let g be l(5). Is 3 - (-2 + -125 + g) a composite number?
False
Let z be -10 - (2 - 2) - 2. Let t = z - -40. Let q = -14 + t. Is q composite?
True
Let l(z) = 32*z**2 + 11*z - 14. Is l(-9) a prime number?
False
Let z be (-3)/((0 + -2)/(-2)). Is (11/z)/(5/(-75)) a composite number?
True
Let a(n) = 2*n**3 - 21*n**2 + n + 13. Is a(15) composite?
False
Suppose 5*o - 2 = 3*a, 3*a - 2*o + 1 = 2*a. Is 876/(-6)*(a + -2) prime?
False
Suppose -269 = 4*r + 4*o - 1433, -5*r + 1459 = 3*o. Is r 