16*f + 14*f + 5413. Is 27 a factor of y?
False
Suppose -3*k = 7*k - 31912 - 72488. Does 90 divide k?
True
Let b be 47/9 + -3*(-10)/(-135). Let g be (-1)/(-2)*-5*-28. Suppose 20 = b*q - g. Is q a multiple of 6?
True
Let m = 297 + -293. Let g(w) = 188*w + 22. Is g(m) a multiple of 13?
False
Let u = 3381 + 1659. Suppose 0 = -15*i - 3*i + u. Is i a multiple of 56?
True
Let o(q) = -380*q - 210. Is 23 a factor of o(-6)?
True
Let v = -4453 - -11269. Is 32 a factor of v?
True
Let o = -47 + 55. Suppose 295 = -13*x + o*x. Let y = x - -128. Does 15 divide y?
False
Suppose -5*d - 266 = -3*f + 1186, -4*f + 1950 = -2*d. Suppose -f = -c + 552. Does 104 divide c?
False
Suppose 7*f = 9*f - 10. Suppose -31 = f*x + 3*b, -4*x + b = 9 + 9. Is (8/x)/(2 + 255/(-125)) a multiple of 29?
False
Let t = 56 + -54. Suppose 1 = t*p - 15. Is 4 a factor of (-11)/44 + 0 + 194/p?
True
Let s(q) = q**3 - 10*q**2 + 14*q - 42. Let a be s(9). Let j(m) be the first derivative of m**4/4 + m**3 + 2*m**2 - 3. Does 11 divide j(a)?
True
Is ((-2897727)/(-301))/((-3)/(-4)) a multiple of 19?
False
Let i be 14/4 + (-2)/4. Suppose -2*f + 47 - 1 = -3*z, -z - 20 = -i*f. Is ((-42)/z)/((-2)/(-18)) a multiple of 9?
True
Suppose -i + 1 = 2*h, -2*h + 4*h + 8 = -4*i. Suppose -3*u + h*k = -2 - 3, 4*k = u + 5. Is 22 + u + 2/(-1) a multiple of 3?
False
Suppose -21*x + 24921 = -10233. Does 5 divide x?
False
Suppose 5*m - 2036 = 46979. Is m a multiple of 23?
False
Let f be ((-882)/(-10) + -5)/((-4)/(-20)). Suppose 77*l - f = 76*l. Is 32 a factor of l?
True
Let o(r) = -r**3 + 4*r**2 - 8. Let g be o(3). Let v(p) = -36*p - 9. Let x be v(g). Does 3 divide (x/30)/(-1*(-2)/(-28))?
True
Suppose 89*v - 67 = 22. Let s = -27 + 49. Does 13 divide ((-15)/(-15))/(s/(-23) + v)?
False
Let d(o) = o**2 - 12. Let j(w) = w + 1. Let n(h) = d(h) - 6*j(h). Let b be n(9). Suppose -138 - 15 = -b*c. Is 4 a factor of c?
False
Suppose 0 = -3*f - 107 - 385. Let z be f*(-16)/20 + (-1)/5. Let s = 211 - z. Does 20 divide s?
True
Let c = -5398 - -6078. Is 31 a factor of c?
False
Let r = -26531 + 28501. Is r a multiple of 12?
False
Suppose 3*g - 6*v + 4*v - 15 = 0, 0 = 4*g + 2*v - 6. Suppose -4*o + o = 5*i, -4*o = -g*i. Suppose -3*c = -6, i = -5*d + 2*c - 0*c + 131. Is 13 a factor of d?
False
Suppose -i + 23448 = -2*y, i - y - 29171 = -5729. Is i a multiple of 217?
True
Let l(c) = -c**3 + 22*c**2 - 11*c - 10. Let x be 195/10 - (-3)/2. Let p be l(x). Suppose -2*o = -3*w - 102, w = -4*o + 6*w + p. Is 9 a factor of o?
True
Suppose -8*h - 31052 = -9*h - 2*m, -5*h + 3*m + 155208 = 0. Is h a multiple of 13?
True
Let p be 6/4 - (0 - 1365/6). Let n = -117 + p. Does 7 divide n?
True
Let w = -113 - -145. Let q(s) = 5*s + 27. Is 11 a factor of q(w)?
True
Let o = 2387 - 2153. Is 78 a factor of o?
True
Let r(l) = 5*l**2 + 11*l - 7. Let j be 2*(-1 - 3)*1. Let z be r(j). Suppose -5*b + 2*f + 260 = 0, 0 = 5*b + 3*f + 2*f - z. Is b a multiple of 28?
False
Let k = 323 + -663. Let l = k - -574. Let o = 38 + l. Is 33 a factor of o?
False
Suppose -2*a - n = -1400, -7*a = -14*n + 13*n - 4864. Is 24 a factor of a?
True
Suppose 513*m = 3*a + 512*m - 4821, -2*a - m + 3219 = 0. Does 38 divide a?
False
Suppose -17*w + 28*w + 12496 = 0. Let x = w - -1782. Does 50 divide x?
False
Suppose 8*k - 208845 = -34*k - 21*k. Is 65 a factor of k?
True
Suppose 0 = 5*z - 2*d - 79502, d - 15906 = 105*z - 106*z. Is z a multiple of 40?
False
Suppose 0 = 1595*t - 1637*t + 158634. Is t a multiple of 19?
False
Suppose s = 5*g - 47522, 35762 = 3*g - 4*s + 7242. Is g a multiple of 144?
True
Does 113 divide (-89837)/(-15) + (-196)/1470?
True
Let r be (-3480)/(-48) - (-6)/4. Suppose 70 + 138 = 4*g. Let k = r - g. Is 15 a factor of k?
False
Suppose -5*c + 4471 = 3*j, -100*c + 7482 = 5*j - 96*c. Is j a multiple of 280?
False
Let f = -20309 + 41007. Does 15 divide f?
False
Is (-18)/14 + 1 - (-10 - (-514382)/(-77)) a multiple of 11?
False
Let m be (36/(-30))/((-4)/(-10)). Let w(z) = z**3 + 4*z**2 - z - 4. Let q be w(m). Let l = 13 + q. Does 15 divide l?
False
Suppose 5*y - 51 = 4*y - 5*o, 5*y + o = 159. Suppose -30*x = -y*x + 456. Is x a multiple of 24?
True
Let r(n) = -5*n**3 + 10*n**2 + 27*n - 4. Let f(v) = 17*v**3 - 31*v**2 - 82*v + 13. Let o(l) = 2*f(l) + 7*r(l). Is 3 a factor of o(10)?
True
Let w = 13522 - 12894. Is 71 a factor of w?
False
Suppose 8*d + 2*b = 4*d + 202, -b = -3*d + 149. Suppose -d*k + 1685 = -2715. Does 8 divide k?
True
Let r = -14 + 10. Let h be (-16)/(-6) - (r + 14/3). Suppose 0 = u + 2*z - 80, -2*u + h*z - 7*z = -156. Is u a multiple of 8?
True
Let a = 61 - 58. Suppose -w - x = -6*x + 17, -3 = -5*w + a*x. Suppose 4*k - 2*d = 76, -2*k - w*d = -6*d - 46. Is 15 a factor of k?
False
Let s = -30457 + 33978. Is 71 a factor of s?
False
Let l = 59 + -57. Suppose -l*r + 26 = i, -r = -i + 16 + 1. Is 21 a factor of (100 - i) + (-2 - 4)/(-2)?
False
Suppose 2*p + 39 + 10 = a, 4*a - 176 = -2*p. Suppose 2*x = 5*q - a, -q = -4*q - 3*x + 6. Is q/(21/36)*5/3 a multiple of 10?
True
Let t(u) = u**3 - 6*u**2 - 2*u + 16. Let w be (-4)/(-16)*2*12. Let l be t(w). Suppose 6*o - 240 = -l*o. Does 7 divide o?
False
Let k = 14805 + -1406. Is k a multiple of 244?
False
Let u(v) = -v**2 - 2*v + 11. Suppose -3*j + 3*z = -4*j + 5, 2*j = z - 11. Let t be u(j). Suppose -t*c + 24 = 6. Is c even?
True
Is 119 a factor of 255288/55 - (-6)/(-10)?
True
Let s = 1089 - -45. Suppose -5*h - 3*z = -80, -2*z = 4*h + h - 75. Suppose 6*g = h*g - s. Is g a multiple of 54?
True
Let s(w) = 55*w**2 + 51*w + 168. Is s(-4) a multiple of 5?
False
Let z(x) = 49*x - 12. Let o(c) = -c**3 - 16*c**2 + 10. Let y be o(-16). Let r be 28/y + (-20)/(-100). Is z(r) a multiple of 27?
True
Suppose -3*c + 98 = 80. Suppose -4*d - 12 = 0, -603 = -c*h + h + d. Is h a multiple of 12?
True
Is 30 a factor of 30*(-851)/(-115)*(-194)/(-4)?
False
Let x = 10380 - 6537. Does 21 divide x?
True
Let r be 52/6*(-1035)/(-30). Let h = r - 179. Does 10 divide h?
True
Suppose -57*j + 58*j - f - 1315 = 0, j - 1323 = 3*f. Is 23 a factor of j?
True
Is 56 a factor of (-2170)/(15/(-12) - -1)?
True
Let t(s) = 2*s**2 - 6*s - 37. Let r be t(7). Let d(b) = b**2 + 39. Does 20 divide d(r)?
True
Let b(k) = k**3 + 25*k**2 + 16*k - 12. Let n(v) = -22*v**2 - 6*v + 4. Let w be n(1). Is 4 a factor of b(w)?
True
Suppose 5*f - 99334 = -3*t + 86706, 2*f - 74415 = -t. Does 24 divide f?
False
Suppose 4*b = -4*o + 424, -2*b - o = -4*b + 218. Let z = b - 105. Suppose v = 3*n + 207, 0 = v + n - z*n - 207. Does 23 divide v?
True
Let h(f) = 66*f - 204. Let i = -7 - -12. Does 3 divide h(i)?
True
Let w(z) = -12*z + 110. Let i be (15/(-10) - -1)*-6. Is 52 a factor of w(i)?
False
Let t(q) = 4*q**2 - 3*q - 2. Let x be t(-1). Suppose 4*n - 6*n - 5*o = -15, 4*n - x*o = -15. Let l(f) = f**2 + 3*f + 185. Is 19 a factor of l(n)?
False
Let k be (1/1)/(8/(-24)). Let j be k/2 - (-450)/12. Is (8/6)/(2/j) a multiple of 24?
True
Is (-742)/(-4) + (-765)/306 even?
False
Let h = 491 - 489. Suppose -5*r + 7*r + 188 = h*l, 421 = 4*l + 5*r. Is 41 a factor of l?
False
Suppose 67*w - 566148 = -53*w + 108*w. Does 14 divide w?
False
Let v = 100 + 852. Suppose 2*b - v = -5*b. Is 16 a factor of b?
False
Let t(l) = -224*l + 50. Let m(k) = -75*k + 17. Let n(h) = -17*m(h) + 6*t(h). Is n(-5) a multiple of 19?
False
Let f = 256 - 310. Let m = f + 169. Is 3 a factor of m?
False
Let m = -454 - -2833. Is m a multiple of 39?
True
Let a(h) = 139*h + 1420. Does 46 divide a(6)?
True
Suppose 0 = -5*v - 4*o - 20, 0*v + 5 = v - o. Suppose v*l + 7*l = 56. Suppose l*d - 244 = 92. Does 6 divide d?
True
Suppose -12*q + 260 = -17*q. Let k = q + 117. Suppose 2*s - k = -11. Is 13 a factor of s?
False
Let c(i) = 40 - 9*i - 33 - 2*i**2 + i**2. Let o be c(-10). Let s(p) = -2*p**3 - 3*p + 1. Is 14 a factor of s(o)?
False
Let m(r) = 4*r**2 + 27*r - 3*r**2 - 3 - 10*r + 10. Let u be m(-17). Suppose u*s = 14*s - 273. Does 15 divide s?
False
Let t = -945 + 500. Let l = t - -765. Is 29 a factor of (-3)/(-5) + l/(-75)*-39?
False
Suppose -3*l = 3*a - 1425, -1915 = -6*a + 2*a - l. Suppose f - a = -7*f. Is f a multiple of 7?
False
Let w(k) = 11*k**3 - 2*k**2 + 2*k - 1. Let h be w(1). Let g = -1045 + 1072. Let t = g - h. Is 7 a factor of t?
False
Let f = 19371 - 13079. Is f a multiple of 242?
True
Is (2518/(-72) - (-274)/1233)*(-1 + -47) a 