1. Suppose -2*w = -6*p + 2*p - 86, -w + 43 = -z*p. Is w a multiple of 25?
False
Is 12 a factor of 1275/68 - (-3)/(-4)?
False
Suppose u + 26 - 114 = 0. Does 6 divide 6/15 + u/5?
True
Suppose 0 = -0*z + z - 36. Let h be 16/9 - (-8)/z. Suppose -p + 13 = 2*w, -2*p - 3*w + h = -4*p. Is 3 a factor of p?
False
Let d(l) = 3*l**2 - 1. Let u be d(2). Let i = u - 5. Does 18 divide 4/i*-3 + 38?
True
Let l(u) = -u**2 - 10*u + 19. Let n be l(-13). Let i be (-57)/5 - (-2)/5. Let m = i - n. Is m a multiple of 9?
True
Let c(d) = -3*d**3 - 2*d**2 + d - 2. Does 3 divide c(-2)?
True
Suppose -4*n - 16 = 8. Let s(i) = -9*i**2 + 3*i + 14. Let d(m) = 3*m**2 - m - 5. Let h(q) = n*s(q) - 17*d(q). Is h(1) a multiple of 3?
True
Let c be (-2)/5 + (-2952)/(-5). Let p be (-178)/8 + 1/4. Is 2/11 - c/p a multiple of 23?
False
Let f(b) = -3*b + 1. Does 5 divide f(-8)?
True
Let p = 4 + 4. Suppose x - p = -x. Suppose 0 = q + 2*o - 50, x = 4*o - 12. Is 18 a factor of q?
False
Let s be (2/(-3))/(1/(-6)). Suppose s*y = 51 - 7. Is 4 a factor of y?
False
Let s(p) = 31*p. Let k be s(2). Let g = k + -36. Is g a multiple of 13?
True
Suppose 3 = 2*c - c. Suppose 2*j - 356 = -c*j - 4*i, -3*j - 4*i + 212 = 0. Does 18 divide j?
True
Let u(w) = w**3 + 7. Is 7 a factor of u(0)?
True
Let f(g) = g**2 - 8*g + 9. Suppose -18 = -2*h - 3*j, -2*j = -5*h - 3*j + 45. Is f(h) a multiple of 18?
True
Is 5/(26/24 - 1) a multiple of 7?
False
Let v = 128 + -62. Does 11 divide v?
True
Is 2*1 - 198/(-11) a multiple of 10?
True
Suppose -5*w + 3*w = 2, -s + 5*w + 442 = 0. Is 19 a factor of s?
True
Let q(r) = -4*r - 15. Does 3 divide q(-6)?
True
Let j be 1/(-2)*6 + 5. Suppose p - 4*x = 24, j*x - 6 = -0*x. Is 18 a factor of p?
True
Suppose -5*o + 37 = 12. Suppose 4*r = -16, -6 = k + o*r - 3*r. Suppose 3*h - 4*d = -k*h + 42, 4*h - 27 = d. Is 6 a factor of h?
True
Suppose 5*m = -2*a + 7*m + 42, -4*a + 2*m = -82. Is 20 a factor of a?
True
Suppose z + 3*h = 2*z + 8, -z - 5*h + 32 = 0. Is z a multiple of 5?
False
Let y = -13 - -11. Does 22 divide 1/y*-2 + 21?
True
Suppose -3*v = -4*p - 8, 6*p = v + p + 1. Suppose 5*u = 2*s, 2*u + u + 28 = v*s. Suppose s = 3*g - 47. Is g a multiple of 10?
False
Let u = 75 + -39. Is 6 a factor of u?
True
Let y be (-5)/20 + 194/8. Suppose 8 = 2*j - y. Is 16 a factor of j?
True
Suppose -h + 13 + 9 = 0. Does 11 divide h?
True
Let g(y) be the first derivative of y**4/4 + 7*y**3/3 - 2*y**2 - 11*y + 1. Let m be g(-8). Is 2 a factor of m/(-9) + 12/54?
False
Is (-205 - 5)*(0 - 4/10) a multiple of 7?
True
Let t = 42 - 70. Let v = t + 46. Suppose 3*i = 5*w + 23, 0 = i + w - v - 3. Does 16 divide i?
True
Let r(a) = -18*a. Let m be r(-2). Suppose -2*b + m = b. Is 4 a factor of b?
True
Let m = -10 - -8. Let y be (-6)/m - (-2 - -1). Suppose y*n + n = 85. Is n a multiple of 12?
False
Let t be (-3)/((-3)/8) - 1. Does 7 divide t/((-14)/(-4)) + 15?
False
Does 13 divide (6/(-18))/(1/3) + 60?
False
Let p = 1 + -2. Suppose 0 = -5*n + 59 + 36. Is 7 a factor of n + -4 - 1/p?
False
Suppose 5*r = 2*c - 9 - 9, -c + 2 = r. Suppose -d = -l + 9, -9 + 1 = c*d. Is l a multiple of 4?
False
Let f = -6 - -9. Suppose f*d + d = -60. Is 13 a factor of (-110)/d*(-1 - -4)?
False
Let p(t) = t**3 - 7*t**2 + 7*t + 6. Let o be p(7). Suppose -2*b - 2*b - 52 = -5*l, -5*l + o = -5*b. Is l a multiple of 6?
False
Let f = 9 + -5. Suppose 5*w + 13 - 1 = f*x, w = 4*x - 28. Does 4 divide x?
True
Let c be (16/(-10))/((-10)/325). Suppose 4*q - 2*v - 46 = c, -5 = 5*v. Does 12 divide q?
True
Suppose -2*y + 12 + 8 = -2*b, 4*b + 55 = 5*y. Suppose -3*t = -6*t + y. Suppose t = 2*r - 9. Does 2 divide r?
False
Suppose 3*v + 0*v + d - 12 = 0, 6 = 2*d. Suppose 3*k = -6*m + 4*m + 135, 3*m + 120 = v*k. Is k a multiple of 13?
False
Let c(m) = -14*m**2 + 3*m + 5. Let g be c(4). Let i = -142 - g. Does 12 divide i?
False
Let l(c) = c. Let w be l(2). Suppose -3*y - 74 = -w*o - 252, 0 = y + 5*o - 65. Does 12 divide y?
True
Suppose 2*x + x - 9 = 0. Suppose -4*h + 7 - x = 0. Suppose -10 = -3*m - h. Is m even?
False
Suppose 2 = -3*f - 7. Let w be (-12)/(-8)*(-8)/f. Does 6 divide (w + -18)*2/(-4)?
False
Let t = 200 - 87. Is t a multiple of 16?
False
Let r(d) = -d**3 + 14*d**2 - 3*d + 3. Does 28 divide r(5)?
False
Is 15 a factor of 4/(56/(-7)) - 449/(-2)?
False
Let z(u) = u + 1. Let r be z(-6). Let n(y) = -y + 1. Let o be n(r). Suppose o*i - 120 = i. Does 12 divide i?
True
Suppose -6*w + 178 = -4*w - 2*m, 85 = w + 3*m. Is 8 a factor of w?
True
Let f(g) = -g**2 + 6*g - 5. Let t be 18/(-15)*(-20)/6. Does 3 divide f(t)?
True
Suppose m = -2 + 27. Does 5 divide m?
True
Suppose -3*a + 5 = -5*a + 3*k, 3*a - 5*k = -9. Let w be (a/(-3))/(1/15). Let m = w - -24. Is m a multiple of 9?
False
Let t(z) = -13*z + 2. Let a be t(-5). Let x = a - 44. Does 20 divide x?
False
Let s(h) = 8*h + 1. Let l(q) = q**2 + 4*q + 1. Let f be l(-4). Is s(f) a multiple of 4?
False
Suppose -6*f + f = 0. Suppose f = 2*s - 12 - 56. Is 17 a factor of s?
True
Let m be (3/(-6))/((-2)/20). Suppose 0 = m*z - 3*c + c + 95, 5*c + 4 = z. Let h = 31 + z. Does 5 divide h?
True
Let f = 22 + -9. Is f a multiple of 3?
False
Let n = -12 - -17. Suppose 5*w + 2*t = t + 28, 13 = n*w - 4*t. Suppose 0 = 2*h - w*q - 6 - 3, -h + 24 = 4*q. Is 6 a factor of h?
True
Suppose d = -m - 55, d + 115 = m - 3*m. Let v = -21 - m. Is 13 a factor of v?
True
Suppose 0 = o + 3*o - 8. Suppose -3*l - l = o*r - 84, 2*r - 52 = 4*l. Does 17 divide r?
True
Suppose -3*p = -4*x - 127 - 45, 0 = -4*p + x + 225. Does 9 divide p?
False
Let g(f) = f**3 + 13*f**2 - 16*f - 18. Does 10 divide g(-14)?
True
Let t(b) = -b**3 - 6*b**2 + 5*b + 10. Let f = 6 + -1. Suppose -3*u - f*z = 26, 2*z = -2*u - 0*z - 16. Does 12 divide t(u)?
True
Suppose -p - 2*s = -3*s - 50, -5*p - 5*s = -290. Does 6 divide p?
True
Let j be (-3)/((-6)/(-8)) - -5. Suppose 0 = a - 1 - 3. Does 4 divide j - 4/(a/(-5))?
False
Let r(b) = -b**3 + 14*b**2 + 19*b + 9. Does 23 divide r(15)?
True
Let f(d) = d**3 + 13*d**2 - 5*d - 3. Is f(-13) a multiple of 31?
True
Let p(g) = -4*g**3 - 3*g + 3*g**3 + 5*g - 7*g**2 + 2*g + 9. Does 7 divide p(-8)?
False
Let t(y) be the third derivative of 7*y**4/8 + y**3/6 - y**2. Let k(g) = -g. Let z be k(-1). Does 11 divide t(z)?
True
Let a(t) = t**3 - 14*t**2 + t - 11. Let h be a(14). Suppose h*b - 70 = -5*z, -4*z + 3*z = -4*b + 78. Does 10 divide b?
True
Let i(h) = -h + 1. Let d be i(7). Let p be (d/(-4))/((-3)/(-20)). Is 138*(-3 + p/3) a multiple of 20?
False
Does 16 divide 5/((-60)/(-8)) - 188/(-6)?
True
Suppose 0 = 4*o - 4*j - 139 - 457, 3*o = -4*j + 433. Is o a multiple of 27?
False
Suppose 3*x = -14 + 2. Does 20 divide x/(-2)*(-124)/(-8)?
False
Suppose 0 = -2*r - 45 + 5. Let h be (-2)/10 + (-4)/r. Is 1*(17 - h) + -2 a multiple of 7?
False
Suppose 0*h + 2*h - 156 = 0. Is 26 a factor of h?
True
Suppose 0 = -3*l - 11 - 7. Let p = 11 + l. Suppose 10*n - p*n = 105. Does 11 divide n?
False
Let w(d) = -d - 2. Let v(p) = -p - 2. Let o(u) = 7*v(u) - 6*w(u). Let r be o(-6). Suppose -2*c + 42 + r = 0. Is c a multiple of 18?
False
Suppose 8 = -4*a - 0*a. Is (a/(-5))/(5/75) a multiple of 2?
True
Suppose 0 = 6*r - 7*r + 26. Is 20 a factor of r?
False
Let d(b) = -14 + b + 36 + 9 - 2*b. Is 10 a factor of d(0)?
False
Suppose -5*z = -2*s - 6, 0 = -3*s + z + 2*z. Suppose s*h = -h + 63. Does 5 divide (-4)/((-69)/h + 3)?
False
Suppose 0 = -5*w - 0*x + x - 22, -2*x - 6 = 0. Let n = w + 20. Is n a multiple of 15?
True
Suppose 3*w = 2*w + 4. Let c(t) = 2*t**2 - 2*t + 1. Does 15 divide c(w)?
False
Let i(p) = -7*p**2 + 10*p + 3. Let y(v) be the third derivative of -v**5/60 + v**4/24 - 2*v**2. Let r(z) = -i(z) + 6*y(z). Is r(5) a multiple of 2?
True
Let n(i) = i**2 + 5*i - 12. Let a be n(8). Let m(z) = -8*z + 5. Let r be m(-4). Let k = a - r. Is 12 a factor of k?
False
Let d = 0 - -2. Let a = d - -3. Suppose -a*x + 72 + 58 = 0. Is 13 a factor of x?
True
Suppose 5*u - 3*l - 29 = 1, 2*u - 5*l = 31. Let k be (4 + 2)*(-2)/(-6). Let h = u + k. Does 5 divide h?
True
Let k be -1*3*-19 - 0. Let w = -30 + k. Is 16 a factor of w?
False
Suppose 5*b - 3*c - 210 = -c, -b - 2*c + 30 = 0. Is 10 a factor of b/14*21/6?
True
Let g(a) = a**3 + 2 - 8*a**2 - 4 + 8*a - 3. Let p be g(7). Suppose j + 14 = p*j. Does 6 divide j?
False
Does 11 divide 37*5 + -7 + (-36)/(-4)?
True
Let u(y) = -8*y**3 -