Suppose 8*z - 36623 + 6346 = 15083. Is 9 a factor of z?
True
Suppose k - 1052 = 3*l - 5549, l - 4*k - 1510 = 0. Does 2 divide l?
True
Suppose -23*b = -3670 - 25908. Suppose -3*k + 2539 = k - 3*n, 4*n = -2*k + b. Is k a multiple of 20?
False
Does 117 divide 4502 + -33 - (2 - -21)?
True
Let s = 81 - -123. Let x = s + -142. Does 11 divide x?
False
Let b = 636 - -3686. Is b a multiple of 25?
False
Let y(z) = z**3 - 9*z**2 - 20*z - 9. Let g(w) = w**3 - 7*w**2 - 20*w - 8. Let o(b) = 5*g(b) - 6*y(b). Is o(20) a multiple of 7?
True
Let s = 7430 + -6505. Is 7 a factor of s?
False
Let b be 2/10 + 3/((-30)/(-1198)). Let v = 207 - b. Suppose 4*k - 177 - v = 0. Is 11 a factor of k?
True
Is 897/(-117)*((-6351)/(-6))/(5/(-30)) a multiple of 231?
False
Suppose -129276 = -33*x + 5*x. Is 57 a factor of x?
True
Is (6 - 0) + (-3)/(21/28) - -3698 a multiple of 25?
True
Let g = -17046 - -26064. Is 54 a factor of g?
True
Let g = 54904 + -30964. Is g a multiple of 31?
False
Suppose 11*r - 4*r - 35 = 0. Suppose -3307 = -4*d - r*h, 51*d - 48*d = -h + 2483. Is 69 a factor of d?
True
Suppose 2*q + 21 = 9*x - 6*x, 2*x = 4*q + 22. Suppose x*y = 1035 + 715. Is 7 a factor of y?
True
Suppose 0 = 62*h - 60*h + 186. Let u = -53 - h. Does 4 divide u?
True
Let u(o) = -10*o**3 - 5*o**2 - 100*o - 851. Is 41 a factor of u(-7)?
True
Let c(x) = 1557*x + 2174. Is c(18) a multiple of 13?
False
Suppose -45 + 44 = -q. Let k(r) be the first derivative of 88*r**3/3 - r**2/2 + r - 5. Is k(q) a multiple of 22?
True
Let g be 8/10*8/(48/75). Let m(w) = 5*w**2 - 29*w - 12. Is m(g) a multiple of 9?
True
Suppose -5*z + 1290 = z. Does 10 divide (516/z)/((-2)/(-150))?
True
Suppose 2*g - 4 = 0, 4*r - g - 348 = 3*r. Let p = -210 + r. Is p a multiple of 10?
True
Let z(k) = k**2 - 14*k - 5. Suppose 4*l + 5*s = -73, 4*l + 53 = s - 2*s. Does 19 divide z(l)?
False
Suppose -8*y + 7952 = -45288. Does 121 divide y?
True
Suppose 173*t - 18*t - 950228 - 285897 = 0. Is t a multiple of 11?
True
Suppose 254*c + 114 = 256*c. Suppose 2*m - c = 4*w + 19, m + 2*w - 50 = 0. Is 8 a factor of m?
False
Suppose 0 = 3*l - 0*m + 3*m - 24, -5*l = -3*m - 40. Suppose -l*o = -1686 - 162. Does 46 divide o?
False
Let g(h) be the first derivative of -9*h**2/2 - 49*h + 153. Is 13 a factor of g(-9)?
False
Let j(z) = -4*z + 80. Let a be j(19). Suppose 5*n - 3*n - 2*o - 580 = 0, a = o. Is 14 a factor of n?
True
Suppose -16*j = -29*j + 182. Let r(h) = -2*h**3 + 28*h**2 + 9*h + 25. Does 17 divide r(j)?
False
Let o be ((-4)/(-8)*8)/(2 - 1). Let c be o/(-14) + 12/(-7). Does 6 divide 46/6 - c/(-3)?
False
Suppose 2*c + c = -4*h + 28, -3*c - 3*h = -24. Let f be 7956/(-85) - c/10. Let w = 22 - f. Is w a multiple of 11?
False
Suppose 108*o - o - 1902054 = -54*o. Does 22 divide o?
True
Suppose -291 = 46*i - 49*i. Let r(y) = 2*y + 12. Let m be r(-5). Suppose 4*u = 5*b + 86 + i, m*u - 2*b = 90. Is u a multiple of 14?
True
Let n = -49 + 14. Let l(p) = -33*p + 28. Let w be l(0). Let b = w - n. Does 6 divide b?
False
Let g(u) = -181*u + 2280. Does 10 divide g(0)?
True
Let s(y) = -1258*y - 6103. Let t(m) = -45*m - 218. Let q(k) = 3*s(k) - 85*t(k). Does 34 divide q(7)?
True
Suppose -4*j + 135 = 3*p - 41, -5*j + 55 = p. Suppose 51*h - p = 47*h. Is 15 a factor of h?
True
Suppose -4*b = -11*b - 1848. Let a = -56 - b. Does 16 divide a?
True
Suppose -4*v + 21 = -2*v - 5*s, 2 = 4*v - 2*s. Let r(w) = -8*w - 8. Let c be r(v). Suppose -10*p = -9*p - c. Does 8 divide p?
True
Let l = -1119 - -2035. Suppose 4*p = -0*h - 3*h + l, 1142 = 5*p + 3*h. Let w = p - 136. Is 15 a factor of w?
True
Suppose -4*c - 7 = -h - 0*c, 0 = -h - 5*c - 2. Let i be (-2)/(-2)*1*(-3 + h). Suppose -4*b + 86 = -i*y + y, -5*b + 355 = 5*y. Is y a multiple of 19?
False
Suppose -74*h = -30*h - 2816. Suppose -h*b = -35*b - 28623. Is 21 a factor of b?
True
Suppose 0 = -2*f + 2*f + 3*f. Suppose -2*p = 3*x - 0*p - 15, f = -2*x - p + 9. Suppose -5*d = -x*d - 5*i - 42, -d + 51 = 5*i. Does 4 divide d?
False
Suppose r + 3*c - 3 = -22, 0 = -5*r - 3*c - 35. Is 0 + (-4 - 16/r) - -614 a multiple of 38?
False
Let l(o) = -3478*o**3 - 5*o**2 - 44*o - 40. Does 57 divide l(-1)?
True
Let a be 24/2 - 1/(5/15). Suppose 0 = -a*f + f + 72. Is 9 a factor of (39 - -2) + 3*(-6)/f?
False
Let l(c) = -2*c**3 - 10*c**2 - 8*c - 424. Is 8 a factor of l(-16)?
True
Is 42/(-9) - 160440/(-36) a multiple of 7?
True
Suppose -3*r = -5*o - 20962, 3*o = r - 4*r + 21018. Does 61 divide r?
False
Let b = 651 - -2138. Does 16 divide b?
False
Suppose -28*x + 8751 = 22611. Let u = 271 - x. Does 15 divide u?
False
Let z = -54 - -56. Suppose -r - 6 = -3*n - 0*n, -z*r - 3*n = 30. Let u(b) = -7*b - 24. Is 10 a factor of u(r)?
True
Suppose -4*o = 3*j + 39, 0*o + 5*j + 19 = o. Let c(l) = -l**3 - 7*l**2 - 10*l + 2. Let v be c(o). Let u = 73 + v. Does 39 divide u?
False
Is (-6 - -46*(-7)/(-28))*264 a multiple of 22?
True
Let b(g) = 3*g**3 + 35*g**2 - 52*g - 116. Let q(n) = 4*n**3 + 34*n**2 - 51*n - 116. Let z(l) = 5*b(l) - 4*q(l). Does 10 divide z(37)?
True
Let f = -77 + 82. Suppose c - 47 = q, -f*c + 2*c - q + 137 = 0. Is c a multiple of 5?
False
Suppose -5*t = -3*z + 116, 0 = 7*t - 5*t - 4. Let y be ((-287)/z - -7) + 23/6. Does 44 divide 2/((y/994)/(39/91))?
False
Suppose -31317 = -j + 4*p, -122*j - 5*p - 156555 = -127*j. Is 14 a factor of j?
False
Let y = -211 - -309. Let f = 493 - 479. Suppose -f*w + y = -13*w. Does 11 divide w?
False
Is (-1 - 1) + (178 - -2491) even?
False
Let c = 1033 + -1033. Let k(q) = 4*q**2 + 3*q - 4. Let i be k(-5). Let s = i + c. Is 12 a factor of s?
False
Let y(j) = 41*j + 1. Let l be y(1). Let u be (-12)/l - 2115/21. Let b = u + 157. Is 8 a factor of b?
True
Let y(s) = -10 - 21 + 54*s + 5 + 10. Let g(j) = -j**2 + 8*j - 3. Let p be g(7). Is 25 a factor of y(p)?
True
Suppose q = 4*l + 573, -l = l + 5*q + 303. Let x be (-3)/(6/(-86))*(-69 - -63). Let u = l - x. Is u a multiple of 14?
False
Let n = 13 + 5. Suppose -17 = -2*o + s, -2*o - 2*s + n = -14. Is 2 a factor of o?
False
Let q = -41 - -38. Let y(r) = -172*r - 8. Let a be y(q). Suppose -a = -4*h + 2*z + z, -z = 4. Does 6 divide h?
False
Suppose 2802 = p - 5*y - 28867, -5*p + 158147 = -3*y. Does 35 divide p?
False
Let i(g) = -29*g - 185. Let l be i(-6). Let h(j) = -65*j - 46. Is h(l) a multiple of 25?
False
Suppose -31*f - 5476 = -2*z - 29*f, -4*f = 2*z - 5500. Is z a multiple of 23?
False
Let n(s) = 8*s**2 + 3*s - 14. Let r be (4/24 - 3/18) + 3. Suppose 5*y + 4*o - 24 = y, y + r*o = 10. Is n(y) a multiple of 18?
True
Suppose 161 = -30*b + 7*b. Is (-166)/(2 - 4) + b a multiple of 2?
True
Let t(s) = 267*s - 14. Let f(h) = -67*h + 3. Let r(l) = -9*f(l) - 2*t(l). Let u = 10 - 9. Is r(u) a multiple of 14?
True
Let y = -6737 - -14419. Does 25 divide y?
False
Let p be -18*(-6)/(-20)*5. Let m = -25 - p. Is 15/1 - m - 1 a multiple of 4?
True
Suppose -2*c - 3*b + 27 = 0, 4*b - 10 - 10 = 0. Does 38 divide c/(2 - 1897/959)?
False
Is ((-17692)/(-15))/(258/1935) a multiple of 7?
False
Let g(d) be the second derivative of 197*d**4/12 + 19*d**3/3 + 67*d**2/2 + 31*d - 1. Is g(-2) a multiple of 28?
False
Suppose -20*x + 7392 = -41*x. Is 24 a factor of (x/40)/(0 + 1/(-30))?
True
Suppose 5*c = 2*o + 169, 3*o - 46 = -5*c + 113. Let g = 64 - c. Suppose 152 = g*q - 27*q. Is q a multiple of 6?
False
Suppose 322335 - 150950 + 1407575 = 68*w. Is w a multiple of 45?
True
Is (-7)/91 - (6877738/91)/(-7) a multiple of 107?
False
Let y(r) = 12*r**3 - 19*r**2 - 23*r + 290. Does 3 divide y(8)?
True
Let q(n) = 218*n**3 + 14*n**2 - 18*n - 13. Is 28 a factor of q(3)?
False
Let m = 292 + 11961. Is 13 a factor of m?
False
Let n = -139 + 145. Suppose 5*r + n = 466. Is r a multiple of 26?
False
Let l = 20 + -33. Let d(u) = -9*u**2 - 117*u + 24. Let n(r) = 6*r**2 + 77*r - 16. Let v(i) = 5*d(i) + 8*n(i). Is v(l) a multiple of 24?
True
Suppose 0 = -2*b - 2*d + 40832, -5*d - 4 = 21. Does 9 divide b?
True
Suppose 128*s - 23*s - 1260875 = -70*s. Does 64 divide s?
False
Suppose -84*w + 105 + 138 = -75*w. Is w a multiple of 27?
True
Is 11 a factor of (-25411)/(-7) - ((-1060)/(-70) + -15)?
True
Suppose 8*u - 22 = 106. Suppose 0 = 4*o - 3 - 13. Let a = u - o. Is a a multiple of 12?
True
Let y(s) = 115*s + 31. Suppose -5*d - 92 + 109 = -3*j, -d + 4*j + 17 = 0. Does 14 divide y(d)?
False
Let k = 33 - -53. Suppo