uppose 3*m - 2*f = -13 + 155, 2*f = -4*m + 194. Is 16 a factor of m?
True
Let y(n) = n - 8. Let i be y(12). Let h = 29 + i. Does 11 divide h?
True
Suppose 24 = 3*o + 4*c - 205, -4*c = 4*o - 312. Does 22 divide o?
False
Let t = 218 + -108. Let b(n) = -13*n + 6. Let j be b(-5). Let m = t - j. Does 21 divide m?
False
Let r = -1 + 2. Let n = r - 7. Let d = 10 + n. Is 4 a factor of d?
True
Let p be 1 + 0 + -1 + 2. Suppose -p*j = j - 12. Suppose -b = 4*b - 5*o - 165, 0 = -j*b + 5*o + 137. Does 14 divide b?
True
Is (-13)/(-4)*(-1 - -13) a multiple of 11?
False
Is (4/8)/((-4)/(-1760)) a multiple of 20?
True
Suppose q + 2*q = 15. Suppose 56 = q*t - t. Does 14 divide t?
True
Suppose 0 = -7*d + 8*d - 74. Is 31 a factor of d?
False
Let b = 11 - 7. Let f(u) = -u - 8. Let k(i) = -1. Let d(p) = b*f(p) - 28*k(p). Is 10 a factor of d(-8)?
False
Suppose -1950 = -5*c + 4*n, 7*c + 2*n = 3*c + 1560. Is 65 a factor of c?
True
Let j = -9 + 8. Does 9 divide (1 - -1)/(j/(-9))?
True
Let l = 4 - 6. Let u be l*-1*-2*19. Let w = u + 133. Does 19 divide w?
True
Let k be (-14)/21 - (-5)/3. Let y be (2/4)/(k/(-50)). Let b = -9 - y. Is 11 a factor of b?
False
Suppose 5*g - 3*y - 234 = 0, 4*y = 2*g - 117 + 15. Does 8 divide g?
False
Let l be -1 + (-5 - -2)/1. Let p(f) = 2*f**2 - 7*f - 6. Does 22 divide p(l)?
False
Let x(j) = j. Let n be x(0). Let v = 0 - n. Suppose v = 3*a - 4*a + 3. Is 3 a factor of a?
True
Let w(z) = z**2 + 19*z + 23. Let s be w(-18). Suppose s*n + 2*k - 300 = -3*k, 0 = 5*n + 3*k - 308. Is 20 a factor of n?
False
Let z(b) = b**3 - 5*b**2 + 4*b + 2. Let h = -4 + 7. Suppose -5*l + g + 0*g + 20 = 0, -h*g + 15 = 0. Is 14 a factor of z(l)?
False
Suppose -134 = -5*b - 4*r, 4*b = -0*b - r + 116. Does 6 divide b?
True
Suppose -4*m + u = -20, -4*m = -2*u - u - 12. Is (9 + 2)/(2/m) a multiple of 17?
False
Let n = -304 + 507. Does 29 divide n?
True
Suppose 4*a - 16 = l, -l + 3*a = -0*l + 11. Let u(d) = 3*d + 0*d**2 + 0*d**2 + 5*d**2 - l*d**2. Is u(-7) a multiple of 8?
False
Suppose -228 = -2*a + 1212. Suppose -l + a = 4*l. Suppose -4*v = -0*v - l. Is 18 a factor of v?
True
Suppose 13 = 4*i + 3*x - 11, x = -4*i + 24. Let t = i + 2. Is t a multiple of 8?
True
Let d(t) = t**3 - 9*t**2 + 10*t - 8. Let r be d(8). Suppose 0 = 4*u - r*u + 36. Let h = 4 + u. Does 7 divide h?
False
Let p = 10 - -200. Does 14 divide p?
True
Suppose 2*h + 51 = -93. Let p = -9 - h. Is 21 a factor of p?
True
Let j = -11 - -15. Suppose -9 = -j*c + c. Is c a multiple of 3?
True
Suppose 69 + 15 = 3*w. Suppose 3*y = y + w. Is y a multiple of 6?
False
Let h(d) = d**3 + 7*d**2 + 6*d + 2. Let l be h(-5). Suppose -3*p + 108 = -0*p. Let k = p - l. Is 5 a factor of k?
False
Let m = 33 + -3. Is 15 a factor of m?
True
Let r = 31 - -8. Let w = r + -26. Is 11 a factor of w?
False
Suppose -5*l + 147 = g, 3*l + 634 = -g + 5*g. Suppose -2*m = 2*i - 14, 17 = 2*m - i - 3. Suppose -2*p = p + m, -4*w = 5*p - g. Is 17 a factor of w?
False
Suppose 2*p + 45 = 7*p - 5*t, 2*p = 4*t + 26. Let f(r) = 6*r - 6 + 0 - 1. Is f(p) a multiple of 7?
False
Let w = 16 - 12. Suppose 0 = w*k - 2*k - 72. Is k a multiple of 15?
False
Let h be (2/4)/(5/(-270)). Does 40 divide 1/3 - 2151/h?
True
Suppose n = b - 18, -2*n - 8 = 3*b + 2*b. Let v be 16/6 - (-4)/(-6). Is 6 a factor of 4/((-4)/v) - n?
True
Suppose 8*q - 1920 = -0*q. Does 16 divide q?
True
Let u = 10 - 7. Suppose -2*f - u*f = -250. Is f a multiple of 11?
False
Let v = 7 + -7. Suppose v*u = 5*u - 50. Is 10 a factor of u?
True
Let v(y) = 2*y + 2. Let u = -5 - -2. Let d be v(u). Let t = 13 + d. Is 6 a factor of t?
False
Let u(t) = -26*t - 17. Let j(b) = -17*b - 11. Let h(i) = 8*j(i) - 5*u(i). Does 2 divide h(-2)?
False
Suppose -4*m - 30 = -2*n, 2*n = n + 3. Let q be m/4*(10 + 2). Is 9 a factor of (q/4)/(1/(-4))?
True
Let u = -37 - -58. Is 5 a factor of u?
False
Let p(k) = 5*k**3 - k**2 - 6. Let q(h) = 6*h**3 - h**2 + h - 7. Let t(g) = 4*p(g) - 3*q(g). Is 23 a factor of t(3)?
False
Let n(s) = -5*s - 10. Let w(k) = 10*k + 1. Let g be w(-1). Does 10 divide n(g)?
False
Is 6 a factor of -4 - ((-98)/2 - -4)?
False
Suppose l = 5*l. Suppose l = 3*i + i - 216. Is i a multiple of 18?
True
Let o = 14 - 9. Let g be o/10 + 19/(-2). Does 13 divide (6/g)/(2/(-111))?
False
Suppose l = 6*l - 155. Suppose -i = -2 + 19. Let s = i + l. Does 14 divide s?
True
Suppose -4*s + 38 + 50 = 0. Is 4 a factor of s?
False
Let v(f) = f**3 + 2*f**2 - 5*f - 3. Let r(b) = -b**2 - 3*b - 3. Let w be r(-3). Is v(w) a multiple of 2?
False
Suppose -4*u + 6*f - 24 = f, -u + f = 6. Let w(l) = -l**3 - 7*l**2 - 7*l + 1. Let n be w(u). Let m(g) = -g**3 + 8*g**2 - 2*g + 5. Is m(n) a multiple of 20?
True
Suppose -a = y + 2*y - 1, -5*a - 6 = 4*y. Let k(p) = 28*p**3 - p**2 + p. Is k(y) a multiple of 18?
False
Let p = -125 - -231. Is p a multiple of 28?
False
Let z be (4 - (2 - -2)) + -3. Does 5 divide z/1 + 46/2?
True
Let b(s) = s**3 + 3*s**2 - 2*s - 1. Let x be (0/(-2))/((-4)/(-2)). Let m = x + -2. Is b(m) a multiple of 5?
False
Suppose 74*f = 77*f - 39. Does 13 divide f?
True
Let w(p) = p**3 - p**2 + 28. Does 7 divide w(0)?
True
Suppose 0*h = 3*h - 3. Let n(a) = 20*a - 1. Does 6 divide n(h)?
False
Let v(a) = 9*a**2 - 1. Let x be v(-1). Is 65 + -1 - x/(-4) a multiple of 12?
False
Does 10 divide -169*(-1 + 0) - (-3 - -2)?
True
Let n be 12 - (-3 - -2 - -3). Let v(q) = q**3 - 9*q**2 - 10*q + 12. Is v(n) a multiple of 6?
True
Does 2 divide (-495)/(-44) - 1/4?
False
Suppose 3*f + 98 = 2*c + 299, -4*c - f = 423. Let i = c + 153. Is i a multiple of 16?
True
Let g = -27 - -17. Is 6/g - 369/(-15) a multiple of 5?
False
Let a be ((-12)/10)/(16/(-680)). Suppose -2*q + a = -1. Is q a multiple of 13?
True
Suppose 2*u + 5*j = 57, 0*j = 3*j + 9. Does 4 divide u?
True
Let o(m) = m**3 + m + 6. Suppose x + 5*n - 10 = 0, x - 3*n + 10 = 2*n. Does 4 divide o(x)?
False
Suppose 0 = u - 0*u - 2. Suppose 3 = s - 2*f - 8, u*s = 5*f + 25. Does 4 divide 2/s - (-28)/5?
False
Suppose 3*o = -m + 28, 5*m + 3*o - 75 - 53 = 0. Is 8 a factor of m?
False
Let j = -1 - -1. Let a = j - -15. Is a a multiple of 13?
False
Suppose 0 = v - 3*v + 108. Is 9 a factor of v?
True
Let t(x) be the first derivative of x**3/3 + 3*x**2/2 + 4*x - 2. Let s be t(-5). Let r = s - 8. Does 3 divide r?
True
Suppose 0 = -g - 0*g + 3*c + 194, -4*g - 3*c = -746. Suppose 0 = -s - 3*s + g. Let w = s - 32. Does 15 divide w?
True
Suppose 4*m = -3*l + 72 + 263, 5*m = -l + 119. Is 13 a factor of l?
False
Let t be (10 + 1)*(-2 - -3). Suppose -2*h + 85 = -t. Is 16 a factor of h?
True
Suppose 5*d - 2*b - 862 = -5*b, 5*d + 2*b - 858 = 0. Is 10 a factor of d?
True
Suppose 0 = -3*w - 2*c - 2, 4*w + 2*c = -2*c. Let g(i) be the second derivative of i**4/6 + i**3/6 - i**2 + i. Is 3 a factor of g(w)?
False
Suppose -6*n + 9*n = 18. Is n a multiple of 2?
True
Suppose 0 = m + 2 - 0, -4*h + 3*m + 86 = 0. Is h a multiple of 9?
False
Suppose -5*k - 448 = -9*k. Does 16 divide k?
True
Suppose -5*f = -7*f + 32. Does 13 divide 13/(3 - f/6)?
True
Let l(c) = -7*c**2 - 4*c + 1. Let d be l(-3). Suppose -4*a = -2*j - 208, -4*j - 268 = -5*a + 136. Let f = d - j. Does 23 divide f?
True
Let t be 2/(1 - 13/15). Suppose -3*s = -t, -3*v + 2*s = -v. Suppose v + 19 = k. Is 12 a factor of k?
True
Suppose 0*r + 264 = 4*r. Is r a multiple of 14?
False
Let t = -77 + 95. Is 3 a factor of t?
True
Suppose -t = -2 - 5. Suppose 0 = -2*d + t*d + 5. Let j(o) = -31*o + 1. Does 16 divide j(d)?
True
Suppose 0 = -2*t + w, -3*w + 7*w = t. Suppose 0 = -t*z + z - 8. Is z a multiple of 8?
True
Let n(x) = -x - 1. Let b be n(-1). Suppose -2*j = a - 45, j - 45 = -5*a - b*a. Is j a multiple of 4?
True
Suppose -4*a + 3*o + 216 = 0, 0*a = 3*a - 3*o - 159. Is 11 a factor of a?
False
Let o(k) = -9*k - 7. Let n be o(-5). Let z = -1 + n. Is 10 a factor of z?
False
Suppose 0*u - 7 = -u. Is 7 a factor of u?
True
Let y(p) = p**3 - 8*p**2 - 12*p - 7. Let j be y(10). Suppose 0 = 5*z, 2*z + 19 = -3*g + j. Is 18 a factor of g?
True
Let c = 1 - 1. Let q be (c + -17)/(-5 - -4). Is q + ((-6)/(-3) - 3) a multiple of 6?
False
Let b(q) = -q**2 - 2*q - 2. Let p be b(-2). Let d be p/7 - 6/(-21). Suppose 0 = -d*h - 4*h + 3*w + 59, 4*h - 5*w - 53 = 0. Does 6 divide h?
False
Is 9 a factor of 32/3*(-18)/(-12)?
False
Let n be -6*(-2 - (-26)/4). Is n*(-16)/60*5 a multiple of 1