ltiple of 71?
True
Suppose -4*z + 521 = 5*i, -3*i = -i + 7*z - 203. Does 35 divide i?
True
Let h = 435 - -23. Let j = -133 + h. Suppose 0 = 6*m - m - p - 799, 2*m + 5*p = j. Is 20 a factor of m?
True
Let c(k) = -k**2 + 6*k + 6. Let s be c(6). Let q = 11818 + -11808. Suppose 5*i - 6*i + q = 2*b, s = i - 2*b. Is i a multiple of 4?
True
Let b = 139853 + -50158. Does 36 divide b?
False
Let p(c) be the third derivative of 0 + 0*c - 1/3*c**4 - 14/3*c**3 - 21*c**2. Is 6 a factor of p(-13)?
False
Is 33 a factor of (-21)/(-8)*(-300)/(-45)*26?
False
Suppose -37 = 5*p - 42. Let c(n) = n**3 - 2*n**2 - n + 1. Let g be c(p). Let t(i) = 46*i**2 + i + 1. Is 23 a factor of t(g)?
True
Let c(x) = 177*x**2 + 50*x + 184. Is 16 a factor of c(-4)?
True
Suppose -2*h + 8*w + 11634 = 0, 14*h + 4*w = 17*h - 17379. Is 5 a factor of h?
False
Suppose 18*p = 472254 + 82290. Does 14 divide p?
False
Is (-138)/42 + 4 - (-458590)/70 a multiple of 21?
True
Let i = 1452 - 558. Suppose 3*k = -171 + i. Suppose -5*u - h = -k, -2*u + 73 + 24 = h. Does 10 divide u?
False
Suppose 16749 = 20*q - 11*q. Suppose 3*d - q - 488 = 0. Does 24 divide d?
False
Let y(h) = 14*h + 5 + 9*h**2 + 18*h**2 + 9 + 3*h**2. Does 16 divide y(5)?
False
Let r be ((-2)/4)/((-50)/(-1100)). Is (39 + 3)/(r/(-132)) a multiple of 8?
True
Let r = 605 - 496. Let m(h) = -8*h - 7. Let w be m(-5). Let p = w + r. Is 19 a factor of p?
False
Suppose -4*q + 1568 = 548. Let j = 85 - 248. Let n = q - j. Is 58 a factor of n?
False
Let r = 36973 - 20179. Does 17 divide r?
False
Suppose 41*w + 8 = 49*w. Let u(f) = 835*f**2 + 3*f - 5. Is 49 a factor of u(w)?
True
Let v = -5987 - -10943. Is 95 a factor of v?
False
Let y(g) = -3*g**2 + 26*g - 20. Let t be y(12). Let r = t - -175. Is r a multiple of 7?
True
Let k(x) = x**2 - 3*x - 4. Let z be k(4). Suppose z = -15*u + 12*u + 1020. Does 45 divide u?
False
Let u = 2419 + -1303. Let s = u + -612. Does 9 divide s?
True
Let t be (6 + -4)*-2*(3 + -4). Suppose -t*m = 35 - 39. Is 40 a factor of (33*-1)/(-2*m/10)?
False
Let d be (-504)/(-15)*(-15)/(-6). Is 23 a factor of 138/(-2 - d/(-35))?
True
Suppose -6 = -2*d + 2. Let t(h) = -9*h + 58. Let p be t(6). Suppose b + d*j - 84 = 0, -p*j + 6 = -b + 50. Does 13 divide b?
False
Let i be -4*(2 + -1)*7/(-7). Suppose -2*w = 5*o - 111, -i + 1 = -w. Let n = o - 17. Does 3 divide n?
False
Let s = -277 + 282. Suppose u + s*w - 522 = 0, -9*u + 13*u = 2*w + 2022. Does 13 divide u?
True
Suppose 0 = t + 3*s - 187, 0*t - 2*s = -2*t + 414. Suppose 3*i + 61 = t. Is i a multiple of 47?
True
Suppose 5*h - u + 2 - 1949 = 0, -2*h + 795 = 5*u. Does 30 divide h?
True
Suppose 9 = -o - 9. Let u be 4/3 + -6*2/o. Is 29 a factor of (52 - u)*1*1?
False
Suppose 5*w + 0 + 5 = 0. Is ((-13)/26)/(w/(0 + 850)) a multiple of 17?
True
Let c = -14 - -24. Suppose -24*l + 3934 = -c*l. Does 28 divide l?
False
Suppose 0 = -3*z - 7*w + 5*w + 1684, 3*z + w = 1688. Suppose 5*j + 2840 = 5*q, -z = -q + 7*j - 10*j. Is 13 a factor of q?
False
Suppose 42427 = h + 5*a, 30*a + 84942 = 2*h + 29*a. Is 44 a factor of h?
False
Let o(r) = -r**2 + 5*r + 2. Let v(f) = f. Let c(z) = o(z) - 5*v(z). Let l = 1960 - 1960. Is 2 a factor of c(l)?
True
Suppose -40 - 17 = 3*v. Let t be -1 + 1 + 76/(-19). Does 17 divide (17/t)/(v/76)?
True
Let k = -91 - -93. Suppose 332 = 4*d - y, k*y + 83 = d - 2*y. Suppose 0 = -g + d + 7. Is g a multiple of 18?
True
Let b = -156 - -872. Suppose -b = -k + 2*m, 12 = -2*m + 20. Does 25 divide k?
False
Is 4 + (-132)/(-220) + 57757/5 a multiple of 75?
False
Suppose 3*y - 3549 = -2*j, -3*j + 0*j = y - 1176. Is 15 a factor of y?
True
Let j(k) = k**3 - 10*k**2 + 16*k - 41. Let x be j(10). Suppose 0 = -5*t - x + 949. Is t a multiple of 40?
False
Let f(j) = -j**3 - 23*j**2 - 29*j + 497. Is 24 a factor of f(-25)?
True
Is 10 a factor of (-8185)/(-50)*2 - (-4)/(-10)?
False
Let v(c) = 16*c**2 - 386*c - 32. Is v(28) a multiple of 8?
True
Let l = 7 + -2. Let b(r) = -11*r**2 - 8*r + 15. Let k(a) = 5*a**2 + 4*a - 7. Let x(z) = 2*b(z) + 5*k(z). Is 18 a factor of x(l)?
True
Let d(q) = 2*q**2 + 30*q - 17. Let f be d(-16). Let t be -1 + (1*-8)/(-2). Suppose t = c + 5*r - f, 3*c = 2*r + 71. Is c a multiple of 9?
False
Suppose 5*l + 1010 = 4*g + 3715, -1075 = -2*l + 3*g. Suppose -l = 9*i - 4829. Is i a multiple of 34?
True
Let p(o) = -292*o**2 + 3405*o. Is p(9) a multiple of 37?
True
Let y(v) = v**3 + v + 50. Suppose -5*p + 7 = -4*p. Is y(p) a multiple of 20?
True
Let u = -1689 - -6170. Does 3 divide u?
False
Let d(y) = 8*y**2 + 3*y - 3. Suppose 3*b + 2*w + 12 = -1, 0 = 5*b + 4*w + 23. Does 20 divide d(b)?
True
Let y be ((15/2)/(-1))/((-1)/4). Let f = 32 - y. Is -11 + (f - -5) + 1 + 163 a multiple of 10?
True
Let n(y) = y**2 + y - 5. Let s(v) = -v**2 - 13*v - 10. Let r be s(-12). Let i be n(r). Is (-2*i)/((-128)/62 - -2) a multiple of 3?
False
Let n = -1243 - -3091. Suppose 8*x - n = x. Is 44 a factor of x?
True
Is 80 a factor of (5/(-20) - 481/444)*(-23280)/2?
True
Suppose 0 = 4*d - 0*d + 2000. Let k = -84 - d. Is k a multiple of 9?
False
Suppose 79*k - 1039347 = -1013910 + 4059890. Is k a multiple of 90?
False
Let s(o) = 45*o**2 + 8*o + 264. Is 10 a factor of s(-8)?
True
Let a(c) = 13*c - 189. Let m be a(9). Let n = m + 169. Does 25 divide n?
False
Suppose 0 = t - 62 + 57. Let g be t/(-15)*(3 + 0). Let j(o) = -97*o - 9. Is 4 a factor of j(g)?
True
Let c(j) = 41*j - 86. Does 104 divide c(80)?
False
Let i(s) be the second derivative of -s**4/12 + 11*s**3/3 - 17*s**2 + 20*s. Let b be i(14). Is 9972/b - 4/(-26) a multiple of 16?
True
Suppose 90743 = 50*t - 429557. Is t a multiple of 13?
False
Let p(i) = 2*i**3 - 3*i**2 - 2*i - 4. Let u(b) = -b**2. Let c(w) = 5*w**2 + 7*w - 9. Let k(f) = c(f) + 6*u(f). Let m be k(4). Is 8 a factor of p(m)?
False
Let z = -1346 - -2946. Is z a multiple of 20?
True
Let g = 1 + 46. Let h = g + -45. Does 4 divide (26/(-4) - -2)/(h/(-4))?
False
Suppose -17*g - 15*g + 161472 = 16*g. Does 116 divide g?
True
Suppose -3*i + 18996 = -3*c + 8*c, 0 = 3*c + 3*i - 11406. Is c a multiple of 23?
True
Let a = -19 + 23. Suppose 788 = 5*l - a*j, 2*l = 3*l - 5*j - 166. Is 14 a factor of l?
False
Let d(l) = 47*l - 31. Let m be d(3). Let i = 270 - m. Does 5 divide i?
True
Let q = -458 - -462. Suppose -l + 3*l = -q, l - 111 = -f. Is f a multiple of 21?
False
Suppose 2 + 1843 = 5*q. Suppose 4*b + 1 = -3, 2*l = 5*b + q. Is 7 a factor of l?
True
Let m(v) = -v**2 - 22*v - 38. Let z = -188 + 172. Is 37 a factor of m(z)?
False
Let u = 37 + -32. Suppose -2*d + 5 = -z + 1, -1 = z - u*d. Let c = z - -19. Is 9 a factor of c?
False
Suppose 0 = 12*i - 16*i + 21248. Is 32 a factor of i?
True
Suppose 0 = 10*s - 23*s - 26. Let c(d) = -51*d + 25. Let n(y) = -26*y + 12. Let w(b) = s*c(b) + 5*n(b). Does 25 divide w(-2)?
False
Suppose -2*j - 5*u - 13 = 0, 2*u + 6 = 7*j - 8*j. Is 25 a factor of 11/((-22)/(-732)) + j?
False
Let w be (-2 + 14/6)/(3/(-423)). Let g = w + 45. Is (-442)/(-11) + g/11 a multiple of 6?
False
Suppose 25*f - 8432 = 24*f - 4*n, 4*f = -2*n + 33784. Is f a multiple of 64?
True
Suppose 3*m + 4*g = 88374 + 21002, 0 = 5*m - 2*g - 182276. Is 36 a factor of m?
False
Let x = -64 - -1594. Is x a multiple of 34?
True
Let h = -174 + -59. Let k = h - -502. Is 14 a factor of k?
False
Does 24 divide 2127 + -4 + (-351)/(-27)?
True
Is 80 a factor of (-1364)/496 - 20827/(-4)?
False
Suppose 4*v = 38*v + 20094. Let f = -441 - v. Is 6 a factor of f?
True
Suppose 27*z = 18*z - 8028. Let n = z - -1354. Is n a multiple of 15?
False
Let b be ((-3)/(-4))/((-3)/(-12)). Let t(z) = 4*z + 0*z**b - 5*z**3 + 13*z**3 - 10*z**2 + 11 - 9*z**3. Is t(-11) a multiple of 13?
False
Let b be ((-4)/6)/((-88)/(-18) - 5). Let v be (-10)/(-1) - (-2 + b). Suppose -2*o + v*o = 1012. Does 23 divide o?
True
Let b = 238214 - 118364. Is 50 a factor of 6/16 + b/400?
True
Let i = 14 - 5. Let w be (-723)/i - 6/9. Let m = -27 - w. Is 27 a factor of m?
True
Suppose -2*c - 3*c + 20 = -5*z, 0 = -5*c - z + 8. Let g be (c/2 + 0)/(10/(-40)). Is g - (4 + -7) - -50 a multiple of 16?
False
Suppose -5*b = -2*a + 28601, -71537 = -5*a + 1185*b - 1184*b. Does 7 divide a?
True
Let x(k) = -21*k**2 - 2*k**3 - 5*k - 30*k**2 + 5 - 12*k + 36*k**2. Let b be x(-9). Let h = -241 + b. Is h a multiple of 10?
True
Let g(o) = 408*o + 369. Let z(x) = -51*x - 46. Let