a factor of k?
False
Let h(c) = c**3 + 2*c**2 + 2. Let m be (1/(-2))/(1/(-4)). Does 6 divide h(m)?
True
Let j = -8 - -2. Let m be j/(-1 - (0 - 2)). Is 62/5 - m/(-15) a multiple of 12?
True
Let k be (8/(-12))/(3/(-99)). Suppose -14 = -2*t + k. Is t a multiple of 18?
True
Let m be (-6)/36 + (-98)/(-12). Let a(s) = 6*s - 2*s + 0*s. Is 16 a factor of a(m)?
True
Suppose -4*o - 3*g + 71 = 0, -3*o + 38 = 5*g - 18. Suppose 3*s = 3*a - 2*s - o, -5*a + 5*s + 45 = 0. Suppose 5 = -5*c, 0*c = l - 4*c - a. Is 5 a factor of l?
True
Let v be 32/6*9/(-6). Let x = v + 16. Is 4 a factor of x?
True
Suppose -3*z + w - 82 = -7*z, 0 = -w + 2. Is 5 a factor of z?
True
Let b(x) be the second derivative of x**3/6 + 13*x**2/2 - 3*x. Let y be b(0). Let r = y + -6. Is r a multiple of 3?
False
Suppose 4*a + 3*o = 445, -1 = -3*o - 4. Is (a/21)/((-2)/(-24)) a multiple of 16?
True
Suppose 3 = 5*m - 22. Let a = -5 + m. Let p = a + 7. Is 7 a factor of p?
True
Suppose -4*s + 34 = 3*g - 1, -g = -5. Let k be 45/3*2/s. Suppose 3*t - k + 41 = o, -5*o + 2*t + 214 = 0. Is o a multiple of 22?
True
Suppose -y + 4*r = -12, -7*y + 3*r = -3*y + 4. Let b be (-1 - -4)/(6/y). Is (b/(-5))/(2/190) a multiple of 15?
False
Suppose -5*i - 1716 = -18*i. Does 19 divide i?
False
Let i be 0*(-1 + -1)/4. Suppose i*v = -3*v + 30. Is 10 a factor of v?
True
Suppose 23 - 5 = -4*t - 2*f, 15 = 3*f. Let l(b) = b**3 + 7*b**2 - 6*b + 1. Is 17 a factor of l(t)?
False
Suppose 0*g - 5*g = -80. Does 4 divide g?
True
Let j(a) = -a + 2. Suppose -3*p = -5*w - 45, -2*w - 9 = -w - 2*p. Is 11 a factor of j(w)?
True
Let a = 15 - 15. Suppose -35 = -z + f - a*f, 5*f = -2*z + 56. Does 11 divide z?
True
Let c(f) = f**2 + 8*f - 17. Is c(4) a multiple of 28?
False
Let k = 100 - 24. Is k a multiple of 38?
True
Suppose 3*h - 20 = -2*h. Is 2/(936/(-236) + h) a multiple of 16?
False
Let t = 45 - -33. Is 21 a factor of t?
False
Let y(f) = -f**2 - 25*f + 14. Let q be y(-13). Let b = q + -91. Is 22 a factor of b?
False
Suppose y = -3*p + 36, -5*y + 14 = -1. Let z be (-3)/(-12) - p/(-4). Suppose -3*j + z*n + 75 = 0, 3*n + 35 = j - 0*n. Does 7 divide j?
False
Let f(u) = 2*u - 4. Let g be f(4). Let i(y) = 0 + 4*y + 3 - 1. Is 9 a factor of i(g)?
True
Suppose -3*z = -6*z + 21. Suppose -4*q + 9 = -z. Suppose -q*c + 4*g = -15 - 57, -2*g + 4 = 0. Is 8 a factor of c?
False
Suppose 6*p - 52 = 4*p. Is p a multiple of 23?
False
Let g = -53 + 80. Does 9 divide g?
True
Let v be (-8)/(-10)*(-10)/(-4). Suppose -2*j + 3*p - 8*p = -30, -v*j - p + 22 = 0. Is 10 a factor of j?
True
Let p(m) = m + 1. Let u be p(0). Suppose -u + 10 = 3*g. Suppose 4*s - 33 = -4*o + 87, 2*o = g*s + 80. Is o a multiple of 13?
False
Let s(l) = -14*l + 2. Suppose 9*j - 4*j - 3*m = -25, -5 = j + 5*m. Does 24 divide s(j)?
True
Let z be ((-2)/(-5))/((-2)/(-20)). Suppose 0 = z*f, -25 - 29 = -3*a - 4*f. Does 9 divide a?
True
Is -4 + 1641/6 + 2/4 a multiple of 18?
True
Suppose 2*w - 32 = 50. Suppose -v + 2 = -3*f - 2, -5*f + w = 2*v. Suppose 2*z + v = 45. Does 8 divide z?
True
Suppose 6*w - 4*w = 8. Suppose -2*y + 4*i = -7*y + 250, -w*y + 201 = 3*i. Does 11 divide y?
False
Let j(s) = -s**3 - 8*s**2 - 7*s + 2. Let d(u) = 2*u**3 + 7. Let z(g) = g**3 + 3. Let f(y) = 4*d(y) - 9*z(y). Let x be f(2). Is j(x) a multiple of 2?
True
Let g(a) = 2*a + 10. Let d be g(-14). Is 8 a factor of (-1)/((-6)/(-8))*d?
True
Let d(h) be the first derivative of 6*h**2 + 4 - 1/3*h**3 - h. Is 13 a factor of d(9)?
True
Suppose -4*h = h + 75. Does 22 divide h*3/(-1) + -1?
True
Suppose -3 = n - 37. Suppose 2*h + 0*h = n. Is 9 a factor of h?
False
Let u(d) = -d**2 - 8*d + 9. Let l be u(-7). Suppose 65 = 5*w - 2*s - 38, 4*s = -l. Does 17 divide w?
False
Suppose -2*r = -7*r - 30. Does 10 divide r*(2 + (-18)/4)?
False
Let v = -32 - -80. Is v a multiple of 45?
False
Let v(c) = -24*c**3 + c**2 + c + 1. Let q be v(-1). Suppose -3*s + 14 = -q. Does 9 divide s?
False
Is (-112)/(-12) - (-2)/(-6) a multiple of 3?
True
Suppose 3*m - 50 - 13 = 0. Let j be (-36)/m + (-8)/28. Is 8 a factor of (-1 - j)*19 - -1?
False
Suppose 2*n - 6 = 4*n. Is (-2)/(-6) - 101/n a multiple of 17?
True
Let k be ((-2)/(-5))/((-3)/90). Is 16 a factor of 3/(-1)*128/k?
True
Suppose 3*v - h = -101, -32 = v - 0*h - 2*h. Let u = v + 60. Does 10 divide u?
False
Let h(d) = 371*d. Let m(y) = 12*y. Let i(t) = -2*h(t) + 63*m(t). Suppose -8 = -5*a - w, -3*a - 5*w - 4 = -0*w. Does 16 divide i(a)?
False
Let d be 15/6*6/5. Suppose d*a = -0*a + 66. Is 12 a factor of a?
False
Let n(d) = -d**2 - 7*d - 12. Let b be n(-6). Let t = b + 12. Does 3 divide t?
True
Suppose 0 = -3*c - 0*c + 12. Suppose -g + 2 = -c. Is 68/g + 2/(-6) a multiple of 5?
False
Let l = 1 - -16. Does 8 divide l?
False
Let v be (-2)/(-5) - (-26)/10. Let t be -2*(4 + 0)*-1. Let d = t - v. Does 3 divide d?
False
Let a be (-15 + 13)*23/(-2). Suppose 7 + a = d. Is 6 a factor of d?
True
Let i(s) = -s - 14. Let u(b) = -2*b - 29. Let j(t) = 9*i(t) - 4*u(t). Let g be j(-7). Let q(d) = 4*d**2 + 3*d + 2. Does 13 divide q(g)?
False
Let d(f) = f**3 - 3*f**2 - 7*f + 6. Let c be d(4). Let m = 0 - c. Is 8 a factor of m - (1 + -2 + -1)?
True
Suppose 0 = i - 3*i. Let d(w) = 0 + i + w**2 + 3*w. Is d(-5) a multiple of 10?
True
Let k(o) be the first derivative of -o**2 - 16*o + 2. Does 3 divide k(-11)?
True
Let d(a) = -a**3 + 6*a**2 + a + 5. Suppose p + 4*i - 14 = 0, 3*p - 2*i - 10 = 2*i. Does 9 divide d(p)?
False
Suppose 4*s = 0, -3*n + 0*n = 5*s - 270. Does 45 divide n?
True
Suppose 0 = 2*u + r + 16, 4*u - 2*u - 5*r + 40 = 0. Is 3/(-15) - 52/u even?
False
Let a(k) = 2*k. Let g be a(1). Suppose 14 + 31 = -2*w + h, g*w = -2*h - 60. Let t = w + 41. Does 8 divide t?
True
Suppose -3*v + 18 = 2*g, 3 = -4*g - 3*v + 33. Let s(m) = m**2 - 4*m - 1. Does 11 divide s(g)?
True
Suppose 3*s - 623 = -0*z - 5*z, 3*z - 374 = -2*s. Is 31 a factor of z?
True
Suppose -2*g + 5*m + 47 = 0, 2*g + 2*m - 5 - 7 = 0. Does 9 divide g?
False
Let w(l) = l**2 - 5*l - 6. Let a be w(6). Suppose -89 = -4*g - m, -m + 0 + 1 = a. Is g a multiple of 10?
False
Let c(q) be the third derivative of 19*q**4/12 - 3*q**2. Let w(g) = g**2 - 7*g + 7. Let j be w(6). Is c(j) a multiple of 19?
True
Let b(f) = -f**2 - 7*f - 2. Let u be b(-6). Suppose 4*y + 21 = u*p + 5*y, -p + 3*y + 15 = 0. Is p a multiple of 4?
False
Let n(z) = 3*z**3 - z**2 + 4*z + 1. Let h be n(3). Suppose 5*a - 196 = 4*d, -5*d = 2*a - 0*d - h. Suppose g - 3*m = 40, -g + a = -0*g + 2*m. Does 20 divide g?
True
Suppose 8 = 5*u + 3, 5*s - 5*u - 20 = 0. Suppose 4 = -z + s, -b + 4*z = 12. Is (164/b)/(1/(-2)) a multiple of 18?
False
Let j(w) = -w + 9. Let t(l) = -l**3 + 5*l**2 + 8*l - 5. Let c be t(6). Let d be j(c). Is 10 a factor of (-402)/(-15) - d/(-10)?
False
Let n be ((-16)/(-12))/(1/3). Suppose -o - n*j = -13, j + 0 - 2 = 0. Is o a multiple of 2?
False
Let c = -1 + 2. Let h be (0 - 7)/(c/3). Let r = h - -42. Is 6 a factor of r?
False
Let n(l) = 22*l**3 + l**2 - 2*l + 1. Let j(o) = -2*o + 3*o + 4*o - 5 + o**2. Let u be j(-6). Is n(u) a multiple of 11?
True
Let t = -42 + 7. Does 16 divide (t/2 + -1)*-2?
False
Let x(d) = -d**2 + 10*d - 12. Let m be x(8). Suppose -4*l - 24 = -2*c, 14 = 2*c + m*l - 10. Does 4 divide c?
True
Let g = -13 + 9. Let a(v) = v**2 + v + 5. Is 17 a factor of a(g)?
True
Let a(f) = 4*f - 5. Suppose 2 = 2*b - 5*q - 4, -b - 5*q = 12. Let z be ((-2)/(-3))/(b/(-18)). Is 19 a factor of a(z)?
True
Is 17 a factor of (14/7)/(4/42)?
False
Suppose -3*g = a - 221, 0*a - 3 = 3*a. Is g a multiple of 23?
False
Suppose 4 = 2*v - 0. Suppose 0 = 4*o + 3*a + 7, -o + a - 2 = v*a. Let m(p) = -27*p. Does 21 divide m(o)?
False
Suppose 0 = 3*p - q - 191, 85 = p + 4*q + 30. Does 14 divide p?
False
Let j = -268 - -403. Is j a multiple of 15?
True
Let y(x) = 5*x**2 - 6*x + 8. Let m be y(6). Suppose 17 = 3*k - 7. Suppose m = 5*i - k. Is 16 a factor of i?
True
Let w = 162 - 108. Suppose -4*i - 12 = -2*z, -4*z - 3*i + i = -w. Does 12 divide z?
True
Let d = 167 - 74. Does 31 divide d?
True
Let x = 233 + -133. Is x a multiple of 14?
False
Suppose -7*t + 2*t = -2*g + 47, 4*t + 12 = 0. Let h(f) = 2*f**2 - f - 2. Let c be h(2). Suppose 0*i - g = -c*i. Is 4 a factor of i?
True
Let l(z) = z**3 + 3*z**2 + 2*z + 3. Let i be l(-2). Suppose 51 = -5*f - 2*j, 5*f = j - 39 - i. Is (18/(-4))/(f/48) a multiple of 12?
T