. Is 70 a factor of t?
True
Let d be (-4)/38 + (-136)/152. Is 523 - 93 - (-1 - -3)/d a multiple of 72?
True
Let w(o) = -o + 3. Let p(k) = k + 26. Let f(d) = p(d) - 5*w(d). Suppose 3*n = -0*n + 2*l + 7, 3*n - 3 = 3*l. Is f(n) a multiple of 20?
False
Let m = -1530 - -842. Let z = 787 + m. Does 12 divide z?
False
Suppose -4*w = -10*w + 12. Suppose 3*f - 21 = -3*a, -2*f + w*a = -a - 9. Is 5 a factor of (3/(f/(-25)))/(10/(-20))?
True
Let d(v) = 2*v**2 - 14*v + 66. Let a be d(20). Let r = a + -350. Is r a multiple of 28?
False
Let h(s) = s**3 - 13*s - 51 + 3*s + 3*s + 18*s**2. Is 3 a factor of h(-18)?
True
Suppose 4*f = -3*c - c + 48, -4*f + c = -68. Let y = 36 - f. Is 9 a factor of 128 - (10/y)/((-2)/4)?
False
Let d(a) = -a**2 - 2*a - 1. Let y be d(-2). Let l(p) be the second derivative of -13*p**5/5 - p**4/6 - p**3/6 - 627*p. Does 17 divide l(y)?
True
Suppose -3*f = -4*s - 0*f + 60, -s - 2*f = -4. Let k be 8/s*(49 + 5). Suppose -4*c + k = -3*c. Is c a multiple of 5?
False
Let j(d) = 2*d**3 + 53*d**2 - 211*d - 8. Is j(-30) a multiple of 4?
False
Does 12 divide (-3*3)/(29 + (-9234874)/318440)?
True
Suppose -36*s + 305845 + 186198 - 139099 = 0. Is 129 a factor of s?
True
Is 3416/12*(950/14 - -5) a multiple of 34?
True
Let m(k) = k**3 - 24*k**2 - 23*k - 14. Let q be m(25). Is 5 a factor of q/(-2)*1403/(-122)?
False
Let m be 1/(-3*(-2)/(-912)). Let q be (-18)/(-4)*m/(-114). Does 12 divide q/33 - (2 + (-4264)/22)?
True
Let j = -404 + 393. Is (j - -14) + 456 + -1 a multiple of 5?
False
Let x(n) = 7*n + 356. Let q be x(-50). Let r(f) = 6 + 5*f**2 - 26 - 3*f - f. Does 8 divide r(q)?
True
Suppose -4*q + 106 = -2*l, 5*q = 6*l - 11*l + 110. Suppose 0 = -4*o - 2*n + 14 + 36, -1 = o + 5*n. Suppose o*t + 616 = q*t. Is 14 a factor of t?
True
Suppose 0 = 2*g - 2*v + 109 + 97, 3*g - 4*v + 305 = 0. Let d = -64 - g. Is d a multiple of 10?
False
Let l = 26 - 23. Suppose 16 = 3*p + 5*k - 6, -2*p = l*k - 14. Suppose -53 = -4*t - 5*x, -p*x = -5*t + 13 + 43. Does 12 divide t?
True
Suppose -2*l = -0*f + f - 18, -3*l + 29 = f. Suppose l*g - 14*g = -i - 25, g + 1 = -2*i. Suppose g*q - 123 = -4*t + 2*q, -63 = -2*t - 3*q. Is 9 a factor of t?
True
Suppose -x - 2 = -5*o - 25, 0 = x - o - 15. Suppose -4*n = -q - 523, 0 = 12*n - x*n + q + 133. Is n a multiple of 5?
True
Suppose -x = -4*j + 3*j + 9, j - 3 = 0. Let g(b) = -2*b + 4 - 10 - 13*b. Does 28 divide g(x)?
True
Suppose 43*v = 19*v + 97200. Suppose v = -11*i + 26*i. Is i a multiple of 3?
True
Suppose -9*o = 3*u - 7*o - 25, 5*u - 30 = -o. Suppose u*z + 3*n = 1990, -2*n + 531 + 1459 = 5*z. Does 49 divide z?
False
Suppose 6*d + 12 = 24. Suppose j + 3*u - 313 = u, -653 = -d*j + 5*u. Does 15 divide j?
False
Let j(d) = -d**2 + 17*d - 14. Let c be j(14). Let g(v) = v**3 - 27*v**2 - 22*v + 39. Is g(c) a multiple of 24?
False
Suppose -44*u = -4*t - 47*u, 4*u = -16. Suppose 0 = 5*k - 4*c - 766, -154 = t*k + 3*c - 619. Is k a multiple of 7?
True
Suppose 5*c - 3*g - 11 - 26 = 0, c = 2*g + 13. Suppose -6*p + c*p + 26 = 0. Is 14 a factor of p?
False
Let p(k) = 629*k**3 + k**2 + 4*k + 2. Let w(u) = u**3 - 1. Let d(s) = -p(s) + 2*w(s). Is d(-1) a multiple of 43?
False
Let q(z) = 7*z**3 + 2*z**2 - 4*z - 2. Let r be q(3). Let a = -8 + r. Is a a multiple of 34?
False
Does 6 divide (0 - -872) + (68 - 68)?
False
Suppose -4*n + 2*r - 3*r + 25454 = 0, 0 = -n - 4*r + 6341. Is n a multiple of 67?
True
Let x = -403 + 483. Is -102*(-8)/(x/35) a multiple of 21?
True
Let l = 1247 + -742. Suppose 5*c - l = -i, -18*i + 16*i - 4*c = -1034. Does 35 divide i?
True
Is 13 a factor of (40196/20)/(13/65)?
True
Does 18 divide -4 + (14 + 3105 - 2)?
False
Let k = 3721 - 3397. Is 18 a factor of k?
True
Suppose 0 = -5*x - s + 32, 2*x + 0 = -4*s + 2. Suppose 0 = 2*d - 9*z + x*z, 8 = d + 3*z. Suppose -d*a - 35 = -6*a - 3*i, -10 = -a - i. Does 5 divide a?
True
Let s = 260 - -3922. Is s a multiple of 41?
True
Let m(h) = -209*h**2 - 2*h - 1. Let c be m(-1). Let z = 306 + c. Suppose -3*b = -2*v + z, -v - 3*v = b - 210. Is v a multiple of 13?
True
Suppose 11313 = -1708*z + 1710*z + 3*g, -5*g = -5. Is 15 a factor of z?
True
Suppose -4*y + 16 = -3*y - v, 4*v - 53 = -5*y. Suppose 1521 = 16*s - y*s. Does 13 divide s?
True
Suppose 3*q = -5*o + 64958, -36*q + 4*o = -41*q + 108259. Is q a multiple of 51?
False
Let f(c) = c**2 + c**3 - 3*c**2 - 2*c**2 - 7. Let a(w) = -27*w + 168. Let y be a(6). Does 20 divide f(y)?
False
Suppose g - 5*i - 35 = -g, 0 = 5*g - 2*i - 35. Suppose g*o - 4*u = 7*o - 188, -15 = 5*u. Is o a multiple of 10?
True
Let r = 6409 + 6884. Is 21 a factor of r?
True
Let q be 10/(-4)*(-1016)/20. Let k = q - -61. Is 7 a factor of k?
False
Suppose -50*q = -21*q - 8265. Suppose 127 = s - q. Is 16 a factor of s?
False
Let d(r) be the first derivative of r**4/4 + 13*r**3/3 + 5*r**2/2 + 28*r - 38. Does 16 divide d(-12)?
True
Suppose -w - 3*t = -8*t - 1510, 3*w - 4498 = -t. Is w a multiple of 6?
True
Suppose 758 = y - 82. Is y a multiple of 35?
True
Suppose -2*u + 5*s = -3691, 0 = -5*u - 970*s + 966*s + 9112. Is u even?
True
Let l(x) be the third derivative of x**6/120 - 3*x**5/20 - x**4 + 7*x**3/2 + 2*x**2 - 59. Does 10 divide l(12)?
False
Let f = 27203 - 14361. Is 167 a factor of f?
False
Let d(s) = 37*s**2 - 6*s + 2. Let c be d(2). Let m = -16 + 21. Suppose x = -m*x + c. Is 7 a factor of x?
False
Let l = 53 - 53. Suppose -19*w + l*w - 969 = 0. Is ((-36)/27)/(8/(-18)) - w a multiple of 9?
True
Let h be (-44)/(-3) - 4/(-12). Suppose -10*b + 5*b + 5*d = -20, -3*b = 3*d - 6. Suppose q - 14 = -z + 2*z, h = -b*z. Is 9 a factor of q?
True
Let o(i) = -34*i**2 + i + 31. Let r(x) = -11*x**2 + x + 10. Let c(m) = 2*o(m) - 7*r(m). Is 12 a factor of c(5)?
True
Let q(i) = 11 + 9 - 9*i**3 - i**2 - 23 - 2*i**3. Does 9 divide q(-2)?
True
Let s = -127 + 115. Is (1 + (-20)/(-12))*(-2025)/s a multiple of 9?
True
Let l = 4053 - -4635. Does 16 divide l?
True
Let j = -33 - -33. Suppose j = q - 151 - 45. Suppose 0 = -2*w + q - 14. Is 13 a factor of w?
True
Let j = -2098 + 10702. Does 29 divide j?
False
Suppose -3*i - 9 = 0, -3*n + 23*i + 24 = 27*i. Does 23 divide n/8*10680/36?
False
Let d(g) = -5*g**2 + 10*g - 3. Let b(u) = 6*u**2 - 11*u + 2. Let q = -34 + 31. Let y(a) = q*b(a) - 4*d(a). Is 5 a factor of y(6)?
False
Let p(y) = y + 1. Let b be p(2). Does 25 divide (-12614)/(-28) - (b - (-15)/(-6))?
True
Let u be 13/26 - 92/(-8). Is 12 a factor of u/(-16) + 6735/20?
True
Let d(m) = -11*m**2 - 77*m + 1. Let i(v) = 4*v**2 + 26*v. Let b(s) = -3*d(s) - 8*i(s). Let t be b(-20). Let l = -31 - t. Is 13 a factor of l?
False
Suppose 952 = -69*m + 73*m. Let k = m + -175. Does 2 divide k?
False
Let y be (-11 - -8)*(10 - 1). Is 67 a factor of y/(-108)*(19 + 1) - -866?
True
Suppose 69750 = 274*d - 269*d. Suppose d = 25*a + 6*a. Is 49 a factor of a?
False
Let i(j) = -j**3 + 26*j**2 + 57*j + 58. Let v = -505 + 532. Does 31 divide i(v)?
True
Let k = -2157 + 2321. Let v be 8/(-2)*(-30)/8. Let j = k - v. Is 13 a factor of j?
False
Is 3 a factor of (1476/(-24))/((-39)/962)?
False
Suppose -100815 = -8*v - 5*o, 2*v = 31*o - 30*o + 25197. Is 12 a factor of v?
True
Let r be 2*6/(-15)*(-10)/(-8). Let o(n) = -29*n**3 + 2*n**2 + 12*n + 11. Is 5 a factor of o(r)?
True
Let q be (-2)/(-16) - 7/(-112)*62. Suppose 2*p = 4*w + 46, q*w + 16 = -0*w. Suppose 0 = 19*i - 20*i + p. Is i a multiple of 3?
True
Suppose 4*h + j = 47 + 892, -3*h + j + 713 = 0. Suppose -p + 2*p = h. Does 7 divide p?
False
Let w(d) = 8*d**2 - 19*d - 100. Let o be w(-8). Suppose 584 = 3*c - 2*s, -64*c + 67*c + 3*s = o. Is 32 a factor of c?
True
Let p(f) = -f**3 - 3*f**2 - 2*f - 3. Let v(c) = c**3 + 2*c**2 + c - 1. Let y be v(-2). Let t be p(y). Suppose -i = -0*d + 4*d - 114, 3 = t*d. Does 22 divide i?
True
Let p = 454 - 365. Suppose -4*i - p = -w, 5*w - 9*i - 409 = -7*i. Is w a multiple of 9?
True
Suppose -u - 68*s + 13808 = -70*s, -5*u = 5*s - 69160. Does 12 divide u?
True
Suppose -5*s = -4*o - 53, o - 38 + 9 = -2*s. Suppose 19*i - s*i - 2442 = 0. Is i a multiple of 33?
False
Suppose -19 = -2*p + n, 178*p - 179*p = -3*n - 2. Suppose 0 = 2*m + 4*i - 6, 4*m - 2*i - 32 = -0*i. Let b = p + m. Does 3 divide b?
True
Let t(h) = -h**2 - 12*h - 1. Let a be t(-12). Let z be 6 + 0 + a + 87/(-29). Suppose 42 = z*v - 202. Is 14 a factor of v?
False
Suppose -5*n + 8 =