0 + 58. Is 3 a factor of w(-7)?
False
Let u(g) = g**2 + 5*g - 7. Let b be u(-6). Let d be ((-24)/16)/(b/2). Suppose -4*o + 35 = -2*o + d*k, 20 = 4*k. Does 7 divide o?
False
Let b(o) = -68*o + 327. Is 97 a factor of b(-25)?
False
Let p(w) = -w**3 + 13*w**2 - 9*w - 29. Let c be p(12). Let u(x) = -x**3 + 9*x**2 - 5*x - 3. Is u(c) a multiple of 10?
True
Let j(w) = w**3 + 15*w**2 - 19. Let p(n) = 3*n. Let x(k) = j(k) + 2*p(k). Suppose 0 = 3*h + 33 + 9. Is 31 a factor of x(h)?
True
Let r be 200/(15/3)*26/8. Suppose -4*o = -658 + r. Is o a multiple of 6?
True
Suppose -4*t + 2354 = 5*q - 3*q, 4*t - 4724 = -4*q. Is 19 a factor of q?
False
Let l = -29 - -343. Is l a multiple of 56?
False
Suppose -2*v + 667 = -4*i + 23, v = 5*i + 337. Is 8 a factor of v?
True
Let v(j) = -j + 8. Let n be (3/3)/((-1)/11). Let t = n + 11. Is v(t) a multiple of 4?
True
Let q be -60*(-3 + 9/5). Suppose 0 = 77*s - q*s - 90. Does 6 divide s?
True
Let a = 769 - 425. Is a a multiple of 4?
True
Suppose 5*w + 595 = 220. Is (2 - 16/6)*w a multiple of 17?
False
Let f(p) = 444*p - 396. Is 16 a factor of f(12)?
False
Let r(w) = 3*w**2 - 208*w - 2*w**2 - 14 + 203*w. Does 23 divide r(21)?
True
Let q(w) be the first derivative of -10*w**4 - w**3/3 - w**2/2 - w - 1. Is 6 a factor of q(-1)?
False
Let o(g) = 27*g + 114. Does 47 divide o(0)?
False
Let w(k) = 29*k + 5. Suppose 0 = j - 5 + 1. Let g be w(j). Suppose -11 = -3*h + g. Is h a multiple of 11?
True
Let o(r) = r**3 + 3*r**2 - 5*r - 6. Let s be o(-3). Let w(x) = 9*x - 16. Is w(s) a multiple of 42?
False
Let p(l) = -6*l + 4 + 11 - 9. Let j(m) = 7*m - 7. Let n(g) = -4*j(g) - 5*p(g). Is n(4) a multiple of 2?
True
Suppose 5*v = -4*d + 755, 3*d - 4*d + 4*v = -194. Suppose 26 = 6*l - d. Is l a multiple of 7?
False
Suppose 0 = -5*n - 11*n + 6624. Suppose -5*a + 7*s - 5*s = -711, 3*a = -3*s + n. Is a a multiple of 14?
False
Let p = 299 + -119. Is p a multiple of 25?
False
Let f = 28 + -20. Let z be (8/10)/(f/20). Suppose z*u - 5 = l + 15, -20 = -5*l. Does 12 divide u?
True
Let v = 703 - 324. Is v a multiple of 15?
False
Suppose -3*l - 232 = -5*l. Let y = l + -41. Does 9 divide y?
False
Suppose -2*q = 6, -4*i = -i + 2*q + 12. Does 20 divide (-732)/(-5) + i*(-15)/50?
False
Let r(y) = 75*y**3 - 76*y**3 - 2*y**2 - y**2 - 4 + 5*y. Let z be r(-4). Is 3 a factor of (-26)/z - (-3)/(-12)?
True
Suppose 5*w - 678 = -2*b + 3*w, 5 = -w. Is 8 a factor of b?
True
Let n(z) = z**3 - z**2 - 2*z + 2. Let x be n(2). Suppose 2*k - 9 + 3 = 0. Suppose -4*j + x*y + 147 = k*y, 4*y = 5*j - 189. Is 10 a factor of j?
False
Let j(g) = -g**3 - 2*g + 2. Let p be j(0). Suppose -2*a = -p*m - 3*m - 335, 2*a + 3*m = 343. Is a a multiple of 19?
False
Let r(i) be the second derivative of -3*i**2 + 0 - 2*i + 1/12*i**4 + 1/6*i**3. Is r(-4) a multiple of 2?
True
Suppose a + 5*z = 39, 3*a = -0*a + z + 37. Let k = -10 + a. Suppose -4*x = -k*v - 7 - 21, -9 = 3*v. Is 3 a factor of x?
False
Suppose 13*r - 392 = 6*r. Is 10 a factor of (-6)/(-9) + r/6?
True
Is 35 a factor of (-1025)/(-205) - (-604 + 1*-1)?
False
Let i be 894/42 - 2/7. Let o = 2 + i. Is o a multiple of 5?
False
Suppose 5*t = -4*p + 10056, -4*t + 10376 = -5*p + 2364. Is 14 a factor of t?
False
Let u(x) = x**2 + 9*x + 23. Let s be u(-5). Let g = 26 - s. Does 2 divide g?
False
Let f(n) = 4*n**3 + 8*n**2 - 3*n - 9. Is 9 a factor of f(3)?
True
Let c(y) = 2*y**3 + 8*y**2 - 8*y + 21. Does 33 divide c(6)?
True
Let w(r) = -r + 12. Let j be w(8). Suppose 0 = -2*p + j*p - 16. Is p a multiple of 3?
False
Suppose -7*g = 8811 - 26661. Does 30 divide g?
True
Does 15 divide (624/3 - 7) + -6?
True
Let s(q) = 4*q - 8. Let r be s(3). Suppose -38 = -d + l, 0 = 3*d + r*l - 3*l - 106. Does 9 divide d?
True
Suppose 7*z - 2*z = -5*x + 1620, -5*x - 306 = -z. Does 14 divide z?
False
Let m = -20 + 33. Suppose 0 = 11*i - m*i + 102. Does 23 divide i?
False
Suppose -3*c + 2*w + 41 = -65, 0 = -4*c - 4*w + 148. Does 8 divide c?
False
Suppose -5*k - 2*x = -9398, -3*k + 5642 = -16*x + 14*x. Is k a multiple of 94?
True
Suppose -2530 = -3*l - i, -9*i = 3*l - 11*i - 2518. Is l a multiple of 76?
False
Suppose -4*u + 847 = -3*i, -u + 4*u = -3*i + 630. Does 51 divide u?
False
Suppose 522 = 2*x - 798. Does 18 divide x?
False
Suppose -4*l + l + 42 = -2*r, 4*l - 60 = 4*r. Let t be l/42 - (-12)/7. Suppose -3*k - b = -74, -3*b + 95 = 4*k + t*b. Does 7 divide k?
False
Let j(x) = 8*x**2 - 21*x + 18. Let w(b) = -3*b**2 + 7*b - 6. Let r(k) = 4*j(k) + 11*w(k). Let t be 19/(-3) - 1/(-3). Is 4 a factor of r(t)?
True
Suppose x = 2*i + 162, 0*x + 3*x = i + 86. Let k = 118 + i. Is k a multiple of 2?
True
Let h(j) = 4*j**3 - 2*j**2 + 2*j. Let a be h(2). Suppose z - 3*z = a. Is z/21 + (-190)/(-6) a multiple of 10?
False
Let n(b) = 15*b + 27. Suppose -6*h + 9 = -9. Does 18 divide n(h)?
True
Let w be (4 - 4 - -9)*9. Does 20 divide 2*(2 + -4) + w?
False
Let o(z) = -18*z**3 + 2*z**2 - 2*z + 2. Does 41 divide o(-3)?
False
Is 6/48 + (-10635)/(-40) a multiple of 58?
False
Suppose -512 = -2*s + 2*j, 4*s - 463 = j + 570. Is s a multiple of 7?
True
Suppose -772*z - 12936 = -780*z. Is 21 a factor of z?
True
Let r = -189 + 240. Is 6 a factor of r?
False
Suppose r = -o + 257, r + 3*o - 30 = 225. Let a = 368 - r. Does 10 divide a?
True
Does 36 divide (609 - 0) + (53 - 53)?
False
Let q = 18 + -11. Let b(l) = 11*l + 3. Does 20 divide b(q)?
True
Suppose -4*r - f + 9 = -18, 0 = 3*f + 15. Let u(y) = 6*y - 12. Let i be u(r). Let s = 20 + i. Is s a multiple of 21?
False
Suppose 33 = -2*k - 23. Let t = -40 - k. Is t*3/((-27)/24) a multiple of 7?
False
Let i(m) = -10*m - 19. Let r be i(-8). Let w = -31 + r. Is w even?
True
Suppose -4*p + 25 = -3*y, 0 = -5*y + p + p - 65. Is 6 a factor of 29 - 7/(35/y)?
False
Suppose 0 = 1050*r - 1057*r + 9912. Is r a multiple of 12?
True
Suppose -30465 = 47*y - 56*y. Does 11 divide y?
False
Is 2 a factor of 1/(-4) + -150*3/(-72)?
True
Let q(l) = -l - 4. Let h(d) = d + 3. Let y(j) = -3*h(j) - 4*q(j). Let z be y(-3). Suppose x - 4*b = -6 - 3, 0 = -z*x + 4*b + 12. Is x a multiple of 2?
False
Suppose 3*i = -15, -5*m + 58 + 7 = -4*i. Suppose 0 = 14*q - m*q - 650. Is 26 a factor of q?
True
Let f(z) = -z**3 + 25*z**2 - 27*z + 81. Is 9 a factor of f(24)?
True
Suppose 4*t + 64 - 525 = 5*m, -4*m = -3*t + 345. Let y = t - 39. Is y a multiple of 10?
True
Let v = 72 - 60. Is 17 a factor of (2 - -117)*v/14?
True
Suppose 3*b = 2*b - 1, 5*d - 4*b = 79. Let l = d - 10. Suppose k + 5*y = 39, -l*y = -5*k - 143 + 428. Is k a multiple of 27?
True
Let y = -52 - -58. Does 13 divide -6*(-1)/y*22?
False
Does 3 divide (18/(-54))/((-2)/594)?
True
Does 14 divide 636 + -6*(1 + -2)?
False
Let o(g) = -g**3 + 49*g**2 + 99*g - 7. Is 18 a factor of o(50)?
False
Suppose 16*u - 1593 = 151. Suppose 19*d + 107 = 24*d - 3*r, 5*d = r + u. Is d a multiple of 13?
False
Suppose 2*m + 20 = -3*m. Let u = -1 - m. Suppose 5*x = -5*r + 280, -3*x - r + 148 = -u*r. Is 19 a factor of x?
False
Let l be 16/12*1*6. Let h = l + -9. Let w(o) = -58*o. Is w(h) a multiple of 29?
True
Let i be 315/42*8/6. Suppose -3*h - 91 = -6*h - 5*p, -i = -5*p. Suppose -4*v + h = -3*v. Is 8 a factor of v?
False
Let u = -47 + 56. Let x(m) = -m - 1. Let c(p) = -9*p + 23. Let o(t) = -c(t) + 4*x(t). Is o(u) a multiple of 4?
False
Let a be ((-12)/(-8))/3*-2. Let b(y) = -97*y - 1. Let j be b(a). Let l = -32 + j. Is 10 a factor of l?
False
Let q(h) = h - 2. Let a be q(2). Suppose -l = y - 11, a = -4*l + 2*y + 73 + 1. Let t = -14 + l. Is t even?
True
Suppose 11111 = 3*n + 1502. Is 44 a factor of n?
False
Let p(k) = -k**3 - 19*k**2 + 30*k + 94. Is 7 a factor of p(-21)?
False
Let y = 37 - 25. Suppose -20*r + 584 = -y*r. Is r a multiple of 5?
False
Suppose -26*s - 5580 = -38*s. Is s a multiple of 13?
False
Suppose f + 4*k = 8, 4*f + 26 = -f + 2*k. Let s(c) = -6*c - 7. Does 2 divide s(f)?
False
Let u be ((-5)/2)/((-40)/32). Suppose 0 = u*s + k - 110, 2*s + 3*k = -k + 116. Suppose -2*y = -2*d - 28, 4*y - 3*d - s = -0*d. Is 4 a factor of y?
True
Suppose 0 = -5*d + 1 + 9. Let h(q) = q**d + 1 - 5 + 5 + 6*q + 8. Is 9 a factor of h(-9)?
True
Suppose 3*n - n + 4*j - 22 = 0, 5*j - 8 = 4*n. Suppose -5*x - 2*f = -641, n*f = -4 + 13. Is x a multiple of 6?
False
Suppose 0 = -20*m + 1122 + 58. Is 5 a factor of m?
False
Suppose 5*s = -0*s + 10. Let x be s - (-24 