+ m - 4*m - 90 = 0. Is n a multiple of 9?
True
Suppose 40 = 7*x - 3*x. Is 10 a factor of 4*x/4 - 0?
True
Let m = 40 - 19. Let x be (18/(-9))/(3 + -1). Let t = x + m. Is t a multiple of 10?
True
Let n(i) = -3*i**2 + 55*i + 38. Is n(18) a multiple of 3?
False
Suppose 0 = -3*o + 6 + 12. Suppose 33 = 4*w - 7. Let c = w - o. Is c even?
True
Let d be 3/6*242 - 1. Suppose -d = -h - 42. Is h a multiple of 39?
True
Let f(p) = -p**2 - 8*p + 10. Let m(s) = 5*s**2 + 41*s - 50. Let c(x) = -11*f(x) - 2*m(x). Does 15 divide c(-10)?
True
Does 9 divide ((-36)/8 + 3)/((-3)/18)?
True
Let d = -3 - -1. Does 5 divide d + 0 + (0 - -27)?
True
Suppose -4*r = 6 - 18. Suppose f = -4*u + 6*f + 11, 0 = r*u - 2*f - 10. Suppose 91 = u*s + 19. Does 9 divide s?
True
Suppose -4*r = -16, -7 = 2*t - 5*r + 3. Suppose -m = 4*g - 0*m - 17, -37 = -4*g - 5*m. Suppose 3*n - 33 = -t*j - n, -42 = -g*j + 5*n. Is 5 a factor of j?
False
Suppose 4*u - 144 = -24. Let n = u - 2. Does 15 divide n?
False
Suppose -57 = 5*n - 8*n. Is n a multiple of 5?
False
Suppose 0*c - c - 3*l = -134, l - 4 = 0. Does 61 divide c?
True
Let k = -23 - -44. Let g be 87/(-6) + (-2)/4. Let t = g + k. Is t a multiple of 6?
True
Let c(q) = -2*q**3 - 2*q**2 + 2*q. Suppose -2*p + 0*p = 0. Suppose p*j - j = 2. Is c(j) a multiple of 4?
True
Suppose 3*a = -3, 3*a + 315 - 57 = 5*i. Does 17 divide i?
True
Let x(v) = 2*v - 13. Let k be x(0). Let n = -28 - -20. Let u = n - k. Is u a multiple of 5?
True
Let p(z) = z**3 - 4*z**2 + z + 1. Let k be p(4). Suppose -k*f - 65 = -t, -2*t + t - f = -65. Suppose 3*q - t = -20. Is q a multiple of 10?
False
Suppose 6*p - 25 = p. Suppose 0 = -4*z + 3*a + 159, -p*z + 123 = -2*z - a. Is 17 a factor of z?
False
Let n be 4 + (-1 - 2) + 71. Suppose -2*v - 42 = -r - 0*r, n = 2*r + 2*v. Does 18 divide r?
False
Suppose -14*w = -17*w + 36. Does 12 divide w?
True
Let f(b) = -13*b + 1. Let n(d) = -d - 1. Let i(q) = f(q) + 2*n(q). Let x = 3 + -4. Is 14 a factor of i(x)?
True
Suppose 0 = s - 4, 0*s - 2*s - 112 = -2*p. Is 20 a factor of p?
True
Does 12 divide (-10)/35 + (-676)/(-14)?
True
Suppose 2*t - 5*x - 31 = -0*t, 4*t + 4*x - 132 = 0. Is t a multiple of 16?
False
Suppose 3 = -q, 4*q + 3 = -4*k - 9. Suppose 3*j - 15 = k, -2*z - 3*z + 4*j + 55 = 0. Does 15 divide z?
True
Suppose 5*b + l - 125 = 0, 5*l - 29 = -4. Suppose -4*u + 192 = -0*u. Let h = u - b. Is 12 a factor of h?
True
Let a(q) = 20*q**2 + q + 1. Let n = 2 + 0. Suppose 5*b + 3 = -n. Does 10 divide a(b)?
True
Suppose 0*i = 2*i - 4. Suppose -x = 5*l + 12, 4*l = -3*x - i*x + 24. Is 4 a factor of x?
True
Suppose -3*z + z = 0. Let y = z + 1. Is 13 a factor of 37 + 1 + 1/y?
True
Does 20 divide 14380/90 - ((-4)/(-18))/(-1)?
True
Let z = -14 - 23. Let l = z - -57. Is 6 a factor of l?
False
Suppose 4*s = 16, 0*s + 610 = 3*r - 5*s. Does 19 divide r?
False
Suppose -116 = -4*f + f + i, 16 = 4*i. Does 4 divide f?
True
Let x(b) be the third derivative of b**5/12 + b**4/12 + b**2. Does 8 divide x(2)?
True
Suppose 5*r = 7*r - 102. Is r a multiple of 17?
True
Suppose 2*x - g + 2*g + 16 = 0, 0 = 5*x + 4*g + 46. Let f be x/18 - 22/6. Let y = f - -42. Does 16 divide y?
False
Is (-2)/9 + (132960/54)/10 a multiple of 23?
False
Suppose -2*g - 60 = -3*g. Is g a multiple of 30?
True
Suppose -f + 4*f - 12 = 0. Let a(r) = 5*r - 5. Is 15 a factor of a(f)?
True
Suppose -3*u + 43 = -5*n, -3*u + 3*n + 55 = 4. Does 7 divide u?
True
Let a(b) = b**2 - 2*b + 4. Let s be a(3). Suppose -s*u + 2*u + 25 = 0. Is u even?
False
Let q = -84 - -122. Is q a multiple of 17?
False
Suppose 0 = -v + 3*v + 10. Let p(r) = -r**2 - 7*r + 2. Does 7 divide p(v)?
False
Let o(y) = -2*y**3 - 3*y**2 - 2. Let b(m) = m - 6. Let q be b(3). Is o(q) a multiple of 25?
True
Let g(y) = 64*y + 5. Let c(k) = -96*k - 8. Let f(z) = 5*c(z) + 8*g(z). Is 21 a factor of f(1)?
False
Suppose 2*t + 22 = 3*y - 13, 28 = 2*y + t. Is y a multiple of 3?
False
Let p = 193 + -137. Is 30 a factor of p?
False
Let t(o) = o + 3. Let a be t(-5). Let y be 5/((-15)/a)*9. Suppose b - 2*z - y = -0*b, 4*z + 30 = 5*b. Is b a multiple of 6?
True
Let h = -4 + 1. Let v = 9 - h. Suppose 3*d = d + v. Is 5 a factor of d?
False
Let a(l) = -l**3 + 10*l**2 + 3*l + 3. Is a(4) a multiple of 19?
False
Suppose 5*d - 5 - 10 = 0. Suppose -3*h + 0*h = -75. Suppose d*f - 4*b = 45, -f + 0*b + h = 2*b. Is f a multiple of 8?
False
Suppose -4 = -3*u - u. Let h(p) = 16*p**2 - 2*p**2 - u + 0. Is 13 a factor of h(-1)?
True
Let b be 2*1*(11 + -10). Suppose b*m = 4*m - 24. Is m a multiple of 4?
True
Let d be (292/(-2))/(-3 - -1). Let z = -49 + d. Is 12 a factor of z?
True
Suppose -3*j + 8 = -j. Suppose 0 = 4*p + 4*g + 40, j*g + 12 = -0. Let q = 16 + p. Is 9 a factor of q?
True
Let c be 4/14 + 4516/(-28). Let k = -14 - c. Suppose k = 2*p + p. Is 22 a factor of p?
False
Is 8 a factor of (-1)/8 - (-1206)/48?
False
Let f(z) = 5*z - 1. Let j(p) be the third derivative of 7*p**4/12 - p**3/3 - 2*p**2. Let r(l) = -11*f(l) + 4*j(l). Does 2 divide r(0)?
False
Let f = 18 - 6. Suppose f = -h + 3. Does 11 divide (-30)/h*72/10?
False
Let y(f) = -6*f - 11. Let z(p) = -p - 1. Let n(j) = -y(j) + 4*z(j). Let c be n(-6). Does 10 divide (-3)/c + (-107)/(-5)?
False
Let q(d) be the second derivative of -3*d**3/2 + 17*d**2/2 + 8*d. Does 20 divide q(-7)?
True
Suppose -2*u - 15 = 1. Let l = u - -15. Is l a multiple of 2?
False
Suppose 3*y - 5*l = -38, 0*y - l + 28 = -4*y. Suppose 0 = 3*n - 5*n + 8. Does 20 divide 7*y/n*-2?
False
Let v(y) = -y - 7. Let x be v(-5). Let w be x + 1 + 3 + 18. Suppose -2*c + w = 3*c. Does 2 divide c?
True
Let n be (0 - -5) + 1*-1. Suppose j = 5*d + 2*j - 137, 0 = -n*d - j + 109. Does 8 divide d?
False
Is 6 a factor of (6/3)/((-3)/(-42))?
False
Suppose 4*u - 2*u - 106 = -5*a, -192 = -4*u - 5*a. Is 43 a factor of u?
True
Let x = 19 - 10. Let n = 1 - x. Let p = n - -21. Is 9 a factor of p?
False
Suppose -b = -2*r - 21, -4*b + 0*r = r - 111. Is 12 a factor of b?
False
Let t(w) = 3*w**3 - 5*w**2 + 6*w. Is t(4) a multiple of 26?
False
Let t = 150 + -24. Does 9 divide t?
True
Suppose -i - 3*x = 4*i - 303, -4*x = -5*i + 296. Is 10 a factor of i?
True
Let s(i) = -5*i**3 - 4*i**2 + 5*i + 12. Is 6 a factor of s(-3)?
True
Let q(v) = -v - 1. Let c be q(-5). Let a be 35/c - 2/(-8). Suppose -3*p = -a, 4*n = p - 3*p + 38. Does 4 divide n?
True
Suppose i - 3*i = 0. Does 10 divide (-28)/(-2) - i/2?
False
Let q be (-1850)/20 - (-1)/(-2). Is (q/(-12) - 3)*12 a multiple of 19?
True
Let s(j) be the first derivative of 7*j**2/2 + 5*j + 3. Does 17 divide s(5)?
False
Is 7*3*(-28)/(-42) a multiple of 14?
True
Let r be (5/2)/5*-24. Let v be 6/(-8) + (-57)/r. Suppose 0 = -v*j - 2*h + 76, 3*h = h - 4. Is j a multiple of 8?
False
Let g(j) be the first derivative of j**5/20 + j**4/12 - 5*j**3/6 + j**2 + j - 3. Let q(v) be the first derivative of g(v). Is q(3) a multiple of 12?
False
Suppose 5*q - 2*q = 6. Suppose 4*l - m + 209 = -218, -3*l - q*m - 312 = 0. Let k = -59 - l. Is k a multiple of 23?
False
Suppose s - 93 = -2*s. Suppose 3*f + 42 = -6. Let u = s + f. Is 15 a factor of u?
True
Suppose 8*l = 11*l - 3. Does 17 divide (1/l)/(15/510)?
True
Suppose 4*p - 201 + 57 = 0. Does 18 divide p?
True
Suppose o - 10 = -5*v, 4*o - 40 = -0*o + 3*v. Is o a multiple of 5?
True
Suppose 3*b + 5 = 4*b. Suppose 0*h - h + 3*r = -27, 54 = 2*h - b*r. Is 10 a factor of h?
False
Let q = 52 - 41. Is q a multiple of 8?
False
Let s = -7 + 16. Let m(c) = 13*c**3 - 45*c**2 + 8*c + 8. Let q(k) = -3*k**3 + 11*k**2 - 2*k - 2. Let d(h) = -2*m(h) - 9*q(h). Is 10 a factor of d(s)?
True
Let s be 70/3 + (-3)/9. Suppose -59 + s = -3*r. Suppose q - r = 18. Is 11 a factor of q?
False
Let s = 11 + -3. Let a be ((-9)/(-6))/(3/s). Is 121/a + (-2)/8 a multiple of 15?
True
Suppose -5*g + 2*y + 90 = 0, 5*g - 8*y - 100 = -4*y. Is 12 a factor of g?
False
Suppose -2*o + 5 + 13 = 0. Let x = 2 + o. Does 4 divide x?
False
Suppose -36 = 2*p + 12. Let c = p - -40. Does 5 divide c?
False
Suppose -s + r + 3 = 0, 0 = -5*s - 5*r - 5 - 20. Let b(x) = -x - 1. Let a(o) = -14*o + 2. Let w(y) = a(y) + 3*b(y). Is 7 a factor of w(s)?
False
Suppose 1272 = 5*x - 228. Is 60 a factor of x?
True
Let i be (-2)/(-2)*3 - 1. Suppose 4*k + i*y - 4*y - 260 = 0, -332 = -5*k - y. Suppose -5*w = -4*j + 227 - k, j + 4*w = 14. Does 17 divide j?
True
Let y(b)