 = 1 - -2. Let z(k) = 0*k + 3*k - 6*k - 6*k**2 + 7 - k**m - 3*k. Does 18 divide z(-6)?
False
Let g(l) = 28*l**3 + 1. Let b be g(1). Suppose -2*y + 7 = -b. Is y a multiple of 14?
False
Let o(x) = -x - 1. Let q be o(-1). Is (-2 - q) + 52/2 a multiple of 8?
True
Let v(s) = -s**3 - 15*s**2 - 47. Is 35 a factor of v(-16)?
False
Suppose 4*f - 3*f - 13 = 0. Let h = 30 - f. Is h a multiple of 12?
False
Let i(k) = -3 - 7 - 6 + 4*k + 4 + k**2. Is i(5) a multiple of 11?
True
Let j(f) be the first derivative of 2/3*f**3 + 2 + f**2 - 7*f. Does 11 divide j(-5)?
True
Suppose 3*l = b + 7, -2*b - 5*l + 41 = -0*b. Let q(u) = -u**3 + 8*u**2 + 2*u - 10. Is 5 a factor of q(b)?
False
Let b(m) = m - m**2 - 3*m - 3 + 10*m. Let g be b(6). Suppose -g = -2*w + s, -3*w + 6 = 3*s - 2*s. Is 3 a factor of w?
True
Let u be (-135)/(-6) - -2 - (-3)/(-6). Let j = 18 + -32. Let w = u + j. Is 5 a factor of w?
True
Let o = 7 + -5. Let g(a) = -9*a**3 - 2*a**2 - a + 2. Let u be g(o). Does 7 divide u/(-6)*6/5?
False
Suppose -8*l + 4*l = -16. Let z = 18 + l. Is 11 a factor of z?
True
Suppose 4*s + 3*s - 609 = 0. Is 15 a factor of s?
False
Let f(o) = 2*o**2 + 4. Does 7 divide f(4)?
False
Let b(z) = -z**3 + z**2 + 15. Let a be b(0). Suppose -c = -2*c + a. Does 3 divide c?
True
Let j = -27 - -75. Let p = 165 + -95. Let h = p - j. Is 11 a factor of h?
True
Let z be (10/(-25))/(1/(-20)). Suppose 2*h = -2*h + z. Is h a multiple of 2?
True
Is (-3 + (-58)/(-4))/1*12 a multiple of 23?
True
Let h(u) = -u**2 + u - 14. Let m be h(0). Let l = m + 35. Suppose 0 = -c - 5*i + 1, 2*i + 3*i + l = c. Is c a multiple of 11?
True
Suppose -q + 3*q = 0. Suppose q = -4*n - 16, -k = 5*n - 0 + 11. Is 8 a factor of k?
False
Suppose -5*v - 30 + 10 = 2*i, 4*v + 16 = 4*i. Suppose i = 2*d + 5*t - 166, -5*d = -t - 25 - 336. Suppose 3*h = 23 + d. Does 12 divide h?
False
Suppose 4*z - m + 2*m - 155 = 0, -4*z - 3*m + 145 = 0. Is 10 a factor of z?
True
Suppose 3*l = -5*k + 134, 4*l - 53 - 111 = -3*k. Does 8 divide l?
False
Suppose -2*x + 1 = -o + 3, o - 5 = 3*x. Let h(j) = 2*j**2 + 6*j. Is 8 a factor of h(o)?
True
Is 1 + -4 + 0 + 248 a multiple of 25?
False
Let l(q) = -1 - q - q**3 + 0*q - 4*q**2 + 3*q**2. Let a be l(-1). Suppose 5*g + 3 = -3*s + 25, -4*g - 5*s + 28 = a. Does 2 divide g?
True
Let h(g) = -g**3 - 5*g**2 + g + 3. Let v be h(-6). Suppose v = -4*i - 27. Is 14 a factor of 30*-6*3/i?
False
Let q(o) = o + 1. Let f be q(3). Let u(z) = 0*z - 5*z - f*z - z**2 + 8. Does 11 divide u(-7)?
True
Suppose 3*f - n = 101, -4*f + 131 = 2*n - 7*n. Does 17 divide f?
True
Let g = -7 + 13. Let w(d) = d**2 - 3*d + 2. Does 10 divide w(g)?
True
Suppose b - 2*b + 3*i = -90, 3*b - 5*i = 254. Is b a multiple of 37?
False
Let j(n) be the second derivative of -1/10*n**5 + 1/6*n**3 + 0 + 0*n**4 + n**2 - n. Does 8 divide j(-2)?
True
Let j = 47 + -27. Suppose 6*z - z = j. Is 4 a factor of z?
True
Suppose -10 = -5*y + 10. Suppose -20 = -4*s + y. Does 10 divide 4/s*(-45)/(-2)?
False
Suppose 0*g + 4 = -4*g. Let m(s) = -4*s**3 - s**2 - 2*s - 1. Let w be m(g). Suppose -137 + 49 = -w*u. Is 11 a factor of u?
True
Let a(m) = m + 7. Suppose -3*v - 13 = 4*q, 2*v + 3 = -0*v + 3*q. Let z be a(v). Suppose -z*n = -n - 36. Does 11 divide n?
False
Let c(m) = -14*m - 17. Is c(-6) a multiple of 2?
False
Suppose -4*s = 5*q - 360, 5*s - 2*q - 450 = -7*q. Does 45 divide s?
True
Suppose 1 = 4*v - 15. Suppose 5*q = v*q + 12. Does 6 divide q?
True
Suppose 2*s - 3*d = -11, 0*d + 3*d - 12 = 3*s. Does 17 divide 84/5 + s/(-5)?
True
Let y be (26/6)/((-3)/(-63)). Suppose -a + 5*j = -35, -a + j + y = 2*a. Suppose 0 = -i - i + a. Is i a multiple of 8?
False
Suppose 6 = 5*a - 24. Let c(z) be the third derivative of z**6/120 - z**5/10 + z**4/8 + z**3/3 + z**2. Is c(a) a multiple of 10?
True
Let y(g) = 5*g**2 + 9*g - 51. Is 9 a factor of y(6)?
False
Suppose 0 = -5*l + 48 + 357. Does 9 divide l?
True
Suppose 2*h = 10*h - 1216. Is 33 a factor of h?
False
Let x = 126 + -11. Does 17 divide x?
False
Let v = -3 - 6. Let p = v + 21. Does 8 divide p?
False
Let w(g) = -g**2 - 5*g + 2*g**2 + 0*g**2. Suppose -7*k = -8 - 34. Is 2 a factor of w(k)?
True
Suppose 39 + 136 = -5*t. Let n = 67 + t. Is n a multiple of 27?
False
Let f(p) = 23*p**2 - 3*p - 4. Let c be f(3). Suppose -3*b + c = 44. Does 25 divide b?
True
Suppose 0 = -6*m + 2*m - 16. Let z(h) = -5 - 4*h + 5*h**2 + 3*h + h**3 + 0*h**2. Is 15 a factor of z(m)?
True
Let w = -72 + 135. Is w a multiple of 10?
False
Let u be 2*-1*(2 + 0). Suppose -4*h = -5*l + 145, -h + 4*l - 6 - 22 = 0. Let i = u - h. Is i a multiple of 12?
True
Suppose 0 = 5*w - 3*i - 266, 3*w + 2*w - 262 = i. Is 8 a factor of w?
False
Let o(d) = -d + d**2 - d + 0 - 3. Let k be o(3). Suppose k = -2*z + 4 + 22. Is 13 a factor of z?
True
Let s = 1 - -15. Let a(l) = 3*l**2 - 21*l + 4. Let v be a(8). Let o = v - s. Does 7 divide o?
False
Suppose -2*x + 60 = -3*y, 5*x + 0*y + 3*y = 171. Is x a multiple of 11?
True
Let s(v) = 4*v**3 + v**2 + v + 1. Let m be s(2). Suppose -i + m = 14. Suppose 0 = -6*t + t + i. Is 5 a factor of t?
True
Let f = 4 + 1. Is (-70)/(-4)*6/f a multiple of 7?
True
Let w = -13 - -18. Suppose 4*o - 5*o = -2*a - 3, 0 = 5*o - w*a - 20. Is 2 a factor of o?
False
Suppose -6 = -3*k + x + 63, -k + 25 = -x. Let s = -9 + k. Is s a multiple of 9?
False
Let d(w) = 10 - 20 + 9 + 35*w**3. Does 8 divide d(1)?
False
Suppose 5*m + 0*m - 75 = 0. Does 10 divide m?
False
Suppose -2*v = -4*v + 40. Suppose 2*r = g - v, r = -4*g - 0*r + 125. Is g a multiple of 15?
True
Let b(w) = 46*w**3 + 2*w**2 - 1. Suppose -4*y - 4 = -8. Is 21 a factor of b(y)?
False
Let d = -82 + 200. Is d a multiple of 17?
False
Suppose 3*r + 2 = r. Let j = r + 2. Suppose 0 = -5*q + 26 - j. Is q a multiple of 5?
True
Let b = -93 - -98. Does 2 divide b?
False
Does 7 divide 190/14 - (-2 + 22/14)?
True
Let z(x) = 6*x**2 - 10*x - 17. Is z(-4) a multiple of 23?
False
Let l = -4 + 6. Suppose -2*f - y + 113 = -0*f, 5*f - 287 = 2*y. Suppose x = -l*x + f. Does 13 divide x?
False
Suppose -127 = -s + 5*p + 42, -3*p = 15. Is s a multiple of 25?
False
Let d be (6/(-4))/(2/(-4)). Let g = 15 - d. Is 10 a factor of (-10)/3*g/(-2)?
True
Let b be (-3)/(-4) - 10/(-8). Is 13 a factor of b + (-2)/2 + 12?
True
Let p be (21/(-15))/(3/(-15)). Let c(j) = j + 3. Let k be c(p). Suppose 2*g = 5*a + k, g - 2*g = a - 12. Is g a multiple of 10?
True
Let o(z) be the third derivative of z**4/24 + 17*z**3/6 + 6*z**2. Let x be 0/((9/3)/3). Does 8 divide o(x)?
False
Suppose 0 = 2*q + 120 - 392. Suppose -2*y + q = 40. Is y a multiple of 12?
True
Let m(i) = 5*i**3 - 21*i**2 + 4*i + 2. Let a(g) = 2*g**3 - 7*g**2 + g + 1. Let x(j) = 8*a(j) - 3*m(j). Is 13 a factor of x(-7)?
False
Let v = -66 + 38. Let b = v + 51. Does 6 divide b?
False
Suppose d + 2*d = -b + 16, 5*d - 38 = 4*b. Is 12 a factor of (d/5)/((-5)/(-50))?
True
Let f(x) = x**3 + 4*x**2 + 3. Let n be f(-4). Suppose -v + 12 = n*v. Is 17 a factor of ((-17)/3)/(v/(-9))?
True
Let q be (2/(-6))/((-7)/231). Let r = -15 + q. Does 7 divide r/6 - (-132)/9?
True
Suppose 5*h - 2 = -0*h - 4*x, 4*h = -4*x. Suppose -2*s = -h*g - 24, -6*g = -5*s - 3*g + 50. Let j = s + -1. Does 3 divide j?
True
Suppose 1 = 3*f - 11. Is ((-5)/(-1))/(f/24) a multiple of 15?
True
Is ((-5)/5)/(2/(-10)) a multiple of 5?
True
Let g(k) = -k**3 + 9*k**2 - 7*k - 7. Let m be g(8). Let n(i) = 51*i**2 - 1. Let j be n(m). Suppose -6*d + j = -d. Is 7 a factor of d?
False
Suppose 0 = a + 8 - 20. Suppose 7*y - a = 3*y. Let z(l) = l**2 - 2*l + 1. Is 3 a factor of z(y)?
False
Let p = -35 + 25. Does 24 divide (-726)/p - 27/45?
True
Let z(o) be the first derivative of 2*o**3/3 + o**2 + 4*o + 1. Is z(-4) a multiple of 12?
False
Let o(k) = -6*k - 33. Is 33 a factor of o(-11)?
True
Suppose 4*t - 10 = 30. Is 5 a factor of t?
True
Let t = 1 + -4. Let g(i) = -i + 2. Let h be g(5). Is 4/(h*t/27) a multiple of 12?
True
Let t be 40/(-15)*(-42)/8. Suppose 2 = q - t. Let g = q - 1. Is g a multiple of 6?
False
Suppose -s - 2*s - 30 = 0. Let u(t) = t**3 + 9*t**2 - 14*t - 8. Does 17 divide u(s)?
False
Let v(g) = 19*g. Let y be v(1). Suppose -2*x - 21 - y = -3*j, -31 = -2*j - 3*x. Is 14 a factor of j?
True
Let h(s) be the third derivative of -s**6/20 - s**5/30 - s**4/12 - s**3/6 + 2*s**2. Let d be h(-1). Suppose -34 = 3*c - d*c. Does 17 divid