se 0 = f + 2*l - 50, 3*f + 5*l - 130 = 3*l. Is f a multiple of 8?
True
Suppose -3*v + 3 = -9. Suppose 0 = -4*k - 4*z + 32 + 36, 4*k - 84 = v*z. Suppose 2*p + 2*p + 5*h = -13, 3*p - 2*h - k = 0. Does 2 divide p?
False
Is 5 a factor of (-3)/(1 - (-56)/(-50))?
True
Suppose 3*v - 4*v + 67 = 4*x, 5*v - 251 = x. Does 17 divide v?
True
Let w(u) = u**2 + 2*u + 6. Let i be (2 - 0) + 1*-8. Is 10 a factor of w(i)?
True
Let v = 115 - 36. Is 6 a factor of v?
False
Let n = 42 + -91. Let p = -33 - n. Is 7 a factor of p?
False
Let u(w) = 2*w + 18. Is 10 a factor of u(6)?
True
Suppose -2*h + 72 = 2*h. Is 9 a factor of h?
True
Let o(p) = -2*p - 5. Let h be o(-9). Suppose 2*v + h - 45 = 0. Is v a multiple of 8?
True
Let b(s) = 4*s**2 + s - 2. Does 11 divide b(-2)?
False
Let i be 0/(-2 + 1 - -2). Suppose -4*u + 2 + 10 = i. Suppose u*a + 22 = 4*a - 2*l, -2*a = 3*l - 44. Is 10 a factor of a?
False
Let n(c) = c**3 - c**2 - c - 2. Let f be (-1)/(-1 - (-3)/6). Suppose 0 = 2*q + f*q - 12. Is n(q) a multiple of 13?
True
Let w(d) = 6*d**3 - d**2 + d. Let x be w(1). Suppose 0 = 5*n + 2*l + 27, -3*l + 5*l = -4*n - 22. Let y = x - n. Is 11 a factor of y?
True
Let o(v) = -9*v + 1. Let b be o(1). Is (-10 + 0)*12/b a multiple of 5?
True
Does 22 divide (0 - -1) + 63/3?
True
Let q = 7 - 9. Let d = 0 - q. Does 5 divide 23/d + (-3)/(-6)?
False
Let a be (9/(-6))/(3/6). Let o(d) = -4*d - 7 + 7. Is 6 a factor of o(a)?
True
Suppose 0 = -4*w + 2*w. Suppose 2*m = -2*m + 144. Suppose m = 4*t - w*t. Is 6 a factor of t?
False
Let m = 13 + 2. Suppose -m = 7*z - 2*z + 5*a, 3*a = 3*z - 21. Suppose 6*n = 5*y + z*n - 257, -2*y + 3*n = -107. Is y a multiple of 18?
False
Suppose 0*p + 20 = 5*p. Suppose -2*q - 2*i + 8 = -i, -p*i + 10 = -3*q. Suppose 3*k - 5*z = 7 - 21, -z = q*k - 8. Is 2 a factor of k?
True
Let s = 150 - 84. Is s a multiple of 32?
False
Suppose 0 = -y + t - 13, 3*t = -3*y - t - 46. Is 14 a factor of (y/4)/((-2)/24)?
True
Suppose -3*j - 5*d = -36, 5*d = -4*j - 5 + 48. Suppose j = 4*i - 9. Suppose 5*o + 4*a = 101 + 27, i*o = 4*a + 124. Does 14 divide o?
True
Let w = -67 + 155. Suppose w = g + 3*g. Is 11 a factor of g?
True
Let l(f) = -10*f - 38. Is 6 a factor of l(-9)?
False
Suppose 0 = -3*b - 4*u + 137, 2*b - 43 - 30 = u. Is b a multiple of 13?
True
Suppose y + 3*y - 24 = 0. Let t be 165/y + (-2)/(-4). Suppose 2*p = 6*p - t. Does 3 divide p?
False
Let b = -6 - -2. Let j = b - -6. Suppose j*m = y + 11, m - y - 12 = -5. Is 4 a factor of m?
True
Let l = 126 + -94. Is l a multiple of 16?
True
Let b(m) be the second derivative of m**3/6 + 18*m**2 + m. Is b(0) a multiple of 22?
False
Suppose 0 = -g - 4*g + 10. Suppose 3*w - 134 = -4*z, -g*w + 71 + 11 = -z. Suppose 0*y + 3*y - w = -4*d, -3*d + 28 = 4*y. Is d a multiple of 12?
True
Suppose -r + 12 = -8. Is 5 a factor of r?
True
Suppose 4*x = -8 + 20. Suppose 36 = -x*i - 12. Is (-3)/2*i/3 a multiple of 8?
True
Suppose -2*i + 83 = 2*i + 5*w, -3*w - 42 = -3*i. Does 17 divide i?
True
Let p = 29 - 7. Let x = 44 - p. Let j = x + 7. Is j a multiple of 14?
False
Let k = -4 - 2. Let g = -7 - k. Is g*((-15)/1 - 1) a multiple of 8?
True
Let v(t) be the first derivative of t**4/4 - 5*t**3/3 - t**2/2 + t - 3. Let d be v(5). Is (-232)/12*6/d a multiple of 14?
False
Is 14/42 - (-964)/6 a multiple of 17?
False
Let o be 1 - (1 + -1 - 0). Let v(h) = -h**2 - 8*h + 10. Let l be v(-9). Is l*(3 + -1) + o a multiple of 3?
True
Let t(h) = 2*h + 0*h - 8 + 2*h. Suppose 4*x = 41 - 9. Is 12 a factor of t(x)?
True
Let y(b) = -10*b - 4. Let s(v) = 30*v + 12. Let c(m) = -3*s(m) - 8*y(m). Let u(h) = h - 2. Let r be u(-4). Does 20 divide c(r)?
False
Let q(f) = f**2 - 5*f - 38. Is q(-13) a multiple of 49?
True
Let n = 0 + 2. Let q(f) = 23*f**2 + 5 - 6 - 3*f + n*f. Is q(-1) a multiple of 12?
False
Let y be 4*((-6)/(-4) + 1). Suppose -4*q = -2*p - 32, 7*q - 2*q - y = -5*p. Suppose -q*k + 65 = -k. Is 7 a factor of k?
False
Suppose -2*q = 3*j + 191 - 757, 2*q + 5*j - 570 = 0. Is 56 a factor of q?
True
Let b be 1/1 - (11 - 7). Let o(g) = -2*g - 3. Is 3 a factor of o(b)?
True
Is 2 a factor of ((-4)/(-4))/(-2)*-6?
False
Let v(i) = -7*i**2 + 2*i + 1. Let m be v(-1). Let k be (-11)/(-4) + 6/m. Is 16 a factor of 1/(-2) + 91/k?
False
Is 6 a factor of 11*(-1 + -4 - -14)?
False
Suppose 0 = -7*k + 2*k + 4*m - 552, 5*k + 3*m = -566. Let s = 177 + k. Suppose s = 4*v - 107. Does 16 divide v?
False
Let f = 28 + -24. Suppose c + c = 2*a - 18, 3*a - 28 = f*c. Is a a multiple of 3?
False
Let v(u) be the first derivative of u**3/3 + u**2/2 + 15*u - 1. Is 6 a factor of v(0)?
False
Let a be 1/(-2)*2 + 2. Let d be (5/3)/(a/(-3)). Is -2 + 1 - 45/d a multiple of 4?
True
Suppose 3*o + 11 = -q, 2*o + 30 = -4*q + 4*o. Does 6 divide (-1 - 23)*(-9 - q)?
True
Suppose -g + 8 = 2*y, -g = -3*g. Suppose 4*x - y*k = 3*x + 17, 0 = 5*x + 3*k - 16. Suppose x = o - 2*o, -103 = -3*p + 5*o. Does 13 divide p?
True
Let u(q) be the first derivative of -q**3/3 - 4*q**2 - 3*q - 1. Does 2 divide u(-7)?
True
Let b = 50 - -96. Is b a multiple of 48?
False
Let c(a) = -a**2 + 11*a + 11. Let z be c(11). Suppose -z = -2*j + 17. Does 14 divide j?
True
Let u(s) = -s + 36. Suppose 3*i + 12 + 15 = 0. Let g = 9 + i. Is u(g) a multiple of 18?
True
Let i(q) = -q**3 - 13*q**2 + 3. Let r be i(-13). Suppose -r*x = 9, 3*x - 5 = -2*j - 2. Does 2 divide (-4)/(-3)*27/j?
True
Let y be (-1)/(-3) - 66/(-18). Suppose 0 = 4*p + 3*h + 89, 0 = -2*h - y - 2. Let d = p - -42. Is 11 a factor of d?
True
Let g = -130 - -212. Suppose -4*h + g = -u - u, 3*u - 15 = 0. Is 23 a factor of h?
True
Let m(g) = 31*g + 1. Let n be m(1). Does 8 divide -1 + n + -1 + 2?
True
Let g be (-17)/(-7) + 8/14. Suppose g*u - 276 = -r, -5*u - 5*r + 513 = 53. Does 22 divide u?
False
Suppose c = -o + 5, -c = 3*o - 4 - 5. Suppose b = -c*r + 3*b + 94, 2*b - 130 = -5*r. Is (-12)/(-30) - r/(-5) a multiple of 5?
False
Let z = -36 - -71. Is 20 a factor of z?
False
Suppose 1 - 11 = 5*u. Does 9 divide 30/2 - (-5 - u)?
True
Let j(s) = -s**2 + 10*s - 8. Let f(h) = h. Let d(l) = f(l) - j(l). Let c = -1 + 12. Is d(c) a multiple of 18?
False
Suppose 0 = 2*b - 10, -2*b + 5 = -2*q + b. Suppose -3*g - 6 = -4*y + 7, q*g = -3*y + 17. Is y even?
True
Let i = -12 + 15. Suppose -i*g - 3 = r - 2*r, 0 = r - 4*g. Is 4 a factor of r?
True
Let z = 10 + -5. Is z a multiple of 5?
True
Suppose -3*a = a - 32. Does 2 divide a?
True
Suppose -3*o = -8*o + 15. Let s(r) = 0*r + r - 6*r**3 + 1 - r**2 - o. Is s(-2) a multiple of 20?
True
Suppose -r + 2 + 2 = 0. Let i(t) = t + 2. Let w be i(-7). Is (16/w)/(r/(-30)) a multiple of 10?
False
Let m be (-4)/14 - (-760)/14. Let s = -12 + m. Is 14 a factor of s?
True
Let u = -69 - -105. Let r = 2 - 0. Let z = u - r. Does 13 divide z?
False
Let c(k) = -2*k. Let j be c(1). Suppose 1 = 2*z + r, -5*z = -5*r - 0*r - 10. Is (-1)/j*z*26 a multiple of 5?
False
Let g(c) = 3*c. Let y be g(3). Let d(v) = -3*v**2 + 12*v**2 + 2*v**2 - 12*v - v**3 - 12. Does 14 divide d(y)?
True
Let u(q) = q**3 - 4*q**2 - 7*q + 7. Let p be u(6). Let x = p + -16. Let o = x - 9. Does 11 divide o?
False
Suppose v - 2*k = 6, 3*v + 6*k + 4 = k. Let d = 2 - 6. Is v - (d*1)/1 a multiple of 2?
True
Suppose 156 = -2*a + 900. Let u be (-15)/(-1)*(0 + -1). Is 2/10 - a/u a multiple of 15?
False
Let n(k) = 6*k - 1. Let z be n(-9). Let m = -10 - z. Let c = m - 13. Is c a multiple of 12?
False
Let y(i) = 3*i**2 + 7*i + 2. Let a be y(-7). Suppose -a = 2*c - 5*c - 4*f, -3*f + 152 = 5*c. Is 23 a factor of c?
False
Suppose -5*s + 10*z - 11*z = -905, -5*s + 2*z = -890. Is 20 a factor of s?
True
Suppose 42 = 2*g - 62. Does 13 divide g?
True
Let j = -7 + 12. Let u = j + 4. Does 3 divide u?
True
Let f(p) = -p**3 - 5*p**2 + 2*p - 2. Let r be f(-5). Let q = 25 + r. Is 13 a factor of q?
True
Suppose -n - 2 = -5*j, 10*j = 5*j + 10. Is 4 a factor of n?
True
Let n = 12 + 22. Let v = -20 + n. Is v a multiple of 8?
False
Let j = 15 - 12. Is j a multiple of 3?
True
Let d = -39 - -66. Does 5 divide d?
False
Let s(m) = m**2 - 14*m + 10. Let u be s(13). Does 4 divide (-18)/u - (-4)/(-2)?
True
Let u = -8 + 21. Suppose 9*r = u*r - 156. Does 14 divide r?
False
Let c be ((-6)/(-4))/(18/24). Suppose c*h = -h + 30. Does 5 divide h?
True
Suppose -4*y + 37 = 4*z + y, -5*z - 4*y = -35. Suppose 4*d - 136 = 2*k + z*k, 2*d + k = 68. Is d a mult