le of 6?
True
Let f be (44/(-6))/(4/(-6)). Does 11 divide f*(1 + 0/1)?
True
Suppose 0 = 5*i + 15, 0 = -r + 4*r + 2*i + 6. Suppose r = 4*b - 8 - 4. Does 3 divide b?
True
Let m(d) = -d**2 - 11*d - 8. Let l be m(-10). Suppose 0 = -w - 2 - 0, l*c - 66 = -5*w. Is c a multiple of 8?
False
Suppose -3*v = 6, -a - 3*v + 35 = -6*v. Does 8 divide a?
False
Suppose 445 = -5*v + 5*i, -5*v - i - 431 = i. Let x = -11 - v. Is x a multiple of 30?
False
Suppose -3*l = -5*u - 3 - 53, 4*l - 56 = 2*u. Is l a multiple of 4?
True
Suppose 18*k = 16*k + 100. Is 10 a factor of k?
True
Suppose -3*p + 5 = -10. Suppose -n + 14 = p. Suppose -35 = -3*v + 5*l, -v + n = -5*l - 16. Does 3 divide v?
False
Suppose 2*u + 5*v - 63 = 0, u - 2*v = 33 - 6. Does 8 divide u?
False
Let j(r) = r**3 - r**2 - 2*r + 2. Let i be j(2). Let w = i - 4. Is 17 - (0 + 0 - w) a multiple of 12?
False
Let f be 204/(-48) + 6/(-8). Suppose -4*y + 16 = -0*y, -2*y = -g - 4. Does 8 divide (g + f)*(1 + -9)?
True
Let c be ((-4)/(-5))/(6/(-15)). Let k be (4/8)/(c/24). Is -3 - -3 - k - 0 a multiple of 6?
True
Let t(h) = -h**2 + 8*h - 6. Let r be t(8). Let s(n) = 6 - 3*n - n + 0 - 2. Does 14 divide s(r)?
True
Let q(h) = h**2 - 4*h + 4. Let j be q(4). Is (-1)/j - 244/(-16) a multiple of 5?
True
Let u(b) = 9*b - 2. Let o(t) = -t**3 + 7*t**2 + 10*t - 11. Let g be o(8). Let l(k) = 28*k - 6. Let v(a) = g*l(a) - 16*u(a). Is 9 a factor of v(-4)?
True
Let x(a) = a**3 + 9*a**2 + 2. Let q be x(-9). Suppose q*z + u - 74 = -3*u, -3*z - 2*u + 115 = 0. Is 15 a factor of z?
False
Let n be (-2)/(-1 - 3/(-6)). Suppose -14 = n*r - 2. Is 14 a factor of ((-9)/(-6))/(r/(-56))?
True
Suppose -3*n + 9*n = 1920. Is 40 a factor of n?
True
Let q(o) = o**3 + 4*o**2 - 7*o - 3. Suppose 8 = 3*h - 46. Suppose -3 + h = -3*y. Is q(y) a multiple of 5?
False
Let h = -345 - -551. Is h a multiple of 23?
False
Let s = -8 - -11. Let j be s/2 + 1/2. Suppose 204 = 2*x + j*x. Is 13 a factor of x?
False
Suppose -k + 2 + 0 = 0, 4*k = 5*x - 42. Let h = x - 3. Does 7 divide h?
True
Let p(m) = -4*m**3 - 3*m**2 - 5*m - 4. Is p(-2) a multiple of 13?
True
Does 13 divide -1 + (123 + -3)/3?
True
Let m = 66 - -93. Does 22 divide m?
False
Let k be (-19)/(-4) - (-1)/4. Let q(w) = 2*w**2 + 3*w - 2. Let p be q(2). Suppose 27 = k*s - s - b, -p = -s - 5*b. Does 4 divide s?
False
Suppose 4*v - 5*g = -0*g + 35, -3*g = -15. Let n = v + -11. Suppose -2*p = -5*h + 2*h + 64, 0 = 4*h + n*p - 92. Is 18 a factor of h?
False
Suppose 3*q - 14 = 3*r + 2*r, 0 = 3*q + 2*r - 28. Let b = 14 - q. Does 3 divide b?
True
Suppose 2*o + 29 = m, -4*o + o = -m + 29. Let z = -21 + m. Does 2 divide z/2 - (3 - 1)?
True
Suppose 3*d + 12 = 0, -4*d - 16 = -2*h + 8. Suppose -r + h*r = -3. Let j = r - -7. Is 3 a factor of j?
True
Let j = 54 + 38. Suppose 2*a - j = -2*a. Is a a multiple of 9?
False
Let p(y) = y**3 - 5*y**2 - 6*y + 4. Let k be p(6). Suppose 3*x = 2*v - k, 15 = 3*v + 5*x - 10. Suppose -5 = 3*a + 7, -3*a = v*n - 33. Is 6 a factor of n?
False
Suppose 0 = -2*v + v + 5. Let x = v + 12. Suppose l - 3*k = 24, l + 3 = -2*k + x. Is 5 a factor of l?
False
Suppose 211 = 3*z - 2*h, -5*z + z + 266 = 5*h. Is 24 a factor of z?
False
Let s(z) be the first derivative of z**2 - 3*z - 1. Let v be s(3). Suppose -2*h - 34 = -v*h. Is h a multiple of 19?
False
Suppose 5*v = -2*p - 3*p + 1075, 230 = v + 4*p. Is 30 a factor of v?
True
Let p(v) = 4*v. Suppose -3*j - 3*x + 38 = 8, 2*x = -3*j + 31. Let m be p(j). Does 15 divide (-328)/(-11) - (-8)/m?
True
Let f(s) = -s**3 + 9*s**2 + 14*s + 5. Is f(10) a multiple of 9?
True
Let t be 2 - (-3 + 5) - 0. Suppose -3*b + 135 = 5*i, 4*i - 7 - 5 = t. Does 10 divide b?
True
Let o(g) = -5 - 2 + 9 - 4*g. Suppose 0 = -4*j - 0*j - 8. Is 6 a factor of o(j)?
False
Let g(u) = -u**2 + 8*u + 11. Let m = 22 - 13. Let c be g(m). Suppose -z - 7 = 2*b - 55, -c = z. Is b a multiple of 12?
False
Suppose -28 + 100 = c. Is 12 a factor of c?
True
Suppose -r + k + 3 = -7, -k = r - 20. Does 15 divide r?
True
Let h(t) = -t**2 - 17*t + 16. Is h(-15) a multiple of 41?
False
Suppose -3*q + 4*f = -636, -2*f + 410 = 6*q - 4*q. Is q a multiple of 52?
True
Suppose 5*x - 4*c + 42 = -171, -c = 2*x + 80. Let p = x + 59. Does 14 divide p?
False
Suppose -10 = -2*l + 3*o, 4 = -l + 5*l + 2*o. Let f(i) = i + 1. Let s(a) = -10*a - 8. Let m(j) = -8*f(j) - s(j). Is 4 a factor of m(l)?
True
Suppose -7*c + 110 = -2*c. Does 4 divide c?
False
Let d(p) = 4*p**2 - 14*p + 40. Is 33 a factor of d(7)?
False
Let z(a) = -a**3 + 7*a**2 - 7*a - 2. Is z(5) a multiple of 8?
False
Let d = -16 + -552. Let a = d - -188. Is a/8*(-12)/15 a multiple of 18?
False
Let j be (-511)/(-4) - (-2)/8. Suppose 5*o - 2 = -a - 25, -a + 3*o + 1 = 0. Does 12 divide a/28 + j/7?
False
Let i(o) = o**2 + 7*o + 12. Let s be -4*(-6)/8 - 12. Is 10 a factor of i(s)?
True
Suppose -11 = h - 0*h. Let t(c) be the third derivative of -c**5/60 - 7*c**4/12 + 7*c**3/3 - 14*c**2. Does 19 divide t(h)?
False
Let l = 1 + 1. Let b be (l/(-3))/((-10)/345). Suppose -b = 5*w - 78. Does 11 divide w?
True
Suppose 1 = -r + 3. Suppose -r = 4*c + 2. Let n(t) = 28*t**2 - 1. Is 9 a factor of n(c)?
True
Let o be (-936)/42 + 4/14. Let c = o - -38. Does 5 divide c?
False
Let f be 0 + 33 + (1 - -2). Let v = f - 10. Is v a multiple of 8?
False
Let f(j) = j**2 + 13*j - 51. Is f(-17) a multiple of 5?
False
Suppose 0 = z + y - 6*y - 28, 0 = -z - y + 40. Is 19 a factor of z?
True
Suppose 2*v - 4*y = 80, -4*v + 3*y + 148 = -y. Is v a multiple of 31?
False
Suppose 4*w = 148 + 148. Does 12 divide w?
False
Suppose -142 = 5*k - 372. Is k a multiple of 4?
False
Let t(f) be the first derivative of -f**2 + 13 + 3*f**2 - 10 + 4*f. Is 20 a factor of t(9)?
True
Suppose 0 = -u + 3*v + 4 + 5, 4*u + 9 = 3*v. Let i be (2 + u/3)/(-2). Suppose i = 4*s - 8, -4*s + 168 = 5*g - 0*s. Is 16 a factor of g?
True
Let w be 74 + -1 + 1 + -2. Let g = w + 16. Suppose 4*x - x - 15 = 0, 2*q - g = 2*x. Is 22 a factor of q?
False
Let t(w) = -2*w**3 - 2*w**2 + 2*w. Let y be t(-2). Let p = 35 - 10. Suppose -y*r + 121 = -u, 5*u - p = -2*r + r. Is 13 a factor of r?
False
Let p = 2 + 9. Is p a multiple of 4?
False
Suppose 0 = -2*y + 6, -4*a - y + 2 + 1 = 0. Suppose a = -2*x + 3*j + 29, 0*x - 3*j - 49 = -4*x. Does 6 divide x?
False
Suppose -12 = -4*j, 0 = -4*t - 0*j + 3*j + 27. Does 7 divide t?
False
Let a(r) be the second derivative of r**5/20 - 11*r**4/12 + r**3/3 + 2*r. Is 7 a factor of a(11)?
False
Let g = 165 - 97. Is g a multiple of 17?
True
Suppose 5*s - 5*r - 282 = 333, -2*r = s - 111. Is s a multiple of 17?
True
Is 6 a factor of 1458/42 + 6/21?
False
Let z(o) = 2*o + 12. Let v be z(-10). Let t = v - -19. Does 11 divide t?
True
Suppose -2*j + 14 = -2. Suppose -8 - j = -p. Suppose 2*i - 16 - p = 0. Is i a multiple of 16?
True
Let b(a) = -28*a + 11. Let j be b(-13). Suppose -3*o - 96 + j = 0. Is 29 a factor of o?
False
Let i = -4 + 10. Let m be (-5)/(-25)*-1 - (-8)/(-10). Let d = m + i. Does 3 divide d?
False
Suppose 0 = 2*k - 40 + 6. Suppose -k = -0*j - j. Is j a multiple of 17?
True
Let t be -4 - -7 - (-144)/2. Suppose -2*s = v - 36, 0*v - 5*s - t = -3*v. Is v a multiple of 15?
True
Suppose -3 - 7 = -5*r. Suppose -4*i + 68 - 268 = -4*v, 3*v = -r*i + 145. Let a = -21 + v. Does 14 divide a?
True
Let o = 12 - 21. Let p = -6 - o. Does 3 divide p?
True
Let k(p) = 7*p**3 - p**2 + 16*p - 5. Is 22 a factor of k(3)?
False
Let v(n) = -7*n**3 + 3*n**2 - 2*n + 2. Let m be v(-3). Suppose -m = -3*x - 14. Does 10 divide x?
True
Let f = 12 + 7. Suppose 5*o - 8 = -3*j + 21, -o - 5*j = -f. Suppose -o*m + 4 = -v, v - 2*m = -6*m + 12. Is v a multiple of 2?
True
Let t be 1 - ((-2)/2 + 0). Suppose -3*o - d = -15, d - t = -o + 3. Suppose 3*w = -4*s + s + 57, -w = o*s - 95. Is s a multiple of 19?
True
Let f(r) = -6 + r - 3*r - 6. Let u be f(-10). Suppose -5*k = 2*z - 0*k - 36, 3*z - 4*k - u = 0. Is z a multiple of 5?
False
Let x(r) = -r**2 - 3*r + 4. Let t be x(-3). Suppose 9*j - 50 = t*j. Does 4 divide j?
False
Suppose 0*n = -13*n + 481. Is n a multiple of 6?
False
Let r(s) = -7*s + 6. Let p be r(8). Let w = -29 - p. Let h = 37 - w. Is 8 a factor of h?
True
Let y = -6 + -12. Let b = y + 35. Does 7 divide b?
False
Suppose -2*b + 3*i = -180, 4*b + 2*i - 6*i = 360. Suppose 0 = 4*q + q - b. Suppose f + 4*d + 0*d - q = 0, -4*f + 123 = -d.