 4. Suppose 0 = -f*o + 56 + 38. Is o prime?
True
Is (-1)/((4/(-1006))/2) a composite number?
False
Suppose 10762 = 67*b - 65*b. Is b prime?
True
Let b be 1/2 + 1/(-2). Suppose m + 5 = 4*z + 40, b = z + 5. Is m a composite number?
True
Let m = 145 + -48. Suppose 5*h + f - 126 = 0, -m = -4*h - 0*h + 3*f. Is h a prime number?
False
Suppose 8 = 5*g - 12. Suppose -4*j = -4*x - x - 465, g*x = 4*j - 464. Is j composite?
True
Suppose -8*l = 4*l - 2988. Is l prime?
False
Suppose 2*p + 2 = -4*i, -5*p - 2*i + 0*i = 5. Let a be (5 + 0 - p)/2. Suppose -3*y + 2*v + 5 = 0, -a*y = y - v - 10. Is y a composite number?
False
Is ((-1688)/(-12))/(8/12) a prime number?
True
Suppose -2*v = 4*v - 12918. Is v composite?
False
Let f be 1*-4 - 168/(-6). Is ((-178)/4)/((-12)/f) prime?
True
Let m = -1 + 0. Is -1 - (0 + -67) - m a prime number?
True
Let l = 40 + -3. Suppose 0 = 2*a - l - 377. Let c = a - 98. Is c a prime number?
True
Let y = 7 + -8. Let z = 7 + y. Suppose 44 = 2*c + z. Is c prime?
True
Let v = 190 - 135. Is v a composite number?
True
Let k be 19/4 - (-6)/24. Suppose k*u = -15, -3*u + 5*u - 42 = 4*i. Let s = i + 31. Is s prime?
True
Let q(z) be the first derivative of -39*z**2/2 + 2*z - 2. Let o(r) = 2*r**2 - 16*r - 3. Let b be o(8). Is q(b) a prime number?
False
Let c(w) be the second derivative of w**3/6 - 13*w**2/2 + 2*w. Let u be c(7). Is u/(-15) + 216/10 a prime number?
False
Let d be (-36491)/(-49) + 4/14. Suppose d = -4*r + 9*r. Is r a prime number?
True
Suppose -3*t + 1061 = -2*t. Is t composite?
False
Suppose 0 = 4*p + 445 - 2461. Suppose -4*h - p = 768. Is ((-2)/(-4))/((-3)/h) prime?
True
Suppose -10 = -2*b - 3*b. Suppose u - 45 = -b*u. Suppose -180 + u = -3*w. Is w a composite number?
True
Let f = 495 + -46. Is f a composite number?
False
Let x be (-1132)/(-6) - (-2)/(-3). Suppose r - x = 3. Is r a composite number?
False
Suppose b - 3*b - 2 = 0. Let a be 45/2 + b/2. Suppose 4*y = 18 + a. Is y a prime number?
False
Suppose 3*o - 644 = 694. Let d = o - 139. Is d prime?
True
Suppose i + 6 = -3*x - 2*x, -2*i + 8 = 0. Let j = -4 - x. Is (-1 + 2)/(j/(-26)) prime?
True
Suppose 1 = -l + 7. Let c = 10 - l. Suppose 2*k + c*a = 22, -a + 2*a + 89 = 4*k. Is k composite?
True
Suppose -5*q = 5*h - 1670, -324 = -q - 0*h - 3*h. Is q a prime number?
False
Let n(x) = x**2 + 2*x - 1. Let a be (2/(-4))/((-2)/(-12)). Let g be n(a). Suppose -3*p + g*p = -67. Is p a composite number?
False
Suppose 10*d = 4*d + 522. Is d prime?
False
Let w(d) = 7*d**2 + 23*d - 13. Is w(13) composite?
True
Suppose 4*k - 311 - 629 = 0. Is k a prime number?
False
Suppose -4*j = 3*s - 5, -4*s - 5*j + 10 = -s. Let n(v) = v**2 + 4*v + 4. Is n(s) prime?
False
Is 5/35 + (-1308)/(-7) composite?
True
Suppose 4*j + 59 = -3*d, 0*d - 2*j = 3*d + 55. Let l = 84 + d. Is l a prime number?
True
Let m = -13 + 18. Suppose -9*x = -4*x. Suppose -m*y + 95 = -x*y. Is y composite?
False
Suppose 8*j - 5918 = -3*j. Is j a composite number?
True
Let q(c) = -14*c + 5. Is q(-6) prime?
True
Suppose 7*l - 2*l = -3*b + 1576, 0 = -b - 4*l + 523. Is b a prime number?
False
Suppose -2*o - 799 = -s - 2*s, -3*s + 804 = 3*o. Is s composite?
True
Let v = 354 + -191. Is v a prime number?
True
Suppose 5*k = -659 + 2289. Let c = k + -231. Is c a prime number?
False
Let n be 76/12 - (-1)/(-3). Is 270/14 + n/(-21) prime?
True
Let y = -117 + 164. Is y composite?
False
Suppose 0 = -6*u + 2*u - 772. Let d = -82 - u. Is d a composite number?
True
Suppose -3*y - 7*n = -2*n + 15, -n - 3 = 5*y. Suppose y = 4*f - 33 - 107. Is f composite?
True
Suppose 0 = -5*g + 13 + 12. Let s be (-1 - -322)*(-1)/(-3). Suppose -3*c + n + s = g*n, -n = 2*c - 73. Is c a prime number?
True
Let q(h) = -9*h - 3. Let m be q(-10). Suppose -w - 3*w = -5*v - m, w - 3*v - 20 = 0. Is w composite?
False
Suppose 2*r - 3 = -r - 3*l, r + 5*l - 5 = 0. Suppose c + c - 4 = r. Suppose -c*y = 2*y - 124. Is y composite?
False
Let m(j) be the first derivative of -33*j**2 - j - 1. Suppose 3*t = -2*l + 6 - 23, -t - 5 = 0. Is m(l) prime?
False
Let j = 19 - 8. Suppose -u + 0*u + i = -13, j = 2*u + 3*i. Let l = u - -12. Is l a composite number?
True
Let w(r) = -3*r - 9*r**2 + 0*r**3 + 0*r**2 + r**3 - 5 + 2*r**2. Let l be w(6). Let s = 141 + l. Is s a composite number?
True
Let c = 1 - -1. Let n(m) = 5*m - 3. Is n(c) prime?
True
Let x be (-108)/(-63) - (-2)/7. Suppose -3*r + 1001 = 5*c - r, 0 = x*c - 3*r - 389. Is c prime?
True
Suppose -1428 = 4*o + 444. Let n = -277 - o. Is n a prime number?
True
Let d be (-12)/(-9)*-3 + 0. Let c = -4 - d. Let u(f) = f + 35. Is u(c) a composite number?
True
Suppose 2*y + 3*a - 7 = 4, -2*a = y - 7. Let p(q) = 46*q**3 - 2*q**2 + 1. Let v be p(y). Is 6/(-3*(-6)/v) composite?
True
Let n(l) = -l**2 - 18*l - 2. Let a be n(-12). Let j be -2 - (-30)/(1 - -1). Suppose 3*m + j - a = 0. Is m composite?
False
Let y(q) = -6*q + 5*q - 3*q + 0*q - 6. Is y(-5) composite?
True
Suppose -10231 = -4*q + 501. Is q composite?
False
Suppose k - 2*k + 99 = 0. Let x be (-10)/(-4) - 4/8. Suppose k = x*q + q. Is q a prime number?
False
Suppose 2*m = 7*m - 910. Suppose c = -c + m. Is c a prime number?
False
Suppose w - 24 = -3*w - 2*c, 5*w + 4*c - 33 = 0. Suppose 5*a = -5*p + 595, 3*p - 7*p - w*a = -474. Is p prime?
False
Let k = 536 - 349. Is k a composite number?
True
Suppose 0 = 29*p - 34*p + 8795. Is p prime?
True
Suppose 0 = -0*z - 2*z + 5*r + 937, -952 = -2*z + 2*r. Is z a composite number?
True
Let v(b) = 13*b**2 + 3*b - 55. Is v(12) a composite number?
True
Let n = 472 + -294. Is n a prime number?
False
Let f(p) = 19*p**3 + 2*p**2 - p - 1. Let g be f(3). Suppose -2*b + b - 5*z + 270 = 0, -3*z = -2*b + g. Is b prime?
False
Let o(k) = 2*k - 4. Let l be o(4). Suppose 0 = 4*p - 4*y - 136, 2*p + y = -l*y + 61. Suppose -3*i + p = 5*d - 40, 2*d - 26 = 2*i. Is d composite?
True
Let j = 662 + -397. Is j prime?
False
Let r(s) = s**2 + 8. Let t be r(-7). Let k = -18 + t. Is k composite?
True
Is (-5 + 2273)/2 - (-1 + 0) composite?
True
Let x be (3 - -12)*(-43)/(-1). Suppose w - 4*w = -x. Suppose -m = -3*v - 77, -5*m + 5*v = -2*m - w. Is m composite?
True
Let q(w) = w**2 + w - 6. Let r be q(5). Suppose v - r - 11 = 0. Is v a composite number?
True
Suppose -2 = x - 13. Let f = 80 - x. Is f prime?
False
Suppose 0 = 3*k + 2*z + 3*z - 460, 0 = 4*k + 5*z - 615. Is k a composite number?
True
Is (-7)/49 - (-4104)/14 composite?
False
Let p(w) be the first derivative of 25*w**2/2 + 2*w + 1. Suppose 6*y - 19 - 11 = 0. Is p(y) a prime number?
True
Let w = 80 - 29. Is w composite?
True
Let l(u) = u - 3. Let n be l(6). Suppose n*d + d + 248 = -2*a, 0 = -4*d + a - 254. Is 2*(-1 + d/(-6)) prime?
True
Let w = 42 + 58. Suppose -w = -3*p + 11. Is p a prime number?
True
Let i(q) = 4*q + 7 + q**2 - 1 + 3*q. Let m(y) = y**3 + 10*y**2 + 11*y + 10. Let w be m(-9). Is i(w) a prime number?
False
Is 4/(-2 + -2)*-67 prime?
True
Is -4*1*4/((-48)/267) prime?
True
Let b(s) = -s**2 - 11*s - 4. Let g(j) = -10*j**3 + j**2. Let m be g(1). Let y be b(m). Let d = 21 - y. Is d composite?
False
Suppose -y = -3*y - 6, -2*y = -4*s + 2. Let p(z) = -34*z**3 - 2*z**2 - 2*z - 1. Is p(s) a prime number?
False
Let i be -1*(-3)/6*2. Let g = 6 - 7. Is (g + -2 + i)*-3 composite?
True
Let w(t) = -128*t**3 - t**2 + t + 1. Let m(r) = -r**3 + r**2 - 2*r + 1. Let n be m(1). Is w(n) a composite number?
False
Suppose 4*a - 1894 = -2*x, 3*a + 3*x - 953 = a. Suppose 4*b - a = d - 5*d, -4*d = -5*b + 563. Is b prime?
False
Let t = -3 + 5. Suppose 0 = -v - t*v + 75. Is v a composite number?
True
Let t(r) = -4*r**3 + 5*r**2 + 5*r + 2. Let p be t(-3). Suppose 3*z = -z + p. Is z composite?
True
Let p(j) = -j**3 + 7*j**2 - 8*j + 6. Let f be p(6). Let z = -6 - f. Suppose 4*x - 3 = -3*s + 18, 4*s - 12 = z. Is x prime?
True
Suppose l - 3*n = 5*l + 883, 4*l + 5*n + 877 = 0. Let k = 71 + l. Let d = 275 + k. Is d a composite number?
True
Let p(y) = y**3 + 14*y**2 - 14*y - 13. Is p(-10) prime?
False
Let f = 430 - 174. Let z be 6/(-15) - f/10. Let d = z + 115. Is d composite?
False
Let g(r) = -21*r - 1. Let z be g(-1). Let s = z + 19. Is s prime?
False
Let h(v) = -5*v**2 - 2*v + 2. Let b(t) = -11*t**2 - 4*t + 4. Let o(j) = -3*b(j) + 5*h(j). Is o(-2) a composite number?
True
Suppose -4*c = 5 - 21. Suppose -4*h - c*w + 124 = -w, -h - 3*w + 31 = 0.