q = -290, -4*f + 5*f + 5*q - 82 = 0. Is f a multiple of 18?
True
Suppose 14*p - 2389 = -807. Does 5 divide p?
False
Let l = -522 - -914. Does 14 divide l?
True
Let t(w) = 580*w**3 - 5*w**2 + 3*w + 3. Is t(1) a multiple of 75?
False
Let y(o) = -o**2 + 9*o - 13. Let x(g) = -g - 1. Let w be x(-7). Let l be y(w). Suppose 3*b - 38 = -2*m, 5*m + l*b = 50 + 45. Does 9 divide m?
False
Suppose 0 = -125*h + 128*h - 516. Is 28 a factor of h?
False
Let d = 190 - -739. Is d a multiple of 52?
False
Suppose -11*w + 12*w = 8. Is w/7 - 1 - 1762/(-14) a multiple of 14?
True
Let q = 735 + -633. Is 6 a factor of q?
True
Is 4 a factor of 6/(-4)*1*272/(-6)?
True
Let d = -76 + 184. Suppose -9 = -3*q + d. Is q a multiple of 20?
False
Let n = -476 - -261. Let r = -140 - n. Is 20 a factor of r?
False
Let a(s) = -8*s - 28. Let u(r) = r. Let o(z) = -a(z) - 5*u(z). Does 6 divide o(13)?
False
Let b(u) = -u**2 - 4*u. Let t be b(-4). Suppose 23 - 63 = -3*d + h, -4*d + 4*h + 64 = t. Suppose 5*y + 5*q - 30 = 0, 3*y + 2*q = 5*y - d. Is 6 a factor of y?
True
Suppose -27*q = -29*q + 38. Suppose 176 = 21*a - q*a. Is a a multiple of 34?
False
Suppose 0 = 3*j - 2*u - 2*u + 8, 2 = -5*j + u. Let n = 20 - j. Does 4 divide n?
True
Suppose w - 2*p - 15 = 2*p, 2*w = 4*p + 50. Let q = w - 11. Suppose -48 = -4*z + o, 0*z + q = 2*z + 5*o. Is z a multiple of 3?
True
Let p be -4 + (-189)/(-1 - 2). Let f = 111 - p. Does 15 divide f?
False
Suppose t - 76 = 2*z, -3*t + 76 = -2*t + 2*z. Let h = 106 - t. Suppose -3*f - 6 = -h. Is f a multiple of 4?
True
Let l = 973 - 570. Is 32 a factor of l?
False
Let z(j) = -j**3 - 5*j**2 - 26*j - 9. Is 16 a factor of z(-8)?
False
Suppose -1982 = -s - 360. Does 10 divide s?
False
Let f(s) = 433*s + 317. Is 36 a factor of f(7)?
True
Is 40 a factor of 4 + -1 + 17*33?
False
Suppose -5*k + 12 = -3, -3*s = 3*k - 21. Suppose m + m = w + 475, -s*m - 4*w + 968 = 0. Suppose 4*t - 1 + m = 3*i, -2*t - 236 = -3*i. Is 13 a factor of i?
True
Let y(c) = 28*c**2 + 9*c - 24. Is y(10) a multiple of 68?
False
Let g(x) = 32*x**3 - 3*x**2 + 6*x - 5. Is 25 a factor of g(3)?
True
Suppose 3*q + 4*i = 30, i + 16 - 66 = -5*q. Suppose q = 12*k - 7*k. Let n(c) = 5*c**2 + c - 1. Is n(k) a multiple of 19?
False
Let k = -9 - -9. Suppose k = -4*p + 12 - 4. Suppose p + 106 = 3*n. Is n a multiple of 12?
True
Let m(p) = 18*p + 56. Is m(7) a multiple of 7?
True
Suppose -5*h = -16 - 4. Suppose 16 = -0*j + h*j. Suppose -43 = -5*b - 3*k, -3*k - 23 = -j*b + 33. Is 4 a factor of b?
False
Let v = 47 - -87. Is v a multiple of 3?
False
Let m = -34 - -36. Suppose 5*v = 3*x + 630, -3*v + x = -m*x - 372. Does 7 divide v/6 - 2/4?
True
Let n(a) = 140*a**2 + 25*a + 2. Does 49 divide n(3)?
False
Suppose -a + 2*y - 125 = -0*y, -4*a - 456 = 3*y. Let o = -56 - a. Does 7 divide o?
False
Let a = -54 + 180. Is 9 a factor of a?
True
Let r be 34/(-3) + (-10)/15. Let t be (-369)/r - (-3)/12. Suppose -x = -13 - t. Is x a multiple of 11?
True
Let d(k) = k + 0 + 0*k**2 + k**2 - 8. Suppose -4*y + 15 = -13. Does 24 divide d(y)?
True
Let b(k) = k**2 + 12*k - 5. Does 8 divide b(5)?
True
Suppose -14*i = -12*i - 6. Suppose -11 = -2*y - i, -5*y = n - 60. Is n a multiple of 14?
False
Suppose 0 = -2*s - s + 3*o - 84, 3*o = -4*s - 91. Let p = -12 - s. Is p a multiple of 3?
False
Let q(c) be the third derivative of 3/8*c**4 + 0*c - 3/20*c**5 + 1/120*c**6 - 10*c**2 - 1/2*c**3 + 0. Is q(8) a multiple of 2?
False
Let t = -174 - -159. Does 9 divide ((-18)/t)/(1/60)?
True
Let x(m) be the first derivative of m**4/2 - 4*m**3/3 + m**2 + 6. Let q be x(2). Suppose 260 = q*g + g. Is 13 a factor of g?
True
Let o(a) = -a**3 - 10*a**2 - 10*a - 7. Let d be o(-9). Is 31 a factor of 124/1 + 0/(3 - d)?
True
Let f(g) = -8*g + 43. Let a be f(5). Suppose -w = -a*r + 111, 89 = 4*r - w - 59. Is r a multiple of 19?
False
Let n be ((-6)/4)/((-6)/16). Suppose -t - n*t = -455. Let l = -61 + t. Is 15 a factor of l?
True
Let d(u) = 2*u**2 + 1 - 4*u**2 + u + 0. Let n be d(-3). Does 20 divide n/(-16)*(15 - -1)?
True
Does 18 divide 647 + ((-27)/9 - -4)?
True
Does 55 divide -1*11*(4 + (-299)/1)?
True
Suppose -m = 21*m - 6732. Does 17 divide m?
True
Suppose -25 = -4*x - 77. Let v be 522/x + (-14)/(-91). Let r = -10 - v. Is 15 a factor of r?
True
Let b(l) = 84*l + 1. Let r = 3 - -2. Let w be b(r). Suppose 3*n - 271 = 5*i - i, -i + w = 5*n. Is 23 a factor of n?
False
Let i be (100/25)/((-8)/(-6)). Suppose -7 = s + 5*t, 5*t + 19 = 2*s + 3. Suppose 3*p + 90 = 3*x, i*x + p - 55 = -s*p. Does 7 divide x?
False
Suppose -4*a + t + 22 = 0, 5*a + 2*t = -0*t + 21. Suppose -111 = -a*o + 3*w, o - 3*w + 57 = 3*o. Let m = 84 - o. Does 20 divide m?
True
Suppose -4*r + 0*r = -2120. Suppose 0 = 5*y - 90 - r. Suppose 8*i - y = 4*i. Does 11 divide i?
False
Let w(u) = u**2 + 6*u - 3. Let o be w(-7). Suppose -264 = -o*i - 3*h + 8*h, 2*i - h = 132. Does 10 divide i?
False
Let q(s) = s**2 - 12*s - 20. Let v be q(14). Suppose z = -z + v. Is z/(-3)*(0 + -3) a multiple of 4?
True
Suppose -2*a + 35 = 5*a. Suppose w - a = 7. Is w a multiple of 3?
True
Does 2 divide 10/4*(-12)/(-30) - -6?
False
Let w(b) = 2*b**2 + b - 5. Let o(s) = s**2 - s - 4. Let m be o(0). Let z be w(m). Suppose z*u - 40 = 22*u. Does 10 divide u?
True
Suppose 0 = 3*u - 16 + 4, -2*y + 4*u = 20. Let d be (6/y + 2)*67. Let v = d + 116. Does 18 divide v?
False
Suppose -2*n + 5 = 1. Suppose -3*l + o - 22 = 5*o, 0 = 3*l + n*o + 26. Is 24 a factor of (-6)/l + (-462)/(-5)?
False
Let z = 7 + -7. Suppose z = c - 2*c - 4. Does 15 divide ((-43)/1)/(c/8)?
False
Suppose 4*r + 2 = 22. Suppose -4*y + 2*y - 76 = -s, 0 = -r*s + y + 362. Is 12 a factor of s?
True
Let k(u) = u + 13. Let h be k(-8). Suppose 5*v - 4*v + 3*a = 23, -h*v = 3*a - 91. Let c = v + -6. Does 4 divide c?
False
Let s = -116 + 120. Is 18/15*490/s a multiple of 7?
True
Does 4 divide (-7 + 485/(-15))/((-3)/144)?
True
Suppose 0 = 81*s - 105*s + 22968. Is 64 a factor of s?
False
Suppose -3*q + 7 = -23. Suppose -x + q = -5*b, 2*x + 0*b = -2*b + 68. Is x a multiple of 3?
True
Suppose 3*b + 2*w - 164 = 0, 8*w = b + 4*w - 36. Let s = b - -21. Does 9 divide s?
False
Let c = 59 - 60. Let h(g) be the third derivative of -19*g**6/60 + g**5/60 - g**4/24 - g**3/6 + 2*g**2. Does 8 divide h(c)?
False
Let h(i) = -13*i - 30. Let x be h(-15). Suppose -8*m + x = 3*m. Is 2 a factor of m?
False
Let p = -76 + 128. Let g = p - 4. Is g a multiple of 12?
True
Let c = -149 - -227. Is c a multiple of 19?
False
Let m(h) = 2*h + 14. Let x be m(-9). Is (-4)/(-6)*(-162)/x a multiple of 27?
True
Suppose -4*r = -49 - 55. Let m = 2 + r. Is 3 a factor of m?
False
Suppose -5*y = -n - 245, -4*n - 66 = -3*y + 64. Is y a multiple of 10?
True
Suppose 51 = j - 64. Does 5 divide j?
True
Let w(f) = -f**3 - 11*f**2 - 2*f - 8. Let z be w(-11). Let d be (-4)/z + (-435)/21. Is (54/(-1))/(d/28) a multiple of 24?
True
Let n = -11 - -18. Let g(q) = 2*q**2 - 6*q. Is 7 a factor of g(n)?
True
Is 7 a factor of ((-8)/8)/(1/(-170))?
False
Suppose p - 5*h = -99, 2*p + h = -0*p - 209. Let b = p - -49. Let f = 91 + b. Is 18 a factor of f?
True
Suppose -8*g = -7*g. Suppose 0*r - 3*r + 171 = g. Does 12 divide r?
False
Let m = 58 - -51. Does 11 divide m?
False
Suppose -9*s = -14*s + 20. Suppose -s = -2*v + 78. Is v a multiple of 14?
False
Let u(d) = -d**3 + 2*d - 1. Let g be u(-2). Let b(n) = 3 - 3 - 4*n - 4*n**2 + n**g - 1. Is b(5) a multiple of 3?
False
Let x be 2/7 + 63/(-49). Is 16 a factor of (3 + x)/(4/158)?
False
Let y(g) = -g**3 - 6*g**2 - 2*g + 5. Suppose 2*b - 5*q = 11, -b = 4*b + 4*q + 55. Is y(b) a multiple of 7?
False
Suppose 80 + 336 = -8*d. Let c = -22 - d. Is c a multiple of 5?
True
Suppose -3*s = -109 - 143. Let q = 112 - s. Is 9 a factor of q?
False
Let p = -148 + 249. Is p a multiple of 13?
False
Suppose 2*a + 31*a = 61215. Is 87 a factor of a?
False
Suppose 0*j - 60 = -j + c, 5*c = 4*j - 245. Suppose -52 + 12 = a + 3*v, -3*v - 133 = 4*a. Let f = j + a. Is f a multiple of 8?
True
Suppose o - 53 = 26. Suppose -x + 41 = -5. Let m = o - x. Is 12 a factor of m?
False
Let w(v) be the second derivative of -v**7/840 + v**6/72 + v**5/15 - v**4/8 - v**3/3 + 6*v. Let t(g) be the second derivative of w(g). Does 3 divide t(6)?
True
Suppose -4*g + 3*j = -2064, 1167 = 4*g + 2*j - 877. Does 27 divide g?
True
Suppose k + 3375 = 5*n