oes 31 divide m(-17)?
False
Let l(g) = -5*g - 15. Does 6 divide l(-7)?
False
Let b(c) = c**3 + 10*c**2 + 7*c - 2. Let m be b(-9). Let k = -9 + m. Does 4 divide k?
False
Suppose 5*w + 6 = -54. Let m be ((-28)/6)/(w/522). Does 7 divide m/28 + (-2)/8?
True
Let q(z) = 4 - 1 - 4*z + 0 - 6. Let g be q(-2). Suppose 5*m - 3*b = 195, 4*m + g*b - 56 - 63 = 0. Is 18 a factor of m?
True
Let v = 671 - 341. Is 30 a factor of v?
True
Suppose -a = 3*a - 5*i + 41, 11 = -a + i. Is a/(-5)*30/3 a multiple of 8?
False
Let i(o) = 47*o + 4. Is 18 a factor of i(2)?
False
Suppose 0 = 4*o + 3*o - 266. Is o a multiple of 29?
False
Let z(i) = -2*i**2 - 5*i - 11. Let w be z(-5). Let t = 67 + w. Is t a multiple of 9?
False
Suppose -4*f = 5*a - 42, -30 = -4*f - 3*a + 16. Is 9 a factor of f?
False
Let r be (-42)/8 - 3/(-12). Let p = r + 10. Does 2 divide p?
False
Suppose -4*m - 6 - 6 = 0. Let y be (0 - -1) + 1 - m. Suppose 97 = y*r - 33. Is r a multiple of 13?
True
Let d(o) = -o**2 - 14*o + 33. Does 11 divide d(-14)?
True
Suppose 0 = -3*i + 5*i. Suppose i*s - 4*s + 276 = 0. Is s a multiple of 23?
True
Suppose -f - 30 + 165 = 0. Suppose -3*n = 2*n - f. Does 9 divide n?
True
Let m(k) = k**3 - 12*k**2 + 21. Is m(12) a multiple of 20?
False
Does 11 divide (1 - -3)/2 + 60?
False
Suppose -742 = 2*q - 9*q. Is 23 a factor of q?
False
Is (288/80)/((-6)/(-100)) a multiple of 15?
True
Suppose 4*u = v + 15, -4 = -u - 4*v + 4. Suppose 3*q = -u - 2. Is (q + -1)*(-56)/21 a multiple of 8?
True
Suppose 2*a - 5 = 15. Is a a multiple of 3?
False
Let r(w) = -w**3 + 14*w**2 - 13*w + 9. Is r(13) even?
False
Suppose -j + 71 + 64 = 0. Suppose -2*z = z + j. Let p = -29 - z. Is 16 a factor of p?
True
Let s be -3 - 0 - (1 - 3). Let x be 1 - (1 + s) - -4. Is 10 a factor of 40/12*(x + 1)?
True
Suppose w + 13 = k, -4*w - 37 = 3*k - 6*k. Is k a multiple of 15?
True
Is 2 + -3 + 48 + 2 a multiple of 6?
False
Let z be 5/(-1)*1/(-1). Suppose -4 = -z*x + 1. Does 14 divide x*29 - (-8)/(-4)?
False
Let q be (-33)/(-15) + 1/(-5). Suppose 0 = 4*z - 5*z + 5*v + 17, q*z = -5*v + 4. Is z a multiple of 2?
False
Let y = 5 - -35. Is 7 a factor of y?
False
Let z = -5 - -7. Suppose -4 = -z*n + 4*l, 3*n = -0*n + l + 6. Suppose -n*o = 4*x - 66, -x + 4*x = -3. Is o a multiple of 22?
False
Let z(s) = s - 8. Let c be z(4). Let r = c + 4. Suppose 4*a + 4*m + r = 12, -2*a = -m - 12. Is a a multiple of 2?
False
Let i(k) be the first derivative of -2*k**2 - 13 + 6 + 6. Is 4 a factor of i(-2)?
True
Let o be 19394/(-14) - (-8)/28. Let h = 5 - 50. Does 26 divide (-2)/(-9) + o/h?
False
Let s be (-2)/(-8) + (-6)/(-8). Does 21 divide (-6)/3*s*-24?
False
Let d = 125 + 49. Is d a multiple of 29?
True
Let k be ((-9)/6)/((-2)/(-4)). Let r be (-3000)/(-84) - 4/(-14). Is 8*k/(r/(-39)) a multiple of 10?
False
Let w = 209 + -97. Is w a multiple of 14?
True
Let z be (-2 - -1 - 121)/(-1). Suppose -l + i = -i - 42, 4*i + z = 3*l. Let j = l + -23. Is 5 a factor of j?
True
Let f(l) = 90*l**2 - l + 1. Let r be f(1). Suppose -3*h - 3*a + r = 0, 0*a + 145 = 4*h - a. Does 9 divide h?
False
Suppose 18 = 3*w - w. Is 9 a factor of w?
True
Let d(y) = -9*y - 1. Let c be d(-1). Let n = -6 + c. Suppose a - 10 = 4*k, a + 3*k + 8 = n*a. Is a a multiple of 2?
True
Suppose -6*x + 393 + 405 = 0. Is 28 a factor of x?
False
Suppose -2*v - 96 = -q, -2*v + 280 = 3*q - 6*v. Is q a multiple of 22?
True
Suppose -2*l + l - 4 = 0. Let u be ((-3)/4)/(3/12). Does 15 divide (2/u)/(l/246)?
False
Is -6*(-1 - 6 - 0) a multiple of 14?
True
Let s = 42 - 35. Is 5 a factor of s?
False
Suppose -i + 0*i - d + 153 = 0, d = -4*i + 627. Let p = 246 - i. Let y = -48 + p. Is 15 a factor of y?
False
Suppose 751 = 4*q + 4*z - 9*z, 5*q + 4*z = 949. Is q a multiple of 21?
True
Let o(b) = 15 + 5*b + 16*b**3 + 13*b**2 - 15*b**3 - 2*b**2 + 6*b. Let h be o(-10). Suppose -20 = -h*z - 0*z. Is 3 a factor of z?
False
Suppose 3*u - 8 - 67 = 0. Let p = -16 + u. Is p a multiple of 4?
False
Is 7 a factor of 11/(264/(-90))*80/(-3)?
False
Let n(o) = 4*o**2 - 22*o - 8. Does 2 divide n(6)?
True
Let y(t) = -8*t + 10. Is 21 a factor of y(-6)?
False
Let f(o) = -9*o - 3. Let d(w) = 28*w + 10. Let n(z) = -2*d(z) - 7*f(z). Does 18 divide n(5)?
True
Let g(d) = 3*d + 5. Let w be g(-4). Let f = 14 + w. Does 6 divide 160/28 - (-2)/f?
True
Let c(y) = -y**3 + 6 + 8*y**2 - 2 + 1 - 5*y. Let x be c(8). Let v = -23 - x. Is 12 a factor of v?
True
Let r = -2 + 5. Suppose r*g - 1 = 11. Suppose -u = g*u - 170. Does 12 divide u?
False
Suppose 2*r - 30 = -0*r. Is 5 a factor of (r/4)/((-5)/(-20))?
True
Let r(t) = -11*t - 3. Suppose -18 - 7 = 5*l. Is r(l) a multiple of 17?
False
Suppose -4*q + 4 = 16. Let a = -5 - q. Is 3 a factor of (0 - 1)*12/a?
True
Suppose 5*v = 111 + 209. Suppose 2*k = 2*c - 4*c + v, -k - 64 = -2*c. Is 16 a factor of c?
True
Let b = 62 - 30. Is b a multiple of 5?
False
Let r be 17/(2/(3 - 1)). Suppose h - 60 = -r. Is h a multiple of 10?
False
Let z(k) = 0*k + 11 + 0*k + 3*k. Let l(v) = v**2 + 5*v + 10. Let m be l(-5). Is z(m) a multiple of 14?
False
Let c be 4/14 - (-4)/(-14). Suppose -3*u + 2*u - 2 = c. Let j = 6 - u. Is 4 a factor of j?
True
Suppose d = -4*d - 290. Let j = -25 - d. Does 24 divide j?
False
Let p be 3*(30/(-9) - -3). Is (-52)/(-6) - p/3 a multiple of 4?
False
Let k = 8 + -5. Suppose -k*h - 38 = -o, -5*h - 159 + 29 = -3*o. Is o a multiple of 10?
True
Let o(j) = -4*j + 11. Let x(s) = 4*s - 11. Let d(w) = -7*o(w) - 6*x(w). Is 11 a factor of d(10)?
False
Suppose u - 1 = 2. Suppose -4*n = -3*n. Suppose 128 = 4*p - 3*q, 2*q + u*q = n. Does 16 divide p?
True
Let h = 3 + 1. Suppose -2*u + h - 6 = 0. Let d = 18 - u. Does 8 divide d?
False
Suppose -8 = 4*r + 4. Let m be 24 - (r - (-2 - -1)). Let y = 39 - m. Does 12 divide y?
False
Let t(s) = 16*s - 9. Let w be t(9). Let o = w + -69. Suppose 2*j = -2*k + 42, 2*k + 3*j - o = 7*j. Is 16 a factor of k?
False
Suppose 512 + 2647 = 9*x. Does 59 divide x?
False
Let y(m) = 2*m**3 - 3*m**2 + 1. Is 5 a factor of y(2)?
True
Let o(y) = -y**2 + 11*y + 6. Let p(k) = k + 1. Let g(t) = o(t) - 3*p(t). Is g(6) a multiple of 10?
False
Let w be (6/12)/((-2)/8). Let f(s) = 4*s**2 - s - 2. Does 16 divide f(w)?
True
Let m = 25 + 20. Is m a multiple of 12?
False
Suppose 3*h = -5*i + 29, -2*h = -4*h - 2*i + 22. Let m = 76 - 47. Let u = m - h. Is 16 a factor of u?
True
Suppose 0 = l + 2*x - 35, l - 2*x = 5*l - 128. Does 8 divide l?
False
Suppose -m + 3*o = -107, 4*m - 281 = -3*o + 162. Suppose 3*w = -4*u + 109, w + m = 5*u - 4*w. Is 11 a factor of u?
False
Let f(x) = -8*x + 1. Let d(w) = -5 + 3 - 5*w - 1 + 4. Let m(u) = 7*d(u) - 5*f(u). Is 10 a factor of m(3)?
False
Let t(r) = 19*r - 4. Let b be t(6). Let p = b - 9. Suppose 5*j - a - p = 3, -3*a - 92 = -4*j. Does 10 divide j?
True
Suppose 3*t = -2*d + 5*d - 21, 28 = -4*t - d. Let x be (-5)/((-10)/16)*t. Let l = x - -84. Is l a multiple of 14?
True
Let l(d) be the second derivative of -2*d + 1/6*d**3 - 1/2*d**2 + 0. Is l(8) a multiple of 4?
False
Let o = 5 - 7. Is 8 a factor of o/6*8*-9?
True
Let v = 254 - 366. Does 11 divide 2/(-5) - v/5?
True
Let n(b) = -b + 8. Let h(c) = c**3 - 6*c**2 - 8*c + 9. Let i be h(7). Let d be (-2 - -2)/(i - 1). Is n(d) a multiple of 5?
False
Suppose 2*l + x = -3*x - 2, 0 = 2*l - 5*x + 11. Let k(u) = -14*u + 2. Does 9 divide k(l)?
False
Suppose 13 + 21 = 2*i. Suppose 0 = 2*r - r - i. Is r a multiple of 6?
False
Suppose -5*j + 0*k - 2*k = -144, 0 = -4*j - 3*k + 111. Let d = j - 17. Suppose -u + d = -2*u + 4*o, -22 = -2*u - 4*o. Does 2 divide u?
False
Let j = 0 + 4. Suppose j*l + 28 = 4*x, -4*l - 2 - 6 = x. Does 4 divide x?
True
Suppose 3*w = 29 + 4. Suppose 5*x = -r + w, x = -3*r + 14 + 5. Suppose 3*y - r*d + d - 58 = 0, -3*y + d + 38 = 0. Does 7 divide y?
False
Suppose 2*v = -3*v. Let k be (-1 - v/(-1)) + 156. Suppose -4*u + k = u. Is u a multiple of 12?
False
Let u(b) = 5 + 0 - 3 + b. Is u(5) a multiple of 2?
False
Let k(h) = -15*h. Let c be k(-3). Suppose -5*f = -120 - c. Is f a multiple of 11?
True
Is 9 a factor of ((-84)/(-10))/(21/70)?
False
Let y = -9 - -12. Let j be 2/(-3)*y/(-1). Suppose -j*h + 50 = 3*h. Is h a multiple of 3?
False
Let r = 89 - 79. Is 10 a factor of r?
True
Is 192/20 - 4/(-10) even?
True
Let a(b) = -b**3 - b**2 + 18 - b + b**2 - b**2 + 2*b. Is a(0) a multiple of 9?
True
Let n