Let y(m) = -37*m + 4. Let d be y(-4). Suppose 5 = 5*x, -4*b + d = -2*x + 10. Does 12 divide b?
True
Let z be 0/2 + -5 + 0. Let o = -3 - z. Is (8 + o - -3)*1 a multiple of 13?
True
Suppose 5*z - 27 = -12. Suppose t + z*t = -2*u + 116, -u = t - 53. Does 12 divide u?
True
Let u(k) = k**2 + 2*k + 2. Let l be u(-3). Is (16/l)/((-5)/(-25)) a multiple of 12?
False
Let m(l) = 3*l - 1. Let g be m(1). Suppose g*s + 8 = 28. Does 10 divide s?
True
Let f = 46 - -47. Let d = -64 + f. Is d a multiple of 17?
False
Suppose 3 - 72 = -3*b + 3*y, y - 97 = -5*b. Is 4 a factor of b?
True
Suppose -5*v = -23 + 3. Suppose -v = y + 2. Is 17 a factor of (28/3)/((-2)/y)?
False
Let p = 161 - 48. Suppose -3*s + 46 + p = 0. Let w = 96 - s. Is 18 a factor of w?
False
Suppose -21 = -5*m + 2*m. Let k(r) = 5*r + m*r + 3*r. Does 15 divide k(1)?
True
Let m(d) = -207*d**3 - 2*d**2 - 2*d - 1. Let w be m(-1). Suppose 2*v + a = 128, 5*a - w = -3*v - 0*v. Is v a multiple of 18?
False
Let s = 27 + -15. Let l = s - 7. Does 5 divide l?
True
Let r = 68 - 22. Does 23 divide r?
True
Is 3177/36 + -1 + (-6)/(-8) a multiple of 11?
True
Let q(b) = b**2 + 8*b + 4. Let c be q(-7). Does 11 divide 10 - c/3*1?
True
Let v be (0 - 9)*(2 - 7). Suppose v + 9 = 2*k - z, -112 = -4*k + z. Does 15 divide k?
False
Suppose 14*h = 4119 - 689. Is h a multiple of 7?
True
Let i(o) = 1 + 1 + 2 - o**2 - 3 - 2*o**3. Let t be i(-1). Is 69 + (t - 4)*-1 a multiple of 26?
False
Let j(r) = -r**3 + 7*r**2 + 9*r - 4. Suppose -n + 1 = 0, -y = 3*y - 4*n - 16. Suppose 0 = d - 3 - y. Does 2 divide j(d)?
True
Is (-48)/(-18)*(-63)/(-2) a multiple of 12?
True
Let u = -7 + 12. Is 3 a factor of u?
False
Let c(n) be the second derivative of 5*n**3/6 - 3*n**2 - n. Does 7 divide c(4)?
True
Suppose -d - 1 = 0, -r + 6*r - d = -109. Let k = -11 - r. Is 11 a factor of k?
True
Suppose -64*t = -69*t + 370. Does 9 divide t?
False
Suppose -3*a + 5*n + 149 = 0, 0*a + 4*n = -3*a + 194. Is a a multiple of 11?
False
Is 3 a factor of 0/(8/4) - -15?
True
Let w(x) = x**2 + 4 - 6*x - 4 + x - 6. Let k be w(-4). Suppose 2*c - k = -3*c. Is 5 a factor of c?
False
Suppose 4*i - 871 = -3*d, -5*d + 569 = 5*i - 516. Suppose 5*u - i = -0*u. Is 11 a factor of u?
True
Let b be (-3)/12 - 17/(-4). Suppose 187 = 4*g + 3*i, g + 3*g - 192 = -b*i. Does 17 divide g?
False
Suppose 12 = -3*v, 7*g - 245 = 2*g + 5*v. Is 5 a factor of g?
True
Is 7 a factor of 13/1 + (-3 - 1)?
False
Let v(c) = 2*c**2 + 5*c - 8. Is v(6) a multiple of 26?
False
Suppose 0 = 3*a - 2*a. Suppose -g = -4*p + 6*p - 25, 5*p - g - 66 = a. Is 13 a factor of p?
True
Let g = -5 + 5. Let f = g - -3. Suppose -2*w + 95 = f*w. Is w a multiple of 8?
False
Let o be (-1 + 4 + 0)/(-1). Let q = o - -18. Does 15 divide q?
True
Let f = -1 + 1. Suppose f*n + 20 = 2*n. Suppose 3*m - m - n = 0. Is m a multiple of 5?
True
Suppose -4*w = -w + 24. Let n = 27 + w. Let j = -12 + n. Is j a multiple of 7?
True
Let n = -507 + 858. Does 23 divide n?
False
Suppose 5*f - 30 = 4*f. Is f a multiple of 10?
True
Let m = -2 + 7. Suppose 0 = -4*z + 2*z - 5*l + 69, 5*z - 260 = m*l. Does 15 divide z?
False
Let w(h) = 2*h**2 + 5*h. Is w(-4) a multiple of 2?
True
Let o(g) = -g**3 - 2*g**2 + 8*g - 1. Does 34 divide o(-5)?
True
Suppose -3*p = 2*g - 219, 30 = 2*p + g - 117. Does 20 divide p?
False
Suppose 16 = 4*a, -2*w + 13 = -2*a - 3. Is 3 a factor of w?
True
Is 7/(-21) + (-68)/(-6) a multiple of 6?
False
Is 6 a factor of (5 + -8)*(-3 + 1)?
True
Suppose -a = 4*p - 6 - 92, -4*p = -4*a - 88. Is 11 a factor of p?
False
Suppose 6*i + 0*i - 246 = 0. Is 20 a factor of i?
False
Let t = -129 + 249. Suppose 2*w + 38 - t = 0. Is 17 a factor of w?
False
Does 9 divide (-1 + (-7)/21)*(-1026)/4?
True
Let h(p) = -2*p + 8. Does 15 divide h(-11)?
True
Let p(u) = u - 1. Let k(l) = -l. Let f(d) = 4*k(d) + 5*p(d). Let j be f(5). Is (-6 + j)*-5 - 0 a multiple of 14?
False
Let k(o) = -63*o - 19. Is 34 a factor of k(-3)?
True
Suppose x = 2*b - 337, 2*b - 3*b - 4*x = -155. Is b a multiple of 29?
False
Let s = 5 - 1. Suppose -m + 3*b = -2*b + 2, 0 = b - s. Is m a multiple of 9?
True
Suppose -8*w - 966 = -31*w. Is 17 a factor of w?
False
Suppose 0 = q - 0*q + 4. Is 10 a factor of ((-10)/q + -1)*24?
False
Suppose 0 = 4*b + 2*t - 34, 0*b = -5*b - 2*t + 40. Is 122/4 - 3/b a multiple of 15?
True
Let x(k) = k**3 - 8*k**2 - 3. Let t be x(8). Let c(d) = -7*d - 7. Is 4 a factor of c(t)?
False
Let r(q) be the first derivative of 2*q**3/3 + q**2 - 7*q - 2. Is 20 a factor of r(-6)?
False
Suppose -25 - 26 = -3*p. Is p a multiple of 3?
False
Let y(k) = k**2 - 5*k - 6. Let n be y(-6). Does 4 divide (-1)/2*n/(-3)?
False
Is 13 a factor of 39 - (-1)/5*0?
True
Let v be 9/4*(-8)/(-6). Suppose 4*o - 199 = -v*x, -3*o + 2*x = -7*o + 198. Is o a multiple of 13?
False
Let m(h) = -h. Let k be m(-7). Let b(w) = 5*w - 80. Let c(o) = -o + 16. Let f(l) = 2*b(l) + 11*c(l). Does 6 divide f(k)?
False
Let k be (-4)/6 + (-40)/(-6). Suppose 0*h - k = -2*h. Suppose r = 31 - h. Does 17 divide r?
False
Let p be ((-130)/(-15))/(4/6). Let o = p - 3. Is o a multiple of 10?
True
Is -1 + 32 - (4 + (-14)/2) a multiple of 10?
False
Let z(v) = -v**3 - 3*v**2 + 5*v + 6. Let a be z(-4). Suppose a*c - 3 = 7. Is 3 a factor of c?
False
Let w(r) = r**3 - 2*r**2 - 7*r + 6. Let b be w(4). Let y be 1186/b + (-4)/(-10). Suppose 3*z - y = 19. Does 12 divide z?
False
Let r(f) = -18*f - 2. Let n = -5 - -9. Suppose g = -6 + n. Is r(g) a multiple of 18?
False
Let r = 55 - 32. Is r a multiple of 5?
False
Suppose -2*w + 59 = 9. Suppose 4*f - w = 55. Does 18 divide f?
False
Let k be 3/2*(-4)/(-3). Suppose 7 = 4*t + k*c - 7*c, -2*t - 3*c + 9 = 0. Suppose 0 + 4 = -2*u, -t*u = 4*p - 98. Is 19 a factor of p?
False
Let x(g) = 3*g**2 + g - 25. Does 8 divide x(7)?
False
Let d(r) = 2*r - 2. Let q be d(-2). Let l = q + 45. Suppose -5*y = -31 - l. Is y a multiple of 10?
False
Let j = 6 + -18. Let t(k) = -k**2 - 15*k - 12. Does 8 divide t(j)?
True
Let x(b) = 9*b + 7*b + 5*b. Does 7 divide x(1)?
True
Let k be 17*(-2 + (6 - -1)). Let c be (2 - 1)/1*k. Suppose -c = -0*d - 5*d. Is d a multiple of 11?
False
Let n(a) = a**3 + a**2 + a. Let i be n(0). Suppose 3*m + 0*m - w - 2 = i, -3*m - 10 = -4*w. Suppose 4*c = -2*f + 6*c + 74, 4*f = m*c + 140. Is 12 a factor of f?
False
Let m(b) = -b**2 + 30*b + 13. Is 18 a factor of m(26)?
False
Let g = 280 + -193. Does 29 divide g?
True
Suppose 2*f = 251 + 225. Suppose 7*w = 2*w - 10, -w + f = 3*a. Is 16 a factor of a?
True
Let x(f) = -8*f - 2. Let z(j) = -7*j - 5. Let b(y) = -4*y - 3. Let h(g) = 5*b(g) - 3*z(g). Let k be h(-3). Is 11 a factor of x(k)?
True
Let b(u) = u**2 - u + 1. Let j(d) = -6*d**2 + 18*d - 18. Let y(o) = 18*b(o) + j(o). Is y(1) a multiple of 3?
True
Suppose 0 = -0*t - 5*t + 15. Let g be ((-16)/t)/((-2)/33). Suppose g - 3 = 5*x. Is 17 a factor of x?
True
Let t(f) = -8*f + 4. Let y be (2 + -5)*(-4)/6. Let a be -1 - (y*-1 + 6). Is t(a) a multiple of 20?
False
Let t(m) = m**2 + 8*m + 10. Let p be t(-7). Suppose b - p*h = 6*b - 62, 56 = 4*b + 4*h. Suppose 3*k - 100 + b = 0. Is k a multiple of 15?
True
Does 20 divide 20*((0 - -2) + -1)?
True
Let x = 0 - -1. Let j be (3/(-9))/(x/(-3)). Is 4 a factor of (-2 - -2)/j + 5?
False
Suppose 2*f - 39 = -11. Is 14 a factor of f?
True
Let b be (0 + 3)/((-2)/22). Let f be (1 + b)*3/6. Is 7 a factor of f/(-3)*3 - 2?
True
Let y(n) = -5*n + 5. Is y(-5) a multiple of 10?
True
Let m(v) = -v**3 + 3*v**2 + 2*v - 2. Is 3 a factor of m(2)?
True
Suppose 0 = -2*z + m + 48, 0*m = -3*z + 2*m + 70. Suppose 4*y = -z - 14. Let q = -2 - y. Is 8 a factor of q?
True
Suppose -3 = -v + 6. Let g = v + 3. Is g a multiple of 4?
True
Suppose 2*h + 0*h - 10 = 0, 3*h + 103 = 2*t. Is 23 a factor of t?
False
Let z = 11 + -7. Suppose 5*p = z*k + 111, -2*p + 3*k + 9 + 34 = 0. Is p a multiple of 19?
False
Let z = -4 + 8. Let o = z + -2. Is 2 a factor of o?
True
Let y = 31 - 6. Let k be 2/5 + 15/y. Does 8 divide 10 - (2 + 0)/k?
True
Does 10 divide (-50)/(-3) + 4/(-6)?
False
Suppose i - 86 = -j + 16, -4*i - 320 = -3*j. Is 32 a factor of j?
False
Suppose 4*v - 624 = 192. Does 22 divide v?
False
Let l = 6 + -6. Suppose l = -4*d + d - 264. Is (d/(-10))/(2/5) a multiple of 11?
True
Does 9 divide (-21)/(-1 - 6) - (-42)/1?
True
Let l = -63 - -126. Suppose -4*o + l = -o. Is o a multiple of 