e -2*o = o - 9. Suppose 2*a - 246 = -i, 5*a - 166 = 2*i + 467. Suppose -z + o*g = -37, 5*g - a = -5*z - 0*g. Does 15 divide z?
False
Let a(p) = -3*p. Let h(y) = y**3 + 5*y**2 - 6*y - 1. Let o be h(-6). Is a(o) even?
False
Suppose -2*s + 96 = -s. Let y = s + -14. Does 31 divide y?
False
Let f = -14 - -7. Let a = 31 + -20. Let n = f + a. Is n a multiple of 4?
True
Let i be 1/4*2*0. Let a = 2 + i. Is 2 a factor of a?
True
Let s = 9 + -7. Is s - (-3 + 3 - 25) a multiple of 9?
True
Let u be 2/6 - 184/(-6). Suppose y = 1, z + 3*y - 28 = u. Suppose s + 20 - z = 0. Is 14 a factor of s?
False
Suppose 0 = 4*w - 5*o - 91, 11 = w - 2*o - 11. Does 22 divide w?
False
Let a = -3 - -3. Suppose -7*g + 4*g = a. Suppose -3*k + 59 = -5*f, g = -0*k - k + f + 17. Is 8 a factor of k?
False
Suppose 0 = -k - 2*k. Suppose 2*d - 12 = -k*d. Suppose d = h - 1. Is h a multiple of 3?
False
Let y(i) = 3*i**2 - 9*i + 15. Is y(6) a multiple of 7?
False
Suppose r - 7*k - 36 = -2*k, -4*k + 72 = 4*r. Is r a multiple of 8?
False
Suppose -3*p + 18 = -3*m + 78, -m - 3*p + 8 = 0. Suppose -4*a - 1 + m = 0. Suppose 0 = -3*k + 6*k + 5*d + 6, -9 = k + a*d. Is 3 a factor of k?
True
Let g(n) = 30*n**2 - 3*n + 1. Let s be g(2). Suppose 2*t - u - s = 0, -3*u + 6*u = -4*t + 255. Suppose -2*l + 5*o = -t - 3, 54 = 2*l - 2*o. Does 12 divide l?
True
Is ((-4)/(-3))/(548/108 - 5) a multiple of 9?
True
Let j(v) = -v**3 - v**2 + v. Let o(m) = m**3 - 4*m**2 - 7*m - 4. Let d(w) = 2*j(w) + o(w). Let c be d(-3). Let q = -8 - c. Is 8 a factor of q?
True
Suppose 5*w + 4*d = 652, 670 = 4*w + w - 5*d. Is w a multiple of 22?
True
Let n(p) = 21*p - 2. Let w be n(3). Suppose -3*i + w = 7. Is i a multiple of 8?
False
Let r = 103 + -23. Let h be 5 + -2 + 0/(-1). Suppose -h*x = -8*x + r. Is 8 a factor of x?
True
Let p = 0 + -19. Is -1 - 5 - -3 - p a multiple of 9?
False
Suppose 0 = 2*p - 4*p + 22. Does 11 divide p?
True
Suppose -i = -5*d - 24, -35 = 3*d + 4*i - 16. Let z be (-2)/(1/4*-1). Let c = z + d. Is c a multiple of 3?
True
Suppose 0 = -k - d, -3*k = -k - d. Suppose k = b - 3*f - 39, -b + 0*f + 59 = 2*f. Is (-2 + 6)*b/6 a multiple of 17?
True
Let j(a) = -a**3 - a**2 + 2*a + 2. Let b be j(-2). Suppose -k - 2*r + 1 = -r, -b*k - 3*r = -1. Suppose 0*u + 2*l + 90 = 4*u, k*u - 2*l = 50. Does 10 divide u?
True
Suppose y - d - 3 = 0, 0 = -3*y + 2*d + 3*d + 9. Suppose 4*c = -3*h + y, -4*h + 9 = 21. Suppose -3 + 53 = 2*t - 2*g, -15 = c*g. Does 7 divide t?
False
Let j = 62 - 34. Is 7 a factor of j?
True
Suppose 4 + 8 = -n. Let s = n + 28. Is 11 a factor of s?
False
Let y(b) = 3*b + 0*b**2 - 4 - 2*b**2 + 2*b**2 + b**2. Is 12 a factor of y(4)?
True
Let j(n) = -n**3 - 4*n**2 + 5*n + 3. Let g be (3 - (-1 + -1))*-1. Is j(g) a multiple of 2?
False
Let n(g) = -g**3 - 2*g**2 - 2*g - 4. Suppose -5*q + 1 = -4. Suppose 0 = k - q + 5. Does 18 divide n(k)?
True
Let d = 67 + -53. Is 4 a factor of d?
False
Let i(c) = -c**3 - 7*c**2 - 4*c - 14. Is 7 a factor of i(-7)?
True
Suppose -4*u + 30 = 2*h, h + 1 - 31 = u. Is h a multiple of 3?
False
Let u(a) = 2*a. Let x be u(5). Is ((-12)/7)/(x/(-35)) a multiple of 4?
False
Suppose -3*d + 3*f + f + 29 = 0, 22 = -d - 5*f. Suppose 0 = -d*l + 7 + 8. Suppose 4 + 11 = l*g. Is 2 a factor of g?
False
Let b(f) = 8*f + 12 - f**3 + 2*f**3 + 10*f**2 - 3*f. Does 16 divide b(-9)?
True
Let z(p) = -p**2 + 3*p - 12. Let n be 96/42 - 2/7. Let l(s) = 3*s**2 - 5*s + 25. Let v(a) = n*l(a) + 5*z(a). Does 4 divide v(-7)?
True
Suppose 5 + 24 = 2*o - 5*n, 4*o - 28 = 4*n. Let t(a) = -3*a**3 - a**2 - a. Let c be t(o). Is (-5)/2*c/25 even?
False
Let t = -40 + 61. Is t a multiple of 5?
False
Suppose 0*u = 4*u + 4. Let m be 1*6 + -1 + u. Suppose -m*w = p + p - 38, 5*p = -w + 23. Is w a multiple of 8?
True
Let v(y) = y**3 + 9*y**2 - y - 2. Let l be v(-9). Suppose q - l*q + 360 = 0. Is 20 a factor of q?
True
Let r = -2 + 6. Suppose 0 = b + 3*v - 37, 3*v - 76 = -r*b + 72. Is 14 a factor of b?
False
Let y(t) = 2*t + 10. Let r be y(-8). Does 21 divide -36*((-27)/r)/(-3)?
False
Let u(m) = m**2 - 15*m - 1. Let z be u(-13). Suppose -13 + z = 5*f. Is f a multiple of 25?
False
Let z = 112 + -60. Suppose 0 = 4*k - z - 424. Suppose 105 = 3*v + 3*x, -k = -4*v - x + 30. Is 19 a factor of v?
True
Suppose -5*a = 3*s + 84, 3*a = -s + 2*s - 42. Let c = -9 - a. Is c a multiple of 2?
True
Let x(o) = -3*o - 1. Suppose 3*i - 6*i = 4*p - 1, 4*p + 13 = -i. Suppose 5*r - 3*b - b = -i, -3*b = 6. Does 4 divide x(r)?
True
Is ((-8)/(-4) + 9)*5 a multiple of 11?
True
Suppose 4 = -5*c + 3*c. Let w = 0 - c. Is 6 a factor of (24/7)/w*7?
True
Let w(p) be the third derivative of p**6/120 - p**5/60 + p**4/24 + 5*p**3/2 - p**2. Is w(0) a multiple of 15?
True
Is (2/4 - 2)*(-416)/12 a multiple of 13?
True
Does 8 divide (-31533)/(-207) + (2/3 - 1)?
True
Let r(b) = 1 - 8*b - 6*b**2 - 5 + 2 - b**3. Let j(u) = -u - 1. Let p be j(5). Is r(p) a multiple of 16?
False
Suppose -2*p + 37 + 47 = 0. Does 21 divide p?
True
Suppose -w + 3*r = -0*w - 45, 3*w - 4*r = 110. Is w a multiple of 30?
True
Let o(u) = -2*u - 4. Let r be o(-6). Let p = 14 - r. Is 3 a factor of p?
True
Let q(h) = h**2 - 2*h - 4. Let y = 5 - 1. Suppose -5*a - 5*r - 5 = 0, 0 = -0*a + y*a - 2*r + 28. Is q(a) a multiple of 12?
False
Suppose 13 = 3*s - 2. Suppose -s*g = -3*q + 77, 5*q = 2*g + g + 123. Suppose -3*t = 5*r - q, 3*t + r = 8*t - 40. Is 5 a factor of t?
False
Let c be (6 - 8)*18/4. Does 14 divide (-42)/4*12/c?
True
Let t = -11 + 15. Suppose t*r - 81 = r. Is 12 a factor of r?
False
Let w(t) = t**3 + 6*t**2 + 5*t - 3. Let u be w(-5). Let m = -10 + u. Is (m/(-4))/((-1)/(-4)) a multiple of 5?
False
Let f(u) = u**3 + 4*u**2 + 2*u - 2. Suppose -3*y + 10 = -8*y. Let h be f(y). Suppose 2*t + 2*v - 28 = 0, 4*t - 4*v - 50 = -h*v. Does 6 divide t?
False
Let k = -3 + 7. Let a be -6*(10/k)/5. Is 17 a factor of (102/9)/((-1)/a)?
True
Let a(i) = -4*i - 1. Let k be a(-1). Suppose 0*q = k*q - 9. Is 5 a factor of (q/2)/((-6)/(-56))?
False
Let w(x) = x**3 + 10*x**2 - 21*x - 3. Is w(-11) a multiple of 35?
False
Suppose -4*b + 6*b - 5*m - 299 = 0, m + 455 = 3*b. Is b a multiple of 38?
True
Let b = 12 + -20. Let k(l) = l**2 + 4*l + 12. Is k(b) a multiple of 22?
True
Let u(n) = 3*n**2 + n + 1. Let t be u(-1). Is 4 a factor of (t + -1)*(-5)/(-2)?
False
Suppose -56 = -3*j - 23. Is j a multiple of 11?
True
Let b be (-4)/(-2) - 4/(-4). Suppose 0 = b*d - 14 - 67. Does 10 divide d?
False
Suppose p = -p - 30. Let j be (p/(-4))/((-1)/28). Let x = j + 148. Does 17 divide x?
False
Let c = 65 + -50. Is 7 a factor of c?
False
Suppose 0*w + 2 = w. Suppose q - 2 = 1, 62 = 4*t - w*q. Is t a multiple of 15?
False
Let i be (-376)/(-32) - 2/(-8). Let g = i - -9. Is g a multiple of 6?
False
Let f(v) be the first derivative of 11*v**3/3 + v**2 - v - 1. Does 6 divide f(1)?
True
Let d(a) = -a**3 + 6*a**2 + 5. Let r be d(6). Suppose 0 = r*l - 14 - 1. Suppose -5*q + 22 = 5*z - 8, l*z = q - 26. Is q a multiple of 4?
False
Let s be ((-1)/(-2))/((-2)/(-72)). Let t be (s/5)/(6/15). Let o = t + 13. Does 19 divide o?
False
Let b be (2 + (-51)/9)*-12. Suppose 5*n = -2*j + b, 9 + 31 = 4*j - 2*n. Does 12 divide j?
True
Let z(y) = -4*y - 3*y + 3*y. Let g be z(-1). Suppose 0*v + v - g = 0. Does 3 divide v?
False
Let t(x) = -20*x + 3. Let y be t(3). Let w be (-2)/(-5) - y/(-5). Let u = w - -41. Does 15 divide u?
True
Suppose -2*o = 23 - 3. Let x = -4 - o. Is x a multiple of 6?
True
Let k(l) be the first derivative of -3*l**2 - 12*l + 2. Is 15 a factor of k(-10)?
False
Suppose -t + 111 - 20 = 3*h, 5*h = -t + 155. Does 8 divide h?
True
Suppose 0 = 4*k - 3*f - 35, k - 1 + 2 = 4*f. Suppose -6 = -5*q + 19, 4*q = v + k. Is 2 a factor of v?
False
Let h be 1296/28 + (-4)/14. Is h - (-1)/((-2)/(-4)) a multiple of 16?
True
Suppose 2*o - 76 = 20. Does 8 divide o?
True
Let d(s) = 10*s - 1. Let r be d(-1). Let z = r - -7. Let w(i) = i**3 + 3*i**2 - 6*i - 3. Is 2 a factor of w(z)?
False
Let l(j) = 23*j**2 + j + 4. Is l(3) a multiple of 27?
False
Let s = -66 - -111. Let n be ((-10)/6)/(3/s). Let i = n - -41. Is i a multiple of 16?
True
Let k(o) = 4*o - 1. Let c be k(1). Suppose -c*q - 435 = -3*g - 2*g, 3*g = -4*q + 290. Suppose -2*v + g = 3*v. Does 14 divide v?
False
Suppose -3*d - 1 = -m, -d + 2*m - 5 + 3 = 0. Suppose d*n = 4*n. Suppose 0 = 2*y - 5*g - 71, -2*y 