 = 58 + -52. Let u(l) = 6*l - 25. Is u(h) a multiple of 2?
False
Let n(y) = -y**3 + 10*y**2 + 13*y + 16. Let g be n(11). Suppose -5*r = 2*s + s - 111, 0 = 2*r - 2*s - g. Does 7 divide r?
True
Suppose 2*b - 3*b = -2. Suppose c - 3*h = 21 + 3, 0 = -c - b*h + 44. Is 12 a factor of c?
True
Suppose 0*h = 7*h - 14. Suppose h*m = -2*n + 34, -2*m + m + 4 = 0. Does 13 divide n?
True
Let i(b) = -b**3 - 16*b**2 - 3*b - 15. Does 13 divide i(-18)?
False
Let s(i) = 2*i + 22. Let k be s(-9). Is 12 a factor of k + (-288)/(-1 + -5)?
False
Suppose 8*v - 3*v = -4*s + 4486, 1780 = 2*v - 2*s. Is 6 a factor of v?
True
Let x = 300 - 90. Is 2 a factor of x/8 + (-5 - 76/(-16))?
True
Let j(k) = -3*k - 13. Suppose -5*b = 5*u + 5 + 20, -2*u - 22 = 4*b. Is j(b) a multiple of 4?
False
Suppose -15*c - 229 = 41. Let o = c - -75. Is 6 a factor of o?
False
Is 33 a factor of (672/(-30))/((-5)/50)?
False
Let t = 2874 + -1628. Is t a multiple of 11?
False
Let n(v) be the third derivative of v**8/20160 - v**7/2520 + v**6/90 - v**5/12 + 7*v**2. Let o(q) be the third derivative of n(q). Is 14 a factor of o(-6)?
True
Suppose 6*k = 2*k + 80. Suppose -k = -3*g - g. Suppose -g*o - 5*f = -190, -3*o - 5*f = -2*o - 30. Does 20 divide o?
True
Let n be (-2 - (-10)/5) + 92. Does 22 divide n - (-4)/8*-8?
True
Let l = 519 + 350. Does 6 divide l?
False
Let o(q) = 9*q**2 - 4*q - 16. Does 6 divide o(-4)?
True
Does 21 divide (-57)/2*420/(-63)?
False
Let u = 0 + 5. Suppose 2*s = -u*s + 399. Is s a multiple of 10?
False
Let r(o) = o**3 + 5*o**2 + 3*o - 2. Let i be r(-2). Does 15 divide ((-30)/i)/((-5)/50)?
True
Let h be 342/15 - (0 - 8/(-10)). Let z = h + 18. Is 8 a factor of z?
True
Let q be (-222)/4*40/15. Let o = q - -332. Is o a multiple of 30?
False
Let q(y) = 2*y**2 + 3*y. Let d be q(-2). Is 4 a factor of 5 + d - (0 - 1)?
True
Suppose -649 = 3*w - 4*w + 5*k, 3*w - 1895 = 2*k. Is 37 a factor of w?
True
Is ((-77)/2)/((-15)/330) a multiple of 4?
False
Suppose 0 = 4*v + m + 8, 5*m + 1 = -v - 1. Does 31 divide 31/(5/2 + v)?
True
Let w(q) = 18*q**2 + 3*q - 1. Suppose -j - 5 = -2*z, -2*j = 2*j - 2*z + 2. Let p(h) = h**2 - h. Let u(t) = j*w(t) + 3*p(t). Is u(1) a multiple of 10?
True
Let k(u) = 35*u**2 + 28*u + 4. Is k(-4) a multiple of 113?
True
Suppose -5*y + 95 = 4*g, y - 46 = -2*g - y. Let c(n) = -n**3 + 5*n**2 - 3*n + 16. Let i be c(5). Let a = g + i. Does 7 divide a?
True
Suppose -2 = 2*h, -3*y - 2*h + 1511 = 2*h. Is y a multiple of 27?
False
Let l = -1442 + 3215. Is l a multiple of 10?
False
Let l(p) = -4*p + 4 - 26 - 2 + 10*p. Let z be l(-14). Let i = z - -153. Is i a multiple of 15?
True
Let i = 11 + -19. Let r(q) be the first derivative of -q**3/3 - 9*q**2/2 + 3*q - 2. Is r(i) a multiple of 4?
False
Let x(i) = i**3 - 20*i**2 + 5*i - 11. Suppose 9*v + 40 = 11*v. Is x(v) a multiple of 29?
False
Suppose 2*y + 2*y - 24 = 0. Let x = y + -2. Is x even?
True
Suppose 4*l - 1106 = -5*n, 0 = -n - 3*n - 8. Is 19 a factor of l?
False
Let i be (0 + -3)*(-5 + 1)/4. Suppose -i*r - f - 2*f + 315 = 0, -93 = -r - 5*f. Is 22 a factor of r?
False
Let d = 156 + -239. Let o = d - -140. Does 19 divide o?
True
Suppose -21*k + 40 = -26*k. Is 16 a factor of 2128/12 + k/6?
True
Suppose 2*b = -14 - 56. Let j = 144 - 95. Let w = b + j. Is w a multiple of 14?
True
Let y(l) = 143*l**2 - 142*l**2 + 32 + 24*l + 0*l. Is y(-25) a multiple of 7?
False
Let i(w) = -2*w - 3. Let m be i(-3). Suppose 5*j = -m*c + 40 + 172, -4*j + 214 = 3*c. Is c a multiple of 33?
False
Suppose 26*x - 30*x = 0. Let u(v) = v**3 + v**2 - 2*v + 2. Is u(x) a multiple of 2?
True
Let r be ((-13)/52)/(0 + (-2)/56). Suppose 35 = 8*p - r*p. Is p a multiple of 7?
True
Suppose -3*k = 5*l - 13, -k - 4*k = -5. Suppose 153 = 5*y - 3*z, -l*z = 4*y + 3*z - 115. Is y a multiple of 15?
True
Let a(s) = s**2 + 9*s - 14. Let o be a(-11). Suppose 2*v - 366 = o. Suppose -l + h + 86 = 0, -2*l - 4*h + 3*h + v = 0. Is l a multiple of 23?
False
Let j(x) = -422*x - 3. Is 53 a factor of j(-1)?
False
Suppose 2*u - 302 = -246. Suppose -3*f + 2*f = -u. Is f a multiple of 4?
True
Let v(o) = -o + 3. Let c be v(7). Let g be c/(-10) - (-68)/(-20). Let s = g - -29. Is s a multiple of 13?
True
Suppose -3*u + 165 - 45 = -d, -120 = -3*u - 2*d. Does 10 divide u?
True
Let s = -4 - -2. Let r be 48*((-44)/(-16) + s). Does 4 divide (-27)/r - (-102)/8?
True
Let z(p) = p**2 - 8*p - 10. Let y be z(10). Let c = 38 + y. Is 12 a factor of c?
True
Let i(g) = -11*g - 16. Let j be i(-6). Let c be (2/1)/(5/j). Let k = c + -6. Does 14 divide k?
True
Let l(m) = -m**3 - 6*m**2 + 8*m + 8. Let g be l(-7). Let t(h) = -5*h**2 + 5*h**2 + 7*h**2 + 4*h**2 + h. Is 12 a factor of t(g)?
True
Let j = 123 - 281. Let s = -124 - j. Is s a multiple of 17?
True
Let t(a) = -7*a**2 + 3*a**2 - 4*a - 12 + 4*a**2 + 2*a**2. Let s be t(5). Suppose 16*x - s*x = -76. Is 7 a factor of x?
False
Suppose 4*f - 1061 = -3*g, -5*g + 1 = -14. Is f a multiple of 15?
False
Suppose 2*l + 18*l = 33000. Does 55 divide l?
True
Does 18 divide (-4 + 4*3/(-6))*-39?
True
Suppose 0 = -3*l + 5*s + 345, 6*s + 95 = l + 11*s. Does 45 divide l?
False
Suppose -38*h + 25*h + 21658 = 0. Is 49 a factor of h?
True
Is 21 a factor of (-72)/(-54) - (-762)/9?
False
Suppose -3*d = -0*j - j + 7, -4 = -2*j - 4*d. Suppose 0*l = -j*l + 240. Is 19 a factor of l?
False
Let i = 10 - 2. Suppose 3*q - 3*k = i*q - 200, 4*k - 152 = -4*q. Let t = -2 + q. Is t a multiple of 28?
False
Let v(f) = f**3 + 2*f**2 + 2*f - 5. Let b(y) = -y**2 + 8*y - 7. Let i be b(2). Does 45 divide v(i)?
True
Let a(k) be the third derivative of 53*k**4/24 - 21*k**2. Is a(2) a multiple of 30?
False
Let c = 2204 - 1388. Is 53 a factor of c?
False
Suppose 34*x + 12 = 40*x. Suppose x*k = 14 + 294. Is k a multiple of 21?
False
Is 94 a factor of (6862/(-219))/((-2)/150)?
True
Let m = -202 + 368. Is 13 a factor of m?
False
Suppose -14828 = -14*l + 6522. Is 61 a factor of l?
True
Let i be 21/8 - 6/(-16). Suppose -o = m - 6, 0 = 4*o - 2*o - 2*m - 20. Suppose o*j - i*j = 190. Is 19 a factor of j?
True
Suppose 4*x - 5 + 21 = 0. Let j be ((-4)/x + -1)/3. Is (-3 - -8 - 1) + j a multiple of 3?
False
Let g(x) = -x - 3. Let p be g(-6). Suppose 0 = -l + 1, -k + p*l = -0*k - 25. Is 15 a factor of k?
False
Let s be ((-2520)/(-4))/5 - 4. Let a = -5 + s. Is a a multiple of 36?
False
Let h(d) = d + 13. Let t be h(-13). Suppose t = 4*l - l - 528. Suppose l = 5*g - 154. Does 11 divide g?
True
Let b be (-327)/2 - (-2)/4. Let w = b - -76. Let s = w - -125. Is s a multiple of 25?
False
Suppose -3*b = u - 104, 0*b - 5*u = 3*b - 100. Is 7 a factor of b?
True
Let o(s) be the first derivative of -4*s**2 + 8*s - 2. Suppose 7*k + 12 = -2*c + 8*k, -4*k = 8. Is o(c) a multiple of 13?
False
Let o = 28 - 18. Let p be ((-5)/o)/((-2)/(-12)). Let c(l) = -2*l**3 + 3*l**2 - 2. Is c(p) a multiple of 12?
False
Suppose 5*d - 2490 + 540 = 0. Is 30 a factor of d?
True
Suppose 2*u + 15 = 5*v - 3*u, -24 = -3*v - 2*u. Let d(f) = f**3 + 3*f**2 - f. Let i be d(-4). Does 9 divide 8/i + 226/v?
False
Let p(h) = -12*h**2 + 7*h. Let x(l) = l**2 - 2*l. Let w(s) = -p(s) - x(s). Is w(4) a multiple of 52?
True
Let p be (-3 - -4 - -5) + -4. Suppose 2*v - 320 = -p*v. Suppose -v = -0*u - 5*u. Is u a multiple of 8?
True
Let r = 4 - 9. Let u(i) = i**3 + 15*i**2 - 3*i - 30. Let f be u(-15). Is r/f + 46/3 a multiple of 6?
False
Let g(l) = -3*l - 2. Let v be g(-3). Suppose v*x = x + 408. Does 17 divide x?
True
Let m(z) = -292*z + 557. Is 15 a factor of m(-6)?
False
Let v be (2/(1 - 7))/((-10)/60). Is 54 a factor of 17*38*v/4?
False
Let h = -106 + 141. Is 7 a factor of ((-56)/h)/(2/(-25))?
False
Let z(i) = i**2 - i - 11. Let k(w) = w**2 - 2*w - 11. Let r(f) = 3*k(f) - 2*z(f). Is r(10) a multiple of 16?
False
Let v = -72 - -241. Is 8 a factor of v?
False
Suppose -4 = -3*n + j, 0 = -5*n - 3*j - 8 + 38. Suppose 0 = -5*s + 3*r + 3, n*s + 4*r + 4 = 0. Suppose -o + i + 42 = o, o + 5*i - 43 = s. Is 23 a factor of o?
True
Let l = 494 + -495. Let a(d) = -10*d - 5. Let t be a(5). Let x = l - t. Does 27 divide x?
True
Let s(n) = 20*n**2 - 25*n - 198. Does 39 divide s(-7)?
False
Let q be 1274/16 + 6/16. Let u = q - 48. Is 16 a factor of u?
True
Let t = 40 + 18. Let u = -36 + t. Suppose -u = 2*b - 4*b. Does 11 divide b?
True
Let t(f) = f**2 - f + 6. Let i(a) = a - 11. Let b be