 Is 19 a factor of g(u)?
False
Suppose -8 - 14 = -v. Let d(h) = h - 80. Let f(i) = -2*i + 183. Let k(o) = -5*d(o) - 2*f(o). Is k(v) a multiple of 3?
True
Is 10710 - 36*1/(-4) a multiple of 61?
False
Let d(a) = 5*a**2 - 33*a + 100. Is 25 a factor of d(25)?
True
Let g(j) = j**3 + 69*j**2 - j - 72. Let w be g(-69). Let h(o) be the first derivative of -5*o**2 - 1. Is h(w) a multiple of 10?
True
Is 19 a factor of -10 - (-22 - (27780 + 17))?
False
Let h be 1582/6 + -2 + 49/21. Suppose -5*j + 1290 = -23*z + 28*z, -h = -z - 4*j. Is 32 a factor of z?
True
Let x(j) = 9*j + 5. Let l be x(-3). Let r be l/(-4) - (2 + (-6)/12). Suppose 0 = 5*b - r*f - 21, 2*b + f - 5 = 6. Is b a multiple of 2?
False
Let x = -4764 - -5667. Is 5 a factor of x?
False
Suppose 8*w - 160 = -104. Is -1 - (-1468)/w - 8/(-28) a multiple of 11?
True
Let v be (-6)/4 - 81/(-54). Suppose 14 = 4*y + w, v = -3*y - 0*w - w + 11. Does 2 divide y?
False
Suppose l = -2*a + 3069, 238*a - 235*a = -4*l + 12296. Is 54 a factor of l?
False
Let z(r) = 41*r**2 - 72*r + 130. Is 13 a factor of z(10)?
True
Let j be (-2)/6 + (-26)/(-6). Suppose -26*z = -62 - 68. Suppose z*q + 137 = o, -j*o - 171 = 2*q - 675. Is 6 a factor of o?
False
Let a(o) = -o**2 + 4*o. Let j be a(3). Suppose -8*b + 860 = -j*b. Suppose 5*y - 4*v = 286, 2*v = -0*y + 3*y - b. Is 6 a factor of y?
False
Let z(a) = a**2 - 3*a - 2. Let x(w) = -3*w**2 + 2*w + 2. Let b(f) = -3*x(f) - 2*z(f). Is b(-2) a multiple of 5?
False
Suppose -29*a + 33*a = 44. Suppose 16*u - 2113 = a*u - 4*f, 5*u - 2140 = 5*f. Is 14 a factor of u?
False
Let n = 492 + -399. Suppose n*b - 924 = 86*b. Is b a multiple of 12?
True
Let x(r) = 3089*r**2 + 624*r - 3127. Is x(5) a multiple of 16?
False
Let y = -3869 - -3938. Is y a multiple of 23?
True
Suppose j - 380 = 4*n, -2*j + 31*n + 756 = 27*n. Is j a multiple of 12?
False
Let s(q) = -59 - 3*q**2 + 0*q**2 + 105 + 4*q**2 - 29*q - 81. Does 2 divide s(31)?
False
Suppose 2*l = -5*v, -2*v + v + l = -7. Suppose -23 = v*p + 9. Let f(s) = -s - 4. Is 12 a factor of f(p)?
True
Let d = 24137 - 12042. Does 201 divide d?
False
Let s = 8580 + -5646. Does 163 divide s?
True
Let c be 3*(-12)/(-9) + 4. Let x be 1 + (-21)/15 + c/20. Suppose 5*j = 5*h + 14 - 44, h + 5*j - 24 = x. Does 6 divide h?
False
Suppose -4649*d = 2*x - 4654*d - 425, -3*x + 625 = 5*d. Does 10 divide x?
True
Let q = 8 + 18. Let g be (-3 - (-3 + 0)) + 2. Suppose 5*p = -g*w + 38, -w + p + q = -0*p. Does 12 divide w?
True
Let q = -120 - -122. Does 48 divide (111/q)/((-201)/(-268))?
False
Let p = -86 + -80. Let w = -148 - p. Does 18 divide w?
True
Let a = 633 - 440. Let g = a - 53. Suppose -3*h = 0, 4*h + g = 2*i + h. Does 7 divide i?
True
Does 17 divide (-14)/49 - (-25349)/7?
True
Suppose 0 = -90*c + 85*c - 30. Does 89 divide c - (-6 - 1076) - 8?
True
Suppose -401 - 2049 = 14*g. Is 16 a factor of (-162435)/g - (-2)/(-10)?
True
Let x(j) = -j**3 - 18*j**2 - j + 23. Let f be x(-17). Let y = f + 135. Let s = y - -246. Is 12 a factor of s?
True
Let s be (-4)/((-9)/(-11) + 10/55). Let l be s/(-80)*5 - 46/(-8). Does 8 divide 2/l + (-573)/(-9)?
True
Let a be (-16)/4 + -99 - -3. Let o = 161 + a. Does 22 divide o?
False
Let y = -105 - -107. Suppose -y*c + 10*c = 968. Is 7 a factor of c?
False
Let g(x) = 14*x**2 + 20*x - 6. Let w be g(-6). Suppose 15*f = 8*f + w. Does 4 divide ((-286)/12)/(-1) + 9/f?
True
Let f be 1*(3 - -2) + 0. Suppose -4*n + f*x + 6 - 1 = 0, n + 3 = -3*x. Suppose 2*a - 4*a + 30 = n. Does 6 divide a?
False
Let m(r) = r**3 + 109 + 54*r**2 + 53 - 15*r**2 - 97 + 34*r. Is 6 a factor of m(-38)?
False
Suppose -13*f + 29295 = -29660. Is f a multiple of 2?
False
Let b be (636/(-10))/(4 + 38/(-10)). Let f = b - -558. Is 12 a factor of f?
True
Let v be (-1 - -2)*(-3 + 32/4). Suppose v*q + 466 = t, -2*t = 2*q - 440 - 516. Does 34 divide t?
True
Let f be (-41)/(-5) - 3/90*6. Let a(z) = -13*z - 8. Let v(w) = -26*w - 17. Let o(c) = -13*a(c) + 6*v(c). Does 14 divide o(f)?
False
Let d be (-6)/(-10) + 9/(-15). Suppose -5*m = -d*h - 3*h + 813, 3 = -m. Is h a multiple of 14?
True
Let h(c) = c**3 - 48*c**2 + 73*c - 161. Let l be h(47). Suppose -4*j = 225 - l. Is 19 a factor of j?
True
Let c(k) = -k**2 - 17*k + 15. Let g be c(-17). Suppose g*l = 2550 - 960. Is 25 a factor of l?
False
Let p(d) = d**3 - 5*d**2 + 3*d + 2. Let u be p(3). Is (-12 - u) + 525/3 a multiple of 17?
True
Does 12 divide 1/(1/1200) + 12/4 + -6?
False
Let s be 4/22 + (-84)/(-22). Suppose -5*p - 4*n = -n - 156, -s*n = 5*p - 158. Does 10 divide p?
True
Suppose 0 = 41*b - 39*b - 4. Suppose 8 - b = m. Does 21 divide 21/(-6)*(-156)/m?
False
Suppose -5*c + 30 = -5*y, 2*c + 22 = -3*y + 6*c. Is y + (-4 - -9) - -252 a multiple of 5?
True
Let k(s) = -2*s**3 - 47*s**2 - 21*s + 52. Let m be k(-23). Suppose m*n + 168 = 7*n. Is 14 a factor of n?
True
Suppose 4*f = -2*r - 458, 0 = 2*f - 0*r + 4*r + 244. Let p = 57 + f. Does 13 divide 2 - (p - (5 + -2))?
False
Suppose -102 = 14*z + 20*z. Let r(c) = -23*c**3 - c**2 - 11*c - 18. Does 77 divide r(z)?
False
Let m(r) = -93*r**3 + 16*r + 18*r**2 + 40 + 92*r**3 - 4*r**2. Is m(14) a multiple of 6?
True
Suppose -2*g - 74 = -2*q, 3*q + 3*g - 106 = 5*g. Let d = 37 - q. Suppose -2*a + d*w = -293, -2*a + 338 = -0*a + 4*w. Is 36 a factor of a?
False
Let n be 4 + 3/(3*(-3)/6). Suppose 3*c = 4*u - 160 - 175, 0 = n*u - 4*c - 160. Suppose -2*l + 4*t + u = 0, 6*l - 2*l - 5*t = 166. Is l a multiple of 4?
False
Suppose -5*y = 3*a - 1018, 5*a = 2*y - y - 198. Suppose -3*o + y = 4*o. Is 2 a factor of o?
False
Let s(f) = 347*f - 6. Let o be s(1). Let d = o + 65. Is 29 a factor of d?
True
Let o(q) = -102*q + 923. Is o(-16) a multiple of 5?
True
Suppose 2*o + 4*x = 8594, -2*o + 8558 = 26*x - 31*x. Is 18 a factor of o?
False
Suppose 12*r + 25 = 17*r. Suppose 0 = -2*d - 3*q + r, 3*d - 3*q = -4*q - 3. Is 6 a factor of -2*(-26 - -3) - (d - 0)?
True
Suppose 5*j = 11*t + 136813, -3*j + 406 + 81671 = -3*t. Is j a multiple of 83?
False
Let d(t) = 107 - 28 + t**3 - 5*t**2 + 6*t**2 - t. Let j be -4 - -1 - (-15)/5. Is 12 a factor of d(j)?
False
Suppose -1253 - 1123 = -4*m. Suppose 3*l - 3*g = m, 3*g = 6 - 3. Does 14 divide l?
False
Let i(a) = -a**3 - 14*a**2 + 95*a + 18. Is i(-24) a multiple of 5?
False
Let c(d) = -18*d - 103. Let u be c(-6). Suppose u*m = 5*p + 4065, 0 = m - 0*m + 4*p - 818. Does 11 divide m?
True
Let w be 4/(-2)*13*(-2)/(-4). Let z(o) = -o - 38. Let q be z(w). Does 15 divide ((-6)/1)/(2/q)?
True
Let g(y) = 3*y**2 - 12*y. Let b be (-3)/(-2)*(-6)/(-9) + 3. Let x be g(b). Let t = x + 47. Is t a multiple of 38?
False
Suppose 11*x + 12*x = 45*x - 133320. Does 30 divide x?
True
Suppose b + 3*s = -117, -3*b = 4*s + 296 + 80. Let y = -137 - b. Does 7 divide 448/20 - (-2)/y?
False
Let k(g) = g + 10. Let z be k(0). Let f be 74 + -4 + (-8)/2. Suppose f = z*x - 4*x. Does 5 divide x?
False
Suppose 38480 = 5*u - y + 9525, -4*y = 4*u - 23188. Is u a multiple of 72?
False
Let v(b) = -34*b**3 + 2*b**2 - 4*b + 7. Let n(a) = -33*a**3 + a**2 - 5*a + 11. Let u(h) = -2*n(h) + 3*v(h). Does 7 divide u(-2)?
False
Let l(h) = h**3 + 9*h**2 + 6*h - 16. Suppose 15*m + 54 = 6*m. Does 12 divide l(m)?
False
Suppose 3*x + 84 = 2*w + 7*x, 2*w + 5*x - 88 = 0. Let s = w + -33. Let g(p) = 8*p**3 + p**2 - 4*p + 2. Is g(s) a multiple of 2?
False
Suppose 0 = -6*o - 695 - 1213. Let b(d) = -d**3 - 15*d**2 - 14*d + 2. Let u be b(-14). Is 2 a factor of u/5 - o/30?
False
Suppose -j + 208 = 8*r - 9*r, -10*j + 3*r + 2115 = 0. Is j a multiple of 19?
False
Let z(t) = 61*t**2 - 131*t + 2166. Is z(17) a multiple of 12?
True
Let j be 5058/9*6/12. Let z = j - 124. Is z a multiple of 9?
False
Let l(p) = 7*p + 114. Let i(h) = 21*h + 342. Let z(s) = -3*i(s) + 8*l(s). Is 4 a factor of z(-28)?
False
Let m = -96 - -406. Let b = m - 152. Does 28 divide b?
False
Suppose -9977 = -15*a + 3073. Is 29 a factor of a?
True
Let k = -25 - -34. Let z = k - 10. Is 16 a factor of 52 - (10/5 + z)?
False
Suppose -13*j + 11705 = -12864 - 4135. Does 4 divide j?
True
Let w be (302 + 12)*3/2. Let c = w + -93. Is 27 a factor of c?
True
Suppose -3*u = -3*q + 24, q + 3*q - 24 = 2*u. Is 56 a factor of -6 + (-390)/(u - -1)?
False
Suppose -38*m = -36*m - 298. Suppose 17*v - m = 276. Is 25 a factor of v?
True
Let v = 134 + -59. Let c = 77 - v. Does 9 divide (3/c)/(1/54)?
True