7 + 1092351. Is m a multiple of 10?
False
Let b = -628 + 2056. Suppose -4*j + 4*u = -5776, 0 = 13*j - 14*j - 3*u + b. Does 11 divide j?
False
Suppose 8*v - 2868 - 1463 - 3733 = 0. Is v a multiple of 9?
True
Let n(x) = 284*x**2 - 126*x - 1527. Is 14 a factor of n(-12)?
False
Let z be 5*((1 - 4) + (-1 - -17)). Let m = -59 + z. Let d(h) = 2*h + 12. Does 24 divide d(m)?
True
Let j be 8*15/(-6) + -1. Let p = -226 - -275. Is -9*1*p/j a multiple of 3?
True
Suppose -m + q + 24649 = 0, 4*m + 2*q = 73961 + 24665. Is 79 a factor of m?
False
Let q = 33 + -34. Let i be q/2*0/(-2). Let c(p) = p**2 - 2*p + 18. Is c(i) a multiple of 17?
False
Suppose -50 = 4*h - 14*h. Suppose 6*z - 247 = 4*z - y, h*z = -5*y + 605. Is 6 a factor of z?
True
Let d(s) = -90 + 82*s + s**2 - 169*s + 69*s. Does 10 divide d(28)?
True
Let h be 0/(2/((-6)/(-9)*3)). Suppose -32 = -8*q - h. Suppose -4*z = -6*x + 3*x - 95, -q*z + 85 = -x. Is z a multiple of 20?
True
Let r = -158 - -103. Let a be ((-396)/r)/((-6)/(-40)). Let d = a - 16. Is d a multiple of 6?
False
Suppose x - 3*r = 309, 3*r + 230 = 2*x - 376. Is 9 a factor of x?
True
Suppose 37*r - 20*r - 133339 = -30*r. Does 23 divide r?
False
Suppose 5 = -2*d + 5. Let r(g) = -4*g**3 - 4 + 4 + d + 2*g. Is 10 a factor of r(-2)?
False
Is 9 a factor of (179 - -11811) + 3/(9/33)?
False
Let o(t) = -8*t - 13. Let g be o(-2). Suppose 5*m = g*r - 146, -r + 3*m = -42 - 8. Let j = r + 43. Is j a multiple of 45?
True
Suppose 4 + 11 = -5*f. Let b be 1309/(-7) - (f + 0). Is 10 a factor of (4 - (-40)/(-16))*b/(-6)?
False
Does 62 divide -5 + 50296*(-10)/(-40)?
False
Let d = -31 - -33. Suppose 2*h = d*x, -3*h = x + 5 + 7. Is x/7 - 24/(-7) a multiple of 3?
True
Let x = -16394 + 19891. Is x a multiple of 13?
True
Suppose 1758*p - 4*x = 1762*p - 34372, -8598 = -p - 2*x. Does 19 divide p?
True
Let n(d) = 86*d + 190. Let b be n(-4). Is 20 a factor of b/(-22) + 1067/1?
False
Let i(u) be the first derivative of -17*u**5/120 - 13*u**4/12 - 7*u**3/3 + 6. Let c(x) be the third derivative of i(x). Is 10 a factor of c(-8)?
True
Let z(j) = j - 1. Let x be z(1). Let k be 16*(-25 + (-4 - -6))/(-1). Suppose 4*p - k = -3*c, x*p - p - 497 = -4*c. Is 31 a factor of c?
True
Let y(i) = 37*i**2 - 10*i + 497. Is 33 a factor of y(21)?
False
Let h(v) be the first derivative of -11*v**2/2 + 12*v + 6. Let c(q) = 24*q - 24. Let m(z) = 6*c(z) + 13*h(z). Does 11 divide m(5)?
False
Is 17 a factor of (2/(-3))/((-144)/285984)?
False
Is 12 a factor of 17 + 14263 + 0/(2 - 3)?
True
Suppose -98*i + 131420 = -106622. Is i a multiple of 7?
True
Let m = -12 + 17. Suppose 10*i - 3*k = m*i - 48, 44 = -4*i + k. Is 24 a factor of 386/8 + 3/i?
True
Suppose 7*k - 49493 = 22*k - 155618. Is k a multiple of 36?
False
Let q = 6 + -10. Let a(y) be the third derivative of y**5/30 + y**4/12 + y**3/2 - y**2 - 20*y. Is a(q) a multiple of 19?
False
Let m(w) = 23*w + 133. Let l be m(-6). Does 26 divide (-310)/l*7/2?
False
Let x = 4877 - 1262. Suppose -8265 = -10*d + x. Does 10 divide d?
False
Let u be ((-4)/(-7))/(4 + 54/(-14)). Suppose 2*x = u*a + 656, 0 = 5*x - 5*a - 0*a - 1655. Is x a multiple of 10?
False
Let n(z) be the first derivative of z**3/3 - 14*z**2 + 91*z - 52. Is 13 a factor of n(28)?
True
Suppose -16*s - 17*s + 21846 = 0. Is s a multiple of 6?
False
Let l = 221 + -215. Is 1434/7 - (328/56 - l) a multiple of 10?
False
Let b = 74 + -70. Let m(u) = 3*u - 456*u**3 - 7 + 457*u**3 + 9*u**2 - b*u. Is m(-3) a multiple of 25?
True
Let x = -8680 + 12855. Is 131 a factor of x?
False
Let f(o) = -4*o + 69. Let k be f(-8). Let r = 182 - k. Does 9 divide r?
True
Suppose 2*j = z + 3, -2*z + 0*z = -3*j + 5. Let o(r) = 26 + 0 - 3*r - j. Is 4 a factor of o(5)?
False
Let s be 7/14*6 - (-1 - -2). Let h be (-3)/(-3 + 93/18 - s). Is (-4026)/(-36) - 3/h a multiple of 28?
True
Suppose p = 9 - 2. Suppose 197 - 491 = -p*v. Let t = v - 31. Is t even?
False
Let d(a) = a**3 + 9*a**2 + 4*a + 1. Suppose -3*n + 2*r = -3*r + 190, 0 = 2*r - 10. Let u = n - -47. Is d(u) a multiple of 4?
False
Is 19 a factor of ((171/12)/3)/((-93)/(-141732))?
True
Suppose 0 = 5*k + 2*u - 20198, -3*k = 10*u - 6*u - 12116. Is k a multiple of 16?
False
Suppose 4*d - 1585 + 1561 = 0. Is 3 a factor of d?
True
Let n(r) = 7*r**2 + 9*r + 39. Let z be n(-9). Let o be z/(-1)*2*(-6)/18. Suppose 52*y - o = 47*y. Does 14 divide y?
True
Is 79 a factor of -18 + (7 - -4525) + -11?
True
Suppose -603321 + 144403 = -101*a + 68706. Is 63 a factor of a?
False
Is (-78)/9 - (-4)/(-12) - -12546 a multiple of 7?
True
Suppose 0 = 201*y + 12*y - 2490822. Does 21 divide y?
False
Suppose 60*u = -5*p + 62*u + 256, 0 = p - u - 50. Does 4 divide p?
True
Suppose -3*m - 12 = 0, 2*t - 18 = -0*m + 3*m. Suppose 3*h + 5*q = 930, q - 2*q - t = 0. Is h a multiple of 21?
True
Let r = 0 + 1. Let i be 12/20 - (6 + (-72)/30). Does 6 divide (i/3)/(r/(-85))?
False
Let y(u) = -7*u**2 + u. Let z be y(-2). Let n be 6/z + (1 - (-21)/5). Let w(p) = 20*p - 11. Is 34 a factor of w(n)?
False
Suppose -8*b + 7848 = -30265 + 5169. Does 29 divide b?
True
Let m(n) = -n**3 - 11*n**2 - 5*n - 6. Let u be m(-7). Let i = u - -272. Let h = 161 - i. Is h a multiple of 28?
True
Let z = -883 + 1677. Suppose 961 = 15*y - z. Is y a multiple of 9?
True
Suppose 0 = -18*s - 10008 + 221760. Does 57 divide s?
False
Let j = 433 - -1088. Suppose -5*w + 3*a = -j, 5*w - 4*w - 321 = -5*a. Is w a multiple of 12?
False
Let n be 112/70*(2 + 303/6). Let d be ((-4)/(-14))/(6/n). Suppose -d*b = -b - m - 482, -4*m + 809 = 5*b. Is 18 a factor of b?
False
Let b(o) = 23*o - 3 - 6*o - 5*o + 41*o. Let r be b(5). Suppose 2*p - 42 - r = 0. Is 38 a factor of p?
True
Suppose 4*o + 8 - 24 = 0. Suppose 6*l + 2 = o*l. Let g(i) = -204*i**3 + i**2 + 3*i + 2. Is g(l) a multiple of 36?
False
Let v be (-1)/1*4 - (-66 - -3). Suppose v + 246 = 5*i. Let x = 43 + i. Is x a multiple of 25?
False
Let l = 176825 - 117645. Is l a multiple of 269?
True
Suppose 0 = 2*a - 3*a - 5*u - 716, -2*a - 4*u = 1456. Let t = a - -939. Is 7 a factor of t?
True
Let n(l) = -180*l + 183*l - 14 + 40. Does 12 divide n(19)?
False
Let x(m) = 4120*m**2 - 21*m + 32. Is 33 a factor of x(5)?
True
Let j(t) = -t**3 + 7*t**2 + 7. Let z be j(7). Is 1 - ((-12)/(-3) - (121 - z)) a multiple of 28?
False
Suppose -23798 + 23045 = -27*r + 73767. Is 4 a factor of r?
True
Suppose 10*n = 46 + 54. Is 4 a factor of 5 + 145 + n + -7?
False
Suppose 0 = -8*y + 9*y - 204. Suppose 874 = -11*k - y. Does 13 divide (-56)/k - (-1728)/14?
False
Let s(t) = 129*t**2 - 397*t - 63. Is s(18) a multiple of 63?
True
Suppose 3*c + 4*f = 762, 116*c + 4*f + 254 = 117*c. Let j = -218 + c. Is j a multiple of 3?
True
Suppose -2*h - 3*t = -1969, -2*h - 5*t + 0*t = -1959. Let v = 2144 - h. Does 17 divide v?
False
Let f(x) = -x**3 + 4*x**2 - 10*x + 26. Let r be f(3). Suppose -4*l + 3*v = -2*v - 1085, 2*l + v - 539 = 0. Suppose 10*m - r*m = l. Does 18 divide m?
True
Suppose -3*q = 2*u + 903, 2*u + 21 = q + 314. Suppose -t = -5*t + 3*i + 1598, 5*t = -2*i + 2009. Is 2 a factor of t/13 - 46/q?
False
Let z(g) = -5*g**2 + 19*g + 7. Let i be z(4). Suppose i*w - 358 = w. Is 5 a factor of w?
False
Suppose 4*m - 452 = -4*z, 0 = -3*m + 2*m + 5*z + 107. Suppose -3*t = -3*p - 30 - 15, 29 = 3*t + p. Suppose 9*y + m = t*y. Does 28 divide y?
True
Let g be (4 + -2)/((-4)/(-82)). Suppose l = g - 4. Let u = 112 + l. Is u a multiple of 37?
False
Let h(b) = 4*b**3 - b**2 - b - 1. Let c be h(-1). Is 33 a factor of -44*(1140/16)/c?
True
Let y = 307 - 638. Let p = 393 + y. Is 44 a factor of p?
False
Suppose 5 - 3 = f. Let u(x) = -1 + f*x + 2 + 8 - 10. Does 13 divide u(7)?
True
Suppose 54600 = -6848*f + 6872*f. Does 7 divide f?
True
Suppose -10*d - 32 = -6*d. Suppose 2*c = -3*n + 1, n = -c - n + 2. Does 14 divide (d/(-5))/c*(5 - 120)?
False
Suppose -16*k = 5*k + 5439. Let w = 277 + k. Is w a multiple of 6?
True
Is 190/(-19) - ((-4122)/3 - 4) a multiple of 36?
True
Does 34 divide (-43 - -47) + -1 + 7161 + 1?
False
Suppose 4*r = 6*r + a - 9917, 4*r + a - 19833 = 0. Does 37 divide r?
True
Suppose -3*l + 40 = 2*l. Let z(v) = -v + 3 + 0*v - 6 - 11*v**3 - v**2 + l*v**3. Is 7 a factor of z(-2)?
False
Let v(r) = -r**3 + 3*r - 2. Let z be v(1). Let i be (-4)/(-18) + (z - 10/45). Suppose i = j + 3*c - 170 + 42, 5*c = j - 136. Is j a multiple of 15?
Fal