1 = -4*f - 2*j + 17. Let u(d) = -d**3 + 9*d**2 + 10*d + 15. Is 10 a factor of u(f)?
False
Suppose -4 - 12 = -8*l. Suppose 3*t + t - 152 = y, l*t - 74 = y. Is t a multiple of 9?
False
Suppose -3 = 3*k - 4*k. Let c(s) = -1 + 4*s + 6 + 7 - k. Does 9 divide c(6)?
False
Let x = 26 - 59. Let d = x + 79. Is d a multiple of 5?
False
Is -5 - -10 - (-1 + -3*997) a multiple of 131?
False
Suppose 3*v - 2*q - 4 = 0, -5*q = -3*v + 8 + 2. Suppose -2*o = -v*o. Is 26 + o*2/(-8) a multiple of 13?
True
Let i = 115 + 615. Suppose -6*a - i = -2152. Suppose -a = -4*z + 31. Is z a multiple of 30?
False
Let v(t) = t**3 - 4*t**2 - 35*t + 22. Does 13 divide v(13)?
False
Let m = 2260 + -2073. Is 28 a factor of m?
False
Let a(b) = 3*b + 26. Let o be a(-8). Suppose 0 = -p - o*i - 4 + 79, p = -i + 70. Does 13 divide p?
True
Let x(d) = -26*d + 106. Is x(-11) a multiple of 28?
True
Let z = -451 - -514. Does 4 divide z?
False
Let h = 240 + -234. Is h a multiple of 2?
True
Let v be 1/((-393)/198 - -2). Let f = v + -30. Let r = f + -22. Does 3 divide r?
False
Suppose s - 350 = 5*x, 3*s + 7*x - 3*x = 993. Does 5 divide s?
True
Let x = -46 + 47. Does 6 divide x + (1 - -1 - (-2 + -1))?
True
Let l = 65 - 3. Does 10 divide l?
False
Let h = -89 + 137. Let i = -4 + h. Is 22 a factor of i?
True
Suppose 4*w - 5*w = -21. Suppose 1 = t, -w = -m + 6*m - t. Is 2 a factor of -4 + ((-85)/(-5) - m)?
False
Let v be (-5)/(5*1/(-2)). Suppose -5*c = 3*x - 4*x - 835, -v*x = 5*c - 850. Suppose -5*t + c = -2*t. Is t a multiple of 14?
True
Suppose -56*d = 13*d - 165324. Is d a multiple of 83?
False
Let s(w) be the first derivative of w**4/4 - 7*w**3/3 - w - 1. Let h be s(7). Is 17 a factor of 6*h*(-100)/6?
False
Suppose 0 = 19*s - 8*s + 22. Does 12 divide ((-72)/27)/(s/9)?
True
Suppose -42*j + 5574 + 4296 = 0. Does 3 divide j?
False
Suppose 7*d - 9 - 26 = 0. Is d a multiple of 2?
False
Suppose 0 = 2*l - 194 - 302. Let o = l - 17. Does 33 divide o?
True
Let x(h) = -h**2 - 8*h - 11. Let d be x(-5). Let c be (16/(-4))/(d/(-36)). Is 11 a factor of (38/3)/(6/c)?
False
Does 35 divide 8 - 2/(22/(-5797))?
False
Let y(r) = -r**2 + 29*r - 66. Is 22 a factor of y(19)?
False
Suppose 1389 = 4*k - 3*s, -k + 268 + 63 = -4*s. Let g = k + -153. Is 15 a factor of g?
False
Let c(j) = 24*j + 29. Let s(w) = 48*w + 57. Let m(v) = 11*c(v) - 6*s(v). Is 13 a factor of m(-8)?
True
Let g(n) = -8*n - 5. Let q be g(-1). Suppose 0 = s + 2*k - 78, -s = -q*k - 41 - 52. Is s a multiple of 42?
True
Suppose 29*y + 2*q - 4197 = 26*y, 2*y = 3*q + 2785. Is y a multiple of 14?
False
Let d(s) be the second derivative of -4/3*s**4 + 0 + 1/20*s**5 + 8*s + 4*s**2 + 19/6*s**3. Is 10 a factor of d(15)?
False
Suppose 90 = 4*t + 2. Suppose -5*a - 2*b = -16, 4*a - a - t = 5*b. Suppose 3*z + 6*p - 2*p - 135 = 0, a*z + p - 180 = 0. Does 15 divide z?
True
Suppose -5*i + 6*i + 1888 = 4*o, 0 = i. Is 15 a factor of o?
False
Let o be (9 - 5)*7*2. Let v = o - 21. Does 11 divide v?
False
Let r = -448 + 680. Suppose 0*b = 5*u - 2*b - r, -2*u + 94 = -2*b. Is 24 a factor of u?
False
Let p(d) = d**3 - 8*d**2 - 9*d + 11. Let l be 0/(-2 + (6 - 3)). Let b be 6*((-3)/(-2) + l). Does 11 divide p(b)?
True
Let q(z) = -2*z**2 + 23*z + 30. Does 10 divide q(10)?
True
Let r(l) = -86*l - 19. Is 4 a factor of r(-3)?
False
Does 8 divide ((-51)/102)/(1/(-176))?
True
Let m = -1 + 6. Suppose c = -m*w - 3*c - 16, 0 = -5*c - 20. Suppose -b + 0 + 1 = w, -2*b = -5*p + 98. Is p a multiple of 10?
True
Suppose 0 = 11*c - 359 - 2270. Is c a multiple of 3?
False
Let c(f) = 2598*f**2 - 2*f + 3. Is 23 a factor of c(1)?
True
Let x = 12 - 12. Suppose x = 2*z - 3*k - k - 28, z = -k + 5. Let d = z + 8. Is d a multiple of 16?
True
Let z(p) = -p**2 - 3*p + 4. Let g be z(-4). Suppose 1 = b + 2, -2*w - 5*b + 31 = g. Is 9 a factor of w?
True
Let w = -48 - -113. Let p = 101 - w. Let x = 20 + p. Is x a multiple of 7?
True
Suppose 0*h - 2*h + 20 = 0. Let l be 2*(-8)/h*-30. Suppose 4*g - l = 2*g. Does 8 divide g?
True
Let r(o) = -33*o**3 - 2*o**2 - 2*o + 7. Does 7 divide r(-3)?
False
Suppose 3*u - 691 = -2*q, 0*q = 4*q + 4. Let k = u - 156. Is 25 a factor of k?
True
Let r(h) = 2*h - 5*h - 6*h - 3*h. Let t be r(-1). Suppose -k + t = k. Does 2 divide k?
True
Let t be 25/(-5) + (-127 - 2). Does 9 divide (0 - t) + 2/(6/(-3))?
False
Is ((-134)/(-201))/(1/72) a multiple of 8?
True
Let y(b) = b**3 + 11*b**2 - 6*b + 10. Let a be y(-13). Let r = -87 - a. Is 14 a factor of r?
False
Let x = 318 - 577. Does 16 divide (-3)/(x/(-1120) + (-2)/8)?
True
Does 64 divide -282*(-54)/14 - 70/(-245)?
True
Let w(z) be the second derivative of -1/12*z**4 + 0*z**3 + 0 + 9*z**2 + 2*z. Is 7 a factor of w(0)?
False
Let c(w) = -w**2 - 23*w - 13. Let z be c(-10). Is 23 a factor of 2416/18 - 26/z?
False
Let g be (21/9)/(-7)*303*-1. Let a = g + -99. Is a a multiple of 2?
True
Suppose -t = -4*z + 57, t + 3*t = -3*z + 57. Let m(x) = x**2 - 5*x - 32. Is 31 a factor of m(z)?
False
Let f(p) = p**3 - 10*p**2 - 2*p + 6. Let z be f(8). Let i = z - -240. Is 22 a factor of i?
False
Suppose -2*b - 3*b - 440 = -4*q, -2*b = -2*q + 222. Let t = q + -73. Does 14 divide t?
True
Let b = 27 - -55. Let c = b - -114. Suppose -2*x + 195 = h, 0 = -4*x + 2*x - 2*h + c. Is x a multiple of 12?
False
Suppose 18*v + 34*v = 17004. Is v a multiple of 48?
False
Let a = -14 + 20. Suppose -2*x - 48 = -a*x. Does 4 divide x?
True
Let a be 1/2 - (-15)/2. Let v(q) be the third derivative of 11*q**4/24 - 8*q**3/3 - 8*q**2. Is 18 a factor of v(a)?
True
Is 67 a factor of 4/6 - (11144/(-24) + -4)?
True
Let w(i) = -i**3 + 11*i**2 - 2*i + 22. Let b(o) = -2*o + 5. Let n be b(-3). Let d be w(n). Suppose d*u + g - 471 = -4*u, -4*u + 5*g = -501. Does 32 divide u?
False
Suppose 9*l = 4*l - 140. Let u be (l/(-12) + 4)*24. Let j = -78 + u. Does 12 divide j?
False
Let k(f) = 2*f**3 - f**2 + 2*f - 1. Let i be k(1). Suppose 54 + 0 = i*r. Let p = r + -19. Does 8 divide p?
True
Is 14 a factor of 210/8*(-43)/((-1032)/2560)?
True
Suppose -68*c - 467 = -69*c + 5*t, c - 3*t = 465. Does 33 divide c?
True
Does 16 divide (1 - 831)*(-14)/35?
False
Suppose 7*f - 315 = 3*g + 4*f, -4*g = 2*f + 444. Let a = g + 185. Is a a multiple of 8?
False
Let g = 10 - 13. Let w be 1 + 0 + g + -6. Is 7 a factor of (2/w)/(2/(-88))?
False
Let x(q) = -q**2 - 18*q - 10. Let f be x(-15). Let k = f - -5. Does 5 divide k?
True
Let v(s) = 5*s + 165. Is 8 a factor of v(-13)?
False
Let y(k) = 14*k. Suppose -4*s = -24 - 0. Is y(s) a multiple of 20?
False
Let h = -7 + 14. Let f(p) = 7*p**3 - 8*p**2 + 7*p. Let l(b) = -15*b**3 + 16*b**2 - 15*b - 1. Let y(c) = -13*f(c) - 6*l(c). Is y(h) a multiple of 10?
False
Let p(z) = -z**3 + 4*z**2 - 6*z + 6. Let r be 1*(6 + -2 + 1). Let g be p(r). Let t = g + 69. Is 10 a factor of t?
True
Let a = 21 - 36. Let v(k) = -k - 6. Let o be v(a). Suppose 4*u - 11 = 2*u + s, -u + 4*s + o = 0. Does 5 divide u?
True
Let w = 310 - 298. Is 7 a factor of w?
False
Let w(y) = -40*y + 501. Is 10 a factor of w(8)?
False
Suppose -5*z - k = 2*k - 29, 4*z - 5*k - 1 = 0. Let f be -3 + (-398)/((-8)/z). Suppose 5*b - b = f. Does 15 divide b?
False
Let k = 12 + -15. Let g(c) be the first derivative of -c**4/2 - 5*c**3/3 - 3*c**2/2 + 4*c + 4. Does 11 divide g(k)?
True
Is ((-1020924)/24)/(-23) - (-6)/(-4) a multiple of 53?
False
Let v(d) = d - 1. Let u(h) = h**3 - 4*h**2 - 3*h + 8. Let i(r) = -u(r) - 4*v(r). Let q be 46/(-115) + ((-34)/(-10) - 0). Is 2 a factor of i(q)?
True
Suppose -6 = 2*n, b - 3*n + 170 = 2*n. Let w = b + 457. Is 10 a factor of 6/(-30) + w/10?
False
Suppose 0 = 3*n, -4*z + 3*n + 80 = -0*n. Suppose -2*r = -3*r - 2*c + 46, -4*c = -z. Does 12 divide r?
True
Is 116*(6/(-16))/(26/(-156)) a multiple of 5?
False
Let m(h) = -h**3 - 21*h**2 + 29*h - 3. Is 69 a factor of m(-27)?
True
Suppose 0 = -z + 8 - 2. Let t be -1 + z - (-1 - -1). Suppose -t*q + 38 + 32 = 0. Is 12 a factor of q?
False
Suppose 16 = -35*b + 37*b. Suppose -x - b = -29. Is 9 a factor of x?
False
Let g be 3 - 1 - 2/2. Let l(b) = -2*b - 3*b + 7*b + 46*b**2 - 3*b. Does 12 divide l(g)?
False
Let t(o) = -29*o**3 + 3*o**2 + 7*o + 4. Does 9 divide t(-2)?
True
Let f(n) = n**3 - 8*n**2 + 8*n - 4. Let h be f(7). Let g be 6 + h/((-6)/4). Suppose 5*p - 2*t = -g*t + 35, 4*p + 5*t - 45 = 0. Does 5 divide p?
True
Suppose 3*b - 10 = 2*z - 0*z, -4*