ivide s(m)?
False
Suppose 3*w + 5*z - 63 + 24 = 0, 15 = 5*z. Suppose -4*m = p - 1764, 3*m - 3*p + 2212 = w*m. Does 20 divide m?
True
Let h(d) = -4*d - 72. Let b(m) = -3*m**2 - 52*m + 15. Let j be b(-17). Let i = -55 + j. Is 11 a factor of h(i)?
False
Suppose 4*q = 3*x + 9*q - 25, -3*x = -q + 5. Suppose 2*a + 35 - 183 = x. Is a a multiple of 8?
False
Let x(f) be the third derivative of -2/3*f**3 - 9*f**2 + 0*f + 1/120*f**6 + 0 + 11/60*f**5 + 1/3*f**4. Is x(-7) a multiple of 34?
True
Let a(o) be the third derivative of -11*o**6/120 + o**5/20 - o**4/12 - 4*o**3/3 - 58*o**2. Is a(-2) a multiple of 12?
True
Let b = 127 - 85. Let t = 96 - b. Is 18 a factor of t?
True
Let h(j) be the second derivative of -j**5/10 - j**4/3 - 13*j**3/6 - 5*j**2 - 17*j. Suppose -8 = 8*v - 6*v. Does 16 divide h(v)?
False
Suppose -165 = 23*o + 42. Let k(y) = y**3 + 15*y**2 + 30*y + 12. Does 4 divide k(o)?
True
Suppose -3922 + 11406 = 5*b - 3*z, 21 = 3*z. Is 8 a factor of b?
False
Let o = 27289 + 8227. Does 162 divide o?
False
Suppose -5047 - 2499 = -a + 3*x, -x + 15085 = 2*a. Is 10 a factor of a?
False
Let u = 217 - 397. Suppose 8 = -4*w, -w - 124 - 122 = 2*s. Let a = s - u. Is a a multiple of 19?
False
Suppose 5*d = -3*t + 11, -3*t = -7*d + 2*d + 29. Suppose 5*w = -j - d*j + 940, 2*w - 391 = j. Does 7 divide w?
False
Suppose 5*b + 1209 = 2*i, b - 5*b - 3014 = -5*i. Suppose -2177 = -7*y - i. Is y a multiple of 50?
False
Let x(n) = 3*n + 8. Let s be x(22). Let v = s - 69. Suppose -v*a = -316 + 71. Does 5 divide a?
False
Let v(r) = r**3 + r**2 - 3*r + 59. Let a = -77 + 77. Let n be v(a). Let x = 68 - n. Is 9 a factor of x?
True
Suppose -3*c - 1559 = 4*y, 2*c = 5*y + 2649 - 683. Let b be (-15)/10*(-5)/((-30)/y). Suppose -p - 29 = -b. Is p a multiple of 10?
False
Is ((-150690878)/(-429))/13 - 2/33 a multiple of 28?
True
Suppose 8*h + 310 = 10494. Suppose -h = -6*y - 379. Suppose 0 = 3*w - 2*x - 448, -6*w + x + y = -5*w. Is w a multiple of 30?
True
Let g(o) = -o**2 + 4*o - 3. Let x be g(3). Let t(u) = 35*u**2 + u - 11. Let j be t(-3). Suppose 2*d + 4*m = -50 + 166, 5*d - m - j = x. Is 12 a factor of d?
True
Let x = 844 - 851. Let h(c) = 6*c**2 + 12*c - 66. Does 24 divide h(x)?
True
Let v = 75 + -49. Let h = v + -22. Suppose -h*a - a = -155. Is a a multiple of 23?
False
Suppose 21*i - 6293 = -8*i. Is 31 a factor of i?
True
Suppose o = 5*g - 40, -8 = -4*g - 4. Let h be 10/o - (-4)/14. Suppose -2*r + 5*w = -243, -5*r - w = -h*w - 675. Is r a multiple of 16?
False
Let x(g) = 2*g + 7. Let v be (-24)/(-18)*((-12)/(-8) + 3). Is 2 a factor of x(v)?
False
Let u(s) = -14*s**3 + 2*s**2 - 1. Let g be u(1). Let n(k) = -22*k - 70. Does 32 divide n(g)?
False
Let b(q) = -129*q + 124. Let c = -416 + 412. Is 10 a factor of b(c)?
True
Let f be (-2 + -13)*(32/12 + -3). Suppose 5*q - f*a = 3670, 2*q - 3650 = -3*q - 5*a. Is 40 a factor of q?
False
Let q(p) be the third derivative of 4*p**5/15 + 3*p**4/8 + 7*p**3/6 + 4*p**2 + 10*p. Is 53 a factor of q(-2)?
True
Let t = 9 - -4. Suppose -36 = -3*h + 3*u, -32 + 3 = -2*h + u. Suppose 0 = -2*l + t + h. Is 15 a factor of l?
True
Suppose 0*r - 2*u - 502 = -4*r, -r + 130 = -5*u. Suppose r*i + 4248 = 134*i. Does 11 divide i?
False
Let p be 22/11*(-6)/(-4). Suppose 7*v - 11*v = p*s - 1503, 4*s = 3*v - 1121. Is v a multiple of 36?
False
Let r(y) = -2*y + 2. Let o be r(3). Let i(d) = -444 + 11*d**2 - d + 2*d**2 + 427. Is 37 a factor of i(o)?
False
Suppose -9*a - 7377 + 53783 = -28006. Does 110 divide a?
False
Suppose -7*f + 13*f = 9948. Let u = -998 + f. Is 10 a factor of u?
True
Suppose 21*x = 25*x - 3*p - 27066, -2*x + 13532 = -2*p. Does 94 divide x?
True
Suppose -3*u + 7*u = 3*g - 36, 0 = -u - 2*g - 9. Let n(o) = -2*o**3 - 9*o**2 + 40*o + 2. Is 12 a factor of n(u)?
False
Suppose 0 = 3*i + 9, i = 3*u + 3 - 6. Suppose -11*m - 6*m + 357 = u. Is m a multiple of 4?
False
Let h(i) = 42*i**3 - 6*i**2 + 27*i + 10. Let m be h(-6). Does 11 divide m/(-13) - (-98)/(-637)?
True
Let m = -27562 - -31408. Does 27 divide m?
False
Let n be 1 + -1 + -2 + 1 + -173. Let p be 29/n - 331*(-1)/6. Let j = p + 14. Is j a multiple of 12?
False
Let i = -30 + 34. Suppose -3*t + 17 = 4*x, -3*t - i*x + 6*x + 41 = 0. Suppose s = -t*s + 2820. Is 47 a factor of s?
True
Is 32 a factor of 1537/2 - 33/66?
True
Does 8 divide (-4)/(-106) + (-9348916)/(-4717)?
False
Suppose 16*p = -12*p + 5628. Is p a multiple of 2?
False
Suppose 18*v - 158969 = 15667. Is v a multiple of 49?
True
Let x = 502 + -440. Is (2*46)/(x/496) a multiple of 46?
True
Let t(j) = -j**2 + 34*j - 11. Let c be t(13). Let x = -86 + c. Suppose -2*l + x + 100 = 0. Is 30 a factor of l?
False
Let s = -740 + 10674. Is 86 a factor of s?
False
Let v(s) = 18*s**2 + 9*s + 202. Is v(-14) a multiple of 15?
False
Let h be -3*2*3/6. Let l be 14 - 3/(h/(-2)). Does 6 divide (-1020)/(-42) + (l/7 - 2)?
True
Is (-3)/(18/543)*(-12 + 10) a multiple of 12?
False
Let s(d) = 7*d**2 + 5*d - 157. Let b(r) = r**3 - 5*r**2 - 2*r + 22. Let y be b(5). Is 12 a factor of s(y)?
False
Suppose -1354056 = -121*k - 155*k. Does 11 divide k?
True
Suppose u + 6*z + 54 = 3*z, 5*u = z - 334. Let h = u + 70. Suppose -6*f + 74 = -h*f. Is f a multiple of 31?
False
Is 844/(-5064) - 132781/(-6) a multiple of 70?
False
Let z(d) = 17*d**3 - d**2 - d + 1. Let s be z(1). Let v(g) = g**3 + 16*g**2 + 17*g + 16. Let n be v(-15). Let o = s - n. Is o a multiple of 3?
True
Suppose -17*q + 7527 + 1053 = -4*q. Is q a multiple of 11?
True
Let g be (-838)/(112/64 - (-2)/8). Let j = g - -486. Does 67 divide j?
True
Suppose -4*a = -0*a. Suppose a = 5*q + x + 1181, -3*q + 3*x = -6*q - 699. Let f = -85 - q. Does 20 divide f?
False
Let g be -7 + -7 + 14/1. Suppose 139 = i - y - 283, g = i + 3*y - 402. Is 10 a factor of i?
False
Suppose 0*w = w - 45. Let q be ((-1)/(-2)*w)/((-5)/(-10)). Let j = -6 + q. Does 13 divide j?
True
Let m be (-8)/((-96)/1770) + (-3)/(-2). Suppose -4*g = 4*c - 1248, -4*g - 5*c + 1099 + m = 0. Is g a multiple of 12?
True
Suppose -19*j = -6*j + 29*j - 274428. Is 9 a factor of j?
True
Let z = -81 - -81. Is 9 a factor of (z - 2) + (145 - -7)?
False
Let k be 0*(-4)/(-2 - 2). Suppose 4*a + k*a = 0. Suppose a = -9*v + 5*v + 320. Does 10 divide v?
True
Let u(t) = -3*t + 2. Let f be u(0). Let o(h) = -h - 5*h**f + h**3 + 10*h**2 + 2*h**2 - 12. Is 11 a factor of o(-6)?
False
Suppose 0 = 2*g + 2*m - 4, 0 = 2*g - m + 4 - 2. Suppose -19*n - 13*n + 13440 = g. Does 42 divide n?
True
Let l(x) = 2*x + 22. Let j be l(-11). Let w(t) = 3*t + 5. Let p be w(j). Does 34 divide 4*p/20 - -33?
True
Let j = 1329 + -640. Suppose 0 = -10*x - j - 281. Let v = x + 208. Is 17 a factor of v?
False
Let j be (5/((-45)/42))/((-7)/126). Suppose -2*d - j - 320 = -3*q, -2*q = 2*d - 266. Is 16 a factor of q?
False
Let k be ((-478)/10 + 3)/((-3)/45). Let n = -283 + k. Is 12 a factor of n?
False
Let g(c) = 2*c + 28. Suppose 0 = 64*i - 69*i - 60. Let d be g(i). Suppose -6*a - 362 = -3*z - 4*a, -d*z - 5*a = -475. Does 20 divide z?
True
Let m(i) = -24*i + 6. Let k be m(-5). Suppose -4*l + 34 + k = 0. Is l a multiple of 25?
False
Suppose 20*p + 63 = -p. Does 5 divide 291 - (2 - (-5)/p)*-3?
False
Let n = -28 - -31. Suppose -t + 95 = -5*s - 4*t, 4*s + n*t + 73 = 0. Is 2 a factor of s - -22 - (-14 + 1)?
False
Suppose 3*k = -0 + 3, -3*k + 3 = 5*t. Suppose 0 = 85*y - 105*y + 280. Suppose t = -y*i - 0*i + 112. Does 3 divide i?
False
Suppose -3*t - 5*m + 13056 = 0, 4*m - 4708 + 363 = -t. Does 44 divide t?
False
Let w = 38522 - 450. Is 192 a factor of w?
False
Let t = 554 + -554. Suppose 2*k = 3*w - 238, 6*k - 5 = k. Let g = w + t. Does 10 divide g?
True
Let f be (-8 + 66)*(-109)/(-2). Suppose -4*g + a = -3699, f = 4*g + 3*a - 542. Does 23 divide g?
False
Let h be 2 - -1 - 3/((-15)/1400). Let z = 718 - h. Does 29 divide z?
True
Suppose 0 = 45*t - 47*t - 34. Let b = t + 19. Suppose -2*s - n - 43 = -154, -2*n - b = 0. Does 10 divide s?
False
Let l = -411 - -3315. Is 46 a factor of l?
False
Let y(a) = 237*a - 147. Let q(c) = 355*c - 217. Let f(t) = -5*q(t) + 8*y(t). Does 21 divide f(7)?
True
Let u = -96 - -92. Let g(n) = -6*n**2 - 14*n + 2. Let h(y) = 7*y**2 + 15*y - 2. Let q(x) = u*h(x) - 5*g(x). Is 61 a factor of q(-10)?
False
Suppose 5*p + 3 = -17, 4*h + 5*p - 136 = 0. Let j(x) = -45 - 24 + h + 15*x. Is j(6) a multiple 