(-35)). Is (-118)/(-8) - (-2)/v a multiple of 15?
True
Let l(k) = -5*k - 18. Is 14 a factor of l(-12)?
True
Let z(s) = 6*s - 5. Does 4 divide z(5)?
False
Suppose -b = -2*b + 104. Suppose -3*y = -7*y + b. Is 7 a factor of y?
False
Let c(q) = 8 + 2*q - 7 + 11. Let g be c(-8). Let k(d) = d**2 - 2*d - 3. Does 12 divide k(g)?
False
Let t(h) be the third derivative of h**5/15 - h**4/24 + 3*h**2. Does 2 divide t(-1)?
False
Let j = -70 + 105. Suppose -15 = -5*l + b + j, 2*l - 47 = -5*b. Is l a multiple of 5?
False
Let f = -6 + 36. Does 6 divide f?
True
Suppose 0 = -10*f + 234 + 696. Does 31 divide f?
True
Let q(t) = 46*t + 1. Suppose j - 2 = -j. Does 18 divide q(j)?
False
Let f be (-2 - 1)*44/(-6). Suppose 4*t - 5*x = 88, -t + 2*t - 2*x = f. Suppose t = 2*a - 8. Is a a multiple of 6?
False
Suppose 0 = -5*y - 3*m + 8, -4*y - m + 3 = -2. Let x be y/1*3 - 3. Is (x - 2/4)*-48 a multiple of 8?
True
Let h be 2 - 9/3 - 5. Let k be -3*(1 - 70/h). Let y = 59 + k. Is 6 a factor of y?
False
Let l(n) = n + 5. Let m be l(-5). Let c(h) = -h**3 - h**2 + h + 15. Does 13 divide c(m)?
False
Does 4 divide (23/2)/((-29)/(-58))?
False
Let b be 2 + (-3 + 5)/2. Suppose 2*r - 3*k - 31 = 0, -4*k = 3*r - b*k - 63. Is r a multiple of 10?
True
Let z(l) = 2*l - 8. Let m = 1 + 4. Is z(m) a multiple of 2?
True
Suppose -9 = -b + k, 2*k + 7 = b - 7. Suppose -b = -a + 5. Does 3 divide a?
True
Let k = 66 - 38. Let g = 6 + -4. Suppose x + k = g*z, x = -3*z - 3*x + 42. Does 14 divide z?
True
Let t be 2*(0 - 21/(-6)). Suppose 0 = 4*y - t*y. Suppose -2*u + 0*u + 20 = y. Is u a multiple of 8?
False
Is 3 a factor of ((-1)/2)/(8/(-112))?
False
Suppose 6 = 2*j + 20. Let y(t) be the first derivative of -t**3/3 - 4*t**2 + 7*t + 1. Is 12 a factor of y(j)?
False
Suppose -2*x = x. Suppose x = -3*l + 6*i - i + 77, -68 = -3*l - 4*i. Is 12 a factor of l?
True
Let g = -11 - -15. Let x be 14/g - (-2)/4. Let u = x - 0. Is 2 a factor of u?
True
Let w(y) = y - 3. Let k be w(5). Suppose -k*i - 3*i = -2*l, -4*l = 4*i + 28. Let o = 19 + l. Is o a multiple of 8?
False
Suppose 30 = -3*d - 0*w - 5*w, -4*d - 17 = -w. Let a(s) = -3*s - s**3 + 4*s - 4*s**2 - 3 + 2*s - 2. Is 4 a factor of a(d)?
False
Let y = 125 - 23. Does 17 divide y?
True
Let c(n) = -4*n**3 - n**2 + 1. Let p be c(-1). Suppose p*i = -37 + 145. Is i a multiple of 9?
True
Suppose -4*a = 5*n - 114, n - 2*a + 7 = 41. Does 5 divide n?
False
Suppose t + 0*t - 15 = 0. Is t a multiple of 2?
False
Suppose -14 = 3*r - 128. Suppose 2*z + r + 18 = 0. Let g = 1 - z. Does 23 divide g?
False
Suppose -d = -5, -5*d - 94 = -a - 0*a. Suppose -5*c = -a + 464. Let k = c - -107. Is k a multiple of 11?
False
Suppose -2*d - 286 = -3*q, 5*q - 2*q + 4*d - 310 = 0. Let o = -49 + q. Is o a multiple of 13?
False
Suppose -45 = -3*v + 45. Let c be (v/(-4))/(3/8). Let h = 2 - c. Is h a multiple of 11?
True
Is -3 + (-3)/((-588)/579 + 1) a multiple of 38?
True
Let z(g) = -3*g**2 - g + 2. Let p(b) = 7*b**2 + 2*b - 5. Let h(v) = -2*p(v) - 5*z(v). Does 19 divide h(7)?
False
Let s(u) = 15*u + 74. Does 16 divide s(10)?
True
Let x(u) be the second derivative of -u**4/12 - 7*u**3/6 + 2*u**2 - 3*u. Let t be 1 - (4 + 2) - 1. Is 7 a factor of x(t)?
False
Suppose -15 + 35 = 5*z. Let p(h) = 4*h - 6. Is 2 a factor of p(z)?
True
Let w be ((-4)/5)/((-3)/15). Suppose 132 = w*p - p. Is p a multiple of 15?
False
Suppose -q = 4*l - 32, -2*q + 130 = 3*q + 5*l. Does 6 divide q?
True
Let i be 2/(-6) - (-80)/6. Let g = 6 - i. Is 6 a factor of (g/3)/(1/(-3))?
False
Let i = -171 - -306. Is 15 a factor of i?
True
Is 20 a factor of (27/(-5))/(14/(-140))?
False
Let i(r) = -14*r - 2. Let d be i(-2). Suppose -4 = -3*x + d. Does 20 divide x/(6/(-8) + 1)?
True
Is (-2 + 2 - 3) + -3 + 36 a multiple of 10?
True
Let y = -21 - -14. Let n(q) = q**3 + 8*q**2 + 7*q + 5. Is 2 a factor of n(y)?
False
Suppose q = -3*d - 11, 5*q = 2*q - 3*d - 3. Let f(u) = u**2 - 3*u + 1. Is f(q) a multiple of 3?
False
Suppose -168 = -4*l + 2*l. Let j = -48 + l. Is 14 a factor of j?
False
Let n = -205 + 365. Is n a multiple of 20?
True
Suppose -3*d + 106 = q, 5*q - d - 462 = d. Is 12 a factor of q?
False
Is 24/10*(-80)/(-12) a multiple of 8?
True
Suppose -14*d + 10*d + 60 = 0. Is 2 a factor of d?
False
Let y = 111 - 56. Does 2 divide y?
False
Let y = 7 - 4. Suppose 0*b - 2*b = -6, -35 = -4*f + y*b. Is f a multiple of 3?
False
Let s(i) = 14*i - 2. Let m(r) = 13*r - 2. Let a(u) = -4*m(u) + 3*s(u). Let p(v) = 11*v - 2. Let n(h) = -2*a(h) - 3*p(h). Is 14 a factor of n(-2)?
True
Suppose -5*f - n = -7, 2*f - 18 = -f + 4*n. Suppose -4*i - f*s + 144 = 0, 3*i - s = -4*s + 105. Suppose -4*p + i = -11. Does 12 divide p?
True
Does 14 divide (-16)/(-4) - 1 - -25?
True
Suppose 0*p = -2*p. Suppose 2*l - 3*l = p. Suppose 3*s = l, 31 + 57 = 4*r - 5*s. Does 11 divide r?
True
Let v = -32 - -10. Let t = 46 + v. Does 6 divide t?
True
Suppose r - w - 221 = -3*r, -r - 2*w + 53 = 0. Is r a multiple of 11?
True
Suppose -j - 2*j + 15 = 0. Is j even?
False
Suppose 0*s + s = 0. Suppose 4*q = -s*q + 5*h + 124, 2*h + 112 = 4*q. Suppose -q = -4*d + 2. Is d a multiple of 7?
True
Suppose 2*w - 6*w + 123 = -k, 4*w - 122 = 2*k. Let d = 91 - w. Is 20 a factor of d?
True
Let r(g) be the third derivative of 1/60*g**5 + 1/4*g**4 + 3*g**2 + 0 + 0*g + 1/2*g**3. Is r(-7) a multiple of 4?
False
Let f be (-1 - (-1 - 2))/1. Is 12/7*(f - -5) a multiple of 12?
True
Let q be 2/3 + (-429)/9. Let a = -30 - q. Is a a multiple of 9?
False
Let m = -6 + 11. Suppose 160 = 5*s - 2*w - 3*w, 0 = -2*s - m*w + 92. Is s a multiple of 18?
True
Let g = -14 + 63. Does 9 divide g?
False
Suppose 4*m - 825 = -m. Is 33 a factor of m?
True
Suppose 3*v + 3*m - 23 = 253, 2*m = v - 92. Is v a multiple of 46?
True
Let x(l) = l**2 - l - 11. Let w be x(0). Let c = w - -13. Suppose c*o - z = o + 5, 15 = 4*o - 5*z. Does 6 divide o?
False
Let k = -48 + 68. Suppose 0*j + 2*j = k. Is 6 a factor of j?
False
Let r(t) = t**2 - 5*t + 4. Let d be r(5). Suppose -d*c = -8*c + 84. Is c a multiple of 7?
True
Suppose 0 = 8*i - 0 - 24. Suppose 3*x + 7 = 4*x. Let r = x - i. Is 4 a factor of r?
True
Suppose -3*b = 4*c + 19, -3*b - 6*c + c - 17 = 0. Let k be 8*b - (3 + -1). Let i = -53 - k. Does 21 divide i?
True
Let v = -2 + 5. Suppose 0*p - v*p - 5*c = 17, -2*p - c = 2. Is (24/(-3))/(p/(-2)) a multiple of 16?
True
Let c(l) = 3*l + 2 - l - 8 - 4*l. Let n = -10 + 5. Is c(n) even?
True
Let s be 12/(-15)*45/(-2). Let p = s + -10. Is 2 a factor of p?
True
Let d(z) = -z**2 - 5*z - 1. Let m be d(-4). Suppose 2*q + 2*n - 98 = 0, m*n + 26 = -2*q + 122. Is 17 a factor of q?
True
Let t(r) = -r**2 - 5*r + 3. Let d be t(3). Is 6 a factor of d/2*(-24)/14?
True
Let j = -2 + -10. Let r = 29 + j. Does 12 divide r?
False
Let y(c) = -c**3 + c**2 + 10*c + 2. Does 12 divide y(-4)?
False
Suppose -5*a - 71 = -3*j, -2*a = -0*j - 3*j + 59. Does 14 divide j?
False
Let z = 65 + -40. Let n = 36 - z. Is 11 a factor of n?
True
Let z be -2 - -4*(2 + -1). Let d be z/(0 - -2) + -2. Let r = 7 - d. Is 8 a factor of r?
True
Suppose -192 = -5*r - 4*t, 2*r - 6*t + t - 57 = 0. Is r a multiple of 18?
True
Suppose -9*j - 30 = -10*j. Is 15 a factor of j?
True
Suppose 4*d + d = 15. Suppose -2*o = -13 - d. Suppose -2*n + 6 = -n + 4*z, -2*z + o = 3*n. Is n a multiple of 2?
True
Is 1*47/2*(-7 + 9) a multiple of 5?
False
Let o(f) = -5*f**3 - 3*f**2 - 3*f - 1. Is 11 a factor of o(-3)?
False
Is (11550/100)/(1/(-4) + 1) a multiple of 18?
False
Let v(z) = z**3 - 4*z**2 - z + 5. Let a be v(4). Suppose -5*j - a = -41. Suppose 29 = 3*w + j. Is w a multiple of 7?
True
Let l be (3 + 0)/3 - -134. Suppose 4*i + l = -0*a - 3*a, -5*a = -3*i + 254. Let n = a - -73. Is n a multiple of 9?
False
Let h(c) be the second derivative of -c**5/20 - 2*c**4/3 - c**3/3 + 4*c**2 + 7*c. Is h(-8) a multiple of 10?
False
Let h(p) = -p**2 + 2*p - 3. Let y be h(2). Is 2/y - (-238)/6 a multiple of 13?
True
Let f = 213 - 205. Does 4 divide f?
True
Let j = -34 - -65. Let m = j + 39. Suppose 5*a - 5*y = m, -13 + 51 = 4*a + 5*y. Is a a multiple of 11?
False
Let l = -298 + 125. Let z = -113 - l. Suppose -n = 3*n - z. Is 15 a factor of n?
True
Let n(l) = l**3 - 6*l**2 - l - 6. Let c be n(8). Let z = c + -80. Is 15 a factor of z?
False
Suppose -5*i + i = -48. Let o be 4/i + (-100)/(-6). Suppose 0 = -4*r + 147 + 