-141 - h. Is g a prime number?
False
Suppose -2395 = -4*g - g. Is g composite?
False
Let d be 71 + 0 - (7 + -4). Suppose 3*a + y - d = 0, 4*a + 88 = 8*a + 4*y. Is a prime?
True
Let p(v) = 13*v**3 + 4*v**2 + 6*v + 10. Is p(6) composite?
True
Let r = -6 - -10. Suppose -r = 4*j, -5*t = 2*j - 141 - 32. Is t composite?
True
Let k be 33*(-2 - (-20)/12). Let z(n) = n**3 + 11*n**2 - 17*n - 8. Is z(k) a composite number?
False
Let m(n) = -n. Let s be m(8). Let t(u) = u**3 + 5*u**2 - 9*u - 5. Let r(b) = -4*b**3 - 19*b**2 + 37*b + 19. Let l(q) = -2*r(q) - 9*t(q). Is l(s) prime?
False
Suppose -26*j + 70 = -21*j. Is j composite?
True
Suppose -6*c + c + 10 = 0. Is 3*(-3 + c)*-23 a prime number?
False
Let t(p) be the first derivative of 285*p**2/2 + p + 7. Is t(4) prime?
False
Let m(s) = s**3 - 8*s**2 - 10*s + 12. Let i be m(9). Is 100/i - 1/3 composite?
True
Let o = 43 + -41. Suppose 3*g + 4 = -g. Let t = o - g. Is t composite?
False
Suppose 5*t = l + 25, -2*l - 14 - 6 = -4*t. Suppose z = t*z. Suppose -w = -z*w - 13. Is w a composite number?
False
Let u(q) be the first derivative of -q**7/840 + q**6/45 - q**5/120 - 3*q**4/8 - q**3 - 4. Let g(a) be the third derivative of u(a). Is g(7) a prime number?
False
Let u = 137 - 39. Is (u/(-4))/((-3)/6) composite?
True
Let g = -6 + 14. Suppose -3*b - 95 = -g*b. Is b prime?
True
Let b(p) = p**3 - 10*p**2 + 10*p - 7. Let j be b(9). Let q be (-6 + j)/(3/51). Is 3 - q/2*2 a composite number?
False
Suppose 5*s = -5*g + 40, g - 5*s = 3*g - 25. Suppose -4*x + 4 = -4*c, -g*c = x + 9 + 2. Is x/3 + (-22)/(-3) composite?
False
Let o = -10 + 13. Let f(k) = 4*k**3 - 3*k**2 - k - 1. Is f(o) a prime number?
False
Let a(u) = 2 - 12*u - 3*u - 7*u. Let h be a(-3). Suppose -4*j + 3*d + 71 = -h, -3*j + 108 = -d. Is j a composite number?
False
Let x(r) be the first derivative of 2*r**3/3 + 3*r**2/2 - r - 2. Is x(6) prime?
True
Let n be 175 + (-12)/3 + 3. Suppose 4*a - 2*y - n = 0, -a + 20 = -4*y - 6. Is a prime?
False
Let x(c) = 10*c**2 + c - 3. Is x(-8) a composite number?
True
Let q(b) = -180*b + 1. Is q(-3) a prime number?
True
Suppose -437 = -2*u + j, -2*u = -2*j + 41 - 479. Let d be (0 - u/8)*-4. Suppose -d = -4*o + 279. Is o composite?
False
Let y(d) = -56*d + 1. Let q(v) = -v - 2. Suppose -3*b = -b. Let m be q(b). Is y(m) a composite number?
False
Let h(o) = 14*o**2 + o - 9. Is h(-6) a prime number?
False
Let f = -2211 + 3970. Is f a composite number?
False
Let q(t) = -1456*t + 1. Let j be q(1). Is ((-2)/(-3))/((-10)/j) prime?
True
Suppose -4*f - 20533 = 3*k - 8*k, 3*f + 12318 = 3*k. Is k a composite number?
True
Suppose -28 = d + 3*d. Let s(g) = g**2 + 8*g + 10. Let b be s(d). Suppose -b*l = -0*l - 33. Is l composite?
False
Let z = 190 - -126. Let i be 3 + (2 - 2)*-1. Suppose -i*d + z = d. Is d composite?
False
Suppose 4*d = -d + 10, -3*m = -d - 58. Suppose -41 = -0*i - 5*i + b, -m = -5*b. Is 3*33/i*1 a composite number?
False
Suppose 0 = 2*r - 0*r - 1076. Is r a prime number?
False
Let h = -2 - 0. Let d be (0/(-3))/(-3 - h). Suppose d = 5*x - 2*x - 879. Is x a composite number?
False
Let t be (108 - (-3)/(-3))*2. Is (3 - t)/(-1 + 0) a composite number?
False
Is (-2428)/(-8) + 3/(-2) composite?
True
Is (-54068)/70*5/(-2) a composite number?
False
Let k(d) = -d**3 + 2*d**2 + 3*d - 2. Let u be k(3). Let a be 2/2 - (-1 - u). Is (1 + -2)*(a - 91) prime?
False
Let z = -902 - -1434. Suppose 3*m - v = z, 4*m - 5*v - 288 - 425 = 0. Is m a composite number?
True
Suppose 0 = 2*r - 699 + 29. Is r composite?
True
Suppose b + 0*w = -2*w + 357, 2*b - 689 = w. Is b a prime number?
True
Suppose -72 = -0*v + 4*v. Is 1145/9 - (-4)/v prime?
True
Let v = 2914 + -897. Is v prime?
True
Let v(x) = 7*x - 3. Let s = -4 - -6. Let o be v(s). Suppose -7 = -3*u + o. Is u prime?
False
Let p be (4 - 2) + 80 - -2. Suppose 3*x + x = -p. Let t = x - -70. Is t prime?
False
Suppose 2*q = -2*q + 228. Suppose -12 = -2*n - 2*n. Suppose -n*r = -3*h + q, -20 = -3*r - 2*r. Is h a prime number?
True
Let w(x) be the third derivative of x**4/24 - x**2. Let l be w(-10). Let p = l + 17. Is p composite?
False
Let f(a) = a**3 - 7*a**2 + 3*a + 4. Let i be f(9). Suppose 46 = -3*l + i. Is l + (3 - 1) + 2 a composite number?
False
Let u be 1*-3 + (-72)/(-4). Suppose 3*t + u = 8*t. Suppose 0 = 2*n - t*b - 179, -2*n + 0*b = -5*b - 185. Is n prime?
False
Let p = 22 - 12. Suppose -4*b = -o + 8, 2*b - 3*o + p = -o. Is 35 - 0*b/(-3) a composite number?
True
Suppose 0 = 2*w + 5*h - 5, -3*h = 2*h - 5. Let d(c) = -2*c + 3. Let k be d(-5). Suppose w*n = -n + k. Is n composite?
False
Let o(y) = 9*y - 3. Let j be o(12). Suppose -4*r + j = -r. Is r composite?
True
Let b(y) = -y**2 + 5*y - 5. Let t be b(4). Suppose 2*d - 1 = -u - 0, -5*d = u + 2. Is t + 2 - -61 - u a prime number?
True
Suppose 4*v + 194 + 53 = d, 530 = 2*d + 4*v. Is d prime?
False
Let b(c) = 5*c + 6. Is b(9) prime?
False
Let n = -28 + 117. Is n composite?
False
Let q be 40/(-15)*3/(-4). Let w(m) = 22*m**3 + 2*m**2 - 4*m + 3. Is w(q) a prime number?
True
Let p(g) = 5*g**2 - 5*g + 5. Let w(y) = 9*y**2 - 10*y + 9. Let l(f) = -7*p(f) + 4*w(f). Is l(10) a prime number?
False
Suppose 246 + 72 = -2*n. Let d = n - -313. Suppose -j - d = -3*j. Is j a composite number?
True
Let d = -136 + 429. Is d a composite number?
False
Suppose -6772 = y + 2*s - s, 0 = -4*y - 3*s - 27087. Is (-4)/22 + y/(-33) composite?
True
Suppose -2*m + 76 + 58 = 0. Suppose -c = -0*c - m. Is c a prime number?
True
Suppose 3*t + 2 = -4*r - 21, -2*t + r + 3 = 0. Let j be t + (63 - -2) + -1. Suppose j = 2*k + k. Is k a composite number?
True
Suppose -2*h = 3*x - 16, 3*x + 1 - 13 = 0. Suppose -h*s - 14 = 118. Let n = 149 + s. Is n prime?
True
Suppose 27614 = -4*i + 2*h, 0 = -5*h + 2*h + 3. Is i/(-21) - 8/(-28) a prime number?
False
Suppose -4*j - 12 = 4*k, 0 = 3*k + 4*j + 12 - 0. Suppose -5*t + 1109 = z, k*z - 2*z + 8 = 0. Is t a composite number?
True
Let p(g) = -g**3 - 2*g**2 - 2*g - 2. Let c be p(-2). Is 2/(-1) + (c - -121) a composite number?
True
Let x = 182 - 76. Is x a prime number?
False
Suppose 2*t = -3*d + 63, -5*t + 5*d = -2*t - 104. Suppose 3*u - 2*r + 64 = 0, r = -0*u + 5*u + 102. Let w = t + u. Is w prime?
True
Let c = 14 - 28. Let v = c - -40. Is v a prime number?
False
Let h(r) = 3*r + 6*r - 14 + r. Is h(12) a prime number?
False
Let h(n) = 2*n**2 - 10*n - 11. Suppose r = -r - 28. Is h(r) a prime number?
True
Suppose 5*l - o - 745 = 0, -5*l + 4*o + 634 + 111 = 0. Is l a prime number?
True
Suppose 4 = 4*r - 4*a, 5*a - 44 = -5*r - 9. Suppose -5*q - 5*t = -33 - 162, 0 = r*q + 3*t - 154. Is q a prime number?
True
Suppose -9 + 17 = 4*r. Is (2 + -1)*(r - -201) a prime number?
False
Suppose -2*q - 2876 = -6*q. Is q composite?
False
Let r be -7*1 - (3 + -2). Let w be 2 + 2 - (4 - 0). Is 2 - w - 3 - r a composite number?
False
Is 10/(-2)*398/(-10) a prime number?
True
Let f = -1742 - -2829. Is f a prime number?
True
Suppose 3*o + 5*j - 207 = 0, 2*o - 3*j = -4*j + 145. Suppose x - o = -x. Is x a composite number?
False
Let t be 1 - 3/(-3) - 2. Suppose 5*p - p - 28 = t. Suppose 0*o - p = -o. Is o prime?
True
Let q be 2/((-2)/(-1)) - 0. Suppose -3*z + 61 = -35. Let m = z - q. Is m prime?
True
Let z = -15138 - -22409. Is z a composite number?
True
Let c = 2 - 6. Is (-1 + 3)/c*-314 prime?
True
Let s = -728 - -1059. Is s prime?
True
Let q(o) = 6*o**2 + 4*o - 5. Is q(8) composite?
True
Suppose 495 = 5*v + 120. Let m(a) = 7*a**3 + 2*a**2 - 1. Let p be m(-1). Is 8/p*v/(-10) a prime number?
False
Suppose 2*p - 2982 = -4*p. Is p a prime number?
False
Suppose 0 = -0*k + 4*k - 10920. Is (-1)/4 + k/8 a composite number?
True
Let t(g) = -g**3 - 4*g**2 + g. Let r be t(-2). Let k = 7 + r. Is k/(-6) + 146/4 composite?
False
Suppose 78 = -2*g - 4*n, -3*g - 2*n = -7*g - 106. Let x = 24 - g. Is x a composite number?
False
Let t(s) = 3*s**2 + 3*s - 11. Is t(-11) a composite number?
True
Let t = -8 - -11. Suppose -270 = -t*z + 363. Is z composite?
False
Let d = -11980 + 8000. Is d/(-15) + (-2)/6 composite?
True
Let k be 41*2 - (-18 + 15). Suppose -f + 4*p = -k, 2*p - 81 - 10 = -f. Is f a prime number?
True
Let u(y) = 191 + 18*y**2 - 30*y**2 + 10*y**2 - y**3. Is u(0) prime?
True
Let p = 192 - -19. Is p composite?
False
Suppose 2*o + 74 = 4*o. Is o prime?
True
Let u(d) = 2*d + 2*d