 0. Suppose 6*o - 2*o = c. Is o a multiple of 9?
False
Let u(f) = -f**2 + 15*f + 4. Let r be u(15). Suppose 0 = -6*l + l + 2*x + 392, r*l = x + 316. Is 8 a factor of l?
True
Suppose 3*g = 2*t + 479, -5*g + 799 = -2*t - t. Let c = 275 - g. Is c a multiple of 21?
False
Let x(t) be the first derivative of t**2/2 - 11*t - 1. Let c be x(11). Suppose c = -5*m + 3*j + 214, m + 15 = 5*j + 71. Is m a multiple of 23?
False
Let n(z) = z**2 + 47*z + 615. Is 3 a factor of n(-29)?
True
Suppose -196*w = -184*w - 3924. Is w a multiple of 40?
False
Let x(y) = 3993*y**2 - 5*y + 5. Is 17 a factor of x(1)?
False
Let v(t) = -69*t. Does 39 divide v(-13)?
True
Let g = 292 - 136. Is g a multiple of 12?
True
Let w(f) = f**2 - 7*f - 6. Let n be w(8). Let j be (-27 + 26)/((-6)/4 + 1). Suppose -52 = -4*p + q, j*p - n*q - 32 = -0*p. Is p a multiple of 4?
True
Let x be (-9 - -8)*(-4)/1. Suppose x*l - 7 = -3. Is l/((18/(-44))/(-9)) a multiple of 7?
False
Suppose 16*z - 17*z + 1296 = 3*k, 5*k - 2160 = 5*z. Does 72 divide k?
True
Suppose -7*s - s + 624 = 0. Does 13 divide s?
True
Let w be 208/(-6)*(-3)/(-2). Suppose 3*h - 2*f - 219 = f, 4*h + 4*f = 324. Let i = h + w. Does 7 divide i?
False
Let i(a) = 14*a + 5. Let v(y) = 5*y + 2. Let w(l) = 4*i(l) - 11*v(l). Let o be w(3). Is 11 a factor of 31 - (-3 + 2 - o)?
True
Let u(f) = -103*f + 743. Does 7 divide u(5)?
False
Let r be 9/(-12)*4/8*16. Is (165/(-22))/(r/8) a multiple of 5?
True
Let w be 14/(-77) - -5*1052/11. Suppose 0 = 4*f - 3*c - w, -c = -4*f + 3*f + 120. Does 19 divide f?
False
Let a(h) = h**2 + 2*h - 71. Let f be a(0). Let m = f + 115. Is m a multiple of 11?
True
Suppose q + 87 = -3*z, z - 2 = -4. Does 10 divide 3/(-6) - q*2/4?
True
Let h = 3905 + -1875. Does 15 divide (-3)/27 + h/45?
True
Let s be -1 + -3 + (-126)/(-21). Suppose -2*r - s*n + 0*n + 6 = 0, -4*n = 5*r - 18. Is r even?
True
Suppose -43 = -3*p + 203. Suppose -4*i = -146 - p. Is 19 a factor of i?
True
Let z(p) = 53*p - 109. Is z(16) a multiple of 18?
False
Let i = 1428 - 984. Does 21 divide i?
False
Let a(h) = -h**2 - 7*h - 2. Let z be a(-6). Suppose -s + 5 = 5*v, -30 = -6*v + v + z*s. Suppose 0 = -p + v*f - 6*f + 41, 0 = p - f - 46. Is p a multiple of 15?
True
Let s(t) = 29*t**2 + 14*t + 6. Is 42 a factor of s(-6)?
True
Let c(m) = -3*m**3 - 3*m**2 - 8*m - 1. Is c(-4) a multiple of 25?
True
Let g(n) = n**2 + 9*n + 25. Let h(f) = -1. Let i(s) = g(s) + 5*h(s). Let b be i(-8). Suppose -b = -4*v, 0 = -2*x - v - v + 136. Is 13 a factor of x?
True
Let p(r) = 6*r + 5. Let m(a) = 96*a + 81. Let u(i) = -2*m(i) + 33*p(i). Does 7 divide u(5)?
False
Suppose 3*q = 3*n + 6 - 24, 20 = 5*q + 5*n. Let f be -7 + 7 + (1 - q). Does 20 divide 166/f + (9 - 12)?
True
Suppose 13 = -3*d + 31. Let b(g) = 3*g**2 - 3*g - 5. Let q(l) = 6*l**2 - 7*l - 9. Let m(i) = d*q(i) - 11*b(i). Does 19 divide m(6)?
False
Let k(p) = p**2 - 8*p + 15. Let i be k(3). Suppose -8*h + 4 + 20 = i. Is h a multiple of 3?
True
Let i(l) = l**3 + 2*l**2 - l - 2. Suppose w + 3*h + 2*h = 8, -5*w + 3*h = 16. Let j be i(w). Does 18 divide 85 + j + 1/1?
False
Let i(f) = 32*f + 289. Does 10 divide i(-6)?
False
Let a = 2171 - 1303. Is 21 a factor of a?
False
Suppose 2*z + 2*m = 3 - 11, -z - 10 = 4*m. Let b be ((-105)/6)/1*z. Let w = -16 + b. Does 19 divide w?
True
Suppose 6*v - 10*v + 52 = 0. Let h = -11 + v. Is h a multiple of 2?
True
Let y(r) = r - 7. Let x(k) = k - 6. Let m(p) = -6*x(p) + 5*y(p). Let l be m(-2). Suppose -66 = -l*j + j. Is 11 a factor of j?
True
Is 14 a factor of 4*(7 - 21)*22/(-4)?
True
Let j(q) = 3*q**3 - 3*q**3 - 11*q - 5 + q**3 + 0*q**3 + 6*q**2. Let k be j(-7). Is k + (2 - -1) - 0 a multiple of 11?
False
Let q(g) = g**2 + 3*g + 2. Let v be q(5). Suppose m - v - 17 = 0. Suppose 0 = 4*d + 2*u - 126, u = 3*d - m - 28. Is 5 a factor of d?
True
Suppose -9*m + 8*m = -68. Let v = -48 + m. Is 10 a factor of v?
True
Let g(u) be the first derivative of 3*u**4/4 - 2*u**3/3 + u**2/2 + u - 11. Is 7 a factor of g(3)?
False
Suppose -3*w + 4 = -l, -w - l + 7 = 3. Suppose 0 = -2*u - w*q + 456, u = -5*q + 71 + 149. Is u a multiple of 23?
True
Suppose 17 = -5*k + 52. Suppose -5*i + 5 = -5*t, i + 0 + k = 5*t. Suppose 0*h + h = -i*w + 70, 25 = -5*h. Does 8 divide w?
False
Let y(s) = 18*s**2 + 3*s + 73. Is y(-10) a multiple of 19?
True
Let a = 1974 - 1794. Is 15 a factor of a?
True
Is 18 a factor of 1/(2/(-39)*2/(-36))?
False
Let j(k) = 3*k - 24. Let y be j(10). Suppose 2*v + 5*l - y = 0, -10 = -3*v + l - 1. Suppose -5*t = v*r - 145, t - 4*r - 6 = -0*r. Does 8 divide t?
False
Suppose 30*o - 29*o = -4*t + 820, 0 = 5*o - t - 4205. Is o a multiple of 6?
True
Let k(g) = -89*g**3 + 4*g**2 + g + 4. Let y be k(-3). Is (y/(-650) - (-4)/26)*-10 a multiple of 9?
True
Let x be 0 + (2 - 2) - -3. Suppose 0 = -g - x, 0 = 5*y + g + g - 54. Is 3 a factor of y?
True
Let q(h) be the first derivative of 5*h**2/2 + 5*h + 5. Let l be q(13). Suppose -2*c - l = -7*c. Is 7 a factor of c?
True
Suppose o + 3944 = 3*f, 4*f - 5252 = -2*o - 0*o. Is f a multiple of 6?
True
Suppose 2*z + 52 = 3*l + 2*l, 3*z - 47 = -5*l. Let r be ((-24)/(-7))/(1/14). Suppose -6*u = -l*u + r. Does 4 divide u?
True
Let c(b) be the third derivative of 3*b**4/8 - 5*b**3/6 + 12*b**2. Does 11 divide c(3)?
True
Let k(b) = -b - 1. Let a(f) = 4*f - 3. Let o(s) = a(s) + 3*k(s). Let l be o(6). Suppose 236 = 5*r + 2*z, 0*z - 2*z - 4 = l. Is 25 a factor of r?
False
Suppose -20*s - p + 4489 = -17*s, -3*s = -2*p - 4477. Is s a multiple of 65?
True
Suppose -18 = -2*l + z, 3*l - 2*z = -0*z + 26. Suppose 2 = 4*t - l. Suppose 0 = b - 5 - t. Is b a multiple of 5?
False
Let z(y) = 56*y - 228. Is z(19) a multiple of 44?
True
Let d(y) = y**3 + y**2 + 35. Let c be d(0). Suppose -3*o - 36 = 3*q, -43 = 3*q - 4*o + 28. Let z = q + c. Does 6 divide z?
True
Let j(b) = 3*b**3 - 21*b**2 + 25. Let k(h) = 7*h**3 - 42*h**2 + 49. Let m(c) = 5*j(c) - 2*k(c). Is 20 a factor of m(21)?
False
Suppose 156*u = 139*u + 24718. Does 13 divide u?
False
Let b(h) = -112*h**2 + 8*h - 2. Let o be b(2). Let y = o - -644. Is y a multiple of 30?
True
Let w = 5 - -708. Does 23 divide w?
True
Suppose 0 = -19*s + 1404 + 1655. Does 15 divide s?
False
Let o be (-2 + (-5)/(-3))*-27. Let h be (-82)/(-4) + o/(-18). Suppose 0 = -h*x + 18*x + 152. Is x a multiple of 24?
False
Let s be (-1)/(-4) + 140/16. Suppose -4*l - 3*a - s = -l, -5*a - 35 = -5*l. Suppose -147 = -z + f, 0 = -5*z - l*f - 239 + 1009. Is 33 a factor of z?
False
Suppose -h - 25 = -6*h. Suppose -h*k = -o - 3*o + 2, -k - 5*o = -17. Suppose -25 - 60 = -2*m - z, 87 = k*m + 3*z. Does 12 divide m?
False
Let v be (-752)/144 + 4/18. Is (-2 + 0)*(-10 - v - -3) a multiple of 3?
False
Let h(l) = -l**2 + 32*l - 75. Let u be h(27). Suppose 5*y = 0, -4*y = -4*t + 5*t - u. Is 5 a factor of t?
True
Suppose 0 = b + 5*o + 23, 3*o = 2*b - 0*b - 19. Suppose 7 = -5*p + d + 37, -15 = b*p + 5*d. Suppose 4*l = p*v + 263, -v + 365 = 4*l + l. Does 24 divide l?
True
Let x(h) = -8*h + 8. Let d be x(4). Let u = d - 28. Let m = u - -73. Is 10 a factor of m?
False
Suppose -6*v = -14*v. Suppose 4*x - 9*x + 720 = v. Does 16 divide x?
True
Let s be 0*(0 + 4/8). Suppose -7*k + 170 - 30 = s. Is k a multiple of 4?
True
Suppose 5*h - 65 + 15 = 0. Let p be 538/3 + 4/6. Is 21 a factor of ((-84)/h)/((-24)/p)?
True
Let c(f) = 42*f**3 - 5*f**2 + 5*f - 1. Does 18 divide c(2)?
False
Suppose -2*o = 4*d - 7 - 1, 5*d - 2*o = 1. Let s be 45/(-27)*(-3)/d. Suppose t - 46 = -s*f, 3*t - 26 = 2*t + 5*f. Does 12 divide t?
True
Let z be 18/81 + 1166/18. Let b be (-88)/(-5) - (-26)/z. Is 4 a factor of b*((-5)/2 + 3)?
False
Does 17 divide (6 + -7)*2440/12*-3?
False
Let t(f) = 7*f**2 + 11*f + 81. Does 59 divide t(-11)?
False
Let m = 48 - -18. Suppose 5*o - m = 129. Is 7 a factor of o?
False
Suppose 15*w - 10074 - 15246 = 0. Is w a multiple of 17?
False
Let u(k) = -k**2 + k + 540. Let x be u(0). Suppose 0 = -3*m + 9*m - x. Is m a multiple of 30?
True
Suppose 4*o = 4*i - o - 1483, o = i - 370. Is 33 a factor of i?
False
Suppose 5311 = 25*o - 9939. Is 5 a factor of o?
True
Let w = -12 + 22. Is w - 1*6/(-3) a multiple of 4?
True
Suppose -5*p = 10, 0*f - 4*f - p = -26. Let y = 217 - 228. Let s = f - y. Is 16 a factor of s?
False
Let u be (-17 - -18) + -1 + -372. Does 19 divide (-14 - -12) + u/(-2)?
False
Let v(q) = 