e -40*c + 256 = -544. Suppose c*m + 4935 - 15255 = 0. Is m a multiple of 34?
False
Let o(s) = s**3 + 6*s**2 + 5*s - 3. Let v be o(-5). Suppose -j - 17 = f + 74, 4*f = 4*j + 324. Is v/((-3)/j)*15/(-10) a multiple of 8?
False
Suppose -81458 = 9*g - 282527. Is g a multiple of 140?
False
Let u be (-532)/(-2) - (5 - (-4)/(-1)). Suppose 0*o - u = -5*o. Suppose -3*p = -7 - o. Does 4 divide p?
True
Let g be 601/4*(-23 - -27). Suppose -16*l + 2153 = g. Does 4 divide l?
False
Suppose 2*b + 12 = -0*b. Let l(h) = -39*h**2 + 7*h + 8*h**2 + 9*h**2 - 18 + 14*h**2 + 10*h**2. Does 4 divide l(b)?
True
Let m be ((-12)/21)/(1*(-2)/7). Let w(d) = 25*d**3 + 4*d**2 - 8. Does 16 divide w(m)?
True
Let i = 1309 - 559. Let d = i + -342. Is d a multiple of 17?
True
Let s(g) = g**2 - 15*g - 6. Let f(h) = 7*h + 4. Let w be f(2). Let t be s(w). Is (-352)/t*(-18 - 0) a multiple of 43?
False
Suppose -20*p = -42*p + 5544. Suppose -11*h + 4*h + p = 0. Does 3 divide h?
True
Suppose -4*k = i - 6, 3*k + 1 = 4. Suppose 3*n - 6*m - 542 = -7*m, 4*m - 368 = -i*n. Does 20 divide n?
True
Let f = 752 + -359. Suppose -3*a - f = -3*c + 252, 20 = -4*a. Does 5 divide c?
True
Let w = 192 + 4. Let a = w - -299. Is 33 a factor of a?
True
Suppose -8*y = 73 + 119. Let j be (-628)/y - (-2)/(-12). Suppose 3*h + j = 326. Does 25 divide h?
True
Let v be (-120)/(-20)*(-5)/(-6). Suppose 0*t + t = v*s + 21, -2*t - s + 20 = 0. Suppose 24 = -t*x + 13*x. Is x a multiple of 5?
False
Let v(l) = -10*l + 1036. Does 11 divide v(-35)?
True
Let k(l) = 2*l**3 + 15*l**2 + 8*l + 11. Let a be k(-7). Suppose a*h + 2 - 18 = 0. Suppose j + 192 = h*j. Is 10 a factor of j?
False
Let u(v) = 95*v - 2*v**2 - 138*v + 53 + 115*v. Is u(35) a multiple of 5?
False
Let q(t) = 2180*t**2 - 425*t + 852. Does 98 divide q(2)?
True
Suppose -221 = -2*a + 279. Suppose a - 16 = 9*s. Is 6 a factor of s?
False
Let w(h) = 87*h**2 - 31*h - 473. Does 20 divide w(-6)?
False
Suppose -4*x - x = 5*p + 580, -2*x - 224 = -2*p. Let o = 119 + x. Suppose -o*g + 438 - 18 = 0. Is g a multiple of 14?
True
Let j be 11/2*(-66 - -4). Let s = -225 - j. Is s a multiple of 5?
False
Does 9 divide 6855 + -2 - -1*9/3 - -3?
False
Let m(t) be the third derivative of 9*t**4/4 + 45*t**3 - t**2 - 2. Is 51 a factor of m(12)?
True
Let f(h) = 86*h - 270. Let q(b) = 29*b - 90. Let c(r) = -2*f(r) + 7*q(r). Is c(10) a multiple of 55?
True
Suppose 2*b = -18 + 22. Does 44 divide 6*((-228)/(-8) - b)?
False
Let c be 0 - -23 - (2 - 6) - 0. Suppose 18 - c = -3*y. Suppose 350 + 114 = 4*h - 4*x, y*x - 12 = 0. Does 12 divide h?
True
Let w(v) = v**2 + 3*v - 4. Let s be w(3). Let t be 1 + (8 + -4)*1. Suppose -j = 2*m - 87, t*m + 17*j = s*j + 218. Is 4 a factor of m?
False
Let a(y) = 7 + 1 - 4*y + 3*y. Let d be a(2). Suppose d*x + 6*x - 2568 = 0. Is 30 a factor of x?
False
Suppose 5*g = 6*g - 9. Suppose 5*n - 3*n - b = g, -5*n = 4*b - 55. Suppose m + 1374 = n*m. Does 52 divide m?
False
Let k be (-1)/(-5) + 4/10*-733. Suppose -20*l + 10*l = -5650. Let x = k + l. Is x a multiple of 17?
True
Suppose 8*y + 499 = 427. Is -3*(y - (3 - -70)) a multiple of 5?
False
Let q(c) = 460*c**2 + 380*c + 3071. Does 72 divide q(-8)?
False
Let q be 34/(-3) - 32/(-24). Let y be 75/((25/q)/5). Does 13 divide ((-36)/15)/(9/y)?
False
Let g(q) = 2*q**2 - 19*q + 39. Suppose -1 = -2*s - m - 0, 2*m - 1 = -3*s. Let b(o) = 11*o**2 + 6*o - 6. Let i be b(s). Is g(i) a multiple of 36?
True
Suppose -8*x + 30 = 2*x. Suppose 4*d = t - 207, 4*d + 216 = t + x*d. Does 7 divide t?
False
Let l(o) = o**3 + 5*o**2 + 4*o + 2. Let p be l(-4). Suppose x = t - x - 21, p*t = -4*x + 10. Suppose -t*v + 18*v = 355. Does 28 divide v?
False
Let d(x) = x**3 - 4*x**2 + 3*x - 2. Let r be d(2). Suppose 5*m - 5 - 5 = -3*w, 2*m = -4*w + 4. Is (-48)/m*2/r*2 a multiple of 4?
True
Let m = -8401 - -18302. Is m a multiple of 42?
False
Let o be (-94)/(-6) - (-1)/3. Let d = 42 + -26. Is 28 a factor of (-168)/d*o/(-6)?
True
Let v = -232 - -358. Let a = v - 120. Suppose -a*q - 216 = -7*q. Does 24 divide q?
True
Suppose 2*m + 1368 + 750 = -5*u, -m + 849 = -2*u. Let a = u - -80. Does 35 divide (a/(-6) - -1)/(8/24)?
True
Let v(m) = -2*m - 3 - 5*m**2 + 4*m**2 + 2*m**2 - 3*m. Let c be v(6). Suppose -u = -3*s - 118, u + 0*s + c*s - 118 = 0. Does 20 divide u?
False
Let k = -24478 + 51938. Does 27 divide k?
False
Let t(l) = l**2 + 5*l + 11. Suppose -6*n + 1 - 19 = 0. Let c be t(n). Suppose -4*u - o + 3*o + 310 = 0, c*u = o + 380. Is 17 a factor of u?
False
Suppose -2*c - 2154 = -2166. Suppose -c*h = -8*h + 3240. Is 15 a factor of h?
True
Let k be 1/(-2)*4*(1 - 3). Let g be (1 + -15)*k/(-14). Let j = g + 4. Does 4 divide j?
True
Let h(b) = 67*b - 108. Let q be h(-7). Let f = 667 + q. Is f a multiple of 45?
True
Suppose -6 = 4*l + 10. Let z be l/3 - (-91)/21. Suppose 9 = z*q - 36. Is 5 a factor of q?
True
Suppose 4482 = -58*m + 60*m + 5*d, -6 = 3*d. Is 7 a factor of m?
False
Let o(m) = -11*m**3 + 11*m**2 - 8*m - 1319. Let j(v) = 7*v**3 - 7*v**2 + 5*v + 879. Let w(f) = 8*j(f) + 5*o(f). Does 54 divide w(0)?
False
Let z(g) = 778*g - 3602. Does 6 divide z(5)?
True
Let z be 152/(-57) - (2 + 10/(-6)). Let h(q) = q**3 + 8*q**2 - q - 6. Let l be h(-8). Is 7 a factor of z - (-1 + -12) - (l + 1)?
True
Suppose 7*q + 52*q - 397896 = 0. Is q a multiple of 6?
True
Suppose 2 = 13*c - 11. Is (-166)/581 + ((-3966)/(-14) - c) a multiple of 6?
True
Let v = 9341 - 2591. Does 15 divide v?
True
Suppose -29*y + 12*y = -24784 - 110927. Is y a multiple of 9?
True
Let i(c) = 10*c**2 + 835*c - 88. Is 25 a factor of i(-92)?
False
Let s(k) be the third derivative of k**4/24 - k**3/3 + 376*k**2 + k. Let l(u) = u**2 + 5*u + 4. Let b be l(-6). Is s(b) even?
True
Let d(x) = 6*x - 93. Let h be d(16). Suppose 313 = h*q - 119. Is 8 a factor of q?
True
Let q = 690 - 687. Suppose 5*k - 110 = -4*x + 702, x + q*k = 203. Does 29 divide x?
True
Let v = 27 + -56. Let f = 32 + v. Suppose -w - 91 + 251 = f*g, 3*g - 2*w - 148 = 0. Is g a multiple of 26?
True
Let h = 3005 + -2039. Is h a multiple of 151?
False
Let g(r) be the third derivative of r**5/60 - 11*r**4/8 + 73*r**3/3 - 48*r**2. Is g(36) a multiple of 6?
False
Suppose -278*k = -273*k. Suppose -3 = -3*w, k = 2*s - 6*s - 2*w + 2134. Is 41 a factor of s?
True
Let v be (-53 - -48) + -1068 + 1. Does 5 divide -4*(-4)/(-32)*v?
False
Suppose 0*r + 43085 = 3*r - n, 0 = 8*n - 56. Does 114 divide r?
True
Let n(p) = -p**3 - 5*p**2 - 4*p - 4. Let v be n(-5). Suppose -2*o = -3*w - 0*w - 49, 2*w + v = -2*o. Let z(x) = -5*x + 3. Does 17 divide z(w)?
True
Let v be (4 - (7 - 5)) + 1. Is 16 a factor of ((-1338)/v)/((-14)/7)?
False
Let h(d) = 65*d**2 + 14*d + 42. Let i be h(-4). Suppose 3*r = 11*j - 15*j + 2064, 2*j + 3*r = i. Does 9 divide j?
False
Let v = 593 + -316. Suppose 4*y = 885 - v. Is y a multiple of 9?
False
Let q be 683 - (1 - (-6)/(-3)). Suppose 8 = 4*r, 3*r - q = -c - 208. Let f = c - 326. Is f a multiple of 9?
True
Let b(g) = -412*g - 2170. Is 5 a factor of b(-19)?
False
Let p(m) be the third derivative of -m**6/60 - 3*m**5/20 - m**4/24 + 2*m**3 + 13*m**2. Suppose 0*g = g - 5, 4*g = -3*i + 2. Is 42 a factor of p(i)?
True
Let h(s) = s**3 + 11*s**2 + 14*s + 14. Suppose -28 = 501*q - 497*q. Is 16 a factor of h(q)?
True
Suppose 0 = -14*p + 1573 - 7495. Let x = 505 + p. Is 7 a factor of x?
False
Suppose -z = 5*y - 58503, -2*z + 15506 = 2*y - 7900. Does 234 divide y?
True
Let s be (-1)/6 - 16762/(-348). Suppose 0 = -v - 2*v - 15, -q - 3*v = -s. Is q a multiple of 21?
True
Suppose -2*g - 538 = -0*g - 2*v, 5*v - 265 = g. Let s = g - -288. Is 2 a factor of s?
True
Suppose 66*g = -20*g + 3156630. Is 15 a factor of g?
True
Let v(i) = 88*i**2 + 23*i + 16. Does 18 divide v(7)?
False
Let j = -75 - -75. Suppose 10*b - 2236 - 1694 = j. Is b a multiple of 35?
False
Let n(i) = i**3 + 20*i**2 - 14*i - 86. Is n(-16) a multiple of 4?
False
Let j = 214 + -208. Let w(c) = 58*c - 58. Is 44 a factor of w(j)?
False
Let y be (-704)/6 + (-80)/120. Let o = y - -139. Is 2 a factor of o?
False
Let f = 103 + -148. Does 8 divide (9/(f/(-28)))/(1/20)?
True
Suppose 0 = b + 4*q - 2232, 261*b - 265*b + 8928 = q. Is b a multiple of 8?
True
Suppose 44*x - 2108 = -w + 41*x, 0 = -3*w + 5*x + 6352. Does 20 divide w?
False
Let d(u) = 53*u**3 + 4*u**2 - 3*u. Suppose 0 = -39*q + 19*q + 20. Is d(