 v(r) = -3*r**2 + 19*r + 8. Let k(w) = -w**2 + 6*w + 3. Let d(l) = 7*k(l) - 2*v(l). Let g be d(5). Suppose g = 4*b - 17 - 187. Is b a multiple of 18?
False
Suppose -30 = 2*k - 12. Let u = k + 12. Suppose 4*h - u = 21. Is 6 a factor of h?
True
Suppose 7*d = 3*d + 16. Suppose -d*o + 988 = 132. Suppose -3*z = -0*b - 5*b - 169, -b - o = -4*z. Is z a multiple of 11?
False
Suppose 0 = w + 1 + 2. Let i(g) = 2*g**2 - 3*g - 1. Let q be i(w). Let t = q - -16. Does 10 divide t?
False
Suppose 0 = 4*k - 73*j + 74*j + 10, -4*k = 4*j + 16. Let v(t) = -63*t - 3. Let x(w) = 95*w + 4. Let b(g) = -7*v(g) - 5*x(g). Is 25 a factor of b(k)?
False
Suppose -2*s + 5*s - 15 = 0. Suppose -2*o + 4*m - 3*m + 12 = 0, m + 27 = s*o. Suppose 105 = 5*t - o. Does 11 divide t?
True
Let z = -15 + 9. Let p(u) = 2*u**2 + 6*u. Let i be p(z). Suppose 0*g - 4*r - i = -2*g, 0 = -2*r + 6. Does 24 divide g?
True
Let v = 1986 + -1936. Is 12 a factor of v?
False
Let k(d) = -d - 3. Let p be k(-10). Suppose -6*g + 7 = -p*g. Is (-14)/(-8) + g/(-28) even?
True
Suppose r = 4*r - 21. Suppose 14*q = r*q + 1190. Is q a multiple of 34?
True
Does 7 divide -10 + 7876/55*5?
False
Suppose 82 = -6*l - 98. Let f be ((-3)/(-1))/(9/l). Let s = f - -28. Is s a multiple of 9?
True
Suppose 29*h - 12296 = 22881. Does 26 divide h?
False
Let a(q) = -2*q**3 - 2*q**2 - 2. Let s be a(-2). Let d be 3*44/(-18)*s. Let x = d + 86. Is x a multiple of 9?
False
Let i(t) = t**3 + t**2 - 6*t - 3. Let q be i(-3). Let b(y) be the second derivative of -y**5/20 - y**4/6 - y**3/2 + y**2 + y. Is 5 a factor of b(q)?
True
Let s(p) = 210*p - 1160. Is s(8) a multiple of 52?
True
Let x = -7 - -10. Let t be (-1)/(x/318*-1). Suppose -4*s + t = -3*i + 5*i, i + 97 = 4*s. Is s a multiple of 5?
True
Suppose 4*i + 2*k - 3062 = 3134, -4640 = -3*i + 2*k. Does 22 divide i?
False
Let r = 114 - 14. Is 9 a factor of r?
False
Is (23/(-2))/((-3 + 13)/(-40)) a multiple of 30?
False
Let s = 88 - 51. Let h = s - 21. Is h a multiple of 8?
True
Suppose 2*u = -2*h - 6, -8*h - 25 = -3*h. Suppose -764 = -4*f - i + 440, -u*f + 612 = -2*i. Is f a multiple of 28?
False
Suppose 2*x - 6 = c, 0 = 5*c - 2*x - 0*x + 22. Let h(m) = -49*m - 26. Is h(c) a multiple of 34?
True
Let k(w) = -9*w**3 - 7*w**2 - 8*w + 7. Is 18 a factor of k(-3)?
False
Let d(m) = -2*m**2 - 103*m - 65. Is 18 a factor of d(-49)?
True
Let r = 54 + -54. Suppose -5*v - x = -17, r = 4*v - 8*v + 5*x + 31. Is v a multiple of 3?
False
Let c(b) = b**3 + 17*b**2 + 17*b + 21. Let w be c(-16). Suppose -5*a = -3*l - 10, a + 8 = -5*l + w*a. Suppose 0 = j - l*j - 20. Does 15 divide j?
False
Suppose -2*p + 0 = -x + 1, 0 = x + 2*p - 5. Suppose -5*y + 792 = x*z, z = 3*y - z - 460. Is 12 a factor of y?
True
Suppose 4*n + 16 = -4*n. Does 34 divide (74 - n) + -3 + -1?
False
Let v be (12/10)/(((-4)/(-10))/1). Let p(r) = -11*r**3 + 3*r**2 + 2*r + 2. Let q be p(-2). Suppose 2*c - 64 = -5*i + 3*i, -v*i - c + q = 0. Is 11 a factor of i?
True
Let j = -532 + 603. Is 5 a factor of j?
False
Let g(h) = 2*h**2 + 18*h + 2. Let k be g(-13). Suppose 8*x - k = 6*x. Is 13 a factor of x?
False
Let j(f) = -11*f**3 - 2*f**2 + 10*f + 25. Is j(-5) a multiple of 50?
True
Suppose s = 2*s + s. Is (-1)/4 - (-657)/36 - s a multiple of 13?
False
Suppose 13*m + 147 = 6*m. Let r = m - -186. Is r a multiple of 33?
True
Suppose 0 = -4*p - 4*s - 0*s + 492, 4*p + 2*s = 482. Suppose -4*c = -314 - p. Is c a multiple of 13?
False
Let k = -23 - -30. Suppose h + 4*j - 39 = 0, -5*j + 7 = 2*h - 59. Let n = h - k. Does 10 divide n?
False
Suppose 3*d + 36*x - 128 = 32*x, -2*d + 72 = -4*x. Is d a multiple of 20?
True
Let a(x) = x**3 + 6*x**2 - 10*x - 16. Let t be a(-7). Suppose 177 = 5*j - 3*p + 2*p, t*p + 57 = 2*j. Is 12 a factor of j?
True
Let n be 12 + -12 - 109*(-1 - 1). Suppose -n = -3*v - 137. Is 3 a factor of v?
True
Suppose 9 = 2*q - y - 17, -4*q + 4*y = -56. Let r = q + -8. Suppose 3*k - r*g = 172, -4*g + 25 = -2*k + 137. Is k a multiple of 12?
True
Is (19620/(-70))/(159/42 + -4) a multiple of 47?
False
Let m(z) be the first derivative of -z**3/3 + 23*z**2/2 + 15*z - 2. Does 27 divide m(15)?
True
Suppose -4*n + i + 319 = -214, 394 = 3*n + 5*i. Let c(l) = l**2 + l - 2. Let y be c(-2). Suppose y = -5*p + n - 23. Is p a multiple of 5?
False
Suppose -u = 1, 5*u = -l - 0*u. Suppose -l*k = -0*k - 175. Let g = 74 - k. Does 13 divide g?
True
Let j(f) = 46*f**2 + 5*f + 1. Is 21 a factor of j(-1)?
True
Suppose 4*b = b + 48. Let h(y) = y**2 - 15*y - 11. Is h(b) a multiple of 3?
False
Let m be (-4)/(-12) + 2/(12/(-38)). Is 369/12 + m*4/32 a multiple of 12?
False
Let m = 52 - 52. Let x(h) = h + h + 12 - h. Is x(m) a multiple of 12?
True
Let q(r) = 51 - 39 + 8*r - 28. Is q(6) even?
True
Let g = 40 + -36. Let n(v) = 10*v + 6. Is 6 a factor of n(g)?
False
Suppose 4*b + 3*a - 2 = 0, -b - a = -0*a. Suppose 3*o - c - 608 = 0, -o = o - b*c - 400. Suppose -2*x + 2*r + 100 = 0, -52 = -5*x - r + o. Does 13 divide x?
False
Suppose 14 = 14*j - 12*j. Let p = j + -4. Is p a multiple of 2?
False
Let d(m) = m**3 - 5*m**2 + 2*m + 11. Let y be d(4). Suppose 0 = -5*c - 25, 702 + 238 = 5*b - y*c. Is b a multiple of 37?
True
Is 38 a factor of (1/(-2))/(18/(-12312))?
True
Let h(b) = 3*b**3 - 17*b**2 - 3*b - 17. Let k be h(6). Let z be 1/((-1 + 2)/20). Let i = k + z. Is 7 a factor of i?
True
Is (359 - -1) + -4 + -1 a multiple of 21?
False
Suppose 0 = 3*t + 2 + 4. Let u = t + -5. Let p = 3 - u. Is 3 a factor of p?
False
Let w(g) = -3 + 1 + g**2 + 3 + 9*g**3 - 2. Let k be w(1). Suppose -k = f - 105. Is f a multiple of 32?
True
Let t be 23640/85 + (-8)/68. Suppose 4*n = t + 2. Is n a multiple of 6?
False
Let h be (-8)/((-3)/(6/(-4))). Does 14 divide h*(-5)/(10/38)?
False
Let t be -2 + -1 - (5 + -9). Does 2 divide 10/3 + t/(-3)?
False
Suppose 0 = -w - 6 + 1, -2*w - 10 = 5*a. Suppose a = q + 23 - 39. Does 4 divide q?
True
Suppose u + 28 = 8*u. Suppose -u*s = -4*l + 656, l + 73 = 4*s + 225. Does 21 divide l?
True
Suppose 9*l = 8074 + 2582. Does 25 divide 4/6 + l/24?
True
Suppose 5*g = 10*g. Let l(d) = -d**2 - d + 19. Let t be l(g). Let n = 32 - t. Does 3 divide n?
False
Suppose 5*l - 50 = -a, 42 = 3*l + 2*a + a. Does 11 divide (-66 - 0)*l/(-9)?
True
Let j = 20 - 12. Let c be (-6)/j*108/9. Is c/(-2)*(-3 - -5) a multiple of 2?
False
Let z(b) = -b**3 + 11*b**2 + b - 4. Let q be z(11). Let v(w) = w**3 - 7*w**2 - 3*w. Let k be v(q). Let f = 25 + k. Is f a multiple of 4?
True
Let u = -5 + 1. Let r = -88 - -112. Is 11 a factor of ((-37)/u)/(6/r)?
False
Suppose 421*t - 411*t = 31590. Is 9 a factor of t?
True
Suppose -26 = -2*z - 6. Suppose -5*o + 30 = -z. Let l(w) = 2*w - 1. Is l(o) a multiple of 5?
True
Let v(p) = -p + 74. Is v(10) a multiple of 5?
False
Suppose f = 4*t - 38 + 174, 4*t = 8. Suppose -j = 3*i - f, -2*i = 4*j - 4*i - 520. Is 19 a factor of j?
False
Let z = -28 - -30. Let v(n) be the first derivative of 10*n**2 - 2*n - 2. Is v(z) a multiple of 11?
False
Let b be (-3)/7 - 13689/(-91). Let n = 28 - 24. Suppose -n*k = -k - b. Does 9 divide k?
False
Let b be (0 - -40)*(1 + 1). Suppose b = 5*a - 0*a. Is 7 a factor of a?
False
Let t(g) be the first derivative of -2*g**2 - 25*g + 2. Suppose p + 10 + 1 = 0. Is 12 a factor of t(p)?
False
Let q(a) = -2*a**3 - 2*a**2 + 32*a - 31. Does 25 divide q(-9)?
False
Let u(g) = g**2 + 8*g + 15. Let i be u(-9). Suppose -9*w = -8*w - i. Is w a multiple of 11?
False
Let c = 14 - 24. Let i = 77 + c. Suppose -131 = -3*a + i. Does 22 divide a?
True
Let c = 10 + -7. Suppose -5*t - 5*f + 485 = 0, 2*t = 4*t - c*f - 209. Does 11 divide t?
False
Let p(w) = -w**2 + 18*w + 19. Suppose -l - 3*r = 2*l - 9, -5*l + 3*r = -23. Let o be 13 - l/(4/(-3)). Is p(o) a multiple of 17?
True
Suppose d - 1501 = -5*j - 2*d, 0 = -3*j - d + 899. Is 17 a factor of j?
False
Suppose -7*c = -5*c - 16. Let j = -2 - c. Is (-2)/j - 736/(-20) a multiple of 30?
False
Let w = 76 + 26. Suppose 2*d = 8, 5*f - d - w = d. Suppose -2*t + p = -44, 3*p - 62 = -3*t + f. Does 8 divide t?
True
Let i be (-6)/3 - 1/((-2)/(-738)). Let q = i - -521. Is 20 a factor of q?
False
Let w = 2364 + -1742. Is 16 a factor of w?
False
Suppose -4*j - 24 = -4. Let x = j - -32. Let u = x - -7. Does 13 divide u?
False
Let u be 10/(2*2/8). Suppose -2*y - u = -4*s, -3*y + 1 - 3 = s. Suppose 20 = q + s*q. Is 2 a factor 