-75. Is u a multiple of 21?
True
Let f = 96 + -130. Let k = 16 - f. Does 25 divide k?
True
Suppose -2*u + 3*i - 10 = 0, 2*u + 0 = -4*i + 4. Let m be 15/10*u + 3. Suppose 0*j - 5*j + 60 = m. Is 6 a factor of j?
True
Suppose 0 = -3*z - 3*b - 3, -2*z = 2*b - 7*b + 9. Let u(k) = 18*k + 7. Let f(a) = 305*a + 120. Let n(r) = 2*f(r) - 35*u(r). Is 12 a factor of n(z)?
False
Let a be (4 - 3 - -7) + 0. Suppose 4*f = a*f - 348. Suppose 0 = 4*d + 3*i - f, 2*i = 2*d - 5*d + 65. Is 10 a factor of d?
False
Suppose -9 = 3*b + 6, -2*b - 10 = 4*i. Suppose i = 3*u + u - 48. Is 76 - u/(0 - -4) a multiple of 14?
False
Suppose -7*v - 16 = -3*v. Let t be (-32)/(-20) - v/10. Suppose -m + 138 = t*l, -5*m = -5*l - m + 332. Is l a multiple of 34?
True
Let u = -136 - -247. Does 37 divide (u/2)/(60/80)?
True
Suppose 4*s = 4, 4*y = 5*s + 3 - 0. Suppose 28 + 4 = y*m. Is 25 a factor of (-6)/(-16) - (-570)/m?
False
Is 13 a factor of ((-4628)/20)/((-8)/40)?
True
Does 8 divide ((-58240)/200)/(-1 - 12/(-15))?
True
Suppose -5*a + 35 = 2*a. Suppose 3*i + 300 = 5*v, 72 - 12 = v + a*i. Does 12 divide v?
True
Let n = -18 - -16. Suppose 3*g = v - 3*v + 17, 5*g = 2*v - 25. Let b = v + n. Is b even?
True
Let y(f) = 2*f - 36. Let l be y(19). Is 25 a factor of 15/l*440/33?
True
Let d be ((-54)/72)/(1/4). Is 17 a factor of 33 + -13 - d/(-1)?
True
Let k = 26 + -1. Suppose -3*x = 2*b - k, -5*x = -5*b + 193 - 68. Is b a multiple of 5?
True
Let k be ((-81)/(-60) - 15/25)*296. Suppose 2*u + 20 = 4*i, 4*i = 4*u + 11 + 17. Is k/9 + (-2)/i a multiple of 5?
False
Is ((-90)/2)/(25/(-75)) a multiple of 9?
True
Let t = 1904 + -1332. Is 52 a factor of t?
True
Suppose -14*q = -4991 - 4067. Let g = 917 - q. Does 45 divide g?
True
Let j = 13 + -29. Let o(f) = -3*f + 21. Is o(j) a multiple of 23?
True
Let v(o) = o**2 - 8*o - 4. Let f be v(8). Let p be ((-37)/f)/(9/108). Suppose p = 3*z - 0*z. Is z a multiple of 11?
False
Let d(b) = -b**2 - 9*b + 10. Let j be d(-10). Suppose 2*h = 2*i + 143 - 5, j = -4*i + 4. Is h a multiple of 10?
True
Let m(z) = z**3 - 8*z**2 + 13*z - 2. Let u be m(6). Suppose u*k + 575 + 244 = 3*i, -5*i = 3*k - 1336. Is 30 a factor of i?
False
Suppose 17 = -4*f + 25. Suppose o = 3*q + 32, f*q + 12 = -5*o + 223. Is o a multiple of 41?
True
Let l = 1754 + -1145. Does 13 divide l?
False
Does 129 divide -16*(-582)/4 + 3 + -9?
True
Let z = 14 + -4. Let d(i) = -i**3 + 9*i**2 + 8*i - 7. Let g be d(z). Does 2 divide 50/18 + (-6)/g?
False
Let j = 47 - -130. Suppose 2*r = -2*l + 106 + 96, 0 = 2*l - 3*r - j. Is 28 a factor of l?
False
Let i(p) be the third derivative of 1/60*p**5 + 119/6*p**3 + 0 + 0*p - 9*p**2 + 1/24*p**4. Is 15 a factor of i(0)?
False
Let y be 0*((-3)/(-3))/3. Suppose 6*q + 8*q - 1694 = y. Is 15 a factor of q?
False
Suppose 2*h - s - 2 + 1 = 0, -3*s = 3*h - 24. Suppose 530 = h*k + 71. Suppose 5*r = v - 21, k = 6*v - 2*v + 3*r. Is 18 a factor of v?
True
Let g(y) be the second derivative of y**3/3 + 3*y**2 - 7*y. Let h be g(-3). Suppose h*c - 40 = -5*c. Does 3 divide c?
False
Let q(c) = c**3 - 7*c**2 + 7*c + 8. Suppose 5*s = s + 32. Let n be q(s). Let a = n + -32. Is 16 a factor of a?
True
Let f(o) = -3*o**3 - 36*o**2 + 31*o - 24. Let p(n) = n**3 + 18*n**2 - 15*n + 12. Let b(x) = 2*f(x) + 5*p(x). Is b(17) a multiple of 11?
False
Let c(s) = 9*s + 6. Let q be c(-1). Is 12 a factor of 3 + 187 - q - 1?
True
Suppose -3*u - 219 - 189 = 0. Let q = 4 - u. Suppose -5*n + q = -n. Does 7 divide n?
True
Let u = -62 + 63. Is (6/(-4))/u*440/(-33) a multiple of 10?
True
Let o(d) be the first derivative of -1/2*d**2 + 3 + 0*d. Does 4 divide o(-5)?
False
Let g(s) = 2*s**2 + 3*s - 3. Let u(q) = -q**2 - q + 1. Let m(f) = -2*g(f) - 5*u(f). Is m(4) a multiple of 13?
True
Suppose -2*j - 4*o - 32 = 18, -3*j - 47 = -o. Let m = 109 + -75. Let p = j + m. Is 14 a factor of p?
False
Suppose -132*r + 113*r + 38456 = 0. Is 92 a factor of r?
True
Suppose 4*r = -36 + 12. Let b be ((-36)/(-10))/(r/(-15)). Let i(u) = -u**3 + 9*u**2 + 6*u - 7. Is 16 a factor of i(b)?
False
Let g be 10/(25/(-9) - -3). Let h = g - 19. Is h a multiple of 7?
False
Let p be (12/(-16)*4)/((-1)/(-1)). Is ((-66)/(-9))/((-2)/p) a multiple of 3?
False
Suppose 3*f = 8 - 17. Let n be f - (7 + -4 - 14). Suppose -6*t - 30 = -n*t. Is 5 a factor of t?
True
Let i be (-8)/((-352)/140) - (-4)/(-22). Suppose -y = -i*y + 112. Is y a multiple of 28?
True
Suppose -20*l + 11519 + 10081 = 0. Does 40 divide l?
True
Let r(z) = 2*z**2 - 7*z - 4. Suppose 4*o + 14 = -j + 2, 4*j = -3*o + 17. Let c be r(j). Let i = c - 38. Is i a multiple of 10?
True
Let s(r) be the second derivative of r**5/20 + 2*r**4/3 - r**3/3 - r**2 - r. Suppose -10*x - 5*x = 120. Is 5 a factor of s(x)?
False
Suppose -4*o + 1 = -11. Suppose 6*h - h - q = 157, -2*q = o*h - 102. Is 28 a factor of ((-175)/28)/((-2)/h)?
False
Suppose 0 = -63*g + 56*g + 1757. Does 60 divide g?
False
Suppose -4*d + 569 - 209 = 0. Does 18 divide d?
True
Let y = 35 + -31. Let k = y - -16. Is 20 a factor of k?
True
Does 16 divide ((-1 - 0) + 506)*48/80?
False
Let n(b) = -23*b - 38. Let k(g) = g**3 - 6*g**2 + 3*g - 3. Let v be k(5). Does 13 divide n(v)?
False
Let b = 25 + -26. Let z = 7 + b. Suppose -q = 4*k - 157, z*k + q = k + 195. Does 19 divide k?
True
Let k(c) = 10*c**2 + 38*c + 24. Does 6 divide k(-12)?
True
Suppose 0 = -50*f + 68*f - 1728. Is 32 a factor of f?
True
Suppose 0 = -1721*r + 1717*r + 96. Is 18 a factor of r?
False
Is (3 - 4)/(5/(-1145)) a multiple of 9?
False
Suppose 80294 + 28862 = 58*v. Is v a multiple of 81?
False
Let w(s) = -7*s - 20. Let x(h) = 8*h + 20. Let u(m) = -5*w(m) - 6*x(m). Is u(-6) a multiple of 10?
False
Let z(h) = 2*h**2 + 16*h + 19. Let a be z(-7). Let y(j) = 3*j**3 - 7*j**2 + 4*j - 10. Is 24 a factor of y(a)?
False
Let f(z) = z**2 - 8*z + 2. Let x be f(8). Let p be ((-28)/(-3))/x*3. Let k = p - 3. Is k even?
False
Let r = -6416 + 9882. Does 8 divide r?
False
Let z(l) = 0*l**2 - 1 - l**2 - 25*l + 18*l. Is z(-6) even?
False
Suppose 0 = -5*f + 17 - 2. Let p = 16 - 13. Suppose 24 = -f*w + 6*w - y, -9 = -p*w - 4*y. Does 4 divide w?
False
Let x be 3/4 - 63/(-12). Suppose x*v - 4*v - 68 = 0. Suppose -v + 129 = w. Is w a multiple of 11?
False
Let k(s) = 93*s - 6. Let o be k(5). Suppose -8*d - 75 = -o. Does 8 divide d?
True
Suppose -9*o + 2638 = -2897. Does 15 divide o?
True
Suppose -2*g = -35*x + 40*x - 2545, -15 = -3*x. Is 45 a factor of g?
True
Suppose -277 = -5*h + 353. Suppose 4*y = 170 + h. Is 14 a factor of y?
False
Let f = 113 + -49. Does 9 divide f?
False
Suppose -3*z - 4*u + 44 = 0, 2*z + 3*u = -0*z + 31. Let s(j) = -4 + j**3 + 0*j**2 - 4*j**2 - z + 2*j - 2*j**3. Does 7 divide s(-6)?
False
Does 2 divide 3 + ((-418)/55)/(1/(-60))?
False
Let m be -4 + 542 + -4 + 6. Suppose 22*s - m = 18*s. Does 12 divide s?
False
Let g = -18 + 18. Let c(y) = -3*y + 210. Is c(g) a multiple of 35?
True
Let o(v) = -20*v**2 - 35*v + 13. Let t(h) = -7*h**2 - 12*h + 1 + 2 - 3 + 4. Let y(i) = -6*o(i) + 17*t(i). Is 9 a factor of y(-9)?
False
Let k = 3 + 109. Let w be (3/2)/((-12)/k). Let r = w - -29. Is r a multiple of 5?
True
Let a(l) = l**3 + 5*l**2 - l - 9. Let p be a(-5). Let x(k) = k**3 + 7*k**2 + 12*k + 3. Is 2 a factor of x(p)?
False
Let k(d) = -2*d + 26. Let w be k(20). Does 5 divide 1038/42 + (-4)/w?
True
Let h(n) = 115*n - 13. Does 31 divide h(1)?
False
Suppose 2*p = 5*o + 7*p - 135, o - 25 = -3*p. Suppose -6*s = -2*s + o. Let u = 61 + s. Does 21 divide u?
False
Let s be (1 - -2)/((-5)/(-365)). Suppose 3*r - 152 = -4*w + s, 193 = 2*w - r. Let k = 158 - w. Is k a multiple of 11?
False
Let b(i) = 2*i - 2. Let x be b(-4). Let y = 10 + x. Suppose -5*q - 3*w + 32 = 0, 2*w + y*w - 19 = -3*q. Is 7 a factor of q?
True
Suppose -b + 2*r = -7, r = -3 + 1. Suppose 105 = 6*j - b*j. Does 35 divide j?
True
Let n = 98 + -365. Let i = -117 - n. Is i a multiple of 50?
True
Let d(i) = 6*i + 11. Let c be d(-2). Let s(t) = 35*t**2 - 4*t - 3. Is s(c) a multiple of 18?
True
Let a = -341 + 617. Is a a multiple of 12?
True
Is 17 a factor of (8/(-14))/((-8)/2380)?
True
Let h = -74 + -29. Let z = 5 - h. Suppose -2*j = j - z. Is 9 a factor of j?
True
Suppose -11040 = -9*y - 6*y. Is y a multiple of 72?
False
Suppose -2*d = 2*z - 694, 2*z + 356 = d - 0*z. Does 12 divide d?
False
Suppose -16 = -5*m - 1, -4*m + 632 = 5*h. D