b**3. Is s(7) a multiple of 32?
False
Let g = 33 + 86. Let m = 140 - g. Is m even?
False
Suppose -3*z + 3*k + 15 = 0, -4*k + 6 - 26 = 5*z. Let d(b) = 130 - 124*b - 133*b + 255*b. Is 13 a factor of d(z)?
True
Suppose -5*x - 1366 = 4*t, 27*t - 28*t - 3*x - 345 = 0. Let p = t - -472. Is 7 a factor of p?
True
Let v be (-23)/161 + (-34)/7 + 313. Let t = 389 - v. Is 6 a factor of t?
False
Let a(v) = -2*v**3 - 16*v**2 - 13*v - 15. Let b = -367 + 358. Is a(b) a multiple of 4?
True
Suppose -43 = -13*y + 178. Let q = 19 - y. Suppose -q*a + 171 = -5*h, 0*a + 2*h - 72 = -a. Is a a multiple of 6?
True
Suppose -646 = 12*g + 22*g. Let a = g - -475. Is a a multiple of 76?
True
Let z(v) = v**2 + 3*v - 4. Let l be z(5). Let t = l - -2. Let c = 17 + t. Is c a multiple of 11?
True
Suppose -6*y + 5*b + 16694 = 0, -3*y + 8*b - 4*b + 8344 = 0. Is 12 a factor of y?
True
Let q(g) = -28*g - 46 - 40 + 18 - 24. Is q(-10) a multiple of 18?
False
Let u = -11174 - -15846. Is u a multiple of 32?
True
Let l be (23 - 1)*(200/16 + -11). Suppose -l*r + 676 + 28100 = 0. Does 15 divide r?
False
Let r = 23721 + -7318. Is 15 a factor of r?
False
Let g = -500 + 494. Is g*1/((-3)/176) a multiple of 20?
False
Suppose 10 = 4*x + s - 3*s, 0 = -2*s + 2. Let g(d) = -181*d + 39. Let a(f) = -1241*f + 273. Let v(l) = -6*a(l) + 41*g(l). Is v(x) a multiple of 4?
True
Let j be ((-38)/8)/((-150)/48 + 3). Let d = -1 + j. Let g = d - 29. Does 5 divide g?
False
Let m be (-432)/(-252)*49/2. Is 52 a factor of 462/4*56/m?
False
Let m(z) = -z**3 + 12*z**2 - 20*z + 4. Suppose -59 = -21*l + 67. Is m(l) a multiple of 15?
False
Let b(j) = -j**3 + j - 1. Let y(a) = 15*a**3 + 5*a - 6. Let w(l) = -4*b(l) + y(l). Let s(f) = 3*f - 11. Let z be s(4). Does 6 divide w(z)?
True
Suppose -72*l + 69*l = -3*x - 3432, -l + 1116 = -8*x. Does 82 divide l?
True
Let l(j) = 2*j**2 - 16 - j - j - j. Suppose 2*f + 5*g - 21 = 0, -4*f - 1089 = 2*g - 1123. Is 8 a factor of l(f)?
True
Suppose 0 = -19*v - 88*v + 44*v + 881433. Does 70 divide v?
False
Let q be (-1 + 31 + -3)*(1 + 0). Let l(h) = h**3 + 31*h**2 - 67*h + 13. Let v be l(-33). Let g = q + v. Is 3 a factor of g?
False
Suppose 6*t + 54 = 12*t, 3*c - 5*t - 6807 = 0. Does 4 divide c?
True
Let d(c) = -7*c**2 - 2*c - 8. Let h be d(-3). Does 2 divide (-1 + -7)/(4 - h/(-15))?
True
Suppose 12 = 3*r + 3*q, 4*r - 5*q + 2 = -0*q. Suppose r*h = -2*k + 26, 5*k - 3*h - h - 38 = 0. Suppose d = 62 - k. Does 12 divide d?
False
Let f = 13 - 10. Is 28 a factor of f/2 + 3905/10?
True
Let d = 71920 - 33742. Is d a multiple of 6?
True
Suppose -518*d = -505*d - 91871. Does 165 divide d?
False
Let r = -1131 - -3891. Is 3 a factor of r?
True
Suppose 20*w - 33 = 47. Let f(o) = o**2 + 11*o. Let k be f(-8). Let d = w - k. Does 6 divide d?
False
Let g be -2 - 156/(0 + -2). Let r be (36/8)/(-3)*-12. Let v = r + g. Does 12 divide v?
False
Let u = 56 - 44. Suppose -5*l - u = -l. Let h(g) = -41*g + 21. Is 36 a factor of h(l)?
True
Suppose -5*q = -3*t - 160, 3*t - 4*q = 12 - 167. Let l = t - -47. Suppose 0 = f + l*c - 103 + 23, 3*f - 220 = 4*c. Does 19 divide f?
True
Let a = 481 + 216. Suppose -6*d - 55 = -a. Suppose 3*x + 5 = -4*l + d, 3*x + l - 111 = 0. Is x a multiple of 34?
False
Let l(x) = -x**2 - 12*x + 15. Let b be l(-13). Let m be (2 + -2 - 0)*(1 - 0). Suppose m = 3*n - 0*y - 5*y - 844, b*y - 1355 = -5*n. Does 21 divide n?
True
Let u(y) = -y**3 + 18*y**2 + 41*y - 17. Let g be u(20). Suppose 19 - 124 = -5*r. Is 13 a factor of 4*(r - (-2 + g))?
False
Suppose 10 = -5*y, 5*w = -2*y - 3 + 29. Let n(t) = 2*t**2 - 14*t + 10. Let f be n(w). Is 23 a factor of f/4 + 370/4?
True
Let q(o) = 8*o - 40. Let v be q(35). Suppose -j - 2*g + v = -177, 0 = 3*j + 3*g - 1251. Is j a multiple of 48?
False
Suppose -16264 = -3*v + 5*p, -3*v + 6833 + 9447 = -p. Does 6 divide v?
False
Suppose 0 = 5*d + 136 + 794. Let y = d - -274. Suppose 177 = 2*b + 3*h + 2*h, 0 = b + 2*h - y. Does 20 divide b?
False
Suppose 0 = -3*c - 3*o + 114, 2*o = -2*c + 6*o + 94. Let y = 44 - c. Suppose 3*u - 3*r - 120 = -2*u, 72 = y*u - 3*r. Is 15 a factor of u?
False
Let w = -5088 + 10845. Is w a multiple of 49?
False
Let j(l) = -37*l - 45. Let m be j(-5). Let r = m + -70. Does 16 divide r?
False
Let c be (1/(-4)*25)/(205/(-328)). Suppose 0 = 4*b - 7*b + 330. Let q = c + b. Is 30 a factor of q?
True
Let q be 10 + (-6 - (-6 - -6)). Suppose -b - 778 = -q*b + 5*r, -266 = -b - 5*r. Is 29 a factor of b?
True
Let n(j) = j**3 - 11*j**2 - 31*j + 35. Let z be n(18). Suppose 1743*w + 1368 = z*w. Is w a multiple of 20?
False
Suppose y + 2*a = -32 + 21, 0 = 3*a + 15. Let k(t) = -487*t**3 + t**2 - 3*t - 2. Does 12 divide k(y)?
False
Let i(n) = -15*n + 20. Let s be i(1). Suppose 245 + 205 = 2*u + d, 886 = 4*u - s*d. Is 28 a factor of u?
True
Let m be (-2319)/(-18) + (-1)/(-1 - 5). Let l = 227 - m. Is 7 a factor of l?
True
Let s(g) = -g**2 + 4*g - 3. Let j(b) = b + 1. Let p(h) = -3*j(h) - s(h). Let w be p(6). Is 10 a factor of 670/15*w/(-4)?
False
Let i = 196 - 300. Let j = i + 442. Is j a multiple of 28?
False
Let a(r) = 5*r + 115. Let d be a(-23). Suppose d = -u - o + 34, -u - 3*o + 54 = 22. Is 6 a factor of u?
False
Let r be 5544/(-48) - (-3)/2. Let h = r - -128. Is 2 a factor of h?
True
Suppose 0 = -5*s - 2*z + 58612, 10*z - 4*z = 2*s - 23506. Does 143 divide s?
True
Let w = 2893 - 1285. Is 10 a factor of w?
False
Suppose -8 = p - 42. Suppose 15*q = 41 + p. Suppose -s + 70 = 3*l, -7*l + 330 = q*s - 2*l. Does 13 divide s?
False
Suppose -s = 17825 - 6710. Does 19 divide 1 - 3/(-2) - s/26?
False
Suppose -5*z - 9*z + 77004 = 13*z. Is z a multiple of 62?
True
Let t(b) = -b - 8. Let v be t(-18). Let n be -2 - -2*15/v. Is (-1)/(3/(-489))*n a multiple of 28?
False
Let p = -10311 + 12625. Is 26 a factor of p?
True
Let y = -22935 - -61036. Is 7 a factor of y?
True
Let u(n) be the second derivative of -65*n**3/6 + 18*n**2 + 70*n. Is 20 a factor of u(-3)?
False
Let w(z) = 1725*z + 106. Is 62 a factor of w(4)?
True
Suppose 0 = -294*m + 291*m - 1491. Let f = m - -762. Is 11 a factor of f?
False
Let t(w) = w**2 + 13. Let c be 2/(-17) + -5*(-222)/(-102). Is t(c) a multiple of 26?
False
Let g = -10 + 9. Suppose 13*m + 144 = -5*m. Is ((-30)/m)/(0 - g/44) a multiple of 13?
False
Let f be 0 + 4/((-16)/(-20)). Let b be (f/(-15))/((-2)/270). Let w = b - 5. Does 8 divide w?
True
Suppose 3*b + 30 + 44 = -2*m, -4*m - b = 148. Let r = m - -34. Let g(q) = -23*q - 6. Is 13 a factor of g(r)?
False
Suppose 0 = 9*o - 1134 - 378. Suppose -217 = -2*i - a, -i + a - 61 = -o. Does 6 divide i?
True
Suppose -77235 = -41*u - 3*u + 95421. Is u a multiple of 6?
True
Let q(h) = 1504*h**2 + 474*h - 3. Is 82 a factor of q(-2)?
False
Does 16 divide (4 - (-108)/(-9))*1*-1982?
True
Let p = 53995 + -26590. Is 261 a factor of p?
True
Suppose -10706232 = -590*a + 164*a. Does 10 divide a?
False
Let f(o) = o**3 - 16*o**2 + o - 20. Let l be f(16). Let c be 2/l*1*224/(-28). Suppose 0*s - 316 = -c*s. Is s a multiple of 8?
False
Suppose 0 = 186*t - 499899 - 959085. Does 106 divide t?
True
Suppose 3*r - 4*c = 259 + 370, -4*r + 826 = c. Suppose s + 3*v = -4*s + 204, -4*v + r = 5*s. Is s a multiple of 39?
True
Let s(g) = g**3 + 7*g**2 + 5*g - 11. Suppose y + 3 = -2*b, -10 = 5*y + b + 14. Is s(y) a multiple of 14?
True
Let j = 5527 - -292. Does 23 divide j?
True
Let y be (10*(-36)/150)/(3/(-10)). Suppose y*i - 2709 = 3371. Is i a multiple of 22?
False
Suppose -3*n = o + 2*n - 9355, 9343 = o + 3*n. Is 5 a factor of o?
True
Is 54 a factor of (-4852)/(-18) - 4/(-9)?
True
Let c = 4 - 18. Let x = 1 - c. Is 16 a factor of (-8)/(-2)*(1 + x)?
True
Let i(a) be the second derivative of 2*a**4/3 - 3*a**3/2 - 6*a**2 + 2*a - 5. Is 15 a factor of i(-6)?
True
Let v(d) = -d**2 + 9*d - 11. Let q be v(7). Suppose q*o = 2*o + 4. Is 0 - o*(-12)/4 a multiple of 3?
True
Suppose 5*y - 24 = 6*y. Let o be y/(-20) - (-12)/15. Suppose h = o*h - 2, -p + 43 = -2*h. Is p a multiple of 47?
True
Let c be 48/18*(-9)/(-12). Suppose -24*o = -c*o - 1364. Does 4 divide o?
False
Suppose -2*a - 5*s = -43, -3*s + 97 = 4*a - 4*s. Does 13 divide (160/a)/(-10) + (-5739)/(-9)?
True
Does 9 divide 29634/2 + 2*24/(-16)?
True
Let w be 92/28 + (-2)/7. Let z be (745/10)/(w/18). Suppose -3*l = 5*v - z, 361 = 4*v - 4*l + 3*l. Is v a multiple of 15?
True
Let n be 0 