ive of -h**6/120 + 23*h**5/60 + 9*h**4/4 + 4*h**3 - 12*h**2 + 6. Is 62 a factor of z(25)?
True
Let d(z) = -5*z + 30. Let b(h) = -2*h + 10. Let l(q) = -8*b(q) + 3*d(q). Let o be l(-5). Suppose -2*y = o*x - 60, x - 51 = -4*y + 33. Does 5 divide y?
True
Suppose -32*g = -34*g + 113*g - 225330. Does 14 divide g?
True
Let l = 595 + 817. Suppose -8998 = -15*q + l. Does 16 divide q?
False
Let i(j) = -j**2 - 3*j + 12. Let h be i(-5). Suppose -y = h*v - 32, 3*v - 22 = -y - v. Is 30 a factor of y?
False
Let j(z) = 2*z + 21. Let m be j(-9). Let q = 1113 + -168. Suppose -q = -18*g + m*g. Is g a multiple of 9?
True
Let q(b) = 16*b**2 - 21*b - 77. Is 11 a factor of q(-6)?
False
Suppose -175 - 11 = -3*c. Let h = c - 112. Does 15 divide (h/3)/((-6)/27)?
True
Let w = -325 - -331. Is 36 a factor of 148/w*(-228)/(-19)?
False
Let d(b) = -b + 22. Let y(v) = -3*v - 25. Suppose w + 10 = -0*w. Let p be y(w). Is 5 a factor of d(p)?
False
Suppose -j - 5 = -2*j. Let t(i) = 1 - 144*i**3 + 0*i + 146*i**3 - 6*i**2 - 10 + 2*i. Is t(j) a multiple of 24?
False
Let p(h) = 8*h**2 + h + 2. Let n = -8 - -7. Let a be n/(3 - 2) + (-4 - -3). Does 16 divide p(a)?
True
Let w be ((-147)/(-12))/(2*3/24). Is (-7)/(w/(-2)) - (-894)/7 a multiple of 18?
False
Suppose -4*h - 4*i = 8, -3*i = -4*h - h + 30. Let b = h + 5. Is 7 a factor of 169/7 + b/(-56)?
False
Let v = -15177 + 28773. Does 41 divide v?
False
Let s(p) = -2*p**2 + 8*p + 101. Is s(0) a multiple of 27?
False
Is 5 a factor of (-21590)/18*(-4104)/720 - 10/12?
False
Let m = -13 + 8. Suppose 9 = 12*b - 15. Is 9 a factor of 3 + m + b + 36?
True
Suppose 2*a = 192 - 172. Does 12 divide ((-7)/(-8))/(a/(-380))*-4?
False
Let s(c) = -8*c + 100. Let z = 391 - 395. Is s(z) a multiple of 5?
False
Let y(c) be the second derivative of -7*c**3/6 + 429*c**2/2 + 18*c + 6. Is 9 a factor of y(42)?
True
Let n(a) = -28*a + 28. Suppose -4*b + 7*b + 48 = -3*r, -5*b + 3*r = 56. Is n(b) a multiple of 10?
False
Let d = -140 - -185. Is 4 a factor of 7419/d - (-14)/105?
False
Let f = 12583 + -9107. Does 4 divide f?
True
Suppose 104*y - 98*y = 1254. Let s = -126 + y. Does 3 divide s?
False
Suppose -19*z + 2520 = -10*z. Let i = z + -100. Is i a multiple of 9?
True
Let g(h) = 141*h - 72. Let i(d) = 211*d - 108. Let p(w) = -7*g(w) + 5*i(w). Is 3 a factor of p(3)?
True
Let c be (-7)/(-14)*37 - 6/4. Suppose -10*u + c*u - 2555 = 0. Is 9 a factor of u?
False
Let k(m) = -m**3 + 2*m**2 - m + 208. Let p be k(0). Suppose -4*q - n + 763 = 0, q - p = -4*n - 36. Does 31 divide q?
False
Suppose -4*u - 3*f = -177 - 36, 2*u + 4*f - 114 = 0. Suppose 0 = 13*l - 6*l - 4*t - 69, -2*l - 3*t = -28. Let g = u - l. Is g a multiple of 6?
False
Let w(r) = 147*r - 2292. Is w(40) a multiple of 78?
True
Suppose 3*n = 13*n. Suppose -5*i + 669 = 3*t, n = 4*t + 5*i - 77 - 815. Does 29 divide t?
False
Let q = -8 - -755. Suppose 4*w = 5741 + q. Is 13 a factor of w?
False
Suppose 9 = -58*s + 61*s. Is 6 a factor of -4 + 4 + 0 + (s - -56)?
False
Let h = 680 + -672. Is 23 a factor of 1342/6*24/h + 6?
False
Suppose -4*y = -4*i + 4, 0 = 2*y + 3*i - 0*i - 8. Let q be y - 132/(-27) - (-2)/18. Suppose 4*w = -n + 52, n + 2*w = q*w + 68. Does 10 divide n?
True
Let d(u) = 23*u**3 - u. Let v be (3/(-2))/((-13)/26). Suppose -8 = -v*l + y, 3*y + y = 4*l - 24. Is d(l) a multiple of 11?
True
Let j(s) = 11*s + 219. Let p be j(-19). Suppose -p*i + 13*i - 2016 = 0. Is 24 a factor of i?
True
Let x = 757 + -205. Let g = x + -142. Is 19 a factor of g?
False
Suppose -5*k = -3*m + 6197 + 1867, -4*m + 5*k + 10752 = 0. Suppose -11*o = 3*o - m. Is o a multiple of 31?
False
Let o = 132 - 105. Suppose o*c = 24*c + 672. Is 44 a factor of c?
False
Let k(v) = v**2 + 2*v - 3. Let x be k(3). Let p be (10/(-8))/(x/(-48)). Suppose 2*t - 56 = 4*z, 0*t - 112 = -p*t - 4*z. Does 4 divide t?
True
Suppose 0 = -5*h + 3*c + 26822, 7*h + 4*c - 10734 = 5*h. Does 29 divide h?
True
Let o(z) = 95*z**2 + 92*z + 235. Is 161 a factor of o(-20)?
False
Suppose -8*d = -17*d. Suppose -7*w - 2159 + 7598 = d. Is 21 a factor of w?
True
Suppose -31*a - 32335 = -241337. Is a a multiple of 23?
False
Let j(f) = f**3 + 20*f**2 + 18*f - 24. Let v be j(-19). Is 1 - (-15)/v - -1*488 a multiple of 27?
True
Suppose 0 = 16*r - 17*r + 3*a + 9039, 27111 = 3*r - 11*a. Is r a multiple of 103?
False
Let j be (-5)/(((-3)/9)/1). Let p(g) = 0*g**2 + j*g - g**2 + 4*g. Is 28 a factor of p(12)?
True
Let o = 543 + -538. Suppose 5*d + 1416 = 2*a, -o*d + 708 = 7*a - 6*a. Is a a multiple of 74?
False
Let c = 20626 - 12358. Is 39 a factor of c?
True
Let z = 3852 - 928. Is z a multiple of 12?
False
Let i(u) = 0*u**3 + 4 + 327*u + 24*u**2 + 344*u - 652*u + u**3. Is i(-20) a multiple of 44?
False
Suppose 5*y + 3655 = 5*u - 0*u, -u = 3*y - 727. Does 10 divide u?
True
Is (7 - -5)/(-3) - (-159252)/6 a multiple of 12?
False
Let y = -4944 + 7911. Is 53 a factor of y?
False
Suppose -2*z - 3712 = -2*p + 3498, 5*z = 25. Does 67 divide p?
False
Suppose 95632 + 107573 = 6*m + 30039. Is 19 a factor of m?
True
Let g be ((-12)/(-14))/((-27)/(-126)). Suppose 6*f - 32 = f - g*t, 3*t = -6. Suppose v = -f*v + 1206. Is v a multiple of 15?
False
Suppose 2*y = -2, -22*s + 21*s - 4*y = 0. Suppose -2*c - 4*b + 927 = c, -s*c - b + 1223 = 0. Is 61 a factor of c?
True
Suppose 3*z - 4205 = -5*x + 6372, 0 = 5*x + 5*z - 10595. Is 211 a factor of x?
True
Suppose -41*h + 62559 + 96154 = -149525. Is h even?
True
Suppose i = 3*i - 1872. Let h = -535 + i. Does 38 divide h?
False
Suppose x = b + 783, -3921 = -5*x + b - 2*b. Is (-3)/(0 - 21/x) a multiple of 14?
True
Let q be -1*2 + 14 + 36/(-18). Suppose 2*d = q, -4*d + 609 + 341 = 5*n. Is 11 a factor of n?
False
Suppose -4*b + 19 = -2*y + 5, b - 2*y = 8. Let f(d) = d + 18 - b*d**2 + 3*d**2 + 0*d**2. Is f(0) a multiple of 6?
True
Suppose 4*d + 117 = 349. Suppose y - 41 = -3*k, -3*y + k + d = -3*k. Does 26 divide y?
True
Suppose -2*b = 3*v - 7*b - 223, -v + 86 = -4*b. Let t = 71 - v. Suppose t*z - 51 = 5*o - 651, 3*o - 325 = -4*z. Does 7 divide o?
False
Suppose -27 = 4*b - 7. Let t be (-2 + (-1 - b))/(12/18). Suppose -4*k + 179 = -9*n + 6*n, k = t*n + 56. Is 8 a factor of k?
False
Let m(h) = 148*h**2 - 347*h + 2072. Does 35 divide m(6)?
False
Let p = -69 - -126. Let q = -58 + p. Is 24 a factor of (8/5)/(q/(-60) + 0)?
True
Let h(t) = 2*t**3 - 4*t**2 - 6*t + 2. Suppose 0 = -3*r + 5*w - 116, 2*w - 176 = 4*r + 6*w. Let x = r + 46. Is h(x) a multiple of 14?
True
Let t be (-5)/(-3)*(2 + 2 - -35). Suppose 0 = -5*d - 4*k + t, 4*d - k = 2*k + 52. Suppose 0 = 9*c - d*c + 624. Is 15 a factor of c?
False
Let i be 2/(8/(-28)) - 1. Does 5 divide i/12 - 679/21*-5?
False
Let h(u) = -3*u**3 - 121*u - 699. Is h(-18) a multiple of 295?
False
Does 95 divide 2470*((-564)/(-24) - 22)?
True
Suppose -f + 1 = 0, 4*x - 5*f + 15 = 74. Let n be (-12)/x*-4 - -4. Suppose 0 = -n*l + 6*l + 45. Is l a multiple of 9?
True
Let j be (-1)/7 + (-6)/(-42). Suppose -4*v + 15 + 177 = j. Does 16 divide v?
True
Suppose 0 = -4*j + g + 191, 0 = 10*j - 8*j + 3*g - 113. Is (-7 - (-27818)/j) + (-2)/(-7) a multiple of 46?
False
Suppose 5*l + 52 = 18*l. Suppose -5*z + m = -l*m + 5, 2*m = -5*z + 23. Suppose s - 5*a - 46 = 62, -4*s + 364 = -z*a. Is s a multiple of 11?
True
Suppose -8*y + 193 = -159. Let q = y + -44. Suppose -u + 4*i + 16 = -7, q = -5*u + 2*i + 61. Is u a multiple of 6?
False
Let l = -180 + 297. Suppose 112*d - l*d = -475. Is 5 a factor of d?
True
Let v(i) = 34*i - 178. Suppose 0 = -9*u + 4*u + x + 31, -u - 5*x + 27 = 0. Does 15 divide v(u)?
True
Suppose -94 = -6*t - 4. Let y = t + 146. Is y a multiple of 14?
False
Suppose q + 18 = 7*q. Let h be -1 + 4/(-3 + 7). Suppose h = q*r - 184 + 37. Is 28 a factor of r?
False
Suppose -1722 = -10*x + 1618. Suppose -658 = -7*r + 5*r - s, 0 = -r + 2*s + x. Is r a multiple of 15?
True
Let c = 5 - 77. Let b = c + 147. Is b a multiple of 25?
True
Let z be 1/(-2) + 217/2. Suppose 0 = -38*a - 83*a + 242. Does 34 divide a/((-9)/z*(-1)/2)?
False
Suppose 7632 + 3519 = 9*k. Does 21 divide k?
True
Suppose 6*a - a = 0. Suppose a*n + 15 = 5*n, -5*z - 2*n + 666 = 0. Let k = 268 - z. Is k a multiple of 8?
True
Suppose -18*j = -22*j + 4. Let d be (-8)/(j/12*3/2). Let g = d + 114. Does 8 divide g?
False
Suppose 0 = -29*g + 96*g - 449235. Is g a multiple of 45?
True
Let j be (-3)