 - 10. Suppose -a*o + 151 = -5*x, 4 = 3*o - 2*x - 132. Is 7 a factor of o?
True
Let t be (-113 - 2)*2/(-5). Suppose t*y - 312 = 44*y. Is 28 a factor of y?
False
Suppose -15*v + 18*v = 78. Let r = 1 + -1. Suppose t = -5*i + 198, -2*i + 3*t + 43 + v = r. Is i a multiple of 10?
False
Suppose 3*i - 5*b - 85 = 0, 4*b + 83 = 5*i - 2*i. Suppose -g + 5*k = -i, 0*g = 3*g + 3*k - 93. Suppose 30 = 5*r - g. Is 4 a factor of r?
True
Let r(l) = -l**3 - 6*l**2 + l - 6. Let x be r(-6). Is (-10)/((-4)/(32/x))*-6 a multiple of 10?
True
Let b = 5 - -19. Is 11 a factor of (36/b)/((-3)/(-66))?
True
Let j be (18 - 0)*(-4)/6. Let t = j - -12. Let p(q) = q**2 - 2*q + 27. Does 9 divide p(t)?
True
Suppose 0 = -4*k - 2*j, -2*k = 4*j - 3 + 15. Let p(z) = -9*z - 50. Let s be p(-6). Suppose s + k = q. Does 4 divide q?
False
Suppose 16 = 5*l - 2*d, 2*d - 5 = 4*l - 19. Suppose -f = -l*f + 3. Suppose -17 + 161 = f*v. Is v a multiple of 16?
True
Suppose 0 = -0*k - 4*k + 3*s + 23, 0 = k - 3*s - 8. Let b(p) = 7*p + 14. Is b(k) a multiple of 19?
False
Let y be ((-408)/9)/((-6)/27). Suppose 27*c - 30*c + y = 0. Is c a multiple of 34?
True
Suppose -18*c = -19178 - 54244. Is c a multiple of 13?
False
Suppose -v - 6 = -8. Suppose p - 4*r - r = 651, -4*p = v*r - 2670. Does 24 divide (-2)/8 + p/8?
False
Suppose -17 = -a + 9. Suppose -2*k + 0*k = -a. Does 13 divide k?
True
Let f(g) = -g**3 - 3*g**2 - 8*g. Let w(m) = -m**3 - 3*m**2 - 8*m + 1. Let c(z) = -4*f(z) + 5*w(z). Is 52 a factor of c(-4)?
False
Suppose -52 - 38 = 5*r. Let f be ((-12)/9)/((-4)/r). Does 4 divide ((-96)/(-9))/(f/(-9))?
True
Let x(f) = f**2 + f - 1. Let a(v) = -7*v**2 + v + 9. Let r(t) = a(t) + 6*x(t). Let b be r(7). Suppose q - 19 = -3*p, -18 = -3*q + 3*p + b. Is q a multiple of 3?
False
Let o(m) = -m**2 + 17*m - 8. Let p be o(16). Does 5 divide 1/(-2) - (-244)/p?
True
Let a(b) be the third derivative of -b**4/8 + 3*b**3/2 - b**2. Suppose -2*m - 22 = 4*z - 4*m, -4*m = 4*z + 16. Is a(z) a multiple of 4?
True
Let a = -6 + 8. Suppose 0 = 4*m - a*c + c - 13, 0 = 2*m - 5*c - 11. Suppose 0*q + q = -4*n + 54, -m*n - 155 = -5*q. Is 17 a factor of q?
True
Let c(a) = 25*a**2 - a + 1. Let f(o) = o**3 - o**2 + o + 9. Let n be f(-3). Let p = n - -31. Is c(p) a multiple of 3?
False
Let f = 8 + 4. Is (f - 5)*(-27)/(-3) a multiple of 21?
True
Suppose c - 5*u - 128 = 32, 2*c - u - 329 = 0. Is c a multiple of 5?
True
Is ((-452)/10 + -2)/(16/(-1120)) a multiple of 14?
True
Suppose 49977 = 16*m + 13321. Is m a multiple of 39?
False
Let g be (-2)/(2/(-3)) + 0. Suppose 4*d - 55 = 1. Suppose -d + 68 = g*i. Is i a multiple of 9?
True
Suppose 164 + 12 = 4*n. Let h(x) = -x**2 - x - 19. Let m be h(0). Let r = m + n. Does 11 divide r?
False
Let o be 4*34*(-30)/40. Let j = 120 + o. Is j a multiple of 2?
True
Let o = 36 - 17. Suppose -6*p = -149 - o. Is p a multiple of 4?
True
Suppose -7*v + 144 = -4*v. Does 5 divide (-6*1)/((-36)/v)?
False
Let i be (-12)/8 + 1562/(-4). Let n = -269 - i. Suppose 3*u - 50 - n = 2*f, -3*f + 242 = 4*u. Does 12 divide u?
False
Does 18 divide -44*(-2)/((-16)/(-36))?
True
Let y(c) = 66*c**2 - 32*c + 160. Is 64 a factor of y(4)?
True
Let m = -2567 - -2975. Does 12 divide m?
True
Suppose 5*s - 9 + 14 = 0. Let t = 3 - s. Suppose -3*q + 2*v + 16 = -115, -98 = -2*q - t*v. Does 15 divide q?
True
Let s = 48 + -49. Is (s + 2)/(24/456) a multiple of 19?
True
Let p = -10 + 26. Suppose p = -4*h + 8. Does 13 divide 3/((-3)/(-25)) + h?
False
Let u = -2 - -3. Let c be u/3*(-6 - -21). Suppose -c*s - 3*w = -149, -2*s - 3*w = -w - 58. Does 31 divide s?
True
Let q = -577 - -350. Let n = q + 362. Is 45 a factor of n?
True
Suppose p + 81 = 3*l, 0*p = -3*l - 2*p + 90. Is 4 a factor of l?
True
Let g(j) = j**3 - 7*j**2 - 8*j - 12. Let i = 13 - 6. Let l be 61/i - 20/(-70). Is 13 a factor of g(l)?
True
Suppose 40*r - 36*r - 16640 = 0. Does 29 divide (-2)/(-3) + r/24?
True
Let c(g) = 2*g**2 - 13*g + 200. Does 60 divide c(11)?
False
Suppose -7*l + 5*l - 8 = 0, 4*t - 428 = 2*l. Is 3 a factor of t?
True
Let m(z) = z**2 - 16*z - 35. Let g(a) = a**2 - 9*a + 19. Let o be g(9). Does 11 divide m(o)?
True
Suppose -3 - 3 = -4*d - 2*v, -d + 9 = -2*v. Suppose 212 = x + d*x. Let y = x + 4. Is y a multiple of 19?
True
Let g(x) = 14 - x**2 - 8 + 2*x**2 + 2*x. Let b be g(0). Suppose 0 = b*a - a - 185. Is a a multiple of 9?
False
Suppose 93*m - 48 = 92*m. Suppose -x + 146 = m. Is 14 a factor of x?
True
Suppose 9 = -3*c, 3*c + 6953 = 4*j - 5180. Is j a multiple of 18?
False
Let k(g) = 80*g - 163. Let n(a) = -40*a + 81. Let v(c) = 4*k(c) + 7*n(c). Does 9 divide v(7)?
False
Let d(f) = -f**3 - 9*f**2 - 4*f + 14. Let x be d(-8). Is 18 a factor of 2/15*933 + x/(-30)?
False
Let p = -11 + 21. Suppose 6*a - 4*a - p = 0. Is 6 a factor of 15/(-6)*(-12)/a?
True
Let k(r) = -r**3 + 27*r**2 + 58*r - 19. Is 17 a factor of k(27)?
True
Let u(n) be the second derivative of 5*n**3/6 + n**2 + 11*n. Let w be u(-1). Let j(h) = -2*h**3 - 2*h**2 - 3*h - 6. Is j(w) a multiple of 8?
False
Let t = 648 + -377. Let i = t - 142. Is i a multiple of 44?
False
Let c be 31 - (1 + 0/3). Let v = 78 - c. Suppose -4*z + 0*z + v = 0. Does 3 divide z?
True
Is (3/(-6))/((-505)/(-170) - 3) a multiple of 2?
False
Let v be (-10)/(4 + 1) - -437. Suppose 3*k = -5*d + 2*k + v, -5*k + 111 = d. Is d a multiple of 19?
False
Let p(w) = 3*w**2 - 4*w + 3. Let a(o) = -o**2 + 5*o - 4. Let x be a(3). Let n be p(x). Let u = n + 41. Does 16 divide u?
True
Suppose 41*i = 55*i - 7056. Is 18 a factor of i?
True
Let v be -5 + 5*20/25. Does 13 divide ((-553)/14)/(v/6)?
False
Suppose -3*m + 12840 = -3*z, -101*z - 17104 = -4*m - 105*z. Is 15 a factor of m?
False
Is (4 + 8241/(-9))*(-81)/45 a multiple of 92?
False
Let m be 3 - -4 - 3/(-1). Suppose 6*r - m = 4*r, -5*s - 5*r + 50 = 0. Suppose 19 = -0*t + 3*t + 2*k, t - 28 = -s*k. Is t a multiple of 3?
True
Suppose -10 = -o - 15. Does 11 divide 14/70 + (-219)/o?
True
Let n(s) = 113*s**2 - s. Let a be (-8)/4 + 1 + 0. Is 38 a factor of n(a)?
True
Let g(x) = 630*x. Let y be g(-2). Let p be (4/5)/((-9)/y). Suppose 0 = 4*k - p - 8. Is 10 a factor of k?
True
Let q(s) = 293*s**3 + 5*s - 4. Is q(1) a multiple of 21?
True
Suppose g + 5 = -2. Does 31 divide (-2)/(((-21)/(-132))/g)?
False
Suppose -5*m + 3*p = -p - 1, 5*m + 27 = -3*p. Let q = m + -5. Let x(f) = f**3 + 8*f**2 - 8*f - 4. Does 21 divide x(q)?
False
Is 1721 - (-2)/(4/2) a multiple of 43?
False
Let f = 94 + -85. Suppose 0 = -3*z + f + 33. Is 5 a factor of z?
False
Let n = -3 + 5. Let m(c) = 4 + 10*c + n + 4 + c**3 + 9*c**2. Is 8 a factor of m(-7)?
False
Let i be (-4)/(-14) + 45/(-35). Does 9 divide (1 - 2)/(i/27)?
True
Suppose -2*x - 150 = -5*x. Is (-70)/(-3)*225/x a multiple of 15?
True
Let q = -5 + 17. Let s be 5 - 0*3/(-6). Let j = s + q. Is j a multiple of 9?
False
Let v(c) = 570*c. Is 15 a factor of v(1)?
True
Is (2 - -2378) + (0 + -1 - -1) a multiple of 54?
False
Suppose 15*m = 14*m + 414. Does 9 divide m?
True
Let z = -34 - -53. Is 19 a factor of z*(-2 + (-4)/(-2) + 6)?
True
Let l = -309 - -370. Is 2 a factor of l?
False
Let v(h) be the first derivative of h**4/4 - 3*h**3 - 7*h**2/2 - 9*h - 1. Let n be v(9). Is (-3)/((28/n)/7) a multiple of 27?
True
Suppose 3*d - n + 5 = 4*n, -d + 3*n = 3. Let h(z) = 2*z**2 + 70*z + 3. Let y be h(-35). Suppose d = y*j - 121 - 77. Does 22 divide j?
True
Suppose -3*f - 3234 = 5*j - 10*j, -5*f - 2582 = -4*j. Is j a multiple of 27?
True
Let a(n) = 11*n**2 + 23*n - 64. Is a(7) a multiple of 18?
False
Let n(l) = 2*l**2 + 2*l + 3. Let k(u) = -u**2 + 5*u - 2. Let t be k(3). Does 6 divide n(t)?
False
Suppose 0 = r - 13 + 1. Let w(j) = -j**3 + 13*j**2 - 13*j + 21. Does 2 divide w(r)?
False
Suppose -4 = -4*d + 4*w, 3*w - 2 - 9 = -4*d. Let j = 2 + d. Is 16 a factor of 1 + (-50)/(3 - j)?
False
Suppose -5*k + 262 = m, -2*m + 613 = 4*k + 77. Let j = m - 148. Does 23 divide j?
False
Suppose 23*s = 115 - 23. Let d = 230 - 127. Suppose 5 = s*g - d. Is g a multiple of 11?
False
Suppose 79*d - 187158 - 113595 = 0. Does 47 divide d?
True
Let q be (-3)/(-2)*(-600)/(-36). Does 14 divide (q + 2)*1 - 2?
False
Let s = 48 + -45. Let p(j) = 3*j - 2*j + 2*j**3 + 1 - 3*j**2 - j**3. Is 4 a factor of p(s)?
True
Let o(f) = -2*f**2 + 17*f + 4. Suppose -3*v - 3 = -4*v. Let w(r) = -r**2 + 6*r + 1. Let j(b) = v*o(b) - 8*