, 4*s = 4*h + 3 + 1. Is (-39)/(-3) - 3/s a multiple of 5?
False
Suppose c = -3*a + 17, 3*a - 10 = 5*a. Let b = 9 + c. Is b a multiple of 13?
False
Suppose 3*i - i + 611 = 5*h, 5*h + 4*i - 623 = 0. Suppose 243 = -3*r - 0*r. Let m = h + r. Does 14 divide m?
True
Is 6 a factor of (15 + 8)*(2 - 0)?
False
Let g(c) = -9*c - 1. Let l be g(-10). Suppose 3*o + 101 = 5*x + 2*o, -4*o = -5*x + l. Is x a multiple of 7?
True
Is ((-144)/60)/((-3)/10) a multiple of 8?
True
Suppose 4*l - 5*l - 3 = 0. Is 14*l/(-1*6) a multiple of 2?
False
Suppose 2*a + a = 0, 2*n - 14 = -2*a. Is 7 a factor of n?
True
Let h = 0 + 3. Suppose 0 = -5*x - h*u + 183, 4*x - 121 = -5*u + 28. Does 18 divide x?
True
Suppose 0 = -3*u - 0*u - 5*n + 13, -2*n = u - 6. Let z(l) = 2*l**2 + 6*l + 3. Is z(u) a multiple of 11?
True
Suppose 45 = -9*f + 14*f. Is f a multiple of 9?
True
Let w(b) = -5*b + 11. Does 28 divide w(-6)?
False
Suppose 5*j + 2*c = 6*c + 70, j - 23 = -c. Does 18 divide j?
True
Let l = 3 + -2. Let p be (-1 - l/(-1)) + 6. Is 6 a factor of p + -2 + 3 + -1?
True
Let r = -4 - -9. Suppose -2*i + h = -33, 4*i = -r*h + h + 96. Is 5 a factor of i?
False
Let d = 8 - -39. Suppose 0*k + 3*k - 2*w - 19 = 0, -2*k = -4*w - 26. Suppose 2*h + s + 17 = d, -4*s + 55 = k*h. Is h a multiple of 13?
True
Let f = -11 + 20. Let v = -1 + f. Is 8 a factor of v?
True
Suppose -3*w - 12 = 3*v - 48, 3*w - 4*v - 15 = 0. Let d = w + -6. Is 3 a factor of d?
True
Suppose -2*j = -5*z - 24, z + 9 + 9 = j. Is 15 a factor of j?
False
Suppose -r - r + v - 3 = 0, 5*r + 3*v = -2. Let c = r - -7. Does 6 divide c?
True
Is 15 a factor of 29/1 - 3/(-3)?
True
Suppose 149 + 19 = d. Does 21 divide d?
True
Let z(x) = -146*x - 1. Let u be z(-1). Suppose 155 + u = 4*d. Is 22 a factor of d?
False
Let c(k) = 46*k - 3. Let d be c(-1). Let h be (4/(-6))/(4/(-426)). Let p = h + d. Does 11 divide p?
True
Let a(b) = -b**3 + 7*b**2 - 3*b + 4. Let d be a(6). Suppose -r - 5*m + d = -25, -79 = -2*r + 5*m. Is r a multiple of 13?
False
Suppose -7*y = -3*y - 240. Suppose 3*s - 4*m = -10, -2*s = -s - 4*m + 14. Does 12 divide 6/15*y/s?
True
Let v(d) = -d**2 - 7*d. Let s be v(-5). Suppose -4*g = -5*g + s. Is 13 a factor of 4/g + (-176)/(-10)?
False
Let b(k) = -9 + 17*k + 1 + 0*k**3 + 6*k**2 - 11*k - k**3. Does 14 divide b(6)?
True
Let t(s) = -s**3 + 7*s**2 - 2*s - 5. Is t(6) a multiple of 8?
False
Let u = 13 + -16. Is -57*(2 - (-8)/u) a multiple of 11?
False
Suppose 2 = l - 0. Suppose -2*a + 17 - 3 = 0. Suppose -2*k = 0, x + l*k - a = 2. Is 7 a factor of x?
False
Let c(m) = m**3 + 10*m**2 + 13*m + 2. Let r be c(-9). Let t = 47 + r. Is 5 a factor of t?
False
Let f(y) = -y. Let i be (0 + -1)*(-3)/(-1). Let x be f(i). Suppose -g - x*g = -104. Is g a multiple of 13?
True
Suppose -10 + 0 = -5*l, 4*u - 5*l + 10 = 0. Suppose 2*t - 2 = 3*j - 8, 2 = j. Suppose -2*d + u*d + 4 = t. Is d even?
True
Let v(k) = k**3 + 2*k**2 - k + 2. Let q = 8 - 6. Is v(q) a multiple of 10?
False
Suppose 0 = 3*t - 5*t + 48. Suppose 3*p - 3*m = t, -3*p - 4*m + 8 = -3*m. Is p a multiple of 3?
False
Let t(u) = -u**3 + 2. Let z be t(-2). Let q = 88 + z. Suppose 0 = -2*a - 36 + q. Does 15 divide a?
False
Let h(g) = g**2 + 5*g + 2. Let u be h(-4). Is 19 a factor of (-29)/(u/(-3 + 5))?
False
Let l(g) = g**2 + 74 + 6*g + g**3 - 6*g + 0*g - g. Let f be l(0). Suppose 4*z + f = 6*z. Is z a multiple of 19?
False
Let v(r) be the first derivative of 27*r**2 + 2*r + 6. Does 20 divide v(1)?
False
Suppose -g + 146 - 18 = 0. Does 20 divide g?
False
Let j(f) = -f**3 - 4*f**2 - 2*f - 3. Let g be j(-3). Does 14 divide (-466)/g - 12/(-36)?
False
Suppose 0*y - y + 90 = 0. Does 18 divide y?
True
Let q be -1 - -3 - -1 - 1. Suppose q*t + t + 3 = 0. Does 12 divide -7*(2 - t)/(-1)?
False
Suppose -3*v - 82 = 8. Does 10 divide v/8*(-104)/13?
True
Let d be (-2)/2 - (0 + -4). Suppose -5*s + d*a = -4*s - 9, 4*s - 5*a - 29 = 0. Is (141/s)/(3/6) a multiple of 14?
False
Suppose -19*l = -18*l. Suppose 9*c - 10*c + 16 = l. Does 4 divide c?
True
Let z(k) = 3*k**2 + 1. Does 2 divide z(1)?
True
Suppose 0 = 2*y + 6*y. Suppose y = 4*m - 0 - 200. Does 10 divide m?
True
Let t = -123 + 332. Does 11 divide t?
True
Let a = 138 - 89. Does 10 divide a?
False
Let q be (-1 - 0) + 2 + -1. Let z = q - -3. Suppose -v + h - 3 = z*h, -v + 2*h + 13 = 0. Does 3 divide v?
False
Let u = 5 - 1. Let y = -3 + u. Let b(v) = 18*v - 1. Is 13 a factor of b(y)?
False
Is 7 a factor of 1/(-2)*-2 - (-27 - 7)?
True
Let s(c) = 8*c + 26. Let g be s(-11). Let w = 104 + g. Does 14 divide w?
True
Suppose 3*h = -83 - 67. Let f be h/(-1)*4/8. Suppose -f - 14 = -3*w. Is 13 a factor of w?
True
Let f be (2/3)/(1/240). Suppose -m + 4*i = 4*m - f, -3*m - 4*i = -64. Is m a multiple of 14?
True
Let p = 47 + 31. Is 16 a factor of p?
False
Suppose 2*a - 3*d = -7*d + 48, 2*d = a - 4. Suppose 5*p - b - a = 0, 2*p + 6*b - 11 = b. Suppose 14 = f - p. Is 11 a factor of f?
False
Let h be -15*(7/3 + -3). Let q = 16 - h. Is 6 a factor of 2/(-6) + 122/q?
False
Let a be 5*(3 + (-12)/5). Is 15 a factor of ((-174)/24)/(a/(-12))?
False
Is 8 a factor of 564/10 - (0 + (-3)/5)?
False
Suppose 0 = -0*j + 4*j + 16. Let g = 0 - j. Is 3 a factor of g?
False
Let i = -3 - -3. Let y = -6 + 8. Suppose i = -3*o, -3*u = o + y*o - 60. Is 8 a factor of u?
False
Let w(x) = -x**2 + 10*x - 10. Suppose 2*o - r + 5*r = 18, -r = -4*o + 27. Is w(o) a multiple of 11?
True
Let l = 377 - 167. Is 15 a factor of l?
True
Suppose 0 = 5*d - 8 - 7. Let u(o) be the third derivative of o**5/30 - o**4/6 + o**3/6 + 2*o**2. Does 7 divide u(d)?
True
Suppose 4*a = -0*a + 344. Let l = -41 + a. Does 15 divide 133/9 - (-10)/l?
True
Does 2 divide (3*(-55)/45)/(1/(-3))?
False
Suppose -4*c - 440 = -4*y, -2*y + 455 = 2*y - c. Does 7 divide y?
False
Is 23*1 - (1 + -4) a multiple of 13?
True
Suppose t - 5*t + 404 = 3*h, -2*h - t = -266. Is h a multiple of 22?
True
Let w(d) = d**2 - 4*d - 1. Let y be w(5). Let n = -60 - -86. Suppose -3 + y = u, -5*x = u - n. Is x a multiple of 2?
False
Suppose 2*x + p = 5, -4*x - 5*p + 13 = -12. Suppose -3*c - c + 24 = x. Suppose 2*h - c = h. Is 6 a factor of h?
True
Let t = -4 - -10. Suppose s = i + 4*i - 22, -2*s + t = 0. Let y(z) = 8*z - 4. Does 18 divide y(i)?
True
Let b be -4*(-1)/2*1. Let h(i) = 2*i**3 - i**3 - i**2 + 4*i + 2 - b*i**3. Is h(-4) a multiple of 14?
False
Suppose 2*f = 193 + 85. Does 12 divide f?
False
Let n = 53 - 18. Let g = 61 - n. Does 13 divide g?
True
Suppose l = -4*l + 30. Is 6 a factor of -24*(l/(-9))/2?
False
Suppose 51 = 6*q - 39. Is 5 a factor of q?
True
Let w = -6 + 8. Suppose w = s + 3. Is -1 - 1 - -12 - s a multiple of 11?
True
Suppose -9*g - 121 + 1093 = 0. Is g a multiple of 12?
True
Suppose -3*p = 5*s + 284, 4*s - 3*p + 295 = 57. Let z = -37 - s. Is z a multiple of 21?
True
Let p = 10 + 3. Let h be p/((-6)/3 + 3). Let o = h - 5. Is 8 a factor of o?
True
Let c be -4*-2*1/4. Suppose c*x = 129 - 41. Is x - 0*(-3)/9 a multiple of 22?
True
Let i(t) = -623*t + 206*t - 258*t. Let q(s) = -13*s. Let p(o) = -2*i(o) + 105*q(o). Is p(-1) a multiple of 15?
True
Is 111*((-8)/(-20))/((-9)/(-75)) a multiple of 10?
True
Let n(m) = -m**3 + 10*m**2 + 13*m - 2. Let o = 9 + 2. Is n(o) a multiple of 13?
False
Let r = 5 - 4. Suppose r = 2*d - 7. Suppose d*v - 51 = v. Is v a multiple of 13?
False
Suppose 0 = a - 3*a + g - 2, a + 2*g - 9 = 0. Let x be 4 + -2 + 1/a. Suppose q + 74 = 2*z, -z - x*q + 66 = z. Is 15 a factor of z?
False
Let g(k) = -k**2 - k. Let n be g(-1). Suppose -5*d = -2*b - 257, n*d + 5*d - 259 = 4*b. Is 17 a factor of d?
True
Let k = 143 - 35. Is k a multiple of 6?
True
Suppose x + 18 = 4*x. Let y = 4 + -4. Suppose y = -3*a + 4*b + 62, 0 = -b - 2 + x. Is 12 a factor of a?
False
Let z(p) = p**3 - 7*p**2 - 2*p + 16. Let f be z(7). Suppose 0 = -3*q - f*q + 65. Is q a multiple of 13?
True
Let c(m) = -11*m + 7. Let k be c(-9). Let d = k + -56. Is 22 a factor of d?
False
Suppose -5*y - 3*u - 8 = 3, 3*y - 4*u = 5. Suppose 9*h - 11 = 16. Does 13 divide (y + h/6)*-38?
False
Let m(h) = -22 + 27 - 14*h + 0*h**2 - h**2. Is m(-8) a multiple of 21?
False
Suppose 4*w - 6*w = 2*u - 170, 5*w - 25 = 0. Is 20 a factor of u?
True
Let v = -20 + 32. Suppose 2*y + 12 = 5*y + 3*f, -3*f + v = -3*y. Suppose 3*x = 4*s - 68, y = -s - 2*x + 7 - 1. Is 4 a factor of s?
False
Let g(x) =