**2 - 5*l + 11. Is z(-6) a multiple of 7?
False
Suppose 2*d + 2*u + 6 = 0, -4*d + u = -d - 3. Suppose 2*s - 97 + 33 = d. Is 13 a factor of s?
False
Is 13 a factor of (0 - (-5 + 3)) + 33/3?
True
Let f = 75 - 7. Is f a multiple of 14?
False
Let h(w) = w**3 - 2*w**2 + 1. Let v be h(1). Suppose 0*f + 2*f = v. Suppose f = -3*y + 2*u + 26, -2 - 4 = -y - 2*u. Does 3 divide y?
False
Suppose -3*b - a = 2, 0*a - 4*a - 8 = 5*b. Suppose -3*f - 35 = -q - b*q, 81 = 2*q + 5*f. Does 19 divide q?
True
Suppose 0 = 4*s - t - 17, 0 = -s + t + 5. Does 2 divide s?
True
Let y be 1/2*(0 + 16). Suppose 0*s + s = y. Let m(l) = l**3 - 7*l**2 - 5*l - 10. Is 7 a factor of m(s)?
True
Let j be ((-6)/(-4))/(3/10). Suppose -7*c = -3*p - 2*c - 17, -3*p - 2*c + 11 = 0. Suppose g + p - j = 0. Does 3 divide g?
False
Let c be (1 - -152)/3 - -1. Suppose -q = -5*q + c. Is q a multiple of 10?
False
Does 10 divide 2/(-4) - 98/(-4)?
False
Suppose -10*n + 25 = -5*n. Is (0 + 1)*14*n a multiple of 14?
True
Suppose 5*d = 2*d - 72. Let y be ((-2)/(-3))/((-10)/165). Let f = y - d. Does 7 divide f?
False
Let b be (-54)/(-6) - (-1)/1. Is 10 a factor of 12/b*(-300)/(-18)?
True
Does 9 divide (2/3)/(8/192)?
False
Suppose 12 = -r - 38. Let z = 75 + r. Does 11 divide z?
False
Let x(v) = -v**3 - 9*v**2 + 20*v + 5. Is x(-11) a multiple of 27?
True
Let s = -56 - -96. Is 7 a factor of s?
False
Let l = 35 + -17. Is 15 a factor of -2 + l - (4 - 3)?
True
Suppose 0 = -4*y + 5*t + 284 + 3, -4*t = -2*y + 136. Does 13 divide y?
True
Let h = 11 + -7. Suppose 2*u = 2*w - 72, w - h*w - 4*u = -129. Does 11 divide w?
False
Suppose 2*k + 31 = 3*p, 3*k = 2*p + 5*k - 14. Does 9 divide p?
True
Is 1540/8 - 10/4 a multiple of 38?
True
Is 33 a factor of 2/4 + (585/6 - -1)?
True
Let c = 50 - -3. Does 8 divide c?
False
Let n be 0/3 - (-2 + 0). Suppose -n*b + 5*i = -27 - 6, 5*b - 40 = 4*i. Let g(o) = -o**3 + 4*o**2 + 4*o. Is 8 a factor of g(b)?
True
Let m(z) = 2*z + 8. Let u(t) = t - 12. Let l be u(6). Let w be m(l). Let q(b) = -2*b + 3. Is 11 a factor of q(w)?
True
Does 13 divide 4 - (3 + 1 - 32)?
False
Suppose 4*h = 5*h - 25. Suppose 2*j - j + 4*d - h = 0, -j - d + 19 = 0. Does 9 divide j?
False
Suppose 0 = -3*p + 7*p - 8, 0 = 3*b + 3*p + 36. Is (-189)/b + (-3)/(-6) a multiple of 14?
True
Suppose -3*b = 5*k - 6 - 7, k = -b + 5. Suppose -r - b = -28. Is 10 a factor of r?
False
Let q(n) = -n**3 + 5*n**2 + 2*n + 3. Let l be q(5). Suppose -l = 5*i - 33. Suppose 6*u - 12 = i*u. Is 6 a factor of u?
True
Let z(w) = -w**2 + w + 4. Let y be z(-3). Let o(a) = -6*a - 2. Let u be o(y). Suppose g - u = 4*r, -5*g + 7*r + 155 = 2*r. Does 14 divide g?
False
Let b = 411 - 243. Suppose 0 = 6*n - 0*n - b. Is n a multiple of 12?
False
Suppose 14*x = 8*x + 192. Is x a multiple of 19?
False
Let c be 164/16 + (-1)/4. Let q be c/(-4)*42/(-35). Is -4*q/(-30)*90 a multiple of 10?
False
Let k(v) = v**2 - 8*v - 5. Let m be k(9). Suppose -3*b + 3*x = -33, x = -m*b + 2*x + 41. Is 10 a factor of b?
True
Let a(b) = -9*b - 19. Is a(-4) a multiple of 3?
False
Let b = 5 - -3. Does 4 divide b?
True
Suppose -4*k - k = 0. Suppose -79 = -4*s + 3*j, 41 = -k*s + 2*s - j. Is 13 a factor of s?
False
Let n be (14/(-3))/((-6)/54). Suppose 0 = -2*c + 5*p + 25, -3*c + n = -6*p + 3*p. Is c a multiple of 15?
True
Suppose 2*a = -3*y + 4*a + 18, 0 = -5*a. Suppose 25 = -n + y*n. Is n a multiple of 3?
False
Suppose -2*m + m + 132 = 0. Is m a multiple of 20?
False
Let d(b) = b**2 + 9*b + 8. Let n be d(-7). Let l(r) = r**2 + 5*r + 6. Is 8 a factor of l(n)?
False
Suppose -5*x - 50 = -10. Let a = -5 - x. Suppose -2 = -c + a. Is c a multiple of 3?
False
Let c(j) = j**2 + 1. Let o be c(-1). Let q be -20*(1/o + -1). Suppose -h + q = -0*h. Is h a multiple of 5?
True
Let v = -4 + 11. Is v a multiple of 3?
False
Suppose 5*d - 4*d - 30 = 0. Suppose 0 = 2*n + 4*z + 40, -3*n + 4*z - 64 = -4. Let o = n + d. Is o a multiple of 5?
True
Let d = -6 - -9. Is 10 a factor of ((-60)/(-2))/(d + -2)?
True
Suppose -15*h + 60 = -11*h. Does 3 divide h?
True
Let p = 7 - 11. Let h = 2 + p. Does 5 divide 11 + h - (2 + 0)?
False
Suppose 0 = 2*w + 2, 2*w - 531 = -4*x - 3*w. Suppose -4*s - 26 = -5*c - x, 0 = -3*c - 12. Is s a multiple of 11?
True
Let k(c) = c**3 - 11*c**2 - 12*c + 4. Let f be k(12). Let o(u) = 4*u + 2. Is o(f) a multiple of 18?
True
Suppose -2*z + 4*s + 56 = 6, 4*z + 2*s - 110 = 0. Is 3 a factor of z/2*10/15?
True
Let b = -13 + 17. Suppose 5*a = 6*v - v - 115, 3*v - 34 = -b*a. Does 6 divide v?
True
Let t(u) = -u**2 + 9*u - 9. Let l be 36/10*(-20)/(-8). Let c be t(l). Let g = c + 14. Is 3 a factor of g?
False
Suppose -2*o - 3*o = -d - 5, 10 = -2*d - 2*o. Let t(x) = -x**3 - 6*x**2 - 6*x - 5. Let r be t(d). Suppose 16 = -r*l + 2*l. Does 4 divide l?
True
Suppose 0 = -d + 2*x, -5*d + 4*x + 4 = -2. Suppose 3*o + 129 = -4*g + 6*g, 0 = 2*o - d. Does 11 divide g?
True
Suppose 5 = -4*i - 11. Let a = i - -3. Is (-2 - a*7)/1 a multiple of 5?
True
Let d(f) = f**3 + 9*f**2 - 19*f - 14. Let j be d(-10). Suppose -4*y = -2*w + 4, 10 = 5*w + 3*y + y. Does 13 divide 2/2*j/w?
False
Let v(m) = 6*m + 10. Does 21 divide v(6)?
False
Let z(u) = -20*u**3 + 2*u**2 - 4*u + 3. Let y(h) = -39*h**3 + 4*h**2 - 7*h + 5. Let g(d) = 3*y(d) - 5*z(d). Let m be g(1). Let o = m - -48. Does 16 divide o?
True
Suppose -f + h + 6 = 0, 3*h = -5*f - 0*h + 22. Suppose -3*j + 16 = -f*t - 45, -2*t + 14 = 2*j. Does 11 divide j?
False
Suppose -16 = 3*j - 5*q, 3*j + 6 + 4 = 2*q. Is 14 a factor of (1/j)/(3/(-306))?
False
Let g = 13 - 16. Let q = 13 - g. Does 16 divide q?
True
Let j(x) = x**3 + 5*x**2 - 10*x + 2. Is j(-6) a multiple of 3?
False
Let y(m) = 29*m**2 - 7*m - 12. Is 45 a factor of y(-3)?
True
Suppose -2*o - 3*u + 2 - 16 = 0, -u = 4*o + 8. Is (-5)/o - (-3 + 1) a multiple of 7?
True
Suppose -2*c - 2*c + t + 991 = 0, -5*c + 2*t + 1238 = 0. Is 18 a factor of c?
False
Suppose 4*r - 148 = -5*m - 36, -m + 28 = r. Does 14 divide r?
True
Let c be (-12)/(-5) - 4/10. Suppose 3*u = c*u + 10. Is u a multiple of 9?
False
Let z(v) = -v**2 - v + 1. Let t(c) = 5*c**2 - c - 6. Let g(m) = t(m) + 3*z(m). Is 7 a factor of g(-2)?
False
Suppose 18 - 69 = -3*c. Does 17 divide c?
True
Suppose -5*j + 5*a + 735 + 695 = 0, 0 = 4*j - a - 1141. Does 13 divide j?
False
Let u(g) = g**3 - 12*g**2 + 3*g - 11. Let l be u(11). Let q = -57 - l. Does 21 divide q?
True
Let h = 90 + -37. Does 10 divide h?
False
Suppose 0 = s - 2 - 2. Suppose -22 = -s*h - x, 2*h - 1 - 3 = -4*x. Suppose 2*f + 3*q - 38 = 0, -2*f = -h*f + 2*q + 92. Is 8 a factor of f?
False
Let z be (38/6)/((-2)/(-6)). Suppose -c = -19 - z. Does 13 divide c?
False
Let t(n) be the third derivative of -23*n**4/24 + n**3/2 - 4*n**2. Let m(j) = 35*j - 4. Let c(a) = 5*m(a) + 7*t(a). Does 14 divide c(1)?
False
Suppose -5*i - 4*x - 26 = 0, x = -6*i + 3*i - 10. Is 14 a factor of (3 + 7/i)*-46?
False
Suppose -2*j + 22 + 28 = 0. Is j a multiple of 5?
True
Let n(k) = -k**3 - 6*k**2 - 5*k + 4. Let h be n(-5). Suppose -h*u - 56 = -2*c, 0*u = -3*u - 12. Does 10 divide c?
True
Suppose -f + 4 - 8 = 0. Is (f/(-6))/(6/63) a multiple of 5?
False
Let h = -19 + 11. Let d = h - -5. Let n(t) = -t**3 - t**2 + t. Does 15 divide n(d)?
True
Let f(k) = k**2 + 5*k + 44. Is f(0) a multiple of 22?
True
Suppose -64 + 679 = 5*c. Does 28 divide c?
False
Let q = 19 + 64. Is 19 a factor of q?
False
Suppose 0 = 11*h - 83 - 49. Does 4 divide h?
True
Let v(b) = 7*b - 2. Let u(y) = y**2 - 2. Let s be u(-2). Is 6 a factor of v(s)?
True
Let m(p) = -p**3 - p**2 + 6*p + 17. Is m(-5) a multiple of 13?
False
Let u(f) = -6*f - 4. Let m be u(-3). Suppose 5*a - 3 - 7 = 0. Is (4/a)/(2/m) a multiple of 14?
True
Suppose 2*l - 5*w = 2, 2*w = 2*l + 3*w - 26. Let g = 16 - l. Suppose -u = -4*z + 6 - 30, -2*u + g*z = -42. Does 8 divide u?
True
Let t(g) = -2*g - 10. Let w be t(-7). Let b(j) = 2*j + 1. Is 9 a factor of b(w)?
True
Suppose -h - 3*m = -3*h + 17, -4*h = -5*m - 31. Suppose -2*z = n - 54, h*z - 95 = -n + 15. Is z a multiple of 14?
True
Let f(z) = -z - 2. Let k be f(-4). Suppose 2*a - 4*r - r = 97, -2*r + k = 0. Is 13 a factor of a?
False
Suppose 0*z = 5*z + 60. Does 22 divide (33/(-4))/(z/32)?
True
Let d(i) = -i**3 - 7*i**2 - 7*i - 5. Does 23 divide d(-7)?
False
Let t = -9 - -12. Suppose 2*y - 5*w - 100 = 0, -t*y + 2*w = -0*y - 172. Is y a multiple