
True
Let c(g) = g**3 + 9*g**2 - 9*g + 8. Let k be c(-10). Let t be (k/6)/(2/(-18)). Suppose t*b - 95 = -3*v - b, 0 = 5*v - 4*b - 169. Is v prime?
False
Suppose 27*i = 11*i + 18224. Is i prime?
False
Is ((-3 - -1) + 289)*1 prime?
False
Let y(o) be the first derivative of o**4/4 + 10*o**3/3 - o**2 + 7*o + 4. Is y(-6) a composite number?
False
Let l(y) = -10*y**2 + 3*y - 2. Let u be l(2). Let d = 55 + u. Is d a prime number?
True
Suppose -2*x + 2*s = -2, -x + 0*x - 4*s + 16 = 0. Let g(w) = 16*w - 4. Let q be g(x). Let p = 7 + q. Is p a prime number?
True
Suppose -7*b - 4122 = -31709. Is b composite?
True
Suppose -2*t + 348 = -406. Is t composite?
True
Is 41743/95 - 2/5 composite?
False
Let x(a) = -10*a**2 - 2*a + 4. Let p(s) = -21*s**2 - 3*s + 7. Let t(h) = -3*p(h) + 5*x(h). Is t(-2) prime?
True
Is 4 - (-6 + 6) - (-1898 - -1) prime?
True
Let v be -3*((-64)/12)/(-2). Let m be 1 - (-21 - (3 + -2)). Let u = m + v. Is u prime?
False
Let i = -7 + 10. Is 2 - (-12 + -3 + i) a composite number?
True
Let m(h) = -h**2 + 13*h - 14. Let r be m(12). Is ((-1)/r)/(4/2456) a prime number?
True
Let y(w) = -2*w + 1. Suppose -7*a = z - 2*a + 21, -3*z - 3*a - 27 = 0. Let j(q) = q + 5. Let c be j(z). Is y(c) composite?
False
Suppose 2*i = -0*i + a + 75, 4*i = a + 145. Is i a prime number?
False
Suppose 3*z = -0*z + 1407. Is z prime?
False
Suppose 5*r - t - 236 = 2*t, -3*r - t = -136. Is r a prime number?
False
Suppose -3*i = -4*g + 508 - 2834, 3120 = 4*i + 4*g. Is i a prime number?
False
Is 3108 - ((-5 - -1) + 3) prime?
True
Suppose 5*x + 5 = 5*z - 0*z, -4*x = -5*z + 8. Suppose 2*w - 127 = -p, -3*p - 139 = -x*w + w. Is w composite?
True
Suppose 4*i - f = 657, -i - f + 173 = -3*f. Is i a composite number?
False
Suppose -3*r - 1 = -2*u, 5*r + 0*r + 7 = 4*u. Suppose z = -5*a + u, -z = -4*a + 3*z + 16. Suppose -a*j + 4 = -j. Is j composite?
True
Suppose -2*c - 2 = -3*l, 5*l + c = 6*c. Let n(r) = 33*r**2 + 4*r - 12*r**2 - r - 1. Is n(l) a composite number?
False
Suppose -2*h = 5*v + 559, -v - 35 - 80 = 2*h. Is -3 + 2 + 3 - v a composite number?
False
Suppose -12 = -4*r, 7 = k - 3*k + r. Is (k/(-3))/(2/993) a composite number?
False
Let z = -6 - -9. Let p be ((-1)/z)/(1/(-12)). Suppose 0 = -3*t + p*y + 121, -5*t = -0*y - 4*y - 191. Is t a prime number?
False
Let u(i) = -11*i + 10. Let y = 7 + -16. Is u(y) a prime number?
True
Let c = 4 - -2. Is (-67)/((-3)/(c + -3)) prime?
True
Let d be 14378/12 - (-9)/(-54). Let m = d - 699. Is m a prime number?
True
Let z(j) = -j**2 + 10*j + 16. Is z(7) a composite number?
False
Suppose -14959 + 4368 = -7*i. Is i prime?
False
Let g(f) = -f**2 + 8*f + 6. Let x be g(8). Suppose 3*v + x = 33. Is v a prime number?
False
Suppose -364 = 6*r - 10*r. Is r composite?
True
Is -6*3/(-6) + 163 a prime number?
False
Suppose 5*u - 3 = 7. Let z be (1/u)/(4/24). Suppose z*o - m = 11, -4*m - m - 7 = -3*o. Is o prime?
False
Suppose -2*k - 1339 = -s, 3*s = -2*k + 4876 - 867. Is s a prime number?
False
Let y(c) = -58*c**3 - c. Is y(-1) a prime number?
True
Suppose -6*i - 15 = -3*i. Is (-25)/i*(-7)/(-1) a prime number?
False
Let b be 1/((-1)/(-3 + 6)). Is (-1)/b + (-1236)/(-18) prime?
False
Suppose -7*i = -378 - 140. Is i a composite number?
True
Let d = -54 - -91. Is d composite?
False
Let k = 520 - 351. Is k composite?
True
Suppose 39002 = 4*k + 3726. Is k a composite number?
False
Suppose -2 + 4 = h. Is h*(-1)/2*-74 a prime number?
False
Let g(w) = -8*w**2 + 3*w - 2. Let q be g(-3). Let a = q - -148. Let v = 98 - a. Is v composite?
True
Let f be 3 - 3*3/9. Is (51/(-12))/(f/(-40)) a composite number?
True
Let g = 102 + 215. Is g composite?
False
Let b(u) = 2*u. Let g be b(2). Suppose -g*i + 144 = -228. Is i composite?
True
Let g(c) = -139*c - 3. Is g(-4) prime?
False
Let b(z) = -2*z - 2. Let x be b(-4). Let h(a) = 7*a - 9. Is h(x) composite?
True
Is -12*(-4 - (-373)/(-4)) composite?
True
Let f(o) = o**3 + 9*o**2 + 3. Is f(-4) a prime number?
True
Let m be (9 + (1 - 0))/(-2). Is 2/m + (-447)/(-5) composite?
False
Let z(t) = -15*t - 3. Let l(f) = -f. Let r(m) = -6*l(m) + z(m). Let y be r(-4). Let h = y + -18. Is h composite?
True
Suppose -3*z + 173 = -40. Is z prime?
True
Let t be (-664)/(-72) - 4/18. Suppose t*f - 6*f = 1041. Is f a composite number?
False
Let w(x) = -x**2 + 3*x + 4. Let j be w(3). Suppose -m = -j - 1. Suppose -m*p - o = -905 + 327, -p + 3*o = -106. Is p a composite number?
True
Let c(h) be the second derivative of 7*h**4/12 - h. Suppose 1 = 3*j + 3*i + 7, -3*j - 4*i - 9 = 0. Is c(j) composite?
False
Suppose -4*y + 16 = -2*t, -6 = -t + 4*t. Suppose 0*u - 5*w = u - 171, 0 = 3*u - y*w - 477. Is u a prime number?
False
Suppose 0 = 3*l - 5 - 7. Suppose 3*j = 6 + 3. Suppose -j*o + 4*g - 145 = -358, -l*o + g + 271 = 0. Is o a prime number?
True
Let d(m) = -m**3 - 5*m**2 + 5*m - 6. Is d(-7) composite?
True
Suppose 0 = 5*b + 5*a - 5, b + 2*a + a = 3. Let g be b - (3 + 14 - 3). Is (7/(g/(-52)))/2 prime?
True
Let z(l) = -33*l + 14. Is z(-9) a composite number?
False
Let d be 0/(-4) - 189/1. Let y = -159 - -67. Let c = y - d. Is c prime?
True
Let h = 16 - 14. Suppose -h*l - 3*l = -410. Is l composite?
True
Let d(x) = 2*x**2 - 5*x + 6. Let f(s) = 3*s**2 - 11*s + 12. Let o(l) = 5*d(l) - 3*f(l). Let y be o(5). Let k = 94 - y. Is k a prime number?
False
Let k = 1121 + -334. Is k composite?
False
Let c be 9/(-2 + 5)*1. Let m be 2/(-3)*(-1 + -2). Suppose -3*k = 5*j - 162, k - m*k = -c*j - 40. Is k prime?
False
Let c(q) = 0 - 8*q**2 - 4 + 4*q - 2*q. Let l(j) = -4*j**2 + j - 2. Let s(u) = 2*c(u) - 5*l(u). Is s(3) prime?
False
Suppose -99 = -3*j - 4*b + b, 4*j - 2*b = 156. Is j a composite number?
False
Suppose 5*f - 20 = f. Suppose -f*b + 156 + 154 = 0. Suppose 2*c = 2*p - 3*p + b, -3*p = -2*c + 78. Is c composite?
True
Let g = 92 + 3. Let p be g/15 - 2/(-3). Is p/(-2 + (-11)/(-5)) a prime number?
False
Suppose 5*j = -h + 25, -5*j + 5 = -2*h - h. Suppose -h*m = -3*m - 74. Is m composite?
False
Suppose -z - 11 = -32. Let y = z - 11. Is y prime?
False
Suppose -2*q - 90 = -5*a, a - 22 = -a - 2*q. Suppose a + 0 = 4*l. Suppose l*b - 3*b - 2 = 0. Is b a composite number?
False
Suppose 8 = -0*a - 4*a. Is a/(-3) - (-211)/3 a prime number?
True
Suppose 3 = -n + 8. Suppose -n*d = -454 - 51. Suppose -d - 136 = -3*r. Is r a composite number?
False
Let q(d) = d**3 + d**2 - 5*d + 2. Suppose -6 = 5*l - 6*l. Let w be q(l). Suppose 0 = 3*k - 3*v - 252 + 87, -4*k + w = -3*v. Is k prime?
True
Let l be 1*((-26)/1 - -1). Let g = l + 188. Is g prime?
True
Let x(v) be the second derivative of v**4/12 - 7*v**3/6 - 5*v**2/2 - 2*v. Let r be x(8). Suppose 28 = r*p + p. Is p a composite number?
False
Suppose -8*o + 3*o + 5705 = 0. Is o a composite number?
True
Let l be 0 - 2/(6/(-21)). Let b(h) = 3*h**2 - 10*h + 2. Is b(l) composite?
False
Let j = 312 - 77. Is j composite?
True
Suppose -4*g = i - 4 - 13, -3*i + 5*g = 34. Is (-16 - i)/(1/(-5)) composite?
True
Let l = -260 - -753. Is l composite?
True
Is ((-2)/(4/6))/((-24)/2696) composite?
False
Let o(v) = v**2 + 14*v + 22. Let j be o(-16). Suppose -3*n + 39 = -j. Is n composite?
False
Let n(t) = t**2 - 7*t + 5. Let r be n(6). Let u be r/(-5) - 21693/(-35). Suppose 0 = -2*y + 7*y - 5*f - u, 5*f = -5*y + 570. Is y a prime number?
False
Let o = 210 - 113. Is o a composite number?
False
Suppose 4*p - 292 = -100. Suppose -4*l + p = -3*l - h, h + 154 = 3*l. Is l prime?
True
Suppose 4*y - 6 = 14. Suppose -3*p - 4*w = p + 1508, 0 = y*p + 2*w + 1897. Is (-2 + (-15)/(-9))*p composite?
False
Let c be (10/(-8))/(3/(-12)). Suppose -5*r - 12 = -2*d + 30, -2*r - 147 = -c*d. Is d a composite number?
False
Let d(x) = -2*x**2 - 10*x - 11. Let c be d(-11). Let m = c + 85. Is (-2)/4 + m/(-4) composite?
True
Suppose -3*b - 7 - 10 = -4*c, 3*c = b + 9. Let n = 1 - c. Is (2/2)/(n/(-55)) a composite number?
True
Let v be ((-1362)/(-9))/(12/18). Suppose 4*i + 5*p - v = 0, -i + 61 = -0*i - 3*p. Is i prime?
False
Let u(w) = -8*w**2 + 7*w + 2. Let r(f) = -f**2 - 1. Let i(n) = 5*r(n) - u(n). Let h(v) = 10*v - 3. Let d be h(1). Is i(d) composite?
True
Let d(n) = 13*n**3 + 3*n**2 + n - 7. Is d(4) prime?
True
Let s(r) = 3*r**2 + 16*r - 4. Is s(-7) a prime number?
True
Let x(s) = 198*s + 2. Let h be x(1). Let w = h - 85. Is w a prime number?
False
Let q = 195 - 13