 + g*b. Is b a multiple of 17?
True
Does 27 divide 4 + (597 + -5 - 4)?
False
Let a = 708 + -456. Does 18 divide a?
True
Suppose -4*h = -h + 15, 3*f + 306 = -3*h. Let g = 2 - f. Does 18 divide g?
False
Let u be ((-73)/2)/(1/(-2)). Let i = u + -57. Does 8 divide i?
True
Let a(h) = 39*h + 56. Is a(4) a multiple of 6?
False
Let i = 283 + -138. Is i a multiple of 18?
False
Suppose -3*y + 645 = -402. Is 6 a factor of y?
False
Let d be (-2 - -1)/(-2*2/44). Suppose 12*g - 62 = d*g. Is 23 a factor of g?
False
Suppose -2*f + 4*t - 5*t + 9 = 0, -3*f + 10 = -2*t. Let h be (-1)/((-10)/9 - -1). Suppose -f*i - 280 = -h*i. Does 12 divide i?
False
Let j be (4 - 1) + (-93)/3. Let f = 31 + j. Does 22 divide 5*(264/20)/f?
True
Suppose s = h - 1570, -h - 155*s + 1595 = -151*s. Is 9 a factor of h?
True
Let w = 721 - 261. Is 68 a factor of w?
False
Suppose 5*x - 2955 = -5*l, 4*l - 2021 - 363 = x. Does 12 divide l?
False
Let h(y) = -y**3 - 6*y**2 - 8*y - 19. Is h(-8) a multiple of 6?
False
Suppose -5*g = -2*n + 393, 5*g + 2 = 17. Is 7 a factor of n?
False
Let o = 287 + -8. Is 31 a factor of o?
True
Does 61 divide 53*16 - (-282)/47?
True
Let a(m) = 288*m**2 + 3*m - 3. Is a(1) a multiple of 22?
False
Let k(m) = -m**2 - 38*m + 101. Is k(-19) a multiple of 21?
True
Let t be (3 - (2 - 1))*-3. Let n be ((-60)/(-4))/(t/(-8)). Suppose -8*o = -4*o - n. Does 2 divide o?
False
Suppose 5*d - 1512 = -d. Is 12 a factor of d?
True
Let i = 2236 - 5679. Let s be (-3)/(-9) - i/3. Is 14 a factor of (s/21)/((-2)/(-3))?
False
Let m(t) = -5*t - t + 5*t + 10. Let d be m(0). Is 8 a factor of (7/5 + 1)*d?
True
Let c(m) = 6*m - 48. Let o be c(8). Suppose -58*g + 62*g - 64 = o. Is g a multiple of 16?
True
Let i = 452 - 32. Is 56 a factor of i?
False
Let n(k) = 69*k + 291. Is 15 a factor of n(-4)?
True
Let w be (-1 - 3) + (7 - 2). Does 13 divide w/1 + 103 + 2?
False
Suppose -1099 = 4*w - 2*i - 8455, 0 = w + i - 1842. Is w a multiple of 36?
False
Suppose 11*u - 4612 = -1917. Let x = u + -105. Is 28 a factor of x?
True
Suppose p + 0*p - 4 = 0, 16 = -2*a + 5*p. Let g(u) = -3*u + 2. Let f be g(-2). Suppose 5*s + 220 = 5*r, 3*r = f*r + a*s - 227. Is 12 a factor of r?
False
Let a(d) = -d**3 + 2*d**2 + 2*d + 204. Let v be a(0). Let g = v - 85. Is 9 a factor of g?
False
Suppose 0 = -v - m - 2935, 0*v + 5*v - 5*m = -14645. Is v/(-16) + 2/(-8) a multiple of 40?
False
Suppose -50 = -5*o + 5*b, -4*o - 5*b = o - 10. Let p(m) = 2*m**2. Let k be p(o). Suppose 5*q - 292 = -4*d, -d + 22 + k = -4*q. Is 26 a factor of d?
True
Let b(o) = o**2 - 4*o + 2. Let h be b(3). Suppose 0 = 4*q - 6 - 2. Does 2 divide ((-12)/8)/(h/q)?
False
Suppose 0 = -2*j + 10, 2*c = 45*j - 43*j + 850. Is 5 a factor of c?
True
Let q(n) = 2*n**3 + 4*n**2 + n. Let l be ((-6)/15)/((-6)/(-30)). Let v be (l/2)/((-4)/12). Is q(v) a multiple of 26?
False
Let x = -49 + 49. Suppose 5*u - 224 - 106 = 0. Suppose x = 2*a - 10 - u. Does 19 divide a?
True
Suppose -2*a = -0*a - 728. Let d = a - 197. Is d a multiple of 45?
False
Let d = 77 + 189. Is 14 a factor of d?
True
Is (-6 + -3 + 4)/((-25)/875) a multiple of 7?
True
Let o be -5*(1 - 4/2). Suppose -14 + 3 = -3*h + o*g, -g - 43 = -4*h. Does 2 divide h?
True
Suppose 2*a - 62 = -2*t, -2*a + 73 = 3*t + 7. Suppose a = -5*p + 6*p. Is 9 a factor of p?
True
Suppose -5*m = 89 - 869. Suppose -2*c = 4*n - 160, 5*c - 3*n - 192 - m = 0. Suppose -5*p = -p - c. Is 9 a factor of p?
True
Suppose -y = 3*v - 5 - 4, -v + y + 3 = 0. Suppose -v*j + 11 - 32 = l, 3*j = -4*l - 12. Let b(h) = -h**2 - 9*h - 3. Is 5 a factor of b(j)?
True
Suppose 49*a - 1465 = 26906. Is 17 a factor of a?
False
Suppose 0 = 17*b - 14*b - 249. Suppose -5*t + 0*a = -2*a - 379, 0 = t - 4*a - b. Does 25 divide t?
True
Suppose 50*w - 52*w = -134. Let p = w - 21. Does 4 divide p?
False
Suppose 223*y = 205*y + 13500. Is y a multiple of 30?
True
Let p be 0 - 2/8*0. Suppose 2*u + 3*u - 180 = p. Suppose 3*m - u = 18. Is m a multiple of 18?
True
Suppose 2*t = 3*t - 4. Suppose 2*u - 280 = 2*g + 144, 2*g = -t*u + 824. Is 26 a factor of u?
True
Suppose 0 = 2*w - 2*x - 106, 253 = 5*w + 3*x - 5*x. Is w a multiple of 49?
True
Suppose 3*x = 4*x - 4*u - 463, 0 = 5*x - 3*u - 2349. Is x a multiple of 6?
False
Suppose -3*x - 4*n + 4275 = 0, -25*x + 28*x + 5*n - 4275 = 0. Is x a multiple of 71?
False
Suppose 3*p + 6 = -3*h - 0, 12 = -h + 4*p. Is 5271/42 + (-2)/h a multiple of 36?
False
Let f be (36/15)/((-2)/(-40)). Let g be 136/f - (-2)/12. Is (-1)/g - 657/(-27) a multiple of 8?
True
Let p = -17 + 11. Let v(n) = -n**3 - 5*n**2 - 2*n - 13. Is 25 a factor of v(p)?
False
Let y = 92 + -99. Let r(f) = -28*f - 5. Is 37 a factor of r(y)?
False
Let i = -1788 + 2069. Is 95 a factor of i?
False
Let f(a) = a**3 + a**2 - a + 3. Let c be f(0). Suppose 0 = -k + 5*k - 3*r - 44, c*r + 58 = 5*k. Does 5 divide k?
False
Let o(x) = -x**3 + 5*x**2 + 3*x - 6. Let l be o(6). Suppose 2*m - 5*k + 142 = 0, 0 = 4*m - 5*k + 2*k + 270. Let t = l - m. Is t a multiple of 10?
False
Suppose 20*v = 8*v + 48. Let c(i) be the second derivative of 5*i**4/12 - 5*i**3/6 + i. Does 13 divide c(v)?
False
Let o(j) = -6*j - 2. Let q be -5 + 9 + 0 + -1. Let l(d) = 7*d + 2. Let g(u) = q*o(u) + 4*l(u). Is g(4) a multiple of 21?
True
Suppose 0 = n + 4 - 5, -76 = -f + 2*n. Suppose 163 = 7*m - 19. Let x = f - m. Does 13 divide x?
True
Suppose 0 = -2*s - 3*s + 5*l + 5, 0 = -3*s + l - 1. Is 21 a factor of 0/((-2)/s) - -20 - -1?
True
Suppose -4*i = -4*n + 1892, -2*n + 5*i + 1897 = 2*n. Suppose -2*v - n = -3*a - a, -5*a - 4*v + 598 = 0. Is a a multiple of 18?
False
Let k(n) = -22*n**3 + n**2 + 2*n + 1. Let x = 38 - 39. Is 11 a factor of k(x)?
True
Let i(k) = -k + 9. Let t be (-3)/12 - (-58)/8. Let f be i(t). Suppose -f = 4*j - 98. Does 12 divide j?
True
Suppose -54*g + 2800 = -14*g. Is 33 a factor of g?
False
Let c(v) = 2*v + 190. Is c(-2) a multiple of 9?
False
Does 11 divide 2 - 1 - (-108)/(-18) - -206?
False
Let c be (-1)/3*(-284 + 8). Suppose -5*h = -208 - c. Does 15 divide h?
True
Suppose p + 56*g = 54*g + 361, 4*g + 12 = 0. Is p a multiple of 2?
False
Let b(z) = -z**2 + z + 50. Is 3 a factor of b(0)?
False
Suppose -700 = -p - 102. Is p a multiple of 46?
True
Let p = -34 + 52. Let f = -8 + p. Suppose u - f = -4*u. Is u even?
True
Let i = 7 - 3. Suppose r = -i*y + 2*r + 210, 0 = -r - 2. Is 13 a factor of y?
True
Let o be ((-33)/9)/(3*2/(-36)). Is 4/o + (-1512)/(-33) a multiple of 15?
False
Let o(h) = h**3 + 7*h**2 + 2*h - 7. Let g be 3 + (0 - (-3)/(-3)). Let a = g + -7. Does 11 divide o(a)?
True
Suppose 0 = -h - 3*g + 86, -109 = -h - g - 17. Is 2 a factor of h?
False
Let v(z) = z. Let m(n) = -n**2 + 12*n + 3. Let j(f) = m(f) - 3*v(f). Let o be j(9). Suppose 61 = o*s - 2*b, 2*s + 5*b - 9 = -0*s. Is 4 a factor of s?
False
Let r = -367 + 519. Let y = r - 120. Is y a multiple of 8?
True
Let d be (-103)/(-15) + (-12)/(-90). Let f = 3 + d. Is 3 a factor of f?
False
Let z(l) = -l - 16*l + 5522 + 7*l**2 + l**3 - 5519. Is z(-7) a multiple of 47?
False
Is 2 - -90 - (0 - -7) a multiple of 4?
False
Suppose -p + 597 = -6*a + 3*a, 3*a = -15. Does 6 divide p?
True
Let x(u) = -u**3 - 15*u**2 + 49*u + 18. Is x(-19) a multiple of 7?
False
Let k = 387 + -110. Is k a multiple of 4?
False
Let x be (0/1)/(-8 - (-7 + 1)). Suppose -5*g - t + 163 = x, 3*t = -5*g + 5*t + 169. Is g a multiple of 33?
True
Suppose -118*a + 105*a + 4095 = 0. Does 3 divide a?
True
Is 57 a factor of 173*(-7)/(-21) + 6/(-9)?
True
Suppose a + 1 = 0, 2*g - 45 = g - 4*a. Suppose 0 = -f + g + 58. Is f a multiple of 13?
False
Suppose -183 - 125 = -5*f + 2*a, -3*f + a = -184. Suppose 5*s - 93 = -3*z - 0*z, 2*z - f = -4*s. Is z a multiple of 10?
False
Let a(c) = -17*c + 45*c - 27*c + 49. Is 44 a factor of a(11)?
False
Suppose -5*u + 4*k = -3396 - 3212, k + 1322 = u. Does 22 divide u?
True
Suppose 0*v + 36 = 2*a + 5*v, 0 = a + 4*v - 21. Let l(z) = 5*z - 19. Does 9 divide l(a)?
False
Suppose -19*j = 8*j - 1647. Is j a multiple of 2?
False
Let a = -22 - -27. Suppose -a*c + 184 = -26. Let f = c - 11. Is f a multiple of 6?
False
Is (6 + -8)*6 + 1803 a multiple of 5?
False
Suppose 0 = -f + 4 - 1. Suppose -f*k = b - 449, 5*b = -4*k + 6*b + 587. Is 15 a factor of k?
False
Let g = 92 - 23. Suppose 4*z - 31 = g. Is 8*z/(-15)*-3 a multiple of 20?
True
Let g be (-54)/(-12)*8/3. Do