) = -2*o**3 + 6*o**3 - 5 + o - 5*o**2 - 2*o**3. Is b(t) a prime number?
True
Suppose b + 37 = -3*u + 6*b, b = 3*u + 29. Let s be -6*((-3)/u - 1). Suppose -2*r = -s*q - 104 - 14, 3*q + 12 = 0. Is r composite?
True
Let a(c) be the second derivative of 2*c**3 - c**2/2 + c. Is a(7) a prime number?
True
Suppose -2*v - 5*l + 748 = 0, -1732 + 585 = -3*v + 5*l. Is v a composite number?
False
Let y = 32 - 23. Suppose 5*v - 15 = 2*m, -2*v - v + m = -y. Suppose 0 = -0*g - v*g - s + 268, 5*s + 116 = g. Is g a prime number?
False
Suppose -16 = -2*s - 2*s. Let k = 1 + s. Suppose 0*h = -k*h + 110. Is h prime?
False
Suppose -d = -0*d - 2. Suppose 0 = 5*g + d*i - 2285, 4*g + i = 546 + 1282. Suppose v + 282 = 4*v + 5*m, -4*m = 5*v - g. Is v composite?
False
Suppose k - 7 + 0 = 0. Let r(y) = 7*y**2 + y + 9. Is r(k) a composite number?
False
Suppose 8 + 0 = 4*y. Suppose -30 = -y*c + 8. Is c a prime number?
True
Let c be (-38)/8*58*2. Let o be c/(-9) + (-6)/27. Let a = 16 + o. Is a a composite number?
True
Is 2302*(2/4 + 0) prime?
True
Let c(g) = 16*g - 19. Let s be 6 - (-2 + (-4 - -4)). Is c(s) a prime number?
True
Let o(p) = 113*p - 38. Is o(3) prime?
False
Let s be -5*1*(-1 - 2). Let p = 5 - s. Is 2532/20 - 4/p a composite number?
False
Suppose -4*n = -9*n + 1055. Is n prime?
True
Let h(n) = 5*n**2 - 3*n - 13. Is h(9) a composite number?
True
Suppose 4*u + 5*j = 1324, j + 1324 = -2*u + 6*u. Is u composite?
False
Let z(j) be the second derivative of -9*j**3/2 - 2*j**2 - 7*j. Suppose 8 = -4*b - 4*c, -3*c - 5 = 2*b - 2. Is z(b) composite?
True
Let n(m) = -2*m**2 + 2*m - 1. Let d be n(1). Let q(h) = -22*h**3 + h. Is q(d) a prime number?
False
Let k = 1757 - -144. Is k a composite number?
False
Let d be (-6)/(-2) + 1 + -3. Let g be -1 - -5 - 2/d. Suppose 0 = 5*s + 3*v - 100, -5*v = -0*s + g*s - 21. Is s prime?
True
Let a = 480 + -217. Let g = a - 106. Is g prime?
True
Suppose -g + 11 = -5*l, -l - 2 - 1 = -g. Let p(u) = 86*u + 1. Is p(g) composite?
True
Suppose -2*d + 116 = 34. Let f = 165 + d. Is f composite?
True
Let o(n) = 85*n**2 + 1. Let j be o(-1). Let z = -49 + j. Is z a prime number?
True
Let j = -831 - -367. Let r = 90 + j. Is (-20)/50 + r/(-10) a prime number?
True
Suppose 0 = 4*n - 4*j + 104, -5*j + 3*j - 102 = 5*n. Is (-1998)/n - 6/(-33) composite?
True
Let w be 110/6 - 2/(-3). Let j = -5 + w. Is j composite?
True
Let k = 26 + 274. Suppose -d - a = -354, 5*d + a + k - 2074 = 0. Is d a composite number?
True
Suppose -3*u = -1354 + 16. Is u a prime number?
False
Let u(a) = a**3 - 6*a**2 + a - 7. Let w be u(6). Let l be -39 + (2 - 0 - 1). Let m = w - l. Is m composite?
False
Suppose 2*j = -4, 5*u - 339 = 4*u - j. Is u a composite number?
True
Suppose -3*t + 336 = 2*k - 5*t, 5*k + 3*t - 800 = 0. Is k a prime number?
True
Let k be ((-10)/4)/((-2)/4). Is 2/k*(53 + 2) a prime number?
False
Suppose -4*j + 3*j = -2*w - 212, -j - 4*w + 188 = 0. Let b(d) = -6*d**2 + 6*d + 5. Let n be b(-4). Let g = n + j. Is g prime?
True
Suppose -h = 2*h - 156. Let i = -17 + h. Suppose 0 = w - 0*d - 3*d - 28, w = -4*d + i. Is w a prime number?
True
Suppose -2 = x, 2*s + 4*x - 2958 = 3*x. Let d be s/15 - (-4)/(-6). Suppose 0 = -4*f + z + 196, 2*f + 5*z = -0*z + d. Is f prime?
False
Let x(u) = -2*u**3 - 8*u**2 - 3*u - 3. Let c be x(-4). Suppose q + 0*k = 2*k - 15, -5*k + 45 = -4*q. Is (-427)/q + c/15 a prime number?
False
Suppose -3*k = -6 + 18. Is (-290 - 0)*2/k a composite number?
True
Suppose -103 = -b + 4*g, -2*b + 236 = 3*g - g. Suppose -3*m = 2*u - 179, -3*u - 177 - b = -5*m. Is m composite?
False
Let f(o) = o**2 + 10*o + 7. Let w be f(8). Let u = -98 + w. Is u prime?
True
Let n(u) = u + 3. Let z be 14/2*(1 - 2). Let s be n(z). Is (s/(-8))/((-2)/(-148)) composite?
False
Let s = 601 + 228. Is s prime?
True
Let t = -10 + 14. Suppose -t*f - 592 = -0*f. Is f*(30/(-8))/5 composite?
True
Suppose w = 2*w + 5*j - 1418, 0 = 2*w - j - 2847. Is w a composite number?
False
Let j be 108/14 + (-8)/(-28). Suppose 2*g + j = -g - 4*z, -2*z = g + 4. Suppose g = 2*y + y - 45. Is y composite?
True
Let r = 5 - 6. Let g be r*1/(-3)*6. Let u(l) = 7*l**3 - 2*l + 3. Is u(g) a composite number?
True
Suppose 4*x - 1303 = -5*k, 0 = -2*k - x - 132 + 655. Is k prime?
True
Suppose -2*b + 7 + 1 = 0. Suppose 2*c = 2*d - 80, -b*d + 2*c - 142 = -8*d. Is d a prime number?
True
Is 373*(-1 + -2 - 2*-2) composite?
False
Let c(r) = 12*r - 37. Is c(25) a composite number?
False
Suppose -2*r + 4580 = 3*r. Suppose -5*f + 2571 = r. Is f a prime number?
True
Let k = 5414 - 807. Is k composite?
True
Let g(h) be the first derivative of h**5/20 - h**4/2 + h**3 - h**2 - 3*h + 2. Let d(b) be the first derivative of g(b). Is d(6) a composite number?
True
Let g(f) = -f**3 - f**2 - f + 14. Is g(0) composite?
True
Let a(d) = 317*d - 1. Let n be a(1). Is n/(-8)*(-2 - 0) a composite number?
False
Let i = -3626 + 5943. Is i prime?
False
Let j(v) = v + 9. Let a be j(-9). Let s be (a + -2)/((-4)/10). Suppose -2*o + s = -17. Is o a composite number?
False
Let c(q) = 2285*q**2 + 4*q - 2. Is c(1) a composite number?
False
Is (-4)/3 - 50/(-6) a composite number?
False
Suppose 0 = -2*u + 5*o - o + 138, 5*u = 4*o + 333. Let c = u - 31. Suppose 2*g = -4 + c. Is g composite?
True
Suppose -h = 2*n - 959, 5*n = -4*h - 219 + 2615. Suppose -f = -3*u - 106, -n = -5*f - u + 6*u. Is f a composite number?
True
Let q be 26/(-2)*(-15)/3. Suppose -q - 499 = -4*i. Is i prime?
False
Is 35180/(-80)*-2*2 composite?
False
Let d(u) = -7*u + 1657. Is d(0) composite?
False
Is -2 + 902/6 - 2/(-3) a composite number?
False
Suppose p = 4*h - 0*p, 3*h = 5*p - 17. Suppose -k + 3 = h. Suppose -k*q + 425 = -3*o, -142 = -5*q + 4*o + 917. Is q a composite number?
False
Suppose 364 = 3*d - 407. Is d prime?
True
Let u = -105 + 199. Is u a prime number?
False
Suppose -1412 = -t - r, 3*t + 50 = 2*r + 4271. Is t composite?
False
Let h be 2/7 + (-244)/(-28). Suppose 3*d - h = 150. Is d a composite number?
False
Suppose 0 = -10*y + 3*y + 4781. Is y composite?
False
Is (-3148)/(-24) + 1/(-6) composite?
False
Is 1*-5*(-429)/65 a prime number?
False
Suppose 0 = 3*m + 9, 0*n = 3*n + 4*m. Suppose b = -n - 0. Let u(s) = -s**3 - 4*s**2 - 5*s - 5. Is u(b) composite?
True
Let n(z) = 7*z**2 + 19*z - 21. Is n(9) composite?
True
Suppose -p - 3*x + 2*x + 40 = 0, -2*p + 75 = -3*x. Is p a prime number?
False
Let z(t) = 15*t**2 + 3*t - 1. Is z(3) composite?
True
Suppose -a + 26 = p, -4*a + 3*p + 80 = -p. Is a prime?
True
Suppose 10*d = 2*t + 6*d - 1686, -845 = -t + 3*d. Is t a composite number?
False
Suppose -u - 6 = 2*t, -2*u + 5*u - 3*t = 18. Let f = u - 0. Is f composite?
False
Is (-1 + -13)/((-8)/188) composite?
True
Suppose 5*v + 804 = 9*v. Is v a prime number?
False
Let h(t) = 6*t + 2. Let a be (0 - 1)/((-1)/2). Is h(a) a composite number?
True
Suppose -j - 1 = 3*f, 0*j - 7 = -3*j + f. Suppose -j*u - 87 = -505. Is u composite?
True
Suppose 3 - 47 = -4*g. Is g a composite number?
False
Suppose -2*b + 7*b - 1465 = 0. Is b composite?
False
Suppose -n = -2*n + 299. Is n a prime number?
False
Suppose -2*n = -3*n + 5. Suppose -2*m = -q + 315 + 52, -n*q + m + 1862 = 0. Is q composite?
False
Let d(m) = m**2 + 3*m. Let z be d(-2). Is 22/(2 + 0/z) a prime number?
True
Let w(t) = -2 + 16*t + 4*t - 1. Let b be w(-3). Let n = 96 + b. Is n composite?
True
Let b = -19 + 31. Suppose -f + b = 3*f. Suppose -4*s = f*r - 1175, 0 = s - 4*r - 301 + 12. Is s a prime number?
True
Suppose v - 207 = -5*d, 4*d - 27 = 3*d - 5*v. Suppose -279 = -3*t - d. Is t composite?
False
Let z(r) = -9*r + 1. Let f(m) = -26*m + 3. Let y(x) = -3*f(x) + 8*z(x). Let j be y(-1). Is (j/(-4))/(2/40) prime?
False
Let x(c) be the third derivative of c**6/18 - c**5/120 - c**4/24 - c**3/6 + 3*c**2. Let h(j) be the first derivative of x(j). Is h(2) prime?
False
Suppose -14*a + 3371 = -3167. Is a a composite number?
False
Let g(x) = x**3 - 4*x**2 - 5*x - 5. Let m = -14 + 20. Is g(m) a composite number?
False
Let p = 172 + 61. Is p prime?
True
Let f = 373 - -534. Is f composite?
False
Suppose -c = -2*s - 37, 0*s = 5*s - 5*c + 85. Let o = s + 29. Is o a composite number?
True
Let h(s) = 181*s + 6. Is h(1) a composite number?
True
Suppose -3*x = -5*x + 14. Let w = x + 15. Is w a composite number?
True
Let p be (7 + -5)/(1/2). Suppose p*q 