= -3*i. Suppose -4*w + i*s - 1 = -31, -5*s + 5 = -2*w. Is 6 a factor of w?
False
Suppose 6*w = 2*i + w - 4, -2*w = -8. Is 12 a factor of i?
True
Let y be (-1)/2*(-1 - -1). Suppose y = q - 7 - 9. Does 10 divide q?
False
Suppose 3*l - 47 = 43. Does 15 divide l?
True
Suppose 3*b = 2*b - 3. Let p be b/(6/(-4)) + 0. Is 3 a factor of 6*(0 + 1/p)?
True
Let h = 8 - -5. Suppose h = z + 8*x - 4*x, 5*z + x = 27. Is 5 a factor of z?
True
Let m = 22 + -14. Let g = 2 + m. Is g a multiple of 10?
True
Let w(m) = m**2 - 6. Let q(x) = -2. Let v(a) = -6*q(a) + 2*w(a). Is 9 a factor of v(-3)?
True
Suppose -4*h = -8, w + 2*h - 10 = -4. Suppose -4*s + 0*s + 5*k = -7, -w*s + k + 11 = 0. Suppose -s*g + 11*g - 69 = 0. Does 15 divide g?
False
Let x = -64 - -34. Let h = 0 - x. Is h a multiple of 12?
False
Let c(l) = 21*l - 8. Let y(x) = x**3 + 14*x**2 - 14*x + 20. Let u be y(-15). Does 20 divide c(u)?
False
Suppose 0 = 5*k + 2*x - 114, -2*k + 48 - 6 = 2*x. Is 12 a factor of k?
True
Is 22 a factor of 597*2/12*2?
False
Let k(y) = y**3 + 3*y**2 - y - 4. Let g(m) = -m**2 + 1. Let l(i) = 2*g(i) - k(i). Is l(-6) a multiple of 18?
True
Suppose 10 + 14 = -3*m. Let o = m - -66. Is o a multiple of 15?
False
Let u = 777 + -444. Is u a multiple of 9?
True
Let u = 436 + -295. Is 9 a factor of u/9 - 2/(-6)?
False
Let u = 16 - 10. Suppose -x = -u*x. Suppose x*j + 8 = 4*j, -2*q + 2*j = -54. Does 10 divide q?
False
Suppose -5*d + 2*d + 228 = 4*t, t - d - 64 = 0. Suppose -2*k - t = -4*k. Is 13 a factor of k?
False
Let j(m) = m + 6. Let b be j(0). Let d(s) = s**2 + 3. Is d(b) a multiple of 13?
True
Suppose 2*o - o + 2 = 0. Let y = o + 40. Does 15 divide y?
False
Let h(r) = -r + 11. Let t be h(8). Suppose -5*b + 20 = 0, t*o - 4*b = -o - 8. Is 11 a factor of (o - 0)*11/2?
True
Let o(u) = -u**2 - 11*u - 8. Let t be o(-7). Is 8/t + 33/5 a multiple of 7?
True
Let v = -34 + 48. Suppose -3*o = -5*o - 16. Let c = v + o. Is 3 a factor of c?
True
Let d be (2/(-6))/((-5)/(-15)). Let t(p) = 0*p + 2*p**2 + 25*p**2 + 1 + 2*p. Is t(d) a multiple of 13?
True
Let s = -157 + 536. Does 59 divide s?
False
Suppose 0 = -0*h + 4*h - 40. Does 9 divide (-828)/(-30) - 6/h?
True
Suppose -2*a - 3*l + 32 = -1, 4*a = -5*l + 65. Suppose 5 = -s + a. Is 4 a factor of s?
False
Let m(h) = 2*h - 3. Let j be m(5). Suppose 6*u = y + 5*u - 4, -3*u + 2 = 4*y. Is 12 a factor of y/j + (-145)/(-7)?
False
Suppose 21 = -0*h - 3*h. Let m(k) = k**3 + 7*k**2 - 3*k - 15. Is m(h) a multiple of 4?
False
Suppose v + 3 - 8 = 0. Suppose 0*g + 110 = v*g. Does 11 divide g?
True
Suppose -3*b - 20 = -8*b. Suppose 1 = r - m, 0*m - 13 = -b*r + m. Suppose -18 = -y - r. Is 4 a factor of y?
False
Let k(g) = -g**2 + 23*g + 27. Is k(24) a multiple of 2?
False
Let g(l) = 2*l**2 - 2*l. Let d be g(2). Suppose d*i - i - 47 = 2*c, 0 = -i - 4*c - 3. Let s = i - 1. Is 8 a factor of s?
False
Let q = -3 - -11. Let o = 18 - q. Does 5 divide o?
True
Suppose 1 + 11 = 3*w. Let r be (w/(-4))/(1/(-53)). Let v = r + -31. Does 13 divide v?
False
Let v(r) = -2*r + 2*r + r + 14. Let a be 1*(1 + 0 + -1). Is 14 a factor of v(a)?
True
Let m(p) = 2*p - 2*p + 2*p**2 + 4*p. Let k(t) = -t**2 + t - 3. Let c be k(2). Is m(c) a multiple of 17?
False
Let v(j) = j**2 + 9*j + 7. Is v(-10) a multiple of 7?
False
Suppose 0 = w + w - 252. Is 21 a factor of w?
True
Let k(s) = -14*s**3 - 5*s**2 + 3*s + 1. Let q(z) = -7*z**3 - 3*z**2 + 2*z + 1. Let j(d) = -3*k(d) + 5*q(d). Does 20 divide j(2)?
True
Let v be 6 + (-1 - 0) + 1. Let p = v - 3. Is ((-16)/(-2))/(1/p) a multiple of 12?
True
Suppose -5*k - 74 = -2*q, 0*k + 5*q - 1 = k. Is (63/(-14))/(6/k) a multiple of 4?
True
Let q = 3 - 3. Let o(f) = 0*f**2 + 11 + q*f**2 - f**2. Is 11 a factor of o(0)?
True
Suppose 4*m - s = 18, -10 = 4*s - 9*s. Suppose -5*x = -m*z - 20, -4*x + 17 = -0*z - 3*z. Is x a multiple of 5?
True
Suppose 5*f - 3*f = 14. Is f a multiple of 4?
False
Let q = 67 - 37. Does 11 divide q?
False
Let g(f) = 6*f - 9. Let x be g(7). Let m = x - 28. Is 3 a factor of m?
False
Let j = -10 + 14. Is 2 a factor of j?
True
Suppose 2*o - 56 = -v, 56 = 2*o + 3*v - 0*v. Does 16 divide o?
False
Suppose s - 13 = -3. Is s a multiple of 2?
True
Suppose t - 2*j - 45 = -9, -4*j - 156 = -4*t. Is 12 a factor of t?
False
Suppose 11*w - 558 = 575. Is w a multiple of 11?
False
Suppose 0 = 5*v - 5*k - 45, 3 - 1 = k. Is v a multiple of 4?
False
Let q = 136 - 96. Suppose 0 = n - 2*y - q - 3, 4*n + 2*y = 152. Does 13 divide n?
True
Let a(v) = -2*v - 12. Let z be a(-8). Suppose 93 = z*i - 487. Suppose -8*x + 3*x = -i. Is 16 a factor of x?
False
Suppose 4*x - 45 = -x. Does 22 divide 3/(x/120) - 3?
False
Let c be 2/(-4) - (-92)/(-8). Let n be c/8*(-4)/(-3). Is 3 a factor of 1 - -2 - (n - -2)?
True
Let f(q) = -q. Let m be f(-5). Suppose -m*v + 80 = -3*v - 4*h, -35 = -v + h. Let r = 53 - v. Does 21 divide r?
False
Does 17 divide ((-195)/26)/(((-4)/2)/28)?
False
Suppose 2 - 5 = i - 3*r, 4*r - 12 = 0. Let s(b) = b**3 - 7*b**2 + 9*b - 8. Does 5 divide s(i)?
True
Suppose -5*x + 2*s = -50, -4*s = -4*x + 7 + 45. Is 8 a factor of x?
True
Let o = -10 - -7. Let m(x) = -x**3 - 2*x**2 + 2*x + 1. Let i be m(o). Suppose -i*h = -2*h - 36. Is h a multiple of 9?
True
Let i = -61 + 141. Is i a multiple of 20?
True
Suppose -25 - 20 = -3*m. Suppose -5*k = -2*k - 24. Let c = k + m. Is 23 a factor of c?
True
Suppose -a = 3*w - 2*w - 135, 4*w = -3*a + 535. Is w a multiple of 17?
False
Suppose -14*v + 3528 = 4*v. Does 28 divide v?
True
Suppose 0 = 5*v + 9 + 6. Does 18 divide v/(-2)*(-416)/(-12)?
False
Suppose -2*v + 3*v = 0. Is (v - 1)*-12 - 1 a multiple of 3?
False
Suppose 3*z + 33 = -3*r, -z + 2*z = 0. Let i = r - -29. Is 14 a factor of i?
False
Let x be 58/(-4)*(-3 + -3). Let y = x - 60. Is 9 a factor of y?
True
Let y be (0 + 3)*(3 + -2). Let d = -5 + y. Is 11 a factor of (2 + 93/(-6))*d?
False
Let a(s) be the second derivative of s**4/12 - s**3/6 + 8*s**2 + 5*s. Is 23 a factor of a(-5)?
True
Let y(j) = j**3 - 6*j**2 - 5*j - 3. Let g be y(7). Suppose 25 = o - g. Is 12 a factor of o?
True
Let w(f) = 5*f**2 + f. Let v be w(-1). Let o(g) = g**2 + 6*g - 3. Does 25 divide o(v)?
False
Let u be (-164)/(-12) - (-1)/3. Let o = u - 8. Does 4 divide o?
False
Suppose -5*k + 13 + 12 = 0. Suppose -16 = -k*i - 1. Suppose 0 = x + i*x - 80. Is x a multiple of 10?
True
Let j be 123/12 - (-2)/(-8). Suppose w + 3*z - j = 0, 0 = 7*w - 2*w + 5*z - 80. Suppose w = 4*g - 37. Does 7 divide g?
True
Is 9 a factor of 12/18 + (-75)/(-9)?
True
Let i(m) = -m**3 - 6*m**2 - 6*m - 6. Suppose -4*g - 40 = -16. Let t be i(g). Suppose -t = -5*p + 3*p. Is p a multiple of 5?
True
Let h be 0 + 2 - (-3 + 4). Is 14 a factor of (6/(-9))/(h/(-42))?
True
Let m = 351 - 175. Does 22 divide m?
True
Suppose 0 = -2*c + 3 + 5. Suppose c*p + 15 = -p. Let o = 4 - p. Is 3 a factor of o?
False
Suppose -t - 10 = 9. Let j = t - 9. Is 10 a factor of (j/(-6))/(2/6)?
False
Suppose 5*k - 95 = -20. Is 15 a factor of k?
True
Let l(b) = -b**2 - 11*b + 5. Is 5 a factor of l(-10)?
True
Let n = -7 + 13. Is 6 a factor of n?
True
Let j(a) = 3*a + 4. Suppose f - 3 = 2*t, -4*t - 2 = -f - t. Does 19 divide j(f)?
True
Let l = 30 - -10. Does 8 divide l?
True
Does 34 divide (-10 + -2)*-2*78/8?
False
Let a be (0 - -1)/(6/66). Suppose 0 = -2*p - 4*r + a + 39, -5*r = -5. Does 7 divide p?
False
Suppose 22 + 14 = 2*z. Is z a multiple of 6?
True
Let a(r) = 48*r**2 + r + 1. Does 16 divide a(-1)?
True
Suppose -2*d = -d - 23. Does 6 divide d?
False
Suppose 0 = 3*b - 31 - 14. Does 15 divide b?
True
Let p(m) = 8*m**2 + 8 - 7 - m**3 - 2*m**2. Does 16 divide p(4)?
False
Suppose -5*k = a - 10, a + 0 - 2 = 3*k. Let x be a*(0 - 132/(-5)). Suppose -x = -4*d + 3*y, -18 = -d - 3*y - 0. Does 11 divide d?
False
Let h(s) = -s**2 - 7*s - 6. Let k be h(-5). Suppose 0 = 3*l - 12, -40 = 2*n - 6*n - 3*l. Let v = n - k. Is 3 a factor of v?
True
Let c(g) = -2*g**3 - 5*g**2 - 3*g. Is c(-4) a multiple of 14?
False
Suppose 0*s - 82 = -2*s. Let l be (-2 + -1)*s/(-3). Suppose l = 3*a - 25. Does 17 divide a?
False
Suppose 0 = -3*g - 6, 0*a - 10 = -4*a - 3*g. Suppose 0 = -5*w - a*x - 117 + 324, w - 41 = -x. Does 17 divide w?
False
Let r be 3 - -2 - 4/2. Let h = r - 1. Suppose 4*a - 48 = h*a. Is a a multiple of 8?
True
Suppose -55 + 379 = 3*o. Does 29 divide o?
False
Let r(l) be the thi