iple of 8?
False
Let k(i) = i**3 + 9*i**2 + i - 3. Suppose h - 7 = 2*h. Let y be k(h). Let m = -36 + y. Is m a multiple of 16?
False
Suppose 0*g + 3*g - 9 = 0. Suppose -2*w + 8 = 18. Is g/(3 + 12/w) even?
False
Let h be (-3)/15 - (-48)/15. Is 6 a factor of (2 - h) + (-423)/(-9)?
False
Let q(w) = -4*w**2 - w + w - w + 2*w**3 - 1. Let z = 179 + -176. Is q(z) a multiple of 7?
True
Let g be (4 - (-1)/(-1)) + 105. Suppose t - 30 = -3*n + 64, -g = -4*n + 3*t. Is 10 a factor of n?
True
Let i(d) = 5*d**3 + d**2 - d - 1. Let v be i(1). Suppose 0*u + 4*b - 196 = -v*u, -5*u = 3*b - 235. Is 16 a factor of u?
False
Suppose -4*p + 168 = -l, l - 4*l = -2*p + 94. Suppose -3*a - 7 + 1 = 3*j, -3*a - 4*j - 9 = 0. Let u = p - a. Is 20 a factor of u?
True
Suppose 82819 = 102*s - 165857. Does 31 divide s?
False
Suppose -38*i + 34*i + 15608 = 0. Does 45 divide i?
False
Let p be -3*(-29)/(-6)*-2. Let j(o) = -o + 7. Let v be j(5). Suppose 0 = v*b - b - p. Is b a multiple of 15?
False
Suppose -4*s + 5*s = 6. Does 8 divide (3 + s/(-14))*28?
True
Suppose -2*v + 19 - 7 = 0. Let z(o) = 9*o**2 + 2 - 4 - 1 + v + 4*o. Is z(-2) a multiple of 19?
False
Suppose 241 = 4*g - 71. Suppose v - 20 = a - g, 0 = -4*a + 2*v + 230. Suppose 7*b = 10*b - a. Is 11 a factor of b?
False
Let a be (-3)/((-12)/4) - -1. Suppose a*m - 145 = -7. Is 18 a factor of m?
False
Let v(n) = -1 + 2*n + 10 + 1 - 3*n. Let u be v(11). Is 14 a factor of 355/25 + u/5?
True
Let k(r) = 4*r**2 + 13*r + 3. Let h(a) = -7*a**2 - 3*a - 2. Let p be h(-1). Is 23 a factor of k(p)?
True
Let f(c) = 5*c**2 - 2 + 131*c - 64*c - 65*c. Is 14 a factor of f(-4)?
True
Suppose 1958 + 429 = 7*o. Does 11 divide o?
True
Is (-9)/(-18) - (-327)/6 a multiple of 5?
True
Suppose 26*p - 21*p + 5*k - 5085 = 0, 4043 = 4*p - k. Does 14 divide p?
False
Let z be (-6)/21 + (-21568)/(-28). Suppose 18*c = 11*c + z. Does 10 divide c?
True
Let d(a) = -a**3 - 8*a**2 + 4*a - 10. Let h be d(-8). Let o = 72 + h. Is o a multiple of 2?
True
Let o = -751 + 966. Is o a multiple of 18?
False
Suppose 10*y = 2*y + 2288. Does 13 divide y?
True
Suppose -6*j + 2*j - 5*h + 3689 = 0, -15 = -3*h. Suppose -2*d + 2*t + 132 = -238, -4*t = 5*d - j. Is 46 a factor of d?
True
Suppose 0*n - 3*n - 3*y + 6 = 0, -3*y + 13 = -4*n. Let q = -26 - n. Let r = 42 + q. Is 6 a factor of r?
False
Suppose -4*r + 1183 = 3*h - 0*h, h = -4*r + 1181. Does 10 divide r?
False
Let a be -7 - -9 - 6/(-2). Let c(n) = n**2 - 3*n - 9. Let s be c(a). Let i = s + 26. Does 18 divide i?
False
Let u = -4 - -6. Let r(p) = -2*p - 7. Let a be r(-6). Is 15 a factor of (42/a - u)*5?
False
Suppose 27*x = p + 30*x - 930, 0 = 2*p + 3*x - 1848. Does 51 divide p?
True
Let k(t) = -260*t**3 + t**2 - 3*t + 10. Is k(-2) a multiple of 140?
True
Let d = 32 + -3. Does 4 divide d?
False
Suppose 5*j - 4*j = 360. Let i = -75 + j. Is 19 a factor of i?
True
Let d(y) = y + 2. Let g be d(-2). Suppose -3*h + x = -g*h - 99, -132 = -4*h + 2*x. Suppose -2*j + h = -3*n, 60 = 5*j - 0*j - 3*n. Is 4 a factor of j?
False
Let b(i) = 3*i**3 - i**2 + 4*i - 16. Is 3 a factor of b(4)?
False
Suppose 2*v + 2 = -12. Let z = -7 - v. Let h = 5 + z. Is h a multiple of 3?
False
Suppose i + 4 = -h - 10, -3*i - 2 = -h. Let b be (56 - 1)/(h/(-30)). Let o = -90 + b. Does 15 divide o?
True
Is (-10 + 46)/(14/(-4) - -4) a multiple of 51?
False
Let n be ((-246)/18)/((-1)/(-2 + -4)). Let l = 105 + n. Does 2 divide l?
False
Let b(x) = -5*x - 6. Suppose -52 + 7 = -3*l. Suppose -4*r = -s + l, 2*s = s - 2*r - 15. Does 8 divide b(s)?
False
Suppose -4*u + 13 = 2*l + 3, -4*l = -2*u. Let d(g) = 18*g**2. Is 6 a factor of d(l)?
True
Let r(j) be the first derivative of j**3/3 + 13*j**2/2 + 59*j + 23. Is r(-18) a multiple of 18?
False
Let i(q) = -q**3 + 16*q**2 + 18*q - 15. Let h be i(17). Suppose 3*t = -4*b - 24, 0 = -h*t - t + 2*b - 6. Is 20 a factor of 897/15 + t/(-20)?
True
Suppose 51 = 4*y - 357. Let x = -14 + y. Is x a multiple of 6?
False
Is 51 a factor of 5 - 3 - -146 - -5?
True
Suppose -3*q = -h - 14, 2*q + 3*h = q - 12. Suppose 6*g + 12 = q*g. Let d = 2 - g. Does 3 divide d?
True
Let m = -227 + 27. Does 8 divide m/(-15)*(-12)/(-5)?
True
Let y = -11 + 16. Suppose -y*a + 811 = -2*b - 2*b, 5*a - 791 = -b. Does 11 divide a?
False
Suppose -481*q - 936 = -483*q. Is q a multiple of 26?
True
Suppose 0 = 18*i - 14*i + 128. Let w = -6 - i. Is w a multiple of 26?
True
Does 10 divide (-60)/(13/(-3172)*8)?
True
Let f(j) = -j. Let r be f(0). Suppose r = 6*y - 0*y. Suppose 2*i - 3*u - 130 = 0, -4*i + 2*u + y*u + 244 = 0. Is i a multiple of 15?
False
Let j(o) = 80*o**2 + 1. Let y be j(1). Let u = y + -71. Does 4 divide u?
False
Suppose -345 - 1167 = -9*m. Is m a multiple of 5?
False
Suppose 7*g - 2204 = 16129. Is g a multiple of 126?
False
Suppose 2*i - 328 = 3*p + 281, 0 = -3*i + p + 903. Suppose 108*r - i = 102*r. Does 10 divide r?
True
Suppose 0 = -3*g + 18 - 3. Let a(c) = 31*c**2 - 1 + c**3 + g*c + 0 - 23*c**2. Is a(-7) a multiple of 6?
False
Let o be 4*(140/34 - (-8)/(-68)). Suppose 32 + 12 = 4*a. Suppose 0 = 9*x - a*x + o. Does 2 divide x?
True
Let k = 155 - 66. Does 14 divide k?
False
Let k(a) = -10*a**3 - 2*a**2 - 22*a + 27. Is 10 a factor of k(-6)?
False
Let j = 1757 + -623. Is 14 a factor of j?
True
Let m(f) = 62*f**2 + f + 14. Is 13 a factor of m(-2)?
True
Let t(w) = 10 - 46*w - 24 + 9. Is 13 a factor of t(-2)?
False
Suppose -u - 5916 = -30*u. Does 17 divide u?
True
Let k = 4496 - 3025. Does 45 divide k?
False
Let k = -287 - -575. Is k a multiple of 12?
True
Let t = 15 - 11. Suppose 80 = t*r - 12. Is 3 a factor of r?
False
Suppose -43*a + 6665 - 559 = 0. Does 3 divide a?
False
Suppose 0 = 6*c - 63*c + 10488. Is c a multiple of 23?
True
Suppose 4*k - 5*p - 312 - 183 = 0, 0 = -4*k - 4*p + 468. Suppose -30*u = -26*u - k. Is 5 a factor of u?
True
Let c(l) = l**2 - 3*l - 5. Let i be c(5). Let z(r) = -2*r + 30. Let g be z(-24). Suppose -i*w - w = -g. Does 3 divide w?
False
Let q(b) = -4*b + 5. Let m be q(7). Let a = m - -31. Does 2 divide a?
True
Let q be (2 - 2) + 7 + 1. Let u be (q/(-4))/((-2)/13). Suppose 0 - u = -3*y - 2*w, -2*y - w + 10 = 0. Is y a multiple of 3?
False
Let k(g) = -2*g - 15. Let r be k(-10). Suppose -r*u + 4*i = -81, -3*i + 21 = u + i. Suppose -v = -u - 11. Is 16 a factor of v?
False
Suppose 0 = 3*t - 4*p - 272, t + 376 = 5*t - 2*p. Let m = -67 + t. Suppose 0 = -q - f - 3*f + m, 0 = -4*q - 2*f + 88. Is q a multiple of 21?
True
Suppose 2 = -v - 0*p - 5*p, 4*v = -2*p - 80. Let m = v - 6. Let z = m + 84. Is z a multiple of 13?
False
Let m(j) = 9 + 2*j**3 - j - 2*j**3 + 7*j**2 + j**3. Let u be m(-7). Let k = u + 9. Does 5 divide k?
True
Suppose -102 = 4*i - 858. Is 4 a factor of i?
False
Suppose -b - 3*b - 5*g = -1013, 4*b = -3*g + 1003. Is 6 a factor of b?
False
Is 63 a factor of (-4 - -3)*(7 + -14 - 3354)?
False
Let y(o) = 319*o - 34. Is 51 a factor of y(1)?
False
Let v = 65 - 40. Let x = v - 7. Does 9 divide x?
True
Let t(s) = 41*s**2 + 53*s + 202. Does 13 divide t(-5)?
True
Let r(z) = z**3 + 8*z**2 + 5*z - 6. Let t = -14 + 8. Is r(t) a multiple of 7?
False
Suppose -9*g + 35 = -2*g. Suppose 0 = -4*d + 3*t + 213 + 366, g*d - 5*t - 725 = 0. Does 21 divide d?
False
Let l(x) = 5*x**3 + 5*x**2 + 8*x - 11. Is 41 a factor of l(5)?
True
Let k = 2 - 0. Suppose -23 = k*p - 3*p. Does 12 divide p - (-2 - (-2)/2)?
True
Let u(k) = k + 3. Let d be u(-8). Let f(p) = p**3 + 6*p**2 + 5*p + 5. Is 5 a factor of f(d)?
True
Let y = 962 + -876. Is y even?
True
Let b be 1 - (-2 + 3 + -4 + -360). Let l = b + -240. Does 43 divide l?
False
Let z(t) = -7*t - 9. Let k be z(-7). Let x be (k/(-12))/(1/99). Let c = -200 - x. Is c a multiple of 36?
False
Let m = -97 + 99. Is 3 a factor of m/10 - 3/((-15)/164)?
True
Let d(a) = a**3 + a + 1. Let r(x) = -2*x**3 - 10*x**2 + x + 1. Let f = 3 + -4. Let h(b) = f*d(b) - r(b). Is h(-10) a multiple of 8?
False
Let z(j) = -j**3 + 6*j**2 - 2*j - 11. Let c be z(5). Suppose y = x + 111, c*y + 4*x = 3*x + 439. Is 10 a factor of y?
True
Suppose 0 = -19*j + 495 + 1557. Does 4 divide j?
True
Let s(n) = -n**3 + 18*n**2 + 16*n - 1. Does 39 divide s(15)?
False
Let y(m) = -m**3 + 110*m**2 + 7 - 2 + 1 - 117*m**2. Is y(-7) a multiple of 3?
True
Let p(i) = -i**2 - 2*i - 165. Let q be p(0). Is 5/(q/(-5076)) - (-4)/22 a multiple of 14?
True
Suppose 11*l 