 -430. Suppose -6*n + t + 3518 = 0. Does 34 divide n?
True
Suppose 2*g + 3*p - 3 = 0, 2*g + p = -1 + 2. Suppose 65*l - 66*l = g. Suppose 3*i + 15 = 0, 77 = q - l*q + 2*i. Does 22 divide q?
False
Let g(n) be the first derivative of n**2/2 + 30*n - 63. Let m be -22*(-2)/(-4) + 3. Does 3 divide g(m)?
False
Suppose k + 3 = -4*d - 0, -3 = -2*k + d. Let l = 3 - k. Does 6 divide (-60)/(-9) + (l - 1)/3?
False
Suppose -o - 100*s = -102*s - 1916, 2*o - 5*s = 3833. Is 66 a factor of o?
True
Suppose -3*q + 2860 = w, -2*w + 4366 = 2*q - 1354. Does 19 divide w?
False
Suppose -5*j + o - 243 = -7099, 0 = -5*j - 5*o + 6850. Does 41 divide j?
False
Let v(r) = -2*r**3 - 13*r**2 + 5*r - 9. Suppose -5*m - 2*m - 49 = 0. Let n be v(m). Suppose -n*x + x = -368. Is 46 a factor of x?
True
Let h be ((-1459)/3)/((-4)/12). Suppose 17*x - h - 2162 = 0. Does 30 divide x?
False
Suppose 44*q + 35*q = 86268. Does 37 divide q?
False
Let g = 22 - 16. Let a be ((-7)/(56/72))/(-1). Does 32 divide a/g*128/3?
True
Suppose 36127 = 11*u - 18812 - 15670. Is 7 a factor of u?
True
Let l(x) = 2*x**3 + 358*x**2 + 210*x + 563. Is 18 a factor of l(-178)?
False
Is 2/14 - 132/(-2310) - 46828/(-10) a multiple of 68?
False
Suppose 49 + 56 = -r. Let t = r - -30. Let o = t - -107. Is o a multiple of 16?
True
Suppose -8 + 144 = 4*d. Suppose 0 = 3*v - r - d, 2*r - 14 = -v + 5*r. Is 11 a factor of v?
True
Let v(n) = 3*n + 41*n + 6*n - 30 + 2. Let q be v(-14). Does 10 divide 4/(-10) + q/(-20)?
False
Suppose -11*b = 3*b - 28. Let m be (b - -1)*(-40)/(-24). Suppose -m*n + 92 = 4*c - n, -4*n + 26 = c. Is c a multiple of 3?
False
Suppose -5*n + 8*v + 10 = 3*v, 3*v + 15 = 0. Let p be n/(5/10*-2). Suppose 3*w = -4*g + 787, 574 = p*g - 0*w - w. Does 11 divide g?
False
Let c be -3 + (-1350)/10 - 1*-2. Let t = 195 - c. Is 14 a factor of t?
False
Suppose 6*j - 7466 - 3334 = 0. Suppose -56*r = -51*r - j. Is r a multiple of 15?
True
Let h(s) be the second derivative of 85*s**3/2 + 8*s**2 - 136*s. Is h(1) a multiple of 13?
False
Let t be 1030 - 8/(72/27). Suppose -26 = -3*h + t. Is 9 a factor of h?
True
Let q(l) = 2*l**2 - l + 5. Let p = -33 - -29. Let s be q(p). Let i = s - 36. Is i even?
False
Let p(c) = 242*c**2 - 5*c + 7. Let n(d) = 122*d**2 - 3*d + 4. Let r(q) = -5*n(q) + 3*p(q). Is 2 a factor of r(1)?
False
Let l be (-9240)/(-72) - 4/3. Let v = l + -32. Does 20 divide v?
False
Suppose 5*o = -u - 10389, -3*o - 5*u = 3171 + 3080. Let f = 2913 + o. Is 66 a factor of f?
False
Suppose -3*f - 144 = -7*f. Suppose -42*r + 1728 = -f*r. Suppose -5*j = -432 - r. Is j a multiple of 47?
False
Let d be -2 + 4186 - (-14 + 8). Suppose j = -4, 4*i + 798 = -2*j + d. Is i a multiple of 34?
True
Let c = 22115 + -3390. Is c a multiple of 25?
True
Let o(p) be the third derivative of -p**6/120 + p**5/20 - p**4/12 - p**3/3 - 15*p**2 + 2. Does 3 divide o(-4)?
False
Let l be 1*(-30)/21*(-2 + -5). Is (2/4 - 3)*(-632)/l a multiple of 15?
False
Suppose -33*k + 42*k - 405 = 0. Suppose 7*h - 465 = -k. Does 4 divide h?
True
Let s = 8416 - -27227. Does 267 divide s?
False
Suppose -5*d + 15920 = -j - 128461, d = -11*j + 28865. Is 92 a factor of d?
False
Let r(b) = 54*b + 5. Let w(v) = -110*v - 10. Let h(s) = -5*r(s) - 2*w(s). Is h(-3) a multiple of 61?
False
Let y(a) = 69*a + 38. Let k be y(10). Suppose 3*v = -5*h + k, -v + 3*v + 5*h - 492 = 0. Is v a multiple of 59?
True
Let l(v) = v**3 - 4*v**2 + 4*v. Let p be l(3). Let r(x) be the third derivative of x**6/120 + x**5/60 - x**4/24 - x**3 + 32*x**2 + 24*x. Does 3 divide r(p)?
True
Let x = 350 + -340. Suppose -3*a + 5*o = 2*a - 35, -5*o + 25 = 0. Suppose -x*q + a = -28. Does 4 divide q?
True
Suppose 11*u - 5*z = 14*u - 6275, 3*u + z = 6295. Does 7 divide u?
True
Let i(w) = w - 6. Let s be i(6). Suppose d + 2*d + 27 = s. Is (-2)/3 - (-3)/(d/(-146)) a multiple of 16?
True
Suppose -f = -k - 3*k - 3965, -3*k = 3*f - 11970. Suppose f - 177 = 17*a. Does 16 divide a?
True
Suppose -2200*k - 90 = -2202*k. Is 9 a factor of k?
True
Let s(p) = -49*p + 54. Let r be s(1). Suppose 0 = -j + 4258 - 618. Is 29 a factor of j/25 + (-3)/r?
True
Let p = 834 + -1240. Let w = -30 - p. Is w a multiple of 47?
True
Suppose b - 103 = 1232*c - 1233*c, 2*c - 107 = -b. Suppose -p + 2*z = 20, 5*z - 89 = 6*p - 2*p. Let i = b - p. Is 20 a factor of i?
False
Let x(z) = 108*z - 31. Let h(k) = -162*k + 46. Let d(l) = 5*h(l) + 8*x(l). Is d(6) a multiple of 51?
True
Suppose 15491 + 171157 = 28*s. Is s a multiple of 66?
True
Let z(i) = 147*i - 86. Is z(16) a multiple of 103?
True
Suppose 5*m - 34318 = -2*f, -81*m + 8 = -79*m. Is f a multiple of 11?
True
Let o(d) = 154*d**2 - 125*d + 1365. Is o(11) a multiple of 291?
True
Let h be (-1)/(-2)*(21 - 3/1). Suppose -h*r = -8*r - 14. Let j(t) = 12*t - 9. Is 41 a factor of j(r)?
False
Let g(z) = z**2 + 4*z - 4. Let v(p) = 4*p + 16 + 15 - 36 + p**2 + p. Let x(c) = 6*g(c) - 5*v(c). Is x(7) a multiple of 4?
False
Suppose 58839 = 24*s - 20*s - 3*m, 0 = 5*s - 3*m - 73554. Is s a multiple of 45?
True
Suppose 5*t - 3*k - 51 = 0, 4*t - 4*k - 44 = -0. Let n be ((-45)/(-10))/t*6. Suppose u + 4*o = -n*u + 112, 0 = -3*u - 5*o + 80. Is u a multiple of 6?
True
Let b be (4 + -3)/(1/3). Let f(t) = -10*t + 60. Is 3 a factor of f(b)?
True
Let p(h) = -311*h - 13. Let n be p(-6). Suppose -n = -5*i + 1747. Suppose -4*r = -10*r + i. Is 8 a factor of r?
True
Suppose 5*x - 22 = -j - 3, -2*x + j = -9. Suppose 0 = 4*i + x*y + 120, y - 150 = 4*i - y. Does 33 divide i*(18/(-5) + (6 - 9))?
True
Let b = 212 + -150. Let f be ((-2)/1)/(12/(-348)). Let u = f + b. Is u a multiple of 24?
True
Suppose -5*l - 255 = -8125. Let z be l/(-8) - (-3)/4. Does 16 divide 2/4*(4 - 5)*z?
False
Let u = 56 + -67. Let d = 16 + u. Suppose -3*b = 2*b + v - 766, -5*b + d*v + 790 = 0. Is 14 a factor of b?
True
Suppose 24*s - 10 = 19*s, 5*a - 5*s - 3290 = 0. Is 17 a factor of a?
False
Let b = 7931 - 4393. Is 29 a factor of b?
True
Let d(z) be the second derivative of 4*z**5/5 + 5*z**4/24 + 2*z**3/3 + 11*z**2/2 + 4*z. Let j(c) be the first derivative of d(c). Is j(-2) a multiple of 17?
False
Let x be ((4165/10)/1)/((-1)/(-2)). Is 13 a factor of x/85*(-2 - -12)?
False
Suppose 50*h - 18646 = 1804. Suppose 0 = y - 146 - h. Is y a multiple of 37?
True
Let n(v) = v**2 + 4*v + 3. Let u be n(-2). Let f be (-20)/u*(-40)/100. Does 13 divide 5/(-20) - (1 + 322/f)?
True
Let v = 0 - 2. Let i be v/7 + (-102)/(-14). Let o = 29 - i. Does 22 divide o?
True
Let b(l) = l**2 - 2*l. Let a(h) = 3*h**2 - 23*h + 52. Let g(w) = -a(w) + 4*b(w). Is g(-20) a multiple of 16?
True
Let f(o) = 17*o**2 - 4. Let q be f(2). Suppose 21*d + q = 22*d. Does 18 divide d?
False
Suppose -4*z + 103 = q - 95, -z = q - 204. Is q/(-3)*(-9)/3*1 a multiple of 26?
False
Suppose -j + 8202 = j - 22530. Does 78 divide j?
True
Let c = -714 - -562. Does 21 divide 5/(-3)*(c/10 - 10)?
True
Let q be 1/(-3) - (-104)/24. Let h be 16/4*q/8 + -3. Is (0 - h/(-3))/((-11)/264) a multiple of 8?
True
Let x = 36315 - 17982. Is 164 a factor of x?
False
Let k = 478 + -472. Let g(t) = -5*t**2 - 7*t + 8. Let o be g(-6). Is (-45)/k*3*o/15 a multiple of 26?
False
Let t(a) = -a**2 + 14*a - 11. Let q be t(13). Suppose -j + 8 = -q*j. Is (332/j)/((-3)/6) a multiple of 19?
False
Let h(w) = -359*w + 120*w + 360 + 120*w + 120*w. Is h(0) a multiple of 15?
True
Suppose -960 = -a - 84. Is 12 a factor of a?
True
Let s = 693 + -985. Let a = 922 + s. Does 45 divide a?
True
Suppose -5*x + 0*q + 2*q + 485 = 0, 10 = -2*q. Let t = 98 - x. Suppose t*w = -70 + 208. Is w a multiple of 37?
False
Let w = -6172 + 12733. Is 9 a factor of w?
True
Suppose -51*c - 19412 = -62762. Is 8 a factor of c?
False
Suppose 5*v = 31*o - 28*o - 119478, 6 = v. Does 32 divide o?
False
Let q(h) = -4*h**2 + h - 4. Let i be q(1). Is 7 a factor of (-2352)/i + 7 - (1 - 1)?
True
Suppose x + 12 = 4*k, -5*x - 3 - 9 = -4*k. Suppose -n + 4*s = -4*n + 117, k = s. Does 5 divide n?
True
Let f = -10018 + 20054. Is 16 a factor of f?
False
Suppose -73 + 58 = -5*c. Suppose -c*t - 10*t = -5915. Is 64 a factor of t?
False
Suppose 27*k + 3*n - 1063 = 26*k, 0 = 5*k + 3*n - 5279. Does 34 divide k?
True
Suppose -t = -4*t - v + 11, 4*t = -3*v + 13. Suppose -4*q = -6*q - t*y + 522, 3*q - 3*y - 792 = 0. Is q a multiple of 4?
False
Let a(m) = 9*m**3 - 2*m**2 - m + 4. Let l be a