= 329 - b. Is i a prime number?
False
Suppose -s + 19*p - 18*p + 13021 = 0, 39063 = 3*s - 4*p. Is s a composite number?
True
Let t(o) = 3*o + 1. Let x be t(1). Suppose -2 - 10 = -x*d. Suppose -d*f - 158 = -5*f. Is f a composite number?
False
Let p(t) = 2*t**3 - 10*t**2 - 21*t - 2. Let a be (-3 - (-120)/18)*3. Is p(a) prime?
False
Suppose 0 = -6*o + 4*o - 3*o. Suppose o = 2*h + 3*l - 1519, -h + 2277 = 2*h + 3*l. Is h a prime number?
False
Suppose 2*l - 4*z - 37302 = 0, -10*z + 18659 = l - 14*z. Is l a prime number?
False
Let i = 4562 - 3245. Is i a prime number?
False
Let u be 1 - (-2)/(-2) - 2. Let t(y) = -847*y - 1. Is t(u) composite?
False
Suppose 0 = 3*k - 2*r - 5396, -5*k + 10*k - 5*r = 9000. Suppose 3*g = 817 + k. Is g a composite number?
True
Let x(h) = -h**3 - 5*h**2 + h + 6. Let q be x(-5). Let c be (79/(-4))/(q/(-20)). Suppose -6*r + c = -5*r. Is r prime?
False
Let q(v) = v**2 + v - 1. Let k(r) = -89*r**2 + 2*r + 7. Let f(g) = -k(g) - 5*q(g). Is f(5) composite?
False
Suppose 16 = 3*x - p, 4*x + 4*p - 11 = x. Suppose 2*t = -c + 197, 4*t - 776 - 203 = -x*c. Let a = c + -112. Is a a composite number?
False
Let v(r) = 677*r**3 + 2*r**2 + 3*r - 5. Let d be v(2). Suppose 0 = 4*x - 99 - d. Is x a prime number?
True
Suppose 5*v = -5*c + 10 - 0, 0 = 5*c + 3*v - 6. Suppose 0 = -c*d - 4*d + 11260. Is d a composite number?
True
Suppose -43645 = -39*i + 7640. Is i prime?
False
Let r(b) = 31*b + 18. Let p be r(7). Suppose l = -5*s + s + p, -1080 = -5*l - s. Is l a composite number?
True
Let t = 15 - 8. Suppose -2 = d - t. Suppose -3*y + 3*x = x - 443, -5*x = -d*y + 745. Is y a composite number?
True
Suppose 5*d - 23 = -3, -2*r = d - 882. Is r a prime number?
True
Let w = 4455 - 1522. Suppose -596 - 1753 = -4*c + r, -2*r + w = 5*c. Is c a composite number?
False
Suppose -2*u = -3*u - 3*f, 3*u + 2*f - 14 = 0. Let h be 4/u*(-297)/(-18). Is h*(-5)/(-1 - 0) a prime number?
False
Let n be (6 - 7) + 2 + -1. Suppose n = 3*k + 1707 + 1542. Is k/(-33) + (-10)/(-55) composite?
True
Is (5 - (-13296)/28)/((-7)/(-49)) prime?
True
Suppose 0 = h + 3593 - 16282. Is h composite?
False
Let a = 12554 + -7515. Is a prime?
True
Let x be 9/(162/4) - 38/9. Let i(c) = 93*c**2 + 9*c + 19. Is i(x) a prime number?
True
Suppose -4728 = -i + 11317. Is i composite?
True
Suppose -5*b + 4*s + 4 + 21 = 0, -s + 10 = 2*b. Let o = b - -18. Is o a prime number?
True
Let z(s) = -40*s**3 + 2*s**2 + 3*s + 1. Let q be z(-1). Suppose q = n - 339. Is n a composite number?
False
Let w be 30/(-8)*(-1443 + -9 + 4). Suppose 0 = -4*u - 2*u + w. Is u a prime number?
False
Suppose -h + 0*h = -4. Suppose 6 = 2*v + 4*r, -1 = -4*v - 5*r + 5. Is (-18549)/(-36) + v/h a prime number?
False
Suppose -3*g - 55 = -2*o + 76, 5*o - 3*g = 350. Let j = -8 - -13. Suppose o = -j*x + 888. Is x prime?
True
Suppose -10*b = -7*b - 24. Suppose b*o - 6*o - 1262 = 0. Is o prime?
True
Let o(w) = w**2 - 2. Let r be o(2). Let s = 7 + r. Suppose -s*k + 6*k + 75 = 0. Is k composite?
True
Suppose 44*r - 34107 = 436561. Is r prime?
False
Suppose 3*c + 205 = -446. Let p = -6 - c. Is p prime?
True
Let z = 3 - 1. Suppose 0 = z*l + 2*i - 4*i - 10, 17 = 4*l - i. Suppose 0 = q - 5*d + l - 39, -q = 3*d - 3. Is q composite?
True
Let v(c) = -2*c**3 - c**2 - c. Let t be v(-1). Is (-1325)/((-15)/3) - t prime?
True
Let t = -905 - -3449. Suppose 9*l - 1515 = t. Is l prime?
False
Let x be 28/7 + 44/(-1). Let v = x + 34. Is (-4)/6 + (-526)/v composite?
True
Let g(h) = -7*h**3 - 6*h**2 + 25*h - 13. Is g(-21) composite?
False
Suppose -239*r - 75229 = -250*r. Is r a prime number?
False
Suppose 0 = 5*t - 2*t - 3. Let w be -92*t*(-30)/6. Suppose w = -12*y + 16*y. Is y composite?
True
Let h(g) = -418*g - 33. Is h(-4) composite?
True
Suppose -2*w + 24024 = 4*g, -4*g + 3*g + 2*w + 6011 = 0. Is g prime?
True
Suppose -11*z = -10*z. Suppose 2*h - 5 - 3 = z. Suppose g - 1736 = -5*r, 4*r + 9*g - 1393 = h*g. Is r a composite number?
False
Is 4 + ((-10)/(-45) - 422438/(-18)) a composite number?
False
Suppose 3*r = -0*r + 15. Suppose 0*m + m + 5*f = -11, -5*m + r*f + 35 = 0. Suppose -m*u + 7*u = 561. Is u a composite number?
True
Let o(c) = 11 - c**2 + 4*c - 19*c - 4*c - 12*c. Let a(k) = k - 8. Let g be a(-7). Is o(g) composite?
False
Let c(s) = 2850*s**2 - 16*s - 13. Is c(-2) a composite number?
True
Is -7 - (-8 - 114*72) a composite number?
False
Suppose -5*a + d + 132872 = -20281, 5*d - 10 = 0. Is a prime?
True
Let w(l) be the second derivative of 53*l**4/4 + l**2/2 + 4*l. Let g be w(-1). Let o = g + -93. Is o a composite number?
False
Let z = 496 + -163. Let y = 492 - z. Is y prime?
False
Suppose -10284 = -4*c - 2*x + 4*x, -5146 = -2*c + 2*x. Suppose 16 = -3*a - a, 5*l + 4*a - c = 0. Is l composite?
True
Let b be (-3)/(5/(-15)*1). Suppose -5*a - 5*n + 10650 = 0, -5*n + b*n + 8512 = 4*a. Is a a composite number?
False
Suppose 0 = 3*x - 5*g - 2 - 0, 0 = -3*x - 4*g - 7. Let q be (-1165)/(-10) + x/(-2). Suppose 3*l - 144 = -w + 200, l - 2*w = q. Is l a prime number?
False
Suppose -3*w = -0*w - 150. Suppose -2*d - w = -7*d. Is (12/(-5))/((-4)/d) composite?
True
Let o(q) = -921 + 2*q - 2*q**2 + 3*q**2 + 197 - 173. Let b be o(0). Let n = -478 - b. Is n prime?
True
Suppose -4*k = 3*v - 162311, 0 = -3*k + 3*v + 200311 - 78583. Is k prime?
True
Let u be 138839/51 + 3*(-2)/(-9). Suppose -9*l + u = -2*l. Is l prime?
True
Suppose -58784 = -7*o - 11247. Is o composite?
False
Let u be 12/3*14/4*1. Let t(c) = c**3 - 9*c**2 + 15*c + 3. Is t(u) a prime number?
True
Suppose 11*s + 4*p = 9*s + 59186, 0 = -2*s - 2*p + 59186. Is s a composite number?
True
Let a(p) = p**3 + 15545. Let c be a(0). Suppose b + 4*b = c. Is b prime?
True
Let t = -1294 + 3465. Is t a composite number?
True
Let g be 110/14 - 1/(-7). Is -148*((-18)/g - 1) composite?
True
Let d(n) = -n**3 - n**2 + n + 1. Let c be d(0). Is 393/(-2 + c - (-10)/5) a composite number?
True
Let n = 239 + -258. Let j be -7*1*(1 - 2). Let k = j - n. Is k composite?
True
Suppose 0 = 3*o + 4*s - 5, 3*o + o + 3*s - 9 = 0. Suppose -q = -0*i - 4*i + 5443, i - o*q - 1358 = 0. Is i prime?
True
Let f(t) = -21*t + 10. Let j be f(-6). Suppose o = j + 20. Let s = 797 - o. Is s a prime number?
True
Let b(z) be the first derivative of -z**4/4 + 2*z**3/3 + z**2 - 3. Let g be b(2). Suppose 985 = 4*s - 2*y - 245, -g*y - 1539 = -5*s. Is s a prime number?
True
Suppose 2*t = -5*j + 75495, 2*j - 45323 = -j + 4*t. Is j a prime number?
True
Suppose 6*p - 10559 = 12439. Is p a prime number?
True
Let q = -14099 + 53536. Is q composite?
True
Let c = 8 - 3. Let r be (0 - (2 + -1))*-3. Suppose -5*a - 830 = -c*f, 304 = -r*f + 5*a + 812. Is f a composite number?
True
Suppose -2*w = 2*q - 5128, 2*q + 2*q = 3*w + 10235. Is q a composite number?
True
Let v = 26425 + -9138. Is v composite?
True
Let h(b) = -27 - 5*b - 7*b + 19*b**2 - b. Is h(-13) prime?
False
Suppose 4*o = 4*v - 22088, -13 = 4*v - 1. Let j = o + 8524. Is j prime?
True
Suppose 2*x = 6*x - 2152. Suppose 2*g = -2*g + 1428. Suppose -2*b = 4*o - x, b + 88 = o + g. Is b composite?
False
Suppose 7*q + 43*q - 216350 = 0. Is q a composite number?
False
Let q(y) be the second derivative of 2*y**5/5 + 5*y**4/24 + y**3/2 + 3*y. Let m(x) be the second derivative of q(x). Is m(9) a composite number?
True
Suppose 3*w = -2*f + f + 11452, 3*w + 9 = 0. Is f prime?
False
Suppose 10 = 4*a + 2. Let z = 5 + a. Suppose -2*x - 1855 = -z*x. Is x composite?
True
Let k(h) = -h**3 + 33*h**2 + 6*h - 27. Is k(16) prime?
True
Suppose -2 = -5*u + 8. Let h = 3 + u. Suppose n = -5*p + 596, h*n - 2920 = -2*p - 3*p. Is n a composite number?
True
Let r(n) = -n**2 - 13*n + 2. Let m be r(-13). Suppose -v = -4*o - 559, 4*v - m*o - 2208 = -0*o. Is v a prime number?
False
Suppose -3*c = -0*c - 12. Let h be (-1)/c + (-11223)/36. Let m = h + 475. Is m composite?
False
Let f = -445 + 1826. Is f composite?
False
Let j(k) = 156*k**2 - 2*k - 2. Let d = -5 + 3. Let a be j(d). Suppose l + a = 2*l + 5*f, 15 = -5*f. Is l a composite number?
False
Suppose 17 - 5 = 3*y. Suppose y*i - 4*h = 884, h - 1108 = -5*i + 3*h. Let u = -148 + i. Is u a composite number?
True
Let u(o) = -2*o**3 - 3*o**2 + 3*o + 8. Let g(a) = 4*a**2 + a + 2. Let w be g(-1). Suppose -w*h = 13 + 17. Is u(h) a composite number?
True
Suppose 66*q - 58*q + 56 = 0. Let m(x) =