. Suppose -2*b + 0*b - 4*m = 10, 4*b - 4 = 4*m. Let z(j) = -3*j. Let v be z(b). Does 8 divide k(v)?
True
Suppose 3*c - 60 = -2*g, 0 = -0*c + 3*c - 2*g - 60. Is c a multiple of 20?
True
Let i(h) = -h + 13. Let d be i(9). Let k(j) = -5*j + d - 4 - 3 + 2. Does 9 divide k(-3)?
False
Suppose 18 + 2 = 5*f, 5*f - 40 = -4*y. Suppose -y*h + 162 + 8 = 0. Does 17 divide h?
True
Let d = -7 - -1. Let s = 19 + d. Is 13 a factor of s?
True
Let t(j) = 3*j - 23. Does 9 divide t(13)?
False
Suppose -2*b = -184 - 122. Is b a multiple of 17?
True
Let b = 3 + 137. Suppose -6*t + b = -t. Is t a multiple of 7?
True
Let y be -2*(1 + -2) + 1. Suppose 3*l = -y*n + 2*l + 27, l = -4*n + 35. Is n a multiple of 8?
True
Let l = 62 + -53. Is 6 a factor of l?
False
Let l(q) = 6*q**3 + q**2 - 3*q + 2. Is l(2) a multiple of 12?
True
Suppose 4*b - 10 = -3*m, -3*b + 16 + 2 = 4*m. Is m a multiple of 3?
True
Does 3 divide ((-40)/16)/(1/(-2))?
False
Suppose -1 = -3*i + 32. Let q = i - 4. Is q a multiple of 3?
False
Let r(f) be the first derivative of f**3 + 4*f - 2. Is r(4) a multiple of 18?
False
Let a = -24 - -48. Is a a multiple of 8?
True
Let u(h) = h**2 + 2. Is 7 a factor of u(4)?
False
Does 20 divide ((-4)/2)/2 - -21?
True
Suppose k - 20 = 3. Let p = -14 + k. Is p a multiple of 2?
False
Let a = 9 + -5. Suppose -a*g + 3*r + 95 = 0, g - 40 = 7*r - 3*r. Is g a multiple of 10?
True
Let h(v) = v**3 + 2*v**2 + v + 4. Let f be h(-3). Let m(z) = 31*z**3 - z. Let u be m(1). Let i = u + f. Is i a multiple of 11?
True
Suppose -4*i + 15 + 11 = 2*w, -i = -3*w - 3. Let p be 22/i*(-1 - 8). Let d = p + 51. Is 9 a factor of d?
True
Let i be (-3)/1 + 2 - -5. Suppose 6 = c - i*a, 2*c + 0*a - 3*a - 12 = 0. Suppose -5*v - c + 1 = -k, -25 = -k - 5*v. Is k a multiple of 15?
True
Let a(n) = -7*n + 54. Does 53 divide a(-15)?
True
Suppose -2*n = n - 42. Suppose -n = -k + 6. Is k a multiple of 20?
True
Suppose -10 = 2*w + x + 8, 2*w = 4*x - 18. Let i(z) = z**3 + 8*z**2 - 13*z - 11. Does 13 divide i(w)?
False
Let y(p) = 2*p**2 + 13*p + 21. Does 9 divide y(-8)?
True
Suppose -2 = -2*c, -n = c + 3 + 8. Let w = 5 + n. Is (0 - -20)*(8 + w) a multiple of 10?
True
Suppose 0 = 4*s - 3*l - 16, 0 = s + l - 4*l - 13. Does 5 divide 18/(s - 1/(-1))?
False
Let z(f) = -12*f + 2. Let t = 6 - 10. Let q = -7 - t. Is z(q) a multiple of 19?
True
Suppose 2*k = -3*m + 216 - 20, 0 = 2*k - 10. Suppose 4*y = -i - 23, -i - 3*i = 5*y + 125. Let c = i + m. Is 8 a factor of c?
False
Let k = 0 + 3. Suppose j - 2*j - 2*w = -k, -5*w = 3*j - 9. Suppose -9 = -p - n, 4*n + 9 = p + j*n. Does 9 divide p?
True
Let f(s) = -s**3 + 14*s**2 + s + 1. Let x(k) = k**3 - 15*k**2 - k - 1. Let b(y) = 5*f(y) + 4*x(y). Is b(10) a multiple of 3?
False
Let x = -49 - -69. Is 11 a factor of ((-52)/6)/(x/(-30))?
False
Let z(b) = 1. Let u(s) = -2*s - 2. Let n(l) = -u(l) - 3*z(l). Let k be n(-1). Is (2 - 1)/(k/(-24)) a multiple of 4?
True
Let f = 18 - 13. Suppose -b + 128 = 2*b - 4*v, f*b = -5*v + 155. Is b a multiple of 18?
True
Let z = 4 + -1. Let s = -3 + z. Suppose 0*i = 2*l - 5*i + 6, s = 3*i - 12. Is l a multiple of 7?
True
Let n(s) = -s**2 + 3. Let c be n(0). Is 16 a factor of -1*c*(-96)/18?
True
Let t(k) = -7*k**2 - 18. Let b(q) = -6*q**2 - 19. Let p(h) = -6*b(h) + 5*t(h). Is 12 a factor of p(0)?
True
Let a be 1504/44 + (-2)/11. Let o = a - 20. Does 14 divide o?
True
Suppose -96 = -4*a + 40. Is a a multiple of 13?
False
Let p(d) = 17*d - 2. Let t be p(12). Suppose -70 = 3*g - 3*x - t, 0 = 5*g - 3*x - 212. Is g a multiple of 20?
True
Let m be (2/(-5))/((-2)/10). Suppose -3*t - m*t = 0. Suppose -4*u + 42 = 2*h, t = 2*h + h + 15. Is 5 a factor of u?
False
Suppose -5*q = -0*q - t - 57, -4*t + 72 = 5*q. Does 4 divide (q - (3 - 1)) + -2?
True
Suppose -4*v - 5*t = -0*t - 49, 0 = 2*v + 4*t - 32. Is ((-12)/(-10))/(v/75) a multiple of 15?
True
Let z(s) = -s**2 + 5*s + 8. Let y(q) = -q + 2. Let i be y(-4). Let c be z(i). Suppose 0 = u - c*u - 4*f + 22, -2*u + 5*f + 57 = 0. Does 13 divide u?
True
Let h = 31 - 22. Is h even?
False
Let a(y) = -1. Let j(h) = -4*h**3 + 2*h - 2. Let o(z) = -3*a(z) + j(z). Let x be o(-1). Suppose v - x*u + 5*u = 6, 3*v + 2*u - 10 = 0. Does 2 divide v?
True
Let t(m) = 12*m**2 + 3*m + 2. Let u(x) = -x**2 - x - 1. Let s(d) = d - 5. Let v be s(6). Let r(o) = v*t(o) + u(o). Is r(-1) a multiple of 10?
True
Let v(r) = r**2 + 8*r - 12. Let p be v(-9). Is 21 a factor of (p + 1)*53/(-2)?
False
Let i be -1*3*(1 + -2). Suppose -b - 8 = -4*k, 0*k - 22 = b + i*k. Let v = b + 23. Is v a multiple of 7?
True
Let u(h) = 8*h**2 - 10*h - 6. Let o(z) = 7*z**2 - 9*z - 6. Let p(y) = 7*o(y) - 6*u(y). Is 22 a factor of p(9)?
False
Let v(c) = -5*c + 48*c**2 + 5*c - c. Let y be v(-1). Let k = 87 - y. Does 15 divide k?
False
Suppose 4*x - 18 = 46. Let l = -3 + x. Does 10 divide l?
False
Suppose 0 = 5*z - 3*k + 4*k - 14, -3*k + 14 = z. Does 5 divide 6/1 + (z - 1)?
False
Let b(r) = -4 + 8*r - 3 + 3*r + 0. Is b(5) a multiple of 16?
True
Suppose 7 + 2 = -u - 5*o, 3*u = -5*o + 3. Is u a multiple of 6?
True
Suppose -19 = -5*h + 46. Is 13 a factor of h?
True
Let x(s) = -s**2 + 5*s - 1. Let c be x(4). Suppose -t = 12 - c. Let v = 25 + t. Does 8 divide v?
True
Let j(z) = z**2 - z + 0 + 3 + 3. Is j(7) a multiple of 12?
True
Suppose k = -3, 3*x + x - 2*k - 246 = 0. Is x a multiple of 5?
True
Let k be ((-2)/(-1))/(1/2). Suppose 0 = -k*p - h - 2*h + 273, 73 = p - 4*h. Is 14 a factor of p?
False
Let m be (0/3)/((-1)/(-1)). Suppose -x + m*x = -5. Does 2 divide x?
False
Let f(r) = -r**2 - 6. Let k be f(0). Let n be (-15)/k*1*2. Suppose 5*d = a + a + 4, n*a - 48 = -2*d. Is 3 a factor of a?
False
Let a(z) = 31*z - 13. Does 18 divide a(10)?
False
Suppose -4*a + 15 = 3. Suppose -2*w - 7 = -a*w. Is w a multiple of 5?
False
Suppose 4*o + 0 - 43 = -3*b, -2*b + 10 = 0. Suppose -2*t - 50 = -o*t - 4*r, -r = -3*t + 47. Is 14 a factor of t?
True
Let n(t) = -9*t + 3. Let k be n(2). Let j be (-370)/k - (-2)/6. Let w = j + 0. Does 11 divide w?
False
Let k = -26 + 17. Does 7 divide 2/(-3) - 69/k?
True
Let q be ((-9)/6)/(4/(-8)). Suppose 1 = z - q. Is z a multiple of 4?
True
Let l = -58 - -472. Is l a multiple of 17?
False
Let t = -1 + -3. Let r(a) = -44*a - 4 + 19*a + 4*a**2 + a**3 + 20*a. Is r(t) a multiple of 15?
False
Suppose 0 = -2*i + 3*w, 0*i + 2*w = -5*i. Let n(z) = -z**2 + z + 68. Does 26 divide n(i)?
False
Suppose 0 = -2*u + 10 + 10. Is ((-24)/(-10))/(2/u) a multiple of 12?
True
Let t(o) = o**3 + 8*o**2 - 8*o - 1. Let z be t(-9). Let f = 27 + z. Is f a multiple of 7?
False
Let c = -5 - -8. Suppose -c*t + 7 = -23. Let d = t + -5. Is 3 a factor of d?
False
Let y(r) = -7*r + 2. Suppose 2*p = -o - 9, 2*p - 3*p + 2*o + 8 = 0. Is 16 a factor of y(p)?
True
Suppose -5*c - 3*h - 2*h + 810 = 0, 4*h - 4 = 0. Is 23 a factor of c?
True
Suppose -5*o + 41 = 3*b, -13*b + 12*b = 4*o - 37. Is o a multiple of 3?
False
Let l = -73 + 229. Does 12 divide l?
True
Let i(m) = m + 20. Let z be i(-13). Let x = -6 + z. Does 9 divide 26 + (-1 + x - 0)?
False
Suppose 3*y - 12 = 2*y - 4*r, -5*r - 110 = -5*y. Suppose y = l - 5*g, l + 5*g + 5 = -l. Suppose -17 - 23 = -l*j. Does 8 divide j?
True
Let c = 174 + -115. Is c a multiple of 19?
False
Let o = 9 + 91. Suppose -4*w + 208 = 4*l, -2*w + 0*l + 2*l + o = 0. Suppose 3*b - w - 51 = 0. Does 17 divide b?
True
Let u be (-2)/5 + 60/25. Suppose 0 = -z + u*z + 1. Let w = z - -9. Is 6 a factor of w?
False
Is 2 a factor of 33/5 - 30/50?
True
Does 14 divide (2268/(-15))/(-6)*5?
True
Suppose -2*q + 54 = -5*q. Does 4 divide 4/18 + (-104)/q?
False
Let i = -74 + 52. Suppose 2*b = -3 - 1. Let g = b - i. Does 8 divide g?
False
Suppose -6*x + 66 = -4*x. Is 11 a factor of x?
True
Let j(s) = s**3 - 18*s**2 + 19*s - 10. Does 12 divide j(17)?
True
Let g = -1 + 1. Let r = g + 30. Does 10 divide r?
True
Suppose -5*w + 65 = 5*i, 0 = 4*i + 29 - 9. Is w a multiple of 6?
True
Let q = -4 - -11. Suppose 0 = -5*y + f - 573 + 2153, 2*y + 4*f = 610. Is (2/6)/(q/y) a multiple of 6?
False
Let h = 34 - 24. Let x(a) = 2*a - 12. Is 3 a factor of x(h)?
False
Let o be 6/(-4) + (-60)/8. Is (-15)/o*(-1 - -7) a multiple of 10?
True
Suppose -3*t - 9 = -6*t. Suppose -5*w + 2*q = -113, 0 = -5*w + t*q + 130 - 18. Does 7 divide w?
False
Let x(b) = -2*b**3 - 2*b**2 + 13*b - 9. Does 9 divide x(-5)?
True
Suppose 