l - 8. Is 42 a factor of r?
True
Let l(a) = -a**2 + 13*a - 12. Let w(v) be the second derivative of v**4/4 - 20*v**3/3 + 35*v**2/2 + 8*v. Let o(u) = -8*l(u) - 3*w(u). Is o(6) a multiple of 17?
True
Suppose 5*x = 10*x - 7315. Is 77 a factor of x?
True
Let g(p) = 4*p + 2. Let d be g(-7). Let u = d + 18. Does 11 divide (-4)/u - (-21)/2?
True
Let v(p) = p**3 + 7*p**2 - 2*p - 5. Let n be v(-7). Suppose -n = 4*z - 17. Does 19 divide (10/(-15))/(z/(-114))?
True
Let h(r) = -r**3 + 22*r**2 + 12*r - 4. Is h(-7) a multiple of 43?
True
Suppose 5*f - 344 = 4*h, -3*f - 4*h + 141 = -59. Is 17 a factor of f?
True
Let n(t) = -8*t - 6. Let k be n(-11). Suppose -48 + k = 2*g. Is 3 a factor of g?
False
Let x be (-23 + 1 - 0)*-1. Let w = x - 18. Is 2 a factor of (-24)/32 - (-27)/w?
True
Let u(w) = 4*w**2 - 7*w + 16. Let k(f) = 2*f - 4. Let v be k(6). Is u(v) a multiple of 18?
True
Let b be 3/(6/4)*1. Suppose -8 = -3*a + 1, b*r + 4*a - 164 = 0. Suppose 3*t - 2*y - 10 - r = 0, -4 = y. Does 26 divide t?
True
Suppose 0 = -j + 5*r - 4, 2 + 3 = 3*j + 2*r. Is 22 a factor of 220*(0 - j/(-2))?
True
Let g(f) = -8*f**2 + 2*f - 3 + 36*f**2 - 2 + 2. Is 21 a factor of g(-2)?
True
Let o = -143 - -173. Suppose -3*h - 248 = -4*h - 5*n, 5*h + 5*n = 1160. Is 11 a factor of h/7 + o/70?
True
Let y(m) = -4*m + 8. Let w be y(10). Let r = 48 + w. Is 3 a factor of r?
False
Suppose 0*y + 5*y + 10 = 0. Let i be y + -3 + 6 - 99. Let r = i - -138. Does 9 divide r?
False
Suppose -2*w = -1 + 7. Let x = 51 + w. Does 24 divide x?
True
Let i = 7 - 4. Suppose 2*c - 304 = 2*m, 0*c + 304 = 2*c + 5*m. Suppose 32 - c = -i*w. Is 20 a factor of w?
True
Suppose -3 = 2*o + 2*k + 1, 4*k = 4*o + 40. Is 17 a factor of (2/o)/((-4)/(-456)*-2)?
False
Let t(v) = 8*v - 15 + 3 - 2*v**3 + v**3 - 10*v**2. Is t(-11) even?
False
Suppose -2*z + 2*b = 0, -z - 3*z - 9 = -b. Is 3 a factor of (9 - (z + 3 + 3)) + -3?
True
Suppose -g - 2*r + 17 = 7, -g - 5*r + 1 = 0. Is g a multiple of 8?
True
Let z(v) = 3*v - 4. Let d be z(3). Suppose -f + 3*p = -88, 3*f - d*f + 144 = 2*p. Is 14 a factor of f?
False
Suppose 4 = -i, -3*r + 23 = -2*i + 3. Suppose 21 = r*h - 67. Is 22 a factor of h?
True
Let k = -62 - -69. Suppose k*m - 459 = -3*l + 4*m, 3*l = m + 447. Does 30 divide l?
True
Suppose -10*h + 6*h = -20. Suppose h*l - 2*x + 6*x - 29 = 0, -4*x - 6 = -2*l. Suppose -l*a + 100 = -5. Does 14 divide a?
False
Suppose 4*m + 0*s = -3*s + 51, 0 = 3*m - 5*s - 31. Let n = m + 16. Is n a multiple of 6?
False
Suppose -25 = 5*v - v - 5*p, 2*v - 2*p + 12 = 0. Let h = 9 + v. Suppose l = 2*g - h - 3, 20 = 4*l. Is 5 a factor of g?
False
Does 41 divide 5/(-10)*2 - -1231?
True
Is 10 a factor of 50/(-30)*3 + 358?
False
Let a(m) = -m**2 - 10*m + 14. Let j be a(-12). Let h(z) = z**3 + 12*z**2 - 7*z - 10. Is 52 a factor of h(j)?
True
Let x = -11 + 13. Suppose x*f + 18 = -0*f. Let z(h) = -h**2 - 13*h - 8. Is z(f) a multiple of 11?
False
Let b be (9 - 5) + (-4)/2. Let n be 1*b + 15 + 6. Suppose -49 - n = -2*l - 4*t, 0 = 2*t - 4. Does 8 divide l?
True
Let n = -20 - -24. Suppose -n*z = -7*z + 168. Let k = -33 + z. Is 19 a factor of k?
False
Suppose 3 = -5*v + 3*o - 16, -3*v + 2*o - 12 = 0. Does 5 divide ((3 - v) + -2)*5?
True
Is 4 a factor of (-846)/(-72) + (-1)/(-4)?
True
Is 17 a factor of (306/(-27))/((20/318)/(-5))?
True
Let q(y) = y - 1. Let m be q(4). Suppose -m*l = 9*l - 900. Is l a multiple of 8?
False
Suppose 2*t + 2*u = 8, 0 = 5*t + u - 0*u. Does 6 divide 22 - (t + 2 + 0)?
False
Suppose 0 = 8*o - o + 469. Let h = -49 - o. Does 3 divide h?
True
Is 50 a factor of 148/(-370) + (0 - (-2252)/5)?
True
Suppose -1716 = -5*n + o + 7065, -1751 = -n - 5*o. Is 37 a factor of n?
False
Let u(t) = -33*t - 69. Let j(q) = -99*q - 206. Let z(c) = -2*j(c) + 7*u(c). Is 14 a factor of z(-6)?
False
Suppose 9*u = 8*u + 179. Does 13 divide u?
False
Let h(c) be the first derivative of -c**4/4 - 4*c**3/3 + 2*c**2 + 5*c - 2. Let z be h(-5). Does 9 divide 411/15 + (-4)/z?
True
Let j(m) = -6*m**3 - m**2 - m - 1. Let t be j(-1). Let w(y) = -y + 7. Let k be w(t). Suppose 0 = 5*n - 2*v - 49, k*n + 0*n - 25 = -v. Is 11 a factor of n?
True
Let v(y) = -7*y + 7. Let h be v(-6). Suppose -5*t - h = -r, 4*r - 2*r = -t + 54. Let m = -16 + r. Does 6 divide m?
False
Let j = -168 - -345. Let z(w) = -13*w - 12. Let s be z(8). Let q = s + j. Is q a multiple of 14?
False
Suppose -5*i - 137 + 1437 = 0. Is i a multiple of 13?
True
Suppose 59 = 2*w + 5*h, h = 5*w + 6*h - 125. Suppose 17*d = w*d - 185. Is 5 a factor of d?
False
Suppose 5*d - 9 = 6. Suppose -5*g - 3*c + 180 = -7*c, -d*g + c + 101 = 0. Is 12 a factor of g?
False
Let w be (-1)/(-1)*(-11 - -14). Let v = w + -7. Is 4 a factor of 75/10 - 2/v?
True
Let p = 490 + -442. Does 16 divide p?
True
Suppose -4*q = 3*y - 5074, -5078 = -13*y + 10*y - 2*q. Is 27 a factor of y?
False
Let i(z) = -z**2 + 17*z - 11. Let s be i(14). Let v = -27 + s. Does 4 divide v?
True
Let t = 17 + -13. Suppose -627 = -5*o - 4*z, 5*z - 88 = -2*o + 156. Suppose t*f = o - 43. Is f a multiple of 10?
False
Suppose -5*x + 2617 = a, -3*x - 207 = 2*a - 1773. Does 10 divide x?
False
Suppose -4*k = 3 - 23, 2*k - 226 = -s. Is 36 a factor of s?
True
Suppose -2*j = -33 + 13. Let l be (-4 - -16)/(3/j). Does 11 divide (-4)/(-16)*4*l?
False
Is 10 a factor of (-1600)/(-75) + (-4)/3?
True
Suppose 0 = -4*l + 438 + 110. Suppose 5*h = l + 123. Suppose 3*r = 7*r - h. Is 6 a factor of r?
False
Suppose -t - 37 + 90 = 0. Does 26 divide t?
False
Suppose -6*f = -8*f - 12. Let k(n) = -n**3 - 4*n**2 + 3*n + 3. Is k(f) a multiple of 11?
False
Is 16 a factor of (-2 - -4)*(189 - 8)?
False
Let y = 16 - 8. Let u(g) = 1 - 7 - 2 - y*g - 10. Is 27 a factor of u(-9)?
True
Suppose 21 = -2*l - l. Let s(p) be the first derivative of -p**3/3 - 9*p**2/2 - 9*p + 1. Is s(l) a multiple of 5?
True
Let u = -39 + 613. Is 14 a factor of u?
True
Let h(u) be the second derivative of u**3/6 + 15*u**2/2 - 7*u. Let t be h(-10). Suppose 0 = -5*x + 2*i + 21 - 1, t*i - 43 = -3*x. Is 3 a factor of x?
True
Let l(s) be the first derivative of 2*s**3/3 + 3*s**2 + 10*s + 37. Is l(-6) a multiple of 8?
False
Let d be 2/6 + (-47)/(-3). Let o(g) = g**3 + 7*g**2 - 3. Let p be o(-7). Is 18 a factor of (0 - p)*(d + -4)?
True
Let z = 96 - 94. Does 6 divide (125/5)/(z/4)?
False
Suppose 1045 = 7*m - 299. Is 24 a factor of m?
True
Let y be (-2)/8*2*-36. Suppose 2*x - y = 6. Suppose -9*p - 87 = -x*p. Does 6 divide p?
False
Let r(s) = 89 - 11*s + 9*s + 649. Let z be r(0). Does 6 divide (-3)/(-7) - z/(-42)?
True
Suppose -3*q - 3 = 4*w - 12, -w - 3*q = -9. Let b be (w/(5 - 3))/(-2). Suppose b = -4*n, -10 = -v - 7*n + 2*n. Does 5 divide v?
True
Let v = 270 - 151. Let d = -69 + v. Does 9 divide d?
False
Let a(g) = 205*g**2 + 33*g - 132. Is a(4) a multiple of 52?
False
Let i = 10 + -10. Suppose -3*d + 6*d = i. Suppose 2*k = -d*k + 84. Does 14 divide k?
True
Suppose 52943 - 3857 = 54*o. Is o a multiple of 9?
True
Let v(l) = -2*l + 10. Let w be v(7). Let h be (w/(-10))/(8/80). Suppose 79 - 23 = h*x. Is x a multiple of 7?
True
Suppose 6*h - 2*h + 6672 = 0. Is 8 a factor of 4/6 - h/36?
False
Suppose 0 = 5*f - 5*z - 15, 2*f - z - 11 = -f. Let g(v) = 3*v**2 + 8 - 11*v - 3 + f*v**2 - 4*v**2. Is 17 a factor of g(5)?
False
Suppose 4*m - 5*v = 11, -4*m + 3*m = 5*v + 16. Let c be 2*(26 + -3) + m. Suppose c = -2*g + 5*g. Does 5 divide g?
True
Let j(m) = -4 + 4 + 3*m + 0 + 3. Let o be j(0). Suppose -60 = -o*l + 30. Is l a multiple of 10?
True
Let i(f) = -32 + 4*f - f + f**2 + 33. Does 5 divide i(-4)?
True
Let b be 3/(-3 + 6 + -2). Suppose b*t + 415 = 8*t. Does 20 divide t?
False
Let r(q) = -q**3 - 7*q**2 + q + 6. Let j be r(-6). Let k be (j/(-8))/(6/8). Suppose -7*v + k*v = -78. Is 26 a factor of v?
True
Is (-994281)/(-785) + (-6)/10 a multiple of 83?
False
Let l(c) = -24*c**2 + 3*c - 1. Let m be l(2). Let h = 131 + m. Is 20 a factor of h?
True
Let w be (-6 - -20)/(6/9). Let f = w + 51. Is 9 a factor of f?
True
Let h = 76 - 302. Let r = h + 322. Does 24 divide r?
True
Let o(d) = -3*d + 5. Let x(r) = 2*r - 6. Let a(g) = -4*o(g) - 5*x(g). Suppose -5*c = -t - 26 - 9, -3*t + 21 = 3*c. Does 8 divide a(c)?
True
Let j = 208 + -45. Let r = 76 + -171. Let i = j + r. Is 18 a factor of i?
False
Let y(o) = 9*o**2 + 8*o + 36. Is 16 a factor of y(-10)?
False
Is 7 a facto