 - 196 = f. Is q a multiple of 7?
True
Let r be (-2 - 48/(-20)) + 322/(-5). Let y = 76 - r. Is y a multiple of 28?
True
Suppose 0*x - 2*x = 0. Suppose 4*o + 3 - 15 = x. Suppose 3*p - o = 9. Does 3 divide p?
False
Let i(h) = h**3 - 13*h**2 - 1. Let n be i(13). Is 2 a factor of (-12)/(n + (-2)/4)?
True
Suppose x + 2*s = 37, -4*s - 19 + 3 = 0. Let l(f) = 6*f - 20. Let d be l(4). Suppose w - d*w = -x. Is 5 a factor of w?
True
Let f(s) = 5*s - 9. Let h be f(8). Suppose -3*t = -2*l + 77, 4*l - 5*l + 4*t + h = 0. Let x = l - 14. Is 10 a factor of x?
False
Suppose 3*d = d + 10. Suppose d*o = x - 0*x + 129, 3*o - 3*x = 75. Does 13 divide o?
True
Let n(u) = -18*u**3 - u**2 - 5*u - 3. Let q be n(-3). Suppose -q = -2*w - 91. Let i = -139 + w. Does 20 divide i?
True
Let o = -485 + 789. Is o a multiple of 8?
True
Does 41 divide ((-60)/(-50))/(9/4920)?
True
Suppose -3*i - 3*d + 408 = 0, -3*d - 527 - 113 = -5*i. Does 22 divide i?
False
Let q be (-9)/(-12) - 147/(-12). Let w(o) = -o + 34. Is 17 a factor of w(q)?
False
Suppose -4*h + 921 = 5*p, -5*p = -3*h - 1127 + 199. Is 4 a factor of p?
False
Let k(l) = l**2 + 12*l + 13. Let s be k(-11). Suppose -2*d = -3*d + 3*p + 31, -s*d + 3*p = -47. Is d - (4 + -3) - 4 a multiple of 4?
False
Suppose 5490 = 10*c - 1510. Is c a multiple of 70?
True
Let y(d) = -5*d**3 + d + 1. Let v be y(-2). Suppose -w + 4*w - v = 0. Let f = -8 + w. Is f a multiple of 5?
True
Suppose -4*a = -a + 3, 0 = m + 3*a + 2. Does 8 divide 60 + 4 + (-1)/m?
False
Let h = 210 + -166. Is h a multiple of 44?
True
Let l(r) = r + 6. Let p(c) = 2*c + 11. Let q be (27/(-6))/((-3)/(-4)). Let g(o) = q*p(o) + 11*l(o). Does 3 divide g(-5)?
False
Let t = 497 - -259. Does 12 divide t?
True
Let p be -3 - (-148)/52 - 82/(-26). Let b be 3 - 23 - -1*1. Is 15 a factor of -1 - (b + (-6)/p)?
False
Suppose 22*i = 4743 + 8413. Is 13 a factor of i?
True
Let z = -57 - -136. Suppose -5*s + n - 185 = 0, 4*s + 3*n + 69 = -z. Let w = 92 + s. Is 20 a factor of w?
False
Let b(w) be the second derivative of w**3 + 3*w**2/2 - 15*w. Is b(9) a multiple of 4?
False
Let z be 22/(-66)*1*-9. Suppose z = -p - a + 15, 5*a = 2*p - 45. Does 5 divide p?
True
Let h(t) = -7*t - 5. Suppose 0 = 6*v + 8 + 22. Is h(v) a multiple of 10?
True
Let i be ((-15)/9)/(5/(-15)). Suppose -3*b = i*o - 115, -4*o + 116 = 4*b - 24. Does 3 divide b?
True
Suppose t + 16*v - 17*v = 383, -4*t = 2*v - 1502. Is 63 a factor of t?
True
Let q be 12/(-7) + 6/(-21). Let u = q - -8. Suppose -3*v = -u*v + 132. Is 13 a factor of v?
False
Let j be (3/(-1) - -3) + -15. Let r = 1 - j. Does 15 divide -4*(-6)/r*22?
False
Let x = 162 + -19. Does 4 divide x?
False
Let h be 12/(-15)*10/(-2). Suppose -h*a + 4 = -2*p + 14, -4*p + 4*a + 16 = 0. Suppose -11 = -4*x + 1, 0 = u + p*x - 95. Is 28 a factor of u?
False
Let u(t) = -t**2 + 7*t - 11. Let s be u(5). Let p be 1/(s + (3 - 3)). Does 19 divide 0/1 + (-21)/p?
False
Let r = 7 - 7. Let j = 33 + -31. Suppose 2*m + j*m - 36 = r. Is m a multiple of 4?
False
Let w(a) = -a + 9. Suppose -5*z = 4*i - 51, 0*i - 48 = -4*z + 4*i. Let x be w(z). Let y = 7 - x. Is 9 a factor of y?
True
Suppose -3*p = 5*h + 7, -5 = -2*h + 3*h. Is p/(-72)*-9*48 a multiple of 4?
True
Let j(t) = -t**3 + 10*t**2 - 11*t + 5. Let x = 8 - 0. Is j(x) a multiple of 15?
True
Let n = -478 + 553. Does 13 divide n?
False
Is (-472)/(-3) - 6/(-9) a multiple of 12?
False
Suppose 41 = -g + 2*g. Let t = 106 - g. Suppose s + 4*o - 28 = 0, -4*o = -s + 3 + t. Does 12 divide s?
True
Let y(k) = 13*k + 4. Suppose -2*u - 7 = -q - 0, 2*q + 3*u - 14 = 0. Let r(n) = n - 3. Let o be r(q). Does 17 divide y(o)?
False
Let o be 1 - 106*(-4)/8. Suppose -9*h + 7*h + o = 0. Is 27 a factor of h?
True
Suppose c + 20 = 6*c. Suppose c*a - 18 = 38. Does 8 divide a?
False
Let a(k) = k - 4. Let r be a(3). Let m be -1 + 2 + (-47)/r. Suppose -u = 5*g - 24, -3*u + 0*u - 3*g = -m. Does 9 divide u?
False
Let q be ((-8)/(-3))/(8/12). Suppose -21 - 18 = -3*d + q*t, 0 = -3*d - t + 39. Does 3 divide d?
False
Let g(n) = 7*n - 2. Is g(14) a multiple of 8?
True
Let u(r) = 6*r**2 - 72*r - 390. Is 17 a factor of u(-15)?
True
Let c = 67 - -263. Is c a multiple of 15?
True
Suppose 0 = 5*l - 155 - 85. Let x = l + -37. Is ((-28)/6)/(x/(-33)) a multiple of 3?
False
Suppose -3*j + 81 = 3*h - 306, 5*h = -3*j + 389. Is 8 a factor of j?
True
Let g be -6*16/12 - -2. Let l = g + 8. Is -14*(-3)/l - 4 a multiple of 17?
True
Suppose 35*b = 10882 - 2902. Is b a multiple of 12?
True
Let d be (23/3)/(13/39). Let o = d + -14. Suppose o + 29 = z. Does 21 divide z?
False
Let x(n) = 2*n**2 - 9*n. Let o(v) = -v**2 + 7*v - 4. Let w be o(5). Is x(w) a multiple of 18?
True
Suppose 5*r = 26*r - 3675. Let i = 128 - 233. Let b = i + r. Does 35 divide b?
True
Suppose -y = -3*y + 8. Let h be (2/y)/((-2)/(-4)). Does 8 divide 22 + h - 5/(-5)?
True
Let g(a) = -83*a + 36. Is g(-2) a multiple of 2?
True
Let s = -239 + 315. Is 19 a factor of s?
True
Let v = 2592 - 1008. Does 72 divide v?
True
Let m(k) = -30*k + 25*k + 2*k**2 + 7*k**3 - 3*k**3 + 2*k**2 + 4. Is m(2) a multiple of 21?
True
Let k(u) = -7*u**2 - 24*u**3 + 8*u**3 - 8 + 15*u**3 + 2*u. Let r be k(-8). Is (-4)/6*(-780)/r a multiple of 13?
True
Suppose -5*n = 9 - 39. Let y(i) = 10*i**3 - 5*i**2 + 6*i - 3. Let g be y(2). Suppose -3*l + n*l - g = 0. Does 7 divide l?
False
Suppose 0 = 2*w + w - 0*w. Suppose 4*i + 2*q = 3*i + 44, -2*q - 4 = w. Is i a multiple of 6?
True
Let b(p) = p**2 - p. Suppose 2 = -7*f + 8*f. Let a be b(f). Suppose -a*k - 3*k + 30 = 0. Is k a multiple of 3?
True
Let f = -70 + 134. Suppose -3*a = -i + 6*i - f, -43 = -5*i + 4*a. Does 11 divide i?
True
Let v be 852/9 + ((-32)/12)/(-8). Suppose -3*u + 5*u = 4*k - 308, -k - 4*u = -v. Is k a multiple of 11?
False
Does 31 divide (-9)/(-6)*55*396/45?
False
Let n(r) = r**3 + 12*r**2 - 3*r - 22. Does 14 divide n(9)?
True
Let q(b) = b**3 - 8*b**2 - 18*b - 14. Let o be q(10). Is (-1 - 32)/(o/(-8)) a multiple of 18?
False
Let q = 15 + -10. Suppose q*t - 148 = -3*g, 2*g - t - 62 = 3*t. Is g a multiple of 10?
False
Let w = -23 + 28. Let d(g) = g**2 + 3 + 9 - 4*g**2 + 10*g + w*g**2. Does 21 divide d(-9)?
True
Suppose 6*m + 30 = 8*m. Let n = m - 31. Is 18 a factor of (-373)/(-7) + n/56?
False
Let q(w) be the second derivative of -w**4/12 - 4*w**3/3 - 5*w**2/2 - w. Let u be q(-13). Let s = -38 - u. Is s a multiple of 16?
True
Let i(t) = -t**2 + 39*t + 4. Does 48 divide i(19)?
True
Suppose -o + 15 = 3*o + r, 5*o = -3*r + 17. Let b(u) = -120*u**2 + u - 8. Let f be b(o). Does 32 divide 5/(-25) - f/20?
True
Suppose 0*h - 3*h + x - 84 = 0, 123 = -4*h + 5*x. Let r = h + 237. Suppose -5*y + 210 = -r. Does 28 divide y?
True
Let q(h) = 5*h**3 - 2*h**2 - h + 2. Let w be q(1). Suppose -w*v = -522 + 182. Does 14 divide v?
False
Let r be (-9)/36 - (-418)/8. Suppose 0 = -3*q - r + 187. Does 9 divide q?
True
Let t = 19 - -25. Is t a multiple of 4?
True
Let i be 1 - 2*(-4 - -5) - -1. Suppose i*w + 360 = 2*w. Does 15 divide w?
True
Suppose 3*p + 0*p = 144. Suppose -b = -0*b + p. Let v = b + 68. Does 6 divide v?
False
Does 7 divide 5 - 2170/((-42)/6)?
True
Suppose -293*j = -299*j + 6078. Is 14 a factor of j?
False
Let t = -7 - -5. Let c = 557 - 559. Is 4 a factor of 20/(3 + c) + t?
False
Let v(k) = -2*k**3 + k**2 + k + 1. Let t be 3/(-6) + 1/(-2). Let l be v(t). Suppose l*s + 5*m - 59 = 0, 2*s + 0*s - 6 = 5*m. Is 3 a factor of s?
False
Suppose -14*q + 18*q - 260 = -3*n, -3*q - 3 = 0. Does 25 divide n?
False
Suppose -14 = -4*h + 14. Let a(x) = x**3 - 6*x**2 - 6*x - 1. Let q be a(h). Is ((-44)/q)/(5/(-15)) a multiple of 22?
True
Let h = -528 - -815. Is 10 a factor of h?
False
Let y(v) = -v**3 + 8*v**2 + 23*v + 13. Let k = -2 + 4. Let j be -3 + (19 - k) + -4. Is 16 a factor of y(j)?
False
Let y(q) = 133*q**3 + 4*q**2 - 4*q. Is y(1) a multiple of 19?
True
Let x(z) = -57*z + 617. Is x(-6) a multiple of 25?
False
Let j(b) = b. Let k be j(1). Let l = 159 - 109. Does 23 divide (-2 - (0 - k)) + l?
False
Is 25 a factor of 1 + 3*17 - (70 + -68)?
True
Let k be (-1 - 214/(-6))/(78/585). Suppose -35*o = -37*o + k. Is o a multiple of 8?
False
Suppose 2*v = -188 - 122. Let l = -62 - v. Does 31 divide l?
True
Suppose -5*r + 0*r = 365. Let w = 201 + -198. Let h = w - r. Does 23 divide h?
False
Let p = 1147 - 739. Is p a multiple of 