 - 1128 = -4*i + 8*i, -2*z + 8 = 0. Let r = i - b. Is r a multiple of 13?
True
Suppose 2*k = -m + 2*m - 8, 0 = -4*m + 5*k + 32. Let w(c) = m*c**3 - 19*c**2 + 11 + 28*c - 55 - 7*c**3. Is 17 a factor of w(18)?
True
Let k be 0/3 + 58/29. Suppose -995 = -2*r - 2*r - s, -2*s = -k*r + 500. Is r a multiple of 69?
False
Is (195/(-225)*-3918)/(1/5) a multiple of 85?
False
Suppose -6 = 6*v - 30. Let t(d) = 3*d. Let a be t(v). Suppose a*u - 1950 = 2*u. Is u a multiple of 25?
False
Suppose 1680 = x - 5*d, -2*x + 3382 = 3*d - 2*d. Does 14 divide (39/(-12) - -4) + x/8?
False
Is 6 a factor of (12 + -9 + -861)/(2/(-3))?
False
Suppose -4*i = 2*m - 11566, -31*m = 5*i - 34*m - 14463. Is 6 a factor of i?
True
Let p(z) = 2*z**2 - 47*z + 2057. Is 13 a factor of p(28)?
False
Let p(x) = x**2 - 31*x + 42. Let f be p(29). Let g(s) = s**2 - 25*s - 49. Is 18 a factor of g(f)?
False
Let j(c) = -c**2 + 10*c + 16. Let b be j(9). Suppose 0 = 4*g + 5*f + 18 + 87, 2*g - 3*f + b = 0. Is (-2*(-94)/g)/((-40)/200) a multiple of 4?
False
Suppose -33 = -3*p - 3*b - 9, -4*b = 3*p - 27. Suppose 2*r + 13 = p*v - 0*r, -v + 2*r + 1 = 0. Suppose -9 = -v*d + 63. Is 4 a factor of d?
True
Suppose 5*r - 3*m = 121940, -4*r = 187*m - 190*m - 97552. Is 134 a factor of r?
True
Let k = 46 - 34. Let l = k - 11. Suppose -3*b - l = -106. Does 5 divide b?
True
Let k = 23 + -18. Suppose 4*n = 3*n + 2*g + 43, -172 = -4*n + k*g. Suppose 2*m = -5*x + n + 32, 0 = -x - 2*m + 15. Is x even?
False
Let o(n) = -24*n + 46. Let b(q) = 16*q - 31. Let m(f) = 8*b(f) + 5*o(f). Let i(y) = 35*y**2 + 421*y + 16. Let l be i(-12). Does 7 divide m(l)?
True
Let b(o) = 72*o. Let r be b(-1). Suppose -1400*f - 2860 = -1422*f. Let m = f + r. Is 20 a factor of m?
False
Suppose 4*f - 4*b - 31144 = 0, -20*f + 4*b - 39002 = -25*f. Does 7 divide f?
False
Let y = -5 - 3. Let c(q) = 10*q**2 + 5*q + 36. Is 65 a factor of c(y)?
False
Let n(y) = 296*y**2 + 78*y - 348. Is n(4) a multiple of 25?
True
Let v(u) be the third derivative of -u**6/120 - 5*u**5/6 - 29*u**4/8 - 37*u**3/2 + u**2 + 67*u. Is 17 a factor of v(-49)?
True
Let n = -34 + 43. Suppose -3*w - n = -3*c, c + c = 4*w + 12. Is (2 + c)/(2/63) a multiple of 7?
True
Let p(s) = 1. Let k(h) = 3*h**2 + 9*h - 11. Let d(w) = k(w) - 5*p(w). Let m(q) = 7*q - 1. Let n be m(-1). Is 26 a factor of d(n)?
True
Suppose n - 13084 - 9817 + 1430 = 0. Does 5 divide n?
False
Let s(k) = -623*k + 4492. Is s(-8) a multiple of 92?
True
Let w(i) = -26*i + i**2 - 3*i**2 + 153 - 161. Suppose 0*k - 5*k = 60. Is 4 a factor of w(k)?
True
Let y be (-28)/21 + (-192)/(-9). Suppose 4*p + 240 = f, -y = -2*p + 7*p. Does 56 divide f?
True
Suppose 10*g = 11 + 9. Suppose -5*d + 0*k + 1558 = g*k, -5*k = 5. Is d a multiple of 12?
True
Let d = -3838 + 11658. Is 70 a factor of d?
False
Suppose 14*y - 2000 = 13*y. Let x = y + -781. Suppose 19*w - 1308 = x. Is w a multiple of 7?
True
Let y(j) = 129*j - 723. Is y(45) a multiple of 121?
True
Suppose -1 = -2*q + 7. Suppose q*x - 3*m = 1867, -x - m = 3*m - 462. Does 61 divide x?
False
Let s be 3/(-9) + (-4)/(-18)*33. Let m(i) = -i**3 + 9*i**2 - 5*i - 14. Let t be m(s). Let o = t - -56. Is o a multiple of 14?
False
Suppose -6*o + 3837 = -303. Suppose 442 = 2*z - 5*v, 3*z - o = -3*v - 6. Is 5 a factor of z?
False
Suppose -601 + 51 = 10*j. Let v = 162 + j. Suppose 3*d - v = 5*f - f, 0 = -4*d - 4*f + 152. Does 29 divide d?
False
Let z be 0 + 6 + -1 - 0. Suppose 2*a + 5*u - 45 = 0, 13*u = 12*u + 7. Suppose 5 = -z*h, -6*w + a*h + 41 = -3*w. Does 3 divide w?
True
Suppose w - 2*x = 20635, -w + 21002 = x + 391. Is 12 a factor of w?
False
Suppose -77*m = -4*m - 14*m - 264556. Does 4 divide m?
True
Let c(b) = b**3 - 10*b**2 + 9*b. Let o be c(9). Suppose -s + 6*s = o. Suppose -3*p + 5*p - 116 = s. Is 11 a factor of p?
False
Let g = 5970 + 8417. Is 23 a factor of g?
False
Let y be 26 + -25 + (1 - 2). Suppose -f = 5*m - 610, y = 3*f + 5*m - 2062 + 252. Is 12 a factor of f?
True
Is 6 a factor of 529/4 - (6/(-24))/(-1)?
True
Let v(u) be the third derivative of -u**5/30 + u**4/12 + u**3/6 + 3*u**2. Let l be v(-1). Is l + 12 - (-2 + 5) even?
True
Let d = 40 - 2. Does 9 divide (-1)/(d/(-3416)) + 38/361?
True
Let k = -3786 + 5227. Does 17 divide k?
False
Suppose 5554332 = -122*q + 57*q + 776*q. Is q a multiple of 7?
True
Let y(k) = k**3 + 6*k**2 + 3*k - 5. Let o(m) = m + 9. Let g be o(-14). Let a be y(g). Suppose 0 = -b - c + 56, -a*b + 175 = 3*c - 101. Is b a multiple of 9?
True
Let s = 14 + -4. Let k(o) = -o**3 + 12*o**2 - 18*o + 65. Is 8 a factor of k(s)?
False
Suppose 4*x + 2*q - 33776 = 0, -457*x + 462*x = -3*q + 42217. Does 33 divide x?
False
Suppose -r = 0, 0 = 4*m - 9*m - 4*r + 10. Suppose -m*l + 3*l - 297 = 0. Suppose -151 = -8*z + l. Is z a multiple of 14?
True
Suppose -152*t + 156*t = -4*b + 12656, 2*b = 2*t + 6344. Is 13 a factor of b?
False
Let v be 329 - (1 - (5 - 9)). Suppose v - 929 = -11*i. Is i a multiple of 55?
True
Suppose 5*n = 2*n - 11*n. Suppose 9*v - 5*v + 4*t - 2320 = n, -2*v - 4*t = -1168. Is 24 a factor of v?
True
Suppose 0 = c - 5 - 5. Suppose -c = -q - 6. Let x = q + 19. Is x a multiple of 9?
False
Let y be -24*(-2 + -1 + (-1605)/60). Suppose 5*i - 1569 = -y. Is i even?
False
Let o(w) = w**3 - 16*w**2 + 18*w - 48. Let k(p) = 6*p + 11 - 3*p + p - 35. Let q be k(10). Is o(q) a multiple of 40?
True
Let r = 110 - 135. Let h(m) = -4*m + 96. Is h(r) a multiple of 11?
False
Suppose -7*i = -6*i - 3. Suppose -9*m = -i*m - 1206. Is m a multiple of 12?
False
Suppose 132*x - 128657 = -12*x + 188143. Does 11 divide x?
True
Let g = -114 + 57. Let i(o) = -4*o**2 - 9*o - 17. Let j be i(-5). Let h = g - j. Does 15 divide h?
True
Let w be 14 + -3 - 3 - -10. Suppose 26*s = w*s + 2952. Is s a multiple of 3?
True
Let a be 15230/(-255)*-15 + 2/17. Let z = a + -248. Is z a multiple of 63?
False
Suppose 876 = 2*r - 8*r. Let x = -78 - r. Suppose 5*s + 124 = 4*o, -2*o = -s - 3*s - x. Is 13 a factor of o?
True
Let q = 13 - -328. Suppose 2*d + 93 = -q. Let c = -127 - d. Is c a multiple of 18?
True
Suppose -148 = -a - 4*a - h, 5*a - h = 152. Suppose -a*x + 26*x = -500. Is 8 a factor of x?
False
Let g = 42 + -358. Let h = 453 + g. Is h a multiple of 5?
False
Let i(o) = -13 - o**3 - 4*o - 4 + 7*o - o + 7*o**2. Let p be i(7). Is (-8)/p*(-627)/(-22) a multiple of 20?
False
Suppose -23*g - 19*g = -29*g - 97500. Is 30 a factor of g?
True
Let d = 585 - 574. Suppose 5*t - d*p - 1384 = -8*p, 4*p = -12. Is t a multiple of 55?
True
Let r(d) = -2*d**2 - 43*d + 71. Let n be r(-23). Suppose 5*v - 1440 = -w, 1450 = 5*v + n*w + 10. Does 18 divide v?
True
Suppose q - 815 = -3*i, 5*q - 4115 = 2*i + 3*i. Suppose q = 8*r + 261. Is 6 a factor of ((-30)/(-25))/(4/r)?
False
Suppose -4*r - y = -22, -5*r + 24 = -2*y + 5*y. Suppose 0 = -3*t + 18 - 12. Suppose t*z + 110 = 5*f - 3*z, 2*z = -r. Is f a multiple of 12?
False
Let a = -18753 - -23096. Is a a multiple of 4?
False
Let g(h) = 2*h**3 - 2*h**2 - 5*h - 42. Let d be g(6). Let n be 4*(351/12)/(-1). Let t = d + n. Is 19 a factor of t?
True
Suppose -3*w + f = -7504, 0 = -5*w + 4*f + 6795 + 5721. Suppose -4*v + v = 2*u - w, 0 = -v - 5*u + 816. Does 6 divide v?
False
Let m(n) = -n**3 - 3*n**2 - 2. Let i be m(-3). Let b(c) = -3*c**3 - 4*c**2 - 5*c. Let y be b(i). Suppose -2*w - y = -2*d, 5*d - 3*w = 3*d + 21. Does 3 divide d?
True
Suppose -4*c + 0*l - l = -24, -5*c + 41 = 4*l. Suppose 23*p - t = 20*p + 363, 0 = 3*p - 3*t - 363. Suppose -4*j - p = -c*j. Is 25 a factor of j?
False
Is 65 a factor of (65/3)/(158/207612)?
True
Let t(a) = 376*a**2 - a + 1. Let s = -120 + 121. Is 16 a factor of t(s)?
False
Suppose -1716 = 6*v + 2808. Does 41 divide (v/(-10))/((-23)/(-115))?
False
Let k = -8 + 8. Suppose 0 = -4*g + 20, 0*h - 5*h - 4*g + 70 = k. Suppose -3*z = -4*z + h. Is z a multiple of 2?
True
Suppose -8*h + 4*h = 6984. Let o be -1*(h/162 + (-4)/18). Suppose 0 = -o*r + 5*r + 390. Does 13 divide r?
True
Suppose 3*o = 5*j + 1031, 4*j = -4 - 0. Suppose f - 68 = -m, -3*m - 2*m - 3*f = -o. Is 18 a factor of m?
False
Let c be -4*(0 + (3 - 4)). Let v be (2 + -8 + c)/1. Is 13 a factor of (v/(-6))/((-1)/(-63))?
False
Let h be -1*15/(-3)*(261 + -14). Suppose 0 = 4*v + 5*i - h, 2*v + v - 927 = -4*i. Is 61 a factor of v?
True
Let m(h) = h + 146. Let x(c) = 11*c - 212. Let t be x(18). Does