- y - 2*y + 15 = 0. Let h(x) = -x**3 + 6*x**2 - 4*x - 3. Let w be h(t). Suppose 3*m + w*m = 40. Is m a multiple of 8?
True
Suppose -5*a - 6 = 4*h - 0, -2*a = 5*h + 16. Suppose z = -3 + 13. Suppose 9 = 2*p + 2*v + v, z = -a*v. Is p a multiple of 6?
True
Let b be (-3)/(-9) - (-3)/(-9). Suppose b*d = 2*d - 40. Does 10 divide d?
True
Suppose 0*f = -3*f + 6. Is 9 a factor of (1*f)/(14/217)?
False
Let q = 9 + -5. Suppose -q*a - 2*f + 138 = 0, 8*f + 29 = a + 3*f. Suppose 3*o + 4 = a. Is 5 a factor of o?
True
Suppose 0 = -5*r + 2*x + 711, 5*r + 2*x + 3*x - 690 = 0. Is 48 a factor of r?
False
Let c = -6 - -4. Let w be ((-8)/6)/(1/(-3)). Does 18 divide c/w*0 - -18?
True
Suppose -4*p + l = -2*l + 82, 2*p - l = -42. Let h = 47 + p. Does 11 divide h?
False
Let a(p) be the first derivative of 5*p**3/3 + p**2/2 - p - 7. Is 8 a factor of a(-2)?
False
Suppose -3*t = m - 4, m - 10 + 2 = -5*t. Suppose 0 = t*l, 0 = -v - 4*v + 3*l + 30. Is 3 a factor of v?
True
Let v = -1 - -6. Let l(o) = 3*o + 0*o - o + 4. Is 7 a factor of l(v)?
True
Let v(q) = -q**3 - 2*q**2 + 5*q - 5. Is v(-4) a multiple of 3?
False
Suppose -3 = -3*p + 6. Is 4 a factor of 1/p + (-69)/(-9)?
True
Suppose -2*z + 38 = v + 3*v, v + 2*z = 5. Is 5 a factor of v?
False
Does 28 divide 3 - (8 + -4 - 57)?
True
Suppose 0 = -3*q + 96 + 294. Is 14 a factor of q?
False
Suppose -m + 7 = -4*g + 28, 3*g - 7 = -m. Let r = m - -36. Is r a multiple of 13?
False
Suppose 1 + 9 = 2*g. Suppose 69 = 4*l - g*i, i - 15 = 4*i. Is l a multiple of 8?
False
Let k(b) = -b**3 + b**2 + 2*b - 2. Let l(v) = -5*v + 2. Let g be l(2). Let m be ((-12)/g)/(2/(-4)). Is 20 a factor of k(m)?
False
Let t = -10 + 65. Does 8 divide t?
False
Suppose -26*x - 117 = -29*x. Is x a multiple of 13?
True
Let v = 7 + -8. Is 8 a factor of 2/(7 + v)*51?
False
Let p = -13 - -20. Let g = p + 9. Does 16 divide g?
True
Let j be 16/(-12)*(-15)/4. Suppose 3*n = -j*b + 19, 3*n - 43 = -4*b + 5*b. Is 13 a factor of n?
True
Let f(j) = j - 17. Let x(k) = -k**2 + 8*k - 3. Let o be x(6). Let h be f(o). Let s = h - -12. Is s a multiple of 2?
True
Suppose -5 = 3*l + 5*z, 0 = 2*l - 6*l - 5*z - 5. Suppose l = -a - a + 3*o + 12, -2*a = 3*o - 24. Is (a/(-6))/3*-42 a multiple of 11?
False
Let n = 8 + -11. Let p = n - -3. Suppose m + p*g - 3*g - 48 = 0, -5*g = 5*m - 140. Is m a multiple of 19?
False
Let h(v) = v**2 + 8*v - 6. Let k be h(-9). Suppose 3*w = -3*g + 30, -w - k*g = -g - 7. Suppose 2 + w = 3*x. Is x a multiple of 5?
True
Suppose 3*d = 3*x + 40 - 316, -2*x - 4*d + 202 = 0. Is x a multiple of 12?
False
Suppose 0 = 8*u + 3*u - 968. Does 11 divide u?
True
Suppose w + 0*w - 36 = -v, -w + 153 = 4*v. Is 12 a factor of v?
False
Is ((1036/12)/7)/(2/6) a multiple of 27?
False
Let g be 1 + -1 + 1 + -3. Does 19 divide g*3/(-2) - -46?
False
Let c = 13 + -2. Let o(m) = 6*m**2 - m - 1. Let s be o(-2). Let j = s - c. Does 13 divide j?
False
Does 10 divide (1 - (1 - 2))*15?
True
Let n(v) = -3*v + 8. Let s(o) = o**3 - o**2 + 2*o. Let l be s(3). Suppose -c + l = -5*c. Is 14 a factor of n(c)?
False
Suppose 15 = -4*j + j. Is 6 a factor of (-4)/(((-30)/(-9))/j)?
True
Let g = 73 + -29. Is 11 a factor of g?
True
Suppose 0 = 2*j - z + 20, -4*z - 19 = -3*j + 4*j. Let q = 0 + j. Let x = 1 - q. Is 4 a factor of x?
True
Suppose -2*f = -r - 37 - 12, -3*r - 78 = -3*f. Does 2 divide f?
False
Let v(i) be the third derivative of i**4/8 + i**3/3 + 2*i**2. Let u be v(-2). Is 243/5 + u/(-10) a multiple of 18?
False
Let i = 472 - 160. Is i a multiple of 39?
True
Suppose -3*j + 14 = -19. Let k be (-2)/8 - (-65)/4. Let o = k - j. Is 5 a factor of o?
True
Suppose -f + 5 = -3. Suppose -k - 2 = 4*t - 3, 3*k + f = -t. Is 15 a factor of 1 + (2 + k - -29)?
False
Suppose 0*v - 2*v = -10. Suppose -3*i - 42 = -v*k - 111, -3*i + 96 = 4*k. Is i a multiple of 14?
True
Is 13 a factor of 5/(-20) - (-730)/8?
True
Suppose l + 218 = w - 0, -657 = -3*w + 2*l. Does 20 divide w?
False
Let b(h) = -h**3 + 6*h**2 + 7*h + 2. Let k be b(7). Suppose -5*o = -k*o. Suppose 16 = 2*i - o. Does 3 divide i?
False
Suppose 0 = 4*g - 0 - 284. Is g a multiple of 23?
False
Let v(j) = -2*j**3 - 2*j**2 - j + 2. Let r be v(4). Let z = r - -273. Suppose -26 = 5*n - z. Does 15 divide n?
False
Let a be 3/(-5) + (-96)/(-10). Suppose 5*m = -a + 44. Does 7 divide m?
True
Let h(c) = -108*c**3 - c**2 + 1. Is h(-1) a multiple of 6?
True
Suppose -3*j + 35 = 8. Let t be (-1 - j)*3/6. Let b = t + 34. Is b a multiple of 14?
False
Let j = 15 + -10. Let g = j + -35. Is 27 a factor of (1 - 5) + 2 - g?
False
Let g be (-644)/(-63) + 4/(-18). Let x = 30 - g. Is x a multiple of 20?
True
Let m = 50 + -26. Is m a multiple of 8?
True
Let h = 10 + -13. Let i = h - -10. Suppose -3*g + i*g + 34 = 2*w, -g = 2. Is w a multiple of 13?
True
Suppose n = -n + 150. Suppose -z + 4*z + 2*f = n, -4*z + 2*f + 86 = 0. Does 6 divide z?
False
Does 29 divide (-2)/18 - (-15672)/108?
True
Suppose -u + 4*u = 2*n + 16, -3*u + 12 = -3*n. Let j be 66/8 + (-2)/u. Suppose 0 = -3*y + p + 94, y + j*p = 3*p + 26. Is y a multiple of 12?
False
Let p(v) = -14*v - 2. Is 16 a factor of p(-8)?
False
Suppose 0 = 10*k - 8*k - 66. Is 8 a factor of k?
False
Let y(j) = -j**2 - j. Let v(l) = -48*l**2 + 10*l - 2. Let k(i) = -v(i) - 8*y(i). Is k(1) a multiple of 14?
True
Is 7 a factor of 642/5 - (-12)/(-30)?
False
Let a = 155 + -32. Does 41 divide a?
True
Suppose -5*i - 5*k + 0*k + 455 = 0, i - 89 = k. Suppose 0 = 3*a - a + 88. Let w = a + i. Is w a multiple of 23?
True
Let o be 2032/(-8)*2/(-4). Let s = o + -90. Is s a multiple of 8?
False
Let r = -5 + 8. Suppose 4*a + 12 = -5*y, 3*a - r*y = 2*a + 14. Suppose -5*i + 4*v + 121 = 3*v, -a*v = i - 22. Is 12 a factor of i?
True
Let f be (1 + 2)*8/6. Suppose 5*u = 2*u - 5*t + 131, 0 = -f*u + 5*t + 233. Is 22 a factor of u?
False
Does 16 divide (-3)/(-9)*8*12?
True
Let d(a) = -4*a**3 - 3*a**2 + 4*a. Let i be d(-4). Suppose -u + 4*u = i. Is 16 a factor of u?
True
Let x = 307 - 178. Is 36 a factor of x?
False
Let i(z) be the third derivative of z**5/60 - z**4/6 - 7*z**3/6 + 3*z**2. Is 9 a factor of i(7)?
False
Let v(c) = 3*c - 3. Suppose n = -3*n + 12. Is v(n) a multiple of 6?
True
Suppose -4*r + 22 = k, 3*r + 22 = 5*r - 5*k. Suppose 2*s = -2 + r. Suppose 5 + 5 = s*o. Is o a multiple of 5?
True
Let u = 5 + -3. Suppose 0 = u*q - 3*q + 28. Does 15 divide q?
False
Let t(g) = 8*g - 4. Let r be t(4). Suppose r = -u + 3*u. Let a = -7 + u. Does 2 divide a?
False
Suppose -28*x = -30*x + 346. Is x a multiple of 13?
False
Suppose -5*d = 4*o - 18, 28 - 11 = 3*o + 2*d. Let r(a) = -a**3 + 6*a**2 - 9. Let l be r(o). Does 5 divide 4/24 - l/12?
True
Let l(r) = 64*r**3 + 2*r - 1. Let n be l(1). Suppose 4*s + 4*c - 20 = 0, n = 5*s + 4*c - 9*c. Does 3 divide s?
True
Let j(v) = 210*v**2 + 6*v. Is 51 a factor of j(-1)?
True
Let h(t) = t**3 + 9*t**2 - 9*t + 7. Suppose 0 = 4*r + 4*f + 44, 3*r = -5*f - 9 - 28. Is h(r) a multiple of 22?
True
Suppose 23 = -4*q + 3. Let s = -7 - q. Let j(c) = -c**3 + c**2 + 4*c + 3. Is j(s) a multiple of 4?
False
Suppose -21*x = -20*x - 63. Is x a multiple of 20?
False
Let u(l) = 19*l**2. Is 14 a factor of u(-2)?
False
Let q(j) = -1 + 0*j**3 - 7*j - 6*j**2 - j**3 + 0*j**2. Suppose -25 = 3*v + 2*v. Does 9 divide q(v)?
True
Is -119*((-21)/(-35) - (-23)/(-5)) a multiple of 14?
True
Suppose -2*p - 35 + 169 = 0. Is 40 a factor of p?
False
Suppose -3*b + 0*b + 12 = 0. Does 4 divide b?
True
Suppose 5*b + 0*b - a - 184 = 0, -b + a = -40. Is 10 a factor of b?
False
Let d be 14*1 - (-1 - -1). Suppose 4*y = -d - 106. Let l = y - -43. Is 5 a factor of l?
False
Let n(k) be the second derivative of k**3/3 - 9*k**2/2 + k. Suppose -3*j + 0*f + 11 = -4*f, -5*f + 38 = 2*j. Is 9 a factor of n(j)?
True
Is 12 a factor of 2160/126*70/4?
True
Suppose -65 = -5*x + 125. Is x a multiple of 15?
False
Suppose -5*s + 2*s = 2*c, -s + 2*c = 0. Suppose 0*a - 5*a + 18 = -2*y, -5*a - y + 6 = s. Does 2 divide a?
True
Suppose 13*p = 15*p - 420. Does 14 divide p?
True
Let g be 6/(-15)*(7 + -2). Let z(c) = 5*c**2 - 2*c - 3. Is 12 a factor of z(g)?
False
Suppose -40 = -5*q + 75. Let b = q + -12. Does 5 divide b?
False
Does 30 divide -2*((-6)/(-4) + -2) - -96?
False
Let u = -32 - -82. Suppose l + 4*l = -3*q + u, -3*q + l = -26. Does 10 divide q?
True
Let d = -24 - -17. Let o = d - -13. Is o 