e
Let b = -1950 - -3462. Does 28 divide b?
True
Let w = -62 + 5. Let u be (-42)/(-4)*512/48. Let l = u - w. Is 30 a factor of l?
False
Let d = 21 + -23. Let l be ((-16)/(-12))/(d/(-3)). Suppose 4*n + 19 - 390 = 5*j, -3*n = -l*j - 287. Is 11 a factor of n?
True
Suppose 5*a + 9 = 19. Suppose 80 = a*f - 24. Suppose 4*l - 268 = -f. Does 6 divide l?
True
Let q(m) = m**2 + 16*m + 1. Let w be q(-18). Suppose -10*s = -9*s + w. Is 4 a factor of 3 - 2*s/2?
True
Let d = 3 + -6. Let b be d/6*8 + 13. Suppose b*z + 351 = 1170. Is z a multiple of 13?
True
Let x(d) = -d + 3. Let g be x(1). Suppose 2*s + 716 + 103 = 3*l, 3*l + g*s - 807 = 0. Suppose -4*p - 3 + l = 4*i, -3*p + 209 = i. Does 6 divide p?
False
Let x(z) = -353*z + 824. Is x(-12) a multiple of 13?
False
Let m be 1 + 600 - (0 - -3). Suppose m = 8*q - 2706. Is 7 a factor of q?
True
Let h(y) = -56*y - 19. Let i be h(-9). Suppose -120 + i = -5*l. Let k = -44 - l. Does 4 divide k?
False
Suppose 0 = 3*i + 4*n + 280, -6*n + 84 = -i - 5*n. Suppose -14*v = 22*v - 8*v + 168. Let k = v - i. Is 23 a factor of k?
False
Let a(d) = 16*d**2 - 6*d + 5. Let m be a(3). Let n = m - 129. Suppose g = -n*v + 46, -g = -v - 27 - 7. Is g a multiple of 7?
False
Let w = -4760 - -5387. Does 11 divide w?
True
Suppose n = -4*x - 15, 4*x = -6 - 14. Let w = -5439 - -5443. Suppose 0 = -w*k - n*p + 145, 0 = k - 0*k + p - 37. Is k a multiple of 20?
True
Suppose t + 3*j + 419 = -348, 5*t + 4*j + 3846 = 0. Is -1 + 1 - (-3)/((-21)/t) a multiple of 7?
False
Let x be 569/9 - (-4)/(-18). Suppose -i - j = -70, -158*j + 214 = 3*i - 154*j. Let h = x + i. Is 7 a factor of h?
False
Let k be 2/(-2)*(13 - 18). Suppose 3*y = 4*y - h - 198, 982 = k*y - h. Does 49 divide y?
True
Let k be 0 + 2 + -5 + 40/8. Suppose k*a + 1869 = 5*c, 1116 = 2*c + c - 3*a. Is c a multiple of 17?
False
Suppose 0 = 14*r - 82*r - 211799 + 1316799. Does 10 divide r?
True
Let r = 429 - 145. Does 64 divide 5 + -10*r/(-8)?
False
Is 48 a factor of ((-3686)/291)/((2/(-6))/(523 - 2))?
False
Let g(t) = -266*t + 2605. Is g(-35) a multiple of 91?
False
Let k = 708 + -708. Is 12 a factor of k - (2200/(-12) - (-2)/(-3))?
False
Let b = -9 + 1. Let n(v) = 62*v**2 + 4*v + 3. Let x(f) = 186*f**2 + 11*f + 8. Let q(m) = b*n(m) + 3*x(m). Is q(1) a multiple of 7?
True
Does 8 divide (-14)/(5*(-6)/(-50415)*-1)?
False
Let y = 1353 + 433. Is y a multiple of 6?
False
Suppose 303*c = 267*c + 47160. Is c a multiple of 16?
False
Suppose -3*j = 5*a - 20287, -3*j = 8*a - 6*a - 8113. Does 30 divide a?
False
Let w(x) = x - 16. Suppose -3*q - 45 = -3*z, -3*z = q - 3*q - 50. Let d be w(z). Is ((0 - -1)*2)/(d/232) a multiple of 7?
False
Suppose 9*j - 803 + 155 = 0. Does 14 divide ((-2 + 1)*-23)/(6/j)?
False
Let x(y) = -y**3 - 20*y**2 - 57*y - 22. Is x(-17) a multiple of 10?
True
Suppose -67*r + 144122 = -72717 - 9755. Does 11 divide r?
False
Let t = 646 - -27. Is t a multiple of 3?
False
Let l be 10 - (-35)/(-5) - (-1)/1. Suppose -75 = -2*a - 3*o, -3*a + 87 = -0*a - l*o. Is a a multiple of 11?
True
Suppose 0 = -0*u - u + 6. Let n be 3/(-2) + 5/(20/u). Is n + 100/(16/4) a multiple of 3?
False
Is 86 a factor of 2 - (-533826)/22 - 710/(-3905)?
False
Let m(s) = 1. Let t(b) = 18*b + 77. Let g(x) = -3*m(x) + t(x). Let k be g(17). Let f = k + -188. Is f a multiple of 48?
True
Let o be (3 + 0 - 5)/(6/(-33)). Suppose o*y + 2 = 24. Suppose 5*i + 5*t - 75 = 0, 3*i - 65 = -y*t + 3*t. Is 11 a factor of i?
False
Let h = -19 - -46. Let r be 4*8/32 + 2 - -210. Suppose -2*g = h - r. Does 26 divide g?
False
Suppose -820*c + 5870850 + 1965692 = -10052578. Is 303 a factor of c?
True
Let i = 534 + -594. Let a = i - -137. Is 11 a factor of a?
True
Let b = -617 + 302. Let i be ((-14)/10 + 1)*b/(-21). Let q(l) = -l**2 - 12*l - 21. Is q(i) a multiple of 5?
True
Let l = 1225 + -1877. Let v = 940 + l. Does 24 divide v?
True
Let l(r) = 250*r - 7998. Is 8 a factor of l(83)?
True
Suppose 9073 = 15*h - 98852 + 19860. Is 103 a factor of h?
True
Let n(o) = 9*o**2 + o - 19. Let x(y) = 3*y**2 - 6. Let c(a) = 4*n(a) - 11*x(a). Suppose 4 = u - 0*u. Does 27 divide c(u)?
True
Does 12 divide ((-180)/(-30))/((-1)/(-42))?
True
Suppose 3*t - 3*c = 4761, 33*c - 37*c - 3180 = -2*t. Does 5 divide t?
False
Suppose 2*r - 36 = 4*l, -4*r + 4*l + 7 + 77 = 0. Let f(j) = 22*j**2 + r*j + 27 - 15*j**2 - 8*j**2. Is 9 a factor of f(24)?
True
Suppose -2*r = 8, -5*r = -5*k + 10652 + 3728. Does 35 divide k?
False
Let h(g) = -102*g + 1274. Is 10 a factor of h(12)?
True
Let l = 12132 - 7449. Is 118 a factor of l?
False
Suppose -15*l = 4*j - 20*l - 17, 5 = 3*j + 4*l. Suppose -3156 = -j*u - 10*h + 7*h, -4*h = -u + 1077. Does 31 divide u?
False
Does 33 divide (-39)/(-2)*(-17)/(289/(-35224))?
False
Is 36 a factor of ((-945)/(-18))/(-21)*(0 + 2) - -10728?
False
Let m(t) be the third derivative of 1/24*t**4 + 0 - 14*t**2 + 0*t + 1/15*t**5 - 1/2*t**3. Is m(2) a multiple of 5?
True
Suppose 4*h = -3*d + 23025, h - 79*d = -75*d + 5780. Does 12 divide h?
True
Let t(k) = 5*k**2 + 36*k + 35. Is 50 a factor of t(-10)?
False
Let q(j) = -159*j + 30. Let d(r) = -2*r**3 + 5*r**2 - 5*r + 1. Let w be d(2). Is q(w) a multiple of 59?
False
Suppose -7*a - 2*a = -26655 - 88437. Is a a multiple of 46?
True
Is 326 + -319 - (-616 + -2 + 2) a multiple of 3?
False
Let t = -70 - -88. Let l(g) = 30*g - 171. Is l(t) a multiple of 6?
False
Suppose 2454*s = 2458*s + 32, s = -4*o + 103020. Is 13 a factor of o?
False
Let v(l) = 3069*l**2 - 37*l - 1. Is 131 a factor of v(-2)?
False
Suppose n - 43 = -12. Suppose 9*i = -13 + n. Suppose -5*z + i*a = -2*z - 147, 0 = -z - a + 44. Is z a multiple of 16?
False
Let i be (-44260)/20*(-2 + 1). Suppose 5*o - i = 207. Is o a multiple of 34?
False
Let t = -16 + -33. Let j = t + 23. Let b = j + 125. Is b a multiple of 15?
False
Let o(v) = 15*v**2 - 107*v - 561. Is o(-6) a multiple of 9?
True
Suppose 7565 = 41*p - 3915. Is p*(2 + (-9)/6) a multiple of 14?
True
Let x = 68 + -89. Let r be x/(-9) - (-14)/21. Suppose -110 = -8*q + r*q. Is 9 a factor of q?
False
Let d = -1244 - -361. Let q = d - -623. Let y = q + 380. Is 40 a factor of y?
True
Is 53 a factor of (((-972)/24 - 9) + 7)*2862/(-15)?
True
Let v = 3364 + -3109. Is 15 a factor of v?
True
Does 65 divide 28881/5 + (-104)/520?
False
Suppose 0 = 28*b - 64297 - 82703. Is 14 a factor of b?
True
Let m = -2384 + 2392. Suppose -2*r + d + 73 = 0, -d - 1 = -0. Is 5679/r - 6/m a multiple of 40?
False
Suppose -39*i + 1779 = -717. Suppose -55*s = -i*s + 2772. Does 4 divide s?
True
Suppose 2*n + 3 - 561 = 3*f, 0 = -5*n + f + 1382. Is 3 a factor of n?
True
Let l = -10808 + 15296. Does 48 divide l?
False
Is (-121080)/(-92) - (-2)/(-23) a multiple of 20?
False
Let x = 18 - 6. Suppose -x*d - 250 = -1510. Is d a multiple of 15?
True
Let l = 2372 - 1821. Does 19 divide l?
True
Let p(r) = -6*r + 13*r + 1 + 40*r**2 - 13*r. Is 3 a factor of p(-1)?
False
Let b = 6110 - -25630. Is b a multiple of 115?
True
Suppose 5*p - 3300 = -4*t, -2*p + 0*t = 3*t - 1327. Let i = p + -449. Does 69 divide i?
True
Let c be 4/10 + (-233947)/(-95). Suppose 0 = 8*j - 5401 - c. Is 75 a factor of j?
False
Let s(w) = w**3 - 4*w**2 - 10*w + 13. Suppose -576 = -3*r - 9*r. Let i = r - 41. Is s(i) a multiple of 15?
True
Does 30 divide 3/((-6)/10) + (0 - (-5 + -9180))?
True
Suppose -51*a + 204103 - 15755 + 41611 = 0. Is 51 a factor of a?
False
Suppose 187 - 162 = 5*f. Suppose -f*t + 13*t = 304. Does 13 divide t?
False
Is 2 a factor of (162/45)/9*(-128910)/(-12)?
False
Suppose -2*p - 43606 = -5*a, 8730 = -2912*a + 2913*a + 4*p. Is 70 a factor of a?
False
Suppose -3*c + 24 = -2*v - 186, 280 = 4*c - 4*v. Let r = c + -67. Suppose -5*w = 5*k - 151 - 319, 192 = 2*k + r*w. Does 8 divide k?
False
Suppose 0 = 2*a - r - 22, 2*r = -1 - 3. Suppose 8*z - 4*z - 87 = -5*p, 5*z + a = 0. Suppose -2*b + 5*s + p = 0, 2*b - b = 4*s + 11. Does 7 divide b?
True
Let y = 282 - 248. Suppose 12250 = -9*t + y*t. Is t a multiple of 14?
True
Suppose -164*y + 825 = -163*y. Let f = y + -249. Is f a multiple of 72?
True
Suppose -10*l + 274 = -36. Let u = 28 - l. Is 16 a factor of u*(-3 - -12)/3*-8?
False
Let g be (-52)/39 - 1254/(-9). Is ((-987)/6)/((-23)/g) a multiple of 47?
True
Let s(l) = l**3 - 3*l**2 + 6. Let a be s(2). Suppose m = a*g + 79, 3*m - g - 431 = -2*m. Is m a multiple of 6?
Fal