t w(p) = -21*p + 10. Let z(j) = 63*j - 31. Let f(s) = 7*w(s) + 2*z(s). Does 25 divide f(-4)?
False
Suppose 3*l - 529 = -w, 0 = -3*l + w + 4*w + 541. Suppose 4*v + 109 = 3*r, -3*r + v - l = -7*r. Is r a multiple of 8?
False
Let i(z) = z - 27. Let j be i(0). Let u = -21 - j. Suppose -l = u*t - 2*t - 77, 4*l = -4*t + 248. Is 19 a factor of l?
True
Let q = -29 + 34. Suppose 4*x = -q*m + 331, -2*x + 3*m + 255 = x. Is x a multiple of 21?
True
Let v = 42 - -219. Is v a multiple of 9?
True
Let r be (2 - 2) + 2*-9. Let f = -20 - r. Is f + 0 + 44 + -2 a multiple of 20?
True
Let v be (-14)/(-35)*(0 - -25). Suppose 0 = o + 4*x - 24, v*o - 2*x = 5*o + 120. Does 6 divide o?
True
Let o be 2/7 - (-36)/21. Let v = 0 + o. Does 3 divide v/7 + (-183)/(-21)?
True
Let z = -3 + -5. Let y(v) = 2 - 2*v + 5 + 1. Is 7 a factor of y(z)?
False
Suppose 0 = -0*n - 3*n + 102. Suppose -w + 2*t + 10 = 0, -2*w + 7*w + 5*t = 5. Suppose -n - 6 = -w*f. Does 5 divide f?
True
Let f(c) = 4*c**3 + 2*c**2 - c. Let v(w) = w + 2. Let o be v(0). Let p be (4 - 5)/(o + -3). Is 3 a factor of f(p)?
False
Suppose 0 = -25*l - 0*l + 550. Is l a multiple of 11?
True
Let f = 253 - -27. Is f a multiple of 10?
True
Let u be 164/20 - 5/25. Is (-6)/(-48) + 207/u a multiple of 6?
False
Suppose -4*v - 3123 = -3*n, 2*n - 10*v - 2071 = -11*v. Suppose -223 = -9*r + n. Is 12 a factor of r?
False
Let y(j) = -12*j + 19. Let i(w) = 11*w - 18. Let s(u) = -5*i(u) - 6*y(u). Let k be s(8). Suppose -k = -4*f - 3*f. Is f a multiple of 16?
True
Suppose 2*r + 6 + 12 = l, -5*r + 53 = l. Let z = 0 + l. Does 4 divide z?
True
Let v(m) = m + 2. Let s be v(-4). Let h be 4*(s + (-33)/(-12)). Is 30/(-3*(-1)/h) a multiple of 15?
True
Let t = 10 - 5. Suppose 5*c - 10 = -2*b + c, 3*c = b - t. Suppose 12 = 4*n - 0, -145 = -2*h - b*n. Is h a multiple of 13?
True
Let u(i) = -i**2 - 24*i - 52. Is u(-7) a multiple of 3?
False
Suppose -23*a = -30*a + 378. Is 6 a factor of a?
True
Let c be 610/(-50) + 2/10. Let l be 1/(-3) - 1252/c. Suppose 4*y - 32 - l = 0. Is 7 a factor of y?
False
Is -159 - -160 - (0 + 529/(-1)) a multiple of 10?
True
Let t(v) = v + 28. Let w be t(-7). Suppose w*a - 22*a + 26 = 0. Does 3 divide a?
False
Let k(t) = 24*t + 4. Let b be k(18). Suppose f = -f + b. Does 40 divide f?
False
Suppose 2*w - 132*k + 136*k - 4638 = 0, -4*k - 9240 = -4*w. Does 11 divide w?
False
Let t(y) = -y**2 - 16*y + 11. Let j(c) = -c**2 - 15*c + 11. Let f(u) = -5*j(u) + 4*t(u). Does 30 divide f(-19)?
False
Let x(g) be the second derivative of g**5/20 - g**4/6 + g**2/2 - 12*g. Let t be x(4). Let y = 113 - t. Is 16 a factor of y?
True
Let i = 54 + -33. Is 6 a factor of (-9)/((i/(-16))/7)?
True
Suppose 2*h - 107 = 3*s + 26, 5*h - 310 = 3*s. Suppose -53 = -2*f + h. Does 14 divide f?
True
Let t = -369 + 561. Does 24 divide t?
True
Does 5 divide (4 - 1) + -1 + 268?
True
Suppose 4*n = 4, 3*v = -0*n - 2*n + 38. Suppose -5*j - v = -3*j. Let k(z) = -6*z. Does 6 divide k(j)?
True
Let d = -3 + 3. Suppose d = -t + 5*t + 4, 0 = -5*q - 2*t + 18. Is 68/7 + q/14 a multiple of 3?
False
Let a = 195 + -51. Suppose -2*d - 4*w = -144, 0 = 3*d - 10*w + 9*w - 209. Let b = a - d. Is b a multiple of 15?
False
Let i(z) = -22*z + 752. Is 4 a factor of i(14)?
True
Suppose 0 = 4*v + 12, 0 = -4*u - 71*v + 68*v + 3579. Is 39 a factor of u?
True
Suppose 2*w + 0*s = 3*s + 143, -3*w + 216 = -4*s. Suppose -3*b - 2 = 2*b - 4*f, -b - 2*f = -8. Is -4 + 6 + w/b a multiple of 9?
False
Let f(a) = -2*a**3 + 8*a**2 + 11*a + 7. Let h = 13 - 8. Is f(h) a multiple of 6?
True
Let g be (-2)/10 + (-2584)/(-20). Let c = -63 + g. Is 27 a factor of c?
False
Suppose 0 = -q - 4*q + 1185. Suppose -3*i - 2*p = 2*p - q, -2*p = -3*i + 219. Does 15 divide i?
True
Let s be (-26)/7 + (-6)/21. Suppose -174*p + 170*p = -60. Does 14 divide 3 + s/2 + p?
False
Let a(g) = 5*g**2 - 5*g - 5. Let t = -11 - -10. Let d(p) = 2*p - 1. Let x be d(t). Is a(x) a multiple of 27?
False
Suppose 4*x + 22*p - 27*p = 576, -x - 2*p = -144. Does 4 divide x?
True
Let h be 4/(-10) - (-632)/5. Let y(q) = -q**3 + 8*q**2 - 12*q + 5. Let u be y(6). Suppose -3*j = -3*r - 72, -u*j + r = -2*r - h. Is j a multiple of 9?
True
Let h be (-5)/((-20)/8) - -211. Suppose -h + 61 = -4*n. Is n a multiple of 5?
False
Let v(a) = -a**3 - 6*a**2 - 7*a - 3. Let b be v(-4). Let i(u) = -3*u + 12. Is i(b) a multiple of 11?
True
Let p = -20 - -24. Suppose 0 = -2*s - p*r + 2*r + 46, -71 = -3*s - 2*r. Is s a multiple of 11?
False
Let a = -910 - -2510. Is a a multiple of 32?
True
Is 11 a factor of (-1)/(-20)*8 + (-6066)/(-10)?
False
Is 62 a factor of (-1487)/(-6) - 85/(-510)?
True
Suppose -25*m + 476 = -1774. Does 9 divide m?
True
Suppose -4 - 6 = -2*q. Let n = -2 + q. Suppose -n*i + 102 = -i. Is i a multiple of 17?
True
Let x(w) = -18*w - 4. Let i(a) = -18*a - 4. Let s(n) = 7*i(n) - 6*x(n). Does 9 divide s(-4)?
False
Let n(k) = k - 2. Let r be n(6). Suppose 5*a + 7 + 18 = d, 5*d + 20 = -r*a. Suppose d = j - 3*j + 18. Is j a multiple of 5?
False
Suppose -5 + 4 = -o. Let r(p) = p + 1. Let m(i) = 38*i + 4. Let x(s) = m(s) - 3*r(s). Is 12 a factor of x(o)?
True
Let u(c) be the first derivative of c**2/2 - 6*c + 2. Let l be u(6). Let m(a) = a**2 + a + 28. Is 14 a factor of m(l)?
True
Suppose 3*w = 2*u - u - 63, -4*u - 2*w + 294 = 0. Let z = -24 + u. Is z a multiple of 28?
False
Suppose 3*g - 5*c - 7 = 0, 0 = -5*g - 0*c - c - 35. Is (-70)/g + (-2)/3 a multiple of 3?
False
Is 32/(-40)*2*-200 a multiple of 16?
True
Suppose -700*u + 699*u + 154 = 0. Does 22 divide u?
True
Let b be (-68)/(-18) - (-6)/27. Suppose -2*j + 16 - 38 = -b*i, 2*j = -10. Let f = i + 1. Does 3 divide f?
False
Suppose 3*p + 7 = -x - 15, 0 = 3*p + 4*x + 34. Let g(u) = -u**3 - 4*u**2 + 7*u + 3. Is 33 a factor of g(p)?
True
Suppose -c + 572 = 4*j, 6*c - 3*c - 5*j = 1733. Does 12 divide c?
True
Let m = 3 - -1198. Is 22 a factor of m?
False
Let b(x) be the first derivative of 5*x**3/3 - x**2/2 + 2*x - 1. Let w = 27 + -25. Does 7 divide b(w)?
False
Let g(x) = -x**3 - 6*x**2 - 8*x + 2. Let o be g(-4). Suppose -o*j + 188 = 32. Is j a multiple of 5?
False
Let f = 100 + 36. Is 13 a factor of f?
False
Let j(o) = 68*o - 122. Is 69 a factor of j(16)?
True
Suppose 3 = 5*c - 4*c. Suppose c*w + 25 = 3*o - o, 0 = -w - 5. Suppose o*d = -3*k - 0*k + 20, 4*k + d - 21 = 0. Is 5 a factor of k?
True
Let t = 180 - -788. Does 22 divide t?
True
Let j be (-5)/2*(-16)/20. Suppose k = 2*k, -5*f = j*k + 90. Let w = 33 - f. Does 17 divide w?
True
Let c(l) = 8*l - 12. Let n be c(6). Let t be 460/n - (-2)/9. Suppose 3*s - x - 123 + t = 0, 2*s - 2*x = 68. Is s a multiple of 17?
False
Let s = -100 + 100. Suppose -3*f + 5*u + 129 = s, -9*u = -14*u + 15. Is f a multiple of 4?
True
Suppose -2*v - 10 = 0, 813 = t + 3*t + 3*v. Is 7 a factor of t?
False
Let p(k) = k**3 + 18*k**2 + 32*k + 19. Does 21 divide p(-14)?
False
Suppose 0 = -6*f + 4259 + 10501. Is f a multiple of 60?
True
Let n be (6/(-8))/(5/(-80)). Suppose 10*y - 6 = 3*u + 5*y, 5*y - n = u. Suppose 2*g = u*a + 43, 0*g + g - 9 = -a. Does 14 divide g?
True
Let d(z) = z - 5. Let v be d(5). Suppose v = -3*s - 4*s + 1008. Does 24 divide s?
True
Let v = -184 + 584. Does 50 divide v?
True
Suppose 2*o - 4 = -b, o = -o + 4*b + 4. Suppose -p - h = 647, -3*p = -6*p - o*h - 1940. Does 19 divide 6/15 + p/(-10)?
False
Let g = -337 + 481. Does 24 divide g?
True
Let h be (-4)/6*(-111 + 0). Suppose 3*o + 3 = -3, 3*o = -5*r + h. Suppose -3*u - 1 + r = 0. Is u even?
False
Let l(q) = 3*q - 20. Let p be l(10). Does 18 divide (-54)/10*p/(-3)?
True
Let n(g) = -g**2 - 38*g - 298. Is 27 a factor of n(-22)?
True
Let v(s) = 2*s**2 - 21*s + 7. Let f be v(9). Let l = f + 23. Is 2 a factor of l?
False
Let p be -4*8/(-4) - 4/(-1). Suppose 315 = p*l - 9*l. Is 15 a factor of l?
True
Let v = 3812 - 1339. Is 17 a factor of v?
False
Let w be (9/(-3))/((-5)/(-25)). Let g = w - -27. Is 12 a factor of (-2)/3 - (-440)/g?
True
Let l be 62/(-3)*3/(-1). Let x = l - 22. Is 7 a factor of x?
False
Let k be (3 - 15)/3 - -13. Is (30/(-9))/((-3)/k) a multiple of 10?
True
Let p = -215 + 261. Is 23 a factor of p?
True
Let q = 551 + -479. Does 25 divide q?
False
Let b be 56/26 + 0 + (-22)/143. Suppose b*h - 6*y + 3*y = 587, 15 = -3*y. Is 52 a factor of h?
False
Does 24 divide 7 + -5 + -2 + 120?
True
Suppose 3*d = -a - 