*3/6 + 17*a**2/2 + 7*a. Is o(-8) a composite number?
True
Let x be 28/10 - 4/5. Suppose n - 315 = -2*s, 0 = x*s + 5*n - 228 - 83. Is s a composite number?
True
Let j(g) = -27*g**2 + 6*g - 4. Let w be j(4). Is 2 - (w + -1 + 2) a composite number?
True
Let x = 16 + -14. Let g(f) = -121*f - 1. Let j(w) = 122*w. Let z(b) = -5*g(b) - 4*j(b). Is z(x) a prime number?
True
Suppose 0 = 4*a - 5*a + 4*m - 17, 2*m + 14 = -2*a. Let c be ((-3)/a)/(2/12). Suppose 0 = c*n - 142 - 36. Is n a composite number?
False
Let y(n) = n**3 - 4*n**2 - 6*n + 8. Let r be y(5). Suppose 2*j + o = 1347, 5*j - r*o + 4*o - 3366 = 0. Is j composite?
False
Let h(y) = -21*y**3 + 2*y**2 - 3*y - 3. Let l = 24 - 26. Is h(l) a prime number?
True
Let v be (-13428)/(-48)*8/3. Let i = 1227 - v. Is i a prime number?
False
Let y = -10 + 13. Suppose 21 = y*k - 2*k. Is k a prime number?
False
Let s(q) = -176*q**2 + 2*q + 5. Let n(u) = -176*u**2 + 3*u + 6. Let w(k) = 2*n(k) - 3*s(k). Is w(2) prime?
True
Let b = 220 + -15. Let x = 815 - b. Suppose -x = -5*p + 1475. Is p a prime number?
False
Let h be (-20)/6*18/24*-2. Suppose -b + h*p = p - 4037, b + 3*p = 4058. Is b a composite number?
False
Let f(t) = -194*t**2 + 207*t**2 + 5 + 5 + 4*t. Is f(-3) a prime number?
False
Suppose -4*o - 2*o = -18. Suppose -4*c + 32 = 4*k, 26 = o*k + 5*c - 0*c. Suppose -5*x - 290 = -k*x. Is x a prime number?
False
Let b(k) = -k**3 - 14*k**2 - 15*k - 30. Let g be b(-13). Is ((-104247)/15)/(-3) - g/10 composite?
True
Suppose -l + 4 = l. Suppose l*x - 9869 = 5741. Is 6/(30/x) + 0 a prime number?
False
Let o = 6 - 4. Suppose 2*z - 3*z + 2*j - 4 = 0, j - 12 = -o*z. Suppose 0*y - 878 = -z*f - 5*y, 4*y - 8 = 0. Is f a prime number?
False
Let c(n) be the second derivative of 48*n**3 + n**2/2 + 20*n. Is c(1) a prime number?
False
Suppose 48*w - 53*w + 61946 = -3*y, w - y - 12388 = 0. Is w prime?
True
Suppose 0 = -30*n - 47752 + 483382. Is n a prime number?
False
Let s = 16894 + -11155. Is s a prime number?
False
Suppose -5*a + 2*a = 0. Let c be 12 + -13 + 1 + a. Suppose 9*u - 3*u - 978 = c. Is u a composite number?
False
Let k = -9 - -11. Suppose d + 3*d = -5*a + 11, -5*d = a + k. Is -2 + 0 - (-372 - a) a prime number?
True
Let f = 51337 - 8408. Is f prime?
True
Let g = -89 - -342. Let z = -179 + g. Suppose -2*k + z = -0*k. Is k a composite number?
False
Let f(o) = 2*o**2 - o. Let h = 43 - 27. Let w be (5/2)/(h/(-32)). Is f(w) a prime number?
False
Let z = 17 - 24. Let y(i) = -i**3 - 8*i**2 + 2*i + 3. Let c be y(z). Is (c/8 - -2)*-158 prime?
False
Suppose -12*z + 113054 = -66382. Is z prime?
False
Let u(t) = 104*t - 19. Let r(n) = 52*n - 10. Let v(j) = 5*r(j) - 3*u(j). Let s be (-3 - 2)*(-6)/(-5). Is v(s) a prime number?
False
Suppose 5*g - 4*d - 1355 - 2962 = 0, 0 = 5*g + 4*d - 4293. Let f be -4 - (g + -2) - 0. Is -1 + 2 + 1 - f a composite number?
True
Let f(b) = 7*b - 2. Let k(p) = 0*p + 2*p - 2 + 1 + p. Let h(q) = -6*f(q) + 11*k(q). Is h(-2) a prime number?
True
Let o(f) = 34*f - 266. Is o(40) composite?
True
Suppose 13 - 85 = -4*d. Is 9/d*(0 - -326) a prime number?
True
Suppose -2*v + v - 20 = -4*a, 2*v = -8. Suppose a*u = -u + 25. Is (-1 + 54)*(u + 0) a prime number?
False
Let t(r) = 17*r**2 + 27*r**2 + 0 + 8. Let w be t(7). Suppose 4*f + k = -0*f + w, 5*f = -2*k + 2705. Is f a composite number?
False
Let m = 934 - 441. Is m prime?
False
Suppose 5*y - 10*y + 11545 = 0. Is y composite?
False
Let a(g) = 19*g**3 - 13*g**2 + 7*g + 2. Let r be a(9). Suppose 3*v = f - 3635, -r = -3*f + 2*v - 1944. Is f prime?
False
Let h = -214 + 122. Let a = h + 306. Is a prime?
False
Suppose 63 = -3*z + 744. Suppose -3*c + 0*c - z = -4*n, -3*n - 3*c + 144 = 0. Suppose -1 = 4*m - n. Is m a prime number?
True
Suppose -94*y + 16143 = -91*y. Is y a prime number?
True
Let k be (-24)/(-1)*(-4 - (-60)/9). Let v = 27 + -60. Let u = v + k. Is u composite?
False
Let b(z) be the first derivative of -z**4/4 - 2*z**3/3 - z**2 + 9*z - 1. Let f be b(-8). Suppose 0*g = -g + f. Is g a prime number?
True
Let r(l) = -6*l + 11*l**2 + 34 - 36 + 3*l. Suppose 0 = a - 4*a + 3*d - 12, 5*d - 5 = 0. Is r(a) prime?
False
Let s be (-35)/((-1 - 1)/(-4)). Let g be 4/16 - s/8. Let n = 6 + g. Is n a prime number?
False
Suppose -2*s - 17 = -4*n + 35, 4*s + n + 68 = 0. Let u = s + 28. Let t(p) = p**2 + 3*p - 3. Is t(u) composite?
False
Let r = -34839 - -76002. Is r composite?
True
Let s be 3*-1 - (9/(-3) - 0). Suppose s = v - 2*g - 55, -g + 211 = -0*v + 4*v. Is v a prime number?
True
Suppose 0*l = -2*l - 3*p + 19, 3*p - 9 = 3*l. Suppose -q = -2*c + 6*c - 57294, -l*c - 3*q = -28652. Is (-10)/(-75) + c/15 a prime number?
False
Let h(i) = 142*i - 21. Let k be h(23). Suppose 4*a - 2*a = 3*o - k, 1084 = o - 3*a. Is o a prime number?
False
Suppose -4*d + 1 = n, 3*n = -0*n - d + 14. Suppose g - 10 = 3*t, 0 = 3*g + n*t - 75 + 3. Is g prime?
True
Let k(f) = -3*f - 30. Let c be k(-11). Suppose c*a = 479 + 976. Is a prime?
False
Let t(h) be the first derivative of 2*h**2 + 9*h - 2. Is t(21) prime?
False
Suppose 30*w = -10*w + 786440. Is w a composite number?
False
Is 4614 + -16 + 8 - 3 a prime number?
True
Suppose -3 = y - 7. Suppose -y*o + 2 - 34 = 0. Let m = o - -19. Is m prime?
True
Suppose -r = 11 - 20. Suppose 0 = 6*u - r*u. Suppose -6*z + 9*z - 114 = u. Is z prime?
False
Let h(u) = -4*u - 2. Suppose -5*f + y = -15, -3*f + 3*y + y = -26. Let m be (5 + f/(-1))/(-1). Is h(m) prime?
False
Let s = 18 + -18. Suppose 5*g + s = 5, -3*h - 2*g + 2933 = 0. Is h composite?
False
Suppose 9*a - 58840 = a. Is a a composite number?
True
Let q = -3 + 4. Let j be (-2 - q - 3)/2. Is j + 4*50/2 a prime number?
True
Suppose -7 = -r + 4*i - 3*i, -r + 12 = -2*i. Suppose -4*v - 511 = -u, r*v - 3*v - 3 = 0. Is u prime?
True
Let o(l) = -l**2 + 4*l + 4. Let r be o(4). Suppose -2 = r*z + 2*y, y = 5*z - 0*y + 6. Is (z/2)/((-3)/762) prime?
True
Let a = -163 + 173. Is (0 - -3864) + (-10)/a a prime number?
True
Is 2 + (-5)/2 + (-23035)/(-34) composite?
False
Let z = -209 - -342. Let r = z + -80. Is r prime?
True
Let x(t) = t**2 - 6*t + 8. Let q be x(4). Suppose -6*l + 9*l - 9 = q. Let o(a) = 46*a**2 - 5. Is o(l) composite?
False
Let m = 152384 - 89355. Is m prime?
True
Let b = -16252 + 8743. Let d be b/(-4) - (-6)/(-24). Let z = d - 1138. Is z a composite number?
False
Suppose 87 = -0*z + 3*z. Is 2 + z + -1 + 3 a prime number?
False
Suppose 0 = -4*m + 8, -m = 3*z - 7 - 40. Suppose -8619 - 13596 = -z*q. Is q composite?
False
Let u = -22 - -16. Is (-251)/((-4 - u)/(-2)) prime?
True
Suppose 2*r - 4840 = 4*x, -2*x + 3*r = r + 2424. Let z = -568 - x. Suppose -972 = -4*t + z. Is t a composite number?
True
Let x = -101 - -188. Suppose -64 - x = -k. Suppose -q - 4*m = -33, m - 2*m - k = -3*q. Is q prime?
False
Suppose -2*v - 5*p + 100974 = 0, 0 = -8*v + 9*v + p - 50493. Is v prime?
True
Let z = 11 - 5. Let x be 2259/z*(1 - -1). Suppose 2*l + l = x. Is l composite?
False
Let p = -17 + 21. Suppose 3*o - z - z = 14708, p*z = 5*o - 24510. Is o/55 - (-1)/(-5) prime?
True
Let f be 852 - (5/(-1) - -1). Suppose 0 = 2*x - f + 110. Is x prime?
True
Suppose 2*n - 12928 = -3232. Let b = n - 3284. Suppose 2*d + 492 = 2*q + 2058, -3*q = -2*d + b. Is d prime?
False
Let k = -290 + 2140. Let q = k - 13. Is q prime?
False
Suppose 5*s + 30 = -20. Let t = s + 12. Is (-33)/(-3) + t/1 a prime number?
True
Let t(p) = 69*p + 8. Let u(s) = s. Let r(y) = t(y) + 4*u(y). Is r(5) a prime number?
True
Suppose 6*u - 5065 = -319. Is u a prime number?
False
Let r(d) = -d**2 + 30*d - 34. Let c be r(12). Let x be -2 + (2/2 - -124). Let u = c - x. Is u a composite number?
False
Let c = -9 + 4. Let t = 0 - c. Suppose 196 = t*y - 99. Is y a composite number?
False
Let u = -7 - -15. Let x be (-193)/u - 1/(-8). Let i = 83 + x. Is i composite?
False
Let f(a) be the second derivative of -a**5/24 + 2*a**4/3 + a**3/2 + 3*a. Let s(u) be the second derivative of f(u). Is s(-14) prime?
False
Let w(c) = -2*c - 34. Let x be w(-23). Is (1 + 750/x)/((-1)/(-2)) prime?
True
Let c(w) = 2093*w - 61. Is c(4) a prime number?
True
Let h = -128 + 205. Is (h/22)/((-2)/(-20)) composite?
True
Suppose -4*v + 1711 = -5*d + 99, -4*d = v - 403. Is v a composite number?
True
Suppose -14*q = -46140 - 160234. Is q a composite number?
False
Suppose -3*v + 4*h + 78707 = 0, -15*v 