se -u - 4 = 5*r - 3, -3 = -u - r. Let c be (-6)/u*(-230)/15. Suppose -g + 0*g + c = 0. Is 23 a factor of g?
True
Is (3/18*122)/((-1)/(-3)) a multiple of 45?
False
Suppose 2*u - 2*z + 1030 = 6*u, -2*z = -6. Is 51 a factor of u?
False
Suppose 3*b - b - 266 = 0. Does 19 divide b?
True
Let x(t) = -2*t**2 - 2*t - 3. Let m(j) = -j**2 - j - 4. Let p(l) = 3*m(l) - 2*x(l). Suppose 5 = u + 5*v - 3, -u - v = 4. Is p(u) a multiple of 18?
True
Let t(k) = 7*k**2 + 12*k + 17. Is t(-5) a multiple of 33?
True
Let j = -157 + 222. Suppose j = w + 11. Suppose -2*n + 26 = 3*x, 3*n + n - w = -5*x. Is n a multiple of 7?
False
Is 9 a factor of 2/((-8)/(-36))*3?
True
Let u = 9 - 4. Is u a multiple of 5?
True
Let b be (2/(-4))/((-3)/(-6)). Is 9 a factor of (50 - -4)*b/(-2)?
True
Suppose 0 = -p - 2*t + 152, -p + 3*t = 3*p - 608. Is 38 a factor of p?
True
Suppose 86 = -5*g + 2*d, -3*g + 6*g = 5*d - 63. Let b = g + 61. Suppose 9*x - 4*x + 35 = 5*o, b = 3*o + 3*x. Is o a multiple of 5?
False
Let t(a) = 2*a**2 + 4*a - 10. Is 35 a factor of t(4)?
False
Let j = -13 - -28. Is j a multiple of 15?
True
Let h(x) = x**2 - 23*x + 49. Is h(25) a multiple of 33?
True
Let q(f) = -7*f**3 - f**2 - 2*f - 2. Let k be q(-2). Suppose 3*v = -v + s + k, 4*v = -5*s + 42. Is v a multiple of 13?
True
Suppose -3*m - 2*u + 101 = 2*u, -5*m + 151 = -2*u. Does 9 divide m?
False
Let b(h) = -3*h + 3. Let l(v) = v - 1. Let d(w) = -2*b(w) - 2*l(w). Let r = -2 - -7. Is d(r) a multiple of 8?
True
Suppose 3*m - x - 275 = 0, 4*x + 145 - 35 = m. Does 15 divide m?
True
Let y(p) = -47*p - 49. Does 21 divide y(-9)?
False
Let u = 7 - 16. Let d = u - -13. Suppose -8 - 12 = 4*i, 0 = d*w + 3*i - 109. Does 11 divide w?
False
Suppose 150 - 6 = 3*y. Does 8 divide y?
True
Let v be (-6)/(1*-3) + 0. Let y(u) = -u**2 + 2 - u**v - 6*u + 3*u**3 - 2*u**3. Does 5 divide y(4)?
True
Let t = 6 + -7. Is (-3 - 5)/2*t a multiple of 3?
False
Let x be (6 - 0) + (2 - 3). Let q be -6*(x/(-3) - -1). Suppose 3*a - 2*k - 90 = -5*k, -q*k = 0. Does 13 divide a?
False
Let p(i) = 2*i**2 - 4*i - 8. Let u be -5*(1 + (-3 - -1)). Is p(u) a multiple of 22?
True
Let z be -3 + 6/((-3)/(-3)). Suppose 3*d + 5*h - 56 - 53 = 0, 4*d - 149 = -z*h. Is 13 a factor of d?
False
Is 9 a factor of (4/6)/((-16)/(-216))?
True
Let s be 2/(-5) + (-4)/(-10). Let q(h) = h**2 - h + 15. Let y be q(s). Suppose 59 = 2*i - y. Is i a multiple of 14?
False
Let v = 3 + -5. Does 19 divide ((-1 + 20)*v)/(-2)?
True
Suppose o - 3*o + 33 = -3*q, 0 = o + 3*q - 3. Is o a multiple of 3?
True
Let l be 0*3/6 + 5. Let d(p) = -4 - 5*p - 3 - 4 + l*p**2 + p**3 + 6*p**2. Is 29 a factor of d(-11)?
False
Suppose 0 = -4*z - 3*d - 63, -d - 4*d - 85 = 5*z. Let c(b) = b**3 + 11*b**2 - 18*b - 8. Is 31 a factor of c(z)?
False
Suppose 4*z - 629 + 212 = -c, 4*z = -2*c + 414. Suppose -21 + z = 3*j. Suppose 0 = -2*o - 0*o + j. Does 6 divide o?
False
Let h = 50 + -36. Is 5 a factor of h?
False
Let q(v) = 13*v**2 + v. Is q(-1) a multiple of 4?
True
Is (30/(-25))/(3/(-70)) a multiple of 7?
True
Let d = 112 - 80. Suppose l = -0*l + d. Let c = l + -18. Does 8 divide c?
False
Let t = -19 - -22. Suppose t*r = -k + 56, 6*k = 2*k + 4*r + 144. Is 18 a factor of k?
False
Let q = -2 + 5. Suppose q*a - 2*j = 17, a - 30 = -4*a + 5*j. Suppose i + 0 - a = 0. Is i a multiple of 5?
True
Let v = -4 - -7. Suppose -v*q = -q + 8. Let l = 7 + q. Is 3 a factor of l?
True
Let p = 118 - 86. Is 21 a factor of p?
False
Let r be 3/(-2)*(-4)/2. Suppose 5*c - 84 = r*c. Suppose 0*h + 3*h = -2*s + c, 2*h - 4*s - 44 = 0. Is 16 a factor of h?
True
Suppose 66 = 2*h + u, 3*h + h - 4*u - 120 = 0. Is h a multiple of 10?
False
Let r = 9 + -5. Suppose 0 = -2*a - 3*o - 0*o - r, -3*o = 12. Is a + -3 - 1*-43 a multiple of 18?
False
Let j = -109 - -185. Is 20 a factor of j?
False
Let b = -91 - -91. Let t be 12*(-1)/(-3)*2. Suppose b = -l + 3*p - 6*p + t, 3*p - 28 = -5*l. Is 2 a factor of l?
False
Let p(c) = -1 + 1 - 6*c + 4 + 0. Does 11 divide p(-3)?
True
Let j(s) = s**2 + 10*s - 9. Suppose 8*i - 5*i = -39. Is 15 a factor of j(i)?
True
Let r = 7 - 6. Let o(q) = 42*q. Let y(v) = -6*v. Let c(j) = -5*o(j) - 36*y(j). Is c(r) a multiple of 3?
True
Suppose 4*y - 20 = -8. Is y a multiple of 3?
True
Let s = -30 + 42. Is s a multiple of 6?
True
Let w(b) = 22*b. Let i be w(3). Suppose -6 = 2*x - i. Is 10 a factor of x?
True
Suppose -2*r + 1366 = 2*l, 2*r = -2*l + r + 1368. Suppose 4*d - l = -169. Suppose f - d = -2*f. Is f a multiple of 19?
False
Let a = 59 + 166. Is a a multiple of 25?
True
Let w(t) = 6*t + 7. Is w(0) a multiple of 4?
False
Suppose -41 = 3*h - 9*t + 4*t, 3*t + 33 = -3*h. Let z = h - -15. Is z a multiple of 2?
False
Let l(h) = 3*h**2 - h - 4. Let y be l(3). Let i = -27 + 363. Is i/y + 1/5 a multiple of 8?
False
Is (-4)/(-28) - 174/(-7) a multiple of 9?
False
Let b(z) = z + 8. Let s be b(-6). Is 4 a factor of -1 + ((-30)/(-3))/s?
True
Let c(d) = -d**2 - d. Let u be c(-1). Suppose -2*t + 10 = 3*l, u + 6 = l - 2*t. Suppose 94 = l*s + 30. Does 8 divide s?
True
Suppose -6*c + c = -10, 4*l + 3*c = 278. Is 17 a factor of l?
True
Let j = -65 - -145. Does 8 divide j?
True
Is 12 a factor of (-11)/55 - (-332)/10?
False
Suppose -x + 363 = 3*y, 2*y + 26 - 258 = -4*x. Is 61 a factor of y?
True
Suppose -g = g - 88. Suppose 0 = 6*q - 7*q + g. Is 24 a factor of q?
False
Suppose -2*b = -2*t - 212, 2*b - t - 409 = -2*b. Suppose 4*p = f + 140, 5*p - 4*f - 85 = b. Does 17 divide p?
True
Let b = -23 + 43. Is 4 a factor of b?
True
Suppose 5*w + 15 = 8*w. Suppose -42 = -t - w*p, 4*t - p - 130 - 143 = 0. Does 16 divide t?
False
Suppose -6*b + b = 0. Suppose b = v - 0 - 3. Suppose 4*g - 19 = 4*u - v, u = 3. Does 7 divide g?
True
Let y be 4/10 - (-1984)/40. Suppose -y = -0*s - 5*s. Does 9 divide s?
False
Let x = 1 + -3. Let u = 173 + -2. Is x/3*u/(-6) a multiple of 8?
False
Let y(d) = 2*d + 8. Is y(6) a multiple of 13?
False
Suppose 2*y = -p + 27 + 7, 3*y = 5*p - 170. Is 8 a factor of p?
False
Let z(m) = -m**3 - 10*m**2 + 15*m + 25. Is z(-12) a multiple of 21?
False
Is 3 a factor of (-1611)/(-33) + (-2)/11*-1?
False
Suppose 2*f - 4*y = 12, -3*y = f - 6*y - 4. Is 7 a factor of f?
False
Let z(v) = -v**3 - 5*v**2 - v - 4. Let q be z(-5). Let s(t) = 34*t. Let i be s(q). Suppose -4*r = -38 - i. Is r a multiple of 9?
True
Let k be (-3)/(0 + (-6)/10). Suppose -p + 11 = -k. Does 12 divide p?
False
Suppose -3*t - x - 2 = 0, -t + 0*x - 9 = 2*x. Let f be -15 - (-1 + t - 0). Is 2 a factor of (-42)/f - (-1)/5?
False
Suppose 0 = -3*q - 4*q + 420. Does 14 divide q?
False
Let n(f) = -f**2 - 26*f - 56. Does 10 divide n(-15)?
False
Suppose -11*d = -15*d. Suppose d = -2*x - 15 + 63. Is 8 a factor of x?
True
Suppose s = -2 - 0. Is 11 a factor of s/9 + 598/18?
True
Let k(l) = l**3 + 13*l**2 + 12*l + 10. Is k(-11) a multiple of 12?
True
Let m be (-122)/(-12) + (-5)/30. Let z = 24 - m. Is 7 a factor of z?
True
Let b(o) = o**2 - 6*o - 6. Let l be b(8). Let v(j) = 3*j + 1. Does 16 divide v(l)?
False
Let h be 86/18 - (-12)/54. Let q(m) = 6*m + h - 8*m + m. Is q(-7) a multiple of 6?
True
Let u(m) = m**3 - 5*m**2 - 3*m + 2. Let y be u(8). Suppose p - y = 6*p. Let l = -19 - p. Is l a multiple of 7?
False
Suppose 3*h - 98 = h. Suppose 2*p + 5*x - 11 = 0, -4*p + 0*p - x + h = 0. Is p a multiple of 5?
False
Is 3416/(-84)*(0 + (-3)/2) a multiple of 13?
False
Let a(g) = 54*g**2 + g + 7. Is a(-2) a multiple of 13?
True
Suppose 2*d - 10 = 8. Is d a multiple of 2?
False
Let c(a) be the third derivative of a**4/12 - a**3/3 + a**2. Suppose d = y - 3 + 2, d = -4*y + 19. Is c(y) a multiple of 3?
True
Let m(a) = a**2 + 2*a - 1. Let v be m(-4). Let b be (v - 1)*(-1)/(-1). Suppose -4*l = 3*c - 53, 2*c + 34 = b*c - 2*l. Is c a multiple of 11?
True
Suppose -566 = -10*m - 56. Is 19 a factor of m?
False
Suppose -5*w - 564 = -11*w. Is w a multiple of 25?
False
Let y(s) = -2*s + 6. Does 9 divide y(-6)?
True
Let n be (-4)/(-5)*(2 - -3). Suppose -5*u - 2*f = -2*u - 109, -5*u + n*f = -211. Is 13 a factor of u?
True
Let d be (-4)/14 - 695/(-7). Suppose 0*b = -3*b + d. Is 12 a factor of b?
False
Suppose -5*d = -4*m + 2*m - 9, -d - 3*m + 12 = 0. Suppose d*g + 4*l = 96, -67 = -3*g + 3*l + 50. Does 12 divide g?
True
Let b(v) = -v**2 + 4*v + 2. Is b(2) a multiple of 3?
True
Let m(l) = 3*l - 12. Let g be 4*(-4)/(-3)*6. S