g - 32. Let f = g - -55. Is 14 a factor of f?
False
Let v be 3/(1 - -2) - -1. Suppose 0*l = v*l + 6. Does 13 divide 12 + 6/l + 3?
True
Suppose -3*a - 6 = -3, 231 = 2*v + 5*a. Suppose -5*n + v = -2*n - 2*p, 2*n + 4*p = 84. Is 10 a factor of n?
True
Suppose -a + 4*a = 75. Suppose 5*b - 110 = -a. Is b a multiple of 17?
True
Let d(b) = -2*b**2 - 8*b + 2. Let j be d(-4). Suppose -6 = -5*l + 3*r, -2*l - j*r + 0*r = -12. Does 2 divide l?
False
Suppose 4*h = h, -12 = 4*a + h. Let v be a*1 + (1 - -6). Suppose -3*i + 4*o + 59 = 0, -v*o - 89 = -5*i - 2*o. Does 17 divide i?
True
Suppose -4*j = 2*y + y - 21, -4*y = -2*j + 16. Suppose -2*w + j = -42. Is 33 a factor of (-12 + 47)*w/14?
False
Is 3 a factor of -15*((-682)/30 + 6/(-10))?
False
Let q(t) = -10*t + 148. Is 33 a factor of q(-14)?
False
Let i(n) = 10*n**2 + 14*n - 65. Is i(7) a multiple of 25?
False
Suppose 0 = -6*w + 2323 - 343. Suppose -30 = 5*a - w. Suppose 0 = 3*l - 15 - a. Is l a multiple of 20?
False
Let z be (-108)/(-16) + (-2)/(-8). Suppose -5*x = -5*k - 40, -4*x + 9*k - 4*k + 36 = 0. Suppose z*a - 111 = x*a. Is 14 a factor of a?
False
Let w = 1178 - 698. Is w a multiple of 30?
True
Suppose 2*z + 3 = 3*z. Let v(y) = 11 + 4 - 3*y + z. Is v(-14) a multiple of 28?
False
Suppose 5*g - 39 = 3*v, -2*v - 28 = g - 5*g. Let x be (9/(-6))/(6/v). Suppose x*o + 5*r - r - 26 = 0, 5*o + 3*r = 51. Is 3 a factor of o?
True
Let y(s) = -s**2 - 3*s - 1. Let a be y(-3). Let i(r) = -77*r + 4. Does 20 divide i(a)?
False
Let m = 3220 - 1812. Is 128 a factor of m?
True
Let b = 1944 + -978. Is b a multiple of 23?
True
Suppose -3*r + r - l - 33 = 0, -l + 72 = -5*r. Let v = r + 17. Does 4 divide (8 - v)*(-6)/(-9)?
True
Let s = -46 - -49. Suppose 2*u - s*u + 13 = 0. Is 10 a factor of u?
False
Let m be 55*(1 - 6/9)*3. Let q = -2 + m. Does 37 divide q?
False
Let b = 1 + 1. Let q(p) = -2 - p + 8 + 5*p**2 - 5. Does 5 divide q(b)?
False
Suppose 2*r - r - 18 = p, 2*p + 90 = 5*r. Suppose 0 = -3*w + 3, -2*o - 2*w = -6*w - r. Does 2 divide o?
False
Let g = -5 + 1. Let m be (3 - (-1 - g))/(-1). Is 19 a factor of 61/1 + (-4 - m)?
True
Let n(x) = -x**3 - 17*x**2 + 2*x + 30. Is n(-18) a multiple of 15?
False
Let y(x) = -7*x**3 - 4*x**2 - 3*x - 1. Suppose -4*r - 3*h = 8, 0 = -4*r + h - 6 - 2. Let j be y(r). Suppose -5*q = -10*q + j. Is 4 a factor of q?
False
Suppose -5*q + 3690 = 4*x, q - 5*x + 3690 = 6*q. Is q a multiple of 7?
False
Let z be 60/45*(-15)/2. Let j(t) = -6*t + 4. Let o be j(6). Let f = z - o. Is 9 a factor of f?
False
Suppose -j - 1302 = -2082. Does 78 divide j?
True
Suppose c + 2345 = 5*f, -2*c = 3*c. Does 61 divide f?
False
Let m(r) = -r**2 - 6*r - 14. Let j(f) = -f. Let g(y) = 6*j(y) - m(y). Suppose -q = 12*q. Is g(q) a multiple of 14?
True
Let x(d) = 243*d**2 - 14*d - 25. Does 13 divide x(-2)?
True
Suppose 4*w - 5*v - 526 - 2184 = 0, -2*v = 3*w - 2021. Is 5 a factor of w?
True
Let b(x) = x**2 - 10*x - 13. Let k be b(11). Let p be (-77)/35 - k/10. Is 3 a factor of 1 + p + 7 - -1?
False
Let u(y) be the third derivative of -1/6*y**4 + 0*y - 7*y**2 + 1/2*y**3 + 0. Is u(-6) a multiple of 9?
True
Let i(a) = -249*a**2 - 2*a + 1. Let p be i(1). Let r = -179 - p. Suppose -r - 64 = -3*g. Does 15 divide g?
True
Let u = 302 + -147. Does 31 divide u?
True
Suppose 3*n - 4*f = 9 + 1, f - 7 = -4*n. Suppose 0 = 5*p - n*v + 34 + 20, -5*v - 63 = 4*p. Is (p/10)/(9/(-210)) a multiple of 5?
False
Let r = -1 - 3. Let y = -4 - r. Let h(p) = p + 26. Does 13 divide h(y)?
True
Is 3 a factor of (-5 + 12 - -16) + (0 - -4)?
True
Let n(t) = 30*t. Let h(y) = 31*y. Let v(u) = -4*h(u) + 5*n(u). Let b be v(1). Let f = -13 + b. Does 13 divide f?
True
Let m be -1*(3 + 3/(-6)*10). Suppose -32 = -m*z + 34. Is z a multiple of 11?
True
Let v(u) = u + 1. Let p be v(3). Suppose -5*s = 4*k - 0*s - 94, -k + 18 = p*s. Suppose -46 = -3*j + k. Is j a multiple of 8?
True
Let w be 1*-3*(-286)/6. Let q be (-4)/22 + 169/w. Is 13 a factor of 3 + 77 - (-2 - q)?
False
Let d = -363 - -1648. Is 45 a factor of d?
False
Let w(b) = -b**2 - 8*b - 7. Let q be w(-7). Let f be 265*((-4)/(-10) + q). Suppose 4*r - f = -7*j + 4*j, 2*r - 8 = 0. Is 10 a factor of j?
True
Let t = 38101 + -58476. Does 26 divide t/(-275) - (-1)/(-11)?
False
Let m(g) be the third derivative of -g**5/60 - g**4/4 + 5*g**3/6 + 11*g**2. Does 3 divide m(-4)?
False
Let w(m) = 4*m**2 + 3*m - 1. Suppose 0 = r - 2 - 6. Suppose 5*s = -5*b + 20, 4*b + 5*s - r = 10. Is w(b) a multiple of 7?
True
Let c = 26 + -10. Let k be (-4)/(-8)*(2 + c). Suppose -k*r = -14*r + 75. Is 5 a factor of r?
True
Suppose 3*l + 1654 - 5071 = 0. Is 67 a factor of l?
True
Suppose 0 = -4*c + 10 + 6. Let x be (c/6)/(8/300). Suppose -4*v - 4*n + 44 = 0, x = -3*n - 2*n. Is v a multiple of 4?
True
Let i(o) = -3*o + 60. Let s be i(23). Is -3 + (39/s)/((-1)/66) a multiple of 15?
False
Let w(v) = -3*v**3 - 6*v**2 - 10*v - 7 + 2*v**3 + 4 - 7. Does 33 divide w(-8)?
True
Let a = 139 + -117. Let u = 194 + a. Is 23 a factor of u?
False
Let n(c) = c**3 + 10*c**2 - 13*c - 17. Let x be n(-11). Suppose x*o - 245 = -4*g, 2*o = 3*o + 3*g - 60. Is o a multiple of 27?
False
Let n(o) = -7*o - 54. Let j be n(5). Let z = -37 - j. Is 26 a factor of z?
True
Suppose 0 = 5*z + 3*v - 8, -2*v = z - 4*z + 1. Is z/1 + (5 - -820)/3 a multiple of 39?
False
Suppose -33*l + 37*l + 4346 = 5*r, -2614 = -3*r - 4*l. Is 87 a factor of r?
True
Let d(m) = m**2 - 7*m + 2. Let c(o) = 8*o**2 + 1. Let g be c(-1). Is d(g) a multiple of 15?
False
Let j be (6/12)/((-2)/(-8)). Suppose 3*p = -j*w + 584, 6*p - 5*w - 619 = 3*p. Is p a multiple of 33?
True
Let a = -8 - -11. Does 4 divide (-5 - 1)*(a - 4)?
False
Suppose -4*h - 20 = -76. Let n = h - 41. Let k = -17 - n. Does 10 divide k?
True
Suppose -5*a = -7*a - 5*a. Suppose v - 26 = -a*v. Is v a multiple of 3?
False
Let m = 35 + -31. Suppose 0 = -m*j + 2*n + 196, n = 3*j - 93 - 52. Does 15 divide j?
False
Suppose 23*f = -809 + 3339. Does 11 divide f?
True
Is 9 a factor of (-27*(-28)/(-10))/((-6)/15)?
True
Let r = 2832 - 1765. Does 11 divide r?
True
Is 5 a factor of 16/((8/(-70))/(24/(-60)))?
False
Let l(v) be the third derivative of 0*v + 0 - 3/2*v**3 + 1/60*v**5 - 4*v**2 + 1/6*v**4. Is l(-7) a multiple of 4?
True
Let f be (0 + -1)*(-3 + -16). Let k(r) = 17*r**2 + f*r**2 - 29*r**2. Is 4 a factor of k(1)?
False
Let n(z) = 16*z**2 - 34*z - 43. Does 35 divide n(-7)?
False
Let p be (-26)/(-7) + 4/14 + -2. Suppose -p*x + 5*i - 30 = -92, -x - 5*i + 16 = 0. Does 13 divide x?
True
Is 15 a factor of 1620/24*(-312)/(-18)?
True
Let t = -201 - -318. Is t + 5 + 4/(-4) a multiple of 39?
False
Let b(q) = q**3 - 3*q**2 - 5*q + 5. Let c be b(4). Suppose n = c + 135. Does 18 divide n?
False
Suppose 230 = 20*u - 19*u. Does 36 divide u?
False
Let j be 4/22 + (-4)/22. Suppose 4*n - 164 = 4*w, 158 = -j*w - 4*w - 2*n. Let v = 64 + w. Is 8 a factor of v?
True
Suppose 17 = 5*b - 3*l + 93, -b - 4*l = 29. Let u = b + 39. Is u a multiple of 2?
True
Suppose 0 = -13*v + 1511 + 2519. Does 7 divide v?
False
Let x(z) = 6*z**2 + z. Let m be x(-5). Suppose -7*a + m = -2*a. Does 6 divide a?
False
Let x be (-3)/(-7) - 300/(-35). Is 6 a factor of (-36)/(x/((-27)/6))?
True
Let j(s) = s**2 - 4*s - 12. Let c be j(6). Is c + (-9)/(45/(-140)) a multiple of 14?
True
Let j(u) = -3*u - 5. Let s be j(-5). Suppose -3*y - n = -s, -n + 20 = -5*n. Is (1/(-3))/(y/(-435)) a multiple of 9?
False
Let h = 31 + -28. Suppose -11 + 41 = h*v. Does 10 divide v?
True
Let l(p) = -p**3 + 9*p**2 - 7*p + 4. Let f be l(8). Suppose 2*y - 5*w - f = 0, -4*w + 9*w + 9 = -y. Does 13 divide (3 + 22 + 3)*y?
False
Let c(a) = 13*a - 23. Suppose 0 = q + 3*p - 13, 5*p = 2*q - 17 - 20. Suppose -q = 4*j - 48. Is 11 a factor of c(j)?
False
Does 12 divide 31 + 6/(-4)*-2 + -7?
False
Let r be 48 + -43 - (11 - -1). Let d be 1 + 2 - (-2)/(-2). Is 3 a factor of 1 + d + -1 - r?
True
Let n be 6*(22/(-4) + 4). Let w = n + 18. Let z(y) = y**2 - 5*y - 2. Does 11 divide z(w)?
False
Does 13 divide (-25)/(-5) - -470 - 11?
False
Let f be (-180)/3*(-2 - 16/(-12)). Is ((-4)/f)/(2/5)*-116 a multiple of 15?
False
Suppose -189*m - 2388 = -192*m. Is m a multiple of 17?
False
Let g be (-4)/2 + -1 + 3. Let f(b) = -b**3 - b**2 + 65. Let j be f(g). Let i = -31 + j. Is i a multiple of 13?
False
Let i(a) = 3*a**2 + 6*a - 5. Let j(z) = -2*z**2