e
Suppose -1 + 11 = 5*w. Suppose 0 = g + 4*m + 3 - w, -4*g - 109 = -5*m. Let f = 1 - g. Is f a multiple of 9?
False
Is 5/(25/190)*8 a multiple of 26?
False
Let j be (-2)/(-2*(-1)/(-33)). Suppose 5*f - 47 = j. Is 6 a factor of f?
False
Suppose -3*k + 10 = 5*q, -2*q + 6 + 29 = -5*k. Suppose 3*x + 79 = q*m, 3*m - 7*x + 2*x = 57. Does 14 divide m?
True
Let t(l) = 17*l**2 - l. Let w(j) = 32*j**2 - 4*j + 18*j**2 + 0*j + j. Let a(d) = -8*t(d) + 3*w(d). Is a(1) a multiple of 13?
True
Is 21 a factor of (0 - -1)/(2/122)?
False
Let k = 442 + -82. Is k a multiple of 60?
True
Suppose 0 = 3*z - 2*v - 39, 3*v = z - 2*z + 2. Suppose -4*s - 4*o + 27 = -s, -z = -2*s - 5*o. Is 4 a factor of s?
False
Suppose 2*c = -0*i + 4*i - 402, 3*c = -2*i + 181. Suppose 4*g = -0*o - o + i, 129 = 5*g - 2*o. Let r = -11 + g. Is 7 a factor of r?
True
Let z(i) = 5*i**3 - 3*i**2 + i + 3. Let a(u) = 5*u**3 - 2*u**2 + u + 2. Let v(y) = -4*a(y) + 3*z(y). Is v(-2) a multiple of 13?
True
Let u be 7 + (1 + -3)*-1. Suppose 0 = 3*k + 4*h + 2 + u, 0 = -5*k - h + 10. Suppose 5*d + g - 4*g - 106 = 0, -2*d = -k*g - 46. Does 15 divide d?
False
Suppose 2*i - 63 = -0*i + a, 2*a = 3*i - 96. Suppose -s - w = -i, 0*s = -s + 2*w + 21. Is s a multiple of 9?
True
Let o(d) = d**3 + 4*d**2 - 4*d - 3. Let l be o(-5). Is 7 a factor of (-106)/(-8) - 6/l?
True
Suppose -p = 3 - 10. Suppose p*m - 3*m - 96 = 0. Is m a multiple of 24?
True
Let b(p) = -p**3 - 7*p**2 + 4. Let h be b(-7). Let t be -3*4/6 + h. Is 4 a factor of (0 - 22)*t/(-4)?
False
Suppose -20 = -6*l + l. Suppose -c - 3*c + 46 = 3*p, -p + 42 = l*c. Is 5 a factor of c?
True
Suppose k = 5*k + 3*f - 234, k = 3*f + 66. Let c = k + -38. Suppose -4*j - 24 = -2*w, -1 + c = 4*w + j. Is w a multiple of 2?
True
Suppose 2 + 7 = -3*j. Let x be (-3)/j - (-3 - -1). Suppose -6*i = -i + 4*f - 222, -135 = -3*i - x*f. Does 21 divide i?
True
Let t be (-232)/6 - 2/(-3). Is 9 a factor of (t/(-3))/((-12)/(-18))?
False
Let n = 0 + 3. Let c(d) = 1 - 3*d + 4*d + 8*d + 3*d. Is c(n) a multiple of 10?
False
Let n be 0 + (-9)/(-3) - 6. Let j = n - -19. Is j a multiple of 9?
False
Suppose -2*g = -5*g + 9. Suppose 3 = f - 4*v, -g*f - v + 1 = -21. Is f a multiple of 3?
False
Suppose -4*z + 449 = 7*c - 2*c, -4*c - 12 = 0. Does 58 divide z?
True
Suppose 2*j - 9 - 1 = 0. Suppose 12 = 6*t - 0. Suppose -j*k = v - 41, -4*v + t*v + 54 = 3*k. Is v a multiple of 7?
True
Let o be -2 + (3 - (1 - 1)). Let l(k) = 55*k**3 - k**2. Is l(o) a multiple of 27?
True
Let b(z) = 79*z**2 + 1. Does 16 divide b(1)?
True
Let r = -40 - -76. Is 22 a factor of r?
False
Let j(r) = 0*r - 4*r**3 - r - 5 + 3*r**3 - 6*r**2. Let c = 52 + -59. Is j(c) a multiple of 17?
True
Suppose 52 + 3 = 5*k. Let g(j) = 8*j**3 - j. Let v be g(-1). Let r = v + k. Does 2 divide r?
True
Let x be -1 - 35 - (-9)/(-3). Let a = x + 55. Is a a multiple of 8?
True
Suppose -4*g = 5*n - 723, n + 238 - 55 = g. Does 14 divide g?
True
Let i(y) = -2*y**2 - y + 11. Let n(c) = c**2 - 5. Let l(u) = -6*i(u) - 13*n(u). Let w be l(4). Suppose 4*h - 5*b - 15 = 54, -w = -2*h - 3*b. Does 9 divide h?
False
Suppose -2*c - 3*p = -192, 3*c + p + 4*p = 287. Does 11 divide c?
True
Let p(n) = -n - 9. Let q be p(0). Let r be ((-13)/13)/(1/(-33)). Let c = q + r. Is 12 a factor of c?
True
Suppose 0 = 6*q - 2*q + 8. Does 12 divide -3*6/1*q?
True
Let q(t) = t**2 + 2*t - 5. Let u be q(-7). Let f = u - 17. Is f a multiple of 8?
False
Is (-20)/(-3) + 2/6 even?
False
Let k be (5 + (2 - 2))*9. Let z = 72 - k. Does 10 divide z?
False
Suppose 0 = -2*b + 12 - 2. Suppose z + b*w = w + 36, 3*w = -15. Is 14 a factor of z?
True
Let x(c) = 9*c + 7. Let r(a) = 3*a. Let m be r(2). Is 22 a factor of x(m)?
False
Suppose -4*h - 5*y = 158, -2*y - 11 = 3*h + 104. Let p = 13 + h. Let q = -8 - p. Does 8 divide q?
True
Is 2/12 + 548/24 a multiple of 23?
True
Let w(m) = -2*m - 1. Let z be w(-5). Let r = -1 + z. Is 8 a factor of r?
True
Suppose 4*w = 3*w + 9. Let s = -3 + w. Is 4 a factor of (-21)/(-4) + s/8?
False
Suppose 0 = 3*g - 2*i - 126, -4*g + 2*i + 151 = 5*i. Does 18 divide g?
False
Suppose -f + 45 = 2*f. Does 5 divide f?
True
Let j be (-231)/2*(2 + -4). Is 11 a factor of (0 - 1)/((-7)/j)?
True
Suppose 0 = 5*r - 180 - 1570. Does 50 divide r?
True
Let m(d) = 7*d**2 - 17*d + 2. Let w(q) = -6*q**2 + 16*q - 3. Let k(c) = 5*m(c) + 6*w(c). Does 10 divide k(9)?
True
Let m be ((-20)/12 + 3)*3. Suppose m*w = 326 - 122. Does 9 divide w?
False
Is 13 a factor of 42/6*((-334)/(-7) - -2)?
False
Suppose -2*j - 90 - 131 = -3*x, 383 = 5*x + 4*j. Is x a multiple of 15?
True
Let z(i) = -i**2 - 8*i + 1. Let j be z(-9). Let u = 22 + j. Does 4 divide u?
False
Let k = 235 - 40. Suppose 0 = -4*p + 3*a + 4, 4*p + a + 8 = 2*p. Is k/6 + (-1)/p a multiple of 13?
False
Let q = -2 - 4. Is 21 a factor of 14/q*(-37 - -10)?
True
Suppose 0 = -v - 4 + 8. Suppose -f + 5 = 3*c - v, -5*f + c = -61. Does 8 divide f?
False
Suppose 0 = -4*w + 5*m - 3*m + 22, -8 = -2*w - 2*m. Is 11 a factor of (2 + -1)*w*5?
False
Suppose -3*u - 3*r = -102, -3*u = -2*u - 4*r - 9. Does 10 divide u?
False
Let o = -152 + 254. Suppose 5*m + 63 = -o. Let x = 18 - m. Does 14 divide x?
False
Let w = 156 - 108. Is w a multiple of 48?
True
Does 25 divide (150/9)/(4/24)?
True
Let z be 6/2*12/18. Does 10 divide (-28)/3*(-1 - z)?
False
Does 7 divide 6/(-21) - (-480)/14?
False
Let z(t) be the second derivative of -5*t**3 - t**2 + 4*t. Let q be z(-3). Suppose q = -4*h + 8*h. Is 22 a factor of h?
True
Let u(k) = -2*k + 1. Let x be u(-2). Suppose t = x*t. Suppose t = -3*l - l + 68. Is l a multiple of 8?
False
Suppose 2*j = j + 39. Let b = 86 - j. Is b a multiple of 17?
False
Suppose 0 = -2*a - a + 537. Suppose -4*z = -3*h + a, h - 4*z + 14 - 71 = 0. Does 9 divide h?
False
Let g = -17 + 20. Suppose x = -h - g*h, 3*x - 15 = 3*h. Is 2 a factor of x?
True
Let n(k) = -k + 13. Let c be n(9). Let s = c - 4. Suppose 5*u - 50 = -s*u. Is u a multiple of 5?
True
Let g(f) = f**3 + 6*f**2 - 5*f + 12. Does 12 divide g(-6)?
False
Let y = 17 + -6. Let t = 15 - y. Suppose w = 2*w - 5*c - 27, 0 = 2*w - t*c - 30. Is w a multiple of 5?
False
Let a(k) be the third derivative of -k**6/120 + 7*k**5/60 + k**4/24 + 2*k**3/3 + 2*k**2. Does 3 divide a(7)?
False
Let i(q) be the third derivative of q**6/120 - q**5/20 - q**4/6 - q**3/6 + 3*q**2. Does 10 divide i(5)?
False
Suppose 4*c = 34 - 14. Let j be (-2)/(-8) - (-158)/8. Suppose -j = -5*f - c. Does 3 divide f?
True
Let h(i) = -i**3 + 3*i**2 + 2*i - 4. Let a be h(3). Suppose 10 = 5*u, -a*w + 8 = w + u. Is w*(-3)/4*-22 a multiple of 18?
False
Is (3 + -1)/((-8)/(-300)) a multiple of 13?
False
Suppose 2*x + 135 = 7*x - a, -2*x + 3*a + 54 = 0. Is 9 a factor of x?
True
Let l(k) = 9*k - 2. Is l(2) a multiple of 13?
False
Suppose -3*p + 327 = -597. Is 44 a factor of p?
True
Suppose -5*s + 4*w = -65, 0 = 2*s + 2*w - 0 - 8. Does 4 divide 2/(s/(-6) + 2)?
True
Let l = -36 - -3. Let a = -29 - l. Is a a multiple of 4?
True
Let t(p) = 16*p + 1. Let y be t(2). Suppose 0*f + 5*o = f - y, 2*o = -2. Is f a multiple of 13?
False
Suppose -2*f + 3*z - 6 = -27, 0 = z + 3. Suppose 2*o = 5*v - 0*v - f, -o - 14 = 3*v. Let q(r) = -r**3 - 7*r**2 + 5*r - 10. Does 5 divide q(o)?
False
Let n be (1 - (-1 - -1))*2. Suppose -n*x - 174 = 3*x + 3*b, 3*b = 3*x + 90. Let t = 51 + x. Is 9 a factor of t?
True
Let q(y) = -y**3 + 9*y**2 - 10*y + 8. Is 12 a factor of q(7)?
True
Suppose 3*j + j = 144. Is j a multiple of 12?
True
Let o = -5 + 25. Is 2 a factor of o?
True
Let y(g) = -g**2 - 8*g - 4. Let m be y(-7). Does 5 divide 33/((-6)/4 + m)?
False
Let a be (138/24)/((-2)/8). Let m = 11 + a. Is 4/m - (-31)/3 a multiple of 10?
True
Let f be (7/(-28))/((-2)/16). Suppose -f*d - 36 = -3*d. Does 18 divide d?
True
Let h be ((-4)/(-10))/((-3)/(-15)). Suppose 0 = -h*z + 4, -2*z - 34 = -3*l - 4*z. Let c = 17 - l. Does 7 divide c?
True
Let m = 301 - 16. Does 36 divide m?
False
Suppose 0 = -6*z + 2*z + 160. Is z a multiple of 10?
True
Let o(y) = 6*y**2 + 3*y + 2. Let p be o(-2). Suppose 0 = -2*a + p + 40. Is a a multiple of 10?
True
Suppose -7 = k - 2. Let c(l) = -1 + 3*l**2 - 1 - 1 - 2*l**2 + 2*l. Does 6 divide c(k)?
True
Suppose 2*w = -4, w = 2*x - 26 - 30. Is 9 a factor of x?
True
Let w(t) = 342*t**2 - 2*t + 2. Is w(1) a multiple of 19?
True
Let d = -105 - -229. Does 11 divi