e l?
False
Suppose 36*x - 38*x = -124. Is 6 a factor of x?
False
Let q(j) = 5*j + 67. Let z(f) = -1. Let m(l) = q(l) - 6*z(l). Is m(-8) a multiple of 7?
False
Let y = -7 + 21. Let z(t) = t**3 - 7*t**2 + 6*t - 9. Let m be z(6). Let l = y + m. Does 2 divide l?
False
Let x(z) = -14*z - 7. Let t(u) = u**2 + 12*u + 32. Let a be t(-7). Does 5 divide x(a)?
True
Let p = 1781 - 1628. Is p a multiple of 51?
True
Suppose -20*a + 362 + 1198 = 0. Is a even?
True
Suppose 16*o - 61*o + 9765 = 0. Is o a multiple of 18?
False
Suppose -24 = -2*v + 4*u + u, -3*u + 57 = 3*v. Let k(l) = -6*l + 94. Let q be k(8). Let p = q - v. Is p a multiple of 5?
False
Let u(t) be the second derivative of t**4/6 + t**3 - 5*t**2 + 6*t. Is u(4) a multiple of 14?
False
Let l(i) = -2*i + 6. Suppose -q = 3*q + 48. Does 5 divide l(q)?
True
Let c = -11 + 74. Let l = c + -3. Does 15 divide l?
True
Is (1/(-3))/((1 + -4)/288) a multiple of 16?
True
Suppose -21 = -3*u + 9. Is u/(-20)*(-86 - 0) a multiple of 12?
False
Let j = -10 - -12. Suppose -4*w = 3*l - 186, -w + 2*l = 4*l - 49. Let x = w - j. Does 10 divide x?
False
Let i be (-38)/(-6) + 6/9. Suppose y - i*y = -90. Let z = y + 55. Is z a multiple of 18?
False
Let y = -158 + 161. Suppose -y*w - 14 = -1022. Is w a multiple of 56?
True
Let z be (7/14)/((-1)/656*-2). Suppose 4*o - y = 3*o + z, -o = 3*y - 180. Is 12 a factor of o?
True
Suppose 4*q - 3*k = 8*q + 3, 2*q - 2 = 2*k. Let v(w) = 4*w**2 - 3*w. Let n be v(3). Suppose q*t = t - n. Does 9 divide t?
True
Suppose 3*i - 3*j - 969 = 0, -2*j + 1291 = 3*i + 317. Is 36 a factor of i?
True
Suppose 6*n - 9*n - 4566 = -3*j, -3*n + 6074 = 4*j. Does 10 divide j?
True
Suppose -m = -3*x - 17, -2*x = -4*m - 4*x - 2. Suppose -r - 3*h = 6, h - 3 + 5 = -2*r. Suppose 2*a + a + 3*j - 135 = r, 5*j = -m*a + 75. Is a a multiple of 8?
False
Let x(y) be the third derivative of -y**4/12 - 17*y**3/6 + 4*y**2. Does 7 divide x(-13)?
False
Let z(f) = -3*f - 22. Let k be z(-9). Let o be k/(-1*4/(-48)). Let b = -36 + o. Is b a multiple of 9?
False
Suppose -3*d = 2*i - 1682, 2238 = -23*d + 27*d - 2*i. Is 35 a factor of d?
True
Let n(q) = -q - 1. Let f be (4 - 3)/1 - 2. Let g be n(f). Suppose g = -3*k + 24 + 27. Does 5 divide k?
False
Suppose 0 = a + w - 220, -4*a + 4*w + 864 = -0*w. Suppose -7*r = -a + 36. Does 12 divide r?
False
Suppose -2*o = -4*o - 20. Let u be 84/(-15)*o/2. Suppose -4*b + 4*a + u = -84, 5*b - 180 = -3*a. Is 10 a factor of b?
False
Suppose -4*b = -4*w - 0*b + 24, 3*b + 9 = 0. Suppose 91 + 91 = o - 5*y, 0 = -o - w*y + 190. Does 17 divide o?
True
Let y(z) = z**3 + 15*z**2 - 33*z - 40. Is y(-13) a multiple of 8?
False
Suppose -2*h = -0*h - 54. Let s = 85 - h. Does 10 divide s?
False
Let p be 0 + 2/(6/525). Suppose -41 = -3*v + p. Does 27 divide v?
False
Suppose -7*x + 50431 = 22*x. Does 37 divide x?
True
Suppose 2 - 11 = 3*f. Let n be (3 - -6) + f - 0. Let q(x) = -x**3 + 7*x**2 - 5*x + 1. Does 7 divide q(n)?
True
Is (-32)/(-8) - 5*-142 a multiple of 42?
True
Suppose 2*j - 3*j = -10. Let u = j + -14. Does 6 divide (-15)/9*6*u?
False
Suppose -6*i - 286 = -17*i. Suppose -3*z - i = -152. Does 15 divide z?
False
Suppose 7*a - 5460 = -0*a. Is a a multiple of 26?
True
Let k(u) = -2*u**2 + 20*u + 5. Does 23 divide k(9)?
True
Let s = -715 + 850. Is 9 a factor of s?
True
Let z(f) = -6*f - 5. Is z(-23) a multiple of 19?
True
Suppose 3*d - 5*d = 4. Let w be (-1)/d*35*-58. Does 8 divide w/(-42) - 1/6?
True
Let p(b) = -4*b + 6. Let m(l) = l**2 - 9*l + 15. Let o be m(6). Let x be 3/(-9) + 26/o. Is 14 a factor of p(x)?
True
Let u be 18/(-3) + (-1)/(-1). Let n(k) = -2*k - 8. Let c be n(u). Suppose 2*w - 15 = 3*y, -y = -2*w - c*w + 15. Is w even?
False
Let d = -324 - -624. Is d a multiple of 20?
True
Suppose 14*z - 2787 = 10*z - o, -1416 = -2*z + 4*o. Is 11 a factor of z?
False
Let r(m) = -62*m - 32. Is 23 a factor of r(-8)?
False
Let i be (-3)/(-2)*14/(-3). Let w(s) = s**3 + 7*s**2 - s + 8. Let o be w(i). Suppose -4*d = -m - 0*d + o, m = 3*d + 14. Does 11 divide m?
True
Let g be (-268)/(-9) - (-12)/54. Suppose 2*n - g = 8. Is -2 - (-1 + 0 - n) a multiple of 18?
True
Suppose 13*j + 1328 = 21*j. Is j a multiple of 4?
False
Let w = -5 + 5. Let x be w - -2 - (6 + -24). Is (x/8)/(4/8) a multiple of 5?
True
Let i = 61 - -2011. Is i a multiple of 28?
True
Suppose -5*b + 388 = 4*z - 465, 0 = -3*b - z + 516. Is 32 a factor of b?
False
Let q = 3 + -9. Let f be (-3537)/18*4/q. Suppose f = 3*x - 70. Does 15 divide x?
False
Let a = 72 + -70. Suppose -35 = -a*z - 3*z. Is z a multiple of 2?
False
Suppose -2*t = f + 5, -f - 1 = 2. Let j = 79 + t. Is 13 a factor of j?
True
Suppose -168 - 88 = -2*o. Suppose 6 = -f + 4, 2*u = f + o. Does 7 divide u?
True
Suppose -d - b = 99, d - 2*b = -3*d - 426. Suppose -6*w - 168 = 66. Let v = w - d. Is 17 a factor of v?
False
Let z(w) = 2*w**3 + 45*w**2 + 19*w - 30. Let h = -54 + 32. Is z(h) a multiple of 22?
False
Let w be (-7)/((-21)/12)*1. Suppose 615 = 3*g + 4*b, 0*g + w*b + 221 = g. Suppose -5*i + 2*n = -g, 0*n + 2*n + 168 = 4*i. Is 21 a factor of i?
False
Let l = 231 - 49. Does 8 divide l/(3 + -1 + 0)?
False
Suppose 0 = -69*l + 72*l - 1026. Is l a multiple of 17?
False
Let g(d) = 14*d - 56. Does 8 divide g(8)?
True
Is 114 a factor of (-10 + -9)*(87*-4)/2?
True
Let g(a) = -1 + 3*a - 5*a + 3*a. Let x be g(6). Suppose 5*n + 44 = -4*v + 149, -x*v - 5*n = -125. Is v a multiple of 4?
True
Suppose 5*f + 17 = -4*c, 5*c + 3*f = 3*c - 11. Suppose 12*t - 3766 = -c*t. Is 37 a factor of t?
False
Let g(q) = -2*q - 3. Let a be g(-2). Does 16 divide (a - (-13)/(-5))/((-12)/240)?
True
Let l = -132 + 200. Is l a multiple of 4?
True
Suppose 240 = -4*d + 624. Is d a multiple of 12?
True
Let w(p) = p**3 + 6*p**2 - 7. Let y(q) = -q**3 - 7*q**2 + 8. Let v(b) = 5*w(b) + 4*y(b). Let t be v(3). Let z = t + -16. Does 13 divide z?
True
Let q = 315 + -236. Is q a multiple of 18?
False
Suppose -17*l + 742 = -108. Does 4 divide l?
False
Let j(z) = 12*z**2 - 16*z - 14. Let g(i) = -i**2 + i + 1. Let w(h) = 10*g(h) + j(h). Let d be w(5). Does 8 divide 1/(-2)*-3*d?
True
Let z(r) = r**3 + 17*r**2 + 29*r + 58. Is z(-14) a multiple of 40?
True
Suppose -o = -4*b + 819, -3*b - 4*o = -147 - 491. Is 69 a factor of b?
False
Let k = -18 - -21. Let l be (-1)/k*(-6)/(-1). Does 5 divide (-3 - -2) + 9 - l?
True
Let f(n) = -2*n + 12. Suppose 11*u = 22 + 11. Is 3 a factor of f(u)?
True
Suppose -4*h = 12 + 4. Let a(v) be the first derivative of -v**4/4 - 2*v**3/3 - v**2/2 + 3*v - 6. Is a(h) a multiple of 13?
True
Suppose 0 = 3*k - k + 3*s - 1198, -s + 2 = 0. Is k a multiple of 50?
False
Let x = 3162 - 2250. Is x a multiple of 19?
True
Is 4 a factor of (28/10 - 4)/(4/(-190))?
False
Suppose -8 = 4*s - 12*s. Let q = 58 + s. Does 47 divide q?
False
Let j(b) = -b**3 - 2*b**2 + 14*b + 37. Is j(-7) a multiple of 9?
False
Suppose 2*z - 5 = 3. Suppose 2*y - 3*y = -x + 38, z*x - 5*y - 150 = 0. Is x a multiple of 8?
True
Suppose -91*z + 96*z = 4995. Is z a multiple of 37?
True
Let t(q) = 4*q**3 - 6*q**2 + 16*q + 3. Is t(4) a multiple of 18?
False
Let q = 343 - -413. Is q a multiple of 27?
True
Let w(s) be the third derivative of -s**6/120 + 31*s**5/60 - 7*s**4/6 + 11*s**3/2 - 33*s**2. Is 8 a factor of w(30)?
False
Let w(j) = 14*j + 31. Let d(i) = -7*i - 16. Let m be 4*(-3)/(-12)*-4. Let f(o) = m*w(o) - 7*d(o). Does 19 divide f(-9)?
False
Suppose 6*w - 344 = 1222. Suppose 8*c - 3*c - 3*m - w = 0, 276 = 5*c + 2*m. Is 6 a factor of c?
True
Suppose -7 = -p - 0*p. Let q be (-2)/p + (-651)/(-49). Is 15 a factor of 2 + (-3 - -4)*q?
True
Suppose -6*g = 2 - 14. Suppose 3*h - 3*p = 4*h - 264, -g*p = -3*h + 748. Is h a multiple of 21?
True
Suppose -4*n + 0*n + 20 = 0. Suppose 0 = -7*c + n*c + 472. Let l = 372 - c. Is 23 a factor of l?
False
Suppose -7*v = -9*v + 24. Suppose 102 = 5*h + v. Suppose -4*n + 2*n + 2*z + h = 0, -4*n - 4*z + 76 = 0. Does 7 divide n?
True
Suppose -514*c + 509*c = -675. Is 9 a factor of c?
True
Let i(z) = -3*z**2 + 23*z + 8. Is 4 a factor of i(5)?
True
Suppose 261 + 369 = 7*h. Is h a multiple of 9?
True
Suppose 0 = 2*m - 2*c - 0*c - 18, 3*m - 5*c = 35. Suppose 0 = m*y - 10*y + 525. Is 35 a factor of y?
True
Suppose -3*x + b + 145 = 0, 2*b = 2*x - 26 - 68. Is x even?
False
Does 21 divide 8568/(-510)*(0 + 15/(-2))?
True
Let n(p) = -p**3