ple of 6?
True
Suppose 128 = 2*v - 40. Is 12 a factor of v?
True
Suppose 2*f = 4*f - 110. Is 21 a factor of f?
False
Suppose 4*y = 2*t + 230, -4*y - 5*t + 174 + 49 = 0. Does 15 divide y?
False
Suppose -2*b = -2*j - 6*b - 18, -3*j = -b - 8. Does 5 divide (-2 + 5)/(j/2)?
False
Let d = 9 - 5. Suppose 5*h + 0*h - 36 = -d*l, -3*h - 5*l + 19 = 0. Suppose -4 - 38 = -2*z + 4*t, h = 4*t. Does 15 divide z?
False
Suppose -s = -0*w + 4*w - 60, 0 = 5*s + 4*w - 284. Does 28 divide s?
True
Let g = 70 - 1. Does 12 divide g?
False
Let u = -3 - -6. Let a = 6 + -4. Suppose a*p - 5*p - b = -38, 5*b = u*p - 62. Does 7 divide p?
True
Let s(v) = -5*v. Let y(d) = -d**2 - 9*d - 9. Let t be y(-8). Let b be s(t). Let p = b + 19. Is p a multiple of 13?
False
Suppose 0 = -t + 48 + 10. Suppose 0 = -4*s + t + 38. Is s a multiple of 24?
True
Let x = -34 - -99. Is 18 a factor of x?
False
Suppose -4*m = 7 - 275. Let w be 478/(-10) + (-3)/15. Let c = m + w. Is c a multiple of 19?
True
Let p = 9 + -1. Suppose 0 = -4*j + p. Suppose j*u = 4*u - 4, -5*o + 16 = -2*u. Is 4 a factor of o?
True
Suppose 2*l = -2, 5*c - 56 = 2*l - l. Suppose 2*o + 1 = c. Is 5 a factor of o?
True
Is 2/11 - ((-1875)/33 + 2) a multiple of 11?
True
Let t(c) be the third derivative of c**5/30 - c**4/24 - c**3/3 + 3*c**2. Is 17 a factor of t(-6)?
False
Is (-5)/(-10)*8 + 256 a multiple of 13?
True
Is 2 a factor of (6/(-8))/((-14)/168)?
False
Let o(n) = 48*n**2 - n - 1. Suppose -8 = 5*r + 4*h + 1, -4*h = -3*r + 1. Let x be o(r). Let d = -28 + x. Is 10 a factor of d?
True
Let u = 61 + -59. Let m(b) = -3*b - 2. Let x be m(-6). Does 4 divide (0 - (-1)/u)*x?
True
Let z(j) = -2*j**3 - j**2. Is z(-3) a multiple of 15?
True
Is (-990)/(-24) - 3/(-4) a multiple of 26?
False
Suppose 3*s + s = 0. Suppose -x + 3 = -s. Suppose -x*n + 88 = -2*v + 7*v, -4*v + 86 = 3*n. Is n a multiple of 13?
True
Suppose -4*f - 35 = -9*f. Let v = f - 4. Suppose -v*i - 28 = -5*i. Is i a multiple of 7?
True
Let o be (6 - 0)*1/(-3). Let l = 7 + o. Is 3/l + (-235)/(-25) a multiple of 10?
True
Let c(q) = q**3 - 5*q**2 + 10*q - 2. Let s be c(4). Let f(r) = 2*r + 1. Let x be f(-4). Let z = s - x. Does 11 divide z?
False
Let m = 34 + -66. Let x be m + 0*(-2)/4. Is x/(-10) + (-1)/5 even?
False
Let x = -3 - 1. Let z(v) = -6*v + 3. Does 17 divide z(x)?
False
Let s = 240 + -72. Suppose -3*h + s = -0*h. Does 10 divide h?
False
Is ((-24)/(-28))/(1/14) a multiple of 3?
True
Let z(o) = o**3 + 7*o**2 - 2. Let l be z(-5). Suppose p = 2*m - 0*p - 27, 3*m + p = l. Does 6 divide m?
False
Suppose j + 45 = -4*j. Let v(h) = -5*h - 9. Let b be v(j). Let l = -11 + b. Is 20 a factor of l?
False
Suppose 4 - 14 = -5*j, 3*n = -3*j + 33. Is n even?
False
Let k = 7 - 1. Is ((-24)/(-10))/(k/60) a multiple of 9?
False
Let q(n) = -n**3 - 4*n**2 + 5*n. Let i be q(-5). Let z be 2/(-4)*i - -2. Suppose -3*p + 50 = 3*u - z*p, -2*u - 3*p = -38. Does 11 divide u?
False
Suppose 4*q - 30 = -b + 62, 0 = 4*q - 20. Suppose u - b = -5*u. Is u a multiple of 6?
True
Let t(f) = 3*f**2 - f - 1. Let r be t(7). Let m(l) = 5*l**2 - 6*l + 11. Let y be m(6). Suppose -a - r = -3*g, -3*g + 9*a - 4*a = -y. Does 15 divide g?
True
Let q(t) = t**3 + 5*t**2 - 3*t + 2. Is q(-4) a multiple of 30?
True
Let c(n) = -n**2 + 9*n + 14. Let j = 22 + -12. Does 2 divide c(j)?
True
Let y(x) = -x + 5. Let r be y(6). Let h be r - (3 + -191)/2. Suppose 0*t - 26 = -t + 2*u, 4*t = -3*u + h. Is 10 a factor of t?
False
Let u(o) = 9*o - 9. Let h be u(11). Suppose 6*s = 4*s + h. Does 9 divide s?
True
Suppose -5*y = -30 - 15. Let p(a) = a**2 - 7*a + 8. Is 20 a factor of p(y)?
False
Let y = 6 + -3. Suppose 4*x = y*w - 1, -20 + 9 = -5*w + 2*x. Suppose w*z - 2 = 16. Is 6 a factor of z?
True
Let l = -38 + 43. Does 2 divide l?
False
Is 34 a factor of (0 + 2)*-1 - -72?
False
Suppose 5*z - 140 = -0*z. Does 2 divide z/4*(2 - 1)?
False
Let u be (0 - -1)/((-2)/(-38)). Let y = u + -7. Is y a multiple of 12?
True
Does 33 divide (-12)/14 - 12124/(-196)?
False
Let q(v) = -5 - 1 + 2*v - 4*v**2 + 0*v**3 + 1 - v**3. Suppose -4*r + 10 = 30. Is 10 a factor of q(r)?
True
Suppose 9*l - 5*l = 840. Does 10 divide l?
True
Let a(s) = s**3 - 4*s + 3. Let m(v) = v + 8. Let j be m(-6). Is 2 a factor of a(j)?
False
Let h(v) be the third derivative of v**4/4 - 7*v**3/6 - 3*v**2. Is h(6) a multiple of 10?
False
Is 4*((-1)/(-4) - -2) a multiple of 3?
True
Let l(z) = 5*z**2 - 5*z - 3. Is 19 a factor of l(4)?
True
Suppose -2*g + 4*w + 66 = -0*w, 3*g - 5*w = 101. Let i = g + 33. Suppose -8*y + i = -3*y. Does 6 divide y?
False
Let x(g) = -2*g**2 - 4*g - 2. Let c be x(-4). Is 4 a factor of (-2)/(-9) + (-140)/c?
True
Let k = -100 - -140. Does 21 divide k?
False
Is 951/9 + (-1)/3*2 a multiple of 21?
True
Suppose -7 - 21 = -4*j. Let q be 2/j - 111/21. Let y(w) = w**3 + 6*w**2 - 7. Is 9 a factor of y(q)?
True
Suppose -i + 12 = 3*i. Suppose 5*a = i*a - 40. Let g = a - -30. Is 10 a factor of g?
True
Let h = -3 + 9. Let f = h + 1. Is f a multiple of 7?
True
Suppose 0*p + 104 = p. Suppose p = g + 3*g. Does 13 divide g?
True
Suppose 5*x + 3 = 33. Suppose 3*v = 7*v - 220. Suppose x*r = r + v. Is r a multiple of 11?
True
Suppose 0 = -b - 3*y + 292, -2*b + 3*y + 42 = -506. Suppose -4*a = 4*z + 6 - 258, 4*z - 3*a = b. Does 17 divide z?
False
Let y(w) = -w**3 - 14*w**2 + 22*w + 3. Let t be y(-15). Let g = -59 - t. Is g a multiple of 9?
False
Let g be (1 - 6)*1/(-5). Suppose 0 = 3*t + g - 19. Is 6 a factor of t?
True
Let g(p) = p**2 + 3*p - 6. Is 2 a factor of g(3)?
True
Suppose -2*i = -i - 7. Does 6 divide i/(-21) - 34/(-3)?
False
Let z(k) = -k + 14. Let f be z(9). Suppose 0*s = -f*s - 470. Does 24 divide (-1 - -2)/((-2)/s)?
False
Suppose 5*w - c + 2*c + 13 = 0, 3*c + 9 = -5*w. Does 5 divide 17 + 0 + (-6)/w?
False
Suppose 2*f + 0*f - 18 = 0. Let n be f/(-1) - -2*1. Let m = n + 17. Does 10 divide m?
True
Is (104/4)/(3 + -1) a multiple of 3?
False
Suppose b = 3*b + 26. Let v be (b + 1)*(-1)/2. Is 100/12 - (-4)/v a multiple of 9?
True
Suppose 657 = -2*v - v. Let r = -156 - v. Does 29 divide r?
False
Suppose -5*l + 15 + 10 = 0. Suppose -4*t + 49 = 5*n, -t + l + 41 = 5*n. Does 9 divide n?
True
Let v(t) be the third derivative of 5*t**4/24 - 5*t**3/6 + 3*t**2. Does 10 divide v(6)?
False
Suppose -2*t + 182 - 22 = 0. Is t a multiple of 10?
True
Let v(b) = 4*b**2 + 2*b + 1. Suppose 0 = l + 7 - 2. Let h = l - -3. Is 9 a factor of v(h)?
False
Suppose -2*u = -0 - 6, -5*c + 351 = -3*u. Is c a multiple of 24?
True
Let o(b) = -12*b + 13. Does 46 divide o(-19)?
False
Let o = -68 + 201. Is o a multiple of 18?
False
Let u(j) = j**2 + 0*j**2 + 4*j + 0*j**2 - 11. Does 9 divide u(-8)?
False
Suppose -s - 1 = -3*f, 2*f - 3*s + 7 = -4. Suppose 4*i - 16 = -f*p, 2*p = 3*i - i - 8. Suppose p = v - 5*v + 124. Does 13 divide v?
False
Suppose 8*d - 802 - 1694 = 0. Does 43 divide d?
False
Let x be 4/(2 + -1) + 0. Suppose -2*n + 7 = -3*i - 2, -3*n = -x*i - 15. Suppose -1 = y - n. Does 4 divide y?
True
Does 4 divide 12/(-30)*35/(-2)?
False
Let y be 8*(7/4 - 1). Let k be 1 + 2 - 1 - 0. Let z = y - k. Is 3 a factor of z?
False
Let n(c) = -c**3 + 5*c**2 - 3*c + 1. Is n(3) a multiple of 2?
True
Suppose 0 = -2*z + 9 - 1. Suppose f - 15 = -z. Does 11 divide f?
True
Let k(o) = 6*o**2 + 11*o - 5. Is k(2) a multiple of 41?
True
Let z be (-1 - (0 + 2)) + 1. Let h be 1 + 6/z - -3. Does 5 divide (15/9)/(h/3)?
True
Let d be (0 - 4)/(1 - -1). Let p = d + 7. Does 5 divide p?
True
Let g(m) = 61*m + 5. Is g(2) a multiple of 15?
False
Let r = 212 - 44. Does 26 divide r?
False
Suppose -s - 8 = -49. Does 3 divide s?
False
Suppose -4*k = -5*g - 12, -5*k + 2 = -g - 13. Suppose g = m + 4, -m + 25 = c + m. Suppose 0 = 2*l - c + 3. Is 4 a factor of l?
False
Let s(q) = -9*q + 3. Let p(g) = 10*g - 3. Let x(n) = 4*p(n) + 5*s(n). Does 18 divide x(-3)?
True
Suppose 0 = 5*i - 70 + 20. Suppose 4*f + 8 = -d, -4*f + 2*d - i = f. Is -7*((-6)/(-3))/f a multiple of 3?
False
Let y(v) = -v**2 - 16*v - 41. Is y(-7) a multiple of 21?
False
Suppose 39 = 5*y - 6. Is 4 a factor of y?
False
Let r(s) = 64*s**2 - s + 1. Is 32 a factor of r(1)?
True
Suppose 12*l - 5*l = 1512. Does 8 divide l?
True
Suppose -5*x + 3*h + 16 = h, x = 3*h - 2. Is 4 a factor of x?
True
Let u(t) = -18*t - 1. Let i(h) = -h - 10. Let n be i(-9). Is 7 a factor of u(n)?
False
Sup