q + 0*q - 2*a + 14 = 0, 0 = -5*q - a - 29. Let x = q - -6. Suppose 2*r - r - 38 = x. Is 14 a factor of r?
False
Let z = -7 + 7. Suppose -5*n + 0*m + 4*m = 0, 2*n + 4*m = z. Let x(w) = w**3 - w + 30. Is x(n) a multiple of 22?
False
Is 2 a factor of (-2)/4 - ((-111435)/(-34))/(-19)?
True
Is ((-2119)/(-65) - 15)/(((-4)/(-795))/4) a multiple of 106?
True
Let f = -240 - -243. Suppose -f*c - 3*l + 749 = 122, -5*c = -l - 1039. Is c a multiple of 8?
True
Let i be 980/6 + ((-21)/9 - -3). Suppose -i = 59*y - 63*y. Suppose 0 = z - 4 - y. Is z a multiple of 15?
True
Suppose o = -2*o - 6. Let i be (6 + o)*(-9)/12. Let a(k) = 11*k**2 + 5*k + 4. Is 22 a factor of a(i)?
True
Is 35 a factor of -2*(-1468 - (10 - 8))?
True
Suppose -6 = r - 1. Let b be ((-18)/(-12))/(-2 - r/4). Does 11 divide (4/(-8)*b)/1*11?
True
Suppose 3 = -4*a - g, 0*a = 3*a - 3*g + 6. Let y be (a - 0)*(1 + (7 - 8)). Suppose y*m + 196 = 7*m. Is m a multiple of 28?
True
Let m(x) = 26*x**2 - 20*x + 1. Let g be m(1). Does 4 divide (-476)/((1 + 1)/(-8 + g))?
False
Is 1/5 + 29496/20 a multiple of 11?
False
Suppose 3*l - 7 - 17 = 0. Suppose 0 = 5*u - l*u + 1248. Does 52 divide u?
True
Suppose -4 + 16 = 6*x. Suppose 36 = 4*h - 4*l, 3*h + l = x*l + 17. Suppose 5*z - 76 = h*z. Is z a multiple of 14?
False
Let q(v) = 275*v**2 + 40*v + 48. Does 114 divide q(12)?
True
Let w(n) = -n**2 - 8*n - 8. Let k = 28 - 32. Let a be w(k). Is 13 a factor of (6/a)/3*-26*-4?
True
Let l = 17 - 12. Suppose -7*z + l*z - 248 = -2*g, -2*g + z + 252 = 0. Is 64 a factor of g?
True
Suppose 4*z - 4*d + 132 = 0, -2*z = z + 5*d + 59. Let j = z + 40. Suppose -487 = -4*m + o, 5*o + j - 37 = 0. Is 12 a factor of m?
False
Let a = -51 - -55. Let n be 2 + 0/((-1)/(a/8)). Suppose -15*k + 3*i = -14*k - 72, n*i + 8 = 0. Does 20 divide k?
True
Suppose h - 12*h = -275. Suppose -6 - h = -i. Suppose 4*a - 52 = 2*c, -3*a + i + 18 = -4*c. Does 11 divide a?
True
Suppose -1469 + 4534 = 5*d. Let r be -1 + d - 0*8/72. Let q = r - 345. Does 34 divide q?
False
Suppose g - 9*g - 38*g = -167440. Is g a multiple of 4?
True
Suppose 114532 + 48884 = 24*c - 36432. Is 40 a factor of c?
False
Let f(s) = -s**3 - 20*s**2 - 16*s + 29. Let d be f(-19). Let t = 62 - -17. Let g = t + d. Is g a multiple of 15?
False
Suppose 1379*q - 7870 = -y + 1381*q, -15715 = -2*y - q. Does 15 divide y?
True
Let i(y) = y + 37. Let g be (-3 - 24/(-4)) + 92. Suppose -4*z = t - 71, 5*z - t - g = 4*t. Is i(z) a multiple of 6?
False
Let f be 8 + (-3)/6*(-6 + -2). Is 3942/f - 3/(-2) a multiple of 10?
True
Let p be (-1730)/(-8) + (105/(-20) - -6). Suppose -h + 254 = h. Let x = p - h. Is 18 a factor of x?
True
Suppose x - 25 = -3*m, 3*m - 20 = 3*x + x. Suppose 3*w - 2*w - 19 = 4*u, 3*w + 2*u - 1 = 0. Suppose -3*h + 358 = -4*d, 0 = d - w*d - m. Is 21 a factor of h?
False
Let f(v) = v**2 + 11*v + 18. Suppose 0*t - 3*l = -3*t - 30, -2*t - 5*l = 13. Let j be f(t). Suppose j = -4*w + u + 245, 3*u = -3*w - 82 + 277. Does 5 divide w?
False
Let i = -9424 + 15921. Is 52 a factor of i?
False
Suppose -465 = -o - 3*b, -2*b - 2393 = -3*o - 2*o. Is 16 a factor of o?
False
Suppose 0*x + 3249 = 3*x. Is (-3 - -5) + -5 + x a multiple of 18?
True
Suppose h - 1156 = 2*n + 3310, -4*n + 4472 = h. Does 18 divide h?
False
Suppose -32 = -12*x - 8. Suppose -5*j - x*q + 13 = 0, 8*j - q = 3*j + 16. Suppose 142 = j*g - 5*m, 5*g + 2*m + 23 = 239. Does 22 divide g?
True
Let a(j) = 2*j**3 + j**2 - 1. Let o(h) = 9*h**3 - 3*h**2 + 5*h + 37. Let p(b) = -5*a(b) + o(b). Does 6 divide p(-10)?
True
Suppose 4*t = -4*t - 96. Let y = -16 - t. Let c(b) = 7*b**2 + b + 8. Is 38 a factor of c(y)?
False
Suppose 3*x = 4*t - 1, 3*x + t + 5 = -6. Is ((-2355)/(-20))/x*-4 a multiple of 9?
False
Suppose 5*q = -5, -4*q = 5*k - 9*q + 130. Let w = 7965 - 7963. Does 40 divide 1/w*k*-22?
False
Let g(t) = t**3 + t**2 + 3*t - 1. Suppose u + 7 - 5 = 0. Let n be g(u). Is (-33)/n - (-117 - -1) a multiple of 25?
False
Suppose 9*d + 24 = 3*d. Let p be (-440)/32 - (-1)/d. Let g(l) = -11*l + 44. Does 18 divide g(p)?
True
Let k(z) be the first derivative of 3*z**4/2 - 2*z**3/3 - 3*z**2 + 4*z + 44. Does 8 divide k(3)?
False
Suppose -2*q + 1094 + 724 = -3*l, -2 = l. Is 8 a factor of q?
False
Let u(k) be the first derivative of -2*k - 2*k**2 + 1/3*k**3 + 4. Is 19 a factor of u(7)?
True
Suppose -7*o + 5*o + 18 = 0. Suppose -5*t + 2*i + 266 = 0, t + 8*i - 52 = o*i. Is 27 a factor of t?
True
Suppose 0 = -4*u + 4*d + 44, -u = 4*d - 6*d - 16. Let i be 672/(-126)*u/(-16)*2. Suppose -15*t + 11*t = -2*b + 146, -i*b + 5*t + 295 = 0. Does 25 divide b?
True
Let m(o) = -o**3 - 19*o**2 + 26*o - 6. Is 22 a factor of m(-24)?
False
Let o = 199 - 200. Suppose 0 = -32*h + 37*h - 5. Is h/(o + 4 - (-242)/(-81)) a multiple of 14?
False
Let y = -612 - -612. Suppose y = -3*p - 5*g + 1163, 13*p - 8*p - 1955 = -5*g. Is 11 a factor of p?
True
Let c = 1191 - -2616. Is 47 a factor of c?
True
Let g = -2568 + 2941. Is g a multiple of 4?
False
Let x = 409 - 418. Does 13 divide 936/(-4)*(-2)/((-6)/x)?
True
Suppose 98*g - 129*g + 5766 = 0. Let u = 0 - -4. Suppose 174 = u*z - g. Does 22 divide z?
False
Let y be 855/(3 - (5 - (-55)/(-25))). Suppose -13*l = -38*l + y. Is l a multiple of 13?
False
Suppose 4*k - 26 = 18. Suppose k*h + 1065 = 2715. Is 30 a factor of h?
True
Suppose -6*k = -113 - 37. Let i = k + 77. Is 17 a factor of i?
True
Let r be 26 + (-4 - -4)*(-2)/4. Let d(b) = b**2 - 6*b + 39. Is d(r) a multiple of 13?
True
Let a be (0 - -1*(0 + -3)) + 6. Let h(s) = s**2 - 5*s - 3. Let j be h(a). Is 42 a factor of ((-42)/j)/((8/(-210))/(-2))?
False
Let x(y) be the first derivative of -3*y**4/4 - y**3/3 - 8*y**2 - 78*y - 206. Does 32 divide x(-5)?
True
Let g = -16 - -28. Suppose 0 = -3*f + 2*j - 4 + 81, 0 = -4*f - 4*j + 136. Suppose 0 = 5*m - l - g - f, 3*l = -2*m + 13. Does 8 divide m?
True
Let x(s) = 25*s**2 + 45*s + 8. Let i be x(-8). Suppose 2*q + 3*w - 298 = 330, 4*q + 2*w - i = 0. Does 14 divide q?
False
Let o = -2726 + 17246. Is o a multiple of 8?
True
Let g(o) = o**3 - 18*o**2 - 39*o - 42. Let v be g(20). Let n(w) = w**3 + 20*w**2 - 48*w + 52. Does 5 divide n(v)?
True
Suppose 2*i + 3*i = -15, 3*j = 2*i + 15. Is j + 3 + -9 + 127 a multiple of 4?
True
Let a(m) = -2*m**2 + 6*m - 52. Let y(p) = -3. Let s(r) = -a(r) - 3*y(r). Does 17 divide s(7)?
False
Suppose 163*z - 3404 = 162*z + 5*f, -3*z - 2*f + 10195 = 0. Does 28 divide z?
False
Let s = -705 - -707. Suppose d - 889 = s*f, -3*f + 959 = -3*d + 3629. Is d a multiple of 33?
True
Suppose 18*x - 46*x = -148876. Is 95 a factor of x?
False
Suppose -2*x + 28 = -2*z, 2*z - 16 = 6*z. Does 19 divide 36/x*(-1140)/(-24)?
True
Suppose 45 - 162 = -9*n. Let f be (n - 2) + 1/(-1). Is f + (-4 - (-1)/1) a multiple of 7?
True
Let h(c) = 2*c + 2. Let q(l) = 15*l - 135. Let w(f) = 6*h(f) - q(f). Is w(27) a multiple of 6?
True
Let y be (-12)/(-22) + (-101792)/(-44). Suppose 6*i + 4*x = i + 2900, -4*i - 2*x + y = 0. Is 12 a factor of i?
True
Suppose -2*o + 46 = 4*x - 0*x, -4*o = 3*x - 32. Suppose z = -3*z + x, n + 4*z = 425. Let i = n + -280. Is i a multiple of 15?
False
Does 26 divide (-6)/21 - (-5341980)/343?
True
Suppose 13*u + 12844 = 39*u. Let w = u - 369. Is w a multiple of 25?
True
Suppose -355 + 952 = -d. Let u = -561 - d. Does 18 divide u?
True
Let j = -2192 + 7131. Is j a multiple of 23?
False
Suppose 93*z = 34*z + 108975 + 97407. Does 33 divide z?
True
Let p(l) = l**3 + 11*l**2 + 8*l - 14. Let q = 6 - 16. Let u be p(q). Suppose 2*d = u*d - 528. Is d a multiple of 44?
True
Let h(v) = v. Let q(w) = 3*w**2 - 2*w + 47. Let s(o) = -2*h(o) - q(o). Let a be s(0). Let p = 7 - a. Is p a multiple of 9?
True
Let g = 40790 + -24441. Is g a multiple of 26?
False
Suppose -30*h = -24*h - 91524. Suppose -36*i + h = -12826. Does 20 divide i?
True
Let z be (-1 - (-13 - -6))/2. Suppose -w + 89 = z*s, 2*w = -3 + 7. Is s a multiple of 4?
False
Let y(p) = -679*p + 14685. Is 250 a factor of y(15)?
True
Let j be (-2)/10 - (-1008)/140. Let a = 30 + -20. Suppose -a*u + 138 = -j*u. Is u a multiple of 23?
True
Suppose -24 = -3*k - 33, 0 = -2*y + 5*k + 6171. Is 12 a factor of y?
False
Let h(j) = 93*j**2 + 47*j - 638. Is h(10) a multiple of 6?
True
Suppose -g - 2*n = n - 106, -5*g = n - 600. Let a = g - 82. Is 5 a factor of a?
False
Let j(m) = -m**3 - 8*m**2 - 6*m + 9. 