e
Suppose -19*i + 16*i = -294. Is i a multiple of 9?
False
Let w = 370 + -218. Does 38 divide w?
True
Suppose -2*w - 3*n = -w - 341, 0 = 2*w + 3*n - 691. Is w a multiple of 21?
False
Suppose -4*o + 4*a = 3*a - 168, 5*a - 21 = -o. Let b = 57 - o. Is b a multiple of 12?
False
Let a(q) = -9 - 4*q**3 - 2*q**3 + 5*q**3 + 6*q + 7*q**2. Is a(6) a multiple of 21?
True
Let t = -13 - -24. Suppose 2*d = -3*u + 104, 5*d - 120 - 14 = -4*u. Let a = u + t. Is a a multiple of 12?
False
Let l be (223/2)/((-15)/(-30)). Is l/5 - (-24)/(-40) a multiple of 11?
True
Does 14 divide (-3)/((-9)/(-6)) + 16?
True
Suppose -5*m + 35 = 155. Is ((-12)/10)/(m/880) a multiple of 21?
False
Suppose 4*t + 0*t - 25 = -3*n, -4*t = -n - 13. Suppose 2*b - 45 = 21. Suppose -3*m = 5*f - 11, 0 = -t*m - 5*f + 2*f + b. Is m a multiple of 6?
True
Is 48/(-3*(-5)/15) a multiple of 6?
True
Suppose 136 = -m - 3*m. Let c = 244 + m. Let v = c - 150. Does 24 divide v?
False
Let h(b) = b**2 + 8*b - 6. Let g be h(-9). Suppose -3*d + 17 + 39 = 2*q, -g*q = 3*d - 54. Is d a multiple of 20?
True
Suppose -5*q = -y - 545, 0 = -5*q + y - 3*y + 530. Is 11 a factor of q?
False
Let y = -16 - -22. Is y a multiple of 3?
True
Is 15 a factor of (-2)/5 + 847/55?
True
Let d(g) = g**3 + 6*g**2 + 9*g + 8. Let w be d(-6). Is -3*2/(12/w) a multiple of 23?
True
Let w(g) = 12*g + 3. Is 26 a factor of w(10)?
False
Let m(z) = z**2 + z. Let l = -3 + 4. Let i be m(l). Suppose -5*c = -i*w + 57, 4*c - 14 = -2. Does 10 divide w?
False
Let p be ((-1)/1)/(1/(-5)). Suppose -p*w - 4*s = -18, -w - w = -4*s + 4. Let g = 9 - w. Does 7 divide g?
True
Let a(y) = -y**3 + 10*y**2 + 3*y - 3. Let r(h) = -h**2 + 12*h + 2. Let n be r(12). Suppose 3*t = -u + 33, -n*u + 16 = -3*t + 4*t. Does 27 divide a(t)?
True
Suppose t + 2*y - 12 = 0, t - 2*t + 4*y = -30. Is 18 a factor of t?
True
Let u = 91 + -19. Is 13 a factor of u?
False
Suppose -3 = -3*s + 2*s. Suppose 0 = -s*y + 24 - 0. Is y a multiple of 6?
False
Suppose 6 = 5*j - 4. Suppose 0*d - d = -10. Suppose -2*u + 17 = j*u + 5*t, -d = -3*u - t. Is u even?
False
Let v = -6 + 9. Suppose -2*a + 2*h + 84 = 0, 2 = -2*a + v*h + 90. Does 19 divide a?
True
Suppose 2 = i + 22. Is 19 a factor of (-1755)/i - 4/(-16)?
False
Suppose -2 = -p + 2*h, 3*h = -2*p + 10 + 1. Suppose -4 = -2*v + 6. Suppose -90 - 10 = -p*d + 5*w, 4*w - 84 = -v*d. Does 20 divide d?
True
Suppose 3*c = 7 + 2. Suppose 36 = -n + 3*p - 5*p, -c*n - p = 93. Let v = -20 - n. Is 4 a factor of v?
False
Let v(c) be the second derivative of -5*c**3/6 - 2*c**2 - 3*c. Let o be v(-4). Let t = o + -11. Is 5 a factor of t?
True
Suppose 5*p - 2266 = -6*p. Is p a multiple of 36?
False
Suppose 5*i + 51 - 196 = 0. Is i a multiple of 29?
True
Let k(a) = a - 9 + 6 + 3*a. Is k(2) a multiple of 2?
False
Let q be 1 - 2 - (1 + -2). Suppose 3*i = 9 + 3. Suppose -4*d + 124 = -i*y, -4*d - 2*y + 58 + 96 = q. Is 18 a factor of d?
True
Suppose 11 = -4*f - 105. Let x = 52 + f. Is x a multiple of 4?
False
Suppose -5*d - 2*l = 28, 2*l - 7*l - 8 = -3*d. Is 10 a factor of 3*((-80)/6)/d?
True
Suppose -5*x = -5*y - 132 - 33, 0 = -5*y + 10. Is x a multiple of 35?
True
Let x = -174 + 224. Is x a multiple of 25?
True
Suppose 6*g - 11 = 13. Is g a multiple of 2?
True
Let z(w) = -4*w + 1. Let b be z(-2). Let x be (-2)/8 - (-186)/8. Let y = b + x. Is 16 a factor of y?
True
Is 4*23*((-10)/(-4) + -2) a multiple of 46?
True
Does 14 divide (-11 - 1)*(-42)/12?
True
Suppose 24 = -2*w - 0*w. Let c(l) = l**2 + 8*l - 16. Is 16 a factor of c(w)?
True
Let b(f) = -f**3 - 2*f**2 + f - 3. Let w be (-2 + 10/6)*9. Does 3 divide b(w)?
True
Suppose v = 3*c - 29, -3*c = 2*v + 8 - 22. Is c a multiple of 8?
True
Suppose 20 = 5*y + 4*s, -11 + 1 = -2*s. Let l be y - -28*(0 + -1). Does 7 divide (l/6)/(6/(-9))?
True
Let c = -25 - -65. Is 5 a factor of c?
True
Suppose -3*q - 7 = 5. Let v = q - -6. Is v*2/(-4) + 21 a multiple of 10?
True
Let q(d) = 12*d**2 - d. Let u be q(1). Let w(z) = 3*z - 3*z - u - 5*z. Is w(-8) a multiple of 22?
False
Let v = 15 - 7. Does 8 divide v?
True
Let a(v) = v**3 - 7*v**2 + 3*v - 5. Let x(i) = i - 6. Let r be x(6). Let w(p) = -p**2 - p + 7. Let l be w(r). Is 7 a factor of a(l)?
False
Let i = -4 - -5. Suppose 3*o - p - i = 0, 3*p = -4*o - 6 - 10. Is 14 a factor of 1 + 1*18 + o?
False
Let r = -30 + 225. Is 39 a factor of r?
True
Suppose 3*c + 0*c = 5*z - 16, 4*c + 8 = 0. Suppose -z*h - p = p - 76, -4*h + 137 = p. Is h a multiple of 11?
True
Suppose 0 = v + 4*g - 43, -4*v = -3*g - 75 - 192. Is 21 a factor of v?
True
Suppose 6*u - 45 + 9 = 0. Is 2 a factor of u/9*18/2?
True
Let w = 24 - -8. Is w a multiple of 19?
False
Does 17 divide (-3 - 0)*2*(-134)/6?
False
Let g be (-2)/(2/1) - -10. Let l = 3 + g. Is 6 a factor of l?
True
Let t(j) = -2*j**3 - 6*j**2 - 4*j + 1. Let z be t(-4). Suppose -3*a = -167 - z. Is a a multiple of 24?
True
Let n = 22 - 15. Is n/2*(-22)/(-11) a multiple of 7?
True
Let t be 0 + (0 - 2) - -156. Suppose 0 = -5*b + 2*r + t, -5*r + r - 116 = -4*b. Is b a multiple of 19?
False
Let k = 4 - 1. Suppose -12 = 3*n + 4*f - 47, 0 = -4*n - k*f + 56. Is n a multiple of 17?
True
Suppose 2*z + 3*z = -b + 2, 10 = 5*b - z. Suppose 6*n - 48 = 4*n + 5*j, b*j = -3*n + 72. Is 16 a factor of n?
False
Let r = -5 + 8. Suppose -2*h + 11 = -r. Let q(g) = 3*g + 5. Does 13 divide q(h)?
True
Let y be (2/(-4))/(9/(-54)). Does 19 divide y - (-41 + 1 + -3)?
False
Let x = 11 + -6. Suppose -x*g + 376 = 151. Does 18 divide g?
False
Let m(w) be the third derivative of 49*w**6/120 - w**5/30 + w**4/12 - w**3/6 + w**2. Is m(1) a multiple of 16?
True
Let g(s) = 49*s**2 + s. Does 16 divide g(-1)?
True
Let a = 817 - 574. Does 27 divide a?
True
Let s(j) = j**2 + j - 2. Let n be s(0). Let h = -4 + n. Let p(f) = f + 9. Is p(h) even?
False
Let y(r) = 285*r**2 + 1. Is y(-1) a multiple of 11?
True
Let m = 3 - 3. Suppose 3*o - 5*o + 34 = m. Is o a multiple of 17?
True
Let o(g) = -2*g**3 + 4*g**2 - 12*g + 4. Let v(a) = 3*a**3 - 9*a**2 + 23*a - 9. Let l(x) = -5*o(x) - 3*v(x). Does 15 divide l(-8)?
True
Suppose 0*u - 45 = -5*u. Does 2 divide 1/(-3) + 48/u?
False
Let a(i) = 5*i + 7. Is a(3) a multiple of 11?
True
Let l be (-8)/(-6)*(-3)/(-2). Let x be (3/1 - l)*0. Let m = x + 17. Does 17 divide m?
True
Let b be 2/(-8) - (-163)/(-4). Let f = b - -59. Is f a multiple of 9?
True
Suppose -20 = w - 5*w. Suppose -2*l + 31 = x + 3*l, w*l - 5 = 0. Suppose x = b + 3*o, 3*b - 2*o - 2*o = 26. Does 7 divide b?
True
Let i(m) = 3*m + 9. Let t be i(-6). Let c be -48*(-3 + t/(-2)). Let f = -48 - c. Does 12 divide f?
True
Does 24 divide (-2)/1 - (250/(-2) - -2)?
False
Suppose -3*j - 321 = -5*g - 4*j, -3*g + 2*j + 190 = 0. Does 32 divide g?
True
Let n be -5 - (-1 + (-4)/(-2)). Let q be n/(-8) + 52/16. Suppose 5*a = q*h - 66, 3*a + 74 = 4*h + 2*a. Is h a multiple of 11?
False
Suppose -d = -6 - 24. Is 6 a factor of d?
True
Let s be 1*(86/2)/1. Let g = 154 - 71. Let o = g - s. Is 16 a factor of o?
False
Let w be 1 + -30 + -5 + 3. Let h = w - -52. Is 14 a factor of h?
False
Suppose 4*a = 0, 0*n - 300 = -5*n - 2*a. Suppose -2*d + 3*x - 26 = -85, 3*d - n = -5*x. Does 15 divide d?
False
Let z be -1 - (0 + 1 + 0). Is 7 a factor of z/((3/(-14))/3)?
True
Let y(d) = -6*d - 1. Is y(-13) a multiple of 21?
False
Let t = 9 + -19. Suppose -4*s + 344 = -2*s. Is 4 a factor of s/20 + 6/t?
True
Suppose -3*n = -0*n - 255. Does 10 divide n?
False
Let g(x) = x + 15. Suppose 3*i = 2*h - 0*h - 5, 0 = 4*h - 2*i + 2. Let o be h*3/3 + 2. Does 4 divide g(o)?
False
Let l(q) = 2*q**2 - q - 1. Is l(5) a multiple of 22?
True
Suppose 2*n = 5*x + 58, 5*x + 0*x - 4*n + 56 = 0. Let u be 6/10 + x/(-5). Suppose -u*w = -4*i + 141, -i - 5*w = -2*i + 48. Does 12 divide i?
False
Let g(s) be the first derivative of s**3/3 - 3*s**2/2 + 2*s + 1. Let l be (-1 - 5*-1) + 2. Does 7 divide g(l)?
False
Let x = 86 - 2. Is 28 a factor of x?
True
Let s be (-1)/(-1)*-2 - 3. Let a(h) = -2*h**3 - 3*h**2 + 7*h - 5. Let j(g) = g**3 + g**2 - 3*g + 2. Let r(n) = -3*a(n) - 5*j(n). Is 5 a factor of r(s)?
True
Let o = -380 + 572. Is 48 a factor of o?
True
Suppose -3*h = -4*s + 641, 5*s - 2*h + h - 804 = 0. Is 39 a factor of s?
False
Let d(j) = j**2 + 4*j - 7. Suppose 5 = -z + b, 5 = -b - 4*b. Does 2 divide d(z)?
False
Let v = -17 + 9. Let c = 10 + v. Suppose -5*l + 124 = -2*l + g, 4*