ultiple of 20?
False
Does 11 divide 14/4*(-2640)/(-140)?
True
Suppose 5*n = 9 + 501. Does 17 divide n?
True
Let m(r) = -r**3 - r**2 - r + 3. Let p be m(0). Suppose -30 = -p*y + 27. Is y a multiple of 10?
False
Let h be (-28)/(-20) + 6/10. Suppose 7*x = 3*x - 4*z + 20, 3*x - h*z = 10. Suppose x*y = 3*y + 6. Does 6 divide y?
True
Suppose 0 = 3*n + n. Suppose 3*m = -n*m + 48. Is 16 a factor of m?
True
Suppose -h = -4*k - 29, 0 = -3*h - h + 4*k + 104. Does 7 divide h?
False
Let k(i) = 5*i - 5. Does 5 divide k(2)?
True
Suppose -5*f = -3*f. Suppose 4*s + 3*j = 6*j + 147, 3*s + j - 120 = f. Is 13 a factor of s?
True
Let y = 48 - 24. Is 12 a factor of y?
True
Let n = 6 + 10. Suppose 7*t = 3*t - n. Does 2 divide (-2)/4 - 18/t?
True
Let l = -780 + 374. Let x = l + 684. Suppose 5*r + 18 - x = 0. Is r a multiple of 21?
False
Suppose -7 = 2*s + 1. Let d = s + 4. Suppose d = -n + 7 + 8. Is n a multiple of 8?
False
Suppose 2*p - 6 = -2. Suppose 0 = -3*g + 2*m - 7, 17 = 3*m + p. Does 12 divide 54/(g - (0 - 1))?
False
Let h(w) = -w**3 + 4*w**2 + w - 1. Let f be h(4). Suppose 0 = f*p - 85 + 31. Is p a multiple of 9?
True
Let l = 16 - -131. Suppose 0 = -3*v + l + 42. Is 21 a factor of v?
True
Suppose 10 = c + 3*u - 13, 5*u - 49 = -3*c. Suppose -4*f + c*f - 108 = 0. Is f a multiple of 9?
True
Suppose 2*o - 10 = 6. Suppose -5*j - 12 = -o*j. Suppose 2*k = 3*l - 24, j*l + 10*k - 55 = 5*k. Is l a multiple of 10?
True
Let u be 2*(2 - 14/4). Let p(m) = -m**3 + 2. Is p(u) a multiple of 7?
False
Let u be ((-2)/4)/((-1)/2). Let b(a) = 23*a + 5. Let j(y) = 12*y + 3. Let r(c) = 3*b(c) - 5*j(c). Does 3 divide r(u)?
True
Let w(k) be the second derivative of -5/6*k**3 + 1/12*k**4 + 1/2*k**2 + 2*k + 0. Does 7 divide w(6)?
True
Let l = -18 - -18. Suppose -4*p = -p + w - 117, l = -5*p + 5*w + 175. Does 17 divide p?
False
Is 15 a factor of -1*110/(-8)*12?
True
Let s(x) = x**2 - 1. Let v be s(-2). Suppose 2*o - 4*g - 27 = -v*g, 4*g - 4 = 0. Is o a multiple of 14?
True
Let t = 1 - -22. Is 6 a factor of t?
False
Let n(a) = -a**2 + 8*a - 10. Let t = 16 + -11. Is 2 a factor of n(t)?
False
Let b = 16 + -30. Let d = -11 - b. Is 2 a factor of d?
False
Suppose -2*m + 3*f = 8*f - 70, 4*m = -4*f + 116. Is m even?
False
Is (-20)/(-30) + 310/3 a multiple of 10?
False
Let n(g) = g + 16*g**3 - g**2 - 42*g**3 + 0*g + 1. Is 7 a factor of n(-1)?
False
Suppose -4*j + 70 + 58 = 0. Does 16 divide j?
True
Suppose 0 = 4*f + 4*b - 2*b + 8, -5*f = -2*b + 1. Let l be (-1)/(f/(2*-2)). Let d = 14 - l. Does 16 divide d?
False
Let h be (-2)/7 - 2/(-7). Suppose h = 4*q - 1 - 39. Is q a multiple of 4?
False
Let o = 23 + -13. Let r = o - 73. Let h = -23 - r. Is 20 a factor of h?
True
Suppose -6 = 2*o - k - 16, -4*o - 3*k = 0. Is 14 a factor of o/(4 - (-229)/(-58))?
False
Let s(v) = 28*v + 2. Let b = 3 + -1. Is s(b) a multiple of 22?
False
Let b be (3/(-6))/((-2)/28). Suppose 0 = -4*l + 5*o + 143, -4*l - 102 = -b*l + 2*o. Is 7 a factor of l?
False
Let b(j) = -23*j - 3. Is b(-1) a multiple of 13?
False
Let h be ((-260)/6)/(-5)*-3. Is (-212)/h + (-16)/104 a multiple of 8?
True
Suppose 0*r = -3*r + 3. Suppose -f + r + 2 = 0. Suppose 40 = 5*h + f*v + 2*v, 3*h + 5*v - 16 = 0. Is 12 a factor of h?
True
Let h(o) = 16*o**3 + 5*o**2 - 2*o + 2. Is 24 a factor of h(2)?
False
Suppose 7 + 5 = 4*d. Suppose -2*k + 65 = 2*b - 31, -109 = -d*k + 4*b. Does 11 divide k?
False
Let q be 2/(1*8/68). Does 4 divide q/2 + (-2)/4?
True
Let q = 105 - 33. Suppose -3*f + 6*f = q. Is 12 a factor of f?
True
Let o be 19 + 4 - (2 - -1). Let p = -13 + o. Is 4 a factor of p?
False
Suppose 543 = 3*m + 135. Is m a multiple of 7?
False
Let p = 11 + -4. Suppose -5*q - 2*d + 7*d = -100, -q - d + 14 = 0. Let a = q - p. Is 10 a factor of a?
True
Suppose -443 = -5*s - 4*r, 0 = -5*s + r + 215 + 218. Is s a multiple of 10?
False
Let u(p) = -6*p + 15*p - 8*p + 11. Does 16 divide u(5)?
True
Let w(b) = 3*b**2 + b + 1. Let c = 1 - 4. Let a be w(c). Does 17 divide a - (2 - 1)*-1?
False
Suppose -4*p - 1 + 5 = 0. Let t = p - 4. Is 4 a factor of t - -22*(-2)/(-4)?
True
Let z(g) = 23*g**3 - g**2 + 1. Is z(1) a multiple of 2?
False
Let p(u) = u**2 - 4*u - 9. Is p(8) a multiple of 6?
False
Let s = 4 - 7. Does 2 divide 3 + (s + 12)/3?
True
Suppose 294 = -0*a + 7*a. Is a a multiple of 14?
True
Suppose -14*z = -11*z - 510. Suppose 3*p - 67 = z. Is 18 a factor of p?
False
Let d = 7 + -1. Let a(q) = -q - 3*q**2 - d + 2*q**2 + 7*q**2 - q**3 - q. Is a(5) a multiple of 7?
False
Let s(b) = b**2 - 3*b - 4*b + 3*b - 2. Let r = 7 + -10. Is s(r) a multiple of 19?
True
Let l be (9 + 1)*12/15. Does 13 divide ((-4)/(-5))/(l/260)?
True
Let v = -12 + 14. Suppose 34 = 3*t - v*w, 3*w = t - 28 + 12. Is 7 a factor of t?
False
Let n(q) = -116*q**3 + q**2 - 3*q - 2. Is n(-1) a multiple of 42?
False
Suppose 5*l + 5 = 4*f, 4*l - 6*l - 5*f = 35. Let v be (-4)/l*(-50)/(-4). Is 7 a factor of ((-4)/v)/(3/(-150))?
False
Let d = -7 - -27. Is (-2 - d/(-6))*39 a multiple of 19?
False
Let d be 1 + 6/3 - 2. Let f be 0*d/(-6)*-3. Suppose -2*a + 4*a - 72 = f. Is a a multiple of 28?
False
Let t(n) = -2*n**3 + n + 1. Let q be t(-1). Let d be 4/q + 9/(-3). Is (0 + -23 - 0)*d a multiple of 8?
False
Suppose 3*k - 5*h - 93 = 96, 0 = -3*k + 2*h + 189. Let b(z) = -z**3 - 5*z**2 + 2*z - 4. Let r be b(-6). Is (r/7)/(18/k) a multiple of 8?
False
Suppose -7*h = -3*h - 240. Is 13 a factor of h?
False
Let h = 94 - 57. Suppose x + 5*o = -2*x + h, 2*x + 2*o - 30 = 0. Does 19 divide x?
True
Suppose -4*q - 25 = q, -h + 4*q + 25 = 0. Does 4 divide h/(3/(-6) + 1)?
False
Suppose -2*k - 6 = -5*k - 3*d, k = 3*d - 2. Let l be (-2)/(-1 - -3) + 0. Is 13 a factor of 6*4/k + l?
False
Let w(l) = 13*l + 1. Is w(1) a multiple of 7?
True
Suppose r + 2*r - 9 = 0. Let u be r/((3/(-15))/1). Does 5 divide (2 + 1)*u/(-9)?
True
Let h(f) = -7*f**2 - 8*f + 16. Let z(b) = 6*b**2 + 9*b - 16. Let y(i) = -5*h(i) - 6*z(i). Let x be y(-12). Suppose 0 = -5*r + x - 15. Does 2 divide r?
False
Let n(s) = -105*s**3 - s**2 - s - 1. Let m be n(-1). Is (1*-3)/((-12)/m) a multiple of 12?
False
Let x be 2/6 + (-5)/(-3). Suppose -2*p = s + p - 29, -48 = -x*s - p. Is s a multiple of 19?
False
Does 2 divide -2 - 1 - (0 + -12)?
False
Suppose -q = -5*q + 1296. Is 11 a factor of q/15 - (-6)/15?
True
Let w(l) = -l**2 + 7*l - 3. Let s be w(6). Does 11 divide (s - 2) + 11*2?
False
Suppose -1701 = d - 10*d. Does 21 divide d?
True
Suppose 3*c = 27 + 111. Does 7 divide c?
False
Let m be 10/3 - 9/27. Suppose 4*r + 12 = 8*z - 4*z, 0 = 3*z + m*r - 21. Is z a multiple of 2?
False
Suppose 198 = -0*w + 3*w. Is 18 a factor of w?
False
Is 10 a factor of (-1)/2 + 315/14?
False
Let u = 96 - 64. Does 8 divide u?
True
Suppose 2*m + 5*d - 40 - 40 = 0, 0 = 2*m + 3*d - 84. Let u = 110 - m. Does 19 divide u?
False
Is 14 + -13 + -3*1 - -52 a multiple of 39?
False
Let r(j) = 2*j - 111. Let v be r(0). Let l = v + 162. Is l a multiple of 14?
False
Let d = 29 + -21. Suppose -232 = 5*a - 697. Does 12 divide d/(-28) - a/(-7)?
False
Suppose -3 = -4*w - 7. Let i(x) be the third derivative of 19*x**5/60 + x**3/6 - 8*x**2. Does 10 divide i(w)?
True
Suppose v - 3*m - 137 = 0, -5*m + 559 = 4*v - 23. Does 21 divide v?
False
Suppose 0 = 3*b - 5*c - 31, b + 2*c = 5*b - 18. Let m(q) = 17*q - 1. Let z be m(3). Does 11 divide -2 + z/b - 1?
True
Let k = 2 - 2. Let i = k - -3. Suppose h + i*h = 88. Is 11 a factor of h?
True
Let i = 23 - 11. Is 4 a factor of i?
True
Let v(h) = h**3 + 3*h - 10. Is 22 a factor of v(4)?
True
Suppose -1 = 2*r - 5*l, 5 = -2*r + 7*r - 5*l. Let d be (0/3)/(r/1). Suppose -2*p - 5*b + 23 = d, 5*p + 7*b - 29 = 4*b. Is p a multiple of 4?
True
Let n(g) = g**3 + 8*g**2 + 2*g - 3. Let k be n(-6). Suppose w = 2*w - k. Is w a multiple of 22?
False
Suppose 3*l - 3*q - 21 = 81, 3*l - 104 = 5*q. Let j = l - 4. Is j/(-3)*-3 + 1 a multiple of 15?
True
Let v(r) = 19*r + 1. Let t be 2/(0 - -2) - 0. Is v(t) a multiple of 8?
False
Let d(n) = -2*n + 1. Let u be d(-2). Suppose x + 0*x + 24 = u*r, 2*x = -2*r. Does 8 divide (-1)/x - 126/(-8)?
True
Does 30 divide (0 - -74)*2/4?
False
Let l(x) = -5*x. Let y be l(-9). Let j = y - 26. Does 11 divide j?
False
Let a be (-15)/(-9)*6/5. Suppose j - a*t - 16 = 0, 4*j + 0 = t + 29. Is 2 a factor of j?
True
Let j = -51 + 111. Is 20 a factor of j?
True
Suppose 2*