 w?
False
Let y = 70 + -49. Let h = 11 - y. Is (-362)/h - 3/15 a multiple of 18?
True
Let w = -8 - -12. Suppose -w*l + 93 = -l. Is 24 a factor of l?
False
Let k(j) = 2*j + 4. Let a be k(-11). Let f = a - 16. Let v = f - -69. Is v a multiple of 23?
False
Let o(p) = p**3 + 10*p**2 - p + 7. Let z be o(-10). Suppose 4*x + z = 2*m - 11, -2*x = 4*m - 76. Is m a multiple of 8?
False
Suppose 0 = l - 3 - 6. Let d(u) = 2*u + l*u**2 - 4*u + u. Is 4 a factor of d(-1)?
False
Suppose 8*c - 9*c + 26 = 0. Does 13 divide c?
True
Let i(s) = -2*s - 11*s**2 + 10*s - 12 - s**3 + 2*s**2. Does 6 divide i(-10)?
False
Let r(y) = y**2 - 11*y. Is r(15) a multiple of 6?
True
Suppose 2*c = 6*c - 8. Suppose -c*z + 21 = -31. Is 16 a factor of z?
False
Let f(o) = -1 - 2 + 4 - 6 - 2*o. Let x be f(-4). Suppose -x*h = -4*h + 3. Does 2 divide h?
False
Let z(v) = -5*v**3 - v**2 - 2*v. Let t(l) = l**3. Let w(x) = -3*t(x) - z(x). Is w(2) a multiple of 6?
True
Let q = -5 + 3. Let i = q + 17. Is 5 a factor of i?
True
Let l be (0 + 1)*(13 + 0). Let a be (6 - 6)/(0 + 1). Let g = a + l. Does 8 divide g?
False
Let x be 6/(-2) - (-6)/(-6). Let o = 18 + x. Does 11 divide o?
False
Let a = -376 + 556. Is a a multiple of 15?
True
Suppose -2*u - 32 = 2*u. Let b(z) = -z**2 - 8*z + 5. Let d be b(u). Suppose 0 = -0*q - 5*q, d*m - 3*q - 70 = 0. Is m a multiple of 9?
False
Suppose 3*g = -44 + 194. Is 25 a factor of g?
True
Suppose h - 2*l - 3*l = 11, -2 = -h - 4*l. Suppose -h*v + 15 = -3*v. Is v a multiple of 4?
False
Suppose 8 = -x + 5*s, 38 = 3*x + 4*s + 5. Is 7 a factor of x?
True
Let g(u) = u**3 - 7*u**2 + 11*u - 5. Is 24 a factor of g(7)?
True
Let k be 1*-2*10/(-4). Let a be 1/2 - (-1)/(-8)*4. Suppose a*v = k*v - 15. Is v a multiple of 2?
False
Let b(y) = -4*y**2 - 2 - 2 + 5 + 6*y**2. Is b(3) a multiple of 5?
False
Let j(x) be the third derivative of -x**5/60 + 3*x**4/8 + x**3/3 + 3*x**2. Let v be j(9). Let i = v + 15. Does 10 divide i?
False
Let v(r) = 11*r**3 + r**2 - r. Let k(p) = -10*p**3 + p. Let d(j) = 3*k(j) + 2*v(j). Let y(x) = -x**3 - 3*x**2 + 4*x - 1. Let g be y(-4). Is 9 a factor of d(g)?
True
Let z(b) be the third derivative of b**5/60 + b**4/8 + b**3/3 - b**2. Is z(-5) a multiple of 6?
True
Let s = 33 + -16. Suppose s*q - 13*q - 120 = 0. Is q a multiple of 15?
True
Let n be (12/15)/((-2)/(-5)). Let p be -1 - ((2 - 2) + -40). Suppose 5*f - 4*o - p = 0, 5*o - 3 = -n*f + 6. Is f a multiple of 6?
False
Suppose -121 = -4*g - 61. Is 15 a factor of g?
True
Let g be (-562)/10 + (-1)/(-5). Let z = 5 + g. Let m = -21 - z. Is 15 a factor of m?
True
Suppose -5*v = 4*h - 5*h - 11, -3*h = v - 15. Is v a multiple of 3?
True
Is 5 a factor of -2 + (-2 - -3)*37?
True
Let r be (-4)/(-18) + 40/(-18). Is 24 a factor of r - -25 - (0 + -1)?
True
Let n(g) = g**3 + 2. Let z = 3 + 1. Is 17 a factor of n(z)?
False
Let m(s) = -5*s**3 - s - 1. Let j be m(-1). Suppose -3*z = 2*x - 42, -j*x + 2*z + 20 = -47. Is x a multiple of 15?
True
Does 26 divide 4/((-3)/(-39) + 0)?
True
Let n(u) = -6*u - 4. Let l be n(-4). Let m(d) = -d**2 + 4*d + 3. Let x be m(-1). Does 4 divide (l/8)/(x/(-4))?
False
Suppose 0 = -2*y + w + 234, 114 = -2*y + 3*y - 2*w. Is 24 a factor of y?
False
Let o(f) = -18*f**2 + f + 2. Let s be o(2). Let p = s + 96. Is p a multiple of 17?
False
Let g(t) be the first derivative of -t**4/4 - 4*t**3/3 + 3*t**2/2 + 11*t + 4. Is 10 a factor of g(-5)?
False
Suppose 0 = 4*l + 6 - 2. Let r(b) = -4*b**3 + b**2 + 2*b + 1. Let o be r(l). Suppose y = -o*y + 75. Is y a multiple of 5?
True
Let j = 57 + -31. Is 8 a factor of j?
False
Let o = -100 - -25. Suppose 0*f + 25 = -5*f. Is 10 a factor of ((-16)/(-10))/(f/o)?
False
Suppose -w - d - 3 = -2, -10 = -5*w - 2*d. Suppose 114 = -w*s + 486. Suppose 16 = c + 4*t - 15, -3*c - t + s = 0. Is 12 a factor of c?
False
Let q = -2 + 3. Let u(k) = 4*k**3 - 3 + 3 + 1. Is 5 a factor of u(q)?
True
Let h be (-15)/4 + 7/(-28). Let w(g) = g**2 + g - 1. Is w(h) a multiple of 5?
False
Let f = -106 - -36. Let t be ((-14)/(-21))/(4/(-282)). Let q = t - f. Is 7 a factor of q?
False
Suppose 4*n - 137 = -3*h, -4*n + 72 = h - 59. Let x = 4 + n. Does 13 divide x?
False
Suppose -2*d + 1 = -3. Let r = 2 + d. Does 17 divide r/((-12)/(-141)) - -1?
False
Let l = -12 - -28. Does 16 divide l?
True
Let q be (4/4)/1*2. Suppose 0 = -q*n - 4, 0*z + n - 39 = -z. Does 11 divide z?
False
Let y be 50/18 + (-6)/(-27). Suppose -d + 564 = y*d. Suppose 0 = -3*i - 3*x + d, 4*x - 85 = -2*i + 5*x. Is 15 a factor of i?
False
Is (-2)/3 + 245/3 a multiple of 30?
False
Suppose 35 = g - 0. Is 24 a factor of g?
False
Suppose 3*i = -i + 2*z + 502, 0 = -3*z + 9. Is 9 a factor of i?
False
Let o(k) = -k**3 - 8*k**2 - 2*k + 6. Let z be 104/(-16) + 3/(-2). Is 11 a factor of o(z)?
True
Suppose -3*i + 0*i = -30. Suppose -3*x + x = 5*q - 20, i = 4*x - 5*q. Is x a multiple of 5?
True
Suppose -m - 3*g = -1, -3*m - 14 = -5*m - 3*g. Suppose -3*t + 50 + m = 0. Does 21 divide t?
True
Suppose 0*i - 4*i = -100. Let b be 25*1*(-10)/i. Let u = b + 16. Is u a multiple of 6?
True
Let h = 7 - 5. Suppose 5*m + h*c - 84 = 9, 3*m - 3*c - 60 = 0. Does 9 divide m?
False
Suppose -4*h + 178 = 3*l - 161, 421 = 5*h + l. Is h a multiple of 21?
True
Does 6 divide (27/(-4))/(6/(-32)) + -3?
False
Let b = 99 + -58. Let n = b - 28. Is n a multiple of 13?
True
Does 25 divide -21*28/6*-2?
False
Let h = 27 - 13. Is 6 a factor of -19 + 21 + 2*h?
True
Let y(w) = -5*w - 44. Is y(-16) a multiple of 6?
True
Let q(w) = w**3 - 2*w**2 - 11*w - 3. Is 33 a factor of q(7)?
True
Suppose 31 = -3*n + 5*b, -2*b = 3*b - 10. Let y(o) = o + 2*o - 4*o. Does 2 divide y(n)?
False
Suppose -74 = -u + 7. Suppose 0*p = -3*p + 3*l + u, 3*p - 102 = -4*l. Suppose 3*d - 9 = 0, 0 = -3*h + h - 2*d + p. Is h a multiple of 6?
True
Suppose -3*z + 0 = -9, z + 37 = 5*i. Is 3 a factor of i?
False
Let d = 1 + -2. Let r be -2 - 1/(-1) - d. Suppose r*g - 3*g + 26 = -5*z, 3*g + 4*z = 44. Is 12 a factor of g?
True
Suppose -40 = 4*s - 16. Let g(i) = 2*i**3 + 8*i**2 - 25*i - 11. Let p(v) = -v**3 - 4*v**2 + 12*v + 5. Let a(l) = 3*g(l) + 7*p(l). Is 10 a factor of a(s)?
True
Let g be (-17)/(-4) - 3/12. Let l(r) = 15*r**2 + 1. Let w be l(1). Suppose g = 5*t - w. Is t a multiple of 4?
True
Let p(l) = 3*l. Let h be p(-11). Let y = h - -60. Is y a multiple of 9?
True
Suppose 2*j - a = 725, 3*a = j + 6*a - 345. Is j a multiple of 20?
True
Let r(v) = 5*v - 2*v + 15 - v - v. Is r(8) a multiple of 18?
False
Suppose 10 = -2*j, -3*n + n - 2*j + 30 = 0. Is 4 a factor of n?
True
Let m = 1 + 4. Suppose 5*i + m*p = 195, p + 75 = 5*i - 3*i. Does 19 divide i?
True
Suppose -4*f + 4 = 0, -2*f + 7*f - 85 = -5*j. Let g be 1/6 + 44/24 + 0. Suppose g*o - j = -0*o. Is o a multiple of 8?
True
Let u(j) = -4*j - 3. Let h be u(-2). Suppose 4*d - 51 - 53 = -3*x, 104 = 4*d - 2*x. Suppose -10 = 5*b, -2*n + n = h*b - d. Is n a multiple of 18?
True
Let o = -66 - -98. Is o a multiple of 8?
True
Let w = 0 + 3. Suppose -2*s + w*s = 5*b - 250, b + 3*s = 66. Suppose 4*k = 61 + b. Is 16 a factor of k?
False
Let a = 217 - 127. Let l = a - 45. Is 19 a factor of l?
False
Is 24 a factor of ((-15)/(-10))/(2/224)?
True
Suppose 4*s = 3*s. Let n(h) = 2 - 4*h - 2 + 2 + s. Is 12 a factor of n(-11)?
False
Suppose -3*r - 3 = 0, 4*p - 155 = -5*r + 160. Is 28 a factor of p?
False
Suppose 46 = 3*l + 10. Is 4 a factor of l?
True
Let w = -1 - -8. Is w a multiple of 7?
True
Suppose 0*o + 4*r + 188 = 2*o, 3*o - 4*r - 278 = 0. Does 31 divide o?
False
Let r = 704 + -381. Does 19 divide r?
True
Let f = 55 - -22. Is f a multiple of 10?
False
Suppose 5*k = 2 + 33. Suppose 0 = 4*r - z - 8, -2*z = -2*r - r + 11. Let c = k + r. Does 8 divide c?
True
Let s be ((-14)/6)/((-1)/3). Suppose 0 = 2*p - s*p. Suppose -5*k + 2*c + 59 = p, -k - 4*c = -9*c + 2. Does 6 divide k?
False
Let n = 62 - 40. Suppose -2*y = -3*y + n. Is 17 a factor of y?
False
Suppose -2*h - 2*p = -12, 4*h - 7 - 17 = -p. Is h a multiple of 3?
True
Suppose 779 = 4*x - 5*c, 60 = -2*x + 2*c + 448. Is x a multiple of 34?
False
Suppose 3*r + 2 = -s - 2, 6 = 5*s + 2*r. Suppose s*o = 4*o - 44. Is 8 a factor of o?
False
Suppose 0*i - 3*i + 27 = 0. Suppose i = 3*o - 6. Does 2 divide (2 - 2) + 10/o?
True
Does 30 divide (-26)/(-39)*594/4?
False
Suppose -3*y + 276 = -3*f, 4*f + 113 = 5*y - 344. Is y a multiple o