= 3*r - 492, -z + 73 + 39 = 4*r. Is z a multiple of 7?
False
Let o be 232/9 - (-16)/72. Let z = o + -14. Does 4 divide z?
True
Let h(k) = 18*k**2 + k + 1. Does 16 divide h(-1)?
False
Let i be 0/1*(-1)/(-1). Let g(t) = -t**3 + t + 3. Is 3 a factor of g(i)?
True
Suppose 2*n - 115 - 31 = 2*z, 0 = 3*n + 5*z - 211. Is n a multiple of 24?
True
Suppose c - 3*c + 268 = 0. Suppose 0*w + 3*w = -5*d + 159, 0 = 4*d - w - c. Is 15 a factor of d?
False
Suppose 7*j = 3*j + 216. Is j a multiple of 18?
True
Suppose 2*k + 36 = -4*y, 0 = -k - 3*k + 3*y - 28. Let h = k + 23. Is h a multiple of 3?
False
Let x = 18 + -32. Is (x/(-4))/(1/6) a multiple of 6?
False
Suppose -3*o + 3 = -12. Suppose -10 = -c + 2*m, 0 = -o*c + 2*m + 29 - 3. Let h = c - -10. Is 14 a factor of h?
True
Suppose 7*x - 4*x = 5*q - 172, 5*q = 5*x + 170. Is 5 a factor of q?
True
Suppose 256 = -17*d + 21*d. Is d a multiple of 16?
True
Suppose -9*a + 225 = 6*a. Is a a multiple of 15?
True
Let z(p) = 30*p + 8. Is 17 a factor of z(2)?
True
Suppose -2*j + 4*m - 5*m + 76 = 0, -3*m = j - 33. Does 9 divide j?
False
Suppose 6*j + 32 - 302 = 0. Is j a multiple of 10?
False
Let o(w) = -3*w + 12. Is 9 a factor of o(-5)?
True
Let b be (-20)/(-6)*(-9)/(-5). Is 8 a factor of b/15 - (-236)/10?
True
Let y be -103 + 8/2 - 1. Let k = y - -142. Is k a multiple of 6?
True
Let k = 7 - 4. Suppose 5*x + 4*m = k*m + 50, 0 = 2*x + 4*m - 2. Does 11 divide x?
True
Is 74/4 + 19/(-38) a multiple of 11?
False
Suppose 8*k + 20 = 13*k. Suppose -8*n - 261 = -5*s - k*n, -266 = -5*s - n. Does 15 divide s?
False
Let y(g) = g**2 + 14*g + 13. Let u be y(-11). Let v = -6 - u. Let b = v + -3. Does 11 divide b?
True
Suppose 82 = -5*i + 2*f, 4*f - 17 = i + 3*f. Let b = 25 + i. Is b a multiple of 6?
False
Let u(p) = -p**3 - 2*p**2 + 5*p. Is 3 a factor of u(-4)?
True
Suppose -5*t + 8 = 2*p, t - p - 2*p - 5 = 0. Let k(j) = -4*j**3 - 2 + t*j**3 + 7*j + 5*j**2 + j**3. Is k(6) a multiple of 2?
True
Let z(t) = 0*t**2 + 2*t**2 + 3 - 3*t**2 + 4*t**2 - 2*t. Is 18 a factor of z(-3)?
True
Suppose -4 - 42 = 2*i. Let g = i + 35. Does 4 divide g?
True
Is 14 a factor of ((-48)/28)/((-8)/196)?
True
Let w(c) = c**3 - 5*c**2 - 11*c - 6. Is 3 a factor of w(7)?
True
Let l(j) = 2*j + 8. Let z = 13 + -4. Is 26 a factor of l(z)?
True
Let i be (10/4)/((-2)/(-12)). Let j(c) = c**2 - c - 1. Let u be j(-1). Is 19 a factor of (-114)/i*(-4 - u)?
True
Let r = 0 + -2. Is 5 a factor of ((-2 - -1) + -4)*r?
True
Let k(q) = -26*q - 12. Let g(u) = -17*u - 8. Let m(d) = -7*g(d) + 5*k(d). Is 15 a factor of m(-3)?
False
Let y be (-2)/5*(3 + -13). Let x(b) = 2*b**2 - 7*b + 6. Let c be x(5). Let k = y + c. Is 10 a factor of k?
False
Let s = -2 - -7. Suppose -s*c + 11 = -2*a + 3*a, 5*c = -5*a + 35. Suppose -a*i + 35 = -i. Is 3 a factor of i?
False
Suppose 0*p - 5*p - 105 = 0. Let q = p + 45. Let a = q + -11. Does 10 divide a?
False
Suppose 0 = 3*d - 2*z - 43, -d - 2*z + 19 = -5*z. Is d a multiple of 5?
False
Let n(y) = -4*y**3 - 2*y**2 - 5*y + 1. Let i(x) = x**3 + x - 1. Let b(f) = 2*i(f) + n(f). Is b(-2) a multiple of 4?
False
Let h(j) = j**2 + j - 6. Let t = -4 - 2. Let m be h(t). Suppose -3 = -x, -x + 57 = 5*a + m. Does 5 divide a?
False
Let g(x) = 8*x**2 + 14*x - 10. Is 19 a factor of g(4)?
False
Let r(d) = 3*d - 8 - d - 4*d. Is r(-8) a multiple of 3?
False
Let i = 7 - 8. Does 13 divide 12 + -1 + i + 3?
True
Suppose -4*j + 2*j + 539 = 5*l, 0 = 4*l + 3*j - 427. Is 32 a factor of l?
False
Suppose -4 = -3*n + n. Suppose n*y + 2 = 3*y. Does 11 divide (-552)/(-30) + y/(-5)?
False
Let b be (3 + 0)*1 + 2. Suppose 2*g = -b*r + 135 - 13, -3*g + 3*r + 162 = 0. Is 16 a factor of g?
False
Let x be (-2)/3*(-30)/4. Suppose -9 = 3*h, 4*b + x*h - h = 28. Is b a multiple of 3?
False
Let d(p) = 2 - 3 + 3*p - p**2 - 2*p - 2*p. Let b be d(-1). Is b/(-1*3/27) a multiple of 9?
True
Let n(l) = -2*l - 6. Suppose 0 = -b - 3 - 4. Does 3 divide n(b)?
False
Let u(q) = q + 11. Let w = -29 - -20. Let y be u(w). Suppose -y*d = -5*h + 77, 0*h + 3*d = 2*h - 33. Is h a multiple of 15?
True
Is 25 a factor of (225/(-12))/(2/(-8))?
True
Let l(y) = -2*y**3 - 5*y**2. Let q be l(-4). Suppose -2*b = -158 + q. Does 13 divide b?
False
Let b(p) = p**3 - 6*p**2 - 3*p. Let v be b(7). Suppose 3*a - v = -n, -a - 37 = -3*a + 3*n. Is 3 a factor of a?
False
Let l(y) = -8*y - 1. Let v be l(-2). Suppose 3*m - a = v, -2*m + 4*a + 25 = 3*m. Is m a multiple of 5?
True
Let n = -3 + 7. Suppose 0 = -n*a + 39 + 9. Suppose -2*l = -a - 14. Is 13 a factor of l?
True
Let k(u) = 6*u - 4. Suppose 5*o - o = 8. Let t = o + 2. Does 18 divide k(t)?
False
Suppose -15 = 3*t + 2*t. Let d be 154 - t*(-4)/(-6). Suppose 0 = 5*c - 3*a - d, -a = 4*c - 119 + 1. Is 22 a factor of c?
False
Let x be 0*(-2)/(5 - 1). Suppose x*m - 34 = -2*m. Does 17 divide m?
True
Suppose 3*z - 2*z + 4*r - 16 = 0, -14 = -2*z - 2*r. Suppose -k = z*k. Let i(v) = v**2 + v + 15. Is 6 a factor of i(k)?
False
Let z(m) be the second derivative of -m**4/12 - 8*m**3/3 - 7*m**2/2 - 3*m. Is z(-10) a multiple of 24?
False
Suppose 0 = -r - g - 3*g, -4*g + 36 = 4*r. Suppose 0 = -4*x + 2*x + r. Is 2 a factor of x?
True
Let x(w) = -w**3 + 15*w**2 + 16*w + 4. Is x(16) even?
True
Let d(w) = w**3 + 9*w**2 + 5*w + 12. Does 12 divide d(-8)?
True
Suppose 2*s + 5 = -5*g - 3*s, -5*s - 17 = 2*g. Let z(a) = -a**2 + 6*a - 2. Let y be z(g). Suppose 4 = 2*o + y, 4*l = 3*o + 23. Is 5 a factor of l?
True
Let q(a) = -2*a + 48. Does 6 divide q(15)?
True
Let s = 39 + -26. Suppose 141 - s = 2*v. Is v a multiple of 32?
True
Let s(v) = v**3 - 2*v**2 - 2*v - 5. Let t be s(5). Does 4 divide t/(-2)*18/(-45)?
True
Suppose -5*c = -u - 14, -c = -0*u + 4*u + 14. Let f(a) = a - 2. Let r be f(u). Let z(x) = -x**2 - 7*x + 4. Is z(r) a multiple of 8?
False
Suppose 0 = -9*b + 4*b + 5*a + 10, 3*b = 5*a + 8. Let p = 14 + b. Is 15 a factor of p?
True
Let n(f) = f**3 + 8*f**2 + f - 2. Let d = 1 + 0. Suppose 5*l + 14 = -d. Does 14 divide n(l)?
False
Suppose 0 = -3*c - 0 + 3, 3*c - 3 = -3*i. Suppose 4*t - t = i. Suppose 4*u + 0*u - 96 = t. Is 9 a factor of u?
False
Suppose 4*o - 7*k + 2*k = 12, o = 5*k + 3. Suppose h = -2*n + 6*h + 62, -2*h = 3*n - 131. Suppose o = -2*v + n. Is v a multiple of 13?
False
Let s(f) = -13*f - 10. Let c(a) = -13*a - 10. Let q(i) = -6*c(i) + 5*s(i). Let u be q(8). Suppose 5*v - 101 = u. Is v a multiple of 16?
False
Suppose 3*o = 2*l - 5*l + 225, 4*l + o - 297 = 0. Is 23 a factor of l?
False
Let z be (1 + (-8)/3)*-3. Let u(v) = 2*v + 3. Let t(f) = 3*f + 5. Let n(c) = -5*t(c) + 8*u(c). Is n(z) a multiple of 4?
True
Let g(t) = -t**2 + 6*t - 3. Let w be g(5). Suppose 20 = q - w*q. Is 6 a factor of (12/q)/(2/(-30))?
False
Is (-4)/(-8) - (-878)/4 a multiple of 44?
True
Is 11 a factor of (-24 - 2)*(-1)/((-8)/(-20))?
False
Suppose -3*u - 4*i + 3*i + 14 = 0, -u + i + 6 = 0. Let t(f) = 3*f**2 - 3*f + 5. Let x be t(u). Let b = x - 33. Is 16 a factor of b?
True
Is 9 a factor of (1/(-4))/(9/(-1044))?
False
Suppose 0 = 2*w + 4*d - 24, -2*w + 24 = -5*d - 0*d. Suppose -7*r + 4*r = -6. Suppose c - r = w. Does 7 divide c?
True
Let c = 8 + -13. Let g(n) = 15*n + 3. Let i(j) = 31*j + 6. Let z(f) = -13*g(f) + 6*i(f). Is z(c) a multiple of 15?
False
Let g(p) = p**2 - 9*p - 6. Does 9 divide g(11)?
False
Suppose 0 = -4*k - 0*k. Suppose k = 3*d - 137 + 26. Let i = d - 9. Is i a multiple of 15?
False
Suppose -2*s - 3*s - 2*y = -68, -y = 5*s - 69. Is 14 a factor of s?
True
Suppose 4*y + 4*l = 100, 0 = 4*l - 9*l + 20. Suppose 2 = p - y. Does 9 divide p?
False
Let z(a) = 11*a - 4. Let l be z(11). Let i(r) = -12*r. Let h be i(-3). Is 2 a factor of l/h + (-2)/8?
False
Suppose y - 4 = -0*y. Suppose -y*i = -0*i + 16. Is (-22)/(-4) + (-2)/i a multiple of 6?
True
Let m(h) = h**2 - 4*h - 12. Suppose 7 + 11 = 2*i. Is m(i) a multiple of 12?
False
Let j = -31 - -103. Is 16 a factor of j?
False
Let c(s) = 10*s**3 + 3*s**2 - s - 2. Is 22 a factor of c(2)?
True
Let o(t) = t**2 + 6*t + 10. Suppose 50 + 45 = 5*p. Suppose 9 + p = -4*b. Does 5 divide o(b)?
False
Suppose 3*i - l = 6*i - 2, 2*i - 5*l - 7 = 0. Let z(o) = -o + 12*o + 3*o + i. Is 8 a factor of z(2)?
False
Let t be 3*(-1)/5*-5. Suppose 6*d - 48 = t*d. Is d a multiple of 8?
True
Suppose i + 200 = 4*d + 4*i, 5*d + 4*i = 250. Is d a multiple of 12?
False
Suppose -4*b = -3*k + 353, -3*