ve of 11*u**4/6 - u**3/6 - 3*u**2. Does 12 divide b(o)?
False
Let q be (-1460)/(-1) - 1 - 3. Suppose 0 = 5*g - 20, -q = -4*l + 4*g - 6*g. Suppose 4*s = -s - 3*t + l, -12 = -3*t. Is s a multiple of 14?
True
Suppose 5*z = 204 + 46. Is z a multiple of 6?
False
Suppose -5*k + 0*k = 0. Let d = k + 6. Suppose -d = 4*u - 46. Is 3 a factor of u?
False
Suppose -4*v - 28 = -g - 7*v, 3*v = 2*g - 11. Suppose -3*y - 4*j + 25 = 0, -3*y + 11 = -2*y + 4*j. Let b = g + y. Is 10 a factor of b?
True
Let b be 26/(-4)*(-1 - 5). Suppose -2*w - 3*n = -56, 3*w - 3*n + b = 108. Is 4 a factor of w?
False
Let l(j) be the second derivative of 0 - 2*j**2 - 2*j**3 + 1/12*j**4 - 7*j. Is l(14) a multiple of 7?
False
Let k be ((-4)/14 - (-48)/(-28)) + 2. Is (-238)/(k/(-5) + -1) a multiple of 34?
True
Suppose -1732 = -17*z + 1481. Is z a multiple of 3?
True
Suppose 2*a = -o - 1, 4 = 2*a - o - 5. Suppose -4*w - v = -51, 0 = a*w + v - 8 - 17. Suppose 0 = -5*h + 53 - w. Is 8 a factor of h?
True
Suppose -b + 121 = -107. Is 12 a factor of b?
True
Let n = -7009 + 10094. Does 142 divide n?
False
Suppose 6*n = -3*l + 3*n + 24, -4*n + 36 = 5*l. Let v(t) = 36*t**2 - 9. Let w be v(l). Suppose -207 = 5*g - w. Is 12 a factor of g?
True
Let j be (24/(-9))/((-8)/12). Suppose j*s = -0*s + 80. Is 15*((-504)/s)/(-6) a multiple of 17?
False
Suppose 238*s = 269*s - 2821. Is 2 a factor of s?
False
Suppose -60 = -3*a - v, 4*a - 2*a - 40 = 3*v. Does 2 divide a?
True
Let s(r) = 2 + r + 8 - 9*r + 6*r**2. Let a be s(8). Suppose 4*q - 118 - a = 0. Is q a multiple of 14?
True
Suppose 3*h - 99 = 3*y + 495, -582 = 3*y + h. Suppose -5*o = -4*f + 103, -3*o - 98 = -4*f + 7. Is 24 a factor of (-18)/f*y/2?
False
Suppose -2*h + 11 + 2 = 3*x, -8 = -4*x + 2*h. Suppose -4*s = -z + 41, 0 = x*s - 2*s + 5. Is 7 a factor of z?
True
Suppose 2258 = 2*o - j, -o - j - 1128 = -2*o. Is 47 a factor of o?
False
Suppose 3*f - 36 = 36. Suppose 3*i = -4*y + f, 3*y + 2*i = -0*y + 17. Suppose 2*x + x = -y, 0 = 4*m + 2*x - 94. Is 14 a factor of m?
False
Let h = -678 - -1817. Is h a multiple of 17?
True
Suppose 0 = 3*y - 5 - 10. Suppose y*k = 7*k - 20. Is k a multiple of 7?
False
Suppose 10*x + x = 8382. Is 20 a factor of x?
False
Let a be (-84)/(-2)*(-2 + 1). Is 18 a factor of a*((-15)/(-6))/(-5)?
False
Is 70 a factor of 80*(21/(-9))/((-8)/6)?
True
Let v = 33 + -32. Let n be (-3 + 10 + -4)/v. Is 13 a factor of (8/n)/(6/153)?
False
Suppose 130 = 2*s - 128. Is s a multiple of 2?
False
Let g = 302 - 216. Suppose -4*q + y + g = -y, -4*y = q - 17. Is 7 a factor of (q/3)/(1/1)?
True
Suppose 3*d = 2 + 10. Suppose 0 = d*y - y. Suppose a + 50 = 3*b + 10, -5*a - 20 = y. Does 7 divide b?
False
Let j(r) = -2*r**2 + 7 - 4*r - 3*r**3 + 4*r**3 - r. Is j(4) a multiple of 19?
True
Let r be (-12)/6*(-51)/(-6). Let z = -26 - -55. Let t = r + z. Does 4 divide t?
True
Suppose 4*o = 4*g + 12, -2*g - g - 3 = -o. Suppose 3*k - 818 = f + o*f, -k = 3*f - 264. Is 27 a factor of k?
True
Let d(l) = -l**3 + 6*l - 22. Does 2 divide d(-5)?
False
Let m(x) = 2*x**3 + x**2 + x + 2. Let v be m(3). Suppose 7*j - v - 331 = 0. Is 11 a factor of j?
False
Let w = 1918 - 943. Is w a multiple of 39?
True
Let o be 6 + (-5 - (-1 - 2)). Let d be (15/20)/((-5)/20). Let t = o - d. Is t a multiple of 7?
True
Suppose 3*m - 2*m - 3 = 0. Suppose 3*s = -m, n + 4*s - 7 = 3*s. Suppose 5*b = z - 20, n = 5*z - 4*z + b. Is z a multiple of 5?
True
Suppose -9*f = -20*f + 3729. Is 28 a factor of f?
False
Let a(x) = x. Let l(s) = -3*s. Let m(r) = -4*a(r) - l(r). Let o(z) = z**2 + 8*z + 4. Let d(v) = 5*m(v) - o(v). Is 2 a factor of d(-12)?
True
Suppose 13*b - 45 = 4*b. Suppose 0 = -b*k - 3*i + 555, 4*k = -k + 4*i + 520. Is 9 a factor of k?
True
Let c = 24 - 7. Suppose -9*g = -c*g + 352. Does 11 divide g?
True
Let m = -22 + 25. Suppose -m*g + 217 = 5*k, 0 = 2*g - 1 - 7. Suppose 16 = -n - 5*d, 2*d = 3*n - k + 4. Is 9 a factor of n?
True
Suppose 0 = 3*x - 2*s - 3*s - 7, -2*s = 2*x - 10. Suppose x*d - 85 - 75 = 0. Does 20 divide d?
True
Let m(a) = 10*a - 6. Let w be m(2). Let g = 16 - w. Suppose g*o - 11 = 83. Is 10 a factor of o?
False
Let m(y) = y. Let x be m(0). Suppose -3*l = -u - x*l - 1, 8 = 2*u - 4*l. Is 2 a factor of u?
True
Let c(p) = 0*p + 0*p + 3 + p**2 - 3*p. Let y be (((-4)/3)/4)/((-23)/207). Is 3 a factor of c(y)?
True
Let v(p) = 11*p - 10. Suppose -39 - 1 = -5*l. Does 39 divide v(l)?
True
Let o = -10 - -7. Let y = 63 + o. Suppose -y = -3*d - a, 2*d - 83 = -3*d + 4*a. Does 4 divide d?
False
Let n = -10 - -3. Does 6 divide n/42 - 590/(-12)?
False
Suppose -24*v = -4168 - 1352. Does 4 divide v?
False
Suppose 74*t = 73*t + 201. Is 7 a factor of t?
False
Let i(j) = 55*j**2 + 3*j - 4. Is i(1) even?
True
Does 16 divide (0 + -97)/(-1) - (-1 + 2)?
True
Suppose -197*x + 192*x + 80 = 0. Suppose v - 11 = x. Is v a multiple of 9?
True
Let z(j) = 4*j**2 - 4*j - 1. Does 13 divide z(-2)?
False
Is 55 a factor of (-24)/32 + (-4310)/(-40)?
False
Let c be 1 + 1 + 74*(-1 - -2). Suppose 72*z + 612 = c*z. Does 17 divide z?
True
Let d(t) = 71*t - 3. Is 16 a factor of d(5)?
True
Let y(k) = -k**3 - 23*k**2 - 135*k + 22. Is 53 a factor of y(-10)?
False
Let c = -24 - -8. Is 15 a factor of (-7)/(28/c)*18?
False
Let b = -1540 + 2790. Does 125 divide b?
True
Suppose -4*u + 3*u - 3 = 0. Let c(v) = -6 - 8422*v**2 + 4209*v**2 + 4214*v**2. Does 3 divide c(u)?
True
Let c(g) = -2*g**3 - g**2 + g + 2. Let v be c(-1). Suppose 5*o = -v*x + 368, -4 = o - 0*o. Is 23 a factor of x?
False
Let r(d) = d + d - 5 - 4*d - 6*d. Let u(a) = -2*a + 2. Let q be u(5). Is r(q) a multiple of 22?
False
Suppose -39 = 3*x - 0. Let m = -11 - x. Suppose h + 26 = m*h. Does 26 divide h?
True
Suppose 5*f = 3*r + f + 14, 0 = r - 3*f + 13. Suppose w = r*w. Suppose w*x - 37 = -x. Is x a multiple of 17?
False
Suppose 0 = 148*t - 143*t - 505. Does 5 divide t?
False
Let r(y) be the third derivative of -5*y**4/24 - y**3/3 - 5*y**2. Is 2 a factor of r(-1)?
False
Let g(n) = -5*n - 4. Let v be g(-2). Let h(o) = o**3 - 9*o**2 + 4*o - 8. Let p be h(9). Let s = v + p. Does 11 divide s?
False
Suppose 0 = -3*w - 5*g - 6, w + 5*g = -15 + 3. Suppose w*n + 35 = 5*k, -4*n - 13 = 3*k + n. Let h = 14 - k. Does 3 divide h?
False
Let d(z) = 8*z + 74 - 2*z**2 + z**2 - 78. Is d(6) a multiple of 2?
True
Let m = -10 + 99. Does 5 divide m?
False
Let t be (50 - 2) + (-12)/4. Suppose -t - 85 = -5*i. Does 13 divide i?
True
Suppose 27*n + 114 = 33*n. Suppose -9*c + 485 = -n. Does 30 divide c?
False
Let b be (-10)/(-1)*(-3)/((-18)/69). Let z = 516 + -349. Let k = z - b. Does 12 divide k?
False
Let z = -2495 + 4651. Is z a multiple of 17?
False
Let j be ((-1)/3)/((-4)/84). Suppose -j*p + 16 = -47. Does 9 divide p?
True
Suppose 0 = 2*m - 1 + 1. Suppose -5*k + 83 = -2*a, -2*k + a - 4*a + 37 = m. Is k a multiple of 12?
False
Suppose 0*t + 3*t = -2*s, 3*s - 17 = 4*t. Suppose -4*u = -s*z + 445, 2*u - 600 = -4*z + 6*u. Suppose -z = n - 6*n. Is n a multiple of 7?
False
Suppose 0 = 2*i - 22 - 54. Suppose 33*b - i*b + 385 = 0. Is b a multiple of 11?
True
Suppose g - 8 = 10. Does 4 divide (-1 - 0)*(-7 - -6)*g?
False
Suppose -3*n + 20 = n. Suppose n*c - 139 = 76. Is c a multiple of 11?
False
Let p(t) = 11*t + 107. Is 17 a factor of p(13)?
False
Let u(k) = -5*k**3 + 13*k**2 + 10*k - 11. Let a(f) = 4*f**3 - 12*f**2 - 9*f + 10. Let r(m) = 4*a(m) + 3*u(m). Is 17 a factor of r(10)?
False
Suppose 5*l = -a + 404, 0*l = 5*l + 3*a - 412. Is 32 a factor of (-2 - 1 - (1 + -6))*l?
True
Let q(k) = -k**2 + 15*k + 2. Let y be (3/(-6))/(3/(-90)). Let u be q(y). Suppose m - 4 = -f - f, -3*m + u*f = -52. Is 14 a factor of m?
True
Is 5 a factor of -3 + 1522 - (3 - -6)?
True
Suppose -2*y + 76 = -0*y. Let n = 94 - y. Is 14 a factor of n?
True
Let k be (2/(-6))/((-8)/408). Suppose 5*o - 350 = -5*n, 38 + k = n + 4*o. Suppose 10*b - 5*b + 3*a - 340 = 0, -b - 2*a + n = 0. Is 14 a factor of b?
False
Let g(r) = -4*r**3 - 14*r**2 + 18*r - 30. Let l(z) = z**3 + 5*z**2 - 6*z + 10. Let v(y) = -2*g(y) - 7*l(y). Let a be v(7). Does 15 divide a + (-3)/6*4?
True
Suppose -2*t = -2*a - 12, 5*t + 3*a + 2 = 16. Suppose -52 = 8*k - t*k. Is (-270)/(-65) + 2/k a multiple of 4?
True
Let u(v) = v**2 + v - 1. Let y be u(2). Let z(l) = 4*l - 40. Let t be z(11). Suppose -y*p = -t*n + 223, 0 = 2*n - 0*n - 4*p - 116. Does 14 divide n?
