ose 0 = -3*u - 3*u + p. Does 6 divide u?
False
Suppose -276*b + 440*b - 3960764 = 0. Is b a multiple of 77?
False
Let h = -140 + 204. Suppose -4*a = -3*a - h. Let r = a + -54. Does 5 divide r?
True
Suppose 2 = -g, v + 1 - 15 = 5*g. Suppose 977 = v*l - 899. Is l a multiple of 67?
True
Suppose -387323 - 346027 + 212190 = -101*z. Is z a multiple of 20?
True
Let j = 27893 + -17489. Is 12 a factor of j?
True
Let w = 105 - 102. Suppose -211 - 272 = -w*b. Does 23 divide b?
True
Let k(s) = 3*s - 40. Let i be k(15). Suppose 2*r - 41 - i = 0. Suppose 2*o + r - 67 = 0. Is o a multiple of 11?
True
Let s(p) = 9*p + 95. Let t be s(-8). Let w(c) = -c**3 + 23*c**2 + 3*c - 58. Is 11 a factor of w(t)?
True
Let n(c) = 15*c**3 + 4*c**2 + 4*c - 20. Let o be n(-4). Let w = 28 - o. Is 80 a factor of w?
True
Let x = 161 + -6. Let m = x + 63. Is m a multiple of 9?
False
Let w(i) = 23*i**2 - 146*i - 66. Is 83 a factor of w(16)?
True
Suppose 0 = 13*z + 6*z - 114. Let i(m) = 83*m + 31. Let s be i(z). Suppose -8*v + 175 = -s. Does 22 divide v?
True
Suppose 4*m + 21 = 73. Suppose 288 = m*q - q. Does 2 divide q?
True
Suppose -5*i + 3*i = h - 3388, 0 = h + 5*i - 3379. Is h a multiple of 44?
False
Is 25 a factor of (-7839)/(-390) + -20 - 363689/(-10)?
False
Let u = -249 - -249. Suppose u = 5*w - 5*d - 545, 0 = -2*d + 3*d. Does 27 divide w?
False
Suppose 2*k + 5*r - 24 = 0, 3*k + 3*r - 10 = 2*r. Suppose k*l - 953 = -395. Suppose -s - 101 = -l. Is s a multiple of 33?
False
Let s = -27182 + 30845. Is 11 a factor of s?
True
Let k = 332 + -330. Suppose k*o + 8 = 0, 5*o = -3*c + 7*c - 2900. Is c a multiple of 45?
True
Let l(s) be the second derivative of -s**3/6 + 267*s**2/2 - 127*s. Is 8 a factor of l(-13)?
True
Suppose 117*n - 116*n = 4*g + 712, 0 = -g - 1. Is 59 a factor of n?
True
Let p = 8193 - 593. Does 12 divide p?
False
Suppose 49*s - 95117 - 199177 = 0. Is s a multiple of 78?
True
Suppose -3*i - 3*n = -50871, -4*n = 9 - 25. Is i a multiple of 128?
False
Let d(q) = 87*q - 90. Let p(c) = -44*c + 46. Let a(n) = -6*d(n) - 11*p(n). Does 9 divide a(-7)?
False
Let h(v) = 146*v + 17436. Does 9 divide h(0)?
False
Suppose -n - 22 = -5*k + 2*n, 4*k - 3*n - 20 = 0. Let v = k + 2. Suppose 0 = v*m + 155 - 467. Is m a multiple of 26?
True
Suppose 2*q = 7 - 19, -5*h + 5*q + 9815 = 0. Is 52 a factor of h?
False
Suppose 19*r + 7*r = 0. Suppose r = -m + 6*m - 5*d - 405, 0 = -2*m - 3*d + 172. Is 6 a factor of m?
False
Let p(i) = -2*i**2 - 61*i - 39. Let x be p(-28). Suppose 116 + x = g. Does 31 divide g?
True
Let a(k) = -k**3 - 2*k**2 + 32*k - 12. Let f be a(-6). Is 6 a factor of (864/40)/(-9)*f?
True
Let n(o) = o**3 - 3*o + 3. Let q be n(-3). Suppose 4*z + z - 50 = f, 5*f - z + 130 = 0. Is 12 a factor of (66 - 0)*f/q?
False
Let w(d) = -7*d**3 - 17*d**2 - 43*d + 78. Is w(-10) a multiple of 22?
True
Suppose -8*m = 4090 - 18522. Let k = -1215 + m. Does 19 divide k?
True
Let g be 0/(11/5 + 9/(-45)). Suppose 27*z - 876 - 690 = g. Is z even?
True
Let q = -4092 - -7788. Does 84 divide q?
True
Suppose 92*y - 102*y + 72750 = 0. Is 15 a factor of y?
True
Let s(u) = -34*u - 80. Let c be s(3). Let z = -35 - c. Is z a multiple of 25?
False
Suppose 4*w + 20 = 0, -3*x + 6*x - 2*w = 73. Let l(f) = f**3 - 20*f**2 - 21*f + 3. Let q be l(x). Suppose 64 = 4*v - q*v. Does 16 divide v?
True
Let r = 156 + -225. Let m = r + 129. Is 20 a factor of m?
True
Let r(t) = 10*t**2 + 8*t - 15. Let m be r(3). Let d = m + -3. Is d a multiple of 48?
True
Let u(s) = -s**2 - 7*s - 3. Let k be u(0). Is 231*((-5)/3 - k) a multiple of 22?
True
Let c(o) be the first derivative of -13 - 6*o - 1/4*o**4 - 5/3*o**3 - 7/2*o**2. Is 3 a factor of c(-4)?
True
Let r(q) = q**3 - 15*q**2 - 21*q - 594. Is 5 a factor of r(22)?
False
Let b = -15451 + 27436. Is b a multiple of 125?
False
Let i(k) = 2*k + 19. Let h be i(7). Suppose 38*u = h*u - 1275. Let n = 395 + u. Is 14 a factor of n?
True
Suppose 1256*x = 1123*x + 474544. Does 106 divide x?
False
Let w = 34 + -34. Suppose w*c + 20 = c. Suppose -40*a = -45*a + c. Is 4 a factor of a?
True
Let z be 34/((6 + 2)/16). Suppose 77*o = z*o + 1944. Does 6 divide o?
True
Let u(s) = 10*s - 3. Let y(a) = -40*a + 13. Let h be (54/(-30))/((-13)/10 - -1). Let o(c) = h*y(c) + 26*u(c). Is o(6) a multiple of 20?
True
Suppose 21*g + 12 = 17*g. Does 2 divide g*(1/(-3) - 5)?
True
Let v(b) = -6*b + 36. Let h be v(6). Suppose -4*y + 13 = 3*o - h, -3*o - 15 = -3*y. Suppose 3*g - 20 = -c, -2*g = -6*g - y*c + 16. Does 2 divide g?
True
Suppose 0 = -0*u - 8*u - 3704. Let v = -242 - u. Is 17 a factor of v?
True
Let x be 1107/63 - 17 - (-3370)/7. Suppose -7 = u - 4, o + u = x. Is o a multiple of 97?
True
Let d = -7968 - -9050. Is d a multiple of 4?
False
Let o be 1134/(-102) - (-2)/17. Does 11 divide (-4)/(-22) + 1 + (-713)/o?
True
Suppose -2*t - 120 = -v, -5*t + 9*t + 618 = 5*v. Let c = v + 9. Is 15 a factor of c?
True
Suppose -4*o - 4838 = -5*b, o = -2*b - 10 + 1940. Suppose -17*f = -14*f - b. Does 14 divide f?
True
Let k(d) = 509*d + 1086. Is k(51) a multiple of 98?
False
Let a = -18 + 22. Suppose -9 + 29 = a*l. Suppose l*x - 1 = -2*q + 33, 4*q + 5*x - 58 = 0. Is q a multiple of 5?
False
Let x(c) = -12*c - 1. Let k be x(-3). Let t(p) = p**3 - 4*p**2 + 3*p. Let a be t(3). Suppose 2*u - 5*f - 167 = a, 2*u - 190 = f - k. Is 7 a factor of u?
False
Let a = 6 + 1. Suppose 2703 = a*z - 440. Does 45 divide 3/15 - z/(-5)?
True
Let a(x) = 10*x**2 + 4*x - 3. Let b(t) = t**2 + 2*t - 1. Let z(g) = a(g) - 6*b(g). Is 19 a factor of z(10)?
True
Let p = -4444 - -6831. Is 31 a factor of p?
True
Suppose 35 = 4*w - 25. Let x be -2 + 4 - 10/2. Is 23 a factor of 1 - (-5 - -14)/(x/w)?
True
Let p = 352 + -339. Suppose 9*v - p*v + 3631 = 3*z, -4*v - 4*z = -3628. Is v a multiple of 26?
True
Suppose -4*z - 29*l = -27*l - 10910, -2710 = -z + 2*l. Is z a multiple of 8?
False
Suppose 3*i = -33 + 3. Let t(f) = f**3 + 10*f**2 - 3*f - 32. Let n be t(i). Is 4655/42 + n/(-12) a multiple of 12?
False
Suppose -4*y + 36 = 5*j, 7*j = 4*j + 4*y + 28. Suppose -j*x + 140 = -x. Is 2 + (112/x)/((-3)/(-15)) a multiple of 5?
True
Suppose -y - 15*q + 4390 = -19*q, -5*y - 2*q + 21972 = 0. Is 19 a factor of y?
False
Let t(y) = -74*y**3 + 2*y**2. Let z be ((60/(-16))/(-5))/((-2)/24). Let f be ((z/18)/(2/4))/1. Is 12 a factor of t(f)?
False
Suppose -5*g = 4*k + 4052, 2*g - 4052 = -k + 5*k. Let d be k/5 + 1 + 28/(-70). Let f = d - -342. Is 10 a factor of f?
True
Let z(x) = -37*x + 102. Let n be z(-10). Suppose -24*m = n - 1144. Is m a multiple of 28?
True
Is (-1372)/168 + 5/(-6) - -760 a multiple of 180?
False
Suppose -11*k - 81*k = 43*k - 207900. Does 22 divide k?
True
Let w be (-30)/20 - 1/(-2). Let i be (w + (-2 - -4))*(72 - -11). Suppose -j - 13 = -i. Is j a multiple of 14?
True
Let k = -231 + 237. Suppose -2413 = -k*v - 697. Is v a multiple of 21?
False
Is (-29 + (-19 - -30))*(-3010)/2 a multiple of 30?
True
Let u = 48 - 46. Suppose 0 = -5*k, -u*k = -0*o - 4*o + 3320. Is 31 a factor of o?
False
Let b be (0 + 3/2)*(-45600)/171. Is (22/4)/((-8)/b) a multiple of 9?
False
Let g(n) = n**2 + 8*n - 19. Let h(o) = o - 104 + 103 + 2*o - 4*o. Let m(b) = -g(b) + 2*h(b). Does 26 divide m(-9)?
True
Suppose 6*f - 32580 = 2676. Is 5 a factor of f?
False
Suppose -5 + 10 = 5*n. Let h(g) = -24 + 11 + 140*g + 16. Does 24 divide h(n)?
False
Suppose 2*o + 4175 = 2*c + 3*c, 0 = 2*o. Let v = -459 + c. Suppose z - u + v = 4*z, -3*z + u + 374 = 0. Is 10 a factor of z?
False
Does 22 divide (-144)/8 + 27 - -3296?
False
Suppose 7904 = 31*a - 5457. Is a a multiple of 5?
False
Let h(q) = q**2 - 8*q - 29. Let n(v) = 3*v**3 - 3*v**2 + 3*v - 2. Let s be (-11)/(-33) - 5/(-3). Let t be n(s). Is 11 a factor of h(t)?
True
Let i = -82 - -172. Let l = 126 - i. Is 7 a factor of l?
False
Let c = -2948 + 3070. Does 108 divide c?
False
Suppose 0 = -148*m + 1026557 + 386251. Does 37 divide m?
True
Let g(x) = -85*x + 5. Suppose 0*z = -5*z + 30. Let d(t) = t - 7. Let v be d(z). Is g(v) a multiple of 15?
True
Let f(u) be the second derivative of u**5/20 - u**4/12 - u**3/3 - u**2 + 27*u + 3. Suppose -2*j - 3*j - 3*o = -21, 5*j + 4*o - 23 = 0. Is f(j) even?
True
Let u(g) = 27*g - 2. Let v be u(4). Let d be 65/(-26)*v/(-5). Let b = d + -21. Is b a multiple of 27?
False
Let a(v) = -2799*v**3 - 380*v**2 - 762*v - 