5 + 4). Suppose -4*x + 18 = -a. Is 10 a factor of x?
True
Let v(l) = 9*l + 1. Let m be v(-1). Let y(u) = -3*u + 9. Let a(c) = -1. Let j(h) = 6*a(h) + y(h). Does 27 divide j(m)?
True
Suppose p - 2*p - 2*i = 12, -3*p = 4*i + 36. Let b = p - -71. Is b a multiple of 22?
False
Suppose 0 = -2*t + 57 - 51, -2*s + t + 1547 = 0. Is 9 a factor of s?
False
Suppose -3*p - 168 = -6*p. Suppose -p = 2*w + 4*a, -4*w - a - 198 + 72 = 0. Is 12 a factor of -27*(w/6)/4?
True
Let y = -59 + 59. Suppose -5*o = -y*o - 260. Is o a multiple of 26?
True
Let h = -6 + 18. Suppose -v + 5*o - h - 21 = 0, -o = 2*v + 66. Let x = v - -51. Is 8 a factor of x?
False
Suppose -4*h = 5*u - 6, 7*u = 3*u + 5*h + 13. Let t be (-1)/(-2) - (-27)/u. Suppose -2*m + 18 = o - t, -m + 3 = 0. Is 13 a factor of o?
True
Let g be (250/(-4))/(-5)*-2. Suppose -11*d + 213 - 686 = 0. Let p = g - d. Is p a multiple of 11?
False
Let s(u) = 2*u**3 + 7*u**2 + 24*u + 2. Does 13 divide s(10)?
False
Suppose 0 = 15*g - 2750 - 1510. Is g a multiple of 6?
False
Let m(n) = -5*n**3 + 2*n - 7*n + 6*n**3 + 23 - 16*n**2 - 12*n. Does 2 divide m(17)?
False
Let r = 1 + 3. Is 28 a factor of 434/4 + (-2)/r?
False
Let v = 206 - 197. Is 9 a factor of v?
True
Let s be 18/(-4)*(-7 - (-19)/3). Let y(m) = 12*m**2 - 2 - 5*m**2 + 0 + 5*m. Is y(s) a multiple of 18?
False
Let r(q) = -5*q**2 - 4*q - 5. Let l be r(-4). Suppose 382 = 2*k + 3*m + 114, k = 5*m + 134. Let j = l + k. Does 18 divide j?
False
Let d = 1350 - 648. Is d a multiple of 4?
False
Let x = -2022 + 3014. Does 32 divide x?
True
Suppose -5*d = 2*z + z + 20, -d - 4 = 0. Suppose -5*f + 2*b + z = 8, -4*f - 6 = -2*b. Does 12 divide f/(-3) - (-68)/6?
True
Let o be (-2 - 1) + (0 - -19). Let f = o - 16. Suppose -3*i - 4*v + 2*v + 98 = f, -72 = -2*i - 3*v. Does 10 divide i?
True
Let g = 669 - 65. Does 18 divide g?
False
Suppose m + 8 = 2*b - 0*m, 0 = 4*b + 5*m - 44. Suppose -888 = -6*i - b*i. Is 31 a factor of i?
False
Suppose 0 = -2*x - j + 19, 7*x - 3*j - 15 = 5*x. Let r be x/(-2) - (-16)/32. Does 20 divide r - (-62 + 6/2)?
False
Let v(j) = -j**2 - 9*j - 15. Let i be v(-5). Suppose -5*r = 5*d - 415 - 360, i*r + 805 = 5*d. Is 13 a factor of d?
False
Let p(a) = -8*a - 5. Let t be p(17). Let c = -57 - t. Is c a multiple of 12?
True
Let n = 16 + -11. Suppose n*i = -5*l - 10, -l - 2*l + 3*i = 6. Let v = l + 11. Is v a multiple of 8?
False
Let w(p) be the first derivative of -23*p**2/2 - 4*p - 9. Is 6 a factor of w(-1)?
False
Let n(z) be the first derivative of z**4/4 - 4*z**3 + 3*z**2 + 13*z - 566. Let j(w) = 5*w - 3. Let o be j(3). Is n(o) a multiple of 23?
False
Is 21 a factor of ((-126)/10*-4)/(14/315)?
True
Let s be (-2)/(-2 + 0) - 0. Let b(x) = 170*x**3 - 2*x + 2. Let f be b(s). Suppose -19*t + 14*t = -f. Is 16 a factor of t?
False
Suppose 6*w = -w + 42. Suppose 24 = -0*x + w*x. Is 2 a factor of x?
True
Let n = 456 + 232. Suppose -o - 1 = 0, 3*z + 4*o = -o + n. Is 33 a factor of z?
True
Let o(x) be the third derivative of 7*x**2 + 0*x + 5/12*x**4 - 1/120*x**6 + 0 - 1/6*x**5 + 1/3*x**3. Is 7 a factor of o(-11)?
False
Suppose 3*h - 5312 = 2*h - 8*r, -21100 = -4*h + 5*r. Is 20 a factor of h?
True
Let b be (-66 - 2)*5/(-20). Let y = 17 - b. Suppose y = -a + 8 + 7. Is a a multiple of 7?
False
Suppose -3*y + 5*f = 19, 4*y + 5 - 3 = 2*f. Suppose 0 = -y*x - 2*x - 280. Let v = 139 + x. Is v a multiple of 23?
True
Suppose -764 = -3*w - 86. Is w a multiple of 19?
False
Let u(r) = 11*r + 55. Is u(6) a multiple of 27?
False
Is 20 a factor of 156*(-8)/(-72)*270?
True
Suppose 22*k - 2584 = 5*k. Is k a multiple of 33?
False
Suppose -490 = -4*p - j, 0 = -2*j + 4 - 8. Let v = p - 60. Is 13 a factor of v?
False
Let f be ((-16)/40)/(-1 + (-78)/(-80)). Suppose -6 + f = -5*r, r = 3*o - 146. Is o a multiple of 12?
True
Suppose -5*r = 21 + 14. Let q be (3 + r)/(2/(-6)). Does 23 divide ((-138)/4)/(q/(-16))?
True
Suppose 0*o = 4*o. Suppose 0 = 2*c + w + 59 - 164, c + 4*w - 63 = o. Suppose 5*j - c = 2*j. Is j a multiple of 9?
False
Let u(s) = -38*s - 4. Let w(n) be the third derivative of -n**5/60 - 3*n**4/8 - n**3/3 - n**2. Let c be w(-9). Is 24 a factor of u(c)?
True
Suppose 0 = x - 2*x - 15. Let z(n) = -5*n + 30. Is z(x) a multiple of 15?
True
Suppose -2*l = d - 5, 9 = d + 2*d. Suppose 4*a - l = 3. Does 11 divide a*-2*49/(-2)?
False
Let q(h) = 9*h + 3. Let u be q(1). Let t = u - 20. Is (111/4)/((-3)/t) a multiple of 37?
True
Let j = -11 + 19. Suppose -4*b + 16 = -j*b. Let x = b + 51. Does 19 divide x?
False
Let m(u) = u**3 - 29*u**2 - 62*u - 4. Let f be m(31). Suppose 5*b + 5*h = 35, -2*b + 4*h - 12 = 2*b. Is 9 a factor of b/f - (-58)/4?
False
Let r = 55 - -17. Let d = r + -51. Does 9 divide d?
False
Does 11 divide 286 - (-17 - -16)/((-1)/3)?
False
Let d = -276 - -416. Is d a multiple of 4?
True
Does 23 divide (-552)/(-30)*25/5?
True
Let g(c) = -36*c - 491. Is g(-28) a multiple of 3?
False
Let s(w) = -w**3 - w. Let v(j) = 8*j**3 - 12*j**2 + 13*j + 12. Let z(d) = 6*s(d) + v(d). Is 18 a factor of z(6)?
True
Let h be (-7)/14 - (-35)/10. Let q be (-4)/((-2)/(0 - 2)). Does 4 divide h + (14 - 12/q)?
True
Let d(a) = 417*a**3 - 3*a**2 + 12*a - 20. Is 16 a factor of d(2)?
True
Suppose 0*p - 10 = -2*p. Suppose -5*o + 28 + 97 = 0. Suppose -205 = -p*f - o. Does 18 divide f?
True
Let s be -4 + -5 + 10 - 163. Let v = -102 - s. Is v a multiple of 10?
True
Let x(d) = -d**2 + 64*d - 307. Is x(51) a multiple of 17?
False
Let k = -65 + 92. Let v be ((-18)/k)/((-2)/177). Suppose 5*j - y = v, j - 2*j + 14 = 2*y. Is j a multiple of 4?
True
Suppose -2*m + 243 = 3*m + 3*q, 4*q = -4*m + 188. Let l = m + 26. Is 25 a factor of l?
False
Suppose -34*n + 61*n - 5184 = 0. Does 23 divide n?
False
Let m(c) be the first derivative of 89*c**3/3 + 3*c**2/2 - 2*c + 1. Let j be m(2). Does 20 divide ((-1)/2)/((-5)/j)?
False
Let f(p) = -185*p - 285. Is 28 a factor of f(-6)?
False
Is (-44)/33*(-9189)/12 a multiple of 40?
False
Let f be 3*(-4)/(-12) - 2. Let b be (6/(-3) + 3)*f. Let i = 9 - b. Is i a multiple of 10?
True
Let t = 6 - 1. Suppose 0*u + 2*k - 436 = -5*u, -t*u + 415 = -5*k. Suppose -36 = 5*o - u. Does 5 divide o?
True
Let a = 21 - 15. Suppose m = 8 - a. Suppose 4*n - y - 146 = 111, -116 = -2*n - m*y. Does 14 divide n?
False
Let g = 119 - -401. Does 9 divide g?
False
Suppose 0*o + 23 = 3*p + 4*o, 0 = -4*p - 5*o + 30. Let g(s) = -2*s**2 - 5*s**2 - p*s - 5*s**3 + 6*s**3 - 2. Is g(8) a multiple of 22?
True
Let o(k) = -9*k - 200. Does 14 divide o(-31)?
False
Does 2 divide 12/12 + (37 - -1)?
False
Suppose 46 = 7*d + 18. Does 13 divide (2 + 83/d)*8?
True
Let n be (-40)/(-12) - 4/(-6). Is 76/(4*n/8) a multiple of 16?
False
Suppose -c + 35 = 4*c. Let a(y) = y - 6. Let d be a(c). Let b(v) = 12*v + 2. Is b(d) a multiple of 3?
False
Let x = -258 - -398. Is x a multiple of 14?
True
Suppose -3631 = -6*o - 151. Does 29 divide o?
True
Suppose -4*a + 184 = -6*a. Let s = 176 + a. Does 7 divide s?
True
Let j = 290 - -138. Suppose -64 + j = 7*b. Is b a multiple of 19?
False
Let f be (-1)/(-1)*(11 - 14). Let x be f/(-5) + (-99)/15. Is (x/15)/(4/(-840)) a multiple of 28?
True
Let z be ((-9)/(-6))/(-1 - 12/(-8)). Suppose -2*n = z*w - 23 - 625, -2*w + n = -432. Is w a multiple of 12?
True
Suppose -j + 18 = -0*j. Let m be 2/6 - (-102)/j. Does 3 divide 33/m + 2/4?
True
Suppose 3*n = -4*k - 56, -6*n = -5*n + 3*k + 12. Let z(l) = l**2 - 2*l - 6. Let a be z(-4). Is ((-16)/n)/(2/a) a multiple of 5?
False
Suppose 3*p - 4*o - 121 = 0, -5*p + 148 = -5*o - 47. Suppose -2*u + 120 = j, -4*u + 4*j = -229 - p. Does 11 divide u?
False
Suppose 24*j + 5*a = 21*j + 92, 0 = -5*j - 4*a + 136. Is 5 a factor of j?
False
Let x(u) = -u - 12. Let t be x(-6). Let m(q) = 2*q**3 + 13*q**2 + 4*q - 2. Does 3 divide m(t)?
False
Suppose 0 = -6*k + 3623 - 2411. Is k a multiple of 7?
False
Let d = 13 - 22. Let w(p) = p**3 + 11*p**2 + 10*p - 2. Is w(d) a multiple of 30?
False
Suppose -5*n - 4*b + 4 = 0, -n + 7 = -3*b - 9. Let k be n/(-1)*8/(-4). Is 36 - 3*k/6 a multiple of 5?
False
Let s = -533 + 893. Is s a multiple of 36?
True
Let b(d) = 26 + d**2 - 13 + 4*d + 40 + 33. Is 40 a factor of b(0)?
False
Let f(p) = -p**3 + p**2 - 1. Let o(v) = 4*v**3 - 18*v**2 + 4*v + 36. Let x(h) = -5*f(h) - o(h). Is x(-13) a multiple of 6?
False
Suppose 166*n = 163*n + 243. Is n a multiple of 27?