 179*r + 3. Is 18 a factor of g(14)?
False
Let u(a) = a + 28. Let x = 52 + -63. Is u(x) a multiple of 17?
True
Does 5 divide (-252)/(-8)*(-2)/(-3)?
False
Let o(v) = v**3 - 7*v**2 + 3*v - 10. Let c(x) = -8*x - 8. Let f be c(-2). Is o(f) a multiple of 26?
True
Let y(j) = -5*j**3 - 2*j**2 + 3*j - 5. Let i be y(-3). Suppose 74 = g - 0*w - 2*w, 2*g = -5*w + i. Is 32 a factor of g?
True
Suppose 5*t = u + 1027, 2*t + 0*u = -2*u + 406. Suppose -275 - t = -5*k. Suppose 10 = l - v - 5, -2*v + k = 5*l. Is 9 a factor of l?
True
Let i = 682 + -364. Suppose 4*l + 0*p - 5*p = 421, 3*p + i = 3*l. Suppose -y - l = -4*k, -4*k - y + 0*y = -99. Does 13 divide k?
True
Let g(s) = s**2 - 5*s - 9. Let v be g(7). Suppose -v*y = -0*y + 2*i - 210, -69 = -y + 5*i. Is 4 a factor of y?
True
Is (-3924)/(-10) - (-14)/(-35) a multiple of 14?
True
Let v(h) = -2*h**2 - 13*h. Let o be v(-6). Suppose m + o*d - 78 = 8*d, -4*m - 2*d + 262 = 0. Suppose 2*n + b - m = 3*b, 3*n - 2*b - 98 = 0. Is 10 a factor of n?
True
Suppose -6 - 4 = -4*w - 2*y, 5*y = 5*w - 35. Suppose w = q + u - 1, -5*u + 22 = 2*q. Is 11 a factor of -2 + q + 40 - 4?
False
Let j = -133 + 154. Is 9 a factor of j?
False
Suppose -5*h + 4*q + 3145 = 3, 0 = 3*h - 4*q - 1882. Is 30 a factor of h?
True
Let y(p) = -p - 11. Let q(n) = 1 + 3 - 5 + 2. Let o(x) = -q(x) - y(x). Does 5 divide o(8)?
False
Let a(h) = 5*h - 5. Let f be a(2). Suppose f*x = 3*d - d - 18, d = -3*x - 2. Is 19 a factor of d/(-10) - 1152/(-30)?
True
Let n be (-3)/(3/(-1)) - 614/(-2). Let w = -203 + n. Is 11 a factor of w?
False
Let p(q) = q**3 + 7*q**2 - 2*q + 5. Let k be p(-6). Suppose 263 - k = 7*t. Is t a multiple of 15?
True
Let d = 51 + -31. Let x = -8 + d. Suppose 0 = 11*m - x*m + 69. Does 23 divide m?
True
Suppose 12*w - 949 - 3779 = 0. Is 7 a factor of w?
False
Let q = 101 + -70. Suppose 0 = -5*v - 5*n - 65, -3*v + v - 3*n - 24 = 0. Let t = q + v. Is 8 a factor of t?
True
Is 7 a factor of (780/(-9) + -2)*(-1161)/86?
True
Suppose -2*y + 489 = -5*x, y - 2*y - 4*x + 264 = 0. Does 18 divide y?
True
Let j = 2345 - 10. Does 13 divide j?
False
Is -2 - (-7460)/15 - 2/6 a multiple of 15?
True
Let m(g) = 23*g**2 + 23*g + 15. Is 7 a factor of m(-6)?
False
Suppose 93273 - 289833 = -65*q. Is q a multiple of 9?
True
Suppose -3*n = -2*n + 230. Is (27/12)/(-3) + n/(-8) a multiple of 7?
True
Let y(v) = 30*v + 2. Let a(c) = -c**2 + 6*c - 3. Let z be a(2). Is 8 a factor of y(z)?
True
Let z = 589 + -372. Does 40 divide z?
False
Suppose 0 = 6*r - 4767 - 1083. Is r a multiple of 65?
True
Suppose 3 = -3*q - 6. Let f be 0 - (q + (-3)/(-3)). Suppose j = -f*j + 198. Is j a multiple of 27?
False
Suppose 0 = -3*l + 22 + 53. Suppose 4*g + 9 = -3. Let b = g + l. Does 11 divide b?
True
Suppose 0 = 7*u - 5*u - 28. Suppose -t + 3*q - 1 + u = 0, -q - 4 = 0. Is 11 a factor of 24/2 + -2 + t?
True
Let w(o) = -o**3 + 22*o**2 - 17*o + 20. Does 10 divide w(19)?
True
Let m be (-1)/3 + 11/33. Suppose f - 3 - 5 = m. Does 16 divide 117/5 + f/(-20)?
False
Suppose 0 = -6*a + 48 + 96. Does 3 divide a?
True
Let s(o) = -o**2 + 115. Suppose n - 2*n = 0. Does 23 divide s(n)?
True
Suppose -503*s = -495*s - 560. Does 2 divide s?
True
Let q = 4110 - 2875. Is q a multiple of 95?
True
Let k be (7 + -1)*-1*80/(-15). Does 11 divide k + (1 - 3)*1?
False
Is 38376/(-78)*(-1 - (-2)/4) a multiple of 41?
True
Suppose -8*c + 12*c - 9656 = 0. Is c a multiple of 14?
False
Let x = -7005 - -10320. Is 13 a factor of x?
True
Let r(l) = -38*l**3 + 1. Let j(m) = -m**2 + 14*m - 1. Let h be j(14). Is 8 a factor of r(h)?
False
Suppose q + 5*h - 31 = -3*q, 5 = 2*q - h. Suppose 2*i + n - 277 = -12, 4*n + 524 = q*i. Suppose -7*p + 386 = -i. Is 28 a factor of p?
False
Let j = 47 - 20. Suppose -j*b + 90 = -24*b. Is 4 a factor of b?
False
Let b(v) = -2*v - 2. Suppose -5*f = 4*a - 2*a + 1, -f = -4*a - 35. Let y be b(a). Is 396/y - (-24)/(-84) a multiple of 10?
False
Suppose -5*u + 10 = -10. Suppose -3*f = -2*p - 6, -2*f - u = -2*p - 4*f. Suppose p = 2*c - 2*z - 14, 2*c - 14 = -0*c - 4*z. Does 2 divide c?
False
Let t(x) = -2*x**3 + 5*x**2 + 4*x + 6. Does 4 divide t(-3)?
False
Suppose 4*l - 17 = -1. Let z be -1 + 216/l + 0. Is 17 a factor of z - -2*(-1 - 0)?
True
Suppose 4*z - 1695 = -z - 3*a, -2*a = -5*z + 1670. Does 14 divide z?
True
Suppose 2*r + 8 = 3*r + 4*o, -3*r + o + 11 = 0. Suppose 1 = -3*z + r*z. Let u(n) = 42*n + 2. Is u(z) a multiple of 22?
True
Suppose 0 = -3*k - 2*k + 10. Let c be (-200)/(-52) + (-2)/(-13). Suppose c*o = 4*q - 296, -k*o = -3*q - q + 286. Is 23 a factor of q?
True
Is (8 - 11 - 3) + 284 a multiple of 107?
False
Let y = 35 + -23. Suppose -8*v - 68 = -y*v. Is v a multiple of 4?
False
Does 17 divide ((-7)/(-2))/(1/102)?
True
Let s = -189 - -209. Is s a multiple of 5?
True
Let u(b) = 17*b - 45. Let d = 7 + 2. Is 26 a factor of u(d)?
False
Let o = 96 + -218. Is 40 a factor of o/(-3 - (-26)/10)?
False
Suppose 168*y - 142*y = 13546. Does 26 divide y?
False
Suppose 6*q = -0*q - 54. Let j(r) = r + 12. Let c be j(q). Suppose 5*k - 2*k - 113 = -2*h, -c*h - 3*k = -162. Is 9 a factor of h?
False
Let x(z) = -6*z**3 - 2*z**2 + 1. Let h be x(-1). Suppose 5*a + 24 = -1, -u = h*a + 21. Suppose -5*s + 81 = -3*m, -2*s - u*m = -s - 30. Is 5 a factor of s?
False
Let h(c) = -18*c - 32. Let q(g) = 3*g + 6*g + 21 + 3*g. Let r(m) = -5*h(m) - 8*q(m). Is 11 a factor of r(-5)?
True
Suppose -573*i - 18000 = -579*i. Is 117 a factor of i?
False
Suppose 1925 = 5*a + 270. Suppose -5*z - 81 = -a. Does 22 divide z?
False
Suppose 26*n = 5*h + 21*n - 1535, 0 = 4*h - 2*n - 1238. Does 8 divide h?
True
Suppose 124*j + 33 = 4*t + 129*j, -4*j + 20 = 0. Let c(l) = 1 - l**3 + 3*l**3 + 2 - 3*l. Is 8 a factor of c(t)?
False
Let w(u) = u**3 + u + 0*u + 8*u**2 + 2*u - 3 + 2*u. Let j be w(-7). Suppose 0 = y - 3*k - j, -7*y + 75 = -2*y + 5*k. Is 7 a factor of y?
True
Suppose 4221 = 21*n - 12*n. Is n a multiple of 46?
False
Is 85 a factor of 170/20*(22 - 2)?
True
Suppose -36 = 2*g + 4*s, g - s + 11 = -g. Let i(o) = o - 1. Let x(a) = 9*a + 16. Let v(b) = i(b) - x(b). Is v(g) a multiple of 16?
False
Let t(c) = -c + 12. Let a be t(9). Let z be 3/(27/276)*a. Let h = 130 - z. Is 19 a factor of h?
True
Suppose o - 36 = 5*o. Let p be (o - -3) + 2 - -4. Suppose p = -3*y + 125 + 22. Does 13 divide y?
False
Let v(f) = 422*f**2 + 24*f - 56. Does 14 divide v(2)?
True
Let z(n) = -7*n**3 - 2*n**2 + 5*n - 6. Is 6 a factor of z(-3)?
True
Suppose 0 = 4*h + 4*z - 36, 2*h + 5*z = 3*h + 9. Is 31 a factor of (h - 3)/3 - -1*92?
True
Is 45 a factor of (-2035)/22*-3*6/1?
True
Suppose -2*q = -136 - 178. Let r = q + -85. Suppose -4*c + 211 = -5*h, -5*h + 23 = -c + r. Does 18 divide c?
True
Let j(l) = -l**3 - 8*l**2 + 9*l. Let i be j(-9). Let b(o) = 1 - o - o + i. Is 12 a factor of b(-14)?
False
Suppose 2*t + 9*n - 8*n - 8864 = 0, -2*t + 8864 = -2*n. Is 23 a factor of t?
False
Let d(k) = 42*k - 16. Does 5 divide d(3)?
True
Suppose 141*l - 980 = 140*l. Is l a multiple of 20?
True
Suppose 7*p - 48 - 8 = 0. Is 13 a factor of 2/p - (-4 + (-245)/28)?
True
Let g = 21 + -14. Suppose g*a = -a + 208. Is a a multiple of 6?
False
Let n(w) = -w**3 + w - 1. Let p(b) = 5*b**3 - 4*b**2 - 9*b + 4. Let c(s) = -6*n(s) - p(s). Let q be c(-4). Is 44/7 + q/35 a multiple of 3?
True
Let s(x) be the second derivative of x**5/60 - x**4/3 + 3*x**3/2 - 3*x**2 - 3*x. Let r(m) be the first derivative of s(m). Is 2 a factor of r(7)?
True
Let a(z) = 4*z**2 - 38*z + 59. Is 5 a factor of a(16)?
True
Let r(f) = 14*f**2 - f + 5. Let s be r(5). Suppose 5*x = -k - 4*k - 350, -5*k + 4*x = s. Let w = 122 + k. Is w a multiple of 13?
True
Let g(f) = 5*f + 53. Does 34 divide g(3)?
True
Let h(s) = -s - 13. Let y be h(-15). Suppose 18 = -y*v + 6. Let q(j) = -j**3 - 4*j**2 + 7*j + 2. Does 8 divide q(v)?
True
Suppose 5*s = -4*h + 1621 + 59, 1344 = 4*s - 5*h. Does 14 divide s?
True
Let b(h) = 7*h - 52. Let g be b(8). Suppose 815 + 733 = 5*d + 4*n, -g*d - 2*n + 1236 = 0. Does 14 divide d?
True
Suppose r + r + k = 5, -4*k = 20. Let q(m) = 18*m - 1. Is q(r) a multiple of 20?
False
Suppose 7*k - a + 135 = 2*k, 4*k = -5*a - 137. Let l be 7/(k/512)*-1. Suppose -2*i + l = 2*i. Does 16 divide i?
True
Suppose 0 = -126*m + 114*m + 3120. Does 13 divide m?
True
Let c = 10 + -14. Let u be c/12 + 20/6. Suppose 0 = u*r - 28 + 4. Does 5