o = 3816 - 656. Is c a composite number?
True
Let w(g) = -19*g - 3. Let p = 10 - 5. Suppose p*j - 5*o = -30, -2*j - 2*o + 2 + 2 = 0. Is w(j) a composite number?
True
Let z(u) = 5*u + 1. Let t(l) = -l**2 + 1. Let w be t(1). Suppose 4*y + 2*m - 6 = w, 3*y - 3*m = 4*y + 1. Is z(y) composite?
False
Suppose 2*r + 20 = 6*r. Suppose -3*q + 314 = -3*j - 2*j, r*j = -5*q + 510. Is q a prime number?
True
Let v = 30 - -37. Is v composite?
False
Is (47307/78)/((-2)/(-4)) prime?
True
Let x = 2 - 7. Let s = 7 + x. Suppose -4*j + 38 = -s*j. Is j a prime number?
True
Suppose -153 = -3*g - 3*q, 5*q + 205 = 12*g - 7*g. Is g a composite number?
True
Let q(o) = o**2 - 4. Let h be q(0). Let z = h - -2. Is 7/z*28/(-2) a composite number?
True
Suppose 639 = 5*h - 4*a, -2*h - a + 82 = -171. Is h prime?
True
Let f be (-1470)/(-2)*(-1)/(-3). Suppose f = 3*p + 86. Is p a composite number?
False
Suppose 0 + 4 = g. Suppose 2*n - 2982 = -g*n. Is n a prime number?
False
Let d = -1358 + 2013. Suppose 10*z - d = 5*z. Is z composite?
False
Let j(u) = 0*u - u - u**3 + 3*u**2 - 8*u - 9 - 13*u**2. Is j(-11) composite?
False
Suppose -4*d - 3*n = -82, 4*d - 80 = n - 3*n. Is d a composite number?
False
Let s(v) be the third derivative of 53*v**5/15 - v**3/6 - v**2. Let p = 88 + -89. Is s(p) a prime number?
True
Let f = 8 + -4. Is (66/f)/(9/18) a prime number?
False
Let d be (-3)/(6/(-70)) - 2. Suppose t - d + 5 = 0. Suppose t = -2*h + 6*h. Is h composite?
False
Let q(o) = -o**2 + 21*o - 7. Is q(10) prime?
True
Let h = 233 + -70. Is h a prime number?
True
Suppose 2814 = -0*a + 6*a. Is a a prime number?
False
Let q(m) = 18*m + 34. Is q(8) a composite number?
True
Let y(v) = v**3 - v**2 + 2. Let c be y(2). Is 3/(-9) - (-1220)/c a composite number?
True
Let b = 399 + -208. Is b composite?
False
Suppose m - 117 = 5*g, -4*m = -m - g - 309. Let u = m + 167. Is u a prime number?
True
Suppose -221 = -8*n + 1019. Is n a prime number?
False
Let k = 852 - 554. Is k a composite number?
True
Let g = 219 - 96. Is 2*-5*g/(-6) composite?
True
Let y(u) = -6*u**2 + 6*u - 4. Let p be y(-5). Is 1 - (-2 - -2) - p a prime number?
False
Let v = 81 + 10. Is v composite?
True
Let j be 36/(-2) - (-14 - -12). Is (254/(-5))/(j/40) composite?
False
Let w(x) = -x**3 + 6*x**2 + 4*x + 6. Suppose -j + 1 + 2 = 0. Suppose -l - 2*y = 1, -j*l - 5*y = -5*l + 25. Is w(l) composite?
True
Let d be (-1)/((-1)/3) - -259. Suppose 2*l = -b - 133, 379 + 198 = -4*b + l. Let n = b + d. Is n a composite number?
True
Let r(k) = k**3 + k**2 - 60. Let x be r(0). Let a be (2 + -1)/(1/(-127)). Let u = x - a. Is u composite?
False
Suppose 25 = 3*b + a, b = -0*b + a + 7. Let g = -11 + b. Is (-2)/g*1617/14 a prime number?
False
Let a(h) = -h**2 + 6*h - 5. Let j be a(4). Suppose -3*n - n = -604. Is n - 1*6/j prime?
True
Is (-3)/(4 + 1564/(-388)) composite?
False
Let y be (-2)/((-1*6)/3). Let d be 1 + 1 + y + 1. Suppose -d*p = p - 175. Is p a prime number?
False
Suppose -6*b = -9*b + 2631. Is b composite?
False
Let m = -11 + 19. Let g(n) = -2*n + 3. Let c be g(4). Let f = m + c. Is f a prime number?
True
Suppose 1471 = 5*v - 3*s, 3*s - 287 = -5*v + 4*v. Is v prime?
True
Let j(b) = -120*b - 11. Is j(-10) a prime number?
False
Let h = 15 - 7. Let i = -8 + h. Suppose 2*z + 107 = 6*z - 3*s, -4*s - 20 = i. Is z composite?
False
Let m(o) = -o**3 - 9*o**2 + 2. Let k be m(-9). Is 1 + 3 - (-293 - k) prime?
False
Suppose -3*p = 50 - 8. Let v be p/6 - 2/(-6). Is v/6 - 494/(-6) composite?
True
Suppose 4*l - 2*g = 2*g + 20, 3*g = 4*l - 23. Let t(y) = y**2 + 8*y - 9. Is t(l) a composite number?
True
Let d(k) = -3*k**2 - 3*k - 4. Let x be d(-3). Let g = x - -58. Let u = g + -17. Is u composite?
False
Suppose 3*k - 4 = -1. Let t = 2 + 0. Suppose -t = -i + k. Is i prime?
True
Let q(t) = -270*t**3 - t**2 + 2*t + 3. Is q(-2) composite?
True
Suppose 5*s = 6*s - 59. Let a = s + 144. Is a a composite number?
True
Suppose -5*n = -2*h - 353, -4*h - 3*n + 6*n - 713 = 0. Is (2 - 1)*h/(-1) prime?
True
Let f be 2/(-10) + 3/15. Suppose f = -j + 2*c + 155, c = 7*j - 2*j - 820. Suppose -4*m + j = m. Is m prime?
False
Let g(r) = r + 22. Let k(b) = 5*b - 1. Let o be k(1). Suppose -26 = 2*c - o*w, 7*c - 3*c - w + 38 = 0. Is g(c) prime?
True
Is (-1494)/(-5 + 2) + 1 + 0 a prime number?
True
Suppose 0 = 2*l - 3*l + 31. Suppose -f = -l - 26. Is f a prime number?
False
Suppose 0 = -a - 5*k - 23, -2*a + 7*a - 2*k = 20. Suppose 4 = 2*l - 4. Suppose -34 = -a*s - l*b, s - 2*b = -b + 8. Is s a composite number?
False
Let o = -3 + 8. Suppose o*x + 15 = 0, 5*g = 5*x - 0*x + 135. Suppose 0 = -2*k + g - 4. Is k composite?
True
Let k(l) = 2*l + 9. Let y(p) = 9*p + 46. Let n(f) = -11*k(f) + 2*y(f). Suppose 5*m - h = -20, -2*h = 3*m - 0*h + 25. Is n(m) prime?
True
Suppose 0 = -t + 2*p + 1051, -3157 = -3*t + 5*p - 0*p. Is t composite?
True
Let r(m) = 124*m**2 + 3*m - 8. Is r(3) composite?
False
Is (2 - 1)*(33 + 4) prime?
True
Let x be 30/(-4)*(-2)/3. Let z = 3 - x. Is (z/(-4))/((-2)/(-212)) a composite number?
False
Suppose -1516 = 2*o - 6*o. Is o a prime number?
True
Suppose 5*v - 861 = 2*v. Suppose 4*o - 340 = -0*o - 4*i, -5*i = -3*o + v. Is o prime?
True
Let a = 825 + 778. Is a prime?
False
Suppose 8*a - 5*a = 3543. Is a composite?
False
Suppose 5*g = -4*f - 45, 0 = -g + 2*g - 3. Let r be (12/f)/((-4)/10). Is (1 - r)*(2 - 15) a composite number?
False
Is 40285/77 + 4 + (-2)/11 composite?
True
Let o(q) be the second derivative of 3*q**4/4 - q**3/6 + q**2/2 - 8*q. Is o(-4) composite?
False
Let w be (0 - -174)*(-4)/4. Let l = w + 377. Is l a prime number?
False
Let n(d) = -d**3 + 5*d**2 + 7*d - 5. Let f be n(6). Suppose 2 = -3*v + 2*v. Is 98/4 - f/v prime?
False
Let f(k) = 288*k + 35. Is f(12) composite?
False
Let p(t) be the second derivative of -t**4/12 + 3*t**3/2 + 2*t**2 + 2*t. Let x be p(10). Let u = x + 17. Is u prime?
True
Let h(j) = 0*j + 85 + 2*j + j**3 - j. Let n be h(0). Suppose -5*m + n + 180 = 0. Is m a composite number?
False
Suppose 0 = -0*r - 4*r + 20. Suppose -5*b - 10 = 5*l, 2*b + 3 + 1 = -r*l. Let w(o) = 54*o**2 + 2*o - 1. Is w(b) prime?
True
Let c = -2 - -6. Suppose c*g = 859 + 177. Is g prime?
False
Let i(j) = j + 7. Let p(k) be the third derivative of -k**4/12 - 5*k**3/2 + 3*k**2. Let t(h) = -11*i(h) - 6*p(h). Is t(-6) a prime number?
True
Suppose 4*l + 2 = 5*l. Suppose 188 = 2*y + 2*t - 116, t = l*y - 295. Is y a composite number?
False
Suppose 0 = z + 10 - 1. Let r be (-3468)/z - 1/3. Suppose 4*j + j = r. Is j composite?
True
Let b(u) = u**3 - 14*u**2. Let i be b(14). Let n(c) = -16*c + 2. Let m be n(-2). Suppose -2*q = 6, i = -s - 0*q - q + m. Is s composite?
False
Suppose -21 + 6 = -3*y. Suppose 0 = i - y*i + 844. Is i a prime number?
True
Let r(g) = 2*g**2 + g - 1. Let w(p) = 2*p**2 + 5*p + 2 - p**2 - 2*p**2. Let i be w(5). Is r(i) a composite number?
True
Suppose -i = i - 1126. Is i a composite number?
False
Suppose -q = -n + 26, -3*n + 2*q + 70 = q. Let o = n - -123. Is o a composite number?
True
Suppose 0*f + 2*f + 6 = 0. Let z(y) = -3*y**3 - 4*y**2 + 6. Is z(f) a prime number?
False
Suppose -4*z - 16 - 704 = 0. Let b = 90 + z. Let k = -37 - b. Is k a composite number?
False
Suppose k = 4*b - 13, 7*b - 2*b - 3*k = 11. Let l(w) = 5*w - 2*w**2 - 1 - 4 + 3*w**2. Is l(b) a prime number?
True
Let l(d) = 169*d**2 - 4*d - 7. Is l(-2) prime?
True
Suppose -3*q = -3*g - g - 2951, -3*q = 5*g - 2906. Is q a composite number?
False
Let b = 1156 + 387. Is b a prime number?
True
Suppose -7*t - 30 = -2*t. Let l be (-2)/t - 8/(-12). Suppose 0 = o + 3*w - l - 3, 3*w = -3*o + 18. Is o a prime number?
True
Suppose 3*j + 4 = 5*i, 0*j = -2*j + 4. Suppose 3*v - 162 = -3*g, 0*g + 2*g - 92 = i*v. Let m = g - 4. Is m a composite number?
True
Let d(j) = -2*j - j**2 + j**3 + 5*j**2 - 2*j + 6. Let c be d(-5). Let s = c - -30. Is s a prime number?
True
Suppose 6*i - i = -3*u + 3754, -5*i = -u + 1258. Is u composite?
True
Let s(j) = -41*j**3 + 3*j**2 + 2*j + 1. Is s(-2) composite?
False
Suppose -8 = -3*h - c, -h - 2*c + 8 = 2. Suppose 0 = h*j + 8 - 2. Let t = j + 7. Is t composite?
True
Suppose 2*i - 5 = 1. Suppose -q + 190 = -i*q. Let p = q - -134. Is p composite?
True
Let u be 7 + -1 - (1 - 0). Suppose -r + 276 + 85 = 5*s, 752 = 2*r - u*s. Is r composite?
True
Let n = 94 - -287. Is n a c