= 5*r - 468, -2*r - 2*c = 3*c - 181. Let t = r - p. Does 17 divide t?
False
Let i = 585 - -4275. Suppose -5*m = -c - 8096, -4*m + m + 3*c = -i. Is m a multiple of 22?
False
Is 48 a factor of ((-476420)/(-7))/10 + 10?
True
Is (2099968/(-1248))/(1 + 4/(-3)) a multiple of 22?
False
Suppose -8*l = 2*a - 9382, 0 = 19*a - 21*a - 10. Is l a multiple of 3?
False
Suppose 5*c = -3*b + 14452, -210*b + 205*b + 24055 = 2*c. Is b even?
False
Let b = -2049 + 2505. Is b a multiple of 3?
True
Let l(x) = -x**2 - 15*x + 34. Let z be l(-17). Let q be 191 - ((-8)/2 - z). Suppose -4*h + 5*o + 291 = 31, 3*h + 5*o - q = 0. Is 13 a factor of h?
True
Is (-16)/(-160) + (-915032)/(-80) a multiple of 133?
True
Suppose -11*i + 12*i - 222 = 0. Let a = i - 130. Let r = a - 35. Does 8 divide r?
False
Suppose 28 - 8 = -5*y, -5*f + 667 = -3*y. Let x = 165 - f. Does 4 divide x?
False
Suppose 3*r + 3*y - 3 = -132, -2*r - 4*y - 80 = 0. Let j = r + 48. Suppose 0 = 3*m + m - j*x - 204, x = 0. Is m a multiple of 15?
False
Suppose 0 = 3*m + 151 - 13. Let t(p) = p**3 + 47*p**2 + 49*p + 156. Is 18 a factor of t(m)?
True
Let y(m) = 3*m**3 - 7*m**2 - 3*m + 3. Let d(f) = 4*f**3 - 10*f**2 - 4*f + 5. Let h(p) = 5*d(p) - 7*y(p). Let a be h(0). Is 2 a factor of (-15)/(a + 19/(-4))?
True
Let t be -1 - -2 - (26*-4)/8. Suppose 21*s = t*s + 1134. Is 10 a factor of s?
False
Suppose 29*k - 719541 - 1883668 = -337816. Is k a multiple of 39?
True
Suppose 0 = 23*t - 67 + 21. Suppose -8*z + t*z = -1458. Is 40 a factor of z?
False
Let g(p) = 135*p**3 + p**2 + 5*p + 1. Let r be g(3). Suppose 0 = 14*c - r - 754. Let v = c + -85. Is v a multiple of 21?
True
Let q(c) = c**2 - 7*c - 7. Let m be q(8). Let y = 16406 - 23070. Is y/(-51) + ((-4)/6)/m a multiple of 12?
False
Let f(z) = 5992*z**3 + z**2 - z. Let x be f(1). Suppose -31*r + x = -1138. Is r a multiple of 23?
True
Let w(x) = -1392*x - 74. Let q be w(-1). Does 43 divide q*(10/4 + -2)?
False
Let c(d) = -13*d - 57. Let x be c(-4). Does 3 divide (54 - 5/x) + (-4 - 0)?
True
Let z(k) = 191*k + 350. Let q be z(-10). Let u = -639 - q. Does 24 divide u?
False
Let z be 13233/(-22)*8*1/6. Is (5 - 2 - z) + (3 - 8) a multiple of 48?
False
Suppose 0 = -3*s - j + 17746, -116*j + 117*j + 2 = 0. Is s a multiple of 104?
False
Let g = -11160 - -26393. Is 13 a factor of g?
False
Suppose 5010 - 21735 = -25*c. Suppose -4*w = -3*w - a - c, 5*w = 2*a + 3357. Does 21 divide w?
False
Let v = 27685 + -14014. Does 217 divide v?
True
Let q = 18279 + -8067. Is q a multiple of 69?
True
Suppose 5*s - 4121 - 4999 = 0. Is s a multiple of 76?
True
Let p(w) be the second derivative of -w**3/6 + 7*w**2/2 + 10*w. Is p(-7) a multiple of 2?
True
Let n(r) = 15*r**2 - 599*r + 146. Is 29 a factor of n(57)?
False
Let d(g) = 7*g**2 + 8*g - 39. Suppose 9*p = -15*p + 168. Is d(p) a multiple of 30?
True
Let q(h) = 7*h**2 - 169*h + 76. Is q(38) a multiple of 18?
True
Suppose 2*m + 8771 - 11526 = 10355. Does 115 divide m?
True
Let k = -8553 + 12143. Is k a multiple of 194?
False
Let s be (35/70)/((-1)/(-36)). Suppose 8*l = s*l - 240. Does 23 divide l?
False
Suppose 555*v = 550*v - 77850. Is (54/42)/(-9) - v/14 a multiple of 24?
False
Let q = 86 + -84. Suppose i + 3 = -3*i + 3*j, q*i + 9 = 3*j. Is 101 + ((-11)/i - (-4)/6) a multiple of 7?
True
Suppose 2*c + 5*a = 517 + 476, -5*c = 3*a - 2530. Let i = c - 181. Is i a multiple of 8?
True
Let x(i) = 2*i**3 - 11*i**2 + 6*i - 8. Suppose -2*f = -5*w - 42, -3*w - 19 - 3 = 2*f. Let b = 15 + w. Does 38 divide x(b)?
False
Let h = 76 + -72. Suppose 0*f - 2*o - 228 = -4*f, -h*f + 226 = -o. Suppose 0 = 7*m - 6*m - f. Is 6 a factor of m?
False
Suppose 0 = -3*m + 9*m + 12. Is 31 a factor of ((m + 8)/1)/((-22)/(-451))?
False
Let k be 5 - 2 - 3/((-12)/52). Let m be (-917)/8 - 6/k. Let i = m - -145. Is i a multiple of 15?
True
Suppose -59*j - 777600 = -203*j. Is 20 a factor of j?
True
Let y(a) = -a**3 - a**2 - a + 10. Let p be y(0). Let w be 9546/860 - 2/20. Suppose p*v = w*v - 115. Is 23 a factor of v?
True
Let h(p) = 6*p - 63. Let q be h(-4). Let u = q - -175. Is 11 a factor of u?
True
Let j(o) = 6*o + 64. Let m(y) = -24*y - 255. Let w(l) = -9*j(l) - 2*m(l). Suppose -9*p - 34 = -7*p. Is w(p) a multiple of 6?
True
Let a(f) = f**2 - f - 3. Let v be a(-2). Suppose 0 = -x - v*x + 1476. Does 7 divide x?
False
Let x = -94 + 102. Suppose -x*f - 2*b - 35 = -9*f, -f + 4*b = -37. Is f a multiple of 8?
False
Does 15 divide 1742 - -5 - (0 + 42)/(-7)?
False
Is 6 a factor of (9456/2)/((-152)/(-16) - 8)?
False
Suppose 19 - 4 = 5*n. Let s be n - (-15)/20 - 2/(-8). Suppose -5*c + 152 = s*x - c, 5*c = 4*x - 188. Is 6 a factor of x?
True
Let y(k) = 30*k**3 - k**2 - 4*k - 4. Let f be y(3). Suppose 0 = -6*p + 271 + f. Is p a multiple of 11?
True
Let d = 27777 + -18012. Is 21 a factor of d?
True
Suppose -6446 - 4114 = -16*k. Is k a multiple of 12?
True
Suppose 4*t + 13 = -3*o, 0 = 4*o - 3*t - 2*t + 7. Let z(h) = -19*h + 5. Let k be z(o). Suppose 2*i - 3*q - 223 = 0, -17 = -i - 5*q + k. Is 20 a factor of i?
False
Let o(w) = -3*w**2 + w - 13. Let j be o(9). Let x = j + 667. Is x a multiple of 28?
True
Is 3 a factor of 3/((2 + 22)/71712)?
True
Suppose -3*x = -y - 4*y - 11, 0 = -3*x - 9. Let k be -12*(y/(-8))/1. Is 7 a factor of -21*(26/k + 3)?
True
Let n be (2/(-4))/(4 - 836/208). Let h(f) = -7*f - 5*f + n - f. Does 15 divide h(-10)?
False
Let b = 1122 - 606. Let q = -337 + b. Is q a multiple of 3?
False
Suppose -728 = -4*h + 4*u, 5*h = -0*u + 4*u + 908. Suppose -43*r + h = -39*r. Is 5 a factor of r?
True
Let o be 3 + (-30)/9 + (-188)/12. Is 14 a factor of ((o/(-8))/6)/(1/465)?
False
Let m = 35594 - 19514. Is m a multiple of 12?
True
Let i = 30 + -28. Suppose -4*y - 146 = -2*z, -3*y = i*z + z - 264. Is z a multiple of 8?
False
Suppose 220*w + 84432 = 232*w. Does 5 divide w?
False
Suppose -2*w - 55 = 3*w. Let o(a) = 3*a + 51. Let f be o(w). Does 5 divide ((-5)/(5/f))/(-49 - -47)?
False
Let p(o) = o**2 + 46*o + 279. Let j(r) = -51*r - 159. Let u be j(-3). Does 3 divide p(u)?
True
Suppose 5*w + 2*k - 15748 = 0, 3*w + 9*k - 9449 = 8*k. Is 3 a factor of w?
True
Suppose w - 4*j - 14403 = 0, -3*j = -2*w + 30658 - 1822. Is 23 a factor of w?
False
Suppose 14*a - 23159 - 5261 = 0. Is a a multiple of 14?
True
Let z(l) = -8*l - 223. Let d be z(15). Let o = 430 + d. Is 6 a factor of o?
False
Let h = 20101 - 17585. Is h a multiple of 4?
True
Let t(b) = 3*b**2 - 10*b - 3. Let p be t(4). Suppose 0 = 6*d - p*d. Suppose u + 53 - 69 = d. Is 2 a factor of u?
True
Suppose 26545 = -4*t + 88604 + 38633. Is 20 a factor of t?
False
Suppose 4 = 3*w - 14. Suppose 34*y + 160 = -31*y + 3345. Suppose 3*s + 5*a + 3 = y, -3*s + 3*a = -w. Is 2 a factor of s?
False
Suppose -p - 36576 = -9*p. Suppose -p = -z + 4*z. Does 15 divide 1/3 + z/(-18)?
False
Suppose 0 = -3*f - h + 10464, -f + 61*h - 56*h + 3520 = 0. Is 10 a factor of f?
True
Let o = 5069 + -4774. Is 5 a factor of o?
True
Is (-44)/(-110) + (-1115)/(-25)*126 a multiple of 102?
False
Suppose 16*c - 5*l = 21*c - 245485, 98169 = 2*c - 3*l. Is 174 a factor of c?
False
Suppose 0 = -91*g + 238581 + 3059529 + 313498. Does 82 divide g?
True
Let v = 22515 + -18401. Does 22 divide v?
True
Let i(v) = 2*v**2 - 11 - 12*v + 21 - 5 - v. Does 11 divide i(-8)?
False
Let m = -208 + 203. Is 9 a factor of (-88)/2*60/(-48) + m?
False
Let q be ((-34656)/(-30))/8 + 6/(-15). Does 19 divide (-3422)/(-9) + 4/q*-8?
True
Let m(p) = p**3 + 3*p**2 - 3*p - 4. Let q be m(-3). Let v be 12/1 + -15 + (36 - 29). Suppose -v*i - 117 = -q*g, 5*g = 3*i + 97 + 22. Is g a multiple of 5?
True
Let q = -67 - -35. Let x = q - -39. Let v(j) = -j**3 + 8*j**2 - 2*j - 2. Does 26 divide v(x)?
False
Is 196 a factor of 1/(-8) + 940824/192?
True
Suppose -33*n + 5005 = -30*n + 7*c, 4*c + 5060 = 3*n. Does 140 divide n?
True
Let j(m) = 66*m**2 + 13*m + 219. Is 12 a factor of j(-9)?
True
Let n(t) be the first derivative of -t**7/420 - t**6/360 + t**5/20 - t**4/24 + t**3 - 15. Let w(j) be the third derivative of n(j). Is 26 a factor of w(-3)?
True
Let i = 224 - 339. Is 30 a factor of (7 + -5 - i) + 0?
False
Let c(v) = 362*v + 10138. Let p be c(-28). Let s = 11 - 16. Does 10 divide -2*s/(-5)*(-29)/p?
False
Let w be (-287 - -1) + 100/(-25). Let u be (20/25)/((-4)/w). Let b = u + -8. Is 10 a factor of b?
True
Suppose -652*t =