 43*w + 92. Does 21 divide r(29)?
False
Is 20 a factor of ((-421 - -8) + 5)/(6/(-4))?
False
Suppose 12*p + 1201 = 4729. Is p a multiple of 39?
False
Suppose x + 7 = -5. Let c = x + 16. Suppose 50 + 94 = c*q. Does 17 divide q?
False
Suppose 8*h - 10*h = -90. Suppose 44 = 46*b - h*b. Is b a multiple of 25?
False
Let p = 828 + 3267. Does 21 divide p?
True
Let t(v) = -v + 29. Let j be t(14). Suppose h - j + 4 = 0. Suppose 0 = p - h + 3. Is p a multiple of 5?
False
Suppose r = -4*a + 11 + 75, 5*r = -a + 354. Is r a multiple of 5?
True
Suppose 0 = 2*q + 61 - 21. Let z be 110*1*(-48)/q. Suppose 0 = -f - 2*f - j + z, -2*f - 4*j = -176. Is f a multiple of 22?
True
Let m(f) = 10*f**2 + 2*f - 1. Let l be m(1). Let v = -8 + l. Is 21 a factor of 0 + v + 16 + 2?
True
Let y = -26 + 26. Suppose 8 = -y*z + z. Is 7 a factor of 298/z - 9/36?
False
Let r = 1406 + -758. Is r a multiple of 36?
True
Suppose 56*j - 63*j + 2275 = 0. Is j a multiple of 2?
False
Suppose -4*h + 5 = m - 15, 5*m - 3*h - 31 = 0. Suppose 3*c - m = 121. Does 17 divide c?
False
Let o(k) be the second derivative of k**7/840 - 7*k**6/360 - k**5/120 + 11*k**3/6 - k. Let c(w) be the second derivative of o(w). Is c(8) a multiple of 19?
False
Let q = 36 - 19. Is 26 a factor of ((6 - 10) + q)*12/2?
True
Let v(h) = h - 6. Let p(g) = -1. Let y(r) = 2*p(r) - v(r). Does 10 divide y(-8)?
False
Suppose 5*r - 360 = 5*x, 4*r + 216 = -3*x + 2*r. Let q be ((-129)/4)/(18/x). Suppose 0 = -3*d + 4*y + 292, 2*d + y - q = 62. Is d a multiple of 24?
True
Let n(w) = 9*w**2 + 12*w - 11. Let v be n(-6). Let b = 359 - v. Is b a multiple of 19?
False
Suppose -10 - 6 = -4*a, -4*a - 4 = -4*v. Suppose -v*b + 1221 = 446. Suppose 5*z - 135 = b. Is z a multiple of 16?
False
Let b(d) = -18*d + 2. Let w(r) = -5*r - 11. Let m(t) = t + 2. Let c(s) = -11*m(s) - 2*w(s). Let k(p) = b(p) - 12*c(p). Is k(-3) a multiple of 20?
True
Is (-24)/18 + -4 + 1984/3 a multiple of 51?
False
Let p be -3 + 5 + -2 - 35. Let u = 119 + p. Does 21 divide u?
True
Suppose -6*a + 15 = -a. Suppose -3*b + 8*b - a*s = 236, 0 = -b + 2*s + 43. Is b a multiple of 7?
True
Suppose -2 = 3*w + 1. Let r(q) = -4*q - 41. Let v(j) = -j + 1. Let k(i) = w*r(i) + 6*v(i). Is k(0) a multiple of 23?
False
Let o(k) = -3*k + 2 + 0*k - 8. Let i(z) = -3*z**2 + 2*z + 4. Let b be i(2). Does 6 divide o(b)?
True
Let h(r) = -r**3 + 7*r**2 + 10*r + 11. Does 12 divide h(7)?
False
Suppose b + 4*s = -8, -3*b + 5*s - 29 + 5 = 0. Let y = 165 + b. Suppose 8*z + y - 453 = 0. Is 11 a factor of z?
False
Does 11 divide 120 + 4*3/(-15)*-5?
False
Let j = 2640 - 1420. Is 61 a factor of j?
True
Let o(y) = -1072*y + 8. Does 27 divide o(-1)?
True
Let s(v) be the first derivative of -5*v**2/2 + 40*v - 9. Is s(-6) a multiple of 10?
True
Let j = 775 + 5. Does 13 divide j?
True
Let o = 34 - 24. Suppose -o*k - 120 = -5*k. Let u = k + 33. Does 2 divide u?
False
Let z(b) = 2*b**2 - 38*b + 4. Let x be z(19). Suppose -31 = -x*u - 15. Is 3 a factor of u?
False
Suppose -4*n + 2*a = -8, 0*a = -n + 2*a - 1. Suppose 0 = n*p - 2*c + 38, -36 = p - 0*p + 4*c. Let s = 25 + p. Does 9 divide s?
True
Let r(k) = k**3 + 10*k**2 - 8*k - 22. Suppose -40 = 3*j + 5*q, -2*j = -2*q - 2*q + 12. Is r(j) a multiple of 8?
False
Suppose -6*b + 2*b + 4*o = 0, 5*b = o. Let p = -11 + 37. Is (p - -1) + b + 1 a multiple of 8?
False
Let v = -594 + 997. Is 4 a factor of v?
False
Let g = 0 + 8. Is 24 a factor of g/(-20)*(2 - 62)?
True
Let k be 10/((-1 - 1) + 4). Suppose -k*v - 5 = -20. Suppose j + 0*o - 5*o + v = 0, 0 = j - o - 5. Is j a multiple of 4?
False
Let p(d) = -d**3 - 3*d**2 - d + 2. Let v be p(-3). Suppose v*x - 76 = -3*q + 4*x, -2 = x. Does 13 divide q?
True
Suppose 26 = 4*h + 2*p, 0 = h + 2*p - 4*p + 6. Suppose 36 = -h*o + 140. Let i = 32 - o. Is 6 a factor of i?
True
Let j(o) = 30*o**3 - 5 - 54*o**3 + 23*o**3 + 4*o**2. Let s be j(4). Let q = 11 + s. Is 2 a factor of q?
True
Let z(h) = -h**2 + h + 3. Let a be z(3). Let i be (-1)/(-4) - a/(-12). Suppose 2*c + 5*k - 57 = 0, i*k + 32 = c - k. Is 13 a factor of c?
False
Suppose 297 - 1144 = -11*w. Is w a multiple of 7?
True
Suppose -8 = -7*q + 34. Does 5 divide -1 + 3 + 0 - q/(-2)?
True
Let p(s) = s + 16. Let j be p(-9). Let l = 10 - j. Is 19 a factor of (-6 - 0)*(-19)/l?
True
Let j = 34 + 40. Is j a multiple of 21?
False
Suppose a = 4*g - 3*a + 156, 115 = -3*g + a. Let b = 20 + g. Is (-6)/(-27) + (-914)/b a multiple of 17?
True
Is (-16)/(-36)*4806/12 a multiple of 2?
True
Suppose -3*u + 3*i = -u - 27, -4*u = -5*i - 51. Is (-41 + 2)/((-3)/u) a multiple of 13?
True
Let r(z) = -3*z**3 + 3*z**2 - 2*z - 2. Let j be r(2). Let p = j - -20. Is 6 a factor of (p/(-4))/((-2)/64)?
False
Suppose -483*n + 2619 = -480*n. Does 27 divide n?
False
Suppose 3*r = 5*r - 270. Let x = 28 + -1. Suppose 0 = -3*o + x + r. Is 9 a factor of o?
True
Let i(w) = 29*w**2 + 20*w - 19. Does 13 divide i(5)?
True
Suppose -11*x + 24 = -8*x. Suppose -2*z + 0 = -x. Is 4*(6/z + 1) a multiple of 10?
True
Let z(r) = r**2 - 3*r + 6. Let k be z(-5). Suppose 6*g = 9 - 45. Let n = k - g. Is n a multiple of 13?
True
Let p(c) = -c**3 + 29*c**2 - 177*c - 19. Is 41 a factor of p(20)?
True
Suppose -20*k = -17*k - 33. Suppose -2*f - 2 = a - k, -4*a + 2*f + 16 = 0. Does 5 divide a?
True
Let h = 5 + -4. Suppose 1 = -5*c - k, 0 = -2*c - k + 2*k + h. Suppose 2*r - 10 = -c*r. Does 5 divide r?
True
Let m = 36 - 22. Suppose -2*k = h - 102, -h - 5*k + 97 + m = 0. Is h a multiple of 16?
True
Is (36/(-90))/(2/(-1680)) a multiple of 16?
True
Let v = 1915 + -1545. Is v a multiple of 14?
False
Suppose 0*u - 480 = -5*u. Suppose 4*t + u = 2*n, -2*n - 5*t = n - 166. Is n a multiple of 6?
False
Let f(q) = 7*q + 63. Does 11 divide f(3)?
False
Suppose 1436 = 4*s + 92. Suppose -2*u = -6*u + s. Is 27 a factor of u?
False
Let r(v) be the third derivative of v**5/60 - 5*v**4/24 + 11*v**3/3 - 51*v**2. Is r(10) a multiple of 9?
True
Let t(f) = 10*f**2 - 13*f + 1. Is t(3) a multiple of 52?
True
Let d be (-4)/(1/7*-2). Suppose -2 = 4*b - d. Suppose -b*a + 31 = -2. Is 5 a factor of a?
False
Let b = 45 - 39. Let s(m) = 33*m - 16. Is 26 a factor of s(b)?
True
Suppose 0 = -3*q - u + 33, -4*u + 5*u = 0. Let z(x) = 3*x**2 - 4*x - 46. Is z(q) a multiple of 21?
True
Let y(t) = 3*t - 8. Let q(o) = o**3 - 8*o + 8*o. Let j be q(2). Does 8 divide y(j)?
True
Let t(c) = -21 + 20 + c**3 + c**3. Is 7 a factor of t(3)?
False
Suppose -2*l + s = -2, -5*l + 2*l = 4*s - 3. Let m(z) = z**2 - 1 - l + z - 2. Is 4 a factor of m(4)?
True
Suppose 0 = 431*b - 436*b + 4125. Is b a multiple of 34?
False
Let z be (-21)/(-5) - (-4)/(-20). Suppose -d + 2*i = -7, 4*d - z = -i + 6. Suppose s - 5*j = -3 + 59, -d*j - 168 = -3*s. Is s a multiple of 33?
False
Let r(w) = -2*w**3 + 3*w - 2. Let a be r(-2). Let f(g) = -g**3 + 8*g**2 + 6*g + 16. Does 8 divide f(a)?
True
Suppose 153 = -4*i + 2649. Does 21 divide i?
False
Suppose 459 = t + 2*t. Suppose 5*p + t = 473. Does 8 divide p?
True
Suppose 5*t - z = -5*z + 46, -4*t + 44 = 5*z. Is t a multiple of 2?
True
Let y = 89 - 56. Let m = 9 - y. Let g = m + 78. Does 14 divide g?
False
Is 6 a factor of 15/6*(-156)/(-5)?
True
Let u(k) = 77*k**2 + 27*k + 11. Is u(-4) a multiple of 5?
True
Let z(b) = -b**2 - 13*b - 13. Let r(a) = -a**2 - 14*a - 12. Let l(v) = 3*r(v) - 2*z(v). Let u be l(-15). Suppose 0 = u*y - 83 + 23. Does 6 divide y?
True
Let w = -256 + 660. Suppose -w = -4*d + 40. Is d a multiple of 28?
False
Suppose -2223 = -10*b + 7137. Does 13 divide b?
True
Let g = -166 - -698. Is 36 a factor of g?
False
Let v = 187 + -168. Does 19 divide v?
True
Suppose -1379 - 766 = 4*p + v, 4*p + 2147 = -3*v. Does 6 divide (-18)/(-81) - p/18?
True
Let f(h) = -6*h. Suppose -5*r + 4*r = 3. Let v be f(r). Does 12 divide v/(-45) + (-122)/(-5)?
True
Suppose -3*m - 5*s = -0 - 9, -15 = -5*m - 4*s. Suppose h = -g + m*g + 16, 5*g + 33 = -h. Let k = 24 - g. Does 6 divide k?
False
Let s(a) = a**3 + 8*a**2 + 13*a - 4. Let i be s(-7). Let v = i - -53. Does 7 divide v?
True
Let z(m) = 7*m**2 + 7*m - 20. Let w be z(5). Let v = -136 + w. Is v a multiple of 9?
True
Let k be 9/6*-2 + -21. Let x be (-4472)/k - 1/3. Suppose i + i + x = 5*u, 4*i = 5*u - 192. Is u a multiple of 9?
True
Suppose -14*z = -9*z - 30. Suppose -f + z*f = 35. Is 3 a factor of f?
False
Let h(a) = 12*a**2 + 11*a