-10). Let x = 34 - g. Is 4 a factor of x?
False
Let g(r) = 1. Let f(z) = 7*z - 5. Let t(x) = f(x) + 3*g(x). Is 26 a factor of t(4)?
True
Suppose 4*f + 152 = -0*f. Is (-3)/(-12)*f*-6 a multiple of 19?
True
Let t = -1 - -12. Is t a multiple of 11?
True
Let w be (-1 - 0)*(13 + 2). Is (-54)/w + (-4)/(-10) a multiple of 3?
False
Suppose 75 = -d - 38. Let w = d + 71. Let b = 80 + w. Does 19 divide b?
True
Let d = -41 + 90. Suppose -j = -5, -j = 4*m - 0*j - d. Is m a multiple of 11?
True
Suppose 4*k + r = -r + 150, k - 45 = r. Suppose 2*a - k = -3*a. Does 8 divide a?
True
Suppose 3*v - 195 = -4*z, -v = 4*z - 26 - 39. Suppose 0*x + 3*x - 12 = 0. Suppose x*i = v - 9. Is 9 a factor of i?
False
Let z be (-6)/(2/(-1))*1. Suppose 0 = i - z*j - 1 - 5, -i + 5*j = -8. Let v(c) = c + 3. Is 6 a factor of v(i)?
True
Let o = -36 + 23. Let r = -5 - o. Is 3 a factor of r?
False
Suppose n = -4*n + 300. Suppose -2*q = q + 9, -5*q + n = -5*z. Let s = z - -34. Does 9 divide s?
False
Suppose 3*h = 4*y - 11, -2*y - 3*h = 10 - 29. Suppose -3*m - y = -23. Suppose o - 3*j - 19 = 0, -m*o + 84 = -o - 4*j. Is o a multiple of 16?
True
Let w = 0 + 1. Let i = 3 - w. Suppose -2*u + 29 = 3*q + 3*u, i*q - 3*u = 13. Is q a multiple of 8?
True
Let l be 3/(-2)*84/(-9). Suppose 0 = -2*u + 5*k + 26, -2*u + 0*k = 5*k + l. Suppose u*g - 24 = 2*g. Does 12 divide g?
True
Let b(l) = l**3 + 8*l**2 + 6*l - 4. Let f be b(-7). Does 10 divide (f - 15/6)*20?
True
Let f = 9 + -4. Suppose -51 - 129 = -f*p + 2*v, 5*v + 161 = 4*p. Suppose -2*x + x + p = 0. Is 22 a factor of x?
False
Let x = 4 + -11. Let d(p) = p**2 + 3*p - 14. Is 7 a factor of d(x)?
True
Is 9 a factor of (1 - 0)/((-2)/(-44))?
False
Let x(k) = -2*k + 1. Let o(p) = -p**2 - 1. Let u(z) = -4*o(z) - x(z). Suppose 5*r = 25, r - 14 = -0*i + 3*i. Is 11 a factor of u(i)?
True
Let b(i) = i**3 + 5*i**2 + i - 4. Let r be b(-4). Let w(k) be the first derivative of 3*k**2/2 - 11*k + 1. Is w(r) a multiple of 10?
False
Let l(j) = -j**3 + 4*j**2 + 4*j - 9. Let f be l(6). Let q = f - -87. Is 15 a factor of q?
True
Let h be -5*2*(-2)/4. Suppose -h*z - 2*j = -261 + 91, 0 = z + 5*j - 57. Does 16 divide z?
True
Is ((-9)/(-6))/(3/44) a multiple of 11?
True
Let c(g) be the first derivative of g**4/4 + 13*g**3/3 + 11*g**2/2 + 12*g + 4. Is c(-12) a multiple of 16?
False
Let v(b) = 4*b + 6*b**2 - b**3 + 2*b + 4*b + 3. Is v(7) a multiple of 12?
True
Let q = 12 + 22. Does 26 divide q?
False
Is 24 + -2 + 0 + 3 a multiple of 6?
False
Let y be 2/(-3) + 6/9. Suppose y = 2*b, 6*p - b = p + 195. Is p a multiple of 10?
False
Let b(r) = r**2 - 25*r - 74. Does 15 divide b(32)?
True
Let l(j) = j**3 - 4*j**2 + j - 3. Does 27 divide l(5)?
True
Let w = -191 - -319. Does 37 divide w?
False
Let x(r) be the third derivative of -r**6/120 + r**5/12 + 7*r**4/24 + r**3/2 + 11*r**2. Let a be 9/(-4)*(-16)/6. Does 9 divide x(a)?
True
Let i = 5 + 7. Is 3 a factor of i?
True
Suppose 0*v - v - 2*g - 3 = 0, -4*v + 6 = 2*g. Suppose v*o - 2*o - 3 = 0. Suppose 4*y - 31 = -5*r, -o*y = -r + 4 - 32. Does 3 divide y?
True
Suppose 432 = -9*w + 15*w. Is 18 a factor of w?
True
Suppose -3*s - 2*s = -125. Let p = 41 - s. Does 13 divide p?
False
Let d(j) be the first derivative of -j**3 + j**2/2 + 1. Let y be d(-1). Let g = y - -12. Does 7 divide g?
False
Suppose 5*c + 12 = 2*f, 2*f = c + c + 24. Is 14 a factor of f?
False
Suppose -3*f + 6 = -0*w + 3*w, -14 = -5*w - 3*f. Suppose 4*v + 2*c - 8 = 7*c, 0 = 2*c. Does 6 divide (w/10)/(v/60)?
True
Let g be -1*((-4)/2 + 2). Suppose 4*n = n - 3*w + 15, g = n + 3*w - 7. Is n even?
True
Suppose u + i = -0*i - 12, -18 = -u + 5*i. Let r = 107 + u. Suppose -3*q + r = -5*b, 2*q - 84 - 12 = -4*b. Is 20 a factor of q?
True
Suppose 3*r - 15 = -2*r. Suppose -z + 18 = 5*j, 2*j + r*j + 147 = 4*z. Is z a multiple of 11?
True
Let y(t) = t**3 + 3*t**2 - 4*t + 2. Let j be y(-4). Let i = j - -10. Is i a multiple of 11?
False
Let i = 5 - 3. Suppose 2*u + 19 - 77 = -i*j, -4*j - 12 = 0. Is u a multiple of 8?
True
Suppose 0 = -3*b + 86 - 23. Let c = b + 1. Suppose -5*q + 8 + c = 5*l, 5*q - 4*l = 48. Is 5 a factor of q?
False
Let n be -2 - -2 - (3 - 6). Is 8 a factor of 16 + -4 + n - -1?
True
Let t = -14 + 24. Does 8 divide t?
False
Suppose 4*t - 10 - 2 = 0. Suppose 3*y = 12 + t. Let d = y - 3. Is d a multiple of 2?
True
Suppose 4*k - 3*f - 7 = -0*k, 0 = -2*k - 2*f. Is 25 a factor of 3 + (-8)/k*-9?
True
Let y(v) = 2*v**3 - 4*v**2 + 2*v - 4. Suppose 5*n = 3*t + t - 12, -6 = -2*t - 4*n. Let j be y(t). Does 9 divide j - 3 - (-2)/(-1)?
False
Let j = -72 + 127. Is 21 a factor of 0 + -1 + j + 3?
False
Let q be -1*(-3)/((-3)/(-5)). Let g(s) = s - 5*s + q*s + 17*s**2 + 1. Is 17 a factor of g(-1)?
True
Suppose -w + 4*u = -187, -7*u + 3*u = 2*w - 338. Suppose 0*s = -s + w. Suppose 2*a + 3*a - s = 0. Is a a multiple of 13?
False
Let w = -7 - 21. Let f be (-133)/w + 1/4. Suppose 0 = -f*y + 143 - 8. Is 10 a factor of y?
False
Let l(n) = -n**3 + 8*n**2 - 4*n - 8. Suppose -2 = -2*p + 10. Is l(p) a multiple of 19?
False
Is (-1 - -66)/1 + -7 + 5 a multiple of 7?
True
Let u(n) = 3*n. Let q be u(-2). Suppose 3*t + 35 = -7. Let c = q - t. Is 4 a factor of c?
True
Suppose 0 = -4*m + 5*n - 9, 0 = -5*m + n + 2 + 13. Suppose -4*t - 4*g + m = 0, -t = 2*g + 2*g + 2. Suppose 36 + 18 = t*c. Is c a multiple of 9?
True
Let v(b) = -b**2 + 5*b - 3. Suppose 4*t - 20 = p, 5*t = -0*t - 4*p + 25. Let y be v(t). Is y/5 + 324/15 a multiple of 7?
True
Does 19 divide 7794/315*10 - (-6)/(-14)?
True
Let v(c) = -c**3 + 0*c**3 - 2 + 8 + 7*c**2. Let s be v(6). Let i = s + -30. Is 10 a factor of i?
False
Let h(z) = 3*z**2 + 5*z + 8. Let i(u) = -u**2 - 5*u - 4. Let l be i(-5). Is h(l) a multiple of 12?
True
Let p(u) = u**2 + 11*u + 6. Is p(-11) a multiple of 4?
False
Suppose 5*w - 3*c - 35 = 0, -2*w - w = 4*c + 8. Suppose 120 = w*o + o. Suppose -j = -3*j + o. Does 10 divide j?
False
Let a = 50 - 47. Is 3 a factor of a?
True
Suppose -2*i + b = -40, 0 = -2*i + 2*b + 2*b + 46. Suppose -i - 2 = -k. Is k a multiple of 17?
False
Let i(l) = -l**3 + 10*l**2 - 6*l - 9. Suppose -225 = -3*a - 2*a. Suppose 4*n = -n + a. Is i(n) a multiple of 10?
False
Let r = 8 + 1. Does 7 divide 50/(-4)*(r + -11)?
False
Let l(a) = -1 - a**2 - 2*a + a**2 - a**2. Let i be l(-1). Suppose -5*s + 17 + 43 = i. Does 12 divide s?
True
Let v be 8/(-20) + (-16)/10. Is v/(-3) - 88/(-3) a multiple of 15?
True
Suppose 0 = -3*a + 179 + 37. Is 18 a factor of a?
True
Suppose -2*d = 4*c - 45 + 15, -c - 10 = -3*d. Let q(r) = r**2 - 4*r + 7. Let i be q(c). Let f = 1 + i. Does 13 divide f?
True
Is 3 a factor of (-8 - -2)/((-2)/4)?
True
Suppose -3*w + 2*t = -3*t - 5, -4*w + 16 = -2*t. Let n(p) = -4*p + 5. Let f be n(-4). Suppose -z + f = -w*v, -4*z + 4*v = -6*z. Is z a multiple of 4?
False
Suppose -4*g + 3*g + 7 = 0. Let s = 15 - g. Does 5 divide s?
False
Let l = 18 - 14. Suppose 284 = 5*d - u, l*d + 2*u - 79 - 137 = 0. Is 13 a factor of d?
False
Suppose q - 36 = 2*v, -20 + 92 = 2*q + 2*v. Does 12 divide q?
True
Suppose -g + 5*f = -14 + 2, 6 = 4*g + f. Suppose -4*u + 6*u = -2*y + 26, -g*u = 6. Is y a multiple of 16?
True
Suppose -k + 38 + 134 = 0. Suppose x = -3*x + k. Is x a multiple of 14?
False
Let p = -3 - -2. Is p/(-2) - (-13)/2 even?
False
Let c(y) = 7*y - 6. Let s be c(5). Suppose -s = 4*l - 9, -2*v - 2*l + 48 = 0. Is 14 a factor of v?
False
Let s(b) = 2*b - 4. Let a be (-11)/(-2) + (-1)/(-2). Is 8 a factor of s(a)?
True
Let n = -45 - -77. Suppose -q = -0*q - n. Is 16 a factor of q?
True
Let v(i) = i. Let a be v(4). Suppose n + 4*g = -n + 88, -a*n = -5*g - 124. Is 12 a factor of n?
True
Let i(y) = -2*y**2 + 34*y + 2. Does 41 divide i(14)?
False
Let x(z) be the third derivative of z**6/120 - z**5/30 + z**4/12 - z**3/6 - z**2. Is 7 a factor of x(3)?
True
Is (-4)/(-8)*9*4 + 1 a multiple of 11?
False
Let o(i) = -2*i + 7. Is o(-13) a multiple of 16?
False
Suppose 0 = -7*q + 2*q. Suppose q = 5*o - 7 - 13. Suppose o*i - 29 = 15. Is 7 a factor of i?
False
Let j(t) = 32*t**2 + 6*t - 5. Let f(s) = 32*s**2 + 5*s - 4. Let l(k) = 3*f(k) - 2*j(k). Is 13 a factor of l(1)?
False
Suppose 5*z = 8*z + 144. Let l = -13 - z. Does 19 divide l?
False
Let s(b) be the second derivative of -7*b**4/24 - 5*b**3/6 - 3*b**2/2 - 3*b. Let i(z) be the first derivative of s(z). Does 18 divide i(-7)