 a multiple of 18?
True
Let s(b) = 34*b + 7. Let k be s(6). Suppose 2*i - k = i. Suppose 7*t = i + 524. Is 21 a factor of t?
True
Suppose -3*n = -65 - 103. Suppose 3*r - 97 = n. Is 19 a factor of r?
False
Suppose -2*z - 3*l + 15 = 0, -3*l = 3*z + 2*z - 15. Suppose 6*y - 40 = 2*y. Suppose b - y - 3 = z. Does 7 divide b?
False
Let t(v) = -31*v - 176. Is 25 a factor of t(-21)?
True
Let y be 10/4 + 6924/24. Suppose 364 = 5*w - y. Is w a multiple of 15?
False
Let q(i) = i + 17. Let d be q(-9). Suppose 0*k - k - 3*g = 1, -5*k - 2*g = -d. Suppose k*c = 34 + 2. Does 4 divide c?
False
Suppose -5*q + 3*f = -2091, -5*q = -f - 3*f - 2088. Does 10 divide q?
True
Let n(s) = s - 17. Let k be n(12). Suppose z + 2*z - m + 5 = 0, 0 = -4*z - 3*m + 15. Is 14 a factor of 0 + k*(z - 3)?
False
Let v = 1263 - -404. Is v a multiple of 15?
False
Let h = 45 + 15. Suppose -n - 57 + 15 = 0. Let j = n + h. Is j a multiple of 9?
True
Suppose -2*k + f - 3*f = -16, 2*k = -4*f + 24. Suppose -16 = 5*o + 3*y - 719, k*o = 3*y + 557. Is o a multiple of 28?
True
Let s = -465 + 769. Does 19 divide s?
True
Let v(h) = 0*h**3 + 6*h - 3*h**3 - 8*h**3 + 2*h**3 + 4 + 4*h**2. Let l be v(-4). Suppose 5*s = -0*s + l. Is s a multiple of 31?
True
Let m = 1529 - 805. Suppose 0 = -3*y + s + m - 159, -4*y = 3*s - 736. Does 11 divide y?
True
Suppose 44*s - 653 = 535. Is 9 a factor of s?
True
Let c(j) = -5 - 3*j - 6 + 5 - 1. Does 5 divide c(-4)?
True
Let k(s) = 9*s + 27. Let t = 4 - 6. Let z(x) = -3*x - 9. Let l(p) = t*k(p) - 7*z(p). Does 16 divide l(4)?
False
Let v be (-52)/65 + (-8)/(-10). Suppose -7*l + 805 = -v*l. Does 23 divide l?
True
Let n = -10 + 6. Suppose -5*h = -c + 52, -3*h - 2*c = -5*h - 24. Does 13 divide (h/n)/(4/24)?
False
Let h(l) = 5*l**2 + 4*l - 1. Let m be h(-3). Let s = m - 8. Is s a multiple of 8?
True
Let a(l) = 3*l - 7. Let b be a(3). Suppose -z - 2*h = 59, -5*h - 31 + 140 = -b*z. Is -3 - (z - (0 + 3)) a multiple of 18?
False
Let z = 1132 + -730. Is 3 a factor of z?
True
Let r be (12/(-8))/((-18)/48). Is 8 a factor of 21 - 9/(-7 + r)?
True
Suppose -6*p + 2*p + 4*m + 404 = 0, -4*p = m - 414. Is 7 a factor of p?
False
Let b = 85 - 87. Is 10 a factor of (34 + -5 + 1)/((-2)/b)?
True
Suppose -5*a + 743 + 617 = 0. Does 57 divide a?
False
Suppose -3*a - 5*v + 71 = 0, 3*a + 0*a - 76 = -4*v. Suppose 27*q = a*q - 170. Does 17 divide q?
True
Does 13 divide 2*((-10)/20)/(5/(-12165))?
False
Suppose 0 = -5*s - 16 + 11. Does 30 divide 3 + 2 - 193/s?
False
Let u = -22 - -69. Let v = u + -33. Does 3 divide v?
False
Let y be -9*(2 - (2 - -1)). Let t = 14 - y. Does 3 divide t?
False
Is 479 - (24 - 22)/((-4)/14) a multiple of 6?
True
Suppose 36*z = 13760 + 16480. Is 12 a factor of z?
True
Let n(u) = -8*u**3 - 5*u**2 + 4*u + 12. Let f be n(-2). Let y(a) = 3*a + 7. Let i be y(-5). Let p = f - i. Is 14 a factor of p?
True
Let o(k) = 2*k - 10. Let u(w) = -w + 1. Let d(t) = o(t) + 3*u(t). Let y be d(-7). Suppose -h - h + 76 = y. Is h a multiple of 10?
False
Suppose 37374 + 114100 = 53*i. Is i a multiple of 44?
False
Let d(z) = 6*z + 12. Let o be d(-7). Let h = 113 + o. Does 30 divide h?
False
Let t(a) be the first derivative of 31*a**3/3 - 3*a**2 + 9*a - 8. Does 31 divide t(2)?
False
Let g(p) = -26*p - 18. Let m(i) = -25*i - 18. Let l(u) = -2*g(u) + 3*m(u). Is 36 a factor of l(-8)?
False
Let h(r) be the second derivative of 10*r - 5/3*r**3 + 1/12*r**4 + 0 - 8*r**2. Is h(12) a multiple of 4?
True
Does 18 divide 1 + 178*(-5)/(-10)?
True
Let v = 44 - 42. Suppose 0 = v*a - 40 - 104. Is a a multiple of 24?
True
Let z = 1 + 2. Let c = 27 - 21. Is 3 a factor of 34/c + 1/z?
True
Let x(k) = k**3 - 2*k**2 + 8*k - 5. Suppose 12*f - 13*f + 5 = 0. Let r be x(f). Suppose -r = -4*p - p. Does 11 divide p?
True
Let q be 3 + 4/4 + 1. Let d(b) = b**3 - 3*b**2 - 5*b - 12. Is d(q) a multiple of 3?
False
Let j = 6 + -8. Let g be (-24)/((-1)/(j/(-3))). Let p = g - -50. Is p a multiple of 23?
False
Let p(i) = 22*i + 523. Does 16 divide p(-20)?
False
Let m(q) be the first derivative of 2*q**3/3 + 5*q**2/2 - 19*q + 10. Does 17 divide m(-7)?
False
Let d = -1575 + 2855. Does 18 divide d?
False
Let w(v) = -v**2 + 19*v - 7. Suppose 0 = 4*i + 5*j - 51, -4*i - j = -60 + 5. Does 7 divide w(i)?
True
Let g = -15 + 17. Suppose -x - g*x = 162. Is ((-7)/(-7))/((-2)/x) a multiple of 13?
False
Suppose 33*l - 2120 - 24577 = 0. Is l a multiple of 17?
False
Let c = -845 + 1631. Does 131 divide c?
True
Suppose 0 = -11*g + 2688 + 546. Is g a multiple of 49?
True
Let f = 16 + -15. Let l be 80 - (f + -3)/2. Suppose -2*q = -3*q + d + 27, 5*d + l = 3*q. Is 21 a factor of q?
False
Suppose -2*w = w - 552. Suppose -d - w = -9*d. Is 17 a factor of d?
False
Suppose 3*i + 145 + 140 = 0. Let c = -58 - i. Is 30 a factor of c?
False
Let k = -107 + 69. Let m = k - -74. Is 6 a factor of m?
True
Let v(t) be the first derivative of -t**2/2 - 2*t + 1. Let r be v(-2). Suppose r*m + 36 = m. Does 9 divide m?
True
Let x be (-6)/(-8) - (-10)/8. Suppose 0*q + 2*l - 322 = -4*q, 2*q - x*l = 158. Is q a multiple of 40?
True
Let c(u) = -2*u**3 + u**2 - u - 30. Is c(-5) a multiple of 18?
False
Let x(g) = 7*g**3 + 2*g**2 + 3*g + 2. Let b be x(-2). Is 13 a factor of 1*-2*b/8?
True
Suppose -9 = p - 7. Let q(k) = -21*k - 2. Is 10 a factor of q(p)?
True
Let h(w) = 11*w**2 + 6*w + 17. Is h(-3) a multiple of 14?
True
Let l(w) = -2*w - 24. Let f be l(-13). Suppose -f*x + 16 = -2*j + 3*x, j + 14 = 4*x. Is 2 a factor of j?
True
Suppose 3*g - 4*f - 1230 = -7*f, 3*f + 1633 = 4*g. Is 31 a factor of g?
False
Let h(z) = 4*z**3 - 4*z**2 + 8*z - 10. Is h(5) a multiple of 10?
True
Let t(m) = -m - 1. Let a be t(-3). Suppose -4*f + 28 = 5*d, -a*d + 34 = -3*f + 9. Suppose -2*b + d = -j + 2, -8 = 2*j - 3*b. Is j even?
True
Suppose 821 + 124 = 9*c. Suppose -61 + c = k. Does 16 divide k?
False
Let h(j) be the third derivative of -j**4/12 + j**3/6 + 4*j**2. Let s be h(2). Is 12 a factor of (-5 + s)*(-15)/2?
True
Let q = 388 + -246. Suppose q = 13*v - 11*v. Does 8 divide v?
False
Let s(j) = j**3 - 6*j**2 - 7*j - 1. Let g be s(7). Let c(m) = 3*m**2 - 2*m - 2. Let i be c(g). Does 10 divide (34/i - -2)*3?
True
Let l = -6 + 4. Is 49 a factor of l*(2/8 + (-891)/36)?
True
Suppose -5*z + 33*z - 23520 = 0. Does 20 divide z?
True
Suppose 0 = -5*s + 3*w + w - 156, -5*w = 5*s + 120. Is 339/7 - (-12)/s a multiple of 12?
True
Suppose 3*r + 2*p - 613 = 0, 0*r - 812 = -4*r - 4*p. Suppose -279 = -3*u + r. Does 24 divide u?
False
Let s be 17/((-2)/(-2))*3. Suppose g + s = 4*n, -g - 58 = 5*n - 2*n. Let m = g + 103. Does 16 divide m?
True
Does 50 divide (0 - -2)*-5*(4 - 129)?
True
Suppose 5*l = 161 + 64. Suppose -k = -0*k - l. Does 5 divide k?
True
Suppose 4*m = -2 + 14. Let t be 10/m + (-12)/(-18). Suppose 3*u + 99 = 5*n, 30 = 4*n - 3*n - t*u. Is n a multiple of 9?
True
Let q(x) = x + 8*x**2 + 13*x**2 - 4 - 5*x. Does 44 divide q(-2)?
True
Suppose -y + 0*y - 4*f = -21, -5*y + 4*f = -9. Suppose -3*b + y*b + 39 = 5*l, -5*b - 38 = -4*l. Does 3 divide l?
False
Suppose -3*f + 29 = 5*k, 0 = -4*f - f - 10. Suppose k*t - 12*t + 15 = 0. Suppose -t*q + 39 = -39. Is q a multiple of 7?
False
Let p = -13 + 19. Suppose 5*s = 4*s + p. Does 6 divide s?
True
Let w(g) = -g**3 + 8*g**2 + 7*g - 4. Let l = -6 - -7. Let i be 3*(4 + -1) - l. Is w(i) a multiple of 13?
True
Let q(c) = c**2 - 18*c - 156. Does 13 divide q(26)?
True
Let l = 2280 + -1807. Does 14 divide l?
False
Suppose 3*z - 8 = 4*l, 3*l - z - 2 = -3. Suppose h - 5*h = 5*j - l, -5*h = -2*j - 26. Suppose 5 = 4*c + 1, 3*c = h*n - 69. Is 6 a factor of n?
True
Suppose r + 0 = 36. Is r a multiple of 3?
True
Suppose 12 = -4*b, -5*t + 0 + 12 = -4*b. Is 10 a factor of 170 - ((-1 - t) + 1)?
True
Let b(x) = x. Let g be b(2). Suppose 0 = 3*z + h - 11, 0 = 3*h - h + g. Is z/10 + (-456)/(-10) a multiple of 13?
False
Let q(z) = -2*z**2 - 3*z - 7. Let k(m) = m**2 + m + 1. Let b(v) = 3*k(v) + q(v). Let n be b(3). Suppose 4*a = 3 + n, -2*a = -3*o + 74. Is o a multiple of 13?
True
Let f(t) = t**2 + 6*t + 5. Let i(n) be the second derivative of -n**4/12 - 7*n**3/6 - 9*n**2/2 + 7*n. Let r be i(-7). Is 14 a factor of f(r)?
False
Let a(k) = -3*k + 4. Let f be a(0). Suppose -s = -f*b - 4*s + 12, -4*b + 2*s = -32. Let x = b + 4. Is 2 a factor of x?
True
Let w(a) = -a**3 + 21*a**2 + a + 25. Let m