 + 9. Suppose 0 = -w + 9*w - 48. Let l be f(w). Suppose 0 = -17*u + 8*u + l. Is u a multiple of 5?
False
Suppose 3*a - 4303 = 3*o - 8*o, -2*o = a - 1435. Suppose -5*x + 3*u = -6291, a = x - 3*u + 180. Is 20 a factor of x?
True
Let b = -43656 - -65951. Is b a multiple of 49?
True
Let h be (27/(-9) - 0)*-97*2. Let m = -392 + h. Does 10 divide m?
True
Suppose 27*r - 28*r = -5081 - 4495. Is r a multiple of 12?
True
Let f(s) = -12*s. Let o be f(-6). Suppose 8*l - 589 = 315. Let v = l - o. Is v a multiple of 4?
False
Is (1*18)/((-81)/(-450)*2/78) a multiple of 39?
True
Is 1 + 2 - ((-35)/42 + 697959/(-54)) a multiple of 54?
False
Let q = 5219 - 3127. Is q a multiple of 6?
False
Let f(p) = -2*p**3 - 7*p**2 - 11*p - 8. Let x = -35 + 31. Let c be f(x). Suppose -c = -u + 20. Does 9 divide u?
True
Let h = -34 - -18. Let o(d) = -d**2 - 16*d + 6. Let q be o(h). Is 15 a factor of -2 + ((-84)/(-35))/(q/220)?
False
Let p = -2424 + 9400. Is p a multiple of 64?
True
Let m = 133 + -124. Let j(h) = 8*h**2 + 8*h - 30. Does 30 divide j(m)?
True
Let p be (-60)/(-75) - 562/(-10). Let h = 98 - p. Does 13 divide h?
False
Let n = 22 - -11. Suppose -9*x = -10*x + n. Suppose 0 = -0*t + 5*t + 3*l - 83, 2*t - x = -l. Does 4 divide t?
True
Let d(v) be the first derivative of 21*v**2/2 - 156*v - 260. Is 6 a factor of d(27)?
False
Suppose -2359 = -4*f + 1577. Suppose -8*l + f = -4*l. Is 6 a factor of l?
True
Let g(o) = 5*o**3 + 17*o**2 + 43*o + 60. Let k(r) = -2*r**3 - 6*r**2 - 15*r - 20. Let n(h) = 4*g(h) + 11*k(h). Is 12 a factor of n(-3)?
False
Let j be -2 - (-3 + -3)/1. Suppose 2596 = 4*b - j*n, 4*n - 1268 = b - 3*b. Is b a multiple of 23?
True
Let j be 0/4 - (4 + -2) - -2. Let g(l) = l**3 + 2*l**2 + 4. Let f be g(j). Suppose -2*t + 25 = o + t, 4*t + f = 0. Is 22 a factor of o?
False
Suppose j + 4*j = -90. Let y = j - -22. Suppose -4*c + 260 = 2*k + 3*k, -4*k - y*c + 204 = 0. Does 7 divide k?
True
Let y(m) = -m**3 + 17*m**2 - 18*m + 36. Let i be y(16). Let j = -53 + 34. Let q = i - j. Is q a multiple of 8?
False
Let b(f) = f**2 + 26*f - 174. Let v be b(-32). Is 11 a factor of 3*(4/v)/((-6)/(-1854))?
False
Suppose -26*z = -31*z - 40. Is (1/(z/522))/((-339)/1808) a multiple of 24?
False
Let t(p) = -98*p - 346. Is t(-41) a multiple of 36?
True
Let f(y) = -y - 11. Let v be f(-5). Suppose -240 = 25*n - 23*n. Does 17 divide ((-2)/6)/(v/54) - n?
False
Let t(j) = j**3 - 7*j**2 + 8*j + 7. Let i(u) = 2*u**2 + 17*u - 23. Let m be i(-10). Is t(m) a multiple of 6?
False
Suppose 4*w + 3*s - 20 = 0, 4*w - 5*s - 5 - 15 = 0. Suppose -w*i - 76 = -3*k, 4*k - 21 = -5*i - 83. Is (-158)/i + (-18)/63 even?
False
Let h be ((-18)/(-6))/((-6)/4). Let m be h/12 - 227/6. Let u = -8 - m. Is 6 a factor of u?
True
Let d = 49 + -56. Is 3 a factor of (-3)/(-6)*(-336)/d?
True
Is ((-29146)/(-14) - 246/287) + 0 + -2 a multiple of 6?
False
Let r = 116 + -63. Let k = r - -139. Is k a multiple of 8?
True
Let n = 820 - 675. Let c = 623 + n. Is 12 a factor of c?
True
Let i(x) = 2*x**2 + 7*x - 19. Let k be i(-5). Let c be 4 + (4 + k)/4. Is 7 a factor of (-4 - -2) + c + 8 + 89?
False
Let g(d) = -d**3 - 7*d**2 - 4*d - 3. Is 9 a factor of g(-15)?
False
Suppose 2*q = 5*b - 17718, -4*q + 17694 = 89*b - 84*b. Is b a multiple of 15?
False
Does 8 divide (132/(-77))/(3/(-2 + -4177))?
False
Let i(f) = -f**2 + 8*f - 19. Let b be i(15). Let j = 264 + b. Does 4 divide j?
True
Let u = 102 - 103. Let s(b) = -8*b**2 + 7*b + 1. Let h(g) = -g**2 + g - 1. Let i(z) = u*s(z) + 6*h(z). Is 14 a factor of i(-3)?
True
Let z = 206 - 262. Does 17 divide (-344)/z + -6 + (-1244)/(-14)?
False
Let z(g) = -2*g**3 + 2*g**2 + 3*g - 3. Let w be z(2). Let i be (8/w)/((-28)/3710). Let y = 368 - i. Is 34 a factor of y?
False
Let t be 2/(-5)*(12 - -3). Let v(r) = -11*r**2 + 3*r - 1. Let l be v(1). Is (0 + 21 + 1)*l/t a multiple of 4?
False
Let f be 6 - 6114*(-1)/(-3). Let x = -1447 - f. Is 13 a factor of x?
True
Is -1 - (11541/5)/((-134)/670) a multiple of 28?
False
Let k be 5 - ((-3)/(-9) + 40/(-12)). Let f be k/10 + 4464/(-80). Let v = 79 + f. Is 5 a factor of v?
False
Suppose -4*x + 57 = -71. Let a = x - -449. Does 13 divide a?
True
Let c = -139 + 69. Let x = -20 - c. Does 28 divide x?
False
Suppose -63*r + 21 = -60*r. Suppose -3*q - 5 = -5*i, 2*q - r*q + 5*i + 5 = 0. Suppose 0 = 4*u + 5*k - 240, q*k - 30 = -u + 45. Is u a multiple of 11?
True
Let o = 1602 - 1603. Let l(b) be the second derivative of -13*b**3/2 + 9*b**2/2 - b. Is 10 a factor of l(o)?
False
Let r(c) = -3*c**3 - 112*c**2 - 90*c - 114. Is 56 a factor of r(-38)?
False
Suppose 2*l + 4 = 4*l, -4*i = -4*l + 8. Suppose i = -32*d + 19*d + 3978. Is d a multiple of 15?
False
Suppose 128120 = 65*s - 69220. Is s a multiple of 69?
True
Let a(k) = 3*k**3 - k**2 + 44*k - 82. Does 3 divide a(6)?
False
Suppose 4*d = -5*f + 30309 - 6575, f = -5*d + 29678. Does 112 divide d?
True
Let f = 0 - 0. Let m(w) = -19*w + 25. Let u be m(1). Suppose -y + 96 - u = f. Does 18 divide y?
True
Suppose 4 - 6 = -n. Suppose 0 = n*b, 4*p - 2*b - b = 16. Suppose -6*m = -p*j - m + 880, 0 = -3*m. Is j a multiple of 44?
True
Suppose 4*t - 2*f - 1314 = -0*t, 5*f - 953 = -3*t. Suppose 0 = -2*r - 2*p, -191*r + 190*r + 5*p = -30. Suppose 314 = r*n - t. Is 16 a factor of n?
True
Suppose -76 = 5*w - 16. Let o(y) = -67*y - 84. Is 36 a factor of o(w)?
True
Is 6 + -530*(-50 + 1) a multiple of 34?
True
Let z be (0 + -297)/3*(-6)/9. Suppose -z = 3*i - 276. Does 14 divide i?
True
Let q be ((-1)/(-2) + 3157/(-66))*3. Let p = -251 - -172. Let v = p - q. Is v a multiple of 21?
True
Let g(v) be the second derivative of v**4/12 + v**3/6 + v**2 + 20*v. Let h be g(0). Is (6 + h)*(-1 + 2) a multiple of 4?
True
Let d(v) = -42*v - 164. Let x be d(-4). Suppose x*r - 35*y = -32*y + 1132, 4*y = 2*r - 576. Is r a multiple of 7?
True
Let n = 8582 + -8357. Is n a multiple of 5?
True
Let m(w) = w**3 - 23*w**2 - 28*w + 98. Let h be m(24). Is ((-1560)/(-14))/h*140/30 a multiple of 10?
True
Let u(l) = -l**2 + 15*l + 3. Let j be u(15). Suppose 0*d + 8 = 4*k - j*d, -k + d + 2 = 0. Suppose 4*m + 5*q = 15, -2*q + 22 = 3*m + k. Is m a multiple of 10?
True
Suppose 0 = -b - 5*u + 7496, -60 + 60 = 4*u. Is b a multiple of 102?
False
Let o(j) = 971*j**2 + 33*j + 49. Is 35 a factor of o(4)?
False
Let m be -6 - 3/((-12)/4). Let z be (-2567)/(-8) - m/40. Suppose 147 = d - 3*v, z = -0*d + 2*d + 3*v. Is 52 a factor of d?
True
Suppose 3*h = -2*d + 47, h + 92 = 4*d + 5*h. Let w(y) = 5 + y + y - d*y - 9*y. Does 21 divide w(-2)?
True
Let m(x) = -x**3 - 27*x**2 + 89*x - 26. Let f be m(-30). Suppose -2*i = -5*n - 1020, f*i - 2767 = 3*n - 699. Is 60 a factor of i?
False
Let v(g) = -15*g**2 - 2*g - 1. Suppose -6*a + a = -5*l, 0 = 5*a + 5. Let h be v(l). Let w(d) = 2*d + 32. Is w(h) even?
True
Let y = -99 - -89. Does 10 divide 196/10 + y*9/(-225)?
True
Suppose -5*m - 3*l + 4656 = 0, -860 + 2726 = 2*m + 3*l. Suppose -5*b + m = 2*c, 5*c - 1144 - 1162 = -3*b. Does 10 divide c?
True
Suppose -54*v + 130248 = 18*v. Is 20 a factor of v?
False
Let y(s) = -s**2 - 26*s - 18. Suppose 4*l + 5*q - 23 = 0, 5*l - 2*l - 2*q - 46 = 0. Let a(o) = -o**3 + 13*o**2 - 13*o. Let p be a(l). Is 21 a factor of y(p)?
False
Let w = -46 + 82. Let g = -24 + w. Suppose 140 = g*i - 2*i. Is 5 a factor of i?
False
Let f(w) = -4*w**2 - 43*w - 13. Let h(g) = -2*g**2 - 21*g - 7. Let l be 60/(-7) - 6/14. Let x(c) = l*h(c) + 4*f(c). Is 3 a factor of x(-8)?
True
Suppose 3*o = -105*v + 101*v + 192502, v - 4*o = 48116. Does 227 divide v?
True
Is (-5)/(-1) - (-167335)/49 a multiple of 90?
True
Let n be (244/1)/(6/9*3). Suppose 19*p - 2150 = -6*p. Let f = n + p. Is 16 a factor of f?
True
Suppose 0 = 4*q + 2*g - 414, 3*q + 0*q = 5*g + 304. Let h = -84 + q. Is h even?
False
Let f be (16 - (-1 + 2)) + -1. Let n(m) = 16*m - 65. Let v(u) = -7*u + 32. Let t(o) = 3*n(o) + 7*v(o). Is 15 a factor of t(f)?
True
Let c be 737/44*(-3)/((-6)/32). Suppose -11*b - c = -15*b. Does 67 divide b?
True
Suppose 4*a - 4*h + 956 = 0, 234 = -a + 4*h - 8*h. Let p = 344 + a. Suppose -3*q + p = -104. Is 14 a factor of q?
True
Suppose 0 = -2*b + 10, 5*w + 4*b = -0*w - 815. Let f = -72 - w. Let k = f + -53. Is k a multiple of 6?
True
Let l(f) = 5*f**3 + 6*f**2 - 48*f - 166. Does 7 divide l(15)?
True
Let x be 1*(-6 + 17) + -2. Is 17 a factor of x/2 