 y(z) = -z**3 - 18*z**2 - 21*z + 38. Suppose r - 5*h + 39 = 0, 4*r - 10*h + 8*h = -84. Is 78 a factor of y(r)?
False
Suppose -45*b = -2164 - 124781. Does 27 divide b?
False
Suppose -r - 4*h = 9, -3*r + 5*h = -2*r - 18. Suppose -2*d - q + 10 = -6*d, -10 = 2*d - r*q. Let x(f) = -11*f**3 + f**2 - 2*f - 1. Is 16 a factor of x(d)?
False
Let j(t) = -t**2 - 7*t - 6. Let o be j(-4). Let n = 297 + -265. Suppose n + 4 = o*k. Is k a multiple of 3?
True
Let q = 237 + 694. Suppose 9*a - 495 - 1647 = 0. Suppose 9*w + a = q. Is w a multiple of 16?
False
Suppose -1176 = 103*k - 124*k. Suppose 3*r = -2*d - 27, r - 2*d + 0 = -1. Is (k/(-6))/r*150 a multiple of 20?
True
Suppose 2*s + 4*y = -16, -26*y = -2*s - 24*y + 8. Suppose 5*p + 16*p - 1764 = s. Is p a multiple of 12?
True
Let j(l) = -l**3 - 4*l**2 + 7*l + 7. Let p be j(-5). Let r(w) = 39*w**2 - 1 + w - 5*w - 6*w - 40*w**2. Does 20 divide r(p)?
True
Suppose q = -4*t + 2590, 0 = -t - 5*q - 16 + 654. Suppose -v = g - 648, -4*g - 2*v + t = -3*g. Does 54 divide g?
True
Let k = 1234 + 1328. Is k a multiple of 18?
False
Let p(a) = 2*a**3 + 6*a**2 - 22*a + 149. Suppose j = 5*g - 9 + 6, 0 = 2*g - 4. Does 13 divide p(j)?
True
Suppose 7178 + 7942 = 5*k. Suppose 0 = -35*u + 29*u + k. Is 12 a factor of u?
True
Let y(v) = -3*v + 12. Let s = 20 + -26. Is y(s) even?
True
Suppose 325911 = 73*m - 393970 - 80126. Is m a multiple of 16?
False
Does 10 divide (212/636)/(2/2460)?
True
Let r = 307 + -81. Suppose -3*s = -5*k + 585 + 561, -s = k - r. Suppose 0 = 5*l - u - 304, -2*l = -6*l - 3*u + k. Is l a multiple of 7?
False
Let x(h) = -h**2 - 12*h + 55. Suppose -3*v = 3*b + 45, b + 3*b + 45 = v. Is x(b) a multiple of 11?
True
Let h(t) be the second derivative of -t**5/20 + 3*t**4/4 - 3*t**3 + 11*t**2/2 + t + 1. Is h(5) a multiple of 15?
False
Let f be (-4)/6*3*3/2. Let a(d) = -41*d - 4. Let v be a(f). Suppose 0 = -5*w + v + 76. Is 13 a factor of w?
True
Let f = 4926 + 26. Is 4 a factor of f?
True
Suppose 42 - 134 = -23*c. Let j(m) = -m**3 - 5*m**2 - 3*m - 3. Let y be j(-5). Let l = y + c. Is l a multiple of 16?
True
Suppose -u + 4*d = -496 - 1604, -3*d + 6345 = 3*u. Is 12 a factor of u?
True
Let p(c) = 63*c + 35. Let t be p(5). Let f = t + -240. Does 22 divide f?
True
Let l = 368 + -160. Let g = -2293 + 2297. Suppose 0 = g*d - l - 20. Does 14 divide d?
False
Let p(q) = 13311*q + 3406. Is 26 a factor of p(3)?
False
Suppose -3*r + 12 = 0, i + r + 291 = -4*i. Let z = i + 851. Does 72 divide z?
True
Let u(x) = -547*x**3 + 4*x**2 + 10*x - 26. Is 62 a factor of u(-3)?
False
Let m(v) = v**3 - 2*v**2 + 7*v + 3. Suppose -6 = 2*k - 5*k - 3*c, 4 = k + 2*c. Suppose k - 20 = -5*i + 2*w, -4*w = -2*i + 8. Is m(i) a multiple of 3?
True
Let d(x) = 233*x + 13804. Is 11 a factor of d(17)?
True
Let i be 3 - 3 - -3 - 3. Suppose i = -3*h - 52 + 43. Let u(y) = -38*y + 19. Is 19 a factor of u(h)?
True
Let y = 29 - 20. Let q be ((-2)/3)/((-2)/y). Suppose g + 560 = 3*a, 3*a + q*g - 414 = 162. Is a a multiple of 42?
False
Suppose 3*d = 6 - 15, x - 119 = 4*d. Let q = 387 - x. Is 7 a factor of q?
True
Let q be 224/(10 + -8) + 9. Suppose 3*y - 102 + 494 = -5*f, 3*y - 216 = 3*f. Let m = f + q. Is m a multiple of 9?
True
Suppose 2*t = -2*u - 64, t + 2*u = -0*t - 30. Let w = 34 + t. Suppose -i + 141 + 105 = w. Is i a multiple of 19?
False
Suppose -8*h + 48 = 4*h. Suppose -5*g = s - 123 - 295, h*s - 1653 = -g. Does 50 divide s?
False
Suppose 4*t = 4*a + 21580, t + 2*t + 2*a - 16190 = 0. Does 11 divide t?
False
Let j = -21509 - -36636. Does 13 divide j?
False
Let d = -1547 - -2794. Let r = 1994 - d. Is 83 a factor of r?
True
Let x(a) = 1169*a - 2650. Does 14 divide x(4)?
False
Let f(y) = 3*y - 87. Let t be f(15). Is (3648/t - 2)/(10/(-35)) a multiple of 20?
False
Suppose 761*n - 3*h + 260584 = 766*n, 10*n + 4*h - 521182 = 0. Is n a multiple of 26?
False
Let k(q) = -11*q - 82. Let o be k(-8). Suppose o*w = 2*w - 5*h + 221, -w - h = -54. Is 7 a factor of w?
True
Suppose 114*o - 3300 = 99*o. Let m be (-1)/(-2) - 6/(-12). Let r = o + m. Does 13 divide r?
True
Let g = -63 - -67. Suppose 0 = -2*c + o - 1499, -g*c - 371 = -5*o + 2642. Is (32/24)/((-1)/(c/6)) a multiple of 48?
False
Let n(s) = -2*s - 3. Let h be n(1). Let a be (-5)/h + (-122)/(-2). Let k = a + -9. Is 7 a factor of k?
False
Let k(l) = -l**3 + 2*l**2 - 2*l + 7. Let z be k(5). Let m(f) = 12*f - 11. Let c be m(1). Is 16 a factor of (-1 + z/(-3))*c?
False
Let u be 6/(-144)*-6*12. Is 233/3 + -1 + u/9 a multiple of 33?
False
Suppose -c = 2*i - 1841, 0 = -27*c + 32*c - 4*i - 9149. Is c a multiple of 47?
True
Suppose -3*j = 4*n - 6009, 3*j + 4569 + 1470 = 4*n. Is 32 a factor of n?
False
Let w = -52 + 47. Does 32 divide 220 - -1 - (-8 - (0 + w))?
True
Let f be 759 + -3 + (-3 - -4). Let l = f + -487. Is l a multiple of 9?
True
Let b(i) = 3*i**3 + 3*i**2 + 4*i - 13. Let z(w) = -w**3 + w + 1. Let l(d) = -b(d) - 4*z(d). Let g = -1161 + 1167. Is l(g) a multiple of 23?
True
Let l = 50 + -73. Let h be 2*3/(-9)*(1 - l). Let n = 32 + h. Is n a multiple of 4?
True
Suppose 44*h + 650 = 42*h. Suppose 807 + 582 = 3*o. Let w = h + o. Does 38 divide w?
False
Does 12 divide 19206/4 - 6/12 - (12 - 10)?
False
Let u(p) = -36*p - 12*p**3 + 36*p - 5*p**3 + 13*p + p**2 + 20. Is u(-4) a multiple of 60?
False
Suppose 0 = -30*l + 31*l - 47. Let n = l + -48. Does 40 divide 12/(-18) - ((-125)/3 - n)?
True
Let b = 48 - 48. Suppose -4*j - 1 + 1 = b. Suppose j = -35*w + 33*w + 224. Is w a multiple of 39?
False
Suppose -2*u = x - 34045, x - 13632 = 3*u - 64707. Is u a multiple of 38?
True
Suppose -11*a - 17*a - 3108 = 0. Let g = a + 270. Is 23 a factor of g?
False
Let r = -244 + 600. Suppose p = 5*p - r. Let y = 31 + p. Does 20 divide y?
True
Let w(t) = t + 2. Let c(s) = 4*s + 55. Let j(g) = 2*c(g) + 2*w(g). Is 7 a factor of j(11)?
True
Let n(s) = 7*s - 10. Let d be n(3). Suppose d + 5 = f. Let u = f - -5. Does 2 divide u?
False
Is (-3)/(-39) - (-1633416)/104 a multiple of 11?
False
Suppose -4*a = 3*v - 161 + 26, 2*v - 4*a = 110. Let y = v - 35. Suppose 0 = 3*l + 4*k - y, 4*l + 3*k = 6*k + 52. Does 3 divide l?
False
Let p(a) = 4*a + 36. Let i be p(-6). Suppose 3*l - 285 = i. Is l a multiple of 10?
False
Suppose -3*k = 15, -4*m = -3*k - 143 - 4. Suppose -3*x - m = -5*b - 8, -2*b - 4*x - 16 = 0. Suppose b*u - 7*u + 1325 = 0. Does 27 divide u?
False
Let h = -10 - -54. Let a = h - 3. Suppose 3*u - 133 = k, k - a = -u - 2*k. Does 22 divide u?
True
Let l(u) = -28*u**2 + 42*u + 18. Let j(i) = 19*i**2 - 28*i - 12. Let r(a) = 8*j(a) + 5*l(a). Let o be r(-9). Suppose 9*b = 3*b + o. Is b a multiple of 13?
True
Let t = -693 + 454. Let l = t - -479. Is 30 a factor of l?
True
Suppose -4*y + 9086 = -13074. Is y a multiple of 19?
False
Let g(c) = 323*c + 4041. Is g(105) a multiple of 13?
False
Suppose -14*o + 15*o + 5*i - 529 = 0, i = -5*o + 2645. Is o a multiple of 20?
False
Let a(h) = h**3 - 155*h**2 - 775*h + 731. Is 297 a factor of a(161)?
True
Let i = 20231 - 19865. Is i a multiple of 5?
False
Suppose 2*x - 5*u - 9 = -1, -2*x + 3*u + 8 = 0. Suppose -3 = 5*v - 8, 5*c = x*v + 1071. Is 6 a factor of c?
False
Suppose -72 = 10*g - 14*g. Suppose g*l - 6051 = 1509. Does 42 divide l?
True
Let s = -521 + 4513. Does 13 divide s?
False
Suppose -5*m = -p + 57, 4*p - 243 = 3*m + 2*m. Suppose -5*l = 2*y - p, -l + 16 = y - 6*l. Is 27 a factor of 403*(y/(-39) - 5/(-3))?
False
Suppose -3*c = -t + 26, 0*c = -3*t + 3*c + 66. Let r be (6/4)/((-1)/(t/(-15))). Suppose 3*v + 4*b - 43 = 0, v + r*b = -3*b + 18. Is v a multiple of 2?
False
Let u = 410 + -404. Let y(m) = 7*m**2 - 3*m + 38. Does 17 divide y(u)?
True
Suppose -4*l + 67 = -l + 5*s, 74 = 4*l - s. Let h = l + -16. Is 18 a factor of h/(-6) + (-181)/(-2)?
True
Let b be (-32)/8 + -12*1/(-2). Does 9 divide (b + 46)/(4/6)?
True
Let z be (-1)/((-8)/112 + 0). Does 4 divide ((-14)/z)/((-2)/378) + -5?
True
Let m(u) = 5*u**2 - 1. Let g be m(1). Let s(j) = -3*j**3 + 2*j**2 - 4*j + 1. Let f be s(-3). Suppose 3*a + z - 24 = f, -g*a + 179 = -z. Does 21 divide a?
False
Let p = 45 + -37. Suppose 9*l - p*l = 35. Suppose 32*j = l*j - 270. Does 30 divide j?
True
Suppose 32*w + 24 = 28*w, -4*c + 25348 = 4*w. Does 4 divide c?
False
Let n(t) = 2*t - 1. Let j = 21 - 17. Let d be n(j). Is 7 a factor of (d/(-21))/(2/(-90))?
False
Is ((-3696)