ivide u?
False
Let j(l) = 2 - 2 - 3*l - 2*l**2. Let h be j(-2). Let q(y) = -y**3 - y**2 - y + 2. Is q(h) a multiple of 4?
True
Let x(b) = b**3 + 6*b**2 + 2*b - 7. Let t be x(-5). Let u(q) = q**2 - 6*q - 2. Let c be u(t). Suppose -n = v - 4*n, -v - 4*n + c = 0. Is v a multiple of 4?
False
Let h(i) = 3*i**3 - 6*i**2 + 25. Is 10 a factor of h(5)?
True
Let l be ((-102)/(-7))/((-2)/(-42)). Suppose -5*y = -2*y + l. Is 17 a factor of (-2)/3*y/4?
True
Suppose -2*k - 321 = -2*o + k, 2*o = 5*k + 315. Is o a multiple of 10?
False
Suppose -2*n - 1356 = -3*t, 2*n + 1348 = t - 2*t. Is 12 a factor of 4/(-6)*n/18?
False
Suppose 2 = 2*i, -3*a - 3*i = -i - 17. Suppose -2*u - 2*u - 246 = -a*m, 0 = 2*u + 8. Is m a multiple of 11?
False
Let o be 3/(-1)*28/21. Let p(f) = -11*f - 4. Is 20 a factor of p(o)?
True
Let c = 47 - -34. Is 27 a factor of c?
True
Let x(a) = a**2 + 4*a + 10. Let h be x(-4). Let v = 26 - h. Does 8 divide v?
True
Is ((-1024)/(-12))/4*3 a multiple of 32?
True
Suppose -4*d + 4*g + 0*g + 4 = 0, 4*g - 5 = d. Suppose -3*s + 4*n - 68 + 266 = 0, -3*s - d*n = -177. Does 22 divide s?
False
Suppose y - 1 + 0 = 0. Suppose 4*a = -0*a - 5*x - 9, -a - y = x. Does 2 divide a?
True
Suppose 4*u + 8 = 0, -m - 3*m + 6 = 3*u. Suppose 4*w = 9*w - 5*b - 185, m*w - 5*b - 101 = 0. Does 14 divide w?
True
Let k(f) = f**3 - 7*f**2 - 6*f - 5. Let p(v) = 4*v**3 - 20*v**2 - 17*v - 16. Let i(d) = -7*k(d) + 2*p(d). Is i(-8) a multiple of 3?
True
Let x(w) = -w**3 - 6*w**2 + 6*w - 8. Let h be x(-7). Is 32 a factor of h/(-5) - 159/(-5)?
True
Suppose 3 = t + r - 1, 3*r + 2 = 4*t. Suppose -3*x + 5*y = -185, 4*x + 2*y = 6*y + 260. Suppose t*d = -3*d + x. Is d a multiple of 12?
False
Let o = -107 + 191. Is 21 a factor of o?
True
Suppose -130 = -3*f + 149. Is 7 a factor of f?
False
Let q = -152 - -214. Does 47 divide q?
False
Suppose 3*y + 0*y = 2*c + 4, 0 = 3*c - 3*y + 9. Let q = 6 - c. Does 5 divide q?
False
Let z = -8 - -13. Suppose -2*b + b = z*s + 3, -5*b - 2*s = -31. Is b a multiple of 7?
True
Let g = 1 - -8. Is g a multiple of 7?
False
Let s(y) = -5*y**2 + 4*y**3 + 4 - 3*y**3 - y - 9. Let n be s(5). Let j = n - -22. Is j a multiple of 12?
True
Let c be -1*((-1 - -1) + 0). Let w be c/(-2 - -3) + 48. Suppose w = -0*l + 4*l. Is 7 a factor of l?
False
Let b = 16 + 34. Is 25 a factor of b?
True
Let y = 50 - 36. Is 7 a factor of y?
True
Let q(y) = -y + 14. Does 6 divide q(-10)?
True
Let n = 0 - 0. Suppose 2*d - 5*m + 57 = -n*d, -2*d + m - 45 = 0. Let w = 6 - d. Is w a multiple of 10?
False
Let f(v) = 27*v**3 + v**2. Let j be f(1). Let u = -2 + j. Suppose -t = -0*q + 5*q - 2, 5*q = 3*t - u. Does 3 divide t?
False
Let y(v) = 7*v - 9. Let h(j) = -2*j + 3. Let z(i) = 8*h(i) + 3*y(i). Let w be z(3). Suppose 0*a + 4*a - w = 0. Does 2 divide a?
False
Suppose -4*c - c + 169 = 2*b, b = -2*c + 85. Suppose x = -d + 51, 3*x - 90 = 3*d + b. Is 11 a factor of x?
True
Let x(i) = -5*i**3 - 7*i**2 + 4*i + 5. Does 31 divide x(-4)?
False
Let q = -5 + 8. Suppose -y = -5*y - u + 34, 5*y + q*u - 46 = 0. Suppose 2*p - y = 4. Does 3 divide p?
True
Let u(i) = -i. Let g be u(-6). Suppose v + 220 = g*v. Is 21 a factor of v?
False
Suppose -9*t - 3684 = -21*t. Is t a multiple of 48?
False
Let q = 0 - -3. Let j = -3 + -3. Is 6 a factor of -12*((-15)/j - q)?
True
Is -1*2/((-2)/17) a multiple of 17?
True
Let g(s) = -s**3 + 14*s**2 - 25*s - 15. Is 34 a factor of g(11)?
False
Suppose -b + 12 = -0*b. Is b a multiple of 3?
True
Suppose -90 = -5*i + 2*i. Suppose f = -3*n + 35, -5*f + 2*n = -3*f - i. Is f a multiple of 7?
False
Let m be (-42)/8 + (-3)/(-12). Let k(f) = 19*f**2 - 35*f**2 - 7*f - 2 + 15*f**2. Is k(m) a multiple of 8?
True
Let m = 54 + 24. Is 17 a factor of m?
False
Suppose -2*h + 120 = 2*h. Is 17 a factor of h?
False
Let o be (-12)/(-66) + 46/(-11). Let s(f) = -f**3 - f**2 + 2*f. Is s(o) a multiple of 15?
False
Let d = 26 - 12. Let c = -10 + d. Suppose -72 + 2 = -5*p + 5*v, 0 = -c*v. Is 7 a factor of p?
True
Let k be 1 + -3 - (-4 - 1). Suppose k*u = 4*u - 40. Is (-2 - 0) + u/5 a multiple of 3?
True
Is 7 a factor of (-6 - -1)/((-87)/42 - -2)?
True
Let g = 9 + -5. Suppose g*o - 85 + 13 = 0. Is 6 a factor of o?
True
Suppose -5*a - 55 = -500. Does 16 divide a?
False
Suppose -k + 0*k - 3*t = -9, -4*t + 100 = 5*k. Suppose -k = -3*o - o. Let b = 8 - o. Does 2 divide b?
True
Let n(z) = z**2 - 9*z - 6. Let s be n(10). Suppose 0 = 6*i - 4*i + 3*w - 5, -s*i - 4*w = -20. Is i a multiple of 5?
True
Let q(l) be the second derivative of l**4/12 - 5*l**3/6 + 4*l**2 - 7*l. Does 7 divide q(6)?
True
Let l(w) = 72*w**2 - 3*w - 2. Is 12 a factor of l(-1)?
False
Suppose -14 = -v + 14. Is 9 a factor of v?
False
Let u(z) = -11*z**2 - z - 1. Let t be u(-1). Suppose -2*y + 14 = -4*y. Let v = y - t. Does 2 divide v?
True
Let k(g) = -6*g**3 + g**2 + 4*g + 3. Is k(-2) a multiple of 11?
False
Suppose -5*l = -4*b + 3*b, 5*l = -2*b. Suppose b = -2*x + 18 + 14. Is 3 a factor of x?
False
Let f = 25 + -8. Let b = 24 - f. Does 7 divide b?
True
Let z = -8 - -4. Let h = 11 - z. Is 4 a factor of h?
False
Let i(o) = 4*o**2 + 14*o + 17. Let a(r) = -3*r**2 - 9*r - 11. Let j(n) = -8*a(n) - 5*i(n). Let p(m) be the first derivative of j(m). Is p(4) a multiple of 17?
True
Let l = 76 + -37. Is l a multiple of 13?
True
Is (21/(-14))/(1/(-24)) a multiple of 12?
True
Let a be (-2)/(-8) - 2/8. Let x(o) be the first derivative of o**2/2 + 4*o - 2. Is x(a) a multiple of 2?
True
Suppose -7 = -4*s + 5. Is s a multiple of 3?
True
Suppose -2*w = 3*w. Suppose -t - 3*i + 31 = w, -3*t + 61 - 1 = -2*i. Let g = 41 - t. Is g a multiple of 19?
True
Suppose 0 = 4*h - 5*k - 38, 5*h - 48 = 4*k + 4. Suppose 0 = b - 16 - h. Is b a multiple of 12?
False
Let b = 67 - 43. Let q = b - 12. Is q a multiple of 6?
True
Let v(p) = -p. Let u(b) = -b**2 + 4*b - 1. Let m(f) = -2*u(f) - 9*v(f). Let n = -5 - -7. Is 4 a factor of m(n)?
True
Let t(i) = i + 12. Let l be t(-5). Let f = 8 + l. Suppose 2*c - 5*c = -f. Does 3 divide c?
False
Is 43 a factor of 43*2*(-5)/(-2)?
True
Suppose -2*q - q - 9 = 0, 4*q = -4*l - 20. Let f be -35 + (1/1 - -1). Does 13 divide l/10*f*5?
False
Let w = -48 - -112. Does 14 divide w?
False
Let z(q) = -6*q**2 + 2*q - 5 - 4*q + 2*q**2 + 5*q**2. Is z(6) a multiple of 10?
False
Suppose -5*l = 1 - 16. Is 11 a factor of 1/((-2)/(-50)) - l?
True
Let a = 17 - 14. Suppose -a*q = -76 - 2. Does 9 divide q?
False
Let b be ((-3)/(-1))/(3/4). Suppose -b*g = g - 105. Does 9 divide g?
False
Let g = 10 + -7. Let o = g + 5. Is 4 a factor of o?
True
Let w be 3*((-22)/(-6) + -2). Suppose w*s - 3*t - 65 = 2*t, 3*t = 2*s - 26. Is s a multiple of 7?
False
Suppose z - 128 = -4*s + 2*z, 32 = s - 5*z. Is (s/(-20))/(1/(-5)) even?
True
Let a = 61 - 21. Is a a multiple of 27?
False
Suppose 0 = -2*v - 1 + 337. Does 24 divide v?
True
Let f(d) be the first derivative of 109*d**3/3 - 1. Let a be f(1). Let r = -78 + a. Does 12 divide r?
False
Suppose -3*s = -1 - 167. Let g = -11 + s. Is g a multiple of 22?
False
Suppose 0 = 5*l - 2*l - 792. Is 12 a factor of l?
True
Let g(h) = -5*h + 6. Let v(i) = -i + 1. Let c(r) = -g(r) + 6*v(r). Let k be c(-2). Is 1 + k/(-2) - -6 a multiple of 6?
True
Let n(j) = j**2. Let q be n(-2). Suppose -4*y + 5*f - 420 = -8*y, 0 = 3*f. Suppose t = -q*t + y. Is 6 a factor of t?
False
Let a = -5 + 3. Does 4 divide 14 - (1 + -1 + a)?
True
Let i be 36/15*(-5)/(-2). Let m(h) = h**3 - 6*h**2 + 2*h. Is m(i) a multiple of 7?
False
Suppose x - 2*p = -0*p + 32, 0 = 3*p + 9. Suppose -5*o + 3*m = -x, -4*o - 4*m = -1 - 7. Suppose 0*k = o*k - 76. Does 19 divide k?
True
Suppose 2*l + 330 = 5*l. Is 10 a factor of l?
True
Suppose 3*w = -6, -3*i - 3*w - 2*w = -8. Let h = 21 - i. Is 6 a factor of h?
False
Let y(s) = 15*s**2 - 2*s - 4. Let k be y(-3). Suppose t - 576 = -4*o, -2*t + k = o - 0*t. Suppose -3*l + o = 2*l. Is 20 a factor of l?
False
Suppose 9*o + o = 170. Is o a multiple of 17?
True
Does 26 divide ((-495)/(-6))/((-36)/(-8) + -4)?
False
Is 2/3*(26 - 2) even?
True
Suppose 2*j - 10 = 0, 4*o = -0*o + 3*j + 85. Let t = 40 + o. Is t a multiple of 13?
True
Let l(d) = d**2 + 2*d. Let g be l(-2). Suppose -4*p + g*p + 32 = 4*m, -3*m = 2*p - 15. Is 4 a factor of p?
False
Is (-31)/(-3) + 4/6 even?
False
Let s(r) = -21*r - 1. Let z(k) = 21*k + 1. Let g(m) = 3*s(m) + 2*z(m). Let v be g