e -9*i + 105 = -4*i. Is i a multiple of 7?
True
Suppose x = 2*x - 4. Suppose -78 = 2*u - x*u. Does 13 divide u?
True
Does 4 divide 1 - (3 - 0) - (-13 - -4)?
False
Let d(f) = -24*f**3. Suppose 4 = -2*h + 2. Is d(h) a multiple of 14?
False
Let v(s) = 9*s**2 + 3*s + 5. Suppose 5*t - 4*f = 31 - 2, -2*t - 3*f + 7 = 0. Let h(g) = 10*g**2 + 3*g + 6. Let w(x) = t*v(x) - 4*h(x). Is 4 a factor of w(-2)?
False
Let r = 9 + -5. Suppose 2*s - r*s + 70 = 5*i, i - 14 = -5*s. Is i a multiple of 7?
True
Let k = 46 - 19. Is k a multiple of 20?
False
Suppose -u = 3*u. Suppose u = -l - 3*l + 156. Does 15 divide l?
False
Let y(q) = 32*q**2 + q - 1. Suppose 3*a + 9 = -4*v, 0 = -5*a - 4*v + v - 4. Is 11 a factor of y(a)?
False
Suppose -2*g = 5*y - 131, 5*y + 5*g - 30 = 95. Is y even?
False
Suppose -3*x = 3*u + 15, -u - 20 = 4*x - 0*x. Let i(p) = 3*p**2 - 6*p - 12. Is i(x) a multiple of 31?
True
Let x(w) = 2*w**2 + 8*w + 5. Is x(-6) a multiple of 5?
False
Let u be (-213)/(-4) - (-1)/(-4). Suppose -i = 2*b + b - u, 0 = -2*b - i + 35. Does 11 divide b?
False
Let r(t) = -t**3 - 6*t**2 - 2*t - 9. Let d be r(-6). Suppose -d*l + 4 = g, 12 = -l + 3*l - 4*g. Let y(w) = 3*w**2 - 2*w + 2. Is y(l) a multiple of 5?
True
Suppose -3*g + 63 = -0*x + 3*x, 2*x + 3*g - 43 = 0. Is 6 a factor of 15/(-2)*x/(-25)?
True
Let x be ((-4)/10)/((-4)/(-40)). Let w be 46/14 - x/(-14). Suppose 1 = -2*n + n - w*z, 4*z + 12 = 0. Is n a multiple of 5?
False
Let o(q) = 2*q**3 - 3*q**2 - 3. Does 24 divide o(4)?
False
Let z = 1 - -1. Suppose -5*t - 3*j + 13 = 0, t - z + 1 = j. Suppose -16 = -t*h + 2. Does 4 divide h?
False
Let j(o) = -o**3 - 12*o**2 - 14*o + 5. Let y be j(-10). Is (44/y)/(1/(-35)) a multiple of 7?
True
Let t(f) = 6*f - 4. Let u be t(6). Suppose -4*h = -6*h + 3*b + u, 2*h = -5*b + 48. Does 12 divide h?
False
Let w(n) = n**2 + n. Let d(m) = -3*m**2 - 3. Let f(t) = d(t) + 4*w(t). Is 9 a factor of f(3)?
True
Let g(q) = -3*q**3 + q**2 + 2*q + 1. Let k be g(-1). Suppose 2*a = k*a - 8. Is 3 a factor of a?
False
Suppose -q = 4*u - 0*u - 306, -q + 230 = 3*u. Does 19 divide u?
True
Suppose -30 = 2*o - 0*o. Is 3 a factor of 2/(-5) - 81/o?
False
Does 18 divide (22/8)/(1/8)?
False
Let s = 162 + -95. Is 12 a factor of s?
False
Let i be ((-60)/(-9))/(4/6). Suppose 6*r = 7*r + 5*o + i, -4*r = 3*o - 11. Suppose r*m - 122 = 48. Does 17 divide m?
True
Let d = 1 + 2. Suppose -d*q - q = -12. Suppose -5*b + 364 = 2*r + 131, 143 = q*b - 2*r. Is 25 a factor of b?
False
Let m(x) = -2*x**2 + 41*x + 8. Is m(20) a multiple of 7?
True
Let z = -34 + 64. Is 13 a factor of z?
False
Let u(j) = -2*j**2 - 11*j. Let q be u(-8). Let f = -22 - q. Is f a multiple of 9?
True
Let z be 1*(34 + (-1 - 2)). Suppose -5*l - z = -101. Does 7 divide l?
True
Suppose 2*c + 12 = c. Is (c/9)/(4/(-6)) a multiple of 2?
True
Let l(r) = -r**3 - 9*r**2 + 8. Let w(k) = -4*k + 3. Let u be w(3). Is 4 a factor of l(u)?
True
Let n(b) = -b**3 + 7*b**2 - b + 7. Let g be n(7). Suppose g = y - 0*y - 23. Is y a multiple of 13?
False
Suppose -4*v - 5*b + 187 = 0, 3*v + v - 189 = -3*b. Is 12 a factor of v?
True
Let c be 4 - (-1 - -2) - 1. Let w be -1 + c + 40/1. Let x = -29 + w. Is x a multiple of 6?
True
Let f(b) = b + 13. Let t be ((-20)/(-6))/(4/(-12)). Does 2 divide f(t)?
False
Suppose -3*s = -7*s + 8. Suppose -17 = s*n - 5*f, 0 = -5*n - 3*f + 1 + 3. Does 11 divide (-14)/n*(-2 - -3)?
False
Let h(s) = 26*s + 5. Let x be h(4). Let p = -57 + x. Is p a multiple of 18?
False
Suppose -3*s + 8*s + 20 = 0. Let i be (-64)/10 + s/(-10). Does 11 divide (-136)/(-6) - i/(-9)?
True
Let d(s) = 46*s**2 - 4 - 2 + 5. Let k be d(-1). Let z = k - 16. Does 14 divide z?
False
Suppose 6*y = -w + y + 111, 4*w + 5*y = 459. Is 37 a factor of w?
False
Let o(w) = 8*w**2 + 1. Is 6 a factor of o(1)?
False
Let i(x) = -47*x**2 - 2*x - 1. Let r be i(-1). Let v = 70 + r. Does 7 divide v?
False
Let d(c) = -3*c**2 - 19*c + 5*c + 2*c + 11*c**2 - 3 + c**3. Let g be d(-9). Suppose j = 3*j - g. Does 5 divide j?
False
Let h(m) = 5*m - 1 + 3 - 8 + 3. Does 7 divide h(2)?
True
Let o(f) = 4*f**2 + 4*f + 4. Suppose -s = v - 2*s, -3*v = -5*s - 10. Is o(v) a multiple of 28?
True
Let l(m) = m + 3. Let p be l(-3). Let y = 11 - p. Let z = y + -4. Is 2 a factor of z?
False
Let r be 2 + (-3 - 2) + 25. Suppose 0 = -5*y + 2*p + r + 47, -6 = -y + 3*p. Is y a multiple of 15?
True
Suppose 3*f - 7*f - 5*q = 423, 3*f - 4*q = -356. Let v = 25 - f. Suppose v = 4*d - 7. Does 12 divide d?
True
Let y(q) = -3*q + 1. Let s be y(1). Let b be (6/(-8))/(s/40). Suppose -4*p + 187 = b. Is p a multiple of 13?
False
Let b = 72 + -40. Is b a multiple of 17?
False
Suppose 0 = -3*j + 70 - 25. Does 5 divide j?
True
Suppose -17*x = -20*x + 312. Is x a multiple of 26?
True
Let q = 9 - 30. Let n = q + 15. Is 8 a factor of (52/n)/(8/(-12))?
False
Let y = -55 + 159. Is y a multiple of 21?
False
Suppose -2*b + 3*b = 0. Suppose b = d + 2*d - 51. Does 17 divide d?
True
Let w(v) = 28*v**3 + 3*v - 2. Let c be w(2). Suppose y + 3*y = c. Is 19 a factor of y?
True
Suppose -18*g + 65 = -13*g. Is g a multiple of 4?
False
Let m = 3 + -1. Suppose c - m*p - 62 = -2*c, -2*p - 82 = -4*c. Is c a multiple of 8?
False
Let c(a) = a**3 - 5*a**2 - 8*a - 6. Suppose -v + 5 = -2. Let u be c(v). Let r = 67 - u. Is r a multiple of 9?
False
Let o = 8 - 4. Suppose -5 = -o*k - 3*i + 5, 4*k + 5*i - 6 = 0. Is 4 a factor of k?
True
Let f(d) = d**2 + 6*d + 5. Let o be f(-6). Suppose -5*u + 7 = -2*u + q, -5*u + 5*q = -25. Let m = o - u. Is m even?
True
Let p = -12 - -183. Is 19 a factor of p?
True
Suppose t - 43 = -0. Is 25 a factor of t?
False
Is 8 a factor of (-158)/(-10) + 4/20?
True
Let o = 72 + 74. Let l = o - 80. Does 22 divide l?
True
Let c be (-3 + 2 - -1) + -3. Let z be (c + 0 + 3)/2. Let p = 18 + z. Is 8 a factor of p?
False
Suppose -14*h + 17*h - 198 = 0. Does 33 divide h?
True
Let f(h) = -h**3 - 3*h**2 - 4*h - 1. Let m be f(-3). Let n = m + -7. Suppose n*v - 153 = v. Is v a multiple of 18?
False
Suppose -2*d + 6 = -0. Suppose -3*a - d*i + 27 = 0, -3*a - 3*i = a - 34. Suppose a*g - 25 = 2*g. Is g a multiple of 3?
False
Let s = 175 + 11. Is s a multiple of 14?
False
Suppose -9*z + 714 = -78. Is z a multiple of 12?
False
Let x(s) = 97*s - 1. Is x(1) a multiple of 48?
True
Let a be (0 - 0)*(-8)/(-16). Suppose -41 = -2*k + 5*n, a = -4*k - n - 3*n + 96. Is 8 a factor of k?
False
Let r(w) = -w - 4. Let b be r(-7). Suppose s = -b*s + 56. Suppose 18 + s = m. Does 12 divide m?
False
Let k(q) = -2*q**3 + 2*q**2 - q + 5. Let r(l) = -l**3 + l**2 - l + 3. Suppose -34 = -4*c + 10. Let y(o) = c*r(o) - 6*k(o). Is y(3) a multiple of 3?
True
Let d be (2 - 2)*1/(-1). Suppose d = -a + 89 - 12. Is 16 a factor of a?
False
Suppose 0 = -p + t + 56, p = -0*p - 3*t + 48. Suppose -2*b + p = 4*b. Does 3 divide b?
True
Let p(s) = 2*s + 9. Let x be p(-10). Let g = 7 - x. Is 9 a factor of g?
True
Let y be 2/(-4) - (-2)/4. Does 25 divide (y + (-1)/(-3))*177?
False
Is 5984/40 - 4/(-10) a multiple of 30?
True
Let p(z) = -z - 11. Let y be p(-7). Let k = -4 - y. Suppose -2*m + 7*m - 70 = k. Is 7 a factor of m?
True
Suppose -458 = -3*j + x, 0 = -5*j + 3*x + 2*x + 750. Is j a multiple of 16?
False
Let u = 7 - 3. Let f(b) = b**2 + 2*b - 5 + 3 - u. Does 9 divide f(-5)?
True
Suppose h = -1 + 9. Does 8 divide h?
True
Let n(k) = -6*k**3 + k**2 + k - 2. Let a be n(-2). Suppose a = -m + 4*m. Does 9 divide m?
False
Let z = -168 + 281. Suppose -5*t + 12 = p, 3*p + 7 = t - 5. Suppose 5*c - z = -t*d, -5*c + 117 = 3*d - d. Does 7 divide c?
False
Suppose -187 = -4*j + 165. Is 22 a factor of j?
True
Is -2*(-18 + 0)*(-50)/(-20) a multiple of 13?
False
Suppose -3*g + g = -10. Suppose g*u + 0*u = -340. Let w = -34 - u. Is 14 a factor of w?
False
Let c(i) = i**3 - 8*i**2 + 17*i - 10. Is c(7) a multiple of 5?
True
Let f(t) = -5*t - 4. Let z(b) = -b + 6. Let q(o) = -o + 5. Let j(p) = 6*q(p) - 5*z(p). Let d(w) = -f(w) + 3*j(w). Is d(3) a multiple of 10?
True
Is 2/(-6) - 3760/(-30) a multiple of 10?
False
Let c = 205 - 66. Let x = 138 + c. Does 19 divide 4/(-16) + x/4?
False
Suppose 3*l - 201 = 2*o, 90 = l - 2*o + 27. Is l a multiple of 20?
False
Suppose -2*h = 4*q - 422, -4*q - 5*h + 131 = -294. Is 35 a factor of q?
True
Let d(w) = -w**3 - 3*w**2 - 2. Let i be d(-5). Suppose 2*s - 4*l + i = 4*s, 0 = 4*s - 3*l