 351. Is 20 a factor of u?
False
Does 37 divide (-15)/(-30) - -974*(-1)/(-4)?
False
Let h(f) be the first derivative of 25*f**3/3 + 7*f**2/2 - 4*f - 8. Let o be h(5). Suppose -6*l - 20 = -o. Does 34 divide l?
False
Is 12 a factor of ((-6)/(-24))/(3/12)*4123?
False
Suppose 13189 = 56*n - 45*n. Does 19 divide n?
False
Suppose -o = 3*i - 3*o + 88, 5*o - 55 = 2*i. Does 8 divide 1 - (2 + -2 + i - -3)?
False
Let w = 26 - 22. Suppose 4*b + 58 = 5*q, -q - 3*b - 36 = -w*q. Is q a multiple of 5?
True
Suppose 28 = k + 4*u, 4*k + 0*u = -u + 37. Suppose -4*b - y = -259, -k = 4*y - 20. Is b a multiple of 14?
False
Suppose 5*c - 5*k = -4*k + 3424, -3*c + 2068 = -4*k. Suppose 3*y - 456 = y - r, -3*y = 2*r - c. Is y a multiple of 12?
True
Let r(a) = -a**2 - 3*a + 4. Let h be r(-4). Suppose h = 3*c + 2*c + 5. Is (c - (4 + -3)) + 9 a multiple of 3?
False
Let o = 241 + -396. Let f = -15 + o. Let v = -102 - f. Does 13 divide v?
False
Let d(o) = 3*o + 11. Let c be d(-3). Does 16 divide 44 - (c/2 - 5)?
True
Suppose -4*q - 8 = -r + 8, -3*r - 3*q - 12 = 0. Suppose u - 4*u + 3*h + 282 = r, -114 = -u - 4*h. Is u a multiple of 14?
True
Suppose -4*f + 9*f + 8 = -a, -2*a = -f - 6. Suppose 0 = b - 3*h - 91, -a*b + 56 = -2*h - 106. Is b a multiple of 11?
False
Suppose -17*v + 22*v = -45. Let p = v + 5. Is (p + 3)/(2/(-20)) a multiple of 5?
True
Let z(c) = 37*c + 17 + 42*c - 70*c - c**3. Is 28 a factor of z(-7)?
False
Let f(u) = u**3 + 2*u**2 - 2*u - 2. Let y be f(-2). Suppose -y*w + 38 = -40. Does 21 divide w?
False
Suppose 12068 + 40924 = 32*q. Does 12 divide q?
True
Let c(g) = 1 - 5*g + 23*g**2 + 4*g + 25*g**2 + 3*g**2. Let r be c(1). Suppose y = -3*h + 29, 0*h = -3*y + 3*h + r. Does 4 divide y?
True
Suppose 0 = 4*r + 2*x + 4, -4*r = -5*x - 0*x - 10. Suppose r*b = b - 40. Is 20 a factor of b?
True
Let o be (-25 - 3)/((-1)/2). Let n be ((-468)/(-91))/(6/o). Suppose 4*s = 152 - n. Is s a multiple of 26?
True
Let j be 9/15 + (4 - 112/20). Is 16 a factor of (4 - (-2 + -107)) + j?
True
Is 93 a factor of 4 + (-3 - -4)*(-2 + 1579)?
True
Suppose 6*j = 9*j - 6. Let d be j/(-12) - (-75)/18. Suppose -d*g + 2*m + 15 = -117, 3*m = 0. Does 20 divide g?
False
Suppose -3*y + 806 = 5*f, -5*y + 868 = 4*f - 484. Is 19 a factor of y?
False
Suppose 4*g + 4*m = -123 + 575, -4*g + 460 = -4*m. Does 19 divide g?
True
Suppose -4*q = 19*q - 16629. Is q a multiple of 18?
False
Let j = -20 + 21. Suppose -j = 4*a + 3. Does 9 divide 3/(a + (-26)/(-24))?
True
Is ((-10104)/(-300)*5)/((-6)/(-15)) a multiple of 7?
False
Suppose -5*o + 126 = 3*j, -4*o - 5*j + 48 = -58. Is o a multiple of 4?
True
Let q(x) = x**3 + 9*x**2 - 8*x - 3. Suppose 33 - 17 = -2*y. Is q(y) a multiple of 24?
False
Let a be 31/7 + (-18)/42. Suppose a*p - 6 = 2*p. Suppose p*h + 86 - 302 = 0. Is h a multiple of 18?
True
Let d be -13*6 - (1 - 0). Let i = d - 18. Let s = i - -167. Is 14 a factor of s?
True
Let y = 32 + -13. Suppose 16*i = y*i. Suppose 3*l = p - 66, i*l + 5*l - 250 = -5*p. Is 13 a factor of p?
False
Let l be (-525)/(-20) - 2/8. Let n = -23 + l. Suppose 369 = 5*a - n*o, -4*a = -5*a - 3*o + 63. Is 24 a factor of a?
True
Let r(d) = -d**3 + 18*d**2 - 23*d - 67. Does 2 divide r(16)?
False
Let a be (3 - 3)/(-5 - -3). Let u be 46 - (-4 + a) - -1. Let h = u - 33. Is h a multiple of 18?
True
Let v(h) = h**2 + 17*h - 10. Let m be (3*-1)/(63/420). Is v(m) a multiple of 8?
False
Let n = 17 + -19. Let i(z) = -9*z**3 + 2*z**2 + 3*z + 7. Does 27 divide i(n)?
True
Suppose -5 = 5*y, -17785 = -181*z + 176*z + 5*y. Does 65 divide z?
False
Let j(m) be the first derivative of 5*m**3/3 + 3*m**2 + 5*m - 10. Does 16 divide j(-3)?
True
Let o(z) be the third derivative of 433*z**6/120 + z**5/60 - z**4/12 + z**3/3 - 25*z**2. Is o(1) a multiple of 62?
True
Suppose 72 = -4*q + 12*q. Does 9 divide q/3 + 221 - 2?
False
Let r = -180 + 222. Is 6 a factor of r?
True
Let f(j) = 47*j + 20. Let c(r) = 1. Let d(x) = -6*c(x) - f(x). Is 18 a factor of d(-4)?
True
Let i(s) be the first derivative of s**4/4 + 7*s**3/3 - s**2 - 10*s - 25. Is 4 a factor of i(-5)?
False
Let s(g) = g**3 - 28*g**2 + 38*g - 5. Is s(27) a multiple of 10?
False
Suppose -6*x = -5*w - 5*x, 0 = 5*x. Suppose 11*m + 0*m - 1672 = w. Is 9 a factor of m?
False
Suppose 0 = -4*o - 2*j + 630, 0 = -3*o + j + 3*j + 467. Let d = -36 + 145. Let c = o - d. Is 12 a factor of c?
True
Suppose 0*r = -3*r + 2*f + 189, -4*f = r - 63. Is r even?
False
Let l(o) = -o**2 - 5*o + 28. Let u be l(5). Suppose 5*s + 165 = -0*s. Let v = u - s. Is v a multiple of 11?
True
Let r(l) = -6*l + 9 + 4*l - 3 + l**2. Is 4 a factor of r(6)?
False
Suppose 0 = -279*y + 268*y + 3960. Is 20 a factor of y?
True
Let r(w) = -w**3 + 3*w**2 - 35*w - 8. Does 9 divide r(-6)?
False
Let g = -10 - -14. Let r(k) = -1 + g + 0 + 0 - 14*k. Is 16 a factor of r(-4)?
False
Let g = 1081 - 725. Does 2 divide g?
True
Let c(b) = -193*b**3 - 6*b**2 + 9*b - 3. Let m(q) = 129*q**3 + 4*q**2 - 6*q + 2. Let v(w) = 5*c(w) + 8*m(w). Is 14 a factor of v(1)?
False
Let g = 504 + -140. Is g a multiple of 52?
True
Let l(i) = 2*i**3 + 2*i**2 - i. Let o be l(1). Suppose -k + 5 = 4*k, o*k + 605 = 4*n. Is n a multiple of 33?
False
Let t(v) = 13*v + 1. Let h be t(-2). Let m be (-6)/15 + (-6835)/h. Suppose m = 5*l + 3. Is 25 a factor of l?
False
Is ((-8697)/468 + 2/8)*-3 a multiple of 5?
True
Let u = 357 + 1751. Is u a multiple of 52?
False
Let n be ((-3)/7 - -3)*14/3. Suppose -n = -6*b + 294. Is 5 a factor of b?
False
Let d(y) = 1611*y**2 - 7*y - 8. Is 46 a factor of d(-1)?
True
Let f be (2 + -1)*(2 + -1). Let s = -566 + 556. Does 12 divide (-570)/s + f + 2?
True
Let o(b) = 2*b + 19. Let m be -7 + 10 + 1 + 2. Is o(m) a multiple of 7?
False
Let j = -496 - -886. Does 57 divide j?
False
Let t = 234 - 143. Is 10 a factor of t?
False
Let p = -1907 + 2417. Is p a multiple of 10?
True
Let o(i) = 0*i - 2*i + 0*i + 2 + 3*i. Let l be o(3). Suppose -4*c = -2*c + l*t - 75, 3*t = -15. Is c a multiple of 25?
True
Suppose 5*s - 4*i = -23, -5*i = 3*s - 3 + 2. Does 19 divide (380/(-6))/5*s?
True
Let g = -151 - -354. Is g a multiple of 17?
False
Suppose 0 = 4*n + 4. Let m(s) = -349*s**2 - 50*s**3 - 344*s**2 + 3*s**3 + 694*s**2. Is 11 a factor of m(n)?
False
Let f(g) = 8*g + 7. Let q be (13 - 22)/((-3)/2). Is f(q) a multiple of 31?
False
Suppose -4*p + 45 = p + 5*n, -4*p + 27 = n. Is ((-9)/12)/(p/(-456)) a multiple of 19?
True
Let y(p) = 3 - 1 + 9*p + 2*p**2 - 3*p. Let z = -21 - -15. Does 16 divide y(z)?
False
Suppose m = -5*j + 26, -4*j + 0*j - 3*m + 12 = 0. Let l(w) = -3*w**2 - 8*w + 16. Let r be l(j). Let g = r - -252. Does 14 divide g?
True
Does 68 divide (1224/45)/(4/50)?
True
Let n be (1 + 1 - 1) + 3. Let w = 5 + n. Let i(p) = p**2 - 5*p - 6. Is 10 a factor of i(w)?
True
Suppose 17 = 2*b + q, 4*b = -4*q + 11 + 17. Let d(o) = -1 - 15 + 4 + 6*o. Is d(b) a multiple of 12?
True
Suppose 0 = 2*x - 0*x - 3*z - 927, 2311 = 5*x - z. Suppose -4*b + b = -x. Is b a multiple of 14?
True
Suppose 0 = 4*l + l. Suppose l = -7*a + 12*a - 600. Does 30 divide a?
True
Let x(p) = -p**3 - 2*p**2 - 3*p - 3. Let q be x(-4). Suppose -3*b + 15 - q = -f, 2*b = -f + 41. Let m = f - 21. Does 4 divide m?
False
Let m be (20/2)/(11/44). Suppose 0 = -2*i - 0*i + m. Is i a multiple of 12?
False
Let q(n) = 3*n**2 - 5*n - 22. Is 42 a factor of q(-15)?
False
Suppose -2*t + 326 = -4*t - 4*m, -338 = 2*t - 2*m. Let v = -58 - t. Is v a multiple of 36?
False
Let w = -21 + 23. Suppose 11 = -w*b + 75. Is b a multiple of 8?
True
Let n(v) be the first derivative of 15*v**4/2 - 2*v**3/3 - 3*v**2/2 + 2*v - 35. Does 45 divide n(2)?
False
Let u(y) = 2*y + 13. Let r be u(-9). Let b(v) = -18*v + 20. Is b(r) a multiple of 13?
False
Let d(a) be the first derivative of a**4/4 - 14*a**3/3 + 7*a**2/2 - 7*a + 6. Does 13 divide d(14)?
True
Is (-595)/(-28)*4 - 1 a multiple of 4?
True
Suppose 630 = -2*b - 5*b. Let l = b - -152. Is 8 a factor of l?
False
Let n = -710 - -1234. Does 11 divide n?
False
Let v = -313 - -671. Suppose 4*j + v = 5*p, 2*j - 2 - 204 = -3*p. Is 35 a factor of p?
True
Let l(o) = -10*o + 5. Let x be l(-4). Is (-288)/x*(-15)/2 a multiple of 12?
True
Is 10/(770/89691) + 2/11 a multiple of 14?
False
Let c = 20 - 20. Suppose c*x = -2*x + 48. Does 17 divide x?
False
Suppose 0 = 4*w - 2*w. Suppose w = h + 4*h - 25. Let u(f) = -f*