r + 149*r + 134*r. Is r a multiple of 18?
True
Suppose 0 = 2*w - 4*s - 8820, -2*w + 22050 = 3*w + s. Is w a multiple of 20?
False
Let b(h) = 5*h**2 + 2*h + 5*h**3 + 10*h + 9*h**2 - 4*h**3 - 7*h - 25. Is 3 a factor of b(-13)?
False
Let s = 4 + 10. Let q be 529 + (3 - 8) + 4. Suppose -s*k = -10*k - q. Is k a multiple of 17?
False
Let a(g) = 3*g**2 + 4*g + 31. Let j(c) = 3*c**2 + 4*c + 29. Let h(s) = -6*a(s) + 7*j(s). Let d be h(7). Let b = -112 + d. Does 16 divide b?
True
Does 260 divide 21846 + (-12)/4 - 9/21*7?
True
Let m = -30 + -58. Let h be (-6)/(-9) - (m/12 - -4). Suppose -4*a = i + h, a = 2*a + 3. Is i a multiple of 4?
True
Suppose 3*a = -39*x + 43*x - 7400, -x + 2*a + 1850 = 0. Is 25 a factor of x?
True
Suppose 0 = 21*o - 9*o - 12. Does 8 divide 16/64 + o + 439/4?
False
Suppose 0 = 5*a - 20, -6*a = 5*l - 2*a - 451. Suppose 13*g - l = 10*g. Is 3 a factor of g?
False
Suppose -15580 = 3*q - 5*f - 74598, 6*q - 5*f = 118016. Is 55 a factor of q?
False
Let y(s) = 0*s**2 + 10 + 9*s**2 + 4 - 4 - 13*s. Let p be y(8). Suppose -2*i + p = i - g, -2*i + 310 = 5*g. Is 32 a factor of i?
True
Let l be (0 - 72/(-15))/((-32)/560). Does 84 divide (l/(-49))/(4/1162)?
False
Let z(r) = 526*r + 2. Let v be z(1). Suppose 3*w - 3*p = -6*p + v, -p = 3*w - 520. Let y = w - 116. Does 14 divide y?
True
Let m = -26664 - -43725. Is 7 a factor of m?
False
Suppose -5*p + 6087 = -698. Suppose 0 = 10*f - 347 + p. Let c = 16 - f. Does 18 divide c?
False
Let m(r) = -r**3 - 107*r**2 - 110*r - 694. Is 11 a factor of m(-107)?
False
Let b(u) = 3*u**2 + 37*u - 153. Is b(27) a multiple of 9?
True
Let s(z) = -3*z**3 - 2*z**2 + 3*z - 4. Suppose j + 1 = 3*j + 3*u, 0 = -3*j + 5*u + 11. Let v be s(j). Is 2 + v/6 + 153 a multiple of 30?
True
Let r(x) = 4*x**3 + 3*x**2 - 6*x - 3. Let v(y) = 8*y**3 + 7*y**2 - 12*y - 8. Let o(n) = 5*r(n) - 2*v(n). Let w be ((-24)/20)/((-4)/10). Is 25 a factor of o(w)?
True
Let h be 1*-3*10/15. Is 13 a factor of ((-3486)/(-15))/(h/(-5)) + 4?
True
Let v(r) = 130*r - 399. Let m(y) = -66*y + 200. Let a(q) = 5*m(q) + 3*v(q). Is a(12) a multiple of 27?
False
Suppose -7 = 9*p + 2. Is 4 a factor of (-3 - p)*801/(-9)?
False
Let v(i) = -3*i + 56. Suppose 0 = 4*g + 4, -35 + 8 = m + 5*g. Let u be v(m). Let c = 128 - u. Does 3 divide c?
True
Does 9 divide (460/690)/(4/2970)?
True
Suppose x + n = -4*x - 39, -2*x + 2*n = 6. Does 8 divide (3 - 0 - 27)*7/x?
True
Let y = 4567 + -3391. Is y a multiple of 4?
True
Is 3/4*-256*(-70)/20 a multiple of 29?
False
Let v = -136 - -161. Suppose 0 = -3*h - 4*c + 604, 3*c + v = -2*c. Is h a multiple of 52?
True
Let u = -53 - -55. Suppose -u*i = -225 - 103. Suppose 6*v - 2*r = 3*v + 123, -4*v + r = -i. Is 12 a factor of v?
False
Suppose -4*d - 195 = -263. Suppose d*v - 33*v = -768. Is 8 a factor of v?
True
Is (-3340)/(-501)*(-1333)/(((-15)/(-9))/(-5)) a multiple of 62?
True
Let o be (4 - 3)*11/3*21. Suppose 0 = 10*s - 227 + o. Is s a multiple of 15?
True
Let n(g) = 2*g**2 + 81*g - 3648. Is 21 a factor of n(82)?
False
Let p = 3216 + -2149. Does 75 divide p?
False
Let m = -2133 - -1033. Let a = -660 - m. Does 22 divide a?
True
Suppose -25*n = -136*n - 75*n + 896706. Does 3 divide n?
True
Suppose 5*w = 4*m - 21, 4*w - 3*w = 3*m - 2. Let t be (m/(-2))/((1/1)/4). Does 6 divide (-90)/(-15) + 0/(-1 + t)?
True
Let r(k) = k**3 - 15*k**2 + 16*k + 12. Let m be r(14). Suppose -7*j + 2*j = -m. Is 4 a factor of ((-966)/28)/((-6)/j)?
False
Suppose -5*z = 5*a - 66 + 16, -16 = -z - 3*a. Suppose z = 2*n + 3. Suppose -n*y = y - 378. Is 42 a factor of y?
True
Suppose 21866 = 4*z + 2*s, -17*s + 19*s + 5469 = z. Is 7 a factor of z?
True
Let k = 16 - 10. Let o(f) = -4*f**2 + 29*f - 17. Let d be o(k). Suppose -d*r = 2*r - 3600. Is r a multiple of 30?
True
Let q = -5220 - -6453. Is q a multiple of 21?
False
Let l = 8312 - 7070. Is l a multiple of 23?
True
Let h = -30 + 33. Suppose 4*g - 1 - 5 = 3*q, h*g - 8 = 4*q. Does 13 divide (18/(-54))/(q/78)?
True
Suppose 18512 = 2*h - 4*r, -104*h - 3*r = -102*h - 18477. Does 12 divide h?
False
Let r = -518 - -5658. Does 13 divide r/120 - (0 + 2)/(-12)?
False
Suppose -5*j + 682 + 64 = 2*f, -4*f = 5*j - 1502. Let o be -3 + ((-2)/(-7) - f/(-49)). Suppose -2*r = 5*a - 49, 0*r - o*r - a + 134 = 0. Is r a multiple of 9?
True
Suppose 3*o - 4 + 3 = -j, 0 = o + j - 1. Suppose 392 = 7*w - 168. Suppose 2*c = -o*c + w. Does 10 divide c?
True
Let z(q) = 2*q**2 + 17*q - 38. Let o be z(2). Suppose 5*v - 269 - 496 = -o*y, -3*y - 643 = -4*v. Is v a multiple of 22?
False
Is 1/((-65)/(-62946))*10/3 a multiple of 23?
False
Suppose 0 = 5*m + 2*o - 0*o - 45685, 0 = -2*m + o + 18274. Is 15 a factor of m?
False
Let j be 28/(-6)*(-24)/80*5. Suppose 17 = -j*b + 52. Suppose -5*w + 3*g - g = -621, b*w - 4*g = 627. Is 14 a factor of w?
False
Let w(l) = 4*l**2 - 1. Let s be w(-1). Let q = -94 + s. Is 10 a factor of (20/14)/((-13)/q)?
True
Let w = 12973 - 11516. Is 19 a factor of w?
False
Let w(c) = 52*c - 66*c + 45 - 11. Does 24 divide w(-13)?
True
Let u(v) = -6*v - 38. Let q be u(-15). Let l = 8 - 5. Suppose l*j = q + 5. Is 17 a factor of j?
False
Let v = -35986 + 38930. Does 4 divide v?
True
Suppose 2*m - 4*k = 32, 6*m - 2*m + 5*k - 51 = 0. Suppose 9*d + m = 11*d. Suppose -253 = -d*a + 111. Does 13 divide a?
True
Let h = 396 - 223. Suppose 179*b - h*b - 1320 = 0. Is 22 a factor of b?
True
Suppose 2*t = d + 5*t - 2780, 5*d + t = 13872. Suppose 0 = -42*j + 23*j + d. Does 8 divide j?
False
Suppose 66*h - 210 = 63*h. Suppose s - h = -9*s. Suppose 290 = -s*i + 738. Does 7 divide i?
False
Let q = 276 + -177. Let d = q + -93. Suppose d*l - 5*y = 7*l - 101, 3*l - 208 = 4*y. Is 5 a factor of l?
False
Let k(s) = -9*s + 18. Let w(l) = -117*l + 2 + 16 + 107*l. Let n(a) = 6*k(a) - 5*w(a). Is 6 a factor of n(-12)?
True
Suppose -5*w - 10 = -3*q - 2*q, 4*w = -2*q - 20. Let l(p) = -4*p + 2. Let f be l(q). Suppose -3*m - 31 = -a - 4*a, -2*m - f = -2*a. Does 6 divide a?
False
Does 29 divide 27/72*1324*10?
False
Let i = -113 + -4. Let b = i + 318. Is 13 a factor of b?
False
Suppose 0 = 106*w - 98*w - 144. Let f(r) = -r**2 + 19*r + 2. Is 15 a factor of f(w)?
False
Suppose 5*h = -m + 720, -9*m = -4*m + 25. Suppose 0 = 5*d - 71 - 354. Let s = h - d. Does 6 divide s?
True
Let i(k) = -k**3 + 17*k**2 - k + 16. Let y be i(17). Is 5 a factor of ((-2 - -55)/(7 - 8))/y?
False
Let w(i) = -i**3 + 7*i**2 - 10*i - 4. Suppose -145*d + 146*d = 3. Let t be w(d). Is (t + (-45)/20)*-184 a multiple of 9?
False
Let t(f) = -6*f + 51. Let g(w) = w**3 + 2*w**2 - 2*w + 11. Let a be g(-4). Is 21 a factor of t(a)?
False
Let s(v) be the second derivative of -1/12*v**4 - 13/6*v**3 + 0 + 19/2*v**2 - 21*v. Does 23 divide s(-8)?
False
Does 131 divide (5901/(-6) - (-6)/(-4))/((-1)/10)?
False
Let n = 23354 - 19966. Is 44 a factor of n?
True
Suppose 2*d = d - 30. Let s = -28 - d. Suppose 4*o + s = -10, 4*g - 215 = 5*o. Does 18 divide g?
False
Let s(n) = n**2 + 18*n + 8. Let p be s(-19). Suppose -25*r + p*r = -4. Does 18 divide (119/2*-4)/r?
False
Let m be (4 - (0 + 4)) + -5. Let z(k) = -7*k**3 - 8*k**2 - 20*k - 46. Does 100 divide z(m)?
False
Let a = -69217 - -121822. Does 15 divide a?
True
Does 5 divide 2*((-24)/(-64))/3 - 16617/(-12)?
True
Let y = -675 + 967. Let m = -253 + y. Is 15 a factor of m?
False
Let o(a) = -a**3 + 38*a**2 + 53*a - 45. Let c be o(38). Suppose -6*j = -c - 935. Does 40 divide j?
False
Suppose -6*f - 5*f = -3*f - 15240. Is f a multiple of 133?
False
Let i be (4/(-3))/(-7 + 236/36). Let w be i*-5*54/135. Does 14 divide ((-3)/w)/((-1)/(4 - 88))?
True
Suppose 96 = 5*u - 109. Suppose 0 = 15*p + 1608 - 423. Let y = u - p. Is y a multiple of 30?
True
Let g = -41 - -31. Let m(r) = -r**3 - 10*r**2 - r - 7. Let s be m(g). Suppose -3*k + 4*y + 123 + 72 = 0, s*k - y = 186. Is 36 a factor of k?
False
Let x = 32 - 39. Let w(g) = -61 - 3*g + 4*g + 80. Is 2 a factor of w(x)?
True
Let g = 271 + -176. Let x be 3/(3/(-26)) - (9 - 17). Let r = g + x. Is 7 a factor of r?
True
Let j(f) = 54*f**2 - 473*f + 31. Is j(24) a multiple of 69?
False
Suppose -324576 = -4*s - 2*s. Let b be s/17 - (-46)/(-391). Suppose -b = -13*o - 205. Does 33 divide o?
False
Let d(j) = -5*j + 51. Let o be d(10). Suppose 7 = -4*w - 5*n, 4*w + 3*n + 2 = o. Suppose 0 = -3*x - 3*s + 213 - 51, w*s = 4*x - 246. Does 11 divide x