2*g = -p + 26, -2*g + 4*p - 62 = -7*g. Let a be (0 + g)/(5 + -4). Suppose a = 2*u - 20. Is 6 a factor of u?
False
Let f = -30 + 20. Is 6/4 + (-115)/f a multiple of 13?
True
Let p = 18 - -21. Is 5 a factor of p?
False
Let c(n) = -n**3 + 8*n**2 + 9*n + 8. Is 16 a factor of c(8)?
True
Suppose -2*h = 2*v - 0*v - 86, 176 = 4*v + 2*h. Is v a multiple of 20?
False
Suppose -5*x - 3*p + 474 = 0, -8 = 7*p - 3*p. Does 40 divide x?
False
Suppose -4*l + 3*h = -30, -2*l + l = 4*h + 2. Is 6 a factor of l?
True
Let q = -3 - 5. Let m = q - -4. Is 4 a factor of 42/5 + m/10?
True
Let l(c) = 13*c + 4. Is l(3) a multiple of 5?
False
Let i = -5 + 10. Does 11 divide i/15 + 65/3?
True
Let a be 5/5*13*1. Suppose -4*r = 4*n + r - 23, -a = -2*n - 3*r. Suppose 5*u + 59 = n*s, -u + 2 - 71 = -3*s. Is 8 a factor of s?
False
Suppose -2*o = -5*o - 2*s, 4*o - 11 = s. Suppose o*f + 5*k = -15, -2*f + 3*k + 20 + 5 = 0. Is 5 a factor of (2/f)/((-2)/(-30))?
False
Suppose -2*a + 78 = -a. Is a a multiple of 13?
True
Suppose 4*x = 2*x + 412. Does 16 divide x?
False
Let a = -22 - -46. Is 24 a factor of a?
True
Suppose 5*t - 11 - 9 = 0. Suppose 79 = 4*w - w + j, 5*w - 143 = t*j. Suppose -5*g - w + 137 = 4*a, 4*g = -4*a + 112. Is 18 a factor of a?
False
Suppose 14*m + 7*m - 2520 = 0. Is m a multiple of 10?
True
Suppose 0 = 5*m + 5*t - t + 20, -15 = 3*m + 3*t. Suppose 24 + m = 2*a. Let s = a + -8. Does 4 divide s?
True
Suppose -q + 51 = -5*l, -5*l - 168 = -2*q - 51. Does 14 divide q?
False
Let p = -142 - -201. Is 9 a factor of p?
False
Let y = 93 - 36. Let j be ((-24)/21)/(2/(-7)). Suppose -j*n + y = -55. Does 10 divide n?
False
Let v(s) = -5*s + 34. Is v(-16) a multiple of 38?
True
Let m(l) = 2*l - 8. Is m(9) a multiple of 6?
False
Let j(w) = -5*w - 1. Is j(-3) a multiple of 7?
True
Let m = -2 + 2. Let l = m + -2. Is (l - -2 - -1) + 18 a multiple of 11?
False
Let f(w) = 3*w**2 + w. Let n be f(-1). Suppose n*v = 4 + 6. Suppose -6 = -3*i - 0, 0 = 4*g - v*i - 138. Is g a multiple of 15?
False
Let a = -18 - -22. Suppose -4*q - 2*h + 42 = -3*h, -30 = -a*q - 5*h. Is q a multiple of 5?
True
Let r be (-4)/(-3) - (-22)/33. Suppose r*h - 73 = -17. Is 6 a factor of h?
False
Suppose -2*d = -3*z + 4, 4*z + 5*d = -0*z - 10. Suppose z = c + c. Suppose -3*f - 3*p + 27 = c, -3*p - 2 = -4*p. Is 7 a factor of f?
True
Let t(r) = -r**3 + 3*r**2 + r - 1. Let i be t(3). Suppose -i*f - 16 = -5*h, 5*f - f = -2*h - 8. Suppose 0*n + g + 20 = h*n, -2*n = 4*g. Is 7 a factor of n?
False
Let l(t) = t**2 - 7*t + 2. Is l(8) a multiple of 5?
True
Let d be (-4)/(-2) - (6 - 2). Let v be (-16)/(-6) - d/(-3). Let c(k) = k**2 - k + 2. Is c(v) even?
True
Let f(b) = 12*b**2 - 1. Let y be f(1). Let g = y + 19. Is g a multiple of 15?
True
Suppose 3*j + 2*j = 25, -4*l = -2*j + 10. Suppose -m - 1 + 4 = l. Does 2 divide m?
False
Let o be (-6)/4*(-10 + 8). Suppose -p + 54 = o*x, 2*x - 7 = -4*p + 189. Is p a multiple of 16?
True
Suppose -2 = -4*l - s, 2*l - 5*s + 4*s + 2 = 0. Let a = -20 + 42. Suppose 2*y = 2*w - 52, 3*y - a = -w - l*y. Is 10 a factor of w?
False
Let q = 0 + 3. Let j(d) = -d**3 - 2*d - 3 - q*d**2 - 1 + d**2. Is 11 a factor of j(-3)?
True
Let t = 2 + 0. Suppose 7 = 3*u - t. Let w(o) = o**3 - o**2 + o - 3. Is w(u) a multiple of 6?
True
Let i(r) = 52*r**2 - 2*r + 2. Let d(h) = h**3 - 7*h**2 + 5*h + 8. Let y be d(6). Let v be i(y). Does 14 divide (-6)/(-9) - v/(-6)?
False
Let f be ((-2)/(-4))/((-2)/(-404)). Let x = f - 36. Is 24 a factor of x?
False
Is 5 a factor of 101 - (-3 + 8 + -9)?
True
Suppose 2*y = 5 - 1. Suppose 0 = y*c + 3*c + 65. Let k = 32 + c. Is k a multiple of 10?
False
Suppose 0 = -4*i + 33 - 1. Suppose -w = 4, 2*w - w = -4*z + i. Suppose -z*p - 3*b + 72 = 0, p + 3*b - 22 = -0*p. Does 13 divide p?
False
Suppose -2*f - 1116 = -f. Does 14 divide f/(-33) - (-2)/11?
False
Let x(k) be the first derivative of 5*k**2/2 - k + 9. Let t = 0 - -2. Does 7 divide x(t)?
False
Suppose 0 = 3*z - 2*i - 959, z - i = -2*z + 958. Does 18 divide z?
False
Let q(j) = j**2 - j + 10. Suppose d = -d. Is q(d) a multiple of 10?
True
Suppose 0 = -0*z - 5*z + 1540. Does 31 divide z?
False
Suppose y - 25 = -0*y. Does 3 divide y?
False
Let z = -9 + 15. Does 3 divide z?
True
Suppose 3*c - 187 = -w, 6*w - 2*w - 2*c - 692 = 0. Is w a multiple of 25?
True
Suppose -3*m - 4*h + 0*h + 48 = 0, 3*m - 48 = -2*h. Is 10 a factor of m?
False
Let x(j) = 5*j + 7. Let n = -9 + 17. Does 21 divide x(n)?
False
Let u(r) = -r**2 - 6*r - 2. Let x be u(-5). Suppose 5*d - x*d = 4. Suppose 4*f - d = 42. Is 5 a factor of f?
False
Let q(w) = w**2 + 2*w + 1. Let g be q(-1). Suppose g = v - 3 + 1. Suppose 15 - 3 = v*x. Is 3 a factor of x?
True
Suppose -2*r = 5*p - 14 - 9, 5*p - 3 = 3*r. Let f be 4/(-8) - 258/r. Let u = 93 + f. Is u a multiple of 19?
False
Let q be (7/2)/((-11)/22). Does 13 divide (-236)/q + 8/28?
False
Let y(j) = -j**3 + 5*j**2 + 7*j - 1. Let b = 4 - -2. Is y(b) a multiple of 2?
False
Let p(f) = 4*f - 8. Suppose 4*k = -7 + 71. Suppose t = 4*z - 25, 3*z = 7*z - 4*t - k. Is 10 a factor of p(z)?
True
Let a(j) = 2*j**2 + 7*j - 6. Let r be 39/(-6) - (-1)/(-2). Let y be a(r). Let t = y + -16. Does 12 divide t?
False
Let a = -90 - -144. Suppose 3*i - 1 = 4*q - 10, 3*q - 5*i - 15 = 0. Suppose q = -5*u + a + 81. Is 16 a factor of u?
False
Let r(x) = x**2 - 4*x - 1. Let p = -2 + 10. Is r(p) a multiple of 16?
False
Let t = -4 + 6. Suppose -2*j = 3*r + 149, j + 286 = -3*j - t*r. Is (0 + j)*4/(-10) a multiple of 13?
False
Let s(g) = 4*g**2 + 8*g - 21. Is s(-5) a multiple of 11?
False
Suppose 0 = -3*y - 3 + 159. Let f be (-4)/(-6) - y/(-3). Suppose -2*t = -0*t - f. Is 6 a factor of t?
False
Let m(d) = d**2 - 16*d - 8. Let z(w) = 4*w**2 - 49*w - 25. Let b(s) = 7*m(s) - 2*z(s). Does 4 divide b(-13)?
False
Suppose 231 = -6*x + 771. Is 15 a factor of x?
True
Suppose 6 + 6 = 4*r, 2*c + 5*r - 23 = 0. Suppose -5*f + 49 = -3*v, v + c - 1 = 0. Does 3 divide f?
False
Suppose d = -w - 4*d - 10, 2*d + 4 = 5*w. Suppose -132 = -4*c - w*c. Suppose -c = -n + 15. Is n a multiple of 16?
True
Let w(l) = l**3 + 5*l**2 - 5*l. Let o be w(-6). Let i = o + 21. Does 12 divide i?
False
Let x(n) be the first derivative of 13*n**2/2 + 2*n - 12. Suppose 4*g - 2*b = 0, 4*b + 0*b - 16 = 0. Is 14 a factor of x(g)?
True
Let w(t) = -t**3 - 16*t**2 + 13*t - 12. Is w(-17) a multiple of 28?
True
Suppose 0 = -4*x - 3*q + 6, 3*x - 2 = 4*q - 10. Suppose 12 = -x*v + v. Is v a multiple of 12?
True
Let n(s) = 3*s. Suppose 0 = -t - 3*t + 8. Suppose 5*z - 3 - t = 0. Is n(z) a multiple of 2?
False
Let a be (-2)/3 - (-60)/9. Let d(m) = m**3 - 6*m**2 + 5. Let p be d(a). Let k = p - -3. Is 8 a factor of k?
True
Let o = 4 - 2. Suppose -2*l + 112 = o*f - l, -46 = -f + 2*l. Does 20 divide f?
False
Suppose -16*c + 20 = -14*c. Is c a multiple of 5?
True
Does 32 divide -1 + 4 + ((-1140)/(-4))/1?
True
Let x(v) = -v - 5. Let b be x(-6). Is 5 a factor of (-26)/(-6)*(b + 2)?
False
Let k be 3/((2 + -3)*-1). Let u(v) = 5*v**2 - 7 + 3*v**3 - v**3 - 3*v**k + 9*v. Is 7 a factor of u(6)?
False
Suppose -p - 3*i = -30, -3*p + 0*p + i + 140 = 0. Does 20 divide p?
False
Let b = -1 + 21. Is b a multiple of 5?
True
Let f(t) = t**2 + 4*t - 2. Let o be f(-5). Is 10 a factor of ((-7)/(-3))/(o/27)?
False
Suppose 3*b + 15 = -5*z, z = 5*z + 4*b + 20. Suppose 4*l + 5*r = 50, 2*r - 6*r + 8 = z. Is 8 a factor of l?
False
Suppose 2*w - 60 = -5*c - 0*w, 0 = 5*c + 5*w - 60. Does 10 divide (c/(-18))/((-2)/96)?
False
Is (-70)/8*8/(2*-1) a multiple of 11?
False
Suppose 6 - 15 = -3*i. Let b(p) = 3*p**3 - 3*p**2 + 3*p + 2. Is b(i) a multiple of 13?
True
Let d(z) = -1. Let n(a) be the first derivative of -a**2/2 + 8*a + 1. Let s(j) = 4*d(j) + n(j). Is s(-6) a multiple of 5?
True
Let a be (3 - -1)/2 - 0. Suppose -a*r + 14 = 6. Suppose 5*w = -0*w - u + 50, -3*u + 29 = r*w. Is 11 a factor of w?
True
Let n(x) = x**3 - 5*x**2 + 7*x + 2. Let q be n(6). Suppose 2*o + 3*o = q. Suppose -2*z = 4 - o. Is z a multiple of 6?
True
Let y be (-63)/14*(-8)/6. Suppose 4*r = 5*r - y. Is 2 a factor of r?
True
Suppose -x = -82 - 3. Does 27 divide x?
False
Let w(j) = -1. Let q(o) = -2*o + 8. Let m(a) = q(a) + 2*w(a). Let k(y) = -3*y**2 + 3*y. Let z be k(2). Is 9 a factor of m(z)?
True
Suppose 5*h = 192 + 43. Suppose 8*m - 7*m = h. Does 13 divide m?
False
Suppose 0 = -