+ 5*w. Does 4 divide r?
True
Let l be 1617/(-6) - 7/(-14). Let k = -107 - l. Is 29 a factor of k?
False
Let y(v) = 46*v - 211. Is 15 a factor of y(35)?
False
Suppose m + v - 39 = -m, 2*m = -5*v + 27. Does 7 divide m?
True
Is 22 a factor of 522/2*(-6)/(-18)?
False
Let h(w) = -w**3 + 12*w**2 - 8*w - 11. Let p be h(10). Let u = 14 + p. Is u a multiple of 21?
False
Let v(n) = 2*n**2 - 6*n - 8. Let a(o) = 3*o**2 - 13*o - 15. Let l(h) = -3*a(h) + 5*v(h). Let u be l(-11). Suppose -4*i + 5 = -u. Is 4 a factor of i?
True
Let p(s) = -4*s + 1. Let d be p(7). Suppose 169 - 1 = -4*r. Let g = d - r. Is 15 a factor of g?
True
Suppose -5*q = 3 - 8. Let w be -3 + (-2)/q + 2. Is 61 + w + (5 - 3) a multiple of 8?
False
Let g be (-4)/8 - 105/(-2). Suppose 17*q - 11*q = 30. Suppose g = q*u - 3*u. Is 7 a factor of u?
False
Let j be 5 + -1 + 107*2. Let k = j - 117. Is 11 a factor of k?
False
Let x = 115 - 39. Suppose -4*k = x + 40. Let l = 44 + k. Is 15 a factor of l?
True
Let a = 20 - 9. Suppose -3*g = 2*v - 448 - 186, 4*v + 16 = 0. Suppose -a = -5*m + g. Is 10 a factor of m?
False
Let p(y) = 2*y**2 - 1. Let o be p(2). Let z = 1 + o. Suppose -5*w + z = -2. Does 2 divide w?
True
Suppose -37*q = -39*q + 68. Is 30 a factor of q/119 - (-1258)/7?
True
Let c(r) = -r**2 + 2*r + 12. Let v be c(5). Let f be (-235)/(15/v) - 2. Let u = f - -56. Is u a multiple of 15?
False
Let t(k) = k**2 - 6*k - 11. Let z be t(8). Suppose -3*g + 18 = w - z, 2*g - 17 = w. Is -2*4/g + 7 a multiple of 3?
True
Let k = -21 + 36. Is 13 a factor of 318/9 - 5/k?
False
Let s be 148/3 - (-4)/6. Suppose 5*j - s = -0*j. Does 5 divide j?
True
Let a(o) = -o**2 - 9*o - 3. Let u be a(-5). Let z = u - 9. Suppose 2*t - z*t + 384 = 0. Is 8 a factor of t?
True
Suppose 2*r = 5*f - 9, -4*r + 4*f + 13 = 37. Suppose -2*h + 3*h + 22 = m, 3*m - 2*h - 63 = 0. Let y = m + r. Is y a multiple of 4?
True
Suppose 4*m + v - 3262 = 0, -v = -4*m + v + 3268. Is m a multiple of 6?
True
Let h(c) be the third derivative of 19*c**5/60 - c**4/8 - c**3 - 14*c**2. Is h(-3) a multiple of 37?
False
Suppose 0 = 6*s - 732 + 816. Let z be (2 - 77) + 1 + 0. Let n = s - z. Does 15 divide n?
True
Is 1466 + 0 + (-23)/(161/14) a multiple of 24?
True
Let l(s) = s**2 - 17*s - 20. Let g be l(18). Let h(j) = -100*j + 1. Let p(u) = 67*u - 1. Let f(d) = 5*h(d) + 7*p(d). Does 20 divide f(g)?
True
Let i = 302 - -18. Suppose 2*c + i = 6*c. Does 11 divide c?
False
Let w = 57 - 6. Suppose 160 = -49*d + w*d. Is d a multiple of 16?
True
Suppose 0 = w - 3*j - 666, -12*w - j - 3386 = -17*w. Is 9 a factor of w?
False
Suppose 34*b - 30*b - 3738 = -3*l, 0 = -5*b - 2*l + 4676. Is b a multiple of 117?
True
Let c be 4 + (4 - 2) - 4. Suppose 444 = 2*a + c*a. Is a a multiple of 30?
False
Suppose -43*w + 47*w = 12. Suppose -8*m + 870 = -w*m. Does 23 divide m?
False
Suppose 272 = 4*x + 1608. Let z = x + 510. Does 22 divide z?
True
Suppose 3*i = 0, -4*p + 550 + 42 = 3*i. Is p a multiple of 15?
False
Suppose 4*f + 5*b - 14 = 0, 0*b = 4*f - 2*b. Let n be (-15)/(-2) + f/2. Let g(j) = -j**2 + 10*j + 7. Is 5 a factor of g(n)?
False
Let i be 4 - 0*(-3 + 2). Suppose 0 = -i*o + 4, 0*v + 5*o - 235 = -v. Does 17 divide v?
False
Let u be 4/((-4)/(-1)) - -2. Let p be 2/u - 172/(-3). Suppose -o + p = 2*i, 0*o + o - 2*i = 46. Is 13 a factor of o?
True
Let a(s) = 19*s - 34. Is 15 a factor of a(16)?
True
Let u(f) be the second derivative of -f**5/20 + f**4/2 + 7*f**3/6 - 7*f**2/2 + 7*f. Does 7 divide u(5)?
False
Suppose 0 = -2*p - 3*n + 159, 15*n - 410 = -5*p + 10*n. Is 18 a factor of p?
False
Let t(x) be the second derivative of x**4/12 + 5*x**3/3 - 15*x**2/2 + 7*x. Let b be t(-11). Does 17 divide (-1)/b - (-203)/4?
True
Suppose -13*b - 1000 = -3990. Is 8 a factor of b?
False
Let y = 101 - 89. Suppose -9*b - 144 = -y*b. Is b a multiple of 6?
True
Let x = 13 + -10. Suppose x = -2*k - 7, k + 561 = 2*d. Suppose -376 = -4*i - 4*y, 0 = -4*i + i - 5*y + d. Is i a multiple of 12?
True
Suppose v = 3*i + 578, 2*i - 573 = v - 2*v. Does 25 divide v?
True
Let u(j) = -5*j - 4. Suppose 0 = -4*n + 3*n + 8. Suppose -5*s + n = 63. Is u(s) a multiple of 17?
True
Let f(t) be the first derivative of 5*t**4/12 + 7*t**3/3 - 2*t**2 + 10. Let k(p) be the second derivative of f(p). Is k(9) a multiple of 26?
True
Suppose 5*o + 2101 - 737 = 2*z, 2*z + o = 1340. Is 21 a factor of z?
True
Let k = 26 + -26. Suppose 5*y - y - 48 = k. Suppose -3*z = y - 174. Is z a multiple of 15?
False
Let o(s) = 1 + 0 - 5 - 3 - s. Let c be o(-10). Suppose 0 = -5*q + p + 78, -c*q - 5*p + 42 = -q. Is q a multiple of 16?
True
Let a = -21 + 28. Let u(w) = 2*w. Does 3 divide u(a)?
False
Let q = -42 + 70. Suppose -324 = 25*h - q*h. Let y = -51 + h. Is 40 a factor of y?
False
Let u be 7 + (0 - 2 - 1). Let z be ((-37)/u)/(1/(-4)). Let m = z + 3. Is 20 a factor of m?
True
Suppose -w + 2*b = -388, 0 = 2*w - w + 4*b - 400. Does 55 divide w?
False
Does 16 divide 1/((55/(-80))/(-11))?
True
Let n be (0 - 4) + -11 + 6. Let y(u) be the first derivative of u**3/3 + 7*u**2/2 - 7*u + 2. Is 3 a factor of y(n)?
False
Suppose -2 = 4*c - 4*b - 6, -2*c - 2*b = -18. Suppose -s + 97 = -3*u, 0*u + 502 = c*s + 2*u. Is 14 a factor of s?
False
Suppose 5*i = 5, 3*f + 3*i = 18 + 1281. Is 27 a factor of f?
True
Suppose -3*j = -1 + 4. Let v be (18 - 17)/(j/(-2)). Is -4 - 5/v*-6 a multiple of 5?
False
Does 10 divide 70/8*(88 + -4)/3?
False
Suppose 5*c = 4*h - 6*h + 3460, c + h - 695 = 0. Is 10 a factor of c?
True
Suppose 5*h - 3*a = -0*h + 17, -4*a = -4*h + 20. Is h/(-3) + 2360/24 a multiple of 24?
False
Let q(z) = 2*z**2 + 15*z + 38. Is q(-13) a multiple of 3?
False
Suppose -3*z = 4*q - 2089, -2*q + 3*z = -198 - 833. Does 50 divide q?
False
Suppose 0 = -h - 42*k + 37*k + 827, h + 3*k = 831. Is 31 a factor of h?
True
Suppose 2375 = 270*k - 265*k. Does 15 divide k?
False
Let h = -3 + 8. Suppose h*m = -20 + 5. Is 5 a factor of m/1 + 77/7?
False
Suppose 4*h - 3 = 5*h + 3*t, 5*t + 4 = -2*h. Suppose -124 = -2*d + h*r, -5*d + 300 = -4*r - r. Is d a multiple of 14?
True
Let p(s) = -2*s**3 - 13*s**2 + 23*s + 61. Is p(-14) a multiple of 57?
True
Does 8 divide 9 - (-2 - 651 - 2)?
True
Let c be 17 - (2/(-1) + 5). Let u = 14 - c. Suppose u = -i + 25 + 13. Is i a multiple of 15?
False
Let t = 9 + -7. Let j be (-8)/12 + t/3. Suppose j = c - 13 - 3. Is c a multiple of 8?
True
Let x = 148 + 152. Is x a multiple of 84?
False
Suppose 0 = -4*c - 3*g + 4*g + 142, 4*c = -4*g + 152. Let k = 26 + c. Is 10 a factor of k?
False
Let i = 20 - 6. Let n = 17 - i. Suppose 13 = n*t - 17. Is 4 a factor of t?
False
Suppose 5*c = -o + 106, 5*c = o - 87 + 31. Does 9 divide o?
True
Let t be (-1584)/(-110) + 2/(-5). Is (t - 7)*(-1 - -3) a multiple of 7?
True
Is 7/1 - (41 - 690) a multiple of 16?
True
Let d be ((1 - 1) + 0)/1. Suppose d = -3*r - 4*n + 28, 0 = -r - 0*r + 5*n - 16. Suppose 4 + r = s. Is 3 a factor of s?
False
Let a(l) = 2 + 1 + 4 + l + 1. Let t be a(-6). Suppose -4*k = 20, t*s + s = 5*k + 127. Is s a multiple of 14?
False
Suppose -2*q = -r + 13, 4*r - 2 - 2 = -4*q. Does 4 divide ((-66)/r)/(7/(140/(-8)))?
False
Let n(t) = 5*t**2 + 6*t + 19. Let m be n(-5). Let v = m + -82. Is v a multiple of 4?
True
Suppose -4*o - 30 = 74. Let h = 130 + o. Does 26 divide h?
True
Let n = 748 + 0. Let i be 2/(-3) + n/6. Let w = i + -88. Is 22 a factor of w?
False
Let v = 100 - 87. Is v a multiple of 13?
True
Let d = 422 + -190. Is 24 a factor of d?
False
Let h(r) = -15*r - 6. Let n(q) = -16*q - 7. Let l(v) = -6*h(v) + 5*n(v). Let s be (2/8)/(5/60). Does 6 divide l(s)?
False
Let z = 838 + -810. Is 14 a factor of z?
True
Let i be (2/6)/((-12)/(-252)). Suppose -2*j - 245 = -i*j. Suppose p - 2*p + 4*b = -j, -4*b = 5*p - 293. Does 19 divide p?
True
Let d = 12 + -8. Suppose -d*y + 3*w = 49 + 6, -10 = -y - 4*w. Let q = y - -18. Is q a multiple of 3?
False
Suppose 12*l - 375 = 4581. Is 32 a factor of l?
False
Let c be 11*46/7 + 10/(-35). Suppose x + c = 3*x. Does 12 divide x?
True
Suppose 0 = -8*i + 477 + 451. Let k = -63 + i. Is k a multiple of 42?
False
Suppose 2 = -4*n + 6. Let t(y) = -1 - 11 + 10*y + n. Is 13 a factor of t(5)?
True
Suppose -600 = -5*k + 5*o, 224 = 2*k + 3*o - o. Let m = 215 - k. Does 5 divide m?
False
Let v = 3195 + -1740. Does 15 divide v?
True
Does 17 divide 0*(-8)/48 + -3 + 2645?
False