= 77 - u. Is c a multiple of 16?
True
Let l be (2/6)/(1/75). Suppose -5*d - 5*b - l = 0, -4*d = -2*b + 11 + 3. Is 0 + 1 + d + 10 a multiple of 7?
True
Let g(i) = -i**3 - 4*i**2 - 2*i + 3. Let c be g(-3). Let o(r) = c*r**2 - 2*r**2 + 7*r + 2*r**2 - 13 + r**2. Is 2 a factor of o(-9)?
False
Let z(g) = g**3 + 6*g**2 - 6*g + 7. Let l be z(-7). Suppose 3*o = -5*m - l*o + 61, 3*o + 37 = 2*m. Is m a multiple of 11?
False
Let o = 9 - 9. Suppose o = -k - 2*k + 72. Does 24 divide k?
True
Let h be 2/(-2) - (-3 - -12). Let j = h - -16. Is j a multiple of 6?
True
Suppose 2*o = -3*s + 36, -o - 2*s = o - 38. Is o a multiple of 7?
True
Does 3 divide 3/8 + (-1650)/(-80)?
True
Suppose 2*z - f = 138, -2*z + 35 + 99 = -3*f. Let a = 106 - z. Is a a multiple of 25?
False
Let y be 0 - 4/2*5. Let b = y + 12. Suppose 3*g = 2*a - 41, 2*a + 0*a = b*g + 46. Is a a multiple of 14?
True
Let d = 13 + -10. Let n be -9 - -3*3/d. Does 2 divide n/(-14) - 288/(-63)?
False
Suppose -4*x - 16 = 0, -3*j + 7*x = 9*x - 142. Does 4 divide j?
False
Suppose 10*t - 4*t = 276. Is t a multiple of 23?
True
Is 255/4 - 2/(-8) a multiple of 16?
True
Let y(n) = n**3 + 3*n**2 - 4*n - 6. Let f be y(-4). Let v(o) be the first derivative of -o**3/3 - 3*o**2 + 8*o + 2. Does 4 divide v(f)?
True
Let w(b) = -2*b**3 + 27*b**2 + 21*b - 33. Is w(14) a multiple of 13?
True
Let x = 4 - 1. Suppose 4*b = x*c + 7*b - 48, -2*c = -5*b - 32. Suppose 0*v + c = 4*v. Is v a multiple of 2?
True
Let g(p) = p**3 - 12*p**2 + 11*p + 5. Let j be g(11). Suppose j*b + 50 = 10*b. Is 5 a factor of b?
True
Let j(h) = h + 1. Let w(y) = -y**3 + 3*y**2 - 2*y + 1. Let l be w(2). Let o(d) = -d + 1. Let t(g) = l*o(g) - 5*j(g). Is 10 a factor of t(-4)?
True
Suppose 4*o = 2*a - 96 - 134, -2*a = o - 215. Let g be a + (-2 + 1 - 2). Suppose 5*f + 46 = g. Is 7 a factor of f?
False
Let o(q) = q**2 + 9*q - 13. Let r be o(-10). Let b be (-10)/r - 2/(-3). Suppose -8 - b = -4*k. Is 3 a factor of k?
True
Let b(w) = w**2 - 6. Suppose -a = -4, -3*p + 4*p + 25 = 4*a. Let h be 48/p + 4/(-6). Is b(h) a multiple of 10?
True
Let a(y) = -5*y + 42. Is a(-5) a multiple of 20?
False
Suppose -3*k - 6 = 0, -2*k + 160 = 3*x + 2*k. Is x a multiple of 14?
True
Suppose i + 47 = 9. Let t be -2*(9/1 - -2). Let q = t - i. Does 9 divide q?
False
Suppose 3*x = 3 + 3. Suppose x*m - m - 37 = 0. Does 7 divide m?
False
Let q(t) be the third derivative of t**4 - 3*t**2. Let c be q(1). Let i = 52 - c. Is i a multiple of 14?
True
Let c = 1 + 3. Suppose -c*y + 8 = -0. Suppose 3*a - 5 = y*a. Is a a multiple of 5?
True
Suppose -3*k - 56 = k. Let r be k/(-8) - (-4)/16. Is (r + 40)/1 - -2 a multiple of 17?
False
Suppose -4*l - 36 = -124. Suppose 6*r - l = 4*r. Is 7 a factor of r?
False
Does 11 divide 444/10 - 2/5?
True
Suppose 0 = 10*v - 6*v - 60. Does 2 divide v?
False
Let u(q) = 4*q - q - 3*q - 3 - 3*q. Does 3 divide u(-4)?
True
Let l = 230 - 153. Is 9 a factor of l?
False
Suppose 0 = c + 10*c - 3289. Does 45 divide c?
False
Let i(n) = 2*n**2 - 2 - 3 - 13*n - 7 - 3*n**2. Is i(-7) a multiple of 15?
True
Let r = 64 + -28. Is r a multiple of 9?
True
Suppose 2*f - 5*l = 55, 2*l + 70 = -f + 3*f. Does 20 divide f?
True
Let z(o) = o**3 + 2*o**2 - 8*o - 6. Let p be z(-5). Let i(s) = -14*s**2 - 2*s - 1. Let f be i(2). Let d = p - f. Is 20 a factor of d?
True
Let y = 92 + -28. Does 16 divide y?
True
Let w = -2 + 5. Let z be (-13 - 8)*(-1)/w. Suppose -2*r - 4*u = -50, -2*r + 4*u + z = -r. Is r a multiple of 17?
False
Let t(g) = 3*g + 3. Let k be t(9). Suppose 6*j - k = j. Let w(i) = i**3 - 4*i**2 - 7*i - 6. Does 8 divide w(j)?
True
Let n = -3 - 1. Let t(f) be the first derivative of -3*f**2 - 4*f + 3. Is t(n) a multiple of 10?
True
Suppose -15 = -3*t - 2*w, 0 = t - 4*w + w + 6. Suppose 5*a - t*a = 10. Is 2 a factor of a?
False
Suppose 4*v + 5*g = -42 - 43, 3*g = v + 34. Let d = v - -35. Is 5 a factor of d?
True
Suppose -2*l - l = -5*j + 405, 5*j - 400 = 4*l. Is j a multiple of 21?
True
Let q = -3 - -2. Is 8 a factor of 8 - (q - (1 + -2))?
True
Let u(s) = s**2 - 7*s + 1. Let l be u(7). Is (-7 + -7)/(l - 2) a multiple of 4?
False
Let d(r) = -r + 1. Let u be d(-3). Let h(z) = 4*z**2 - 4*z + 6. Let c be h(u). Suppose 3*q - c = -12. Is 7 a factor of q?
True
Suppose 2*v - 45 = -v. Does 13 divide v?
False
Suppose 34 = -m - 4*u, -3*m - 93 = 3*u - 0*u. Let i(b) = b. Let f be i(-7). Let l = f - m. Is 8 a factor of l?
False
Suppose 4*l = 2*l + 24. Is 3 a factor of l?
True
Suppose -4*g + 698 = -82. Suppose -g = -l - 4*l. Is 20 a factor of l?
False
Let x(z) = 2*z**3 - 7*z**2 - z - 6. Is x(5) a multiple of 11?
False
Let z = 11 - 3. Is 8 a factor of z?
True
Let i(q) = q**3 - 3*q**2 + 6*q - 6. Let d be i(4). Let x = -23 + d. Does 8 divide x?
False
Let l = -3 - -6. Let z be (0 - 1 - -1) + l. Suppose 2*i = 4*i + r - 39, z*r + 37 = i. Does 9 divide i?
False
Let d(j) = 8*j**3 + 3*j**2 - 2*j - 2. Let w be d(2). Is 4 a factor of ((-40)/w)/(2/(-14))?
True
Let r be ((-3)/2)/((-1)/4). Suppose 3*w = -r, 4*z + 4*w = 3*z. Does 4 divide z?
True
Let j(f) = 5*f**2 - 2*f + 11. Is 14 a factor of j(5)?
True
Let n(c) = 3*c - 4. Let s be n(3). Suppose -s = -4*w + 11. Let i(k) = -k**2 + 5*k + 1. Is i(w) a multiple of 5?
True
Let d be -16*(-1 + (-3)/(-6)). Suppose -10*b + 14 = -d*b. Is b a multiple of 7?
True
Suppose 218 = 3*d - 94. Is d a multiple of 33?
False
Let v(q) = 17*q + 8. Is 19 a factor of v(4)?
True
Let k(t) = -t + 1. Let g = -1 + -5. Does 4 divide k(g)?
False
Suppose 0*j - 3*j = -3*g + 30, -30 = 4*j - 2*g. Let v(b) = -3*b + 1. Is 9 a factor of v(j)?
False
Suppose 192 = 8*r - 4*r. Is r a multiple of 12?
True
Suppose -s - 1 = -2*p - 15, -37 = -3*s + 5*p. Suppose 110 = s*r + 30. Suppose -5*v = -0 - r. Is v a multiple of 2?
True
Let y be (9/2)/((-6)/(-8)). Let z(m) = 19*m + 1. Let j be z(y). Suppose 0 = l - 5*r - 64, -4*r = -2*l - 7*r + j. Is l a multiple of 20?
False
Suppose 5*l = 186 + 19. Is l a multiple of 3?
False
Suppose 0 = 2*r - 3*d - 0*d - 6, -2*d = 0. Suppose -2*i + 8*v = r*v - 71, 22 = i + 2*v. Does 14 divide i?
True
Let r = 94 + -54. Suppose -2*a + 32 - 8 = 2*q, r = 3*q + 4*a. Is (-10)/q*2*-22 a multiple of 22?
False
Let u be (-6 - -9)*1*-1. Is 16 a factor of -16*u/((-24)/(-14))?
False
Suppose 3*f = 2*f - r + 19, -2*f - 5*r = -35. Does 5 divide f?
True
Let o = 11 - 16. Let d(l) = 3*l**2 + 4*l - 5. Does 14 divide d(o)?
False
Suppose 86 = g - 2*c - 3*c, 3*g + 4*c - 277 = 0. Is g a multiple of 13?
True
Suppose 0 = -4*p + 3*n + 483, 4*p + n - 5*n - 480 = 0. Is 34 a factor of p?
False
Let d(l) = -10*l. Let b(p) = -3*p. Let i(u) = -7*b(u) + 2*d(u). Let v be i(4). Suppose a - 5 - v = 0. Does 7 divide a?
False
Is (0 - -1 - -105) + (-22)/11 a multiple of 26?
True
Suppose -2*f = -4*f + 12. Suppose 4*v = -f - 10. Let b(z) = z**3 + 5*z**2 + 3*z + 1. Does 5 divide b(v)?
True
Let k(s) = -3*s - 2. Let w be (12/10)/(3/10). Suppose -r - w + 0 = 0. Does 4 divide k(r)?
False
Let f(z) = 3*z**3 - 2*z**2 + z. Let t be f(1). Does 3 divide ((-5)/((-5)/8))/t?
False
Suppose 2*u = 2*s - 484, 3*u - 5*s = u - 496. Does 19 divide 6/12 - u/4?
False
Let s = -41 - -64. Let c be ((-2)/2 - -3) + 6. Let z = s - c. Is z a multiple of 15?
True
Let y = 4 + 0. Is 15 + -4*2/y a multiple of 7?
False
Suppose -5*x + 107 = -248. Let v = x + -47. Does 12 divide v?
True
Let s(r) = r**2 + 4*r + 6. Let n be s(-3). Suppose n*l - 4*q - 42 = -0*l, 14 = l + 3*q. Does 12 divide l?
False
Suppose -2*o - 2*k = o - 790, 5*o = -k + 1319. Is o a multiple of 22?
True
Let t(u) = u**2 + 5*u - 2. Let p = -4 - 2. Let f be t(p). Suppose 0 = -f*m + g + 83, m - 4*g - 3 + 1 = 0. Is 22 a factor of m?
True
Let d(h) = h**2 + 1. Let s(q) = 5*q**2 + 2*q + 2. Let o(j) = -3*d(j) + s(j). Let m be o(1). Suppose 0 = -3*w - m*k + 66, w - 4 - 2 = 3*k. Is 7 a factor of w?
False
Suppose -5*t - 9 = 3*u - 6*u, -t = 4*u - 12. Suppose -2*x - u*x = -235. Is 16 a factor of x?
False
Let b = -23 - -13. Suppose 4*n - 8*n + 79 = -5*p, -5*n = 5*p - 155. Let a = n + b. Is a a multiple of 5?
False
Suppose 320 = 3*g - 184. Does 42 divide g?
True
Let p be ((-4)/(-10))/((-2)/(-70)). Does 6 divide p - (-4)/1 - -4?
False
Let n = 7 + -9. Let l(q) = -7*q**3 + q**2 - 3*q - 3. Is 21 a factor of l(n)?
True
Suppose 2 + 32 = -2*r. Let z = 65 - r. Is z a multiple of 30?
False
Suppose -2 = -s, -b + 71 = -0*b 