e
Let t = 3 - -186. Is 6 a factor of t?
False
Suppose -2*g - 3*l + 873 = 0, g + 4*l + 195 = 639. Is 12 a factor of g?
True
Suppose -2*n - 4 = -n, -2*t - 4*n = 10. Suppose 2 = 5*y - t. Suppose 0 = 4*f + 3*r - 8, y = 2*f + 2*r - 1. Does 2 divide f?
False
Suppose 6*c - 7*c - 4*h + 14 = 0, 2*c = 2*h + 58. Suppose 0 = -g + c - 2. Does 3 divide g?
True
Let p = -4209 - -6169. Does 8 divide p?
True
Let m = 138 + -136. Let u(p) = -78*p**2 + p. Let h be u(-1). Does 17 divide ((m + -1)*h)/(-1)?
False
Let a be 7 + 1218/12 - 3/(-2). Let j = 142 + a. Is 21 a factor of j?
True
Let g be (-4)/(-12) - (-32)/12. Suppose -5*c + t + 422 = -337, g*t - 155 = -c. Let i = c + -107. Is i a multiple of 15?
True
Let y(f) = -4*f**2 + 4*f + 4. Let g be y(-4). Let u be (-8)/10*(g - -1). Suppose -u = 5*k - 150. Is 18 a factor of k?
True
Let i = 243 - 63. Is i a multiple of 7?
False
Let u(c) = -6*c**2 + c + 6. Let s(b) = 6*b**2 - 6. Let g(i) = -4*s(i) - 5*u(i). Let p = 11 + -14. Is g(p) a multiple of 21?
True
Suppose -194*b = -191*b - 543. Is b a multiple of 11?
False
Suppose -11*h - 10200 = -26*h. Is h a multiple of 40?
True
Let p be 1/4 + (-1981)/(-28). Suppose p = 4*g + 15. Is 7 a factor of g?
True
Suppose -3*g = 8 + 4. Let k(v) = 12*v - 78. Let m be k(6). Is 94/3*m/g a multiple of 13?
False
Is 4 a factor of (8/(-20))/((18/40)/(-9))?
True
Let w(f) = f**3 - 12*f**2 + 14*f - 27. Let b be w(11). Let i(y) = -y**2 + 3*y - 1. Let k be i(3). Is 66/b - (0 - k) a multiple of 5?
True
Let j = 12 + -11. Let r = 29 - j. Let t = r - -7. Is 11 a factor of t?
False
Let h(f) = f**2 + 13*f - 40. Is 13 a factor of h(14)?
True
Let t = -94 + 354. Is t a multiple of 26?
True
Let n = 31 - -371. Does 6 divide n?
True
Suppose -5*i = -6 - 9. Suppose -i*q + 248 = 4*z - 7*q, 3*q = 0. Does 15 divide z?
False
Let s be (-616)/(-12) - (-5)/(-15). Is s + (-3)/(-4)*(-6 - -2) a multiple of 11?
False
Let x(g) = -g**3 + 18*g**2 + 25*g + 1. Does 5 divide x(19)?
True
Suppose 0 = -2*b - 2*h - 32, -4*b + 4*h = -7*b - 46. Let m be ((-14)/(-4))/(3/b). Let y = 35 + m. Is y a multiple of 7?
True
Suppose d - 2*q = -0*d + 2, 2*d = -2*q - 8. Does 12 divide d/(-3) + 534/9?
True
Let m be (-5 - -135) + 1 + 2/(-1). Suppose -9*z + m = -510. Is 15 a factor of z?
False
Let h = -49 - -77. Let i(o) = -5*o - 7. Let d be i(-11). Let p = d - h. Does 10 divide p?
True
Suppose 5*z = g - 137, 43 = 3*g + z - 304. Suppose 4*k + g = 7*k. Is k a multiple of 9?
False
Suppose -5*s + 0*s + 15 = 0. Let k be ((-5)/s)/((-2)/138). Suppose -5*x - k = -10*x. Is x a multiple of 12?
False
Let c = 79 + -62. Let i(w) = 6*w - 15. Does 29 divide i(c)?
True
Let p = -22 - -15. Let j = p + 30. Is 10 a factor of j?
False
Let m(v) = -2*v**2 - v**2 - 2*v**2 - 1 - 50*v**3 + 6*v**2. Is 3 a factor of m(-1)?
False
Suppose -9627 = -24*u - 123. Does 11 divide u?
True
Suppose 11 = g + 8. Let z be (-108)/30*(-10)/g. Is 5 a factor of 994/84 + 2/z?
False
Let l(y) = 12*y + 9. Let u be 6 - ((1 - 0) + -3). Let g be l(u). Is (18/21)/(5/g) a multiple of 9?
True
Suppose 3*y - 510 = -3*x, 5*x = 4*y - 341 - 348. Is 12 a factor of y?
False
Let t be (-72)/(-30) + -2 - (-64)/(-10). Let n(q) = -24*q - 2. Let h be n(-2). Let i = h + t. Does 12 divide i?
False
Let c = 109 + -223. Suppose 10*j = -629 - 91. Let k = j - c. Does 14 divide k?
True
Suppose 4 = -5*z - 1, 5*z = 2*b - 707. Does 9 divide b?
True
Suppose -18*q + 2388 = -12*q. Does 10 divide q?
False
Let o = 2498 - 1296. Does 59 divide o?
False
Let j be 0 - (0 + 11 + 2). Let v = j + 54. Is 16 a factor of v?
False
Let b(c) = -c - 6. Suppose 4*i + 28 = -3*o, 5*i + 16 + 19 = -2*o. Let l be b(i). Is 13 a factor of (l - -53) + (-22)/11?
True
Suppose -4*v + 59 = -5. Let d(c) = -c**2 + 19*c + 23. Is d(v) a multiple of 9?
False
Let n = 11 - 26. Is n/(-10)*(6 + -4) a multiple of 2?
False
Suppose 5*t = 15*u - 18*u + 2975, 0 = -5*u - 25. Is t a multiple of 26?
True
Is 24/36*(479 + 1) a multiple of 29?
False
Let v(r) be the second derivative of 0*r**2 + 2*r - 2/3*r**3 + 0 - 1/6*r**4 + 1/20*r**5. Is v(4) a multiple of 4?
True
Let z(h) = -9*h + 30*h + 28*h - 25*h**2 + h**3 - 9. Does 30 divide z(23)?
True
Let r = -240 - -450. Let t = r + -94. Is 18 a factor of t?
False
Let t(i) = -i**3 - 8*i**2 - 2*i - 2. Let p be t(-8). Suppose -2*a - p = -126. Let o = a + -10. Does 10 divide o?
False
Suppose -2*j - 3*p - 27 = -69, -j = -5*p - 34. Is j a multiple of 5?
False
Suppose -n + 27 = -44. Does 3 divide n?
False
Suppose 2*v = -v - 21. Let m be v/(-35) - 1/5. Suppose -120 = -4*x - m*x. Is x a multiple of 10?
True
Suppose -128 = 3*c - 3008. Is c a multiple of 60?
True
Let l(m) = 13 + 6 + 9*m - 4*m - 4*m. Let h be l(-15). Let j = h - -28. Does 17 divide j?
False
Let n(p) = p**3 - p**2 + 2*p. Let c be n(4). Let x = 23 - -10. Let y = c - x. Does 3 divide y?
False
Suppose -170 = -5*p - 2*k + 45, -5*k + 65 = 2*p. Suppose 3*u - p = -x, -x - 2*u = -3*u - 65. Is 10 a factor of x?
True
Let u(y) = -y**3 + 29*y**2 - 35*y - 82. Is 36 a factor of u(27)?
False
Suppose -5015 = -18*l + l. Is l a multiple of 6?
False
Let g(c) = 2*c**2 - 7*c + 5. Suppose n - 6 = -1. Let r be g(n). Let q = 44 + r. Does 14 divide q?
False
Let h be (-1 - -49)*368/(-24). Let i = h - -1108. Suppose 0 = 3*o + o - i. Is 31 a factor of o?
True
Let h = -116 + 948. Is h a multiple of 15?
False
Let j = -366 - -575. Is 4 a factor of j?
False
Suppose 7*d = -5*q + 4*d - 147, 4*d = -5*q - 151. Let r = q - -16. Is 0 + -1 + (-55)/r a multiple of 2?
True
Suppose 2*g + 110 = -2*b - 0*b, 5*b + g = -287. Let h = 16 - -68. Let w = b + h. Is 9 a factor of w?
False
Let q = -276 + 397. Does 4 divide q?
False
Is 5 - -81*(-2 + 5) a multiple of 62?
True
Suppose -11*p + 13193 = 2358. Does 15 divide p?
False
Let v(f) = 2*f**2 + 27*f - 12. Is v(-18) a multiple of 75?
True
Let p = 802 - 452. Does 7 divide p?
True
Suppose 2 = 2*q - 0. Suppose -i + q = -3. Does 2 divide i?
True
Suppose 8*q = -33*q + 27060. Is 30 a factor of q?
True
Suppose -2*w - 32 = -26. Does 18 divide w/(78/(-3038)) + 2/13?
False
Suppose 0 = 10*s - 9840 - 3410. Does 25 divide s?
True
Let r(b) = -b**3 + 3*b**2 - b + 2. Let w be r(3). Let c(z) = 18 - 36*z - 5 - 11. Is 19 a factor of c(w)?
True
Suppose -1464 = 12*i - 5904. Does 37 divide i?
True
Let x(r) = r**3 + 8*r**2 - 15*r - 50. Is x(-8) a multiple of 9?
False
Let u(b) be the third derivative of 13*b**6/60 - b**5/60 + b**4/24 + b**2. Let m be u(1). Let d = -15 + m. Is 11 a factor of d?
True
Let a = 595 + -494. Is a a multiple of 5?
False
Suppose 256 + 77 = 3*o. Suppose 2*b = -3*r + 3*b + o, 4*b + 84 = 2*r. Is r a multiple of 36?
True
Let f(u) = 1. Let y(m) = 11*m + 7. Let t(w) = 4*f(w) - y(w). Is 4 a factor of t(-2)?
False
Let d(o) = o**2 + 26*o - 20. Is 43 a factor of d(-37)?
True
Let m = -30 - -40. Suppose m = 4*o - 6. Suppose -4*p + 432 = o*v, -3*p - 3*v + v + 328 = 0. Does 19 divide p?
False
Let n = -1120 + 2448. Is 15 a factor of n?
False
Let z = 1059 + -849. Is 3 a factor of z?
True
Let k = -897 - -1863. Is 14 a factor of k?
True
Let s be 1*8 + -5 + (-4)/(-2). Suppose w = s*p + 110, -2*w + 260 = w - p. Is w a multiple of 7?
False
Let h = 21 - 25. Let p(w) be the first derivative of w**4/4 + 5*w**3/3 + w**2 + 2*w + 1. Is 5 a factor of p(h)?
True
Suppose -9*s + 316 + 539 = 0. Does 7 divide s?
False
Suppose 6*b - 123 = 3*b + 5*k, -205 = -5*b - 4*k. Is 2 a factor of b?
False
Suppose 809*i + 3300 = 815*i. Does 55 divide i?
True
Suppose 5*i + 14 = 9, 4*i + 1728 = 2*q. Is 12 a factor of q?
False
Let h = -102 - -196. Let x = 238 - h. Suppose 3*t + a = x - 50, -4*t + 128 = 2*a. Is t a multiple of 15?
True
Suppose 10*a + 145 = 17905. Is a a multiple of 8?
True
Suppose -21*m + 17*m = -1088. Is m a multiple of 17?
True
Let r(f) = f**2 + 7*f. Let m be r(-7). Suppose v - 4*z = 6*v - 110, -4*z = -3*v + 34. Does 11 divide v + -9 - (m + -2)?
True
Let v(a) = -a**3 - 10*a**2 + 10*a - 13. Let d be v(-13). Suppose -2*k = 4*c + 43 - 427, -3*k - d = -4*c. Does 15 divide c?
False
Let c be (-1 - -1)/((-4)/4). Suppose -4*r - r = c. Suppose -2*q + r*q = -180. Is 15 a factor of q?
True
Let a = -1238 - -1859. Is a a multiple of 17?
False
Suppose 0 = -12*l + 570 + 906. Does 9 divide l?
False
Let j = 158 - 6. Is 16 a factor of j?
False
Does 8 divide 7*(1 + 1426/14)?
True
Let p(a) = 51*a**2 - 23*a - 190. Does 40 divide 