. Let g be b(7). Is ((-1)/2)/(2/g) prime?
True
Let c be 2/(-7) + 150/35. Suppose c*h - 3*h = 111. Is h a prime number?
False
Let r(u) be the first derivative of 2*u**3 + 3*u**2/2 + 4*u - 2. Suppose -h - 4 + 1 = 0. Is r(h) prime?
False
Let u(d) = d + 175. Let g be u(0). Suppose 2*w + 3*w - g = 0. Is w a prime number?
False
Let z(a) = -72*a**2 + 6*a + 5. Let p(k) = -k**2 - k - 1. Let o = 4 + -5. Let m(y) = o*z(y) - 4*p(y). Is m(-1) composite?
True
Let v(n) = n - 4. Let z(q) = -q**3 + 9*q**2 - 8*q + 8. Let b be z(8). Let y be v(b). Suppose -3*w - 193 = -4*r - 5, w = -y*r + 188. Is r prime?
True
Is (-6)/4*(-1206)/27 a composite number?
False
Is (-2)/3 - 8948/(-12) a composite number?
True
Suppose -2*y = -5*l - 0*l, l - 2*y - 8 = 0. Let c(t) = -3*t - 4*t**3 - 3*t**2 + 0 - 1 - 2. Is c(l) prime?
True
Suppose -5*r = 5*t, 0 = -0*r - 3*r - t + 4. Suppose r*f - 38 = 96. Is f composite?
False
Let j(q) be the first derivative of 16*q**3/3 + q**2 - q - 9. Let u = 3 - 1. Is j(u) composite?
False
Let w(a) = -5*a. Let b be w(-1). Suppose -q = -b*q. Suppose -t + 29 + 10 = q. Is t a composite number?
True
Let b be 1/2*0*1. Suppose b = -l + 2 - 97. Let j = l - -172. Is j a composite number?
True
Let h(c) = c**2 - 7*c + 3. Suppose a = 5*k + 8, 2*k = 5*a + 5*k - 40. Is h(a) prime?
True
Suppose -3*y - 39 = 3. Let n(d) = 2*d**2 + 18*d - 13. Is n(y) prime?
True
Let q = 8386 + -4593. Is q a composite number?
False
Let c(t) = -t**2 + 8*t - 4. Let r be c(6). Is ((-1)/1)/(r/(-248)) a prime number?
True
Suppose 6 = p + 2*p. Suppose 57 + 59 = p*f. Is f a prime number?
False
Let x be -1*6*(-3 + 2). Let y be (2/x)/(4/(-24)). Is 763/21 + y/(-3) a composite number?
False
Let n(a) = -2*a**2 - a + 166. Let l be n(0). Let q = l - 111. Is q a composite number?
True
Let y = -53 - -120. Is y composite?
False
Let z(o) be the third derivative of -o**6/120 + 3*o**5/20 - o**4/3 - o**3/3 - o**2. Is z(6) composite?
True
Suppose 3*u + u = 3*x + 123, 0 = u - 5*x - 52. Suppose -24*o + 28*o = -4. Let w = o + u. Is w composite?
True
Suppose -3*f - 876 = -7*f. Is f a prime number?
False
Suppose -3*o = o. Suppose t = -2*g + 133, -143 = -o*g - 2*g + t. Let s = 20 + g. Is s a prime number?
True
Suppose -z - 1 = -6. Let x(w) = 31*w**2 + 2*w - 4. Is x(z) composite?
True
Let z be (16/6)/((-4)/(-6)). Suppose 0 = 2*o + 3*v - 685, 0*o - 1360 = -4*o + z*v. Is o composite?
True
Suppose 4*i - 3*o = 10 - 1, 4*o + 12 = 3*i. Suppose i = n + n - 238. Is n composite?
True
Suppose 2 = v - 6. Let a be (-2)/8 + 26/v. Suppose -a*l + 0*p = 3*p - 69, -3*l + 63 = 5*p. Is l prime?
False
Suppose -1793 = -5*w - 163. Is w composite?
True
Let w(k) = 2*k + 3. Let n be w(-2). Let i = -86 + n. Let a = i - -140. Is a a prime number?
True
Suppose 0 = -0*v - 3*v. Let h be -1 - (-3 + (v - 1)). Suppose -h*b - b + 514 = -2*c, 5*b = 2*c + 641. Is b a composite number?
False
Suppose 5*n - 2256 = -5*k + 544, -5*n = 4*k - 2805. Is n a composite number?
True
Suppose 2*y - 1234 = -3*a, 4*y - 2512 = -2*a + 7*a. Is y composite?
True
Let s(w) = 15*w + 22. Is s(9) composite?
False
Suppose i - 539 = p, -4*i + 1325 + 1372 = -5*p. Let n = -350 - p. Is n a prime number?
True
Let m(t) = t**2 - 8*t - 3. Let v be 2*(-7 - -1 - -2). Let c = 17 + v. Is m(c) composite?
True
Suppose -4*z - u = 25, 4*z + 20 = -3*u - 7. Let v(n) = -6*n + 3*n - n - 5. Is v(z) prime?
True
Suppose -2*m - 56 + 426 = 0. Is m a prime number?
False
Let p = 20 + 14. Is p a prime number?
False
Suppose 3*a + 0*a - 636 = 0. Suppose 11*r = 13*r - a. Is r prime?
False
Suppose 2*p - 17 = 5. Is p a composite number?
False
Let i(g) = g**3 - 2*g**2 + 3*g - 5. Let d be i(2). Is d + 0 + 4 + 2 composite?
False
Suppose -5*x - 140 + 15 = -5*j, 0 = -4*j + 3*x + 101. Let k be 2/4 - j/(-4). Is 2/k + (-972)/(-28) prime?
False
Let c = -1 - -3. Suppose c*d = -14 - 2. Is ((-3 - 0) + d)*-11 a prime number?
False
Suppose -g = -2*r + 25, -4*g - r - 179 = -43. Let w(u) = 14*u**2 - 4*u + 6. Let o be w(2). Let d = g + o. Is d a composite number?
True
Suppose 4*u + 47 = 3*w - 58, 0 = -3*u - 3*w - 63. Let b be u*6/(-9) + 0. Suppose -l + b = -15. Is l prime?
True
Let u(z) = -3*z - 14. Is u(-6) composite?
True
Let w be 450/8 + 1/(-4). Let m = -39 - -30. Let g = w + m. Is g prime?
True
Is (138/(-24))/(2/(-56)) prime?
False
Suppose -3*i + 6*i = 6. Let w(h) = h - 2. Let n be w(4). Suppose 6*r + 78 = 2*q + n*r, 2*q + i*r - 78 = 0. Is q a composite number?
True
Is (330 - 3)/3 - -4 a composite number?
False
Suppose 4*x - q = -5*q, 2*x - q - 12 = 0. Suppose 128 - 4 = x*z. Is z a prime number?
True
Let x(g) = 7*g**2 + g - 3. Is x(7) prime?
True
Let j(n) = -n**2 - 5*n - 1. Suppose 5*h - 6 = -1, 12 = -3*f - 3*h. Let r be j(f). Let q(d) = -36*d + 1. Is q(r) a prime number?
True
Let v(s) = 3*s + 1. Let m be v(4). Suppose -2*o + 5*i - 2*i = -m, -i + 9 = 2*o. Suppose -d - 113 = -3*w, -4*w - 59 = -o*w - 5*d. Is w composite?
True
Let x = 321 - 58. Is x prime?
True
Let o = -5 + 9. Suppose -2*v + 3*k - 6 = -0, 5*v = -o*k + 31. Suppose -v*r = -r - 190. Is r a composite number?
True
Let z(y) = y**3 - 2*y**2 - 2*y - 1. Let p be z(3). Let j be -2 + (-54)/4*p. Let v = j - -86. Is v composite?
True
Let r = 776 - 553. Is r a composite number?
False
Let y be 1 - -1*(2 - -2). Suppose 0 = -5*a - 3*c + 34, y = -5*c - 5. Suppose 0 = 5*o - o - a. Is o prime?
True
Suppose -2*t = -903 - 2411. Is t a prime number?
True
Suppose 3*n - 5*o - 27 = 0, 3*n + n - 4*o = 44. Is (-2)/(-7) - (-94)/n prime?
True
Let f(j) = j**3 + 4*j**2 + 4. Let u be f(-4). Let y = -5 - -5. Suppose -3*r - 238 = -5*r + c, 2*r + u*c - 238 = y. Is r prime?
False
Suppose 3*g - 4*p = -0*p + 43, p + 14 = g. Let d = g - 7. Suppose -d = -3*u + 3. Is u composite?
False
Suppose 10*y - 10125 = 7*y - 3*w, -16839 = -5*y + 4*w. Is y a composite number?
False
Let u(q) be the third derivative of 3*q**4/4 + q**3/6 + 3*q**2. Suppose -t + 0 = -5. Is u(t) a composite number?
True
Let c be -2*((-6)/4 + 2). Let d be c/3 + 7/3. Suppose 6*v - d*v - 148 = 0. Is v a composite number?
False
Suppose -3*n - 103 = -2*v, -2 = -4*n + 18. Is v composite?
False
Suppose 16 = 3*i + 2*n, -1 - 1 = 4*i - 2*n. Suppose i*b - 193 = -11. Is b a composite number?
True
Let s(a) = -a**3 - 15*a**2 - 13*a - 19. Let i be s(-16). Suppose 39 + 692 = 5*v + 3*l, 3*v + 5*l - i = 0. Is v prime?
False
Suppose -3*h = -3, -2*f - 2*h = 3*f - 917. Is f prime?
False
Let g = -1 - -1. Suppose -5*w + 3*n - 304 + 2165 = g, 4*n = -w + 363. Is w a composite number?
True
Suppose 2*s - 3*m - 190 = 0, 3*s + 3*m - 263 = 2*m. Suppose -2*h - s = -3*h. Is h prime?
True
Suppose 0 = -4*r + 3 + 5. Let j(d) = 8*d**2 + 3*d**3 - 4*d**3 + 9 + 5*d + 0*d**r. Is j(8) a composite number?
True
Let t(g) = 61*g**2 + 6*g + 15. Is t(-4) prime?
True
Suppose 3*v = 3*a - 15, -2 + 1 = v. Suppose 3*h - 216 = a*j - 7*j, 298 = 4*j - h. Suppose 0*p = -5*p + 2*c + 393, -5*c = -p + j. Is p a composite number?
False
Let w be 3832/22 + 4/(-22). Suppose -w = -2*s + 416. Is s prime?
False
Let g(s) = -6*s + 19 - 3 + 0*s. Is g(-7) composite?
True
Let f = 173 - 395. Let s = 525 + f. Suppose 4*g = -91 + s. Is g a prime number?
True
Let d(t) = -77*t. Suppose 3*x - 2*x + 1 = 0. Let p be d(x). Is 2/(-10) - p/(-35) a composite number?
False
Suppose n - 32 = 3*n. Let b be 1/4 - (-84)/n. Is 43/2 - b/10 a prime number?
False
Suppose -2*i - 2*k + 4*k + 14 = 0, 0 = 3*k + 12. Suppose -i*j = -4*q - 100 + 981, -4*q + j = -883. Is q a composite number?
True
Let k(t) = t**3 + 15*t**2 - 18*t + 19. Is k(-15) a composite number?
True
Suppose -l + 81 + 296 = 0. Is l prime?
False
Let j(u) = -6*u**2 - 3*u - u**3 - 10 - 8*u + 5*u. Let b be j(-7). Suppose 2*x + 2*d - b = x, -2*d = -2*x + 150. Is x prime?
False
Suppose 0 = 2*z - 0 - 4. Suppose -c - z*c + 18 = 0. Is c composite?
True
Let k = -1079 + 2296. Is k composite?
False
Suppose -2*o + 148 + 222 = 0. Suppose -2*k + u + 7 = -67, -5*u = -5*k + o. Is k prime?
True
Suppose 5*s = 9 + 6. Suppose v = 3*n + 31, s*n = -4*v + 4*n + 179. Is v a composite number?
True
Suppose 5*d - 28 = 127. Suppose -24 - d = -b. Is b a composite number?
True
Let f(g) = -g + 6. Let q be f(12). Let t(r) = r**3 + 9*r**2 - 2. Is t(q) composite?
True
Let i(g) = -3*g - 2*g - g**3 + 0*g**3 - 7*g**2 + 7 + g**2. Suppose 0 - 5 = y. Is i(y) a composite number?
False
Is (-1)/((-5)