 100 - 70. Does 10 divide r?
True
Suppose -p - 20 = 3*p. Let i = 5 + p. Suppose -4*h - 3*j + 107 = i, -3*j - 16 = -2*h + 33. Is 13 a factor of h?
True
Let m be -2 - 0 - (-30 - 0). Let u = m + -12. Suppose h - u + 4 = 3*s, -5*s = 0. Is h a multiple of 12?
True
Suppose -4*d = -3*d - 38. Does 16 divide d + ((-2)/1 - 0)?
False
Let r(c) = -c**2 - 3*c + 4. Suppose 0*w = 5*w + 20. Let j be r(w). Suppose j = 4*q, -a + 11 + 3 = -4*q. Is 4 a factor of a?
False
Suppose m = -d - 7, -m + 5*m + 10 = 5*d. Let u be d/(8/(-54))*-2. Let w = u - -47. Is 10 a factor of w?
True
Suppose 0 = -f - 18 + 66. Suppose -5*u + f = -2*u. Is 3 a factor of (-33)/(-4) + (-4)/u?
False
Let n(g) = g + 4. Let s be n(-2). Does 11 divide ((-110)/30)/(s/(-18))?
True
Suppose 0 = 5*a - 130 - 20. Does 10 divide a?
True
Let t = 76 + 50. Does 7 divide t?
True
Let y(c) = c - 2. Let h be y(5). Suppose -h*b - 3*s + 55 = -b, b + 5*s - 45 = 0. Does 20 divide b?
True
Let d = 69 + 31. Is d a multiple of 11?
False
Suppose -4*b = -5 + 13. Is 29 a factor of b - -1*124/4?
True
Let z(u) be the first derivative of u**4/4 - 7*u**3/3 + 9*u**2/2 - 6*u - 2. Let p be (-19)/(-3) + (-2)/6. Is z(p) a multiple of 6?
True
Suppose -5*j = 4*c - 293, j - 5 = -0. Is c a multiple of 3?
False
Let j = 42 + -24. Is j a multiple of 9?
True
Let n(x) = x**2 - 5 + 0 - 6 - 6*x. Does 5 divide n(8)?
True
Let y = -12 - -6. Let c be (-4)/y + (-1120)/(-12). Does 9 divide (-1)/(-2) - c/(-4)?
False
Let w(b) = 7*b**3 - 4*b + 1. Does 7 divide w(2)?
True
Does 12 divide (-1)/2*(-5 + 9)*-6?
True
Suppose 2*v - 5*v = 5*p - 141, 0 = -4*p - 5*v + 105. Is 10 a factor of p?
True
Let k be (3 + 68/(-2))/1. Let f = -13 - k. Is f a multiple of 6?
True
Let k be 1/(-5) + (-77)/(-35). Suppose -3*x + k*r = -51, -x - r = -0*x - 22. Is 19 a factor of x?
True
Suppose 0 = 2*g + 9 + 5. Let y = 26 - g. Does 33 divide y?
True
Let g be 8/(-16) + (-434)/(-4). Let i = -56 + g. Is i a multiple of 11?
False
Let f = 67 + 15. Suppose 0 = -4*x + 2*g + f, -4*x - 2*g + 3*g = -87. Is 7 a factor of x?
False
Let g(k) = k - 12. Let w be g(13). Let m = w - -25. Does 13 divide m?
True
Let j(m) = m**2 + 3*m + 7. Is 17 a factor of j(-5)?
True
Suppose -19*h + 69 = -16*h. Is h a multiple of 8?
False
Let k(h) = h**2 + 5*h + 2. Let j be k(-2). Let c(f) = 3*f + 4. Let r(v) = 2*v + 4. Let a(b) = -5*c(b) + 6*r(b). Is a(j) a multiple of 8?
True
Suppose -3*f + 88 = 5*c, -5*f - 3*c = -0*f - 136. Is f a multiple of 13?
True
Let b be 2/(-6)*0 - -5. Suppose 3*a = b*m - 0*a, -a = 4*m - 17. Is (-154)/(-6) - (-1)/m a multiple of 13?
True
Suppose 5*j = c - 483, -c - 700 = 5*j - 213. Let s = j - -143. Is 23 a factor of s?
True
Let n(a) = 14*a**3 - 6*a**2 + a + 7. Suppose 0 = -0*j - 5*j + 25. Let m(y) = 15*y**3 - 5*y**2 + y + 6. Let s(h) = j*n(h) - 6*m(h). Does 10 divide s(-1)?
True
Let q = 19 + -8. Let v be (-1)/2 + q/(-2). Let f(i) = i**2 + 6*i + 5. Does 3 divide f(v)?
False
Suppose 5*o + 27 = -5*l - 8, 0 = 4*l + 2*o + 22. Let m be 3/1*l/(-6). Suppose m*w + 41 = 3*w. Does 19 divide w?
False
Let o = -510 - -750. Is 15 a factor of o?
True
Does 7 divide (-6)/14 - 7460/(-28)?
True
Suppose 3*c + 2*i + 760 = 6*c, -i - 5 = 0. Suppose -c = 5*j - 10*j. Is 14 a factor of j?
False
Let m = 80 - 40. Does 20 divide m?
True
Let u = -71 - -131. Is 2 a factor of u?
True
Suppose 18 = 5*c + 2*y, 2*c = -c - y + 10. Is 17 a factor of -2 + 1 + c + 20?
False
Is (-9)/15 + (-4 - (-572)/20) a multiple of 8?
True
Is (-6)/(-9)*(54 + 3) a multiple of 21?
False
Suppose 0 = -3*i - 3*z + 57, 0 = 4*i - z - 0*z - 71. Suppose 45 = y - i. Suppose -3*b + 0*b + y = 0. Is 10 a factor of b?
False
Is -1 + 30 + (-6 - -9) a multiple of 16?
True
Let f be -18*(5/2 + -1). Let t = -40 - -27. Let o = t - f. Is o a multiple of 14?
True
Let j = 16 + -6. Suppose -21 = g + j. Let z = g - -59. Does 14 divide z?
True
Let k(u) = 3*u**3 + 11 - 4*u**3 - 8*u**2 - u + 0*u**2. Is 19 a factor of k(-8)?
True
Let m = 547 - 324. Let j = -135 + m. Let q = 128 - j. Is q a multiple of 20?
True
Let r be -3 + (-5 + 3)/1. Let p = 10 + r. Is p a multiple of 3?
False
Suppose 0 = 3*f - 2*x + 26, 6*x = -3*f + 3*x - 36. Let k be 4/f - 3/5. Is 13 a factor of (0 - -1) + 26 + k?
True
Let l(y) = -3*y - 13. Let j be l(-6). Let x(r) = 3*r**2 - 5*r + 2. Is x(j) a multiple of 13?
True
Let k(j) = 5*j**3 - 4*j**2 + 7. Let b(i) = -i**3 - 1. Let o(v) = -4*b(v) - k(v). Let g be o(4). Is 8/g*(-6)/4 a multiple of 4?
True
Let g = -283 + 463. Does 45 divide g?
True
Let i(w) = 1 - 2*w - w**2 + 0*w + 5*w**2. Is 2 a factor of i(1)?
False
Let u be (-2 + 1)/((-2)/(-6)). Let z = 7 + u. Suppose 4*r = 5*t - 67, t - z*r - 10 - 13 = 0. Is t a multiple of 5?
False
Let g(n) = 2*n**2 - 15*n + 8. Is 36 a factor of g(11)?
False
Let p(a) = -6*a**2 + 2*a + 2. Let b be p(-2). Let z = b - -48. Does 11 divide z?
True
Suppose 2 = -2*l + 8. Let b(u) = -u + 3. Let y be b(l). Suppose -6 + y = -2*t. Is 2 a factor of t?
False
Suppose -14*f = -12*f - 432. Does 27 divide f?
True
Let n(w) = w**2 + 15*w + 20. Let i be n(-14). Suppose -i*q + 6 = -30. Is 4 a factor of q?
False
Let k be 28/12 - (-1)/(-3). Let j be 1*(3 + -1) + k. Suppose -l - 4*l = -j*i - 35, 3*i = l + 4. Does 11 divide l?
True
Let x = 1 + 12. Suppose -4*h = -0*q + 3*q - 1, 5*h + 22 = 4*q. Let l = x - q. Does 10 divide l?
True
Let a be 5/(4 + -3 + -2). Let t be 20/8*(-4)/a. Suppose -2*p - t*p + 16 = 0. Is p a multiple of 3?
False
Let x(o) = 7*o - 1. Let z be x(1). Suppose f - z = 19. Suppose -2*b = -7*b + f. Is b a multiple of 5?
True
Suppose 5 = -3*n + 8*n, -2*n = -4*w + 738. Is w a multiple of 13?
False
Let j(s) = -s**3 + s**2 + 3*s - 1. Let u be j(3). Let h(b) = -b**2 + 15*b - 8. Let x be h(6). Let f = x + u. Does 13 divide f?
False
Let q(k) = 20*k**2 + 2. Is 41 a factor of q(-2)?
True
Let u(c) = -c**2 - 4 + 2*c**3 + 0*c**3 - 6*c**2 + 0*c**2 + 6*c. Is u(4) a multiple of 18?
True
Let n(t) = 7*t**2 - 2*t - 2. Is n(-2) a multiple of 6?
True
Let o(c) = -c**3 - 5*c**2 + 2. Suppose 3*h + 5 = 2*h. Let v be o(h). Suppose -f = v*f - 69. Does 20 divide f?
False
Suppose -2*q - 18 = -2*s, -3*q + 2*s + 12 = -6*q. Let a = 12 + q. Is a a multiple of 4?
False
Let f(g) = g**2 - 4*g - 2. Suppose -o - 2*q = -12 + 3, 2*q - 11 = -3*o. Let y = 7 - o. Is f(y) a multiple of 4?
False
Let s be (1 - 1)/2 + 25. Let v = -5 + s. Is 11 a factor of v?
False
Let d(s) = 2*s**2 - 3*s - 4. Let a = 9 + -13. Is 8 a factor of d(a)?
True
Let z(h) = h**3 - h**2 - h - 3. Let c be (0 - -3 - 0) + 1. Suppose 0 = p - c. Does 14 divide z(p)?
False
Suppose 5*u - 9*u = -104. Does 26 divide u?
True
Suppose 3*z - 234 = 4*r, 60 = z + 2*r - 18. Let b = z + -34. Is b a multiple of 10?
False
Is 27 a factor of (-2)/(-8) - 5491/(-68)?
True
Let z(y) = -y**3 - 2*y**2 + y + 2. Let d be z(2). Let s = d - -22. Does 5 divide s?
True
Let u = -2 - -12. Let m be ((-6)/u)/((-5)/25). Suppose -m*t = 9, 2*x - 45 = 4*t + 45. Is 13 a factor of x?
True
Let q be (2/(-2))/(1/3). Let f = 0 - q. Suppose f*d - 28 = d. Is d a multiple of 9?
False
Let v = -3 - -7. Suppose -95 = -4*t - 5*m, 5*t + v*m = 8*m + 129. Does 9 divide t?
False
Is 6/15 + (148/5 - -1) a multiple of 4?
False
Suppose s - 3 = -0. Let q be (-2)/((-6)/1)*-9. Let d = s - q. Is d a multiple of 3?
True
Let j(f) = f**3 - 10*f**2 - 5*f - 6. Let t be j(10). Is (t/6)/((-4)/6) a multiple of 7?
True
Let g(i) be the third derivative of -i**9/60480 - i**8/4032 + i**7/504 + i**5/30 + 3*i**2. Let l(y) be the third derivative of g(y). Is l(-7) a multiple of 14?
True
Suppose u + 1 = j, 0 = -4*j - 4*u + 2*u + 34. Suppose -9 = -2*g - s, 0*g + 2*s - j = 2*g. Is 5 - 3 - g - -6 a multiple of 2?
True
Let v = 9 - 5. Suppose 2*u = 4*u - y - 10, -4*y = -v*u + 28. Is u a multiple of 2?
False
Let x be 13/4 - 1/4. Let y be (-1)/3 - (-583)/x. Suppose 0 = 5*f - y + 69. Is 9 a factor of f?
False
Let g = -23 + 51. Is 10 a factor of g?
False
Let k(f) be the third derivative of -f**4/6 - 5*f**3/6 - 2*f**2. Let w be k(-10). Let l = w + -21. Is l a multiple of 7?
True
Let h be ((-12)/(-9) + -2)*-6. Suppose -3*t - 2*y = -4*t + 12, -2*y + h = 3*t. Suppose -3*z + 32 = t*q, 0 = -4*q + 6 + 2. Is z a multiple of 8?
True
Let v = -7 - -10. Suppose 82 = v*m + 2*z + 2, 4*z - 88 = -3*m. Let c = m + -16. Does 4 divide c?
True
Let v(j) = j + 13. Suppose -x + 5*x = 16. Suppose 0 = -3*s - x - 26. I