d + 63. Does 4 divide d?
False
Let z(v) = 2*v - 7. Let m(i) = -3*i + 10. Let a(h) = 5*m(h) + 8*z(h). Let x be a(14). Suppose -q = -x - 16. Is q a multiple of 7?
False
Let d = -2138 - -2237. Is d a multiple of 11?
True
Let y(f) = 2*f**2 - 28. Is 17 a factor of y(-10)?
False
Let o(v) = -19*v - 5. Suppose -11 = 2*w + 3*k, 5*k = -w + 2 + 3. Let j be o(w). Suppose -14 - 4 = -n + 4*b, -5*n + b = -j. Does 8 divide n?
False
Let z = -690 + 1587. Is 10 a factor of z?
False
Suppose 6*x + 3640 = 11*x. Is x a multiple of 29?
False
Let m(c) = 181*c - 276. Is m(6) a multiple of 60?
False
Let l(i) = i**2 - 5*i + 5. Let j be l(2). Let d(r) = -5*r**3 - r**2. Let x be d(j). Let v = x + 0. Is v a multiple of 2?
True
Suppose -660 + 2298 = 3*c. Is c a multiple of 10?
False
Let p = 97 - 92. Let b(d) = 7*d + 25. Is b(p) a multiple of 17?
False
Let d(a) = 3*a**3 + 54*a**2 + 14*a - 21. Is d(-13) a multiple of 106?
True
Let j(p) = -p**3 + 23*p**2 + 8*p - 62. Is 10 a factor of j(23)?
False
Let w(s) = -s**3 + 9*s**2 - 13*s - 2. Let g be w(6). Suppose 3*l - 7 = z + 13, l + 5*z - g = 0. Does 4 divide l?
True
Let t(z) be the third derivative of z**4/3 - 3*z**3/2 - 8*z**2. Let d be t(3). Let g = d + -5. Is 6 a factor of g?
False
Suppose -5*k + 8 = 2*g - 15, 0 = k - 5*g + 17. Suppose 2*a + 2*z = 5*z + 126, -5*a = k*z - 357. Does 17 divide a?
False
Let a(k) = 9*k**2 - 2*k - 1. Let c be a(-1). Suppose l = 2*l + c. Let x = l + 17. Is x even?
False
Let j = -3922 + 5602. Does 12 divide j?
True
Let q(v) = -v**3 + 9*v**2 - 10*v + 3. Let x be q(8). Let o = -65 - x. Let j = o + 97. Does 12 divide j?
False
Suppose 4*j = -2*p + 668, -2*j + 368 - 34 = 3*p. Is 2 a factor of j?
False
Is 6 + -2 + 77 + 8 a multiple of 15?
False
Suppose 0 = r + 5*w - 1559, r + w + 120 = 1659. Is r a multiple of 59?
True
Suppose -2*k + 12 = 2*k. Suppose -9 = 4*c + 5*x + 3, -5*c + 22 = -k*x. Suppose c = 2*t - 16. Does 9 divide t?
True
Let c(l) = -5*l + 64. Let p be c(-22). Suppose 0 = 5*i - 25, 0*h + p = h + 3*i. Does 53 divide h?
True
Let r(l) = -l**2 - 16*l - 25. Let t be -3*((-2)/7 - 276/(-84)). Is 2 a factor of r(t)?
True
Suppose -4*b - 955 = -5*o, 69 = -o + 2*b + 260. Is o a multiple of 4?
False
Suppose 795 = 7*q + 2517. Let p = q + 540. Is p a multiple of 14?
True
Let n = -21 - -27. Suppose 2*f - n*f = -8. Suppose 2*z - 45 = 3*t + f, 85 = 4*z - 3*t. Does 6 divide z?
False
Let a = 1663 + -1431. Is 8 a factor of a?
True
Suppose 0 = 5*f - 15 - 5. Suppose -f = -5*v + 1, -5*v + 86 = -3*d. Let u = 49 + d. Does 7 divide u?
False
Let c(t) = 6*t**2 - 25*t - 176. Is c(-9) a multiple of 8?
False
Let n = 92 + 58. Let f = n - 62. Is f a multiple of 8?
True
Suppose -7*f = -2*f + 4*g - 8, 0 = -2*f + 3*g - 6. Suppose -i - 45 = 3*s - 7*s, f = -s + i + 9. Does 3 divide s?
True
Let f = 20 + -18. Suppose 4*a = 3*z + 285 + 203, -4*a - f*z = -468. Suppose 2*h = t - 3*h - 41, -4*t = -5*h - a. Is 13 a factor of t?
True
Let k(s) = -s**3 - 6*s**2 - 4*s + 10. Let i be k(-7). Let d = 13 + i. Is 20 a factor of d?
True
Suppose 5*r = 5*m - 310, 3*m = 5*r + 93 + 91. Let g(a) = a**3 - a**2 + a - 17. Let u be g(0). Let o = m + u. Does 23 divide o?
True
Let h be 2/4 + (-99)/(-2). Let k = h - -64. Suppose 3*l + 0*l = k. Does 19 divide l?
True
Suppose 41 + 19 = 5*h. Let r be 48/9 - 4/h. Suppose -60 = -5*j - r*d, 3*j + d - 24 = j. Does 12 divide j?
True
Suppose 0 = -3*a - 4*m + 987 + 2961, 3*m - 2632 = -2*a. Does 48 divide a?
False
Suppose 32*m = 33*m - w - 104, 4 = w. Is 7 a factor of m?
False
Let b be (3 + -4)*2/(-2). Is 30 a factor of b - 3/(9/(-357))?
True
Let p = 3105 - 1293. Is 47 a factor of p?
False
Let t = 569 - 401. Is 28 a factor of t?
True
Suppose -2*t - 22 = -5*g - 4*t, -g + 5 = t. Suppose w = 2*s - 3, g*s - 22 = -5*w + 5. Does 20 divide (2 + 1 + s)*10?
True
Let o be 8*((-12)/8)/(-1). Suppose -o = 2*t + 2*t, 2*w = -2*t + 42. Does 4 divide w?
True
Let a(j) = -28*j + 21*j - 13*j - 23*j - 22. Is a(-7) a multiple of 31?
True
Let a = 13 + -9. Let h(p) = 23*p**2 - 4*p + 3. Let r be h(a). Suppose -2*t + 7*t - r = 0. Is t a multiple of 26?
False
Suppose -j + 4*x + 14 + 186 = 0, 230 = j + 2*x. Does 20 divide j?
True
Suppose 88 + 28 = i. Suppose 0 = 5*j - i - 164. Is j a multiple of 13?
False
Suppose -k = -5*y + 80, -4*y + 74 = -4*k + 10. Suppose 0 = -o - 3*o + y. Suppose 6*v - 24 = o*v. Is 4 a factor of v?
True
Is 42 a factor of -4 - (-6584 + 4 + -9)?
False
Let o = -66 + 72. Suppose -2*p - 4*h + 176 = 0, o*h = h + 10. Is p a multiple of 18?
False
Let v be (4/10)/((-2)/(-15)). Suppose 6 = -v*g, 0*g = -3*m - 3*g - 48. Does 13 divide 4/m - 611/(-7)?
False
Let k(r) = r**3 - 3*r**2 - 2*r - 19. Does 14 divide k(7)?
False
Let i(h) = -h**3 + 8*h**2 - 9*h + 6. Let s = 45 + -40. Does 9 divide i(s)?
True
Suppose 0 = -4*s + s - 24. Is 8 a factor of (1 - (-26)/(-8))*s?
False
Let k(a) = 9*a**3 - 2*a. Suppose 3*c - 3*f = 0, -3*c - 2 - 2 = -5*f. Is 12 a factor of k(c)?
False
Let l(h) = -2*h - 2*h - h**3 + 0 - 7*h - 6 + 18*h**2. Is l(17) a multiple of 8?
True
Let a(s) = -s**2 - 12*s - 16. Let h(y) = -y**2 + 9*y - 1. Let t be h(10). Let k be a(t). Is -2*k/(15/51) a multiple of 17?
True
Suppose 4*x - v = 6128, 63*v - 65*v = -3*x + 4601. Does 25 divide x?
False
Suppose 2*l = -23*l + 100. Let m(h) be the third derivative of h**4/12 - h**3/3 + h**2. Does 2 divide m(l)?
True
Suppose x - 2 = -0*x. Let l be 1*10/(-3 + x). Let v = 0 - l. Does 4 divide v?
False
Let h(x) = -x**3 - 2*x**2 - 7. Let l be h(-3). Suppose -l*j + 12 = -6*j, 5*n + 2*j = -266. Is (-3 - -4)/((-4)/n) a multiple of 2?
False
Let a(m) = m - 2. Let g be a(5). Let t = 68 - -272. Suppose r - t = -g*r. Does 17 divide r?
True
Let y be (-4)/(-18) + (-1484)/(-126). Let x = 17 - y. Suppose x*o + 8 = 368. Does 34 divide o?
False
Suppose 5*y + 0 = 2*h - 2, -4*h + 2*y = -20. Suppose h*q - 10 = 350. Is q a multiple of 19?
False
Let n(b) = -19*b - 7. Let m be n(-3). Suppose -4*o + 2*s + m = 0, -5*s - 37 = -3*o - 4*s. Is 4 a factor of o?
True
Let l(p) = 54*p - 88. Is 5 a factor of l(9)?
False
Let c(b) = b**3 + 4*b**2 - b - 2. Let o be c(-4). Suppose m + m = o. Is ((-6)/(-9))/(m/6) a multiple of 4?
True
Let v = 165 - -141. Is v a multiple of 9?
True
Is 2*(-9142)/(-7)*1/4 a multiple of 74?
False
Let y be 3/((-3)/2) + 2. Suppose y*v - 16 = -2*v. Is 9 a factor of (-8 - -1)/((-2)/v)?
False
Suppose -208 = -5*t + 9*t. Let r = t + 73. Let x = r - 14. Is 7 a factor of x?
True
Let j(x) = 781*x + 150. Is j(1) a multiple of 15?
False
Let f(r) = -4*r**2 + 3*r + 14. Let g be f(10). Let h = -247 - g. Does 9 divide h?
False
Suppose 0 = v + v + 3*p - 4, 0 = 5*v + 2*p + 1. Let w = 8 + -23. Let b = v - w. Is 7 a factor of b?
True
Let o = 13 - 11. Suppose o*g + 21 = c - 15, -3*g = 3*c - 63. Suppose v + 31 = m, c + 15 = m + v. Does 12 divide m?
True
Let l(z) = z**3 - 8*z**2 + 13*z - 2. Let r be l(6). Suppose -2*i + 77 = r*v - 5*i, 5*v - 97 = 3*i. Is v a multiple of 4?
True
Let t(k) be the second derivative of k**5/20 + 7*k**4/12 - 11*k**3/6 - 6*k**2 + 2*k. Let c be t(-8). Suppose c + 44 = i. Is i a multiple of 28?
True
Let r(w) = w**3 - 13*w**2 + 12*w - 1. Let v be r(12). Let b(a) = -7*a**3 + 3*a + 3. Is 7 a factor of b(v)?
True
Suppose -39 - 92 = -2*u + 5*z, -3*u = -5*z - 184. Let f = u - 21. Is f a multiple of 7?
False
Suppose -2 = -2*p - 64. Suppose 0 = -w - 2*w + 3*n + 135, -2*w = -3*n - 89. Let x = w + p. Is 4 a factor of x?
False
Let u be (3 - (-34)/(-10)) + (-2046)/(-15). Suppose -5*x - 304 = -x. Let b = x + u. Is 30 a factor of b?
True
Is (-3384)/(-56) - -1*(-4)/(-7) a multiple of 7?
False
Let y(d) = d - 5. Let w be y(8). Suppose 0 = -w*r - 6, -r + 2*r - 151 = -3*b. Let i = b - 33. Is 4 a factor of i?
False
Is 9 a factor of (-19)/(57/(-3678)) + 4/(-2)?
True
Suppose 0 = 2*o - 3*q - 21, 4 = -4*q - 8. Suppose -378 = -o*r - r. Is r a multiple of 10?
False
Is 15 a factor of ((-150)/4)/(7 + (-86)/12)?
True
Suppose -h - w + 136 = 0, -2*w + 721 = 4*h + 167. Let t = -37 + h. Is t a multiple of 24?
False
Let h = 35 - 14. Let j be 3/h - 895/(-7). Suppose x = -3*x + j. Is x a multiple of 32?
True
Suppose 5*m - 23 = 3*f, -4*m + 33 + 15 = 5*f. Suppose -235 = -m*j + 689. Does 33 divide j?
True
Suppose k = 2*u - 4*u + 7, 0 = -2*u - 3*k + 9. Suppose 0 = -w - 5*h + 17, u*w - 3*h = 7*w - 51. Is 3 a factor of w?
True
Let u(h) = 14*h - 7. 