e of o**4/12 - o**3/2 + 2*o**2 + o. Does 8 divide h(6)?
False
Let m(g) = -6*g**2 - 2*g + 3. Let l be m(2). Is (-34)/(-5) - 5/l a multiple of 7?
True
Suppose 1 = -4*f + 5. Is ((-4)/(-5))/f*15 a multiple of 6?
True
Let k(a) = -3*a - 5*a**2 - 1 + 2*a**3 - a**3 + 8 - 2*a. Is k(7) a multiple of 28?
False
Let r be 119 + (-3)/(-3 + 0). Suppose r = 7*m - m. Does 20 divide m?
True
Is -24*(64/(-60) + (-4)/(-10)) a multiple of 16?
True
Let n be -1*(4 + -2 - 5). Let k(f) = 11*f**2 - 3 - n*f + 9*f + 1 - 4*f. Is k(-2) a multiple of 15?
False
Let x(o) = -4*o - 3. Let l(h) = h**2 - 4. Let a be l(0). Is x(a) a multiple of 8?
False
Suppose -o - x + 6*x = -20, -5*o - 2*x = 8. Suppose o*k = k - 35. Suppose -4*p + 2*s + 40 = 0, 9*s - 4*s - k = -5*p. Is p a multiple of 9?
True
Let y = 10 - 24. Let b = y + 19. Is b a multiple of 3?
False
Let j = 0 - -5. Suppose 5*h + 4*o = 61, j*o = -4*h + 4*o + 40. Is 9 a factor of h?
True
Let q = 9 + -7. Suppose -q*n = -4*n + 236. Suppose l - 188 = -5*s, -l + 2 = -3*s + n. Does 19 divide s?
True
Suppose 2*f = i - 7, -4*f - 26 = i + i. Let x be 9/i - (-64 + -1). Let k = -42 + x. Is 10 a factor of k?
True
Does 34 divide -2 + 102 + 4 + -2?
True
Suppose 48 + 64 = -4*h. Let m be ((-1)/(-2))/((-1)/2). Is 7 a factor of (m + 0)/(2/h)?
True
Let i be 16/2*12/16. Let w(s) = -2*s**3 - 1 + 6*s**2 + s**3 - 5 + 2*s. Is w(i) a multiple of 6?
True
Let c be ((-9)/6 + 2)*-6. Let w = c + 6. Suppose s + 87 = 5*f - 69, -4*f + 127 = -w*s. Is 17 a factor of f?
False
Let c(p) = 9*p**3 - p**2. Let d be c(1). Suppose -k + 2*y + 29 = 0, 3*y - d*y = 25. Is 8 a factor of k?
False
Let k be (-10)/(-15) + 8/6. Let d be (1/2)/(k/(-168)). Let t = d + 70. Is 14 a factor of t?
True
Does 50 divide (-15 - -4)/((-2)/52)?
False
Suppose 0 = -2*p - 5*q + 7, 3*p + 0*p + q - 43 = 0. Suppose 0 = -a - 5, j - 11 = 3*a + p. Is 3 a factor of j?
True
Let d be (12/8)/(3/4). Suppose 5 = d*a + 3. Let q(g) = 17*g. Is 11 a factor of q(a)?
False
Let u = -13 + 3. Let f = -3 - u. Is f a multiple of 7?
True
Let s(h) be the first derivative of 3*h**2/2 + 2*h - 4. Let t be s(6). Suppose -2*z - 4 = -t. Does 8 divide z?
True
Let u(p) = -7*p - 2. Let t be u(-8). Suppose -t = -3*d - 12. Does 7 divide d?
True
Suppose 0 = -y + 4, -60 = -4*t - t - 5*y. Let m be 2/t + (-2)/8. Suppose 2*a = -4*k + 92, -a + k + 6 + 43 = m. Is a a multiple of 16?
True
Suppose 3*x - x - 4 = 0. Suppose 5*m - x*m + 14 = y, 4*y - 106 = 2*m. Is y a multiple of 13?
False
Let l be (-1)/3 + 264/9. Let r = 16 + -9. Let f = l - r. Is 11 a factor of f?
True
Suppose -5*v = 3*q + 34, 1 = -2*q - 5. Let n(x) = x**2 + 4*x - 1. Let r be n(v). Suppose 0 = 4*z - 4*o - 188, 2*z - 22 = z - r*o. Is z a multiple of 14?
True
Let j = -20 + 42. Is j a multiple of 13?
False
Let h = -228 + 327. Is 11 a factor of h?
True
Let r(x) = 2 - 9*x + 5 + 1 + 2*x**2. Is r(6) a multiple of 16?
False
Suppose -2*w = -3*i - 5*w + 348, -5*i + w = -574. Is i a multiple of 13?
False
Suppose 4*n - 25 = 3*n. Is 25 a factor of n?
True
Suppose 7*x - 84 = -0*x. Is x a multiple of 4?
True
Suppose -12 = 4*b, -3 = 4*p - 0*p + 5*b. Suppose 3*u + 0*u - 5*s = 44, -2*u - p*s + 42 = 0. Is u a multiple of 18?
True
Let z(v) = -16*v**3 - 39*v**2 - 6*v - 46. Let c(s) = -3*s**3 - 8*s**2 - s - 9. Let t(q) = -11*c(q) + 2*z(q). Suppose -m = 2*m + 30. Does 8 divide t(m)?
False
Does 20 divide ((-8)/(-2))/(-5 - (-471)/93)?
False
Suppose 2*n - 4*p - 95 = 159, 560 = 4*n + 5*p. Is n a multiple of 15?
True
Is (-9980)/(-40) - (-1)/2 a multiple of 42?
False
Suppose -c - 6 = -3*c. Suppose -5*k - 5*g = -5, k + 4*k - c*g - 13 = 0. Suppose 4*j - 44 = -2*h + 7*h, 0 = k*j - h - 28. Is 16 a factor of j?
True
Suppose -c - 2*c + 30 = 0. Is 3 a factor of c?
False
Suppose -27 - 18 = 5*w. Is 4/18 - 124/w a multiple of 14?
True
Suppose -b + 3*z = -15, 0*z = -b + 2*z + 16. Suppose -b - 51 = -n. Is n a multiple of 23?
True
Suppose 4*w + 4*w - 1456 = 0. Is w a multiple of 14?
True
Suppose -9 = -5*s + 96. Let q be -13 - 0/(-2 + 1). Let l = s + q. Does 4 divide l?
True
Suppose 13*y - 9*y = -220. Let m = y + 92. Is m a multiple of 19?
False
Is 12 a factor of (-1)/(-5) + 2514/30?
True
Let w = 426 + -221. Is 13 a factor of w?
False
Let h(d) = d**3 - 4*d**2 + 5*d - 2. Let i be h(3). Suppose i*a = 6*a - 20. Is 5 a factor of a?
True
Let m(l) = 5*l**2 - 2. Let a be m(2). Is a/(-30) - 68/(-5) a multiple of 13?
True
Suppose -4*w + 12 = -4*s, s + 0 = 3*w - 13. Suppose -n - 4*i + 30 = -2*i, w*n - 140 = -5*i. Is 13 a factor of n?
True
Suppose 18*i - 96 = 15*i. Suppose -4*t + 2*s = -30, -3*t + i = -5*s - 8. Is t a multiple of 5?
True
Let p(d) = 2*d + 2. Is 7 a factor of p(4)?
False
Let y = -1 + 1. Suppose y = -3*m + 2*d + 7, -2*d = 2*m - 0*m - 18. Suppose -4*s + 5 = m*c - 20, 4*s = 0. Does 3 divide c?
False
Let j(q) = -21*q - 1. Let v(i) = i + 2. Let b be v(-3). Is 20 a factor of j(b)?
True
Suppose 5*h = -m + 2*m + 125, 3*m = 4*h - 111. Suppose 0*q - h = -q. Suppose x - 4*x = -q. Is x a multiple of 6?
False
Suppose 0 = 4*z - 653 - 403. Does 33 divide z?
True
Suppose 54 = 8*b - 5*b. Is b a multiple of 9?
True
Let b be 1/(-3)*-2*33. Let t = b - 0. Is t a multiple of 7?
False
Let m be (6/1)/((-2)/(-31)). Let i = m - 56. Is 12 a factor of i?
False
Suppose -4*y + 176 = -4*l, l = 3*y + y - 170. Does 6 divide y?
True
Let x be 4 + -6*(-8)/6. Let c(f) = f**3 - 11*f**2 - 9*f - 4. Is c(x) a multiple of 8?
True
Let i(u) = -35*u - 10. Let p(c) = -7*c - 2. Let x(h) = -2*i(h) + 11*p(h). Is x(-2) a multiple of 4?
True
Is (3 + -1 + -1)*4410/10 a multiple of 12?
False
Suppose 2*n - 7*n = 0. Suppose -k - k + 4 = n. Suppose k*p - 5*p + 30 = 0. Does 4 divide p?
False
Let m = -26 + -3. Let v = m - -40. Is v a multiple of 7?
False
Let f(u) = u**2 - u. Let g(i) = -i**3 + 6*i**2. Let a be g(6). Let b be f(a). Suppose b*c - c + 36 = 4*s, 3*s - 3*c - 42 = 0. Does 5 divide s?
True
Suppose 2*d - 4*o = 54, 5*o - 70 = -5*d + 2*d. Let t = d - 3. Is 7 a factor of t?
False
Let v(y) = y + 1. Let q be v(1). Suppose 0 = -5*i + 5, -56 = -q*f + 6*i - 2*i. Does 10 divide f?
True
Let t = -1 + 5. Let f be (-2 - 18)/(t/(-14)). Suppose -j - j = -f. Is 12 a factor of j?
False
Suppose 479 = -18*n + 1919. Is 10 a factor of n?
True
Suppose -23 = -2*a + 1. Is a a multiple of 12?
True
Is 21 a factor of (-1 + 3/2)/(5/3810)?
False
Suppose 4*r + 292 = -236. Does 19 divide (-1434)/(-22) - (-24)/r?
False
Let x = 18 - 34. Does 5 divide -1*(x + (-4)/(-2))?
False
Suppose 2 = 3*w + 5, -4*u - 309 = 5*w. Let i = u + 127. Let o = i + -11. Is o a multiple of 20?
True
Let x(g) = -3*g**3 + 4*g**2 + 4*g + 2. Let z = 1 + 0. Let a(d) = -d - 1. Let b be a(z). Does 12 divide x(b)?
False
Suppose 2*i - 2 = -0. Let m = 1 + i. Is 3 a factor of 11/3 + m/6?
False
Let v = 9 - 11. Does 4 divide ((-15)/v)/(27/72)?
True
Let r = 232 - 162. Is r a multiple of 14?
True
Let g = 5 + -3. Let u be g*3/12*10. Does 5 divide (u/(-2))/(2/(-4))?
True
Let w be (-2)/((-6)/(-33)) + 0. Let l = 23 + w. Suppose 2*b + l = 4*p + 112, -2*b = -2*p - 90. Is b a multiple of 16?
False
Is 39*2 - (15 - 13) a multiple of 5?
False
Let z(k) = 2*k - 7. Let f be z(5). Suppose 0*i = -f*i - 5*s + 88, -12 = 3*s. Is i a multiple of 11?
False
Suppose 0*c + 100 = 5*c. Is 5 a factor of c?
True
Let l(k) = k + 1. Let v(h) = -3*h - 2. Let m(q) = 6*l(q) + v(q). Let w be m(-3). Is (-12)/w*(-40)/(-3) a multiple of 11?
False
Let x(j) be the third derivative of 5*j**4/12 - j**3/3 + 2*j**2. Is x(2) a multiple of 18?
True
Let w(v) = v**2 - 4*v - 1. Suppose 2*u = 3*b + 10 + 15, 2*u = -3*b + 7. Is 18 a factor of w(u)?
False
Let u(i) = i**3 + 8*i**2 + 2*i - 8. Let k be u(-7). Suppose k = 4*v - h - 68, 2*h = 2. Is 12 a factor of v?
True
Let b be -2*(-3)/(-2) + 9. Let t be (-1)/(-4) + (-11)/(-4). Suppose 2*r = t*r - b. Is r a multiple of 4?
False
Suppose -3*q = 2*v - 122, 102 = -4*q + 4*v + 298. Is q a multiple of 21?
False
Let b(q) be the first derivative of 4*q**3 - q**2 + q + 1. Does 3 divide b(1)?
False
Suppose 69 + 25 = 2*r. Let x = r - 33. Does 7 divide (0 - 0) + -3 + x?
False
Let a be 4 - 4 - (1 + -5). Let r = 14 - a. Is 5 a factor of r?
True
Let m(f) = f**3 - 6*f**2 + f - 18. Does 18 divide m(7)?
False
Let n = 211 + -151. Is 5 a factor of (-6)/(-45) - (-892)/n?
True
Suppose -l - 16 = -5*l + 5*w, -3*l - 3*w + 39 = 0. Suppose 0 = 2*x - u - 2*u 