?
True
Let r be ((-1)/(-1))/(1/85). Let f = r - 45. Suppose 7*y - f = 3*y. Is y composite?
True
Let x(r) = 49*r + 9. Is x(5) a prime number?
False
Suppose 3*v + 2*b - 739 = -0*b, b = -4. Is v a prime number?
False
Let q(o) = o - 1. Let h be q(3). Suppose -h*y + 63 = y. Is y prime?
False
Let s be ((-16)/48)/((-1)/36). Is (187 + 1)*9/s a composite number?
True
Let f(g) = g**2 + 7*g. Let v be f(-7). Is (-955)/15*(v + -3) a prime number?
True
Let p(b) = b**2 - 6*b - 4. Is p(-5) composite?
True
Suppose -4 = -3*t - 22. Let n(s) = -14*s + 4. Let f(m) = 27*m - 7. Let w(j) = -3*f(j) - 5*n(j). Is w(t) composite?
False
Suppose -3*z + 1063 = 2*c, 3*c + 7*z - 1594 = 2*z. Is c a composite number?
True
Suppose -3*k + 58 + 53 = 0. Is k composite?
False
Let z = -282 + 1337. Suppose z = -q + 6*q. Is q a prime number?
True
Suppose -5*i = -2*u - 7, 4*i = 2*u - 6*u + 28. Let y(r) = 13*r - 2. Is y(i) prime?
True
Let c(w) = 2*w**3 - w**2 - 5*w + 3. Let g be c(3). Suppose -g = -4*b - 1. Suppose 2*p = 78 - b. Is p a composite number?
True
Is 12188/16*1 - 3/4 a prime number?
True
Let l(w) = -2*w - 5 - 11*w - 2*w. Is l(-4) prime?
False
Let l(m) = 114*m - 1. Is l(8) composite?
False
Is ((-9)/(-27))/((-2)/(-1230)) composite?
True
Let c be (137 - -9)*1/(-1). Let b = 595 + c. Is b a composite number?
False
Let o = 19 - 28. Let u = 11 + o. Suppose 5*a + 39 = 3*z, -13 = -z - u*a - a. Is z a composite number?
False
Let k(v) = 25*v**2 - 4*v + 1. Let t be k(-5). Let r(s) = 2*s - 2. Let x be r(3). Suppose -5*f - 3*q + t = 0, -2*q + 788 - 270 = x*f. Is f a prime number?
True
Let k be -818 - -1 - 0/(-5). Let t = -374 - k. Is t a prime number?
True
Let h = 100 + -60. Suppose -3*x - 1 + 7 = 0. Suppose 4*k - h = o - 2*o, -3*k = -x*o - 19. Is k prime?
False
Let h = -1 + 1. Let c be 3 - h - 10/(-5). Suppose -c*k + 63 = -2*k. Is k a composite number?
True
Let a(g) = -5 + 4 - 58*g**2 + 47*g**3 + 59*g**2. Is a(1) a prime number?
True
Let u be (-9)/(-12)*(-12)/(-3). Suppose 0 = u*z, -x + 5*z = -5 - 6. Is x prime?
True
Let o(k) = -k**3 - 6*k**2 + k + 3. Let w(d) = -d**3 - 6*d**2 + d + 3. Let y(u) = 3*o(u) - 4*w(u). Let q = -2 + -2. Is y(q) composite?
True
Let s = 242 - 37. Is s composite?
True
Let j be 3 + -6 + -68 - -2. Suppose -3*w + 4*c + 324 = 0, 3*w - 76 = -4*c + 272. Let u = j + w. Is u prime?
True
Let h = 484 - -1363. Is h a composite number?
False
Suppose -2*t + 64 - 14 = 0. Let s = t + -4. Is s a composite number?
True
Suppose 764 - 134 = 3*z + 3*i, i = 3*z - 634. Is z composite?
False
Suppose -2*h + 1937 = -801. Suppose -4*s - 134 = 2*l - 1508, -h = -4*s + 3*l. Suppose -y - 4*n + 13 = -60, -4*y + n = -s. Is y composite?
True
Let k(b) = -b - 3 + 6 - 8*b. Suppose 21 = -2*x + 3*x + 5*z, -3*z = 5*x + 5. Is k(x) a composite number?
True
Suppose 5*h - 12 - 8 = 0. Suppose -h*i + 2830 = i. Let y = i + -97. Is y composite?
True
Let t(z) = -z - 2. Let y be t(4). Let c be 6*(-1)/y*2. Let s(m) = 3*m**2 - 3*m + 1. Is s(c) a composite number?
False
Let f(z) be the first derivative of -17/2*z**2 + z - 1. Is f(-2) a composite number?
True
Let q be 1198*((-7)/(-2))/(-7). Let s = q + 892. Is s a prime number?
True
Suppose -4*p - 2*k + 1192 = 0, 2*p - 4*p = -5*k - 608. Is p composite?
True
Suppose 120 - 930 = f + 2*a, 0 = -2*f + a - 1640. Let b = f + 1147. Is b composite?
True
Let a(j) = 13*j**2 + j + 3. Is a(-2) composite?
False
Let u(m) = 6*m - 4. Let i(c) = -1. Let y(z) = 3*i(z) - u(z). Let s(l) = -l**2 - 6*l - 9. Let h be s(-6). Is y(h) a composite number?
True
Let n(l) = -l**2 - l + 33. Let f(m) = m**2 - 5*m. Suppose 3*q - 25 = -2*q. Let i be f(q). Is n(i) a composite number?
True
Suppose 3*k - 7*k + 5*b + 887 = 0, 2*k = 4*b + 442. Is k prime?
True
Let a = 54 + 103. Is a prime?
True
Is (251/4 - 0)*8 a composite number?
True
Let u(a) = 192*a**3 - 2*a**2 + a. Is u(1) composite?
False
Let h(r) = 42*r + 47. Is h(20) composite?
False
Suppose -a - 12 = 3*a. Let q be -3 - a/((-6)/(-674)). Let v = q + -173. Is v composite?
True
Is (1142/(-8))/((-11)/44) composite?
False
Let o(x) = 183*x**3 - x**2 + 3*x - 1. Is o(2) a composite number?
True
Suppose -5*p + 5 = -5. Is ((-5)/(-15))/(p/18) a composite number?
False
Suppose 20 = 2*k - 60. Suppose -4*g = 2*c - 340, 8*g = 4*g + 3*c + 320. Let s = g - k. Is s a composite number?
False
Let b(m) = 6*m**3. Let v be b(1). Suppose -2 - v = -2*s. Suppose -j + 105 = s*j. Is j a composite number?
True
Let p(g) be the second derivative of -1/20*g**5 + 0 + g + 1/2*g**4 - 7/2*g**2 + 3/2*g**3. Is p(7) prime?
True
Suppose l - 4*v + 15 = 0, 2*l - 3*v - 5 = -2*v. Suppose -l*x = 8 + 7. Let b = x - -70. Is b a composite number?
False
Let k be 5/(10/(-4)) + 5. Is (k - 7/3)*123 composite?
True
Suppose -5*c = -5*k + 2060, -2*c = -6*k + 2*k + 1658. Is k a composite number?
True
Suppose b + 8 = 3*b. Suppose -b*y - 5*a + 176 = -0*a, -2*a - 155 = -3*y. Is y a composite number?
True
Let j be -2*(15/2)/(-5). Suppose 5*z + 5 + 73 = w, -w + j*z = -76. Let l = w - 24. Is l a prime number?
False
Let b(n) = n**3 + 5*n**2 + 4*n + 3. Let a be b(-4). Suppose -6 = -3*f, -2*s - 7*f - 122 = -a*f. Let q = s + 116. Is q composite?
True
Let j(y) = y + 1. Let m(q) = -6. Let d(g) = -3*j(g) - m(g). Suppose 4*z + 31 - 7 = 0. Is d(z) a composite number?
True
Suppose -4*d + 12512 = -0*v + v, -3*d + 9401 = 5*v. Is d a prime number?
False
Let n = -1 + -11. Let f be ((-6)/n)/((-2)/(-352)). Suppose 2*c - f = d + d, 20 = -4*d. Is c composite?
True
Let h(f) be the first derivative of 44*f**3/3 + f**2/2 + 2*f - 1. Let v be h(2). Suppose -v = -2*o - 2. Is o a prime number?
True
Suppose -3*g = -0*g. Suppose g = -2*t + t + 7. Suppose 0 = q - t. Is q composite?
False
Suppose 0*f = -5*i + f + 9804, -3*f = -2*i + 3919. Is i a composite number?
True
Suppose o + j - 8 = 0, -3*o = 5*j - 18 - 16. Is (-4 - -66) + 0 + o composite?
True
Is 20*(55/20 + 0) a composite number?
True
Let j(l) = -33*l + 18. Is j(-13) a prime number?
False
Let c(d) = 13*d**2 + 12*d + 20. Is c(-7) a composite number?
True
Suppose 5*z + 3*m = 127, z + 5*m - 43 = -0*m. Is z prime?
True
Suppose 0*f = 4*x + f + 2, f = x - 2. Is -3 + x - 7*-7 composite?
True
Suppose 3*d + 5*s - 4*s - 81 = 0, 0 = 2*d - 2*s - 62. Let u be 2/7 + (-120)/d. Is (1 + 3)/(u/(-22)) prime?
False
Let z(w) be the third derivative of w**6/120 + w**5/15 - 7*w**4/24 - w**3 - w**2. Let q be z(-5). Let a(x) = 2*x - 6. Is a(q) a composite number?
False
Let y = 138 + -73. Let x = -46 + y. Is x prime?
True
Suppose 4*h = c + 709, 883 = 5*h + 3*c - c. Is h a prime number?
False
Let v = 16 - 14. Suppose j + 5*b = 21 + 13, -3*j = 2*b - 128. Suppose -2*s = 0, -j = -v*x - s - 6. Is x composite?
False
Is (-45)/(-60) - (-8306)/8 prime?
True
Let k be (-477)/(-6)*(-4)/(-6). Suppose 0 = a - 21 - 9. Let j = k + a. Is j prime?
True
Let g(z) = z**3 + 12*z**2 - 6*z + 1. Let s = -18 + 12. Is g(s) a prime number?
False
Let p(v) = -v**3 - 9*v**2 + 9*v - 11. Let q be p(-10). Is (0 - -1)/(q/(-121)) composite?
True
Let c(s) = -s**3 + 163. Is c(0) a composite number?
False
Let h(b) = 40*b + 9. Let s be h(7). Suppose -5*x - 3*c = -s, -x = 3*x - 2*c - 218. Suppose 5*r - 70 = -0*r - 5*j, -4*r = 5*j - x. Is r a composite number?
True
Suppose 924 + 1221 = 5*a. Let g = a - 218. Is g prime?
True
Let f(l) = -l**3 - 6*l**2 - 6*l. Let b be f(-5). Suppose -b*x + 2*p + 3 = 0, x + 2*x + 3*p + 15 = 0. Let a = 8 + x. Is a a composite number?
False
Suppose 12*c = 11*c - 26. Let g = c + 61. Is g composite?
True
Let l = -8 + 11. Suppose t - 4*q - 17 = 3, -7 = -2*t - l*q. Suppose -3*j + 126 = -3*f, 0 = 4*j + 2*f + t - 146. Is j a prime number?
True
Suppose -712 = -5*j + 148. Suppose -3*v = v - j. Let s = -21 + v. Is s composite?
True
Let w(o) = -33*o + 25. Let y(u) = 17*u - 12. Let d(p) = 2*w(p) + 5*y(p). Is d(9) composite?
True
Suppose -15 = -u - 10*r + 5*r, 45 = 3*u + 2*r. Suppose -u = 4*y - 103. Suppose -m - m + y = 0. Is m a prime number?
True
Let p = -13 + 36. Let v be p + -1 - 1/1. Is 0 + v - (4 + -2) a composite number?
False
Let h = 149 + 300. Is h a composite number?
False
Let d(y) = -y**2 + 7*y - 2. Let t be d(6). Let s be t/12 + 160/6. Suppose 0*l = -l - k + 17, -s = -l + 4*k. Is l prime?
True
Suppose -4*t + 2*w = 32, -3*t + w - 18 = -2*w. Let p(c) = c**3 + 12*c**2 + 16*c + 15. Is p(t) a composite number?
True
Let m(