) = -d. Let f be a(-3). Suppose 2*h = -f*w - 2, -3*h - 3*w + 14 = -5*h. Is 6*(6/h - -2) a multiple of 2?
False
Suppose 3*z + 4 = 5*z. Let v be ((-6)/(-12))/(z/(-36)). Let r = 17 + v. Is r a multiple of 5?
False
Suppose 5*z = 1 + 34. Let l(h) = -z*h**2 - h**3 + 3*h**2 - 2*h + 2 - 7*h**2. Is 8 a factor of l(-11)?
True
Let l = 93 + -54. Let b = 75 - l. Is 18 a factor of b?
True
Let a(x) = x**2 - x - 1. Let f(q) = -5*q**2 + 2*q - 3. Let o(g) = 6*a(g) + f(g). Is 8 a factor of o(7)?
False
Let i = -4 - -11. Is i even?
False
Let n be (-6)/9*3 - 0. Let j be n/(-10) - (-36)/(-5). Does 15 divide (j/3)/(4/(-72))?
False
Suppose 3*h - 17 = 4*d, -5*d + 5*h = 45 - 20. Let s(r) = -r - 6. Let x be s(0). Does 11 divide d - 3/(x/32)?
False
Suppose -2*x + 25 = -7*x. Let n(d) = d**3 + 7*d**2 + 6*d - 2. Is n(x) a multiple of 6?
True
Let u = -5 + 10. Suppose -5*s + 11 = w, -5*s + s + 11 = 3*w. Let l = u - s. Is l a multiple of 3?
True
Let a(r) = -r + 42 + 23 - 23. Is 19 a factor of a(0)?
False
Suppose -15 = 4*k + k. Let f(h) be the second derivative of -2*h**3/3 + 3*h**2/2 - 3*h. Is f(k) a multiple of 8?
False
Suppose 5*j = 3*d - 49 - 108, -3*j - 147 = -3*d. Is d a multiple of 11?
True
Suppose -2*x - 12 = -3*x. Let l be 2/(-12) - (-26)/x. Suppose -l*n = -4*n + 48. Is n a multiple of 15?
False
Let l be 2*(2 - (0 - -1)). Suppose -l*x + 2*i = -0*x - 50, 3 = i. Does 17 divide x?
False
Suppose -2*y = t - 2, 5*t = -4*y + 10 + 30. Let k(r) = r + 4. Is 8 a factor of k(t)?
True
Is 13 a factor of 10/(-8) + 1/4 + 38?
False
Let n(f) = 2*f**2 - 16*f + 33. Is n(9) a multiple of 17?
True
Let g(q) = q**2 + 4*q - 1. Let h(s) = s - 3. Let c be h(0). Let v be g(c). Is 4 a factor of 28/6*(-6)/v?
False
Let m = -6 - -10. Does 8 divide (m + 0)*(6 + -4)?
True
Suppose -x = -3*x + 16. Suppose -4*y + x = -208. Does 27 divide y?
True
Suppose -96 = -5*v + 19. Let h = v - 37. Let g = h - -30. Is 8 a factor of g?
True
Suppose -4*g + 23 = -1. Let i = g - -3. Is i a multiple of 9?
True
Is 15 a factor of 77 + -2 - (0/(-4))/(-4)?
True
Let i(x) = -x**3 + 4*x**2 + 4*x - 1. Does 11 divide i(-3)?
False
Let z = 295 - 202. Is z a multiple of 21?
False
Suppose -t + 1 = -2. Suppose -6*g = -t*g - 27. Is g a multiple of 7?
False
Let h(a) = -24*a**3 + 3*a**2 - 2*a - 2. Let n(d) = -24*d**3 + 4*d**2 - 2*d - 3. Let z(g) = 3*h(g) - 2*n(g). Let j be z(2). Is 7 a factor of j/(-10) - 3/15?
False
Let c(k) = -k**3 + 13*k**2 + k + 11. Does 4 divide c(13)?
True
Suppose 24*p = 29*p - 1100. Is p a multiple of 21?
False
Let h = -130 - -198. Is h a multiple of 17?
True
Let v(a) = -a**2 + 16*a + 33. Does 16 divide v(15)?
True
Suppose 0*o = 5*o - 25. Suppose -o*q + 62 = -193. Is q a multiple of 17?
True
Suppose 3*g - 2*x = 26, 0*g - 2*g + 4*x + 28 = 0. Suppose 0 = u - g*u + 45. Does 3 divide u?
True
Suppose 3*w = -5*a - 2*w + 210, 0 = -2*w - 6. Suppose -a = 2*j - 3*j. Is 15 a factor of j?
True
Suppose 2*z = z - 4*r + 360, 3*r = -3*z + 1062. Does 22 divide z?
True
Suppose f - 2 = 0, -i - 16 = -3*i - 4*f. Is i even?
True
Let b = -80 + 48. Let f be (126/(-12))/(6/b). Suppose -3*x + 43 + f = 0. Is 16 a factor of x?
False
Let f(z) = z - 4. Let b be f(9). Suppose b*s - 2*n - 80 = 0, -81 = -5*s + n + 4. Is 12 a factor of s?
False
Is (-36)/(-14) - 9/(-21) even?
False
Let d(p) = p**3 + 3*p**2. Is d(3) a multiple of 27?
True
Let k = 4 + -10. Is ((-78)/9)/(2/k) a multiple of 10?
False
Let c be (-3)/((-2)/(-8) + -1). Let g = c + -7. Is -2 - (2 - g)*-5 a multiple of 17?
False
Let o = -70 + 27. Let u = o - -91. Is u a multiple of 24?
True
Suppose -3*b = 6, -4*w + 0*w + 5*b + 70 = 0. Is 5 a factor of w?
True
Suppose -1 = -4*s + 7. Let c(b) = 4*b. Let o be c(s). Suppose q - o = 29. Does 13 divide q?
False
Let z(t) = -14*t**2 - 33*t - 2*t**2 + 2*t**2. Let h(k) = -5*k**2 - 11*k. Let i(y) = 17*h(y) - 6*z(y). Is i(8) a multiple of 12?
True
Let g = -50 + -2. Is 10 a factor of -3 - g/4*1?
True
Suppose -20 = -8*n + 4*n. Suppose n*u - 6 = -16. Is 16 a factor of 1 - (19 + u)*-2?
False
Let q = 4 + -2. Let i be ((-2)/5)/(q/(-10)). Suppose -2*h - 3*h - 43 = -3*x, i*h = -4*x + 14. Does 6 divide x?
True
Let y = 18 + -16. Suppose 2*m - 12 = -3*n, y*m - m + 3*n = 0. Does 12 divide m?
True
Suppose -10 = 2*t, 4*j + 199 + 372 = 5*t. Let c = -98 - j. Is 25 a factor of c?
False
Suppose 0 = -4*a + 8 + 32. Is 5 a factor of a?
True
Is 32 a factor of 9978/39 + 18/117?
True
Suppose 16 = -3*u + 2*u. Let w be u/(-6)*(-3)/(-2). Suppose w*t - 72 = -24. Is 9 a factor of t?
False
Let k = 14 - -1. Does 15 divide k?
True
Let h = 32 - 13. Suppose 3*t - h = -2*n + 8*t, 5*t = 4*n - 53. Is n a multiple of 17?
True
Suppose 4*t - 20 = 3*t - 3*n, -3*t + 4*n = 5. Does 2 divide t?
False
Suppose 0 = -6*g + 4*g - 22. Let o(i) = i + 13. Let c be o(g). Suppose -c*m - 3*m = -40. Does 8 divide m?
True
Suppose -5*h - 92 + 22 = 0. Suppose 30*a - 108 = 34*a. Let v = h - a. Does 13 divide v?
True
Is ((-184)/(-10))/((-6)/(-15)) a multiple of 14?
False
Let r(h) = h**2 - 4*h + 3. Let g(w) = 2*w - 1. Let n = 0 + 3. Let c be g(n). Is r(c) a multiple of 8?
True
Suppose -2*h = -4*h. Suppose -15 = -5*f, 3 = -3*n - h*n - f. Is 9 a factor of 1 + 1 + (-14)/n?
True
Let l(g) = -g - 2. Let v be l(-2). Suppose 2*m = 5*y - v + 7, -3*y + 1 = 4*m. Is 15 a factor of -1*(2/m + -32)?
True
Let o be 63/(-7)*(-2)/(-3). Let y(g) = -g**3 - 5*g**2 - g. Is y(o) a multiple of 9?
False
Let o = -47 + 14. Let t = o + 47. Is 11 a factor of t?
False
Let u be 1/(1/(-6)) - 2. Let d(x) be the third derivative of -x**4/6 + x**3 - x**2. Is d(u) a multiple of 19?
True
Suppose 4*c - 13 = -5. Suppose -3*z + 4*x = 0, c*z + x = 2*x. Suppose -2*p - 18 = 3*i - 5*i, -3*i + 4*p + 25 = z. Is 11 a factor of i?
True
Suppose -5*l = -d - 249, l = -2*d + 4*d + 48. Suppose 0 = 5*v + y - 431, -1 = -2*y + 1. Let s = v - l. Does 18 divide s?
True
Let x = -541 + 369. Is x/(-16) - (-6)/(-8) a multiple of 5?
True
Let v(p) be the second derivative of p**4/24 + 5*p**3/3 - 3*p**2/2 + p. Let t(s) be the first derivative of v(s). Is 2 a factor of t(-7)?
False
Suppose -80 = -2*f + 16. Is 32 a factor of f?
False
Let n(p) = -2*p + 4. Let u be n(5). Let m = 16 - u. Is 22 a factor of m?
True
Is ((-3824)/24)/((-6)/(-27)*-3) a multiple of 28?
False
Let b = 31 + -14. Is b a multiple of 13?
False
Let z = 13 + 1. Does 24 divide (-4)/z - (-170)/7?
True
Let g be (1/(-2))/((-3)/792). Let l = 4 + -2. Suppose -l*t - 2*t = -g. Is t a multiple of 14?
False
Let p = -15 - -48. Is p a multiple of 14?
False
Let z(o) = -3*o**2 + 4*o**2 + o - 1 + 0. Let a be z(-3). Suppose 4*t + a*u - 13 = 0, t - 4*u - 33 = -2*t. Is t a multiple of 4?
False
Suppose 0 = 3*y - 4*d - 20, -5*y + 2*d + 6 + 18 = 0. Suppose 0 = -w - y*z + 14 + 9, 3*z = 12. Is 7 a factor of w?
True
Let i(b) = 5*b**3. Is i(1) a multiple of 5?
True
Is 108 + -2 - (-5 - 1) a multiple of 4?
True
Let p(f) = 10*f - 33. Is 7 a factor of p(18)?
True
Suppose r = 3*r. Let j be 0 - (r/1)/3. Is ((3 - j) + 0)*9 a multiple of 10?
False
Let c be (-12)/((-4*1)/4). Let w(u) = u + 5. Is w(c) a multiple of 5?
False
Suppose -u - 42 = -2*u. Suppose -14 = -4*x + u. Is 5 a factor of x?
False
Let l = 8 + -3. Let j = 5 - l. Suppose -3*z + j*z + 36 = 0. Is z a multiple of 12?
True
Suppose -4*g = -5 - 7. Let u be 2/6*12/2. Suppose g*t - 5*t + u*b = -42, -3*t = 2*b - 68. Is 22 a factor of t?
True
Suppose -182 = -4*j - x, -j + 8*x + 43 = 7*x. Is 9 a factor of j?
True
Let d(f) = 3*f**2 + 7*f + 6. Let k be d(-6). Let h = k + -123. Let t = h - -71. Is t a multiple of 14?
False
Let i(n) = n + 3. Let l be i(0). Suppose 0 = -4*c + 5 + l, -2*t - 216 = -4*c. Let o = 152 + t. Is o a multiple of 13?
False
Let t(w) = w**3 + 8*w**2 + 4*w - 10. Let o = 2 - 0. Suppose 3*p = 4*f - 21, p + o = -2*f - 5. Is t(p) a multiple of 7?
False
Let s(d) = 4 + 1 - 2*d + d. Suppose 0 = -3*v - 5 - 7. Does 9 divide s(v)?
True
Let z(a) = -2*a**2 + 12*a - 5. Let d be z(5). Suppose 0 = p - j - 47, 3*j = -0*j - 15. Suppose 4*l + 3*n = p, 3*l - 2*n = d*l - 22. Is 3 a factor of l?
True
Let z = -79 + 109. Is 15 a factor of z?
True
Suppose 5 = -l, 5*u - 300 = 3*u - 2*l. Does 30 divide u?
False
Let a = 75 + -7. Suppose 4*n - 5*x = -10 - 15, -5*x = -25. Suppose 0 = k - 4*c - 21 - 4, 3*k - 5*c - a = n. Does 11 divide k?
False
Let u be (1/((-1)/(-3)))/1. Suppose -2 = d - u. Is (4 + -17)*-1*d