b - 5 - 54, 3 = 3*b. Let n = g + 17. Is 3 a factor of n?
True
Let u = -5 + 12. Does 2 divide u?
False
Suppose 0 = -3*r - 82 + 244. Does 18 divide r?
True
Suppose 31 = 3*h + 5*g, -2*h = -3*g + 4*g - 9. Let s(u) = -u + 8. Let x be s(8). Does 15 divide 28/(x + h + -1)?
False
Let t(x) = 6*x + 2. Let d(z) = -z**3 - z**2 + z + 3. Suppose 3*a = -5*k + 9, 5*k - 4 = -a - 1. Let p be d(k). Is 10 a factor of t(p)?
True
Let s = 5 + -11. Let d = s + 21. Does 15 divide d?
True
Suppose -318 = -6*b - 0*b. Is 4 a factor of b?
False
Let q = -106 - -274. Does 24 divide q?
True
Let s(w) = -w - 1. Let v be s(-3). Let d be ((-6)/(-3))/(v/(-3)). Does 9 divide (-74)/(-8) - d/(-12)?
True
Suppose -4*l - 3*x = -93, -4*l = 4*x - 22 - 74. Is 7 a factor of l?
True
Let z = 246 - -18. Suppose -5*u = 3*q - 2*q - 316, 0 = 4*u - 2*q - z. Let c = -37 + u. Does 11 divide c?
False
Suppose 3*l = 5*n + 134, -2*l - 2*n - n + 102 = 0. Is 7 a factor of l?
False
Let r(z) = 2*z**2 + 7*z + 4. Let t be r(-4). Is 11 a factor of 2 - (-4)/(t/38)?
False
Let r(x) = x**3 + 4*x**2 - x - 4. Let d be r(-4). Suppose 3*u - 2*u - 19 = d. Suppose 0*i - 2*k = i - u, 4*i - 76 = -4*k. Is 8 a factor of i?
False
Suppose -23 = 2*j - 0*j - 3*u, 0 = -5*j + 5*u - 45. Let b be 1*(j/(-2) + 0). Is (-2)/(-1*b) - -15 a multiple of 5?
False
Suppose -5*c - 1 = -26. Let n(d) be the third derivative of d**5/30 - d**4/6 - d**3/6 - d**2. Is 10 a factor of n(c)?
False
Let c be (-2 + 3)/((-1)/(-2)). Let h be 2/((0 - c)/(-1)). Is 12 a factor of (2/(-2))/(h/(-24))?
True
Let w be (20/25)/((-4)/(-10)). Suppose 17 = 3*g + w. Is g a multiple of 2?
False
Let r be 618/4 - (-1)/2. Let h = -111 + r. Suppose h + 67 = 3*g. Is 13 a factor of g?
False
Does 3 divide (-5)/10 + (-14)/(-4)?
True
Let n = 3 + -1. Suppose 4*d = -2*p + 2*d + 2, 0 = -4*p - 2*d + n. Suppose -4*v + 52 = 4*g, p = -v + 2*v + 2. Does 15 divide g?
True
Suppose t = -t + 36. Suppose -t + 3 = -g. Is g a multiple of 5?
True
Let z(a) = 5*a + 1. Let o be z(-1). Let f(d) = d**3 + 7*d**2 + 4*d + 1. Does 9 divide f(o)?
False
Suppose 2*u + 2*u = -164. Let p = u - -59. Is (4/(-6))/((-1)/p) a multiple of 6?
True
Suppose 5*a + 3*g = a + 10, -4*g - 12 = -a. Suppose a*i = 8*i - 72. Does 18 divide i?
True
Is 7 a factor of (2 - -3)*(-5)/10*-18?
False
Let g be (1 + 2)*(-2)/2. Is 10 a factor of (-2)/g - 58/(-3)?
True
Let c = 60 + -54. Is c a multiple of 6?
True
Let t(a) = 12*a**3 + 3*a**2 - 5*a + 4. Let g be t(3). Suppose g = 6*r - 2*r. Suppose -y + r = 4*y. Is y a multiple of 13?
False
Let y be 2/3 + 75/9. Let g(r) = -r**3 + 9*r**2 + 4*r + 5. Let o be g(y). Let t = -25 + o. Is t a multiple of 6?
False
Let f(l) = -l + 24. Is f(-15) a multiple of 6?
False
Let t = -180 - -303. Does 15 divide t?
False
Is 6 a factor of (-4)/(-72)*-4 - (-1568)/9?
True
Let k(q) = -q**2 + 4*q + 2. Let i be k(5). Let b be 14*(-3 + (3 - 2)). Does 3 divide b/i + (-1)/3?
True
Suppose 7*q + 13 - 48 = 0. Suppose d + 5 = 1. Let c = q - d. Is 5 a factor of c?
False
Suppose 3*w + 18 = -0*w. Let v = w - -8. Is 0 + v + (-30)/(-2) a multiple of 10?
False
Let g = -67 + 174. Is g a multiple of 13?
False
Let p = 5 - 13. Let f = p - -24. Is f a multiple of 4?
True
Let n(q) = q**3 + 9*q**2 - 2*q - 13. Let t be n(-9). Let f = 9 - t. Suppose f*r - 135 = 17. Is 10 a factor of r?
False
Let z(m) = 3*m - 7. Let b(i) be the third derivative of -i**4/24 + i**3/6 + i**2. Let u be b(-4). Is 4 a factor of z(u)?
True
Let h(l) = 19*l - 14. Is 39 a factor of h(21)?
False
Suppose 0 = 2*m - 79 - 43. Is 33 a factor of m?
False
Let n be (-7)/(-21) - (-11)/3. Suppose -3*j = 0, -3*s + 44 = -2*s - n*j. Is 13 a factor of s?
False
Suppose -4*i + 2*i + 54 = 0. Does 27 divide i?
True
Let u = -4 + 6. Suppose 2*t - m - 52 = 0, u*t + m - 14 = 42. Suppose 4*o - 5*k = 86, 5*o - 3*k - 87 = t. Does 12 divide o?
True
Let v(o) = 6*o - 5 + o + 3*o**2 + 4 + 6. Does 18 divide v(-5)?
False
Let c(l) = -26*l. Let k be c(-1). Suppose -q = -k + 6. Suppose 2*x + o = 3*x - 23, -4*o = q. Does 7 divide x?
False
Let i(n) = -n - 2. Let o be i(-6). Suppose o*u - 95 = -u. Does 10 divide u?
False
Suppose 3*r + 0*r = 27. Does 9 divide r?
True
Let f(v) = v**3 + 11*v**2 + v + 11. Does 27 divide f(-10)?
False
Suppose 3*c - 2*y - 1094 = 0, 4*c + 2*y - 4*y = 1462. Does 48 divide c?
False
Let f(m) = -m - 4. Let y be f(-4). Suppose -2*z + z + 2 = y. Does 8 divide (-1)/(z/(-26) - 0)?
False
Let h be -3*3/(-9)*3. Suppose -5*u - 3*f - 2*f = -25, h*u - 15 = -2*f. Suppose 0*l - u*l + 150 = 0. Does 15 divide l?
True
Let d = -15 + 13. Is (-44)/(-7) - d/(-7) even?
True
Suppose -4*c + 0*b = 5*b - 37, -5*b - 3 = -c. Does 5 divide 4/c - 54/(-4)?
False
Suppose -5*n = -5 + 35. Let c = 1 - n. Is 5 a factor of c?
False
Let a = -5 + 0. Is 3 a factor of a/(15/(-9)) - -1?
False
Suppose -34*o + 36*o = 38. Is o a multiple of 12?
False
Let h = -84 - -240. Suppose 0 = -l + 4*l - h. Suppose 2*k + 2*k - l = 0. Is 13 a factor of k?
True
Let j = -10 - -12. Is 11 a factor of (j - -1)*1 - -40?
False
Suppose 0 = -w - w - n + 11, 0 = -3*w - 4*n + 29. Let m be (-76)/(-12) - w/9. Is (m/(-10))/(2/(-20)) a multiple of 6?
True
Suppose -n - g + 2 = -2*g, -5*g + 10 = 0. Let l = -10 + n. Does 5 divide (-3)/l*(2 - -28)?
True
Suppose 119 = -3*b + 671. Let v = b + -89. Suppose 0 = 5*q - v + 25. Is 14 a factor of q?
True
Let h be 27/4*96/18. Let d = -86 + h. Let v = -30 - d. Is 10 a factor of v?
True
Let v = 0 - -65. Is v a multiple of 14?
False
Let h(x) be the third derivative of x**6/120 + x**5/60 + x**3/2 - x**2. Let w be h(0). Suppose -7*c + 31 = 4*o - 4*c, -o = w*c - 19. Is o even?
True
Let m(x) = -2*x**3 - x**2 + 3*x + 3. Let c be m(-2). Suppose 0*i - i - 5*n = c, -5*i = -5*n - 45. Is i a multiple of 3?
True
Let d(v) = v**2 - 5*v - 10. Let s be d(7). Suppose 0 = s*h - 2*c + 178, -2*h - 130 = -2*c - 36. Let b = h - -62. Does 10 divide b?
True
Let u(h) = h**3 + 2*h**2 - 3*h - 3. Let a be u(-3). Let f(c) = -c**2 + 8*c - 6. Let d be f(5). Let b = d - a. Does 6 divide b?
True
Let g(v) be the third derivative of -1/3*v**3 + 3*v**2 + 0*v - 1/60*v**5 + 0 + 1/3*v**4. Is 3 a factor of g(7)?
False
Suppose 2*b - 4*b = -6. Suppose b + 13 = 4*h. Suppose 5*l = -h*r + 30, -3*r = -2*l + r + 40. Does 10 divide l?
True
Let x be ((-6)/18)/((-1)/15). Suppose -15 - 1 = 4*r + 2*a, -5*a = -x*r - 5. Is 67 - (3 + r + 2) a multiple of 18?
False
Let p = 74 - -7. Is 9 a factor of p?
True
Let s(n) = 2*n - 1. Let p be s(2). Let y(f) = -4 + 8*f + p + f. Does 18 divide y(5)?
False
Let r(o) = 2*o**2 + 4*o + 2. Let w be r(-7). Let x be (-2)/(-8) + 3/(-12). Suppose -2*v = -v + 3*n - 36, -2*v + 3*n + w = x. Does 12 divide v?
True
Let l = 11 - -24. Is l a multiple of 17?
False
Let i(r) = -30*r + 18. Does 7 divide i(-4)?
False
Suppose 6*x = 4*x + 48. Is 1/(-4) - (-534)/x a multiple of 11?
True
Is 13 a factor of (-1 + -3 - -62) + -1?
False
Suppose -5*l = -5*m - 50, -4*l + 2*m = -9 - 25. Suppose 4*x = l*x - 192. Does 17 divide x?
False
Suppose 11 = 3*o - 1. Suppose -o*l - 60 = -2*z, 2*z + 4*l - 69 - 23 = 0. Is 19 a factor of z?
True
Let d be (-9)/6*(-8)/(-6). Let i = -5 - d. Is 5 a factor of ((-20)/6)/(i/9)?
True
Let k(n) = n - 3. Let r be k(0). Is 21 a factor of (1 - 2)/(r/63)?
True
Let s be 1*(-4 - -1 - -3). Let q(d) = d**2 + d + 16. Does 8 divide q(s)?
True
Let y be -6*(232/3)/(-4). Suppose -4*h + y = -40. Suppose -p = 2*s - 27, -5*p - s = -3*p - h. Is p a multiple of 6?
False
Suppose 40 = 5*l - 50. Suppose 5*a = 4*a + 2*j + 7, -3*a - 4*j = 9. Is 7 a factor of -2 + -1 + l - a?
True
Suppose -6 = -p - 3*g, -2*g = -p + 13 + 8. Let z = -10 + p. Suppose 5*f - 51 = -x, f + 2*x - z = 7. Is 5 a factor of f?
True
Let l(x) = -x**3 + 4*x**2 + 4*x + 7. Let h be l(5). Suppose 3*u - 5*c = 27, h*u - u - 26 = -4*c. Does 8 divide u?
False
Let g = 13 - 8. Suppose g*a - 7*a = 0. Suppose a = -2*i - 3*i + 90. Does 18 divide i?
True
Suppose -2*f - m - 1 + 10 = 0, 4*m + 4 = 2*f. Suppose x - 2*l + f*l = 28, -2*x + l + 61 = 0. Is 15 a factor of x?
True
Let z(t) = 16*t + 46. Let b(r) = 3*r + 9. Let s(x) = 11*b(x) - 2*z(x). Let q be s(-5). Is 11/q + 1/(-2) a multiple of 2?
False
Let w be (-19)/(-3) - (-2)/3. Let t = w + -4. Is t/9 - 125/(-3) a multiple of 21?
True
Suppose 0 = 4*y + 5*x + 283, -y - 5*x + 2 - 84 = 0. Let i = -23 - y. Let r = -23 + i. Is 14 a factor of r?
False
Let m