w + w = -d - s, w + 3 = d. Suppose -3*t - 2 = 3*z + t, z - 2*t - 16 = d. Does 3 divide z?
True
Suppose 2*j + 6 = u, -3 + 1 = j. Suppose -2*b + b + u = 0. Suppose a = -5*g + 358, -2*g - a + b*a + 139 = 0. Does 18 divide g?
False
Let q(g) = 2*g + 6. Let k = 3 - 9. Let l be q(k). Let i(j) = -j + 5. Is i(l) a multiple of 6?
False
Is 14*(10/35 + -3 - -3) a multiple of 4?
True
Let m = 124 - 75. Does 11 divide m?
False
Let i be 5/10 + 85/(-2). Let w be -1 - 1 - i - 2. Suppose -3*l + 12 = 0, 5*t - 41 = -l + w. Is 11 a factor of t?
False
Let y be 88/(-14) + (-12)/(-42). Is 11/(-2)*(y + 4) a multiple of 11?
True
Suppose -1480 = -8*x - 2*x. Is 30 a factor of x?
False
Suppose 0 = 3*b + 2*m - 20, 4*b = -5*m + 34 + 2. Suppose 0 = -b*q + 5*q - 149. Suppose -o + 0*o + 2*x + 32 = 0, -x = 5*o - q. Does 12 divide o?
False
Let h(v) = 2*v**2 - 6*v - 4. Let a be h(6). Suppose -46 = -3*x + l + a, -2*l + 130 = 5*x. Does 13 divide x?
True
Suppose 1224 = 4*t - 3*z, 2*t - 5*z + 10*z - 586 = 0. Is t a multiple of 27?
False
Suppose -f - h + 11 = 0, -f + 2*h - 1 + 6 = 0. Let y(o) = 0*o**3 - 5*o - o**3 + 8 - 2 + f*o**2. Is 15 a factor of y(8)?
True
Suppose 6*m = 4*m + 204. Is m a multiple of 14?
False
Suppose 5*l - 5 - 15 = 0. Suppose -49 = l*h - 169. Does 14 divide h?
False
Let c be (5/(-10))/((-2)/12). Let u(r) = 5*r + 2*r - 10 - c*r + r**2. Is u(-8) a multiple of 19?
False
Let a be (108/(-20))/(1/(-5)). Let k = a - -20. Is k a multiple of 13?
False
Let f(c) = c**3 - 3*c**2 + 4*c + 3. Is f(4) a multiple of 9?
False
Suppose 2*x - 41 = 37. Is 13 a factor of x?
True
Let p(n) = 19*n**2 - n. Let z be p(-1). Suppose -3*w + 5*w - z = 0. Is 276/w - 6/(-15) a multiple of 14?
True
Let z = 36 - 28. Is z a multiple of 2?
True
Let h be (-1)/(2/(-18) - 0). Let p = h - 5. Let t(y) = 2*y + 3. Does 10 divide t(p)?
False
Suppose -5*y + 154 = n, 5*n - 4*n - 4 = 0. Is y a multiple of 30?
True
Let s(p) = -4*p + 4. Is s(-9) a multiple of 10?
True
Let f be (-6)/6*(-27 - 1). Suppose -f - 57 = -5*i. Is i a multiple of 6?
False
Suppose p - 24 = -2*p. Suppose -5*m = -2*y - m + p, 4*m = 12. Does 4 divide y?
False
Suppose -w + 3*w = 170. Suppose 2*b + 1 = w. Does 10 divide b?
False
Let w(v) = 62*v**3 - v**2 + 5*v - 5. Is 14 a factor of w(1)?
False
Let n = -67 - -115. Is 19 a factor of n?
False
Let v = 123 - 53. Is 16 a factor of v?
False
Does 21 divide (42/4)/((-20)/(-280))?
True
Let f(m) = m - 2. Let c be f(5). Suppose -5*q + 20 = 2*p, -p = 4*q - c*p - 16. Is 6 a factor of q - (-1)/((-3)/(-6))?
True
Let a = -2 + 4. Suppose -18 = -3*j + 3*h, 0 = -j + 4*h + 8 - a. Does 3 divide j?
True
Let n = 52 + -29. Does 4 divide n?
False
Let n be 2 + 0/(6/(-3)). Suppose -6*s + 120 = -n*s. Is s a multiple of 20?
False
Let g(f) = -f**2 + f + 10. Let r be g(0). Suppose r = 3*p + 2*p. Is (5/(-10))/(p/(-20)) a multiple of 2?
False
Let t(r) = 31*r - 8. Let z = -6 + 9. Is 25 a factor of t(z)?
False
Let h be -4*(-1 + 12/(-16)). Suppose z + 3 = 2*z. Suppose 4*w - j = 26 - h, 5*w + z*j - 28 = 0. Is 5 a factor of w?
True
Let n(x) = x**2 - 2*x**2 + 4*x + 3*x + x + 9. Does 7 divide n(8)?
False
Suppose 0 = -0*b + 5*b - 25. Suppose b*g = 4*g + 2*p + 16, -20 = -5*p. Is g a multiple of 12?
True
Suppose 12*f - 415 = 7*f. Is 14 a factor of f?
False
Let n(h) = h**3 + h**2 - h + 44. Let s be n(0). Let w be 8/s - (-31)/11. Suppose -w*q + 2*y + 5 = -26, 8 = -4*y. Does 4 divide q?
False
Let f = 70 + -2. Does 8 divide f?
False
Let x(q) = -q**2 + 9*q + 10. Let g be x(10). Suppose b + y + 1 = g, 4*y + 2 = -5*b - 0. Is 16 a factor of (-3)/(-9)*b*24?
True
Suppose 4*s = -g + 607, -780 = -5*s - 0*g + 3*g. Is 17 a factor of s?
True
Let t(g) = -8*g + 2*g - 3 + 1. Is 10 a factor of t(-2)?
True
Let w(o) = 8*o - 3. Let l be (-18)/(-8) - 1/4. Is 13 a factor of w(l)?
True
Let z(u) = -u**2 - 8*u + 9. Let l(j) = 2*j**2 + 23*j - 26. Let h(b) = -6*l(b) - 17*z(b). Suppose -2*v + 1 = -i - v, -5*i + 3*v + 1 = 0. Does 9 divide h(i)?
False
Suppose 0 = g - 4 - 8. Is g/72 - (-394)/12 a multiple of 11?
True
Suppose 5*u - 54 = -14. Let v = -9 + u. Let t = 4 - v. Is 3 a factor of t?
False
Let k(l) = 6*l + 198. Is 34 a factor of k(0)?
False
Let a = 35 + 17. Is (3/2)/(6/a) a multiple of 4?
False
Is (-246)/(-4)*((-30)/(-18) - 1) a multiple of 14?
False
Suppose 0*i - 6 = -i. Let m = -7 - -5. Let h = m + i. Is 4 a factor of h?
True
Let u(v) = -3*v - 3. Let l = -5 - 0. Is 12 a factor of u(l)?
True
Is 11 a factor of (-632)/(-9) + (-16)/72?
False
Suppose -h + 27 = 4*i, 0 = 2*i + 2*h - 7*h - 19. Let k(f) = -1 - 3*f**2 + 2*f**2 + 10*f - 4. Is 10 a factor of k(i)?
False
Let r(i) = -i - 7. Let u be r(-3). Let x = u + 4. Suppose x = -c + 3*c - 58. Is c a multiple of 16?
False
Let b = -32 + 49. Suppose 7 = -5*j + b. Is j even?
True
Let c(g) = -g**2 - 13*g + 6. Is c(-12) a multiple of 6?
True
Suppose -6*m = -3*m. Suppose 3*j + m*j - 9 = 0. Suppose -39 - j = -g. Is 19 a factor of g?
False
Let r be (-2)/3*(0 + -3). Suppose -3 = -k - r. Does 13 divide k - (-15 + (3 - 0))?
True
Let w = -2 - -4. Let g be (-320)/(-15) - w/6. Does 9 divide 6/g - (-122)/14?
True
Suppose 4*p + 20 = 4*r, -2*p = -4*r + 7 + 5. Let o = -11 + r. Is 13 a factor of (-452)/o + (-1)/5?
False
Let r(h) = h**2 + 2*h. Let z be r(-3). Let c be ((-3)/(-3))/(3/9). Is 8 a factor of (c + z/3)*2?
True
Suppose -2 = -2*t + 2. Suppose t*d - 64 = d. Is 16 a factor of d?
True
Let o = 76 - 46. Is o a multiple of 8?
False
Let i(g) = -g + 6 + g**3 + 0*g**3 - 9. Is i(3) a multiple of 21?
True
Let z be (-1 + -3)/(-4)*5. Suppose -z*w + 210 = -0*w. Does 14 divide w?
True
Let c(a) = -a**3 + 7*a**2 + 8*a - 4. Let w be c(8). Let p(g) = -g**3 - 5*g**2 - 6*g - 2. Does 4 divide p(w)?
False
Let s = 2 - 0. Suppose q = -s*q. Suppose b - 2*b + 57 = q. Is 20 a factor of b?
False
Let x(b) = 3*b - 10. Let f(a) = a. Let y(m) = -6*f(m) + x(m). Is y(-11) a multiple of 17?
False
Let l be (-28 + -2)*(-12)/15. Suppose l = x - 4*b, 8 = 2*x - 4*b + 6*b. Is 7 a factor of x?
False
Suppose 2*r - 28 + 4 = 0. Suppose -r = -2*v + 30. Is 21 a factor of v?
True
Let j = -33 - -53. Is 8 a factor of j?
False
Let h = -44 + 259. Is 30 a factor of h?
False
Let z(x) be the third derivative of x**5/60 + 7*x**3/6 - x**2. Let j(m) = m**3 + 7*m**2 - 7*m + 3. Let c be j(-8). Is z(c) a multiple of 12?
False
Let v(l) = 8*l**2 + 1. Let b be (-1)/2 - (-45)/10. Suppose b*i = 2*i + 2. Is v(i) a multiple of 9?
True
Let k(g) be the third derivative of g**5/30 - g**4/2 + 2*g**3/3 + 2*g**2. Let m(n) = n**2 - 12*n + 4. Let i(j) = -2*k(j) + 3*m(j). Does 12 divide i(-10)?
True
Let y be (-2)/(-8) - (-105)/28. Suppose -4*i + 3*d = -i - 42, -i = -y*d - 20. Is i a multiple of 12?
True
Is (7/(-1))/((-2)/6) a multiple of 7?
True
Suppose 5*u = 4*q + 78, 4*u - 7 = q + 62. Suppose 4*l = -3*n + u, 7 = 2*l + 1. Is 2 a factor of n - -2 - (3 + -1)?
True
Let l(x) = -24*x**3 - x - 1. Let d be l(-1). Let j = 14 - d. Is (j/(-1))/(2/1) a multiple of 5?
True
Let q be 9 - 3*(-3)/(-9). Suppose 5*x = 5*a - 155, -q - 3 = -a + 5*x. Does 15 divide a?
False
Let s(g) = -g + 1. Let q(p) = p + 20. Let v(r) = -q(r) + 4*s(r). Is v(-11) a multiple of 13?
True
Let u be 4/2 + 0 - -2. Suppose 2*t - u*t = -50. Is 10 a factor of t?
False
Let p(t) = -t + 14. Let b be p(14). Suppose 4*h - 304 - 24 = b. Is h a multiple of 18?
False
Let c(j) = -j - 1. Let p be c(-7). Let m be 3/(-2)*(-16)/p. Suppose m*s + s - 29 = 4*t, -3*s + 3*t = -18. Does 4 divide s?
False
Suppose 0 = q + 1, -5*n + 148 + 144 = 3*q. Is n a multiple of 11?
False
Let q(t) = -18*t**2 - 12*t + 12. Let z(d) = -d**2 + d - 1. Let c(f) = -q(f) - 12*z(f). Is 11 a factor of c(1)?
False
Let g(j) = j + 10. Let m be g(-6). Is 3 a factor of 11/4 + m/16?
True
Suppose 13 = 8*b - 83. Is 12 a factor of b?
True
Let k be (-2)/(-6) - 20/(-12). Suppose -4*a + 101 + 87 = 0. Suppose a = k*n - n. Does 16 divide n?
False
Suppose 0 = z + i - 6*i - 77, -5*z - 3*i = -301. Is 18 a factor of z?
False
Suppose 0 = -5*p + 121 + 279. Is 40 a factor of p?
True
Let n(s) = -s**3 + 11*s**2 + 11*s + 17. Is n(12) a multiple of 5?
True
Let w(x) = 9*x**3 + x**2 - 1. Let s be w(-1). Is (-48)/9*s/4 a multiple of 4?
True
Let z(a) = -a**3 + 8*a**2 + a - 4. Let i be z(8). Suppose -i*w = -w - 12. Suppose -48 = -4*b + w*l, -5*b + 2*b - l = -44. Is b a multiple of 14?
True
Suppose -4*w - 36 = -w. Let d =