= -4*b - 12748. Is 98 a factor of b?
True
Suppose 95294 + 109017 = 99*z - 627685. Is 4 a factor of z?
True
Let v = 189 - -46. Suppose -v - 797 = -6*c. Is 9 a factor of c?
False
Is 85*618/15 - (4 + (-1 - 1)) a multiple of 20?
True
Let g(a) = 12*a**2 - a + 2. Let j = 32 - 34. Let z be g(j). Let u = z + -8. Is u a multiple of 11?
True
Suppose 0 = f - 3, 777*p + 3*f - 23285 = 773*p. Does 6 divide p?
False
Let i(h) = -434*h - 1. Let u be i(2). Let b = -544 - u. Does 13 divide b?
True
Let q(y) = -14 - 43*y**2 + 44*y**2 - 6*y + 4*y. Let a be q(7). Is 11 a factor of ((-198)/a)/(4/(-56))?
True
Let w(b) = 29*b**2 + 2*b - 5. Let m be w(-2). Suppose -v - 15 - m = 0. Let g = v + 346. Is g a multiple of 28?
True
Suppose -4*u - 2*y + 150 = 0, -5*u - 120 = -8*u + y. Let l = 101 - u. Suppose 2*p + 3*p - 60 = 5*r, 5*p - 3*r - l = 0. Is p a multiple of 4?
False
Suppose -292112 - 570664 = -u - 91*u. Does 18 divide u?
True
Suppose -53*k - 11*k + 945864 = 8*k. Is 34 a factor of k?
False
Let w = 310 - 270. Is 1224/21 + 1 + w/(-140) a multiple of 12?
False
Let d = -290 + 307. Suppose 3*j = -d*j + 7840. Does 49 divide j?
True
Let x be 18/4*(-2)/3*-1. Suppose -3*d - x = -0*d. Does 11 divide d/((-6)/98) - 18/(-27)?
False
Is (-5 - -10) + (1258 - (-15)/(-3)) a multiple of 3?
False
Let g = 8 - 10. Let c(l) = 13*l + 150. Let o be c(-12). Is (g/3)/(o/585) a multiple of 13?
True
Suppose 4*h + 3*n - 20 = n, 8 = 2*n. Suppose -2260 - 4844 = -886*w + 870*w. Suppose 4*u + 364 = 2*x, 5*x = -h*u + w + 466. Is x a multiple of 19?
False
Let o(j) = -j**2 - 20*j + 27. Suppose 0 = -5*k + s - 69, -2*k + s - 42 = -3*s. Is o(k) a multiple of 15?
False
Let r(u) = 1 - 40*u**3 - 35*u**3 + 4*u + 6*u**3 - 7*u**3 + 6*u**2 - 12*u**3. Does 42 divide r(-2)?
False
Suppose 0 = 53*k - 1523436 + 269244. Is 51 a factor of k?
True
Suppose 0 = -23*s + 1 + 45. Let b(p) = -5*p - 2*p**s + 5*p + 7*p + 4*p**2 + 33. Does 12 divide b(-9)?
True
Suppose -46 = -3*b + 2*b. Suppose 75 - 3 = 36*s. Suppose -b - 86 = -s*o. Does 7 divide o?
False
Let t(j) = j**3 + 12*j**2 + 57*j - 84. Is 72 a factor of t(12)?
False
Suppose 0 = i - 8*f + 6*f - 7598, 2*i + 2*f - 15226 = 0. Does 11 divide i?
False
Does 3 divide 2 + (21315/75 - 24/20)?
True
Suppose -3*m + 3*w = -6, -w - 1 = 5*m + 1. Suppose m = -200*g + 197*g + 12. Does 10 divide (-6)/(g/(-74) - 0)?
False
Suppose -3*r - 5*l = -17081, 3*r - 5091 = -3*l + 11994. Is 26 a factor of r?
False
Let f(b) = 2*b**3 + 13*b**2 + 6*b - 2. Let w be f(-6). Does 25 divide (-223)/w - 155/(-62)?
False
Let q(x) = -3*x**2 + x - 1. Let o(u) = -u**3 - 37*u**2 - 37*u - 33. Let g(c) = -o(c) + 4*q(c). Is 24 a factor of g(-23)?
True
Let y = 75 + -42. Let v(b) = 3*b**3 - 3*b**2 - 22*b + 9. Let t be v(-3). Let s = y - t. Does 6 divide s?
True
Suppose 0 = 10*g - 252 + 32. Let s(d) = -4*d + 114. Does 26 divide s(g)?
True
Let f be 0/((-5 - -1)/4) + 161. Suppose -8*z + 4*z - 136 = -4*u, -z + f = 4*u. Is u a multiple of 6?
False
Suppose 4*l - 5*c = 3186, -l - 2*c + 244 = -546. Is 24 a factor of l?
False
Suppose 2*u - 2*h - 58 = -u, -3*h - 57 = -3*u. Suppose -n - u = 4*n. Is n/(-6) - 7068/(-36) a multiple of 30?
False
Let a = -1468 - -679. Let g = 1437 + a. Does 81 divide g?
True
Let x(v) = -79*v**2 + 3*v - 3. Let d be x(-2). Let u = 137 - d. Is u a multiple of 42?
True
Let p = 15337 + 620. Is 9 a factor of p?
True
Let z(p) = 4*p**2 + 186*p - 2739. Is 7 a factor of z(17)?
False
Suppose -346*i = -348*i + 22. Suppose i*t - 8514 = -11*t. Is 9 a factor of t?
True
Let n = -9759 + 11870. Is n a multiple of 156?
False
Suppose -15575 + 77631 = 14*r - 50504. Is 201 a factor of r?
True
Suppose 4*u - 5 + 3 = -2*i, -3*u - 1 = -i. Suppose u = -3*b - 9, 5*r + 0 - 18 = b. Suppose 655 = 5*f + 4*g, -r*g + 189 = 5*f - 471. Is 29 a factor of f?
False
Let w(a) be the first derivative of -13*a**2/2 + 19*a - 23. Let u be w(2). Let f(t) = -28*t - 29. Does 7 divide f(u)?
False
Suppose -12*h + 3*h = 45. Let k be ((-5)/h)/((3/(-5))/(-3)). Does 10 divide (-4)/(-2) - (-133 + k)?
True
Let p(a) be the second derivative of 25*a - a**2 + a**3 - 6*a**2 + 11*a**2. Is 15 a factor of p(5)?
False
Let y = 281 + -277. Suppose 2*q - 1 = q, 0 = y*p - 5*q - 1147. Is 21 a factor of p?
False
Let g(a) = -a**3 + 15*a**2 + 37*a - 34. Let k be g(17). Suppose -30*i + k*i + 18304 = 0. Does 32 divide i?
True
Let u be -1 + 2 + 4/((-16)/(-68)). Let k = 142 - u. Does 15 divide k?
False
Let g be (-1 - 8/(-6))*0/26. Let k(y) = 9*y + 5. Let b be k(g). Suppose 5*a + b = 2*d + 415, 316 = 4*a - 4*d. Is 28 a factor of a?
True
Let t(q) = -159*q - 47. Suppose -102 = 11*r - 91. Does 7 divide t(r)?
True
Let z = 342 - 340. Suppose 30 = z*q - 2*d, 2*q + d = q + 23. Does 19 divide q?
True
Let m(i) = i**3 + 5*i**2 - 14*i + 2. Let v be ((-7)/(-2))/((-16)/32). Let y be m(v). Suppose -y = -s - 4*l, -3*s + 35 = -5*l - 39. Does 4 divide s?
False
Let i(w) = -2*w + 22. Let l be i(8). Suppose -198 = -5*f + 2. Does 18 divide 2/1 - (-6 - (l + f))?
True
Let r(t) = 3*t**2 - 6*t + 16. Let o(f) = -f**3 + 15*f**2 - f + 21. Let q be 2/(-3) + (123/9 - -2). Let u be o(q). Is r(u) a multiple of 44?
True
Let w(z) = 29*z**2 + 254*z - 755. Does 83 divide w(-29)?
True
Suppose 4 = 2*h, -5*d - h + 23 = -2*h. Suppose l + 10 + 5 = 2*m, -d*m + 4*l = -36. Suppose -2*p = -m*p + 774. Is 24 a factor of p?
False
Let v(k) = 14*k - 2. Let d(r) = -15*r + 3. Let c(z) = 3*d(z) + 4*v(z). Let b be c(-7). Let i = b - -92. Does 4 divide i?
True
Let r(n) = 2381*n - 1281. Does 153 divide r(6)?
True
Let s(x) = -x + 73. Let y be s(43). Let m(q) = 24*q + 208. Is 32 a factor of m(y)?
True
Let t(x) = -67 - 57 + 25 + 23*x + 2*x - 32. Does 36 divide t(29)?
False
Let z = 24430 - 22857. Does 44 divide z?
False
Suppose 2*d + 2*y - 7699 = 28309, -4*y - 17984 = -d. Does 120 divide d?
True
Let g = 644 - -96. Let u = g + -188. Is 28 a factor of u?
False
Suppose -2*l + 73 = 3*t, 3*l + 4*t = 25 + 84. Let k be l/(-15) + 4 - 3/(-9). Suppose 0 = -3*c, 2*c - 627 = -g - k*g. Does 37 divide g?
False
Let m(v) = 578*v**2 - 34*v - 64. Is 21 a factor of m(-4)?
False
Let o(s) = 10*s - 20. Let l = -76 - -144. Let h be 4*2/(32/l). Is o(h) a multiple of 23?
False
Let b(o) be the second derivative of -o**5/20 + o**4 - 19*o**3/6 + 8*o**2 - 38*o - 2. Is 16 a factor of b(7)?
True
Suppose 3*k + 3*m + 279 = 6*m, 0 = 4*k - m + 360. Let z = k + 89. Suppose -2*l = 5*x - 224 - 576, 5*l = z. Is x a multiple of 20?
True
Let m = 125 + -121. Suppose -5824 = -m*s - 10*s. Is 13 a factor of s?
True
Let k = 17 - -21. Let l = k - 38. Suppose l = 4*b + 12, 4*p + b = 2*p + 293. Is 22 a factor of p?
False
Suppose -31*v + 45*v = 70. Let q be 5*3/(-15)*-2. Suppose q = -y + 5*c - 0*c, -46 = -v*y - 3*c. Is 2 a factor of y?
True
Let w(f) = -f**2 + 6*f - 437. Let g be w(0). Let h = -239 - g. Suppose 2*a + l = 6*a - 158, h = 5*a - l. Is 8 a factor of a?
True
Let n be (-77)/(-91) + -1 + 698/(-26). Let b(t) = t**2 - t - 65. Let m be b(n). Suppose -4*y = 5*v - 2*v - m, y + 1167 = 5*v. Does 29 divide v?
False
Suppose -p + 7499 = 4*l - 2149, 2*l + 9624 = p. Is p a multiple of 8?
True
Suppose -3969 = 2*w - 3*w + 3*c, 2*w = -3*c + 7965. Does 153 divide w?
True
Let p(j) = j**3 - 9*j**2 - 8*j - 19. Let t be p(10). Let c be 101 + 1 - (t - 3). Let n = -57 + c. Does 17 divide n?
False
Suppose t - 4641 = -4*b - 1576, -5*b = -5*t + 15350. Does 99 divide t?
True
Suppose 6*h - 64 + 16 = 0. Suppose -h*g = g - 90. Suppose -g*b - 540 = -2340. Is 20 a factor of b?
True
Let o = -696 - -2201. Suppose -o = -437*w + 432*w. Does 59 divide w?
False
Let m(y) = 2*y**3 + 5*y**2 - 3*y + 2. Let s be m(-3). Suppose -3*x = 5*z - 2540, -3*z = s*x + 318 - 2011. Suppose -16*o + 3571 + x = 0. Is o a multiple of 34?
False
Let u(i) = -835 + 1533 + i**2 + 5*i - 754. Does 6 divide u(-14)?
False
Is -9 + (-24636)/(-6) + 4 a multiple of 8?
False
Suppose -12*a = 4 - 52. Let w(f) = 97*f + 52. Does 10 divide w(a)?
True
Let g(m) be the third derivative of m**6/120 - 3*m**5/10 + 19*m**4/24 + 5*m**3/3 + 2*m**2. Let s = -92 + 109. Does 4 divide g(s)?
True
Let h = 14732 - -6652. Does 18 divide (4/5)/(2 - h/10695)?
False
Suppose 0 = -37*z + 466539 + 39547. Does 143 divide z?
False
Let s = -57 - -66. Let a be (s/(-2) - -3)/(3/(-92)). Suppose a*h - 43*h - 549 = 0. Is 52 a factor of h?
False
Suppose 247920 + 48288 = 22*i. Is 204