e ((-8)/1)/(-4) + -1. Does 12 divide (-32)/((4/54)/k*-3)?
True
Is 155 a factor of (-31 - 0)/(6*(-13)/5070)?
True
Let h be 2/(-6) - (-6)/(-9). Let i be (3 - (-1)/h) + 0. Let b(a) = 10*a**3 + 4*a - 3. Is 11 a factor of b(i)?
False
Does 11 divide (3996/15)/(45/450)?
False
Let f(c) = -2 + 14 - 11*c - 10*c**2 - 2*c**3 + 3*c**3. Let k be f(11). Let v = -8 + k. Is v a multiple of 4?
True
Let t(b) = b**3 - 7*b**2 + 8*b - 8. Let f be t(6). Suppose 2*y - f = -0. Is -10*(y + 9/(-2)) a multiple of 7?
False
Let k(i) = -i**2 + 7*i - 4. Let v be k(8). Does 13 divide v/21 - (-2060)/28?
False
Let d(y) = -12*y**2 - y - 1. Let g be d(-1). Does 17 divide 65 + g/(-3) - 1?
True
Suppose -c + 3*x = -60, 2*x = -4*c + 433 - 137. Is c a multiple of 11?
False
Suppose 5*s - 2*g - 144 = 3*s, 3*s - 4*g - 216 = 0. Suppose 132 = 2*u - 4*y, 4*y - s = u - 2*u. Is u a multiple of 11?
False
Suppose 5*o = 9*o - 20. Suppose 0 = -2*r - o*r + 469. Is r a multiple of 14?
False
Let x = 283 - 115. Is 12 a factor of x?
True
Suppose -5*y - 2 + 62 = 0. Let p = y - 12. Suppose -5*r + b + 49 = p, 2*r + 31 = 5*r + b. Is 4 a factor of r?
False
Is 6 a factor of 3792/56 + 6/21?
False
Let k(h) = 2*h**2 - 5*h - 150. Is k(-23) a multiple of 11?
True
Let t = 2294 + -1527. Is 6 a factor of t?
False
Let s(z) = -z**3 - 21*z**2 - 45*z + 47. Is 20 a factor of s(-19)?
True
Suppose -1510 = 5*k - 5*u, 9*k - 2*u = 4*k - 1507. Let q = k + 518. Is 31 a factor of q?
True
Let v be 0 + 7/5 + (-6)/15. Is 83 + v + (5 - 2) a multiple of 29?
True
Let b(w) = -w**3 - 10*w**2 - w - 8. Let u be b(-10). Let i(t) = 3*t**2 + 4*t - 4. Does 9 divide i(u)?
False
Let c be ((-3)/((-24)/68) - 2)*20. Suppose 7*i - 9*i = -c. Is i a multiple of 17?
False
Let m be -16*(-7)/18 + 6/(-27). Let f be (-2)/(-5) - (-2)/(-5). Suppose f = -m*y - y + 448. Is y a multiple of 8?
True
Is 2 a factor of 6/27 + 0 + (-800)/(-45)?
True
Let s = -37 - -32. Let x be ((-6)/(-9))/(s/(-15)). Suppose -6 = 3*a, -x*f = -5*a - 24 - 8. Is f a multiple of 11?
True
Let s = -15 - -8. Let f be (-1 + 0 - s) + 2. Is 2/f - (-182)/8 a multiple of 10?
False
Let y be -2 - (3/(-1) - 3). Suppose -t + 16 = 3*n, 2*n - y*n - 63 = -5*t. Is t a multiple of 13?
True
Let o(u) = -5*u - 28. Let t be o(-12). Let y be 4/t - (-1390)/16. Suppose 3*m + y - 231 = 0. Is m a multiple of 16?
True
Let w be (-2)/(-3) - (-3126)/9. Suppose 8*q - 5*q = w. Is 24 a factor of q?
False
Suppose -71 = -4*z + 89. Let u = z + -61. Let n = u - -41. Is n a multiple of 10?
True
Is 148 a factor of (2374 + (0 - 6))*(-5)/(-4)?
True
Suppose -532 = -974*o + 967*o. Is 35 a factor of o?
False
Suppose 2*g + 32 = 5*m - 0*g, 22 = 3*m - 4*g. Is 3 a factor of 40/6 - (-2)/m?
False
Suppose 0 = -3*l - 4*c + 9, 0 = -2*l - 4*c + 5 + 5. Is 36/(-3 + 4) - l a multiple of 10?
False
Let j(r) = -r**3 - 7*r**2 - 39*r - 13. Is 7 a factor of j(-7)?
False
Let i = 92 + -44. Suppose i = c + 4. Does 5 divide c?
False
Suppose -2*p = -2*a - 78, 187 = 19*p - 14*p - 3*a. Is 2 a factor of p?
False
Let d(j) = 3*j**2 - j - 1. Let i be d(-1). Suppose -7*u - 33 = i*a - 2*u, -3*a = 4*u + 30. Let r = a + 12. Does 6 divide r?
True
Is 3330/(-75)*20/(-6) a multiple of 4?
True
Suppose -7*s + 116 = -66. Is s a multiple of 5?
False
Let v(d) = -19*d**3 - 5*d**2 + 9*d + 34. Is v(-3) a multiple of 22?
False
Suppose -5*z - 26 = -3*c, 5*c - z - 2 = -3*z. Suppose -b + 2 = -3*d, 3*d - 11 = -c*b + 29. Is b a multiple of 5?
False
Suppose 0 = 3*k - o - 174, -58 = -k + 3*o + 2*o. Suppose 7 = -4*d + 5*h + 56, 0 = 4*d - 2*h - k. Is d a multiple of 8?
True
Is 6 a factor of ((-18)/8)/(12/(-320))?
True
Let p be 24/9 + (-2)/3. Suppose 5*c - 168 = -3*a + p*c, -2*c + 60 = a. Is a a multiple of 32?
False
Suppose -10*z + 2844 = 684. Does 8 divide z?
True
Let r = -1072 + 1212. Does 3 divide r?
False
Is 45 a factor of ((-58)/(-4))/((21/(-220))/(-21))?
False
Suppose -4*a - 1 = -5*a. Let c be (-5*2/(-5))/a. Is 3 a factor of 13 - -4*1/c?
True
Let r be 20 + 1 - 3*1. Suppose r*j = 7*j + 880. Does 20 divide j?
True
Suppose 747 = 6*b - 3861. Suppose -17*n = -5*n - b. Is 30 a factor of n?
False
Suppose 27*v - 595 = 26*v. Is v a multiple of 24?
False
Suppose -523 = -16*b + 15*b. Is 11 a factor of b?
False
Let k(f) = 73 - 72 + 0*f**2 + 77*f**3 + 2*f**2 - 4*f**2. Does 8 divide k(1)?
False
Suppose -5*s + 4*j + 2094 = 0, -490 - 762 = -3*s - 2*j. Let r = -284 + s. Is 17 a factor of r?
False
Let z be 1 - (-1 + (-65)/(-5)). Let c = -8 - z. Suppose -80 = -c*t + 2*t. Does 20 divide t?
True
Let s(r) = -2*r**3 - 12*r**2 + 2*r - 11. Let o be s(-6). Let b = -23 - o. Suppose b = -x - k + 53 + 25, -2*k - 84 = -x. Is 12 a factor of x?
False
Suppose 16*s - 17699 = 11421. Does 52 divide s?
True
Let o be 1/(-2) - 72/(-16) - -28. Let w = o + -14. Is 3 a factor of w?
True
Let j(a) = 2*a**2 + 47*a + 147. Does 15 divide j(-35)?
False
Suppose -15*t + 351 + 189 = 0. Is 36 a factor of t?
True
Suppose -55 + 13 = -3*v + 3*a, 0 = -4*a - 8. Suppose -18 = v*l - 13*l. Is l a multiple of 18?
True
Let n = 26 + -16. Let r(a) = a**3 - 9*a**2 - 6*a - 4. Is r(n) a multiple of 9?
True
Let p be 12/9*(-6)/(-4). Suppose 11*l - 27 - 17 = 0. Suppose -5*i - l*j = -53 - 242, -2*j + 118 = p*i. Is 18 a factor of i?
False
Let f = -1689 - -1785. Is f a multiple of 16?
True
Let i = 426 - 389. Is i a multiple of 37?
True
Let x be -3 + -85 + (-8)/(4/(-2)). Let l = 116 + x. Does 21 divide l?
False
Let i = -8 - -14. Suppose 0 = 3*b + i - 60. Does 11 divide b?
False
Suppose -3*y - 1354 = 5. Let s = 674 + y. Is 20 a factor of s?
False
Let r(p) = p**2 - 11*p + 4. Let c be 3*((-5)/15 - -4). Let d be r(c). Suppose -7*l = -d*l - 405. Does 23 divide l?
False
Suppose 0 = b - 26 - 312. Is b a multiple of 25?
False
Let m(n) = -n**3 + 15*n**2 - 2*n + 12. Let g be m(11). Suppose 4*u + 18 = g. Is u a multiple of 55?
False
Let l(v) = 4*v + 5. Let b be l(0). Suppose -89 = -b*t + 3*f, 3*t - 3*f = 5*t - 23. Does 15 divide t?
False
Suppose 5*h - 1606 = -3*t + 69, 4*h - 4*t - 1308 = 0. Is h a multiple of 4?
True
Suppose -1 + 7 = -2*k. Does 30 divide 1/(-2) - 63/2*k?
False
Let d(p) = 4*p + 38. Let w(m) = -4*m - 39. Let u(x) = -4*d(x) - 3*w(x). Does 3 divide u(-11)?
True
Is 19 a factor of 1176/(-16)*(-88)/6?
False
Let d(s) = 3*s**2 - 8*s + 4. Is d(9) a multiple of 77?
False
Is 11 a factor of (-13)/65 + (-26022)/(-10)?
False
Suppose 0*p + 8 = 4*p. Suppose -13 - 8 = 4*o + 5*c, -18 = 5*o - p*c. Does 5 divide 5/(o/32*-4)?
True
Let j(i) = -4*i - 6. Let g = -23 + 19. Is 3 a factor of j(g)?
False
Let a(r) = 11*r - 31. Let j be a(5). Suppose d + j - 87 = 0. Does 9 divide d?
True
Suppose -2*q + 95 = -473. Suppose 136 = 7*m - q. Does 6 divide m?
True
Suppose -2*q - 94 = -u, 3*q = -u - 0*q + 99. Suppose 32 = 2*l + u. Is 10 a factor of (l/6)/((-1)/6)?
False
Let j = 69 + -68. Is (-1 - j)*-13 + -2 a multiple of 3?
True
Let m be 12/8*-2 + -3. Let k(q) = 8*q + 20. Let g be k(m). Is (g/21)/((-4)/30) a multiple of 10?
True
Suppose -h - 2 = 3*o, -o + 4 = 4*h + 1. Is (-8 + 1)*(-14 - h) a multiple of 15?
True
Let i(q) = -4*q - 28. Suppose 4*p = -1 - 55. Does 7 divide i(p)?
True
Let i(d) = -5*d**3 - 2*d - 14*d + 3*d + 14*d**2 + 4*d**3. Let w be i(13). Suppose w = -4*o - 7 + 103. Is o a multiple of 12?
True
Is 108 a factor of (4 - 8)/((-2)/1566)?
True
Let c = 946 + -586. Is 6 a factor of c?
True
Suppose -12*b = -10*b - 26. Let v(z) = -z**3 + 10*z**2 + 42*z + 8. Does 42 divide v(b)?
False
Suppose 27*v + 3660 = 37*v. Is 21 a factor of v?
False
Let f(z) = 38*z - 2. Does 18 divide f(19)?
True
Let g(d) be the first derivative of 4*d**3/3 - 2*d**2 + 2*d - 125. Let x(p) = -2*p - 1. Let v be x(2). Is 26 a factor of g(v)?
False
Let g(j) = -29*j - 1. Let b be g(1). Let p be (-6)/b - (-9)/5. Suppose -k = x - p*x - 28, k = 4*x + 16. Is 13 a factor of k?
False
Let h(g) = -29*g - 14. Does 3 divide h(-5)?
False
Let c(y) = -3*y**3 - 4 + y**2 - 17*y + 5*y**3 + 16*y + y**2. Is c(2) a multiple of 18?
True
Suppose -2*c + 5*k + 319 = -c, c - 289 = -k. Is 7 a factor of c?
True
Let f(w) = -9 - 11 + 8 - 84*w - w**2 + 103*w. Does 12 divide f(12)?
True
Let k(r) = 2*r + 4. Let c(p) = -1. Let i(l) = 5*c(l) + k(l). Is i(10) a multiple of 9?
False
Suppose 4*t - 364 = -4*r, 2*r - 81 = -t - r. Suppose t = -4*x - 116. Let l = -23 - x. Is l a multiple of 24?
False
Let l = -10 - -13. Suppose v - 24 = -3*z, l*v 