se 4*y + 200 = 4*p, -5*p = -4*y + 7*y - 234. Does 16 divide p?
True
Let l(m) = -m + 2. Let t be l(0). Let y be (2 - (-6 - -2))/t. Suppose 34 = 3*s + 4*f, -30 = -y*s - 2*f - f. Does 6 divide s?
True
Let z(f) = -f**2 + 4*f + 2. Let d be z(4). Suppose -3*k + 2*n + 112 = 0, -d*n + 73 + 5 = 2*k. Does 20 divide k?
False
Suppose -3 + 2 = -h + 4*d, -5*h + 5 = -4*d. Does 4 divide h - (2/(-1) + -1)?
True
Suppose -2*k = -3*p - 24, 3*k + 0*k - 5*p = 37. Does 3 divide k?
True
Let o be 6/(-4)*8/(-3). Suppose -3*c = -o*h - 388, c = h + 44 + 87. Suppose 0 = 5*z + 6 - c. Does 13 divide z?
True
Let b(y) = -4*y + 37. Does 40 divide b(-8)?
False
Let g(b) = -2*b + 9. Is 14 a factor of g(-14)?
False
Suppose -4*f - 2*y + 1780 = 0, -4*f + 1655 + 153 = -5*y. Is 21 a factor of f?
False
Suppose -3*x - 2*h = -19, -3*x - h = -6*x + 13. Let p(w) = 2*w**2 - 7*w. Let n be p(x). Suppose -5*o - 1 = -u + 22, -u = -o - n. Is 13 a factor of u?
True
Let y = 4 + -6. Let t be y*(-3)/((-6)/(-2)). Suppose 4*a = t*l - 44, 0*l - 4*a = l + 8. Is l a multiple of 12?
True
Suppose 2*c = -3*x + 3*c + 4, x - c = 0. Let h be -2 + 1 - (1 - x). Suppose -3*v - v + 16 = h. Does 4 divide v?
True
Let h be (10 - 15)*48/(-10). Let g = 48 - h. Is 18 a factor of g?
False
Does 5 divide 2 + 0 + (44 - 0)?
False
Suppose 2*o = 3*o - 128. Suppose -6*r = -2*r + o. Let d = 59 + r. Does 11 divide d?
False
Suppose 4*d - 865 = 575. Does 30 divide d?
True
Let q(l) = 322*l**2 - 56*l + 56. Let r(y) = 17*y**2 - 3*y + 3. Suppose -6*c = -2*c + 224. Let k(o) = c*r(o) + 3*q(o). Does 7 divide k(1)?
True
Let y(q) = -2*q + 1. Let r be y(-1). Suppose r*j - 101 = 5*h, -h + 3 + 2 = 0. Is j a multiple of 15?
False
Suppose -28 = -2*a - 3*p, -a + 28 = a + 4*p. Is a a multiple of 7?
True
Let a = 1 - -3. Suppose -2*x = 4*h + 2*x - 20, -a*h - 15 = -3*x. Suppose -2*y + 7 + 57 = h. Is y a multiple of 14?
False
Let w be (7/4)/(5/20). Let g be w + (-2 - 2/(-2)). Let r(p) = p**3 - 7*p**2 + 7*p + 5. Is 4 a factor of r(g)?
False
Is (8/(-10) + (-6)/(-20))*-412 a multiple of 39?
False
Let z(c) = 2*c + 14. Let o be z(-6). Suppose w = -0*w - j, o*w - 30 = 4*j. Is w even?
False
Let f = -4 + 3. Does 16 divide -2 - (f + -3) - -30?
True
Suppose 5*b + 8 = -4*n - 0*n, -n + 3*b = -15. Suppose n*c - 5*c + 46 = 0. Is c a multiple of 9?
False
Let n be (5 - -1) + -6 + 4. Suppose 2*f - p + 3 = 8, 0 = 3*f - 4*p + 5. Suppose 0 = a - 4*b - n, -f*b + 4*b = 4*a - 101. Is 17 a factor of a?
False
Let k(a) = 2*a - 7. Does 2 divide k(7)?
False
Suppose 0 = -0*c + 3*c + 6. Is (11/(-2) - 0)*c a multiple of 6?
False
Suppose 36 = 3*b + 3*p - 12, 0 = b + 4*p - 28. Is 355/30 - (-2)/b a multiple of 7?
False
Let p be -4 - ((-6)/3 + 1). Let n(s) = -7*s - 3. Is 9 a factor of n(p)?
True
Let y = -120 + 198. Is y a multiple of 6?
True
Let l(n) = -n + 4. Let u be l(0). Suppose 0*h = 3*h - p - 347, -u*p - 8 = 0. Let x = h - 79. Does 18 divide x?
True
Suppose 2*p = 7*p - 25. Suppose -p*k = 3*r - 82 + 8, 0 = 5*k + 10. Does 15 divide r?
False
Let f(v) = -v**3 - 3*v**2 + 1. Let q be f(-1). Let r = 3 - q. Suppose -5*k = -w - 2, -r*w + 2*k = -37 - 9. Is w a multiple of 8?
False
Suppose -l + o + 89 = 5*o, 0 = 3*l + 4*o - 291. Is (-8)/12 - l/(-3) a multiple of 16?
False
Suppose -2*o + 3*o = b, -10 = 5*o. Let d(z) = 2 + 2*z - 3*z - 4 + z**2. Is d(b) a multiple of 2?
True
Is 8 a factor of (33/4)/(6/128)?
True
Let p(a) = a**3 + 9*a**2 - 12*a - 9. Let h be (-3)/(-2) - 230/20. Is 11 a factor of p(h)?
True
Let s = 49 + -39. Is 2 a factor of s?
True
Let d be 0 - (5 - 0)/1. Let n be 144/(-15)*d/1. Suppose 43 = g - z, 5*g + 5*z = n + 127. Is g a multiple of 12?
False
Let p be (4/5)/(6/(-75)). Let m(v) = v**2 + 8*v + 1. Does 21 divide m(p)?
True
Let w(u) = -u + 1. Let c be w(6). Let g(s) = s**2 + 2 + s + 1 + 0*s**2. Does 23 divide g(c)?
True
Let s(w) = -w**3 + 6*w**2 - 4*w - 4. Let a be s(5). Let h be -2 + a - (-7 + 3). Suppose 5*b - 3*f = f + 115, -h*b - f = -52. Is 11 a factor of b?
False
Let y = 0 + 0. Suppose 4*o = -4*f + 316, y = -3*f + 3*o + 2*o + 277. Suppose 5*i - 2*i - f = 0. Does 13 divide i?
False
Let t = 426 + -288. Does 17 divide t?
False
Suppose -v = -2 - 3. Suppose -4*m - v*i + 3 = 0, -2*m = 5*i + 3 - 2. Is m a multiple of 2?
True
Does 16 divide (-153 - 0)*(-7)/21?
False
Let u(c) = 57*c**3 - 2*c**2 - 7*c + 7. Let g(j) = -85*j**3 + 3*j**2 + 11*j - 11. Let p(o) = 5*g(o) + 8*u(o). Does 15 divide p(1)?
True
Let x be (3*-2)/(-12 + 14). Does 9 divide (32/x)/((-1)/3)?
False
Suppose 0 = -9*b + 4*b - 30. Is 2*((-105)/b)/7 even?
False
Suppose 0 = -m + 1, 2*m - 5*m = 2*i - 11. Suppose 0 = i*z - 2*z - 82. Is 11 a factor of z?
False
Let t(h) be the first derivative of h**4/4 + 7*h**3/3 - 9*h**2/2 + 6*h - 2. Is 7 a factor of t(-8)?
True
Let c(y) be the third derivative of -y**5/12 - y**4/4 - y**3/3 + 3*y**2. Let j be c(-4). Does 4 divide j/(-7) + (-6)/21?
True
Suppose -68 = -3*n - 5. Suppose v - 3*v = 5*f - 33, -v = 4*f - n. Does 7 divide v?
False
Let j be 2/(-11) - 6/(-33). Suppose j = 4*s + 25 - 73. Does 4 divide s?
True
Let o(c) = c - 2. Let j be o(6). Suppose -83 = -r + j*b, 5*b = 2*r - 0*b - 154. Is 20 a factor of r?
False
Suppose 14*w - 10*w = 808. Is 13 a factor of w?
False
Suppose 0 = 4*b - 2*b - 70. Suppose -5*h - 4*o = -b, 0 = o - 4*o + 15. Suppose 4*p - h*m - 38 = 0, 4*p - 2*m - 42 = 3*m. Does 6 divide p?
False
Suppose 2*y - 66 = 5*d, -3*y + 3*d = 2*y - 165. Let c = y + -17. Is c a multiple of 16?
True
Let d = 138 + -14. Is d a multiple of 31?
True
Suppose -47 = -3*u - 5. Suppose u = 2*v - 82. Is v a multiple of 16?
True
Is 20 a factor of ((-8)/(-10))/((-10)/(-875))?
False
Does 11 divide ((-480)/150)/((-2)/55)?
True
Suppose 0 = 4*u + 2*v - 94, 37 = 5*u - 5*v - 73. Let d = -9 + u. Suppose -3*i = -4*i + d. Is 7 a factor of i?
True
Let a(j) = 8*j - 2. Let n be a(4). Is 7 a factor of ((-12)/n)/(1/(-35))?
True
Suppose r + 12 = 2*n - 3*r, 4*n = -r + 24. Does 2 divide n?
True
Let l = 103 - 238. Let a = l + 351. Suppose -4*d + a = -0*d. Is d a multiple of 18?
True
Let d = 39 - 17. Does 12 divide d?
False
Let r be (-1)/((-9)/(-3))*-12. Suppose -r*v = -42 - 10. Is v a multiple of 4?
False
Suppose -5*z - 3 + 1 = p, 0 = -z - 4. Is p a multiple of 13?
False
Suppose -15*u + 9 = -12*u. Suppose 0 = -0*i + u*i - 36. Does 6 divide i?
True
Suppose r + 5*q = -r + 55, 4*q + 154 = 5*r. Let o = 0 + r. Is 15 a factor of o?
True
Does 4 divide ((-52)/10)/(10/(-25))?
False
Let j = -1 + -2. Let l be j - -2 - (-3 - 4). Suppose -5*h + 167 = -2*b + l*b, 2*h - 65 = -b. Is 9 a factor of h?
False
Suppose -90 = h - 0*h. Is ((-12)/15)/(4/h) a multiple of 6?
True
Suppose y - 9 - 56 = 0. Does 5 divide y?
True
Let o = 140 - 28. Suppose 0*j + 5*j - 137 = -2*f, o = 4*j + 4*f. Is (j - (2 - 3)) + -2 a multiple of 13?
True
Let s(i) = -i**3 + 10*i**2 - 12*i - 2. Is 21 a factor of s(5)?
True
Let n(f) = f**2 - f + 6. Let i be n(10). Suppose i - 36 = 4*b. Does 15 divide b?
True
Let i(y) = 2*y + 1. Suppose 5 + 8 = c. Suppose -c = -4*b - 1. Does 7 divide i(b)?
True
Suppose 4*z - 14 = 34. Let u = 22 - z. Does 10 divide u?
True
Let y be (0 - 2)/((-2)/5). Suppose -7*f = 5*a - 3*f - 156, -y*f = -a + 8. Suppose a + 12 = 2*x. Is 10 a factor of x?
True
Let t(b) be the third derivative of b**6/120 + 7*b**5/60 + b**4/8 + 5*b**3/6 - b**2. Does 9 divide t(-6)?
False
Let k be 3/(-1)*-1*1. Suppose -3*s + 77 = 2*j, -k*j = 5*s - 10*s - 68. Does 13 divide j?
False
Suppose -4*l - j + 161 = 0, 3*l + 5*j + 51 = 193. Is 13 a factor of l?
True
Suppose 3 + 5 = 2*s. Let r be (-1 - -3 - s) + 11. Let f = r - -2. Is 3 a factor of f?
False
Let h(r) = 7*r**3 - r**2 - 1. Does 12 divide h(2)?
False
Let u(d) = -10*d + 9. Let z be u(-11). Let i be 153/(-3)*4/3. Let m = i + z. Does 13 divide m?
False
Let q(c) = 84*c**3 + c + 1. Let z be q(-1). Let b be (-4)/(2 - z/(-39)). Suppose y = 4*u - 4*y - 69, u = 3*y + b. Is u a multiple of 4?
False
Let c = 25 - 22. Suppose -9 - 135 = -c*z. Is 16 a factor of z?
True
Suppose 2*u + 4*g = -16, -13 - 7 = 4*g. Suppose -n = -u*w + 27, 0 = w - 0*n - 5*n. Does 15 divide w?
True
Suppose -2*o - 5*t = -2*t - 13, -3*o - 4*t = -19. Let y = o + 1. Is 3 a factor of y?
True
Suppose k = 55 + 11. Let w = k - 26. Is 11 a factor of w?
False
Let u be 6*(10/(-3))/(-5). Suppose 0 = 4*c - 2*c + u*l - 14, c - 37 = 4*l. Is c a multiple of 8?
False
