 h(u) = 6*u + 24. Let d be h(-4). Suppose 5*z - 559 - 156 = d. Is z a multiple of 13?
True
Suppose -13*t = -25*t + 5304. Does 12 divide t?
False
Let n(r) = r**3 + 5*r**2 + 2*r - 7. Let a be n(-4). Does 3 divide (-180)/(-80)*(a + 13/3)?
True
Let o(x) = -x**2 - 6*x - 4. Let y be o(-4). Let b be (-6*(-2)/3)/((-2)/(-95)). Suppose -y*v = -2*v - b. Is 25 a factor of v?
False
Suppose -7*b + b - 24 = 0. Does 26 divide b/8 - 261/(-2)?
True
Suppose -119 = -20*s + 21*s. Let u = 165 - s. Is u a multiple of 14?
False
Let w(a) = a**2 + a + 4. Let q be w(-2). Suppose -q*v + 256 = -2*v. Is v a multiple of 16?
True
Suppose -36 = 7*s + 440. Is 27 a factor of (-2)/(1/s*2)?
False
Let p(m) = m**2 + m - 10. Suppose k = -6*k + 49. Let b be p(k). Suppose -246 - b = -4*f. Is f a multiple of 16?
False
Let s be (-7 - -5)/((-4)/10). Suppose 2*f - s*h - 29 = 0, -14 = -5*f + h + 1. Suppose -f*u - 3*i = -69, u + 2*u - i = 87. Is u a multiple of 6?
True
Let i(m) = -m**3 + 5*m**2 + 6*m + 8. Let z be i(6). Suppose t = 66 + z. Suppose -2*l + t = -34. Is 18 a factor of l?
True
Suppose -8*l = -199 - 8641. Is l a multiple of 13?
True
Suppose -2*c + 2256 = 6*c. Suppose 0 = -2*f - 6 + c. Does 23 divide f?
True
Let p = 53 - 28. Does 17 divide (-1722)/(-15) + 5/p?
False
Let m = 309 + -39. Let a = m + -49. Is a a multiple of 21?
False
Suppose 0 = -13*f + 320 - 8. Suppose 5 = 3*u - 28. Let y = f - u. Is y a multiple of 3?
False
Let m(i) = -29*i**2 - 2*i. Let o be m(-2). Let g = -62 - o. Is g a multiple of 13?
False
Let h = -32 - -36. Suppose -w = -3*l - l + 77, -h*l + 52 = 4*w. Is l a multiple of 18?
True
Suppose 9*v - v = 1312. Suppose -5*i + v = 4*c - 1199, 0 = -3*c - 9. Is i a multiple of 25?
True
Let x be (-33)/(-9) + 4/(-6). Suppose 0 = h + 2, 8*h = -5*q + 3*h + 670. Suppose 3*d + g - q = -x*g, -2*g = -2. Does 17 divide d?
False
Suppose 5*k = 10, -p + k - 632 + 2142 = 0. Is 27 a factor of p?
True
Let w = -75 - -90. Is 2 a factor of w?
False
Suppose -4*l + 17 = 3*t, -10 = -4*t + 3*l - 4. Suppose y + 7 = 6*y - 4*b, t*b + 7 = 2*y. Let v(a) = -29*a**3 + a**2 - a - 1. Is v(y) a multiple of 15?
True
Let k(b) = -3 - 344*b + 8 + 2*b**2 + 360*b. Is k(-9) a multiple of 8?
False
Suppose 4*o + 4*a = 12, 9 = -2*o - 4*a + 5*a. Let h(b) = b**3 + 3*b**2 + 1. Let z be h(o). Suppose 189 = z*p - 81. Is 27 a factor of p?
True
Suppose 6*q - 2*q = 56. Let i be (-34)/51*q*3. Is 117/13*i/(-3) a multiple of 14?
True
Is (6/24)/(-6 + 15725/2620) a multiple of 10?
False
Suppose d = w + 30 - 4, -104 = -4*d - 5*w. Let r = d - 16. Is r a multiple of 3?
False
Let z = -2386 + 3558. Does 3 divide (-3)/(z/296 + -4)?
False
Let g be (7 - (-6 - -12)) + 0 + 977. Is 23 a factor of ((-1)/(-3))/(2/g)?
False
Let a(i) = 50*i**2 - 11*i - 51. Is 11 a factor of a(-5)?
True
Suppose p = 3*p - p. Suppose p = -4*i - 9*i + 1001. Does 13 divide i?
False
Suppose -5*u + 227 = -1403. Suppose 120 = s - 5*w, -2*s = -5*s - 2*w + u. Does 22 divide s?
True
Let q(i) = 59*i + 2. Let a be (-2)/4*(-11)/((-33)/(-18)). Is 33 a factor of q(a)?
False
Let p be 0 + 0 - 185/(-5). Let w = 62 - p. Is w a multiple of 12?
False
Let t(a) = 21*a**2 - 3*a. Let v be t(-3). Let r = -9 + v. Is r a multiple of 8?
False
Suppose -g + 4*g = 12. Suppose 0 = -g*y - 2*l + 122, 5*l = -4*y + 58 + 49. Is 11 a factor of y?
True
Let m(u) = 45 + 25*u - 9*u + 9*u. Is 35 a factor of m(8)?
True
Let n be (-637 - (3 + -6))/(-2). Suppose 2*l - 6*q + 388 = -3*q, 0 = -l - 5*q - 220. Let v = n + l. Is v a multiple of 25?
False
Suppose -k + 3*z + 131 + 23 = 0, -5*z + 194 = k. Is 13 a factor of k?
True
Suppose -3*g = 15 + 6. Let p(c) = -c**3 - 7*c**2 - 6*c + 17. Is p(g) a multiple of 14?
False
Let t = 2615 + -1730. Is t a multiple of 32?
False
Let v = 6 + -14. Is (-5)/v*-14*-4 a multiple of 9?
False
Suppose -3*s + 8*s - 20 = 0. Suppose 0*g - 4*g - 4 = -s*q, -5*q = 2*g - 19. Let p(n) = 5*n**2 + n + 2. Is 24 a factor of p(g)?
True
Suppose -n = 3*n - 48. Suppose -5*z + 3*j + 7 = -n, -5*z = 5*j + 5. Suppose -6*k + z*s = -2*k - 24, -s + 13 = 3*k. Is k a multiple of 4?
False
Let w(q) be the first derivative of 15*q - 11/3*q**3 - 9/2*q**2 - 4 + 1/4*q**4. Does 9 divide w(12)?
False
Let g(o) = -o**3 + 5*o**2 + 9*o - 6. Let n be g(6). Suppose -3*q + 45 = 4*y - 0*q, -4*q = -n. Suppose -y - 101 = -5*i. Is i a multiple of 4?
False
Is (64/1)/2 + 0/26 a multiple of 4?
True
Let g(l) = -4*l + 8. Let s be g(-3). Is 26 a factor of (195/s)/(3/48)?
True
Suppose 0 = 12*k - 13*k + 53. Suppose 2*q + 3*q = 5*m + 245, k = q - 2*m. Is 10 a factor of q?
False
Suppose 1 = h - 1. Suppose -h*y + 756 = 2*y. Suppose -5*j = -4*z - 2*j + y, -3*z - 2*j = -163. Does 19 divide z?
False
Let g(x) = -x**2 - 7*x - 10. Let b be g(-6). Let o = b - -6. Suppose 2*d - v + o*v = 176, 250 = 3*d - 2*v. Is 13 a factor of d?
False
Let f(v) be the first derivative of -2*v**2 + 13*v - 7. Let u be f(-7). Suppose 5*x - 49 = -2*r - 14, 2*r = x + u. Does 15 divide r?
False
Let r(l) = -4*l**3 - 6*l**2 + 14*l - 21. Let q(f) = -f**3 + f**2 + f + 1. Let s(k) = 3*q(k) - r(k). Is s(-10) a multiple of 17?
True
Let p be (8/(-14))/(2/(-959)). Let t = -192 + p. Is 16 a factor of t?
False
Let l(f) be the third derivative of -f**8/3360 + f**7/840 - f**5/40 - f**4/12 + 4*f**2. Let w(a) be the second derivative of l(a). Is 8 a factor of w(-2)?
False
Let y be (14 + -94)*(-1 + (-1)/(-4)). Suppose 4*t = 428 + y. Is 12 a factor of t?
False
Let r(l) = -l**3 - 3*l**2 + 2. Let p be r(-3). Let g be (-2688)/(-22) + -4*5/110. Suppose -p*j + 4*j = g. Is j a multiple of 17?
False
Let y be ((-6)/4)/(1/2). Let q be 2 + (-9)/(y/1). Suppose -24 = -3*s + 2*r - q*r, -s - 2*r = -3. Is s a multiple of 13?
True
Suppose 44*j = 47*j - 1941. Is j a multiple of 11?
False
Let n(c) = 16*c**3 - c**2 + 1. Let p be n(2). Let y be p/20 + 1/(-4). Let k(w) = 9*w - 6. Is 16 a factor of k(y)?
True
Is 15/90 - (-1113)/18 a multiple of 8?
False
Suppose -1497 = -2*w - 5*k, -3*k = 5*w - k - 3774. Is w a multiple of 14?
True
Suppose -46*a = -58193 + 16747. Is 8 a factor of a?
False
Is 13 a factor of 78*(5 - 13)/(-4)?
True
Let t be (294/(-12))/(2/(-4)). Suppose -3*u + 2*u = -t. Suppose 3*q + 13 = u. Does 3 divide q?
True
Let y = -10 - -15. Let x(m) = -m**2 + 7*m - 1. Let r be x(y). Let d = 18 + r. Does 11 divide d?
False
Suppose -885 = -2*k - 5*c, 0 = -5*k + 3*c + 1954 + 181. Is k a multiple of 16?
False
Let c(z) be the first derivative of -z**2 - 4*z + 3. Let v be c(3). Let i(a) = -3*a - 14. Is 16 a factor of i(v)?
True
Let z = 7 - 18. Let g = -47 - -18. Let f = z - g. Is f a multiple of 6?
True
Is 1/(((-42)/(-2303))/6) + 5 a multiple of 5?
False
Suppose 8*r - 5344 = -8*r. Does 20 divide r?
False
Suppose -x = x + 50. Let p = 36 + x. Is p a multiple of 2?
False
Let t = 3 - -5. Let x be 5946/33 + t/(-44). Suppose 5*y = 5*s - x, 2*y = s - 19 - 17. Is s a multiple of 19?
False
Suppose -3*m - 8*o + 3733 = -3*o, 4*m = -o + 4983. Is 33 a factor of m?
False
Let t = 32 - 34. Let f(h) = -5*h**3 - 4*h**2 - 5*h - 6. Is 28 a factor of f(t)?
True
Suppose 0 = 5*v - 607 - 668. Is 37 a factor of v?
False
Let z be (3/9)/(2/30). Suppose -4*x - z = -5*x. Suppose -h = -q + h + 74, -4*h + 356 = x*q. Is q a multiple of 18?
True
Suppose 4*d - 1694 + 210 = -4*t, 3*d = -5*t + 1853. Does 10 divide t?
True
Suppose 0*m = -2*m + n + 595, m - 294 = -3*n. Is 27 a factor of m?
True
Let l(a) = -a**3 + 3*a**2 - a + 2. Let w be l(3). Does 15 divide (-20)/(-150) - ((-1856)/30 - w)?
False
Suppose p = 4*p - m - 480, -5*p = 5*m - 800. Does 36 divide p?
False
Suppose 473 = -7*n + 5093. Does 33 divide n?
True
Suppose -7459 = -5*n + 2*x, -n - 6*x + 2*x + 1483 = 0. Does 71 divide n?
True
Let j = -1640 + 3062. Is j a multiple of 79?
True
Let x = 3756 - 246. Does 30 divide x?
True
Suppose 14*u - 11*u = 0. Suppose -2*d + 4*d - 38 = u. Is 6 a factor of d?
False
Is 20 a factor of (-252)/(-15)*150/6?
True
Let d be (3/6 + -2)/(6/208). Is (-20 - -21)*(-1 - d) a multiple of 9?
False
Suppose 0 = -4*h + 3*h + 297. Suppose 5*y - 1072 = -h. Does 21 divide y?
False
Let c(b) = b**3 - 11*b**2 - 10*b + 7. Let z be c(12). Is (-4)/2*(z/(-2) + 0) a multiple of 2?
False
Let h be ((-28)/(-8) + -3)*6. Suppose g = h*g. Let o = 66 + g. Does 22 divide o?
True
Is 80 a factor of 1452 + (6 - 0)/6?
False
Suppose -4*z + 9*z - 25 = 0. Suppose -3*p = -z*j - p + 295, 