ppose 3*v + 30 = -4*g - g, v = -3*g - 14. Let z(c) = 2*c**2 + 6*c + 10. Does 10 divide z(v)?
True
Suppose -2*b + 1746 - 372 = -3*d, d = -4*b + 2734. Is b a multiple of 38?
True
Let d = 105 - 91. Is (36/d)/((-3)/(-42)) a multiple of 18?
True
Suppose 2*v + 3*v = 0. Suppose 8*j - 12*j - 4 = v. Is 6 a factor of ((-25)/15)/(j/12)?
False
Suppose 0 = 3*s, -s + 158 = 4*z - 1514. Does 8 divide z?
False
Suppose 26*r - 3420 = 11*r. Does 19 divide r?
True
Let h = 1027 - -151. Is h a multiple of 22?
False
Let l(k) = -17*k + 296. Is 3 a factor of l(16)?
True
Is 43 a factor of (24/18)/((-2)/3) - -604?
True
Let l = 3114 - 449. Is 13 a factor of l?
True
Let j = 13 + -24. Let p be j + 41 - (-1 - -1). Suppose -4*m = p - 90. Is m a multiple of 7?
False
Let a(h) = 5*h**2 + 29*h + 63. Let o(b) = -2*b**2 - 10*b - 21. Let x(d) = -3*a(d) - 8*o(d). Is x(-6) a multiple of 19?
True
Let c = -97 + 156. Does 18 divide c?
False
Suppose -146 + 524 = 2*b. Suppose 2*y - 71 = -a + 6*y, -3*y + b = 4*a. Is a a multiple of 9?
False
Suppose 4*n + 606 = 4*m - 490, -4*m - 3*n = -1068. Does 18 divide m?
True
Let v = 19 + -19. Let z be 47 - (-1 - (-4 + v)). Suppose 2*l + 4*k - z = 0, 3*l + k = -3*k + 68. Does 4 divide l?
True
Suppose -w + 565 = -5*x - 500, 0 = -2*w + 5*x + 2105. Does 22 divide w?
False
Is 79 a factor of 35508/18 - -2 - (-5)/15?
True
Let g = 14 - 17. Is (1 + -13)*g/(-1)*-3 a multiple of 20?
False
Let x be 37/7 - 4/14. Let m(w) = w**3 - 5*w**2 + 4. Let t be m(x). Suppose -2*l - 5*b = -110, -5*l - 2*b + 333 = -t*b. Is l a multiple of 20?
False
Let y = 388 + 377. Does 51 divide y?
True
Suppose -5*t - 1 = 9. Let n = t + 44. Suppose k - 30 = n. Is k a multiple of 17?
False
Let r(h) = -h + 7. Let z be r(5). Suppose -z*j - 2 = -8. Suppose -b = -j*b + 92. Does 12 divide b?
False
Suppose -12*m + 5967 = 5*m. Does 39 divide m?
True
Suppose 3*k = 0, -7 = -5*r - 4*k + 18. Suppose -r*b - 126 = -7*b. Is 24 a factor of b?
False
Suppose 20 = 3*q + 77. Is 7 a factor of (q/3 - 3)/(6/(-27))?
True
Let d(m) = -3*m - m + 0*m**3 - 4*m**3 + 3*m**3 + 8*m**2 - 1. Is 9 a factor of d(6)?
False
Let v = 7 + 0. Let p = v - 12. Is (2 + p)/((-1)/6) a multiple of 18?
True
Suppose 25*v - 24*v - 50 = 0. Suppose -2*p + v = -336. Does 13 divide p?
False
Suppose r - 5*j + 3*j - 107 = 0, -591 = -5*r - 4*j. Let i = -37 + r. Does 26 divide i?
True
Let a(g) = 100*g - 92. Does 15 divide a(6)?
False
Suppose 78*l - 13938 = 9*l. Is l a multiple of 18?
False
Is (-13)/(1/(-48 - 6)) a multiple of 18?
True
Suppose -20*b + 47361 = 16681. Is 13 a factor of b?
True
Let z(l) = 30*l. Is 30 a factor of z(1)?
True
Suppose -8*g - 19 = 45. Does 8 divide 2 + g/3 + (-942)/(-9)?
True
Let b(x) = 5*x**2 + 15*x - 78. Is 9 a factor of b(4)?
False
Let f(p) = 5*p. Let g be f(1). Suppose -5*w - 1 + 12 = 4*q, 20 = 5*w - g*q. Suppose 7 = w*h - 41. Is h a multiple of 9?
False
Let r(p) = 2*p**3 - 8*p**2 - 2*p + 9. Let n be r(4). Is 14 + 7 + -2 + (n - -1) a multiple of 7?
True
Let g = 1409 + -1236. Does 90 divide g?
False
Let s = -38 - -42. Suppose -s*h = -i - 557, 0*h = -h + i + 140. Does 14 divide h?
False
Suppose -43*i + 230563 + 17375 = 0. Is i a multiple of 62?
True
Suppose 1 + 11 = 4*f. Is 21 a factor of (-2 + -193)/(f/(-2))?
False
Let z(v) = -v + 8. Let i be z(5). Let h = i - 1. Suppose n - 2*x = 31, h*n = -n - x + 65. Does 6 divide n?
False
Let q = 18 - 16. Suppose -9 = -k - q*k. Suppose -k*o + 4*o = 3. Is o a multiple of 3?
True
Let c be (11 - 0) + 4 + -5. Let g(h) = -h**2 + 8*h + 11. Let l be g(c). Is 3 a factor of -6*(-2 - 6/l)?
False
Let z(x) = -x**2 + 30*x - 162. Is 33 a factor of z(16)?
False
Suppose 3*y = -4*h + h - 1824, 5*h - 5*y + 3050 = 0. Is (4/(-14))/(3/h) - 2 a multiple of 14?
True
Suppose r - 3*t = 3, -t - 4*t + 3 = -r. Suppose 3 = 3*p, -5*z + 2*z + 5*p = 11. Does 21 divide (-61)/6*r/z?
False
Let f = -928 + 1747. Suppose 16*p - f = 3*p. Is 21 a factor of p?
True
Let u = 2035 + -922. Is 14 a factor of u?
False
Let m(z) = z**2 - 12*z + 16. Let u be m(11). Suppose 50 = u*p - 5*c, 2*p + 26 = 5*p - 2*c. Let t(b) = -b**3 + 7*b**2 - 2*b. Is t(p) a multiple of 7?
False
Is 298 - 7/(42/24) a multiple of 43?
False
Suppose 3*z - z = -356. Let m = z + 262. Is 14 a factor of m?
True
Let a be 2/4 - 91/(-14). Let v(y) = 2*y + 11. Let p be v(a). Suppose 2*z + 9 - p = 0. Does 4 divide z?
True
Suppose 0 = 4*h + 3*j - 6120, -84*h - 4*j + 6116 = -80*h. Is 87 a factor of h?
False
Let u be 23 + (-3)/6*6. Suppose u*h - 17*h = 324. Is h a multiple of 31?
False
Let k(i) = 4*i - 8. Suppose -4*s + 9*s - 60 = -2*q, 0 = -4*q. Suppose 9*u + 21 = s*u. Does 10 divide k(u)?
True
Let z(q) = q**3 - 5*q**2 + q - 1. Let p be z(5). Let x(f) = 2*f - 5*f + 14 + p*f. Is x(-6) a multiple of 5?
False
Suppose 8*n - 5*n - t = 7496, -5*n = 4*t - 12516. Does 83 divide n?
False
Let z be -3*2/3 - -124. Let c = z + -72. Does 13 divide c?
False
Let t(a) = a**3 + 6*a**2 - 7*a + 2. Let x be t(-7). Suppose -5*r - x = -z, 3*r - 2 = 2*r - z. Is (-1 - -1 - r) + 36 a multiple of 9?
True
Let o(j) = j**3 - 17*j**2 + 26*j - 136. Is 40 a factor of o(19)?
True
Suppose 0 = 5*r + 7 - 12, 1416 = 2*a + 4*r. Is 31 a factor of a?
False
Suppose -i = 2*i + 3. Let g be (-153)/4 + i/(-4). Does 4 divide 8/(-36) - g/9?
True
Let k(p) = 14*p - 12. Let z(a) = -a**2 + 11*a - 2. Let m be z(10). Is k(m) a multiple of 25?
True
Let d = 1235 - 265. Is 51 a factor of d?
False
Let w(s) = 361*s**3 + s**2 - s - 1. Is w(1) a multiple of 15?
True
Let n be (-2)/13 - (-1)/((-13)/(-67)). Suppose 0 = n*l - 5*y - 106 - 109, -4*y + 8 = 0. Is 5 a factor of l?
True
Let d = 335 + -175. Is d a multiple of 4?
True
Let y = 75 + -59. Let n(b) = -b + 30. Is 14 a factor of n(y)?
True
Does 8 divide (-57)/2*656/(-123)?
True
Suppose -5*w = 5*l - 215, -3*w + 4*w - 51 = -5*l. Suppose 0 = -3*p + 46 + w. Suppose -2*h + 10 = 0, 4*h - p = -4*u + 3*h. Is u a multiple of 6?
True
Let h = -789 + 1651. Is h a multiple of 20?
False
Suppose -25 = -5*w - 0*w. Let d = 131 - 124. Let a = d + w. Is 6 a factor of a?
True
Let o be 0/(-11) + 95*3. Suppose -4*z = -z - 3*c - o, -3*c = 4*z - 345. Is z a multiple of 15?
True
Suppose 0 = -4*o + 2*q + 40, q - 23 + 67 = 5*o. Let v(a) = 7*a + 7. Is v(o) a multiple of 17?
False
Let k = -328 + 503. Is 31 a factor of k?
False
Let m(s) = 5*s**2 + 3*s - 3. Let u be m(1). Let n(l) = 1 - 6 + 3 - u*l - 7. Is 21 a factor of n(-13)?
False
Let p(y) = y + 6. Let q be p(14). Suppose 4*w + q + 4 = 0. Let u(x) = 2*x**2 + 2*x - 8. Is u(w) a multiple of 26?
True
Suppose 4*t + 5*r - 15 = 2*t, 5*t = 2*r - 6. Suppose t = j - 6*j - 10, l = -2*j + 141. Does 29 divide l?
True
Suppose -2*q + 6 = 0, -712 = -w - 8*q + 4*q. Does 35 divide w?
True
Let j be -6 - 1 - (1 - 2). Let l = 463 + -460. Is j/(-2)*20/l a multiple of 6?
False
Let o = 5 - 5. Let m be (-4 - (-3 - o))/1. Is 10 a factor of m*(-30 + (-2)/(-2))?
False
Is 74 a factor of 588/(-8)*(-36)/6 + 3?
True
Let q = 11662 + -7378. Is q a multiple of 9?
True
Let b = -1002 + 1436. Is b a multiple of 2?
True
Let m(b) = -2*b**2 + 27*b + 18. Let g be m(14). Suppose 0*y = x + 4*y - 50, 2*x + g*y - 104 = 0. Does 18 divide x?
True
Suppose 2*s - 2*d = 930, 0*d - d = 5*s - 2319. Does 24 divide s?
False
Let u be (7 - 3) + -8 - 0. Let i(b) = b**2 + 5*b + 2. Let z be i(u). Let q(v) = 15*v**2 - 4*v - 5. Is q(z) a multiple of 15?
False
Let a(z) = 20*z - 184. Let r(l) = -5*l + 46. Let p(m) = -2*a(m) - 9*r(m). Is 4 a factor of p(24)?
False
Let j be (6*-1 + 3)*-8. Suppose -82*q + 84*q = j. Is q a multiple of 5?
False
Is 3 a factor of ((-775)/100)/((-2)/8)?
False
Is 99 a factor of ((-315)/14)/((-9)/1584)?
True
Let j be 1/4 + (-118)/(-8). Let z = -9 + j. Suppose 3*n - 3*f = 96, -3*f = -2*n - z*f + 44. Does 11 divide n?
False
Let d = 4 + 2. Let p be d/4 + 3/(-2). Suppose p = 2*g - 40. Is 8 a factor of g?
False
Let a(s) = -s**3 + 9*s**2 + 9*s + 8. Let z be ((-162)/(-45))/(2/5). Let h be a(z). Let k = h - 5. Is k a multiple of 16?
False
Let o(m) be the first derivative of -9*m**2/2 - 35*m + 1. Is 32 a factor of o(-10)?
False
Let l(z) = -2*z + 3. Let t be l(-4). Let p be (-1 + 3)/(t/(-33)). Let m(k) = -2*k + 1. Is 3 a factor of m(p)?
False
Let y(x) = -52*x + 242. Does 36 divide y(-4)?
False
Suppose -7*c + 170 = -2*c. Suppose 0 = -c*b + 35*b - 53. Is 13 a factor of b?
False
Let h(c) = -2*c**3 + 14*c**