b be c(4). Suppose a - 5*a + b = 0. Suppose a*r - 94 = r. Is r a multiple of 17?
False
Let m(s) = s**3 + 13*s**2 + 4*s + 40. Let q be m(-13). Let x(f) = 2*f**3 - 2*f**2. Let r be x(2). Is 14 a factor of (70/(-3))/(r/q)?
False
Suppose -5*t = -320 - 140. Is 23 a factor of t?
True
Let l = 9 - 13. Let u be l/(-6) + (-2)/3. Suppose 5*n - 2*b - 225 + 15 = u, -5*n = 5*b - 245. Is 17 a factor of n?
False
Let g be (-11)/44 + (-119)/4. Let y = -154 - -90. Is (g/(-8))/((-6)/y) a multiple of 20?
True
Let l = 13 - 11. Is 9*l - 10/(-5) a multiple of 6?
False
Suppose -5*d - 49 = -334. Let w = -29 + d. Suppose -y + 91 = 4*a, 0 = -3*a - y + 40 + w. Is a a multiple of 16?
False
Let t(q) = 5*q**3 - 2*q + 1. Let k be t(1). Let d = 7 - k. Is 3 a factor of d?
True
Suppose 45 = 2*i - 75. Is 15 a factor of 3/(-6)*(-2 - i)?
False
Let z = 1 + 0. Is 20 a factor of (3 - 30)*z*-1?
False
Let k = -113 + 167. Is k a multiple of 18?
True
Let z(q) = q**2 - 22 + 3*q**2 + 0*q**2 - q**2 + 4*q. Let s(p) = 5*p**2 + 7*p - 44. Let w(n) = -4*s(n) + 7*z(n). Is 11 a factor of w(0)?
True
Let b = -8 + 15. Let y = 7 - b. Suppose -106 = -4*j - 5*d, -4*j + y*j = 4*d - 108. Is 12 a factor of j?
False
Let t(i) = i - 5. Let g be t(5). Suppose g = -x + 3*x - 84. Is 15 a factor of x?
False
Let j = 1 - 3. Does 7 divide 0/2 - j - -5?
True
Does 16 divide ((4/(-6))/(-2))/(2/1614)?
False
Suppose 0 = -6*x + 4*x - 5*n, -2*n = -4*x + 24. Suppose 31 = 4*t + 3*h + 12, x*t - 3*h = 17. Is 4 a factor of t?
True
Let p be (0 - 1) + (4 - -1). Let v(w) be the second derivative of w**5/20 - w**4/3 + 2*w**3/3 - 3*w**2 - w. Does 5 divide v(p)?
True
Let n(l) = -l**3 - 8*l**2 + 6*l - 2. Is n(-9) a multiple of 5?
True
Let m = -6 - -9. Suppose m*k - 2 = 4. Suppose 58 = -k*a + 4*a + 3*p, -84 = -3*a - 3*p. Is a a multiple of 12?
False
Suppose 3*x = -3*c + 10 + 20, 0 = 3*c - 2*x - 25. Is c a multiple of 2?
False
Is (-349)/(-9) - 6/(-27) a multiple of 13?
True
Let x be ((-162)/12)/(3/(-4)). Suppose -4*w = -2*w - x. Does 3 divide w?
True
Let z be (115/2)/((-2)/(-4)). Suppose 5*s - z = -5*b, 5*b - 32 - 85 = -3*s. Suppose p - b = -8. Is 6 a factor of p?
False
Suppose -75 = v + 3*q, v - 419 = 6*v + 4*q. Let t = -23 - v. Is t a multiple of 32?
True
Suppose 4*j = l + 201 + 91, -5*j + 365 = l. Does 8 divide j?
False
Suppose 3*j - 15 = -3. Suppose 3*t - 2*h = -0*t, -j*h = t. Suppose t = 2*c + c - 102. Is c a multiple of 17?
True
Suppose -a + 4*w = -37 - 7, -5*w = 2*a - 23. Is 6 a factor of a?
True
Suppose -199 = -3*g + 104. Let r = g + -51. Does 16 divide r?
False
Let s(d) = d**3 - 5*d**2 - 2*d + 9. Does 11 divide s(6)?
True
Let t(o) = -o**3 + 4*o**2 + 6*o - 1. Let n be t(5). Let q = n - -1. Suppose -5*a - 3*p = -152, -48 = -2*a + a - q*p. Is 14 a factor of a?
True
Suppose -3*y - 4*r = -8, -2*y + r + 1 + 8 = 0. Suppose y*z - 495 = -z. Does 27 divide z?
False
Suppose -4*a + 728 = 5*m + 58, -5*a + 829 = 2*m. Is 36 a factor of a?
False
Let p(d) = -d**3 - 21*d**2 - 22*d - 4. Does 6 divide p(-20)?
True
Suppose 3*v = 2*m - 3, 0*v + 10 = -2*v. Let p = -2 - m. Suppose 3*u - 28 = 4*y, p*u - 4*y + y - 42 = 0. Does 12 divide u?
True
Let g(s) = -s**3 - 9*s**2 + 11*s + 12. Let m be g(-10). Let c(i) = 2 + 3 + 2*i + 7*i**2 - 4*i**m - 2. Is 19 a factor of c(-3)?
False
Let d be 4/(-8) + (-10)/(-4). Suppose -u + 1 = 0, -d*l - 2*u + 6 = 2*l. Is 21 a factor of -2 - (35*-1)/l?
False
Let a(v) = v**2 - 3*v + 1. Let w(d) = d**3 + 3*d**2 + d. Let y be w(-2). Suppose -f + 4 = -k, y*k + 16 = 5*f - 4. Does 2 divide a(f)?
False
Let a(s) = 191*s + 2. Is a(1) a multiple of 46?
False
Let y(l) be the second derivative of l + 0 - 1/2*l**2 - 1/12*l**4 + 5/6*l**3. Does 3 divide y(4)?
True
Suppose -t + 57 = 2*v - 0*v, -3*v - 5*t + 96 = 0. Is v a multiple of 23?
False
Let k(t) = 6*t**2 - 13*t - 5. Let v(q) = 5*q**2 - 12*q - 4. Let p(n) = 4*k(n) - 5*v(n). Is p(7) a multiple of 5?
False
Suppose 3*l - k = -3*k + 50, 2*l - 38 = k. Let q = l + -10. Is 6 a factor of q?
False
Let b be ((-8)/24)/((-1)/21). Let i(q) = 2*q + 9. Does 22 divide i(b)?
False
Let r(w) = -6*w + w**3 - 2*w**2 + 2*w**2 - 5*w**2 + 2 + 3*w**2. Is r(4) a multiple of 5?
True
Let u = 39 + -6. Is 9 a factor of u?
False
Let t(w) = -w**2 + 13*w - 2. Let c = -20 - -27. Does 10 divide t(c)?
True
Let g(s) = s**3 + 6*s**2. Let o be g(-5). Suppose -12 = -4*x, 3*k + 4*x = o + 23. Does 5 divide k?
False
Let b be (4 - 1) + (-184)/(-2). Suppose -3*l = 2*l - b. Does 8 divide l?
False
Let t(x) = -15*x - 1. Let p be t(-9). Suppose -2*g + 5*h + p = 2*g, 4*g + 2*h = 148. Does 18 divide g?
True
Let m(j) = -3*j. Let q(c) = c + 5. Suppose n + 10 = 2. Let z be q(n). Is m(z) a multiple of 9?
True
Suppose -2*v + 0*v + 4 = 0. Suppose -j + v = -4. Is 3 a factor of (6/4)/(3/j)?
True
Suppose 2*k = -3*f - 0*f - 4, 9 = -3*f - 3*k. Suppose f*s = -3*s + 25. Suppose 4*c = -s*o + 72, 2*c - o - 54 = -c. Is 18 a factor of c?
True
Suppose -7*o - 539 = -14*o. Is 11 a factor of o?
True
Suppose 5 - 23 = -3*b. Is b even?
True
Suppose -3*o + 3*j + 5 = -2*j, 2*o = 4*j + 4. Suppose -84 = -4*x - o*x. Does 7 divide x?
True
Suppose -l - 2*l + 240 = 0. Suppose 18 = i + 3*d - 22, 0 = 2*i + 3*d - l. Let y = i + -20. Is 10 a factor of y?
True
Suppose u = 5 + 28. Does 21 divide u?
False
Let d = 49 + 14. Is d a multiple of 19?
False
Let u be -2 + (0 - (-132)/2). Suppose 7*f - u = 3*f. Does 8 divide f?
True
Suppose 9*n - 260 = 4*n. Does 26 divide n?
True
Let w be (-1)/(-2) - 30/(-4). Suppose -3*i + w = -1. Suppose -83 - 7 = -i*a. Is 19 a factor of a?
False
Suppose -l = 2*y - 0*l - 9, 3*l - 3 = 0. Does 2 divide y?
True
Let t(k) = -k**3 + 2*k**2. Let f be t(2). Does 13 divide 32 - (f/(-1) - 2)?
False
Suppose 5*w + 12 = -l - 6, -3*l + 31 = -2*w. Is -3*4/(-6)*l a multiple of 5?
False
Let g(y) = 51*y - 4. Let d be g(3). Suppose -3*s + 388 = -d. Suppose -s = -5*o - 29. Is 14 a factor of o?
False
Suppose 0*a + 35 = 5*a. Suppose -5*i - 5*t = -55, -a = 4*i + 3*t - 48. Is i a multiple of 4?
True
Let k = -12 - -320. Suppose l + k = 4*b, 4*b + l = 3*b + 72. Is 33 a factor of b?
False
Let r = -68 - -39. Let j = r - -43. Does 6 divide j?
False
Let k(v) = v**3 - 5*v**2 - 4. Let m be k(5). Let s = -2 - m. Suppose -41 = -s*r - 3*q, 4*r + q = 2*q + 89. Does 14 divide r?
False
Let p(s) = 3*s**2 + 8*s + 15. Is p(-6) a multiple of 22?
False
Let o be 1/4 - (-885)/12. Suppose -i + 109 = 3*x + i, 3*x - 5*i = o. Does 11 divide x?
True
Is -1 - -4*(-1 - -2) a multiple of 2?
False
Let w = 62 - -13. Suppose w = 5*f - 5*h, 5*f - 2*f = -h + 57. Is 6*-3*(-20)/f a multiple of 9?
False
Let g = -18 + 19. Is (-1)/g*(-39)/3 a multiple of 4?
False
Let b(w) = 3 + 0*w + 7*w**2 + 2*w - 6*w**2. Let f be b(-3). Is 124/f - (-4)/(-6) a multiple of 10?
True
Let m(q) = 3*q + 2. Let s be m(2). Suppose 4*a + o = a + 16, 0 = -a - o + s. Suppose 3*u - c = a*c + 91, 4*u - 2*c - 126 = 0. Does 18 divide u?
False
Let u = -202 - -290. Is 15 a factor of u?
False
Let n(w) = 8*w**2 - w. Is n(2) a multiple of 15?
True
Suppose 5*a + 4*u = -0*a + 25, 3*a - 3*u = -12. Suppose 0 = -h + a + 2. Is h a multiple of 3?
True
Let a(n) = 10*n**3 - 2*n - 1. Let s be a(-1). Is (-2)/(-6) - 249/s a multiple of 14?
True
Is 10 a factor of -4 - -42 - (-4 - -2)?
True
Let m = 21 + -16. Suppose 32 = 2*v + 2*v. Suppose -4*w + 5 = m*t, -t - v = 2*w - 3*w. Does 5 divide w?
True
Let y = -42 + 60. Is 3 a factor of y?
True
Suppose -2*d - 2 = -0. Let g = 29 - d. Is 15 a factor of g?
True
Suppose 4*g = f + 704, 0 = -g - 3*f + 5*f + 183. Is g a multiple of 33?
False
Let p = 17 + 12. Is p a multiple of 6?
False
Does 37 divide (-333)/((-5)/(-15)*(-36)/8)?
True
Let t be ((-16)/3)/((-1)/9). Suppose -3*m + t = -m. Is m a multiple of 10?
False
Suppose n - 2*x - 26 = 0, 3*n + 9 = 2*n - 5*x. Does 3 divide n?
False
Let a(g) = 18*g - 9. Let z be a(4). Let m = z - 20. Does 20 divide m?
False
Let m(v) = 3*v - 4. Let y be m(5). Suppose t + y = 32. Does 5 divide t?
False
Let m(h) = 13*h - 7. Suppose -2*g + 5*g - 4*j - 6 = 0, 0 = -4*g - 3*j + 33. Is 12 a factor of m(g)?
False
Let d = 1 + 4. Suppose -3*c + 131 = d*u, 2*u + c - 27 - 26 = 0. Does 14 divide u?
True
Let r = 0 + 0. Suppose o + o - 458 = r. Suppose 5*t - 1 - o = 0. Is 19 a factor of t?
False
Let w(n) = 3*n**3 - 3*n**2 + 2*n - 2. Let j be w(2). Suppose j = -5*k - 11. Let q(o) = o**3 + 6*o**2 - 4*o + 