42 = 74. Let z be (14 - -1)/((-7)/(21/(-9))). Suppose z*p + i = 9*p. Does 14 divide p?
True
Let h be (1/2)/((-19)/(-114)). Suppose 1 = p, -h*r - r + 2*p = -438. Suppose -5*d + r = -40. Is 10 a factor of d?
True
Let w be 2/(-4)*(-4 + -8). Suppose z + b + b - w = 0, 0 = 5*z + 4*b - 18. Suppose 0*u = -z*i + 5*u + 6, 0 = i + 4*u - 3. Is i a multiple of 3?
True
Suppose 0 = -64*x + 63*x + 919. Is 32 a factor of x?
False
Let a(h) = h. Let s be a(-3). Let p be s/((-4)/(-12)*-3). Suppose q - p = 0, -2*u - 4*q + 148 = -0*u. Does 18 divide u?
False
Suppose -j + 13 = -4*x, 5*j = -5*x + 2*x - 4. Is ((-30)/(-4))/(-1*j/(-24)) a multiple of 30?
True
Suppose 197*b - 202*b + 305 = 0. Is b a multiple of 5?
False
Is ((-14)/(-21))/((-4)/(-222)) a multiple of 37?
True
Let f = 37 - 31. Does 7 divide (-728)/(-24) - (-4)/f?
False
Let c(b) = -2*b**2 - b + 5. Let v be c(-4). Let q = -15 - v. Is 4 a factor of q?
True
Suppose 0 = -20*n + 16*n + 16. Suppose -2*p = -n*p + 5*f + 123, -4*f - 264 = -4*p. Is 23 a factor of p?
True
Let w(d) = 5*d**2 + 1. Let r be w(-4). Let p = r + -23. Is p a multiple of 58?
True
Suppose -82 = -p + 98. Is p/12 + (-4)/1 a multiple of 5?
False
Let m = 148 + -146. Let o be (-10)/3 + (-2)/(-6). Is m + -3 + (-219)/o a multiple of 24?
True
Let j = 2606 - 1780. Does 49 divide j?
False
Suppose 45*x = 43*x + 1690. Suppose -4*a + 9*a - x = 0. Suppose 800 = 5*l - 5*j, 2*j + 2*j = l - a. Does 33 divide l?
False
Let v = -325 - -550. Is v a multiple of 25?
True
Suppose 0 = 3*g + 4*x - 569, -g = 14*x - 10*x - 179. Is 2 a factor of g?
False
Suppose 13*w - 14*w = 123. Suppose 0 = 2*c + y - 381, -954 = -5*c + 2*y - 5*y. Let b = w + c. Does 17 divide b?
False
Let g(m) = 34*m**3 - 5*m**2 + 5*m - 6. Is 4 a factor of g(2)?
True
Let n be (2/(-3))/((12/9)/4). Is 3/(30/2522) - n/(-10) a multiple of 18?
True
Let q(k) = 2*k**2 - 3*k + 2. Let z(p) be the third derivative of -p**3/6 - 2*p**2. Let l(w) = q(w) - 4*z(w). Is l(6) a multiple of 12?
True
Suppose 0 = 3*l - 25*b + 30*b - 4441, -l + 1452 = -4*b. Is l a multiple of 23?
True
Suppose d + 2 = 4. Let l be ((-2)/(-5))/(d/(-30)). Is 11 a factor of (l/2 + 2)*-43?
False
Suppose 18*y = -2*y + 6160. Does 7 divide y?
True
Let i(r) = -97*r - 810. Is 5 a factor of i(-13)?
False
Let v = 765 + 801. Is 30 a factor of v?
False
Does 11 divide -5 + (-10990)/(-80) + (-6)/16?
True
Suppose -3*s + 10 + 11 = 0. Let g = 9 - s. Is 8 a factor of (-2 - -2) + g + 8?
False
Let z(j) = -j**2 + j - 1. Let x(l) = -l**3 + l**2 - 4*l - 83. Let n(c) = -x(c) - 2*z(c). Is n(0) a multiple of 17?
True
Let q(a) = 8 + 7*a**2 - a**3 - 3 - a + 2. Let u be q(7). Suppose i - 3*d = -u*d + 56, -4*d = -2*i + 112. Is 24 a factor of i?
False
Suppose 13*g + 17*g - 960 = 0. Does 8 divide g?
True
Let j(p) = -p**2 + 8*p + 12. Let t be j(19). Let y = t - -323. Suppose -y = -2*w - 12. Does 15 divide w?
False
Suppose 4*c + s - 5913 = 0, -5*s - 5516 = -5*c + 1869. Does 17 divide c?
False
Suppose 0 = 2*u - 17 + 23, 4584 = 3*d + 2*u. Does 18 divide d?
True
Suppose 2*t = -f + 1561, 3*t + 2*t = -3*f + 3904. Is 38 a factor of t/8 + 15/(-40)?
False
Let s = 330 - -175. Is s a multiple of 5?
True
Let h(s) = -s + 51. Does 5 divide h(-5)?
False
Suppose 28*a - 23958 - 2418 = 0. Does 44 divide a?
False
Suppose -4*b + 7*b = 507. Suppose -b = -2*a - 49. Does 10 divide a?
True
Let p be (-2)/11 + (-1200)/(-66). Let y(l) = 10 - 8*l - 30 + p. Is y(-6) a multiple of 16?
False
Suppose 4*b + 5*t - 825 = 0, 0 = 5*b - t + 106 - 1159. Is 15 a factor of b?
True
Suppose 0 = 14*c - 27330 + 5392. Does 77 divide c?
False
Let v = -43 + 48. Does 9 divide 44 + v/10*-6?
False
Does 5 divide (1 + 9/(-4))/(8/(-32))?
True
Let q = -16 - -36. Suppose -5*h - q = -h. Let x(g) = -g - 3. Is 2 a factor of x(h)?
True
Suppose -10880 = -33*u + 13*u. Is u a multiple of 8?
True
Suppose 7*g + 66 = 4*g. Let t = g - -33. Suppose 2*c - 2*j - t = 3*j, 25 = c + 4*j. Does 5 divide c?
False
Let z(c) = 69*c - 195. Does 85 divide z(25)?
True
Let u be (6 + -2)/(2/(-5)). Let r be 40/u*1*-2. Is 24 a factor of 32/((-7)/((-84)/r))?
True
Let l(g) = -6*g + 105. Is 47 a factor of l(-6)?
True
Let c(z) = z - 3. Let o(n) = n**3 + 11*n**2 + 11*n + 15. Let r be o(-10). Let s be c(r). Suppose -s*v = 3*v - 10. Is 2 a factor of v?
True
Let w be 52/10 + 5/(-25). Suppose w*a + 0 = 20. Suppose 2*t = a*v + 12 + 4, 3*t + 5*v = 24. Is t a multiple of 4?
True
Let m = 819 + -419. Is m a multiple of 17?
False
Let j = 29 + -26. Suppose -15 = -6*d + j. Suppose -2*q - 7 = -d*q. Is q even?
False
Suppose 5*w - 223 = 377. Let r = -72 + w. Let p = r - 18. Does 10 divide p?
True
Let m(c) = -12*c + 13. Let n(a) = 6*a - 6. Let h(d) = -3*m(d) - 7*n(d). Is 5 a factor of h(-4)?
False
Suppose -4*c + 8865 = 5*l, c - 8*l = -4*l + 2190. Is 13 a factor of c?
True
Suppose 7*r - 8 = 3*r. Let b(j) = -5*j**3 + 4*j + 14 + 2*j**3 - 12*j**r + 2*j**2 + 4*j**3. Is b(10) a multiple of 18?
True
Let z be ((-22)/(-4))/((-1)/2). Let f = z + -27. Let p = f - -82. Is 13 a factor of p?
False
Suppose 13*w - 14*w = 33. Is 8 a factor of (-2)/3*w - (1 + -3)?
True
Suppose 6*q - 27 = q - 4*d, -4*q + 4*d = -36. Let f = -15 - q. Let o = f + 44. Is 22 a factor of o?
True
Let z be 6/(-9) - (-28)/(-3). Let o be z + 9 + 0/(-2). Does 6 divide 13/2 - o/(-2)?
True
Let m(u) = -9*u**2 + 5. Let f(w) = -4*w**2 + 2. Let s(n) = -7*f(n) + 3*m(n). Is 8 a factor of s(-10)?
False
Let j = 403 - 164. Let p = j - 132. Is 15 a factor of p?
False
Let n be 76 + (-3 - 4/(-1)). Let h = n - -30. Is h a multiple of 24?
False
Let k(l) = 41*l**3 + l. Let z be (8 - 3)*(1 - -1). Suppose 6 = -4*f + z*f. Does 7 divide k(f)?
True
Let t = 4 - -6. Suppose -4*l = -2*y - t, -5*y = 4 - 19. Suppose -2*z = l*p - 40, 5*p + 0*z + z = 47. Is p a multiple of 2?
False
Let l(v) = 48*v + 200. Is 73 a factor of l(8)?
True
Does 7 divide (-75)/200 + (-16578)/(-48)?
False
Let r(t) = -t**3 + t**2 - t + 9. Let z be 0/((3 - 3) + 1). Let h be r(z). Does 9 divide h*(-4 + 1 + 9)?
True
Let u(j) = -59*j - 55. Is 23 a factor of u(-26)?
False
Suppose 0 = -2*l - 9 - 1, 0 = -2*p + 4*l + 46. Let t(g) = g**2 - 8*g - 17. Let r be t(p). Suppose -u = u - r. Is 9 a factor of u?
False
Let h(j) = j**2 + 4*j + 3. Suppose -i - i = 6. Let l be h(i). Suppose 5*t - 6*t + 4 = l. Does 4 divide t?
True
Suppose -5*f = -0*i + 5*i - 90, 0 = 3*i + f - 46. Is i a multiple of 7?
True
Let s(b) = -3*b - 19. Let t be s(-7). Let j = t + 7. Is 3 a factor of j?
True
Suppose 4*q + 5*v - 4019 = 0, -121*q + 4*v = -116*q - 5034. Does 42 divide q?
False
Let r be (344/4 + -2)*1. Let c = r - 44. Does 20 divide c?
True
Let i(h) = 2*h**2 - 17*h - 9. Let g be i(18). Suppose 2*a - g = -49. Is a a multiple of 11?
False
Suppose 0 = -3*f, -3 = 3*k - 4*k - 2*f. Suppose -2*g = -k*o + 434, -4*o - 6*g = -2*g - 592. Does 23 divide o?
False
Does 25 divide -2 - 712/((-7)/7)?
False
Suppose -5*z = 5*n - 295, -4*n - 4*z - 250 = -9*n. Does 18 divide n?
True
Let s(y) = -4*y - 3. Let b(h) be the second derivative of 2*h**3/3 + 3*h**2/2 + 6*h. Let k(g) = 3*b(g) + 4*s(g). Is 15 a factor of k(-13)?
False
Let h(j) = -j**3 - 7*j**2 - 6*j + 2. Let s be h(-6). Let l be 156/42 + s/7. Suppose 3*b - l*b + 50 = 0. Does 13 divide b?
False
Suppose 5*i - 442 = 4*i. Is i a multiple of 17?
True
Let u = -211 - -625. Is 9 a factor of u?
True
Let w(g) = -3*g - 9. Let f be w(-6). Suppose -32 = 4*j - 3*b, -b + f = -0*j - j. Is (-490)/(-25) + (-2)/j a multiple of 6?
False
Suppose -5 = x, x - 1 = b + 2*b. Let y = b + 13. Suppose -3*s = -y + 5. Is s a multiple of 2?
True
Suppose -c - 6 = -4*j + c, 0 = -4*j - c + 21. Let r(g) be the first derivative of g**2/2 - g - 2. Does 3 divide r(j)?
True
Let q(k) = -k**2 + 3*k + 3. Let n(l) = -l - 2. Let m be n(-5). Let t be q(m). Suppose 60 = t*a - 18. Does 18 divide a?
False
Let g be (23 + 0)*9 - 2. Let k = -120 + g. Is k a multiple of 5?
True
Suppose 0*d + 135 = 3*d. Suppose -n = -20 - d. Is 24 a factor of n?
False
Let m be (4/(-6))/((-10)/75). Let g be m/((-10)/4) + 6. Suppose g*x - 76 - 48 = 0. Is 12 a factor of x?
False
Suppose 7 = 2*b + 25. Let x(n) = -5*n + 9. Let c(y) = -9*y + 19. Let d(a) = 3*c(a) - 5*x(a). Is 6 a factor of d(b)?
True
Let s be 3*51/27 + 2/(-3). Suppose 5*n = -s*b + 125, 0 = -5*n + 5*b - 3*b + 90. Is 3 a factor of n?
False
Suppose 3*g - 26 = 25. Let f = 21 - g. Suppose f*