18, -l + 5*f + 36 - 2 = 0. Is 12 a factor of l?
True
Let v = -16 - -47. Is v a multiple of 13?
False
Let z(h) = -3 + 2*h + 10 - h. Let w be z(-5). Does 7 divide 4/6*21/w?
True
Suppose 0*i = 3*i - 168. Is i a multiple of 28?
True
Suppose 3*z + k = -k + 157, z - 63 = 2*k. Is z a multiple of 5?
True
Suppose 2 = -h + 5*q - 2, h + 3*q - 28 = 0. Is 11 a factor of h?
False
Suppose -2*x + 180 = -3*s + 6*s, 0 = 5*x + s - 463. Does 31 divide x?
True
Let j = 163 - 109. Does 18 divide j?
True
Let l(i) = -i**2 + 7*i + 8. Let r be l(9). Let a = r + 38. Is 7 a factor of a?
True
Suppose 5*p - 6 = 3*p. Suppose -2*c + 8*a - 3*a = 20, -3*a + 12 = -c. Suppose -p*d + 18 = -c*d. Is 6 a factor of d?
True
Does 27 divide (-6)/9*-6*31/4?
False
Suppose 12 = -4*b - 5*k, 5*b - k - 12 = b. Suppose 2*a - 5 - b = 3*l, 4*l - 6 = -5*a. Suppose -15 = 3*n, -3*o - 3*n + 25 + a = 0. Is o a multiple of 10?
False
Let g(z) = 2*z**2 - 6*z + 5. Is g(5) a multiple of 8?
False
Suppose v + 4*v - 35 = 0. Suppose v*k + 30 = 2*k. Let i = 2 - k. Does 3 divide i?
False
Is (-14)/42 - 56/(-6) a multiple of 3?
True
Let r(s) = 0 - 6*s - 4 + 1 - 1 - s**3 - 5*s**2. Is r(-4) a multiple of 4?
True
Let r be (0 - -3)*4/6. Let x(o) = 3*o**3 + 2*o**2 - 2*o + 1. Does 13 divide x(r)?
False
Suppose -f - 2*f - 162 = 0. Let m = f + 84. Is 17 a factor of m?
False
Let w(f) = -3*f**3 - 3*f**2 - 3*f + 6. Is 34 a factor of w(-4)?
False
Let q(s) = -4*s + 2. Let h(t) = -4*t + 2. Let x(l) = -4*h(l) + 3*q(l). Let k be x(2). Suppose -k*c + 2*c + 44 = 0. Does 11 divide c?
True
Suppose -13*v + 632 = -5*v. Is 15 a factor of v?
False
Let n be (24/16)/(2/(-8)). Does 11 divide 22/n*-3*1?
True
Let p = 0 - -5. Suppose 0 = -5*i + 2*x + 227, 0*x = -5*i + p*x + 215. Is i a multiple of 15?
False
Suppose -4*y - 1 + 21 = 0. Is y even?
False
Let x = -1 + -8. Let o(f) = 5 - 5 + 2*f**2 + 2 + 14*f - 5*f. Is 28 a factor of o(x)?
False
Let h(s) be the third derivative of -5*s**4/24 + s**3/3 + s**2. Suppose x - 6 = -g - 14, 4*x = 3*g - 4. Is 11 a factor of h(x)?
True
Let j be 1/(1/2) + 1. Suppose -6 = j*s + 6. Does 4 divide (-42)/s*6/9?
False
Suppose c = 6*c - 25. Suppose c*j = 3*x - 108, -2*x + 6*x = 3*j + 133. Does 12 divide x?
False
Suppose -259 = -3*m + 50. Suppose 3*k - z - m = 0, -4*k - 6*z + 3*z + 146 = 0. Does 12 divide k?
False
Let w = -4 - -8. Does 9 divide w/12 - 106/(-6)?
True
Let j = -33 + 47. Is 592/14 - 4/j a multiple of 21?
True
Let l be 8/(-28) + (-37)/(-7). Suppose -5*z - l*q + 13 = -2, 0 = 5*z + 3*q - 15. Suppose z*j = -j + 28. Is 7 a factor of j?
True
Is 40 a factor of (-268)/(-4) + -4 + 1?
False
Is 665/28*4*1 a multiple of 25?
False
Let t be 4/14 + (-132)/21. Let x be (t/5)/(9/(-30)). Suppose x*f + 17 = 45. Is f a multiple of 3?
False
Let x(u) = u**2 + 4*u + 4. Let q be x(-4). Suppose 2*v + 3*p - 52 = -2*v, v = -q*p + 13. Does 8 divide v?
False
Let p be 1/(0 + (-2)/(-16)). Let d = p - -1. Let l = 0 + d. Is l a multiple of 9?
True
Suppose -3*s - s = -x + 125, -4*x + 4*s + 452 = 0. Does 22 divide x?
False
Suppose 5*r + 5*p = 260, -5*r = -r + 5*p - 212. Is 16 a factor of r?
True
Let u = -52 + 104. Suppose 0 = -4*p + 3*d + 128, -2*p - d + 12 + u = 0. Is p a multiple of 16?
True
Suppose 6*p - 3*p = 2*r + 14, -4*p + r = -12. Suppose -g = -4*x + 18, 0 = -3*x + 5*g + 3 + 2. Suppose -2*t + 74 = x*o, 67 = 4*o - p*t + t. Does 16 divide o?
True
Let o = -61 - -130. Is o a multiple of 23?
True
Let u be (0 - 2) + (0 - -6). Suppose 4*n = -t - u*t + 70, -t + 15 = n. Let f = -4 + t. Is 3 a factor of f?
True
Let a(t) = -144*t**3 + t**2 - t - 2. Does 24 divide a(-1)?
True
Let b be 3/(-9) + 672/(-9). Let s = b - -109. Does 17 divide s?
True
Let v = 7 + -4. Suppose -q = 35 - 57. Suppose -q = -3*g + v*k + 53, -3*k - 97 = -4*g. Does 6 divide g?
False
Suppose -4*f - 5*l - 6 = -19, -3 = l. Suppose -3*j = -p + 11, -4*j - f = -4*p + 61. Is 7 a factor of p?
False
Let b = -36 + 75. Is 13 a factor of b?
True
Is 1/(6/8)*33 a multiple of 11?
True
Suppose -n + 5*z - 4*z + 109 = 0, 4*n - 3*z - 434 = 0. Is n a multiple of 20?
False
Suppose 5*s = -8 - 12. Let n be 2 - 5/(10/s). Is (-38)/(-3) + n/(-6) a multiple of 6?
True
Suppose -3*v + 15 = 0, -i = -3*v - v + 79. Does 9 divide i/(-6) + 5/30?
False
Let w(v) = 18*v**3 - v**2 + v. Let s be w(1). Let y be (-12)/s - (-101)/3. Suppose -3*x = 3*b - y, -b + 17 = -0*b - x. Is 14 a factor of b?
True
Suppose -3*k = -5*i + 3 + 62, k - 52 = -4*i. Suppose -4*t + 9*t = 5. Let h = t + i. Does 7 divide h?
True
Let z(a) = -4 - 4*a**2 + a**3 + 0*a + 11 - 3*a. Let x be 16/3 + 3/(-9). Is 11 a factor of z(x)?
False
Let r be (-12 - 0)/(6/(-44)). Suppose -5*w = 4*q - r, -2*q - 2*w = -0*w - 44. Is 11 a factor of q?
True
Let t(x) = -x + 14. Let o be (-8)/(-4) - (2 + -1). Let l be o + 6 - (-3)/3. Does 4 divide t(l)?
False
Let c = -12 - -24. Suppose c = -4*m + 5*m. Does 6 divide m?
True
Let a = 45 + -30. Is a a multiple of 11?
False
Suppose -2*p = -4*b - 36, -7*p + 4*b = -2*p - 108. Suppose 2*q + p = 5*q. Is 2 a factor of q?
True
Suppose 0 = -2*g + 3 + 11. Is g a multiple of 2?
False
Let o(c) = -56*c**2 + 4*c - 3. Let m(g) = 37*g**2 - 3*g + 2. Suppose 5*u + 10 = 0, 3*b - 6*b = 5*u + 31. Let l(s) = b*m(s) - 5*o(s). Is l(-1) a multiple of 21?
True
Suppose 5*t + 7 = -13. Is 2 + t - (-90)/3 a multiple of 14?
True
Let l = 123 + 25. Let c = -99 + l. Is 11 a factor of c?
False
Let p = -29 - -42. Is p a multiple of 13?
True
Let n be (-8)/36 + (-11)/(-9). Let y = n + 18. Is y a multiple of 7?
False
Let i = -82 + 147. Is 13 a factor of i?
True
Suppose 0 = 4*z - 5*h + 38, h + 10 = 3*z + 33. Is 17 a factor of (-98)/z + 3/1?
True
Let d(z) = -5*z + 3. Let g be d(-2). Is 585/g + -1 + 0 a multiple of 23?
False
Let w(i) be the third derivative of -i**6/120 - i**5/10 + 7*i**4/24 + 2*i**3/3 + 5*i**2. Is w(-7) a multiple of 4?
True
Let o(f) = -1 + 3*f**2 + 0*f**2 + f - f**2. Is 11 a factor of o(-5)?
True
Suppose z + 16 = 2*z - 5*k, 3 = -k. Let l = z + 1. Is 20 a factor of 33*(-2 + l + 1)?
False
Suppose -411 = -6*i + 297. Is i a multiple of 59?
True
Suppose 0 = k - 4*q - 16, k + 0*k + 5*q + 2 = 0. Let p be (k/6)/(-1)*-102. Suppose -4*f + p = -0*f. Does 17 divide f?
True
Suppose -2*q + 30 = 5*j, -2*q - 2*q + 60 = 4*j. Suppose 2*w - 5*w + q = 0. Does 5 divide w?
True
Is -4 - (420/2)/(-3) a multiple of 28?
False
Let p = 22 - 12. Let o be 1/(3 - (-10)/(-4)). Suppose -p + 4 = -v + o*u, -4*v + 28 = -4*u. Does 3 divide v?
False
Suppose -w + 4 = -0. Suppose 0 = -2*p + 4*v + 2, v - 9 + w = 0. Does 11 divide p?
True
Is 7 a factor of 516/2*23/46?
False
Suppose -4*z + 19 - 120 = -5*j, 3*j - z - 62 = 0. Let x = 42 - j. Suppose 2*o - x - 3 = 0. Does 8 divide o?
False
Suppose 36 = 5*m - m + 2*h, 5*m = -2*h + 46. Let g = 23 - m. Is g a multiple of 13?
True
Suppose 15 = 4*f - 201. Let v = f - 18. Does 12 divide v?
True
Suppose 2*h + 2*h = -4*a, h + 2*a = 1. Let y = h - -3. Is 26 + y + 1 + -1 a multiple of 11?
False
Suppose -5*d + 7 = -13. Suppose 168 + 60 = d*l. Is 12 a factor of l?
False
Let a be -1 - (2 + 0 - 0). Is (a - -1)*45/(-6) a multiple of 15?
True
Suppose 0 = 4*o - 0 + 16, 18 = q - 5*o. Let i be 15/(-10) + (-3)/q. Suppose 4*s - k + 0*k - 123 = i, 42 = s - 4*k. Is s a multiple of 19?
False
Let c(d) = -d**3 + 9*d**2 + 2. Let u be c(9). Suppose b = 2*b - u. Suppose b*p - 1 = m - 9, -82 = -5*m - 4*p. Is 7 a factor of m?
True
Suppose -r - 5*z + 14 = 2*r, 4*z = 2*r - 2. Suppose 2*o = -r*o. Suppose -2*q + 30 = u, o*u - 5*u - 4*q = -120. Does 12 divide u?
False
Suppose 28 = -g + 2*f + 2*f, -74 = 3*g - 2*f. Is 7 a factor of (g/(-5))/((-6)/(-40))?
False
Let s(v) = v**3 - 8*v**2 + 9*v - 6. Is 22 a factor of s(8)?
True
Suppose w - 4*d - 276 = 6*w, 2*w = -2*d - 110. Let j = 94 + w. Is j a multiple of 14?
False
Does 14 divide (-1)/((-16)/(-92))*-4?
False
Suppose 0 = -n - 2*y + 6 + 12, 5*n - 155 = 3*y. Suppose 4*c = -4 - n. Let u = -4 - c. Is 3 a factor of u?
False
Let m(q) = -2*q + 71. Does 19 divide m(-12)?
True
Suppose -n + 12 = 3*n. Let q = 49 + n. Suppose 5*f - f = -2*a + q, 89 = 4*a + 5*f. Is 12 a factor of a?
False
Is 42 a factor of 4 + 35/(-5) - (1 - 267)?
False
Let a be 3 + -2 + 1 + 3. Suppose -3*j = -5*t + 32, -5*t + 3*j = a*j - 12. Suppose 50 = 3*f - t*y, -4*f = -f - 2*y - 46. Is 7 a factor of f?
True
Suppose -3*d + 0*d = -156. Is (-2)/(-5) - d/(-20) a multip