ivide m?
False
Let i(d) = -4*d + 1867. Is 23 a factor of i(0)?
False
Suppose -931 = -4*z - 267. Is (z/(-8))/(5/(-20)) a multiple of 20?
False
Let u = 599 + -543. Is 2 a factor of u?
True
Suppose 5 + 1 = 3*l. Let h(z) = -3*z**2 + 11*z**2 - 2*z - l*z**2 + 6. Is 32 a factor of h(-4)?
False
Suppose 0 = -k + 9*k - 248. Suppose -k*q = -26*q - 355. Is q a multiple of 18?
False
Is 10 a factor of (-5)/(60/(-669)) - (-3)/12?
False
Let r = 38 - -1. Let s = 52 - r. Does 8 divide s?
False
Does 4 divide -5 + 1 + 1 - (-244 - 15)?
True
Let c be 1 + 1 - 5/(15/(-366)). Let j = c - 83. Is 12 a factor of j?
False
Suppose 0 = -h - v + 31, h + 4 = 5*v + 23. Suppose 2*s + 2*j - 7 - h = 0, -j = 5*s - 78. Is 2 a factor of s?
False
Let v = 578 + 898. Is 28 a factor of v?
False
Suppose -o + 2*r - 6 = 0, 2*r - 7 = 2*o - 3. Suppose o*s + 4*s - 66 = 0. Does 8 divide s?
False
Suppose 4*p + 16 = 0, 0 = 8*q - 5*q + p - 404. Is 8 a factor of q?
True
Suppose 0*o + 91 = -4*o - 5*n, -4*o + n - 121 = 0. Suppose 5*i + 87 + 28 = 0. Let m = i - o. Is 4 a factor of m?
False
Suppose -4831*q - 8792 = -4838*q. Does 24 divide q?
False
Suppose 70 = -12*w - 2*w. Does 13 divide (-1)/2 + w/10 + 50?
False
Let f be (16/(-28))/(10/(-35)). Suppose -f*u + 6*u - 84 = 0. Is u a multiple of 7?
True
Suppose 2*y + 7 = -3*a, -5*a = -4*y + 3*y - 10. Let k(l) = l**3 + 6*l**2 + 4*l + 10. Is k(y) a multiple of 2?
False
Let z = -23 - -23. Let j(u) = -u**3 + u**2 + 28. Let t be j(z). Is 19 a factor of ((-75)/4)/((-7)/t)?
False
Does 7 divide 251/((-5 - (-78)/16)*-2)?
False
Let h = -14 + 44. Suppose 5*l = -10 + h. Is l a multiple of 4?
True
Suppose -21*y + 14*y = 42. Is ((-8)/y)/(28/651) a multiple of 31?
True
Suppose 4*d = -0*d + 3*h - 274, -4*d - 5*h = 290. Let w = 101 + -150. Let s = w - d. Is s a multiple of 7?
True
Let n(k) = -2*k**2 + 82*k - 29. Does 96 divide n(39)?
False
Suppose 0 = 9*v - 3130 - 344. Is v a multiple of 30?
False
Let b = -9 + 37. Let x = b + -10. Is x a multiple of 8?
False
Let y(x) = x**2 + 15*x + 288. Does 17 divide y(-16)?
False
Is 26 a factor of ((-772)/10)/(9 - 598/65)?
False
Let n(t) = -11*t - 24. Let s be n(-2). Let x be (-31)/(-5) - (-1)/(-5). Is x/(-2*s/16) a multiple of 24?
True
Suppose -4*y + 7*y - 20 = -2*u, -40 = -4*y + 4*u. Suppose -4*o + 0*o = -2*q + 22, -4*q + 4*o = -56. Let h = q - y. Is h a multiple of 6?
False
Let x be (-1 + 2 + 20)*2. Suppose a - 177 = -x. Is a a multiple of 9?
True
Let d(o) = 3*o**2 - 4*o + 377. Is 61 a factor of d(0)?
False
Suppose 0 = -93*k + 118*k - 46800. Does 12 divide k?
True
Let n = 418 - -830. Is 53 a factor of n?
False
Let u(c) = -c + 5. Let y be u(0). Let d = y - 2. Suppose -n + 92 = d*n. Is 23 a factor of n?
True
Let l be ((-1)/2)/((-6)/108). Suppose l*n + 98 = 11*n. Does 14 divide n?
False
Let b = -202 + 211. Does 4 divide b?
False
Suppose -2*x + 277 = 3*t, -3*t + 98 = 3*x - 178. Suppose t + 117 = 5*v. Is 14 a factor of v?
True
Let g(l) = 6*l + 11. Let u be g(-3). Let n(m) = -2*m**2 - 11*m - 2. Let i be n(u). Let b = i - -78. Is b a multiple of 10?
False
Let p(r) = -r + 3. Let l be p(-3). Suppose -2 = -q, -11*m - 4*q = -l*m - 488. Is m a multiple of 16?
True
Suppose -7 = -5*j + 3. Let i be j/(-5) - 590/25. Let l = 54 + i. Does 15 divide l?
True
Let h(a) = -50*a**3 - 4*a**2 - 4*a. Is h(-2) a multiple of 14?
True
Let b be (-1)/(1 - 3/2). Let d be b/3 + (-6)/9. Suppose d = 3*o - 70 - 86. Is o a multiple of 13?
True
Let t(v) = -v**2 + 6*v + 10. Let q be t(7). Suppose h = q, 2*h = -0*x - 3*x + 150. Does 12 divide x?
True
Suppose r - 27 = -10. Suppose 0 = -d + r + 4. Is d a multiple of 7?
True
Let j = 105 - 128. Let l(x) = 2*x**3 + 47*x**2 + 22*x - 5. Is l(j) a multiple of 7?
False
Suppose -190 = -4*l + 9*l. Let f = -14 - l. Suppose 7*v = 9*v - f. Is 12 a factor of v?
True
Suppose 5*u - 6550 = -5*h, 48*u + 6550 = 53*u - 3*h. Is u a multiple of 10?
True
Let k(j) = -j**2 + 10*j - 19. Let i be k(7). Suppose -i*c + 47 = -83. Is c a multiple of 13?
True
Let n = -5 + 14. Let q(l) = l - 1. Let y be q(n). Is y/(3 + 50/(-18)) a multiple of 18?
True
Let t(f) = -6*f - 20. Let v be t(-4). Is 12 a factor of (v/(-6))/((-1)/51)?
False
Suppose 2*p = 3*y - 15, 0 = 2*y - 2*p - 4 - 6. Suppose 475 - 181 = v + y*d, 575 = 2*v - 3*d. Is 39 a factor of v?
False
Let u(k) = k**2 + 8*k + 4. Let h = -34 - -23. Does 35 divide u(h)?
False
Let a be (-18)/42 - (-6)/14. Suppose a*b - 3*q + 27 = b, 50 = 5*b - 2*q. Does 6 divide b?
True
Suppose 0 = 3*v - 5*s - 12, 0 = -3*s - 10 + 1. Let a be v/4 - 117/(-36). Suppose 3*w - 2*g - 13 = 151, -a*w + 5*g = -158. Does 11 divide w?
False
Does 13 divide (-576)/32*(2 + (-129)/9)?
False
Is 3 a factor of (-10)/2 + 44/1?
True
Suppose 4*z = -3*r + 1169, -4*r - 10*z + 11*z = -1546. Does 43 divide r?
True
Let i(u) = -u**3 + 24*u**2 + 31*u - 17. Let o be i(23). Suppose -4*t + 0*h = -3*h - o, 5*t = 5*h + 1535. Is 26 a factor of t?
False
Let m(p) = 9*p**2 + 16*p + 32. Does 19 divide m(12)?
True
Let g = 2728 + -1628. Is g a multiple of 25?
True
Let l(d) = d**3 + 7*d**2 + 9*d + 4. Let y be l(-4). Is ((-36)/y)/(0 + 2/(-56)) a multiple of 7?
True
Let o(l) = l**3 - 12*l**2 + 9*l - 13. Let w be o(10). Let f = -562 + w. Does 9 divide f/(-25) - (-2)/(-5)?
True
Let k(x) = -x**3 - 10*x**2 + 11*x - 8. Let q(z) = 4*z**3 + 31*z**2 - 33*z + 25. Let u(n) = 7*k(n) + 2*q(n). Does 4 divide u(7)?
False
Let b(p) = -2*p**2 - 3*p + 2. Let w be b(-3). Let c be 68/w - 8/28. Let v = 68 + c. Is v a multiple of 17?
False
Suppose 0 = t - 5 - 30. Suppose -4*w + 33 = -3*m, -3*w - 2*w + 5*m + t = 0. Let g = 39 - w. Is 16 a factor of g?
False
Let d be 18/(-99) + (-4)/(-22). Suppose d = -2*j + j + 5. Does 2 divide j?
False
Suppose 9 = 4*x - 3*h, 3*x - h = 19 - 6. Suppose 0 = r - x - 10. Is 4 a factor of r?
True
Let c be (7/(35/6))/((-10)/(-100)). Suppose c + 7 = h. Does 3 divide h?
False
Suppose -10 + 40 = 5*p. Let f(c) = 2*c - 3. Let s(v) = -5*v + 8. Let w(g) = 7*f(g) + 2*s(g). Is 19 a factor of w(p)?
True
Let g(p) = -2*p**3 + 24*p**2 - 8*p - 10. Is g(9) a multiple of 5?
False
Let k be ((-1*2)/1)/((-42)/231). Let m(d) = d**2 - 7*d + 49. Is 10 a factor of m(k)?
False
Suppose 1681 = k - d, -3*k + 5023 = -13*d + 14*d. Does 13 divide k?
False
Let m = 2928 - 444. Is 47 a factor of m?
False
Suppose 3*z + 2*j - 41 = 0, 4*j - 2*j = 2. Does 12 divide z?
False
Suppose 0 = 5*b + 4*s - 0*s - 7, -b = s - 1. Suppose 0 = x + b*z - 89, 0*z = -4*x + z + 382. Is x a multiple of 17?
False
Suppose -22 = -d + 2*d + y, 5*y = 2*d + 72. Let r be d/12 - (-6)/36. Is (-79 - 2)*(r - -1) a multiple of 27?
True
Let m be (28/(-10))/((-4)/20). Let j be (195/(-6))/((-6)/12). Suppose -m*a = -9*a - j. Is 5 a factor of a?
False
Let t(p) = 2*p**3 - 21*p**2 + 10*p + 24. Is t(10) a multiple of 24?
True
Let z(m) = m - 2. Let u be z(5). Suppose -5*x + u*x = -270. Suppose 3*c + k = -8 + x, 5 = -k. Is 22 a factor of c?
True
Suppose -3*d = -3*s - 696, -4*d = -3*s - 124 - 802. Is d a multiple of 23?
True
Suppose -5*y + 12 = -y. Suppose 2*t - 51 = -3*m, t = -y*t + 4*m + 112. Let k = t - 7. Is 12 a factor of k?
False
Suppose -3*k - 3*o = -o - 34, -32 = -3*k - o. Is 5 a factor of k?
True
Let n(p) = p - 27. Let x be n(30). Suppose 0 = -7*d + 3*d + x*m + 177, 91 = 2*d + m. Is d a multiple of 15?
True
Let s = -78 - -33. Let z(h) = 2*h - 9. Let p be z(12). Let i = p - s. Does 18 divide i?
False
Let o = -64 + 68. Suppose 0 = -8*w + o*w + 128. Is 23 a factor of w?
False
Suppose 7*g = 6*g + 578. Is 34 a factor of g?
True
Let a(b) = 7*b - 3*b - b - 5. Let v be a(7). Is 4 a factor of (v/4 - 3)*15?
False
Let o(r) = 4*r**2 - 10*r**2 + 10*r**2 + r - 1. Does 38 divide o(3)?
True
Let c(n) = 3*n - 24. Let m(d) = -d - 1. Let q(y) = -c(y) + 3*m(y). Does 35 divide q(-14)?
True
Let k(v) = v**2 + v + 2. Let r be (-3 - (0 + -4)) + -4. Is k(r) a multiple of 8?
True
Does 9 divide ((-2)/(-7)*27)/(6/84)?
True
Let b(v) = -v**3 + 9*v**2 - 5*v + 3. Let w be b(9). Let h = w - -99. Is h a multiple of 20?
False
Suppose 5*q - 2*q - 468 = -5*s, 5*s + q = 476. Let n = 127 - s. Is n a multiple of 4?
False
Let k(w) be the first derivative of 2*w**3/3 + 3*w**2/2 + 4*w - 2. Suppose -4*h - 8 = 7*g - 3*g, g + 6 = h. Does 8 divide k(g)?
True
Suppose 0 = 25*g + 272 - 9472. Does 46 divide g?
True
Suppose -6*d + d = 0. Suppose g + 4*i + 20 = 0, d*g = 4*g + 5*i + 2