 -58*a + 51*a. Does 17 divide a/(-27) + 22/99?
True
Does 17 divide 10186/12 - ((-940)/24)/(-47)?
False
Suppose i + 4*i - 3*z - 29 = 0, -4 = -4*i - 4*z. Is 16 a factor of (-3 + 2)*i*(1 - 5)?
True
Suppose -96*j - 108392 = -113*j. Is 13 a factor of j?
False
Let z be -2 + (264/12)/(4/86). Is 48 a factor of z/(-4)*(2 - (-14)/(-3))?
False
Let o be (112/(-64))/(2/8). Let i(r) = -48*r - 14. Let j be i(o). Suppose 4*u + 38 = j. Is u a multiple of 5?
False
Suppose 4*z - 1 = 2*f - 7, 5*f = -3*z + 2. Let x be 3*((-1)/(-3) + f/1). Suppose 0 = 2*a - x*a + 200. Is 17 a factor of a?
False
Is 10 a factor of ((-5775)/(-44))/((-4)/(-96))?
True
Let j(l) = 802*l**2 + 172*l + 8. Does 19 divide j(-4)?
False
Let t = -7719 + 8425. Is t even?
True
Let u = 116 - 121. Is 27 a factor of 21/(u*(-7)/630)?
True
Let b(u) = -5*u + 59. Let o be b(11). Is (o - (1 - -5))*-175 a multiple of 35?
True
Let f be (-111)/(-21) + (-10)/35. Is 16 a factor of f + 5131/21*3?
False
Let y(a) = 6*a - 24. Let t be y(10). Let o = -33 + t. Suppose o*g = -0*g + 15. Does 5 divide g?
True
Let g(t) = -3*t**3 - 40*t**2 - 14*t - 63. Does 102 divide g(-16)?
False
Suppose -21944*g = -21905*g - 517959. Is 163 a factor of g?
False
Let l(f) = -33*f**3 - 2*f**2 + 5*f + 6. Does 2 divide l(-3)?
True
Let h(s) = -10*s. Let t be h(0). Suppose t*k - 4*k = -288. Does 8 divide k?
True
Let s = 84 - 81. Suppose -s*m + 2055 = -3*y + 6*y, -y + 697 = 5*m. Is 70 a factor of y?
False
Let b(k) = k**2 - 4*k + 21. Suppose -4*r - 19 = -19. Suppose -2*m - 2 + 14 = r. Is 13 a factor of b(m)?
False
Let f be ((-2)/3)/(11/((-1386)/12)). Is 24/(-84) - (-2522)/f a multiple of 30?
True
Let j = 13487 - 11691. Is j a multiple of 4?
True
Let d be (-2)/((-3)/(-2) + -2). Let f = -144 + 219. Suppose -f + 7 = -d*t. Is t a multiple of 6?
False
Suppose 105188 + 100297 = 57*o. Is o a multiple of 35?
True
Let z = 23347 + -8795. Is z a multiple of 4?
True
Let y(j) = -33*j - 127. Let q be y(-4). Suppose -q*w + x = -4701, -4*w + 2*x = w - 4702. Is 10 a factor of w?
True
Let j be (6 - 8)*(-17)/(-2). Let b = -149 + 127. Is 15 a factor of (j - -8)*b/3?
False
Let k = -413 + 779. Suppose -k*z - 2652 = -372*z. Is z a multiple of 8?
False
Let u = -2223 - -13256. Does 88 divide u?
False
Let y = 6 - 105. Let z = 144 + y. Is 3 a factor of z?
True
Suppose 0 = 13*j - 14*j + 48. Does 81 divide (-13)/((-104)/j) + 561?
True
Let j be (236/(-7) + (-4)/14)/(-2). Suppose -j*l + 22*l = 10. Is 18 a factor of (2/1 - l) + 36 + 3?
False
Let g be (-105)/6*(-9060)/35. Suppose -122*r = -116*r - g. Is 20 a factor of r?
False
Is 12 a factor of 4725 - (105/(-14) + 7)*6?
True
Let l = 3250 - -2704. Is 13 a factor of l?
True
Let z(l) = -1349*l - 5647. Does 73 divide z(-7)?
True
Let b(c) = -8*c - 41. Let i(s) = -24*s - 122. Let l(k) = 21*b(k) - 6*i(k). Is 29 a factor of l(-26)?
False
Let t(w) be the first derivative of -2*w**2 + 17*w - 10. Let n be t(4). Let o = n - -20. Does 5 divide o?
False
Suppose -23*n - 23*n = -77280. Is 24 a factor of n?
True
Let s be -149 - (-5 - (-33)/3). Let x = s - -412. Is 26 a factor of x?
False
Let z = 4610 + 28411. Does 27 divide z?
True
Suppose -3*k - 5*l = -1477, -4*k - 73*l = -75*l - 1926. Is 121 a factor of k?
True
Let d be (-58982)/110 + ((-9)/15)/(-3). Let k = d - -648. Is k a multiple of 37?
False
Suppose 56*f - 708 = -4*l + 52*f, 4*f = l - 157. Does 4 divide l?
False
Suppose 5*r - 145*k + 150*k = 1085, -5*r - 2*k = -1100. Is 3 a factor of r?
True
Let o(y) = -5*y**3 - 6*y**2 - 2*y + 8. Suppose -6*a - 12 = -2*a. Does 19 divide o(a)?
True
Let n = 6751 - 1319. Does 194 divide n?
True
Does 12 divide 10 + 3 + (-1 - (-19 - 30797))?
True
Suppose 3*p = u + 2907 - 18661, 0 = -3*u - p + 47182. Is 4 a factor of u?
False
Let y(r) = -6*r**2 + 8*r. Let q(k) = 7*k**2 - 9*k. Let a(d) = 5*q(d) + 6*y(d). Let l be a(4). Let t(o) = o + 21. Is t(l) even?
False
Suppose 3*z - 2*p + 87 - 1039 = 0, -2*p = z - 312. Is z a multiple of 15?
False
Let j(g) = g**3 + 6*g**2 + g + 9. Let q be j(-6). Suppose -2*n + q*n + 28 = 0. Let m = -2 - n. Does 13 divide m?
True
Suppose 0 = n + 4*t - 14276, -5*n - 5*t + 29305 = -42030. Is 26 a factor of n?
False
Let s be (-12)/2*(-1)/(-2). Let f(r) = -r + 2*r - 7 + 21 + 0 - 1. Is 10 a factor of f(s)?
True
Suppose 2613*x = 2653*x - 660600. Is 121 a factor of x?
False
Suppose 9572 = 18*o - 2974. Suppose 13 - o = -12*a. Does 19 divide a?
True
Suppose -7*z = -4*z - 63. Let o(i) = -z - 2*i**2 + 4*i**2 + 3*i**2 + 15*i - i**2. Does 42 divide o(-9)?
True
Suppose 81*x - 20840 = 86161. Does 9 divide x?
False
Suppose -17*j + 13*j = 3*a - 38189, -3*a + 28641 = 3*j. Is 124 a factor of j?
True
Let v be 1/(-4)*(-32 - (-2 + -2)). Suppose -6*m + v*m = 52. Is 13 a factor of m?
True
Let y(k) = 24*k**2 - 4*k + 5. Let h be 1320/(-48) - 1/(-1*2). Let i = h + 29. Does 16 divide y(i)?
False
Let y(h) = -2*h**3 - 79*h**2 - 15 + 0*h**3 - 80*h + 40*h**2 + h**3. Is 9 a factor of y(-37)?
True
Let k = 13481 + -9098. Suppose 3*x + r = k, -5*x - r + 7305 = -0*r. Does 38 divide x?
False
Let p be (-2 - -2)/(5 - 6). Suppose -7*c - 212 + 772 = p. Does 16 divide c?
True
Let b be (90 - 1)/(-16 - (-24 - -7)). Suppose 0 = 4*y - 4 - 16. Suppose -y*p + 837 = 4*t + b, 5*t = 2*p + 902. Is 23 a factor of t?
False
Is 12 a factor of -1*(-1 + 108)*-1?
False
Let c(g) = 12*g**3 - 12*g**2 + 62*g + 10. Does 9 divide c(10)?
True
Suppose 2*h - 8*w + 9*w - 36210 = 0, 0 = 4*h + 4*w - 72428. Is 11 a factor of h?
False
Suppose 0*p - p = 4*f - 15643, -p = -f - 15678. Does 14 divide p?
False
Suppose -4*t - 3*c = -28218, -4*t + 9*c = -4844 - 23398. Is t a multiple of 63?
True
Let w be (10/(-25))/((-2)/(-20)) + 4. Is 73 - (12/(-2) - w) a multiple of 6?
False
Suppose b = c - 4*c + 6, -4*b = -4*c - 56. Suppose 0 = -o + 156 + b. Is 12 a factor of o?
True
Suppose 407*w - 433*w + 73398 = 0. Is 25 a factor of w?
False
Suppose -155270 = 6*k - 8*k - 5*c, 0 = 3*c - 12. Is k/325 - 6/(-39) a multiple of 8?
False
Let a(d) be the second derivative of d**3/6 + 10*d**2 - 15*d. Let p be a(-13). Let h(l) = 4*l - 2. Is 24 a factor of h(p)?
False
Is 2 a factor of (-550)/20*(5/(-25) + (-174)/10)?
True
Suppose -2*u = 4*w - 96, 6*w + 2*u = 4*w + 48. Suppose -19849 - 5039 = -w*i. Does 74 divide i?
False
Suppose -52*l + 5137 = -47*l + 4*u, -5*l = u - 5128. Does 5 divide l?
True
Suppose -8*o - 219 = -299. Suppose -o*j + 378 = -j. Is 2 a factor of j?
True
Let m(k) = -99*k**2 + 9004*k + 75. Does 115 divide m(85)?
True
Suppose -326 = 7*b + 1158. Does 18 divide (b/8 - -4)*56/(-10)?
True
Let p = -218 + 4335. Is p a multiple of 6?
False
Let r be (2 + 0 + -1)*3. Let m(s) = s**3 - 4*s**r + 7*s**2 + 2*s**3 - 6*s + 8. Does 8 divide m(6)?
True
Let t(z) = 30*z**2 + 17*z - 55. Let u be t(4). Let w = u + -271. Is 37 a factor of w?
True
Does 6 divide ((-62)/(-3))/((-236)/(-4248))?
True
Let y(d) = -52*d - 148. Let k be y(15). Let r(p) = -3*p + 2. Let v be r(4). Is k/v + (-1)/(-5) a multiple of 20?
False
Suppose y + 10 = -d + 3*y, -4*d + 5*y - 28 = 0. Let g(i) be the second derivative of -37*i**3/3 + 9*i**2 - 2*i + 127. Is g(d) a multiple of 45?
False
Let o = -606 + 630. Suppose -18675 = -z - o*z. Is 15 a factor of z?
False
Let j(a) = 6*a**2 + 12*a + 12. Let w be (-55)/20*8/2. Let g be j(w). Is 20 a factor of g/(-9)*(0 - (-3)/(-2))?
False
Is 130/(-39)*(-401877)/42 a multiple of 16?
False
Suppose 3*x + 3*s = 6, -3*s + 9 = 2*x - 6*s. Suppose -x*c + c - 3*h = 40, c + 5*h = -27. Let v = c - -23. Does 3 divide v?
True
Let u = -4011 - -8240. Is 34 a factor of u?
False
Let v = 619 + -374. Let l = 330 - v. Is 9 a factor of l?
False
Let z(a) be the first derivative of 3*a**4/2 - 7*a**3/3 - 4*a**2 - 3*a - 75. Is 10 a factor of z(5)?
False
Is 7 + (18 + 82297)/5 a multiple of 90?
True
Let v = 5939 - 2183. Does 3 divide v?
True
Let w(t) = -43*t - 2 - 39*t + 120*t - 37*t. Let d be w(2). Suppose 5*l + d*b + 4*b = 427, 5*l = -b + 433. Is 9 a factor of l?
False
Let o(j) = 3*j - 95 + 222 - 26*j. Is 4 a factor of o(0)?
False
Let y = -9354 + 10624. Is 127 a factor of y?
True
Is 4 a factor of (9/6)/(-10 - (-31715)/3170)?
False
Let t be 4/(-1 - (-252)/250). Suppose 0 = -5*i - t - 410. Let s = -128 - i. Is s a multiple of 5?
False
Let m(f) = 2*f**2 - 6*f + 2. Let u be m(0). Let d(b) = 9*b**3 - 3*b**2 + 5*b + 2. Does 9 divide d(u)?
True
Let m(k) = 18*k + 82. L