9*x**2 - 7*x**3 + x - 2 + 2*x. Let u(q) = -5*b(q) + 3*i(q). Is 5 a factor of u(7)?
True
Let d be (-267)/1 + -14 + 12. Let j = -161 - d. Does 9 divide j?
True
Let i = -20155 - -105915. Does 64 divide i?
True
Suppose -3*b = 70*k - 75*k + 48960, -k - 2*b = -9792. Is 272 a factor of k?
True
Let d(n) = -8*n**2 - 19*n + 3 + 17*n + 32*n**2. Let f be d(2). Suppose -103 = -2*t + f. Is 12 a factor of t?
False
Suppose 50*y - 234658 + 54808 - 73800 = 0. Is y a multiple of 3?
True
Is 3 a factor of (-2)/(-14 + (-20480)/(-1464))?
True
Let r = -14472 - -26343. Does 150 divide r?
False
Suppose 72 = 2*j - 3*w, 3*w + 142 = 3*j + 7*w. Is 21 a factor of ((-364)/(-56))/(1/j)?
True
Let d = 577 - 527. Is 342/(-5*(-15)/d) a multiple of 57?
True
Is ((-7)/((-98)/(-1392)))/(3*(-1)/21) a multiple of 5?
False
Suppose w - 4 = -n - 0*n, 3*n - w - 12 = 0. Suppose 7*x - 6 = n*x. Suppose -2 = -2*p, 0*l - 447 = -5*l - x*p. Is l a multiple of 18?
False
Suppose 0 = 5*m - 2*m - 75. Let d(t) = -10*t**2 + t**2 + 7*t**2 + 17 - m*t + 1. Is d(-11) a multiple of 25?
False
Suppose -4*s + 1533 = -11703. Suppose -6*f = -411 + s. Is f/(-13) + 6/(-39) a multiple of 12?
False
Suppose 23*s - 168 = 27*s. Let i = s + 44. Suppose 4*p - 813 = -f, -i*f - 4 = -14. Does 42 divide p?
False
Let r(g) = 172*g + 0*g**2 + 37 + 4*g**2 - 175*g - 120. Is r(15) a multiple of 10?
False
Suppose 0 = -5*r + 5*q + 9590, -25 = 6*q - q. Is r a multiple of 34?
False
Suppose -119*z - 23816 + 235636 = 0. Is z a multiple of 5?
True
Let r = -64 + 123. Let x = 5 - r. Let t = 114 + x. Does 6 divide t?
True
Suppose 9 - 39 = -6*r. Let o = 124 + -121. Suppose -s + o*s = 2*l - 226, -3*l = -r*s - 337. Is 19 a factor of l?
True
Does 8 divide (-2 - -4252)/1 + (328 - 338)?
True
Let f(v) = -11*v**2 + 2*v**3 + 2 + 5*v**2 - 3*v - 3*v**3 + 14*v. Let l(z) = -20*z - 108. Let m be l(-5). Is f(m) a multiple of 6?
True
Suppose 11*k - 9*k - 160 = 0. Let v be 46/(-12) - k/(-96). Is (2 + v)*-82 + (8 - 10) a multiple of 15?
False
Let u(r) be the second derivative of -r**5/10 - r**4/3 + r**3/6 + 21*r**2/2 + 34*r. Is 28 a factor of u(-7)?
True
Suppose 20 = 4*h + 3*a, 4*h + 5*a = 38 - 10. Suppose -3*r - 2079 = -h*f, -1262 = -3*f - 4*r + 1882. Is 36 a factor of f?
True
Let w be (-2)/((-2)/(-9) + 40/(-225)). Is 14 a factor of (w/(-6))/(3*(-7)/(-2968))?
False
Suppose -4*r - r + 290 = 0. Let p = -38 + r. Suppose p*m - 13*m = 1344. Does 13 divide m?
False
Let a = 3851 - 1691. Is 30 a factor of a?
True
Does 6 divide 23570/30 + (-6)/27 + (-25)/(-45)?
True
Suppose -69710 = -5*m + 2*k, 5*m + 9*k - 69730 = 7*k. Is 83 a factor of m?
True
Let z(v) be the third derivative of -5*v**4/24 + 5*v**3/6 + 41*v**2. Is z(-19) a multiple of 20?
True
Let n = -257 - -270. Suppose 156 = -n*o + 1846. Does 15 divide o?
False
Let z be 2 - ((-12)/(-20) - 183/5). Suppose 3*p + z - 35 = 0. Let g = 11 - p. Is 6 a factor of g?
True
Let c = 44 + -100. Let g = c + 27. Is (-11 + 6)/(((-2)/(-2))/g) a multiple of 29?
True
Let f = -201 - -230. Suppose z - 322 - f = -p, -2*p + 710 = 4*z. Is p a multiple of 11?
False
Let h = 4 + 2. Suppose 0 = -0*c - 3*c. Suppose c = 4*l - 30 - h. Does 4 divide l?
False
Let s be (1*-2 - -1)*(-15 + -356). Suppose 3*v = 4*q - s, 4*q + 4*v = 327 + 37. Does 5 divide q?
False
Let g(w) = 3*w + 10. Let n be g(5). Suppose 0 = -24*x + n*x - 4. Suppose 3*v = -3*a + 63, 0 = x*v + v - a - 129. Is 5 a factor of v?
True
Suppose 2*v + 3*v = -f + 496, 288 = 3*v + 3*f. Suppose r - 28 = -2*y, 3*r - v = -y - y. Is r a multiple of 13?
False
Let w = -245 - -246. Is 20*((-152)/(-16))/w a multiple of 19?
True
Let g = -19 + 17. Let l be 3 - (-51)/(g/2). Is (-263)/(-8) + (5 - (-234)/l) a multiple of 5?
False
Let f(v) = v**2 + 7*v + 11. Let q be f(-4). Let a(j) = -296*j**3 - j**2 - 6*j - 5. Does 37 divide a(q)?
True
Let c = -325 - -336. Suppose 0 = z - 2*z. Suppose 0 = 2*o + l + c - 390, o + l - 191 = z. Is o a multiple of 47?
True
Let j(x) = 2*x**2 + 16*x + 42. Let q(t) = -t + 1. Let y be q(9). Let l be j(y). Is (-3 + 0)*(-1876)/l a multiple of 37?
False
Let n(p) = -364*p + 127. Does 31 divide n(-12)?
True
Let j = -729 - -734. Suppose 2*k + 0*k + 5*v = 2127, 0 = k + j*v - 1056. Does 21 divide k?
True
Let c = 414 + -407. Suppose 0 = -4*p + 4, -p + 1002 = 3*k - c. Does 16 divide k?
True
Let b be -13 - -16 - (0 - 18). Does 11 divide (0/1 - b)/(15/(-590))?
False
Let t(y) = 38*y - 2. Let v be t(1). Suppose 5*n = v + 34. Suppose -n*g - 96 = -15*g. Does 12 divide g?
True
Let l be 1/7*-2 - (-1914)/231. Suppose -678 = -l*w + 2*w. Is w a multiple of 15?
False
Let j(i) = 28 - 104*i - i**2 + 81*i - 42. Let w be (22/(-5))/(1/5). Does 4 divide j(w)?
True
Let b be (-6)/(-3)*(-33)/2. Let q = 3460 - 3320. Let j = q + b. Is j a multiple of 11?
False
Suppose 0 = -7*c - 6*c - 99112. Does 5 divide 10/(-12) - c/48?
False
Let s be (-4 + 2)*(-2 - 10)*1. Suppose -s*i + 6*i = -180. Suppose -163 = -2*c + 3*v, -i*c + 5*c + 433 = v. Does 7 divide c?
False
Let f = -827 - -829. Suppose f*u + 248 = 848. Is u a multiple of 20?
True
Let x be 9723/(-14)*5/(20/(-8)). Let v = -31 + x. Is v a multiple of 14?
True
Let c be -3 + 2 - -26 - 2*2. Let z = c - 10. Is 18 a factor of (-1)/6 - ((-13497)/18)/z?
False
Is (3 + 15 - -4)/((-4)/(-662)) - 1 a multiple of 13?
True
Let y be 1/(0 - (-3)/21). Suppose o - 5*l + 10*l = 7, 3*l + y = 5*o. Suppose 0*t + t - 141 = -2*d, o*d - 5*t = 135. Is d a multiple of 29?
False
Let p = 430 - 309. Let i = 249 - p. Is 3 a factor of i?
False
Suppose -18*j + 8048 = 4*f - 19*j, -6017 = -3*f - 4*j. Does 28 divide f?
False
Let u be (4/(-3))/((-2)/174). Let k = u + -65. Suppose 2*t = d + 47, -2*t - 3*d + k = -8*d. Is 8 a factor of t?
False
Suppose 2*j - 25 = a + 9, -3*j + 51 = 4*a. Let o = -21 + j. Is (3/o)/(-1*(-4)/(-16)) a multiple of 2?
False
Let m(q) = -24*q + 50. Let n be m(3). Let x = 117 + -55. Let j = x - n. Is j a multiple of 14?
True
Let t(u) = -u**2 - 12*u + 15. Let j be (-22)/(-55) + (-483)/(-5) - 1. Suppose -2*m - 6*m - j = 0. Is t(m) a multiple of 7?
False
Suppose m - 125 = 3*t, 0 = -3*m - 7*t + 9*t + 389. Suppose 3*q = 4*b + 208, q - 5*b + m = 3*q. Does 34 divide q?
True
Let j(v) = 8*v**2 + 18*v + 4. Suppose 7*u + 4 = 8*u. Suppose -3*q - 32 = -u*y, -4*q + q = -y + 17. Is j(q) a multiple of 18?
False
Suppose 9*b - 8 = 7*b. Is 19 a factor of (b - 8) + 25*7?
True
Suppose 0 = 8*u - 18 + 2. Is 33 + -6*(-1)/u a multiple of 4?
True
Is (-16740)/(-217)*(-4095)/(-26) a multiple of 81?
True
Is (-1477 - -43)*(-4)/6 a multiple of 4?
True
Let z = -258 + -429. Let w = -436 - z. Does 18 divide w?
False
Suppose -f - 5*s + 3922 = -6265, -40898 = -4*f + 5*s. Is f a multiple of 38?
False
Suppose -2*z + 5364 = 4*l, -l - z - 323 + 1665 = 0. Is l a multiple of 20?
True
Suppose -3*y = -4*x + 12955 - 1263, 0 = 5*x - 5*y - 14610. Suppose 16*v + x = 35*v. Does 22 divide v?
True
Let b(i) = -8746 - 4*i - 8*i + 8852. Is 19 a factor of b(0)?
False
Let o be (-888)/21 - 2/(-7). Let x = 2720 + -3612. Is x/(-14) - 12/o a multiple of 8?
True
Suppose 9*q - 18*q + 189 = 0. Is 17/1*1 - (q - 17) a multiple of 13?
True
Let z be 2/15 + (-30173)/(-165). Suppose -5*v = -5*i + 4*i - z, -2*v = i - 76. Does 8 divide v?
False
Let i = -5662 + 5673. Suppose 4*c + 0 = 16. Suppose 735 = -c*f + i*f. Does 25 divide f?
False
Suppose 5*c + g = 713 + 14402, -3*g - 15 = 0. Suppose -f + 8*f = c. Does 12 divide f?
True
Suppose -x - 2 = -t, 0 = -5*t + 2*x + 4 + 15. Suppose -4233 = -t*w - 3*s + 618, s = 2. Is 57 a factor of w?
True
Suppose -497915 = -109*a + 154736 + 132585. Is a a multiple of 87?
False
Suppose -73337 = -69*p + 15673. Does 43 divide p?
True
Let r = -676 + 1262. Let f = -290 + r. Is f a multiple of 13?
False
Let u(k) = 17*k - 1. Let t(a) = 9*a - 1. Let p(c) = 5*t(c) - 2*u(c). Let w be p(6). Suppose w + 57 = 2*j. Is 15 a factor of j?
True
Suppose 0 = c + 3*c - 8. Let j be (-8)/2 - (-48 + -12). Suppose c*t + 2*t = 5*f + j, 45 = 3*t - 3*f. Is t a multiple of 9?
False
Let y(c) = -647*c - 53. Is 5 a factor of y(-3)?
False
Let c = 145 + 13. Let z be (12 - 2)/(-5 + (-366)/(-72)). Suppose -154*i - z = -c*i. Does 15 divide i?
True
Suppose -3*s - 5*l - 518 = 0, 41*s - 46*s + 3*l = 886. Let a = 239 + s. Is 63 a factor of a?
True
Let y(x) = -x**2 + 17*x - 4. Let i(z) = -z**3 - 8*z**2 - 6*z + 7. Let w be i(-7). Suppose w = 5*g - 40 - 40