e
Suppose h - p - 457 = 22, h + 2*p - 491 = 0. Does 23 divide h?
True
Suppose -o - 739 = -3*f, 11*f - 980 = 7*f + 4*o. Is f a multiple of 13?
True
Let k = 37 - -62. Suppose 0 = -4*o - 0*o - 4, -4*p - 3*o + 281 = 0. Let f = k - p. Is f a multiple of 8?
False
Suppose 0 = 3*u - 79 - 11. Let t be -4 + u/5 + 56. Let z = -35 + t. Does 10 divide z?
False
Let b(l) = 4*l + 28. Let x be b(-6). Suppose 0 = x*v - v - 405. Does 15 divide v?
True
Let o = 374 - 266. Does 48 divide o?
False
Let k = 26 + -18. Suppose 2*v - 5*z = 4, -2*z + 26 = 2*v + k. Suppose v*g + 52 = 11*g. Is g a multiple of 6?
False
Let i(g) = -10*g**2 + 3*g**2 + 0*g**3 + 0*g**3 + g**3. Let w be i(7). Suppose w = k - 10 - 6. Does 11 divide k?
False
Suppose 2*v + v + 447 = b, -1371 = -3*b + 3*v. Suppose 4*o - b = -178. Suppose -t = -o - 22. Does 31 divide t?
True
Let o(h) be the third derivative of 0*h + 3/2*h**3 - 10*h**2 + 0 + 3/10*h**5 - 5/8*h**4 - 1/120*h**6. Is o(17) a multiple of 16?
False
Let i be (6/5)/(40/100). Suppose 2*q + q - 2*m = 401, 3*q + i*m = 411. Does 19 divide q?
False
Let t be -20*(3 - -1)*-1. Let a(g) = g**3 + 23*g**2 - 25*g + 5. Let h be a(-24). Let x = t - h. Is x a multiple of 17?
True
Suppose 3*n + 2 = 4*n. Let h be 872/36 + n/(-9). Let x = h - 16. Is x a multiple of 4?
True
Let v(y) = y + 2. Let o be v(3). Suppose -o*n + 48 = 3*k - k, 2*n - 4*k - 24 = 0. Let t = 47 - n. Is t a multiple of 10?
False
Suppose x = 2*x - 2. Suppose d + x*d = -63. Let f = d + 26. Is 3 a factor of f?
False
Let b = 16 + 5. Is 8 a factor of (-27 + b)*(-136)/6?
True
Let o(y) = 12*y - 4. Suppose -5*a - 17 = 18. Let v = a + 9. Does 7 divide o(v)?
False
Suppose -28*s + 22*s + 26880 = 0. Is 16 a factor of s?
True
Let r(s) = -37*s**3 - 2*s**2 + 3*s + 5. Does 49 divide r(-3)?
False
Suppose 2*r - 8 = 36. Let h = r + -18. Suppose -2*l = -4*o + 162, 56 = h*o - 2*o + 4*l. Is o a multiple of 8?
False
Let y(q) = q**3 - 8*q**2 - 10*q + 11. Let n be y(9). Suppose n*f = 3 - 9, -903 = -3*b + f. Is 20 a factor of b?
True
Let w(p) = -p**3 - 3*p + 126. Is w(0) a multiple of 9?
True
Suppose -2*d + 58 = -s - 183, 491 = 4*d + s. Is d a multiple of 4?
False
Let a(n) be the second derivative of -n**5/60 + 5*n**4/24 + 7*n**3/6 + 2*n**2 - 8*n. Let j(s) be the first derivative of a(s). Is 11 a factor of j(4)?
True
Let f = -3795 - -5625. Does 60 divide f?
False
Suppose -2*v + 6*x - 11*x + 76 = 0, -5*x + 132 = 4*v. Is v a multiple of 2?
True
Let h = 27 + -22. Let x(c) = -c**3 + 5*c**2 + 6*c + 3. Is 11 a factor of x(h)?
True
Let g = -3 - -8. Suppose 4*v = m - 20, 0 = -5*m - g*v + 33 + 17. Is m/(-2)*18/(-4) a multiple of 6?
False
Suppose 9*w - 20 = -4*z + 4*w, -2*w + 8 = 0. Let o(l) = -l**3 + 27. Does 3 divide o(z)?
True
Let o(u) = 3*u**2. Let i be o(1). Suppose k + x + x = 19, 4*x - 53 = -i*k. Let c = 28 - k. Is c a multiple of 9?
False
Let o(c) = -c**2 + 5*c. Let m be o(5). Suppose -b + 12 = 2*t - 66, m = -4*b + 16. Does 7 divide t?
False
Suppose 5*l - 333 = -3*i, 2*l - 127 = 6*i - i. Suppose -2*c - 3*w + l = 0, 4*w = 2*c + 3*w - 50. Is c a multiple of 9?
True
Let g = -30 - -3. Suppose 3*p + 60 = -3*b, 3*b + 17 = 4*p - 8. Let j = b - g. Does 12 divide j?
True
Is 73 a factor of 18*(2262/(-36))/(-13)?
False
Suppose -5*d + 1725 = -1020. Is 3 a factor of d?
True
Let z(o) = o**3 - 4*o**2 + o + 2. Let p be z(3). Let n(b) = b**3 + 3*b**2 - 4*b - 2. Let c be n(p). Is 13 a factor of -28*(c + 2/(-8))?
False
Suppose i - 7*i = 0. Let l(q) be the first derivative of -q**2/2 + 40*q - 1. Is 11 a factor of l(i)?
False
Let o(n) = -n**2 + 6*n + 7. Let b be o(7). Suppose -3*x + 662 = 5*w, 3*x + b - 12 = 0. Is w a multiple of 33?
False
Let k(i) = -i**3 + 6*i**2 - i + 6. Let t be k(6). Suppose 5*y - 8 - 22 = t. Suppose -60 + 12 = -y*o. Is 8 a factor of o?
True
Let i = 63 + 316. Is i a multiple of 5?
False
Is 67 a factor of (-6505)/(-5) + (-10 - -13)?
False
Let p be ((-248)/4 - -3) + 3. Let b = -20 - p. Is 12 a factor of b?
True
Let j be (4 - 6) + (3 - -3). Let l(t) = 2*t**3 + t**2 + t - 2. Let h be l(3). Suppose -3*q + 98 = 4*u, -2*q - j*u = -0*q - h. Is 11 a factor of q?
False
Let u(v) = v**2 - 3*v - 7. Let y be u(6). Suppose -r + j - y = r, -3*r + 3*j = 21. Is 6 a factor of 2 + (-128)/r + 1?
False
Does 57 divide (-3705)/(-25)*(8 - -7)?
True
Let g be (-144)/(-78) + 4/26. Suppose -g*c = k - 119, -3*k + 299 + 74 = 2*c. Is 40 a factor of k?
False
Let v = 94 - 46. Let q = v + -44. Is q a multiple of 2?
True
Let u be 32 + 2 + 9 + -10. Suppose -5*k - 2*x + x = -79, 3*k - 3*x = u. Is k a multiple of 15?
True
Let x(s) = 57*s**2 - 11*s + 19. Does 11 divide x(2)?
False
Suppose 5*k = 4*k - 35. Let v(x) = -10*x**2 + 18*x - 33. Let j be v(3). Let g = k - j. Is 6 a factor of g?
False
Let t = -30 - -35. Suppose 0 = 3*q + 15, -t*o + 106 = 4*q - 174. Does 10 divide o?
True
Let h(b) = 2*b**2 + 10*b. Does 8 divide h(-8)?
True
Suppose 0 = 4*m - 2 - 26. Suppose 5 = m*l - 6*l. Suppose -l*y + 82 = 2*b - 8, 3*y - 63 = -3*b. Is 4 a factor of y?
True
Suppose p - 36 = g, 0*p + p - 5*g = 20. Does 2 divide p?
True
Let t = 677 - 406. Let b = -82 + t. Is b a multiple of 49?
False
Let w(k) = 0*k**3 - 3*k**3 + 3 + 4*k**3 + 0 + 6*k**2. Does 3 divide w(-3)?
True
Suppose -292 = 5*a + 3*w, 5*a + 4*w + 0*w = -296. Let i = a + 80. Does 4 divide i?
True
Let q(b) = -b + 23. Let h be q(23). Is 7 a factor of 0 - h - -9*21/3?
True
Suppose 0 = -3*g + 2*f + 75, -3*f - 2 + 16 = g. Let x = 131 - g. Suppose 3*l = 6, 5*q + 5*l = l + x. Does 10 divide q?
True
Let u be 126/26 + (-14)/(-91). Suppose u*q - 451 = -11. Suppose 4*h = 0, h = 4*t - 0*t - q. Is 11 a factor of t?
True
Let l = 20 + -21. Is 6 a factor of (-228)/4*(-4)/(-12)*l?
False
Let q(h) = -h - 7. Let v be q(0). Let r be -34*(-4)/(v - -3). Is 16 a factor of 1 - (1 + 2 + r)?
True
Suppose 8 = 18*r - 22*r. Is (7/1)/(r + 23/11) a multiple of 12?
False
Let n be ((-60)/18)/(2/(-12)). Suppose -5*k - n = 20. Let d = k + 16. Is 5 a factor of d?
False
Suppose -268 = 18*f - 85534. Does 108 divide f?
False
Let t(n) = 2*n**3 + n**2 - 2*n + 2. Suppose 5*z - d = -0*d + 6, 2*d - 10 = -z. Let j be ((-2)/(-2))/(z/4). Is 9 a factor of t(j)?
True
Suppose 0 = -2*m + 8867 - 2819. Suppose -6*k = 2*k - m. Is 37 a factor of k?
False
Let c be (-1)/4 + (-97)/(-4). Suppose 2062 - 298 = -21*l. Is (-418)/(-7) - c/l a multiple of 20?
True
Suppose 2*j + 98 = -4*o, 0*j - 103 = 4*o + 3*j. Let m = o + 24. Suppose -60 = -m*w - 4*w. Is 10 a factor of w?
True
Suppose -2*x = -x + 2*g - 6, -5*x = 4*g - 18. Is (x/3)/(6/351) a multiple of 6?
False
Let d = 1405 + -949. Is d a multiple of 33?
False
Suppose 13 = -5*n + 3*v, 4*n - 1 + 4 = -5*v. Is (-5 + 2)/3 + 295 - n a multiple of 28?
False
Let p be 130/(-8) + (-48)/(-192). Suppose -3*s = -6*s - 36. Let w = s - p. Does 3 divide w?
False
Suppose -4*k = 59*k - 11466. Is 48 a factor of k?
False
Does 8 divide (-38)/8 + 3 - 8561/(-28)?
True
Suppose 9139 = -178*y + 191*y. Is y a multiple of 37?
True
Suppose 8*t - 20 = 3*t. Let v be 6/(-2)*(-4)/(-6). Does 11 divide (v/t)/((-2)/124)?
False
Suppose -8*y + 4405 = 3*o - 13*y, 0 = 2*o + 5*y - 2920. Is 45 a factor of o?
False
Let z(i) = 3*i**2 + 9*i. Let t be z(-6). Suppose -s = -114 - t. Is s a multiple of 21?
True
Let p be (-21 + 22)/((3/(-319))/3). Let o = p + 494. Does 7 divide o?
True
Let m(z) = 335*z - 86. Does 69 divide m(4)?
False
Let q = -216 - -1199. Is 64 a factor of q?
False
Suppose 5*s = -14 - 1, 5*b = s + 3363. Is b a multiple of 16?
True
Suppose -3 + 3 = 2*f. Does 11 divide (f - (-2 + 3)) + 37?
False
Let q be (1/(-2))/(-3 - (-70)/24). Suppose q*u - 348 = -0*u. Is u a multiple of 29?
True
Let k(t) = 2*t**2 - t + 2. Let g(f) = f**3 - 6*f**2 - 8*f + 9. Let c be g(7). Let a be k(c). Suppose 3*p - a*p = -255. Does 17 divide p?
True
Suppose 0 = 881*x - 882*x + 1777. Is x a multiple of 152?
False
Let c = 101 - 6. Does 5 divide c?
True
Let c(z) be the first derivative of -z**3/3 + 12*z**2 - 11*z + 12. Is 9 a factor of c(16)?
True
Let d(k) = k**3 + k**2 + 3*k - 2. Let x be 42/49*7/2. Does 10 divide d(x)?
False
Let o = 1 - -2. Let f(u) = 2*u**2 + 32*u + 54. Let s be f(-15). Suppose -5*n + s = -2*a, 0 = -6*n + 4*n + 3*a + o. Does 5 divide n?
False
Suppose -o = -2*x - 2, 5*x - 4*o + 8 + 0 = 0. Suppose x = p - 6*p + 190. Suppose 3*r - p = -5*j, 30 = -j + 6*j + 5*r. Is j a multip