False
Let o(d) = d**3 + 2*d**2 - 5*d + 12. Let v be o(-4). Suppose 5*w + 3*f - 283 = 68, 4*w + 2*f - 280 = v. Is w a multiple of 11?
False
Suppose -5*v + 75 = 5*l, 2*v = -3*l + 4*v + 30. Suppose 3*c + 2 = 7*c + 3*t, -4*c + 3*t = -14. Suppose -c*u = l - 42. Is u a multiple of 4?
False
Does 16 divide 4/(91/(-924) - 6/(-33))?
True
Let b be 1 + 10/(-2) + 4. Let v be (b - 3) + (-9 - -35). Suppose v*f = 25*f - 152. Is f a multiple of 19?
True
Let u = 541 + -233. Does 16 divide u?
False
Suppose -154 = -2*b + 92. Suppose b + 72 = 5*i. Is i a multiple of 8?
False
Let x be 22/55 - (1606/(-10) + 1). Suppose -3*m - m = -x. Is 10 a factor of m?
True
Suppose 6 = 3*i - 3*x, -5*i - 5*x + 24 = -16. Let w(m) be the second derivative of 2*m**3/3 + 2*m**2 + 3*m. Does 8 divide w(i)?
True
Let d(o) = 2*o - 2. Let i be d(6). Let p = i + -4. Let u(q) = q**2 - 5*q + 9. Is u(p) a multiple of 5?
True
Let d(l) = -8*l - 21. Let q be d(-5). Suppose -u = -p + 11, -p - 4*u = -7 - q. Does 5 divide 348/p - (-7)/49?
True
Let z(b) = -4*b + 27. Let q be z(6). Let y(k) = -4 - 2*k**2 + 2*k**3 - 3*k**2 + 3*k + 2*k. Is y(q) a multiple of 10?
True
Let a = 46 - 17. Let z = a + -19. Is 10 a factor of z?
True
Suppose -o + 0*o + 2 = 0. Suppose -98 = -o*h + 2*p, -2*h - 3*h - p + 251 = 0. Is 25 a factor of h?
True
Let p(y) = 35*y**2 + 2*y + 91. Is p(7) a multiple of 35?
True
Let y(c) = -7*c**3 + 3*c**2 + 7*c - 7. Let w = 16 + -19. Does 13 divide y(w)?
False
Let u = 1163 - 444. Does 34 divide u?
False
Let r(t) = 3*t**3 + 9*t**2 - 18*t + 24. Is r(6) a multiple of 12?
True
Suppose 0 = 3*b - 9 - 12. Let c = -11 + b. Is 5 a factor of (-68)/(1*c)*1?
False
Let h(y) = -2*y + 1. Suppose 2*u = -2*a + 4*u - 4, -5*a = 4*u - 35. Suppose 8*t - a*t = -70. Does 18 divide h(t)?
False
Let x = 24 - 3. Suppose 2*l + 7 = f - 2, -2*f = -5*l - x. Does 7 divide (-45)/l*(-1 + 2)?
False
Let q be (-7)/35 - (-182)/10. Suppose 0 = -3*t - 5*w + q, w + 5 = -2*t + 24. Is t a multiple of 2?
False
Let r = 20 + -24. Let z(i) = 3*i**2 + i - 10. Is 17 a factor of z(r)?
True
Let j(x) = 2*x + 24 + 0*x - 13 + 19. Does 2 divide j(-13)?
True
Let k(v) = -v**3 + 5*v**2 + 4*v - 7. Let z be k(5). Suppose 19 = -4*m + a, 0*m - 13 = 3*m - a. Let f = z + m. Does 6 divide f?
False
Let v = -3386 - -6074. Is 112 a factor of v?
True
Let y(x) = x**3 - x + 61. Let u be y(0). Suppose 3*b = -2*g + 6*b + u, 4*g - 101 = -b. Does 13 divide g?
True
Suppose -349 + 41 = -14*g. Is 11 a factor of g?
True
Suppose -3*y = 3 + 15. Is 9 a factor of (-325)/y - (-3)/(-18)?
True
Let s(w) = w**2 - 2*w. Let v be s(1). Let m(x) = -5*x**2 - 3*x + 5. Let l(f) = -f**2 + 1. Let k(a) = v*m(a) + 4*l(a). Is 13 a factor of k(5)?
True
Suppose 186 = 7*v - 10. Suppose -v*f + 168 = -26*f. Does 12 divide f?
True
Suppose -3*z = -t - 2 - 8, 2*z = 5*t - 15. Suppose 5*w = 0, 5*w - 10 - 4 = -c. Suppose t*s + 2*y = 10 + 33, 0 = -s + 5*y + c. Is 3 a factor of s?
True
Is 25 a factor of (-7030)/(-6)*-5*54/(-90)?
False
Let f = 419 + -203. Is f a multiple of 24?
True
Let p(z) = -z**3 - 9*z - 17. Suppose 0 = -4*t, -l = -2*t + t + 5. Is 17 a factor of p(l)?
True
Let o = -267 - -785. Does 7 divide o?
True
Suppose 4*c + 4*p = 12, 0 = 4*c - 2*p - 12. Let o = 17 + 270. Suppose o = 4*g + c. Is 23 a factor of g?
False
Suppose 5*r - 3*r - 10 = 0. Suppose 19 - 89 = r*l. Let m = -7 - l. Does 4 divide m?
False
Is 40 a factor of (-5660)/(-6) + 24/(-72)?
False
Let u(c) = c**2 - 14*c + 29. Is u(12) a multiple of 3?
False
Is (-1584)/(-5) + 3 + (-8)/(-40) a multiple of 32?
True
Suppose 187 + 155 = 3*c. Let g = 36 - 32. Suppose c = 5*y - 0*k + g*k, -5*k - 20 = 0. Is y a multiple of 26?
True
Suppose -7*o + 5*o = -10. Suppose 2*g - 3 + 1 = 0, -b - o*g = -7. Suppose 8*u - 4*u + 12 = 0, 0 = -4*s - b*u + 146. Is s a multiple of 19?
True
Let y(v) be the first derivative of 7*v**6/40 - v**4/24 - 4*v**3/3 - 2. Let x(s) be the third derivative of y(s). Is 31 a factor of x(-1)?
True
Suppose 2*f - 4*q - 720 = 0, -5*f + 1514 = -q - 241. Does 14 divide f?
True
Let p(m) = -m**2 + 11*m - 23. Let i be p(7). Is (-3*47)/(-1) + (8 - i) a multiple of 12?
True
Suppose -2*m = -2*u + 6*u - 40, 0 = -5*u + 4*m + 76. Let f = u - 13. Let c = f - -15. Is c a multiple of 3?
False
Suppose w = 5*l - 848, w = 21*l - 20*l - 172. Is l a multiple of 13?
True
Suppose 0 = 5*d - 23 + 3. Suppose j + n = 8, -j - 4*n = -4*j - d. Suppose 5*k + j*u = 47 + 173, 245 = 5*k - u. Does 12 divide k?
True
Let i be (-69*3)/(4 + 15/(-6)). Let t = 267 + i. Is 30 a factor of t?
False
Let d(m) = -24*m - 8. Suppose -5*v = 4*o + 14, -2*v - 2 = -2*o - 0. Does 40 divide d(v)?
True
Suppose -c = 5*w + 9, 0 = c - 2*c - 2*w. Let z = 8 - c. Suppose 0 = 2*r - 3*j - 31, z*r - 25 - 1 = 4*j. Is 5 a factor of r?
False
Suppose 0 = 10*a - 225 - 15. Suppose a = 2*m - 12. Does 9 divide m?
True
Let q = 21 + -27. Let h = -11 - q. Does 10 divide (6/4)/(h/(-50))?
False
Suppose 5*z = -3*b + 831, 5*b = -4*z + 376 + 281. Is 14 a factor of z?
True
Suppose 10 = 9*h - 7*h. Suppose 5*d + 88 = -w + 337, -h*d + 2*w = -237. Does 7 divide d?
True
Does 6 divide 244/122 + -44*(-2 + 0)?
True
Let k(d) = 165*d**2 + 16*d + 9. Does 73 divide k(4)?
False
Suppose -5*j + 4143 - 763 = 0. Does 46 divide j?
False
Suppose 5*v - 8 - 2 = 0. Let y be ((-3)/v)/(3/(-8)). Does 10 divide 5*(3 + -1 + y)?
True
Let r(a) = -a**3 - 3*a**2 - 4*a + 2. Let j be r(-4). Suppose o + j = 3*o. Suppose 8*y - 9*y + o = 0. Does 17 divide y?
True
Suppose -11940 = 29*i - 52134. Is 36 a factor of i?
False
Is 23 a factor of 382*(-1)/(6/(-2))*3?
False
Let i(m) = 11*m**2 - 15*m + 7. Does 3 divide i(4)?
True
Does 10 divide ((-301)/14 + -3)*-2?
False
Suppose 2*y - 5*d = -147 + 1100, -5*y + 5*d + 2420 = 0. Is 8 a factor of y?
False
Is (-5)/50 + (-19362)/(-20) a multiple of 44?
True
Suppose 3*h + 2*h = -4*j - 3037, -3*h - 5*j - 1817 = 0. Is 34 a factor of h/(-9) + 8/24?
True
Let g(f) = -35*f + 510. Does 10 divide g(0)?
True
Suppose -312 + 72 = -6*q. Let g = q - 21. Is 9 a factor of g?
False
Let p be (32/4 - 1)*(-4)/(-7). Does 2 divide 16 - (p + 0/(-3))?
True
Let f = -68 - -64. Is 44 a factor of 4 + 307 + f + 1?
True
Suppose 2*z - 90 - 48 = -t, z + 5*t = 78. Is z a multiple of 3?
False
Let j(l) = 15*l - 28. Is j(8) a multiple of 4?
True
Let n(y) = 38*y + 3. Does 17 divide n(12)?
True
Let v(j) = j**3 + 2*j**2 + 657. Let t be v(0). Does 14 divide (6/9 + 0)*t/6?
False
Let p(c) = c**2 + 6*c + 4. Let h be p(-4). Let b = h + 11. Is 4 a factor of b?
False
Is 8 a factor of (-2080)/(-156)*(2/2 - -38)?
True
Suppose 0 = 24*d + 1066 - 9346. Is d a multiple of 23?
True
Suppose 10*i + 30 = 13*i. Suppose -877 = -i*z + 103. Is z a multiple of 19?
False
Let y = 80 + -15. Suppose -5*l + y + 910 = 0. Is l a multiple of 40?
False
Suppose -k + 10 = 4*k. Suppose v + 198 = k*c, -c - 3*v + 99 = -0*c. Suppose -x - 9 = -4*x, 3*h - 5*x = c. Is 8 a factor of h?
False
Is 12/(-16) + (-2918)/(-8) + -4 a multiple of 30?
True
Let s(x) = -5*x + 4. Suppose 2*o + d + 9 = 0, 4*o = -0*o + 5*d - 11. Let j be s(o). Suppose 0*r - 4*r = -3*f - 99, -r = -f - j. Does 9 divide r?
True
Let t(m) = 2*m**3 - m**2 + 8*m - 7. Let k(o) = o**3 + 4*o - 3. Let d(i) = -9*k(i) + 4*t(i). Suppose 5*z - z = -16. Is d(z) a multiple of 5?
True
Suppose 8 + 0 = 2*u. Suppose 0 = -5*q + 127 + 188. Does 9 divide q - ((-36)/u)/(-3)?
False
Is 13 a factor of 2*1814/16 + (-6)/8?
False
Suppose 0 = -4*f + 3*y - 10, 3*f + 1 + 19 = -4*y. Suppose 122 + 112 = 6*t. Let i = f + t. Does 7 divide i?
True
Let w = 13 + -6. Let r = 7 - w. Suppose -4 = -r*t - t. Is t a multiple of 4?
True
Let w(a) = 11*a**2 - 14*a - 10. Is w(4) a multiple of 5?
True
Let f(z) = -z**2 - 8*z - 6. Let g be f(-4). Suppose 0 = -3*m - 2*l - 2, 0 = -2*m + 5*m - 2*l + g. Let w(b) = 34*b**2 - 3*b + 2. Is w(m) a multiple of 36?
True
Let d(x) = 10*x**3 - 22*x**2 - 13*x + 4. Let m(h) = 7*h**3 - 15*h**2 - 9*h + 3. Let i(f) = 5*d(f) - 7*m(f). Is 16 a factor of i(7)?
False
Suppose 29*j - 33*j = -8. Suppose 175 = j*l + 67. Is l a multiple of 18?
True
Suppose 37*a + 836 - 2908 = 0. Is a a multiple of 2?
True
Let h(f) = f**3 - f + 9. Let r(p) = 2*p - 20. Let b be r(10). Is 9 a factor of h(b)?
True
Suppose -c + 5 = -x, -3*c = -5*x - 6 - 9. Suppose -7*l = -c*l - 546. Suppose -4*h + h = -l. Does 13 divide h?
True
Suppose -2*c = -7 - 9. Let f = c - 8. Is 7 a f