ultiple of 6?
False
Let y(t) = t**3 + 5*t**2 - t - 2. Let o be (-4)/18 + (-86)/18. Let z be y(o). Suppose 0 = 2*h - z*g - 46, 3*h - h - 56 = -2*g. Does 9 divide h?
False
Let o(c) = -c**2 + c + 7. Let d(f) = -f + 2. Suppose -12 = -4*r, -3*b + 0*r = -3*r + 3. Let v be d(b). Is o(v) a multiple of 5?
False
Let y = 9 - -2. Suppose 4*q = 107 - y. Does 8 divide q?
True
Let l(w) = -w + 34. Is l(15) a multiple of 5?
False
Let l(x) = 2*x**3 - 8*x**2 + 5*x + 4. Let k(m) = -2*m - 1. Let o be k(-3). Let r be l(o). Suppose 6*p - p = 3*v - 59, -r = -3*v - 5*p. Is 8 a factor of v?
False
Suppose -5*x - 58 = -4*m, 0 = 2*m + m - 2*x - 47. Does 16 divide 7/(-7) + m/1?
True
Let g be (-1 + 2 - -18)*-1. Let i = g - -45. Is 19 a factor of i?
False
Suppose 4*q + 30 - 270 = 0. Is 15 a factor of q?
True
Let j be (0 - 0) + 2 + 2. Let i(a) = -a**3 + a + 3. Let n be i(-2). Suppose 27 = j*l - n. Is 9 a factor of l?
True
Let a(f) = -21*f + 1. Does 37 divide a(-7)?
True
Suppose -d + 4*d - 321 = 0. Does 19 divide d?
False
Suppose 5*d - 3*t - 569 = -t, 3*t + 221 = 2*d. Suppose 0 = -9*x + 4*x + d. Does 17 divide x?
False
Let k = -72 - -123. Does 13 divide k?
False
Let i(y) = -3*y + 6. Is 39 a factor of i(-11)?
True
Is 10 a factor of (7 - (4 - 0)) + 25?
False
Let p = 9 - 9. Suppose -5*l - 9 + 44 = p. Does 7 divide l?
True
Let r(y) = -y - 3. Let n be (-1)/(-2) + (-21)/6. Let l be r(n). Suppose w = -2*a - 2*a, 5*w + 4*a - 64 = l. Is w a multiple of 16?
True
Suppose -2*x = 5*z - 559, -2*x - 3*z = -z - 556. Is 18 a factor of x?
False
Suppose 0 = 4*q + 4*r + 140, 4*q + 0*r = 3*r - 161. Suppose -2*p - f - 106 = 3*f, 2*f = 4*p + 222. Let a = q - p. Is a a multiple of 6?
False
Suppose -3*i - 267 = -3*x, -48 = -x - i + 43. Is x a multiple of 6?
True
Let a(j) = -21*j - 39. Does 10 divide a(-7)?
False
Let v = -2 - -3. Suppose -u + 3 = -2*u. Is 4 + v + 0/u even?
False
Is 3 - 3*12/(-9) even?
False
Let s be -2 - 2/(-3)*9. Let i = 70 - 38. Suppose 38 = 3*q - s*z, -q + 4*z + i = q. Is 3 a factor of q?
True
Let c(z) = z**2 + 4*z - 5. Suppose -m + 3*m + 5 = -y, 0 = -3*m - 4*y. Let i be c(m). Is 3 a factor of i/3*-3 - -2?
False
Let o be 374/(-14) - (-16)/(-56). Let x = 42 + o. Is 7 a factor of x?
False
Suppose 2*v - d + 318 = 3*d, -184 = v + 3*d. Is 21 a factor of v/(-4) - 2/8?
True
Suppose -f = 5*j - 4, 2*f + f = -2*j + 12. Suppose -3*o + 12 = j, -2*i - 2*i + 168 = -4*o. Is 9 a factor of i?
False
Let v(f) = f**2 - 2*f - 6. Is v(6) a multiple of 9?
True
Let c be (-1)/(-2 - 81/(-39)). Let r = 41 + c. Is 7 a factor of r?
True
Let k be 2/(-3) - 136/3. Is (-2 + 4)*k/(-4) a multiple of 9?
False
Suppose 75 = 2*l - 5. Is 25 a factor of l?
False
Does 4 divide 8 - (-2)/(-4)*-6?
False
Let i(x) = 6*x**2 + 3*x - 12. Is i(5) a multiple of 11?
False
Let l be 1/(-3)*(-10 + 4). Let d be (2/1)/(l/3). Suppose 21 = 3*y + d*n - 0, -41 = -5*y - 2*n. Is 5 a factor of y?
False
Suppose 0 = 2*w - 3*w, -2*z + 246 = -2*w. Is z a multiple of 30?
False
Suppose c = -2*c - 159. Let z(x) = 13*x - 4. Let j be z(6). Let g = j + c. Is g a multiple of 15?
False
Suppose -2*a + 3*a = 2. Let f = 0 + a. Suppose -3*j + 75 = 2*y, 2*j - f*y + 5*y = 55. Is 14 a factor of j?
False
Let h = 8 + -4. Is h/3*(-132)/(-8) a multiple of 13?
False
Let h be ((-9)/(-9))/(1/(-6)). Let k be (4/h)/((-2)/15). Suppose -k*t = -2*t - 84. Does 14 divide t?
True
Suppose 7*r = -94 + 633. Does 35 divide r?
False
Is 0 + -1 - 2*-4 a multiple of 6?
False
Let a(d) = 4*d + 4. Let i(f) = f**3 + 4*f**2 - 6*f. Let y be i(-5). Is 12 a factor of a(y)?
True
Let k(j) be the third derivative of j**5/30 + j**4/12 - j**3/3 + 2*j**2. Let x be k(-2). Suppose 3*i - 180 = -x*i. Is i a multiple of 18?
True
Let c(f) = f**2 + 3. Let b(k) = k**2 + k + 2. Let j(d) = 5*b(d) - 4*c(d). Let a be j(4). Suppose -5*r - 2*p + 39 = -6*p, -5*r + a = p. Does 5 divide r?
False
Let x = 75 - 45. Does 5 divide x?
True
Let g(j) = j**2 + 7*j - 8. Let x be 0 - 18/2 - -2. Let d be g(x). Let k = 9 - d. Is 13 a factor of k?
False
Suppose 4*y - 8 = 4*j, 4*y = j - 3 + 2. Let i be 23/j - (-2)/(-6). Is 5 a factor of (30/8)/((-3)/i)?
True
Let s(k) = k**2 + 1. Let x(c) = -c + 1. Let l be x(-3). Is s(l) a multiple of 7?
False
Let q = -13 + 15. Let j(k) = 20*k. Let p be j(6). Suppose -q*u - 3*u = -p. Is 17 a factor of u?
False
Let i(d) = d**3 + 9*d**2 - 12*d + 8. Does 11 divide i(-9)?
False
Let k(c) = c**3 + 6*c**2 - 7. Is 5 a factor of k(-4)?
True
Let g = 2 + -19. Let s = 67 + g. Does 25 divide s?
True
Let c = -2 + 4. Suppose -u + c = u. Is 7 a factor of (-19)/(-2) - u/2?
False
Let j(g) = -g**3 + 5*g**2 - g + 7. Let a be j(5). Let m(y) = -6*y - y**a + 0*y - 8 - 7*y. Is m(-7) a multiple of 14?
False
Let a(p) = -3*p - 1. Let o be a(5). Let l = o + 33. Is l a multiple of 17?
True
Let y = -5 + 1. Suppose -2*l = 5*o - 23, l - 13 + 0 = -3*o. Does 11 divide (22/l)/((-2)/y)?
True
Let h = 73 + -48. Suppose -h*p + 21*p + 104 = 0. Is p a multiple of 13?
True
Suppose 4*u + 8 = 48. Is 5 a factor of u?
True
Let v = -13 + 11. Does 14 divide v - (4 - -1)*-6?
True
Let z(c) = -c. Let u be z(-4). Suppose f + 5*b - 11 = 14, 2*f + 3*b - 15 = 0. Is f + 60 + -2 + u a multiple of 21?
False
Let q(b) = -2*b**2 + 8*b - 8. Let m be q(6). Let w be m/(-6) - (-4)/(-12). Suppose w*l - 137 = r - 4*r, 0 = 4*r + 4. Is l a multiple of 14?
True
Suppose -m + 0 = -2. Does 22 divide 54 + (m - (-4)/(-2))?
False
Let y(c) = c - 8. Let i be y(11). Suppose 0 = -a - i*a + 252. Is 16 a factor of a?
False
Suppose 2*s + 1 - 9 = 0. Does 4 divide s?
True
Suppose 0 = -5*b - 14 - 11, 4*b + 2 = -2*r. Does 11 divide 5*r - (-9)/3?
False
Let t(s) be the third derivative of s**5/60 - s**4/8 - s**3 - s**2. Let c be t(6). Suppose 0*l = -2*l + c. Does 6 divide l?
True
Let p(z) = -2 - 1 + 21*z + 6. Let g(m) = -7*m - 1. Let y(i) = -8*g(i) - 3*p(i). Is 20 a factor of y(-3)?
True
Let b(v) = -v**2 + 7*v - 7. Let x be b(5). Suppose 34 + 43 = 2*c + w, -3*c + x*w = -93. Is 11 a factor of c?
False
Suppose z - 70 = 4. Let h = 128 - z. Is 27 a factor of h?
True
Suppose 2*w - 5*w + 3*b + 48 = 0, 5*w - 77 = 2*b. Is w a multiple of 5?
True
Suppose 4*a = 3*a + 9. Does 3 divide a?
True
Let z(s) = -12*s. Let g be z(3). Is 17 a factor of (6/(-4))/(2/g)?
False
Let m(p) = -3 + 3 + p**2. Let j be m(-2). Suppose i - j*i + 63 = 0. Is 17 a factor of i?
False
Let m(x) = 19*x + 1. Let p be m(1). Suppose c = -c - p. Let l = 34 + c. Is l a multiple of 12?
True
Let n(m) = 29 - 36*m - 29. Is 19 a factor of n(-1)?
False
Suppose -3*f + 31 = 4*u, 5*u - 11 = -2*f + 5. Is 2 a factor of f?
False
Does 17 divide (15/(-6) - -4)*4*70?
False
Suppose 30*x - 33*x + 18 = 0. Does 6 divide x?
True
Suppose 2*i = -i + 648. Does 14 divide i/20*5/2?
False
Let f = 1 - -5. Is f - (0 - 0 - 2) a multiple of 8?
True
Suppose 3*y - 2*o = 165, 3*y + 2*o = -0*y + 165. Is 7 a factor of y?
False
Let l(j) = j**2 - 8*j - 9. Let k be l(9). Let i(w) = -w + 12. Is i(k) a multiple of 6?
True
Let n(b) be the second derivative of -b**5/20 + b**4/2 + b**3/6 - 3*b**2 - 2*b. Is 6 a factor of n(5)?
True
Suppose -5*h + 0*d + 9 = -d, -5*h + 2*d = -8. Let q be 268 + h + -1 + 0. Suppose q = 5*t - 6. Is t a multiple of 21?
False
Let r be (1 - 0)/((-2)/(-10)). Suppose 0 = 2*b, 0 = r*h - 0*b + b - 55. Suppose h - 3 = v. Does 4 divide v?
True
Let c(k) be the second derivative of k**3/3 - 5*k**2 + k. Is 4 a factor of c(9)?
True
Let j(o) = -22*o - 5. Is j(-3) a multiple of 15?
False
Let o(b) be the third derivative of b**5/60 + 8*b**3 - 2*b**2. Is 16 a factor of o(0)?
True
Suppose 3*l + 6 = 0, 6*p - 74 = 4*p - 3*l. Does 10 divide p?
True
Let o(y) be the first derivative of y**2 + y + 2. Let j be o(1). Suppose 6*w - 48 = j*w. Does 8 divide w?
True
Let v(j) = j**2 - 17*j + 13. Is v(20) a multiple of 8?
False
Suppose 0 = 2*z - 16 - 10. Is 13 a factor of z?
True
Suppose 0 = 4*u - 0*u + w + 5, -5 = -4*u + w. Let l(n) = -n + 10. Let t be l(8). Suppose -t*z + 54 = -u*z + 2*g, 4*g = -2*z + 64. Does 12 divide z?
False
Let q be (-1)/(-5) - 9/(-5). Suppose w + 22 = 4*s + 2*w, -4*w + 18 = q*s. Is 5 a factor of s?
True
Let d(u) = -4*u + 4. Suppose 8 = 3*c - c. Suppose 3*m = c*h, -m = 5*h + 10 + 9. Is 8 a factor of d(h)?
True
Suppose 3*c - 4 = -p + 13, -2*c - 54 = -4*p. Suppose 4*d = 2*m - 86, -4*m - 2 = -6. Let j = p - d. Does 23 divide j?
False
Does 15 divide ((-