se 0 = -h*s + 961 + 879. Is 46 a factor of s?
True
Suppose z = 3*g - 7384, -18*g - 9844 = -22*g + z. Is g a multiple of 6?
True
Suppose 10*k = 2*k - 200. Let d = k + 29. Suppose d*m - 60 = 2*m. Is m a multiple of 10?
True
Let f(b) = -b**2 + 10*b - 14. Let d be f(8). Suppose z + 4*g = -18, 0 = -4*z + d*z + 5*g + 29. Is (-1*z)/(-4 + 230/58) a multiple of 12?
False
Let z(q) = 2037*q**2 - 25*q + 203. Is 109 a factor of z(4)?
False
Let y = -481 - -486. Suppose -162 = -4*t + 2*v + 26, 5*t + y*v - 205 = 0. Is t a multiple of 31?
False
Let x(h) = 2*h + 8. Let q be x(-4). Suppose -2*p - 132 - 88 = q. Let c = 164 + p. Does 27 divide c?
True
Let z(a) = 0*a - 2*a + 73 - 82 + a. Let t be z(-9). Suppose -68 = -2*i - 4*u, t*u = 3*i + u - 92. Is i a multiple of 18?
False
Suppose -2381 = -2*i + c, 0*i - 2*c - 3572 = -3*i. Is i a multiple of 238?
True
Let p(g) = 31*g**2 + 18*g - 82. Does 33 divide p(8)?
True
Let l(q) = -q**3 + 13*q**2 + 67*q + 19. Let t be l(17). Suppose 0 = h - s - 152, -5*h + 12 = -t*s - 733. Does 7 divide h?
True
Let z be 2/(-9) + (-80)/45 + 4. Suppose 3*y = l + 161, -y - 2*y + 155 = z*l. Does 7 divide y?
False
Suppose -49*t + 86533 + 29295 + 105064 = 0. Is 7 a factor of t?
True
Let s(d) = 2*d**3 - 11*d**2 - 7*d + 8. Let v be s(6). Does 5 divide -3 + (4 - v) - (-90)/2?
False
Suppose -2*l - 1198 = -g - 126, g = l + 1077. Let o = g - -345. Is 13 a factor of o?
False
Suppose -106*p + 4*p - 50580 + 350766 = 0. Is p a multiple of 3?
True
Suppose o - 3*n = 687, n + 2748 = 4*o - 0*o. Let w = o + -197. Is 14 a factor of w?
True
Let n be (2 + -3)/(-3*(-1)/(-8040)). Suppose -13*h + n = 7*h. Does 27 divide h?
False
Let t be -2*(-4)/(-76) + 6420/(-19). Let j = t + 941. Does 29 divide j?
False
Is (-449 + 921)*(3 + 1) a multiple of 4?
True
Let o(m) = -85*m + 1726. Does 146 divide o(10)?
True
Let l = -1920 + 2665. Is l a multiple of 16?
False
Let u be -15*(14/84 + (-34)/60). Is u + (-16032)/(-88) - (-8)/(-44) a multiple of 47?
True
Suppose 2*i = 2, -a + 3*a - 6 = -2*i. Suppose 2*v = w + 14, -4*w + a*w = -5*v + 37. Does 2 divide v?
False
Let f = 211 + -207. Suppose -f*j = j - 405. Is 29 a factor of j?
False
Suppose -4*d = 3*t - 22150, -4*t - 11*d = -10*d - 29516. Is t a multiple of 119?
True
Let g(j) = j + 2. Let w be g(-2). Suppose w = 2*d - 12*d + 20. Suppose -d*q + 1 + 23 = 0. Is 3 a factor of q?
True
Let p(j) = 32*j**3 + 2*j + j**2 - 5*j**3 + 0 - 7 + 15*j**3. Does 38 divide p(2)?
False
Let q be 2 + 3 + 1/1. Let s be (3969/q)/(-7)*-2. Let a = s - 46. Is a a multiple of 46?
False
Let y(g) = g**2 + 9*g - 12. Suppose 0 = 3*n - 5*m + 12, 0*n = n + 3*m - 10. Let v(w) = -10*w**3 - 6*w + 5. Let q be v(n). Is 3 a factor of y(q)?
False
Let z(y) = y**2 + 9*y - 16. Let l be z(-12). Suppose l*n = 16*n + 1216. Suppose 15*b + n = 19*b. Is 17 a factor of b?
False
Let g = 121 + -118. Suppose 151 = 2*p - 5*q, 0 = g*p - 2*q - 298 + 88. Is 4 a factor of p?
True
Let k(y) = 3*y**2 + y + 2. Suppose -5*m = 5*s - 0 + 30, -2*m - s - 7 = 0. Let h be k(m). Is 2 a factor of 7/h + (-5)/(-4) + -1?
True
Let c be 8 + 2/(-10)*-3935. Suppose 2079 = c*q - 788*q. Is 7 a factor of q?
False
Let s = 27 + -25. Let o be s/(-6) - (-1990)/(-15). Let n = o - -223. Does 13 divide n?
False
Let q be (-377)/(-26) + -12 + 1054/(-4). Let f = 1611 + q. Does 90 divide f?
True
Let d be 446/(-30) + 2 + (-24)/180. Let v(j) = -36*j + 53. Is v(d) a multiple of 45?
False
Let o be 4*(2 - 1) - 1. Suppose -3*y + 3 = q, -2*q - 4 + 1 = -o*y. Let v(u) = 16*u**2 - u + 1. Is 7 a factor of v(y)?
False
Let t(a) be the third derivative of a**6/120 + 3*a**5/5 + 31*a**4/24 - 53*a**3/6 - 89*a**2. Is t(-35) a multiple of 44?
False
Suppose -105267 = -21*t + 25311. Is t a multiple of 60?
False
Suppose 294*a - 3614276 = 3876550. Is a a multiple of 178?
False
Suppose -13155 = -23*q + 16134 + 4061. Is q a multiple of 10?
True
Suppose 70*p - 28314 = 17*p + 14*p. Does 30 divide p?
False
Suppose 31*q - 30*q = 135. Let n = q - 79. Does 4 divide n?
True
Let k(u) = 5*u**3 + 9*u**2 - 3*u - 11. Let n be k(6). Suppose n = 13*o - 2655. Does 17 divide o?
False
Let r(v) be the first derivative of v**4/2 - 25*v**3/3 - 9*v**2/2 + 18*v + 1814. Suppose 0 = 3*m - 6*m + 39. Is r(m) a multiple of 10?
True
Suppose -91*b - 120582 = -133*b. Does 9 divide b?
True
Let i(h) be the second derivative of 0 - 1/6*h**3 - 11*h + 23/2*h**2. Does 4 divide i(9)?
False
Let s = 506 + -493. Suppose 3528 = 27*r - s*r. Is r a multiple of 7?
True
Let y(h) = h**3 - h**2 + h + 1. Let k(a) = 214*a**2 + 8 + 4*a**3 - 251*a**2 + 4*a**3 + 24*a. Let f(m) = k(m) - 6*y(m). Does 3 divide f(15)?
False
Let q = -11 + 2. Let z(a) = a**3 + 10*a**2 + 10*a + 12. Let n be z(q). Suppose -t + n*t = 32. Is 16 a factor of t?
True
Suppose -g - 2*z = -51, 18*g - 20*g + 72 = -2*z. Is g a multiple of 20?
False
Let u = 61 + -52. Suppose 0 = -u*j + 599 - 77. Is j a multiple of 28?
False
Let q(z) = -12*z**2 + 22*z + 172. Let k be q(-6). Let o = k + 523. Is o a multiple of 8?
False
Let a(p) = 54*p - 32. Let f be a(6). Suppose -g + f - 106 = 0. Is 29 a factor of g?
False
Let l(d) = -6*d + 35. Let o be l(-10). Let f be o/(-20) - 3/12. Is 14 a factor of (-1967)/(-35) - (-1 + (-6)/f)?
True
Let b = -739 + 772. Is 16 a factor of -6 + b/11 + (0 - -343)?
False
Suppose 18*r - 185697 = -47*r + 18*r. Is r a multiple of 30?
False
Suppose 0 = -27*a + 36*a - 27. Is 51 a factor of (-51 - 0/a)/((-5)/15)?
True
Suppose u - 8 + 3 = 0. Suppose -1 = -3*d + u. Suppose -c - 4*c = a - 74, 208 = 4*a - d*c. Is a a multiple of 5?
False
Let d(p) = 1081*p - 55. Is d(1) a multiple of 39?
False
Suppose 8*p + b - 73779 = 6*p, 2*p = -5*b + 73775. Does 17 divide p?
True
Let t(y) = 11*y**2 + 70*y - 45. Does 115 divide t(-15)?
True
Let i = 101 - -14. Suppose 0 = -4*b - 2*p + 7*p + 229, 2*b = 3*p + i. Is b a multiple of 28?
True
Suppose 5*c + 4*b - 13779 = 0, -b - 8229 = -3*c + 3*b. Is 11 a factor of c?
False
Is (-7 - -2)*-337*(-6750)/(-1875) a multiple of 90?
False
Suppose 408 = -23*x + 21*x. Does 9 divide x*1/4*(-30)/10?
True
Let w(p) = -10*p - 457. Is 11 a factor of w(-50)?
False
Let o(z) = -2*z**2 + 36*z - 103. Let c be o(16). Suppose 3*w + 178 = j, 300 = -6*w + w + j. Let v = c - w. Is v a multiple of 8?
False
Suppose s + 797 = 4*v, v - 178 = -8*s + 4*s. Let n = v - 123. Does 5 divide n?
True
Suppose -2586 = -10*o + 1674. Suppose -o = -1793*n + 1787*n. Is n a multiple of 7?
False
Let x = 34 - 26. Let b be (20/(-4) - -2) + x. Suppose -o = j + o - 24, -5*j + b*o = -105. Is 7 a factor of j?
False
Let s(p) = -22 + 18*p**2 + 10 + p**3 + 9*p - 14. Let b be (-10)/(-15)*(165/(-6) - -2). Does 10 divide s(b)?
True
Does 83 divide (-87)/87*(2 - 0 - 30492)?
False
Let x(j) = 13*j**2 - 4*j + 8. Suppose -36 + 50 = 7*s. Is x(s) a multiple of 26?
True
Let j = -75 - -74. Let l be j/(135/(-67) - -2). Suppose -3*q = -502 + l. Is 29 a factor of q?
True
Let t(y) = 2109*y**2 - 83*y + 1. Is t(2) a multiple of 9?
True
Suppose 26 = -5*f + p + 1438, 4*p = 3*f - 837. Suppose 0 = 3*b - w - f, w + 376 = -4*b + 8*b. Is b even?
False
Does 8 divide 119/(-14) - -7 - 61*(-257)/2?
False
Suppose -49*m + 43*m = -14118. Is 29 a factor of m?
False
Suppose -5*c + 23*c = 145080. Is c a multiple of 26?
True
Let p(k) be the second derivative of k**3/6 + 9*k**2 - 18*k. Let v be p(-14). Suppose -v*x + 119 = 7. Does 14 divide x?
True
Suppose 0 = -5*z + 3*c - 77440, -5*c + 39643 + 6821 = -3*z. Does 7 divide 4 + z/(-36) + 4/(-18)?
True
Suppose -7*d - 94 = 39. Let v(p) = p**3 + 19*p**2 - 3*p - 16. Let b be v(d). Suppose 0 = q + 3*o - 13, 10*q - 9*q = 4*o + b. Is 5 a factor of q?
True
Let x(l) be the first derivative of -l**2 - 5*l + 30. Let j be x(-6). Is 4 a factor of ((-610)/4)/(-5) + j/(-14)?
False
Let k(p) = -98*p**2 + 25 + 32*p + 45*p**2 + 55*p**2. Is 12 a factor of k(-24)?
False
Let n = 66 - 60. Suppose -8*g + n*g = -834. Suppose -3*d - 192 = -x - 601, -g = -3*d - 3*x. Is 14 a factor of d?
False
Suppose -4*z + g = 4568, -g + 2286 = -2*z - 0*z. Let f = -589 - z. Is 11 a factor of 2/(-4) + f/48?
True
Let u = -1293 + 6046. Does 27 divide 4 + (8/12 - u/(-21))?
False
Suppose 85224 = 4*b + 4*r, -17*b - r - 106566 = -22*b. Is 12 a factor of b?
True
Let d(h) be the third derivative of -h**6/120 - h**5/6 - 35*h**4/24 - 5*h**3/3 - 4*h**2 + 15. Does 17 divide d(-10)?
True
Let k = -