f(g) = 8*g - 2. Let z(a) = -6*f(a) + 5*n(a). Is z(-2) a multiple of 18?
True
Let l(a) = a - 6. Let o(v) = -v**3 + 3*v**2 + 3*v - 3. Let r be o(2). Let b be l(r). Does 6 divide ((-6)/9)/(b/(-9))?
True
Suppose 0 = 2*g - 0 - 68. Is 13 a factor of g?
False
Suppose -2*f + 468 = 4*d, 0 = d + 4*f - f - 122. Is d a multiple of 18?
False
Let g be 2/((-72)/(-33) + -2). Suppose 9*y + 128 = g*y. Is y a multiple of 12?
False
Let t(d) = -d**2 - 6*d - 6. Let c be t(-6). Let g(j) = -j**3 - 5*j**2 + 5*j - 2. Is 4 a factor of g(c)?
True
Let f = 79 + -17. Is 20 a factor of f?
False
Is 16 a factor of 12*(1/(-3))/(2/(-56))?
True
Suppose 3*v - 741 = -4*d, 0 = 2*v - v - 2*d - 247. Is v a multiple of 19?
True
Let p(h) = h**3 + 5*h**2 + h + 1. Let q be p(-5). Let x be q/2 - 10/(-2). Suppose 6 = 2*j + 4*c, x*j + c + 3 = 17. Does 5 divide j?
True
Suppose -132 = -4*o + 68. Is 4 a factor of o?
False
Let u = 2 - -54. Is 7 a factor of u?
True
Suppose 4*j + 3 = -5*i, -j = -4*i - 0*i + 6. Is 4 a factor of (6 - 9/3) + i?
True
Suppose 2 = 3*l - 4. Suppose 4*v - 20 = l*v. Does 10 divide v?
True
Let w(m) = 20*m + 17. Does 15 divide w(5)?
False
Suppose 2*o + 2*n + 4 = 0, -4*n - n = -20. Let w(g) = -10*g - 3. Let b be w(o). Let f = 84 - b. Is f a multiple of 10?
False
Let w = 36 + -6. Does 6 divide w?
True
Suppose 0*v - 3 = -v. Suppose -3 = -2*g + v. Suppose g*i - 70 = i. Is i a multiple of 15?
False
Suppose t - 8 = -5*s, 2*t = -0*t - 4. Let f be 2/9 - (-86)/18. Suppose 2*v + f*w - 3 = s*w, 3*v + w - 22 = 0. Is v a multiple of 7?
False
Suppose 4*v - 340 = -v. Is v a multiple of 25?
False
Suppose -3*o - 2*o + 1361 = -2*a, 2*o + 5*a - 556 = 0. Does 42 divide o?
False
Let j = 76 - 125. Does 6 divide 14/j - (-44)/7?
True
Let s be (24/30)/((-1)/(-5)). Is 66 + 0 + 0 + s a multiple of 24?
False
Let p(l) = l**3 + 9*l**2 + 9*l. Let y be p(-8). Let r(c) = -3*c + 5. Is 29 a factor of r(y)?
True
Suppose -3*d = 2*d - 385. Does 11 divide d?
True
Let b(z) = z**2 - 3*z + 7. Let a be 1/(-3) + (-64)/(-12). Let l be b(a). Suppose 0 = -4*o + 47 + l. Does 11 divide o?
False
Let o(j) = -4*j**3 - 8*j**2 - 13*j - 9. Is 9 a factor of o(-4)?
True
Suppose -b - l + 23 = -12, 3*b = 3*l + 129. Is b a multiple of 3?
True
Suppose -4*s + s - 111 = -5*f, -s = -3*f + 65. Does 6 divide f?
False
Suppose 0 = 2*i - 4*f - 16, i - 26 = -3*i + 2*f. Let u be 7/3 - 2/i. Suppose 2*b + u*d = b + 16, d = -5*b + 80. Is b a multiple of 8?
True
Suppose -3*x - 124 = -2*x. Let i = -61 - x. Is 21 a factor of i?
True
Let q = 368 - 242. Is 42 a factor of q?
True
Let p(c) be the second derivative of -c**5/20 - 2*c**4/3 + 5*c**2 - 3*c. Does 5 divide p(-8)?
True
Let l(a) = -a - 3. Let m be (-102)/15 + (-2)/10. Let d be l(m). Suppose -d*y + 22 = r - 8, 48 = 2*r + 4*y. Is 8 a factor of r?
False
Suppose -i = 3*p + p - 1, -13 = -i + 2*p. Suppose -2*b + 19 = -i. Is b a multiple of 14?
True
Let m(h) = h**3 - 6*h**2 - h + 4. Let s be m(6). Is 7 + (s/1 - 0) a multiple of 3?
False
Let u(y) = y**3 + 3*y**2 + 3*y + 2. Let s be u(-2). Suppose s = 4*i - 3*i + 34. Let z = i + 64. Is z a multiple of 10?
True
Let p(i) = i**2 + 6*i - 6. Let y be p(-5). Let q = 11 - y. Is q a multiple of 19?
False
Let u(f) = f**3 + 23*f**2 - 6*f + 2. Is u(-23) a multiple of 4?
True
Let h = 0 + 0. Suppose h*g = 3*g - 30. Is 114/g + (-4)/10 a multiple of 4?
False
Let s = -85 + 144. Does 19 divide s?
False
Let o(g) = g**2 + 2*g + 3. Suppose 4 = -2*i - 6. Let w be (i/(-2) + -1)*-2. Is 3 a factor of o(w)?
True
Let l(y) be the first derivative of -y**4/2 + y**3/3 + 3*y**2/2 - y + 3. Is l(-3) a multiple of 18?
False
Let y(k) = 5*k**2 - 2*k - 3. Let m(b) = b**3 + b**2 + 6. Let g(r) = -r**3 - 7. Let t(v) = 3*g(v) + 4*m(v). Let j be t(-4). Is 18 a factor of y(j)?
True
Suppose -14*l = -16*l + 24. Is l a multiple of 6?
True
Let b be (-2 + 4 + -2)/(-2). Suppose -2*w - 4 = -b*w. Let l = w - -22. Is 10 a factor of l?
True
Let z be 2*(2 + -1) + 2. Suppose w + f - 12 = 3, -9 = 3*f. Suppose w = -b + z*b. Does 3 divide b?
True
Suppose 0 = 5*i - 63 - 257. Does 8 divide i?
True
Suppose m = 2*n - 1, -4*m = -5*n + 2 - 4. Is n even?
True
Suppose q + 10 = 3*q. Suppose 110 - q = 5*k. Is k a multiple of 11?
False
Suppose 0*r = -2*r. Suppose 3*q - 130 - 98 = r. Is q a multiple of 20?
False
Suppose -j - j - v = 91, -2*j - 5*v - 103 = 0. Let n = j + 70. Is n a multiple of 13?
True
Let i(z) = 5*z + 10. Is i(6) a multiple of 8?
True
Let k(h) = 2*h**2 - 8*h + 3. Does 27 divide k(6)?
True
Does 8 divide -4 - -15 - (-4)/(-2)?
False
Let h = -248 - -607. Is h a multiple of 53?
False
Suppose 5*h + 6 = 5*v + 161, 125 = 3*h + 5*v. Suppose l = -4*u + 38, -h = -0*l - l - 3*u. Is 18 a factor of l?
False
Let j(b) = b**2 - b**3 + 3 + 0*b**3 + 4*b**2 + 0*b**3 + 6*b. Is j(6) a multiple of 2?
False
Let x(z) = z**2 + 3*z + 1. Let c be x(-3). Does 3 divide (-2 + c)*-2 + 6?
False
Let l = -20 - -39. Is l a multiple of 4?
False
Let v(x) = -x**2 + 7*x - 2. Let a be v(7). Let w be ((-2)/(-4))/(a/(-8)). Is (0/(-3))/w + 18 a multiple of 9?
True
Is -4 + 42*(0 - -1) a multiple of 8?
False
Let v(h) = -2*h**3 + 32*h**2 - h + 14. Let p be v(16). Let b(k) = 1 - 6*k**2 - 2*k + 7*k**2 + 9*k**2. Is b(p) a multiple of 15?
True
Suppose -5*l + 10 = -20. Suppose -5*g - h = 8, 2*g = 5*h - l - 8. Let s(n) = -2*n + 1. Is 5 a factor of s(g)?
True
Suppose p = -o + 2 + 9, -o = -2*p + 1. Let z = 61 - o. Is z a multiple of 27?
True
Is 58 a factor of -2*963/12*(-4)/6?
False
Suppose -x + f + 4 = -3, 5*x + 3*f = 3. Suppose 0 = 5*n - 5*y - 320, 0*n = 2*n + x*y - 148. Does 18 divide n?
False
Let l(o) = 11*o**2. Let g be l(-1). Let f = g + -7. Is f a multiple of 4?
True
Suppose 70 = -4*g + 262. Let j = 113 - g. Does 13 divide j?
True
Let c(t) = -t - 2 + 11 - 1. Let a be c(6). Does 16 divide (-1)/a - (-260)/8?
True
Let i be (-4)/(-3*(-3)/(-9)). Suppose -32 = -i*k + 3*k. Is 12 a factor of k?
False
Is 4 + -3 - 11/(-1) a multiple of 6?
True
Let d be 2 + 0 + 0 + 17. Suppose -u + d = i, 2*i - u = -3*i + 71. Is 13 a factor of i?
False
Let m(h) = -9*h - 10. Let a be m(-14). Let d = 164 - a. Does 11 divide d?
False
Let u(l) = -l**2 + 12*l - 15. Does 2 divide u(10)?
False
Suppose -o + 1 = -3. Suppose -o*p = -7*p + 189. Let v = p - 41. Is v a multiple of 22?
True
Let k(v) = 22*v. Let s(p) = p**2 + p - 1. Let g be s(-2). Let y be k(g). Suppose -h = h - y. Does 4 divide h?
False
Let n be 4 + 2 + 0 + -2. Is -4 - ((-117)/3 - n) a multiple of 15?
False
Let q = -13 - -37. Suppose 2*a + q = 5*a + 3*x, 4*x = 3*a - 38. Suppose -2*k + 24 = -j - a, -j = k - 23. Is k a multiple of 10?
False
Let o = -6 + 18. Suppose 0 = o*j - 10*j - 96. Does 12 divide j?
True
Suppose 80 = 4*u + 5*a - a, 80 = 4*u + 5*a. Does 10 divide u?
True
Does 18 divide 36/(-15)*(-1340)/6?
False
Is 11 a factor of (-984)/(-88) + (-2)/11?
True
Let w be (7/(-2) + 2)*-2. Suppose -5*x = w*r - 34, 0 = -5*r + x - 3*x + 25. Suppose -r = -l + 1. Is 2 a factor of l?
True
Suppose 3*l = -2*l. Suppose 4*k + 2*t - 5*t = 194, -k - 2*t + 54 = l. Does 11 divide k?
False
Suppose -4*x - z + 72 = 0, 4*z + 53 + 19 = 4*x. Is x a multiple of 18?
True
Let i be 0 + 7/((-14)/4). Let n(a) = 1 + 2*a - 6*a - 7*a. Is n(i) a multiple of 10?
False
Let r(v) = -v**3 + 3*v**2 + 2*v - 7. Let l(z) = 2*z**3 + 4*z**2 - 2*z - 7 + 4*z - 3*z**3. Let a(k) = 3*l(k) - 2*r(k). Does 4 divide a(6)?
False
Let w(z) = -z**2 - 4*z + 2. Let h be w(-5). Is 4 a factor of 1*9 - 6/h?
False
Let i(z) = 4*z + 18. Does 31 divide i(11)?
True
Let u(v) = 260*v**3 - v**2 + v. Let n be u(1). Suppose -3*q + 84 = w, 4*w - n = -3*q + 40. Is w a multiple of 15?
False
Suppose 5*t - 2*j = 117, -4*t - 4*j = -0*j - 116. Does 25 divide t?
True
Let f(l) = l**2 - l - 36. Let d be f(0). Let v be 0 + (-174)/(-3) - -2. Let o = d + v. Is 8 a factor of o?
True
Let w(t) be the second derivative of 4*t**3/3 + 5*t**2/2 - 4*t. Is 17 a factor of w(7)?
False
Let t(o) = -2*o**2 + o. Let x(a) = 6*a**2 - 2*a + 1. Let p(y) = -7*t(y) - 2*x(y). Is 23 a factor of p(-4)?
False
Let v(j) = -j + 9. Let m be v(9). Suppose m = 2*z - 14 - 34. Does 12 divide z?
True
Suppose -10*x + 208 = -12*x. Let v = x + 147. Does 15 divide v?
False
Let l be ((-1)/(-2))/((-2)/20). Let s = 6 + l. Is 13 a factor of s/(-4) - 53/(-4)?
True
Let x(d) = d**3 - 6*d**2 - 2*d - 9. Let a be x(8). Suppose 0 = -s + 5*o + 33, 3*s - a 