multiple of 4?
True
Let d = 613 - 268. Suppose -a + 183 = 5*l - 0*l, -2*a - 3*l + d = 0. Does 14 divide a?
True
Let m = -196 + 220. Is m a multiple of 2?
True
Let z(k) = -k**3 + 12*k**2 + 2*k + 20. Suppose 0 = -4*s + 4*q + 36, 3*s = 5*q + 3 + 20. Is 32 a factor of z(s)?
False
Is 21 a factor of (-9)/3 + 1 - (-745)/5?
True
Let g(w) = -w**3 + w**2 - w - 149. Let p be g(0). Let y = 329 + p. Is y a multiple of 20?
True
Let j(s) = s**2 - s - 3. Let h be j(3). Suppose 0 = -h*f + 10 + 32. Let g = f - -14. Is g a multiple of 8?
False
Suppose 2*n = -0*n - 94. Let u = n - -73. Does 26 divide u?
True
Let i(c) = 15*c**2 - 11*c - 24. Is i(-3) a multiple of 18?
True
Suppose -3*o + 998 = -451. Does 69 divide o?
True
Suppose 170*m = 178*m - 1944. Does 3 divide m?
True
Suppose 4*t - p = 1123, 0*t + 1415 = 5*t - 5*p. Is 20 a factor of t?
True
Let a(f) = 42*f - 150. Is 24 a factor of a(15)?
True
Suppose 0*c - 12 = 4*s - 4*c, -5*c - 34 = 2*s. Is 12 a factor of 163 + (-4 - (s - -2))?
False
Let q = 9 - 2. Suppose q = -w + 4*s, w + 16 = 3*w + 2*s. Suppose 0 = -4*b - 2*z + 58, -4*z = -w*b + b + 88. Does 5 divide b?
False
Suppose -352 = -3*t + 5*i, -5*i + 1 - 26 = 0. Is t a multiple of 9?
False
Let d = 1465 - 541. Is ((-2)/3)/((-11)/d) a multiple of 8?
True
Does 5 divide (-335153)/(-728) - (-6)/(-16)?
True
Suppose -2*b - 10 = -46. Let x(j) = 2*j**2 - 8*j - 9. Let y(q) = q + 1. Let i(l) = b*y(l) + 2*x(l). Does 15 divide i(3)?
False
Let b(g) = -11*g**3 - 6*g - 38. Does 30 divide b(-4)?
True
Suppose -2480 = -2*h + 2*m, 5*m = -3*h - 1079 + 4799. Does 19 divide h?
False
Let g(f) = f**3 - 7*f**2 + 11*f + 12. Let a = -15 + 21. Does 18 divide g(a)?
False
Let a(b) = 3*b + 20. Let s be a(-6). Suppose s*g - 222 = 2*n, 3*g + n = 199 + 146. Does 19 divide g?
True
Suppose -r = 3 - 61. Does 4 divide r/5*(-2 + (-27)/(-6))?
False
Suppose -9*c + v + 5860 = -6*c, c - v = 1950. Is 115 a factor of c?
True
Let l = 184 - 62. Is 7 a factor of l?
False
Let m = -511 + 566. Does 5 divide m?
True
Let q(t) = -t**3 + 3*t**2 - 9*t - 39. Is 78 a factor of q(-9)?
True
Let s(x) be the second derivative of -x**5/20 + 5*x**4/6 + 2*x**3/3 + x**2 - 6*x. Suppose 5*n = 2*u - 40, 3*u + 4*n - 26 = 3*n. Is 14 a factor of s(u)?
True
Suppose -n = -3*n + 556. Is 4 a factor of n?
False
Let a(o) = o**3 - o**2 - 3*o - 4. Let j be a(3). Let g(q) = -7*q + 2*q**2 + j*q - 4*q**2 - 2*q**3. Is 12 a factor of g(-2)?
True
Suppose 556*m = 567*m - 1716. Does 52 divide m?
True
Let p be 246/(-7) + 4/28. Let x be 2/6 + p/(-21). Suppose u - x*u = -39. Is 13 a factor of u?
True
Suppose 5*w + 5*r + 38 = 4213, 3*w - 2481 = 5*r. Suppose -w = -6*f - 76. Is 18 a factor of f?
True
Suppose -3*z - 156 = -7*z. Let q be ((-26)/z)/((-1)/3). Is (1 + -3)*(-18 - q) a multiple of 10?
True
Let n = -68 + 46. Let z = n + 42. Is 3 a factor of z?
False
Let v be -12*(3/(-9) + (-195)/36). Let o = 77 - v. Is o even?
True
Let r be -2 + 52/(-2) + 2. Let s = r + 23. Is 4/s*-9 - -2 a multiple of 5?
False
Let k = -454 + 671. Suppose -3*q = 2*a - k, 2*q + 452 - 120 = 3*a. Is 10 a factor of a?
True
Let n(f) = f**2 + 12*f - 2. Let k(p) = -10*p + 19. Let l be k(4). Is n(l) a multiple of 11?
True
Let q = -133 - -205. Does 30 divide q?
False
Suppose -1678 = -4*o + 2*w, -o - 427 = -2*o + 2*w. Does 12 divide o?
False
Let q(h) = 4*h + 12. Let m be q(-5). Let i = m - -14. Is i a multiple of 2?
True
Suppose 7605 = -160*m + 173*m. Is 45 a factor of m?
True
Let n be 9/(5 - 2) - 3. Suppose n*r - 5*r = 0. Suppose 100 = 5*a - r*a. Is a a multiple of 10?
True
Let x(p) = p + 8. Let u be x(-5). Let s be (u/(-6))/(3/(-2118)). Suppose -s + 83 = -5*v. Is 18 a factor of v?
True
Let x(h) = -17*h + 2*h**2 + 2 - 1 - 3*h**2 - 16. Is x(-6) a multiple of 11?
False
Let c = 14 + -5. Let u(b) = -b**3 + 6*b**2 + 8*b + 19. Let t be u(c). Let d = t + 224. Is 24 a factor of d?
True
Let m(a) = -4*a + 8. Does 10 divide m(-8)?
True
Suppose 0*i - 3*i - d + 190 = 0, 330 = 5*i - d. Let x = 95 - i. Does 5 divide x?
True
Is 47 a factor of 48671/35 + 36/(-60)?
False
Let s(w) = 20*w**2 + 2*w - 1. Let o be s(1). Suppose -2*d = 3*y - 10 + 3, -o = -4*d + y. Is d even?
False
Let m = 100 + -40. Suppose -h + 3*g - m = -141, -5*h = -5*g - 385. Is h a multiple of 29?
False
Suppose -22*u = -25*u + 27. Let b(r) = -r**3 + 9*r**2 + 8*r + 13. Is b(u) a multiple of 36?
False
Let p(l) = 3*l + 18. Let v be p(-12). Let k be v/(-7) + (-52)/91. Suppose -5*w - 2*q = -118, -q - k*q - 123 = -5*w. Is 12 a factor of w?
True
Suppose -t = 2*t - 6. Let w be 4 + t/(-1) + 2. Suppose -174 = -w*g - 3*f + 4*f, -4*g - 5*f = -162. Is g a multiple of 17?
False
Let w be (-3)/((-5)/((-50)/(-15))). Suppose 0*b - b + 42 = w*p, 4*p = b - 36. Is 20 a factor of b?
True
Suppose 6*l = 332 - 32. Suppose 5*t - 10*t = -l. Is 10 a factor of t?
True
Let v(s) = -s**2 - 10*s - 4. Suppose -5*f + 2 = 2*w + 31, -4*f - 19 = 3*w. Let q be v(f). Suppose 0 = q*g - 20*g + 243. Is g a multiple of 22?
False
Suppose 0 = 3*w, j = 6*j + w + 40. Let x = j + 42. Is x a multiple of 18?
False
Let b be -7 + 3 + (-9)/3. Is 6 + 4 + b + 77 a multiple of 24?
False
Let r = 204 - -120. Suppose 8*y = 284 + r. Let p = y - 49. Is 27 a factor of p?
True
Suppose 3*r - 4*l = 92, -148 = -2*r - 2*r - l. Suppose 0*q + q = -r. Let g = q - -52. Is g a multiple of 8?
True
Let u(n) = -n**3 + 5*n**2 + 12*n - 2. Let b be u(6). Let o = b + -31. Suppose 5*j - w = 97, -2*j + o*j - 23 = -w. Does 4 divide j?
True
Suppose 2*s - 2*r = -276, 3*s + r + 422 = 6*r. Let d = s - -190. Is 7 a factor of d?
True
Let y be 1/(1 - (-3 + 3)). Let t(d) = -5 - 12*d + 0 - y + 2. Is 10 a factor of t(-3)?
False
Let j be (-3)/15 + (-464)/(-20). Let c = j - 33. Let o = c + 44. Is o a multiple of 17?
True
Let o(s) = s**3 + 23*s**2 - 24*s + 106. Does 13 divide o(-22)?
True
Let v = 19 - 16. Suppose l - 3*u - 25 = 0, 3*l - 2 = v*u + 49. Let h = l - -3. Is h a multiple of 3?
False
Let n be 39 + 4/2 + 1. Suppose -228 = -3*s - 5*l, -2*s = -2*l - n - 126. Let a = s + -49. Is a a multiple of 21?
False
Let k be (8/(-10))/(32/(-880)). Suppose -f = -s + k + 30, 5*s - 284 = -f. Is 21 a factor of s?
False
Suppose -3*l = -202 + 22. Is l a multiple of 14?
False
Is (1116/155)/(5/1650) a multiple of 72?
True
Let i be ((-424)/6)/2*-3. Suppose -b + 4*c - 52 = -4*b, -5*b + 3*c = -i. Suppose 3*n = -w - n, w - b = n. Does 8 divide w?
True
Suppose 4*c + 247 - 929 = -5*s, -5*c - 2*s + 844 = 0. Is 19 a factor of c?
False
Let n(r) = -36*r**3 + 3*r**2 + r + 16. Is n(-3) a multiple of 46?
True
Suppose -5*o + 2*s + 10 = 0, 4 = s + 9. Let p be ((-2)/5)/((-1)/20) - 5. Suppose p*n = 5*t - 174, o*n + 4*n + 78 = 2*t. Is 13 a factor of t?
False
Suppose 0*o + 95 = 4*o - 5*x, o - 5*x - 20 = 0. Is 6 a factor of (96/15)/(10/o)?
False
Let m(o) be the third derivative of o**7/840 - o**6/72 + o**5/20 + 4*o**3/3 + 4*o**2. Let k(f) be the first derivative of m(f). Does 2 divide k(4)?
True
Suppose j - 3*i - 12 = 0, -i + 3*i + 18 = 4*j. Suppose -5*s + s - 46 = 5*d, 0 = -4*s - 3*d - 42. Does 10 divide s/(-3)*7 - j?
False
Let i be -1*2/2 + 1. Let j be i + 1 + 3 + -4. Suppose -g + 2*g - 48 = j. Is 16 a factor of g?
True
Suppose 4*z + 2*m - 1204 = 7*m, -3*m - 906 = -3*z. Is z a multiple of 34?
True
Suppose -p + 19 = -39. Suppose 80 = 5*z + 3*n - p, 2*n + 25 = z. Is 5 a factor of z?
False
Let u(q) be the second derivative of -2*q**3/3 + 8*q**2 - 8*q. Does 13 divide u(-9)?
True
Let w(m) = -3*m + 6. Let o = 1 + 2. Suppose 0 - 9 = o*k. Is 5 a factor of w(k)?
True
Suppose -3*x + 6 - 9 = 0. Is (6/4 + (x - 0))*110 a multiple of 13?
False
Suppose -2*q = -3*f + 3*q - 14, 0 = 2*f - q + 7. Let j be 3/((-36)/(-640))*f. Let h = -112 - j. Does 16 divide h?
True
Let x(p) = 144*p - 135. Does 65 divide x(5)?
True
Let u = 88 + -77. Is (-2)/u - 2210/(-55) a multiple of 4?
True
Suppose 9900 = 4*t + m, 3*t + m - 3353 = 4072. Does 9 divide t?
True
Suppose -35*u - w - 910 = -37*u, -2*u = 3*w - 926. Is 18 a factor of u?
False
Let d(f) = -f**2 + 10*f + 13. Let k(b) be the first derivative of b**3/3 - 11*b**2/2 - 13*b - 1. Let t(c) = 4*d(c) + 3*k(c). Is 11 a factor of t(7)?
False
Let d(v) = -58*v**3 + 2*v**2 + 5*v + 4. Is d(-2) a multiple of 14?
False
Let b(l) = -2*l**3 - 3*l**2 - 4*l - 8. Let j = -54 - -49. Does 17 divide b(j)?
True
Let n(h) = -2*h**3 - 3*h**2 - 4*h - 3. Let l be (3/2)/(1