 -15*r - 596 = -16*r. Suppose -588 = -l - 2*l + 3*i, -5*i = -3*l + r. Suppose -5*k = -8*k + l. Does 12 divide k?
False
Let k(h) = 11*h**2 - 12*h - 53. Does 37 divide k(8)?
True
Suppose -6*h + 8*h = 2220. Let v be (h/(-9))/5*-6. Let w = v - 82. Is 17 a factor of w?
False
Let i(g) = g**3 - g**2 - 8*g + 2. Let d be i(-8). Does 4 divide d/(-25) - 2/5?
True
Suppose -5*d = -5*t + 4980, 3*d - d + 2020 = -5*t. Is (-8)/12 - d/6 a multiple of 12?
False
Let z = 57 + -29. Does 7 divide z?
True
Suppose -4*v - 7 = -2*v + 5*h, -3*h = -3*v. Is 359/3 + v/(-18)*6 a multiple of 20?
True
Let l = 176 - -70. Suppose 3*y = -3*w + l, 4*w - 321 = -4*y + 7*y. Is w a multiple of 27?
True
Let i be (11 + -5)/(6/(-4)). Let m = -10 - i. Let n = 41 - m. Is n a multiple of 16?
False
Suppose 4*g = u + 2*u + 7181, 2*g = -4*u + 3596. Does 14 divide g?
False
Let z be 912/(-60)*(-5)/4*2. Is 4 a factor of -2*z/(-4) + 1/1?
True
Let m(y) = y - 2. Let b be m(4). Let v be 4/6*27/b. Does 10 divide (-2 - 1)/(v/(-48))?
False
Suppose 0 + 5 = 5*k. Let p be k*(2/2 + 1). Suppose 3*x - 5*u = 127, -x + 5*u = -p - 47. Is x a multiple of 14?
False
Suppose 8*u - 3*u = -25. Does 40 divide (20/(-50) - 2/u) + 200?
True
Let t = 54 + -19. Is 3 a factor of (-5)/1*t/(-25)?
False
Suppose 41*c = -2*u + 46*c + 695, -5*u + 1703 = -c. Is 17 a factor of u?
True
Let f(d) = d**2 + 10*d - 1. Let t = 20 + -29. Let h be f(t). Let s(k) = k**2 + 11*k + 14. Is 3 a factor of s(h)?
False
Suppose -4*u = 1300 + 1308. Is (-2)/13 + 2 + u/(-13) a multiple of 26?
True
Suppose m = 10*m - 2736. Suppose 41*h - m = 37*h. Let r = 132 - h. Is 10 a factor of r?
False
Let d(k) = 5*k**2 + 3*k - 8. Let n(l) = l**2 + l - 1. Let t(u) = d(u) - 4*n(u). Suppose 4 = 3*s - 2*x + 12, x + 22 = -5*s. Is 16 a factor of t(s)?
True
Let h = -85 + 88. Suppose -h*k + 7*k = 528. Is k a multiple of 6?
True
Let p be (-27)/24 + 3/24. Let g(k) = -11*k**3 + k**2 - 1. Is g(p) a multiple of 11?
True
Suppose -3*t - 5*i - 128 + 325 = 0, 140 = 2*t - i. Let n be (-8)/12*3 + t. Suppose 0*s + s - n = 0. Is s a multiple of 19?
False
Suppose 0 = u + 4*x + 16, -u - 8 = 2*x + 2. Let h be 0 - u*3/6. Let l = h + 13. Is l a multiple of 15?
True
Let x(n) = -4*n + 72. Let p be x(17). Let j(s) = -s**3 + 6*s**2 + 2*s - 7. Let y be j(6). Suppose -p*v + y*v - 3 = 0. Is v a multiple of 3?
True
Let w(a) = 100*a**2 + 5. Suppose -2*l + 29 = 25. Let t be w(l). Suppose -21 = -6*m + t. Is m a multiple of 15?
False
Suppose -9*u = -8*u + 20. Suppose -3*m - 3 - 3 = 0. Let s = m - u. Is s a multiple of 18?
True
Suppose -g = -15*g + 14910. Does 71 divide g?
True
Let m(k) = 44*k - 22*k + 2*k**2 + 1 - 33*k**3 - 20*k. Is m(-1) a multiple of 9?
False
Let c = 1435 + -329. Does 21 divide c?
False
Let p be 6 + 52 + (-3 - (-6)/3). Is 11 a factor of p/4 + 6/8?
False
Let h(a) = -4*a**3 + 2*a**2 + 5*a - 4. Let x = -55 + 51. Is h(x) a multiple of 44?
True
Let g(a) = -31*a - 1. Is g(-7) a multiple of 9?
True
Let m = -634 - -655. Is 13 a factor of m?
False
Let c(h) = h**3 - 5*h**2 - 5*h - 2. Let j be ((-14)/4 - -4)*12. Let z be c(j). Let g = z - -8. Is 4 a factor of g?
True
Let k = 1784 - 1229. Does 24 divide k?
False
Suppose -6 = 18*j - 16*j. Let a = j + 9. Is 4 a factor of a?
False
Suppose -z + 9 = 2*z - 4*v, -2*z + 2*v + 6 = 0. Suppose 0 = -2*q + z*p + 2, 3*q + 10 = -5*p + 51. Is q a multiple of 3?
False
Let m(c) be the first derivative of c**4/4 + 8*c**3/3 + 3*c**2 - 10*c + 9. Is 17 a factor of m(-5)?
False
Let k(b) = -2*b + 13*b**2 + b - 9*b - 8 - b**3. Let h = -174 + 186. Is 8 a factor of k(h)?
True
Let n be 119/28 - 3/12. Suppose 74 = n*t - 46. Is 10 a factor of t?
True
Suppose 4*l = 2*s, 5*s = -5*l + s + 26. Suppose -2*v - l*v = -20. Is v a multiple of 2?
False
Let d = 16 - -364. Is d a multiple of 49?
False
Let m(z) = -z**2 - 7*z - 8. Let y be m(-6). Is 7 a factor of (177/6 - 0)*(-4)/y?
False
Let f(a) = -5*a - 22. Let g be f(-5). Suppose 4*r - 636 = -d, 0 = -4*r + g*d + 385 + 267. Is r a multiple of 40?
True
Suppose -432 = -3*s + 132. Suppose 39*g - 43*g = -s. Is 2 a factor of g?
False
Suppose 4*b - 420 = -4*p, 2*b - 2*p - 270 + 44 = 0. Let k = 3 + b. Does 8 divide k?
True
Let b(y) = 2*y**3 - 4*y**2 - y + 9. Does 25 divide b(4)?
False
Let n(h) = -h**3 + 26*h**2 - 22*h - 33. Let w be (-3)/(-12) + (-495)/(-20). Is n(w) a multiple of 14?
True
Suppose p - 62 - 26 = 0. Is 8 a factor of p?
True
Let h(u) = u**2 + 6*u + 43. Is 15 a factor of h(-9)?
False
Let u(s) = 36*s**3 - 2*s**2 + 1. Let t be u(-1). Let x = -5 - t. Suppose -3*q = r - x, 5*q - 2*r + 7 - 42 = 0. Does 5 divide q?
False
Let o(y) = 48*y**2 - 26*y - 49. Is 74 a factor of o(-9)?
False
Suppose -4825 = -5*g + 5*s, s = 3*g + 3*s - 2915. Is 18 a factor of g?
False
Let n(t) = -t**3 - 20*t**2 - 23*t + 24. Let p be 1/(-1 - 36/(-38)). Is n(p) a multiple of 10?
True
Suppose -110 = -5*v + 40. Suppose n + 3*n = l + v, n + 3*l = 1. Is n a multiple of 7?
True
Suppose -8*w = -3*w. Suppose -h + 2 + 89 = w. Is h a multiple of 13?
True
Let z(m) = 3*m**3 - m**2 - 40*m + 4. Is 24 a factor of z(6)?
False
Let v = 13 + -7. Let g = 19 - v. Is 2 a factor of g?
False
Let a(b) = -b**2 + b + 2. Let y be a(4). Let o = 14 + y. Suppose 5*z - 278 = o*u, 0 = -0*u - 2*u + 6. Does 26 divide z?
False
Suppose 0 = -3*z + 4*u + 648 - 3276, u - 1747 = 2*z. Let i be z/(-6) + 64/(-48). Suppose 4*m + i = 8*m. Is 18 a factor of m?
True
Let v be (-42)/(-4)*(-4)/6. Let m = -1 - -18. Let o = v + m. Does 8 divide o?
False
Let v(t) = -t**3 + 12*t**2 - 7*t + 8. Let a be v(11). Suppose d = -2 + a. Is d a multiple of 7?
False
Let z(n) = -n**3 + 2*n**2 + n + 22. Let c(x) = x**3 - 3*x**2 - x - 22. Let y(j) = 6*c(j) + 5*z(j). Is 25 a factor of y(9)?
True
Let k be 4 - (-3 + -62) - 0. Let g = k + 9. Is g a multiple of 15?
False
Suppose 25 = -2*g - 3*g, 3*a = g + 41. Suppose 17*m = a*m. Suppose c - 5*w + m*w = 77, 5 = -w. Does 17 divide c?
False
Suppose -3*t - 3*c + 27 = 0, c - 2*c + 1 = -t. Is 2 - t/(12/(-9)) even?
False
Suppose 3*l - 50 = l. Suppose -l*u = -30*u + 60. Is u a multiple of 3?
True
Suppose -5*p + 42*r = 44*r - 2104, 4*p + 3*r = 1686. Does 28 divide p?
True
Suppose -14 = 2*v - 2438. Does 50 divide v?
False
Let o = 262 + -259. Let h(v) be the second derivative of v**3/3 + v. Is h(o) even?
True
Suppose -4*i = 5*k + 3 + 9, 3*i - 4*k - 22 = 0. Suppose -3*s = 4*t - 259, -i*t + 3*s = -123 - 2. Is 32 a factor of t?
True
Let s be 1/(-4) + (-260)/(-80). Suppose -6*m + 60 = -4*m - 2*w, 4*m = -s*w + 134. Is m a multiple of 16?
True
Let w = 67 - 210. Let b = 179 + w. Is 12 a factor of b?
True
Suppose 2*h - 6*h + 3698 = -i, -4*i = 4*h - 3688. Is h a multiple of 21?
True
Is (-1 - 208)*(0 + (-1 - 3)) a multiple of 76?
True
Does 126 divide 1014 - (2 + 10)*5/10?
True
Suppose 3*g = -g - 3*u + 17, 0 = -4*g - 5*u + 23. Is 164/8 - 1/g a multiple of 19?
False
Suppose 12*u = 6*u + 2580. Is 3 a factor of u?
False
Let d(j) be the second derivative of j**4/12 + 13*j**2/2 + 2*j. Is 19 a factor of d(5)?
True
Let p = -56 + 81. Let t(v) = 6*v - 14. Let k be t(4). Is (p/k)/((-1)/(-22)) a multiple of 15?
False
Suppose r = -z + 1, 5*z - 7*r - 15 = -10*r. Let m(g) = g + 2. Let x be m(-2). Let k = z + x. Is k even?
True
Let i be 6/(-9) - 6/(-9). Suppose i = 5*k - 4*s - 804, -4*k + 62 = s - 598. Is k a multiple of 41?
True
Let h = 3253 + -1877. Is h a multiple of 11?
False
Let b = 773 + -520. Is b a multiple of 9?
False
Let o(w) = -w**2 - 18*w - 16. Does 20 divide o(-14)?
True
Let r(n) = 3*n - 11. Let a be r(5). Suppose -a*m - 365 = -9*m. Is m a multiple of 26?
False
Suppose -3*w - 2*s = -s - 27, 5*w - 45 = 5*s. Let g(t) = -11*t + 6*t**3 - 7*t**3 - w*t**2 - 4 - 4. Is 4 a factor of g(-8)?
True
Let o be 162/6*(-2)/(-6). Suppose 3*h - o - 21 = 0. Suppose 0*j + h = j. Is 4 a factor of j?
False
Let n = -20 + 26. Suppose -5*f = 4*q - 638, 7*q - 2 = n*q. Is f a multiple of 18?
True
Let l = 342 - 97. Is 35 a factor of l?
True
Suppose 38*s = 11*s + 8829. Is 15 a factor of s?
False
Let r(i) = -3*i - 1. Let l be r(-9). Let m(z) = -16*z**2 - 4*z - 5. Let k be m(-1). Let w = l + k. Does 3 divide w?
True
Let k be 2*-2 - 30/(-2). Suppose -5*u - k - 9 = 0. Does 4 divide 1506/66 + u/(-22)?
False
Let q be 8*((-3)/(-3) - 3). Let k = -11 - q. Let a(y) = -y**3 + 7*y**2 + 3*y - 7. Is 18 a factor of a(k)?
False
Let f(t) = 5. Let k(g) 