t i = y - k. Is i a multiple of 9?
False
Does 9 divide 8/36 - -1*(-518)/(-18)?
False
Let p(d) = -d**2 + d - 1. Let y(g) = -g**3 - 12*g**2 + 9*g. Let r(h) = 6*p(h) - y(h). Suppose 5*a = 2*j - 32, 0*a - 4*a - 20 = 4*j. Is r(a) a multiple of 7?
False
Let n(l) = 2 - 2*l**2 + 2*l + 3*l**2 + 3*l. Let z be n(-5). Suppose z*j = 3*j - 10. Is 4 a factor of j?
False
Suppose 364 = 3*t + 40. Is 18 a factor of t?
True
Suppose 3*b - 280 = -2*b. Is 14 a factor of b?
True
Let u = -8 + 13. Suppose 2*i + 2*c - 16 = 4*c, -i = u*c - 2. Let v(p) = p**3 - 7*p**2 + 4*p - 6. Does 7 divide v(i)?
False
Suppose j = -3*j - 52. Let r = j + 27. Is 14 a factor of r?
True
Let p = -75 + 95. Is 4 a factor of p?
True
Is 18 a factor of -3 - (-90 + 3) - 1?
False
Suppose 7 - 23 = -2*h. Let c(y) be the second derivative of y**5/20 - 2*y**4/3 + y**3 - 6*y**2 + 12*y. Is 18 a factor of c(h)?
True
Suppose 4*w - 84 = -0*w. Suppose -w = -0*v - 3*v. Is v a multiple of 4?
False
Suppose n - 26 = -2*t, -4*n = -2*t + 16 + 10. Is t a multiple of 13?
True
Suppose -6*q = -4*q - 2*d - 6, -3 = -q - d. Suppose -5*g - q*h + 133 = 0, h = -g - 2*h + 17. Does 13 divide g?
False
Is 15 a factor of (-3)/7 + (-426)/(-14)?
True
Let d be (317 - (-6)/3)*1. Suppose 3*l - 196 = -2*w, 0 = 4*w + 4*l - d - 69. Is 26 a factor of w?
False
Let y be 2 + 119 - 2*-2. Let v = y + -88. Does 10 divide v?
False
Let o(h) = -8*h - h**3 - 8*h**2 - 2*h + h - 6. Let i be o(-6). Does 8 divide (-3 - -1)/(3/i)?
True
Let d = -11 - -15. Suppose 2*k = 6, 4*l + 0*k = -d*k + 76. Is l a multiple of 8?
True
Let n(l) = -l**3 + 6*l**2 - 3*l + 4. Suppose -24 = -4*k + 4*i, -5*k = -0*k + 4*i - 21. Is n(k) a multiple of 4?
False
Suppose 7*j = 167 + 1. Does 2 divide j?
True
Let g(c) = -c + 1. Let o(y) = -15*y + 5. Let v(w) = 6*g(w) - o(w). Is 6 a factor of v(2)?
False
Suppose 10 = -5*o - 4*a, 6*a + 27 = o + a. Let k be (-3)/(-3)*2*o. Suppose 2*b - 27 = -5*h - 0*h, 0 = b - k*h - 46. Is 13 a factor of b?
True
Let d(j) = 7*j**2 - 14*j - 6. Let a(m) = -m**2 + m - 1. Let v(t) = 6*a(t) + d(t). Let n be v(9). Let w = n + 25. Is 13 a factor of w?
False
Is (-15)/3 + 3 + 78 a multiple of 13?
False
Suppose 2*s = 9*s - 560. Is s a multiple of 20?
True
Let k(v) = 3*v - 7. Let c(o) = o + 12. Let g = 1 - 8. Let x be c(g). Is k(x) a multiple of 6?
False
Let o = -21 - -55. Suppose -2*l + 5*v = 19, 2*l = -l + v - 9. Let q = o + l. Does 10 divide q?
False
Let v(s) = 14*s + 1. Let i be v(1). Suppose 0 = -3*h - 2*h + i. Is (6*h/2)/1 a multiple of 5?
False
Let z(r) be the second derivative of -r**5/20 - r**4/2 + 4*r**2 - r. Does 7 divide z(-6)?
False
Suppose -n - 4*g + 11 = -7*g, 3*n = g + 73. Does 13 divide n/(4 + -2 - 1)?
True
Let j = 9 - 9. Let y(r) = -4*r + 4*r - r + 24. Is y(j) a multiple of 10?
False
Let j be (-12)/(-2*3/21). Let m = j + 2. Suppose 0 = 5*w - 244 + m. Is w a multiple of 14?
False
Let s(w) = -w**3 - 4*w**2 + 6*w + 5. Let y be s(-5). Does 11 divide 51 + -9 + (y - 1)?
False
Suppose 27 = -5*s + 7. Let p = s - -17. Suppose -2*t = -o - 16, -t - 3*o = -o - p. Does 5 divide t?
False
Does 26 divide (-3)/(((-9)/26)/3)?
True
Is 6 a factor of (146*(-2)/8)/(1/(-4))?
False
Suppose -7*y + 105 = -4*y. Let m be (10/(-6))/(1/6). Let x = y + m. Is 7 a factor of x?
False
Let c(j) = -337*j**2 + 3*j + 3. Let n be c(-3). Let h be n/9 + (-2)/6. Is 12/54 + h/(-18) a multiple of 19?
True
Is 979/55 + (-2)/(-10) a multiple of 5?
False
Suppose 0*y - 4 = -4*y. Let s(j) = 10*j**2 - j + 1. Is 10 a factor of s(y)?
True
Does 3 divide -1 - 2 - (2 - 12)?
False
Suppose w = -n + 4*n - 166, 4*n + w - 212 = 0. Does 27 divide n?
True
Let k(x) = 2*x + 9. Let j(v) = -4*v - 18. Let m(z) = -4*j(z) - 9*k(z). Let d = -22 + 14. Is m(d) a multiple of 4?
False
Let u(c) = -2*c. Let i be u(5). Let a be (i/(-6) - 0)*39. Suppose -8*n + a = -3*n. Is n a multiple of 6?
False
Suppose -3*j + 343 = 79. Is 16 a factor of j?
False
Suppose 0 = -v - 2*v. Suppose v = -5*m + 48 + 42. Does 6 divide m?
True
Let f be (22/4)/((-4)/16). Let t = f - -4. Is 9 a factor of t*((0 - 2) + 1)?
True
Suppose -9*o + 176 = -5*o. Does 5 divide o?
False
Let r = -8 - -39. Does 31 divide r?
True
Let h(l) = l**3 - 6*l**2 + l - 1. Does 6 divide h(7)?
False
Suppose x + 365 = 5*o + 6*x, 3*o - 235 = 5*x. Is o a multiple of 15?
True
Suppose u = -1 + 14. Is u a multiple of 3?
False
Let s = 59 + 21. Does 10 divide s?
True
Let r be (-4)/(-3)*3/2. Suppose -d = r*a - 5, d + 3*d - a - 65 = 0. Is d a multiple of 5?
True
Suppose -3*h = 2*h - 15. Let k(d) be the first derivative of -d**4/4 + 5*d**3/3 - 3*d**2/2 - 4*d + 4. Is k(h) even?
False
Suppose -37 = 3*u - 7. Let r(j) = -j**3 + 0*j**2 - 3*j**2 - 6 + 9*j - 6*j**2. Is r(u) a multiple of 2?
True
Let p = 46 + -40. Is p a multiple of 6?
True
Let j(a) = 2*a. Let y be ((-3)/2)/(3/6). Let w(c) = -c - 1. Let r(n) = y*w(n) - j(n). Is 5 a factor of r(9)?
False
Let x(g) = -g**2 - 13*g - 10. Does 18 divide x(-8)?
False
Suppose 5 + 3 = n. Does 3 divide n?
False
Suppose 4*y + 5*o = -19 + 344, y + o = 81. Does 15 divide y?
False
Does 15 divide ((-12)/(-24))/(2/1268)?
False
Let m(b) = -7*b**2 - 5*b - 7 + 5*b**2 + 4*b**2. Is 15 a factor of m(5)?
False
Let o(s) = -s + 1. Suppose 0*y = -4*y - 8. Let z be o(y). Is 12 a factor of z/((-6)/(-50)) - 1?
True
Let l be 2 - (-2)/(-2)*-32. Suppose -4*u + l = -18. Is 13 a factor of u?
True
Let g(x) = -25*x**3 + x**2. Is 13 a factor of g(-1)?
True
Suppose -6 = -77*q + 76*q. Is q even?
True
Let p(g) = -g**3 + 4*g**2 + 3*g + 3. Let o be 4/(2/(-6)*-3). Let c be p(o). Suppose 13 = t - 4*l, l + 12 = 5*t - c. Is t a multiple of 3?
False
Is 9 a factor of 6*13 - (-4 + 2)?
False
Suppose w - 22 = -3*q - 4*w, -3*q - 3*w + 12 = 0. Does 15 divide (29 - q) + 0/(-10)?
True
Suppose -5*v - 205 = -340. Is 27 a factor of v?
True
Let x(q) = q**2 - 6*q + 7. Let u be x(5). Is (-19)/(-2*u/12) a multiple of 16?
False
Suppose -3*l - l + 2*p - 24 = 0, 0 = -2*l - 3*p - 4. Let t be (-2)/(-10) - 204/l. Suppose 2*o - t = 55. Does 13 divide o?
False
Let w(r) = -r**3 + 8*r**2 + 9*r. Let o = 5 - -4. Let b be w(o). Suppose 3*q = -b*p - 2*p + 40, 0 = 3*q - 6. Is p a multiple of 6?
False
Let s(l) = 3*l - 16. Let x be s(7). Suppose -x*f - 75 = -d - 2*f, -5*d + f + 403 = 0. Is d a multiple of 27?
True
Suppose -j = -2*j + 1. Let l(z) be the third derivative of z**6/15 - z**4/24 + z**2. Does 7 divide l(j)?
True
Let s = 121 - -5. Suppose w + w - s = 0. Suppose 4*m = -3 + w. Does 13 divide m?
False
Let k(m) = 51*m - 5. Let u be k(2). Suppose 2*a - 51 - u = 0. Is 13 a factor of a?
False
Let f = -2 + 5. Let g(n) = -n**3 - 5 + 0*n - n**f + 2 - 5*n. Is 24 a factor of g(-3)?
False
Let o(f) = 2*f**2 - f + 3. Let b be o(4). Suppose 3*x = -2*x. Suppose x = 5*v - 89 - b. Is 12 a factor of v?
True
Let x = -1 + 10. Let j = x - 4. Is 5 a factor of j?
True
Let j be 6/(-9)*(-6)/2. Suppose -2*w - 6 = -j*x, -2*w = -2*x - 2*x + 20. Does 7 divide x?
True
Let u be 160/(((-10)/3)/(-5)). Suppose -t + u = 5*t. Does 11 divide t?
False
Let g(m) = -138*m**3 + m**2 - 2*m - 2. Is g(-1) a multiple of 45?
False
Let z be (-1)/((-141)/(-72) - 2). Suppose 0 = -4*j + z + 20. Is 3 a factor of j?
False
Suppose 19 = 3*p - l, 0*p = -2*p + l + 13. Let z = 65 + p. Let m = -46 + z. Does 21 divide m?
False
Let s be 1 - -1 - (-5 - 2). Let n = 2 + s. Is n a multiple of 11?
True
Suppose -z - z + 4 = 0. Suppose -2*t + z = -30. Does 6 divide t?
False
Suppose 5*f - 3*q + 2*q = 39, 2*f - 14 = 2*q. Suppose -4*g = -f*g + 16. Suppose -g*b = 5*t - 36, 9 = 5*t - 2*b - 33. Is 6 a factor of t?
False
Let s(r) = -r**2 - 9*r - 5. Is s(-7) a multiple of 3?
True
Suppose -5*q = -2*f + 33, -q + 5 = 2*f + 2. Suppose -k = k + f. Does 13 divide k/11 - 1656/(-33)?
False
Let a(n) = n + 10. Let w be a(-6). Suppose -b + 4*r - 110 = -6*b, w*b - 4*r - 124 = 0. Does 7 divide b?
False
Let d(t) = t**2 + 4*t + 3. Suppose -5*c + 9 - 39 = 0. Is 5 a factor of d(c)?
True
Suppose -b + 4*v = 2*b + 16, 0 = 2*v - 8. Let q(k) = 25*k**2 + 0 + k + 1 + b*k. Is 7 a factor of q(-1)?
False
Let u = 97 + -40. Is 10 a factor of u?
False
Suppose -t + 0 = -1. Let y(o) = -2 + 12 + o + t. Is y(0) a multiple of 5?
False
Let r be (-12)/(-8) + (-6)/(-4). Suppose 0 = -2*w - 5*h - r, 0*h - 4*h = 12. Does 6 divide w?
True
Let s(c) = -13*c**3 + 3*c**2 + c - 6. Is s(-2) a multiple of 18?
True
Suppose 476 = -7*q