tiple of 21?
True
Suppose 4*y - 35 = 3*k, -11*y + 31 = -7*y + k. Suppose -y*p = -1408 + 520. Is 26 a factor of p?
False
Suppose -3*z = 2*t - 10, 0 = -2*z + 7*z - 3*t + 15. Suppose -4*b - 6 - 6 = z. Does 18 divide 48*b/(-36)*9?
True
Suppose 3*b = 5*k - 12, k - 8*b = -4*b + 16. Suppose k = x + 17 + 20. Is 2/(-5) - x/5 a multiple of 4?
False
Is (2200/(-6))/((-35)/105) a multiple of 22?
True
Let u(r) = -r**3 + 5*r**2 + 2*r - 4. Let m be (-19 + 1)/(22/(-11)). Let y = 6 - m. Is 18 a factor of u(y)?
False
Suppose 80 = 4*a + 3*b + 19, 5*a - 5*b - 50 = 0. Suppose 4*n = 5*u - 172, -4*n = 5*u - 135 - a. Does 16 divide u?
True
Let r = 42 - 19. Does 14 divide r*(-3)/((-6)/14)?
False
Let f(l) = 3*l**3 - 4*l**2 - 6*l + 1. Is 11 a factor of f(5)?
False
Let j = -14 + 20. Let t(w) = 3*w**2 - 11*w - 6. Let a be t(j). Suppose a = -4*b + 172. Does 34 divide b?
True
Let m be (4/(-6))/((-22)/16599). Suppose 83 = -7*p + m. Does 3 divide p?
True
Suppose -109 = c - 2*c + p, -c - 4*p = -134. Let z = c - 26. Suppose -18 + z = 5*o. Is o a multiple of 10?
False
Let p = 574 - 361. Is 11 a factor of p?
False
Is (-54)/243 - (49875/(-27) + 1) a multiple of 13?
True
Let z be (-1955)/51 + 1/3. Let o = z - -103. Is 8 a factor of o?
False
Suppose -4 = -13*b + 14*b, -2*c - 5*b + 1024 = 0. Is 18 a factor of c?
True
Let z(a) = 19*a + 11. Let h be z(6). Let c = 191 - h. Is 33 a factor of c?
True
Suppose -2*v + 14 - 4 = 0. Suppose 73 = 3*u - r + 3*r, -5*u = -v*r - 80. Is u a multiple of 3?
True
Let n = -21 + 21. Suppose -828 = -9*m - n*m. Is 23 a factor of m?
True
Suppose -d = 2*d + 60. Let g be (-708)/(-20) - (-8)/d. Suppose -3*v + g = -7. Is 14 a factor of v?
True
Let i(k) = -7*k - 22. Let n be i(-4). Suppose 493 = n*f - 275. Is 14 a factor of f?
False
Suppose -18*o = 38*o - 117768. Is 75 a factor of o?
False
Suppose k - 4*y = 432, 4*k - 1623 = y + 105. Is 3 a factor of k?
True
Suppose -4*l + 475 - 391 = 0. Does 3 divide l?
True
Suppose 0 = 10*c - 1 - 59. Is 2 a factor of c?
True
Suppose 0 = 28*b + 19*b - 846. Suppose 4*n + 1 = z + 10, 0 = 4*n - 4*z. Suppose b - 180 = -n*t. Is 12 a factor of t?
False
Let h(r) = 3*r - 4. Let v = 15 + -12. Let o be h(v). Suppose 0 = -b - 4, 112 = 2*d - o*b + b. Does 12 divide d?
True
Suppose 2*c + 78 = 32. Let x = c + 39. Is 4 a factor of x?
True
Let x(b) = -b**3 + 7*b**2 - 5*b - 3. Let f = 28 + -22. Does 3 divide x(f)?
True
Let x = -753 + 1203. Is x a multiple of 30?
True
Suppose 89 + 9487 = 18*p. Does 6 divide p?
False
Let s(o) = 3*o**3 - 9*o**2 - 28*o + 23. Does 14 divide s(11)?
False
Suppose -23290 = -16*n - 18*n. Does 15 divide n?
False
Let f(s) = -2*s**3 + 2*s**2 - 10*s - 13. Let c(r) = 4*r - 40. Let d be c(9). Is f(d) a multiple of 15?
False
Let r(z) = -z - 3. Let s = 13 - 16. Let w be r(s). Suppose h + t - 46 = 0, w*h = -4*h + 5*t + 211. Is 28 a factor of h?
False
Suppose 0 = -5*p - 5 - 90. Let z(y) = y**3 + 20*y**2 + 17*y + 9. Is 14 a factor of z(p)?
False
Suppose 0 = 10*a - 5*a - 3515. Let t = -395 + a. Does 37 divide t?
False
Let u be 3 + (-13)/5 + (-62)/5. Let y(w) = 2*w**2 - 2*w. Let r(g) = 3*g**2 - 2*g. Let t(h) = 3*r(h) - 4*y(h). Does 40 divide t(u)?
True
Suppose 12*w - 390 = 9*w. Is 2 a factor of w?
True
Suppose 10 - 19 = 3*q. Let t be ((-4)/3)/(2/q). Suppose t*o - 13 = 19. Does 7 divide o?
False
Let z(p) be the third derivative of -p**5/60 + p**3/2 - 4*p**2. Let n be z(4). Let g(u) = -2*u - 18. Is g(n) a multiple of 8?
True
Suppose 5*c = -4*n + 597 + 10055, 2*c + 4*n - 4268 = 0. Is c a multiple of 33?
False
Does 5 divide ((-21)/(-14))/(-3)*-350?
True
Suppose 33*r - 7646 = 2980. Does 14 divide r?
True
Let y be (94*1)/((-2)/(-4)). Suppose -5*s = -h - 227, y - 4 = 4*s - 2*h. Suppose -2*f + s = f. Is f a multiple of 15?
True
Suppose -4*z + 1 = -3*t + 42, -4*z - 20 = 0. Suppose -85 = 2*l - t*l. Is l a multiple of 14?
False
Let c = -938 - -1365. Is c a multiple of 7?
True
Suppose -7*c - 11*c = -49248. Is c a multiple of 9?
True
Suppose -2*q + 2*p + 268 = 4*p, -5*q = 2*p - 664. Is (-4 - (-33)/9)*q*-1 a multiple of 5?
False
Let h(q) = -7*q - 15. Let g be h(8). Let j = g + 209. Is (j/18)/((-2)/(-12)) a multiple of 23?
True
Does 51 divide (0 + 6 - (-11475)/162)*6?
False
Let r = -30 + 36. Is 4 a factor of 3*(-231)/(-27) + r/(-9)?
False
Suppose f - 1 = 2, -j + f = -245. Is j a multiple of 12?
False
Let x(i) = -i**3 - 5*i**2 + 4. Let w be x(-5). Suppose -w*y + 130 = y. Is y/(3 + 0 + -1) a multiple of 13?
True
Suppose -u = 6 - 2. Does 12 divide 618/4 - 6/u?
True
Let k = 212 - 189. Let p = 2 - -1. Suppose 5*w = -2*x + 21, p*x - 2*w + w = k. Is 4 a factor of x?
True
Suppose -i = -3, 5*j + 3*i = -1009 + 3473. Is j a multiple of 11?
False
Let i = 505 - 241. Let s = -138 + i. Is s a multiple of 14?
True
Let j(f) = f**3 - 22*f**2 + 7*f - 64. Is 10 a factor of j(22)?
True
Suppose 2057 = 8*j - 815. Is j a multiple of 14?
False
Let n(z) = z**2 + z - 9. Let y(w) = -w**2 - 2*w + 10. Let r(f) = -3*f + 3. Let a be r(3). Let h(i) = a*y(i) - 7*n(i). Is 3 a factor of h(5)?
True
Let z be 19/(-76) - (-274)/8. Suppose 4*g + 0*s + 3*s - 39 = 0, 4*s - 14 = g. Let k = z - g. Does 14 divide k?
True
Suppose 3*c - 149 = 805. Let z = c + -199. Does 7 divide z?
True
Let o = 98 - 96. Suppose 63 + 133 = 3*s + u, -o*s + 4*u + 112 = 0. Does 8 divide s?
True
Let w(h) = -h**3 + 11*h**2 + 5. Let j be w(11). Let u(z) = -z + 10. Let n be u(6). Suppose 0 = -n*x + 4*a + 44, -2*x - 8 = j*a + 5. Is x a multiple of 3?
True
Suppose 113*x - 567 = 112*x. Does 8 divide x?
False
Does 9 divide ((5550/40)/5)/((-6)/(-64))?
False
Suppose -s - 135 = i - 605, 2*i - 920 = 3*s. Suppose 2*w - i = 4*h, 4*h + 4*w + 615 = 179. Let y = -69 - h. Is y a multiple of 15?
True
Let r(p) = 1209*p + 13. Is r(2) a multiple of 13?
True
Let v be (-210)/24 - 1/4. Let s be (11 + v)*(-6)/2. Does 4 divide (s - -3 - -2)*-6?
False
Let u = -4 + 37. Suppose -25 = -f + h + 20, 0 = f - 5*h - u. Suppose y + y = f. Is 7 a factor of y?
False
Let p = 395 + 628. Is p a multiple of 93?
True
Let a(y) = 67*y - 48. Does 19 divide a(5)?
False
Let g = 45 + 47. Does 49 divide g?
False
Suppose -w = -4*r - 861 - 511, 0 = -4*w + 3*r + 5449. Is w a multiple of 40?
True
Is (4320/(-150))/(6/(-40)) a multiple of 4?
True
Let m = -8 + 11. Suppose r = -m + 8. Suppose 6 = s - r. Is 11 a factor of s?
True
Is 355/(-426) + 2/(12/14777) a multiple of 17?
False
Let f be (-2 - 3948/20) + 4/10. Let m = -139 - f. Is 10 a factor of m?
True
Let b(c) = -181*c + 21. Does 24 divide b(-4)?
False
Let o(m) be the first derivative of m**3/3 - 3*m**2/2 + 9*m + 10. Let r(k) = -4*k - 8. Let c be r(-4). Is 16 a factor of o(c)?
False
Suppose -252*k - 9072 = -279*k. Is k a multiple of 8?
True
Suppose -12*p + 9*p + 15 = 0. Suppose p*o + 446 = 8*o - 4*x, 0 = -5*o + 4*x + 746. Is o a multiple of 15?
True
Is (-96)/168 + 4320/14 a multiple of 44?
True
Let v(f) = f**3 - 4*f**2 + 2. Suppose 4 = 5*g - 16. Let d be v(g). Suppose 4*t = d*t + 16. Does 3 divide t?
False
Let h be 1 - 1*(-5 + 1). Suppose f = -h*f + 486. Is f a multiple of 27?
True
Suppose 0 = 5*n + 2*r - 649, 0 = 5*n - 3*r + r - 641. Suppose -x = 4*h - 0*h - n, -h = -5*x + 624. Let k = x + -73. Is 31 a factor of k?
False
Let z = 1557 - 1496. Does 11 divide z?
False
Suppose 5*t - 311 = 349. Suppose -15*b + t = -3738. Does 43 divide b?
True
Let k(r) = -29*r + 42. Let n be k(-17). Suppose 5*s - 4*f - f = n, -3*f = 6. Is s a multiple of 15?
True
Let i(o) = -o**3 + 4*o**2 + 1. Let p = -14 + 25. Let l be (p + -5)/(4 - 2). Does 4 divide i(l)?
False
Let p = 653 - 191. Is p a multiple of 22?
True
Let v be 1 + 3*((-20)/(-12))/5. Suppose 519 = v*y - 3*g, 761 = -y + 4*y - g. Is 14 a factor of y?
True
Suppose 3*l + 9669 = 4*r, -4*r = 4*l - 12288 + 2612. Is r a multiple of 39?
True
Let n(c) = -8*c + 3. Let z be n(5). Let i = 75 + z. Is i a multiple of 9?
False
Let k(a) = -3*a**3 + 8*a**2 - 12*a - 4. Let p(x) = 4*x**3 - 8*x**2 + 12*x + 5. Let w(l) = -5*k(l) - 4*p(l). Let d be w(-9). Is 3 a factor of d/(-3) + (4 - 2)?
False
Suppose -4*y + 5*n = -1058, -4*y + 4*n - 1302 = -9*y. Let p = y + -88. Does 29 divide p?
True
Let y(t) = -t**3 - 3*t**2 + 4*t + 15. Suppose 0 = 2*n + 3*b, -4*b - 2 = 6*n - 3*n. Is y(n) a multiple of 10?
False
Suppose -o + 404 = -3*p + 92, -2*o + 5*p = -624. Is 26 a factor of o?
True
Let j(q) = q**2 + 11*q - 5. 