, 4*b - 115 = -t. Does 10 divide b?
True
Let w = 15 - 34. Let u = 62 + w. Is u a multiple of 43?
True
Suppose 179 = 3*v - 169. Suppose 32 = 4*w - v. Is 19 a factor of 1 - (w - 1)/(-2)?
True
Let l(y) = y**2 - 17*y. Let d be l(17). Suppose d = -21*n + 26*n - 180. Is 6 a factor of n?
True
Let n(m) = -21*m - 123. Is n(-11) a multiple of 6?
True
Suppose 0 = t - 307 + 99. Is t a multiple of 26?
True
Does 3 divide (-798)/(-3) - (5 + -2 + -6)?
False
Let q(y) = -y**3 - 10*y**2 + 14*y + 22. Let n be q(-11). Let f(w) = w**3 + 11*w**2 - 11*w + 5. Is f(n) a multiple of 14?
True
Let d(g) = -g**3 + 5*g**2 + g + 8. Let c be d(6). Let l = -22 - c. Is (17 - l/(-2)) + -3 a multiple of 11?
False
Is 23 a factor of ((-13)/(117/6))/(1/(-69))?
True
Let z(t) = t**2 - 3*t - 4. Let f be z(4). Suppose -3*y + 75 + 321 = f. Suppose 0*n = 4*n - y. Is n a multiple of 12?
False
Suppose 4*j - w = 27, 0 = 2*j + 3*w - 2*w - 15. Let x(t) = t**3 - 6*t**2 - 7*t. Let p be x(j). Suppose p = -b + 53 + 31. Is 28 a factor of b?
True
Let q = -128 - -121. Let v(i) = -i**3 - 3*i**2 + 12*i + 8. Is v(q) a multiple of 23?
False
Suppose 0 = 2*f, -2*o - f - 2*f + 8 = 0. Suppose 5*s + 3*c - 19 = 0, -o*s + 9*s = -5*c + 25. Suppose 2*n + 3*l = 8*l + s, 26 = 5*n - 2*l. Is n a multiple of 6?
True
Let m(a) = -12*a**3 + 14*a - 61*a**3 - 14*a - a**2. Is m(-1) a multiple of 18?
True
Suppose -3*p + 12 = 120. Let j = p + 14. Let l = j - -41. Does 17 divide l?
False
Suppose -8*a = -4*a. Let c = a - 0. Suppose 0 = -4*h - 3*u + 59, 0*u + 3*u + 9 = c. Is h a multiple of 8?
False
Suppose -53*m + 24*m + 22707 = 0. Does 87 divide m?
True
Suppose 3*l = 7*l + 52. Let r = l + 15. Suppose -x = r*x - 186. Is 23 a factor of x?
False
Let b = 3946 + -2314. Is 16 a factor of b?
True
Let h = -17 - 16. Let a = 63 + h. Is 8 a factor of a?
False
Let x(i) = 113*i + 59. Does 97 divide x(3)?
False
Let o = -171 + 715. Does 34 divide o?
True
Is 103 a factor of 64/(-352) + 5666/11*2?
True
Let f = -247 + 301. Is 3 a factor of f?
True
Suppose -3*t = 40*t - 5590. Is t a multiple of 18?
False
Let s = -16 - -23. Let o = s - 7. Suppose o + 14 = j. Is 14 a factor of j?
True
Suppose -198*h + 737 = -197*h. Is 67 a factor of h?
True
Suppose -12 = 4*z + 3*o + 2*o, 5*z - 14 = o. Let f(l) = l + 13. Let w be f(-9). Suppose -3*h = -h + w*x - 180, z*h + x - 189 = 0. Does 14 divide h?
False
Let w = 31 - 21. Let d(y) be the first derivative of -y**4/4 + 10*y**3/3 + 3*y**2 - 12*y - 30. Is d(w) a multiple of 24?
True
Suppose 0 = 3*v - r + 64 - 58, 3 = 3*v + 2*r. Suppose 4*q + 72 = -3*c - c, -5*q = -2*c - 1. Is 93 + (v - c)/(-3) a multiple of 19?
False
Suppose 8*y = 2452 - 532. Is y a multiple of 40?
True
Suppose 4*i = 3*f + 14, 5*f + 4 = -i - 2*i. Suppose -3*c + 93 = a + i*a, 0 = -3*c - a + 85. Is 9 a factor of c?
True
Does 39 divide (45 + -2 - 1)*(-147)/(-98)?
False
Suppose 0 = 5*m - 4*t + 18, -5*m = -7*t + 2*t + 15. Let l = m + 10. Suppose 2*n - 4*r = -2, 4*r + l = 3*n + 1. Is 5 a factor of n?
True
Let i(j) = -10*j + 0*j**2 + 16*j + j**2 - 8. Does 4 divide i(-8)?
True
Let y = -302 - -472. Does 12 divide y?
False
Suppose c + 2*c = 9. Suppose -5*a = 7*f - c*f - 252, a + f = 51. Does 6 divide a?
True
Suppose -4*i + 710 = 3*h, -6*i + 535 = -3*i + h. Does 12 divide i?
False
Suppose 5*g = 4*b - 4221, -13*b - 2*g = -10*b - 3137. Is b a multiple of 43?
False
Suppose -25 = -3*p + 8*p, -597 = -4*m + 5*p. Does 11 divide m?
True
Suppose -4*r - 71 - 17 = 0. Suppose u - 28 = -75. Let w = r - u. Does 7 divide w?
False
Let x = 96 + -195. Does 21 divide (-22)/x - (-376)/9?
True
Let k = 7 - 4. Suppose -k*h + 22 = 7. Suppose 3*l - 59 = -0*p + p, p = h*l - 95. Is l a multiple of 9?
True
Suppose 4*u + 1 = -7, 4*w - 86 = -u. Let c = w - -71. Does 31 divide c?
True
Let a(o) = 2*o**3 - o**2 + 1. Let l be (-36)/(-18) + 2/(-2). Let p be a(l). Suppose -65 = -p*c - 25. Is 10 a factor of c?
True
Let c = 133 - -75. Suppose -2*b + 4*b - c = 0. Let v = -40 + b. Does 16 divide v?
True
Let r(s) = 7 + 30 + s + 22*s. Is 22 a factor of r(6)?
False
Let w(n) = 111*n**3 - 2*n**2 + n. Let u be w(1). Is 4/2 - (8 + -9)*u a multiple of 14?
True
Suppose -25*a = -20*a + u - 20328, 0 = a + u - 4064. Does 107 divide a?
True
Let n(f) = f**3 - 5*f**2 - 12*f - 10. Let d be n(7). Suppose h - 2*a = 72, -d*h + 3*h + 90 = 4*a. Does 13 divide h?
True
Let c(b) = -b + 7. Let m be c(5). Suppose -39 = -m*g + r, -3*r - 45 = -3*g + g. Does 5 divide g?
False
Let a(q) = -q**2 - 12*q + 17. Let u be a(-6). Let l = u + 3. Is l a multiple of 7?
True
Suppose -20 = -2*b - 2*b. Suppose 0 = -b*z - p + 131 + 36, -5*z + 5*p = -155. Is z a multiple of 11?
True
Suppose -8 = 2*n - 2. Let y be 5 + -1 + 2 + n. Suppose 5*j = -z + 11, y*z - 115 = 3*j + 8. Is z a multiple of 12?
True
Is 11 a factor of ((-1359)/(-27))/(1/3) + 3?
True
Suppose 2*p + 29 = -5*j, -2*j + 20 = -5*p - 9. Let x = p + 82. Is x a multiple of 45?
False
Suppose -3*h + 3*b = -h - 10, 5*b = 0. Suppose h*y - 13 - 312 = 0. Is 16 a factor of y?
False
Suppose -3*b - 12 = 0, 3*j + 25 = 2*b - 0*b. Let c = j + 54. Suppose 4*d = 45 + c. Is 19 a factor of d?
False
Suppose -2*i + 3 = 2*b - 7, b - 2*i - 17 = 0. Is 84/b + (-4)/(-6) a multiple of 4?
False
Suppose -21*x = -34*x + 637. Does 14 divide x?
False
Let z(r) = -r**2 - 15*r + 1. Let o be z(-11). Let i = 51 - o. Does 3 divide i?
True
Suppose 0 = -y - 2*n + 662, 0 = -4*y - 4*n + 923 + 1713. Let f = -437 + y. Does 38 divide f?
False
Let f(l) = 5*l**2 + 4*l - 4. Let t(k) = -3*k + 4. Let d be t(3). Is f(d) a multiple of 7?
False
Let a(n) = -n + 0 - 5 - 3*n**2 + 7 - 6*n**3. Is 8 a factor of a(-2)?
True
Let b = -2 + 7. Suppose 4*a + 180 = b*p, -180 = 4*p - 9*p - 5*a. Suppose i + i - p = 0. Is i a multiple of 9?
True
Let d = -315 + 527. Is d a multiple of 37?
False
Let o be 12/(-2 + 6)*9. Let j = o + 25. Is 22 a factor of j?
False
Suppose -29*g = -27*g - 8. Is 8259/57 - g/(-38) a multiple of 21?
False
Let d(q) = -q**2 + q + 11. Let m(t) = -t**3 - 8*t**2 + 9*t. Let v be m(-9). Is d(v) a multiple of 3?
False
Let v(y) = 8*y - 1. Let g be v(-2). Let f = g - -25. Suppose -f*b + 5*b + 24 = 0. Is 4 a factor of b?
True
Suppose 2*g - 16 = 3*g. Let t = g - -15. Is 18 a factor of (5 - 6)*(-27 + t)?
False
Let a = 36 + 164. Is a a multiple of 25?
True
Suppose 4*i + 0*i - 192 = 0. Suppose j - i = -j. Is j a multiple of 23?
False
Suppose 0 = -5*b + 2*v + 1255, 6*b - v = 2*b + 1004. Suppose 611 - b = 6*t. Is 4 a factor of t?
True
Let m(i) = 57*i**2 + 91*i - 541. Is 121 a factor of m(6)?
True
Let d(u) be the first derivative of 4*u**3/3 - u**2 - 2*u + 6. Let o be d(4). Is 26 a factor of o - (-1 + -1 + 4)?
True
Suppose 2*f = -8 + 2. Let g(l) = -29*l + 8. Does 19 divide g(f)?
True
Is 53 a factor of ((-600)/1)/(36/(-120))?
False
Is 11 a factor of (-4)/8*-3 - (-633)/2?
False
Let j(t) be the third derivative of -t**4/6 - 8*t**3/3 + 29*t**2. Is j(-7) a multiple of 2?
True
Is 0 + 2/(-12)*-6 + 1212 a multiple of 25?
False
Let i(u) = 15 + u - 4 + 3*u. Let l be i(9). Suppose -l = -j - 0*j. Is j a multiple of 10?
False
Let q = 1269 - 303. Is q a multiple of 14?
True
Let o(c) = 23*c**2 + 9*c + 25. Does 63 divide o(-9)?
False
Let a(i) = -i**2 + 112. Let y be a(0). Suppose -2*l + y = -0*l. Is l a multiple of 23?
False
Suppose 13*k = 9*k. Suppose 5*j - 2*v + 27 = 0, j - 2*v + 7*v = k. Let m(r) = -r**3 - 4*r**2 + 2*r - 4. Is 3 a factor of m(j)?
False
Let q(z) = z**3 + 6*z**2 + z + 6. Let r be q(-6). Suppose r = -4*j + n + 177 + 135, -78 = -j + n. Is 26 a factor of j?
True
Let v be (-40)/(-16)*8/10. Suppose -2*q = -s - 5*q + 73, 2*s + v*q = 150. Is s a multiple of 33?
False
Suppose 0 = -5*i + 10 + 10. Suppose 39 = -i*h + 2*g + 3*g, -9 = -3*g. Is 3 a factor of (h/(-5))/((-10)/(-75))?
True
Let p = 10133 + -6410. Does 46 divide p?
False
Let j(h) = h - 1. Let q be j(1). Does 35 divide (-56)/12*-15 - q?
True
Let j = 175 - 153. Is j a multiple of 11?
True
Suppose -2114 = -35*j + 5236. Is 15 a factor of j?
True
Suppose 0 = -6*s - 558 + 3360. Is s a multiple of 15?
False
Let c(s) = -7*s - 10. Let h(f) = 4*f**2 - 12*f - 3. Let v be h(3). Does 6 divide c(v)?
False
Let y(w) = -w**2 - w - 35. Let r(q) = -q**3 + q. Let l be r(-1). Let a be y(l). Does 11 divide a/(-3) + (-1)/(-3)?
False
Let d be (-9)/(-2) + 1/2. Suppose 0 = -d*f - 63 - 7. Is 6 - f - (4 - 1) a multipl