tor of o?
False
Let v(r) = 25*r - 2. Suppose 5*z = 8*z - 78. Suppose 0*l = -2*l - 8, 2*a - 5*l = z. Is 16 a factor of v(a)?
False
Let x be ((-6)/8)/((-6)/48). Does 4 divide x/(-4) + 19/2 + 1?
False
Let f be 1404/(-99) + (-40)/22 + 2. Let a(v) = -v**3 - 13*v**2 + 3*v + 1. Is 10 a factor of a(f)?
False
Let w be (-6 - -6)/(0 + 1). Suppose w*f + 15 = 3*f. Suppose -2*v + 48 = -v + f*m, -5*v = -4*m - 124. Does 20 divide v?
False
Is (-2314)/39*(-1 + -2) a multiple of 5?
False
Suppose 4*a = 3*a + 4. Suppose -4*l + 6*h + 153 = h, -a*h = 4. Does 5 divide l?
False
Does 12 divide 34972/62 - 122/1891?
True
Let o be (-1 - -2)/(1/33). Suppose 2*v - 2 = v + 4*a, -3*v - 4*a + 22 = 0. Let s = o - v. Does 14 divide s?
False
Let q(y) = y**3 - 5*y**2 - 6*y + 16. Is 40 a factor of q(8)?
True
Suppose 0 = 36*r - 26*r - 690. Does 22 divide r?
False
Let r = -24 + 29. Is 26 a factor of 13*2 - 0 - (r - 5)?
True
Let m = -1484 - -3048. Does 68 divide m?
True
Is (-32)/8 + 3627 + 0 + 3 a multiple of 43?
False
Let n = 0 + 2. Suppose -n*b + 30 = -b. Is 9 a factor of b?
False
Let j be -1*1/2*2*4. Is (j/(-12))/((-2)/(-996)) a multiple of 46?
False
Suppose 8*r - 13*r = 0. Suppose r = -5*g + 725 - 225. Is g a multiple of 10?
True
Suppose 3*c - 1 = 14, q + 12 = 2*c. Is -1 + 182*(-1)/q a multiple of 8?
False
Suppose -9*b + 9552 + 10248 = 0. Is 55 a factor of b?
True
Let n = 21 - 16. Suppose 0 = -4*y - 12, 4*y = n*t - 227. Does 12 divide t?
False
Suppose 0 = 4*y - 8*y + 32. Suppose 4*t + 8 = 5*p, -t - 4 = -2. Is y + (p - 8/(-4)) a multiple of 5?
True
Let g(s) be the third derivative of -s**6/60 - s**5/60 - s**4/12 - s**3/2 - 5*s**2. Let r be g(-3). Suppose 2*f + 2*f = r. Is 4 a factor of f?
True
Suppose -5*g = -o - 362 - 200, -3*o = -3*g + 342. Does 8 divide g?
True
Is 24/(-18)*-6 - -84 a multiple of 9?
False
Suppose 4*d + d = 20. Suppose -2*k = 0, k = -5*p + d*k + 760. Is p a multiple of 19?
True
Let r(z) = -5*z**3 + z**2. Let v = 12 - 13. Let u be r(v). Suppose u*a - 4*c = 2*a + 76, -5*a + 104 = 4*c. Is 6 a factor of a?
False
Let c(t) = 31*t**3 + 2*t**2 + 2*t - 18. Is 31 a factor of c(3)?
False
Let i(g) = -g**2 + 3*g + 4. Let j be i(4). Does 9 divide 6*(-45)/(-10) - j?
True
Let z = -8 + 29. Suppose -3*a - a = -36. Let q = a + z. Is q a multiple of 10?
True
Suppose 18*p = 14*p + 180. Does 2 divide p?
False
Suppose 6*l = 2*l + 20. Suppose 3*o + l*d = -14 + 404, 2*o - 260 = 5*d. Is 26 a factor of o?
True
Let v(r) = -7*r**3 - 9*r**2 - r - 11. Let z(d) = 24*d**2 - 6*d**3 - 33*d**2 - 11 - 2*d + 0*d**3. Let f(m) = -5*v(m) + 6*z(m). Is 14 a factor of f(-9)?
False
Let f(b) = -2*b**2 - 12*b + 11. Let r be f(-11). Let u = 186 + r. Is u a multiple of 22?
False
Suppose -3*w = 4*m - 72, 5*m - 2*m - w = 41. Let j = -12 + m. Suppose 3*k + 5*t - 72 - 6 = 0, 4*k - 133 = j*t. Is 13 a factor of k?
False
Let v = -66 + 149. Is v a multiple of 16?
False
Let h be (18/10)/((-2)/(-10)). Let w = h - 4. Let o = w - 2. Is 3 a factor of o?
True
Let m(v) be the first derivative of -3*v**4/2 - v**3/3 - v**2 - v - 1. Let q be 1 + 0 - (-7 - -9). Is m(q) a multiple of 6?
True
Suppose -2 + 22 = -4*o. Let i be (0 + 6)*o/(-10). Suppose 2*m - 12 = 4*l, l = -i*m - 0*l + 18. Does 2 divide m?
True
Suppose 11*z - 761 - 812 = 0. Is z a multiple of 23?
False
Suppose -6*l + 37 + 59 = 0. Let j = 215 + l. Is j a multiple of 11?
True
Let g = -39 + 68. Let c = 40 - g. Suppose -c*b + 66 = -9*b. Is 7 a factor of b?
False
Is ((-6)/5)/(17/(-85)) - -1586 a multiple of 18?
False
Let l(t) = 3*t**2 + 8*t + 1. Let h(z) = 7*z**2 + 16*z + 2. Let n(w) = -2*h(w) + 5*l(w). Suppose -44 = 2*o + 2*o. Is n(o) a multiple of 11?
False
Let g(x) = -7*x**3 - 15*x**2 - 9*x - 3. Let r(p) be the first derivative of p**4/4 + p**3/3 + 6. Let v(k) = g(k) + 6*r(k). Does 2 divide v(-8)?
False
Suppose 0*z + 71 = 2*m + 5*z, 5*m - 2*z = 105. Let d = 57 + m. Is 11 a factor of d?
False
Let j(o) be the third derivative of -o**6/120 - o**5/20 + o**4/8 + 2*o**3/3 - 3*o**2. Does 7 divide j(-4)?
False
Let d(t) = 3*t**2 + 7*t + 4. Suppose -42 = 6*c + c. Let p be 3/c + 36/8. Does 16 divide d(p)?
True
Let v be 1 - -2 - 132/(-4). Suppose 3*f - f = v. Is 24 a factor of f*(-2)/6*-16?
True
Let a(v) = 13*v**2 - 15*v - 28. Is 53 a factor of a(-6)?
True
Let s = -109 - -116. Suppose -4*p = 5*q - 794, 967 = 5*p - 3*q - s. Does 28 divide p?
True
Let z(l) = -2*l - 4. Suppose 3 + 26 = -5*u - 4*o, -4*o - 4 = 0. Let d be z(u). Suppose d*i - 3*i = 75. Is 12 a factor of i?
False
Suppose k = 4*m - 14, 3*k - 3*m + 30 - 6 = 0. Is (-350)/k - (-18)/27 a multiple of 13?
False
Is 9 a factor of 3/(-1)*(-635)/5?
False
Let w = -7 - -16. Suppose 6*h = w*h - 162. Suppose -3*j = -18 - h. Is 6 a factor of j?
True
Let l(x) = 4*x**2 - 3*x - 1. Let f be l(3). Let m = f + -22. Suppose 26 + 226 = m*p. Is p a multiple of 21?
True
Let i(d) = d - 1. Let w be i(3). Let q be (w - 1)*(-1 + 4). Suppose -5*n + 30 = -q*n. Is 12 a factor of n?
False
Suppose -162*z + 656 = -160*z. Is 9 a factor of z?
False
Let n be ((-29057)/(-63))/1 + (-4)/18. Let g = n - 251. Is g a multiple of 15?
True
Let x = 1021 + -401. Is 10 a factor of x?
True
Let d(u) = u - 15 - 3*u - 2*u. Does 25 divide d(-10)?
True
Let y = -26 + 29. Let j = 9 - y. Let r = j + 26. Is 16 a factor of r?
True
Suppose -2*k - 17 = -5*a, 2*a + a = 3. Let m be 3/k - 819/(-6). Suppose 0 = 2*q + 16 - m. Is 17 a factor of q?
False
Suppose 7*i + 197 - 2465 = 0. Does 8 divide 27/45 + i/10?
False
Suppose 11*x - 3*n = 7*x + 875, 3*x + n = 653. Does 8 divide x?
False
Let q be ((-60)/9)/(-2) + (-14)/(-21). Suppose -239 = -q*t + 221. Is 15 a factor of t?
False
Let h(b) = b - 3. Let s be h(5). Let c = s + 1. Let f(u) = u**2 - 2*u + 4. Is f(c) a multiple of 7?
True
Let u = 219 + -138. Suppose -3*t = -2*r - r + u, 3*r - 87 = 5*t. Let m = 70 - r. Is m a multiple of 12?
False
Let x(y) = -16 - 13 - 2*y + y**2 + 42 - 10. Does 3 divide x(2)?
True
Suppose 2*g + 4*j - 4 = 7*j, -5*j + 5 = -g. Suppose -3*m - g*l = -11, -m + 0*l = -3*l - 13. Is m a multiple of 7?
True
Suppose 0*s - 5 = -2*s + 3*u, 4*s = 3*u + 7. Suppose 5*k - s - 9 = 0. Is k*(-1 - (-4 + 2)) even?
True
Suppose -1807*l + 1805*l + 1086 = 0. Is 12 a factor of l?
False
Suppose 3*m - 2*n = -0*m + 814, 3*m = -2*n + 830. Suppose -79 = 5*g - m. Let d = g - 3. Is d a multiple of 12?
True
Let a = 447 + 6. Does 34 divide a?
False
Let j = 637 + -396. Suppose t + p + 125 = 3*t, 0 = 4*t - 5*p - j. Does 11 divide t?
False
Suppose g - 4 - 12 = 0. Suppose -400 = -g*f + 11*f. Is f a multiple of 15?
False
Let j = 72 - 391. Let q = -170 - j. Is 44 a factor of q?
False
Let b(d) = 11*d - 7. Let z be b(-3). Is (-16)/z + (386/(-5))/(-2) a multiple of 10?
False
Suppose 5*s = -0*w - w + 46, -66 = -5*s + 4*w. Let t(q) = -q - 6 + 5*q + 0*q - 3*q. Is t(s) a multiple of 4?
True
Suppose 5*s - 37 = 3. Suppose -s*h + 120 = -5*h. Is h a multiple of 10?
True
Let l(m) = -m**3 - 28*m**2 + 11*m - 41. Is l(-29) a multiple of 13?
True
Suppose h = -0*d + 2*d - 45, 4*h = -5*d + 145. Is d a multiple of 5?
True
Let n be (-18)/99 - 7630/22. Let j = 733 + n. Suppose -4*k + 5*o + 314 = 0, 8*k - 3*k - j = 3*o. Is 25 a factor of k?
False
Let c(d) = 4*d + 3. Let w be c(7). Suppose 0 = 34*u - w*u - 252. Is u a multiple of 12?
True
Let q(b) = 30*b - 1. Suppose 5*h = 39 + 51. Suppose -7*t = -h + 4. Does 15 divide q(t)?
False
Let b(k) = 9*k**2 + 16*k + 11. Let l be b(-6). Suppose 2*r + r = -5*t + 248, 3*r = 4*t + l. Is r a multiple of 8?
False
Let c(u) = -u**2 + 9*u + 7. Let a be c(10). Let z(v) = v - 4. Let k be z(a). Let g(w) = -w - 2. Does 5 divide g(k)?
True
Let t(y) = 31*y**2 - 12*y + 28. Is t(-7) a multiple of 13?
False
Suppose 0 = 3*d + 4*o - 682, -3*d + o - 95 + 757 = 0. Suppose -u - 2*t - 222 = -3*u, 2*u = -t + d. Is u a multiple of 13?
False
Let v(z) = -9*z**2 - 59*z - 5. Does 25 divide v(-6)?
True
Suppose -301*q = -313*q + 24132. Is 27 a factor of q?
False
Is (-3 + 1)*-1*2 + 1466 a multiple of 70?
True
Let y = -279 - -187. Let r = 117 + y. Is r a multiple of 16?
False
Let t(s) = -s**3 + 3*s**2 + 2*s - 4. Let w be t(3). Suppose 0 = -w*i + i + 15. Is 15 a factor of i?
True
Let i(v) = 2*v**3 + 3*v**2 + 2*v + 3. Let b be i(-2). Let t = -3 + b. Is (16/(-6))/(t/12) even?
True
Is 53 a factor of (-8)/(-6)*(-186948)/(-144)?
False
Let j = 131 - -101. Does 58 divide j?
T