 - x. Is a a multiple of 7?
True
Suppose -87*k = 34*k - 0*k - 812152. Is k a multiple of 10?
False
Suppose 8424 - 43470 = -22*l. Is 177 a factor of l?
True
Let i be 70/(-315) + (-2 - (-115)/(-9)). Suppose -3 - 1 = 2*g. Let w = g - i. Is 5 a factor of w?
False
Let u(v) = v**2 - v - 1. Let s(r) = -6*r**2 - 26*r - 38. Let g(w) = -s(w) - 3*u(w). Is 3 a factor of g(-11)?
False
Suppose 106*t = -5*f + 109*t + 12952, 3*f - 4*t = 7769. Is f a multiple of 36?
False
Let y = 1560 - 452. Suppose 18*b - y = 548. Is b a multiple of 55?
False
Suppose -1 = -2*q - 3. Let z(d) = 5*d**2 - 372 + 182 + 6*d**2 + 4*d**2 + 189. Is 7 a factor of z(q)?
True
Suppose 30 = 7*q + 2. Suppose q*r - 25 = 5*t, 0*r - 5 = -2*r - 5*t. Suppose r*l - 3*b - 69 = 0, -2*l + l + 5*b + 27 = 0. Is l a multiple of 12?
True
Let x be ((-27)/(-12))/(18/48). Suppose 4*t + 666 = f, -4*f + t = x*t - 2580. Does 65 divide f?
True
Suppose -27 - 153 = -18*z. Suppose -6 = -z*w + 8*w, 2*p - 3*w - 223 = 0. Is p a multiple of 8?
False
Let j(i) be the third derivative of -9*i**4/8 - i**3/2 - 28*i**2. Is j(-21) a multiple of 24?
False
Let s be 1 - (7 + -10)*1/3. Suppose 215 = s*x + 125. Does 4 divide x?
False
Let s = -220 - -195. Is 12 a factor of 45/s*260/(-3)?
True
Suppose -20*f = -45*f + 44100. Suppose -64*a + 73*a = f. Is 20 a factor of a?
False
Suppose 52110 - 107901 = -9*f. Is 10 a factor of f?
False
Let c be ((-25)/((-250)/120))/(2/(-17)). Is 33 a factor of (-4 - -4)/(-1) + (-3 - c)?
True
Suppose 4*z - 6860 = 4*a, -193*z + 1725 = -192*z - 3*a. Is 114 a factor of z?
True
Let j be 1/((-60)/11595) - 3/4. Let m be 1 - (2 + 6/(-1)). Is 14 a factor of m/15 - -4*j/(-12)?
False
Let y be (-19)/(19/(-3)) + 7. Let w(r) = 7*r + 30 - 43 - 41. Is 13 a factor of w(y)?
False
Does 64 divide 6608 + (((-144)/3)/8 - -11)?
False
Suppose -5*u = -0*d + 3*d + 27, -4*d - 2 = u. Let y(z) = -2*z**2 - 3*z + 9. Let v(c) = c**2 + 4*c - 9. Let h(j) = u*v(j) - 5*y(j). Does 16 divide h(5)?
True
Let v(z) = -7*z - 31. Let b be v(24). Let a = 415 + b. Is 51 a factor of a?
False
Let l be (-108)/(-8) + (-9)/18. Is (-16)/(-104) + 3053/l a multiple of 18?
False
Suppose -78 = 6*k - 5*k. Let w = k + 188. Suppose 0 = -c - 4*p + w, p + 131 - 21 = c. Is 44 a factor of c?
False
Suppose -3*a - 1 = 33*o - 28*o, 3*o + 6 = 0. Suppose 19 - 3 = -2*b - 4*w, -3*b + 4*w + 26 = 0. Suppose 466 = a*y + 2*y - b*g, y + g - 96 = 0. Does 9 divide y?
False
Let r be 2/(-4)*-4 + -66. Let y = 149 + r. Suppose -19*k + 18*k + y = 0. Is k a multiple of 24?
False
Let j(g) be the second derivative of -1/3*g**3 + 27*g + 0 + 11/4*g**4 - 3*g**2. Is 13 a factor of j(-2)?
True
Suppose j - 5 = 0, -4*d + 4*j + 679 = -3305. Suppose d = 5*k - 499. Is k a multiple of 8?
False
Let o = 146 + -148. Does 10 divide 40/((4 - 0) + 7/o)?
True
Let d be 7 + (6 - (12 - 3)). Suppose -2*b + 10 - 8 = -d*z, 3*b + 4*z - 33 = 0. Does 2 divide b?
False
Let m = -101 - -106. Suppose m*h - 292 = -22. Is 12 a factor of h/(3/(12/1))?
True
Does 6 divide (-35 - -10)/(2/17 + 1185/(-7905))?
False
Let s(q) be the third derivative of 9*q**4/8 - 37*q**3/3 + 2*q**2 - 83. Does 7 divide s(3)?
True
Let y = -67 - -156. Let n = 362 - y. Is n a multiple of 13?
True
Let r be ((-11)/((-88)/3108))/(1/(-2)). Let v = r + 1503. Is 11 a factor of v?
True
Suppose -858 = -41*y - 25*y. Suppose 1971 = y*w - 6674. Is w a multiple of 19?
True
Let t be (-6)/8*4 - 23. Is 47 a factor of 16/(-104) + (-2526)/t + -1?
False
Suppose 3046 = 5*j + 3*m, 617 + 1815 = 4*j + 4*m. Suppose j = 10*q + 141. Let s = q + 7. Does 27 divide s?
True
Suppose -311*b - 9*b = 52*b - 12499200. Does 150 divide b?
True
Let b = 219 + -80. Does 13 divide 3 + 3 + -2 + b?
True
Let b be (2 + -153)/(-1) - (2 + -3). Suppose i = -2*z + 101, 0 = 4*z - z + 2*i - b. Is z a multiple of 2?
True
Let x be ((-6)/10)/((-6)/10). Is 217 + (5 - x) - 15/3 a multiple of 9?
True
Suppose -6*y + 0*y = -210. Is 4 a factor of (45/y - 1) + 327/7?
False
Is (1*-4 - 176/16)/((-4)/2004) a multiple of 41?
False
Let d be 283 - (-2)/(-2) - 2. Suppose 0 = -10*i - d + 1240. Does 48 divide i?
True
Let g = -8367 + 32931. Does 89 divide g?
True
Let a(o) be the first derivative of 20*o**3/3 + o**2/2 - 15*o + 204. Does 12 divide a(7)?
True
Suppose 2*k - q = 108, -4*k + 218 = -4*q + 3*q. Suppose 0 = -d - 1, 0 = -3*y - 5*d + k + 189. Suppose -p - 13 = -y. Is p a multiple of 10?
True
Let g be -4*94 + 0 + 4. Let j = g + 652. Suppose -j = 3*t - 8*t. Is t a multiple of 14?
True
Let j = 264 - 232. Suppose j*k - 2760 = 9*k. Is 15 a factor of k?
True
Let k(i) = 749*i + 2724. Is 31 a factor of k(7)?
True
Suppose 5*t - 3*o - 2682 = 0, -7*o + 8*o + 4 = 0. Let w = -418 + t. Is 7 a factor of w?
False
Suppose -6 = -3*v - 2*a, -11 = -2*v - 0*a + a. Is 9 a factor of (179354/(-56))/(-23) + 3/v?
False
Let t(p) be the second derivative of p**4/6 - 73*p**3/6 - 9*p**2/2 + 26*p. Let o(j) be the first derivative of t(j). Is o(21) a multiple of 7?
False
Let r(u) be the first derivative of 26*u**2 + 32*u + 27. Does 49 divide r(6)?
False
Let n be (-129)/4*2*(6 + -8). Suppose r = 6*r + 450. Let y = n + r. Is 13 a factor of y?
True
Suppose 0 = -35*u + 21081 + 61344. Does 2 divide u?
False
Let q(o) = 4*o**2 - 2*o + 6. Let y(r) = 13*r**2 - 5*r + 18. Let z(j) = -11*q(j) + 4*y(j). Let d = -3 + 6. Is 12 a factor of z(d)?
True
Suppose 4*b - 2*x + 5*x - 1095 = 0, 0 = -3*b - 5*x + 824. Suppose 22*k - 29*k = -b. Is k a multiple of 2?
False
Let z(t) = -12*t**2 + 7*t + 18. Let j be z(-4). Let w = 316 + j. Is 16 a factor of w?
False
Let a = -88 + 82. Is 17 a factor of (-5 + 11)/(a/(-460))?
False
Suppose 1640*j = 1627*j + 70837. Is 6 a factor of j?
False
Let w(q) be the third derivative of q**5/60 - q**4/2 + 3*q**3/2 - 102*q**2. Is 46 a factor of w(-15)?
True
Suppose 5*c - 25608 = 154*t - 151*t, 0 = -5*t - 5. Is 22 a factor of c?
False
Let b(l) = l**3 - 20*l**2 - 86*l + 198. Is 71 a factor of b(38)?
False
Let t(s) = -8*s**3 - 5*s**2 - 3*s + 6. Let f be t(-3). Let k = 326 - f. Is 7 a factor of k?
True
Suppose -3*x + 0*h = 3*h - 90, 5*x - 151 = -4*h. Let g(v) = -v**3 + 29*v**2 + 86*v + 6. Does 50 divide g(x)?
True
Suppose -2*v + 1 = 3*h, -48*v = -5*h - 45*v + 27. Let i(p) = 19*p**3 - 4*p**2 - 9*p. Does 18 divide i(h)?
True
Suppose -3*g + 5*c - 7*c + 76 = 0, 3*g - 5*c = 83. Let q(p) = p**3 - 28*p**2 + 63*p - 16. Does 30 divide q(g)?
True
Let g(b) = 77*b**2 + 46*b + 8. Is 24 a factor of g(-4)?
True
Suppose 2*n - 131 - 43 = 0. Let a = n + -103. Let t = a + 50. Is t a multiple of 19?
False
Let g = 744 - 741. Does 5 divide (g*618/72)/(1/12)?
False
Suppose -a + 124 - 113 = 0. Suppose 19*j = a*j + 2280. Is j a multiple of 19?
True
Suppose 0 = -d - 3*i + 25812, 6261*d - 6258*d - 3*i = 77400. Is d a multiple of 30?
False
Suppose 3*h - 5*h + 12 = 0. Let f(n) = 47*n + 8. Let l be f(14). Suppose -h*m + l = -342. Is m a multiple of 42?
True
Suppose 12*y - 58 = 14. Suppose 5*n - y*n = -6. Suppose 310 - 922 = -n*g. Does 10 divide g?
False
Let b(f) = 4*f**2 + 13*f + 914. Does 23 divide b(26)?
True
Suppose -98*a + 88*a = -3*g + 5265, -4*g + 7020 = -3*a. Is 2 a factor of g?
False
Let o(r) = 935*r - 2932. Is o(7) a multiple of 10?
False
Let a = 7026 + -1824. Is a a multiple of 102?
True
Let v = 348 + -345. Suppose v*w - 223 = -a, 4*w - 5*a + 375 = 9*w. Does 26 divide w?
False
Let q(j) = -201*j + 205. Let x be 3/(7 + 156/(-21)). Is 15 a factor of q(x)?
False
Let d(c) = 498*c**2 - c + 3. Let x be d(1). Suppose 104*t = 99*t - x. Is (-7560)/t + (-2)/(-5) a multiple of 5?
False
Suppose -31*d + 174 = -260. Suppose -3210 = d*l - 24*l. Does 33 divide l?
False
Suppose 3*g + 516 = -0*g. Let v = g - -334. Suppose 5*s + 4*u = -u + 355, 2*s - 3*u - v = 0. Is s a multiple of 25?
True
Let y = 3541 - 2041. Is y a multiple of 12?
True
Let d(h) = 11*h**2 + 10*h + 3. Let m(u) = -u**2 - u. Let t(o) = 2*d(o) + 18*m(o). Does 9 divide t(-4)?
False
Let t(o) = o**2 - 15*o + 48. Let c be t(11). Let d(b) = 8*b**3 - 5*b**2 + 39*b - 7. Is d(c) a multiple of 7?
True
Suppose 0 = 18*y + 10*y + 15*y - 1087814. Does 7 divide y?
True
Let g = 181 - 13. Suppose -i + 2*b + g = 0, -5*i - 104 = 4*b - 972. Is i a multiple of 43?
True
Let k(f) = 32*f + 108. Let h be k(-8). Is 0 - h - (-56)/14 a multiple of 19?
True
Is (3 + 6/6)/(((-20)/19534)/(-5)) a multiple of 217?
False
Does 42 divide (1*-7 +