-415 - -410. Does 88 divide (2/4 + 0)/(n/(-8410))?
False
Let h(u) = -2*u**3 - 6*u**2 - 5*u. Let g be h(-2). Suppose -7 + 22 = 3*p. Suppose l - p*n = 100 - 0, -4*l + g*n = -490. Does 15 divide l?
False
Let y(o) = 70*o + 210. Is 18 a factor of y(24)?
True
Let k be (0/3 - -3)/(9/(-60)). Is 11 a factor of 20/(129/32 - (24 + k))?
False
Suppose -2*z + 64 = 6*z. Suppose 12*j = 10*j + z. Suppose -x + 175 = j*x. Does 7 divide x?
True
Suppose -97 = -5*a - 97. Suppose -o + 220 + 324 = 4*s, a = -3*o. Is 34 a factor of s?
True
Suppose 463*z - c - 25893 = 460*z, 3*c = -z + 8631. Is z a multiple of 21?
True
Let t be -2 - (-7)/((-21)/(-6)). Suppose 2*m - h - 155 = t, h + 50 = m - 25. Suppose 8*y - 6*y = m. Is y a multiple of 12?
False
Suppose 4*l - 36780 = 19*y - 21*y, -3*l - 92015 = -5*y. Does 200 divide y?
True
Let y = 22921 - 13681. Is y a multiple of 10?
True
Suppose 1598765 = 7*s + 24*s + 4*s. Does 236 divide s?
False
Suppose -24 = 2*t - x, 5*t + 61 = 4*x - 2*x. Let r be (-6894)/(-26) + (-6 - 76/t). Let j = r - 174. Is j a multiple of 13?
True
Let b(z) = 0 - 7*z + 6*z**2 - 5*z**2 + 30 - 3*z. Let s be (4/(-16))/(5/(-180)). Is 5 a factor of b(s)?
False
Let o(q) = q**3 + 17*q**2 - 19*q - 12. Let y be o(-18). Let d = 29 + -26. Suppose -5*l - 4*u = -724, -717 = l - y*l + d*u. Is l a multiple of 36?
True
Let a(f) = -f**3 - 13*f**2 + 13*f - 9. Let q be a(-14). Suppose -4*d = -3*h + 631, q*h - 3*d + 2*d - 1063 = 0. Let w = h + -132. Is w a multiple of 9?
True
Let k(p) = 18*p**2 - 6*p - 7. Let v be k(-5). Suppose -v - 73 = -3*d. Is 7 a factor of d?
True
Let b(m) = 67*m - 953. Is 4 a factor of b(52)?
False
Let u(i) = -i**3 + i**2 + 5*i - 14. Let r be u(-6). Suppose 0 = -s + r + 72. Suppose 28 = -6*l + s. Is 16 a factor of l?
False
Let v(z) = -7*z**2 + 4*z - 12. Let j(y) = 15*y**2 - 8*y + 24. Let x(u) = 3*j(u) + 7*v(u). Let n be x(4). Does 23 divide (n/9)/((-14)/483)?
True
Let y be 0 - (-155)/6 - (-25)/150. Suppose -y*d = -27*d - 93. Let a = 138 + d. Does 5 divide a?
True
Let q(j) = j**2 - 12*j - 10. Suppose 2*m - 4*m = 2*m. Suppose 3*a = 2*y - 49, m*a = 3*y + 3*a - 36. Does 19 divide q(y)?
False
Let n(l) = 36*l - 13. Let t be n(18). Suppose -2*q = -4*g + 1214, -4*g - 2*q = -599 - t. Does 15 divide g?
False
Suppose -g + b = -3915 + 814, -3*g + 5*b = -9289. Does 13 divide g?
False
Let u be ((-12)/10)/(3/15) - -6. Suppose 43*c - 63*c + 1800 = u. Is 5 a factor of c?
True
Is 12 a factor of (-17)/((-459)/136764) + (-5)/15?
False
Let i be -1*(552/10 - 3/15). Let p = -55 - i. Suppose p = -5*t + 2*l + 416, 0*l - 425 = -5*t + 5*l. Is t a multiple of 17?
False
Let v(z) = 63*z**2 - 46*z + 368. Does 88 divide v(12)?
True
Suppose 21 = 10*j - 3*j. Is 4 a factor of 126 + (-4 - (j - 1))?
True
Suppose 2*v - 42 = 3*v - p, v = -3*p - 58. Let z = -47 + 81. Let n = z - v. Is 16 a factor of n?
True
Let r be 20/(-190) + (-40)/(-19). Let p(d) = -9*d + 3*d - 10*d + 3 + d**3 - 26*d**2 + 9*d**r. Is 13 a factor of p(18)?
True
Let q(f) = 3*f**2 - 17*f - 465. Is q(35) a multiple of 10?
False
Suppose 5*l + 2942 = -1393. Let s = l + 1256. Is 16 a factor of s?
False
Let a = 5659 - 4014. Suppose a = 37*z - 30*z. Does 5 divide z?
True
Let l(t) = 24*t**2 - 49*t + 200. Does 5 divide l(5)?
True
Suppose 5*u - 2*v - 27 = 0, v = 4*u + 4*v - 17. Is 47 a factor of (1 - 6)*(-329)/u?
True
Suppose -68 = 24*o - 7*o. Let l(b) = 158*b**2 + 6*b + 10. Let d be l(o). Is 8 a factor of d/45 + 18/135?
True
Let f be -2*270 - (3 + 0). Let m = f - -928. Is m a multiple of 11?
True
Let h(w) = 23*w**3 + w**2 - 3*w + 8. Let m be 26 + -26 + (1 - -1). Is h(m) a multiple of 58?
False
Let m = 56129 + -13094. Does 32 divide m?
False
Let k = 254 + 2952. Is k a multiple of 54?
False
Suppose 4*l - 17 = -p, -3 = -3*p - 0. Suppose 0*k + 151 = 5*q + l*k, -k + 154 = 5*q. Suppose -q = 3*b - 166. Is 15 a factor of b?
True
Let m = 260 + -266. Is (-6 - m)/1 - -355 a multiple of 29?
False
Let u(x) = x**2 - 40*x + 82. Is u(72) a multiple of 79?
False
Suppose 1692 = 5*w + 3*o, 3*w - 3*o - 795 = 225. Is 14 a factor of w?
False
Let p = 27 - 22. Suppose -3*m = p*m. Let n(l) = 4*l + 31. Is 23 a factor of n(m)?
False
Let o be (9 + (-3)/3)/2. Suppose b + 0 = 4*h - 3, 2*b - o = 3*h. Suppose b*q + 67 = 2*u - 457, -5*u + 3*q = -1272. Is u a multiple of 12?
True
Let i be ((-8)/4)/(1/(-8)). Let k(v) = 5 - i + 6*v + 1 + 2*v**2 + 3*v. Does 8 divide k(-6)?
True
Suppose 455*v - 25 = 460*v. Is 30 a factor of 39/(v + (-1472)/(-292))?
False
Let k(l) = -2*l + 18. Let j be k(8). Suppose -3*v + 468 = 7*m - 12*m, -312 = -j*v - 4*m. Is 4 a factor of v?
True
Let n = 19791 + -18246. Does 9 divide n?
False
Let d(u) = -u**3 + u**2 - 17*u + 197. Is d(-20) a multiple of 30?
False
Let l be (-96)/(-9)*9/6. Suppose -2*s + 5*z = -30, 30 + l = 2*s - z. Is 4 a factor of s?
False
Let v(h) be the third derivative of 28*h**6/15 - h**4/24 + h**3/6 + 61*h**2. Does 56 divide v(1)?
True
Let y = 22 - 17. Suppose 4*f - 5*l - 9 - 7 = 0, -3*l = y*f - 57. Is 8 a factor of (-36)/(-30)*f/(27/280)?
True
Let b = 270 - 253. Suppose -721 = b*k - 3458. Is k a multiple of 22?
False
Suppose u + 0*u = 5*t - 20, 2*u = 2*t - 8. Let r be (19637/(-511))/(2/(-14)). Suppose 0*k + p - r = -2*k, 416 = 3*k + t*p. Is k a multiple of 11?
True
Suppose -z = -4*q + 19018, 126*q = 123*q - z + 14274. Is q a multiple of 58?
True
Let n = 984 - 551. Let l = n - 92. Suppose 2*b = 5*y - 88 - l, 164 = 2*y + 3*b. Is 17 a factor of y?
True
Let h be 4836/(-155) + (0 - 1/(-5)). Let d be 12/(-8) + 3/6 + h. Let a = 33 - d. Is 13 a factor of a?
True
Suppose -5*y = -2*r + 10, -5*y = 18*r - 13*r + 10. Suppose 141*w - 152*w + 396 = r. Is w a multiple of 18?
True
Let a(o) be the first derivative of o**2/2 + 3*o - 2. Let t be a(-2). Is 4 a factor of (-3 - -69)/3 + t?
False
Let u(m) = -3*m**2 - m + 3. Let a be u(0). Suppose -4*c + 5*t + 105 = -886, -a*c - 4*t = -751. Does 28 divide c?
False
Let s = 15 + 12. Suppose 0 = -3*t + 876 - s. Let i = t + -140. Is 37 a factor of i?
False
Let x(n) = 7*n - 26. Let g be x(4). Suppose 4*d - 488 = 4*v, 243 = g*d - 0*d - 3*v. Does 8 divide d?
False
Suppose 2*h + 3*c = 365, 25 = -6*c + c. Suppose 2*y - h - 2065 = -5*o, -5*o = 3*y - 2255. Does 12 divide o?
False
Suppose -4*u + 5*r + 28 = 0, -u + 6*r - r = -22. Suppose u*h + 4*b - 200 = 0, -3*h - 7*b + 5*b + 292 = 0. Is h a multiple of 39?
False
Is 58 a factor of 90/(-6) + 8 + 2907?
True
Suppose i - 133387 = -3*n, 58*i - 59*i = -7. Does 36 divide n?
True
Is 21 a factor of 89946/21 + ((-1836)/119)/(-18)?
True
Suppose -2*c - 5*h + 661 = 0, 537*c = 532*c - 4*h + 1610. Does 53 divide c?
True
Suppose 32*x = 28*x - 4180. Let u be (x/(-44))/(1/4). Suppose -u - 30 = -5*s. Is 25 a factor of s?
True
Let h = 22973 - -63. Is 26 a factor of h?
True
Let d be -1 + (1 - 0) + 9. Suppose 0 = -4*z + 13*o - 8*o + 345, 254 = 3*z + o. Suppose -212 - z = -d*v. Is 8 a factor of v?
False
Suppose 100*c - 165864 = 102690 - 12054. Is 15 a factor of c?
True
Suppose 46*x = 577787 + 417147. Does 14 divide x?
False
Suppose -4*b = -12, 0 = 3*s + 124*b - 120*b - 1443. Does 3 divide s?
True
Is -11 + 3765 + 13 - -5 a multiple of 7?
False
Let b(w) = 4*w**3 - 2*w**2 - 6*w + 11. Let z(f) = -f**3 + f**2 - f + 1. Let l(a) = b(a) + 3*z(a). Is 49 a factor of l(7)?
True
Let k be (-1238)/2 + (-7 - -11). Let q be ((-60)/(-8))/(2 - k/(-312)). Suppose 0 = -2*d + 7*d - q. Is 10 a factor of d?
False
Let r(q) = 53*q + 59. Let z be r(11). Let k = z + -170. Is k a multiple of 11?
False
Let p = 494 + -85. Suppose 6*v - p = 317. Let l = 177 - v. Does 14 divide l?
True
Let j = 229 - 223. Suppose -5*t - 2*d + 347 = 0, -t - j*d + 7*d + 68 = 0. Is 23 a factor of t?
True
Suppose -2*u + 517 = h, 7*u = 3*u + 4. Suppose -s + h = 132. Does 29 divide s?
False
Let w(o) = -2*o**3 + 3*o**2 + 4*o + 1. Let p = -96 - -172. Let h = p - 79. Does 7 divide w(h)?
True
Suppose 3*h = -5*h + 120. Suppose 884 = h*t - 1996. Is t a multiple of 25?
False
Suppose 4*a - p = 77460, -3*a + 4*p - 38694 = -96815. Is 17 a factor of a?
True
Let x = -457 + 2482. Is x a multiple of 135?
True
Let j = -32 + 85. Let w be (-17)/(-1) - 12/6 - -2. Let p = j - w. Does 9 divide p?
True
Let m(v) = -13*v**3 - 2*v**2 + 2. Let x be m(-1). Suppose 5*q = -2 - x. Is ((-1)/q)/(10/1815)*2 a multiple of 13?
False
Suppose -c = c - 4. Let t be (-3)/(-2)*(c 