+ 2*g = 4834, -5*g + 678 + 955 = k. Does 6 divide k?
True
Let m = -84 - -234. Let o = -117 + m. Is 11 a factor of o?
True
Let g be 2/(8/14)*8. Suppose 1512 = -20*i + g*i. Does 27 divide i?
True
Suppose -6787 = -3*t - f, -t + 1603 = -f - 658. Is 147 a factor of t?
False
Let v = -12992 + 26142. Does 10 divide v?
True
Let t be (-78)/(-65)*(-20)/6. Is 1839/21 - t/(-7) - 2 a multiple of 2?
False
Let y(t) = -354*t - 74. Is y(-1) a multiple of 4?
True
Let l(f) = -40 - 6*f + 10 + 2*f. Suppose 770*h = 736*h - 510. Does 6 divide l(h)?
True
Let o = 45 + -85. Let x = 3 - o. Suppose -12*v + 101 = -x. Does 3 divide v?
True
Let f = -590 + 1099. Let r = f - 359. Is 13 a factor of r?
False
Let v = -5754 - -8874. Is 52 a factor of v?
True
Let f = -899 - -935. Suppose 0 = -4*k - 27 + 143. Suppose 28*j + f = k*j. Is j a multiple of 9?
True
Let o(z) = 318*z - 1280. Does 27 divide o(28)?
False
Suppose 3*x - m - 5224 = 0, -3*x - 1241 = 2*m - 6453. Does 20 divide x?
True
Suppose -21*x = -16*x - 15. Let t be (-2)/(-3)*(x + 6). Suppose 2*o = -t*o + 1264. Is o a multiple of 11?
False
Let p(u) = u**3 + 4*u**2 - 7*u - 8. Let a be 6/21 - (-37)/(-7). Let v be p(a). Suppose -223 = -v*l + 173. Is 33 a factor of l?
True
Let x(p) = p**3 + 21*p + 143. Does 56 divide x(0)?
False
Let w(v) be the second derivative of v**4/8 - v**3 + 9*v**2 - v. Let j(m) be the first derivative of w(m). Is j(7) a multiple of 15?
True
Let h be (-98)/735 + 238/(-15). Let x(g) = -g**3 - 15*g**2 - g - 26. Is x(h) a multiple of 8?
False
Let n = 3170 - 4631. Does 44 divide (-3)/(30/(-20)*(-6)/n)?
False
Let p(g) = -57*g - 49. Let i(h) = 229*h + 196. Let t(v) = 6*i(v) + 26*p(v). Is 34 a factor of t(-5)?
True
Let d = 3594 - -2926. Is d a multiple of 209?
False
Let n = -692 + 1064. Let q = -319 + n. Is q a multiple of 2?
False
Let i(f) = 39*f**2 + 3*f - 3. Let q be i(1). Suppose -2*s + 3*l = -2*l + 37, -4*s + 3*l - q = 0. Is 16 a factor of 267*(-25)/(-60) + s/(-8)?
True
Suppose -4*k = -5*o - 6831, 108*k - 113*k + 8532 = -4*o. Is 3 a factor of k?
True
Let a = 1084 + -2140. Is 98 a factor of -4 + 6 + (0 + -3 - a)?
False
Suppose -4*u + 5*u = -5*s + 7750, -3*s = -u - 4658. Suppose 105 = -6*k + s. Does 14 divide k?
False
Let j(a) = 44*a**3 + 3*a**2 + 11*a - 24. Let r = -139 + 142. Is 12 a factor of j(r)?
True
Let c(z) = 13*z**2 - 3*z**3 - 6*z + 14*z**2 - 3 + 14 - 3*z**3. Let p(o) = -5*o**3 + 26*o**2 - 5*o + 11. Let d(y) = 6*c(y) - 7*p(y). Is 2 a factor of d(-20)?
False
Suppose -2*m + 18 = -3*k, -3*k + 15 + 27 = 3*m. Let h(n) = -17*n - 1 + 2*n**2 + 22 + 8. Does 11 divide h(m)?
False
Suppose 44 = -16*n + 12*n. Let r(z) = -2*z - 21. Let c be r(n). Is 7 a factor of 33 - (-4)/(2/c)?
True
Let n(q) = 84*q**2 + 12*q + 36. Is 12 a factor of n(-3)?
True
Let z(r) = 1409*r**2 + 127*r - 127. Is z(1) a multiple of 3?
False
Suppose -233*o - 67320 = -278*o. Is 68 a factor of o?
True
Let i(r) = -3*r**2 + 320*r - 328. Is i(68) a multiple of 84?
True
Suppose 98*l = -36*l + 760182. Does 31 divide l?
True
Suppose 2*a = 3*a - 9*a. Suppose a*j = s + j - 7, 22 = 3*s + 4*j. Suppose -2*w + s*w = 380. Is w a multiple of 13?
False
Suppose -77*r + 74*r + 147 = 0. Let s = r + -57. Let c(u) = 3*u**2 + 14*u - 16. Is 8 a factor of c(s)?
True
Let q(i) = -57*i - 1. Suppose 4 - 39 = -7*f. Suppose -4*z - f*g = -21, -z = 8*g - 3*g - 24. Is 14 a factor of q(z)?
True
Let h(y) = y**2 + 15*y + 1154. Is h(53) a multiple of 13?
True
Let p(i) = -17*i + 24. Let x be p(5). Let u = 731 - x. Is u a multiple of 12?
True
Let c(g) = -2*g + 45. Let y be c(19). Suppose 3276 = -0*u + y*u. Is u a multiple of 13?
True
Suppose 2*n + 2*a = 4880, 2*n = 15*a - 18*a + 4877. Is n a multiple of 23?
False
Suppose 0 = 2*p - 4*s - 816, 95 = p + 5*s - 292. Let b = 134 - -96. Let o = p - b. Is 43 a factor of o?
True
Suppose -m - 2*i + 5819 = 0, 11*m - 5861 = 10*m + 4*i. Is m a multiple of 12?
False
Let f(g) = -42*g - 22. Let z be f(-3). Let j = 439 - z. Is 67 a factor of j?
True
Let k(p) = 1176*p**2 + 16*p. Is 8 a factor of k(1)?
True
Let k = 693 + -585. Does 29 divide (k/63)/((-2)/(-504))?
False
Let s be 10*-1*(-5)/10. Suppose 27 = -2*y + s*y. Suppose -13*h = -y*h - 720. Does 38 divide h?
False
Let s = 1931 + -816. Is s even?
False
Suppose 15*s + 617 = 17102. Is s a multiple of 7?
True
Let a(t) = t**3 + 40*t**2 + 2*t + 76. Is 20 a factor of a(-30)?
False
Let v(u) be the second derivative of -u**5/20 - 7*u**4/12 + 11*u**3/3 - 6*u**2 - 12*u. Let z be v(-10). Is z + 4/8*4 a multiple of 14?
True
Let q = 6157 + -2442. Does 100 divide q?
False
Is 61 a factor of ((-14)/(-420)*20)/((-2)/(-2196))?
True
Let q = 3145 - -21295. Is 73 a factor of q?
False
Suppose 5*k = -0*c - 4*c + 101, -c = 5*k - 44. Suppose d + 4*i + 0 = 2, -2*d - 3*i = -c. Is (-15)/(-105) - (-2308)/d a multiple of 40?
False
Let q be (-41 + 43)*((-2)/4)/(-1). Let k be q + 3 + (1 - -1). Suppose 4 = 4*s, 5*h + 7*s = k*s + 1031. Does 14 divide h?
False
Suppose 30 = -2*b - 798. Let p = b + 575. Is 6 a factor of p?
False
Let s be 34/(-16)*83 - (-3)/8. Suppose -1606 = 5*h - 2*r, 0 = -5*h - r - 4*r - 1585. Let p = s - h. Does 36 divide p?
True
Let x be 96/9 + 1/3. Let j(o) = 2 - 2*o + 3 + 0*o - 3 + 3*o. Is j(x) a multiple of 6?
False
Let r(k) = 172*k**2 - 2*k - 21. Is r(-3) a multiple of 73?
True
Let a = -4685 + 5905. Is a a multiple of 19?
False
Let v = 22 + 67. Let f = 91 - v. Suppose -f*u - 2*x + 42 = -218, -4*u = -x - 505. Does 13 divide u?
False
Suppose -6 + 66 = -s. Let v = s + 409. Does 38 divide v?
False
Suppose -3*n + 13*l - 2986 = 14*l, 2*n = 5*l - 2019. Let y = -697 - n. Is 15 a factor of y?
True
Suppose -27*r + 20*r - 15246 = 0. Is (-42)/70 - r/5 a multiple of 76?
False
Let t(b) = 723*b + 1350. Is 171 a factor of t(18)?
True
Let o(v) = -v**3 - 8*v**2 + 29*v - 23. Is 20 a factor of o(-16)?
False
Suppose 4*o - 298 = -2*c, -4*o + 5*o = 4*c + 88. Let t = 73 - o. Let a(u) = 17*u**2 + 3. Does 52 divide a(t)?
True
Let c(o) be the third derivative of 17*o**4/24 - 13*o**3/6 - 6*o**2. Let q be c(9). Let t = 242 - q. Is 17 a factor of t?
True
Let z = -5673 + 22454. Is z a multiple of 97?
True
Is 4646*((-3 - -4) + 0) - (4 - 7) a multiple of 2?
False
Suppose 0 = -r - 4*p + 1981, 0 = -114*r + 116*r + 2*p - 3986. Is r a multiple of 3?
False
Suppose -14*a = -16*a + 6. Suppose -a*m = -782 - 118. Does 25 divide m?
True
Is (-328)/((-246)/(-6))*(-2)/((-2)/(-181)) a multiple of 9?
False
Let h(r) = -r**2 - 41*r + 140. Let s(f) = f**3 - 7*f**2 - 9*f + 22. Let l be s(7). Is h(l) a multiple of 20?
True
Suppose 4 = -a - 2*x + 4*x, -a = -4*x + 2. Let q(f) = f**2 - 11*f - 2. Let r be q(-5). Let d = r - a. Does 21 divide d?
True
Let n = 27964 - 14972. Is 40 a factor of n?
False
Suppose 4*f + 626 = 4*z - 326, -2*f = -3*z + 709. Suppose -z = -5*l + 62. Let i = 77 - l. Is 2 a factor of i?
True
Suppose 22*u - 86*u + 9984 = 0. Does 61 divide u?
False
Let g = -102 + 162. Does 51 divide ((-24)/g)/((-1)/1020)?
True
Let p = 456 - 451. Let m(i) = 62*i**2 + 5*i - 14. Is 16 a factor of m(p)?
False
Let b = -28232 - -33671. Is b a multiple of 49?
True
Let l = 658 + 5917. Is l a multiple of 25?
True
Is ((-25)/(-10) - 1)*(-2493)/81*-258 a multiple of 43?
True
Suppose 0 = 72*m - 67*m - 4*o - 54253, m - 10847 = -o. Does 102 divide m?
False
Is -24 + 437808/456 + 4/(-38) a multiple of 8?
True
Let j = 480 + -232. Suppose -l + j = -4*t, -t + 254 = l - 3*t. Is l a multiple of 52?
True
Let b(m) = -5*m - 76. Let w = -33 - -7. Is 6 a factor of b(w)?
True
Let g = 12214 + -9343. Is g a multiple of 33?
True
Let m be 96/(-30)*10/(-2). Suppose 3*r - 11 - m = 0. Suppose -4*x + 2*i + 50 = -48, -r = -3*i. Is 7 a factor of x?
False
Let j(l) = -l**3 + 13*l**2 - 14*l + 1. Let t be 3/(3/(-2)) - (-12)/1. Is 6 a factor of j(t)?
False
Let c(t) = 72*t**3 + 63*t**2 - 3*t. Does 24 divide c(5)?
True
Let k be (-4)/5*(-5 + 0). Let r(x) = 28*x - 83*x + 20 + 8*x**2 + 52*x. Is 39 a factor of r(k)?
False
Suppose -2*j = 3*r - 17, 14*j - 9*j - 30 = -5*r. Let q(a) = -6*a**3 - 4*a**2 + 3*a. Let p be q(-4). Suppose -12*t = -r*t - p. Is t a multiple of 11?
True
Suppose 0*g = -2*g + 10, -5*z = -5*g + 5. Suppose -220 = -z*n + 2*y + 2*y, -3*n = 4*y - 144. Suppose 4*o - n = -2*j, 4*j - o - 79 = -4*o. Is 14 a factor of j?
False
Is 255 a factor of 188 + -200 + 51*761?
False
Suppose 2*h + 2697 = t, 22*h = 