= -h. Is l a multiple of 7?
True
Suppose -w - a = -47, a + 37 = -0*w + w. Is 3 a factor of w?
True
Suppose m + 10 + 3 = 0. Let r = -9 - m. Suppose 2*s + 2*s - 80 = 4*x, 0 = 2*s + r*x - 16. Does 9 divide s?
False
Let f = -137 + 297. Is 20 a factor of f?
True
Suppose -l - 3*l - 3*c = 11, 2*l - 12 = 2*c. Let t = l - 1. Suppose t = 3*s + 12, 2*h + 36 = 4*h - 4*s. Does 10 divide h?
True
Suppose -3*a + 6 = -a. Suppose 6 = a*v - 9, -v = -4*q + 7. Does 12 divide q*5 + (-1 - -1)?
False
Suppose -2*w = -d - 33, 8 + 7 = 5*w. Let f = d - -59. Is f a multiple of 15?
False
Let h(j) = -j**3 + 7*j**2 + 6*j + 14. Let k be h(8). Let y(o) = -1. Let q(x) = -6*x - 3. Let b(a) = q(a) - 3*y(a). Is 6 a factor of b(k)?
True
Suppose -9*f + 261 = -6*f. Is 20 a factor of f?
False
Suppose 7*d = 4*d. Let b = 59 - 49. Suppose b*q - 5*q - 80 = d. Is q a multiple of 12?
False
Let u(a) = 2*a**2 + 220. Is u(0) a multiple of 44?
True
Is ((-40)/12)/((-5)/90) a multiple of 15?
True
Suppose -c - 5*t + 12 = 0, 0 = -3*c + 7*c + 4*t + 16. Let a be (-3)/4 - (-2)/c. Is 4 a factor of a/(-3) + (-64)/(-6)?
False
Suppose 5*b - 155 = -0*b. Suppose -3*v - 5*x - 56 = 0, 0*x + 2*x = -2*v - 36. Let m = b + v. Does 8 divide m?
False
Suppose 3*c = -0*c - 54. Suppose 0 = -5*o + 5*x - x - 16, -x = -4*o - 4. Is (o - c) + (-5)/5 a multiple of 9?
False
Suppose 2 - 3 = j. Let x(p) = -p**3 - 2*p**2 + 4*p - 1. Let c be x(-4). Is j - c/6*-10 a multiple of 12?
True
Suppose -3 = u - 4*f - 11, 3*u = -5*f - 27. Is 6*(10 - (u - -3)) a multiple of 22?
True
Suppose 23*s - 15 = 20*s. Does 5 divide s?
True
Suppose 4*q = 5*q + 1. Does 9 divide (20/(-16))/(q/36)?
True
Is (-18)/(-33)*29 - (-2)/11 a multiple of 5?
False
Let q(z) be the first derivative of -z**4/4 + z**3 + z**2/2 - 4*z - 2. Let f be q(3). Is 42/3 + (0 - f) a multiple of 7?
False
Let n(z) = z - 4. Let d be (2/3)/((-2)/(-12)). Suppose -3*u = 0, -i + 18 = 2*i - d*u. Is 2 a factor of n(i)?
True
Let g(m) = 30*m - 8. Let r be g(4). Suppose 4*c + r = 5*o, 4*c - 34 - 54 = -5*o. Is 7 a factor of o?
False
Let g = 21 + -11. Let f = -5 + g. Is f a multiple of 4?
False
Let u = 83 + 11. Let k = -2 + u. Is 27 a factor of k?
False
Let b(m) = 22*m**2 + 2*m - 1. Does 8 divide b(-2)?
False
Suppose -3*t = -4*t. Suppose t*i - 4*i + 36 = 0. Let h = 8 + i. Is 17 a factor of h?
True
Suppose 4*u = c + 133 - 3, 3*u - 3*c = 102. Is u a multiple of 32?
True
Let q(f) be the second derivative of -7*f**3/6 - f**2/2 - f. Let r be q(-1). Let m = 9 - r. Does 2 divide m?
False
Let g be 7/(-1 - (1 + -3)). Suppose -g*z + 250 = -2*z. Does 13 divide z?
False
Let h(d) = d**2 - d - 6. Suppose -25 + 7 = -3*w. Is h(w) a multiple of 6?
True
Is 12 a factor of -1 + (-2 - -3) + 3 + 69?
True
Suppose -2*i + 58 = -26. Is 7 a factor of i?
True
Let a = 213 + 0. Is 39 a factor of a?
False
Let s(z) = -z**3 - 18*z**2 - 25*z - 57. Does 14 divide s(-17)?
False
Let o(r) = 4*r + 13. Let b(u) = 9*u + 27. Let i(y) = -3*b(y) + 7*o(y). Does 12 divide i(14)?
True
Let d = -93 - -65. Let c = 39 + d. Does 8 divide c?
False
Let u(k) = 21*k - 3. Is u(3) a multiple of 12?
True
Let a = 66 - 27. Let z = -12 - -25. Let h = a - z. Does 13 divide h?
True
Let l = 7 + -5. Let o be l - (12/2 - -2). Let j = o + 37. Is j a multiple of 10?
False
Let c(g) = g**2 - 5*g + 3. Suppose -r - 4*h - 2 + 7 = 0, 10 = 2*r + 3*h. Let z be c(r). Suppose 17 = 2*j - 3*a, -2*j + 1 = z*a + 2. Is j even?
True
Let t(f) = -f + 11. Does 7 divide t(4)?
True
Suppose 192 = 3*b - 0*b. Does 17 divide b?
False
Let v = -36 + 64. Is 7 a factor of v?
True
Suppose 0 = 3*c - 17 + 8. Suppose -c*y = -4*b - 72, 2*b + 72 = 3*y - 3*b. Is 12 a factor of y?
True
Suppose -2*n - m = -639, -2*n - 2*n + 1284 = -4*m. Does 13 divide 1/5 - n/(-25)?
True
Suppose -124 + 64 = -v. Is v a multiple of 30?
True
Let v = -38 - -59. Suppose s + 11 = 2. Let a = v + s. Does 5 divide a?
False
Let o(g) = -25*g**2 - g + 1. Let y be o(1). Let n = y - -37. Does 7 divide n?
False
Let h = -11 + 14. Suppose 5*s - h*s - 50 = 0. Is s a multiple of 13?
False
Does 22 divide 128/6 + 20/30?
True
Suppose 0 = -8*s + 7*s + 9. Is s a multiple of 4?
False
Let u be (2 - -16)/3*8. Suppose -2*s = -0*s - u. Does 12 divide s?
True
Let r = -9 + 51. Is r a multiple of 13?
False
Let z(g) = -g**3 + 11*g**2 + 16*g - 9. Is 13 a factor of z(11)?
False
Let v = 358 - -40. Is 27 a factor of v?
False
Suppose -5*u = -24 - 11. Is 7 a factor of u?
True
Suppose -2 = -m + 1. Does 20 divide (368/12)/(2/m)?
False
Let a be ((-10)/(-6))/(2/6). Suppose a*v = 3*v + 30. Does 4 divide ((-24)/15)/((-6)/v)?
True
Suppose -2*x - 5*v + 115 = -46, -5*x - 4*v + 360 = 0. Is x a multiple of 12?
False
Let k(l) = -l**2 + 9*l + 4. Let i(b) be the second derivative of -b**4/12 - b**3 + 3*b. Let d be i(-4). Does 6 divide k(d)?
True
Suppose 17*q = -0*q + 306. Is q a multiple of 2?
True
Let m(u) = -7*u - 13. Is m(-7) a multiple of 9?
True
Let z(n) = -2*n - 8. Let q be z(-6). Suppose 0 = -5*v - q*k + 143, -2*v + 1 = -k - 51. Does 19 divide v?
False
Suppose -4*y + 179 + 165 = 0. Is y a multiple of 29?
False
Let z(i) = i - 13. Let s be z(8). Let p be (42/s)/3*5. Let u = 42 + p. Does 18 divide u?
False
Let h = 81 + 45. Is 15 a factor of h?
False
Suppose 0 = -a - 4*a + 15. Suppose j = -a*j + 96. Suppose 0 = -0*d + 2*d - j. Is d a multiple of 6?
True
Suppose r + 0 = -28. Let x be (-4)/14 + (-27)/(-21). Is ((-3)/6)/(x/r) a multiple of 7?
True
Let m = -3 + -3. Let x(v) = -v**2 - 7*v - 3. Does 3 divide x(m)?
True
Let a be (-2 - -2) + -1 + 21. Let n be 3/((-3)/a)*-1. Let d = -12 + n. Is d a multiple of 8?
True
Let g(f) be the third derivative of -f**4/24 + 7*f**3/6 + f**2. Is g(0) a multiple of 7?
True
Let f = 214 + -136. Suppose -5*w + f = c, w - 2*c = -3*c + 14. Does 16 divide w?
True
Suppose -5*t + 21 - 6 = 5*g, 0 = 4*g - t - 22. Suppose g*v - 6*v = -16. Does 6 divide v?
False
Suppose v + 10*v = 737. Is v a multiple of 20?
False
Let d = -25 + -4. Let w = -18 - d. Does 4 divide w?
False
Does 22 divide 36 - -6*(-5)/(-10)?
False
Let u(a) = -2*a - 9. Let f(l) = -2*l - 10. Let d(p) = -2*f(p) + 3*u(p). Let k be (-1)/(-2) + 52/(-8). Is 2 a factor of d(k)?
False
Let w = -71 - -132. Is w a multiple of 12?
False
Suppose -4*n - 11 = 1. Is (2 + -3)*(n - 0) a multiple of 2?
False
Suppose -29 = -5*p - 4*x, 4*p - 8 - 16 = -3*x. Is 6 a factor of p?
False
Let z(w) = -w**2 + 88. Let y be z(0). Suppose 0 = -2*t - t, -4*d - 5*t = -y. Does 22 divide d?
True
Let i(h) = -2*h**3 + 4*h + 5. Does 5 divide i(-2)?
False
Suppose 5*w - 179 = -29. Does 6 divide w?
True
Let l = -5 + 160. Is 31 a factor of l?
True
Suppose 5*f + 5 = -0*f. Is f*2/(3 + -4) a multiple of 2?
True
Let v = 55 + -28. Suppose 0*o + 3*i - v = -3*o, -2*o + 21 = -i. Suppose u + 0*u = o. Is 4 a factor of u?
False
Let b = -13 - -14. Is 37/b + 1 + -2 a multiple of 11?
False
Let x(a) = a + 10. Let c be x(-7). Suppose c*b = 4*b - 54. Is b a multiple of 23?
False
Suppose 5*b - 74 = -2*x, 2*x + 0*b + 3*b - 70 = 0. Is 4 a factor of x?
True
Let x = -77 + 127. Is 13 a factor of x?
False
Let a = -10 - -10. Let l(o) = -o**3 + o**2 + o + 24. Is 12 a factor of l(a)?
True
Suppose 20 = 2*v + 3*v. Suppose -v*w + 2*w - 2*t - 68 = 0, -3*w = -5*t + 118. Let m = -10 - w. Is m a multiple of 14?
False
Suppose 2*j - 2 = 4. Let r be 2 + 24/(9/j). Let q = r - 0. Is q a multiple of 10?
True
Suppose -3*o + 3*x = -141, -2*o - 2*x + 70 = -24. Suppose -125 = -2*s - o. Does 7 divide s?
False
Let x(q) = 3*q**3 - q**3 - 2 - 2*q**2 - 4*q - q**3. Does 9 divide x(4)?
False
Suppose 0*s = s - 70. Does 18 divide s?
False
Let h be (-272)/(-72) + (-4)/(-18). Suppose 23 = n - h. Does 9 divide n?
True
Let n = 3 + 0. Let f = 9 - n. Is 6 a factor of f?
True
Let z = 0 + 1. Let c = z - -2. Is c a multiple of 2?
False
Suppose i - 22 = -i. Is (-4 + i)/(2/8) a multiple of 10?
False
Suppose 8 = -0*n + 2*n. Suppose -x = 1 - n. Suppose x*q - 18 = -3*f, 3*f + 8 = 2*q - 4. Is 3 a factor of q?
True
Let u be 34/8 + (-5)/20. Does 22 divide ((-21)/(-6) - u)*-96?
False
Let u be 330/24 + (-1)/(-4). Suppose 4*h + 26 = -u. Let j = h + 33. Is 13 a factor of j?
False
Suppose 0 = 6*j - 100 - 200. Is 19 a factor of j?
False
Let g = 15 - 10. Suppose -g - 3 = 4*k. Is 15 a factor of (-29)/(-2) + k/(-4)?
True
Suppose 4*m - 4*s - 64 = -0*s, 5*s + 63 = 4*m. Is m a multiple of 8?
False
Let 