 z. Is g a multiple of 8?
True
Let a(x) = -743*x - 337. Does 61 divide a(-5)?
False
Let n(q) = -21*q**2 + 6*q + 12. Let b(h) = 11*h**2 - 3*h - 6. Let y(i) = -9*b(i) - 5*n(i). Does 51 divide y(-4)?
True
Suppose 8*v - 5*v + 2*d = -685, 4*v - 4*d = -920. Let a = v - -330. Does 3 divide a?
False
Suppose -3*c - 3*t - 381 = 0, 4*c - 3*t + 795 - 266 = 0. Let j = 181 + c. Does 15 divide j?
False
Let n(d) = 2*d**2 + 9*d - 16. Let x be 2 + 0/1 + (-9)/(-3). Does 23 divide n(x)?
False
Let j = 22 - 115. Let v = j + 134. Does 3 divide v?
False
Let q(m) = -m**3 + 10*m**2 + 3*m - 23. Let t be q(10). Suppose t*y + 2*h = 6*y + 956, -h = -3*y + 2847. Does 49 divide y?
False
Let s = 9441 + -8320. Is s even?
False
Suppose 24*m = 23*m + 1386. Is 17 a factor of m?
False
Let h(b) = 14*b**2 + 5*b - 18. Let v be h(3). Let c = 283 - v. Is c a multiple of 80?
True
Let h(x) = -x - 14. Let p = 38 + -52. Let z be h(p). Suppose 8*k + 81 - 401 = z. Is k a multiple of 5?
True
Let f be (-2)/3*180/(-40). Suppose f*z - 79 - 242 = 0. Is z a multiple of 5?
False
Let m be (-63)/((1 - 3)/18). Let z = 884 - m. Is 44 a factor of z?
False
Let k(p) = p**3 + 41*p**2 + 10*p + 646. Is k(-34) a multiple of 26?
True
Let a be (-5)/((-10)/(-72))*1/(-2). Suppose -a*j + 516 = -12*j. Does 6 divide j?
False
Suppose 0 = 84*o - 73*o - 71258. Is o a multiple of 79?
True
Suppose -36838 = -3*i - 5*v + 49566, -3*i + v = -86428. Is 277 a factor of i?
True
Is 16 a factor of 7 - (5915/15)/(-13)*12?
False
Does 20 divide (3 + 17 - -24)/(0 - 1/(-10))?
True
Let v(q) = 15*q**3 + 14*q**2 - 53*q - 3. Is 21 a factor of v(6)?
True
Suppose 8*h - 14 = 26. Suppose -h*l = -5*m + 15, -m = -4*l + 4*m - 15. Suppose l = 5*k - 11 - 9. Is k a multiple of 4?
True
Let b(i) be the second derivative of i**4/4 - i**3 - 23*i**2/2 + 43*i. Is b(-11) a multiple of 29?
True
Let d = 23030 - 9932. Does 59 divide d?
True
Suppose -3*m - 8159 = 20437. Is 14 a factor of (54/(-45))/(m/4760 - -2)?
True
Suppose -59*f + 38*f = 21. Is (4/(-10)*f)/((-24)/(-30120)) a multiple of 13?
False
Let p = 230 - 462. Let t = p - -385. Suppose -m - t = -5*z, 2*m - 5 - 139 = -5*z. Is 3 a factor of z?
True
Is 21 a factor of ((-74)/(-7))/(7*(-12)/(-1176))?
False
Suppose u - 18*t = -16*t + 12656, -37983 = -3*u + 3*t. Is 116 a factor of u?
False
Suppose -5*b - 3*f + 60 = 0, 12 = 5*b - f - 48. Is 30 a factor of 651/b + 21/28?
False
Let j(p) = -10*p + 26. Let c be j(7). Let d = c - -128. Does 14 divide d?
True
Let b = 16460 + -13045. Does 5 divide b?
True
Let b(u) be the first derivative of -u**4 - 7*u**3 - 8*u**2 + 8*u + 70. Is 15 a factor of b(-8)?
True
Is 8 a factor of (-116)/(-406) - (-54)/7 - (2 - 3674)?
True
Suppose 0 = 1473*h - 1470*h - 14916. Is 113 a factor of h?
True
Does 26 divide 156/27 + -6 - (-49612)/18?
True
Let l(n) = n - 19. Let f be l(12). Let j(o) = -2 + 3 - 1 - o + 2. Is 3 a factor of j(f)?
True
Suppose 0 = 46*g - 62*g + 337360. Is g a multiple of 107?
False
Let u = 64 - 10. Let p be (-1)/(-2) + u/36. Suppose 5*z = -10, p*y - 72 = z + 126. Is y a multiple of 16?
False
Suppose 8991 = 12*g + 2523. Suppose 2*d - 1189 - g = 0. Does 34 divide d?
False
Suppose -u = 5*c - 35 + 7, 4*c + u - 23 = 0. Suppose 0*h + 5*h - 4*r = 843, 0 = -2*h + 3*r + 340. Suppose -c*i + h = -208. Is i a multiple of 11?
False
Suppose -234*a + 354090 = -219*a. Is a a multiple of 37?
True
Let n(a) = -2*a**3 - 6*a**2 + 52*a + 36. Is n(-18) a multiple of 36?
True
Suppose -3*t - 340 = -13*t. Suppose q + 2 = 2*k, -20 = -q - 4*k - 4. Suppose -q*d + 2*n + 48 = 0, -n - t = -0*d - 3*d. Is d even?
True
Let t = -22 + 18. Let c be (t/(-8))/((-5)/(-40)). Suppose 2*k - c*i + 159 = 7*k, -4*k + 127 = 3*i. Does 3 divide k?
False
Let k(a) = 36*a - 198. Let n be k(6). Let b(c) = -c**3 + 20*c**2 - 35*c + 37. Is 9 a factor of b(n)?
False
Let j = -162 + 155. Let i be 0 + (-42)/(-3) + (-7 - j). Is 16 a factor of -192*(-7)/i*(-2)/(-6)?
True
Suppose -2*v - 3*x = -1986, 2*x = -4*v + x + 3952. Suppose 6*n - b = 2*n + v, 0 = 4*n + b - 989. Is n a multiple of 13?
True
Suppose -338 - 44 = 2*g. Suppose 2*w = 5*z - 1961, 2*z - 2*w + 1949 = 7*z. Let s = g + z. Does 40 divide s?
True
Does 49 divide ((-252263)/(-4))/19 - (0 - 1/(-4))?
False
Suppose -5*g - u + 124590 = -53334, g + 2*u - 35592 = 0. Does 16 divide g?
True
Suppose 0 = 3*c - 5*t - 201749, -10*c - t + 268197 = -404282. Does 16 divide c?
True
Let n(z) = -3*z + 1. Suppose 5*i - 15 = -4*v, -5*v + 1 + 8 = 3*i. Let g be 1/(v + 3/(-39)). Is n(g) a multiple of 5?
True
Let y = 17612 + -8342. Suppose 6*n - 11*n + y = 0. Suppose n = 9*a - 576. Is 27 a factor of a?
True
Let w(u) = u**2 - 5*u - 5*u**3 + 3*u**3 + 4*u + 41. Let h(t) = -3*t**3 + 14*t**2 + 11*t - 30. Let z be h(5). Does 24 divide w(z)?
False
Suppose 3*g - 495 = -2*g. Let m = -27 + g. Does 24 divide m?
True
Let b be 4*(-8)/20*(-15)/12. Suppose 327 = -b*h + 5*h. Let z = h - 9. Does 25 divide z?
True
Suppose 0 = -10*a - 1690 - 2000. Let i = a - -613. Is 3 a factor of i?
False
Does 8 divide -1 - -733 - (-5 + -8 + 9 + 1)?
False
Let t(f) = -905*f + 592. Is t(-4) a multiple of 108?
True
Suppose 91 - 103 = -3*t. Let x(r) = -44*r - 33. Let c(o) = -22*o - 17. Let f(a) = 11*c(a) - 6*x(a). Is 11 a factor of f(t)?
True
Let k(t) = -2*t**2 + 44*t - 41. Let l be k(21). Let m be l/3*(4 - 4). Suppose -6*x + 7*x - 37 = m. Does 10 divide x?
False
Let x = -20026 - -28541. Is 123 a factor of x?
False
Let h(v) be the second derivative of 19*v**5/20 - 13*v**4/6 - 3*v**2/2 - 27*v - 6. Is 82 a factor of h(5)?
True
Let l(h) = 17*h + 1545. Does 10 divide l(-47)?
False
Does 88 divide (7332/(-235))/(6/440*-2)?
True
Suppose n + n + 10 = 0, 42 = 2*j - 2*n. Let u be 20/(-11) + j/(-88). Is 11 a factor of (4 - 2/(-4)*-51)*u?
False
Suppose 45*k - 8 = -53. Let t(g) be the first derivative of -55*g**4/4 - g**2/2 + 1. Does 14 divide t(k)?
True
Suppose 0 = 6*c + 4284 - 1554. Let o = 1010 + c. Is 10 a factor of o?
False
Suppose l - 9 = -2*p, 5*p - 6*l + l = 0. Suppose 0 = p*h + 52 - 64. Suppose -2*y - k + 29 = 0, -h*k = y - 9 - 9. Is y a multiple of 9?
False
Let n = -1757 - -2073. Is 34 a factor of n?
False
Let i = 39113 + -30008. Is i a multiple of 53?
False
Suppose 2*f + 4*w = 0, -26*w = 2*f - 25*w - 15. Suppose f*k + 4*o = 6*k + 840, 0 = -5*k + 2*o + 1029. Is 9 a factor of k?
True
Let q = 85 + -56. Suppose 0 = 23*p - q*p + 426. Does 41 divide p?
False
Suppose 5*q + 112147 - 236982 = 0. Does 50 divide q?
False
Suppose -12 = 6*r - 7*r. Let t(f) = r*f + 2 + 33 - 3*f. Does 37 divide t(19)?
False
Let w be 2 + 45/(-24) + 351/72. Let g(j) = 116*j + 140. Is g(w) a multiple of 30?
True
Let d(z) = 718*z - 2820. Is d(6) a multiple of 93?
True
Suppose -5*s - 70 + 35 = 0. Is (3 + s/2)*-594 a multiple of 11?
True
Let j = 43 - 52. Let p be (-4 - -1)/(j/(-24)). Let g(d) = -8*d + 3. Is g(p) a multiple of 14?
False
Suppose 0*h - 5*h + 156 = -3*o, -4*h - 4*o = -144. Suppose 3*t = 2*w - 14, t - 12 + h = 3*w. Let x(b) = 2*b**2 - 8*b - 17. Is x(w) a multiple of 5?
True
Suppose 43*h - 232 = 39*h. Suppose -4*d + 8*f - 5*f = -204, f = -d + h. Is d a multiple of 18?
True
Suppose 4*d = 2*h - 182, -5 = h - 0. Let v be -5 + 4 + 94 + -1. Let a = v + d. Does 11 divide a?
True
Suppose 2*l = 3*b + 4*l - 1724, -l + 1720 = 3*b. Is b a multiple of 67?
False
Suppose 4*a - 4*z - 87 = 237, 3*z - 69 = -a. Suppose 2*k = -4*m + 50, -6*k + 3*k = 3*m - a. Is k a multiple of 3?
True
Let v = -162708 - -253668. Is v a multiple of 60?
True
Suppose -38 = 3*x + 2*y, -4*x + 3*y = 4*y + 54. Let g(l) = l**3 + 13*l**2 - 22*l - 12. Is g(x) a multiple of 3?
False
Is 3 a factor of (1 + 150/(-40))*-396?
True
Let h be ((-6)/4)/(18/96). Let m = 45 + h. Is 26 a factor of m?
False
Let k be -1*(-6)/(12/2194). Suppose 0 = -15*z + k + 3403. Is 30 a factor of z?
True
Let j(s) be the first derivative of s**4/4 - 11*s**3/3 + 6*s**2 + s + 11. Let i be j(10). Suppose 5*d - 49 = -2*x - x, 2*x = -d + i. Does 8 divide x?
True
Suppose 0 = 3*j + 4*u - 44461, -77*u + 14847 = j - 81*u. Does 46 divide j?
False
Suppose -3*n + 4*j = 35 - 13, -4 = n - 3*j. Let p(l) = 12*l - 48. Let m be p(n). Let s = -72 - m. Is s a multiple of 32?
True
Let p be 5*((-18)/15 - -2). Let c = -993 + 993. Suppose c = 4*f + f, p*a + 5*f = 44. Does 4 divide a?
False
Suppose -49511 = -7*z + 51373. Does 12 divide z?
True
Let l = -120 + 1