 Let u be d(r). Suppose -h + u = -0*h. Is 23 a factor of h?
False
Suppose 6*l - 10*l + 2721 = -3*f, 2*f - 2746 = -4*l. Does 76 divide l?
True
Suppose 27*q - 33*q + 336 = 0. Is q a multiple of 14?
True
Let o = 7 + -1. Suppose o*s - s + 20 = 0. Let g = 10 - s. Does 9 divide g?
False
Let h(x) = -2*x**3 + 46*x**2 + 59*x - 22. Is 58 a factor of h(24)?
False
Let k(f) = f**3 + 13*f**2 - 3*f - 17. Let x be k(-15). Let u = -246 - x. Is u a multiple of 37?
False
Is (20 - 0) + -3 + 1 even?
True
Let f(q) = q + 9. Suppose 24 = -0*w + 3*w. Suppose 3*s + 2*o + 7 = 2*s, -2*s + 2*o = w. Does 3 divide f(s)?
False
Let p = -303 - -479. Suppose -p + 47 = -3*i. Does 11 divide i?
False
Let t(f) = f**3 - 3*f**2 + 3*f - 1. Let m be t(1). Suppose j - 2 = -m*j, -2*y = -3*j - 318. Suppose -v + y = 2*v. Does 12 divide v?
False
Let k(m) = -6*m - 35. Suppose -9*x = -2*x + 105. Is k(x) a multiple of 14?
False
Let f(x) be the third derivative of -x**5/30 + 23*x**4/24 - x**3/6 + 7*x**2. Is 29 a factor of f(10)?
True
Let a(v) = 2*v + 5. Suppose -p + 5*p = 0. Let l be a(p). Suppose -l*s = -0*s - 20. Is 4 a factor of s?
True
Suppose t - 2437 = -4*i + 10580, 0 = 3*i - 3*t - 9759. Is i a multiple of 14?
False
Suppose 5*v = 303 - 973. Suppose 3*c + 823 = 250. Let y = v - c. Is 19 a factor of y?
True
Suppose -4*y + 2*y - 5*p + 1849 = 0, -5*y - 5*p = -4630. Does 11 divide y?
False
Suppose -17*s + 12607 = -1418. Does 31 divide s?
False
Suppose -3*c = 3*m - 9, -4*c = m + c + 17. Suppose 7*j - m*j = 7. Does 9 divide (-1337)/(-49) + 2/j?
True
Suppose u + 197 = -3*o + 4*o, 2*o - 985 = 5*u. Let a = -125 - u. Is a a multiple of 17?
False
Let f(l) = 48*l + 114. Does 6 divide f(-2)?
True
Let r = 4 + 1. Suppose r*u + 10 = -15, 4*n - 322 = 2*u. Is 11 a factor of n?
False
Let n(a) = 12*a**2 - 28*a - 68. Does 7 divide n(-6)?
True
Let o = 669 + -91. Is 33 a factor of o?
False
Suppose -5*m - 180 = -5*r, 0 = 58*r - 54*r + 2*m - 174. Is r even?
False
Suppose 66*g = 67686 - 22806. Does 17 divide g?
True
Let y = -29 + 29. Suppose -9*g + 4*g + 25 = y. Suppose g*f = -s + 59, 4*s - 2*f - 312 = -3*f. Does 13 divide s?
False
Let f(j) = j**3 + 19*j**2 + 21*j + 10. Does 7 divide f(-17)?
True
Let z = -129 - -132. Suppose 2*j - z = j, 2*p - 3*j = 133. Does 14 divide p?
False
Let m(g) = -3*g + 5. Let w be m(9). Does 11 divide (-23 + 17)*w/4?
True
Let h(u) = -2*u**2 + 3*u - 11. Let o(s) = -s**2 + s - 4. Let w(x) = 3*h(x) - 8*o(x). Is w(5) a multiple of 25?
False
Let k(w) = -2*w**3 - 17*w - 5 + w**3 - 8*w**2 + 7*w. Suppose 0 = t + 3 + 4. Is k(t) a multiple of 4?
True
Suppose 85*p = 82*p + 9, 4*q - 5339 = -p. Is q a multiple of 58?
True
Let y = -132 + 354. Is y a multiple of 40?
False
Let n be 1/1*(-4 + 7). Suppose 4*k - 8*k = -4*x + 372, 0 = 5*x - n*k - 459. Does 27 divide x?
False
Let l(y) be the first derivative of y**4/12 + 13*y**3/6 + 5*y**2/2 + 1. Let x(p) be the second derivative of l(p). Is x(10) a multiple of 21?
False
Let s be (((-4)/12)/((-1)/15))/1. Let d = -177 + 372. Suppose -s*f + 8*f = d. Is f a multiple of 19?
False
Suppose 1 = -2*p + 3*o + 70, -5*p + 220 = 2*o. Is p a multiple of 14?
True
Suppose 4*q + 105 = -111. Does 8 divide (12/(-10))/(q/720)?
True
Suppose a - 4*h = 24 + 220, -993 = -4*a - h. Does 62 divide a?
True
Is 4 a factor of (319 - -13) + (-11 - -3)?
True
Let f = -789 + 1449. Is f a multiple of 11?
True
Let g = 156 - 9. Is 6 a factor of g?
False
Let u(b) = b**2 + 9*b + 7. Let i be u(-9). Let j(h) = 7*h + 16. Is 11 a factor of j(i)?
False
Let c(b) = -b**3 + 25*b**2 - 33*b - 87. Is c(23) even?
True
Let v(b) = b**3 - 18*b**2 + 3*b - 112. Does 17 divide v(19)?
True
Let x = 873 - 466. Is x a multiple of 37?
True
Let r = 411 + -409. Does 2 divide r?
True
Let s = -11 - -14. Suppose d + 135 = s*n, n - d - 45 = -4*d. Is n a multiple of 15?
True
Let z = -138 - -319. Let c = 272 - z. Does 13 divide c?
True
Let f(i) = -3*i**3 - 17*i**2 + 26*i - 27. Let o be -1 + (-2 - -5)/1. Let p(t) = t**3 + 6*t**2 - 9*t + 9. Let d(u) = o*f(u) + 7*p(u). Is d(-9) a multiple of 27?
True
Let b(q) = q**3 + 9*q**2 - 11*q + 1. Is b(-9) a multiple of 16?
False
Let h(k) = 8*k + 5. Let v be h(-1). Let d(l) = -l**3 + 3. Is d(v) a multiple of 22?
False
Let y(p) = -3*p**3 - 13*p**2 - 7*p - 66. Is y(-9) a multiple of 39?
True
Let b = -3 - -5. Suppose -6*g = b*g - 88. Is 4 a factor of g?
False
Let u = 815 - 731. Is 4 a factor of u?
True
Let i = -36 + 39. Suppose -u - i*u - 4*m = -56, 0 = -5*u + 4*m + 70. Is 7 a factor of u?
True
Suppose -14*y = -8*y. Suppose 104 = 4*a - 3*d - 345, 2*a + 5*d - 257 = y. Does 12 divide a?
False
Let y be (-20)/(-35)*(105/2)/5. Is ((-1)/(-4))/(y/(-16))*-114 a multiple of 4?
True
Let r(o) = -2*o**3 - 17*o**2 - 6*o - 69. Does 3 divide r(-9)?
True
Let y(g) = 3*g + 2. Let l be y(-2). Is (25 - 0) + (l - -7) a multiple of 5?
False
Suppose k + 23 = 3*q + 2*q, 4*q + 4*k - 4 = 0. Suppose -6 = 3*r, q*n - 8*n - 4*r = -208. Is n a multiple of 19?
False
Let g be 0 + 233 + -4 + 4. Let b = 348 - g. Suppose b = 2*s - 51. Is 23 a factor of s?
False
Suppose -3*w + 194 = 4*y + 42, -3*y - 2*w + 113 = 0. Suppose 21*a + 561 = 120. Let d = a + y. Is 14 a factor of d?
True
Suppose -4*a = 5*q - 2449, 0*q - 2*q + 982 = 4*a. Does 12 divide q?
False
Let g(s) = 200*s**2 + 6*s - 22. Does 19 divide g(-4)?
True
Suppose 0 = 18*t - 3770 + 404. Suppose o = 4*d + 182, -d = -2*o + t + 156. Does 17 divide o?
True
Let v(h) = -6*h + 3. Let a be v(4). Suppose -2*j = -5*r + 187, -5*j - 135 = -4*r + 1. Let p = a + r. Is p a multiple of 10?
False
Let k = 590 - 282. Is k a multiple of 16?
False
Suppose t = 5*t. Is 13 a factor of (t - 1)/(1/(-13))?
True
Let l(k) = 2*k**2 + 7*k - 3. Let u(i) = -i - 4. Let p be u(-7). Suppose 2*t - 5*m = 13, -p*t + m = 3 + 10. Is l(t) a multiple of 27?
True
Let w = 10 - -52. Let j = w + -26. Is j a multiple of 4?
True
Let s(a) = -37*a**2 + 11*a - 12. Let q be s(1). Let p(t) = 12*t - 7. Let u be p(5). Let c = q + u. Is c a multiple of 5?
True
Let o(c) = -c**2 - 6*c - 3. Let u be o(-4). Suppose -3*l - 2*w = -l - 12, -l = -u*w + 18. Suppose 4*s = 2*x - 140, -s + 43 = l*x - 72. Is x a multiple of 18?
False
Let j(k) = -13*k - 10. Let h be j(-6). Let t = h - -10. Is t a multiple of 13?
True
Let k(s) = 8 + 2*s**2 + 0*s**2 + 3 - 3*s**2 + 7*s. Let b be k(8). Suppose b = r - 10. Is r a multiple of 13?
True
Let m(v) = v**2 - 14*v + 17. Let b be m(14). Let q(n) = n**2 - 16*n + 14. Is q(b) a multiple of 18?
False
Suppose 3*z = -0*z - 12. Is 21 a factor of 378*(2/5)/(z/(-5))?
True
Let p = 733 + -440. Let o = p - 154. Is o a multiple of 18?
False
Let s = -13 + 28. Is 2038/s + 1 + 12/90 a multiple of 11?
False
Let v = 2847 + -1768. Does 15 divide v?
False
Let t be (2*1)/(18/27). Suppose -5*w = t*r - 30, 4*w - 28 = -2*r - 10. Suppose 12*u = r*u - 21. Is u even?
False
Let j(p) = -5*p + 8. Let y = -17 + 21. Suppose 5*k + 14 = y*q, -2*q - q = 4*k + 36. Is j(k) a multiple of 16?
False
Let m(u) = -9*u - 15. Let v(h) = -5*h - 8. Let i(b) = -6*m(b) + 11*v(b). Let p be (1050/(-125) - 4/(-10)) + 4. Does 3 divide i(p)?
True
Suppose f = -3*c - 9, -2*c + 5*f + 11 = -0. Let t = c - -35. Does 9 divide t?
False
Let v be (-20)/(-30) - (-43)/3. Let x = 11 - v. Let o(i) = 2*i**2 + 7*i + 4. Is 2 a factor of o(x)?
True
Let d(s) = -8*s**2 - s + 5. Let k be d(4). Let l = -262 - -443. Let y = l + k. Does 14 divide y?
False
Suppose 4*q + 3*n - 37 = 0, -2*q = 3*q - 4*n - 85. Suppose 27 = g - 5*b, -2*g + 3*b + 20 = -q. Is g a multiple of 4?
True
Let c = 812 + -287. Is c a multiple of 5?
True
Let d be 8/32 - 662/(-8). Let v = d + 30. Let l = v - 66. Does 12 divide l?
False
Let w(p) = 85*p - 650. Is 10 a factor of w(40)?
True
Suppose -i = -6*i. Suppose 2 = 2*d - 18. Suppose 5*f - 5*s - 215 = i, -5*f + d*f + 2*s = 243. Is f a multiple of 16?
False
Let w = -40 - -43. Suppose -81 - 45 = -w*z. Is z a multiple of 7?
True
Let d = -41 + 53. Let h = d + 12. Is 12 a factor of h?
True
Let y = 123 - 415. Does 9 divide y/(-7) - 44/(-154)?
False
Suppose -16*f = -7722 - 6486. Is 24 a factor of f?
True
Suppose -5*r = -9*t + 4*t - 35, -t = 3*r - 5. Suppose 4*g = -4*v - 8, -3*v = -7*g + r*g - 22. Is (-57)/(-6) + v/(-4) a multiple of 3?
True
Let b(n) be the third derivative of 29*n**4/24 + 5*n**3/6 + 3*n**2. Let q be b(-2). Let r = -9 - q. Does 13 divide r?
False
Let u(r