Let t(m) = -2*l(m) + r(m). Let d be t(-13). Suppose -2*n = -85 - d. Is 14 a factor of n?
False
Let c be (5 + 458/(-4))*(-132)/9. Suppose 5*q + 2*d - c = 0, 4*d + 1006 = 5*q - 612. Is 7 a factor of q?
True
Let g(p) = -p**2 + 6*p + 11. Suppose i = -107 + 114. Let l be g(i). Suppose 5*c = -5*b + 390, 0 = 5*c + 5*b - l*b - 390. Is 10 a factor of c?
False
Let a(d) = -d**3 - 42*d**2 + 83*d + 731. Is 5 a factor of a(-45)?
False
Let s be (1 - (-3)/(-5))/((-162)/60750). Suppose -3*f - 267 = -3*v, -3*v = 2 - 17. Let t = f - s. Is 11 a factor of t?
True
Let p = -61 + 49. Let b be p/(-30) + (-254)/10. Let a = -6 - b. Does 19 divide a?
True
Suppose 0 = -3*y, -892 = 3*s + 5*y + 929. Let a = s + 703. Does 32 divide a?
True
Suppose -98658 = -18*i - 24*i. Is 908901/i + (-4)/(-58) a multiple of 19?
False
Let m = 78 + -140. Let z = m + 497. Is 14 a factor of z?
False
Let x = -372 - -376. Is 48 a factor of (-5260)/(-6) + 21/63 + x?
False
Suppose 7836 = 4*r - 0*f + 4*f, 2*r = 2*f + 3922. Suppose 9*k + r = 4660. Does 25 divide k?
True
Let q = -808 + 6058. Is 14 a factor of q?
True
Let q be -3*(-3 - ((-8)/(-3) - 4)). Suppose 2*z - 8 = -5*s - 41, 5*z + q = 3*s. Is 14 a factor of 1/((z - -1)/(-210))?
True
Suppose -3*b - 27313 - 26123 = -5*a, -42753 = -4*a + 3*b. Does 14 divide a?
False
Let p(q) = 23*q - 159. Let f be p(7). Suppose -90 = -3*v + f*u + 2*u, 0 = -2*v + 4*u + 60. Is v a multiple of 24?
False
Is 12 a factor of (-7398)/(-26) - 762/(-1651)?
False
Suppose 24*q - 15*q - 27 = 0. Let g(b) = -b**3 + 2*b**2 + 6*b. Let f be g(q). Let n = f + 35. Does 11 divide n?
True
Let j(c) = -127*c**2 - 16*c + 48. Let h(q) = -130*q**2 - 16*q + 49. Let x(d) = -4*h(d) + 3*j(d). Is 39 a factor of x(3)?
False
Suppose -85 - 8 = 3*v. Suppose -625*m - 728 = -633*m. Let c = v + m. Does 15 divide c?
True
Suppose 0 = -3*c - 2*m + 6*m + 32, 5*m - 17 = -c. Is (-24940)/(-40) - 3/c*-2 a multiple of 52?
True
Let h(u) = -1 + 59 + u - 2*u. Let x(s) = -s**3 + 3*s + 2. Let q be x(-1). Is 19 a factor of h(q)?
False
Let n = 1207 + -839. Suppose 0*g + n = 16*g. Is 12 a factor of g?
False
Suppose 29*j = 27*j + 4*c + 8384, 4*c - 16 = 0. Does 7 divide j?
True
Suppose -12*f = -43*f + 217. Let h(d) = 3*d**3 - d**2 - 19*d + 33. Is 88 a factor of h(f)?
True
Suppose -6*y - 24 = -8*y. Suppose 0 = 3*u - y. Suppose 0 = 4*b - 3*o + 5*o - 516, -2*b - u*o = -252. Does 6 divide b?
False
Let c(i) = -i**2 + 30*i - 58. Let b be c(28). Is 30 a factor of 234 + 12 - (6/b - -9)?
True
Let g = 127 - 127. Suppose g = -9*i + 660 - 201. Is 20 a factor of i?
False
Suppose 2*i = -2*f + 374, 941 = 6*f - f - i. Suppose 3*g - 4*s - f = 0, -5*s = 3*g - 4*s - 208. Does 34 divide g?
True
Let u = -356 - -361. Suppose 4*g - 4*d - 1236 = 0, -4*g - u*d = -2*d - 1271. Is 8 a factor of g?
False
Suppose -25*k + 47478 = 21*k - 5*k. Is 6 a factor of k?
True
Suppose 0 = -4*f + 1 + 23. Let l be (-228)/(-18)*f/(-2). Is 1 + (115 - -1) - (41 + l) a multiple of 38?
True
Let c(v) = -v**2 + 14*v - 23. Suppose 2*k - 37 = -4*l - 9, -3*l + 3*k + 21 = 0. Let p be c(l). Is 10 a factor of 2076/p - (-2)/13?
True
Let q = 73 + -14. Let f = q + -50. Suppose -f - 70 = -l. Is 27 a factor of l?
False
Is (4555 + 2)*((-15)/90 - (-15)/18) a multiple of 62?
True
Suppose -2*u = -9*t - 13854, -27588 = -4*u + 6*t - 8*t. Is u a multiple of 8?
False
Let f = 6912 + -4182. Is f a multiple of 16?
False
Let c be -4 - -4 - ((1 - 2) + -42). Suppose 0 = 5*q - c + 3. Suppose 14 = y - q. Is 6 a factor of y?
False
Let q(t) = -t**3 + 11*t**2 - 2*t + 17. Let f be q(9). Let p = 250 - f. Is p a multiple of 27?
False
Suppose 0 = -5*y - 0*y - 30. Suppose -375 = -7*h + 3*n, 5*h - 265 = -10*n + 15*n. Let c = h - y. Does 12 divide c?
True
Suppose 3*q - 4*i = 5 + 4, 2*q + 5*i = 6. Suppose 843 = 2*h - c, -5*h - q*c = c - 2101. Is h a multiple of 86?
False
Suppose 7*j - 417 = 346. Suppose -100*a - 5103 = -j*a. Does 45 divide a?
False
Let v = -6858 - -10566. Does 103 divide v?
True
Let f = -19472 - -90460. Is 11 a factor of f?
False
Let l = 25 + -19. Suppose d - l = -2*d. Suppose -4*m - 734 = -3*g, -d*m - 967 = -4*g + m. Is g a multiple of 43?
False
Is 38 a factor of ((-1946)/14 + 3)*-38?
True
Suppose -72*d = -83*d + 32032. Does 224 divide d?
True
Suppose 4*i = 2*i + 26. Suppose -16*j + 9024 = -i*j. Is 9 a factor of j/56 - (9/(-7) + 1)?
True
Let y(q) = 3*q - 2. Let d be y(2). Suppose 11*o + d = 37. Suppose f - 531 = -o*v, v - f = 146 + 31. Is v a multiple of 38?
False
Let r(i) = i**2 + 2*i - 16. Let y(a) be the second derivative of -2*a**5/5 - a**4/12 + a**3/3 - a**2/2 + 5*a. Let c be y(1). Is r(c) a multiple of 10?
False
Suppose b = 3*t + 4, -2*b + 7*b - 20 = 0. Suppose 4*f - 5*m - 1405 = 967, 3*f + 3*m - 1752 = t. Is 59 a factor of f?
False
Let u(c) = 3*c + 16. Let r be u(3). Suppose -5*f + b = -r, 3*f - 36 = -f + 4*b. Suppose -f*o + w + 149 = o, -4*o = 3*w - 123. Is 6 a factor of o?
True
Let h = 173 + -171. Does 3 divide 8/32 - (h + (-405)/12)?
False
Suppose -8*i + 3*i + 130 = 0. Let w = i + -26. Suppose w*a - 2*a = -114. Is 3 a factor of a?
True
Let f(s) = 272*s**2 + 286*s + 1791. Is 11 a factor of f(-6)?
True
Let r = -7 - -5. Let g be r/3 - 16248/(-18). Does 20 divide g/9 + 32/(-144)?
True
Let m(b) = b**2 + b - 16. Let s be m(-5). Suppose -2*k = -s - 20. Suppose 16*d - 164 = k*d. Is d a multiple of 7?
False
Let z(x) = -x**2 - 13*x - 15. Let r be z(-12). Is 32 a factor of (-1707)/(-9) + 2/r + -2?
False
Suppose 0 = -3*y, -y + 139025 = -8*c + 13*c. Is 14 a factor of c?
False
Let k be 0/(6/(-1 + 4)). Suppose k*u + 280 = 8*u. Let j = u - 14. Is 21 a factor of j?
True
Let y = 145 + -10. Suppose 6*q = q + y. Suppose -4*s = -2*m - 98, -s - 3*m + q = -m. Does 7 divide s?
False
Let w(o) = -22*o - 65. Let d be w(-7). Suppose d*i + 270 = 95*i. Is 5 a factor of i?
True
Let g(r) = 2*r + 4. Let c be g(3). Suppose -c*i + 7*i + 420 = 0. Is i a multiple of 10?
True
Let p be (3 - 2)/(3 + 16660/(-5555)). Suppose 13*s = 2*s + p. Is 42 a factor of s?
False
Suppose -387 = 6*v - 51. Let i = 62 + v. Suppose i*d - 10*d + 200 = 0. Does 10 divide d?
True
Let n = -44 - -47. Suppose -3*h = -q - 3, 0 = 3*h - 2*q - q + n. Does 11 divide (-72)/(-3) - (h + 2)?
False
Suppose 0*g = -3*n + 4*g - 24, n - 2*g + 6 = 0. Let q = n + 5. Is 28 a factor of (1/(-1))/(q/805)?
False
Let z = 297 - 295. Suppose 0 = -3*f + 3, 4*f - 344 = -6*t + z*t. Is t a multiple of 5?
True
Let n(t) = -t**3 + 24*t**2 - 30*t + 12. Let w be n(21). Suppose -5*g + w = -5*y, -5*y + 399 = -3*g + 6*g. Suppose -2*p + 690 = g. Is 12 a factor of p?
True
Suppose z - 6346 = -3*j, -3*j + 161*z = 159*z - 6334. Is j a multiple of 14?
True
Suppose -39 = 3*y - 0. Let w be y + 19 - (1 + -5). Let q(i) = 21*i + 25. Is 48 a factor of q(w)?
False
Suppose 8 = 2*u, 3*w + 2*u - 18 - 2 = 0. Is 3 a factor of (-3)/(-4) + 101/w?
False
Suppose -5*z + 50 = -2*v - 48, 5*v = -20. Suppose -z*o + 290 = -466. Is 6 a factor of o?
True
Let q(p) = -2*p**2 - 68*p + 9. Let i be q(-34). Let r = -7 + 4. Is 6 a factor of i/(-4)*(r - 18/2)?
False
Let q(u) = -19*u - 11. Let w be q(-6). Suppose x = -21 - w. Let t = -76 - x. Is t a multiple of 12?
True
Suppose i + 3*w = 24487, 3*i + 15*w = 18*w + 73461. Does 228 divide i?
False
Let k(y) = -y**3 + 49*y**2 - 34*y - 148. Is k(48) a multiple of 4?
True
Let v = -4652 + 9492. Is v a multiple of 44?
True
Is -12 + (-2043065)/(-85) + 30/(-510) a multiple of 104?
True
Let s = 209 - 213. Is 5 a factor of (-4 - 121/(-44))*s/1?
True
Suppose w + 110956 = 3*m, 3*m - 19987 = -5*w + 90981. Is m a multiple of 268?
False
Suppose -17*g - 108*g = -15500. Is 31 a factor of g?
True
Suppose -3*x + 33 = -96. Suppose 0*n = 2*c - 3*n - x, 141 = 4*c + 5*n. Suppose -4*u + c = -3*u. Is 10 a factor of u?
False
Let q = 25 + -20. Let d(t) = 4*t**3 + 6*t**2 + t - 7. Let v(z) = -z**3 - z**2 + 1. Let n(p) = q*v(p) + d(p). Is n(-4) a multiple of 10?
False
Suppose -x + 3*b + 99 = 0, 5*b - 6*b = x - 83. Let y = 17 + x. Is 12 a factor of y?
False
Let f be (-12)/(-22) - (-2 - (-889)/231*3). Let v(i) = -i**2 + 8*i + 6. Let m be v(6). Is -161*(f/m)/((-2)/(-4)) a multiple of 26?
False
Let u = 64955 + -40427. Is u a multiple of 21?
True
Let c = 54 - 31. Let s = c - 183. Is 9/6*s/(-6) a multiple of 8?
True
Is 12 a factor of (352/12)/(10/2025)?
True
Let x(u) = -u**3 - 31*u**2 - 31*u + 51. Supp