x(-2). Suppose -r + 119 = 3*k - 0*r, n = 5*k - 5*r - 185. Does 11 divide k?
False
Let b be 111/(12/4)*-1. Let l = b + 62. Is l a multiple of 25?
True
Let s = -2 - -9. Let u(k) = k - 3. Is u(s) even?
True
Suppose 4*u = -4, 0 = 2*b + 2*u + u - 1. Suppose -b*o = m - 42 + 5, -2*o + 57 = -3*m. Suppose -o = -3*q + 102. Is 14 a factor of q?
False
Let n be 100/8*-2 + 2. Let k(d) = d**3 + 2*d**2 - 4. Let i be k(-3). Let t = i - n. Is 5 a factor of t?
True
Let r = 67 - 49. Is r a multiple of 6?
True
Suppose -11 = 3*u - 59. Is 8 a factor of u?
True
Is 45 a factor of ((-2)/(-4))/(((-4)/(-1800))/1)?
True
Suppose -2*i + i = -2. Suppose -4*l = -0*l + 5*u - 163, 4*u = 4*l - 136. Is 5 a factor of i/(-7) - l/(-7)?
True
Let s(c) = -4*c - 2. Let b = 26 + 16. Let m be (4/(-6))/(7/b). Is 7 a factor of s(m)?
True
Suppose 50 = 4*j - 90. Is 7 a factor of j?
True
Let p = -8 - -34. Let l = p - 12. Is 7 a factor of l?
True
Suppose -6*q = -2*q - 40. Is 4 a factor of q?
False
Suppose 0 = -4*y - 5*f + 6, -2*y + 6 = y + 3*f. Suppose y*g - m - 221 + 65 = 0, 5*m = 5*g - 180. Does 9 divide g?
False
Suppose 0 = -2*n + 5*w + 9, -3*n + 0*n + 4*w + 10 = 0. Let i be ((-15)/2)/((-6)/8). Suppose -4*a + i = n, -q + 4 = -4*a. Does 6 divide q?
True
Suppose 16 = d + 3*d. Suppose -b = -4*x - 1, -5*x + d = -2*x + 4*b. Suppose -4*z - 35 + 115 = x. Does 20 divide z?
True
Let a(s) = -47*s**3 - s - 1. Let n be a(-1). Let r = 91 - n. Let o = r - 18. Is o a multiple of 13?
True
Let x(y) = -y**2 - 10*y. Let r(o) = -o**3 - 7. Suppose 0 = j - 3*m + 12, -j - 2*m - 20 = -7*m. Let s be r(j). Does 17 divide x(s)?
False
Let z(d) = -d**3 + 16*d**2 + 21*d - 23. Does 15 divide z(17)?
True
Let i = -38 - -94. Suppose -8 + i = 2*r. Suppose 0 = -2*p + 2*s + r, 0 = -2*p + 2*s - s + 22. Does 10 divide p?
True
Let g(z) = -z**2 + 14*z + 4. Is 11 a factor of g(10)?
True
Let f be (-1)/((-2)/(-428)*-2). Suppose -3*n = 23 - f. Is 14 a factor of n?
True
Suppose 0*f + 5*y + 540 = 5*f, -f + 120 = 2*y. Is f a multiple of 16?
True
Suppose 0 = 4*v - 92 - 56. Let d = v + -22. Is 9 a factor of d?
False
Suppose 2*h - 6*h + 200 = 0. Is 10 a factor of h?
True
Let t(p) = p + 14. Let i be -5*2*(-20)/25. Let q(n) = -n**2 + 6*n + 8. Let d be q(i). Does 2 divide t(d)?
True
Let o = -1 + 4. Suppose -26 + 71 = o*r. Is 8 a factor of r?
False
Suppose 2*c = 3*t - 5, 49 - 9 = 5*t + 3*c. Let z = 61 - t. Does 28 divide z?
True
Let j(m) = -m**3 - 10*m**2 - 8*m + 11. Does 2 divide j(-9)?
True
Suppose -2*c - c - 3 = 0. Is 7 a factor of 2/(-2*c/7)?
True
Let h = 33 + 71. Does 13 divide h?
True
Let k be 6/(-33) - (-60)/(-33). Is (2 - (k + 1)) + 28 a multiple of 11?
False
Let g(b) be the third derivative of -b**6/120 + b**5/12 - b**4/8 - b**3/3 - 3*b**2. Let u be g(4). Suppose 24 = -u*n + 4*n. Is 6 a factor of n?
True
Suppose 0 = 5*i - 2*w + 4, 8 = -2*w + 6*w. Is 5 a factor of 39/(1 + i + 0)?
False
Let u be (-3 - 6/(-3))*-19. Suppose 3*v + 0*x = x + u, 2*v - 4*x - 16 = 0. Is v/(-2)*1 + 8 a multiple of 3?
False
Suppose 3*m + 5*t - 16 = -m, t = 0. Suppose 3*v - 16 + m = 0. Does 4 divide v?
True
Let w(s) = -s - 1. Let c(t) = -7*t - 5. Let d(a) = -c(a) + 6*w(a). Is 6 a factor of d(7)?
True
Suppose 0 = 3*i + o - 255, 0 = 3*i + 2*o - 252 - 6. Is i a multiple of 14?
True
Is (-3)/(-6*2/28) a multiple of 2?
False
Let s(w) = -w**3 + 7*w**2 - 5*w - 1. Let g be s(6). Is (-6 + g)*(-2 - 1) even?
False
Suppose -2*w + j + 39 = 0, w - 3*j = -2 + 14. Let r be ((-14)/w)/(4/(-6)). Let u = r - -17. Is 18 a factor of u?
True
Does 8 divide (4 + (-30)/12)*(-80)/(-6)?
False
Suppose 4*i + i - 310 = 0. Let s = i + -9. Suppose -42 = -5*o + s. Is 7 a factor of o?
False
Let l(z) = -z**3 + z**2 + 2*z + 1. Suppose p - 26 = 5*s + 3*p, 3*s + 6 = 2*p. Does 28 divide l(s)?
False
Let r(j) = 2*j - 2. Let k be (4 + -1)/(-3) + 3. Let c be r(k). Suppose -c*t + 105 = 3*t - 5*l, -4*t - 4*l = -92. Is t a multiple of 11?
True
Suppose 4*b + 42 = m, 2*b + 2*b + 80 = 2*m. Let v be (2 - 1)/(4/20). Suppose -v*t - 13 = -m. Is 5 a factor of t?
True
Let q = -7 - -11. Suppose -h = q*h. Does 13 divide (-1 - h)*3*-6?
False
Suppose 147 + 203 = 5*s. Is s a multiple of 18?
False
Let z(l) = -2*l + 7. Let x be z(-10). Suppose -2*j - 5*g + x = 0, -3*j - 2*g + 66 = -3*g. Is j a multiple of 8?
False
Let c(t) = -3*t. Let s(v) = -4*v - 1. Let d(i) = 6*c(i) - 5*s(i). Let h be d(-4). Let l = h - -27. Is l a multiple of 7?
False
Let g(y) = y**3 - y**2 - 3*y + 1. Let p be g(3). Let m be 4/p + 21/(-15). Does 16 divide m*2*-17 - 2?
True
Let j(t) be the second derivative of t**3/3 + t. Let a be j(6). Let k = 36 - a. Is k a multiple of 12?
True
Suppose 5*b - 5 = q, -5*b - q - q + 20 = 0. Does 12 divide ((-8)/(-3))/(b/36)?
True
Let w be (-22)/(-5) + (-9)/(-15). Suppose -k + 38 = w*a, -4*a = k - 5*k + 80. Does 15 divide k?
False
Is 3 a factor of (0 - -9) + 7 + 5 + -9?
True
Suppose 53 + 85 = -3*z. Is 3/12 + z/(-8) a multiple of 6?
True
Let b(l) = 11*l**3 - l - 1. Let s be b(2). Suppose 7*f - s = 2*f. Is 2*f*3/2 a multiple of 20?
False
Let v(h) = h**2 + 8*h + 10. Let x be v(-7). Let m = 12 - x. Is m a multiple of 9?
True
Suppose 11 = 5*n + o, -o = 4*n + 2*o - 11. Suppose -136 = -2*w - 4*q, n*q - 8 + 2 = 0. Is 17 a factor of w?
False
Let w be (-1 - 1)*(-9)/6. Suppose i + 7 = 4*x - 106, 115 = 4*x - w*i. Let m = x + -16. Does 12 divide m?
True
Suppose 0*q - 5*m - 105 = -q, -4*q + 437 = -3*m. Is q a multiple of 20?
False
Let b be (-120)/2*12/(-30). Suppose -2*x - x = -b. Let k(a) = -a**3 + 9*a**2 - 7*a + 8. Does 14 divide k(x)?
False
Let j = -221 + 346. Is j a multiple of 25?
True
Let p(f) = f**2 - 3*f - 1. Let s be p(4). Let u(b) = -2*b + s*b - 1 - 10*b**2 - 14*b - b**3. Is u(-9) a multiple of 12?
False
Suppose 0 = 2*i - 81 + 21. Is 3 a factor of 140/i*36/14?
True
Let k(y) = 8*y + 1. Let o(b) = -b. Let j(g) = -k(g) + 4*o(g). Let x = -49 - -47. Does 20 divide j(x)?
False
Suppose -3*n + 58 = -179. Is 32 a factor of n?
False
Suppose -5*g - 38 - 67 = 0. Let p = -38 - g. Let l = p - -34. Is l a multiple of 9?
False
Let q(o) = -3*o - 4. Let w be q(-3). Suppose -45 = -0*c - w*c. Does 9 divide c?
True
Suppose 114 - 24 = 5*k. Let y = k + 6. Is y a multiple of 15?
False
Suppose 4 = -3*l + 1. Let q = 28 - 34. Does 11 divide (-135)/q + l/2?
True
Let i = 14 + -9. Let z = 11 - i. Is z a multiple of 3?
True
Let t = 152 + -65. Is 29 a factor of t?
True
Let j = 129 - -41. Is 28 a factor of j?
False
Let a(h) be the third derivative of h**5/60 - h**4/24 + 2*h**3/3 + 3*h**2. Does 5 divide a(3)?
True
Let m(p) = -p - 9. Let n(k) = -5. Let a(v) = 6*m(v) - 11*n(v). Is a(-1) a multiple of 7?
True
Is (-1102)/(-6) - (-8)/(-12) a multiple of 28?
False
Suppose -3*g + 124 = -5*l + l, 3*g - 142 = -5*l. Is 18 a factor of g?
False
Suppose 3*j + 12 = 0, -5*p - 147 - 27 = j. Is (p/(-6))/((-1)/(-3)) a multiple of 14?
False
Suppose -2*p + 0*p = -4*x - 16, -2*x + 52 = 4*p. Let a be (44/(-8) - -1)*-2. Let r = a + p. Is r a multiple of 6?
False
Suppose 0 = -m + 2*m - 4*o - 76, -228 = -3*m - 5*o. Does 19 divide m?
True
Is 33 + -2 + (-6)/2 a multiple of 28?
True
Does 16 divide 3*(-4)/(-12)*47?
False
Suppose 0 = 3*v + 104 - 2. Is 9 a factor of (v/6)/((-1)/3)?
False
Let b be 2/9 - 387/(-81). Suppose -b*x + 20 + 25 = 0. Is 9 a factor of x?
True
Let z(n) = 11*n + 3 - 4*n + n**2 + 0. Is 3 a factor of z(-7)?
True
Suppose r - 8 = 22. Let j be 1/(-4) + 357/(-28). Let t = j + r. Is t a multiple of 17?
True
Let z(b) = 3*b. Suppose 5*o = -g + 24, 0*o - 16 = -2*o - 2*g. Suppose 2*k = k + o. Is 4 a factor of z(k)?
True
Let h = 37 + -16. Is 21 a factor of h?
True
Let s = -8 - -4. Let b = s - -6. Suppose -149 = -2*x - 2*x - z, 0 = b*x - 2*z - 62. Does 16 divide x?
False
Suppose 4*j - 24 = -l, -l + 30 = 4*l + 2*j. Suppose -2*i = -0*i - 6. Suppose -34 = -5*b - l*n, -b + n + 44 = i*b. Is b a multiple of 5?
True
Let w(g) = 84*g - 41*g - 34*g + 4. Is 11 a factor of w(4)?
False
Let s = 9 + -4. Suppose -5*g + 18 = t, -4*g + s*t = g. Suppose -8 = g*h - 20. Is 4 a factor of h?
True
Let f(i) = -3*i + 2*i**2 - 4*i**2 - 1 + 3*i**2. Suppose 5*w + 9 = 2*z - 1, 3*w - 20 = -4*z. Does 9 divide f(z)?
True
Let j(o) = -o**3 + 12*o**2 - o - 6. Let d be j(12). Let q = 43 + d. Is 6 a factor of q?
False
Let d be 1/(1 - 2)*0. Let a be 7/(-1 + 2) + d. Suppose -i + 7 + a = 3*f, -38 = -4*i - 3*f. Does 8 divi