oes 4 divide 15/(90/27572) + (-4 - 51/(-9))?
False
Let h(m) = 41*m - 35*m + 2 + 52*m**3 - 14*m**3 + 0. Let w(f) = -37*f**3 + f**2 - 5*f - 2. Let a(g) = -3*h(g) - 4*w(g). Is 21 a factor of a(2)?
False
Let w be (7 - 14) + 7 + -1 + 3. Suppose w*p - 9 = p - 2*a, -2*p - 5*a + 21 = 0. Suppose -3*h + 477 = -p*b, 0*b - b + 465 = 3*h. Is 12 a factor of h?
True
Let h(x) = x**3 - 14*x + 69. Is h(8) a multiple of 4?
False
Let u(z) = 2*z**2 - 33*z + 164. Suppose 4*v - 56 - 48 = 0. Does 13 divide u(v)?
False
Suppose 4*f = l - 984, 52*f = 47*f - 25. Does 4 divide l?
True
Let r(p) = p**3 - 5*p**2 - 6*p + 4. Let n be r(6). Suppose n*j - 2*j = -10, -575 = -5*q + 4*j. Is q a multiple of 8?
False
Let g(d) = 2*d**3 + 62*d**2 + 60*d + 4. Let i be g(-30). Suppose 0 = -2*h + i*u + 13 + 149, -h - u + 69 = 0. Is h a multiple of 2?
False
Let m be 3/1 - (21 - 20). Let j(c) = 30*c**3 - 3*c**2 + 2*c + 2. Let f be j(m). Suppose f - 94 = 4*r. Is 21 a factor of r?
False
Suppose 4*y - 16 = u - 0*y, -5*u + 2*y + 10 = 0. Suppose -m = u*m. Suppose -2*n = 6, m = 2*p + 5*n + 11 - 76. Is 8 a factor of p?
True
Let r(v) = v**2 - 23*v - 48. Is r(-69) a multiple of 42?
True
Is 59 a factor of (-581728)/(-64) - 1*2 - 6/4?
True
Let m(s) = s**3 - 11*s**2 + 2*s - 20. Let o be m(11). Let f be (-1)/((-2)/186)*(-1 + o). Let v = f - 43. Is 11 a factor of v?
False
Let o(m) = 2*m**3 - 9*m**2 + 4. Let i be o(6). Let g be 3/(339/i + -3). Suppose -70*t = -63*t - g. Is t a multiple of 4?
True
Suppose -5*t - r + 11503 = 0, 47*r - 48*r - 6897 = -3*t. Is 10 a factor of t?
True
Let r(v) = v**2 - v + 55. Let s be r(-20). Let u = s + -984. Let c = -276 - u. Is 25 a factor of c?
False
Is 6 a factor of (-45*23 - 5)*(-2068)/235?
False
Let x be 194/2037 + (-2)/21. Suppose x = -29*d + 30*d - 329. Is d a multiple of 47?
True
Suppose 4*m - 48165 = -91*m. Does 39 divide m?
True
Let y(d) = -d**2 - 16*d - 56. Let p be y(-10). Suppose 88 = p*u + 8. Does 4 divide u?
True
Let x = 750 - 432. Let w = x - 117. Is 7 a factor of w?
False
Suppose 5*y - 99484 = -g, -2*y + 39766 = -5*g + 10*g. Is y a multiple of 177?
False
Suppose 0 = -0*q + 2*q - 5*y - 31, 4*y = q - 14. Suppose 3*d + q = 6*d. Does 38 divide (-307)/(-2) - (d/(-4))/(-1)?
True
Let v = -235 + 184. Let m = v + 205. Does 14 divide m?
True
Is 4113 - ((-49)/21 + (-238)/(-21)) a multiple of 54?
True
Let o(d) = -227 + 208 + 313*d - 1256*d. Is 14 a factor of o(-1)?
True
Let b(y) be the first derivative of 23*y**2 + 14*y + 4. Let d be b(7). Suppose 116 - d = -5*t. Is t a multiple of 8?
False
Suppose -7*k + 121 = -33. Suppose -k*r + 640 = -12*r. Is r a multiple of 8?
True
Suppose -648 = 10*x - 14*x. Let j = x + -85. Is j a multiple of 5?
False
Suppose 4*b = 64*b - 73651 - 245669. Is 29 a factor of b?
False
Suppose 0*k + 3*k = 4*t - 984, 2*k - 5*t + 656 = 0. Let q = 2476 - 2615. Let x = q - k. Is 9 a factor of x?
True
Let c(j) = -j**2 - 13*j + 14. Let y be (2 + -8)*28/12. Let b be c(y). Suppose b = -n + o + 34, 3*n - 2*n + 4*o - 9 = 0. Is 10 a factor of n?
False
Let b be 1/(1/2) + (-936)/36. Does 12 divide (-10070)/(-120) + (-2)/b?
True
Let w(h) = -3*h**3 + h**2 - 14*h + 2. Let b be w(-6). Suppose 70 = -5*x + b. Let a = 29 + x. Is a a multiple of 15?
False
Suppose -5*x + 218 = 43. Suppose -x*w + 14*w = -8778. Is w a multiple of 38?
True
Suppose 3*r - 21 = -6, 2*q = -2*r + 14196. Is q a multiple of 40?
False
Let w(b) = -b**2 + 31*b + 21. Let n be w(32). Is (-6)/n - 221508/(-462) a multiple of 24?
True
Let j = 749 - 728. Suppose j*c = 18*c + 186. Is 4 a factor of c?
False
Let f(l) = 2*l - 13. Let j be f(13). Let u be 10 - j - (0 - 27). Let p = 86 + u. Is p a multiple of 16?
False
Let a be -3*6/27 + 35/3. Suppose -a + 1 = -5*g. Is -16*-2*(g + 1) a multiple of 12?
True
Let j be 56 + -30 + (0 - 0). Does 7 divide (133/2)/(13/j)?
True
Suppose 0 = 37*g + 41*g - 96666 - 287250. Is g a multiple of 46?
True
Let f = 96 + -96. Suppose -3*c = -10*l + 6*l - 208, -4*l - 4 = f. Is c a multiple of 2?
True
Is ((-44714)/6)/(91/(-273)) a multiple of 40?
False
Suppose 3*v - f + 0*f - 399 = 0, -2*v + 5*f = -279. Suppose -58 - v = 2*p. Let z = 10 - p. Is z a multiple of 15?
True
Suppose 77 = -26*r - 183. Is 0 + 2 + r - -248 a multiple of 3?
True
Let d be (-5 - 475/(-10))*(-4)/(-10). Suppose d*v - 19*v + 620 = 0. Is v a multiple of 14?
False
Let h = -468 - -469. Is 24 a factor of h - (-35838)/150 - 4/(-50)?
True
Let p = -1192 - -6632. Does 20 divide p?
True
Suppose -45*m + 56 = -53*m. Let k(w) = -61*w - 6. Is k(m) a multiple of 7?
False
Suppose 0 = 4*s - 2*s - 14. Suppose -4914 = s*w - 20*w. Is 63 a factor of w?
True
Suppose 37045 + 6613 = 29*m - 8687. Does 9 divide m?
False
Let k(a) = -46*a + 21100. Is k(0) a multiple of 10?
True
Is 49 a factor of (-1 - 3914/6)*252/(-770)*33?
True
Let z = 3208 + 1694. Does 114 divide z?
True
Suppose -2*n + g = -3231, 97 - 102 = -g. Is 52 a factor of n?
False
Suppose -7*d + 7550 = 5727 - 13577. Is 10 a factor of d?
True
Suppose -y + 15 = 3*n, 0 = 5*n - 3*y - 0*y - 11. Suppose -n*i + 199 - 1095 = -2*q, -5*q - 2*i = -2192. Is q a multiple of 55?
True
Let q = 5700 - 4322. Is q a multiple of 3?
False
Suppose -3*p - 2401 = 2*c - 833, 4 = 2*c. Let y = -344 - p. Is y a multiple of 12?
True
Let f = 112 - 114. Let y(p) = -152*p - 24. Is y(f) a multiple of 14?
True
Let d = -721 + -103. Let p = d - -1196. Is 93 a factor of p?
True
Suppose -u - 11 = -5*l, -3*l + 2 - 1 = 5*u. Let q be (-2)/3*(-3)/l + 0. Is 14 a factor of (1*(q + 0))/(6/414)?
False
Let r(x) = x**3 - 10*x**2 + 12*x - 15. Let y be r(9). Let l be 2 + (-700)/y*-3. Suppose 0 = -0*g - 4*g - 3*m + 381, 0 = -2*g + 3*m + l. Does 30 divide g?
False
Does 26 divide (-2 - 24)/(6/(-894))?
True
Suppose -4*z + 2*p + 475 = z, -403 = -4*z - 3*p. Does 3 divide z?
False
Let n(t) = -2*t + 1. Let j be n(-1). Suppose -2*m + 422 = 5*l - 442, 0 = -4*l - j*m + 687. Is 10 a factor of l?
False
Let f(u) = -2*u**2 + 13*u - 14. Let a(b) = -6*b**2 + 40*b - 41. Let r(d) = -4*a(d) + 11*f(d). Let h be r(8). Does 9 divide 18 + (5 - h - -1)?
False
Let q = 3341 - 1855. Suppose 4*c - 250 - q = 0. Let v = c + -213. Is 19 a factor of v?
False
Let t be (16/6)/(3/(-63)*2). Let q = 54 + t. Is (-39)/q - 70/(-4) a multiple of 8?
True
Suppose 0 = -7*d - 25*d + 864. Let l = -77 + 180. Let n = l - d. Does 23 divide n?
False
Suppose -9*s - 4856 = -5*s. Let f be -5*2*s/(-5). Is 5 a factor of (-1 - 27/(-33)) + f/(-44)?
True
Suppose -i - 3*i - 13940 = -2*q, 5*q + 4*i - 34794 = 0. Let x = 27615 - q. Is 29 a factor of x/209 + (-2)/(-11)?
False
Let w(b) = -3*b**3 - 125*b**2 - 175*b + 160. Let r(m) = m**3 + 42*m**2 + 58*m - 54. Let t(f) = -17*r(f) - 6*w(f). Is 8 a factor of t(-34)?
False
Let i(q) = 5*q**2 - 69*q - 40. Let l be i(14). Suppose -3*x + 5*n + 1636 = 0, -x + 609 = n + 69. Does 7 divide 6/39 - x/l?
True
Let m be ((-918)/(-68))/((-2)/(-4)). Does 19 divide m/(-5)*(-4730)/129?
False
Let j = 448 + -444. Suppose -12 = 4*m, 5*m + 5629 = j*r + 694. Is 10 a factor of r?
True
Let s = -56 - -60. Suppose 0 = -0*o + s*o - 244. Is 6 a factor of o?
False
Does 28 divide (9 - (-509187)/147) + (-18)/21?
True
Let g = -11105 - -15199. Is 23 a factor of g?
True
Let c(m) = -1078*m + 83. Let b be c(-3). Suppose -8*t - 205 = -b. Does 19 divide t?
False
Let c(n) = -10*n**2 + 37*n - 67. Let l(i) = -5*i**2 + 19*i - 33. Let h(t) = 2*c(t) - 5*l(t). Is h(9) a multiple of 19?
True
Suppose z + b - 11643 = -4*b + 3*b, 0 = b. Is 37 a factor of z?
False
Does 5 divide (-1148445)/(-81) + (-20)/15*1?
False
Suppose 0 = -0*k + 4*k - c + 164, 0 = -2*k + 2*c - 76. Let i = 127 - k. Is 13 a factor of i?
True
Let c = 29516 + -3186. Does 5 divide c?
True
Let r(l) = l**3 - 27*l**2 + 6*l - 10. Suppose 0*g = 14*g - 378. Is r(g) a multiple of 32?
False
Let c(q) = 4681*q + 475. Is c(2) a multiple of 9?
True
Let d be 4/(2 - 6/9). Suppose -6*k + 5*k = -d*a + 650, -k = 5*a - 1086. Does 18 divide a?
False
Let s(x) = -7*x**3 - 3*x**2 - 5*x - 6. Let c = 84 - 81. Suppose -4*d + 3 = -m + 13, 5*m - 4 = -c*d. Is 13 a factor of s(d)?
False
Let h(s) = 5*s**2 - 31*s + 30. Let k = -80 + 93. Is h(k) a multiple of 35?
False
Suppose -4*n = -m + 7, 4*m - n = -5*n + 108. Suppose 2*d = -5*t + 453, 2*t = -2*d - d + 179. Suppose 22*u + t = m*u. Is 13 a factor of u?
True
Let u = -84 - -96. Suppose u*r = 16*r + 24. Is (-54)/(