2*g - 99 = 19*g. Does 33 divide g?
True
Let k(l) = -9*l**2 - 2*l + 14. Let w(n) = -6*n**2 - n + 9. Let g(y) = 5*k(y) - 8*w(y). Is 7 a factor of g(-2)?
True
Let z(t) be the third derivative of -2*t**2 + 0 + 13/6*t**3 + 0*t + 1/24*t**4. Is z(-7) a multiple of 5?
False
Suppose -6*o + 3*o + 323 = -2*a, o = -a + 111. Suppose 3*u + 149 = 4*d + 42, -4*d = -5*u - o. Is 13 a factor of d?
True
Let z be (2 - 1)*2/1. Suppose 33 = 2*d + y, -z*d = -2*y - 5 - 37. Does 8 divide d?
False
Suppose 11*a - 17*a = -642. Is a a multiple of 32?
False
Let j(k) = -k + 13. Is 6 a factor of j(-14)?
False
Suppose 61 - 16 = -3*f. Is 7 a factor of (1 + f)/((-2)/1)?
True
Let k = 0 - -7. Suppose 4*i = -k*s + 4*s + 183, -221 = -5*i + 4*s. Does 12 divide i?
False
Let u(v) = -16*v**2 + 4*v + 2. Let o be u(6). Is 22 a factor of (2/5)/((-5)/o)?
True
Let y(p) be the third derivative of -p**6/120 - p**5/60 + 2*p**3 + p**2. Is 11 a factor of y(0)?
False
Suppose -1110 = -5*t - 5*c, 0 = -2*t - 3*c + 493 - 50. Does 19 divide t?
False
Suppose 5*o - 335 = 5*n, -3*o - 3 = 5*n - 196. Suppose -o = -5*a + 2*a. Is 22 a factor of a?
True
Let n(p) be the second derivative of p**2 + 0 + 0*p**3 + 1/20*p**5 - p + 2/3*p**4. Is 2 a factor of n(-8)?
True
Let z = 411 - 187. Is 28 a factor of z?
True
Let h = 18 + -36. Let c = h - -49. Is 6 a factor of c?
False
Let t = 0 + 3. Let u(m) = 5*m. Let g be u(t). Suppose -3*r + 15 = -g. Does 10 divide r?
True
Suppose 7*l = 3*l + 16. Suppose -l*w - 19 + 75 = 0. Let f = w + 18. Is f a multiple of 16?
True
Let g be 14/4 - (-3)/6. Suppose 2*f + 680 = 7*f. Is f/g*(-2)/(-4) a multiple of 17?
True
Suppose u - 10 = -4*t, -4*u + 6 = 3*t - 8. Is 24 - (1 + u - 0) a multiple of 8?
False
Let f(c) = 5*c + 9. Let n(l) = -3*l + 1. Let o be n(-2). Is f(o) a multiple of 13?
False
Suppose 9 + 24 = 3*p. Is 6 a factor of p?
False
Suppose 113 - 29 = 4*o. Let d be ((-6)/(-4))/(o/56). Is (-20 - d)*1/(-2) a multiple of 4?
True
Let a = 1 - -2. Suppose 2*t - 4*r = 64, -3*t + r - a*r = -96. Is t a multiple of 16?
True
Let r = 3 + -1. Let u = r + -4. Does 20 divide 28 - 1*-2 - u?
False
Let i(q) be the third derivative of 17*q**5/60 - q**4/24 - q**3/3 - 3*q**2. Let f(o) be the first derivative of i(o). Does 17 divide f(1)?
False
Suppose -3*v - 252 = -3*m - m, -5*m - 2*v = -315. Is m a multiple of 27?
False
Does 8 divide 28 + (5 - 5) + 5?
False
Suppose -g - q = -77, 3*q + 213 = 4*g - 60. Suppose -5*s - g = -s. Let t = s + 41. Is t a multiple of 10?
False
Let w(a) = -3*a - 11. Let b(x) = -7*x - 23. Let d(z) = -6*b(z) + 13*w(z). Suppose 4*f - 20 = -0*f. Is d(f) a multiple of 6?
False
Suppose -n + 5 = -7. Is 11 a factor of n?
False
Is 13 a factor of -1 + 3/5 + 1576/40?
True
Let u = -2 - -5. Let m = u - 1. Does 4 divide ((-3)/m)/((-3)/8)?
True
Suppose -m + 0*m = -4. Suppose 2 = 2*g + 3*t, -m*g = -t - 6 - 26. Let h(l) = l - 1. Is 3 a factor of h(g)?
True
Suppose -3*i + 32 = 2*i - 3*x, 2*x = 4*i - 26. Let d(y) = y + 7*y + 0 - i. Is 14 a factor of d(5)?
False
Suppose -i = 5*q - 1 - 4, 3*q + 15 = 3*i. Suppose 2*a - i*v - 87 = -2*a, -2*v = -a + 24. Is a a multiple of 18?
True
Suppose 3*b + 1 = 5*d - 5, 0 = -5*b + 5*d - 10. Is (20/(-8))/(1/b) a multiple of 3?
False
Suppose 4*o - u = 2*u + 2, -2*o + 8 = -5*u. Let a be (-19 + (-3)/3)/o. Suppose 3*x = -x + a. Is 5 a factor of x?
True
Let o be 6/9*3 - 0. Let d = o + 0. Suppose d*u + 0*u = 50. Does 12 divide u?
False
Suppose 17 + 3 = -4*o, 0 = -3*j + 5*o + 625. Does 25 divide j?
True
Let s = -5 + 8. Suppose -z = -s*z + 44. Is 11 a factor of z?
True
Suppose -3*f + 4*a + 41 = 0, 2*a - 7*a - 70 = -5*f. Let m be 2/10 + 852/f. Let x = m - 39. Does 7 divide x?
False
Suppose -4*b + 61 = -151. Is b a multiple of 18?
False
Let o(q) be the first derivative of q**2/2 + 17*q + 1. Let n be o(0). Let a = n + 4. Is a a multiple of 21?
True
Let x = 61 - 45. Is 16 a factor of x?
True
Let t(a) = -a**3 + 7*a**2 - 6*a + 1. Let y be t(6). Let r(x) = -2*x**2. Let s be r(y). Let m = s - -6. Does 2 divide m?
True
Let c be ((-1)/2)/((-1)/4). Suppose 51 = c*i - 13. Let o = i - 5. Is o a multiple of 9?
True
Let h(y) = -y + 6. Let w be h(8). Is 1 + w - (-21 + 4) a multiple of 14?
False
Let t = -12 - -7. Let v(y) = y**2 + y - 1. Let a(p) = -p**3 - 7*p**2 + 2*p. Let f(h) = a(h) + 4*v(h). Is f(t) a multiple of 7?
False
Suppose 7*d = 4*d - 405. Let k be d/(-2) - 2/4. Suppose 5*f - k = 23. Is f a multiple of 9?
True
Suppose -3*w = 3*a - 564, 0 = -0*w - 2*w - 2. Does 38 divide a?
False
Let i(p) = p**3 + 8*p**2 + 6*p - 9. Let n be i(-7). Does 3 divide (-10)/(-3) + n/(-3)?
False
Let v = 150 + -95. Is 14 a factor of v?
False
Suppose 4*b - 7 = 9. Suppose -4*z = -0*z + b*s + 28, -4*z = -2*s + 34. Let k = 24 - z. Is 18 a factor of k?
False
Suppose 20 = -4*c, -2*c + 129 = 4*j - 3*c. Is 4 a factor of j?
False
Suppose 0 = 28*w - 22*w - 1254. Is w a multiple of 22?
False
Let t(m) be the third derivative of -m**5/60 - 3*m**4/8 + m**3/6 + 2*m**2. Does 8 divide t(-5)?
False
Let g(n) = -n**3 + 4*n**2 - 2*n - 2. Let t be g(2). Suppose -t*a - a + 60 = 0. Is 10 a factor of a?
True
Let g(o) = -8*o - 24. Does 10 divide g(-8)?
True
Let y(v) = 3*v**2 - 10*v - 1. Is 23 a factor of y(6)?
False
Let s be -2 - (-2 + 0 + -150). Suppose -r + 183 = 4*n - 2*r, -3*n + 5*r = -s. Let a = n + -25. Is a a multiple of 13?
False
Is 12 a factor of ((-3)/4)/((-3)/48)?
True
Suppose 11 + 5 = 4*b. Suppose 0 = -m + 22 + b. Does 13 divide m?
True
Suppose g = -h + 26, 26 = g + 3*h + 2*h. Is g a multiple of 11?
False
Suppose 4 + 2 = -g. Let z be ((-3)/g)/((-2)/(-4)). Let f = z + 4. Is f even?
False
Suppose 7*t + 2*n = 2*t + 1895, 0 = t - 5*n - 352. Is 56 a factor of t?
False
Let u be -17*4/(-8)*6. Suppose 3*w = -3*g + u, 0 = -2*w - 2 + 4. Is 8 a factor of g?
True
Let p(b) be the second derivative of b**4/12 + 2*b**3/3 + 3*b**2/2 + 4*b. Is p(-4) a multiple of 2?
False
Let z(h) be the first derivative of -7*h**2 - 4*h + 1. Does 13 divide z(-4)?
True
Let k(w) = -4*w - 4. Let d be k(-4). Let p = 13 + d. Suppose -i + p = m, -2*i + 4*i + 16 = m. Is 11 a factor of m?
True
Suppose -73 = -3*s + 50. Let g be (-4)/(-6) + 37/3. Suppose 5*r - g = 3*u - s, 0 = -3*r - 6. Is u a multiple of 6?
True
Let x(s) = s + 7. Let y be x(-7). Suppose 0 = -3*n - 4*u + 60, 4*n + y*u = -5*u + 79. Is n a multiple of 16?
True
Suppose a - 5*m - 40 = 6*a, -60 = 5*a - 5*m. Let y be a/6 - 1/3. Is 138/8 - y/(-8) a multiple of 17?
True
Let x(b) = -37*b + 0 + 0. Suppose -g - 7 = -3*g + 3*c, g = -c - 4. Is x(g) a multiple of 17?
False
Let c(m) = -m**3 - 2*m**2 - m. Let w be c(-2). Suppose -w*n = -3 - 5. Suppose 0 = n*p - 2*s - 134, -5*p - 2*s = 3*s - 205. Does 18 divide p?
True
Suppose 12 + 3 = 5*l. Let c be 3/4 + 61/4. Suppose 2*z + a - l*a - c = 0, z + 2*a = -7. Is z a multiple of 3?
True
Suppose 4*o + o = 80. Let g = 26 - o. Does 6 divide g?
False
Let s = -1 + -10. Let n = s - -29. Is 18 a factor of n?
True
Suppose -5*c + j + j = -26, -2*c + j + 11 = 0. Suppose -p = -2*q - 0*p, c*p - 16 = 0. Suppose 0 = -2*n - 3*k + 91, 4*n - q*k = 7 + 167. Is n a multiple of 17?
False
Let v be (-4)/(-10) - (-216)/(-15). Let o = -6 - v. Does 16 divide 4*2/2*o?
True
Let n = -29 - -69. Is 8 a factor of n?
True
Let d(w) = w**2 + 3*w + 4. Let g be d(-3). Let t(f) = 26*f + 1. Let y be t(2). Suppose g*z + 4*x + 17 - 109 = 0, 5*x + y = 2*z. Is z a multiple of 12?
True
Let o(f) = f**3 - 5*f + 4. Suppose 2*m + 11 = i, -4*i + 5 = -4*m - 23. Let k be o(i). Let r = k - 0. Does 15 divide r?
False
Is 12 a factor of (0 + -4 - -80)*1?
False
Let k = 9 + 18. Does 21 divide k?
False
Let t(z) = -z + 2. Is t(-6) a multiple of 3?
False
Let m(a) = -3*a**2 + 2*a - 11. Let z be m(6). Let r = 205 + z. Is 31 a factor of r?
False
Suppose -2*o = -3 - 1. Suppose -o*m + 30 = -0*m. Is m a multiple of 5?
True
Let y(l) = 4*l + 1. Let m be y(-2). Let x(i) be the third derivative of i**5/30 + 3*i**4/8 - i**3 + 3*i**2. Is x(m) a multiple of 10?
False
Let h(o) = -o**2 + o + 91 - 3*o - 28. Does 21 divide h(0)?
True
Suppose 3*d + 0*m - 213 = m, 0 = 2*d + 4*m - 142. Is d a multiple of 7?
False
Suppose -2*q = q + 6. Let w(z) be the third derivative of -z**4/8 - z**3/3 - 2*z**2. Does 2 divide w(q)?
True
Let t(x) = 2 + 0*x**3 + 0*x**3 + 7*x + x**2 - 7*x**2 - x**3. Let b be t(-7). Does 7 divide 98/10 + b/10?
False
Let z be (-2