+ 7*z(a). Is 22 a factor of v(0)?
False
Is 82478/12 - (203/126*-3 + 4) a multiple of 14?
True
Let d = -7539 - -1617. Let m be 2/4 - d/36. Let s = m - 66. Is s a multiple of 38?
False
Let d(m) = 6*m + 74. Let j(y) = 5*y + 76. Let f(o) = -3*d(o) + 4*j(o). Is f(-24) a multiple of 28?
False
Let q(w) = 20*w + 10. Let l(z) = z + 1. Let y(x) = 4*l(x) + q(x). Is y(26) a multiple of 19?
False
Suppose 3*b - 10 = 2*s, 3*s = -b - b + 11. Let p be 1*-2*(3 - b). Suppose -p*m = 5*m - 504. Does 36 divide m?
True
Let w = -4338 - -4986. Is w a multiple of 18?
True
Let f(l) = 17*l**2 + 3*l + 4. Let c(w) = 6*w**2 + 2*w - 2. Let o be c(1). Let y be f(o). Suppose 4*s = s - 5*h + y, -s - 4*h = -223. Is s a multiple of 14?
False
Does 8 divide (605 + (-7)/21*27)*14?
True
Does 132 divide ((-10530)/(-21))/(5 + (-18408)/3696)?
True
Suppose -4*w + 3994 = n - 1634, -w - 45123 = -8*n. Does 4 divide n?
True
Suppose 1041968 = 78*l + 441368. Does 20 divide l?
True
Let j = 9960 + -9731. Is j a multiple of 3?
False
Suppose -5*k + 19 = -1. Suppose 0 = -k*o + 7 + 9. Suppose -t - o*t - 5*c = -475, -245 = -3*t + 5*c. Is t a multiple of 9?
True
Suppose 0 = 4*r + 4*i - 112, 4*r + 25 - 140 = -5*i. Suppose 2*g = -r + 107. Is 5 a factor of g?
False
Suppose 156*f = 150*f + 918. Let k = -17 + 119. Suppose 0 = -2*v - 5*m + k, v + 2*v - m = f. Does 9 divide v?
False
Suppose 0 = 4*o + 2 - 18. Suppose 0 = -o*u + 5*j - 179, -78 = 2*u - 3*j + 13. Let g = u - -50. Is 5 a factor of g?
False
Let q(b) = b**3 - 10*b**2 - 605*b - 59. Is q(32) a multiple of 17?
False
Let n(f) = 65*f**2 - 60*f + 172. Is 44 a factor of n(10)?
True
Let m = 5165 + -4939. Is m even?
True
Let f = -1595 - -3405. Let s = f + -780. Suppose -1370 - s = -8*u. Does 50 divide u?
True
Let a(l) = -l**2 - 22*l - 54. Let z be a(12). Let w = z - -844. Is 12 a factor of w?
False
Suppose -295*l = -2288991 - 2821884. Is 25 a factor of l?
True
Suppose i - 3*r - 48 = 3, 0 = -4*i + 5*r + 204. Let j be 77/1 - 6/(-3). Let x = j - i. Is 11 a factor of x?
False
Let w(x) = -4*x**2 - 3*x + 7*x**2 - 6 - 10 - 20. Is 12 a factor of w(8)?
True
Is (10 + 0 + 74 + -80)/((-2)/(-11200)) a multiple of 16?
True
Let b = 80 + -90. Let r = b + 86. Is 11 a factor of r?
False
Let t be 4*(0 - -2) + (1 - 0). Suppose -6*l + t - 585 = 0. Let i = 160 + l. Does 27 divide i?
False
Suppose -154*d = -1651652 + 108110. Does 65 divide d?
False
Suppose -262*b + 176661 = -296249. Does 11 divide b?
False
Suppose -x - 89*d + 87*d = -6452, 32316 = 5*x - 4*d. Is x a multiple of 38?
True
Suppose -19*h - 8 = -18*h. Let y be 754/(-8) + ((-2)/h - 1). Let a = 211 + y. Does 14 divide a?
False
Let z = 15 + 50. Let b = 45 - z. Is 2 a factor of (136/b)/(6/(-15))?
False
Let c(j) = 1512*j + 800. Is c(2) a multiple of 11?
False
Let x(p) = -748*p**3 - 7*p**2 + 2*p + 16. Does 24 divide x(-3)?
False
Let q = -25 - -30. Suppose -200 = -15*u + q*u. Suppose 0*c - 2*p + 967 = 5*c, 5*p + u = 0. Is c a multiple of 13?
True
Is 42 a factor of (457/4)/(18/2144) + 272/(-612)?
True
Let u be 64/(-12)*(-6)/4. Suppose 795 = -u*l + 13*l + 3*g, -4*l + 653 = -g. Does 10 divide l?
False
Let x(j) = -16*j + 5*j - 3*j - 5 - 9*j. Is 14 a factor of x(-16)?
False
Suppose 3277791 = -346*q + 12672729. Is 63 a factor of q?
True
Let z(m) be the first derivative of 5*m**2/2 + 30*m + 46. Does 18 divide z(12)?
True
Suppose -4*g + 22 = 6. Suppose o + 6 = -g*h, -h + 5 = -3*o + 52. Is 2 a factor of (-3 - o/(-6))*-3?
True
Suppose -a - 4*a + 4*u = -20, 2*a - 8 = -2*u. Suppose -4 = -a*d, -25*n = -29*n + 4*d + 796. Is 8 a factor of n?
True
Let l(c) = c**2 + 2*c - 54. Let r be l(0). Let b = r - -53. Let v(m) = 41*m**2 - m - 1. Is 20 a factor of v(b)?
False
Let z = -9530 - -13734. Let u = z - 2749. Is u a multiple of 15?
True
Let r = 199 + -197. Suppose 5*j + 2*t - 349 = t, -r*j = -4*t - 144. Does 14 divide j?
True
Suppose 43*o - 5*o = 106941 + 233653. Is 4 a factor of o?
False
Let s = -50 - 2. Let g = s + 70. Suppose -5*c + 27 = -g. Is c a multiple of 6?
False
Suppose 5*d = -d + 12. Suppose -d*i = 8, 4*x + 0*i = -2*i + 164. Suppose 4*u + x = 167. Is u a multiple of 7?
False
Let k = 39753 - 21161. Is 16 a factor of k?
True
Let d(s) = 51*s + 759. Is 2 a factor of d(-13)?
True
Is (3/(-1))/((246/5480)/(-41)) a multiple of 9?
False
Let v(j) = 176*j - 2911. Does 27 divide v(44)?
True
Let y(f) = -f**3 + 8*f**2 + f - 8. Let t be y(8). Suppose 5*r - 2*q = 46, 3*r + 4*q - 14 - 24 = t. Let g(p) = -p**3 + 10*p**2 + 7*p. Does 22 divide g(r)?
False
Let k = 225 - 134. Suppose 643 = 12*f + k. Is f a multiple of 3?
False
Let x(c) = 24*c + 11. Let p be (-4 - (-76)/12) + 1/(-3). Let k be p*(20/8 + -1). Does 12 divide x(k)?
False
Let a(n) = -7*n - 41. Suppose 6*q - 98 = 2*q - 3*v, 68 = 3*q + 5*v. Suppose 2*r + 2*b + 6 = r, -3*b = -r - q. Does 6 divide a(r)?
False
Let i(p) = -5*p + 21. Suppose 9*g = 5*g. Suppose -4*c - 9 - 39 = g. Is 27 a factor of i(c)?
True
Let j = 813 - 512. Is 43 a factor of j?
True
Suppose -2*a - z = -5*z, 3*a + 2*z + 8 = 0. Let h(l) = 13*l**2 - l + 2. Let m(n) = 25*n**2 - n + 3. Let t(w) = -5*h(w) + 3*m(w). Is 16 a factor of t(a)?
False
Let b(z) be the second derivative of z**4/12 - 4*z**3/3 + 7*z**2 + 17*z. Let i be b(4). Let n = i - -6. Is 4 a factor of n?
True
Suppose -3*i + 18 = 0, -21*s + 6586 = -19*s - 2*i. Is s a multiple of 11?
False
Let d = 4497 - 2497. Is 25 a factor of d?
True
Suppose -276121 - 1067870 = -106*t + 1509529. Does 20 divide t?
True
Suppose 0 = -4*w - 0 + 12. Let z be w - (2 + (-26 - -2)). Let j = 43 - z. Is j a multiple of 18?
True
Suppose -12*h - 5*o = -13*h + 38179, 3*h + 4*o = 114670. Is 193 a factor of h?
True
Let j(t) = 169*t + 34. Let g be j(14). Suppose 0 = -v + 3*u + 5676 - g, 10 = -2*u. Is 20 a factor of v/33 + 1 - 2/(-11)?
True
Suppose 3*g = 3, 0 = -3*n + 3*g - g + 250. Suppose 4*v + 324 = 5*d, 5*v = -d + v + n. Suppose 4*u - 144 = d. Does 15 divide u?
False
Let s(c) = 2*c**3 - 128*c**2 + 389*c - 331. Does 5 divide s(61)?
False
Let k = -67 - -75. Is 54/(3/k - 0) a multiple of 16?
True
Let j = 68 + 258. Is -33*j/(-12) + (-6)/12 a multiple of 16?
True
Suppose -18*g - 14664 = -122*g. Is g even?
False
Is 121 a factor of (-48 - -36) + (2 - -3614) - (-4 - -1)?
False
Let m(j) be the third derivative of 17*j**4/12 - 37*j**3/6 - 176*j**2. Is 11 a factor of m(15)?
True
Let w(z) = 1 - 3 + 13*z - 11*z + 119*z**2 + 1. Let f be w(1). Suppose 3*o = -0*o + f. Is o a multiple of 8?
True
Let q be (80/(-24))/(1/(-12)*-4). Is 7 a factor of (q/(-4))/((-12)/(-1416))?
False
Suppose 0 = 48*v - 3493 - 2123. Suppose -l - 62 = w, w = l + 2*l - 62. Let r = w + v. Is 4 a factor of r?
False
Let g be 605/11 - (2 - -3 - 1). Suppose -53*l = -g*l - 1100. Does 22 divide l?
True
Suppose -8*q + 191 = -81. Let o = 39 - q. Suppose -310 = -3*r - o*z - 0*z, r - 110 = -5*z. Is r a multiple of 8?
False
Let n(z) = -z**3 + 4*z**2 - 2*z + 3. Let l be n(3). Let x = 364 - 297. Suppose l*t + 1 = x. Is 5 a factor of t?
False
Let f = 43 - 47. Let a be 1/(f/(-32)*2). Suppose -11 = -h - a*d - 3, 4*d - 48 = -3*h. Is 10 a factor of h?
True
Let k(p) = 29*p - 156. Let r(l) = -378*l + 2028. Let u(t) = -27*k(t) - 2*r(t). Is 3 a factor of u(5)?
True
Suppose -7*o = 1 + 146. Let w = o - -308. Is w a multiple of 44?
False
Let k(u) = -427*u**2 + 9*u. Let v(f) = 142*f**2 - 3*f. Let b(j) = 2*k(j) + 7*v(j). Let p be b(-1). Suppose -5*n + p = 8. Does 3 divide n?
True
Let n(a) = -2*a**2 + 16*a - 74. Let p be n(16). Is 55 a factor of (-2 - -6)/((-3)/p)?
True
Suppose 0*f - 4*f = 3*u - 12415, f - 4*u = 3080. Suppose 4*w - 5*q = 4131, -3*w + 4*q + f = 2*q. Is 69 a factor of w?
False
Suppose -6885*j = -6957*j + 2777616. Is 36 a factor of j?
False
Suppose 0 = 115*h - 56*h - 148975. Does 101 divide h?
True
Let s be 12/9*6/4. Suppose 36 = 19*y - 21. Suppose -y*r + 4*u = -58 - 82, -s*r + 4*u = -92. Does 14 divide r?
False
Suppose -27*z - 234 = -24*z. Let m = 132 + z. Is m a multiple of 6?
True
Suppose -3*q - 4*v = 164, 5 - 10 = -5*v. Let h = q - -60. Suppose 6*x + 12 = 2*d + 8*x, -h*d = x - 18. Is d a multiple of 4?
True
Suppose 0 = 2*x - 5*l + l - 4036, 0 = -4*x + 5*l + 8045. Does 4 divide x?
True
Suppose -4*g + 2*o = -18, -g + 3*o = 7*o. Suppose 886 = g*r + h, 3*r - 898 = -r + 5*h. Does 37 divide r?
True
Suppose -3*n + 1881 = 4*u, 947 = 2*u - 4*n - n. Suppose -10*k - 1