b be r(13). Suppose y = f - b, -2*f + 36 = f + y. Is f a multiple of 3?
True
Let b(f) be the first derivative of 13/2*f**2 + 8 - 5*f. Does 10 divide b(6)?
False
Suppose 1424 = 27*t - 4516. Is t a multiple of 10?
True
Let j = -8 + -22. Is (1*j + 4)*-1 a multiple of 13?
True
Suppose 2903*f - 2896*f = 16905. Is 10 a factor of f?
False
Suppose -4*x = 2*c - c + 1, 0 = c + x + 4. Let m(o) = -9*o - 21. Does 9 divide m(c)?
False
Suppose -3*a - 830 = -7*a + 2*j, 623 = 3*a - j. Is a a multiple of 13?
True
Let h(i) = 37*i + 143. Is h(19) a multiple of 47?
True
Let g = -4 - -8. Suppose g = -6*i - 8. Is i/(-4) - 170/(-4) a multiple of 30?
False
Let y(i) = -i**3 + 9*i**2 - 3*i - 2. Let p be y(8). Suppose -368 = -14*b + p. Is 5 a factor of b?
False
Let u = 593 + -153. Is 22 a factor of u?
True
Let a(t) = 2*t**2 + 8*t + 3. Let s be a(-6). Suppose s = l + 2*p + 3*p, -4*p - 164 = -5*l. Is 10 a factor of l?
False
Suppose 3*r - 9 = 57. Suppose 3*p - 32 = -5*t + r, -t = -p - 6. Is t a multiple of 3?
True
Let m = 42 - 42. Suppose m*y - 2*y = -8, 5*j = y + 211. Is j a multiple of 8?
False
Let f be (15/(-6))/(4/(-80)). Let h = f + 178. Does 25 divide h?
False
Suppose 5*l = -12*l + 1836. Is 18 a factor of l?
True
Let t = 61 - -72. Is t a multiple of 63?
False
Suppose -b = -4*y + 4*b - 1, -3*y - 7 = -5*b. Let u(t) = -t**3 - 4*t**2 + 25*t + 7. Let a be u(-7). Does 6 divide (-128)/(-7) + y/a?
True
Is 42 a factor of (-15)/(-2)*5*(-4872)/(-150)?
True
Suppose -5*t + 423 = l, 2*l = 4*t - 286 - 44. Suppose -15*x + x = -t. Does 6 divide x?
True
Let p(y) = 7*y - 31. Let x be p(5). Suppose 0 = x*s - 215 - 397. Does 12 divide s?
False
Suppose t - 9 = -2*x, 5*x - 6*t + 2*t - 16 = 0. Suppose 2*d - 38 = 2*l, x*d + l + 0 - 86 = 0. Is d a multiple of 15?
False
Suppose -27*l = -16*l - 660. Does 11 divide l?
False
Suppose 3*h - 6 = 6. Is 27 a factor of (-2)/h + (1 - 378/(-4))?
False
Suppose 0 = -2*v - 3*v + 45. Suppose 2*n - 4*w - v - 11 = 0, 3*n - 18 = 2*w. Suppose -8 = n*m - 184. Is m a multiple of 13?
False
Let f(s) = 98*s**3 + 1. Let w(u) = 97*u**3 + u**2 + 1. Let a(x) = 3*f(x) - 2*w(x). Is a(1) a multiple of 33?
True
Let t = -2361 - -2829. Does 18 divide t?
True
Let w(t) = 3*t + 35. Let h(i) = 8*i + 104. Let n(c) = 4*h(c) - 11*w(c). Is 3 a factor of n(0)?
False
Let k be 3/(-5) - (-26)/10. Suppose 4*y - 6*f = -f + 74, -k*f + 46 = 2*y. Is y a multiple of 7?
True
Let l = 1412 - 812. Is 25 a factor of l?
True
Let z(a) = 8*a - 8 - 36*a + 4*a. Does 15 divide z(-9)?
False
Let l be -6 + 6 - -2*1. Suppose 3*x + j - 10 = 0, 3*x - 30 = -l*j + 5*j. Suppose 0 = -x*p + 5*q + 90, p - 22 + 8 = 3*q. Is p a multiple of 9?
False
Let q be (6/(-5))/(33/(-550)). Is 8 a factor of (q/(-25))/(1/(-30))?
True
Suppose 20*n = 36*n - 512. Does 2 divide n?
True
Let k be (6/(-5))/((-54)/(-135)). Is 42/(-7)*10/k a multiple of 4?
True
Suppose -3*m = -37 - 113. Let l be 10/m - 2/10. Let i(k) = k + 16. Is i(l) a multiple of 16?
True
Let b(w) = -8*w. Let u be b(-1). Let i be ((-297)/36)/((-2)/u). Suppose c + i = 4*n - 0*c, 2*c - 14 = -2*n. Is n a multiple of 4?
True
Let b = -1664 - -4832. Does 44 divide b?
True
Suppose -4*f = -2*n - 14, -n + 8 = 2*f + f. Let k(v) = 265*v**2 - v. Let z be k(1). Suppose -f*j + z = j. Does 16 divide j?
False
Let x(w) = -w**3 + 2 + 2*w - 4 + 2*w**3 + 1. Let f be x(1). Suppose -2*o + f = 3*v - 34, -4*v - 32 = -4*o. Is 6 a factor of o?
True
Suppose 11*j - 6*j = 1155. Is j a multiple of 5?
False
Suppose -12 - 4 = -4*w. Suppose 0 - w = -y. Suppose y*b = 3*b + 23. Is b a multiple of 8?
False
Let c = -9 + 0. Let p = c - -7. Is (-4)/p*110/4 a multiple of 11?
True
Suppose -2*f = -4*b - 0*f + 10, -3*b = -5*f + 3. Suppose -3*d + 116 = 2*d - 4*p, -p = 4. Suppose -z = b*z - d. Is z a multiple of 3?
False
Let y = -1272 - -2165. Is 47 a factor of y?
True
Suppose -18*q + 15*q = -15. Suppose x = 5*x - q*n - 411, -5*x + 522 = 2*n. Does 13 divide x?
True
Suppose w - 4*w = -6. Suppose -w*x + 0*x = 0. Suppose x = 3*n - 0*n - 138. Is n a multiple of 11?
False
Let b(n) = -570*n**3 + 3*n**2 + 5*n + 3. Is 11 a factor of b(-1)?
False
Let q(a) = -12*a + 112. Is 10 a factor of q(8)?
False
Let y(g) = -359*g - 403. Does 8 divide y(-6)?
False
Does 24 divide 27621/72 - (-9)/24?
True
Is 78 a factor of (390/25)/((-272)/(-90) + -3)?
True
Let a(j) = -3*j - 3*j + 0*j + 5*j + 8. Let m be a(5). Suppose -y + m*y = 66. Does 19 divide y?
False
Let c = 247 + -64. Does 6 divide c?
False
Suppose 0 = -p + 2*p. Suppose 5*m + p = 5. Let z = 47 + m. Does 24 divide z?
True
Suppose -31*d = -21*d - 57840. Is 49 a factor of d?
False
Suppose -3*b + 481 = 3*t + 2*b, 5*t - 4*b = 740. Suppose 0 = v - 4, -6*p = -2*p + 5*v - t. Is 11 a factor of p?
True
Suppose 5*m - 3*v + 5 = 4*m, m - v = 1. Does 23 divide 3164/21 - m/6 - 2?
False
Suppose 2*n + 424 = 2*t, -2*t - 418 = -4*t - n. Is 20 a factor of t?
False
Suppose -4*g - 26 = -s, 37 = -0*s + 2*s - 3*g. Suppose -s*b + 36 = -10*b. Suppose -y + b + 3 = 0. Is 6 a factor of y?
True
Suppose 0 = 2*j - 2*b - 4, b - 10 = -3*j + 2*b. Suppose 3*s - 26 = j*r - 2*r, -r + 15 = 2*s. Does 4 divide s?
True
Suppose 0 = -10*c + 4530 + 4250. Is c a multiple of 93?
False
Let a = -10 - -1. Let y(p) = p**3 + 11*p**2 + 11*p - 1. Does 31 divide y(a)?
True
Let y = 269 + -167. Does 32 divide y?
False
Suppose 2*f + 32 = 130. Is f a multiple of 8?
False
Let b be (4084/6)/((-20)/30). Does 25 divide b/(-11) + 10/55?
False
Suppose 3*m - 5*t = 3998, m + 5*t + 0*t = 1366. Is 95 a factor of m?
False
Let a(c) = 51*c - 89. Is 15 a factor of a(14)?
False
Let a(m) = m**3 - 12*m**2 + 5*m - 15. Suppose 4*d - 24 + 0 = 0. Let p = d + 6. Is a(p) a multiple of 13?
False
Is 66 a factor of ((-264)/16)/((-1)/24)?
True
Let d = -161 + -309. Let j = -310 - d. Is j a multiple of 8?
True
Suppose 14*s + 55 = 19*s. Suppose s + 1 = 4*u. Suppose -m - 4*i + 93 = 0, 0*m - u*m + 246 = i. Does 12 divide m?
False
Let q(m) = -8*m + 1. Let b be q(-6). Suppose 0 = -4*s + 639 + b. Does 25 divide s?
False
Let o(b) be the first derivative of b**4/4 + 7*b**3/3 + 7*b**2/2 + 12*b + 4. Let s be o(-8). Does 14 divide ((-3)/2)/(3/s)?
False
Is (-565688)/(-496) + (2*1)/(-4) a multiple of 15?
True
Suppose 3*n = -4*k + 348, -9*k - 232 = -2*n - 14*k. Is 4 a factor of n?
True
Suppose -13 = 3*w - y - 33, 0 = 2*y - 8. Let u(s) = -s**3 + 8*s**2 - 12*s - 13. Let f be u(5). Does 17 divide f/(-4) - (-140)/w?
True
Let g(y) = -10*y + 2*y**2 + y**3 + 10 - 2*y**3 + 6*y**2 + 2*y**3. Is 29 a factor of g(-8)?
False
Let u(r) = 183*r - 5. Does 13 divide u(18)?
True
Let f(j) = 2*j**2 + 6*j + 10. Let a be ((-28)/(-20))/((-1)/(-5)). Is f(a) a multiple of 15?
True
Is 35 a factor of 8 - (-3)/(-6)*-1734?
True
Does 47 divide ((-2481)/9)/(21/(-126))?
False
Suppose -2*c + 2 + 0 = v, 0 = 2*v - 4. Let z be (-4 - (-10 - -4)) + c. Suppose 2*u - 22 = -2*p, -2*p + z*u + 4 = -6. Does 8 divide p?
True
Let o be (-4 - -10)*(-9)/(-6). Is 14 a factor of 506/o + (-2)/9?
True
Let h = 0 - 12. Is ((-6)/(-8))/(h/(-384)) a multiple of 12?
True
Let w be 3/2 + 9/6. Suppose 63 = w*u - 21. Does 6 divide u?
False
Let b = 8787 - 6200. Is 51 a factor of b?
False
Let d(s) be the second derivative of -s**5/20 + s**4/4 + s**3/2 + 5*s**2/2 + 4*s. Let q be d(4). Is 7 + 1 - (-2 + q) a multiple of 9?
True
Suppose -3267 + 537 = -6*r. Is 12 a factor of r?
False
Let h(y) = 1 - 15*y**2 + 2*y + y + 17*y**2. Is h(7) a multiple of 15?
True
Let a be 0 - 1 - (-483)/14*2. Let y = a - 33. Is y a multiple of 7?
True
Let y be (3 - 3)*(-1)/(-3). Suppose d - 5 = 4*w - y, 0 = 3*w. Is d a multiple of 5?
True
Let n be (-2 + 1)/(1 + -2). Let c be 19/n - 33/(-11). Suppose -b + 54 = -c. Is b a multiple of 19?
True
Suppose 4*a - 3*a = 0. Let z(y) = y - 20. Let u(h) = -h + 20. Let c(f) = 5*u(f) + 4*z(f). Does 3 divide c(a)?
False
Let m be 0 + 0 + -3 - -5. Suppose 0 = 4*l - m*v - 6, 3*l + 5*v - 21 = l. Is l a multiple of 3?
True
Suppose 306 = 3*x + 9*k, -x + 5*k = 4*k - 86. Does 18 divide x?
True
Suppose 775 = 5*u - 0*u. Suppose 7*q - u = 2*q. Suppose -2*w + q + 9 = 0. Is w a multiple of 20?
True
Suppose -4*d + 5*t + 740 = 6*t, -4*d = -2*t - 728. Does 4 divide d?
True
Suppose 879*l = 881*l - 3060. Is l a multiple of 45?
True
Let p(k) = k**3 + 12*k**2 + 14. Let c be p(-12). Let b(o) = -o**2 + 13*o + 19. Let v be b(c). Suppose -2*n - 2*n + 12 = 0, v*