72 - -180. Suppose 673 + 1887 = l*f. Is f a multiple of 10?
True
Let a = 7870 - 2410. Is 10 a factor of a?
True
Let s(z) = -23*z + 33. Let q(c) = -10*c + 16. Let m(n) = -14*q(n) + 6*s(n). Suppose 0 = 5*y + 4*h - 62 - 37, -42 = -2*y - 4*h. Is 6 a factor of m(y)?
True
Is 65 a factor of (-80 - -81)*(-775)/(-4 - -3)?
False
Let x = -2982 + 3039. Is x a multiple of 2?
False
Let w(x) = x**3 - 3*x**2 + 8*x - 8. Let b be w(4). Let s = b - 79. Let i = -29 - s. Is 10 a factor of i?
True
Suppose 0 = -5*h, -2*h + 30 - 6 = 2*b. Suppose 3*d - 4*r + 584 = -2*d, 500 = -4*d - 5*r. Let c = b - d. Is c a multiple of 22?
True
Is 29 a factor of ((-8)/30*10)/(4/(-7482))?
True
Suppose -p - 22201 = -3*p - 2181. Is p a multiple of 69?
False
Let c(k) = 3*k**2 + 11*k - 16. Suppose 0 = -3*v + 5*a + 95, -3*v - 5*a = 11 - 96. Suppose 2*s - 5*s = v. Is c(s) a multiple of 29?
True
Let o(d) = d**3 - d**2 + d - 260. Let u be o(0). Let b = u - -368. Suppose -2*j + b = j + 3*h, -j - 3*h = -42. Is 31 a factor of j?
False
Let g(l) = 2*l**3 - 9*l**2 + 7*l - 4. Suppose 61*j + 6 = 62*j. Let y be g(j). Let k = y - -23. Is 13 a factor of k?
True
Suppose -405 = -2*y + 149. Suppose -2*j - 10 = 0, z + 2*j + 85 = y. Suppose -4*l - z = -2*i - 2*l, 405 = 4*i - 5*l. Is i a multiple of 25?
True
Suppose -803 = 7*w - 607. Is 106 a factor of 75672/42 - 8/w?
True
Let s(v) = -v**2 + 13*v + 10701. Does 130 divide s(0)?
False
Let w be ((10/1)/(-10))/(2/(-6)). Suppose 1169 + 2029 = w*q. Is 13 a factor of q?
True
Let r = -900 + 930. Is (-3)/(-2)*(2 - (-1360)/r) a multiple of 3?
False
Let z(i) = -i**3 - 209 - 6*i**2 + 403 - 204 + 2*i. Is 12 a factor of z(-7)?
False
Let a(r) be the first derivative of r**4/4 + r**3/3 - r**2/2 + 36*r + 225. Let d(n) = n - 4. Let u be d(4). Is a(u) a multiple of 4?
True
Suppose 0 = -5*k - t + 121, t - 67 = -3*k - t. Suppose -4*d - 5*z - k = 0, 2*d - 3*z + 8*z = -25. Suppose -5*h + 58 + 1142 = d. Is h a multiple of 48?
True
Suppose 61*q = 56*q + 10. Let r be (8/(-12))/(q/(-27)). Let y(w) = w**2 - 5*w + 12. Is 12 a factor of y(r)?
True
Let d(p) = 9*p**2 - 82*p - 57. Does 47 divide d(-42)?
False
Let p(a) = a**2 + 149*a + 5881. Does 3 divide p(-70)?
True
Let v(q) = -5*q**2 + 69*q - 117. Let z be v(53). Does 33 divide z/(-33) + (-1)/3?
False
Let m be -11 - (2 - (-3 + 9)). Is 25 a factor of (-1075)/(6 - (m - -14))?
True
Let b(h) be the first derivative of -171*h**2/2 - 43*h + 34. Does 9 divide b(-2)?
False
Suppose -3*x - 49 = 4*m, 24*x + 47 = -5*m + 25*x. Let i = -28 - -62. Let p = i + m. Does 6 divide p?
True
Suppose 4*k - 3*r - 52 = 0, 3*k + 0*r = -2*r + 39. Let v(f) = -f + 11. Let n be v(k). Is 15 a factor of -4 + (-62)/n + 1?
False
Does 44 divide 8448/(-15)*(-22 - 24/(-2))?
True
Let v = 877 - 720. Is v even?
False
Suppose 0 = 5*j, 19 + 21 = 5*w + 4*j. Suppose -50*h = -15*h - 47320. Is w - h/(-24) - 1/3 a multiple of 8?
True
Suppose 3*y = 3*m - 45267, 2*m + 62*y = 63*y + 30178. Does 61 divide m?
False
Suppose -j + 893 = -510. Let u = 2926 - j. Suppose -5*p + 2*l + u = -l, 3*p - 2*l - 914 = 0. Is p a multiple of 16?
True
Let l = 24 + 11. Let n be 103/5 - 21/l. Suppose 0 = n*c - 19*c - 56. Is 14 a factor of c?
True
Let x(v) = -88*v**3 + 33*v**2 + 177*v - 58. Does 20 divide x(-9)?
False
Let i(a) = -763*a + 2951. Is 16 a factor of i(3)?
False
Let w(o) = 2*o**3 + 99*o**2 - 108*o + 199. Is 102 a factor of w(-46)?
False
Let t = -392 - -346. Does 24 divide t/437 + 40533/57?
False
Suppose 0 = 1005*w - 1018*w + 16380. Is w a multiple of 5?
True
Let k = 16211 + -14951. Does 9 divide k?
True
Let g(j) = j**3 - 61*j**2 + 3*j - 1582. Does 28 divide g(62)?
False
Let o = 3834 + -3150. Does 2 divide o?
True
Suppose -112 = -10*p - 6*p. Suppose -423 = -4*j - o - 130, -284 = -4*j - 4*o. Let i = j + p. Is 9 a factor of i?
True
Let l = 166 + -124. Suppose 2*w = -6 + l. Is 9 a factor of w?
True
Let h(c) = -2*c**2 + 28*c + 20. Let u be h(14). Let b be 1934/11 + u/110. Suppose g = -3*m - 0*g + 124, -4*m + b = 4*g. Is 10 a factor of m?
True
Suppose 3*f - 5*k = 1260, 3*f + 0*k = 2*k + 1260. Is f a multiple of 70?
True
Let j = 128 + -157. Is -6 + (-5 - j) + 5 even?
False
Let a(u) be the third derivative of -39*u**6/40 - u**5/60 + u**4/12 + u**3/2 - u**2. Let r be (1 - (-10)/(-14))*119/(-34). Is a(r) a multiple of 13?
True
Suppose p + 296 = -6*w + 5*w, 0 = -4*p + 16. Let f = w - -751. Is f a multiple of 17?
False
Let v = -79 - -113. Let q = -32 + v. Suppose -3*l - 2*m = -294, 6*m = -q*l + 3*m + 191. Does 9 divide l?
False
Let q = -12 - -22. Let x(i) = -2 + 7*i**2 - i**2 - 9 - 5*i**2 - 4*i. Does 7 divide x(q)?
True
Suppose 2*k + 8*k = -19*k + 101674. Does 58 divide k?
False
Let h = 420 + -241. Let f = -125 + h. Is f a multiple of 9?
True
Let d(x) = 4*x**3 - x + 1. Let m = 35 - 34. Let a be d(m). Suppose a*o - 415 + 107 = 0. Is o a multiple of 22?
False
Let k(r) = -r**3 + 11*r**2 - 10*r - 6. Let y be k(10). Let c be 2/((-8)/15)*80/y. Let l = 82 + c. Does 16 divide l?
False
Let y = -9479 - -11551. Does 6 divide y?
False
Let o(k) = 3*k**3 - 84*k**2 + 104*k - 97. Is 128 a factor of o(31)?
True
Let n be (-1)/((6/8)/(-3)) + -2. Suppose -c + 8 = 7*c. Suppose -c = -w + n*q + 17, 5*w - 3*q = 62. Is 5 a factor of w?
True
Suppose -5*x - 4*l - 683 = -3*l, 0 = 3*x + 5*l + 423. Let i = 14 - x. Is i a multiple of 25?
True
Let v be (1 + 3 + -4)*8/16. Suppose -5*f + 6280 = 5*o, o = -4*f - v*f + 5009. Does 11 divide f?
False
Let w(v) = -23*v**2 + 2*v + 1. Let t be w(-1). Let o be (-156)/(-15) - (t/15 - -2). Does 6 divide (-88)/o*((-77)/14 + 3)?
False
Let z(l) = 8*l - 8 - l**2 - 4*l - 2 + 6*l. Let n be z(4). Let f = -3 + n. Is f a multiple of 11?
True
Let r be 2/5 - (-8)/(-20). Suppose 84 = 4*g - 2*w, -3*w + r*w + 94 = 5*g. Suppose -5*y - g = 0, -4*a + y = -9*a + 176. Is 6 a factor of a?
True
Let r = 6264 + -4845. Does 7 divide r?
False
Suppose -27*g - g = -146*g + 51448. Is 57 a factor of g?
False
Suppose y + 47 = -3*x, 3*y - x + 0*x = -161. Let q be 1/(-4) - (-9480)/(-96). Let r = y - q. Does 18 divide r?
False
Is 123 a factor of ((-1890174)/(-48))/11 - 17/(-136)?
False
Let s = -18220 + 27901. Does 103 divide s?
False
Let c(p) = 10*p**2 - 72*p + 701. Does 12 divide c(12)?
False
Let p(k) be the third derivative of -53*k**4/12 - 41*k**3/6 - 81*k**2 + 1. Does 24 divide p(-6)?
False
Let h(s) = -758*s - 12016. Is h(-27) a multiple of 20?
False
Let p be (-78)/12 - 1*(-3)/6. Let s(h) = -h**2 - 7*h - 10. Let q be s(p). Does 38 divide -8*((-4)/40)/(q/(-1090))?
False
Let a be (2 + 36)/(8/(-120)). Let w = a + 832. Is 64 a factor of w?
False
Suppose -3*u = -3*m + 300, -4*u = -6*m + 5*m + 388. Does 5 divide (-4642)/(-14) + u/168?
False
Let u(l) = 5534*l + 3764. Is u(4) a multiple of 37?
True
Let q(t) be the first derivative of t**4/4 + 4*t**3 - 23*t**2/2 - 5*t - 39. Is 32 a factor of q(-12)?
False
Is 12 - ((-51293)/11 + -1) a multiple of 40?
False
Suppose -5*h = -28*h + 23373 + 11771. Does 28 divide h?
False
Suppose -20 = -4*m + 16. Suppose 4*h = -m*h + 4290. Is h a multiple of 10?
True
Suppose 0*t + 5*p + 3240 = 5*t, 0 = -2*t + 4*p + 1302. Let b = t - 185. Does 23 divide b?
True
Let z = 42 - 43. Let y be (-2 - z) + 2/(4/14). Let m(i) = -i**3 + 8*i**2 - 6*i - 1. Does 6 divide m(y)?
False
Let z = -234 - -229. Does 16 divide 1*1118*z/(-10)?
False
Let c = -58 - -58. Suppose c*n - 14 = -n. Is 2 a factor of n?
True
Let h(a) = a**3 - 5*a**2 - 17*a - 1. Let c be h(9). Let g = 287 - c. Is g a multiple of 7?
False
Suppose -4*a = -2*b + 8, 0 = 3*b - 2*a + 3 + 5. Let z(t) = 8*t**2 - 16*t - 22. Is 7 a factor of z(b)?
False
Is 86 a factor of (-118294)/(-20) - (-879)/2930?
False
Let n(a) = -4*a + 18. Let o(f) = -17*f + 73. Let w(r) = -9*n(r) + 2*o(r). Let x be w(12). Is (4/2 + -8)*(-240)/x a multiple of 20?
True
Suppose 0 = -6*h - h - 147. Let w be (-4 + 4 - h) + -4. Suppose -3*i + w + 28 = 0. Does 2 divide i?
False
Is (160/(-20))/(1/(-368)) a multiple of 46?
True
Let p be (-3 + 7)/(-20) - (-52)/10. Suppose -3*t + 106 = -p*t. Let i = -37 - t. Does 3 divide i?
False
Suppose -7*l = -15*l + 680. Suppose 0 = 8*f + 5 - l. Is 2 a factor of f?
True
Suppose -4*v + 10*a - 5*a + 14065 = 0, 3*v - 3*a - 10551 = 0. Is 33 a factor of v?
False
Suppose -o = 4*v - 8263, -3*o - 5*v + 23814 = -975. Is o a multiple of 29?
False
Let p(k) = -k**2 + 10*k - 22. Let m b