et h = 12 + -5. Let l = h + a. Is l a multiple of 16?
True
Let u(n) = -5*n - 1. Let l be u(1). Let s be (10/(-4))/(l/12). Suppose s*r = 2*r + 78. Is 12 a factor of r?
False
Let v be (-30)/40 + (-6)/(-8). Suppose v = -2*n + 11 - 5. Is 20 a factor of ((-2)/(-4))/(n/336)?
False
Suppose -j + 111 + 313 = 0. Suppose x = -3*x + j. Suppose -t + 2*v = t - 48, 4*t - x = -v. Does 26 divide t?
True
Suppose 0 = -2*h - 8, -g = 4*h - 2 + 8. Is 5 a factor of g?
True
Let r(i) = -14*i**2 + 8*i - 2. Let b(x) = -x**2 + x. Let w(z) = 4*b(z) - r(z). Is 17 a factor of w(2)?
True
Let t(n) = 2*n + 4. Let k be t(-4). Suppose 0*y - y + 4 = 4*q, -y + 3*q - 3 = 0. Let z = y - k. Does 4 divide z?
True
Let w = 20 + -10. Is 5 a factor of 206/w + (-42)/70?
True
Suppose 3*j + 20 = 7*j. Suppose -4*i = j*y + 85, -2*i + i - y = 22. Let r = i + 35. Is r a multiple of 10?
True
Let q = -48 + 68. Let c = q - 7. Is 6 a factor of c?
False
Suppose -9*y + 443 - 173 = 0. Does 2 divide y?
True
Suppose 3*x - 5 = -r, -3*r = -3*x - 6*r - 3. Let f be -1 + x - -4*1. Let i = f + -3. Is i a multiple of 3?
True
Suppose 2*s - 8 = s + 5*l, 2*s - 44 = -4*l. Suppose -45 = -5*m + o, 0*o = m - 2*o - s. Suppose -12 - m = -2*c. Does 5 divide c?
True
Let n(s) = 2 + 6*s - 4*s - s. Suppose -3*o - 10 = -8*o. Is n(o) a multiple of 4?
True
Let r(t) = -t**3 - 4*t**2 + 3*t + 3. Let i be r(-3). Let y = 24 - i. Suppose -6 = -3*k + y. Is 12 a factor of k?
False
Suppose 6*i + 15 = i - 5*h, 0 = -2*h - 6. Let v(p) = -p**3 + 6*p**2 + 4*p. Let q be v(6). Suppose -2*n + q = -i*n. Is 8 a factor of n?
False
Let n(j) = j**2 + 10*j - 4. Let z be n(-10). Let t be 0/(2 + z + -1). Suppose -3*l + 7 = -t*l + 4*u, -3*l = -u - 17. Is l a multiple of 2?
False
Let u = 3 - -1. Suppose 0 = q + u*d - 19, -3*q - 3*d = -6*q + 27. Is q a multiple of 11?
True
Let z = 67 - 43. Does 4 divide z?
True
Suppose 5*g = -5*y - 30, -10 = 4*y - 3*g - 0*g. Does 2 divide (-1 + -2)*4/y?
False
Let v(d) = -2*d - 3. Let t be v(-2). Let f be (-3)/3 + (-2 - -4). Let q = f + t. Does 2 divide q?
True
Let h be -6*(2 + 7/(-3)). Suppose h*l = -t + 27 + 1, 3*t - 2*l = 92. Does 30 divide t?
True
Let n = 11 + -8. Let x(c) = c. Let l be x(4). Suppose 5*t = l*o - 16, -2*o + 7*o + n*t = 57. Does 5 divide o?
False
Let u(o) = 10*o**2 - 3*o - o**3 + 2 - 4*o + 4. Let r be u(9). Suppose 0 = 2*a - 6*a - 2*k + r, 5*a - 30 = 5*k. Does 3 divide a?
True
Suppose 23*z + 74 = 25*z. Is 21 a factor of z?
False
Let v(x) = -x**3 + 7*x**2 - x - 3. Is v(6) a multiple of 9?
True
Let j = 5 - -7. Is 21 a factor of j/(-6) - 1*-29?
False
Suppose w + 13 - 57 = 0. Does 22 divide w?
True
Suppose 2*i = 7*i. Suppose -2*p + i*p + 70 = 0. Does 5 divide p?
True
Suppose 371 = 4*h - 333. Is 11 a factor of (h/12)/((-1)/(-3))?
True
Suppose -4*l = -0*l - 152. Let s = 56 - l. Does 16 divide s?
False
Let m = -42 + 102. Does 30 divide m?
True
Let z = 96 - 68. Suppose 8*w - 4*w = z. Is 4 a factor of w?
False
Let p(w) be the third derivative of -w**7/5040 - w**6/720 + w**5/30 + w**2. Let h(g) be the third derivative of p(g). Does 3 divide h(-6)?
False
Is 6 a factor of 39/(-65) + (-2079)/(-15)?
True
Let c = -23 + 33. Is 5 a factor of c?
True
Suppose x + 2*n - 54 = 0, -x - 5*n = -3 - 45. Suppose -3*s + 2*c + 94 - 11 = 0, -2*s + x = -4*c. Suppose 3*h = -4*w + 120, -w - h + s = -2. Is 12 a factor of w?
False
Let m be -2 - (-229 - -1)/2. Suppose 3*w + w = m. Let g = w - 3. Is 18 a factor of g?
False
Let r(c) = 12*c**2 - 2*c - 1. Suppose 0 = 3*q + q + 4. Is 13 a factor of r(q)?
True
Let g be (-63)/(0 - 1) - 0. Suppose -3*b + 0*b + g = 0. Does 7 divide b?
True
Let s = -143 + 240. Is s a multiple of 7?
False
Let o(c) = -2*c**2 + 4*c - 2. Let j(x) = x - 1. Let n(p) = 4*j(p) - o(p). Does 15 divide n(5)?
False
Suppose -3*y + 17 = -2*y. Let v = y - -9. Is v a multiple of 26?
True
Let u be 4/(-6) + (-1504)/(-6). Let a(c) = -c**2 - 15*c + 36. Let j be a(-17). Suppose j*n + 1 - 105 = 3*q, u = 5*n - 5*q. Is 16 a factor of n?
False
Suppose -79 = -5*r - 4*c, 0*r - r - 2*c = -17. Suppose -5*q + 3*w - w = -r, q = -w + 3. Is q even?
False
Suppose -3*x + 0 = -9. Suppose -3*w = x*u + u, -4*u + w + 16 = 0. Is u even?
False
Let t = -4 - -3. Is 0 + (-1 - (t - 10)) a multiple of 10?
True
Suppose -t - t = -5*v + 16, -5*v + 4*t + 22 = 0. Let m be 1/(-2)*v*-3. Suppose -m*f + 0*f + 135 = 0. Is f a multiple of 17?
False
Suppose 16 = y - 53. Suppose 3*z = 6*z + y. Let m = z + 51. Does 14 divide m?
True
Suppose 5*a + 0*a = -290. Let i = a - -150. Is 5/(-2)*i/(-10) a multiple of 8?
False
Let w = 8 + -3. Suppose 3*z - z - 2*u = 46, -w*z - 3*u + 83 = 0. Is 19 a factor of z?
True
Suppose -u + 5 = 4*q - 77, 3*u + 5*q = 211. Does 5 divide u?
False
Suppose 4*l + q + q - 56 = 0, -2*q + 17 = l. Suppose -3*y + 20 = -l. Does 5 divide y?
False
Suppose -2*l = -7 - 3. Suppose -4*v - 2*q = -2*v, 3*v - 4*q - 35 = 0. Suppose u = v*u + d - 28, -20 = -l*d. Is u a multiple of 3?
True
Suppose -f = 3*f - 304. Does 17 divide f?
False
Suppose i = -0*o - 2*o - 4, o + 11 = 4*i. Suppose -i*p - 37 = n - 2*n, 0 = -n - 5*p + 44. Does 14 divide n?
False
Let f(z) = z - 2. Let k be f(6). Suppose 3*y - y - k = 0. Suppose 3*j - 18 = y*j. Does 18 divide j?
True
Let s = -20 + 65. Is 9 a factor of s?
True
Let j be (-1)/(-3*2/(-48)). Let d(i) = i**3 + 9*i**2 + i - 7. Is d(j) a multiple of 27?
False
Suppose 0 = -s + 4 - 5, -3*l + 2*s = 142. Let m = 90 + l. Does 21 divide m?
True
Suppose -l = 4*l - 4*r - 23, -7 = l + 5*r. Suppose l*u = 2*p - 0*p + 105, -5*u + 3*p = -175. Does 15 divide u?
False
Let c = 25 + 47. Does 24 divide c?
True
Suppose f = 3*f - 84. Does 37 divide f?
False
Does 5 divide 3/(-15) + 46/5?
False
Let r(i) be the second derivative of -i**5/20 - i**4/2 + 7*i**3/6 + 9*i**2/2 - 3*i. Is 9 a factor of r(-7)?
True
Let t(v) = 65*v - 2. Does 7 divide t(1)?
True
Does 25 divide ((-219)/2)/3*-2?
False
Suppose 0 = 2*b - 4*f - 8, 4*b + 5*f - f = 16. Let y(u) = 1 - u + b - 2. Is 10 a factor of y(-7)?
True
Suppose 0 = q - 1 - 2. Suppose 52 = -q*w + 169. Is 13 a factor of w?
True
Let u be 9/15 + (-122)/(-5). Suppose 4*b - b = -2*c + u, 3*c = -4*b + 40. Is c a multiple of 10?
True
Suppose -108 + 13 = -f. Suppose -4*w + w = -2*c - 7, -3*w + c + 5 = 0. Suppose -w = -3*x + f. Does 16 divide x?
True
Let p(d) = -d - 8. Let n be p(-7). Let x be 23/(n - 0 - -2). Suppose -2*w = 3*u - 35, -x = -2*w - u + 10. Is w a multiple of 8?
True
Let t = 7 + -3. Suppose -t*i + 88 = -0*i. Does 13 divide i?
False
Let c = 19 - 14. Is c even?
False
Is 16 a factor of -1 + (3 - 2) + 3 + 66?
False
Suppose 0 = 2*p + 3*l - 20, 5*p - 6*l - 25 = -l. Let s be 4/6 + 1/3. Let i = p - s. Does 6 divide i?
True
Suppose 0 = 3*l - 41 - 7. Does 7 divide l?
False
Suppose 2 = 4*h - 2. Is (-24 + (h - 3))*-3 a multiple of 22?
False
Let r(l) = l**2 - 2*l + 25. Does 22 divide r(9)?
True
Let j(b) = b**3 + 12*b**2 - 11*b - 35. Is 23 a factor of j(-11)?
True
Suppose 3*p - 88 = -p. Let h = p - 7. Is 13 a factor of (h/2)/(2/8)?
False
Let r be (1 + -1 - 2) + -2. Let p be r + 5 + 1/(-1). Suppose p = -2*n + 4*n - 60. Does 16 divide n?
False
Let b(z) = z**2 + 2*z. Let x(f) = f**2 - 6*f + 7. Let i be x(5). Let q be b(i). Suppose 0 = -4*j + 2*j + q, 5*j - 70 = -2*n. Is n a multiple of 12?
False
Does 5 divide (-188)/(-8) + (-3)/(-2)?
True
Suppose -7*z + 42 = -4*z. Is 7 a factor of z?
True
Let j = -33 + 103. Does 14 divide j?
True
Let a(b) = -4*b + 0 + b + 2 + 2*b. Is 7 a factor of a(-5)?
True
Suppose 5*s + 4 = 3*s. Does 11 divide 4/s + (2 - -11)?
True
Does 2 divide 3/1 + (-20 - -29)?
True
Let h be 1 + (1 - 3) - -5. Suppose 5*x + 2*f + 27 = 0, 2*x - 9 = 3*x + h*f. Let t(v) = 2*v**2 + 5*v - 3. Does 9 divide t(x)?
False
Suppose -3*a = -4*a + 4, -r - 2*a + 279 = 0. Does 22 divide r?
False
Let g(l) = 5 - l - 3 + 0 + 2. Let k be g(0). Suppose 18 = -2*u + k*u. Is u a multiple of 3?
True
Let m(d) = -2*d**3 - 2*d**2 + d - 1. Suppose 3*j + 2*p + 2*p + 19 = 0, -j - 19 = -5*p. Let o = j - -6. Is 17 a factor of m(o)?
False
Let z(t) = -2*t**3 - 3*t**2 - 4*t - 2. Let b(p) = 3*p**3 + 6*p**2 + 9*p + 4. Let c(f) = 3*b(f) + 7*z(f). Is c(-2) a multiple of 28?
True
Let i(t) = t**3 - 4*t**2 - 2*t + 5. Let b be i(4). Does 9 divide (-1 - (b - -4)) + 22?
False
Let y(x) = x**2 + 17*x + 26. Let b be y(-13). Suppose 4*c + 305 = -c. Let q = b - c. Is 10 a factor of q