-8*x - 44. Does 20 divide u(-8)?
True
Does 24 divide 1/(3 + 143/(-48))?
True
Let t(g) = g**2 - 1. Let h be t(2). Suppose 0 = 3*a - h*k - 207, -6*a = -a - 3*k - 337. Does 26 divide a?
False
Suppose 0 = -3*o + 4*o - 2. Suppose -2*v + v = -5*j + 232, 3*j - o*v = 142. Is j a multiple of 23?
True
Suppose 2*j - m - 45 = 0, 0 = -j - 4*m + 35 + 1. Is 6 a factor of j?
True
Is 9 a factor of 232/12 + (-12)/9?
True
Suppose -o + 160 = 4*o. Does 16 divide o?
True
Let f(g) = 13 - 6 - g - g + 6*g. Let d(x) = -x + 1. Let p(a) = 2*d(a) - f(a). Is p(-6) a multiple of 13?
False
Let q = -14 + 42. Suppose -4*p - 4*h + q = -2*p, -p = -4*h - 20. Does 13 divide p?
False
Let o be (-9 - -12)/((-1)/(-2)). Let f(j) = j**2. Let n(m) = 6*m**2 - 8*m + 4. Let a(k) = 5*f(k) - n(k). Is 5 a factor of a(o)?
False
Let a(w) = 8*w + 4. Is 22 a factor of a(5)?
True
Let f = 22 - 13. Suppose 0*x = x - f. Does 3 divide x?
True
Let h(g) = 5*g - 8. Is 2 a factor of h(5)?
False
Let q = 90 + -60. Is 13 a factor of 738/q + (-2)/(-5)?
False
Let u(a) = -a**2 + a + 1. Let t be 10/(-4)*(-16)/10. Let z(l) = -5*l**2 + 7*l - 4. Let o(s) = t*u(s) - z(s). Is 11 a factor of o(7)?
False
Suppose 0 = 5*c - 105 - 25. Is c a multiple of 26?
True
Suppose 0 = 2*s - 3*i - 50, 12 = s - i - 11. Suppose 0 = -2*j + 51 - s. Is 8 a factor of j?
True
Let h = 461 + -250. Does 24 divide h?
False
Let o = 4 + 25. Does 10 divide o?
False
Let w(v) = v**3 + 7*v**2 + v + 13. Is 2 a factor of w(-7)?
True
Suppose -2*x = 3*x - 5*r - 225, -92 = -2*x + 3*r. Suppose -2*z = g - x, -121 = -3*g + 4*z + 58. Suppose -3*v + g = 5. Does 7 divide v?
False
Suppose 2*g + 172 = 4*g. Is 17 a factor of g?
False
Let x(d) = -12*d. Let v = 0 - -1. Let r be x(v). Let h = r - -38. Is 15 a factor of h?
False
Let z(u) = -u**2 + 5*u + 2. Let k be z(4). Let s(v) = v**3 - 6*v**2 + v + 4. Does 3 divide s(k)?
False
Let b be 0/(3/(2 - 5)). Let h be b - -3 - (-4 + 3). Suppose 2*t = -h*m + 58, m = -2*m + 4*t + 71. Is m a multiple of 10?
False
Let g = 0 + 2. Suppose -19 = -g*b - 5. Is b a multiple of 6?
False
Let w be 270/(-12)*20/(-3). Suppose 7*r - 5*r = w. Is r a multiple of 25?
True
Suppose 0 = -3*v + 2*v + 19. Is v a multiple of 3?
False
Suppose c - x = 19, -3 = -x - 7. Let z(t) = -14 - t + c + 2*t. Is z(4) a multiple of 5?
True
Let h(t) = 15*t**3 - 2*t**2 + 2*t - 1. Is 13 a factor of h(2)?
False
Is 8 a factor of (-380)/(-9) + (-2)/9?
False
Is ((-11)/((-308)/21))/((-2)/(-616)) a multiple of 11?
True
Suppose 0 = -0*b - 3*b - 5*w + 10, 2*w = -4*b + 4. Suppose b*f - f = -30. Does 13 divide f?
False
Let c(r) = -5*r**3 + 5*r**2 - r + 2. Let w(p) = 11*p**3 - 10*p**2 + p - 3. Let n(h) = -9*c(h) - 4*w(h). Let o be n(4). Is o*2/(-2)*8 a multiple of 13?
False
Let m(q) = q**3 + 11*q**2 + 18*q + 6. Is 19 a factor of m(-7)?
True
Let y(p) = -p**2 - 8*p + 2. Let k be y(-4). Let l be 50/k + 2/9. Suppose -3*v - 2*q + 47 + 2 = 0, -2*v + 50 = -l*q. Does 9 divide v?
False
Let q(g) = -g + 9. Is q(5) a multiple of 3?
False
Let o(y) = y + 23. Is 14 a factor of o(-8)?
False
Let d(v) = v + 4. Let q be d(-4). Suppose c + q*c = 2. Suppose -c*f + 0*f + 62 = 0. Does 13 divide f?
False
Let c(y) = -y**2 - 2*y - 1. Let h be c(-1). Suppose 2*w + 22 = u, 5*u - w - 128 = -0*u. Let j = u + h. Does 13 divide j?
True
Let p(f) = 3*f - 7. Let i be p(5). Suppose n = -n - i. Is 14 a factor of (-25)/2*(-6 - n)?
False
Let m(t) = 5*t**3 - t**2 + t - 1. Let k be m(1). Suppose 0 = j - k*j - 9, -5*h + j = -93. Is h a multiple of 12?
False
Let m = -1 + 4. Suppose -m*a = c - 141, c = -3*a - a + 188. Is 20 a factor of a?
False
Suppose -3*t + 50 = 17. Let o(g) = g**2 - 11*g - 11. Let u be o(t). Let j = -4 - u. Is j a multiple of 4?
False
Let c(n) be the first derivative of -n**4/4 + 11*n**3/3 + 3*n**2/2 - 9*n + 1. Does 8 divide c(11)?
True
Let j(w) = w**2 + 2*w - 2. Let m(a) = -a**3 - 6*a**2 + 6*a - 10. Let i be m(-7). Let n be j(i). Let l(t) = 10*t - 1. Is l(n) a multiple of 8?
False
Let v = 62 - 28. Suppose 3*y = -4*j - 62, -3*j = -0*j - 4*y + 34. Let h = v + j. Is 10 a factor of h?
True
Let i = 16 + -4. Suppose 4*c = 3*t + 344, -4*t - i = -t. Does 23 divide c?
False
Let a(p) = p**3 - 6*p**2 + 2*p - 5. Suppose -x + 109 = 5*w, -2*x = -3*w + 2*w + 24. Suppose -4*g - l = -4 - w, 0 = -4*g + 5*l + 14. Is a(g) a multiple of 7?
True
Let i(w) = -2*w + 3. Let y be i(2). Let g be ((-18)/24)/(y/(-16)). Does 6 divide ((-24)/(-10))/(g/(-30))?
True
Let q(a) = 2*a**2 - a. Let s be q(-4). Suppose -s - 8 = -w. Is 22 a factor of w?
True
Let h(p) = 3*p**2 - 4*p - 4. Let x be h(4). Suppose 5*d - 12 = x. Let i(n) = 4*n + 7. Is 19 a factor of i(d)?
False
Suppose -23*l + 5415 = -8*l. Is 45 a factor of l?
False
Suppose -v = -4*x + 15, -x + 4*v = -3*x - 6. Suppose 4*m - x*m = 8. Is m a multiple of 4?
True
Let l(v) = -v**2 + 15*v - 14. Let p be l(13). Let c = 7 + p. Is c a multiple of 11?
False
Let p(b) = -b + 9. Let m be p(4). Suppose -60 = -0*f - m*f. Is f a multiple of 6?
True
Let p = -18 - -25. Is 2 a factor of p?
False
Let r(a) be the second derivative of a**3/6 + 7*a**2/2 - 3*a. Is 6 a factor of r(5)?
True
Let d(t) = 50*t + 40*t + 0*t - 13*t - 2. Let n be d(2). Suppose 190 = 2*w + 3*w - 2*z, 3*z - n = -4*w. Is w a multiple of 10?
False
Suppose 5*o + 2*v = 112, -3*o + 4*v + 112 = o. Is 9 a factor of o?
False
Suppose -4*k = 120 - 288. Is 13 a factor of 8/14 + 1614/k?
True
Suppose -o + 3*o + 2*w - 28 = 0, 2*o + 4*w - 26 = 0. Let u = 26 + o. Is u a multiple of 15?
False
Suppose -7 - 28 = -5*b. Suppose 3 = -2*k + b. Suppose k*d - 7*d + 90 = 0. Is 18 a factor of d?
True
Suppose 9 = s + 2*s. Suppose 0*t = s*t - 168. Is t a multiple of 14?
True
Let a(u) = -3*u + 1. Let o be a(1). Let x be (-2)/((o + -1)/3). Suppose x*y = 7*y - 25. Is 5 a factor of y?
True
Suppose 0 = 4*a - 9 + 1. Suppose 4*z = a*z + 14. Is z a multiple of 2?
False
Let w be 2/(-3)*(-63)/(-7). Is 19 a factor of (-2)/w - 170/(-3)?
True
Let f = 49 - 28. Does 7 divide f?
True
Let k(g) be the third derivative of -g**4/24 - g**3/2 - 3*g**2. Is k(-7) a multiple of 4?
True
Suppose -5*k - 4*w = -10*k + 178, 4*w = -8. Does 16 divide k?
False
Suppose 4*r - 8 = 3*r + 4*k, -r - k = 2. Let f = r - -15. Is f a multiple of 8?
False
Suppose -3*a + 4*b = -6*a + 31, 15 = -3*b. Is 17 a factor of a?
True
Let c(a) be the first derivative of -a**4/2 - 3*a**3 - 3*a**2 - 2*a - 3. Is c(-4) a multiple of 2?
True
Suppose 7 = f - 17. Let d = -10 + f. Does 7 divide d?
True
Let d be ((-8)/12)/(2/(-9)). Suppose -29 - 76 = -d*t. Is t a multiple of 10?
False
Suppose 0 = 3*c + 90 - 258. Suppose -4*i - 17 + 177 = 0. Let s = c - i. Does 8 divide s?
True
Suppose g = 4*o + 14, 0 = g + 2*o - 6 - 38. Is 12 a factor of g?
False
Let h(d) = d**2 + 2*d + 4. Suppose -4*z + 2*z - 12 = 0. Let y(g) = -g**2 - 6*g + 3. Let v be y(z). Is h(v) a multiple of 10?
False
Suppose -n - 4*n - 165 = 0. Let h = -13 - n. Is 10 a factor of h?
True
Suppose -2*z = -2*f - 80 + 30, -f - 100 = -4*z. Is 5 a factor of z?
True
Let s be 1 - ((-3 - 0) + 2). Suppose 5*v - s*v = 132. Is 17 a factor of v?
False
Let d(b) = -8*b + 1. Let y be d(-6). Let u = y - 33. Is 8 a factor of u?
True
Suppose -3*d = -t - 0 - 3, 4*t - 5*d - 2 = 0. Suppose -m + 5 = 0, -t*k = -5*m - 14 - 6. Let i = -1 + k. Is 14 a factor of i?
True
Let n = 72 - 45. Is 26 a factor of n?
False
Suppose 0*c + 4*s = -c + 6, 0 = -5*s + 15. Is 2 a factor of (-5 - c)/(1/4)?
True
Let p = -39 + 66. Is 9 a factor of p?
True
Let w be 3/((-1)/2 - -2). Let y = -9 - -6. Is (y + 4)/(w/22) a multiple of 6?
False
Let m = -317 + 577. Is m a multiple of 10?
True
Suppose 4*v + 3*u = 134, 2*v + 3*u - 70 = -0. Is 32 a factor of v?
True
Suppose 324 = 2*i + q, -2*q = -3*i - 3*q + 485. Does 28 divide i?
False
Let s(j) = -j**2 + j - 1. Let w be s(1). Let x = 70 + w. Does 14 divide x?
False
Let t be (5 - 0) + (0 - 2). Suppose -24 = -2*g + t*f, 19 = g + 5*f - 6. Is g a multiple of 5?
True
Suppose -4*w - 3*l = -6, 5*w + 7 = 3*l + 1. Suppose 0*k - a + 8 = k, a + 3 = w. Does 11 divide k?
True
Suppose -5*b + 99 = -21. Is (-18)/b - 246/(-8) a multiple of 10?
True
Let y(a) = 80*a + 4. Is 37 a factor of y(5)?
False
Suppose -5 = 2*y - 15. Suppose 5*k = y*i - 80, 0 = -5*i - 0*i - 5*k + 40. Is i a multiple of 5?
False
Let x = 4 - -3. Does 2 divide x?
False
Let g be 3/6 - (-6)/(-4). Suppose h + d = 5*d + 20