 = d*h + 3. Is l(h) a multiple of 5?
True
Suppose 4*i - 5 = 2*k + 5*i, -4*k - 15 = 3*i. Suppose 0 = 3*r + r - 132. Is r + -4 - (k - -1) a multiple of 14?
True
Does 22 divide -9*3*(-40)/30?
False
Suppose d + 2*g + 337 = 6*d, -2*g = -3*d + 199. Does 8 divide d?
False
Is ((-105)/10)/(2/(-4)) a multiple of 7?
True
Let c = 99 + -59. Let k = c - 27. Is k a multiple of 7?
False
Suppose 2*u + 49 = 2*w + 3*u, 3*w = 2*u + 91. Does 23 divide w?
False
Suppose 6*n - 7 = 5*n. Suppose 3*v - n = 5*z - 173, -6 = 3*v. Does 9 divide z?
False
Suppose 0 = -5*o + 13*o - 88. Let d = 1 + 0. Is 22 a factor of (-4)/((-1)/o*d)?
True
Let b(j) = -j**3 + 8*j**2 - 7*j + 5. Let k be b(7). Let o = -1 + k. Is o a multiple of 4?
True
Let a = -6 + 19. Is a a multiple of 4?
False
Let a(x) be the first derivative of -x**3/2 - x**2/2 + 4*x - 1. Let u(l) be the first derivative of a(l). Is u(-4) a multiple of 11?
True
Let v(a) = -a**2 - 6*a. Let c be v(-5). Let l(p) = p**2 - p - 2. Is l(c) a multiple of 9?
True
Suppose 3*l - 18 = 30. Suppose -2*m = 5*a - 29, 2*m - 4*a - l = -2*m. Suppose 3*s - m = 11. Is s a multiple of 3?
True
Is (-1)/(((-5)/2)/5) even?
True
Suppose n + 4*n - 30 = 0. Let x = n + 0. Let b = x - -22. Does 14 divide b?
True
Let r(k) = -20*k**3 + 2*k**2 + 3*k + 6. Is 28 a factor of r(-2)?
True
Let f(m) = -13*m - 2. Let o be f(-4). Suppose 55 = 3*b - o. Suppose n - b = -4*n. Is n a multiple of 7?
True
Suppose 0 = -4*q - q. Suppose q = h + 3*h - 64. Does 6 divide (-27)/12*h/(-3)?
True
Let z = -5 + 17. Let i = -2 + z. Is 4 a factor of i?
False
Let s be (-2)/(-3)*(7 + 2). Suppose x + 220 = s*x. Is 11 a factor of x?
True
Suppose 0 = -2*q + 2 + 4. Suppose 4*s - q = -23, -4*c + 130 = 2*s. Is c a multiple of 26?
False
Let l be 152/(-56) - (-2)/(-7). Let b(f) = 3*f**2 + 4*f. Is b(l) a multiple of 11?
False
Let n(o) = -5*o**3 + 20*o**2 + 8*o + 4. Let a(x) = -2*x**3 + 7*x**2 + 3*x + 1. Let g(t) = -8*a(t) + 3*n(t). Does 9 divide g(-3)?
False
Suppose -14 = -9*f + 166. Does 10 divide f?
True
Suppose 0 = 3*a - 3 - 6, 0 = y - 4*a - 43. Let z = y + -37. Is 10 a factor of z?
False
Does 5 divide (60/8 - -4)*2?
False
Suppose -606 = -4*c - 4*q - q, 5*q = 4*c - 626. Does 9 divide c?
False
Suppose 0 = -5*m - 5*p + 1520, -3*p = -3*m + m + 588. Is 30 a factor of m?
True
Let f = 17 + -12. Let c be 3 + -1*2 - -34. Suppose -c = -0*j - 5*j - 5*u, -2*u + 26 = f*j. Is j a multiple of 4?
True
Suppose -3*g + 280 = 2*g. Does 28 divide g?
True
Suppose -2*n = -61 + 7. Is 16 a factor of n?
False
Let z(m) = 4 + 0 - 3 + m. Let p be z(4). Suppose p*q - j - 110 = 0, -4*q + 5*j + 88 = j. Is 11 a factor of q?
True
Suppose -5*v + v + 116 = 0. Let w = v - 13. Is w a multiple of 3?
False
Suppose 2*w = 3 + 1. Suppose w + 1 = q. Let v = 16 - q. Does 13 divide v?
True
Suppose 2*o + 0*o = 60. Suppose 0 = 4*z + o - 2. Let x = z - -13. Is x a multiple of 3?
True
Suppose 2*g + 5*r = -0*r, 5*g + 5*r = 15. Suppose 0 = -g*t - 4*d + 360, d + d - 370 = -5*t. Is 19 a factor of t?
True
Suppose -5*r - 5*q - 30 = 10, 3*r + 32 = -5*q. Let x = r + 9. Suppose x*a - 4*a = 17. Is 17 a factor of a?
True
Suppose 0*a + a + 2*d = 143, d = 4. Suppose 3*t = -5*v + a, 2*v + 5*t - 58 = 3*t. Does 12 divide v?
True
Let q be (3/(-6))/((-5)/60). Suppose 30 = -r - r + 5*i, 2*r + 5*i = -50. Is ((-84)/10)/(q/r) a multiple of 14?
True
Let y = -82 - -440. Does 15 divide y?
False
Let t(f) be the third derivative of -f**6/120 - f**5/60 + f**4/24 + 15*f**3/2 - 2*f**2. Does 15 divide t(0)?
True
Let i(j) = -74*j - 4. Let y be i(-6). Suppose -3*q - 69 = -m, -3*q - q + y = 5*m. Does 17 divide m?
False
Let d(h) = -6*h - 7. Does 4 divide d(-6)?
False
Suppose -5*r - 4*z - 6 + 56 = 0, -5*z - 67 = -3*r. Does 4 divide r?
False
Let d(z) be the second derivative of 11*z**3/3 - z**2/2 + 2*z. Suppose 5*x - 6*x + 1 = 0. Is d(x) a multiple of 9?
False
Suppose 0 = 5*v + 3*h + h - 340, -4*v + 5*h = -231. Is 16 a factor of v?
True
Let x = -194 - -298. Is (-9)/6*x/(-6) a multiple of 11?
False
Let s(n) = 0*n - n**2 - 2*n + 2*n**2 - 3. Let w be s(-2). Suppose -w*h + 0*h = -65. Is h a multiple of 13?
True
Let x(u) = -u**3 + 6*u**2 + 7*u + 6. Let h be x(7). Does 18 divide -1*h/15*-45?
True
Does 8 divide 2/(-4 - (-1016)/252)?
False
Let d = -193 - -331. Does 30 divide d?
False
Let m(c) = -3*c + 4. Suppose -3*d = 9 + 3. Does 4 divide m(d)?
True
Let r(i) be the second derivative of i**5/20 + i**4/6 + 5*i**3/6 + 3*i**2 - i. Let n(a) = -a**2 + a + 1. Let h(s) = -5*n(s) + r(s). Is 15 a factor of h(-3)?
False
Let p = 3 - 4. Let j = -11 + p. Let h = 1 - j. Is h a multiple of 12?
False
Let v = -40 + 63. Let f(b) = b - 1. Let y be f(1). Suppose 5*a = -4*z + 59, y = 5*z + 3*a - v - 41. Is z a multiple of 5?
False
Is (-80)/(-10) - (-1)/(-1) a multiple of 2?
False
Is 16 a factor of (3/(-6))/((-1)/96)?
True
Suppose 3*j - 4*j = -116. Is 30 a factor of j?
False
Let o be (-284)/(-6) + 2/3. Let g = 60 - 36. Let w = o - g. Is 13 a factor of w?
False
Suppose -39 = -3*y - 3*l, l = -5*y + y + 67. Is 6 a factor of 148/y - 2/9?
False
Let o = 60 - 34. Let j = 27 + -44. Let w = j + o. Is 5 a factor of w?
False
Let u be 4/6 + 25/3. Suppose -5*z = -311 + 106. Suppose -u = -3*t, 2*s - 5*t = 3*s - z. Is 16 a factor of s?
False
Let r = 6 - 5. Let x = 3 - r. Let v(t) = 8*t**2 - 3*t + 3. Does 21 divide v(x)?
False
Suppose -6*f + 3 = -3*f, -3*f = -n + 16. Is n a multiple of 12?
False
Let w(o) = 3*o**2 - o - 6. Let s be w(-2). Is 2/s + 382/8 a multiple of 24?
True
Let g(t) = -t**3 + 3*t**2 - 4*t + 3. Let u be g(2). Let j be u/(1/(2*-5)). Let r = j + -5. Is r a multiple of 2?
False
Suppose h + 40 = -3*h. Does 5 divide (1 + (-27)/15)*h?
False
Let z be (2/(-2))/(6/(-18)). Suppose -3*k + 63 = -z*w, 4*k + 2*w = 90 - 18. Does 8 divide k?
False
Suppose 3*g = -6*j + 4*j - 11, -4*g + j = 11. Let q = g + 4. Let l(u) = 17*u + 1. Does 15 divide l(q)?
False
Let j(h) = h**2 - 6*h + 7. Let z be j(5). Let w(a) = 9*a**2 - 1 - z*a**2 + a + a. Does 18 divide w(-2)?
False
Let f be 4 + 2 + 9/(-3). Let z(w) = 4*w**2 + 4*w - 3. Is z(f) a multiple of 15?
True
Let r = -1 - -4. Suppose 5*i - 133 = -4*w - 0*w, -r*i + 78 = 3*w. Is i a multiple of 18?
False
Let h(j) = 19*j + 5. Is 3 a factor of h(1)?
True
Let m = 53 + 9. Is m a multiple of 17?
False
Let l(i) = i**2 - 4*i + 8. Let u be l(6). Suppose h - u = -4*h. Suppose 2*v = h*v - 42. Is 13 a factor of v?
False
Suppose -5*v - 51 = -b + 27, 0 = -4*b - 3*v + 197. Is 16 a factor of b?
False
Suppose 0 = 4*c - 5*q + 607, -2*q + 5*q = c + 143. Let w = -110 - c. Does 24 divide w?
True
Let a(y) = y**2 + 6*y + 8. Let k be a(-6). Let s(u) = 2*u**2 - 9*u + 5. Is s(k) a multiple of 16?
False
Is 43 a factor of ((1 - (-45)/(-2)) + 1)*-10?
False
Let r = 41 + 73. Is r a multiple of 15?
False
Let f be (-6)/(-21) - (-57)/21. Is 6 a factor of 3*(1 + 17/f)?
False
Suppose 0 = 2*h - 0*h. Suppose h = -18*r + 16*r + 66. Is 11 a factor of r?
True
Let l = -30 + 75. Suppose 3*s + 2*s - l = 0. Does 6 divide s?
False
Let j(z) = z + 11. Suppose -2*b + 10 = 0, -2*f + 3*f + 4*b = 12. Let l be j(f). Suppose l*g + 3*c + 0*c - 159 = 0, -135 = -3*g + 3*c. Does 21 divide g?
False
Let y(m) = 3*m - 1. Let o(f) = 2*f. Let x(j) = 4*o(j) - 3*y(j). Let u be x(6). Let s = u + 7. Is s a multiple of 2?
True
Suppose -o + 2*o - 11 = 0. Is 3 a factor of o?
False
Let s(o) = -o**3 + 5*o**2 + 3*o + 4. Let p be s(5). Let f = p + -9. Is f a multiple of 4?
False
Suppose 2*o + 3*m - 972 = -3*o, 2*m + 184 = o. Is o a multiple of 16?
True
Let k(q) = 13*q**2 - q. Suppose 0 = -0*w - 2*w. Suppose 4*f = -w + 4. Is k(f) a multiple of 6?
True
Suppose 0 = 2*n - 6*n + 12. Suppose 0 = -5*z + n*z - 5*g + 20, -3*z = -5*g + 20. Is (-1)/(-1 + z)*7 a multiple of 4?
False
Let x be (-6)/4*48/(-18). Suppose -x - 24 = -k. Does 7 divide k?
True
Let j be ((-1)/(-2))/(1/(-14)). Let t(d) = -6*d + 3. Does 12 divide t(j)?
False
Suppose 2*k - 2*c = -8 - 4, 2*k + 4*c = 6. Let y(b) = -3*b**3 - 3*b**2 + 3*b - 2. Is 16 a factor of y(k)?
False
Let d(t) = 16*t - 7. Is d(4) a multiple of 24?
False
Let n = -15 + 34. Is (3 + 0 + -2)*n a multiple of 19?
True
Suppose 8 = 4*r - 0. Let i be (-16)/(-6)*(-18)/(-4). Suppose 0 = r*k - 3*k + i. Is k a multiple of 6?
True
Let q = 18 - -9. Is q even?
False
Suppose 57 + 89 = m. Does 10 divide m?
False
Let a = 29 + -48. Let j = a + 39. Is