 -47)/(-1 - 2720/(-2722)) a prime number?
True
Suppose -2*x + 0*x = 5*n - 1860, 4*n - 1486 = -2*x. Let y be 2/(-5) - n/(-10). Let w = y - -10. Is w composite?
False
Let g(h) = h**3 + 25*h**2 - 10*h + 15. Is g(-13) a prime number?
False
Let p(d) = -d**3 + 12*d**2 - 11*d + 4. Let y be p(11). Suppose y*x - 4*l = 77 + 111, 3*x - 2*l = 140. Is x prime?
False
Suppose 0 - 2 = -2*g. Is (0 - g)/(1/(-23)) a prime number?
True
Suppose 5*x - 34 = 3*x. Suppose 25 = 3*j - x. Is 4/j + 1074/14 a prime number?
False
Suppose -o = 4*w - 162, 3*o - 2*o - 121 = -3*w. Suppose 4*u + q - 3 = 3*u, -5*u = -5*q - 15. Is (2 - w)/(u/(-2)) prime?
False
Let m(o) be the second derivative of o**4/12 - 4*o**3/3 - 2*o**2 + 3*o. Let c be m(9). Suppose -c*g = -4*t - 1447, 3*g + 2*t = t + 858. Is g a composite number?
True
Let c(t) = -t**3 - 4*t**2 + 3*t + 6. Let g be c(-5). Suppose -237 = -4*l + 5*j - 2*j, 0 = 2*j - 10. Let w = g + l. Is w prime?
True
Suppose -250 = -4*t + 754. Is t a prime number?
True
Let q(y) = 23*y - 3 - 4*y + 15*y. Let k(a) = -a**3 - 6*a**2 - 5*a + 2. Let r be k(-5). Is q(r) a composite number?
True
Let c = 99 - -488. Is c prime?
True
Suppose 4*x = -x + 1295. Is x a prime number?
False
Let q be (2/(-4))/((-1)/4). Suppose 0*m + m + 1 = 0, -q*m + 6 = -4*z. Is 32 - (1 - (0 - z)) a prime number?
False
Let z be (-9 - -2)/(3 + -2). Let p be (-12)/z + 4/14. Suppose p*u - 3*u = -14. Is u a prime number?
False
Let k(d) = -83*d - 11. Is k(-14) a prime number?
True
Suppose -5*m + 220 = -0*m. Suppose z + z - 136 = r, 2*z - 146 = -4*r. Let w = z - m. Is w prime?
False
Suppose 5*f - 3*f = 52. Is f prime?
False
Let w(s) = 4*s**2 + 9*s - 4. Is w(-9) prime?
True
Is (0 - (2 - 3))*907 a prime number?
True
Let g(c) = c**2 - 7*c + 6. Let y be g(6). Let p be 25 + (-1)/(5/20). Suppose -p = -3*x - y*x. Is x prime?
True
Let r(w) = -13*w**3 + 27*w**2 + 24*w - 11. Let s(b) = 7*b**3 - 14*b**2 - 12*b + 5. Let f(c) = 6*r(c) + 11*s(c). Is f(8) prime?
False
Is (-6)/(-2)*(-499)/(-3) composite?
False
Let z(o) be the first derivative of 2*o**3/3 + 3*o - 5. Suppose 0*j - 5*j + 15 = 0. Is z(j) a prime number?
False
Let l = 1203 + -458. Suppose 0 = -b - 4*b + l. Is b prime?
True
Is ((-4)/(-6))/((-9)/(109026/(-12))) a composite number?
False
Suppose s - 2 = -s. Let y be (-2 + 1)/(s - 0). Let i(p) = -19*p. Is i(y) a composite number?
False
Let s = -850 + 2169. Is s composite?
False
Suppose 5*p - 140 = p - 4*v, -4*p + 140 = 2*v. Suppose 5*j - 535 = 750. Is j/7 - (-10)/p prime?
True
Let g be 3 + -2 + (0 - -173). Suppose -5*x = -5*c + 30, 5*c + 3*x + 2 = -0. Suppose -c*f = 2*d - f - g, 2*f + 364 = 4*d. Is d composite?
False
Let a(j) = 38*j + 6. Is a(4) composite?
True
Is 1 - ((-1065 - 0) + -3 + 2) composite?
True
Let y(s) = s**3 + 6*s**2 - 10*s + 2. Suppose 2*j - 5*k + 19 = 0, 2 + 6 = -j + 3*k. Let q = j + 10. Is y(q) prime?
True
Let s(t) = t + 7. Let o be s(-3). Suppose -a = o*a + 4*c - 611, 0 = 3*a + c - 361. Is a composite?
True
Suppose 3*u + 2*m + 352 = 7*u, -451 = -5*u - 3*m. Is u composite?
False
Suppose -t = 3*t + 16. Is 2 + t + 56 - -1 prime?
False
Suppose -2*z - 3272 = -10*z. Is z composite?
False
Suppose 0 = 4*i - 342 - 1742. Is i prime?
True
Suppose 3*n + 710 = 1784. Suppose 6*o + 4*k - 480 = o, -2*k = -4*o + n. Suppose -o = 2*u - 6*u. Is u a composite number?
False
Suppose -h = 5*r - 459, 3*h - 2*r - 722 - 587 = 0. Is h composite?
False
Let q(o) = -6*o**3 - 4*o**2 - 3*o - 2. Is q(-3) a prime number?
False
Suppose -5*y + 780 = -5*a, 0*a + 472 = 3*y + a. Is y prime?
True
Suppose 0 = -3*y - y + 52. Let b(x) = x**2 - 4*x + 8. Let i be b(6). Let m = i - y. Is m a prime number?
True
Suppose -4*j + g = -13, 0 = 3*j - 6*j + 4*g + 26. Suppose 0*k = 2*k + j. Let n = 2 - k. Is n a composite number?
False
Is 2/(3/(381/2)) a composite number?
False
Let g = 6 - 14. Let n = 11 + g. Is 59/n - (-12)/(-18) a prime number?
True
Let o(s) = 15*s**2 - 5*s + 3. Is o(4) prime?
True
Suppose -5*r = -10*r - 5*f - 15, 0 = 5*r + 4*f + 12. Suppose r = s - 5*s + 764. Is s a composite number?
False
Let d be (8/(-10))/(5/25). Let w = -1 - d. Is w composite?
False
Let y be (206/(-3))/((-2)/45). Suppose -y + 264 = -3*o. Is o a composite number?
True
Suppose d - 1 = 0, 178 = 2*m - 3*d - 241. Is m a composite number?
False
Suppose -4*a + 3*t - 10 = 0, 7*a = 2*a - t - 3. Let y(u) = -98*u**3 - u - 1. Let g be y(a). Suppose 12 = -4*j, -126 = -5*h + 3*j + g. Is h a composite number?
False
Let h(o) = o**3 - 4*o**2 - 3*o - 5. Let g be h(5). Let k(y) = 6*y**2 - 4*y - 3. Is k(g) a prime number?
True
Let f(x) = -3*x**3 - 5*x**2 - 2*x - 5. Let b be f(-4). Is (b - (-1 + -1)) + 2 composite?
True
Let p be (2/6)/((-3)/(-36)). Suppose 3*w - p*a - 54 = -0*a, -w - 4*a = -2. Is w a composite number?
True
Let i(c) = c**3 - 4*c**2 - c + 3. Is i(8) composite?
False
Let o = -873 + 1254. Is o a prime number?
False
Let n = -13 + 5. Let a(o) = -2*o + 4. Let d be a(n). Suppose 5*p = -q + 24, -p = -2*q + 6*q - d. Is p a prime number?
False
Let c = -36 - -153. Let h = c - -106. Is h composite?
False
Suppose -s - 3*a = -112, 3 = 3*s + a - 349. Let f = 9 - 70. Let i = f + s. Is i composite?
True
Let x(h) = -6*h + 4. Let t be x(6). Is (-2)/1 - (-5 + t) a prime number?
False
Suppose -12 = -3*q, -5*f + 169 = q - 100. Is f a prime number?
True
Is (0 - (-3 + 94))*-1 a composite number?
True
Suppose -2*n - 513 = 4*t + n, -260 = 2*t - 2*n. Let h be 4/18 - t/27. Suppose 0 = -h*j + 5 + 40. Is j a prime number?
False
Let s(t) = -t**3 + 3*t**2 + 6*t - 4. Let l be 60/14 + (-2)/7. Let r be s(l). Suppose -30 = -r*x + 22. Is x prime?
True
Suppose 11*l - 6*l - 745 = 0. Is l prime?
True
Let d be 4/10 + 72/20. Let g(n) = 20*n**2 - 6*n + 5. Is g(d) prime?
False
Let f = 775 - 524. Is f a composite number?
False
Let u = -7 + 116. Is u a composite number?
False
Let g(p) = 26*p**3 + p**2 - 8*p + 9. Is g(4) a composite number?
False
Let a = 1 + 2. Is 2/((-327)/111 + a) a composite number?
False
Let k(x) = -x**3 + 6*x + 6. Is k(-11) prime?
False
Suppose -26*r - 1132 = -28*r. Is r prime?
False
Suppose 5*o = -2*w - w + 37, 29 = 2*w - o. Suppose -7 = -3*l + w. Is l composite?
False
Suppose 5*a + 40 + 80 = -5*p, 0 = -3*p + 15. Let f = a - -114. Is f a composite number?
True
Suppose m - 2 = 2*y, -3*y = 3*m - 0*m - 15. Let b(a) = y + 17*a + 16*a - 10*a. Is b(2) composite?
False
Suppose 3*z = 71 + 130. Is z composite?
False
Suppose 5*i + 10 = 2*u, 2*i - 6*u = -2*u + 12. Is (3 + 90/i)*-2 a composite number?
True
Suppose 3*l - 70 = 32. Suppose -2*u - 5*q = -338 - l, 2*u - 374 = -4*q. Is u a prime number?
True
Is (-6)/((-8)/20 + 0) a composite number?
True
Let f(h) = -9*h - 1. Let u(i) = 4*i**3 + i**2 + i + 1. Let j be u(-1). Let p be f(j). Suppose -4*w + 30 = -p. Is w prime?
False
Let s = 1 - -76. Is s composite?
True
Suppose 2*t + 140 = 494. Suppose 0 = -2*a + 5*a - t. Is a composite?
False
Let q be 7 - (1 - 3)/(-2). Suppose q*y = 4*s + 3*y - 285, 135 = 2*s + y. Is s a composite number?
True
Let k be (-4 - -3) + (-2 - -9). Suppose -474 = -k*n + 3*n. Is n a prime number?
False
Is ((-1)/3)/(5/87630*-2) prime?
False
Suppose -c + 2*c - 5*d + 9 = 0, -5*c + 5*d = -35. Let u(v) = 2*v**2 - 9*v + 14. Is u(c) composite?
False
Let l = -1486 - -3923. Is l prime?
True
Let k(o) = -85*o - 2. Is k(-1) a composite number?
False
Let b(o) = -2*o + 3. Let n be b(-5). Let i = n - -106. Is i prime?
False
Let x(v) = -v**2 + 12*v + 2. Is x(7) composite?
False
Suppose 3*m + 3 = 0, -3*q = 5*m + 6857 - 17631. Is q a prime number?
True
Let j(t) = t**2 + 11*t + 12. Let k be j(-10). Is ((-1)/k)/((-1)/12) a prime number?
False
Suppose 2*t - 2 = 16. Suppose 0 = -2*s + 11 + t. Is s a prime number?
False
Suppose 2*g - 22 = h, -4*g + 5*h + 47 = -g. Let c = 9 - g. Suppose 4*d - 80 = -5*i + 103, c = -5*d - 3*i + 232. Is d prime?
True
Suppose -3*x = 2*c + 48, 0 = -x + 5*c - c - 2. Is (-4)/14 - 746/x a prime number?
True
Suppose -k + 7 = -0*k. Let c(q) = 6*q - 2. Let x be c(k). Suppose x = 2*m + 2*y, -m - 3*m - y = -86. Is m a composite number?
True
Suppose -685 = -3*r - 4*s, 3*r + 0*s = 3*s + 657. Is r a prime number?
True
Let k = -422 - -613. Is k a prime number?
True
Suppose 176 = 7*k - 1238. Is k composite?
True
Let u(q) = -5 - 6*q + 11 + 2*q**2 + 6*q**3 - 2*q**3. Let x be u(5). Suppose p = -4*o + x - 69, -o + 5*p +