4*t**3/3 - 3*t**2/2 + t. Let j be (-168)/392 - 38/(-7). Does 4 divide d(j)?
True
Let d(k) = -14*k - 3. Let f = -42 - -33. Let v = 5 + f. Is d(v) a multiple of 16?
False
Suppose -c + 5*n + 663 = 3*c, 12 = -4*n. Is c a multiple of 27?
True
Let x(n) = n + 8. Suppose 2*q + 8 = 14. Suppose -2*c - 4 - 10 = 2*o, -5*c - q = -3*o. Does 4 divide x(o)?
True
Let y(l) = l**3 + 35*l**2 - 4*l - 45. Is 5 a factor of y(-35)?
True
Suppose -y - 5*q - 8 = 14, 3*y - q + 2 = 0. Let j be -1 + (-1 - y - 0). Suppose j = -3*x - 2*x + 300. Does 15 divide x?
True
Let o(p) = -4*p + 16. Let c be o(4). Let j(l) = -l**2 - 5*l - 4. Let h be j(-4). Suppose h = -4*b + 20, 3*g + c*g + b - 134 = 0. Does 11 divide g?
False
Let l be (3*(-10)/(-45))/(4/18). Suppose 8*b - l*b = 210. Is b a multiple of 8?
False
Is 24 a factor of -3 + (-1 - -5) + 359?
True
Suppose -1185*o = -1201*o + 27744. Is o a multiple of 20?
False
Let n = 27 + -19. Suppose -r = 3*r + n. Is (5/(-25))/(r/410) a multiple of 14?
False
Let b = -702 + 812. Is 5 a factor of b?
True
Does 2 divide (-3 - -2)/((-23)/9131)?
False
Suppose 7*y - 3*y = -880. Let a be 8/(-28) + y/14. Let l = 4 - a. Is 10 a factor of l?
True
Suppose 5*p - 19 = -3*o, 3*p + 1 = -5*o + 22. Suppose 3*y = 3*q + 132, -4*y = o*q + 89 + 57. Let u = -25 - q. Is 21 a factor of u?
True
Suppose -3*c - 5196 = -3*j, 29*j - 5*c + 5156 = 32*j. Does 14 divide j?
False
Let h be 3 + -2*3/6. Suppose -h*p + 114 = p. Does 19 divide p?
True
Suppose 6*y = 48*y - 16044. Does 62 divide y?
False
Let w = -327 - -829. Does 35 divide w?
False
Let n be 14 - (2/(-1) - -1). Suppose -n*z = -18*z. Suppose 2*m - 5*m + 168 = z. Is 13 a factor of m?
False
Suppose 2*b = 5*q + 773, 0 = 3*b - 2*q - 798 - 334. Is b a multiple of 37?
False
Let f(d) = 3*d**2 + 2*d - 42. Does 10 divide f(10)?
False
Let f(d) = 46*d**2 + 3*d - 1. Let x be f(1). Suppose 0*w + w = 3*l + 40, 5*l + x = w. Is 5 a factor of w?
False
Let m = -312 - -346. Does 22 divide m?
False
Suppose w - 12 = -3*w. Suppose -w*x - 2*f = 45, 2*f = -3*f. Let d = -3 - x. Is 12 a factor of d?
True
Suppose -i - 1 = -2*i - c, c + 11 = 5*i. Suppose b + i*a = -17, 0 = 2*b - 4*a - a - 2. Does 5 divide -1*(b + 1 + -2)?
True
Let r(s) = 7*s + 9. Let k(c) = c + 0*c + 5 + 3 - 3*c. Let f be k(0). Does 12 divide r(f)?
False
Let k(g) = -g**2 + 7*g + 8. Let l be k(9). Let z(j) = -14*j - 38. Is z(l) a multiple of 34?
True
Suppose 5*w - 15 = 0, -8*s - 4*w = -3*s - 87. Let a = -18 + s. Is 0 + 0 + 42 + a a multiple of 21?
False
Let d = 349 + 575. Is 11 a factor of d?
True
Suppose -46 + 16 = 5*k. Let a be (-40)/(-6)*(-9)/k. Let z(c) = c**3 - 10*c**2 + c + 7. Is z(a) a multiple of 17?
True
Let y(w) = -12*w**3 - w**2 + w. Let n be y(-2). Let l be -55 - (-2 - 2/(-2)). Let f = n + l. Is f a multiple of 14?
False
Let p be 1/(-4) - (945/12 - 2). Let o = p - -269. Is 12 a factor of o?
True
Is 7 a factor of 8 + 354*(-9)/(-27)?
True
Suppose -2*o = -11*z + 8*z + 470, 0 = 5*z - 3*o - 782. Is 11 a factor of z?
True
Let c(l) = 11*l + 1. Let v = -12 - -42. Suppose v = u + 4*u. Is c(u) a multiple of 9?
False
Let y = 2713 + -1890. Does 74 divide y?
False
Let c(y) = 0*y + 5*y**2 + 8*y**3 - y**2 - y - 2*y**2 - 3. Does 7 divide c(2)?
False
Let b = 399 - 328. Is b a multiple of 68?
False
Let a(r) = -r**3 + 22*r**2 - 11*r - 12. Does 12 divide a(21)?
False
Suppose -2*v + 3*v - 2696 = -4*x, -2*v - 5*x = -5407. Is v a multiple of 25?
False
Let d(u) = 16*u**2 - 2*u - 2. Let n(q) = -q**3 - 19*q**2 - 19*q - 14. Let a be n(-18). Suppose -s + 11 = 3*m + m, a*s = 4*m + 4. Is 29 a factor of d(m)?
True
Let j = -670 - -728. Is 7 a factor of j?
False
Let g be (1 - (-3)/15)/((-3)/(-5)). Does 6 divide (10 - -47) + (-2 - g)?
False
Let u(q) = q**2 - 5*q - 112. Is 14 a factor of u(19)?
True
Let q be -3 + -2 + -2 + 1. Let n be 1 + (-9)/q*6. Let z = n - 0. Does 6 divide z?
False
Let l = 11 + -9. Suppose 3*h - 58 = l*h. Suppose 5*j = b + h, -3*j + 2*b - 16 = -4*j. Is 12 a factor of j?
True
Suppose -25*a = -26*a - 2. Let p(x) be the third derivative of -x**6/40 - x**5/30 - x**4/8 - x**3/3 + x**2. Is 10 a factor of p(a)?
True
Let s(l) = -l**3 - l**2 + 8*l - 25. Does 28 divide s(-7)?
False
Let p = -872 - -1256. Suppose -6*c + p = -3*c. Is c a multiple of 16?
True
Let c(m) = -m**3 + 11*m**2 - 8*m + 8. Let f(x) = x + 10. Let y be f(-10). Suppose -5*q = 25, -5*o + 5*q - q + 70 = y. Does 14 divide c(o)?
True
Let f = 3052 - 2168. Is 34 a factor of f?
True
Let u be 4/18 + -4 + 248/18. Is 14 a factor of -3*(u/(-25) + 728/(-30))?
False
Let o(n) = 32*n**3 - n + 1. Let j(d) = 4*d + 13. Let r be j(-3). Does 6 divide o(r)?
False
Let k = -1707 - -2535. Does 9 divide k?
True
Suppose -4*z - 198 = -y, -15*z + 12*z + 219 = y. Suppose -5*i = -3*p + 61 + y, -5*p + 4*i = -469. Does 41 divide p?
False
Is 37*((-698)/(-18) - (-10)/45) a multiple of 57?
False
Suppose 10*r - 32736 = -2*r. Is r a multiple of 31?
True
Let d(c) = c - 1. Let n(f) = f - 36. Let h(z) = 4*d(z) - n(z). Does 2 divide h(-3)?
False
Is 12 a factor of (-8)/52 + 4532/52?
False
Let q(m) = m**2 + 8*m + 14. Let x be q(-6). Let c(j) = -7*j + 68 + x*j + 6*j. Does 34 divide c(0)?
True
Let m = -251 - -808. Is m a multiple of 39?
False
Suppose 107 = 16*g - 1877. Is g a multiple of 3?
False
Let d(r) = r**2 + 1. Let q(c) = -7*c**2 - 19*c - 10. Let t(w) = 4*d(w) + q(w). Does 7 divide t(-5)?
True
Let h(p) = -3 + 5 - 4*p + 3*p - 8. Suppose 2*j + 21 = -7. Is 3 a factor of h(j)?
False
Suppose -3*s + 54 = 12. Let f be (-210)/(-20)*56/3. Suppose -5*a + f + s = 0. Does 14 divide a?
True
Let r(t) = -t**3 + 6*t**2 - t + 8. Let d be r(6). Suppose 2*n - i + 230 = 7*n, d*i - 10 = 0. Is 22 a factor of -2 - -1 - n*-1?
True
Let g(d) = -12*d**3 + d**2 - 2*d + 2. Let l be g(1). Is 33 a factor of (l - -143) + 0*1/(-2)?
True
Suppose 2*t + 10 = 0, 4*t = g + 20 + 35. Let z be 10/45 - g/27. Suppose 4*y + 86 = 2*l, z*l + 0*y = -4*y + 109. Is l a multiple of 13?
True
Let o = 28 + 106. Is o a multiple of 10?
False
Suppose m - 6*m = -245. Does 23 divide m?
False
Let l = -84 - -42. Let p = 20 + l. Let m = 65 + p. Is 6 a factor of m?
False
Let t be (-4)/32 + 3315/(-40). Let o = 173 + t. Does 5 divide o?
True
Let o = 23 + -20. Suppose o*n = 2 + 4. Suppose 0 = -n*v - z + 167, -v + 43 = -2*z - 48. Is 13 a factor of v?
False
Let y be (-26)/(-6) - (-9)/(-27). Suppose 10 + 6 = j + y*x, 0 = 2*j + x - 4. Suppose -5*q + l + 35 = j, -3*q + 19 = l - 2*l. Is q a multiple of 8?
True
Suppose 0*h - 3*j - 29 = -h, 0 = 4*j + 4. Suppose -4*v - 5*z = -15, -2*z = -4*v + h - 4. Suppose -8*y = -3*y + v, -103 = -3*l + y. Does 34 divide l?
True
Suppose -2*c + 713 = -845. Is 41 a factor of c?
True
Let t = 514 + -256. Suppose -5*d + t = -212. Does 19 divide d?
False
Let x = -241 + 367. Is x a multiple of 63?
True
Let f(s) = -2*s + 22. Let d(b) = b + 18. Let r be d(-10). Is 3 a factor of f(r)?
True
Let i(m) = m**2 + 3*m + 3. Let u be i(-3). Suppose 61 = u*b - 173. Does 38 divide b?
False
Is 2 a factor of (5 - 20/(-10)) + -2?
False
Is (6 - 0)/(-2) - -1396 a multiple of 26?
False
Suppose -4*b - b + 10 = 0. Let t(p) = p + 12. Let l be t(-9). Suppose 28 = l*q - b*q. Is 14 a factor of q?
True
Let u = 521 - 169. Is u a multiple of 22?
True
Let q(b) = -b + 96. Is 5 a factor of q(-2)?
False
Let k = 5 - 5. Suppose c - 40 - 31 = k. Let x = c - 31. Does 7 divide x?
False
Suppose 5*n - 23*g - 616 = -26*g, -n + 119 = 2*g. Is n a multiple of 25?
True
Suppose -g = -2*g + 5. Let c(n) = -112*n - 8. Let f be c(-2). Suppose -g*l = -7*l + f. Is l a multiple of 28?
False
Let v(c) = -66*c**2 + c - 1. Let y be v(3). Is 38 a factor of (y/(-64))/((-2)/(-32))?
False
Suppose -q - 11*u + 756 = -16*u, 2*q - 1512 = 4*u. Is 28 a factor of q?
True
Let h(v) = v**3 + 7*v**2 - 12*v - 11. Suppose 3*d + 3 = -21. Is h(d) a multiple of 21?
True
Suppose -4*q + 3566 = -3*s, 3*s + 6026 = 5*q + 1570. Is 38 a factor of q?
False
Suppose 3*x - 170 = -38. Let m = x + -15. Is 15 a factor of m?
False
Suppose -16*x = -2*v - 17*x + 2040, -v + 2*x + 1020 = 0. Is 51 a factor of v?
True
Let d(n) = n**3 - 7*n**2 + 8*n - 7. Let w be d(6). Let u(x) = -x**2 + 8*x - 14. Let p be u(w). Is 10 a factor of (-1 + 0)/(p/(-43))?
False
Suppose -6*c + o = -3*c - 6, c = -o + 2. Suppose z - 5*r - 88 = 0, -c*r = -3*z - 6*r + 245. Suppose 5*t - 46 - 1 = -2*s, -3*s = -5*t - z. Is s a m