be 1*(3 - 2) + 42. Suppose -u + 23 = -2. Let t = f - u. Is t a multiple of 18?
True
Suppose -3*u - r - 169 = 0, -5*u + 7*r - 2*r - 295 = 0. Let n = u - -21. Let g = n + 70. Is g a multiple of 14?
False
Let u = -66 + 118. Let m = -31 + u. Is 6 a factor of m?
False
Suppose 0*f - 5*f = -10. Is f even?
True
Let w(b) = -b**3 - 9*b**2 + 10*b + 13. Does 3 divide w(-10)?
False
Suppose 0*x + 15 = 3*x. Let a be (-30)/8*(-1 + x). Is a/(-6)*8/5 a multiple of 4?
True
Let t = -1 + 7. Suppose 5*c - 2*c = 6. Suppose 0 = 2*v + 2*q + 2*q - 28, -v + t = -c*q. Does 5 divide v?
True
Let u(f) = -8*f - 1. Suppose 5*z + 4*o = -13 - 14, o + 9 = -2*z. Is 11 a factor of u(z)?
False
Let a be 2 - (4 - 3)*9. Let f(j) = -6*j - 7. Is 10 a factor of f(a)?
False
Let v(a) = 2*a + 7. Let h be v(-6). Let f = 3 + h. Let i = 15 - f. Does 17 divide i?
True
Is (-2)/6 - (-224)/24 a multiple of 6?
False
Let h(r) = -109*r + 3. Let l be h(-4). Suppose 3*v - 4*v + 103 = 4*t, l = 5*v + t. Is 30 a factor of v?
False
Suppose 7*l = -138 + 1363. Is 9 a factor of l?
False
Let m(a) = -11*a + 0 + 0*a - 3. Is 19 a factor of m(-2)?
True
Let g = -12 + 16. Suppose 0*t - 48 = -g*t. Does 12 divide t?
True
Suppose 0 = -2*u + 2 + 4. Suppose -u*r = -a - 150, r + 54 = 2*r + a. Suppose -3*i + 12 = 0, -2*f - 7 = 5*i - r. Is f a multiple of 4?
True
Suppose 5*s - 2*k = -k + 109, 2*k = 3*s - 71. Does 21 divide s?
True
Suppose -o - 3*o - 98 = -5*a, -2*a = -o - 41. Suppose -31 = -p - 2*z, -2*z + z - a = -p. Does 12 divide p?
False
Let a = -4 - -7. Suppose a*p - 248 = -p. Suppose -h - 3*h = -2*o - p, -2*o = 6. Does 5 divide h?
False
Let m(k) = -19*k - 5. Let n be m(5). Let a be (-3)/1*n/3. Suppose -2*y - 3*y = -a. Is 10 a factor of y?
True
Suppose 5*h - 156 - 54 = 0. Does 6 divide h?
True
Suppose -3*m = -3*h - 1239, 4*m + m + 2*h = 2086. Does 16 divide m?
True
Suppose -4*o - 5*t + 178 = 0, 2*t = 8*o - 4*o - 164. Suppose v + 2 = o. Is v a multiple of 11?
False
Suppose -8*p + 184 = -4*p. Suppose -32 = -6*k + 2*k. Suppose -k = -2*m + p. Is m a multiple of 12?
False
Let c = -7 + 11. Suppose 2*f + 130 = c*n, -4*n + 87 + 40 = -f. Is n a multiple of 23?
False
Let v = -6 + 4. Let c(q) = -15*q - 1. Let s be c(v). Let l = s + -12. Is l a multiple of 17?
True
Is 4 a factor of (-786)/(-39) - (-2)/(-13)?
True
Let q = -4 + 1. Let k be 6 - q/(-2 + -1). Suppose 3*t + 2*y - 28 = 0, 48 = k*t - 3*y - 24. Does 6 divide t?
True
Let y be (-1 - (2 - 2))*-7. Let b = 11 + y. Suppose -n = -b - 10. Is 14 a factor of n?
True
Suppose 0 = -p - 4*p - 5*b + 35, -2*p - 3*b + 17 = 0. Suppose -5*c = p*v + 7, -c - 5*v - 5 = 4*c. Let i = c + 6. Is i a multiple of 3?
True
Let z = -27 - -129. Is z a multiple of 18?
False
Let a(z) = 5*z**2. Let v be a(-1). Suppose -v*u = m - 186, -u + 0*m = m - 38. Is 16 a factor of u?
False
Let v(z) = 5 - 3*z**3 - 25 + 4*z**3 + z. Let m be v(0). Is (2 + m)*(-2)/4 a multiple of 9?
True
Suppose 0 = q - 4*f - 44, 2*q + 3*f - 168 = -36. Is 14 a factor of q?
False
Let k(t) = -t**2 - 24*t - 50. Is 15 a factor of k(-20)?
True
Let n(j) = -11*j - 3. Let l be n(-5). Suppose 0 = 5*d - l - 58. Is d a multiple of 11?
True
Let i(k) = -10*k. Is i(-1) a multiple of 5?
True
Let l(k) = -15*k - 6. Let w(s) = -1. Let n(x) = -l(x) + 2*w(x). Does 13 divide n(4)?
False
Let k be (-10)/(-6)*(9 + -6). Suppose d + 11 = 4*l - 2*d, k*d - 15 = 0. Does 3 divide l?
False
Let u = -26 + 54. Is 14 a factor of u?
True
Let k = 6 - -2. Is 21 a factor of (1 + 4/k)*36?
False
Suppose m - 6 = -i, -4*m + 12 = -0*m - 2*i. Suppose -43 - 29 = -m*k. Does 6 divide k?
True
Let r be (-1*2)/((-2)/12). Let w(l) be the first derivative of l**3/3 - 6*l**2 + 16*l - 3. Is w(r) a multiple of 8?
True
Suppose 3*b + 14 = 5*c + 2*b, 2*c = -5*b + 11. Suppose 0*w - 12 = -c*w. Is w a multiple of 4?
True
Let r(j) = -6*j + 11*j - 10 + j**2 + 2. Let h be r(-6). Does 14 divide (h/2)/(-1) + 27?
True
Let n(m) = m - 2. Let o(h) = h - 3. Let v(t) = 5*n(t) - 3*o(t). Let c be 276/27 + 2/(-9). Is 10 a factor of v(c)?
False
Let i(f) = 3*f**2 + 27*f + 8. Is 30 a factor of i(-13)?
False
Suppose -4 = 3*x - 4*x. Suppose h = x*m - 35, -12 = m - 4*m - 4*h. Is m a multiple of 3?
False
Let c(s) = -s + 10. Let b be c(7). Suppose 0 = 2*o - 4*f + 6, 10 - 4 = 3*o - b*f. Let r(a) = a**3 - 7*a**2 + 3*a - 9. Is r(o) a multiple of 6?
True
Let p(o) = o**3 - 3*o**2 - 3*o - 3. Does 16 divide p(5)?
True
Let s = 8 + -6. Is s a multiple of 2?
True
Let n = 4 + 1. Let j = 3 - n. Is 14/5*(7 + j) a multiple of 6?
False
Let q be (-3)/(-3)*1 - -8. Let s = q - -10. Let p = s + -11. Is p a multiple of 8?
True
Let k(c) = -4*c - 1. Suppose -5*y + 13 = 48. Does 9 divide k(y)?
True
Suppose -l = 4*d + 101, -2*d - l - l = 52. Let p = -80 - -41. Let s = d - p. Is 7 a factor of s?
True
Let k be (-702)/10 - 8/(-40). Let s = -24 - k. Is s a multiple of 18?
False
Let v(z) = -2*z**3 + 14*z**2 - 4*z + 4. Is v(6) a multiple of 13?
True
Is 48 a factor of 7*21 + 27/(-9)?
True
Suppose -3*r + 48 = z, -7*r + 5*r = 2*z - 76. Does 4 divide z?
False
Let d(y) = y + 7. Let u be d(-4). Suppose -u*z - 30 = -120. Does 6 divide z?
True
Let w = 12 + 18. Is w a multiple of 5?
True
Suppose 0 = -5*t - 2*v + 12 - 69, -5*t = -3*v + 52. Let b(w) be the third derivative of -w**6/120 - w**5/6 + 11*w**4/24 + w**3 + w**2. Does 6 divide b(t)?
True
Suppose -3*m + 35 = 2*m. Let x(k) = k**2 - 6*k - 3. Is x(m) even?
True
Let l = -106 - -149. Is 30 a factor of l?
False
Suppose -5*p - 3*b + 384 = 0, 4*p - b = -2*b + 303. Does 25 divide p?
True
Suppose -4*z = -6*z + 2. Suppose 0 = b - 3 + z. Suppose -2 + 20 = b*n. Does 9 divide n?
True
Suppose c - 3*c = 18. Let t = 13 + c. Suppose 2*h + 16 = 6*h, t*f + h = 136. Is f a multiple of 12?
False
Suppose 2*b = -4*b + 24. Is 4 a factor of b?
True
Let l(s) = -5*s**2 - 6*s + 11*s - s**3 - s - 6. Is 4 a factor of l(-6)?
False
Suppose -3*c + 0*c = -75. Let s(j) = j - 7. Let x be s(11). Suppose -5*l + c = x*y, 0 = y + y + 5*l - 5. Is y a multiple of 5?
True
Let u(v) = 2*v**3 - 11*v**2 - 11*v + 4. Is u(7) a multiple of 37?
True
Let p(s) = 8*s**2 - 4*s + 6. Does 15 divide p(3)?
False
Let z = 8 - 3. Suppose 4*h + 12 = 0, -b + 3*b = z*h + 83. Does 15 divide b?
False
Let j(t) = t**2 - 7*t + 3. Let f be j(6). Let s = 7 + f. Does 3 divide s?
False
Let p = 33 + -17. Is 5 a factor of p?
False
Suppose 2*k = 48 - 0. Suppose k = 8*n - 6*n. Is 8 a factor of n?
False
Does 10 divide (-18)/(-30) + (-337)/(-5)?
False
Let k(z) = -2 + 19*z + 2 + 1. Is 6 a factor of k(1)?
False
Suppose -s + 15 = -4*y + 3*y, s = 2. Let m(d) = 20*d**2 - 2*d + 1. Let a be m(1). Let v = y + a. Is v a multiple of 3?
True
Let x = 120 - 60. Does 30 divide x?
True
Let c = 106 - 33. Suppose v + 2*x = 6*v - 97, c = 4*v + 3*x. Is v a multiple of 19?
True
Suppose 5*h = 5*l + 4*h - 230, 4*l - 184 = 4*h. Does 11 divide l?
False
Suppose -d - 3*y - 23 = 0, -5*d - 4*y - 82 = -0*d. Is 7 a factor of 3*2*d/(-6)?
True
Suppose -2*u - 5 + 3 = 0. Let o be u - 3/6*-14. Suppose o*y - 20 = 2*y. Is y even?
False
Let b be 3/18 + 1/(-6). Suppose 4*u - 88 = -b*u. Does 11 divide u?
True
Let u = -6 - -9. Let h(o) = 5*o**2 - 3*o - 4. Is 23 a factor of h(u)?
False
Suppose -8 + 6 = n. Is 2 a factor of n/4*2*-3?
False
Suppose 5*n - 14 = -3*t, -2*n = -7*n + 5*t - 10. Is -7 + 3 - n*-9 a multiple of 4?
False
Suppose -3*x - 4*h - 2 = 0, 2*x - h + 2 = 8. Suppose -5*r = -20, -3*c + 3*r = 4*r - 19. Suppose c = -x*g + 21. Does 4 divide g?
True
Let s(t) = 2*t + 27. Does 6 divide s(0)?
False
Suppose 2*b - 4*b + 76 = 0. Is 19 a factor of b?
True
Suppose 0 = 5*d - 2*d - 96. Is 10 a factor of d?
False
Let c(v) = -2*v + 4. Suppose 2*h + g + 13 = 0, -5*g - 13 = -5*h + 2*h. Is c(h) a multiple of 6?
True
Suppose -v = -0*v. Let g be 4*24/2*-1. Does 4 divide -2 + (v - g)/3?
False
Suppose 4*w - 27 - 29 = 0. Is w a multiple of 14?
True
Let v be 1/(-6) + 37/6. Suppose i + 295 = v*i. Does 15 divide i?
False
Suppose 2*z - 22 = 14. Is 10 a factor of 598/z - (-2)/(-9)?
False
Suppose r - 5*f = -8 - 7, 2*f - 4 = 0. Let g = r + 8. Is 3 a factor of g?
True
Let v(a) = 4*a + 7. Let j be 1/2 + 10/4. Is 18 a factor of v(j)?
False
Suppose -12 = -0*m - 2*m. Does 3 divide m?
True
Let m be -1*2*6/4. Let f be m*(11/3 - 3). Let t = 2 - f. Is t even?
True
Let o be 4/10 + 813/5. Suppose -r - o = -4*h, -5*h - 2*r + 207 = -0*h. Let s = -27 + 