90/c?
True
Suppose -1019 = 21*g - 22*g + i, -2*i + 4082 = 4*g. Is 34 a factor of g?
True
Let l = 127 + -75. Let f = 97 - l. Is 18 a factor of f?
False
Let a(g) = 1286*g - 144. Is a(2) a multiple of 60?
False
Suppose 5*k = 3*z + 540, z = -5*k - z + 565. Suppose 9*w = 6*w + k. Is w a multiple of 35?
False
Let n(c) = 5*c + 3. Let f be n(3). Let u be ((-6)/(-8))/(2/8). Let k = f + u. Is 21 a factor of k?
True
Let x be (-1 + -4)*(-504)/20. Suppose -342 + x = -4*l. Let t = -35 + l. Does 19 divide t?
True
Suppose 54*g - 58*g = -3900. Is 15 a factor of g?
True
Let c(g) = -7*g**3 + 13*g**2 + 27. Let p(m) = -4*m**3 + 6*m**2 + 14. Let q(h) = 3*c(h) - 5*p(h). Is 11 a factor of q(9)?
True
Let q be (238/42)/(2/96). Suppose -5*v = -q - 13. Is 19 a factor of v?
True
Let v(c) = -c**2 + 15*c + 1. Let u be v(12). Suppose 3*s + u = -w, 3*s - w - 17 = -64. Is 31 a factor of ((-372)/9)/(s/21)?
True
Let h(g) = g**3 + 12*g**2 + g - 9. Let t be h(-6). Suppose -2*m + t = m + 3*b, m + 2*b - 71 = 0. Does 21 divide m?
True
Does 28 divide (48/(-20) - -1) + 50816/40?
False
Let g(l) = l**3 - 3*l**2 - 2*l - 5. Let x be g(4). Suppose 5 = -2*b - 3*h + 4*h, -2*h = -x*b - 10. Is b + 7 + (-8 - -11) a multiple of 3?
False
Suppose -779 = 46*k - 47*k. Is 3 a factor of k?
False
Suppose -1751 = -9*m + 2209. Is 40 a factor of m?
True
Let o(w) be the first derivative of 7*w**2 - 11*w - 11. Does 17 divide o(8)?
False
Suppose 4*g = z + 18, 2*z - 8 + 4 = 0. Suppose g*l + 4*i - 320 = 0, -2*l + 3*i = -2*i - 95. Does 6 divide l?
True
Let y(d) = 3*d**3 - 1. Let c be y(1). Let t be (c/4)/(5/50). Suppose -2*p + 63 = -p - b, -4*p + t*b + 250 = 0. Is 19 a factor of p?
False
Suppose 0 = 20*l - 3997 - 8883. Is l a multiple of 14?
True
Let y be -1 - (40/(-5) - -11). Let d(p) = 17*p**2 + 17*p - 4. Let w(z) = 8*z**2 + 8*z - 2. Let u(m) = -4*d(m) + 9*w(m). Is 23 a factor of u(y)?
True
Let o = 568 - 414. Is o a multiple of 2?
True
Let q = -4988 - -7931. Is 14 a factor of q?
False
Suppose -3*h + 273 - 21 = 0. Is h a multiple of 3?
True
Let r(b) = 48*b + 74. Is 25 a factor of r(12)?
True
Let q(x) = -3*x - 179 + 191 - 9*x**2 + 289*x**3 - 290*x**3. Let a(c) = -c**2 + 6*c - 9. Let y be a(6). Is q(y) a multiple of 13?
True
Let x = -12 - -19. Suppose x = u - 3. Let f = 0 + u. Does 3 divide f?
False
Let u = -621 - -976. Is 11 a factor of u?
False
Is 27 a factor of 8 + (-7 - 3) + 1028?
True
Let h be (-6)/10 - 4/(40/(-66)). Let o(y) = 5*y**2 + 9*y - 4. Is 23 a factor of o(h)?
True
Does 31 divide (0 - (-1780)/50)*5*5?
False
Let s(m) = 2*m**2 + 34*m + 80. Is 100 a factor of s(-22)?
True
Suppose 2*o + 4*j = -3*o + 313, o + 5*j - 71 = 0. Suppose i - o = 9. Does 13 divide i?
False
Suppose 9*o - 1 = 116. Suppose -64 + o = -t. Is t a multiple of 13?
False
Suppose -15754 = -31*l + 58863. Is 25 a factor of l?
False
Let y(c) = c**2 - 5*c + 2. Let b be y(5). Suppose 95 = s + 3*v, -s + 2*v + 263 = b*s. Does 6 divide s?
False
Suppose -2*a - 2*d + 118 = 0, 3*d - 2*d + 112 = 2*a. Suppose -3*n + n = -b + a, -5*n - 300 = -5*b. Is 12 a factor of b?
False
Suppose -5*a + 5978 = -4*s + 2413, -3600 = -5*a - 3*s. Is 41 a factor of a?
False
Suppose 2*b - 20 = 4*t, 4*t = 3*b - 4*b - 14. Suppose -b*d - 2*j + 1140 = 2*d, d - 3*j = 292. Does 48 divide d?
False
Let r(q) = q**2 + 37*q - 124. Let m be r(-41). Let g(u) = -u**3 + 5*u**2 - u. Let p be g(4). Let h = m - p. Is h a multiple of 7?
True
Let o be 10/(-8)*(-4 - 0). Suppose -o*p + 7 + 203 = 0. Does 16 divide p?
False
Let m(v) = 11*v**2 - 9*v - 21. Suppose 16 = -5*q + 4*t, 4*q + 0*q + 3*t = -19. Is m(q) a multiple of 19?
False
Let i be -2 - 0 - 2/(-1). Let p be (2/2 - i) + 3. Suppose 2*x + v = -v + 32, -x + 31 = p*v. Is x a multiple of 4?
False
Suppose 21 = -4*r - u, 3*r = -u - 4*u - 20. Let t = r - -8. Suppose 0 = -2*j - t*j + 75. Does 7 divide j?
False
Let i(r) be the third derivative of 0 + 0*r - 2*r**2 - 7/24*r**4 - 5/6*r**3. Is 10 a factor of i(-5)?
True
Let d(x) = x**3 + 7*x**2 + 8*x + 15. Let s be d(-6). Suppose -p - p + 5*h + 246 = 0, -s*p - 5*h + 394 = 0. Does 9 divide p?
False
Suppose 6*j = 4*j - 8. Is 18 a factor of (534/j)/(3/(-4))?
False
Let w(o) = -4*o + 9. Let r be w(3). Let g(q) = -18*q - 5. Let i be g(r). Suppose 3*p - i - 182 = 0. Is p a multiple of 20?
False
Suppose -452 = -3*m + y, 0 = -2*y - 3*y - 10. Let z = 22 + m. Is z a multiple of 18?
False
Let v be 8/7*(-7)/(-2). Suppose 2*a + m = -167, -3*m + 0*m = -v*a - 319. Does 10 divide 2/(-4) - a/4?
True
Let c be 1*4/6*-39. Let o = 61 - 77. Let m = o - c. Is m a multiple of 5?
True
Let n = -7884 + 11836. Does 8 divide n?
True
Let c be 3*(-39)/3 + 2. Let r = 1 - c. Is r a multiple of 10?
False
Suppose 8*u - 10 = 3*u. Suppose y + 2*q + 6 = 5*y, 5*q - 6 = 3*y. Suppose 5*l + u*k - 102 = 2*l, -y*l = 3*k - 99. Is l a multiple of 17?
False
Let m be (3/(-9)*-3)/(-1). Let u be 2 + (-10)/m + 4. Suppose -b + 11 + u = 0. Is 9 a factor of b?
True
Let u(x) be the first derivative of x**2/2 + 95*x + 25. Is 10 a factor of u(0)?
False
Suppose 0 = -5*m + 4*m + 3, 2*m = -5*k + 16. Let h be (k - -1)*(-25)/(-15). Suppose -230 + 20 = -h*x. Does 14 divide x?
True
Let z(u) = 3*u**2 - 7*u. Let l be (-2)/(-10)*0 + 1. Let j be l/(((-16)/20)/(-4)). Is 19 a factor of z(j)?
False
Suppose 4*i = -4*r + 5620, 39*i - 34*i = 2*r - 2824. Is 7 a factor of r?
True
Let k(n) = n**2 - 5*n - 3. Let w be k(6). Suppose -w*b + 8 = b. Suppose -4*f - 20 = -4*v, 0 = b*v - 0*v + f - 10. Is 5 a factor of v?
True
Suppose 640 = 3*n + 5*n. Is 20 a factor of n?
True
Let v = 515 - 275. Suppose -7*q + 5*q + v = 0. Does 24 divide q?
True
Let b = 3 + 0. Suppose -b*u + 34 = -2*i + 103, 3*i - 101 = 5*u. Suppose o - 2*o = -i. Is o a multiple of 14?
True
Suppose -10*f - 486 = -7*f. Does 9 divide ((-4)/6)/(6/f)?
True
Suppose -y = -6 - 4. Does 16 divide 1 - 616/(-18) - y/45?
False
Let a = 7 + -1. Suppose -4*o - c + 2 = 0, -o + 0 + a = 3*c. Suppose o = -5*s + 29 + 21. Is 3 a factor of s?
False
Let r = -14 - -18. Suppose 5*c + 207 = r*y, c - 2 = -c. Is y a multiple of 17?
False
Suppose 5*d - 141 = 39. Let g = d + -27. Suppose 2*z + m - 23 = 4*m, z = m + g. Does 2 divide z?
True
Let f(a) = 10 + 0*a**2 + 7*a + 4*a + 4*a**2. Is 16 a factor of f(-4)?
False
Suppose 4*z - 2*z = 3*x + 28, z - 4*x = 24. Let r = -19 + z. Let s = 31 - r. Does 14 divide s?
True
Let f(r) = 235*r - 90. Is 15 a factor of f(6)?
True
Suppose l - 9*l = -3800. Does 25 divide l?
True
Let p be (-4)/6 + (-1)/3 + 8. Let o(w) = 5*w**2 - 25*w + 2. Does 8 divide o(p)?
True
Let k(d) = -d - 1. Let j be k(-1). Let b(s) = -s - 14. Let x be b(-12). Does 21 divide (1 - j) + x - -22?
True
Suppose -f + 8 = 13, 0 = -h + 4*f + 509. Does 86 divide h?
False
Let w(p) be the third derivative of -p**4/8 + 5*p**3/6 + 13*p**2. Does 8 divide w(-11)?
False
Let u = 1 + -9. Let h(o) = -43*o - 18. Let i be h(u). Suppose 5*t = i - 111. Is 13 a factor of t?
False
Suppose 5*j + 3*d = -8 + 39, 0 = 5*j - 5*d - 15. Suppose -2*l - 739 = -j*o - 251, -3*o + 5*l + 308 = 0. Is o a multiple of 32?
True
Suppose -4*i + 2087 = 23. Let h be (i/(-9))/((-5)/15). Suppose -u + h = 3*u. Is u a multiple of 17?
False
Let j be ((-12)/10)/(1/(-4930)*2). Does 47 divide (-2)/(-6) - j/(-9)?
True
Let r(k) = -k - 13. Let z be r(-19). Let h = 25 - z. Is h a multiple of 15?
False
Let o(g) = g**2 - 14*g + 6. Does 6 divide o(-18)?
True
Let q(v) be the first derivative of -v**4/4 + 5*v**3/3 - 2*v**2 + 4*v + 11. Is q(4) even?
True
Let r be (-36)/16 - (-3)/12. Let w be 2/4 - (-3)/(-2). Is 15 a factor of (r - -33) + w + 0?
True
Let c(z) = 25*z + 44. Is 30 a factor of c(6)?
False
Let c be (0 + (-17)/(-3))*3. Let q(v) = 12*v - 40. Does 8 divide q(c)?
False
Does 10 divide (-36)/(-4) + -6 - -827?
True
Suppose -80 = 2*v + 68. Is 6/(-3 - v/24) a multiple of 8?
True
Let k be 6/27 + 29/(-9). Let o(a) = -a**3 + 4*a**2 + 7*a - 2. Let u(p) = -p**3 + 5*p**2 + 8*p - 3. Let d(y) = k*u(y) + 4*o(y). Does 17 divide d(-3)?
False
Suppose 219*n = 263*n - 93632. Does 131 divide n?
False
Let y = 1055 + -525. Does 9 divide y?
False
Let i be ((-39)/26)/((-39)/48 - -1). Does 12 divide i*(-2)/((-16)/(-130))?
False
Let p(z) = 18*z + 3. Let y = -31 + 33. Does 10 divide p(y)?
False
Suppose 3*x + 448 = 5*x. Is 16 a factor of x?
True
Let u(r) = r**3 - 5*r**2 + 2*r - 3. Let j be u(3). Does 23 divide (-1)/((-2)/20*(