Let t = g - -18. Is t a multiple of 22?
False
Suppose w - 5 - 18 = 0. Let l be 10/(-35) - w/(-7). Suppose -20 = -4*t, 150 = 2*y + l*y + t. Is 14 a factor of y?
False
Let b be (2 + -7)/(2 + -1). Is 5 + (-2 - b) - 0 a multiple of 3?
False
Let d(s) = -s + 2. Is d(-10) a multiple of 6?
True
Let d = -11 + 14. Suppose l - 5*j = 7, d*l + 3*j - 25 = 14. Is 7 a factor of l?
False
Let d(f) = 9*f. Let u be d(4). Does 9 divide u/90 + (-123)/(-5)?
False
Let q be (-6)/4*14 - 3. Let j be 4/6 + 1840/q. Let h = -48 - j. Is h a multiple of 14?
True
Suppose 0*p - 5*p = 0. Suppose 0 = 2*w - p*w - 5*x - 17, -3*x + 27 = 5*w. Is w even?
True
Let n(a) = a**3 + 4*a**2 + 2*a. Suppose 0 = -3*u - 4*m, -3*u + 0*u - 18 = -2*m. Let r be n(u). Does 14 divide (-100)/(-7) - r/(-28)?
True
Suppose 0 = -r - 3, -u + r = -2*u. Let l be (-2)/(-4) + (-70)/(-4). Is 15 a factor of (l/u)/3 + 13?
True
Suppose 2*m = -2*m. Let s(v) = v**3 - v**2 + 28. Is s(m) a multiple of 14?
True
Suppose 0 = 4*c - 120 - 504. Does 13 divide c?
True
Suppose 5*u - 16 = u. Suppose -104 - 84 = -u*t. Suppose 5*z - 105 = -4*w + 7*w, -3*z + 5*w = -t. Is z a multiple of 12?
True
Suppose c - 11 = h, -c = 3*c + 5*h - 35. Is 9 a factor of c?
False
Let y be 8/24 - 10/(-6). Suppose 4*i + y - 14 = 0. Suppose -i*m + 6*m - 4*u = 64, -4*u = 4. Does 10 divide m?
True
Let d be 12/(-6)*-1*1. Let y(l) = -4 + d*l**2 + 1 - 2*l - l**2. Is y(4) a multiple of 4?
False
Let a = 3 + -9. Let v be (6/(-2))/(a/52). Let j = -13 + v. Is j a multiple of 10?
False
Suppose 3*w + 2*z + 0*z - 767 = 0, -5*w + 1300 = -z. Suppose -w = -5*f - 2*r, f = -0*f - r + 53. Is 26 a factor of f?
False
Suppose -2*k = 2*s - 14, 2 = 3*k - 4*k + 2*s. Suppose -5*a + 3*a = k*n - 42, -a - 3*n = -21. Is 21 a factor of a?
True
Let m = 6 + 29. Let o = -2 - m. Let l = -18 - o. Is l a multiple of 19?
True
Suppose -4*f - 728 = -6*f. Suppose -2*c = 2*c - f. Is 19 a factor of c?
False
Suppose n + 3 = -s + 10, -5*n = -s - 17. Suppose n*r + 1 - 5 = 0, -4*o + 111 = -5*r. Suppose y + 2*c - 14 = 0, -y - 3*c + 6*c + o = 0. Is 10 a factor of y?
True
Let c(x) = x + 49. Is c(-6) a multiple of 3?
False
Let w(j) = -j**3 - j**2 - 4. Let t be w(-3). Suppose -t = -2*l + 6. Does 5 divide l?
True
Suppose -25 = 5*w, 11*j - 6*j + w = 345. Is 20 a factor of j?
False
Let o = 5 - 19. Let k = o - -89. Is k a multiple of 25?
True
Suppose 3*g + 2*d - 4*d = 120, -d = -g + 39. Is g a multiple of 14?
True
Suppose -5*a - 5*n + 140 = 0, -3*n = -0*a + 4*a - 117. Is 10 a factor of a?
False
Is 7 a factor of ((-130)/52)/((-2)/20)?
False
Suppose -2*b - 2*b = 0. Suppose b = -h + 2*h - 3. Does 3 divide h?
True
Let i(v) = -45*v - 1. Suppose -4 = 4*u - 0. Let m be i(u). Let p = 70 - m. Does 13 divide p?
True
Let b(h) = h**2 + 2*h + 3. Let z = 0 + 5. Let x be b(z). Let s = 74 - x. Is 16 a factor of s?
False
Let x be 1 + (-2 - 0) - 29. Let n = -13 - x. Does 17 divide n?
True
Suppose 0 = 4*x + 43 - 115. Is 9 a factor of x?
True
Let h(x) = -x**3 - x**2 - 2*x + 4. Is h(-3) a multiple of 6?
False
Let l be 8 - 1 - 0/6. Let p = l - -8. Is 15 a factor of p?
True
Let h be 2/3*2*3. Suppose 5*l + h*z = -z - 5, -13 = l + 5*z. Suppose -s + 24 = l*u + s, 5*u - 20 = 3*s. Does 3 divide u?
False
Suppose 3*y + 12 = 3*r, -2*r - 5*y + 3 - 2 = 0. Suppose 0*d - 2*d = -3*n - 10, 5*n + 15 = r*d. Is 3 a factor of d?
False
Let n(l) = -10*l - 13. Is 38 a factor of n(-6)?
False
Let l be (-5)/2*24/(-15). Does 11 divide l/(24/33)*2?
True
Let h = 8 + 9. Is h a multiple of 12?
False
Suppose -4*c + 40 = -0*c. Let o = c - 0. Is 5 a factor of o?
True
Let h(c) be the third derivative of -c**5/60 + 11*c**4/24 + 4*c**3/3 + 2*c**2. Let g be h(7). Suppose -7*i + g = -3*i. Is i a multiple of 9?
True
Suppose 933 = -5*p + 8*p. Does 26 divide p?
False
Suppose -279 = -5*i + 4*s + 99, -s = -2*i + 150. Suppose -5*a + 250 = -0*a. Let l = i - a. Is l a multiple of 12?
True
Let l(c) be the first derivative of 5*c**2/2 - 2*c - 1. Let v be l(7). Let u = v - 23. Does 10 divide u?
True
Let o = 107 + -17. Does 3 divide o?
True
Let d = -43 - -65. Suppose -4*o + 2*o = -d. Does 11 divide (-1 - 0)/((-1)/o)?
True
Let u(z) = -z**2 - 7*z - 2. Let n be u(-6). Suppose n*r = -r. Suppose -4*q - 2*y + 110 = r, -4*q + 4 = -4*y - 100. Is 21 a factor of q?
False
Does 9 divide (-3)/(-6)*(-5 - -51)?
False
Is 181/((-9)/(-15) + 2/5) a multiple of 37?
False
Let u = -3 + 5. Let x = u - 0. Is 12 a factor of (-2 + x - -1) + 15?
False
Suppose -2*y + 10 = -4*z - 46, 2*y + 2*z = 62. Is 10 a factor of y?
True
Is 9 a factor of 70 - (2 + -6 + 2)?
True
Does 22 divide (-40)/(-140) - (-4924)/14?
True
Suppose -3*x + x = t - 20, -3*t + 60 = 2*x. Let o = 16 + t. Does 16 divide o?
False
Let p(m) = -m**2 + 9*m - 12. Let u be p(9). Let d = -1 - u. Does 9 divide d?
False
Let r be (-50)/4 + 15/10. Let l = 52 - r. Does 20 divide l?
False
Suppose -29 = -2*l + 5*g + 23, 5*g - 78 = -3*l. Does 10 divide l?
False
Let m = -60 + 110. Is m a multiple of 10?
True
Let s(i) = i**2 + 5*i - 10. Is 14 a factor of s(-8)?
True
Let y(c) = c**3 - c**2 + 60. Let w be y(0). Suppose -3*k + w = -k. Is 10 a factor of k?
True
Let y(t) = t**2 - 7*t + 6. Let l = 24 + -15. Is 12 a factor of y(l)?
True
Does 9 divide (54/(-2))/(9/(-24))?
True
Let f(o) = o**2 - 11*o + 5. Does 11 divide f(-5)?
False
Let a = 30 + 51. Does 50 divide a?
False
Suppose -5*z + 18 = -2*o, -3*z - 6 = 2*o - 20. Suppose -a = -5*f + 95, -z*f = -4*a + 2*a - 82. Is 18 a factor of f?
True
Let z(q) be the first derivative of -2*q**2 + 3*q - 1. Let c be z(4). Let t = 7 - c. Is 7 a factor of t?
False
Suppose 3*t = 47 + 31. Does 11 divide t?
False
Let z = -15 - -35. Does 20 divide z?
True
Let w be (-3)/(-6)*-1*0. Suppose w = 2*y + 2*y - 48. Is 5 a factor of y?
False
Suppose i = 3*i. Suppose 5*o = -b - i*b + 34, 2*b - 3*o = 29. Does 17 divide b?
False
Does 8 divide (-4)/3*(-99)/6?
False
Let x(d) = -11*d**2 + d + 17*d**2 - 1 + 17*d**2. Suppose 2*o = -4*v + 6, -4*o - 2*v - v = -7. Is 14 a factor of x(o)?
False
Suppose 150 = t + 2*t. Suppose q - t = -16. Let z = -8 + q. Does 13 divide z?
True
Suppose -7*p + 276 = -3*p. Is p a multiple of 10?
False
Let y be ((-8)/6)/((-6)/9). Let k(q) = 3 + 4*q**2 - 5*q**2 + y*q**2 - 3*q. Is 12 a factor of k(7)?
False
Let q(m) = 4*m**3 + 5*m**2 + 2. Let o(n) = -n**3 - 2*n**2 - 1. Let g(z) = -7*o(z) - 2*q(z). Let a be g(4). Is 11 a factor of (-11)/a*(-2 - 1)?
True
Let g be 1*1/2*2. Let o be -14 - g*(-2 + 0). Is 7 a factor of (-88)/o - 1/3?
True
Let c(h) = 10*h**2 - 3*h. Let b(q) = q**3 + 12*q**2 - q - 9. Let i be b(-12). Is 22 a factor of c(i)?
False
Let t(p) = 6*p**2 - 3*p + 4. Suppose 2*w - 2*y + 18 = -6*y, -3*y = 2*w + 17. Let s(r) = -13*r**2 + 5*r - 7. Let z(l) = w*t(l) - 4*s(l). Does 7 divide z(1)?
False
Is (1*17 + (-15 - -11))*2 even?
True
Suppose -3*p + 0*p = -4*f + 11, -5*p - 5*f = -40. Suppose 0*q + 2*q + p*x = -12, x + 4 = q. Let r = 15 + q. Is r a multiple of 15?
True
Let b(l) = -l**2 - l + 468. Let n be b(0). Suppose -3*i = i - n. Suppose -5*q + i = u, -3*q - u = 2*u - 63. Is q a multiple of 9?
False
Let u(o) = o**3 + 4*o**2 - 4*o - 12. Let m be 1 + 5/(5/(-9)). Let d be u(m). Is 9 a factor of 1/4 + d/(-16)?
False
Let j = -89 - -50. Suppose 0*k - 2*k - 112 = 0. Let z = j - k. Is 12 a factor of z?
False
Suppose 4*i = -5*n, -4*n = 10 + 6. Suppose -y = i - 18. Is y a multiple of 2?
False
Let d be (2/(-6))/(4/(-84)). Suppose d*v = 6*v + 23. Is v a multiple of 9?
False
Suppose -h = 4*y + 8, -2*y = 4*h + 15 + 3. Let n(z) = -19*z - 12*z + 6*z + 1. Does 11 divide n(y)?
False
Suppose -3*v = -55 + 10. Suppose 4*q - 20 = -3*i, 2*i + 2*q = -q + v. Suppose i = -3*t + 5*t - 64. Is 16 a factor of t?
True
Let c(j) = -91*j - 1. Let v be c(-1). Suppose 4*s = v + 78. Is s a multiple of 16?
False
Suppose 8 = -3*p + p. Let h(m) = 2*m**2 + 4*m + 4. Does 20 divide h(p)?
True
Let y = 117 - 63. Does 6 divide y?
True
Suppose -s = -l, 2*s - s - 3*l = -10. Suppose k + 252 = s*k. Is k a multiple of 15?
False
Let f = 117 + -62. Let x = -20 + f. Does 18 divide x?
False
Let y = -1 + 2. Suppose 2*c + 7 = y, -2*w + 8 = -2*c. Does 10 divide w - (-5)/((-10)/(-42))?
False
Let h = -2 - -4. Suppose 4*p - 75 = h*c + 135, 3*c = 15. Let s = p - 39. Does 14 divide s?
False
Let l(s) = -5 + s - 5*s + 3*s + 3*s. Does 11 divide l(8)?
True
Does 14 divide 65/4 + 7/(-28)?
F