- 6*s - t = -s. Is 11 a factor of b?
True
Let w(q) = q**2 - 2*q - 5. Let l be (-2)/5 - 66/(-15). Let m be w(l). Suppose -m*h = -n + 3*n - 25, -3*h + 5 = -2*n. Is h a multiple of 2?
False
Let a = -10 - -14. Is 11 a factor of 242/14 - a/14?
False
Suppose 2*v + 2 = 10. Let s = 10 - v. Suppose -4*p + 79 = -3*h, s*p + 5*h - 125 = p. Does 12 divide p?
False
Does 2 divide 63/5 - 20/(-50)?
False
Suppose -2*k - 2*t = -5*k + 160, -4*k - 4*t = -200. Suppose -2*r + 3 - 45 = 3*h, 0 = -2*r - 5*h - 42. Let i = k + r. Is 11 a factor of i?
False
Let z(g) = g - 4. Let l be z(4). Is 20 a factor of l*4/12 + 88?
False
Let l(x) = -x**3 + x**2 - x + 32. Does 16 divide l(0)?
True
Suppose 3*h = 3 + 6. Let d(r) = 2*r**3 - 4*r**2 - r + 1. Is d(h) a multiple of 6?
False
Suppose 0 = 10*z - 7*z - 12. Does 3 divide z?
False
Let u(k) = -k**3 + 7*k**2 + k + 2. Is u(6) a multiple of 22?
True
Suppose -5*b = -4*b + 6. Let w be (1/(-2))/(3/b). Let f = 6 + w. Is 3 a factor of f?
False
Let c = 103 + 11. Let v = c - 79. Is 12 a factor of v?
False
Let q(u) = -3*u**3 + u**2 + 2*u + 1. Let b be q(-1). Let h = -2 + b. Is 1 + h + -2 - -16 a multiple of 16?
True
Let j(k) = 4*k**3 - k**2 + 4*k - 7. Does 4 divide j(3)?
True
Let d(t) = 3*t**3 + t - 2. Does 7 divide d(2)?
False
Let f(u) = u**2 - 3*u - 1. Let v = 46 + -32. Suppose -g - g = -v. Is 11 a factor of f(g)?
False
Suppose -v + t = 3, 3*t - 8 = -5*v + 1. Let d = 0 + v. Suppose d = s + s - 30. Is s a multiple of 15?
True
Let g(l) = -l**2 + 4*l + 5. Let u be g(5). Suppose c + 3*c - 4 = u, 84 = 4*m - 4*c. Does 11 divide m?
True
Let w be 6/3 + -2 - 54. Let d be 2/9 - 150/w. Suppose -d*n = 2*n - 100. Does 10 divide n?
True
Let r = -69 - -136. Does 9 divide r?
False
Let d = 14 + -9. Let n = 7 + d. Is n a multiple of 12?
True
Suppose -5*k - 21 = -z, 3*z + 2 - 1 = -k. Let o be -6*(-6)/9 - z. Suppose -4*h - 51 = -o*t, 0 = -t + 5*h + 1 + 5. Is t a multiple of 8?
False
Does 35 divide ((-46)/(-10) - (-6)/15)*27?
False
Let p be (-60)/4*(-1)/3. Suppose 0 = -p*u - 0*u - 360. Is 12 a factor of (-5 - -4)/(3/u)?
True
Let n(x) = -58*x - 5. Is 8 a factor of n(-5)?
False
Suppose -6*h = -11*h + 500. Is 7 a factor of h?
False
Suppose -g = 4*g - 340. Is g a multiple of 20?
False
Let i = 9 + -6. Let v = i - 2. Let p = v + 9. Is p a multiple of 5?
True
Let v be 190/8 + 6/(-8). Suppose 3*n + 4*q = v, -q = 1 - 0. Is 4 a factor of n?
False
Let c = 102 - 36. Is c a multiple of 20?
False
Is 47 a factor of 465 + (10 - (1 - -4))?
True
Let c(u) = -u**2 - 12*u + 18. Is 5 a factor of c(-13)?
True
Let x(g) = -6*g**3 - 2*g - 1. Let f be x(-1). Suppose -3*t = f - 97. Is t a multiple of 10?
True
Suppose 5*n = 4*b - 126, n - b + 14 = -3*b. Let c = 78 + n. Does 24 divide c*(-12)/14*-1?
True
Suppose 0 = -3*v - 246 + 873. Does 19 divide v?
True
Does 18 divide 54 + 0*(-2)/(-8)?
True
Let f be ((-1)/2)/((-1)/(-50)). Suppose 5*t - 1 = -a, 0 = -0*a - a + t + 1. Let o = a - f. Is o a multiple of 20?
False
Suppose 14 = d - 3. Is d a multiple of 3?
False
Suppose -2*g + 2*h = 4*h - 18, -3*g + h + 7 = 0. Let o = 47 - 13. Let f = o + g. Is f a multiple of 17?
False
Let a be 8/12 - (-8)/6. Suppose -3*l + a*l + 32 = 0. Does 16 divide l?
True
Let f(m) = m**2 + 11*m - 31. Does 19 divide f(-24)?
False
Let h = -49 + 66. Does 5 divide h?
False
Let p(f) = -f**3 + 4*f**2 - f + 5. Let y be p(4). Let r(z) = z**3 + 2*z**2 - z + 0*z**3 - 3*z**2 - z**2 + y. Is 7 a factor of r(3)?
True
Suppose 0 = 2*x - 5*x - 174. Suppose 0 = -4*u + u - 18. Is x/u - (-1)/3 a multiple of 10?
True
Let i = 14 - 5. Does 3 divide i?
True
Let v(b) = -b**2 - 5*b + 1. Let f be v(-6). Let l = f - -10. Is 3 a factor of l?
False
Suppose -2*w + w + 78 = -2*f, 5*f + 152 = 2*w. Is 8 a factor of w?
False
Let f be (-4)/18 - (-364)/18. Let h = f + 31. Is h a multiple of 17?
True
Suppose 4*t + 9 = 5*u, -38 + 3 = -5*t - 3*u. Suppose 3*f = -2*k + 31 + 95, 4*k + 188 = t*f. Does 22 divide f?
True
Suppose -c + 3*s = -20, -5*c = 5*s - s - 5. Is c a multiple of 5?
True
Let b(m) = -m**2 + 12*m + 6. Is b(6) a multiple of 14?
True
Let w(f) be the second derivative of -f**3/3 + 17*f**2/2 - 5*f. Does 22 divide w(-17)?
False
Does 29 divide -1*(-163)/(-4 - -5)?
False
Let k = -71 + 111. Does 8 divide k?
True
Let f = 12 + -8. Suppose q + 6 = 2*q + h, 27 = f*q + 5*h. Is q a multiple of 3?
True
Let k = 9 + 31. Does 10 divide k?
True
Let v be ((-3)/(-9))/(3/27). Suppose -2*h = -h - v. Is h a multiple of 3?
True
Let o be -1 + -1*(-5 + 2). Suppose 0 = -o*y - 3 + 91. Is 11 a factor of y?
True
Suppose 0*b = b - 34. Does 21 divide b?
False
Let a = 37 - 14. Does 23 divide a?
True
Suppose -7*z = -2*z - 5. Let d = 3 + z. Is d a multiple of 2?
True
Suppose c = -c + 56. Suppose -2*j + 3*j = -o + c, -j + 3*o + 44 = 0. Is j a multiple of 11?
False
Let w = 2 + -20. Is (w/(-15) + -3)*-5 a multiple of 5?
False
Let d(q) = 0 + 0*q**3 - 1 + q**3 + 3 + 4*q**2. Does 3 divide d(-3)?
False
Suppose -y + 16 = -3*w, 6*y - 3*w = 3*y + 60. Is 22 a factor of y?
True
Let f = 613 - 382. Does 21 divide f?
True
Suppose 37 = -o + 3*k - 23, 0 = -4*k + 20. Let p = -63 - o. Is ((-92)/(-6))/(p/(-27)) a multiple of 15?
False
Let a = -21 - -28. Suppose -11*p + 112 = -a*p. Does 14 divide p?
True
Let u(p) = -p**2 + 21*p - 10. Is 22 a factor of u(16)?
False
Let k(p) = -p**3 - 2*p**2 - p + 1. Let s(i) = -i - 2. Let b be s(0). Let l be k(b). Let f(w) = w**3 - 2*w**2 + 2*w + 2. Is 13 a factor of f(l)?
False
Suppose 3*b + 5*u = 160, -62 = -4*b + 5*u + 93. Is b a multiple of 9?
True
Suppose 0 = -0*l - 3*l, -4*l = m - 10. Is 9 a factor of m?
False
Let k(c) = c**3 - 3*c**2 + c + 2. Let g be 6/9 + 7/3. Let h be k(g). Suppose 3*a - 17 = -h*r, 7*a - 2*a = -3*r + 39. Is a a multiple of 5?
False
Let j = 180 - -33. Does 13 divide j?
False
Let h(o) = -8*o - 2. Does 16 divide h(-4)?
False
Let j(f) = -5*f - 4. Does 9 divide j(-8)?
True
Suppose i - 14 = 3*v, -12 = 3*i + i + 5*v. Suppose 0 = u + i - 11. Is 9 a factor of u?
True
Suppose 11 = -t + 28. Is 17 a factor of t?
True
Let p(a) = -13*a + 2. Let f be p(-2). Suppose 32 = 5*o - f. Is o a multiple of 12?
True
Suppose -3*n + a = 52 - 373, -5*a = -n + 93. Does 18 divide n?
True
Suppose 9 = -2*s - 7. Does 28 divide 56*-4*1/s?
True
Is (-58)/(-2*2/18) a multiple of 29?
True
Let i be 2*5/(30/9). Suppose z = -i*z + 264. Suppose -48 = -3*l - 4*q + q, 2*q = 5*l - z. Is l a multiple of 14?
True
Suppose -6*h - 42 = -5*t - 4*h, h - 44 = -4*t. Suppose -p + t = 2*j, -2*j - 18 = -4*p + j. Is p a multiple of 3?
True
Suppose -9 = 2*y + 4*i - 3, -4*y = -5*i - 1. Let x be y/2 - (-1)/2. Suppose x = 3*v - 3 - 6. Is 3 a factor of v?
True
Let u(t) = 2*t**2 + 5*t + 4. Does 15 divide u(-5)?
False
Let p = 137 - 57. Is p a multiple of 4?
True
Let m = 12 + -8. Let q be (11 - m)*(-1)/(-1). Let x = q - -24. Does 18 divide x?
False
Let i = 179 - 121. Is 14 a factor of i?
False
Let r be (1 + -1 - -5)*1. Let l(g) = r*g + 0 + 2*g - 5 - 2*g. Is 10 a factor of l(5)?
True
Let q be (-5)/((-5)/3) + 0. Suppose -2*t + 2*y - 50 = 0, -2*y + 75 = -q*t + 2*y. Let d = 36 + t. Is 5 a factor of d?
False
Suppose 8 = 10*f - 6*f. Suppose 74 = 3*v - m, 4*m - 49 = -v - f*v. Is 20 a factor of v?
False
Let r(x) = -3*x - 15. Is r(-15) a multiple of 15?
True
Suppose 5*g = 5*r - 310, r + 3*r = 2*g + 250. Is r a multiple of 8?
False
Suppose 6 = t - 76. Is 34 a factor of t?
False
Let x = 5 + -3. Suppose -r + 63 = x*r. Is 7 a factor of r?
True
Let x(c) = -1 + 3*c**2 - 4*c**2 - 80*c**3 + 2*c - 4*c. Let k be x(-1). Suppose 3*l + 2*l - k = 0. Does 16 divide l?
True
Let p(k) = -13*k + 19. Is p(-5) a multiple of 14?
True
Suppose 15 = 3*q + 3*n, -2*q - 2*n = -4*n - 10. Suppose 25 = 2*y + y + 2*d, -2*y + q*d = 15. Is y a multiple of 2?
False
Let d(n) = n**3 + 5*n**2 + 3*n - 1. Is 6 a factor of d(-3)?
False
Suppose 5*n = 4*s + 15, -3*n - 2*s + 17 = -14. Suppose 2 = -d, -2*d + 14 + n = 5*c. Suppose 3*o + c*i = 35, -7*o + 2*o + 3*i + 47 = 0. Does 5 divide o?
True
Let h be ((-20)/(-6))/((-4)/(-6)). Suppose -o + 2*t = -3*o + 108, 0 = 4*o + h*t - 211. Is o a multiple of 18?
False
Let k = 607 - 382. Suppose 2*n = 3*n - 5, 5*m + 5*n - k = 0. Is m a multiple of 16?
False
Suppose 5*n + 4*h = 349, -2*h - 274 = -4*n - 0. Suppose -3*s = -9, 0 = -3*t - 4*s - 0*s + n. Is 19 a factor of t?
True
Is 45 a factor of (-5)/(5 - 0) - -46?
True
Let 