
Let l(w) = w**2 - 15*w - 8. Let v be -40*(1 - 28/20). Let z be l(v). Suppose -4*h + z*h - 36 = 0. Is h even?
False
Suppose 21*k = -16870 + 63784. Is k a multiple of 76?
False
Suppose 0 = 3*t + 4*t. Suppose -4*b + 645 = 5*v, t*b - 620 = -5*v + b. Is v a multiple of 20?
False
Let s be (-2)/(-4) + 24/(-16) + 3086. Suppose 0 = -13*p + s + 828. Is p a multiple of 36?
False
Let n(j) = -58*j - 80. Is 83 a factor of n(-17)?
False
Let j(x) = x**3 + 9*x**2 - 21*x + 14. Let c be j(-11). Is c*(-53)/(-9) - (-1)/3 a multiple of 9?
True
Let w(f) = f**3 + 12*f**2 + 14*f - 6. Let d be w(-8). Suppose d = 5*x + 18. Is 8 a factor of x?
True
Let k(b) = -b**3 + 9*b**2 - 4. Is 15 a factor of k(-8)?
False
Suppose 3*z = -2*b - 182, -3*z = 3*b - 33 + 219. Let i = z - -139. Suppose 4*c - i - 79 = 0. Is 20 a factor of c?
True
Suppose 5*o - 16555 = -5*v, 0 = -2*v - 6*o + 5*o + 6619. Is v a multiple of 24?
False
Is (869*-2)/(12 - 13) a multiple of 41?
False
Is 23 a factor of (-20)/(-30)*(-945)/(-1)?
False
Let i(r) be the first derivative of r**4/4 - 2*r**3/3 - r**2 + 98*r + 13. Does 21 divide i(0)?
False
Let h(w) = 8*w + 13. Let a be h(5). Let t = a + -40. Is t a multiple of 9?
False
Let f = -255 + 387. Is 44 a factor of f?
True
Let n(c) = -15*c - 3. Let u be n(2). Suppose 0 = v + 4*v - 2*q - 397, -3*v + 251 = 2*q. Let z = u + v. Does 10 divide z?
False
Suppose 4*d + 5 - 25 = 0. Let u(s) = s**2 + 4*s. Is 9 a factor of u(d)?
True
Let i = -18 + 20. Let l be (-1 + (0 - i))*-1. Suppose c - o = l*o + 17, 0 = 4*c + 2*o - 86. Does 21 divide c?
True
Let m(h) = 9*h**2 + h + 4. Let r be 9*(7/(-21) + (-2)/(-3)). Does 7 divide m(r)?
False
Let p(t) = -5*t + 64. Let i be p(13). Does 9 divide (307 - i)/4 - -5?
False
Suppose 8950 - 1796 = 5*m - 2*c, -4*m - 4*c + 5712 = 0. Is m a multiple of 10?
True
Let f = -717 - -764. Suppose 5*d - 305 = 80. Let n = d - f. Is 14 a factor of n?
False
Suppose n - 2*a - 1250 = 0, 0 = 5*n + 88*a - 93*a - 6230. Does 46 divide n?
True
Suppose -3*y + 2278 = 2*t, 2*t + 3043 = 4*y - t. Does 38 divide y?
True
Suppose 5*s - 20 = d, -3*s + 0*d = 4*d + 11. Suppose 16 = s*t - m, 3*t = 7*t + 3*m - 30. Is 3 a factor of t?
True
Let q be 57/21 + 4/14. Suppose -o + 5*a = -q*o + 39, 3*o + 2*a - 64 = 0. Is 4 a factor of o?
False
Suppose -3*i = -11 - 1. Let k be 244/6 - i/(-12). Let y = -21 + k. Is 10 a factor of y?
True
Is 8460/36 + (-2)/2 a multiple of 32?
False
Let p = 33 + -151. Let c = p + 166. Is c a multiple of 16?
True
Let z(v) be the third derivative of v**4/12 - v**3/2 - 4*v**2. Let q be z(3). Suppose -3*l = -4*b + 203, 5*b - q*l - 253 = l. Is 18 a factor of b?
False
Let z = -228 - -451. Does 12 divide z?
False
Suppose -2*v = -3*k - 6*v + 14, 4*k = 5*v - 2. Is 24 a factor of (115 - (2 - k))*1?
False
Suppose -9899 = -11*w - 2177. Does 18 divide w?
True
Is 435 - (-2 - (5 + -2)) a multiple of 88?
True
Is 69 a factor of 68 + -74 - (-2406)/2?
False
Let c(g) = -38*g - 68. Is c(-11) a multiple of 50?
True
Let v = -98 - -103. Suppose v*o - 789 = 311. Is o a multiple of 21?
False
Is 20 a factor of 667 - ((-183)/(-24) + (-18)/(-48))?
False
Suppose 2*x - 92 = x. Let a be (x/12 + -1)*3. Suppose -8*v = -3*v - a. Is 4 a factor of v?
True
Suppose 4*p = 4*u + 380, u - 32 = -p - 119. Let r = u + 118. Does 5 divide r?
False
Let c be (4/2)/(17/34). Suppose -624 = -4*y - c*o, -o + 618 = 4*y - 0*o. Does 22 divide y?
True
Suppose 7*g = 5658 + 6123. Is g a multiple of 17?
True
Suppose -59*m = -62*m + 9. Suppose 306 = 3*v + m*z, -3*z - 2*z = v - 110. Does 9 divide v?
False
Let v(u) = u**3 - 13*u**2 - u + 17. Let w be v(12). Let d = -113 - w. Is 3 a factor of d?
False
Suppose 4*y = -s + 4280, -35*y + s + 3210 = -32*y. Is 107 a factor of y?
True
Suppose s - r = 38, 0*r + r = -4. Let c = 205 - 188. Let d = s - c. Does 5 divide d?
False
Does 34 divide (6 - 11) + 3 - -308?
True
Let i = 99 + -60. Suppose -3*f + i + 4 = 4*m, -3*f = -m + 22. Is 13 a factor of m?
True
Let l(m) = m**3 - 4*m**2 - 4*m. Let n be ((-20)/12)/(1/(-3)). Let t be l(n). Suppose f - 50 = -2*d + 6*d, d - 271 = -t*f. Is 18 a factor of f?
True
Let o be 189/11 - 2/11. Suppose 2*x = 4*u - 14 - 0, 0 = 2*u. Let h = o - x. Is h a multiple of 8?
True
Let s(r) = r**2 + 13*r + 37. Does 13 divide s(-18)?
False
Let s(p) = -70*p + 50. Let b be s(15). Does 10 divide (-2 - -1 - 2)*b/15?
True
Let i(p) = -8*p**2 + 14*p - 2. Let x(t) = -t**3 + t**2. Let k(v) = -i(v) + x(v). Is 13 a factor of k(6)?
True
Let s(u) = -u**3 - 9*u**2 - 6*u + 6. Let w be s(-8). Let b(n) = -n - 4. Let v be b(w). Let m = 3 + v. Is 9 a factor of m?
True
Let y = -212 + 576. Is y a multiple of 26?
True
Suppose -284 = -4*l - 4*g, -3*l + 214 = -0*l + 4*g. Does 5 divide l?
True
Let g(r) = -r**2 + 18*r - 32. Let f be 1 + 0/1 + 5*2. Is 9 a factor of g(f)?
True
Let u(v) = -v**3 - 14*v**2 - 16*v - 5. Is 3 a factor of u(-13)?
False
Let u(y) = 2*y + 4. Let b be u(-9). Let w = 17 + b. Suppose 3*d - 29 = 5*z, 0*z = w*d + z - 23. Does 4 divide d?
True
Does 70 divide 13304/10 + (-50)/125?
True
Let h be ((-5)/2)/(5/(-4)). Let r = 0 + h. Does 3 divide (r/(-3))/(8/(-84))?
False
Is 5 a factor of (142/6)/(10/60)?
False
Let k(t) = 13*t**3 + 2*t**2 - 9*t - 4. Does 19 divide k(4)?
False
Let t be 4/18 + 2150/45. Suppose m = 5*m - t. Is 2 a factor of (1 + (-3)/6)*m?
True
Let t be 1 + 0 + 1 - 5. Let s(w) = -27*w - 2. Is 13 a factor of s(t)?
False
Let f(l) = -5*l + 6. Let s be f(-2). Let n(h) = -h**3 + 16*h**2 + 22. Is n(s) a multiple of 18?
False
Let d(u) = u**2 + 6*u - 2. Let s be d(-11). Let g = 88 - s. Is g a multiple of 6?
False
Suppose -5*x - 3*i - 820 = -8*i, -2*x + 5*i - 343 = 0. Let u = -113 - x. Is 46 a factor of u?
True
Let d(u) = -u**2 - 19*u - 32. Let a be d(-17). Suppose 23 = o - z, 26 = a*o + 3*z - 35. Is 7 a factor of o?
False
Let q(d) = -8*d - 21. Let w(i) = 3*i + 7. Let g(c) = -4*q(c) - 14*w(c). Let t = 19 - 25. Does 23 divide g(t)?
True
Let b(t) = 50*t**2 + 0*t - 4*t**2 - t. Let x be b(2). Suppose -2*h - x = -4*l + 144, 4*h = -2*l + 188. Is 25 a factor of l?
False
Suppose 4*k = -4 - 12. Does 15 divide 1 + (k - (-4 + -2) - -12)?
True
Suppose 317 = 3*v + 266. Is 5 a factor of v?
False
Let a(b) = -6*b - 42. Let l be a(-7). Let s be 4/(-10) - 452/(-5). Suppose l = -4*k + 102 + s. Is k a multiple of 19?
False
Let q(a) = -10*a + 13. Let n be q(-7). Suppose 445 = -6*w - n. Let d = 163 + w. Does 15 divide d?
True
Let k(u) = -4*u. Let i be k(2). Let a = i - -14. Is a*(-1)/(-2) - -5 a multiple of 4?
True
Suppose 0 = 6*c - c + 45. Let z = c - -15. Suppose z = l + 4*j, l - 12 = j + j. Is l even?
True
Suppose 889*b = 883*b + 990. Does 11 divide b?
True
Suppose -3*w + 5*w - 64 = 0. Suppose 0 = -27*h + w*h - 35. Is h a multiple of 2?
False
Suppose 3*o + 2*f - 2558 = 7*f, 4*o - 4*f - 3408 = 0. Is o a multiple of 19?
False
Let m(r) = 7*r**2 - 12*r - 134. Is 13 a factor of m(15)?
True
Suppose 8*m = 6*m + 12. Suppose 2*v + v + m = 0, p = -3*v + 33. Is 3 a factor of p?
True
Let h be (-4)/(-6) - (-65)/(-3). Let c be (h/6)/7*2. Is 2/2 - c - -3 a multiple of 5?
True
Suppose 60 = 19*y - 567. Is y a multiple of 3?
True
Is 30 a factor of (-2)/(-4) - (-1025)/2?
False
Suppose -13*h + 224 = -192. Is h a multiple of 8?
True
Let i(u) = -2*u**2 + 10*u + 7*u**2 + 4*u**2 - 12 - 2*u**2. Is 36 a factor of i(-6)?
True
Let l(x) = x**3 - x**2 + 10*x + 12. Let b be l(8). Is 26 a factor of b/(1 - -4) + -4?
True
Let g = 1374 - 102. Does 24 divide g?
True
Let s(k) = 6*k**3 - 1. Let z be s(1). Let r = z - 1. Suppose -5*f + 366 = r*b, 2*b = 4*f + b - 297. Does 37 divide f?
True
Suppose -5*v + 0*v = -75. Let a be 18/v*(-10)/(-3). Suppose 5*b = a + 76. Does 8 divide b?
True
Let a = -699 + 2063. Does 22 divide a?
True
Let g be 0/(-1 + (-1 - -4)). Suppose g = -3*m - m. Suppose 0*y - 93 = -3*y - 5*o, m = 4*y + 2*o - 110. Does 13 divide y?
True
Suppose 8*f - 3*f = 10560. Suppose f = -3*h + 7*h. Is h/18*(-9)/(-4) a multiple of 22?
True
Suppose 7*t - 6*t - 31 = 0. Suppose 0 = 2*a + 5*l - 117, a - 4*l - t = -l. Is a a multiple of 46?
True
Suppose -12*o + 544 = 5*o. Is 2 a factor of o?
True
Let t be (5/(-3))/(4/(-12)). Suppose 2 = h, -t*h + 2 = 5*x - 33. Suppose -5*l + 3*l + 5*i + 20 = 0, -x*i + 10 = 0. Is 4 a factor of l?
False
Suppose -2*y + 2*u - 668 = -4*y, 5*y + 2*u = 1658. Does 15 divide y?
True
Let y(t) = -8*t**3 + t**