multiple of 8?
True
Let w = 18 + -14. Suppose 2*t + 12 = 3*t + w*l, -2*t = 4*l - 16. Suppose -96 = g - t*g. Is 7 a factor of g?
False
Let f be (8 - 4) + (-2 - 25). Let p = f + 23. Suppose p = 2*v + 3*v - 545. Does 25 divide v?
False
Let a(w) = w**3 - 11*w**2 + 5*w + 19. Let q(p) = -6*p - 55. Let z be q(-11). Is 7 a factor of a(z)?
False
Let z(j) = 3*j**2 - 67*j + 487. Is z(8) a multiple of 2?
False
Let d be -1 + (-5)/((-20)/(-12)). Let c(h) = -5*h**3 + 6*h + 14. Is c(d) a multiple of 10?
True
Suppose 0 = k - 4*m - 521, 5*m - 2147 = -12*k + 8*k. Does 23 divide k?
False
Suppose 2*l + 4*d - 579 = 3*d, 2*l - 2*d = 582. Does 29 divide l?
True
Suppose 4*x = -3*c + 9815, 3*x - 3637 = -c + 3718. Is x a multiple of 34?
False
Let x(u) be the third derivative of -u**5/15 + u**4/24 - u**3/3 + 7*u**2. Let k be x(-3). Let t = -23 - k. Is 9 a factor of t?
True
Let o = 15 - 71. Suppose 0 = -29*s + 26*s + 333. Let h = o + s. Is h a multiple of 11?
True
Does 16 divide (0 - 32)/(5/(-12 + 7))?
True
Suppose -4417 = -5*l + 3*k, 3*k - 2*k = l - 883. Does 68 divide l?
True
Suppose d + 1 = 7. Suppose -a = a - d. Suppose 0 = a*l + 2*i - 81, 2*i = -3*l + i + 78. Does 20 divide l?
False
Suppose 1056 = 6*j + 10*j. Is 4 a factor of j?
False
Does 54 divide (-3814)/(-2) + (-17)/272*0?
False
Let t(f) = 2*f + 1. Let q(u) = u**2 - 6*u + 11. Let c be q(5). Let n be t(c). Suppose n - 91 = -3*s. Does 6 divide s?
False
Suppose -5*l + 5 = 15. Let a be -9*(l + 12/9). Suppose -a*z + 112 + 122 = 0. Is z a multiple of 14?
False
Let n = 15 + -10. Suppose 0 = -n*j - 0*j + 15. Suppose t - 180 = -j*t. Is 12 a factor of t?
False
Suppose -5*s = -0*s. Let k(n) = -n**2 - 2*n + 34. Is 7 a factor of k(s)?
False
Suppose -3414 = -7*l - 243. Is l a multiple of 31?
False
Let s = 4 + 572. Does 12 divide s?
True
Suppose 19 = -z + 4*d + 139, 490 = 5*z + 2*d. Does 50 divide z?
True
Suppose 6677 - 461 = 2*m. Is m a multiple of 18?
False
Let j = 3550 - 2398. Is 128 a factor of j?
True
Let o(v) = -2*v + 19. Let i(t) = t. Let z(q) = -4*i(q) + o(q). Is 19 a factor of z(-13)?
False
Is 10 a factor of 28/(-6)*(-4320)/126?
True
Let s(i) = 9*i - 60. Let y be s(19). Is y + 20/4 - -4 a multiple of 12?
True
Let p = -8 - -6. Let d = p + 10. Let t = d + -1. Does 5 divide t?
False
Let y be 21/(-126) + (-314)/(-12). Let m be (-1 + 6)*(-5 - -2). Let c = m + y. Is c a multiple of 11?
True
Let b(c) = -c**2 - 9*c + 10. Let x be b(-11). Let z = x + 15. Suppose 0 = 7*w - z*w - 192. Does 25 divide w?
False
Let g(k) = 238*k - 15. Is g(2) a multiple of 61?
False
Suppose 385 = -5*d - 0*d. Does 18 divide (-528)/d*42/4?
True
Suppose -6*b = -1322 + 194. Is b a multiple of 34?
False
Let m = 330 + 1037. Is 58 a factor of m?
False
Suppose 5*p + 40 = 3*v, 0*p + 4*p + 32 = -v. Is 9 a factor of (p/(-6))/(1/15)?
False
Let f = -1230 + 2418. Is 54 a factor of f?
True
Let p(i) = 2*i**2 + 8*i + 3. Let v be p(-5). Let m = -11 + v. Suppose 0 = -m*d + 5*d - 45. Is 5 a factor of d?
True
Let i(j) = -j**3 - 3*j**2 + 12*j - 1. Is i(-6) a multiple of 7?
True
Let x = 57 - 56. Does 16 divide -3 - -2 - (-70)/x?
False
Suppose -3*s = -3*x - 0*x + 81, 4*x + 3*s = 108. Suppose 4*a = -k + 39, 0 = -k - 2*a + 8 + x. Is k even?
False
Suppose -2*d = -922 - 1638. Is d a multiple of 64?
True
Suppose -8*y + 3*y = -w - 10, -3*y = 3*w - 24. Suppose 9*c - 3*c - 12 = 0. Suppose 61 + 8 = y*x + c*b, x = -4*b + 33. Is 7 a factor of x?
True
Suppose 9*w + 1296 = 15*w. Does 3 divide w?
True
Suppose -16 - 2 = -v. Suppose 4*b - 7*b = v. Is 6 a factor of (16/5)/(b/(-45))?
True
Let h(a) be the second derivative of a**5/20 + a**4/2 - 5*a**3/6 - 2*a**2 - 13*a. Let o be 26/(-4) - (-1)/2. Is h(o) a multiple of 13?
True
Let r(b) = 2*b**2 - 1. Let w be r(-1). Let h be 32 + (-4)/2 + w. Suppose -l - 3*j = -h, -5*j - 101 = -5*l - 2*j. Is l a multiple of 7?
False
Is 14 a factor of 240 + -4 + (-1 - -2 - -1)?
True
Does 42 divide 12/21 + (-17592)/(-84)?
True
Suppose z - 4*t = 402, 0 = 2*z - 8*t + 11*t - 837. Is z a multiple of 4?
False
Let u = 3 - 0. Suppose -u*f - f = -4*g, 2*f = -3*g + 15. Suppose -f*i + 11 + 16 = 0. Is 6 a factor of i?
False
Suppose -30*v - 95 = -25*v. Let o(j) = -7*j + 31. Does 41 divide o(v)?
True
Let s(f) = 9*f**2 + 4*f + 12*f + 2 - 15*f. Let t be s(-1). Suppose 0 = 6*z - t*z + 340. Does 17 divide z?
True
Let j = -88 + 196. Does 3 divide j?
True
Suppose 0 = -6*x + 3*x. Suppose 2*j + 11 + 57 = x. Is j/(-85) + 196/10 a multiple of 9?
False
Suppose 6*t + 5*t = 22022. Is 154 a factor of t?
True
Suppose 4*j - 30 = -3*i, -i + 5*j - 4 + 14 = 0. Suppose -7*d - 63 = -i*d. Is d a multiple of 4?
False
Is (-48)/72*(5*-6)/1 a multiple of 3?
False
Suppose 0 = -4*m + 3*m + 4. Suppose m*q + 0*q + 48 = 0. Is 15 a factor of q/(-8) - (-108)/8?
True
Let j(y) be the second derivative of y**4/12 + y**3/2 - y**2 - 5*y. Let c be j(-8). Let x = 54 - c. Does 6 divide x?
False
Is 4 a factor of (5 - 7) + 1 - (5 + -37)?
False
Suppose 16*i + 4681 = 40473. Does 12 divide i?
False
Suppose 15 = -5*r, 3*n - 2*r = -0*n + 2424. Is n a multiple of 13?
True
Let p(o) = -32*o - 58. Let l(x) = -16*x - 29. Let y(w) = -7*l(w) + 3*p(w). Let h(q) = -3*q - 6. Let g(b) = -11*h(b) - 2*y(b). Is 5 a factor of g(7)?
True
Let y(x) = 2*x - x - 5 + x**2 - 5*x. Let m be y(5). Suppose m = g + 3*g - 156. Does 13 divide g?
True
Let c(h) be the second derivative of -h**5/20 + 2*h**4/3 - 11*h**3/6 + 3*h**2 - 5*h. Let w be (-2 - (-24)/6)*(-2 - -5). Is c(w) a multiple of 3?
True
Let c(g) = -g + 14. Let y be c(-3). Is 136/y*7*3 a multiple of 28?
True
Suppose 24*x = -20*x + 4400. Does 9 divide x?
False
Let x be (-66)/(-4)*184/(-6). Let l = -314 - x. Suppose 2*m + 2*m - l = 0. Is 12 a factor of m?
True
Let c = -264 + 499. Suppose 3*x + 4*o = 164, -5*x + 2*o + c = o. Does 13 divide x?
False
Let k(h) = 2*h**2 + 36*h + 210. Is k(-28) a multiple of 55?
True
Suppose 9*q - 11*q = -8. Let a(x) = 33*x - 18. Is a(q) a multiple of 21?
False
Let c(v) = 69*v**2 + 2*v - 2. Let s be c(2). Suppose 6*r = -24 + 48. Suppose -2*n + y = -89, 4*n - r*y = s - 94. Does 25 divide n?
False
Suppose 21*j - 3288 = 11769. Is j a multiple of 96?
False
Let a be (2/(-3))/((-12)/(-234)). Let q(s) = -s**2 - 11*s + 19. Let l be q(a). Let y(t) = t**3 + 8*t**2 + 7*t + 8. Is y(l) a multiple of 2?
True
Let r(q) = q + 1. Let t be r(-8). Is 3 a factor of (147/t)/(0 + -1)?
True
Let i(o) = -8*o + 22. Let w be i(6). Suppose 0*m = 3*m + 195. Does 13 divide (-5905)/m + (-4)/w?
True
Let q(s) = s**3 - 3*s**2 - 3. Let i be ((-4)/2 + 5)/1. Let c be q(i). Is 14 + (c/1)/1 a multiple of 4?
False
Suppose -1902 = -29*f + 4246. Is f a multiple of 10?
False
Let a(f) = -f - 4. Let q be a(-7). Suppose -3*x + 3 = -5*n + 460, 3*x - q = 0. Is n a multiple of 24?
False
Let b(v) = -21*v**2 + v + 756. Is b(0) a multiple of 60?
False
Let j(o) = -2*o**3 - 17*o**2 - o - 6. Is j(-10) a multiple of 19?
True
Let y(p) = 2*p**3 - p**2 - 2*p. Let z be (-24)/9*9/(-4). Suppose 0*u + 3*u = z. Does 8 divide y(u)?
True
Suppose -4*f = -3 - 1. Let t(m) = -2*m - 8. Let n be t(-6). Suppose -3*q = n*c - 152, -c - f = -3. Is q a multiple of 16?
True
Suppose 6*p = 141 - 459. Let w = p - -167. Is w a multiple of 10?
False
Let j(x) = 3*x**2 + 8*x + 9. Let k = -17 - -9. Let b = k + 2. Is j(b) a multiple of 26?
False
Let c(o) be the third derivative of o**4/24 + o**3 - 15*o**2. Is 7 a factor of c(5)?
False
Let z = -6 - -8. Let l(r) = r**2 - 4*r + 3. Let a be l(9). Suppose 3*k - 14 = -z*m + a, 2*k + 2*m = 38. Is 21 a factor of k?
False
Let n(y) = y**2 + 5*y - 6. Let p be n(-6). Let z(l) = -2*l + 90. Is z(p) a multiple of 30?
True
Let m(d) be the first derivative of d**3 + 2*d**2 - 10*d + 44. Does 8 divide m(-6)?
False
Is 18 a factor of ((-2 - 1) + -2)/((-13)/12675)?
False
Let c(g) = 22*g - 5 - 3 - 32*g. Is c(-13) a multiple of 6?
False
Let d = 5 - 1. Let g be 2/((d/(-6))/(-1)). Suppose -g*x = -31 - 53. Is 7 a factor of x?
True
Suppose -4 - 4 = -8*k. Does 3 divide -1 - (-29 + (-3)/k)?
False
Is 14 a factor of (1 + 7)*(-14)/(-4)?
True
Does 6 divide (9*24)/4*(-16)/(-12)?
True
Suppose 0 = -i - 2*o + 8, i + o = 3*o. Suppose -3*q + c + 8 = q, -3*q + i*c = 7. Suppose 75 = 4*h + d, 8*d - q*d = -5*h + 75. Is h a multiple of 6?
False
Suppose -2*w - 7*n = -4*n - 849, 3*w - 1291 = -n. Is w a multiple of 4?
True
Let w = 2883 + -1899