 = -z. Is z a multiple of 7?
False
Let m(z) = -z**3 + 12*z**2 + 2*z + 48. Suppose -12 = 3*a - 4*h - 46, -5*h = 2*a + 8. Is m(a) a multiple of 6?
True
Suppose 0 = -93*j - 2682 + 20920 + 15521. Does 17 divide j?
False
Let z = -5017 + 7120. Suppose 20*b = -j + 17*b + 2107, -j - 2*b + z = 0. Does 110 divide j?
False
Suppose 15*b - 8216 = 2*b. Let t be b*((-2)/8)/(7/(-14)). Suppose -4*s - t = -2*y, -340 = -4*y - s + 247. Is y a multiple of 6?
False
Suppose 6*d = -56*h + 61*h - 146826, 2*h = -d + 58761. Does 136 divide h?
True
Let q(s) = 3*s**2 - 44*s - 95. Does 93 divide q(-42)?
False
Let j be (12/8)/((-3)/(-8)). Suppose -j*w + 603 = 235. Suppose 0 = 3*k + 5*q - w - 160, -3*k + q = -270. Does 20 divide k?
False
Let f = -43 + 38. Let o be ((-123)/(-3))/(2/4). Does 6 divide (-8 - f)*o/(-6)?
False
Let r(c) = 79*c**2 + 22*c - 10. Is r(10) a multiple of 213?
False
Suppose -s + 0*s = 10. Let z = 633 - 669. Is (48/s)/(z/120) a multiple of 2?
True
Suppose -6*t + 538 = 5*b - 2*t, -5*t = -5*b + 520. Suppose -81 + b = 5*k. Suppose 4*g = -4*u - 18 + 46, k*g - 3*u = 19. Is g a multiple of 5?
True
Let n(p) = 7*p + 64*p**2 + p**3 - 3 - 21*p - 57*p**2. Is n(-7) a multiple of 29?
False
Let u(g) = -g + 14. Let i(s) = -s. Let q(j) = -2*i(j) + u(j). Let p be q(-2). Suppose 70 = -p*o + 17*o. Does 3 divide o?
False
Suppose -4*d = 3*a - 6998, -2*a - 4665 = -4*a - 3*d. Suppose -3*l + a = 2*u + 2*u, 2*u + 3*l = 1164. Is 65 a factor of u?
True
Suppose -14*k + 51 = -13*k. Suppose b - k = 44. Suppose -d - 5*u = -2*d + b, 3*u - 135 = -d. Does 40 divide d?
True
Let m(u) = -3*u**3 - 15*u**2 + 50*u + 98. Is m(-18) a multiple of 204?
False
Suppose -47*j - 49*j = -88*j - 4160. Does 8 divide j?
True
Let r(w) be the first derivative of -w**4/4 - 8*w**3/3 - w**2/2 + 16*w - 60. Does 51 divide r(-9)?
False
Let i(n) be the third derivative of -7*n**4 - 41*n**3/6 + 7*n**2 + 10*n. Is i(-1) a multiple of 2?
False
Let m = 67 - 21. Suppose 0 = -j - m + 52. Suppose j*k - 869 + 77 = 0. Is 22 a factor of k?
True
Suppose 72 = 4*v + 2*a - 5*a, 0 = -5*v - 5*a + 125. Let d be (3/v + 1)/((-4)/(-14)). Suppose 25 = 5*b - 2*y, -d*b - 3*y - 3 = -0. Is 3 a factor of b?
True
Let r(q) = -175*q**3 - 9*q**2 - 31*q - 1. Does 74 divide r(-3)?
True
Let t = 89740 + -61706. Is t a multiple of 240?
False
Suppose -3947 - 71057 = -2*v. Is v a multiple of 34?
True
Let l = -43957 - -76572. Is 11 a factor of l?
True
Suppose 0 = 4*u + 3*o - 31786, 33*u - 31*u + 4*o - 15908 = 0. Is 11 a factor of u?
True
Let k = 1442 - -448. Is k a multiple of 15?
True
Suppose -117*h + 166208 = -5*h. Is h a multiple of 14?
True
Let f = 2244 - 906. Does 6 divide f?
True
Let f be 12/(-42) + (1 - (-9633)/(-21)). Let s = -86 - f. Is 16 a factor of s?
False
Let n = 352 + -202. Suppose 0 = -18*v + 13*v - n. Does 20 divide (1 - 94/(-6))/((-4)/v)?
False
Suppose 5*o + 2*a + a = 15199, 3*o - 9117 = -3*a. Is 31 a factor of o?
False
Suppose 3*j - 7*j - 14 = -2*s, -2*s + 2*j = -12. Suppose -7*h = -2*h + 4*u - 3032, 0 = -s*h - 2*u + 3026. Does 51 divide h?
False
Let f(x) = -3*x**2 - 7*x + 1. Let h be f(-2). Let z be -20*h/(10/(-8)*6). Is 12 a factor of 36/(-1 - (-11)/z)?
True
Let h(k) = 77*k**2 + 6*k + 49. Is 9 a factor of h(-7)?
True
Suppose -88 = -m - 315. Let n = m - -158. Let f = n - -82. Is 6 a factor of f?
False
Is 125*(20/(-30))/(14/(-3927)) a multiple of 11?
True
Let f(p) = -p**3 - 44*p**2 + 3*p + 95. Let h be f(-44). Let d(x) = x**3 + 39*x**2 + 56*x - 54. Does 17 divide d(h)?
True
Is 95/(-171) + (-18790)/(-45) a multiple of 3?
True
Let n(g) = -2*g**3 - 7*g**2 - 12*g - 37. Let x(o) = 18*o - 97. Let b be x(5). Is 36 a factor of n(b)?
False
Let q(t) = 10*t - 174. Let r be q(-7). Let h = 499 + r. Does 15 divide h?
True
Let s be ((-27)/3)/((-27)/(-6) + -6). Let j = 36 - s. Is j a multiple of 6?
True
Let x be 0*((-22)/4 + 5). Suppose x = 10*w - 4*w. Is (-4794)/34*(w - 1) a multiple of 37?
False
Let v(h) = -h**3 + 12*h**2 - 3. Let l be v(5). Let d = -1531 - -1558. Let o = d + l. Is 13 a factor of o?
False
Suppose -28 = -4*y, z = 3*z - 3*y - 15235. Is z a multiple of 7?
False
Let x(u) be the first derivative of -9*u**4/4 + 2*u**3 - 3*u**2 - 7*u - 80. Is 27 a factor of x(-5)?
False
Let k be (8/6)/(286/33 - 8). Let v(i) = 20*i**3 - i**2 + 2*i + 1. Let z be v(2). Suppose 0 = -k*m - 6, 124 = 3*l + 4*m - z. Does 11 divide l?
True
Let y(w) = -w**3 - 4*w**2 - w. Let f be y(-4). Suppose 0*m - 22 = -f*s - 3*m, -2*m + 8 = s. Suppose 2*l - 5*q + 2 = 52, -2*l + 46 = -s*q. Does 7 divide l?
False
Suppose -3*j - 206 = 3*i + 16, 4*j + 2*i + 292 = 0. Let g be j/(-21) + 12/(-28). Suppose -33 = -g*l + 21. Is 15 a factor of l?
False
Suppose -u + 22*z = 16*z - 432, -4*u - 4*z + 1784 = 0. Is u a multiple of 37?
True
Let x = -246 - -245. Is (-117 - 2)*(5/x + 4) a multiple of 17?
True
Suppose -275 - 759 = -s - 2*m, 0 = 5*m - 5. Is 18 a factor of s?
False
Let h be 567 + (-4 - -1 - -5)/(-2). Suppose 4*k + 1441 = 5*a, 0*k + k - h = -2*a. Does 19 divide a?
True
Let n be -2 - 6/(6/(-7)). Suppose 4*l - 1077 = n*c - 8*c, 824 = 3*l - c. Is 21 a factor of l?
True
Suppose -12 = 5*p + g, -5*g + 3*g = 3*p + 10. Does 39 divide (0 - 1443/p) + 14/28?
False
Suppose 3*x = 4*q + 89278, -13443 + 72911 = 2*x + 10*q. Is x a multiple of 25?
False
Suppose -5*u + 14*u - 270 = 0. Let s = -23 + u. Suppose 5*f - 1488 = -s*f. Does 16 divide f?
False
Suppose h = -4589 + 11321. Is h a multiple of 44?
True
Suppose 282*v - 279*v + 351 = 0. Let i = v - -173. Does 28 divide i?
True
Suppose b = 26 - 22. Suppose 0 = -m + 4*m + 2*p + 24, m + 2*p + b = 0. Let w(a) = -5*a + 25. Is w(m) a multiple of 12?
False
Let c be (-32)/(-10) - (-1)/30*-6. Let k(g) = 175*g - 31. Is k(c) a multiple of 7?
False
Let a(n) = 9*n**2 + 4*n - 33. Let b be a(6). Does 9 divide (b/27)/(2/6)?
False
Let t(f) = -6*f**2 + 34*f + 45. Suppose 4*u = -u - 35. Let z(j) = 4*j**2 - 23*j - 30. Let x(o) = u*z(o) - 5*t(o). Is 37 a factor of x(-8)?
True
Let t be (20 - 7)*1*-38. Let a = t - -704. Is 9 a factor of a?
False
Let c = -996 + 387. Let m = -591 - c. Is m a multiple of 3?
True
Let w(a) = -20*a**3 - 39*a**2 + 20*a - 3. Does 49 divide w(-6)?
True
Is 5 a factor of (-1)/((-2)/(-674))*-7 - 592/(-296)?
False
Suppose 2*r + 104*q = 107*q + 46780, 2*r - 46780 = 5*q. Does 62 divide r?
False
Let m(c) be the second derivative of -4*c + 1/6*c**3 + 17/2*c**2 + 0. Is 2 a factor of m(-13)?
True
Let n = -117 - -120. Suppose 0 = -n*f - 5*z - 1001, -5*f = -5*z + 3*z + 1689. Let w = -92 - f. Is 27 a factor of w?
False
Let d be 84/(-112) - 21/4. Does 32 divide 17284/36 + d/54?
True
Let n = 27999 + -11718. Does 41 divide n?
False
Let h(g) be the first derivative of -27*g**2/2 - 6*g + 34. Does 15 divide h(-8)?
True
Let a be -88*7/14*-2. Suppose -a*o = -73*o - 7020. Does 18 divide o?
True
Let r be (258/(-54) - -2) + (-4)/18. Let j be 5 - (-4)/(4/r). Is -1 + j + (3 - (-1 - 2)) a multiple of 6?
False
Let m = -6 + 9. Suppose h - 4*h + 2*w + 16 = 0, -m*w = 4*h + 7. Suppose 8 = -4*g + h*z + 126, g = -3*z + 33. Is 5 a factor of g?
True
Let h be (563/2)/((-37)/74). Let o = -355 - h. Does 26 divide o?
True
Suppose 3*i + d = 146, -i + 42 = -0*i - 3*d. Is 15 a factor of ((-4788)/i)/((-1)/4)?
False
Let i be (-23)/46*-20*1. Suppose i*t + 7*t = 4386. Does 40 divide t?
False
Suppose 36*t = 24*t + 108. Suppose 2*u - 77 = t. Is u a multiple of 13?
False
Suppose 0 = 9*t + 1049 + 733. Let f = t + 205. Is f a multiple of 3?
False
Let y = -7803 - -8496. Is 9 a factor of y?
True
Let o(i) = -2*i + 2 + 3 - i**3 + 16*i + 2*i**2. Suppose -236 - 100 = 56*b. Is 42 a factor of o(b)?
False
Let i(t) = -617*t**2 - 24 + 209*t**2 + 202*t**2 + 200*t**2 + t**3 - 39*t. Is i(12) a multiple of 5?
False
Let m(i) = 2*i**3 - 3*i**2 - i + 2. Let f be m(2). Let n be 1 + 2 + (-4)/(-16)*f. Suppose -44 = n*a - 428. Does 16 divide a?
True
Let d(i) = -18*i - 4. Suppose -4*a - 17 = 5*b, 5*a + 16 = -4*b + 3*b. Let u be -3 - (a/(-3) - -4). Does 20 divide d(u)?
True
Let l be ((-30)/(-9))/((-19)/513). Is (-5)/(l/6) + (-94)/(-6) a multiple of 11?
False
Let q = 177 - -33. Is 18 a factor of (108/42)/(10/q)?
True
Is 40 a factor of 184/115 + (-2899512)/(-55)?
True
Suppose 9 = -3*d - c, -d + 3*d + 5*c - 7 = 0. Let r be 1/2*((-20)/d + -1). Let k(q) = 10*q**3 + q**2 + 4*q - 7. Is k(r) a multiple of 17?
True
Let m(k) = -21