(g) = -g**2 - 2 - 7*g**3 + 9*g**3 + g - 18*g**3. Let j be n(2). Does 15 divide j/(-2) - (-25 - -25)?
False
Let x(q) = 852*q**2 + 3*q + 5. Let d = 315 - 316. Is 14 a factor of x(d)?
True
Let s(x) = -7*x**3 + 2*x**2 - 9*x - 177. Let m(y) = -3*y**3 + y**2 - 4*y - 88. Let i(h) = 5*m(h) - 2*s(h). Let g be i(0). Let z = g + 151. Does 13 divide z?
True
Let b(j) = j**2 + 4*j + 5. Suppose 3*f - 5*f = 8. Let i be b(f). Suppose 7*p - i*p = 20. Does 5 divide p?
True
Let d be ((-25)/(-100))/(1/(-4)) - -7. Suppose 0 = 5*j - d*j + a + 483, -3*j = 3*a - 1449. Does 69 divide j?
True
Let v = 28900 + -12367. Is 18 a factor of v?
False
Is 24 a factor of (-4662)/(-8)*9/((-81)/(-6))*6?
False
Let g(y) = -5*y**3 + y**2 + 20*y + 5. Does 26 divide g(-13)?
False
Let m be 4/(-4) + -3 + 1 + -260. Let z = m - -646. Does 43 divide z?
False
Suppose z = 2*a - 0*z + 570, -5*a + 2*z - 1424 = 0. Let v = 182 + a. Let w = -2 - v. Does 10 divide w?
True
Let y(s) = 2*s**3 - 10*s**2 - 9*s + 7. Suppose -v = 29 + 16. Let k = -39 - v. Is y(k) even?
False
Suppose 3*n = -2*n + 5*v, -4*v + 12 = -n. Suppose 16 = n*p, -x + 0*p - 216 = 3*p. Is 19 a factor of (x/(-10))/(14/35)?
True
Let h(f) = -680*f - 960. Is h(-4) a multiple of 55?
True
Let c be (2/(-3))/((120/423)/20). Let u = c - -435. Is 4 a factor of u?
True
Suppose 0 = 38*j + 841 - 9163. Is 20 a factor of j?
False
Let z = -4131 + 4376. Is 5 a factor of z?
True
Suppose 0 = -19*q + 40145 + 22517. Is q a multiple of 74?
False
Let k be (-1)/((-5)/(-4 - -19)). Let i(w) = 0 - 6 + w + 0*w**2 + w**2 + k*w. Is 28 a factor of i(7)?
False
Suppose -5*s + 6*n = 4*n - 36300, 3*s = -18*n + 21780. Does 110 divide s?
True
Let x = 6196 - 5134. Is x a multiple of 18?
True
Suppose -107130 = -3*s - 3*a, 0*s - 5*a = 2*s - 71405. Is 15 a factor of s?
True
Let l = 31 + -28. Suppose -5*i + 2 + 43 = -2*m, 11 = l*i + 2*m. Let x = i + 15. Does 11 divide x?
True
Let l = -16 + 17. Let s be (1 - 2)/l + 5 + 141. Does 29 divide s/(14/21*3/2)?
True
Let k(d) = 2*d**2 - 2*d + 4. Let l be k(0). Suppose 12 = l*a - a. Is 1*(-1 + 2/a)*-388 a multiple of 25?
False
Let u(g) = 2523*g - 1761. Does 7 divide u(13)?
True
Suppose -49 = -4*j + 11. Let h(a) = -4*a + a**2 - 7*a - 5*a + 3*a - 4. Is h(j) a multiple of 5?
False
Suppose 34*c + 2772 = 4*u + 38*c, 5*u - c - 3477 = 0. Does 86 divide u?
False
Let h be (-9 - 305/(-35))/((-1)/7). Let q(o) = 15*o**2 - 5*o + 6. Is 14 a factor of q(h)?
True
Let d(q) = -9*q + 39. Let p be d(3). Let i be (-14 + p)/((-2)/16). Let u(t) = t**2 - 15*t + 37. Is u(i) a multiple of 15?
False
Let t = -553 + 585. Let u(z) = z**2 - 2*z + 1. Let w be u(1). Suppose w = -k, -l = -k - k - t. Is 8 a factor of l?
True
Suppose -g - 32 = -9*g. Let c be (3/2)/(g*2/1952). Suppose -m + c = m. Is 22 a factor of m?
False
Let v(y) = 7*y**2 + 14*y - 14. Let j(w) = 3*w**2 + 7*w - 7. Let b(m) = -5*j(m) + 3*v(m). Let x(a) = -a - 3. Let n be x(-7). Does 12 divide b(n)?
False
Let n = -3568 + 15688. Is n a multiple of 20?
True
Let k = 147 + -207. Is (-344)/(-10) - (-24)/k a multiple of 2?
True
Let z = -9031 - -20416. Is z a multiple of 9?
True
Let r = -4095 - -4959. Is 75 a factor of r?
False
Suppose 50*l = 55*l - 2*a - 4334, 2*a - 874 = -l. Is 31 a factor of l?
True
Let p(s) = -15*s + 9 + s**3 - 8*s - 6*s**2 + 22*s. Let i be p(6). Suppose 0 = i*q + 12, -3*v = -6*q + 5*q - 172. Does 7 divide v?
True
Let r(h) = -9*h + 16. Let c(x) = -53*x + 96. Let j(q) = 6*c(q) - 34*r(q). Suppose -227*u = -229*u - 10. Is 24 a factor of j(u)?
False
Does 143 divide 15*(139370/25)/11?
False
Suppose 2012868 = 53*o + 40*o + 141*o. Does 34 divide o?
True
Let b(r) = -199*r**3 - 15*r**2 - 18*r + 8. Does 6 divide b(-4)?
True
Suppose -2*v + 58 = 3*h - 41, -2*h + 5*v = -47. Let p = 31 - h. Suppose p = -5*n + 3*n + 318. Is n a multiple of 33?
False
Let v(z) be the second derivative of z**5/20 - z**4/2 - 10*z**3/3 + 10*z**2 - 6*z. Let m be v(8). Does 16 divide 32/m*315/(-12)?
False
Suppose 19*m - 800 = 35*m. Is 80 a factor of m/35*112/(-2)?
True
Let a = 42 + -42. Suppose a*k = -3*k + 177. Is k a multiple of 18?
False
Let o = 284 - 302. Let d(p) = -13*p - 17. Is d(o) a multiple of 44?
False
Suppose 0 = -5*a - 5*g - 120 - 95, 3*a = g - 149. Let c = 718 + a. Does 67 divide c?
True
Suppose -231*d - 340717 = -57*d - 2484745. Is d a multiple of 26?
False
Suppose -5*f - 3*m - 6663 = -2*f, 2*f = 5*m - 4463. Let r = f + 3184. Is r a multiple of 96?
True
Let y(z) = -10*z**2 + 2 + 53*z**2 - 2*z**2. Let k(b) = -b**2 + 5. Let r be k(-2). Does 4 divide y(r)?
False
Suppose 2*b + w = 21, -w + 3*w = 2*b - 30. Suppose 0 = n - 4*n + b. Is 40 - (n + -2 + -1) a multiple of 7?
False
Suppose 107406 - 130966 = -20*h. Does 62 divide h?
True
Let n(c) be the third derivative of -c**6/120 + 3*c**5/20 - c**4/3 - 5*c**3/3 - 35*c**2. Let w be n(8). Does 26 divide ((-52)/w)/(204/40 + -5)?
True
Suppose 10649 = -25*z + 102512 + 22537. Is z a multiple of 32?
True
Suppose -s - 4 = -2*s, 3*j + s = 16. Suppose 3130 = 4*d + 5*r, j*d + d - 4*r = 3933. Does 15 divide d?
False
Let s = -27 - -13. Let f = s - -16. Suppose 10*p - f*p = 72. Does 5 divide p?
False
Let b(m) = m**3 + 37*m**2 + 59*m + 456. Does 2 divide b(-35)?
False
Does 18 divide 63590 + ((-3)/(6/8) - (-44 + 39))?
False
Let f(s) be the second derivative of s**3/2 + 10*s**2 - 15*s. Let o be f(-4). Let d(v) = 2*v**2 - 13*v + 23. Does 5 divide d(o)?
False
Let s(l) = 7*l - 42. Let i be s(6). Let u be 3156/4*-1*(i - -1). Does 29 divide u/(-6) + 6/4?
False
Suppose b + j + 417 = -3*j, 3*b - 2*j + 1321 = 0. Let o = b - -796. Does 40 divide o?
False
Suppose -77003 + 113723 + 435764 = 86*a. Is a a multiple of 16?
False
Let k = 10 + -7. Let x(p) = 10*p - 158. Let v be x(16). Suppose k*a - v*a = 25. Does 5 divide a?
True
Suppose 3*d = -0*s + 2*s + 662, d + 4*s - 202 = 0. Let f = 10 + d. Is 12 a factor of f?
True
Let j(d) = d**3 - 4*d**2 + d - 11. Let a(m) = m**2 - 3*m + 7. Let q be a(2). Is 2 a factor of j(q)?
False
Suppose x = 5*r + 52154, 521634 = 15*x - 5*x - 3*r. Is 23 a factor of x?
True
Let b = -4 + 14. Let n be 128/6*(-7 - -14 - b). Let f = n + 98. Does 13 divide f?
False
Let x(y) = -408*y + 12337. Does 69 divide x(-14)?
False
Let v = -764 - -769. Suppose -6*y + 1607 = -v*y. Is y a multiple of 18?
False
Suppose 112*y = 107*y + 20. Suppose -y*f + h = -2407, 10*h - 9*h - 5 = 0. Is 20 a factor of f?
False
Let k(w) = -105*w**2 + 9*w - 4. Let a(z) = 52*z**2 - 5*z + 2. Let i(q) = -5*a(q) - 3*k(q). Let v be i(2). Suppose -v = -3*c + 307. Is c a multiple of 25?
True
Let x(q) = -4*q - 137. Let f be x(-35). Let a(p) = 17*p**3 - 7*p**2 + 3*p + 5. Is a(f) a multiple of 10?
True
Is (-9)/3*3033/(-27) a multiple of 38?
False
Suppose -62 + 22 = -2*m. Suppose 5*y - 3*y = 3*i - m, 0 = -i - 4*y + 2. Let g(n) = n + 5. Does 3 divide g(i)?
False
Suppose -157*l - 1062272 = -329*l. Is 193 a factor of l?
True
Let q(u) = u**3 - u**2 - 451*u + 12635. Is q(0) a multiple of 35?
True
Let f = -698 - -702. Suppose 9*r - f*r - 20 = 0, -5*r + 500 = 3*l. Is 16 a factor of l?
True
Let m(k) = 49*k + 10. Let n be m(-2). Is ((-72)/(-36))/(-1 - n/86) a multiple of 7?
False
Let s = 11 - 21. Let d(v) = 7*v + 24. Let a(i) = -13*i - 47. Let b(q) = 4*a(q) + 7*d(q). Does 4 divide b(s)?
False
Let j = -24733 + 27306. Is 4 a factor of j?
False
Let r = 757 + -348. Suppose r + 347 = 6*l. Is l a multiple of 21?
True
Suppose 14*s = 16*s - 294. Suppose 13*p = 594 + s. Does 21 divide p?
False
Suppose -2*r + 446 = 2*g, 4*r + 42 = -2*g + 484. Suppose 12*p = 11*p + g. Suppose 0 = -9*z + 171 + p. Does 10 divide z?
False
Let a(t) = -65*t - 58. Let s be a(-4). Suppose -8*u + s = -118. Is 8 a factor of u?
True
Let p be 2/8 - 115/(-20). Let z be (-4)/10*(p + -2 + -34). Let u(y) = 4*y + 20. Is u(z) a multiple of 19?
False
Suppose 0 = w + 4, 2*x = 6*x - 3*w + 32. Let a(b) = -2*b**3 - 12*b**2 + 75*b + 19. Does 16 divide a(x)?
False
Suppose w + 0*j = -3*j + 3074, 12248 = 4*w - 4*j. Is 6 a factor of w?
False
Suppose -2*v = 3*g - 129, -54 = -2*v + v - 5*g. Let h = v - 19. Suppose 3*b - 226 = h. Is 6 a factor of b?
False
Let n(l) = -l**2 - 28*l - 176. Let c be n(-12). Let i(k) = -k**2 + 46*k - 23. Is i(c) a multiple of 7?
False
Let w(i) = i**3 - 12*i**2 - 11*i - 28. Let y be w(13). Let p be -2*(1 - (-1)/y). Is 20 a factor of -1*70*p - (-36)/9?
False
Is (-34 + 