5*z - 216, 0 = -5*j - l*z + 279. Is j a multiple of 9?
False
Let z = -121 - -125. Does 38 divide ((-400)/(-60))/(z/114)?
True
Suppose 2*b + 8*b = 180. Is 1 + b + (10 - 11) a multiple of 9?
True
Let w(f) be the second derivative of -f**2 - 2/3*f**3 - 13/12*f**4 + 0 - 1/20*f**5 + f. Does 25 divide w(-13)?
True
Suppose 111 - 378 = -4*c + 3*n, -5*c - n + 310 = 0. Let v = c - 60. Suppose 0 = -v*w + 109 + 173. Does 49 divide w?
False
Suppose 12*m = 47*m - 181924 - 378426. Is 12 a factor of m?
False
Let d(y) = 8*y - 20. Suppose 20 = 5*x - 5. Let m be d(x). Is 9*3/(9/m) a multiple of 20?
True
Suppose 9*j - 12191 = -2498. Let z = j + -607. Is z a multiple of 23?
False
Let q(g) = 1 - 8*g**3 - g**2 - 4*g**3 - 7*g**3 + 0 + g**3. Let h be ((-1 - -3)/2)/(-1). Is 9 a factor of q(h)?
True
Let m be 75*(2/(-2) + 0). Let w(r) = 948*r + 4730. Let d be w(-5). Is (-956)/d + 45/m a multiple of 12?
False
Let z(a) = a - 46. Let n(d) = -d**3 - 14*d**2 + 13*d - 23. Let k be n(-15). Let u be z(k). Is 18 a factor of u/65*-7*55?
False
Let u(a) = 3*a + 71. Let d be u(-14). Suppose 35*v - d*v = 2310. Is v a multiple of 34?
False
Let c be (-36)/28 - (-4)/14. Let u be (-26)/((-10)/4*c/(-20)). Suppose 2*v - u = -6*v. Does 10 divide v?
False
Suppose 3*z = 7 + 2, -2*w = -5*z - 7. Suppose -w*t + 17 = -5. Suppose t*y = 67 - 15. Is 16 a factor of y?
False
Let g = 651 + 624. Is 22 a factor of g?
False
Let o(z) be the third derivative of 19*z**5/60 - z**4/2 - 5*z**3/6 + 118*z**2. Does 9 divide o(5)?
False
Let y(s) = 96 - 2*s + s - 89. Let n be y(7). Suppose l + 5*u = 9 + 37, 4*l - 2*u - 96 = n. Is 2 a factor of l?
True
Is (35076/(-8))/37*-84 a multiple of 14?
True
Let n be (-43)/(-43) - (-1 - (2 + -1)). Is 20 + 399 + (-1)/(n/(-12)) a multiple of 21?
False
Suppose -2*y + 5 = b + 1, 4*b - y - 16 = 0. Suppose 24 - 4 = b*i. Is i a multiple of 5?
True
Let m(u) = 567*u - 620. Is m(7) a multiple of 197?
True
Let r = -10 + 13. Suppose r*b - 5 - 10 = 0. Suppose x + 2*p = -3*p - 8, -59 = -2*x + b*p. Does 2 divide x?
False
Suppose 6 = -2*l + f, 2*l + 16 = -2*l + f. Let r(p) = -3*p**2 + 13*p + 9. Let k(u) = u**2 - 6*u - 5. Let y(m) = l*k(m) - 2*r(m). Is y(-8) a multiple of 13?
True
Suppose 4*d = 2*v + 10, 16 = 5*v - v + 4*d. Let u be 1/v*(2 - 27/(-3)). Suppose 13*h = u*h + 274. Is 10 a factor of h?
False
Let i(q) = -q**2 + 11*q - 18. Let x be i(8). Let l = x - -39. Is 15 a factor of l?
True
Let l be 2 + 26761/63 - (-2)/9. Suppose 12*b - l = 149. Is 13 a factor of b?
False
Let x(a) be the first derivative of -3*a**2/2 + 2*a + 35. Let v be x(-1). Suppose -13*j + 294 = -10*j - v*d, 0 = 5*j + 2*d - 459. Is 34 a factor of j?
False
Let f(y) = 9*y**3 - 7*y**2 + 7*y + 8. Let s be f(4). Suppose -2*c + s + 186 = z, 0 = -2*c - 3*z + 690. Does 18 divide c?
True
Suppose -2*q - 8 = 0, 3*h + 3*q = 27 + 60. Let l(t) = t**3 - 31*t**2 - 61*t - 75. Is 11 a factor of l(h)?
False
Let r = 457 + 2143. Does 40 divide r?
True
Let b = -1458 + 2292. Suppose 130*c - 124*c - b = 0. Does 9 divide c?
False
Let f(i) = i**3 - 58*i**2 - 273*i + 100. Does 183 divide f(71)?
False
Suppose 15*u - 42 = 3. Suppose 50*q = 51*q - u. Suppose 2*y + 802 = q*w + 6*y, 0 = -5*w - 4*y + 1342. Is w a multiple of 30?
True
Suppose -2*m - 43 + 43 = 0. Let g(x) = -3*x + 11. Let w be g(m). Let o = 109 + w. Is o a multiple of 15?
True
Let l = -21 - -300. Suppose 0 = -5*m + 764 - l. Does 9 divide m + (4/12)/((-2)/18)?
False
Is 28 a factor of (373 + -17)*(10 - 5)?
False
Let v(u) = -17*u - 6*u**2 + 5*u**2 + 0*u**2 - 27. Let w be v(-11). Let s = 17 + w. Is s a multiple of 14?
True
Does 11 divide (16445/(-33))/(65/(-78))?
False
Let o = 173 - 168. Is o/(30/(-4)) - 214/(-6) a multiple of 7?
True
Is (-21746)/(-18) - (-710)/(-639) a multiple of 9?
False
Let o(r) = r**3 + 47*r**2 + 70*r - 298. Does 4 divide o(-43)?
True
Suppose -3 = -3*r, 4*j - 6*j + 264 = 2*r. Suppose -2*h - 159 = -5*g, -3*h - 4*g - 168 = -h. Let f = j + h. Does 7 divide f?
True
Let m(f) = 17*f - 18. Let g = 18 - 16. Let k be m(g). Let h(b) = -b**3 + 16*b**2 + 3*b - 24. Does 5 divide h(k)?
False
Let t = 775 - 777. Does 16 divide (t - 94)*8/(-80)*5?
True
Let u be (-5*2)/((-206)/2575). Suppose 19*j - 14*j - 113 = -h, -5*j + u = -5*h. Does 3 divide j?
False
Let x(a) = -a**3 + 17*a**2 - 17*a + 8. Let g be x(16). Let j(r) = r**2 + 8*r + 3. Let m be j(g). Is m/45*5 - (-224)/3 a multiple of 15?
True
Let d(g) = 679*g - 57. Let x be d(7). Let j = -24 - 6. Is 13 a factor of 4/j - x/(-120)?
True
Let l = -95 - -110. Is 16 a factor of 4/(-20) - (-1953)/l?
False
Let x(r) = 3*r**3 - 8*r**2 + 33*r - 284. Does 16 divide x(17)?
True
Suppose 79*h - 7*h - 373320 = -98*h. Is h a multiple of 6?
True
Let q(b) be the second derivative of -19*b**3/6 - 7*b**2/2 + 9*b + 1. Let k be -4 - -1 - (-1)/(-1). Does 23 divide q(k)?
True
Suppose -3*n - 7*t + 6*t + 107770 = 0, 4*n - 5*t = 143706. Is n a multiple of 13?
False
Let i(n) = -n**3 + 70*n**2 + 233*n + 242. Is 59 a factor of i(71)?
False
Let f(i) = 44*i**2 + 11*i + 34. Is 13 a factor of f(3)?
False
Let t = -163 - -168. Suppose 0 = 2*p - n - 755, n + 3*n - 1105 = -3*p. Does 21 divide p/t + (-2 - 2)?
False
Let i(h) = -255*h - 2273. Is i(-33) a multiple of 37?
True
Suppose -19*o + 23591 = -46576. Is o a multiple of 10?
False
Suppose 22621*d - 22633*d = -40944. Is d a multiple of 15?
False
Suppose 0 = -0*g + 4*g - 8. Suppose 0 = g*k - s + 374, -2*k = -3*k - 2*s - 182. Is 15 a factor of (-6)/2 + (k + 2)/(-4)?
False
Let i(o) be the second derivative of -2*o**5/5 - o**4/12 + 2*o**3/3 - 5*o**2/2 - 34*o. Let q be i(2). Let s = 73 - q. Does 23 divide s?
True
Suppose 0 = 8*t - 3*t + 5*k, -3*t + 4*k = 0. Suppose t = -64*g + 52*g + 1512. Is g a multiple of 42?
True
Suppose 428*r - 425*r + o - 7654 = 0, -4*o = 3*r - 7639. Is 71 a factor of r?
False
Suppose -3*n + 9 = 5*l - 9, 5*l = -2*n + 7. Suppose 10*s = -n*s + 7308. Is s a multiple of 42?
False
Let n(a) = 69*a + 9. Suppose 19 = 4*k + 7. Is n(k) a multiple of 36?
True
Let v = -1821 + 3478. Is 38 a factor of (-42)/14*2/6 + v?
False
Suppose 0 = 2*c + 2*n - 39644, 9*c - 4*n = 11*c - 39642. Is c a multiple of 196?
False
Let h = 35 + -31. Let w = 857 + 1838. Is (-3)/(18/h) + w/33 a multiple of 9?
True
Let i(z) = 46*z - 20. Let m be i(13). Suppose 4*b - 934 = m. Does 45 divide b?
False
Let r = 11 + 1. Let f(q) be the third derivative of q**6/120 - q**5/6 - 11*q**4/12 - q**3/2 - 416*q**2. Is 8 a factor of f(r)?
False
Let t(v) = v + 21. Let g(u) = 12*u. Let h be g(4). Suppose -h = -8*c - 160. Is 2 a factor of t(c)?
False
Suppose 41863 = 4*u - 3*g, -16*g + 17*g = -4*u + 41859. Does 23 divide u?
True
Let q = -11 - -13. Suppose -5*f = q*d - 60, 5*d + 3*f = 6*f + 181. Suppose 5*y - 385 = d. Is 12 a factor of y?
True
Suppose -2*o - 4*y + 30650 = 0, 2*y + 40339 + 20941 = 4*o. Is 134 a factor of o?
False
Let k = 1456 - -1794. Is k a multiple of 26?
True
Suppose 51970 - 314414 = -13*k + 130676. Is k a multiple of 120?
True
Let v = -11151 - -16112. Does 41 divide v?
True
Let l(g) = -2*g + 7. Suppose 4*k + u + 3 = -k, 0 = -k - 3*u - 9. Let o be l(k). Let a(i) = 13*i - 7. Does 13 divide a(o)?
False
Let t = 53 - 113. Let a = t + 57. Does 7 divide (1/a)/(-5 - 1256/(-252))?
True
Let v(i) = 76*i**2 + 3*i + 3. Suppose 3*b + 3*t - 24 = 0, 2*b - 5*b + t = -4. Does 27 divide v(b)?
False
Suppose -13*p = -4*p - 45. Suppose -1 = -2*i - 2*y + 3, 4*y = -p*i + 10. Suppose 5*a - 11 = -d, -d + 17 = -0*a + i*a. Does 21 divide d?
True
Let a = 37706 + -24114. Is a a multiple of 9?
False
Let p = -11139 + 21966. Does 24 divide p?
False
Let n(k) = k - 14. Let b be n(11). Let m = 53 - b. Does 14 divide m?
True
Let x = -3354 + 5384. Is 29 a factor of x?
True
Suppose -23*d + 29*d - 12 = 0. Suppose k - 72 - 8 = -5*i, d*k = 2*i + 172. Does 17 divide k?
True
Suppose -53*v = -66*v + 6019. Let p = v - 344. Is 5 a factor of p?
False
Let u(g) = 3*g**2 + 87*g + 399. Is u(-40) a multiple of 66?
False
Is 3 a factor of 72/252 + (-5017)/(-7)?
True
Suppose -4*n = 3*v - 47, -v + 0*v + 3*n - 6 = 0. Let h(j) = -20*j**2 + v - 7*j + 7*j**2 + 232*j**3 - 465*j**3 + 232*j**3. Is 31 a factor of h(-13)?
False
Let l(v) = -53*v + 33. Let y(p) = -105*p + 66. Let d(m) = -11*l(m) + 6*y(m). Is d(-4) a multiple of 17?
True
Suppose -399 = -2*p + 9*p. Let u = p + 62. Suppose 3*v = -u*w + 573, 936 = -3*v