f ((-30)/9)/((-4)/k)?
False
Let j(d) = -d**3 + 8*d**2 - 6*d - 1. Suppose -3*i - 2 = -23. Let p be j(i). Suppose 2*r + 4*c - 68 = 0, -r + 5*c - 165 = -p*r. Is 16 a factor of r?
True
Let x(r) = -r**2 - 19*r**3 + r**2 + r**2. Does 10 divide x(-1)?
True
Suppose 248 = -z + 5*z. Is z a multiple of 62?
True
Let r(b) = 5*b**2 + 4*b + 1. Suppose -3*g = -4*n - 6, n - 1 = 4*n - 4*g. Is r(n) a multiple of 11?
False
Let m(i) = -15*i**3 + i**2 - i - 1. Let u = -1 + 2. Suppose 0 = -3*f - 2 - u. Does 6 divide m(f)?
False
Let b(l) = l**2 - l - 6. Is b(-6) a multiple of 12?
True
Let y = -7 - -4. Let w be (-3)/(-2)*(-22)/y. Let f = 37 - w. Is 21 a factor of f?
False
Suppose 0 = -4*i + 22 + 50. Does 9 divide i?
True
Let l(u) be the second derivative of 2*u**3/3 - 3*u**2/2 - u. Is 2 a factor of l(2)?
False
Let u(k) = -k**2 + 5*k - 2. Let h be u(4). Suppose 10*c - 8 = 5*c - 2*o, o = h*c + 4. Let t(q) = q + 39. Is t(c) a multiple of 15?
False
Let c be (0 - 2/(-2))*3. Let i = c + 0. Suppose -i*h + 6 = -27. Is 10 a factor of h?
False
Let y(f) = -f**3 + 5*f**2 - 2*f + 7. Let z(t) = t**3 - 4*t**2 + t - 6. Let l(c) = -3*y(c) - 2*z(c). Is 10 a factor of l(7)?
False
Suppose -6*c - 90 = -c. Let x = c + 40. Is x a multiple of 5?
False
Let r(b) = -39*b**3 + 4*b**2 + 2*b + 5. Let u(n) = -38*n**3 + 3*n**2 + n + 4. Let g(x) = 3*r(x) - 4*u(x). Let h be (0 - 1/(-1)) + 0. Is 13 a factor of g(h)?
False
Let z(m) = 36*m. Let l(n) = -n**3 + 6*n**2 - 5*n. Let w be l(5). Suppose 13 = t + 3*u, t + w*t + 4*u = 17. Is z(t) a multiple of 20?
False
Let g(z) be the first derivative of -z**4/2 - z**3 + 3*z**2/2 + 2*z - 4. Is 10 a factor of g(-3)?
True
Let y(f) = -8*f**3 - f**2 - 3*f - 2. Is 23 a factor of y(-2)?
False
Suppose 0 = -q - 4*y - 7, q + 1 + 0 = -2*y. Suppose q*n = -2*z + 37, 8 = z - 5*n + 27. Suppose -z*t + 8*t - 64 = 0. Is t a multiple of 16?
True
Let b be (-12 - -15)*2/(-6). Let z(i) = 47*i**2 - i. Does 16 divide z(b)?
True
Let b(o) be the third derivative of o**5/60 + o**4/24 - o**3/3 + 3*o**2. Let f be b(2). Suppose 0*a + 38 = 2*t + 4*a, 5*t + f*a - 83 = 0. Is t a multiple of 6?
False
Let h = 52 - 14. Let x = -6 - -29. Let o = h - x. Does 14 divide o?
False
Is 11 a factor of 2/(-3)*(-123)/8*4?
False
Let q = 82 - 46. Is 12 a factor of q?
True
Let b be 72/(-8)*(-10)/6. Suppose b = 5*p - 0*p. Suppose 4*q = p*k + 48, -46 - 11 = -5*q + 3*k. Is q a multiple of 4?
False
Let u(a) = a + 7. Let l be u(-5). Let w(q) = 5*q + 1. Is 11 a factor of w(l)?
True
Let a(j) = j**2 + 9*j - 7. Let y be a(-10). Suppose o - y*o = -102. Does 21 divide o?
False
Let j(g) = -3*g + 10. Let d be j(-7). Suppose 8*m + d = 3*m - 4*o, m + o + 7 = 0. Is (1 - m)/((-4)/(-18)) a multiple of 9?
True
Let m be 2*((-15)/(-6) - 2). Let q(t) = -m + 35*t**2 - 10*t**2 + 2. Is q(1) a multiple of 19?
False
Let r be 4/(-14) - 48/(-21). Suppose 5*m = r*m + 36. Suppose -m = -4*l, 0*q - 2*q - 5*l = -39. Does 9 divide q?
False
Let q(m) be the third derivative of m**2 + 5/3*m**3 + 0 + 0*m**4 + 1/60*m**5 + 0*m. Is 8 a factor of q(0)?
False
Let n(d) be the second derivative of -2*d**3/3 - 5*d**2 - 4*d. Is 16 a factor of n(-12)?
False
Suppose -3*o = -0*o. Suppose 6*s - 2*s - 108 = o. Is 9 a factor of s?
True
Let n(b) = -8*b - 11. Let r(o) = o**2 - 16*o - 23. Let y(d) = -9*n(d) + 4*r(d). Is y(-5) a multiple of 22?
False
Suppose 0 = 5*v + q - 33, -v + 4*v - 9 = 3*q. Let o(h) = h**2 + h. Let c(r) = 5*r**2 - 1. Let k(f) = c(f) - 4*o(f). Does 11 divide k(v)?
True
Suppose -2*q = -0*q - 6. Suppose 0 = q*i - i. Suppose i = 2*l - 22 - 10. Is l a multiple of 12?
False
Suppose -2*u - 8 = 0, -4*z = -3*u - 0*u - 132. Is z a multiple of 6?
True
Suppose 313 = 9*g - 1262. Does 35 divide g?
True
Let x(w) = -18*w**2 + 2*w + 2. Let g be x(2). Let u = g - -34. Let d = 54 + u. Is d a multiple of 9?
False
Let l(v) = -v**2 + 3*v. Let b be l(3). Suppose -p = 3*c - 1, 5*c = -3*p - b*p + 15. Is 5 a factor of (p/3)/(2/3)?
True
Let f(l) = -l**2 - 3*l + 4. Let q be f(-4). Let m = 0 + q. Suppose 4*r - 18 = -2*u, 0 = -2*u - m*r + 3*r + 46. Is u a multiple of 6?
False
Suppose 6*f - f = 190. Suppose -76 = -2*u - t, -u + 7*t = 4*t - f. Is u a multiple of 15?
False
Let c(w) = -3*w - 1. Let l be c(3). Let y = -7 - l. Does 3 divide y?
True
Let h = 20 - -18. Is h a multiple of 3?
False
Let m(x) = x**3 - 9*x**2 - 15*x - 8. Is m(11) a multiple of 23?
True
Suppose 15 = -3*j - 36. Let s be -36 - 0*(0 - -1). Let w = j - s. Is 19 a factor of w?
True
Suppose 0 = -4*w + 5*h - 29 - 8, -4*w + h - 49 = 0. Let c = 7 + w. Is 12 a factor of (-218)/c + 1/(-3)?
True
Let t be 4 - -1 - (1 - -2). Suppose -k = t*k + 18. Let q(r) = -4*r - 5. Does 19 divide q(k)?
True
Suppose -5*j + 4 = -j. Let o = -2 - 4. Let q = j - o. Is q a multiple of 4?
False
Suppose -6*w + 6 = -2*w + 3*g, 2*g = -3*w + 4. Suppose 4*o - 4*b = 136, w*o - 2*b + 127 = 3*o. Does 13 divide o?
True
Suppose -4*j + 270 = 2*r, 2*j + 111 = r - 44. Is 34 a factor of r?
False
Suppose j - 3*p - 84 = -2*j, -20 = -4*p. Is 11 a factor of j?
True
Suppose 52 = 4*w - 4*h, h - 38 = -2*w - 0*w. Suppose w = -2*m + 123. Let l = 76 - m. Is 15 a factor of l?
False
Suppose 3*w + 8 - 146 = 0. Is w a multiple of 23?
True
Suppose -4*q = w + 2*w - 176, -132 = -2*w + q. Is w a multiple of 13?
False
Let a(z) be the second derivative of -z**7/2520 - z**6/80 + z**5/20 - z**4/6 - 4*z. Let p(r) be the third derivative of a(r). Is p(-8) a multiple of 14?
True
Suppose -2*k = 3*k + 185. Let o = k + 80. Is o a multiple of 22?
False
Let z(i) = 3*i**2 + 9*i - 10. Let p be z(-7). Suppose 2*b - 5*c - 4 = 0, c - 8 = -4*b - c. Suppose -2*o + 4*f - b*f = -p, -4*o = -f - 136. Does 17 divide o?
False
Suppose -4*c - 83 - 52 = -n, -2*n + 5*c = -279. Is 21 a factor of n?
True
Let i = 2 + -2. Suppose -3*m - 18 + 0 = i. Is 2/6 + (-82)/m a multiple of 14?
True
Let g(t) = t + 2. Let x be g(-5). Is (x + -1)*(-165)/15 a multiple of 18?
False
Let r(s) = 47*s**3 - 1. Does 12 divide r(1)?
False
Let j(i) = 19*i + 1. Let z be j(-1). Let v be z/(-12)*(0 - -2). Suppose -81 = -0*a - v*a - 5*n, 0 = -2*a + 5*n + 29. Is 22 a factor of a?
True
Let h be 5 + 0/(3 + 0). Let b(x) = h - 10 + 0*x - x. Is 3 a factor of b(-11)?
True
Suppose 56 = y + y - 5*t, -5*t = 0. Is y a multiple of 7?
True
Suppose -32 = -l - l. Is (l - 0 - 1)*1 a multiple of 5?
True
Suppose -3*d - 70 = -8*d. Does 14 divide d?
True
Let o(w) = w**2 - 7*w - 5. Let b be o(8). Suppose -20 = -b*h - 2*h. Suppose f + 20 = h*d + 4, 0 = -d - 5*f + 25. Is 5 a factor of d?
True
Let v(d) = -12*d + 15. Is 21 a factor of v(-11)?
True
Is ((54/15)/3)/((-6)/(-300)) a multiple of 8?
False
Suppose 5*p = 5*s - 205, s - 3*p - 47 = p. Suppose 2*m - s = -3*q + 65, 5*m = 5. Is q a multiple of 13?
False
Does 13 divide ((-3)/(-4))/(4/192)?
False
Let g(n) = -10*n + 18. Suppose 0 = -4*a + 6 + 2. Let s(u) = 5*u - 9. Let w(x) = a*g(x) + 5*s(x). Is 13 a factor of w(7)?
True
Let m(i) = -8*i**3 + i**2. Let u be m(-1). Suppose 0*d - 36 = -4*d. Suppose 4*p + 2*t - 3 = d, -t = -3*p + u. Is p even?
False
Let v(d) = -3*d + 3. Is 13 a factor of v(-7)?
False
Let y be 1*3/2*2. Suppose 5*h - 28 = -4*t - 5, -y = -t - 4*h. Let j = t - 2. Is j a multiple of 5?
True
Let m(k) = 20*k + 3. Let b(c) = -5*c - 1. Let a(s) = 18*b(s) + 4*m(s). Suppose 2*t + 8 = -0*t. Is 17 a factor of a(t)?
True
Suppose 4*n = -2*w + 148, -n = -6*w + w - 59. Is n a multiple of 39?
True
Let j(h) = -h**3 + h. Let t be j(2). Let y(l) = -1 + l + 4*l**2 + 3 - 3*l**2. Does 11 divide y(t)?
False
Suppose 3*a - 6*a = -81. Is a a multiple of 9?
True
Let v = -375 - -584. Is 11 a factor of v?
True
Let i(p) = p**2 + 2*p - 3. Let z be i(-5). Suppose -5*h = -h - z. Suppose -h*b = a - 4*a + 18, -a + 3*b + 4 = 0. Does 7 divide a?
True
Let u be (-2)/(-3) - 30/(-9). Suppose t - 25 = -u*t. Suppose -3*j - 96 = -4*s, -t*s + j + 97 = 3*j. Is 12 a factor of s?
False
Let u = 7 - -27. Is 11 a factor of u?
False
Let u = 6 - 4. Let n(r) = -r**3 - r**2 + 3*r - 1. Let f be n(u). Is 2 a factor of f/(-2) - 5/10?
False
Suppose -7*k = -25 - 1711. Does 13 divide k?
False
Let o(u) be the second derivative of -5*u**3/6 + 5*u**2/2 + 2*u. Let y be o(5). Let k = y + 35. Is 15 a factor of k?
True
Let a be (-4)/(-8)*(2 + -2). Let q = a - -27. Is 9 a factor of q?
True
Let t be (4/(-8))/(2/(-52)). Suppose 0 = -h + 31 + t. Suppose -2*m = -