 -11 + 1 = -2*k. Is h a multiple of 16?
True
Let y be (-3)/4 - (-66)/24. Suppose -3 = -y*r + 3. Suppose -33 = -r*a + 51. Is 14 a factor of a?
True
Let n(o) = o**2 - 6. Does 5 divide n(-6)?
True
Let o = -7 - -11. Suppose 2*i = -o*f + 3*i + 5, -3*f = -2*i. Suppose 5*v - 13 = 3*k - k, f*v = 5*k - 20. Is 6 a factor of k?
True
Let c(n) = -n**3 + 7*n**2 - 7*n + 5. Let g be c(5). Suppose h = -4*a + g, 0*a - 5*a + h + 25 = 0. Does 5 divide a?
True
Let r(c) = 2*c**2 + 4*c + 1. Let b be r(-3). Suppose 0*q + 105 = -3*q. Is (-10)/q + 61/b a multiple of 5?
False
Let o = -146 - -295. Does 39 divide o?
False
Suppose 0 = -3*k + 3*c - 9, 2*k + 5*c - 1 = 0. Let m be 0/(k + 0/3). Suppose m = -2*g - 0*g + 80. Is 23 a factor of g?
False
Suppose 14*z = 22*z - 2688. Does 21 divide z?
True
Let k = 65 - -55. Does 40 divide k?
True
Suppose -6*j + 11 = -271. Is 18 a factor of j?
False
Let i be -1*(-5 - -1 - -2). Let r be 3/1 + 0 + -1. Suppose v + 11 - i = 3*c, -4*c + r*v + 14 = 0. Is 2 a factor of c?
True
Let m(u) = -4*u. Suppose 0 = -i - 3 + 6. Suppose -15 = i*t - 0. Does 20 divide m(t)?
True
Suppose 79 - 13 = 6*z. Does 11 divide z?
True
Let d(k) = -k**3 - 7*k**2 - 3*k + 2. Let y be d(-7). Let u = 2 + -7. Let v = y - u. Is 12 a factor of v?
False
Let z = 196 - 7. Let x be 2 - (0 - z)/3. Does 6 divide ((-2)/(-2))/(5/x)?
False
Let a = 11 + 6. Is a a multiple of 5?
False
Suppose -123 + 253 = 2*l. Does 6 divide l?
False
Let s(z) be the first derivative of 2*z**4/3 + z**2/2 + 3*z + 2. Let h(a) be the first derivative of s(a). Does 9 divide h(-1)?
True
Suppose 158 = 2*o + 42. Is 29 a factor of o?
True
Let v(b) = -4*b - 3. Is v(-5) a multiple of 4?
False
Suppose 3*a - 4*a = 54. Suppose 7*t - 5*j + 180 = 2*t, 0 = -j + 5. Let o = t - a. Is 11 a factor of o?
False
Let l(p) = p - 5. Let v be l(7). Does 19 divide (-6 + v)*(-38)/8?
True
Let g(f) = -f**2 - 5*f + 9. Does 3 divide g(-5)?
True
Let b = -89 + 124. Suppose -5*a - r + b = 0, 0 = 4*a + 4*r - 3*r - 27. Suppose -3*u - m = m - 13, 2*m = -2*u + a. Is u a multiple of 2?
False
Suppose 20*j - 12*j - 840 = 0. Does 5 divide j?
True
Suppose 2*j = 4*d + j - 4, 3*d - j = 2. Suppose 48 = d*w + 3*t, -2*w - 4*t + 0*t = -44. Is w a multiple of 9?
False
Suppose d + 285 = -8*t + 3*t, -t = -2*d + 46. Is (-7)/(-21) + t/(-3) a multiple of 3?
False
Let i be ((-2)/4)/((-2)/16). Suppose -2 = -3*d + v, -6*v + i = -d - v. Is 14 a factor of (36 + d)*2/2?
False
Is 34 a factor of (3/((-6)/1124))/(-2)?
False
Let r = 16 + -10. Suppose -2*o + r*o = 68. Is 15 a factor of o?
False
Suppose 0*x + 4 = 2*x. Let h(w) = -w**x + 9*w + 0 - 4 + 0. Does 14 divide h(6)?
True
Let r = -26 - -42. Is (-45)/6*r/(-10) a multiple of 12?
True
Let n(v) = -3*v**2 + 4*v + 20. Let j(d) = d**2 - d - 7. Let y(s) = 8*j(s) + 3*n(s). Is y(4) a multiple of 4?
True
Let u(o) = -5 - 10*o**3 + 6*o**2 - o**2 + 0*o**3 + 5*o. Let r(z) = -29*z**3 + 14*z**2 + 14*z - 14. Let i(w) = -6*r(w) + 17*u(w). Does 5 divide i(1)?
True
Suppose 9*g = 5*g + 496. Does 27 divide g?
False
Let s(v) = 9*v - 36. Is 4 a factor of s(8)?
True
Let x = 13 + -9. Suppose 5*y + 4*i = 88, 2*y = 4*i + 34 + 18. Suppose x*p - y = 2*p. Is 10 a factor of p?
True
Let g(y) = y**3 - 3*y**2 - 4*y + 2. Let v be g(4). Suppose 2*d + m = 6, -v*d - 4*m + 10 = -m. Is d a multiple of 2?
True
Suppose -5*v = -5*p + 3*p + 37, p + 2*v = 23. Is p a multiple of 5?
False
Let w = 16 - 6. Let m be (6/2)/((-3)/w). Is (-2)/(4/m) + 1 a multiple of 6?
True
Let g be 1 - (-5 - 1 - -4). Suppose 28 = g*z - 5*u - 32, 40 = 2*z + 4*u. Is 20 a factor of z?
True
Let v = 26 - 23. Suppose -v*d - 16 + 70 = 0. Is d a multiple of 6?
True
Let o(r) = 3*r - 3. Let c be ((-9)/(-5))/(-3)*-10. Is 15 a factor of o(c)?
True
Let d be (5/15)/(2/12). Suppose 5*f = -d*n + 91, 3*f + 2*f + 38 = n. Does 20 divide n?
False
Let m = -4 - -13. Suppose -5*f - m = -79. Is f a multiple of 6?
False
Let v(w) = -w**3 + 7*w**2 + 12*w - 2. Is v(8) a multiple of 10?
True
Let n be 1/(3/12*-2). Let s = 11 + n. Suppose 2*p + 3*u - 57 - s = 0, -3*p + 84 = -3*u. Does 18 divide p?
False
Let i(q) = q**3 + q**2 + q + 1. Let t be i(0). Let a = t - -2. Is 8 a factor of 15 + ((-4)/(-1) - a)?
True
Let u = 11 + -18. Let q(k) = k**2 + 4*k + 10. Is 8 a factor of q(u)?
False
Suppose 2*m + a = -0*m + 23, 0 = -m + 3*a - 6. Let v = 20 + m. Is v a multiple of 11?
False
Let p(r) = r**3 - r**2 + 23. Let q be p(0). Suppose 63 - q = 5*n. Is 4 a factor of n?
True
Suppose 17 = n + j, -3*n = -3*j - 58 - 11. Suppose n = -4*t, -4*k + 215 = k - 3*t. Is 14 a factor of k?
False
Let z(l) = l**3 + 11*l**2 - 2*l - 6. Does 2 divide z(-11)?
True
Let b be -98 + (-4 - -2) + 1. Let u(d) = -d**3 + 4*d**2 - 2*d - 2. Let t be u(2). Does 12 divide b/((-6)/t) + 3?
True
Let y = 7 + 22. Is y a multiple of 29?
True
Let g(h) = h**2 + 2*h - 2. Let u be (-1)/(14/(-6) + 2). Is g(u) a multiple of 13?
True
Let s = 3 - -1. Is s a multiple of 4?
True
Suppose -91 = -3*r - 31. Is r a multiple of 5?
True
Is 3*(-3)/9 - -64 a multiple of 13?
False
Let z = 180 + -129. Is z a multiple of 3?
True
Suppose 79 = -6*d + 649. Is 27 a factor of d?
False
Let h be -3*(12/9 + -2). Suppose -3 = -3*a, m - 5*a - 4 = h. Is 11 a factor of m?
True
Let k = 2 - -1. Suppose 0 = -k*b + 5*z + 61, 0*z = 2*b + 5*z - 24. Suppose 0*q + 5*q = -3*a + b, -3*a = -3*q - 33. Is 9 a factor of a?
True
Let y(h) = 2*h**2 + 6*h - 20. Is y(5) a multiple of 10?
True
Suppose -13 = -j + p, 5*p + 16 + 9 = 0. Is 4 a factor of j?
True
Let w be -1*(-13 - 0 - -3). Suppose -4*y = 4*u + 11 - 71, -w = -y + 4*u. Does 12 divide y?
False
Suppose -7 + 42 = 5*t. Is t even?
False
Let c = -10 + 14. Does 4 divide (-62)/(-4) + (-2)/c?
False
Suppose -4*w + 220 = -4*k, 4*k + 4*w + 220 = -w. Let s = -39 - k. Does 8 divide s?
True
Does 3 divide 56/(-140) - 324/(-10)?
False
Let x(b) = -b**2 + 5*b - 2. Let s be x(4). Suppose s*l - t - 74 = -0*t, 5*l - t = 188. Is 23 a factor of l?
False
Suppose 4*u - 2*o + 4 - 20 = 0, -2*u = 2*o - 14. Suppose -2*p = -u*p + 147. Does 14 divide p?
False
Let x(u) = 8*u**2 + 1. Does 2 divide x(1)?
False
Is 6 a factor of (1 - (-55)/(-45)) + 1642/18?
False
Is ((-136)/(-12))/((-6)/(-27)) a multiple of 24?
False
Let m(u) = u**3 + 5*u**2 + 2*u - 5. Let a be m(-4). Does 6 divide ((-15)/(-6) - a)*-12?
True
Suppose 0*w - 2*w + 32 = 0. Suppose 3*r + 0*r + 33 = 0. Let h = w + r. Is 2 a factor of h?
False
Suppose 2*j - 12 = -0*j. Let n = 14 - j. Is 3 a factor of n?
False
Let c = 202 - 36. Is 16 a factor of c?
False
Let y be 6/7*(-35)/(-5). Suppose -2*f + 8 = -y*f. Is 8 a factor of ((-190)/15)/(f/3)?
False
Let s = 2 - 4. Let y be 57/s*(1 + -3). Suppose 0 = -2*h + y + 13. Is h a multiple of 12?
False
Let f be 35/4 + 2/8. Let b = f + -6. Is 2 a factor of b?
False
Suppose 21 = -5*s + 1. Let p = s - -15. Is 11 a factor of p?
True
Let t be 6/(-12)*(0 - -38). Let r = 52 + t. Is r a multiple of 14?
False
Suppose 3*b + 24 = 5*d, 3*d = -b + 3*b + 14. Let s(l) = 3*l**2 - 9*l. Does 18 divide s(d)?
True
Let o = 12 + -10. Is 9 a factor of 19/2 + o/4?
False
Suppose 3*l - 13 = -4. Let m = l + -1. Suppose 0 = -m*t - 1 + 17. Is 8 a factor of t?
True
Let b(d) = d + 4. Let g be b(4). Let l be (10/4)/(4/g). Suppose -4*s + 4*n + 52 = 0, -l*n = -3*s - 0*n + 37. Is 14 a factor of s?
True
Let i(u) = 5*u**2 + 2*u + 1. Let d be i(-3). Let x = -21 + 36. Is d/(-6)*(-72)/x a multiple of 16?
True
Suppose -j - f = -8, 3 = 4*j - 2*f - 5. Suppose -5*u - 3*a + 33 = 0, -u - j*u = 4*a - 29. Is u a multiple of 5?
False
Let x(m) be the first derivative of m**3/3 - 9*m**2/2 + 3. Is x(10) a multiple of 10?
True
Let v(c) = -2*c - 2*c + 5*c + 8*c. Does 4 divide v(1)?
False
Let y be -1 + (4 - 1) + 3. Suppose 2*f - y*a - 88 = -f, -5*f + 152 = -3*a. Let j = f - 20. Is j a multiple of 4?
False
Let x = -13 + 7. Let k(z) = 2*z**2 + 4*z + 9. Is 12 a factor of k(x)?
False
Let t(a) = 2*a**2 + 4*a + 3. Let m be t(-2). Suppose -24 + 192 = m*u. Is u a multiple of 28?
True
Let l = -36 + 48. Is l a multiple of 3?
True
Suppose 2*o = 7*o + 25, 0 = -2*j + o + 17. Is 4 a factor of j?
False
Let y = 237 - 118. Is y a multiple of 17?
True
Let s = -3 - 2. Let d(i) be the first derivative of -i**3/3 - 11*i**2/2 + i + 4. Does 11 divide d(s)?
False
Let r(g) = -g**3 - 8*g**2 - 9*g + 1. Is r(-7) a multiple of 5?
True
Suppose 5*w + 0*w - 450 = 0. Is 20 a factor 