e
Suppose -4*u = -24 + 8. Suppose 0 = 3*j - 3, -13 = -u*d + j - 2*j. Suppose 0 = -2*b - d*b, -2*z = 4*b - 26. Is z a multiple of 10?
False
Let b = 630 + -396. Does 26 divide b?
True
Let n = 106 - 61. Let q = n - 28. Is q a multiple of 15?
False
Let j = -190 + 404. Is j a multiple of 9?
False
Let v = -1 - -6. Suppose 0*l = v*d + 4*l - 59, 0 = -4*d + 3*l + 72. Is 5 a factor of d?
True
Suppose 14*g - 477 = 951. Does 17 divide g?
True
Let s be (2/5)/(1/5). Let o = s + 6. Is 8 a factor of o?
True
Suppose 13 = 4*i - 3. Suppose -16 = -i*t + 20. Does 5 divide t?
False
Let o = 72 - 64. Is 5 a factor of o?
False
Suppose 0 = -5*i + 5*k + 120, -4*k - 9 = -0*i - i. Suppose t - 108 + i = 0. Suppose -4*p - t = -3*f, 4*f - 79 = 2*p + 23. Does 12 divide f?
False
Is -1*((-2)/7 + 11990/(-77)) a multiple of 30?
False
Suppose 0 = -2*j + j + 5. Let v be 15/12*(2 + 2). Suppose -v*x - j = -6*x. Is 3 a factor of x?
False
Suppose -25*m + 33*m = 752. Does 10 divide m?
False
Let z(t) = -21*t. Let h = 2 - 3. Let y be z(h). Suppose 7*r = 4*r + y. Does 2 divide r?
False
Let q be 4 + 2*(1 + -2). Suppose -q*y = -25 + 3. Is 11 a factor of y?
True
Is 29 a factor of (1 + 86)/((-9)/(-6))?
True
Let b(k) = -4*k - 11. Does 3 divide b(-5)?
True
Let f(p) = p**3 - p**2 + p + 7. Let l be f(0). Suppose 4*q - l - 1 = 0. Suppose -q*d = z - 9, 0*d - 56 = -4*z + 2*d. Is z a multiple of 7?
False
Is (-2)/8 - 4896/(-128) a multiple of 10?
False
Let d = 20 + -11. Suppose -14 = -3*x - 5*z + d, 2*z - 32 = -5*x. Does 5 divide x?
False
Suppose -c = -24 - 24. Is 18 a factor of c?
False
Let t(r) = -r - 10. Let b be t(0). Let g = 65 + b. Is g a multiple of 11?
True
Let j = -25 - -79. Let h = 77 - 104. Let d = h + j. Does 9 divide d?
True
Suppose -2*k + 3*k + 3 = 0. Let y be (-4 - k) + (1 - 1). Let g = 6 + y. Is 3 a factor of g?
False
Let i(d) = -d**3 + 8*d**2 - 8*d + 7. Let h be i(7). Suppose 2*c + h = -6. Let u = 1 - c. Is u a multiple of 2?
True
Is 8 a factor of (14/(-3))/(985/(-195) + 5)?
False
Does 18 divide ((-60)/16)/((-2)/48)?
True
Suppose 0*r - 87 = -r - 2*m, -r = 3*m - 90. Is r a multiple of 14?
False
Let m(s) = -4*s**3 + 4*s**2 - 3*s + 1. Let r be m(2). Is 3 a factor of ((-8)/(-14))/((-3)/r)?
False
Suppose -6*s + 9*s = 0. Suppose 0 = -3*d - s*d + 99. Is 11 a factor of d?
True
Suppose a - 516 = -a. Is a/10 + 1/5 a multiple of 13?
True
Suppose 804 = 2*t - o, 5*t + 6*o - 3*o - 2032 = 0. Does 34 divide t?
False
Suppose 3*l - 50 = -2*l. Is l a multiple of 4?
False
Does 11 divide (-2 - (-9)/(-3))*-11?
True
Is (40/32)/(2/88) a multiple of 11?
True
Suppose -t = -4*m - 3*t + 18, 0 = -m + 4*t. Suppose -5*g + 44 - m = 0. Suppose 10 - 4 = -3*f, 5*o - g = -f. Is 2 a factor of o?
True
Let i = -114 + 357. Let f = i - 135. Suppose 4*y = -0*y + f. Is y a multiple of 10?
False
Let h(v) = -7*v**2 - 3*v + 7. Let l be h(5). Suppose -10 = -n - 4*n. Is 17 a factor of 1/n - l/6?
False
Does 45 divide (-1)/(-4) - (-2)/((-24)/(-3777))?
True
Let l(q) = -27*q + 5. Let g(c) = -81*c + 14. Let r(t) = 6*g(t) - 17*l(t). Is r(-1) a multiple of 13?
True
Suppose 7*a - i - 137 = 3*a, a = -4*i + 13. Is a a multiple of 4?
False
Suppose 2 + 4 = 3*v. Suppose z = -2*z - 3, -5*z = v*b - 19. Does 9 divide b?
False
Let w(p) = p**2 + 9*p + 5. Let y be w(-9). Suppose -y*o - 32 = 3. Let u(c) = c**3 + 8*c**2 + 4*c - 3. Does 9 divide u(o)?
True
Let g = 13 + 50. Does 22 divide g?
False
Let f(w) = -w**2 + w + 10. Let y be f(0). Let q = y - 3. Does 9 divide (-2)/q + 158/14?
False
Let u(j) = j + 46. Does 18 divide u(0)?
False
Is -2*(-2)/(-8)*-38 a multiple of 15?
False
Let v(d) = -56*d**2 + 5*d + 1. Let b(z) = -57*z**2 + 6*z + 1. Let p(w) = 3*b(w) - 4*v(w). Does 19 divide p(-1)?
False
Suppose -5*f - 2*j - 21 - 2 = 0, -4*j + 24 = -4*f. Suppose 4*o - 5 = 3. Is o/f + 810/25 a multiple of 16?
True
Let g = -189 - -342. Is 17 a factor of g?
True
Let s(m) be the third derivative of -m**6/120 - m**5/12 - m**4/4 + 2*m**3/3 + m**2. Is 17 a factor of s(-5)?
True
Suppose 5*n - 109 = 5*h + 316, 4*n = -2*h + 328. Is n a multiple of 37?
False
Let n(t) = t**2 + 5*t - 10. Let y be n(-7). Let h = -1 + y. Is h even?
False
Let b be (-1)/(-2*2/8). Suppose -b*q + 3*j + 25 = 0, 2 + 3 = 5*q + 4*j. Let w = q + 10. Is w a multiple of 5?
True
Suppose 0 = -0*x + x - 28. Is x a multiple of 28?
True
Let f = -2 + 3. Let q = 2 - -3. Let t = q + f. Does 3 divide t?
True
Let x(g) = -4*g**3 - g. Suppose -5*h - 3 = -8. Let d be x(h). Let y(f) = -f**3 - 5*f**2 - 2*f - 4. Is 5 a factor of y(d)?
False
Let r be -4*-2*(-141)/(-24). Let m = -15 + -15. Let y = r + m. Does 17 divide y?
True
Let v(k) = 2*k**2 - 6*k + 8. Let f be v(6). Let u be -15*((-36)/10)/(-3). Let p = u + f. Does 13 divide p?
True
Is 3 a factor of 12/2 - 1/1?
False
Let c = 244 + -77. Is c a multiple of 17?
False
Suppose 48 = -4*v - 0. Let p = v - -6. Is p + 5 + 28 + 1 a multiple of 14?
True
Suppose 0 = 3*d + 4*d - 231. Is d a multiple of 8?
False
Suppose 2*m + 0*m - 246 = 0. Let s = m - 66. Is 19 a factor of s?
True
Is 33 a factor of -3 - -140 - 20/4?
True
Let b(u) = 36*u - 33. Is 41 a factor of b(8)?
False
Suppose 3*g - 5*u - 86 = 0, g - 5*u = -2*u + 34. Is 22 a factor of g?
True
Is 5/(-15) + (-79)/(-3) a multiple of 8?
False
Suppose -6*d = -10*d + 12. Is 2 a factor of d?
False
Let j = 7 - 4. Suppose -2*h = 3*c + 2*c - 108, j*c - h - 56 = 0. Is 10 a factor of c?
True
Is 25 a factor of 3/8 - (-1850)/16?
False
Let u(q) = 4*q - 6*q + q**2 + 0*q**2 - 1 - 3*q**3. Let k be u(-2). Suppose -79 = -5*h + i, 2*h + k = 4*h - i. Is 8 a factor of h?
True
Suppose 4*n - 214 = -3*b, -268 = -5*n - 7*b + 3*b. Is 26 a factor of n?
True
Let y be 54 - (1 - (1 - 0)). Suppose -14 = 4*o - y. Is o a multiple of 10?
True
Suppose -40 = -5*r - 15. Suppose -25 = -r*l - 0*l, -l = 4*c - 189. Is 25 a factor of c?
False
Suppose -8*y = -258 - 30. Is 10 a factor of y?
False
Suppose -4*r + 164 = 44. Is 10 a factor of r?
True
Let l = -7 + 9. Let i = -2 + l. Suppose 2*t + i*t = 88. Is 22 a factor of t?
True
Suppose 2*d = -6 + 4. Let a = d + 45. Does 25 divide a?
False
Suppose -4*w = 5*j + 1, -3*w + 43 = -9*j + 4*j. Suppose 5*a - w*a + 6 = 0. Is a a multiple of 6?
True
Let g be 1062/8 + 2/8. Let f = g + -52. Is 10 a factor of -1 - 0 - f/(-3)?
False
Suppose 0 = -5*p - 2*y + 7*y, 4*y - 5 = 5*p. Let r(g) = -3*g**3 - g - 1 + 4*g**3 + 0*g**3 + 6*g**2 + 5. Is 17 a factor of r(p)?
True
Let d = -8 - -3. Let n = d + -8. Is (-1 - n)*(-2)/(-4) a multiple of 3?
True
Let c(y) = 3*y. Suppose 0 = -l + 4*l + 12. Let v be c(l). Is v/(-16) - (-783)/12 a multiple of 19?
False
Suppose 3*x - 9 = -2*o, x = -o + 2 + 1. Suppose -x*w + 27 = -27. Does 9 divide w?
True
Let b = -415 - -287. Does 2 divide (3/(-2))/(24/b)?
True
Let s = 39 - 35. Does 2 divide s?
True
Let l = 184 + -18. Let s = l + -118. Does 16 divide s?
True
Suppose 0 = -4*x - x + 50. Is x a multiple of 10?
True
Let k(m) be the third derivative of -m**4/24 + m**3/2 - 4*m**2. Let c be k(0). Let v(q) = 18*q. Is 20 a factor of v(c)?
False
Let q = 40 + -23. Is q a multiple of 3?
False
Let m(s) = -7*s - 1. Let n be m(-1). Suppose -n = -3*f, -f + 2*f + 26 = 4*p. Is 7 a factor of p?
True
Let j(c) = -c + 8. Let d be j(4). Suppose d*h + s = 17, h - 4*h + 3 = 4*s. Let a(w) = -w**2 + 7*w - 2. Does 4 divide a(h)?
True
Let o = -16 - -11. Let n(j) = -j**3 - 4*j**2 + 2*j + 2. Does 17 divide n(o)?
True
Let v = -105 + 241. Is v a multiple of 34?
True
Suppose -j = -5*t + 22, 2*j - 8*t = -3*t - 24. Let m(a) = 18*a**2 - 1. Is m(j) a multiple of 15?
False
Let a(x) = -6*x**2 - 3*x - 3 + 3*x**2 + 4*x**2 - x. Is 9 a factor of a(6)?
True
Let r be (2 + -5)/(-3) - 8. Suppose -2*a + 3*a + 15 = 0. Let o = r - a. Is o a multiple of 8?
True
Let x(d) = d**2 - 7*d. Let g be x(6). Let m(z) = -z**3 - 5*z**2 - 9*z - 1. Let y be m(g). Let j = y + -62. Is 9 a factor of j?
True
Let h be (-1 + (-92)/(-12))*-24. Suppose 0 = -5*g - 4 + 54. Does 3 divide h/(-25) - 4/g?
True
Suppose 0*q + 12 = q + 2*f, -2*f = -4*q - 2. Suppose 0 = -q*w + s + 6, -4*w + 14 = -w + s. Suppose t - w = 2*t - 3*b, t + b - 12 = 0. Is t a multiple of 4?
True
Let z be 4/(-6) - 42/(-9). Suppose -v - 5*s = -13, z*s = -4*v + s + 18. Suppose -5*l + v*l = -58. Does 11 divide l?
False
Let a be 21/(-6)*8/(-14). Let k = a + 0. Suppose -3*t - 33 = -2*o - 4*t, k*o + 2*t = 28. Does 15 divide o?
F