multiple of 17?
False
Is 14 a factor of 56/(-6)*(15/6 - 7)?
True
Suppose -a + 2*d = 3*a - 72, 3*d - 92 = -4*a. Is a a multiple of 4?
True
Suppose 0*u - 15 = -5*u. Is 3 a factor of u?
True
Suppose 0 = -f + 2*k + 18 + 18, 0 = -4*f + k + 123. Is f a multiple of 11?
False
Let w = 0 - -27. Let q = w - 13. Does 10 divide q?
False
Let r = 59 - 35. Does 24 divide r?
True
Let i be ((-159)/(-6))/(2/4). Let v = -6 + -13. Let k = i + v. Does 17 divide k?
True
Let l(y) = -5*y**3 - 3*y**2 + 2. Is l(-3) a multiple of 11?
True
Let t = 13 - 32. Let g = -15 - -42. Let u = t + g. Is 4 a factor of u?
True
Suppose -524 = -4*w + 3*z + 154, -514 = -3*w + 5*z. Is w a multiple of 21?
True
Suppose -4*g + 93 = -195. Does 18 divide g?
True
Is 13 a factor of (-1)/(1/3) - -89 - 3?
False
Suppose -276 = -3*a + 21. Is a a multiple of 9?
True
Suppose -5*m - 102 = 3*y + 76, -2*m = -4*y + 66. Let z = 52 + m. Is z a multiple of 6?
False
Let s be ((-1)/(-1))/(3/6). Suppose -74 = -3*l - s. Is 12 a factor of l?
True
Suppose 5*l - 2*y - 33 + 6 = 0, -3 = 3*y. Suppose 6*p - 115 = p - r, -5*r + 115 = l*p. Suppose -3*a = -p - 7. Does 5 divide a?
True
Suppose 23*k = 18*k + 515. Is k a multiple of 10?
False
Suppose u = 5*h - 8 - 6, -16 = 4*u. Let v be (-955)/(-25) + h/(-10). Suppose 3*t = 4*n - 25 + 81, v = 3*t + 5*n. Is t a multiple of 8?
True
Let l(d) = d**3 - 2*d**2 - 2*d + 7. Let i(t) = -t**3 + 8*t**2 - 7*t + 5. Let x be i(7). Does 23 divide l(x)?
False
Let j(u) = u**2 - 4*u + 2. Let k be 20/(-6)*12/(-10). Let a be j(k). Suppose -4*x - a*p + 232 = 0, -2*p + 3*p - 2 = 0. Is 21 a factor of x?
False
Suppose 0*u = u - 7. Let l(f) = -f**3 + 8*f**2 + 3*f - 7. Is 17 a factor of l(u)?
False
Let m(d) = -16*d**2 - 7*d + 4. Let u be m(5). Does 28 divide (u + 3)*1/(-4)?
False
Let m(l) = l**2 - l - 4. Is 19 a factor of m(-6)?
True
Let h = -1 + 0. Let z = 38 + h. Suppose 4*u - 3*p - z = 0, 5*p - 34 = -3*u + p. Is u a multiple of 4?
False
Let y be 191/4 + (-4)/(-16). Let t = 14 + y. Suppose -4*q + t = 2. Is 7 a factor of q?
False
Suppose -4 = -0*w + w. Let b be w/10 - 115/25. Let k(a) = -4*a - 4. Does 7 divide k(b)?
False
Suppose 0 = 4*j + 4*d - d - 50, d = 2. Let w(f) = -f**3 + 12*f**2 - 10*f + 15. Let i be w(j). Suppose -4*p + i = -62. Is p a multiple of 11?
True
Suppose -4*x = -2*d - 198, 4*x - 242 - 61 = 3*d. Let h = -8 + 5. Is 21 a factor of d*h*(-6)/(-45)?
True
Suppose -9*t + 75 + 33 = 0. Does 2 divide t?
True
Let s be (-24)/(-15)*(-5)/(-2). Suppose -l = -0*l - s. Suppose -m + l + 0 = 0. Is m even?
True
Suppose -2*n + 3*n - 5*b - 42 = 0, -4*n + 96 = -2*b. Is 5 a factor of n?
False
Suppose -5*g + 20 = -g. Is 2 a factor of g?
False
Suppose -n + 6 - 3 = 0. Let j be n/6 - 19/(-2). Let i = j - 7. Is i even?
False
Suppose 3*g + 6 = 21. Suppose -2*i - g*c = -150, -3*i - 75 = -4*i + 2*c. Does 15 divide i?
True
Let t = -14 - -82. Is 17 a factor of t?
True
Let p = 12 - -3. Is p a multiple of 3?
True
Let u be (0 - 1)*0 + 4. Let g be 5 + -4 + -1 - -2. Suppose -g*c = -3*b - 29, 3*c - u*c = 2*b - 11. Is c a multiple of 13?
True
Let p(g) = g**3 + 4*g**2 + 4*g + 9. Let w be p(-7). Is (-12)/(4 + w/40) a multiple of 16?
True
Let n = 15 + -13. Suppose 3*i - n*x = 54, i - 5*x - 22 = -4. Is i a multiple of 18?
True
Suppose 0 = 4*x + 5*w - 197, -w = 2*x - 5*w - 66. Is 15 a factor of x?
False
Suppose -5*t + r = -3 - 197, 0 = 4*r. Does 10 divide t?
True
Let n(p) = -1 + 2*p**2 + 1 - 2 + 3. Is 9 a factor of n(2)?
True
Suppose 5*n - 3*c - 66 = 74, 20 = n + c. Does 5 divide n?
True
Suppose 3 = 3*t + 9. Let a be (t + -2)*(0 + -6). Let o = a + -14. Is 5 a factor of o?
True
Let b = -58 + 155. Let m = -54 + b. Let c = m + -3. Does 20 divide c?
True
Suppose 3*d + 8 + 26 = 2*q, -4*q - 16 = 0. Let y = 28 + d. Does 13 divide y?
False
Suppose q = 3*x + 35, 5*x + 49 = -q - 2*q. Let l = x - -11. Suppose l*g - 88 = -2*g. Is g a multiple of 22?
True
Suppose q + 18 = 3*q. Is q a multiple of 3?
True
Suppose -6 = 2*k, 2*k - 24 = l - k. Let i = -21 - l. Is i a multiple of 4?
True
Does 13 divide -4*-1*(17 - 3)?
False
Let u(p) = 2*p**2 + 8*p - 9. Is 7 a factor of u(-7)?
False
Suppose 4*i - 3*i + 4 = 0. Does 9 divide (3 - (-6)/i)*12?
True
Let u(n) be the second derivative of -n**5/20 - 13*n**4/12 - 3*n**3 - 9*n**2/2 - 4*n. Is 21 a factor of u(-12)?
True
Let f(y) = -14*y**3 + 1. Let v be f(-1). Does 10 divide 456/v + (-4)/10?
True
Is 6 a factor of 46 - 6*2/6?
False
Let d(i) = 10*i + 4. Is d(5) a multiple of 27?
True
Let o(u) = -2*u + 126. Does 18 divide o(0)?
True
Let l(y) = -y**3 + y + 2. Let o be l(2). Let r(w) = w**3 + 4*w**2 - 7*w - 9. Is r(o) a multiple of 5?
False
Suppose 5*g = 6*q - 3*q - 16, 4*q + g - 6 = 0. Let r be -2*((-3)/6 - q). Suppose 6*i = r*t + i - 215, 5*i - 205 = -5*t. Does 14 divide t?
True
Suppose 0 = -2*m + 6, -4*x - m - 23 = 2*m. Let q = x + 6. Let s(b) = -2*b**3 - b**2 - b - 2. Is s(q) a multiple of 6?
True
Let y be 2/(-4) + 67/2. Suppose y = 2*k + k. Is 4 a factor of k?
False
Let c(l) = l**2 - 9*l + 4. Suppose 4*y - 37 = 3. Is c(y) a multiple of 3?
False
Suppose -3*h + 58 = 4*a, 4*h - 3*a = 2*a + 98. Is h a multiple of 9?
False
Let x be ((-12)/(-8))/(1/12). Suppose -4*o = -22 - x. Is o a multiple of 10?
True
Let p(q) = q**3 + 8*q**2 + 2*q - 4. Let a(w) = w**2 - 5*w - 2. Let n be a(4). Let d be p(n). Suppose d = 4*g - 0. Is g a multiple of 14?
True
Let s = -14 - -25. Suppose -v = 5*x - s, x = 5*x + 4. Does 9 divide v?
False
Let s = 56 + -29. Let w = -18 + s. Is 2 a factor of w?
False
Suppose -2*a = 5*x - 61, 0 = 3*a - 2*a - 3*x - 25. Is 14 a factor of a?
True
Let v(y) = 2*y**3 - 2*y + 5*y - y - 2. Let x be v(4). Suppose 140 = 4*j - 2*q, -x = -5*j + j - q. Does 13 divide j?
False
Let t be (3 - (1 - 0)) + -6. Let s = t - -12. Suppose -s = -5*n + 2. Does 2 divide n?
True
Let s(w) = 11*w + 1. Let r be s(1). Suppose 0 = 3*f - 0*f - r. Is f a multiple of 2?
True
Let o(a) = -6*a - 4. Is o(-5) a multiple of 10?
False
Let n(s) = 14 + 0*s**2 - 8*s + s**2 - 2*s. Let w(k) = -k + 6. Let d be w(-5). Does 12 divide n(d)?
False
Let k(m) = -m**2 - 12*m + 6. Suppose -n + 2 = -1, d = 2*n - 17. Does 7 divide k(d)?
False
Is 14 a factor of (-4480)/15*12/(-8)?
True
Suppose 4*f - 17 = 3*b, 7*f - 2*f - b - 24 = 0. Suppose f*u + 124 = u. Let s = u + 55. Is s a multiple of 10?
False
Let x(n) = 10*n**2 - 8*n - 8. Let j be x(-6). Suppose 4*k - j = d - 3*d, -4*d = -2*k + 210. Suppose -5*r + 24 = -k. Is r a multiple of 14?
False
Let o be ((-10)/(-3))/((-10)/(-15)). Suppose -3*h + 86 = -3*d + 11, h - o*d = 17. Is h a multiple of 11?
False
Let t be -2 + 0*(-1)/(-3). Let c(m) = 2*m**3 - m**2. Let w be c(1). Is t + w - (-1 - 4) a multiple of 2?
True
Suppose m = -2*m + 297. Does 33 divide m?
True
Let o(p) = p**3 + p**2 + p + 1. Let b(i) = 7*i**3 + 2*i**2 + 3*i + 4. Let w = 2 + 0. Let c(a) = w*o(a) - b(a). Does 12 divide c(-2)?
False
Let k be (6/8)/(4/128). Suppose 4 = -u + 2. Let o = k + u. Is o a multiple of 11?
True
Let g = 91 + -47. Let v = g + -12. Is 16 a factor of v?
True
Suppose 67 = 3*y - 2. Does 6 divide y?
False
Let u(l) = 3*l**2 - 1. Is 4 a factor of u(3)?
False
Let z(c) = -c + 1. Let i be z(-4). Suppose -q - 3 + i = 0, -3*t + 97 = -4*q. Is 9 a factor of t?
False
Suppose -4*x + 6 = -x. Suppose 0 = 4*t - 5*r - 10 - 50, -3*r - x = t. Let c = t - -13. Is 13 a factor of c?
False
Let s(t) = 14*t**3 + t. Let z be s(1). Let f be 50/z*6/4. Suppose 6*q + h - 48 = 3*q, 0 = f*h. Is 6 a factor of q?
False
Suppose 2*m = 5*j + 208 + 100, -3*j - 308 = -2*m. Is m a multiple of 34?
False
Suppose -q - 309 = 2*q. Let m = -53 - q. Suppose -3*u + n = -m, 3*u - 4*n - 8 = 30. Does 5 divide u?
False
Is (-1)/((-2)/(-70))*(-6 + 5) a multiple of 7?
True
Let d(p) = -p**2 + 22*p + 4. Is 3 a factor of d(21)?
False
Suppose -3*v = -6 - 6. Let g(p) = p**3 - 4*p**2 - 2*p - 4. Let b be g(v). Does 6 divide (-325)/(-30) - 2/b?
False
Suppose 4*b + 0*c - 4*c = 0, 0 = 4*b - 2*c - 4. Let z(f) = -f**2 + f + 5. Let y be z(0). Suppose -150 = b*l - y*l. Is 18 a factor of l?
False
Let y = 72 + -49. Suppose -3*w - 96 = -6*w. Let z = w - y. Is 8 a factor of z?
False
Let x be (2/3)/((-3)/54). Is x/42 - 254/(-7) a multiple of 12?
True
Let w(m) = -m**3 - 3*m**2 + 4*m - 1. Let s = 3 - 8. Is 10 a factor of w(s)?
False
Let y = -43 + 202. Does 13 divide 3/(y/39 + -4)?
True
Suppose -20 = 5*m -