Is b(-11) a multiple of 29?
False
Let r be 8/10*105/14. Is 10 a factor of 246/8 - r/8?
True
Let s be 704/10 - 2/5. Suppose 2*n - 80 - s = f, n - 5*f = 93. Does 30 divide n?
False
Let t(c) = -c - 5. Let o be t(-10). Is 730/25 - 1/o a multiple of 21?
False
Let q = -4 - -6. Does 4 divide q + 1 + -1 - -10?
True
Suppose 55 = 8*k - 3*k. Let x = -22 - -14. Let h = x + k. Does 3 divide h?
True
Suppose 5*j + 145 = 5*w, 2*w - 5*j - 91 = -w. Is 8 a factor of w?
False
Suppose 2*f - 3*g - 10 = 0, 2*g - 2 = -f - 4. Suppose -3*o + 120 = f*o. Is o a multiple of 9?
False
Let p be -2*((-675)/(-6))/5. Does 16 divide 3*p/(-3) + 3?
True
Suppose -3*g = -5*g + 210. Let k = -28 + g. Is 18 a factor of k?
False
Let s = 28 + -28. Suppose s = 3*r - 7 - 113. Does 9 divide r?
False
Let g = 9 - 8. Is 8 a factor of 2 - 56/(-4)*g?
True
Suppose -6 = -d - 2*l, 14 = 2*d - 4*l - 6. Is 8 a factor of d?
True
Let i be 1/1*(-5)/(-1). Suppose 5*l - 295 = -i*c, -5*l + 239 = 4*c - 4*l. Is 15 a factor of c?
True
Let j be (16/6)/(6/270). Suppose 3*n - j = -2*n. Is 12 a factor of n?
True
Suppose -3*r = 2*a + 51, 4*r - a + 80 - 1 = 0. Let k = 0 - r. Is 17 a factor of k?
False
Let p be ((-18)/12)/((-3)/20). Does 13 divide 612/(-45)*p/(-4)?
False
Let n be (1 + -1)*2/4. Let r be 0 - 2 - (n + -5). Suppose 3*b + r = s, -s - b + 49 = 2*s. Is s a multiple of 13?
False
Suppose 360 = f - 0*f. Suppose 8*o - 3*o = f. Is o a multiple of 24?
True
Suppose -5*j + 115 = -10*j. Let y = j + 45. Does 9 divide y?
False
Let o(n) = 11*n - 26. Is 6 a factor of o(7)?
False
Let k = 78 - 53. Is 18 a factor of k?
False
Let y(u) = -39*u**3 + 1. Let r be y(-1). Let z = r - 5. Suppose -b = -z + 9. Is b a multiple of 13?
True
Let d be (10/(-3))/(8/(-12)). Suppose -d*a - 12 = -37. Suppose -a*c + 54 = -31. Is c a multiple of 7?
False
Let m = -11 - -17. Does 4 divide m + (-9)/3 - -1?
True
Suppose -7 = -3*d - 25. Let a = d + 22. Is 6 a factor of a?
False
Let p = 18 - 18. Does 13 divide 2/(-4)*p - -39?
True
Let n = -37 + 61. Is n a multiple of 6?
True
Suppose -3*u + 5 = -130. Does 11 divide u?
False
Is 11 a factor of 2/8 - (-1146)/24?
False
Let z be (-4)/(-6)*27/6. Suppose -z*n + 16 = -n. Is 8 a factor of n?
True
Is 280/(-12)*(-6)/5 a multiple of 22?
False
Let w(n) = -n - 4. Let h be w(-6). Suppose 6*g - h*g = 292. Suppose 3*x - 6*x - 3*o + 51 = 0, 0 = 4*x - o - g. Is x a multiple of 8?
False
Suppose 2*z = -2 + 22. Is 10 a factor of z?
True
Let k(q) = 11*q - 16. Is 13 a factor of k(5)?
True
Let f = -170 + 260. Is f a multiple of 15?
True
Suppose -2*h + 8 = -4. Is ((-2)/h - -1)*45 a multiple of 13?
False
Let j = 5 + -8. Let y = 7 - j. Does 7 divide y?
False
Let f = 59 + 9. Suppose -4*g = -3*g - 8. Suppose 0 = -5*p - g + f. Does 12 divide p?
True
Suppose -2*w - 4*l = -0*l - 60, -3*w - l + 70 = 0. Suppose -8 = -2*o + w. Let a = -10 + o. Is 5 a factor of a?
True
Suppose -55 = -g - 4*g + 5*a, 46 = 5*g + 4*a. Let d = g + 4. Is d a multiple of 4?
False
Suppose 3*j = -5*o + 470, -2*o - j + 94 = -o. Is 4 a factor of o?
False
Let g be (-1 - -3)/(-2)*-3. Suppose 3*y - 64 = -4*h, g*y - 16 = -h + 4*y. Does 7 divide h?
False
Suppose 63 - 291 = -6*k. Suppose -130 = -5*w - 4*m, 2*m + 34 = 2*w - 0*w. Let y = k - w. Does 8 divide y?
True
Suppose -4*j + 1226 = 4*b + 466, -3*j = -4*b + 725. Does 37 divide b?
True
Let f(s) = -s - 2. Let b be f(-7). Let r(n) = b*n - 12 + 12. Is 5 a factor of r(1)?
True
Suppose s - 23 = -4*t, -3*s = 2*s + 3*t - 30. Let z(b) = 3*b**2 - 2*b - 3. Does 5 divide z(s)?
False
Let l(m) = m**2 + 5*m - 7. Let t be l(-6). Let s(u) = 4*u**2. Let o be s(t). Suppose 4*h = 8*h - o*g - 28, 2*g = -4. Is h a multiple of 2?
False
Let m(o) be the first derivative of 2*o**2 - 5*o + 1. Is 17 a factor of m(6)?
False
Let t(f) = -4*f + 71. Does 8 divide t(0)?
False
Let c = 86 - 30. Suppose 0 = -3*j + j + c. Does 7 divide j?
True
Suppose 7*h = 1817 - 662. Is h a multiple of 15?
True
Let n(q) = -q**3 + 6*q**2 - 4*q. Let g be n(5). Suppose 2*t = g*t - 117. Is t a multiple of 13?
True
Suppose 34 = -4*m + 126. Is 23 a factor of m?
True
Let c(p) = 3*p + 21 - p - 7. Is 4 a factor of c(6)?
False
Suppose 5*y - 294 = 2*r, 5*r - 136 = -2*y - 1. Is 5 a factor of y?
True
Let h be (-1)/3 - 14/(-6). Suppose -h*u = -5*u - 3. Is (-1)/((-2)/(-30)*u) a multiple of 15?
True
Suppose 4*m = 2*m. Suppose m = -4*f - z + 835, 5*z + 121 = -4*f + 968. Suppose 4*j + 0*k - f = 4*k, 0 = 4*j + 5*k - 172. Is 18 a factor of j?
False
Suppose -3*o = 2*o, 0 = -4*q + 5*o + 28. Does 26 divide (-2)/(-7) - (-544)/q?
True
Suppose 9 + 8 = -u. Let r = u - -44. Does 14 divide r?
False
Let n(x) = 2*x**2 - 7*x - 10. Does 10 divide n(-4)?
True
Let f = -16 + 2. Let w = f + 10. Is 7 a factor of (-2 - w)/((-2)/(-20))?
False
Let y(n) = -n**3 - 2*n**2 - 4*n - 5. Suppose 0 = 2*r + 8. Does 24 divide y(r)?
False
Let a(b) = -3*b + 8. Is a(-4) a multiple of 5?
True
Suppose 12*d = 8*d + 72. Is 3 a factor of d?
True
Let r(j) = j**2 + 5*j + 2. Let v be r(-5). Suppose v*a - a - 12 = 0. Is (76/(-12))/((-2)/a) a multiple of 19?
True
Is 27 a factor of 648/4*(-4)/(-6)?
True
Let a(k) = -2 - 6*k**2 + k**3 - 5*k + 2*k**3 - 4 - 2*k**3. Does 4 divide a(7)?
True
Let o(h) = h**2 + 14*h + 9. Is o(-16) a multiple of 30?
False
Let t = -34 + 10. Does 8 divide (t/(-30))/(2/60)?
True
Let r be 1 - (0 + (7 - 2)). Let v be r*(6/(-4) + 1). Suppose -h - 102 = -6*h + v*y, -h - y = -19. Is 11 a factor of h?
False
Let t(z) = z**3 - 2*z**2 - z. Is 25 a factor of t(5)?
False
Suppose -3*c + 4*o + 55 = 0, -3*c + 0*c + 65 = -2*o. Is c a multiple of 25?
True
Suppose -19 = -p + 1. Does 4 divide p?
True
Suppose 4*w = -w - 4*q + 24, 3*w + 2*q = 14. Suppose -3*v - 32 = -2*n + 46, 148 = 4*n - w*v. Does 18 divide n?
False
Let c = 27 + 62. Suppose 4*p - 15 = c. Is 26 a factor of p?
True
Suppose 0 = -l + i + 204, 4*l - 5*i = -0*l + 818. Is 13 a factor of l?
False
Suppose 0 = -2*c + 6*c + 5*f + 365, -2*c - 202 = -4*f. Let p = c + 139. Suppose 0*z + 2*z - p = 0. Does 11 divide z?
True
Does 18 divide ((-18)/(-7))/((-2)/(-14))?
True
Let f = 1 - -16. Is 15 a factor of f?
False
Suppose 4*o + m - 348 - 440 = 0, -5*o - 4*m = -985. Suppose -j + 5*s + 37 = -12, -o = -5*j + s. Is 13 a factor of j?
True
Let t be (2/2 - 2)/(-1). Suppose 2*h - 3*k = 7, -2 = -k - t. Suppose h*o = 3*u + 16, u - o - 2*o + 12 = 0. Is u a multiple of 3?
True
Let b = 17 + -15. Suppose -3*x + 257 = 2*f + 18, -b = -2*f. Does 17 divide x?
False
Let x(n) = -n + 13. Let i be (-2)/21*9*7. Is 11 a factor of x(i)?
False
Let m = 490 - 250. Is m a multiple of 37?
False
Let b(p) = p**3 + 7*p**2 + 3*p + 8. Let o be b(-8). Let z = 119 + o. Is 11 a factor of z?
False
Suppose -111 - 188 = -13*g. Is g a multiple of 6?
False
Let t(x) = 3*x**2 + 9*x - 6. Let f(v) = -v**2 - 3*v + 2. Let l(z) = -7*f(z) - 2*t(z). Is 4 a factor of l(-5)?
True
Let a(d) = 62*d - 60. Is 21 a factor of a(5)?
False
Is 29*2*(-4)/(-8) a multiple of 8?
False
Suppose -5*w - 125 = 5*f, -5*w + f - 3*f = 110. Is w*((-3)/(-2) + -2) a multiple of 6?
False
Suppose -10*n + 450 = -0*n. Does 5 divide n?
True
Let t(x) = 4*x**2. Let q(w) = w**3 - 6*w**2 - 6*w - 6. Let m be q(7). Let d be t(m). Is 3 a factor of ((-6)/d)/((-1)/2)?
True
Is 16 a factor of ((-2)/(-4))/(21/1344)?
True
Let j(f) = 3*f**2 - 11*f + 12. Let p(i) = -2*i**2 + 5*i - 6. Let k(t) = 3*j(t) + 5*p(t). Does 13 divide k(-7)?
True
Let p(b) be the third derivative of -b**8/560 + b**7/1260 + b**6/720 - b**4/24 + 2*b**2. Let x(z) be the second derivative of p(z). Does 7 divide x(-1)?
False
Let s be (-210)/(-18) - (-1)/3. Suppose -x = 2*x - s. Suppose -30 = g - x*g. Is g a multiple of 10?
True
Suppose 0 = x - 4. Suppose l + x*l = 150. Suppose 58 = 2*t - 2*u - 2*u, -l = -t + u. Is 12 a factor of t?
False
Suppose -5*g + 11 + 19 = 2*o, -3*g + 26 = 2*o. Is 4/o - (-99)/15 a multiple of 7?
True
Let j be 168 - (1 + -1)/1. Suppose -5*w + 3*b + 272 = 0, -3*b - j = -w - 2*w. Is 19 a factor of w?
False
Suppose -s + 4*t + 10 = 0, 4*s - 4*t - 66 - 34 = 0. Is s even?
True
Let c(d) = -d**2 - 15*d - 18. Let l be c(-12). Let h = l - 3. Does 6 divide h?
False
Let r(h) = 4*h**2 - 12*h + 5. Does 11 divide r(6)?
True
Suppose 255 = 4*u - 17. Is 17 a factor of u?
True
Suppose -3*w - 2 - 31 = 0. Let z = w + 7. Is -2*(30/z + -3) a multiple of 17?
False
Let c(t) = 15*t - 10. Suppose -4*o + 7 + 9