 - 6 = 4*h, 0 = -4*h + b - 3*b. Let f(o) = 153*o + 1. Let x be f(h). Let m = -103 - x. Is m a multiple of 19?
False
Let y = -15 + 26. Is y even?
False
Let l(k) = 25*k**2 + 2*k + 7. Does 14 divide l(3)?
True
Let g be (-8)/(-28) - (-74)/(-14). Let q = g - -5. Is 12 a factor of -12*1*(-1 + q)?
True
Is 4 a factor of (20/(-6))/(11/(-132))?
True
Let h = 30 - -96. Let q = -68 + 79. Suppose -8*p - h = -q*p. Does 17 divide p?
False
Suppose -20 = -l - 4*l. Suppose -4 = -r - 3, 191 = 5*t - l*r. Is 13 a factor of t?
True
Suppose 0 = -q + 2*k, -2*q = 3*k + k. Suppose q = -l + 4, l - 10 = 4*z - 50. Is z a multiple of 4?
False
Let a = -6 + 10. Suppose -5*h + 12 = -2*v + 51, 0 = -v + a*h + 27. Does 3 divide v?
False
Suppose 7*m = 11*m + 12. Is 7 a factor of 278/6 + m/9?
False
Let b(g) = g**2 - g. Let o be ((-16)/(-12))/((-2)/(-3)). Let w be b(o). Suppose 2*l + 3*p = -w*p + 30, -2*l = -4*p + 6. Is l a multiple of 3?
False
Suppose 9*u - 400 = 4*u. Does 25 divide u?
False
Let u = 17 - 5. Is u a multiple of 4?
True
Let t(q) = 6*q**3 - 2*q**2 + 2*q. Is 9 a factor of t(2)?
False
Suppose 4*w + w = 10. Suppose -3*y = 3*s - 108, 4*y = 2*y + w*s + 56. Does 8 divide y?
True
Suppose -8*o = o - 117. Is 2 a factor of o?
False
Let v = -7 + 11. Suppose 3*y + 3*b = 60, 3*y + v*b + 67 = 6*y. Is y a multiple of 10?
False
Is (-10)/(-55) + 449/11 a multiple of 11?
False
Suppose -4*k - 8 = -2*k. Is 3 a factor of (-18)/k - (-27)/18?
True
Suppose 5*y - 214 - 21 = 0. Is y a multiple of 13?
False
Is 12 a factor of (17/51)/(2/72)?
True
Let h be (-5)/(-30) + 329/6. Suppose -d - 3*n + h = 0, 0*d - n = -2*d + 131. Is d a multiple of 32?
True
Suppose g = -2, -2*g = -x - 3*x. Let d be -1*(-11 + x) + -2. Suppose -t - 2*o = -d, -4*t + 3*t - 5*o - 5 = 0. Does 8 divide t?
False
Suppose 4*a - 32 = 8. Is a a multiple of 5?
True
Let h(z) = 2*z**2 - 6*z - 11. Is 21 a factor of h(-10)?
False
Let l(a) = 5*a + 5. Is 25 a factor of l(14)?
True
Let v be 180/14 + (-7)/(-49). Let w = v + 13. Does 13 divide w?
True
Suppose 2*t - 3*b = -7*b + 148, -4*t - 2*b = -308. Is 13 a factor of t?
True
Let t = -188 - -368. Suppose -6*u + t = -u. Is 19 a factor of u?
False
Suppose 0*l = -2*t + 4*l + 72, 4*t - 3*l - 119 = 0. Let q be t/(-12) - 2/(-12). Is 7 a factor of (-29 - -1)*1/q?
True
Let f = 0 + 0. Is 10 a factor of (f - (1 - 0))*-10?
True
Let n be (2 + -1)/(-1) + -2. Let y(h) = -6*h + 7. Does 5 divide y(n)?
True
Suppose -3*j = j - 24. Does 4 divide 3/j*-6 - -15?
True
Let s(q) be the third derivative of q**6/120 - q**5/60 + 7*q**3/6 + 2*q**2. Let j be s(0). Let h = j + -4. Does 3 divide h?
True
Suppose 6*i - i - 20 = 0. Suppose 0*o - 111 = -4*o - 3*c, -i*c + 20 = 0. Is o a multiple of 8?
True
Let p(h) = -h**2 + 12*h - 6. Is 13 a factor of p(8)?
True
Suppose 2*x = -5*c + 4*x + 270, 0 = c - 2*x - 62. Does 26 divide c?
True
Is 21 a factor of (-1276)/(-13) - (-10)/(-65)?
False
Let k(z) = -2*z + 29. Does 3 divide k(13)?
True
Suppose 3*k = 2*x - 2, -13 = 2*k + x - 0. Let q be 21 + (-1)/(2/k). Let w = q - 13. Is w a multiple of 5?
True
Let n = -33 + 49. Is 29 a factor of (-174)/(-4)*n/8?
True
Suppose -3*m - 120 = -5*n, -18 + 117 = 4*n - 3*m. Suppose -5*s - 4*i + n = -24, -5*i + 15 = -2*s. Suppose 1 = s*t - 94. Is 15 a factor of t?
False
Let c be -4*2/3*-3. Let l be (c - 2)*(-8)/(-12). Suppose 2 + l = 2*x. Does 3 divide x?
True
Suppose v - 42 = -6. Suppose -2*u - 2*u = 52. Let p = v + u. Does 6 divide p?
False
Let d be 8*(-1 - (-1)/2). Let q(n) = 0 - 6*n - 2 - 3. Does 5 divide q(d)?
False
Suppose -565 = -3*i - 61. Does 42 divide i?
True
Suppose 0 = -8*c + 4*c + 112. Does 14 divide c?
True
Let j(r) = 2*r**2 + 1. Suppose -4 + 10 = -3*u. Does 8 divide j(u)?
False
Suppose -4*x - 4 = -2*p, x = -0*p - p + 5. Let s be 2/p + 9/6. Suppose -3 = -s*z + z. Does 3 divide z?
True
Let g(i) = -i**3 + 20*i**2 + 4*i - 19. Does 21 divide g(20)?
False
Suppose -5*o - 3*b + 7*b + 120 = 0, -5*o = -2*b - 130. Is 8 a factor of o?
False
Let w(d) = d**3 + 7*d**2 + 6*d. Let i(j) = -j**3 - 3*j**2 + 6*j + 4. Let f be i(-4). Does 12 divide w(f)?
True
Let k(u) be the second derivative of -u**4/12 + 3*u**3/2 + 9*u**2/2 - u. Suppose 4*b - 14 = 2*b. Is 9 a factor of k(b)?
False
Suppose 5*o = 3*o + 18. Is 9 a factor of o?
True
Let a(k) = k**2 + k + 4. Let u be -4 + (2 - 1) - -7. Is a(u) a multiple of 17?
False
Suppose -2*d + d + 4 = 0. Suppose 0 = 2*x - 0*x. Suppose -3*c + 52 = 2*i - x*c, d*c - 144 = -5*i. Does 10 divide i?
False
Suppose 0 = 5*v - 6*v + 12. Suppose 0 = -2*p - 4 + v. Is 3 a factor of p?
False
Suppose 155 = -4*x - 205. Let c = -50 - x. Suppose 5*g = 140 - c. Is 10 a factor of g?
True
Suppose -243 = -5*y - 4*i, 3*y + 3*i - 194 = -y. Is 20 a factor of y?
False
Suppose 5*y + 12 = 8*y. Let z = y - -9. Is z a multiple of 13?
True
Let m = 4 - 3. Suppose 0 = 3*s - s. Suppose s = -3*r + 17 + m. Does 6 divide r?
True
Let j(o) = 31*o + 2. Is j(4) a multiple of 18?
True
Let d(n) = -34*n - 1. Is 4 a factor of d(-2)?
False
Let y(g) = -g**3 - 2*g - 2. Let k be y(-2). Suppose -3*z = -k + 25. Is -6*(z/3 - -1) a multiple of 2?
True
Suppose 0*o = o. Let a(l) = l**3 - l + 31. Does 13 divide a(o)?
False
Let i = -29 + 128. Does 23 divide i?
False
Let t(z) = 26*z + 7. Let l(m) = m - 1. Let o(a) = -5*l(a) - t(a). Is 9 a factor of o(-1)?
False
Is ((-40)/12)/((-8)/252) a multiple of 35?
True
Suppose -2*q - 13 = 3*i + 57, 3*q = -2*i - 45. Let t = 43 + i. Does 6 divide t?
False
Let a = 66 + -38. Suppose -2*u + a = l, 3*l - 32 = -2*u - 0*l. Is u a multiple of 5?
False
Let g(f) = 5*f - 2*f - 2 - 3. Let m(o) = -5*o - 2. Let q be m(-2). Does 5 divide g(q)?
False
Suppose 11*t - 240 = 8*t. Does 16 divide t?
True
Let s(k) = k**2 + 9*k - 4. Let x be s(-10). Suppose 0 = -3*j + x*j - 36. Is j a multiple of 3?
True
Suppose 2*u - 5 - 3 = 0. Suppose -u*d + 5*w - 82 = 0, -2*d = 3*d + 3*w + 121. Let o = -10 - d. Is 7 a factor of o?
False
Let q(v) be the first derivative of v**3/3 - 5*v**2/2 + 6*v + 1. Let p be q(4). Suppose 68 - 8 = p*k - 2*z, -3*z = k - 14. Is 14 a factor of k?
False
Let t(p) = 11*p + 13. Let o be t(5). Let s be 313/(-7) - (-2)/(-7). Let r = o + s. Does 12 divide r?
False
Suppose -5*v - r + 69 = 0, r + 0 - 4 = 0. Is 8 a factor of v?
False
Does 14 divide (-3 + -14)*(-4 - -2)?
False
Suppose -2*c + 3*c = 35. Suppose 0 = -5*m + c + 100. Does 5 divide m?
False
Suppose 380 = -0*t + 2*t. Suppose -2*v - 3*v + t = 0. Is 23 a factor of v?
False
Suppose -3*t - 20 = 2*t. Is 15 a factor of (-146)/t + (-6)/(-12)?
False
Let z(w) = -3*w + 9. Let n(b) = -3*b + 8. Let d(x) = -4*n(x) + 3*z(x). Let a be ((-7)/(-2))/((-8)/16 + 1). Is d(a) a multiple of 7?
False
Suppose -3*x - 172 = -q, 104 + 285 = 2*q + 3*x. Is q a multiple of 35?
False
Let f(k) = k**3 + 2*k**2 - 2*k + 2. Let w be f(-3). Let d be 4 + 0/w + -1. Is 11 a factor of 2/((-2)/(-33)*d)?
True
Let m(i) = 3*i**3 + 3*i**2 + 8*i + 8. Let o be m(-4). Let h = o + 246. Is 26 a factor of h?
True
Let n(k) = 5*k - 1. Is n(7) a multiple of 17?
True
Suppose 2*l - 2 - 2 = 0. Let w be (-203)/2 - (-1)/l. Is 10 a factor of 2/(-8) + w/(-4)?
False
Let v(z) be the first derivative of z**3/3 + 6*z**2 + z + 1. Is 12 a factor of v(-13)?
False
Let q = -113 - -188. Is q a multiple of 18?
False
Suppose o = -3, 0*t + t + 2*o - 22 = 0. Is 7 a factor of t?
True
Suppose 3*b = 67 + 332. Is 7 a factor of b?
True
Let j be 132/10 - 3/15. Suppose -4*o + 34 = -2*o. Let v = j + o. Does 17 divide v?
False
Suppose 0 = -3*g + g + 4. Does 19 divide g - (-66)/(-1 - -3)?
False
Let o be (-4 - -1)/(3/(-2)). Let x(u) = 6*u**3 - 4*u**2 + 2*u + 2. Is x(o) a multiple of 19?
True
Suppose 3*p = 5*p - 94. Let h = 2 + 0. Suppose -o + 1 = s + h*o, 0 = 2*s - 3*o - p. Is 8 a factor of s?
True
Let q = -38 + 24. Let j = -5 - q. Is 9 a factor of j?
True
Suppose -5*b = -2*b. Suppose b = -h + 3*h - 78. Is 13 a factor of h?
True
Suppose r - 2 - 2 = 0. Let d(t) = -t**2 + 5*t + 1. Is d(r) a multiple of 2?
False
Let z = 119 - 75. Suppose 0 = 5*d - 6*d + z. Does 18 divide d?
False
Does 34 divide 54/8*560/21?
False
Let s(z) be the first derivative of -z**3/3 + 3*z**2 - 3*z - 1. Let f be s(5). Suppose 2*k + 4*x = -k + 15, f*k - x = 21. Is 5 a factor of k?
False
Suppose -4*h + 13 = -27. Is h a multiple of 10?
True
Let i = 6 + 2. Suppose -4*l = -i, 4*l = -2*j + 12 + 6. Suppose -1 = -2*v + 5*