de u(l)?
False
Let i = 4 + -2. Suppose 2*u = -0*u + 5*z + 83, i*z - 193 = -5*u. Is u a multiple of 13?
True
Let y be (-6)/4*(-40)/15. Suppose -y*w = d + 7, 4*w + w + 5 = -5*d. Does 4 divide d/(75/24 - 3)?
True
Is 13 a factor of (18/(-5))/((45/650)/(-3))?
True
Suppose 119 = 2*o + 5*d - 66, -2*o - 4*d = -186. Is o a multiple of 19?
True
Let o = -14 - -70. Is 28 a factor of o?
True
Let o(t) = t**3 + 6*t**2 - 5. Let g be -1 - (1 - 2) - 4. Is o(g) a multiple of 9?
True
Let l be -1 + (4/(-4) - -42). Suppose l = -4*y + 5*y. Does 15 divide y?
False
Let q(y) be the first derivative of -5*y**4/4 - y**3/3 - y**2/2 - 3. Is 2 a factor of q(-1)?
False
Let r(o) = 8*o**3 - 3*o**2 + o + 3. Let x(f) = f**3 - f**2 - f + 1. Let m be x(2). Let k be r(m). Is 6 a factor of k/21 + (-2)/7?
False
Suppose -z + 6*z = -5*b + 135, -b + 3*z + 31 = 0. Is b a multiple of 14?
True
Suppose s - 2*r - 210 = -5*r, 0 = -4*s + r + 840. Is 14 a factor of s/8 + (-1)/4?
False
Let x = -19 + 11. Let t(u) be the first derivative of u**4/4 + 10*u**3/3 + 11*u**2/2 - 6*u - 1. Does 17 divide t(x)?
True
Let y = 219 - -105. Does 11 divide y?
False
Let y(c) be the first derivative of c**2/2 - 13*c - 1. Let f be y(9). Is 5 a factor of 16/3 - f/(-12)?
True
Is 18 a factor of 72 + 1 + 0 + -2?
False
Let r(y) = y**3 - 5*y**2 - 2*y - 12. Is r(8) a multiple of 39?
False
Let h(r) = 4*r**2 + 7*r - 29. Is h(6) a multiple of 42?
False
Let x(t) = t - 4. Let f(i) = -4*i + 13. Let l(h) = 4*f(h) + 14*x(h). Let c be l(-5). Does 17 divide (-147)/(-9) - c/(-9)?
True
Let y = -10 + 12. Let t(m) = 7*m**3 - 3*m**2 + 1. Is t(y) a multiple of 15?
True
Suppose 4*k - 23 = x, 3*k = x - 0*k + 25. Let q be (-209)/(-4) + (-2)/8. Let m = q + x. Is 9 a factor of m?
False
Suppose -l = l - 32. Is l a multiple of 10?
False
Let v(p) = 2*p + 2. Let s(r) = 4*r**2 + r - 1. Let t be s(1). Is v(t) a multiple of 7?
False
Suppose -2*f - 9 = -3*o, -5 - 6 = 5*f + 4*o. Let z(a) = 2*a**2 - 3*a. Is 15 a factor of z(f)?
False
Let p = 9 - -12. Is 4 a factor of p?
False
Let x = -11 + 18. Suppose -2*f + 4*f = 4. Suppose -f*o + 7 + x = 0. Does 7 divide o?
True
Suppose -5*g = -3*v - 2*g + 144, 248 = 5*v + 3*g. Is 7 a factor of v?
True
Let j be 5 - 9/(-6)*-2. Suppose -j*d + 24 = d. Is d a multiple of 3?
False
Let u = 573 - 242. Is u a multiple of 31?
False
Let v = 18 + 117. Is v a multiple of 18?
False
Let w = -4 - -9. Suppose -2*v = -w*v + 51. Does 13 divide v?
False
Suppose 13*i = 627 + 816. Is i a multiple of 37?
True
Let l = 38 + -16. Does 8 divide l?
False
Let y(h) = h**2 + 5*h + 8. Let o be y(-6). Suppose 0 = 4*a + 3*s - 179, -2*a + 100 = -2*s + o. Is a a multiple of 11?
True
Suppose -6 = -4*v + 8*w - 3*w, 4*v - 3*w - 2 = 0. Is (33 - 0)*v/(-1) a multiple of 6?
False
Let o(v) = -4*v + 5*v + v. Is o(10) a multiple of 5?
True
Let r(s) be the second derivative of -s**3/6 + 16*s**2 - s. Suppose 4*c - 5 = -v, -v + 4 = 5*c - 1. Is r(c) a multiple of 17?
False
Is ((-35)/(-30))/((-2)/(-12)) a multiple of 7?
True
Let a(y) = 0 - 2 - 2*y + y**3 + 3*y - 5*y**2. Let n be a(5). Suppose n*p - 1 = 41. Is 7 a factor of p?
True
Suppose 20 = 2*x - 0. Is x a multiple of 5?
True
Does 16 divide (128/(-40))/((-1)/30)?
True
Let k(j) = -j**3 + 13*j**2 - 17*j - 6. Is k(10) a multiple of 15?
False
Let i = -237 + 348. Does 12 divide i?
False
Let q = -2 + 4. Suppose 2*w + 48 = 5*k, w = q*k - w - 24. Does 6 divide k?
False
Let d be 1590/21 + 6/21. Suppose 0 = 3*r - d - 14. Suppose -48 - r = -2*k. Is 13 a factor of k?
True
Let u = 3 - -32. Is u a multiple of 5?
True
Let c = -12 - -17. Suppose 73 = c*n - 22. Is n a multiple of 16?
False
Let a(j) = j**2 + 3*j + 3. Suppose 0 = 5*s + 19 + 1. Is 2 a factor of a(s)?
False
Suppose 0 = 3*c - 4*i - 142, -3*c + 2*i + 129 = -5. Is c a multiple of 14?
True
Let a(w) = -w - 6. Let i be a(-6). Suppose i*p = -3*p - 5*f - 19, 33 = 4*p - 5*f. Suppose 0*g - p*k + 56 = 5*g, -3*g - 2*k = -32. Is g a multiple of 12?
True
Let b be -4 - 11/(22/(-12)). Suppose b*c - 4*c = 5*h - 314, 4*h - 5*c = 271. Does 10 divide h?
False
Let c(g) be the first derivative of -33*g**2/2 + 2*g - 10. Is 34 a factor of c(-2)?
True
Let v = 6 + -2. Let f be v*(-3 - 21/(-6)). Suppose -75 = -r - f*r. Is r a multiple of 16?
False
Let b(a) = 2*a**2 + 7*a + 1. Let n = 8 - 15. Is 13 a factor of b(n)?
False
Let h be (48/(-28))/(4/(-14)). Suppose -h = -3*s - 0. Suppose -b - b + 8 = 0, 5*m = s*b + 42. Does 7 divide m?
False
Does 13 divide -13*(-4 - -6 - 4)?
True
Let t = -2 + 4. Let w(v) = 3*v - 12. Let q be w(8). Suppose 20 = t*g - q. Is 11 a factor of g?
False
Let h = 198 - 179. Does 3 divide h?
False
Let b(t) = -t**3 - 8*t**2 + 7*t - 13. Let y be b(-9). Suppose -5*u + 4*w = -u - 264, 0 = y*u + w - 306. Is u a multiple of 23?
False
Let f(g) = -8*g - 14. Let d(j) = j - 6. Let q be d(-6). Is 21 a factor of f(q)?
False
Let u(i) be the second derivative of i**5/60 - i**3/3 - 2*i. Let y(x) be the second derivative of u(x). Is y(5) a multiple of 10?
True
Let i(a) be the first derivative of a**3/3 - 2*a**2 + a + 4. Let q be i(5). Suppose 144 = q*z - 2*z. Is z a multiple of 10?
False
Suppose -20 - 95 = -5*h. Is 6 a factor of h?
False
Does 3 divide (-1)/(-2) + 3*(-15)/(-18)?
True
Let x = 1 + 2. Suppose -4*l + 348 = 4*c, -3*c + 3*l + 237 = -2*l. Suppose -c = -x*n - 27. Is 9 a factor of n?
False
Suppose -4*t = c - 43, 0*c + 9 = t + 2*c. Suppose -t = -b + 3*l, 4*b + 2*l - 49 = 23. Is 7 a factor of b?
False
Is 10/15*(0 + 99) a multiple of 6?
True
Suppose 5*p = g + 73, -4*p + 2*p + 2*g = -34. Does 3 divide p?
False
Let m = -1 - 2. Let b(i) = -i**3 - 2*i**2 - 3*i - 2*i**2 - i**2 - i**3 - 2. Is b(m) a multiple of 8?
True
Let x be 6*9/12*6. Suppose 5*a = 2*v + 50, -4*a + 13 = -3*v - x. Is 3 a factor of a?
False
Suppose 5*a + 16 = 2*x, -x - 22 = -2*x - a. Is 6 a factor of x?
True
Does 16 divide 1*6*192/18?
True
Suppose 3*f - 57 - 31 = -5*b, 20 = b + 3*f. Does 5 divide b?
False
Let n(a) = 3*a**2 - 4*a - 37. Is n(-4) a multiple of 3?
True
Suppose 4*n - 119 = -3*l, -75 = -4*n - 4*l + 41. Suppose -5*p - 4*a = -n, -2*p = -p + 5*a + 2. Is 8 a factor of p?
True
Suppose -u + 5*k + 17 = 3*k, -k - 103 = -5*u. Is 2 a factor of u?
False
Let y(x) = -x**3 + x + 8. Does 3 divide y(0)?
False
Let t(f) = -f**2 - 5*f + 16. Let m be t(-7). Suppose w + 35 = m*w. Is 17 a factor of w?
False
Let q be (1*1*-4)/(-2). Does 9 divide (-9)/(q/(-1) - -1)?
True
Let u be 45*((-36)/15)/(-4). Let v = u - 11. Is 16 a factor of v?
True
Let a = 8 - 13. Let j(c) = c**3 + 6*c**2 - c + 4. Does 17 divide j(a)?
True
Let v(c) = 8*c - 2. Let a(s) = s. Let j(p) = -3*a(p) + v(p). Is 3 a factor of j(2)?
False
Suppose 0*i + 200 = -5*i. Is (8/(-20))/(2/i) a multiple of 8?
True
Let h be (-2)/(3/2 - 2). Let i = 18 - h. Suppose -5 = -5*z, 3*z = -3*b - 2*z + i. Does 2 divide b?
False
Let s be (4 + -14)/((-2)/8). Is ((-12)/(-10))/(3/s) a multiple of 4?
True
Let d(y) = y**3 + 6*y**2 + 8*y + 12. Is 8 a factor of d(-4)?
False
Let t(g) = -g - 16. Let m be t(-12). Let r(c) be the second derivative of c**5/20 + c**4/2 + c**3 + 3*c**2/2 + 2*c. Does 4 divide r(m)?
False
Is 8/(160/(-55) + 3) a multiple of 22?
True
Let h(a) = a**2 + a + 5. Let x(g) be the second derivative of g**3/6 + 2*g**2 - g. Let r be x(-4). Does 5 divide h(r)?
True
Let j = 39 + -19. Suppose 7 = 4*m + 31. Let b = j + m. Is b a multiple of 14?
True
Let y(z) = -9*z**2 + 15*z + 15. Let i(j) = -4*j**2 + 7*j + 7. Let r(p) = 13*i(p) - 6*y(p). Let c be r(-1). Is 7 a factor of (-9)/((3/c)/(-3))?
False
Let o = -137 + 189. Is o a multiple of 18?
False
Suppose 0*q - 4*q = -8. Let y = q - -3. Does 3 divide y?
False
Let s = 45 + -25. Is 5 a factor of s?
True
Suppose 28 = -v + 5*v. Suppose v*t - 68 = 3*t. Is 4 a factor of (-1 + t)*3/6?
True
Suppose 4*g - 40 = 20. Is 5 a factor of g?
True
Let z(h) = -15*h**3 - 3*h**2 - 10*h - 3. Is 17 a factor of z(-2)?
False
Is (-4)/16*(-77 + 1) a multiple of 19?
True
Let u(k) = 8*k**2 + 3*k. Let l(r) = -1. Let t(a) = -2*l(a) + u(a). Is 12 a factor of t(-2)?
False
Suppose 25 - 169 = -4*z. Does 18 divide z?
True
Suppose 4*d - 84 = 2*d. Is 21 a factor of d?
True
Suppose 3*d = -5*c - 0*c + 5, 3*c + d + 1 = 0. Let t be ((-1)/c)/(2/(-60)). Is t/(6/(-2)) + -2 even?
False
Suppose 0 = -2*v - 2 - 2. Let d = v - 2. Does 15 divide ((-10)/15)/(d/174)?
False
Let p(i) = 6*i**2 + 5