14 = -2*f, f + 3*k - 28 = 5*f. Does 5 divide ((-4 - -1) + 1 + 0)*f?
False
Suppose -2*s + 4 + 0 = j, -3*s + j = 4. Suppose 4*f - y + 0*y - 320 = s, -y + 400 = 5*f. Suppose 12*b - 17*b + f = 0. Is 4 a factor of b?
True
Is (50/15 - 3)*1548/4 a multiple of 23?
False
Suppose -240 = -4*w + 6*w. Let l = -85 - w. Does 17 divide l?
False
Let v(b) = b**3 + 20*b**2 - 52*b - 57. Does 7 divide v(-22)?
True
Let i be (840/(-16))/(3/(-4)). Suppose 0 = -q - 0*q + i. Is q a multiple of 10?
True
Does 4 divide (-1)/((-112)/37 + 3)?
False
Let o(x) = x**3 - 9*x**2 + x + 400. Is 4 a factor of o(0)?
True
Suppose 4*u = -0*i + 2*i - 72, 5*i + 4*u - 166 = 0. Is i - (-1 + 0) - 2 a multiple of 11?
True
Let z(n) = 6*n**3 + 3*n**2 - 8*n - 6. Let b(m) = m**3 + m. Let p(y) = 5*b(y) - z(y). Does 6 divide p(-6)?
True
Let f(r) = -116*r - 2. Let o be f(-2). Let c = o + -141. Does 10 divide c?
False
Suppose 0 = 5*w + 10, 4*k - 5*k + 8 = -4*w. Suppose 4*b + 3*n - 30 = k, 0 = b + 3*n + 1 - 4. Is 7 a factor of b?
False
Suppose -2*o = -5*z - 227, 3*o - 8 - 343 = -3*z. Is 4 a factor of o?
True
Let q(z) = -9*z**3 - 6*z**2 - 4*z - 14. Is q(-4) a multiple of 62?
False
Suppose 2*z = -6 + 18. Suppose -q = 3*c - 244, -q + z*q = -3*c + 260. Is 16 a factor of c?
True
Suppose -28*x = -3*x - 3075. Is 41 a factor of x?
True
Suppose -21*z - 2*z = -73600. Is 40 a factor of z?
True
Suppose 20 = -5*p, 4*p + 58 + 98 = 5*n. Suppose 51 = -n*v + 31*v. Is v a multiple of 17?
True
Is ((-7)/21)/((-3)/18819) a multiple of 25?
False
Suppose -76 + 564 = 4*p. Does 13 divide p?
False
Is ((-2)/2)/((-16)/(-2 - -7474)) a multiple of 23?
False
Suppose -2370 = -w - 4*j, -3*w - 6*j + 7119 = -3*j. Does 17 divide w?
False
Let g(y) = y**3 - 9*y**2 + 26*y. Does 8 divide g(8)?
True
Suppose 5*b + 23*z - 6563 = 21*z, z = 2*b - 2618. Does 23 divide b?
True
Suppose 273 = 12*u - 5*u. Is 6 a factor of u?
False
Let o(x) = -x**3 + 3*x**2 + 12*x + 17. Does 31 divide o(-7)?
False
Suppose -32 = -3*o - o + 5*y, -5*y - 11 = 3*o. Let z(u) = u**2 - 2*u - 3. Let t be z(o). Suppose -2*a = -t*a - 34. Does 5 divide a?
False
Suppose 0 = -2*v - 2*v + 24. Suppose v*a - 9*a + 84 = 0. Is a a multiple of 5?
False
Suppose 5*n + 2*o = 3471, -5*n - 10*o + 3477 = -6*o. Is 5 a factor of n?
False
Suppose 4*f - 4*s = -s + 9, 0 = -3*f - 4*s + 38. Is (-1 - -1) + (335 - (-4 + f)) a multiple of 23?
False
Let f = 20 - 34. Let n = -11 - f. Suppose 0*c + 6 = -n*c, -4*z = 2*c - 72. Does 4 divide z?
False
Let x be (-2)/(-9) - 83/9. Let w be x/15*2*-5. Suppose w*l - 4 = 26. Is 5 a factor of l?
True
Suppose -24 = -4*f - 4*g, -4*g = -6 - 10. Suppose h - 38 = -i, -6*h + f*h = -3*i + 142. Does 5 divide i?
False
Let f be 6/((-18)/195) - 3. Let a be 70*(-3 + f/(-20)). Is 10 a factor of a/14 - 21/(-1)?
False
Suppose 0*z - 15 = -5*z. Suppose -6 - 6 = -z*r. Is (-2)/r + (-177)/(-6) a multiple of 16?
False
Let n be (-34)/(-4 + 1 - -4). Let c = -2 - n. Let p = -16 + c. Does 13 divide p?
False
Let q(w) = -3 - 31*w + 4 - 2. Let s(i) = 4*i + 43. Let f be s(-11). Is q(f) a multiple of 25?
False
Let z be (-1 - -2)*(-1 - 10). Does 2 divide z/(-3) - (-18)/(-27)?
False
Suppose -7*o = -38 - 4. Let l(u) = -2*u**2 + 2. Let f be l(3). Is (-2 - 1)/(o/f) a multiple of 8?
True
Let j = -81 + 183. Let d be 0 - (2 - (4 + 0)). Suppose -d*x + j = x + 3*m, 2*m = -3*x + 104. Is 13 a factor of x?
False
Let d(w) = -w**3 + 10*w**2 + 2*w - 15. Let q be d(10). Suppose -c = -2*z - 3 - 33, 0 = -2*c + q*z + 74. Is 8 a factor of c?
True
Let q(a) be the first derivative of 3*a**2/2 - a - 9. Suppose -5*j = -2*b - b + 52, -30 = -5*b - 3*j. Is 13 a factor of q(b)?
True
Let w(a) = a**2 + 3*a - 2. Suppose 0 = -2*x - 0*x + 3*z - 39, 2*x = -z - 27. Is w(x) a multiple of 19?
False
Suppose 2*g - 11 = -105. Let q = -121 - -43. Let h = g - q. Is h a multiple of 12?
False
Suppose 3*m + l = 6*m - 351, 5*m - l = 587. Suppose m = 2*y + 2*z, -5*y + 2*z + 279 = 3*z. Is 19 a factor of y?
False
Let l = -87 + 115. Suppose -l*t = -30*t + 156. Is t a multiple of 13?
True
Is (-5282)/(-12) + -1 + 4/(-24) a multiple of 15?
False
Suppose 0 = -3*n - h + 21, -4*n + 4*h + 52 = n. Does 8 divide n?
True
Suppose -q - 5*k + 1 + 14 = 0, 0 = -4*q - 2*k + 24. Suppose -q*m + 193 = -12. Is 11 a factor of m?
False
Let d(f) = f**3 - f**2. Let w(p) = 7*p**3 + p**2 - 4*p + 1. Let i(c) = -6*d(c) + w(c). Is i(-7) a multiple of 2?
False
Let m = 708 + -451. Is m a multiple of 22?
False
Suppose -49 = u + z, 0 = 3*u - 3*z + 161 - 26. Is 15 a factor of (-2)/(-4)*-4 - u?
True
Suppose 0 = -3*m + 5*m - 4. Suppose m*j - 85 + 13 = 0. Is j a multiple of 9?
True
Let o(x) = 4*x**2 + 9*x - 50. Let q(c) = -4*c**2 - 9*c + 51. Let p(b) = -4*o(b) - 5*q(b). Does 17 divide p(9)?
False
Let r = -161 + 86. Is -3*70/r*(0 + 30) a multiple of 10?
False
Suppose -3*a = -4*a + 97. Suppose 0 = a*u - 100*u + 546. Is 26 a factor of u?
True
Suppose -5 = -h + 1. Let c(w) = -5*w - 8. Let v be c(-8). Is 42/4*v/h a multiple of 14?
True
Let u(a) = -67*a + 465. Does 60 divide u(-9)?
False
Suppose -13765 + 2725 = -23*f. Is f a multiple of 32?
True
Let o = 399 - 98. Suppose -13 + o = 3*i. Let f = -36 + i. Is f a multiple of 12?
True
Let a(c) = c**2 - 5*c - 5. Suppose -3*q = 2*q. Let y = 7 - q. Is 4 a factor of a(y)?
False
Let r = -100 - -105. Suppose a = r*g + 28, -a + g + 19 = -9. Does 28 divide a?
True
Let l(m) = -3*m**3 - 2*m**2 + 2*m. Let c be l(-2). Let v be (7/(-14))/((-2)/c). Suppose -v*j = -5*j + 238. Is 30 a factor of j?
False
Let g(q) = q**3 - 4*q**2 + 2*q + 2. Let f be g(2). Let i be -3 + 0 + 1302/f. Is (-2)/9 - i/27 a multiple of 24?
True
Suppose -4*u + 3952 = -0*z - 5*z, -z + 1962 = 2*u. Does 56 divide u?
False
Does 10 divide (-1903)/(-173) + (244 - 1)?
False
Let a(y) = 22 - 13 - 22*y + 9 - 9*y. Does 15 divide a(-5)?
False
Suppose 5*m - 11*y - 965 = -6*y, -m + 4*y = -190. Is m a multiple of 12?
False
Let v(l) = -l**3 + l**2 - l + 16. Suppose f - 4*m - 1 = 1, -f + 8 = -m. Let c = f + -10. Is 11 a factor of v(c)?
False
Let f = -64 + 66. Suppose f*z = 5*v + 197, -443 = -z - 4*z - 4*v. Is z a multiple of 13?
True
Let d be 18734/187 - (1 + (-18)/22). Suppose -3*m = 2*o - 75, m + 3*m - d = -3*o. Is 2 a factor of m?
False
Let m(x) = -x + 13. Let p be m(14). Let o be p/(-3) - (-1000)/15. Is o + 3 + (0 - -2) a multiple of 18?
True
Let f(w) = -w**3 - w**2 + 3*w - 4. Let t be f(-3). Let k be (-12 - -15)/(-2 + -1). Is 19 a factor of k + (t - 0) + 72?
True
Suppose 42 = -5*u + 7. Let l be u*(-4 + (-12)/(-2)). Does 19 divide (-1068)/l + 2/(-7)?
True
Let w = 337 + 14. Let q = w - 243. Is q a multiple of 27?
True
Let u be -3*(-1)/(-3) - -71. Suppose -5*f + 140 = -u. Suppose 5*w - 63 = f. Is 14 a factor of w?
False
Let i(k) = 8*k. Let t be i(0). Let g = t + 160. Is 8 a factor of g?
True
Does 41 divide 194807/38 + (-6)/(-4)?
False
Is 12 a factor of (-3437)/(-19) - (-4)/38?
False
Let p = 7 - -2. Suppose p = 5*r - 1. Suppose 2*f + r*f - 136 = 0. Does 17 divide f?
True
Let t(d) = d**3 + d**2 - 2*d - 24. Let v be t(0). Let g = v + 27. Suppose -g*s + 5*o + 124 = 0, 2*o - 34 = 4*s - 5*s. Does 20 divide s?
False
Let j(f) = -2*f**3 - 4*f**2 - 5*f - 6. Let w be j(-4). Let a = 138 - w. Does 12 divide a?
True
Let l(i) = 14*i**2 - 92*i - 36. Is l(16) a multiple of 12?
True
Let f = 1522 - 802. Is 5 a factor of f?
True
Suppose 2*l - l - 513 = 0. Is 57 a factor of l?
True
Suppose 21*b - 25*b + 16 = 0. Suppose -b*a + 127 = -j, 5*a - 90 - 77 = 4*j. Does 3 divide a?
False
Let s(p) be the first derivative of p**2/2 + 21*p - 5. Let m = -2 + 2. Does 20 divide s(m)?
False
Let u(b) = 148*b - 31. Does 15 divide u(7)?
True
Is 16 a factor of (167/(-2) - 2)/((-27)/378)?
False
Let w(g) = -g**3 - g**2 - g - 1. Let x(m) = 2*m**3 + 2*m - 109. Let v(u) = -w(u) - x(u). Does 22 divide v(0)?
True
Let k(d) = 12*d**2 - 17*d - 20. Does 10 divide k(-4)?
True
Let w(d) = -6*d. Let i = -18 - -17. Let f be w(i). Suppose 4*b - f = 14, 3*b - 35 = -2*u. Is u a multiple of 5?
True
Let t = 9 - 7. Suppose 3*r = 6*r + 2*p - t, 3*r - 12 = 3*p. Suppose r*y = -3*y + 150. Does 10 divide y?
True
Let h(q) = q**2 + 10*q + 6. Let b be h(-12). Does 13 divide (-12)/b - 392/(-5)?
True
Let v = 11 - 8. Suppose 3*z + v*a = -0*z + 150, 0 = -z - 4*a + 38. Suppose z + 2 = q. Is q a multiple of 16?
False
Let k = -4 - -64. Does 6 divide k?
True
Let p(h) = 3*h