0*w**2 - 7*w. Is t(-30) a multiple of 5?
True
Let i(w) = 229*w + 3348. Does 18 divide i(26)?
False
Let p = 28146 + -11558. Is 13 a factor of p?
True
Let o = 1367 + -764. Is 13 a factor of o?
False
Is (952/204)/((-4)/(-6)) - -43632 a multiple of 40?
False
Let q(h) = 2*h**2 + 8*h - 26. Let p be q(-6). Suppose 0 = -g + 4*g + 264. Is -2*(-2 + 1 - g)/p a multiple of 25?
False
Suppose 0 = -15*d + 12*d - c + 5, 0 = 3*d + 3*c - 3. Suppose -19 = -3*k + d*v + 3, -4*k + 34 = 2*v. Does 5 divide k?
False
Let x = 11906 + -88. Is x a multiple of 19?
True
Let l = 585 - 149. Suppose 3*u = -4*x + l, u - 4*x = -0*u + 140. Suppose 8*y - 2*b + u = 9*y, 432 = 3*y + 3*b. Is y a multiple of 22?
False
Suppose -d = -7 + 11. Let z be (44/12 + d)/((-1)/(-6)). Is -3*z/(-6) + 132 a multiple of 25?
False
Suppose -775*i + 2216 = -773*i. Is i a multiple of 141?
False
Suppose -3*u = -5*u - 5*d + 27104, -27120 = -2*u - 3*d. Is u a multiple of 156?
True
Let f(n) = n**3 - 15*n**2 + 26*n + 13. Suppose -3*s - 2*d = 0, 6*s = 4*s + d. Suppose s = 4*h - 14 - 38. Is 8 a factor of f(h)?
False
Suppose 96284 = 4*r - 4*w, -5*r - 15*w + 120365 = -10*w. Is r a multiple of 12?
True
Suppose -24890 = -2*t - 5*a, a + 12481 + 37299 = 4*t. Does 95 divide t?
True
Let u be (-359)/(-2 - -1)*-2. Let y be u/14 - (-16)/56. Let n = y - -69. Is 6 a factor of n?
True
Let d = -718 - -738. Let f(r) = 4*r**2 - 45*r - 7. Is 77 a factor of f(d)?
True
Is ((-39510)/4)/(174/(-348)) a multiple of 45?
True
Suppose -4*l + 64 = 4*l. Let k be 2*4/l*3. Suppose -13*c + 1300 = -k*c. Is 13 a factor of c?
True
Suppose -1942*k = -1929*k - 19760. Is 38 a factor of k?
True
Let m(w) = 0 - w - 12 + 8*w. Let t(o) = o**3 + 12*o**2 + 6*o + 74. Let n be t(-12). Does 2 divide m(n)?
True
Let a(w) = -157*w**3 - 12*w**2 + 4*w + 16. Is a(-4) a multiple of 7?
True
Let c(l) = -25*l + 145. Let k(r) = -r**2 - 14*r + 98. Let f be k(-19). Is 10 a factor of c(f)?
True
Let l(a) = -2460*a**3. Is l(-1) a multiple of 30?
True
Suppose 7*b - 550 = 87. Let i be b/(-21) - 8/(-6). Does 8 divide i + 135 - (-2)/2?
False
Let q = 37 + -33. Let v be 45/12 + 1/q. Does 5 divide -3 - (64/v)/(-2)?
True
Suppose -3*w = 12, -51*v - 3*w - 75 = -48*v. Suppose 15523 = 3*c + 2*n, 10 = 3*n + 4. Is 4/6 - (2 + c/v) a multiple of 28?
False
Suppose 2*a - 120 = -46. Let v(t) = t**2 + 5*t - 4. Let m be v(-9). Let j = a + m. Is j a multiple of 14?
False
Let h(c) = -1. Let q(z) = -25*z - 40. Suppose 6 = 3*o + 3. Let w(r) = o*q(r) - 20*h(r). Is w(-6) a multiple of 24?
False
Let w(p) = p**2 + 4*p - 28. Let u be w(-8). Let v be (-79)/(-3) - (u - 88/24). Suppose 2*r + n = 39, 2*n + 29 + v = 3*r. Is r a multiple of 4?
False
Suppose -2*o = -4*u - 5*o + 15238, 4*u - 15226 = 3*o. Does 28 divide u?
True
Let i(h) = 39*h + 2146. Is 4 a factor of i(-42)?
True
Let f(w) = 2*w**3 - 18*w**2 + 23*w + 31. Is f(8) a multiple of 3?
True
Suppose -q + 166 = -151. Let y(f) = f**3 + 21*f**2 + 11*f + 24. Let n be y(-19). Let g = n - q. Does 20 divide g?
True
Suppose 4 + 2 = 2*m. Suppose 8*t + 400 = 5*r + m*t, -2*r + 4*t + 160 = 0. Suppose -9*y - r = -10*y. Is y a multiple of 16?
True
Let v(p) = 153*p + 146. Let n be v(5). Suppose -6*l + 187 = -n. Is 3 a factor of l?
True
Let m be (7/21)/(1/81). Let c(p) = p**2 - 17*p - 18. Let u be c(21). Suppose -u = -3*w + v + v, w + v - m = 0. Is 6 a factor of w?
True
Let g(q) = 108*q**2 + 9*q. Let k be g(-1). Suppose k*j - 102*j + 1755 = 0. Does 65 divide j?
True
Let x(z) = 99*z**3 + 7*z**2 - 4*z - 6. Is 8 a factor of x(3)?
False
Let j(i) = i**3 + 11*i**2 + i + 7. Suppose 0 = 15*f - 16*f - 11. Let t be j(f). Is 1/4*(t - -20) even?
True
Let q = -1372 - -905. Let o = q + 740. Is 7 a factor of o?
True
Let d = 1 - -57. Suppose -36 = -d*o + 52*o. Does 3 divide o?
True
Suppose 32*k - 55*k = 125*k - 45436. Does 2 divide k?
False
Let t(g) be the third derivative of -g**7/280 + g**4/24 + 4*g**3/3 - 15*g**2. Let h(z) be the first derivative of t(z). Is 5 a factor of h(-2)?
True
Let z(i) = 6*i**2 + 3*i + 9. Let r be z(4). Suppose 0*t - 6 = -2*t. Suppose 0 = t*c - 78 - r. Is 14 a factor of c?
False
Suppose 212554 + 52846 = 20*x. Is 32 a factor of x?
False
Let u(r) be the second derivative of -7*r**4/24 + r**3/6 + 10*r**2 - 14*r. Let n(l) be the first derivative of u(l). Is 11 a factor of n(-6)?
False
Let z(f) = f**3 + 48*f**2 + 86*f - 163. Is 11 a factor of z(-42)?
True
Let a = -165 - -167. Suppose -2*v - 993 = -3*n, -a*v - 3 = -n + 332. Is n a multiple of 42?
False
Let l(g) be the second derivative of 52*g**4/3 + g. Suppose 4737*i - 13 = 4750*i. Does 36 divide l(i)?
False
Suppose -2*l = 4*i + 12, 6*l - 5*l = 2. Is 51 a factor of 60*(-85)/80*i?
True
Let c(a) = -3*a**2 - 20*a - 17. Let m be c(-11). Let f = 82 - m. Does 11 divide f?
True
Let q = 1850 - -850. Is 30 a factor of q?
True
Let l be 1/(28/343)*52. Suppose 2*t = l + 863. Is t a multiple of 75?
True
Suppose -15*j + 180 = -12*j. Is 38 a factor of (16 + j)*(-2 + 7 + -3)?
True
Let b(q) = -3*q**3 - 15*q**2 + 11. Let x be b(-5). Suppose 0 = x*m - 9*m - 18. Is m even?
False
Let d(t) = t**3 - 12*t**2 - 5*t + 58. Let j be d(17). Suppose 0 = -3*i - j + 4619. Does 7 divide i?
False
Suppose 44*m - 45*m - 9 = 0. Let g(c) = c**2 + 2*c + 27. Does 15 divide g(m)?
True
Suppose 326 = 2*x - 4*m - 2444, -6895 = -5*x - 5*m. Does 2 divide x?
False
Let l = -6891 + 11979. Is 106 a factor of l?
True
Let i(n) = n**2 - 5*n + 12. Suppose -2*w = 3*w + 25, -4*t - 2*w + 14 = 0. Let r be i(t). Is 4 a factor of (6/(-4))/((-1)/r)?
False
Let q = -316 - -324. Is (-21)/3 + 2360/q a multiple of 6?
True
Let c be -5 - (-391 + 48/8). Let d = -340 + c. Does 40 divide d?
True
Let r(l) be the first derivative of l**3 + l**2/2 - 5*l + 3. Let y be r(5). Let h = 138 - y. Is 7 a factor of h?
True
Let q = -1063 - -652. Let k = 576 + q. Is k a multiple of 5?
True
Let b = 552 - 476. Suppose -37*y = -39*y + 2*c + b, 2*y = -4*c + 46. Does 9 divide y?
False
Suppose 2*w = 285 + 227. Suppose -4*a + 3*a = 0, -2*k = -a - w. Suppose 0 = -0*m - 8*m + k. Is m a multiple of 16?
True
Let h be ((-3)/(-5) - 1)/(1/(-6310)). Suppose 3*i - 289 = 3*s - h, s = 3*i + 737. Is s a multiple of 32?
False
Suppose -5*j + 35 = -0*u + 5*u, 0 = -j - 4*u + 13. Suppose j*r - 321 - 379 = 0. Suppose 4*k = -0*k + r. Is k a multiple of 22?
False
Let c(x) be the second derivative of -x**4/12 + 13*x**3/6 - 5*x**2/2 - 13*x. Does 3 divide c(5)?
False
Suppose -z + 11 = 3*f, 5*z = 2*f + 10*z - 3. Suppose 0 = 4*y + 2*b - 106, 3*y - f*b = -2*y + 100. Is y a multiple of 6?
True
Suppose -54*w = -754365 + 19425. Is w a multiple of 108?
False
Let r = 1730 + 3515. Is r a multiple of 64?
False
Let h(c) = -55*c - 98. Suppose 4*m = -8, -s + 4*s + m = -23. Is h(s) a multiple of 25?
False
Suppose 111 = 3*f + 3*t, 0*f = f - t - 35. Let z = 35 - f. Let v(n) = -74*n - 2. Is v(z) a multiple of 20?
False
Let z(b) = -5*b**2 + 2*b - 83. Let c(k) = -14*k**2 + 8*k - 249. Let f(q) = 6*c(q) - 17*z(q). Is 87 a factor of f(26)?
True
Let k(w) = 2*w + 5. Let z(n) = -n**2 + 8*n - 17. Let c be z(6). Let b(x) = 9*x + 21. Let h(v) = c*b(v) + 21*k(v). Is 8 a factor of h(-13)?
False
Let m be -4 - -4*(-4)/16. Let j be 4 + 5 + (m - -6). Is (-330)/(-25)*j/3 a multiple of 22?
True
Is (-4 + 14)/(38/20501) a multiple of 106?
False
Let z(p) = 33 - 2*p + 24*p**2 - 13*p**2 - 2*p**2. Is z(6) a multiple of 23?
True
Suppose -5*p - 4*x = -0*x - 2, -2*p + 11 = 5*x. Let s(r) = 13*r**2 - 1 + 6*r - 26*r**3 + 5 + 13*r**3 - 14*r**2. Is s(p) a multiple of 3?
False
Let z = 19739 - 69. Does 7 divide z?
True
Let a be 2*2 - (-21 + 21). Suppose 3*h - 74 = -a*w, 21 = 2*w - 3*h - 25. Is w a multiple of 4?
True
Suppose 5*z + 5 = 15. Let i(s) = 5*s - 3*s + 2 - z*s + s. Is 4 a factor of i(7)?
False
Let u(s) = -15*s + 79. Let d be u(5). Suppose -d*c + 3*c + 9 = -r, -4*c = 4*r - 76. Does 7 divide c?
True
Suppose 4*c + 12 = 0, -2*t = 5*c - 1 + 10. Suppose t*j - 3*v - 750 = -6*v, 3*v + 6 = 0. Does 14 divide j?
True
Suppose -30*s + 3183 = 11583. Does 47 divide (720/s)/((-1)/196)?
False
Suppose 305 = 18*j - 1369. Is 31 a factor of j?
True
Let c(p) = p**2 - 12*p + 1. Let m be c(12). Let s(w) = -19*w**2 - 16*w + 15. Let d(k) = k**3 + k**2 - k - 1. Let o(l) = m*s(l) + d(l). Does 11 divide o(19)?
False
Suppose -4*p + 11 = -x, 3*x - p + 13 = p. Let c(a) = -a**2 - 4*a - 5. Let i