o = r - 7. Does 5 divide o?
True
Suppose -4*u + 8*u = 596. Is u a multiple of 13?
False
Suppose 3*b - 7 = -19. Is 8 a factor of 1*(48 + b/(-1))?
False
Is 8 a factor of (88 - (4 + -2)) + 2?
True
Is 8 a factor of (-1414)/(-49) + 1/7?
False
Let v(c) = 7 + c + 3*c - 3*c. Is v(8) a multiple of 5?
True
Let o = -6 + 6. Let w be (o - (-2 - -3))*1. Is 7 a factor of (1 - 2)*w*18?
False
Let t(b) = 10*b**2 + 1. Suppose 5*f - 30 = 5*q, q - 4*q - 3*f = -12. Is t(q) a multiple of 8?
False
Suppose -2*z + 3*z - 5*c - 63 = 0, -4*z = -c - 328. Is z a multiple of 7?
False
Let i be -6*(4/3 + -2). Suppose 5*c - 8 = i*c. Is 8 a factor of c?
True
Let g(r) = r**3 - 6*r**2 + 6*r - 5. Suppose 2*m = 5*m - o - 16, -2*m = o - 9. Let h be g(m). Does 15 divide 0 + 16/(h + 1)?
False
Let j = 40 - -7. Is j a multiple of 6?
False
Suppose -5*r = -c - 0*c + 69, 71 = -5*r - c. Let t be (-24)/r - (-2)/7. Is 19 a factor of (2 - -17) + t + -2?
True
Let b be (-12)/(-8)*2/1. Suppose b*v - 4*y = 235 - 26, -5*v + 355 = -5*y. Does 15 divide v?
True
Suppose -76 = -3*s + 2*n - 20, 4*s - 3*n - 73 = 0. Let c = 1 + 13. Let m = s - c. Is 4 a factor of m?
True
Suppose -x + 4*x = 6. Suppose 11 = -x*d - 2*d - 5*v, 3*d + 37 = 2*v. Let p = d - -19. Does 3 divide p?
False
Let b = -8 + 8. Suppose 40 = 5*y - b*y. Does 4 divide y?
True
Suppose 4*n + 28 = 2*i + 78, i + 53 = 4*n. Is ((-12)/n)/((-7)/441) a multiple of 27?
True
Does 7 divide (12/(-10))/(64/(-2400))?
False
Let m = 13 + -5. Suppose -18 = -9*o + m*o. Is o a multiple of 6?
True
Is 24 a factor of (-25)/(-50) - (0 + 94/(-4))?
True
Suppose 5*a + 2*d = 8, 3*d + 3 = -2*a + 4. Suppose -a*t + 4*g = 9*g - 89, -2*t = -2*g - 54. Is 16 a factor of t?
True
Let b(v) = -v**3 - 2*v**2 - 5 + 6*v**2 + 2*v**2 - 8*v + 6*v. Does 11 divide b(4)?
False
Is (6 - 10) + (-148)/(-2) a multiple of 14?
True
Let i(z) = -z + 4. Let k be i(2). Suppose -16 = -a + k*m, -3*a - 2*m + 5*m = -54. Is a a multiple of 11?
False
Let d be (-16 + -2)*(-19)/3. Let h = 184 - d. Let c = -30 + h. Is c a multiple of 14?
False
Let l(w) = 2*w**2 + 4*w - 10. Let a be l(-5). Suppose 0 = -5*m + 245 - a. Does 15 divide m?
True
Suppose -24 = -0*g - 4*g. Let c = g - 2. Does 4 divide c?
True
Suppose 4*t - 3*t + 4*b = 10, -4*b = -2*t + 44. Let n = -13 + t. Is 13 a factor of 192/n + 6/(-15)?
False
Is 7 a factor of 17/((0 + 2)/4)?
False
Let a = 30 - 7. Let l = -64 + a. Let t = -26 - l. Does 12 divide t?
False
Suppose 9 + 33 = 7*s. Does 6 divide s?
True
Let y(p) be the second derivative of -11*p**3/6 - p**2/2 + p. Does 32 divide y(-3)?
True
Is ((-12)/(-9))/((-3)/(-81)) a multiple of 3?
True
Suppose b - 3*b - 168 = 0. Let j = -50 - b. Let g = 8 + j. Is g a multiple of 14?
True
Suppose -q - 28 = -g + 3*g, -2*q - 30 = 2*g. Let p(t) = 5*t - 1. Let j be p(-1). Let r = j - g. Does 5 divide r?
False
Let z(q) = 3*q - 5. Let b be z(5). Let m(u) = u**3 + 9*u**2 + 11*u - 1. Let x be m(-8). Is b/x + (-152)/(-5) a multiple of 15?
True
Let t(u) = 13*u**2 + 14*u + 12. Let v(q) = 4*q**2 + 5*q + 4. Let j be 0 + 2 + (-12)/3. Let s(f) = j*t(f) + 7*v(f). Is 3 a factor of s(-4)?
False
Suppose 0 = -3*y + y + 38. Let o = y + 5. Is o a multiple of 12?
True
Let l = 1 - -4. Let p(g) = 3*g + 1 + g - 5 + 0*g. Does 8 divide p(l)?
True
Let t(y) = y**2 - 6*y + 4. Let k = -3 - 0. Let j be (4/(-6))/(k/27). Is t(j) even?
True
Let k = 5 + -8. Suppose -2*i - 2 = -0. Is 12 a factor of k/(-2)*(-16)/i?
True
Suppose 5*l = 2*j + 825, 660 = 4*l - 4*j + 3*j. Is l a multiple of 7?
False
Suppose 5*n - 40 = -5*l, 7 - 17 = -n - 3*l. Suppose 8 = -n*r + 2*r + 2*h, -3*h + 12 = -4*r. Let t = r - -18. Does 13 divide t?
False
Let d = 8 - 1. Let s = 49 - d. Does 14 divide s?
True
Suppose 0 = -q + 2*q - 3. Suppose q*n = -2*n - 75. Let z = 28 + n. Is z a multiple of 7?
False
Let z(b) = 2*b**2 - 2. Is 30 a factor of z(-4)?
True
Let d be 48/(-40)*(-5)/(-2). Does 5 divide (d/2)/((-9)/120)?
True
Suppose -4*a + 2*d + 7 = -d, a - 2*d = 8. Does 16 divide a/(-4) - (-126)/4?
True
Let k(d) = 2*d**2 + d - 1. Let a be k(-2). Suppose -3*m + r + 22 = 3*r, -a*r - 10 = m. Does 5 divide m?
True
Let g = 7 - 4. Suppose 0*n - 90 = -g*n. Is n a multiple of 15?
True
Suppose 140 = 4*y + 4*d, 3*y + 14 = -5*d + 129. Let f be (-76)/(-18) + (-6)/27. Suppose 0 = -t - f*t + y. Is t a multiple of 4?
False
Let q(i) = i**3 + 3*i**2 - 6*i - 4. Suppose 5*f - 58 = -2*o, 8*f - 4*f = 4*o + 52. Let k = 8 - f. Is q(k) a multiple of 4?
True
Suppose -4*k - 3*u + 6*u + 142 = 0, 181 = 5*k - 2*u. Does 3 divide k?
False
Let m(j) = 214*j**2 + 3*j - 1. Is m(1) a multiple of 27?
True
Let k(s) = s - 2. Does 2 divide k(7)?
False
Suppose 5*w + 5*u = 0, 21 = 3*w - 4*u - 14. Is 14 a factor of (w - -67)*3/4?
False
Let j(s) = -s**3 + 3*s**2 + 2*s - 1. Let m be j(3). Suppose -m*t + 0*t - 2*a = -63, 75 = 5*t + 5*a. Is 7 a factor of t?
False
Let p be (2/3)/(1/21). Suppose 20 = y - p. Does 18 divide y?
False
Let v(d) = 0*d**2 + d**3 + 4 + 0*d**2 - 4*d - 5*d**2. Does 6 divide v(6)?
False
Let w(h) = h**2 - h**3 - 6*h**2 + 11 + 0*h - 4 - h. Is 4 a factor of w(-5)?
True
Suppose 0 = 4*x + 4*g - 108, -5*x + 2*x + g + 93 = 0. Let p = x + 6. Does 18 divide p?
True
Let r be 2/(-6) - 1156/(-12). Suppose 4*j - r = 64. Is j a multiple of 20?
True
Let p(d) = d + 11. Let z be p(-9). Let b(t) = -4*t**2 - t**3 + 9*t**2 + 5 - z - 5*t. Is b(3) a multiple of 6?
True
Is ((-168)/(-5))/(2*3/20) a multiple of 28?
True
Let a(h) = 3*h - 12. Let v(q) = 1. Let m(g) = -a(g) - 2*v(g). Is m(-5) a multiple of 14?
False
Let a be 5*((-16)/(-4))/4. Suppose -z + u = 4*u - 27, 109 = 2*z - a*u. Is z a multiple of 20?
False
Is 18 a factor of 1/(4*4/1616)?
False
Suppose 3*x = 63 + 12. Does 4 divide x?
False
Let p = -7 + 8. Is 2 a factor of p + (0 - -1) + 5?
False
Let i(w) be the third derivative of w**5/15 - w**4/6 + w**3/3 - 2*w**2. Let j(z) be the first derivative of i(z). Does 12 divide j(4)?
False
Let m = 25 + -10. Is 3 a factor of m?
True
Let k be (1/3)/(6/(-54)). Let g(x) = -2*x - 4. Let s be g(k). Does 3 divide ((-3)/s)/(2/(-4))?
True
Suppose r + 630 = 6*r. Suppose -2*b + 5*b = r. Is 14 a factor of b?
True
Suppose -24 = -k - 126. Let g = k + 73. Let b = g - -41. Does 12 divide b?
True
Suppose j = 2*j + 32. Let n = -20 - j. Is 10 a factor of n?
False
Suppose -4*d + 43 = 4*z - 13, 82 = 5*d + 2*z. Is 18 a factor of d?
True
Let p = -20 + 37. Is p a multiple of 4?
False
Suppose -16*m + 19*m - 9 = 0. Let d(j) = j. Does 2 divide d(m)?
False
Let p be (-28)/(-5) + 3/(-5). Suppose p*a - 2*o - 235 = 0, -3*a - 64 = -3*o - 196. Let g = 88 - a. Is 15 a factor of g?
False
Suppose x - 13 = 34. Let a = 69 - x. Does 11 divide a?
True
Let r = 2 - 4. Let a = r - -4. Let l(q) = 2*q**3 - q**2 + 1. Is 11 a factor of l(a)?
False
Suppose z - 6 = 1. Let h = 37 - z. Does 10 divide h?
True
Let u(z) = z - 2. Let s be u(4). Suppose 2*p + 3*x - 13 = 0, 0 = s*x - 1 - 5. Suppose p*v - 30 = 5*o, 7*o = v + 2*o - 25. Is 4 a factor of v?
False
Let m(k) = -k - 1. Let f be m(-4). Does 4 divide f - 0 - 0 - -1?
True
Let v = 20 - -14. Does 5 divide v?
False
Let p(r) = -r + 8. Let h be p(6). Let x = 5 - h. Suppose -x*i + 43 = -14. Is i a multiple of 15?
False
Let c(y) = 16*y - 16. Is c(5) a multiple of 16?
True
Suppose 4*v = 44 + 20. Let c be 16/10*15/6. Let g = v - c. Does 4 divide g?
True
Suppose -j + 14 = 2*o, 0 = -2*j - 0*o + 2*o + 46. Is 21 a factor of (-206)/(-10) + 8/j?
True
Let n(p) = -16*p - 4. Is n(-3) a multiple of 44?
True
Suppose 5 = 2*r - 1. Let i be ((-290)/15)/(1/r). Let y = 95 + i. Does 13 divide y?
False
Let q = 12 - -12. Is 8 a factor of q?
True
Let y = 104 - -16. Is 35 a factor of y?
False
Let w(z) = z**3 + 5*z**2 - 8*z + 9. Let x be w(-7). Let f = x - -56. Is f a multiple of 11?
False
Is -4 + (-3 - -5) + 8 a multiple of 2?
True
Suppose 24 = v - 0*v. Is v a multiple of 6?
True
Let z(t) be the first derivative of -t**4/12 + 7*t**3/6 + 3*t**2 + 3*t + 3. Let f(v) be the first derivative of z(v). Does 6 divide f(6)?
True
Suppose -4*v + 0 = -56. Does 7 divide v?
True
Let i = 55 + 15. Is 14 a factor of i?
True
Let r = 4 - 23. Let f(h) = -h**3 - 2*h**2 + h - 2. Let j be f(-3). Is 16 a factor of (r/4)/((-1)/j)?
False
Let m(o) = -o**3 + o**2 + o. Suppose -3*v - 8 = a, 4*a = 2*v - 0 - 4. Is 5 a factor of m(a)?
True
Suppose -2*l + 15 = -7*l. Let z(k) = 2*k**2 + 3*k - 4. Does 4 d