 -4*q = -3*n - 710, 3*q - 126 - 412 = 5*n. Is 35 a factor of q?
False
Let w = 21 - 13. Suppose m + w = 1. Let s = 11 - m. Is s a multiple of 9?
True
Let u = 8 - 3. Suppose -u*s = 2*p - 2 + 6, -s + 2 = 0. Let i = 30 + p. Does 8 divide i?
False
Suppose -10 = 5*z + 115. Let d be ((-9)/(-5))/((-5)/z). Suppose -4*m + m = -d. Is m a multiple of 2?
False
Let n = -7 - -10. Let v(i) = 3*i**3 - 4*i**2 + 3*i - 2. Let o be v(2). Suppose 12 = n*h - 0, 4*h = 2*p + o. Does 2 divide p?
True
Let h(y) = -4*y - 2. Let j be h(-5). Let i = 8 + j. Is 20 a factor of i?
False
Let u be ((-217)/(-21))/((-1)/3). Let p = 61 + u. Is p a multiple of 14?
False
Suppose 3*p = 4*p. Let t(w) = w + 36. Is 18 a factor of t(p)?
True
Suppose -723 = -4*q + 4*l + l, -5*q + 907 = -3*l. Suppose 4*d + 258 - 50 = 5*x, q = 4*x + 2*d. Does 11 divide x?
True
Suppose -124 = -l + 4*a + 6, -5*l + 682 = -4*a. Is 9 a factor of l?
False
Let y = 182 + -56. Is 16 a factor of y?
False
Suppose -4*h - 5*b - 189 = -5*h, b + 5 = 0. Suppose -h = -5*o + 1. Does 14 divide o?
False
Let v be 3 + -3 - (-1 + -2). Let h(f) = -f**3 - f. Let q(g) = -6*g**3 + g**2 - 8*g - 2. Let s(x) = 5*h(x) - q(x). Is s(v) a multiple of 17?
False
Suppose 12*y - 8*y = 320. Does 16 divide y?
True
Let q(d) = 24*d - 4. Does 18 divide q(6)?
False
Suppose -7*o + 50 = -2*o. Suppose -5*p + o = 0, j + 142 = 4*j + 2*p. Is j a multiple of 15?
False
Let y(c) = -c**3 + 7*c**2 - 2*c + 2. Let k be y(7). Let s = -79 - -47. Let b = k - s. Is b a multiple of 11?
False
Suppose -j + n + n = 4, 4*j - 2*n + 10 = 0. Is 4 a factor of (-5 + -3)/(j/4)?
True
Suppose -3*k + 3*r - 8*r + 62 = 0, r - 46 = -2*k. Let z = k - 0. Is 12 a factor of z?
True
Suppose -4 = -4*c + 20. Let i(d) = c - 2 + 3*d - 2. Is 6 a factor of i(4)?
False
Suppose -4*w - 149 + 405 = 0. Let b = w - 4. Is b a multiple of 26?
False
Let c(s) = s - 1. Let i be c(2). Let o(v) = -2*v**3 + v**2 - v. Let y be o(i). Does 5 divide (y/4)/((-2)/20)?
True
Suppose -4*m + 73 = 21. Does 13 divide m?
True
Let w(k) = k**2 - 7*k + 9. Let u be w(6). Suppose -u*r + 88 = 5*c, 0 = -4*r - 5*c + 28 + 81. Suppose -6 = 3*b - b, 5*b + r = o. Is 2 a factor of o?
True
Let l be (-1)/(-2) + 519/6. Let s = 165 - l. Does 26 divide s?
True
Suppose -5*x = -3*o + 23 - 120, -4*o + 4 = 0. Is x a multiple of 10?
True
Is (1 + -2)/(9/(-1053)) a multiple of 39?
True
Let s = -48 + 71. Let b(p) = -3*p + 5. Let q be b(4). Let l = q + s. Does 16 divide l?
True
Let l = -15 - -9. Let c = l - -10. Suppose -s + 66 = 3*s - t, 0 = -c*s + 4*t + 60. Does 14 divide s?
False
Let c = -1 + 11. Let m = c - -4. Is m a multiple of 7?
True
Suppose -2*m + 3 = -m. Suppose 0 = m*u - 2*u - 20. Does 10 divide u?
True
Suppose 0 = 8*s - 514 + 42. Let g = -30 + s. Does 12 divide g?
False
Suppose 5*y - 186 = -4*w, -2*w + 5*y + 110 = 2. Is 10 a factor of w?
False
Let h(s) = -12*s - 4. Let q be h(4). Suppose 0 = -3*v + 3*j + 30, 5*v + j = 18 + 26. Is q/(-3)*v/6 a multiple of 16?
False
Let d be (5 + 0)*8/(-20). Is d/((2/1)/(-4)) a multiple of 2?
True
Let g = 17 + 9. Does 6 divide g?
False
Is 3 + -1 - 100/(-4) a multiple of 19?
False
Suppose -3*t + 9 = 3. Suppose -t*o + 4*j - 8 + 4 = 0, 5*j = -3*o + 49. Does 4 divide o?
True
Let s(x) = -4*x + 8. Is 4 a factor of s(-9)?
True
Let v be (243/36)/((-3)/40). Is (15/6)/((-3)/v) a multiple of 25?
True
Let x(u) = -45*u**2 + 2*u - 5. Let h(g) = -46*g**2 + 2*g - 4. Let d(w) = -6*h(w) + 5*x(w). Let a be d(-1). Suppose 0 = -4*c + 204 - a. Does 18 divide c?
False
Suppose -4*f = -2*o - 666, 457 = 3*f + 2*o - 32. Is (-2)/(-8) + f/12 a multiple of 7?
True
Let h be 18/3 - 2 - -1. Suppose -h*f + 27 = -4*f. Is 9 a factor of f?
True
Let g(k) = -11*k - 3. Suppose 0 = 3*h + h + 8. Does 15 divide g(h)?
False
Suppose 3*y = -7 - 14. Let r(p) = -3*p**2 - 7*p. Let s(x) = 7*x**2 + 15*x + 1. Let u(w) = -5*r(w) - 2*s(w). Is 12 a factor of u(y)?
True
Suppose -k + 6 = k. Suppose 33 = k*l - 12. Does 15 divide l?
True
Suppose 83 = -4*o + 5*o. Is 19 a factor of o?
False
Let h be -5*(-2)/2 + -1. Suppose -t - h*b - 9 = 0, 0*b - 10 = 2*b. Is t a multiple of 11?
True
Suppose 3*o - 7*o = 0. Let u(p) = -p**3 + p**2 + 21. Is u(o) a multiple of 14?
False
Let x(d) = 13*d**3 + 2*d**2 - d + 1. Is x(1) a multiple of 4?
False
Suppose 56 = f + 4*g - 9*g, -2*g - 134 = -4*f. Suppose -18 = 2*y - 5*j, -3*y - 77 = 5*j - 0*j. Let w = f + y. Is w a multiple of 8?
False
Let c = 6 - 2. Suppose 0 = -5*o + 5*l - 51 + 271, 2*o + c*l - 76 = 0. Is 23 a factor of o?
False
Suppose y - 37 = -0*y. Let k = y + 7. Is 16 a factor of k?
False
Suppose -y = -1, -20 + 6 = -2*l - 4*y. Is l a multiple of 2?
False
Suppose -4*i - 247 = -1531. Is 28 a factor of i?
False
Let d(i) = 2*i**2 + 9*i - 6. Does 36 divide d(-10)?
False
Suppose -970 = -5*f - 2*a, -2*a - 90 - 92 = -f. Suppose 3*u = -y + u + 48, 4*y + 5*u = f. Suppose 5*d - 3*d = y. Does 17 divide d?
False
Let z(y) = -53*y**3 + 2*y**2 - 1. Does 18 divide z(-1)?
True
Suppose 374 = 4*k - 90. Does 29 divide k?
True
Let r be 0 + 0 + 0 + 126. Let w = r + -90. Let f = -8 + w. Is f a multiple of 14?
True
Let g be 3*2*1/(-3). Suppose 4*v - 9 = 3. Let b = v - g. Is b a multiple of 5?
True
Is ((-726)/(-7) - 1) + (-138)/(-483) a multiple of 26?
False
Suppose -1 = -v + 4, -2*v = 2*y. Let i = 1 + y. Is 17 a factor of (2/i)/((-4)/152)?
False
Let h = 30 - 22. Does 4 divide h?
True
Suppose h + h = 0. Let f be 66 - (h/(-2))/2. Let p = -40 + f. Is 13 a factor of p?
True
Is (-146)/(-5) - 5/25 a multiple of 29?
True
Let g be 2*-1*(-10)/4. Let d = g + 12. Is 17 a factor of d?
True
Let m be (-20)/25*-1*5. Suppose m*d - 60 = 2*d. Is 10 a factor of d?
True
Let a be 7/(-21) - (-62)/(-3). Let l = 36 + a. Is l a multiple of 15?
True
Let v be (-22 - 0) + -1 + 2. Let j be (-44)/(-6)*v/(-14). Suppose -1 = -2*u + j. Is u a multiple of 6?
True
Suppose 2*a = l + 5, a + 3*l + 11 = 5*a. Suppose -5*y - a*q + 6 + 210 = 0, -2*q - 136 = -3*y. Is 22 a factor of y?
True
Suppose -p - 3*t = -127, -3*p + 2*t - 254 = -5*p. Suppose -51 = 4*y - p. Is y a multiple of 12?
False
Let o(t) = -t**3 - 6. Let m be o(0). Is 14 a factor of -3*8/m*7?
True
Suppose g - 163 = -4*a, -3*a + 480 = 3*g - 0*a. Is g a multiple of 12?
False
Does 29 divide (45/(-5))/((-9)/174)?
True
Suppose -6*t + 3*t - 5*s - 37 = 0, 4*t = -2*s - 26. Is -22*(-3 + (-10)/t) a multiple of 5?
False
Let l = -26 + 58. Is 10 a factor of l?
False
Let r(d) = -4*d**2 + 8*d + 4. Let f = 6 + -11. Let n(c) = 3*c**2 - 5*c - 3. Let o(j) = f*r(j) - 7*n(j). Is 7 a factor of o(-3)?
True
Let i = 159 + -14. Does 29 divide i?
True
Let a = -20 - -86. Suppose a = 5*r + 6. Does 3 divide r?
True
Let i(y) = y**2 - 5*y - 1. Let z be i(5). Does 3 divide (-98)/(-12) - z/(-6)?
False
Suppose -6*a = -4*s - a + 16, -4*a - 20 = -5*s. Suppose s = -j + 19. Does 4 divide j?
False
Let n be 12/(-5)*(-40)/(-6). Let c = 26 + n. Is 5 a factor of c?
True
Suppose 4 - 9 = -5*d - b, b = 4*d - 13. Suppose -111 = -d*w - w. Is 14 a factor of w?
False
Let v(b) = -2*b**3 - 4*b**2 - 3*b - 1. Let q be v(-2). Suppose 4*l = 3*l + 4*d + 54, -153 = -4*l - q*d. Suppose -4*a + a = -l. Does 14 divide a?
True
Let x(m) be the second derivative of 11*m**3/6 + 3*m**2/2 - 6*m. Is 9 a factor of x(3)?
True
Suppose -3*x + 6 = -3. Suppose -4*i + c + 7 = -5, -i = -x*c + 8. Suppose 5*a + 3*s = 5*s + 183, 2*a = -i*s + 54. Is 15 a factor of a?
False
Suppose d = -4*y - 0*y + 45, 5*y - 70 = -4*d. Let m be 11/5 - 1/5. Suppose m*p + 0 = y. Is 4 a factor of p?
False
Let p(d) = -d**3 - 2*d**2 + 2*d - 5. Let n be p(-6). Suppose m - 4*q = -q + 57, 0 = -3*m - 2*q + n. Does 15 divide m?
True
Let r(i) = 31*i**2 + 2*i + 1. Suppose -5*j = -20, 16 = 3*o - 0*o + 4*j. Suppose 0*l - 3*l - 3 = o. Is r(l) a multiple of 15?
True
Suppose 5*g = 1751 + 209. Is 57 a factor of g?
False
Let j = -11 - -11. Suppose j = 5*q + g - 155, q - 13 = 3*g + 2. Does 15 divide q?
True
Suppose -q + 3*k = -4*q + 9, -3*q + 9 = k. Let f(i) = 1 + q - 2*i - 2. Does 3 divide f(-2)?
True
Let s = 215 + -95. Suppose -5*g = -5*x + s, x + g = -0*g + 20. Is 10 a factor of x?
False
Let v(j) = -j**2 + 14*j - 6. Is v(9) a multiple of 13?
True
Suppose -5*f = 4*o - 120, -f + 10 + 21 = o. Suppose -5*q = 3*i - o, -2*q - 1 = -3*i + 6. Suppose 5*w = -0*x + 2*x + 168, 0 = -4*x + q. Does 17 divide w?
True
Let g be (-1 + 3)/((-10)/(-15)). Suppose 