56, k - 10 = -4*k. Does 22 divide (-4)/10 + x/10?
True
Is 11 a factor of (160/12 - -1)/(2/6)?
False
Let c(h) = -h**2 + 4*h. Let u be c(4). Let g be 20 - (6 + u)/(-3). Let r = -13 + g. Is r a multiple of 8?
False
Let m(w) = -64*w**2 - 2*w + 2. Let s be m(-2). Let y = -160 - s. Suppose 6*x - x = y. Is 18 a factor of x?
True
Is 17 a factor of (-6)/9 - (2 - 500/3)?
False
Suppose i + j - 3 = 0, i - 2*i + 15 = -5*j. Suppose 5*k = 2*l + l + 14, i*l + 10 = 5*k. Is 4*6*2/k a multiple of 10?
False
Let m(p) = -2*p**3 - 6*p**2 - 4*p - 6. Let k = -9 - -5. Does 11 divide m(k)?
False
Suppose 4*a - 2*y = 134, 23 = 4*a - 3*a - 4*y. Is 24 a factor of a?
False
Suppose -3 = -4*h + 21. Does 6 divide h?
True
Let g(b) = -b**2. Let z(n) = -15*n**2 - 2*n. Suppose 4 = -4*t + 28. Let v(k) = t*g(k) - z(k). Is v(-2) a multiple of 16?
True
Let l be (-2)/3*15/(-2). Suppose -l*c + 135 = -0*c. Is c a multiple of 9?
True
Is -5 - -4 - -11*2 a multiple of 7?
True
Let x = 16 - -19. Is -3 + 3 + 0 + x a multiple of 19?
False
Suppose 1 = 2*o - 5. Let v(l) = 4*l**2 + l**3 + 8*l - o*l - l - l + 4. Is 2 a factor of v(-3)?
True
Let j(k) = 7*k + 1. Let m be j(1). Let r = m - 3. Is 2 a factor of r?
False
Let h be 7 + (-1)/2*0. Let u be (-3)/(3 + (-24)/h). Let j(g) = g**2 - 4*g + 1. Does 11 divide j(u)?
True
Suppose -3*v = 2*g - 250, -g = -4*v - 6*g + 345. Suppose 0 = -u - u + v. Does 30 divide u?
False
Let c be 0/(-17) - 6/(-1). Let v(g) = g**3 - 4*g**2 - 6*g - 5. Is v(c) a multiple of 14?
False
Let k(i) = i - 5. Suppose 3*o + 9 = 0, c = 2*c + o - 8. Does 3 divide k(c)?
True
Suppose 12 = z - 4*m, 14 = -3*z + 5*z - 3*m. Is z a multiple of 3?
False
Let i(w) = 2*w + 6. Let j = -3 + 9. Let b be i(j). Let c = 12 + b. Is c a multiple of 13?
False
Suppose 5*b - 54 = 1. Is b even?
False
Suppose -4*s + 4*a - 12 = 0, 15 = -2*s + 6*a - a. Suppose -2*t = -7*t. Suppose s = -t*j + 2*j - 26. Is j a multiple of 7?
False
Suppose -5*q = -4*n - 0*q + 111, 57 = 3*n + 5*q. Is 15 a factor of n?
False
Let c = 307 - 171. Is 21 a factor of c?
False
Let d(n) = 67*n**2 - 2*n + 2. Is 18 a factor of d(1)?
False
Suppose -291 = -5*k + 189. Suppose k = 4*u - 12. Is u a multiple of 15?
False
Let k(w) = w**2 + w + 4. Let v be (4 - 4)*2/4. Let c be k(v). Suppose 5*p - 71 = -0*p - c*x, 3*x - 23 = -p. Is p a multiple of 5?
False
Let i be (-70)/(-90) - 4/(-18). Is -2 + 27 - (i + -2) a multiple of 13?
True
Let z = 32 + 94. Let t be (4/6)/(6/z). Suppose 6*q - t = 5*q. Does 11 divide q?
False
Let d = 5 - 3. Let i be d/((-2)/2) - -4. Suppose 0 = -i*k + 4*k - 28. Is 7 a factor of k?
True
Suppose 0 = -3*y + z - 7, y + 7 + 2 = -z. Is (954/27)/(y/(-6)) a multiple of 16?
False
Let c = -9 + 3. Suppose 0 = 5*v - 2*k - 48, -3*v + 2*k + 6 = -22. Let g = v + c. Is 4 a factor of g?
True
Let i = -26 - -44. Does 11 divide i?
False
Let v = -3 - -4. Let a(h) = -1 + v - 2*h. Does 3 divide a(-2)?
False
Let p be 6*((-48)/9)/(-4). Suppose -3*b - 13 - p = 0. Let u(q) = q**3 + 6*q**2 - 9*q + 2. Is u(b) a multiple of 10?
False
Let m = 27 + 19. Is 14 a factor of m?
False
Let p = -5 - -6. Let s be (-4)/((-12)/39) - p. Let r = s + -6. Is r a multiple of 5?
False
Let q = 3 - -1. Is (22 - (2 - 1)) + q a multiple of 25?
True
Let r = -14 - -22. Does 8 divide r?
True
Let t be (-1)/((-3)/(-6) + -1). Let w(p) = -1 + 2*p**t + 3*p - 3 + p**2. Is 12 a factor of w(-3)?
False
Let a(h) = -h**3 + 6*h**2 + 4*h - 13. Let s be a(-7). Does 12 divide s/8 + (-1)/(-2)?
False
Suppose 3*i = -3*n + 351, 4*i - 7*i = 4*n - 470. Does 11 divide n?
False
Let l = 87 + 98. Does 37 divide l?
True
Suppose -5*i - 160 = -5*z, -3*z + 4*i + 72 = -28. Suppose -3*f = -62 - z. Does 9 divide f?
False
Is 3 a factor of (18 - -2)/(10/8 - 1)?
False
Let v be (-4)/6 + (-56)/6. Suppose 2*g + 5*f - 15 = 0, f + 63 = g + 3*g. Let n = v + g. Is n a multiple of 2?
False
Suppose -q - 38 + 68 = 0. Let z be (-1 + 5)*(-15)/(-12). Suppose 2*m + 3*m = z*i - 40, 5*m - q = -2*i. Is 10 a factor of i?
True
Let f(i) = -6*i - 5. Let x(j) = -12*j - 10. Let o(a) = 7*f(a) - 3*x(a). Let k(g) = g - 5. Let t be k(0). Is 10 a factor of o(t)?
False
Let y(b) = -2*b - 8. Let h be (-50)/8 - 3/(-12). Let d be y(h). Suppose 0*j + 72 = 3*j - 3*o, d*j - 2*o - 96 = 0. Does 12 divide j?
True
Suppose -2*m + 7 + 1 = 0. Let b = 21 - 36. Let h = m - b. Does 8 divide h?
False
Let s = -2 - -6. Suppose 4*f - s = 2*f. Does 3 divide (-14)/(-7) + f + -1?
True
Let u = 4 - 2. Suppose -6 = -u*b + s, -3*s = -3*b - 0*s + 9. Suppose 3*j = -b*q + 39, 5*j - 35 - 22 = -q. Does 11 divide j?
True
Suppose -8 + 4 = -l. Suppose l*f + 23 - 71 = 0. Does 8 divide f?
False
Does 30 divide (2 - -4)/((-4)/(-82))?
False
Let w(t) be the first derivative of -t**5/20 + t**4/3 + 4*t**3/3 - 3*t**2 - 4*t + 2. Let n(s) be the first derivative of w(s). Does 7 divide n(5)?
False
Suppose 0 = 4*y - 2*b - 42, b = -4*b - 25. Is y a multiple of 4?
True
Suppose -l = l + 310. Let n = -85 - l. Suppose 2*b + n = 6*b + 5*m, -b - 4*m = -12. Is 10 a factor of b?
True
Let w(o) = 97*o**2 - 2*o - 1. Suppose 5*y = 5*u, 1 = -u - 3*u + 3*y. Let a be w(u). Suppose 3*d = a + 103. Is d a multiple of 23?
False
Let w be 2/((-6)/27*-3). Suppose -i = -6*i + 2*a + 47, 2*a = -w*i + 25. Is i a multiple of 9?
True
Suppose 5*b = 5*j + 15, j + 1 - 6 = -b. Suppose 0*c = -4*c + b. Is (-4)/c*(-44)/16 a multiple of 11?
True
Suppose -2*r - 12 + 32 = 0. Does 5 divide r?
True
Let c(u) = -10*u + 8. Let r be c(6). Is 14 a factor of 2/8 + (-1287)/r?
False
Let j(m) = 2*m**2 + 19*m + 1. Let i(c) = 7*c**3 + c**2 - c. Let u be i(1). Let q(r) = -3*r**2 - 37*r - 1. Let t(k) = u*j(k) + 4*q(k). Does 16 divide t(10)?
False
Suppose 349 = 5*q - 1071. Is 40 a factor of q?
False
Suppose t + 4*p - 4 = 3*p, 4 = 2*t - 2*p. Suppose -4*y + 85 = y - t*i, -4*i - 20 = 0. Is y a multiple of 7?
True
Suppose -n = 2*g - 68, n - 32 - 33 = -3*g. Suppose 0 = -3*z + i + 144, 4*z + 2*i = 108 + n. Is z a multiple of 18?
False
Let l = 2 - 2. Suppose 3*g + 2 = 4*t - 3, t + 2*g - 15 = l. Is t a multiple of 2?
False
Let v(h) = 2*h**2 - 3*h**2 - h + 10 + 0*h. Let m be (-1)/(-3) - (-3)/(-9). Is 10 a factor of v(m)?
True
Suppose 5*w + k + 4*k - 5 = 0, -5*w = -3*k - 5. Suppose 0*s + 5 = s. Let x = s + w. Does 6 divide x?
True
Suppose -5*p + 382 = -203. Suppose -3*y + 192 = -0*y. Let d = p - y. Is 20 a factor of d?
False
Suppose 51 + 361 = 4*c. Does 27 divide c?
False
Let t(w) be the second derivative of w**5/10 + w**4/8 + w**3/6 - 2*w. Let u(q) be the second derivative of t(q). Is 17 a factor of u(3)?
False
Let s be 1/4 - (-17)/(-4). Let n = -4 - s. Is 6/((2 - n)/2) a multiple of 3?
True
Suppose 2*y + 2 = y. Let p(s) = 6*s**2 + 3*s + 5. Does 11 divide p(y)?
False
Let d(x) = -x**2 + 5*x. Let h be d(4). Let l(z) = -13*z**2 + 12*z - 1 - 22*z - z**3 + h*z**2. Is 15 a factor of l(-8)?
True
Let y(t) = t**2 + 8*t - 10. Let v be y(-9). Let g(d) = -16*d**3 - d**2 - 2*d - 1. Is 16 a factor of g(v)?
True
Let r(f) = f**3 + 5*f**2 + 4*f + 2. Suppose 20 = 5*z, 2*t + 3*z - 3 = 1. Let i be r(t). Suppose i*w + 20 = o, 2*o - 3*w = -2*o + 95. Is o a multiple of 10?
False
Let m(u) = 53*u - 2. Is m(1) a multiple of 11?
False
Suppose -r = 8 - 24. Let f = 26 - r. Is 10 a factor of f?
True
Let k = -1 + 3. Suppose m = -k*m + 36. Is 12 a factor of m?
True
Let u be (-1 + 3)/(4/6). Let q = -20 + 61. Suppose -u*t = -8*t - 3*b + q, 2*b = 4. Is 7 a factor of t?
True
Suppose -5*w = -10*w + 470. Suppose 53 = 3*y - w. Is 18 a factor of y?
False
Is (-3)/1 - (3 - 255) a multiple of 10?
False
Let v(u) = 2*u**2 - 9*u - 8. Is v(7) a multiple of 6?
False
Suppose 2*d - 325 = -3*d - 3*s, 83 = d - 3*s. Does 34 divide d?
True
Let p = 4 - 6. Let b be -1 - (2 - 3)*p. Does 7 divide ((-33)/9)/(1/b)?
False
Suppose 2*m = -m - 4*h + 84, -84 = -3*m - h. Is 14 a factor of m?
True
Suppose 0 = -2*p + 6*p - 44. Is p a multiple of 3?
False
Suppose 5*y = 3*l - 393, -4*y - 118 = -l + 6. Does 12 divide l?
False
Let b(l) = -l**3 - 7*l**2 - 7*l - 3. Suppose 0 = -3*n - 2*n - 25. Let z be b(n). Is 16/(-3)*z/4 a multiple of 12?
True
Let u(w) = -w**3 - 10*w**2 - 2*w - 10. Let t be u(-10). Let a = 53 + t. Does 25 divide a?
False
Let b = -1 - -26. Is b even?
False
Suppose -3*f - 4*q - 25 + 59 = 0, -3*q + 33 = 3*f. Is 9 a factor of f?
False
Suppose -3*r + 22 - 1 = 0. Let n be 16/(-7) + 2/r. Is 13 a factor of (-6 - -