*w a multiple of 9?
True
Suppose 119 + 139 = 3*z. Let q = -58 + z. Is 8 a factor of q?
False
Is 0 + (44 - 2) - -2 a multiple of 11?
True
Let r be (-1)/(-4) - 118/(-8). Let d = -9 + 0. Let q = d + r. Does 2 divide q?
True
Suppose -5*j + 3 = -5*w - 17, 3*j + 2*w - 7 = 0. Suppose 3*f - j = -9. Does 4 divide 249/27 - f/(-9)?
False
Is (-36)/(-15)*300/9 a multiple of 23?
False
Suppose 5*y - 56 = 2*v, 9 = 5*v - 1. Let q be (30/9 + -3)*18. Let d = y + q. Is d a multiple of 9?
True
Let h be 2 - 0/(-2 - 0). Suppose p + a = 21, 4*a = 5*p + h*a - 119. Is p a multiple of 22?
False
Let j(o) = -o**3 - 3*o**2 + 2*o + 1. Let v be j(-4). Suppose 2*t - v = -t. Is t even?
False
Let a be ((-2)/6)/(3/(-45)). Let s be 1034/8 - (-3)/4. Suppose 0*v + s = a*v. Does 13 divide v?
True
Let j = -89 + 166. Suppose 5*f - 216 = 3*f. Let d = f - j. Is 11 a factor of d?
False
Let w(i) = i**2 - 3*i + 2. Let x be 14 + (-5)/((-5)/(-3)). Suppose -x = 2*c - 1. Does 16 divide w(c)?
False
Suppose 5*b - 81 = -o, -2*b + 2 = -0. Does 22 divide o?
False
Let t be (-2)/3 - (-4)/6. Does 18 divide (t - 8)/((-4)/10)?
False
Suppose -2*h = -3*t - 12, -5*h + 16 = 1. Is 8 a factor of -2*(-1 + (t - 1))?
True
Let b = -1 - -124. Is b a multiple of 17?
False
Let t = 7 + 3. Let f(p) = -p**3 - p**2 + 2. Let w be f(0). Is 9*(w - t/6) even?
False
Let w be 173/7 + 4/14. Suppose 5*v + 0*v = -w. Does 9 divide (2 + 1)*(-2 - v)?
True
Let a = 28 + 7. Is a a multiple of 5?
True
Suppose -3*c + 2*n - 21 = 0, 3*c + 3*n - n = -21. Let r be (-3 + 1 - -1)*c. Let p = 18 - r. Does 3 divide p?
False
Suppose 4*o + 10 = f - 13, -5*f = -4*o - 3. Let j = o + 13. Is 5 a factor of j?
False
Is 10 a factor of 11/11 - 29/(-1)?
True
Suppose -2*u + 13 = 2*u - 5*v, 0 = 3*u + 2*v - 4. Let j be (-3 + u)*3/(-3). Does 9 divide (j - 21/(-1)) + 1?
False
Suppose -2 - 18 = -5*c + q, 18 = c - 3*q. Suppose c*k - 32 + 3 = -p, 5*k - p = 35. Let t(x) = -x**2 + 10*x + 2. Is 18 a factor of t(k)?
True
Let a be 18/(-54) - 7/(-3). Suppose 2*z - a*o + o = 18, 5*z = 3*o + 47. Is z a multiple of 5?
False
Let q(h) = -h. Let j(m) = 8*m + 2. Let a(y) = j(y) - 12*q(y). Let n be a(-5). Let z = -68 - n. Does 15 divide z?
True
Is 4 a factor of 1 - (-12)/(-2) - -32?
False
Let x = 39 + -23. Is x a multiple of 12?
False
Let h be 126 - (-3)/(-1 - 0). Let s = -82 + h. Is s a multiple of 25?
False
Let a(m) = 2*m - 1. Let y be ((-6)/7)/(3/(-21)). Is a(y) a multiple of 11?
True
Suppose 5*y + 2*g = 261, -5*y + g = -105 - 147. Is 33 a factor of y?
False
Let m be (2 + (-21)/9)*-15. Suppose 4*h - 24 = -5*k, -4*h + m*h + 11 = 3*k. Suppose k*t - 3*t = 44. Is 19 a factor of t?
False
Let j(s) = -s**3 + 8*s**2 + s + 6. Suppose 0 = -3*t - t + 4. Let h = 9 - t. Does 7 divide j(h)?
True
Let n = 21 + -9. Is n*((1 - -4) + -3) a multiple of 6?
True
Let j(g) = -g - 1. Let q be j(-4). Let d(z) = 0 + q - z**3 + 0 + 11*z**2. Is 3 a factor of d(11)?
True
Suppose -p + 3*r + 686 = p, -r = -3*p + 1043. Let t = -237 + p. Is 10/(-45) - t/(-18) even?
True
Let x = 11 + 2. Does 3 divide x?
False
Let u(z) = -z**3 - 5*z**2 + 6*z + 5. Let s be u(-6). Suppose -138 = -s*y + f, 0 = 5*y + 2*f - 66 - 78. Does 14 divide y?
True
Suppose -3*p = 2*w - 14, -2*p - w + 12 = w. Let u = p + 2. Does 4 divide u?
True
Suppose -6*n = -3*n - 270. Let t = -59 + n. Is 8 a factor of t?
False
Let h(v) = 6*v - 12. Is 4 a factor of h(3)?
False
Let b = 17 - -36. Is 13 a factor of b?
False
Suppose 4*t = 2*t - h - 14, -h + 31 = -3*t. Let w = t + 13. Suppose -5*u + x + 4*x = -60, w*x - 36 = -3*u. Is u a multiple of 6?
True
Let u = 28 + -46. Is (120/18)/((-2)/u) a multiple of 24?
False
Let i be (0 - (-1 + 1))/(-1) + 3. Let n(o) = o**2 - 5*o + 1. Let b be n(6). Suppose i*k + 88 = b*k. Is k a multiple of 8?
False
Let v(y) = -5*y**2 + 4*y - 2. Let a(g) = -11*g**2 + 8*g - 3. Let w(h) = -6*a(h) + 13*v(h). Is 2 a factor of w(-6)?
True
Let o = 24 - 9. Suppose 4*l - o = 5. Is l a multiple of 3?
False
Suppose -5*a - 593 = 3*o - 194, 5*a - 5*o + 375 = 0. Let w = a - -133. Does 14 divide w?
False
Suppose -n + k = -4*n + 48, 2*n + 4*k - 42 = 0. Is 15 a factor of n?
True
Let h = -44 - -113. Is h a multiple of 7?
False
Is 28 a factor of 363 + 3 + (2 - 0 - 1)?
False
Suppose 0 = -2*x + 4*v + 30, 3*x - 2*v = 2*v + 45. Suppose 5*n + 5*o = x, 0*o + 5 = -5*n + 5*o. Is 24*(1 + n/(-3)) a multiple of 12?
False
Let k(c) = 8*c. Let v be k(1). Let o = v - 6. Suppose 5*w = 5*s - s + 100, o*s + 42 = 2*w. Is w a multiple of 8?
True
Suppose 3 = 5*a - 17. Is 4 a factor of a?
True
Suppose -3*p - 2*x + 38 = 2*x, 2*p - 4*x + 8 = 0. Let n be 20/6 + 4/p. Suppose n*m + 5 - 37 = 0. Does 8 divide m?
True
Let s = 9 - 5. Suppose -s*d + 9*l = 4*l - 196, 0 = -d - 3*l + 32. Is d a multiple of 22?
True
Let t(p) = -p + 1. Let d(h) = -20*h**2 - h + 3. Let i(w) = -d(w) + 3*t(w). Is i(-2) a multiple of 28?
True
Suppose -2*j = -0 - 8. Suppose -c + 45 = j*c. Suppose -2*q = c - 125. Is q a multiple of 16?
False
Suppose 2*v = 12 + 14. Is v a multiple of 13?
True
Let m = -1 - -2. Let u(j) = j + 7. Let n be u(-5). Suppose q = -4*y + 117, -y + n*q = m - 37. Is y a multiple of 15?
True
Let s(y) be the first derivative of y**5/20 + y**3/6 - y**2/2 + 1. Let q(w) be the second derivative of s(w). Does 14 divide q(-3)?
True
Let t be (2 - 2)/(0 - 3). Is 15 + -3 - (t + 1) a multiple of 11?
True
Suppose p + 47 = 5*t - 281, -4*t + 272 = -4*p. Does 33 divide t?
False
Suppose 216 = 4*k - k. Does 29 divide k?
False
Suppose 0*g - 6 = -2*g. Suppose 13 = -2*j + g*j. Is 13 a factor of j?
True
Suppose -72 = -2*i + 2*q, 4*i = 5*i + 4*q - 16. Is i a multiple of 24?
False
Let j be 440/16 - (-2)/4. Let q = -13 + j. Is q a multiple of 4?
False
Is 22 a factor of (-1)/(2/(-188) - 0)?
False
Let w(m) = 32*m + 2. Is 14 a factor of w(3)?
True
Let r be (24/(-28))/((-2)/(-14)). Let q be (3/(-1))/(r/4). Is 2 a factor of (-1)/q + 22/4?
False
Let d = 0 - -6. Let m be 362/4 + d/(-12). Suppose 7*j = 2*j + m. Does 18 divide j?
True
Suppose -3*x + 35 = 4*u, u + u = -2*x + 20. Suppose -u*j = -10*j + 225. Is 15 a factor of j?
True
Suppose 0 = f + 2*f - 57. Let s = f - 10. Does 4 divide s?
False
Let a = 27 - 27. Suppose a = 3*b - 18. Is b a multiple of 3?
True
Let d be 3/3*14/2. Let y = d + 2. Is (-24)/y*(1 + -7) a multiple of 8?
True
Let f = 0 - -6. Let z be (9/f*-2)/(-1). Does 15 divide -20*((-9)/2)/z?
True
Suppose 95 - 271 = -8*z. Does 3 divide z?
False
Suppose -5*k - 72 = -282. Does 14 divide k?
True
Suppose k - 16 = -k + 2*m, -k + 5*m + 24 = 0. Suppose -5*a + 5*q = -35, 0 = 2*a - 5*q - 13 - k. Does 6 divide a?
True
Let f(w) = 24 + 3*w - 24. Is f(13) a multiple of 13?
True
Let j = -1 + 1. Suppose j*n - 5*b = -3*n + 42, 14 = n + 3*b. Does 14 divide n?
True
Suppose -3*h - 2*u = -7*u - 208, 0 = u + 2. Suppose 3*v + n = -n + 70, 0 = -3*v - 3*n + h. Is 13 a factor of v?
True
Let o be (-210)/(-8) + 7/(-28). Suppose -4*t = -t + 3*i + 30, -5*t = -2*i + 71. Let h = t + o. Is 13 a factor of h?
True
Suppose 0 = -4*w + 12, 5*z - 2*w + 27 + 19 = 0. Does 12 divide 4/z*(-142 + 0)?
False
Let a be (1 - -1)*9/6. Is 30/(-9)*a/(-1) a multiple of 5?
True
Let m = 4 + -2. Suppose m*f = 6*f - 48. Is 5 a factor of f?
False
Let i = 22 + -10. Suppose 0 = 4*s + 5*s + 45. Let h = s + i. Is 2 a factor of h?
False
Suppose -2*p - 7 = 1. Does 9 divide (0 + p)*(-7)/2?
False
Suppose 178 = 3*u + 46. Is 11 a factor of u?
True
Let a be (-289)/(-4) - (-3)/(-12). Suppose -4*x + 0 = -2*l + 6, -4*x + a = 4*l. Does 7 divide l?
False
Suppose 4*l + 1 - 3 = -3*v, -2*l + 4 = 2*v. Let r(x) = -x**2 + 10*x + 2. Does 13 divide r(v)?
True
Suppose 0 = b - z + 4, -15 = 4*b - 5*z - 0*z. Suppose 5*u + 6 = 3*v, 0 = -2*v - 2*u - 4 + 8. Does 7 divide b/((-10)/(-6) - v)?
False
Let y(w) = 3*w**3 - w**2 + 1. Suppose 0*b - 5*i = 2*b - 17, 3 = i. Suppose 11 - b = 5*f. Is 12 a factor of y(f)?
False
Let q = 4 - 3. Let h be (q - 1)/(4 - 3). Suppose h = -c - 0*c + 15. Is c a multiple of 7?
False
Suppose 5*c - 8 = c. Suppose -5*d + 126 = -c*d. Does 14 divide d?
True
Let l(z) = 3*z**2 - 8. Let r be l(6). Suppose 0*j - r = -2*j. Is 9 a factor of j?
False
Suppose -58 = 2*j + 3*m - m, 5*m = -4*j - 121. Suppose -x + 2*u = -42, -3*u + 53 = 3*x - 37. Let q = j + x. Does 10 divide q?
True
Suppose -x = x. Let d = 37 - 17. Suppose -3*g + 5*z = 2*g - 90, 5*z - d = x. Is 11 a factor of g?
Tru