 3*r, -5*r - 10 = 0. Suppose -4*l = -l - b. Is 9 a factor of l?
False
Suppose 3*d - q = 3, 6 - 15 = 2*d + 3*q. Does 17 divide (-90 + d)*(-1)/2?
False
Let r(c) = c + 8. Is r(4) a multiple of 8?
False
Let a = 130 - 88. Is a a multiple of 21?
True
Is 4/(-2) - -4 - -35 a multiple of 8?
False
Let u(g) = g**3 + 9*g**2 - 3*g + 1. Let m be u(-10). Let t(y) = -13*y**3 - 2*y**2 - 2*y - 1. Let r be t(-2). Let i = m + r. Does 13 divide i?
False
Suppose -58 = -u + 3*u. Let z = 44 + u. Suppose -g - 21 + 64 = -2*i, z = -5*i. Is 24 a factor of g?
False
Does 7 divide (-172)/(-3) + 40/(-30)?
True
Let j(s) = s**2 + s - 1. Let k be j(-2). Let n be 6 + (1 - (k - -1)). Suppose -n*c - m - 4*m = -230, c - 4*m = 56. Is c a multiple of 24?
True
Suppose -l + 4*l + 27 = 0. Is (8/(-6))/(2/l) a multiple of 5?
False
Let i(j) = -j**2 + 4*j - 3. Let r be i(5). Is 4 a factor of -1 + -1 - (r + 2)?
True
Let r = -68 + 210. Is r a multiple of 13?
False
Let l(n) = -n**3 - 4*n**2 + 7*n + 3. Let a(t) = 2*t**3 + 8*t**2 - 15*t - 7. Let r(q) = -6*a(q) - 13*l(q). Is r(-4) a multiple of 3?
False
Let s = 592 + -334. Is 37 a factor of s?
False
Let k(q) = -q + 5. Suppose -2 = 2*p + 14. Let x = p + 4. Is k(x) a multiple of 9?
True
Let v(o) = -36*o. Let x be v(-4). Does 7 divide x/10 + 12/(-30)?
True
Let y = -148 - -347. Is y a multiple of 13?
False
Let v(b) = -2*b**2 + 4 + 8*b - 8*b + b**3. Does 7 divide v(3)?
False
Let p(d) = d**3 + 12*d**2 - 6*d + 8. Is 13 a factor of p(-11)?
True
Is 685/35 + 16/(-28) a multiple of 19?
True
Suppose -2*n = -7*n + 15. Suppose 4*y = n*f + 45, 7*y + 4*f - 64 = 2*y. Is 6 a factor of y?
True
Let f(s) = -2*s**2 - 5*s - 1. Let h(u) = -u**2 - 5*u. Let n(j) = -2*f(j) + 3*h(j). Is n(6) a multiple of 8?
True
Let l(n) = -5*n - 1. Let j be l(1). Let q be 2 - 2 - (j + 1). Suppose q*p - 68 = h + 34, -p - 5*h + 10 = 0. Is p a multiple of 10?
True
Suppose 3*r - 13 = 5. Suppose 0 = -4*y + 20, 2*h + r = 3*h + y. Does 5 divide 4 - 4 - -5*h?
True
Let z(g) = -g**2 - 3*g - 1. Let x be z(-5). Let p = 19 - -22. Let c = x + p. Is c a multiple of 15?
True
Suppose 4*b - 61 = 87. Let f = b + -19. Does 10 divide f?
False
Is (0/4 - -49) + 3 a multiple of 26?
True
Suppose h + 84 = 232. Suppose 4*w - a - 148 = -3*a, 4*w - 4*a - h = 0. Is 13 a factor of w?
False
Let s(n) = n - 4. Let x be s(6). Let w(c) = 3*c**3 + c**2 - 2*c. Does 11 divide w(x)?
False
Let k(w) be the third derivative of -w**4/12 - w**3 - 2*w**2. Is 6 a factor of k(-9)?
True
Let j = 6 + -2. Let x = j - 8. Let u = x + 7. Does 2 divide u?
False
Is 8 a factor of (-14)/1*(-8 + 0)?
True
Let z = -22 - -27. Suppose -z = -t + 4. Is t even?
False
Let p = 6 - -42. Does 6 divide p?
True
Let o(y) be the third derivative of y**5/60 + y**4/8 + 2*y**3 - y**2. Is o(-8) a multiple of 13?
True
Let u = 146 + -58. Is u a multiple of 12?
False
Suppose -2*a - 5*c + 19 = -50, 113 = 4*a + 5*c. Does 11 divide a?
True
Let k = -153 - 7. Is 6 a factor of 2/9 + k/(-9)?
True
Let s = 69 + -12. Does 19 divide s?
True
Let a(s) = 6*s**3 - 4*s + 3. Let n be a(2). Let x = 0 + n. Does 18 divide x?
False
Suppose 4*v + 3*s - 28 = 0, -v - 4 = -3*v + s. Let i(x) be the third derivative of x**5/60 - x**4/8 + x**2. Does 4 divide i(v)?
True
Let o be -3 + 3 + 109 + -1. Let b = -72 + o. Is 12 a factor of b?
True
Let x be (-246)/18 + (-2)/6. Let d = x + 27. Is 13 a factor of d?
True
Let g be 0/1 - 180/(-9). Let j = g + -9. Does 11 divide j?
True
Let s = 10 - 4. Let c = s + -1. Is c a multiple of 3?
False
Let x be 1/3 + 6/9. Let q = x + 6. Does 2 divide q?
False
Suppose -3*i - l = -48, -3*l + 5 = i - 11. Is i a multiple of 16?
True
Is 38 a factor of 1*(190*-3)/(-5)?
True
Suppose -7 - 8 = -3*i. Suppose i = 2*u - 3*u. Let m = 13 + u. Does 3 divide m?
False
Is 163 - 3*(-1 - -4)/3 a multiple of 5?
True
Suppose 2 = 2*b - 8. Suppose 4*i - 26 = -2*x, 0 = -b*i + 3*x - 2*x + 15. Does 2 divide i?
True
Suppose 216 + 459 = 5*c. Suppose 3*a + 3*r = 2*a + 90, -2*a = -3*r - c. Is 19 a factor of a?
False
Suppose -611 = -2*p - 79. Does 19 divide p?
True
Let y = 367 + -246. Does 25 divide y?
False
Let q be (0 - -1) + 5 + -1. Let u = q - 1. Suppose 65 - 9 = u*r. Does 5 divide r?
False
Suppose -6 = 3*g - 2*i, 0*g - g + 5*i = -11. Let k be g/(-22) - 6/33. Suppose -3*r + 0*r + 48 = k. Does 16 divide r?
True
Let j be (32/3)/(1/3). Suppose -5*d + d = -j. Is 9 a factor of (-114)/(-8) - 2/d?
False
Let t = -5 + 4. Let g(r) = -16*r - 1. Let q be g(t). Is 8 a factor of q/1 + (2 - 1)?
True
Suppose 5*l - 2*i - 40 = 0, 3*i + 33 = 6*l - 3*l. Suppose 1 = -x + l. Suppose -2*s - 39 = -x*s. Is s a multiple of 13?
True
Suppose -5*c + 2*c - 21 = 0. Let m(n) = n**2 + 6*n - 5. Let a be m(c). Suppose -a*w - 2*k = w - 9, -9 = -3*w + 3*k. Is w even?
False
Let b be 3/(-3) - (-9 - -1). Let a = b + -25. Does 6 divide a/7*(-28)/6?
True
Let k(c) = -c**2 - c + 22 + 2*c - 2 + 14. Is k(0) a multiple of 17?
True
Is 10 a factor of (94/5)/(((-12)/(-10))/3)?
False
Let l(i) = 2*i + 3. Let j(n) = n. Let c(d) = j(d) - l(d). Let m be c(-3). Suppose m*v + p = -4*v + 49, -8 = -v + 4*p. Is v a multiple of 6?
True
Let p be ((-4)/8)/(2/4). Does 17 divide (-1 + p)*-38 - 1?
False
Let r(f) = f**3 - 4*f**2 - 7*f + 3. Let p be r(5). Suppose 3*t = -2*v - t + 44, -t = -2*v + 34. Let x = v + p. Is x a multiple of 5?
False
Let c = -5 + 8. Suppose t = -4*i - 10, -c*i = -4*t - 0 + 17. Suppose -t*w + 2*z = -w - 10, 0 = -2*w - z + 45. Does 10 divide w?
True
Suppose 0 = -t + 6*t - 20. Suppose -5*n = -3*b - 0*n + 17, -5*b - t*n = -16. Suppose l - 180 = -b*l. Is l a multiple of 18?
True
Suppose -2*n + 6 = 2. Suppose i = 4*q + 3*i - 2, -5*i + 5 = q. Is 2*(3 + q - n) a multiple of 2?
True
Let k = -3 + 6. Suppose -k*q - 5*h + 59 = 0, 2*q - 2*h - 33 = h. Does 7 divide q?
False
Let m(x) = 8*x**2 - 4. Is 17 a factor of m(-3)?
True
Let m(w) = 4*w + 0 + 4 - 2. Let t be ((-36)/(-8))/3*2. Is m(t) a multiple of 7?
True
Suppose -5*y - 6 = 5*f - 2*y, 2*f - 5*y = -21. Let k = f - -3. Is (-1)/((k - -2)/(-10)) a multiple of 3?
False
Let a(s) = -s**2 - 29*s - 56. Is a(-25) a multiple of 3?
False
Suppose 2*c - 34 = -0*d - d, -c = 5*d - 206. Does 21 divide d?
True
Let v(b) = -b**3 + 8*b**2 - 10*b + 6. Is v(6) a multiple of 15?
False
Let j be ((-2)/(-4))/((-1)/(-22)). Let w = -5 + j. Suppose l - w = -0*l. Is 5 a factor of l?
False
Let h(g) = g**2 - 5*g - 4. Let c be h(10). Suppose 0 = -3*d + c + 26. Suppose v = 3*v - d. Is v a multiple of 6?
True
Suppose -w = -2*j + 22, -4*j + w + 52 = -3*w. Suppose 3*c = 4*c. Suppose c = 3*d + 5*h - 65, -d + j + 2 = -h. Is 12 a factor of d?
False
Suppose -7*t + 12*t - 1150 = 0. Is t a multiple of 46?
True
Let t = -2 + 0. Let o be ((-28)/(t/(-1)))/(-1). Suppose -a - 36 = -2*m + 2, -m - 2*a = -o. Does 18 divide m?
True
Suppose -4*q + 1201 = -5*i, -441 = -q + 2*i - 137. Does 41 divide q?
False
Let g = 68 - 118. Does 7 divide ((-80)/g)/(2/20)?
False
Let s = 93 - 42. Let c = s + -16. Let f = -21 + c. Does 14 divide f?
True
Suppose -3*s + 612 + 163 = -2*f, 2*f - 1052 = -4*s. Is s a multiple of 29?
True
Suppose 0*p = p + 12. Is (-4 - p/4)*-11 a multiple of 11?
True
Let q(b) = b**3 - 17*b**2 - 16*b - 13. Does 11 divide q(18)?
False
Is 15246/147 + (-4)/(-14) a multiple of 13?
True
Let q(d) = d**3 - 10*d**2 - 11*d + 13. Is 13 a factor of q(11)?
True
Suppose 0 = 3*v - 5*o - 139, 0*v + 5*o - 119 = -3*v. Is v a multiple of 6?
False
Let g(l) = -13*l - 21. Is 22 a factor of g(-9)?
False
Let f = 67 + -13. Does 22 divide f?
False
Let r(d) = 3*d**3 + 6*d**2 + 13*d + 15. Let f(i) = i**3 + 3*i**2 + 6*i + 7. Let t be (2 - (-10 + 2))/2. Let y(s) = t*f(s) - 2*r(s). Is y(4) even?
False
Suppose 21*n - 26*n = -1725. Suppose 4*s - 261 = -h, 5*s - h = 4*h + n. Is s a multiple of 22?
True
Let g = -16 + 22. Is 28/g - 6/(-18) a multiple of 2?
False
Let d(i) = -i**2 - i + 9. Let t be d(0). Suppose -2*g - y - t = -3*g, -2*g = y - 15. Is g a multiple of 4?
True
Suppose 3*r - 48 = -r. Let p be (8 + -2)*4/r. Suppose -p*m + 3*n + 27 = 0, -2*n + 34 = 4*m - m. Is 6 a factor of m?
True
Is (-1383)/15*-2 + (-6)/15 a multiple of 35?
False
Suppose -2*i = -5*h + 405, 40 - 108 = -h + 3*i. Is h a multiple of 30?
False
Let j(g) be the first derivative of g**3/3 - 4*g**2 - 3*g + 1. Let m be j(7). Is 15 a factor of ((-27)/3)/(2/m)?
True
Suppose 0 = 5*l + 4 - 19. Suppose 2*v + 155 