et f(d) = 32*d + 14. Let o be f(-3). Let h = o - -126. Does 11 divide h?
True
Let n be 3/((9/30)/3). Suppose 2*z - 3*f - n - 28 = 0, z = 2*f + 29. Let w = -23 + z. Is w a multiple of 6?
True
Let l be (68/(-16) - 1) + 3/(-4). Let y be (-3 + 0)*(-1)/(-3). Does 25 divide 3/l*y*50?
True
Suppose 0 = 2*i + i. Suppose 2*n - 7*n + x = -13, i = 3*n - 3*x - 3. Suppose -5*y + k = -525, -n*k + 94 = y - k. Does 23 divide y?
False
Let z(u) = u**3 - 9*u**2 - 5*u - 3. Let i be z(10). Let p = -25 + i. Suppose 98 = 3*t - p. Is t a multiple of 10?
True
Let a(k) = 4*k - 8. Let j(p) = 3*p - 5. Let r(w) = 5*a(w) - 8*j(w). Let m = -26 - -23. Is 6 a factor of r(m)?
True
Suppose 2*p - 69 = -0*r - 5*r, -4*p - 12 = 0. Let c be (-45)/(-6)*(-36)/r. Let o = 31 + c. Is o a multiple of 8?
False
Let j(m) = 10*m - 69. Let f be j(-16). Let o = -152 - f. Does 11 divide o?
True
Suppose 2*l + 1 - 13 = 0. Let u be (39*-3)/(l/(-6)). Suppose -7*h + 10*h = u. Is h a multiple of 13?
True
Suppose -5*m + 3*u + 1100 = 0, 4*m - 880 = -3*u + 8*u. Does 20 divide m?
True
Let v(y) be the third derivative of -5/6*y**3 + 1/12*y**4 + 0*y + 0 + 2*y**2. Does 5 divide v(5)?
True
Let q(y) = 59*y**2 + 2*y + 3. Is q(-1) a multiple of 12?
True
Suppose -5*l - 11 = -4*g + 14, 5*l = -2*g + 5. Is -4 + -2 + 2 + l + 10 a multiple of 2?
False
Suppose 563 = 3*p + 2*b - 1128, 5 = -b. Is 53 a factor of p?
False
Let k = 525 - 467. Is k a multiple of 14?
False
Let o be ((-8)/(-6) + -1)*(-1 - 2). Does 10 divide 17 + -1 + (o/(-1) - -3)?
True
Suppose -2*l - 4*p + 2003 = -3*p, 0 = 3*l + 4*p - 3017. Is 13 a factor of l?
False
Let q = -554 - -972. Does 19 divide q?
True
Let z = 453 + 314. Does 18 divide z?
False
Let z be 3/(-12) - 146/(-8). Let y be 3/z - 2/12. Suppose 2*c - 35 - 127 = y. Is 27 a factor of c?
True
Suppose -h + v = 3*h - 6238, -3124 = -2*h - 2*v. Is h a multiple of 24?
True
Let b = -84 - -24. Let n = b - -147. Is 29 a factor of n?
True
Suppose 0 = c + 2, 2*c - 447 + 35 = -2*d. Suppose -5*f + 92 = -d. Does 15 divide f?
True
Is 232/72 - (22/18 - 1) a multiple of 3?
True
Suppose -3*d - 153 = -5*x, 3*d - 8*d - 5*x - 255 = 0. Let c = 299 - d. Is 36 a factor of c?
False
Let t(b) = -59*b + 1. Let j be t(-1). Suppose 174 = 61*n - j*n. Does 6 divide n?
True
Let a = -43 - -1034. Does 19 divide a?
False
Suppose -185*y = -172*y - 6318. Is 9 a factor of y?
True
Let p = -88 - -55. Let b = -30 - p. Suppose b*j - j - 64 = 0. Is 4 a factor of j?
True
Suppose 3*c - 566 = 2*b, 5*c - 513 = -b + 452. Does 32 divide c?
True
Suppose 0 = g - 33 + 1. Suppose 4*a - 20 - g = 0. Does 13 divide a?
True
Let b(s) = -21*s**3 + 23*s**2 + 83*s + 11. Is 12 a factor of b(-5)?
True
Does 27 divide 3 + 70/(-20)*1884/(-21)?
False
Suppose -11*g + 948 = -6499. Is g a multiple of 54?
False
Is -120*-9*(-20)/(-25) a multiple of 12?
True
Let t = 841 + -170. Is t a multiple of 11?
True
Suppose -2*t = 4*j - 3*j - 14, -49 = -5*t + j. Suppose x - 3 = t. Let f = 5 + x. Is 8 a factor of f?
False
Suppose 2*i - 3 = -15. Let m(w) = -2*w**2 + 2*w - 2. Let t(k) = k. Let l(h) = -m(h) + 5*t(h). Is 14 a factor of l(i)?
True
Suppose 8 = 4*r, 3*l + 4*r - r - 1014 = 0. Is l a multiple of 28?
True
Let u = 24 + -11. Let c(x) = -x + 29. Let j be c(u). Does 17 divide 388/j - 3/(-4)?
False
Let g(a) = -a**2 + 11*a - 7. Let w = -16 + 22. Suppose 19*u - 20*u + w = 0. Is g(u) a multiple of 12?
False
Let k = 27 + -53. Let j = k - -67. Is j a multiple of 11?
False
Suppose 0 = 2*j - 6*j + 64. Suppose 3*b - 20 - j = 0. Does 3 divide b?
True
Suppose 4*g = 3*c + c + 152, 4*g = -5*c - 145. Let w = -7 + 2. Let d = w - c. Does 14 divide d?
True
Let v = -2444 + 4089. Does 35 divide v?
True
Let n(i) = i**2 + 6*i + 4. Let q be n(-6). Let c be 10/6 - 62/93. Suppose -q*x = -c - 7. Is 2 a factor of x?
True
Suppose -4*f - 5*g = -75, 2*f + g = -f + 48. Let k = 14 - f. Does 11 divide -12*k/((-16)/(-44))?
True
Is ((-22672)/(-39))/(-3 + (-22)/(-6)) a multiple of 65?
False
Let a(x) = x**2 - 15*x + 30. Let b be a(13). Suppose b*v = -z + 17, v - 18 = -3*z - 0*v. Is 5 a factor of z?
True
Suppose 3*o - 45 = 99. Does 24 divide 1 - 10/6 - (-9152)/o?
False
Let l(g) = 17*g + 30. Let n be l(12). Let y = n - -31. Does 38 divide y?
False
Let o = 1107 - 605. Is o a multiple of 12?
False
Suppose 2226 = 9*v - 1527. Is v a multiple of 10?
False
Let i(c) = -c**3 + 6*c**2 - 6*c + 9. Let x be i(5). Suppose -413 = a - x*a - v, -5*a = -v - 699. Is 22 a factor of a?
False
Suppose 4 + 4 = 2*n. Let p be n - (-2 - (-3 - -113)). Suppose 4*d - 4*u = u + p, d - 3*u - 29 = 0. Does 29 divide d?
True
Let w be (-271)/7 + (-6)/21. Let q be 6/(-4)*2 - w. Is (q/30)/((-9)/(-60)) a multiple of 3?
False
Suppose -87*v - 4*v + 106652 = 0. Is v a multiple of 8?
False
Let x(h) = -3*h**3 + 6*h**2 - 5*h - 10. Is x(-5) a multiple of 54?
True
Let y = 26 + -26. Is 4 a factor of 2 - 4 - (-20 + -2 + y)?
True
Let z be 2/(-4) - (-59)/(-2). Let t = z + 64. Let r = t + -15. Is r a multiple of 6?
False
Let i(x) be the first derivative of -2*x**2 + x - 5. Is 6 a factor of i(-8)?
False
Suppose -12849 + 89 = -10*d. Is d a multiple of 58?
True
Let f(m) = 4*m**2 - 11*m + 8. Let i be f(-7). Suppose 5*k + n - 139 - i = 0, 2*n = k - 84. Is k a multiple of 28?
True
Let t(h) = -7*h + 159. Is t(15) a multiple of 6?
True
Let j(p) = p**3 + 8*p**2 + 2*p + 1. Suppose -27 = 5*h + 3*t - 0*t, 0 = 4*h + 2*t + 22. Is j(h) a multiple of 8?
False
Let r(d) = 7*d - 210. Let a(m) = -8*m + 209. Let k(x) = -6*a(x) - 7*r(x). Is k(0) a multiple of 24?
True
Let q be (-1)/(-3) - (-21)/(-9). Let m = 2 + q. Suppose 5*n - 3*n - 36 = m. Does 9 divide n?
True
Suppose -6 = -2*q - 2, 5*w - 132 = 4*q. Suppose 119 + w = i - 2*u, -5*i + 761 = 3*u. Does 18 divide i?
False
Let o be (-8*2/4)/2. Does 6 divide (-8)/(-6)*(-315)/(-30) + o?
True
Let y be (-7)/2*(-36)/63. Let a be 59/y*4/(-2). Let j = -34 - a. Is 22 a factor of j?
False
Suppose 2*p = 5*p - 72. Let k be (32/p)/(2/(-21)). Does 31 divide (-934)/(-14) + (-4)/k?
False
Suppose -o = o + 2. Let s = -34 - -18. Is (o + -5)/(24/s) a multiple of 2?
True
Let t(i) = 2 + 6 - 8 + 26*i + 3. Let a be t(4). Suppose 0 = -5*n + a + 68. Does 8 divide n?
False
Suppose -3*u - 2*u - 15 = 0. Let k be -1 + (-1)/(u/15). Suppose 5*f + 0*i - 129 = 2*i, k*f - 5*i = 93. Is 9 a factor of f?
True
Suppose -8 = l - 12. Suppose -l*h + 1765 = g + 4*g, -4*g = -4*h - 1448. Suppose 0*a + g = 3*r - a, 5*r + 3*a - 595 = 0. Is r a multiple of 26?
False
Let u be (-1015)/(-6) + 22/(-132). Let k = -48 + -50. Let h = k + u. Does 24 divide h?
False
Suppose -3*u = 2*n - 19, -n - 5*u + 3 + 24 = 0. Is 36/5*5/n a multiple of 9?
True
Let l = -334 - -802. Does 8 divide l?
False
Is 6*(-5 - (5 - 0 - 91)) a multiple of 54?
True
Let l(o) = o**3 + 12*o**2 - 9*o + 43. Is 6 a factor of l(-11)?
False
Let b(r) = -63*r - 7. Let p(l) = 127*l + 13. Let o(i) = -5*b(i) - 2*p(i). Does 10 divide o(1)?
True
Let x(n) = n**2 - 3*n - 30. Let p(u) = 8*u**3 + 2*u**2 + u - 2. Let k be p(-1). Is 19 a factor of x(k)?
False
Suppose 2*z = -p + 2652, -24*p = -z - 22*p + 1336. Is 83 a factor of z?
True
Let s(b) = -b**3 - 6*b**2 + 6*b - 9. Let w be s(-7). Suppose -5*a - 13 - 42 = 0. Is 12 a factor of (-5532)/(-66) + w/a?
True
Suppose -3*l - 21*w = -18*w - 11427, 3*l - 2*w - 11417 = 0. Is l a multiple of 9?
True
Let g(m) = 15*m**2 - 6*m + 28. Does 5 divide g(3)?
True
Let a(c) = 5*c**2 - 3*c + 2. Let f be a(1). Suppose 0 = -f*o - 2*z + 416, -16 = -5*z + z. Is o a multiple of 24?
False
Let n(x) = x**2 + 9*x - 19. Suppose 24 = -6*k - 0. Let b be k*(-3 - 26/(-4)). Is 17 a factor of n(b)?
True
Let b = 640 + -38. Is b a multiple of 25?
False
Let g(y) = -12*y**3 - 3*y**2. Let w be g(-2). Suppose 4*f - 84 = -c, -2*f - 3*f = -c + w. Is 12 a factor of c?
True
Let h be (-4)/2 + 3/((-3)/(-14)). Suppose 0 = -2*z + h + 28. Is z a multiple of 6?
False
Suppose 0 = 4*b - 5 - 7. Suppose 10 = 2*g + b*g. Does 4 divide (-1)/g*-2 - -8?
False
Suppose 5*z - 4*z + 2154 = 4*j, -536 = -j - z. Is 15 a factor of j?
False
Let f(d) = 9*d - 32 - d + 78*d**3 + 23*d**2 - 77*d**3. Does 23 divide f(-22)?
True
Suppose 13*s = -4*s + 24140. Is s a multiple of 71?
True
Let d = 3 + -3. Suppose 3*v - 24 = -5*j + 4, -3*j = v - 20. Suppose 5*k - 7*k + j = d. Does 2 divide k?
True
Let a(w) be the first derivative of 63*w**4/4 - 2*w**3/3 + w**2/2 - 5. Let