g - 6. Let h be i(-9). Suppose -z + 12*z - h = 0. Is 7 a factor of z?
True
Let w = 116 + -114. Suppose -w*g = 3*u - 647, -5*u + 32 = g - 302. Does 29 divide g?
True
Let h = -3177 + 6642. Does 28 divide h?
False
Suppose 20*m = -2*u + 15*m + 23375, 4*u - 4*m = 46736. Is u a multiple of 14?
False
Does 7 divide -12546*(-136)/(-612)*(-6)/4?
False
Let h = 36 + -33. Let s(x) = 7*x - 5*x**2 + 2 + 0*x**3 - 8*x**h + 7*x**3 - 4. Does 17 divide s(-7)?
False
Let q = 15 - -78. Let p be 4*q - 0/1. Let d = p + -196. Does 13 divide d?
False
Let t = -29822 + 35599. Is t a multiple of 63?
False
Let g = 139593 + -90891. Does 11 divide g/90 - 4/30?
False
Let n = -3448 + 3994. Is n a multiple of 21?
True
Suppose -2*u = -2*z - 3598, 76*z = u + 79*z - 1803. Is 24 a factor of u?
True
Let q = 989 + -660. Suppose 8 + 4 = 3*y, -5*g - y = -q. Let z = g + -13. Does 11 divide z?
False
Does 38 divide (2 - -806) + (-30)/3?
True
Let y = 4508 - 1631. Is 7 a factor of y?
True
Suppose -99*b + 100*b + f = 9825, -f - 39315 = -4*b. Is b a multiple of 13?
True
Suppose 0 = 16*g - 20*g + 16, -i - 5*g + 2424 = 0. Is i a multiple of 12?
False
Let y(x) = -160*x**3 - 3*x**2 - x + 2. Suppose 1 = 16*u - 15*u. Let j be 15/(-5)*u - (-3 + 1). Is y(j) a multiple of 8?
True
Let b be 1940 - ((-12)/(-4) - -2). Is b/(-30)*132/(-9) a multiple of 74?
False
Let n = -31 - -35. Suppose 5*z = -3*o - o + 36, 4 = -n*z + 5*o. Suppose -z*s - 44 = -8*s. Is s a multiple of 2?
False
Let d(t) = -t + 1. Let o be d(-3). Suppose 2*r = -4*p + 30, 4*r = 5*p + 77 - 4. Suppose o*j - 212 = -5*w, 75 + r = 2*w + 4*j. Does 8 divide w?
True
Let m = -16102 - -22275. Is 22 a factor of m?
False
Let b be 8251 - (-6 - (-10 - -3)). Suppose b = 20*q + 13*q. Is 22 a factor of q?
False
Let x = 16426 + -2926. Is 100 a factor of x?
True
Suppose -4*x - x - 35 = 2*p, 0 = -4*x - 12. Let k(a) = -a**2 - 12*a - 18. Let z be k(p). Suppose -y + z*t = 4*t - 74, 0 = 3*y - 5*t - 222. Does 32 divide y?
False
Let a(x) = 16*x**2 - 104*x - 77. Is 75 a factor of a(31)?
True
Suppose -q + 4*u + 4752 = 480, -5*u + 21460 = 5*q. Is q a multiple of 14?
False
Let u(q) = -q**3 - 13*q**2 + 48*q + 23. Let o be u(-10). Let s = o - -1023. Does 16 divide s?
False
Suppose -17*m + 37366 - 25126 = 0. Is m a multiple of 24?
True
Suppose 3*d = 3*t + 9, 3*d = 2*t + 4 + 7. Suppose h - t*j = 2*h - 53, 0 = -2*h - j + 94. Is h + (-3)/(-9)*-3 a multiple of 29?
False
Let v = -50 + 180. Does 21 divide (v/40*-1)/((-2)/200)?
False
Let y = 18 - -5. Let g = -26 + y. Is (2/(-4))/(((-6)/g)/(-64)) even?
True
Suppose 67*u + 1446276 = 140*u. Is 52 a factor of u?
True
Let r(b) = -88*b - 525. Does 32 divide r(-7)?
False
Let i(t) = 42*t**2 - 3*t. Let o be i(-4). Let v(j) = -6*j**2 + 389*j + 24. Let w be v(66). Let d = w + o. Does 42 divide d?
False
Let h = 4418 - 1826. Suppose -w = -6*w + 3*j + h, -8 = 2*j. Is w a multiple of 43?
True
Let n = 9565 + 9594. Is 7 a factor of n?
True
Let k = 472 - 304. Suppose 0*s = -2*s + k. Does 12 divide s?
True
Suppose -5*v + 3 + 17 = 0. Suppose 3*i - v - 21 = 4*t, i = 4*t + 19. Does 12 divide (-2684)/66*i/(-2)?
False
Let k(q) = 151*q - 10. Let w(f) = 10*f - 48. Let c be w(5). Does 5 divide k(c)?
False
Let z = -86 + 90. Let h be (4/(-6))/(z/(-810)). Suppose f - t - 40 = 0, -4*f + 3*t + h = 4*t. Is 5 a factor of f?
True
Suppose -25*g + 20 = -20*g, -3*q + 35233 = g. Does 221 divide q?
False
Let a be (1 + 33/9)/(1/15). Suppose 3*s + 7*i - 3*i = a, i = -3*s + 76. Is s a multiple of 11?
False
Let s be (-40 + 8)/((-4)/(-6)). Let x = s + 51. Suppose x*h + 2 = -b + 68, -66 = -b - h. Is 22 a factor of b?
True
Let s(l) be the third derivative of -l**6/120 + l**5/15 + l**4/12 + l**3/3 + 2*l**2. Suppose -18*u - a = -14*u - 16, -4 = -u - 2*a. Is s(u) a multiple of 7?
False
Let w = 6 + -6. Suppose 7*y + 4*d = 4*y - 8, 3*y + 10 = -5*d. Suppose 0 = 5*p - 2*t - 450, -p + w*p + 5*t + 90 = y. Is 12 a factor of p?
False
Suppose -2995 = 11*d - 2431 - 13324. Does 20 divide d?
True
Let w(p) = -16*p**3 + p**2 + 27*p + 86. Is 11 a factor of w(-7)?
True
Let h = 290 + -287. Let b = 41 + h. Is 44 a factor of b?
True
Let k(z) = -15*z**3 - 7*z**2 + 91*z + 15. Does 123 divide k(-8)?
True
Does 156 divide 0 + -3 + (2 + -1 - -1197)?
False
Let j = 33133 + -15647. Does 31 divide j?
False
Let f(o) = -2*o**3 + 21*o**2 + 98*o - 7. Let g(a) = 3*a**3 - 42*a**2 - 197*a + 13. Let j(k) = -5*f(k) - 3*g(k). Is 25 a factor of j(-11)?
False
Is 7506 + (-77)/42*6 a multiple of 18?
False
Let x(q) = 9781*q - 18. Let f be x(3). Suppose -f = -82*z + 65*z. Does 23 divide z?
True
Suppose 29*u + l - 47405 = 26*u, -u + 15805 = l. Is 8 a factor of u?
True
Let p(h) = 131*h**2 + 55*h - 235. Is 97 a factor of p(-11)?
False
Is 50 a factor of 103935164/1230 + (-8)/60?
True
Is 2 a factor of 152 - (-5 + -2)/((-8)/(-8))?
False
Suppose -353*w + 50877 = -361*w + 266269. Is 10 a factor of w?
False
Let r(t) = -41*t - 201. Suppose 5*y = -5*k + 62 - 177, -2*k = -5*y + 32. Does 15 divide r(k)?
True
Suppose -32*z + 27*z - 360 = 0. Let w = -163 - z. Let j = 112 + w. Is j a multiple of 16?
False
Suppose -3 - 13 = 4*f, -54 = 2*x + 2*f. Let s = x + 23. Suppose s = -13*t + 4*t + 126. Does 7 divide t?
True
Let t = -112 + 76. Let z be t/(-27)*(-3)/(-2). Suppose y = -z*y + d + 480, -15 = -5*d. Does 12 divide y?
False
Let j(b) = b**2 + 25. Let h be j(-5). Suppose -5*k + h = -2*i - 3*i, 20 = -i + 3*k. Is (-26)/(-3 - -1)*(i + 10) a multiple of 14?
False
Let z(v) = v**2 - 22*v + 24. Let u be z(20). Suppose 3*s - 49 = -52. Is 3 a factor of (s - -1) + (-288)/u?
True
Let x = -4 - 76. Is 3 a factor of (x/(-6) - 6)*3?
False
Suppose -b + b + 2988 = 18*b. Does 3 divide b?
False
Suppose -3*m + 470 + 71 = 4. Is 4 a factor of m?
False
Let t = -176 - -178. Suppose 0 = t*u - 3*o - 217, 5*o - 4 = -u + 111. Is 11 a factor of u?
True
Suppose -2*q - 4*h = -2796, 7*h + 151 - 7150 = -5*q. Is q a multiple of 36?
True
Let d be (1/(-3))/(4/(-60)). Suppose -d*t - 5*k + 210 = -20, 3*t = 3*k + 138. Let r = t - -8. Is 18 a factor of r?
True
Suppose 13445 = 5*q + 3945. Is 38 a factor of q?
True
Suppose -435*l + 433*l = -2*c + 4994, -3*c + 7500 = -2*l. Is 16 a factor of c?
False
Let y = -368 + 373. Let p(u) = 4*u**3 - 3*u**2 - u + 26. Is 8 a factor of p(y)?
False
Suppose 2*u - 1400 = 2*h, -6*h + h - 1406 = -2*u. Suppose -5*f = 4*l - u, 5*f - 763 = -3*l - 67. Is f a multiple of 17?
False
Let f be (2/10)/(68068/(-13615) + 5). Suppose f = b - 2*a, 2*b - 868 = -2*a - 114. Suppose 3*l - 4*k = -8*k + b, 5*k + 539 = 4*l. Is 18 a factor of l?
False
Suppose 9*x - 20711 - 43171 = 0. Suppose 60*d - 73*d = -x. Is 39 a factor of d?
True
Let t(a) = -30*a - 162. Let x be t(-6). Suppose 38 = x*k - 13264. Is 99 a factor of k?
False
Let c(n) = n**3 - 9*n**2 - 6*n + 46. Let k be c(9). Is (-2 - -534)/(-5*k/40) a multiple of 12?
False
Let y be (-9)/18 + (-2)/(-4). Suppose y*d - 56 = -d. Suppose -4*x = -4*j + 80, -4*j - 4*x = -d - 8. Does 3 divide j?
True
Suppose -9*k + 12 = -5*k. Suppose 5*g - 352 = -k*d, g = 2*d + 2*g - 230. Let m = 197 - d. Is m a multiple of 10?
False
Let u be (-54)/(-108)*(-16)/(1 + 1). Is 140/21*(-4)/(u/57) a multiple of 19?
True
Let v be (1184/(-8))/(-4 - (-14)/4). Suppose 2*w - v = -138. Is 5 a factor of w?
False
Is 56 a factor of 19 + -18 + -1*85*-7?
False
Let k(a) = -780*a + 1539. Does 119 divide k(-37)?
False
Let f(m) = -34*m**3 - m**2 + 2*m - 4. Let l(a) = 68*a**3 + a**2 - 3*a + 7. Let v(u) = -7*f(u) - 3*l(u). Is v(3) a multiple of 43?
True
Let p = 203 + -190. Is 12 a factor of (-2)/p + (-13)/((-338)/316)?
True
Is -17 + 0 - (-8593 + -314) a multiple of 70?
True
Let v(a) = 56*a + 1375. Does 14 divide v(35)?
False
Let v = -1115 + 608. Let k be v/6*-2 - 0. Suppose 0 = -2*q - 2, -3*w + q = -0*q - k. Is w a multiple of 28?
True
Suppose 0 = -2828*a + 2826*a + m + 138, -48 = -a - 3*m. Let d = -77 - -123. Let p = a - d. Is 5 a factor of p?
True
Suppose -31*k = -148 - 131. Suppose k*l - 2851 = -817. Is 113 a factor of l?
True
Let t(o) = 3*o**2 + 25*o + 36. Let p = -270 - -255. Does 42 divide t(p)?
True
Suppose -31*i - 154 = -33*i. Suppose 2*y = -u + i, -64 = -u + 2*y + 25. Let m = u + -2. Is m a multiple of 27?
True
Suppose 0 = -2*x - 9*x - f + 245361, 3*x = -2*f + 66908. Is x a multiple of 19?
True
Suppose -3*w - 13*f = -14*f - 33533, 11176 = w - 2*f. Is 27 a fac