-1 - 29 = -c*y. Is 28 a factor of (6 - -78)/(y/4)?
True
Let j = -176 + 332. Does 6 divide j?
True
Suppose 0 = -0*a + a + 4*l - 23, 0 = -5*a + 3*l + 23. Suppose 4*h = 4*d - 2 - 10, -5*d + 8 = 2*h. Let y = a - h. Is y a multiple of 3?
False
Suppose 19*a + 34*a - 9540 = 0. Does 10 divide a?
True
Let u(w) = 31*w + 2. Let n be u(7). Let c = -120 + n. Does 12 divide c?
False
Suppose -524 = -31*c + 32*c. Does 32 divide (c/6)/((-2)/3)?
False
Let g(t) = -7*t**3 + 10*t**2 + 6*t + 6. Let x(f) = -13*f**3 + 21*f**2 + 11*f + 13. Let c(o) = -11*g(o) + 6*x(o). Is 3 a factor of c(16)?
True
Suppose -2*c = -5*a - 1736 + 377, 2*a - 684 = -c. Is c a multiple of 22?
True
Let q = -21 + 27. Let l(g) = 24*g - 32. Is 18 a factor of l(q)?
False
Let u = -499 + 2207. Does 28 divide u?
True
Let s(h) = -52*h - 20. Is s(-8) a multiple of 13?
False
Let z be ((-32)/6)/((-2)/(-6)). Suppose 0*j + 4*j = b - 74, 349 = 5*b + j. Let q = b + z. Is q a multiple of 28?
False
Let v be 7/2*8/7. Suppose -7*h + 252 = -v*h. Is h a multiple of 14?
True
Does 7 divide (-2)/((64/2632)/(-8))?
True
Let j be 15/25 - 904/(-10). Suppose -23*y = -22*y - j. Does 25 divide y?
False
Let q = -3875 - -7607. Is q a multiple of 32?
False
Is 14 a factor of 4/30 + 818896/780?
True
Let z be (5/(-2))/((-5)/10). Suppose -16 - 4 = -z*x. Suppose -x*n - 66 = -178. Does 14 divide n?
True
Suppose -3*y - 331 = y - 3*w, y - 2*w + 79 = 0. Let q = -58 - y. Is q a multiple of 7?
False
Let h = -2 - -2. Suppose 3*n = -h*n. Is n + -3 + (-42)/(-2) a multiple of 15?
False
Suppose 0 = -3*m + 9, -5*u + 111 = -6*m + 3*m. Does 6 divide (1 - 4)/((-100)/u - -4)?
True
Let i(n) = n**3 + 3*n**2 + 2*n + 3. Let s be i(-3). Let q(z) = 5*z**2 - 20*z - 5. Let k be q(4). Is k/(4/2 + s) a multiple of 4?
False
Let y(x) = x + 10. Let m be y(5). Let b be m - 6/(8/(-4)). Let r = b - -26. Is r a multiple of 11?
True
Let y(v) = 103*v - 34. Does 10 divide y(10)?
False
Let l(a) = a**2 + 30*a - 19. Does 48 divide l(7)?
True
Suppose 3*b - 134 - 19 = 0. Does 4 divide b?
False
Let d(c) = -2*c**3 + 34*c**2 - 41*c + 154. Does 5 divide d(16)?
True
Suppose -v = f + 2*f, 2*v - 2*f = 0. Suppose -2*z - 4 = v, 73 + 97 = 3*b + 5*z. Suppose w = 4*w - b. Is w a multiple of 6?
False
Suppose -23*a + 25986 = 38*a. Is a a multiple of 142?
True
Suppose 4 = -2*x - 4*i - 2, 0 = -5*x - 3*i - 8. Let n be 3*x/(2 - 3). Suppose 0 = 2*s, 5*u = n*s - s + 120. Does 12 divide u?
True
Let w = 4 + -2. Suppose -w*q = 10, 0 = -4*z - q + 59 + 124. Is z a multiple of 9?
False
Suppose -5*y - 2*w + 625 = -7*w, -3*y + 2*w = -380. Does 13 divide y?
True
Let b(t) be the third derivative of -t**6/120 + t**5/60 + t**4/12 + 2*t**3/3 + 8*t**2. Let a be b(-3). Let d = 61 - a. Is 23 a factor of d?
False
Suppose 3*o + 90 = -3*o. Does 15 divide 178 + (15 + o)*(2 + -1)?
False
Let c = -113 - -136. Is 9 a factor of c?
False
Is 22 a factor of (-21673)/(-5) + (161/(-35) - -4)?
True
Let i = -30 + 20. Let q = i + 64. Does 9 divide q?
True
Suppose 0 = -3*r + 1 + 8. Suppose -3*f + 33 = -3*b, -r*f + 3*b = 4*b - 49. Is 7 a factor of f?
False
Suppose 0*f + 16 = f. Let m(w) = -w + 35. Let n be m(10). Let s = n - f. Is 2 a factor of s?
False
Is 2/(2/(-4) + 12859/25630) a multiple of 36?
False
Let y be (4/8)/(3/618). Suppose d + 2*c + 0*c = 100, d - c = y. Is d a multiple of 22?
False
Suppose 2*i - 4*f - 296 = 0, -2*i - 2*i = -5*f - 592. Does 74 divide i?
True
Let w(c) = -c**2 - 17*c + 10. Let u(x) = x**2 - 9*x + 2. Let d be u(7). Is 31 a factor of w(d)?
False
Let p(s) = s**2 - 6*s + 9. Let u be p(4). Let z be (u/(-4))/((-2)/8). Let r(b) = 43*b - 1. Is 19 a factor of r(z)?
False
Suppose -106 = -3*x - 5*c, -x + 5*x + 5*c - 148 = 0. Let z be 0*(1 - (-6)/(-4)). Suppose -b + z*b + x = -3*n, -b = 5*n - 26. Does 11 divide b?
False
Let k = -12 + 14. Let d = 8 - 8. Suppose d*y + k*r = -y + 14, r = y - 5. Is 4 a factor of y?
True
Let w(u) = -u - 9. Let b be w(-14). Suppose -g + 328 = b*t - 20, 80 = t - 5*g. Is 15 a factor of t?
False
Suppose 4*b - l - 5456 = 3*l, 0 = -5*b + 3*l + 6822. Is b a multiple of 17?
False
Suppose -4*z - p - 284 = -740, -p = -4*z + 448. Is z a multiple of 15?
False
Let s(y) = -9*y**2 + 4*y - 11. Let c(x) = 5*x**2 - 2*x + 5. Let q(d) = 9*c(d) + 4*s(d). Is 2 a factor of q(1)?
True
Suppose -1 = -j + 11. Suppose -j - 6 = -2*g. Let c = 18 - g. Is 9 a factor of c?
True
Let g(t) = -t - 67. Let d be g(0). Let q = -38 - d. Is 3 a factor of q?
False
Let o(y) be the first derivative of 31*y**2/2 - 2*y - 14. Is o(1) a multiple of 29?
True
Suppose a = -7 - 1. Let i be (-22)/a + (-6)/(-24). Suppose 2*j + 3*t = -0*j + 47, -i*j + 53 = t. Does 4 divide j?
True
Does 8 divide 4245/6 + ((-132)/8)/11?
False
Let h(i) = -2*i**2 - i - 4. Let b(n) = -n**2 + n. Let c(y) = 5*y**2 - 3*y + 2. Let s(w) = -4*b(w) - c(w). Let f(x) = -6*h(x) + 11*s(x). Is 16 a factor of f(7)?
True
Let h(v) = v - 1. Let m be h(3). Is 1/m - (-9)/2 a multiple of 5?
True
Let y(q) = -3*q**2 - 25*q - 8. Let f be y(-8). Suppose n - 2*n + 2*w = -130, f = -n - w + 130. Does 13 divide n?
True
Suppose 4*b = -2*t - 24, -b - t + 18 = -4*b. Let k(r) = 2*r**2 + 5*r + 8. Let a be k(b). Suppose -2*q + 54 = -a. Does 12 divide q?
False
Suppose 4*r + 16 = -0*r, 0 = n + 3*r - 52. Is n a multiple of 16?
True
Let l(y) = y**2. Let j(b) = 4*b - 3. Let d(a) = -j(a) - l(a). Let h be d(-4). Suppose -h*o + 23 = -7. Is o a multiple of 5?
True
Suppose 0 = -10*t + 4*t - 12. Is 5 + 4 + 255 + t a multiple of 16?
False
Let m be 4/(-3)*(-1 + 0)*3. Suppose g = -5*f + 146, m*f + g - 116 = -0*g. Is 15 a factor of f?
True
Suppose -r + 448 = p, -1359 = -3*r + p + p. Is r a multiple of 7?
False
Suppose 0 = 2*d - 3*f - 1, 2*f + 0*f - 12 = -5*d. Suppose -57 - d = -h. Is 20 a factor of h?
False
Suppose 5*g - 10 - 5 = o, 2*g = o + 9. Suppose -3*f - g*f = 5*d - 905, -4*f = -3*d - 752. Does 27 divide f?
False
Let u(s) = 10*s**2 - 6*s + 17. Let g be u(5). Let d = g - 157. Does 26 divide d?
False
Let a be (-5)/4*(-17 - 51). Suppose -19 = -8*f + a. Does 11 divide f?
False
Let j = -822 - -876. Does 9 divide j?
True
Let z(p) = 37*p + 590. Does 29 divide z(35)?
True
Suppose 96*y + 408 - 16248 = 0. Does 11 divide y?
True
Suppose 2*i = -2*h + 259 + 4883, h - 2566 = 4*i. Is h a multiple of 23?
False
Let o(q) be the first derivative of 15*q**2 - 8*q + 6. Does 12 divide o(3)?
False
Let q = 66 - 65. Does 26 divide 72/q - (-1)/(3/9)?
False
Suppose -39 = b + g, 0 = -3*b + b - 5*g - 90. Let i = 125 + b. Does 45 divide i?
True
Suppose -5*d + 5*w = -5, -d - w - 3 = -2. Suppose -z - 5 = -2*r + 2, d = -5*r + 2*z + 16. Suppose -1 = r*s - 23. Is s a multiple of 3?
False
Suppose -2*z + w + 27 - 169 = 0, 0 = -3*z - 3*w - 213. Let d = z + 127. Does 4 divide d?
True
Suppose 0 = 62*i - 67*i + 5740. Suppose 0 = -15*g + 4927 + i. Is 15 a factor of g?
True
Let w(j) = -3*j - 49. Let v(i) = i**2 + 10*i + 148. Let s(q) = -2*v(q) - 7*w(q). Is s(0) a multiple of 9?
False
Suppose 6 - 30 = -6*o. Let r(a) = a**3 - 4*a**2 - 2*a + 5. Let f be r(o). Let m = f - -21. Does 9 divide m?
True
Let y = 10 - 7. Suppose -y*h + 910 = -5*w, -174 = 3*w - 2*w + h. Let v = -92 - w. Does 26 divide v?
False
Let v(i) = 49*i + 24. Is v(2) a multiple of 32?
False
Let q be (84/(-105))/(4/(-10)). Is 8 a factor of 61 + 8 + 2/q?
False
Let x be 5/((-15)/204) + -4. Let a = x - -142. Is 14 a factor of a?
True
Let p(l) = l**3 - 32*l**2 + 62*l + 112. Is p(30) a multiple of 20?
False
Let p(i) = -2*i + 8 + 3*i - 100*i**2 - 7. Let x be p(-1). Let m = 140 + x. Is m a multiple of 20?
True
Suppose 6*b - 2*b + 3016 = 4*m, 5*m + 3*b - 3770 = 0. Is 58 a factor of m?
True
Let o(s) = -3*s + 7. Let i(y) = y**2 + 5*y + 2. Let w be i(-6). Suppose -5*z + 33 = -w*z. Is 19 a factor of o(z)?
False
Suppose -2*r = -r - 90. Is 12 a factor of r/4*48/10?
True
Let i(f) = -f**2 - 6*f - 10. Let d be i(-7). Let k = 45 + d. Is k a multiple of 7?
True
Suppose 5 = k - 6. Suppose 3*d = k*d - 96. Does 7 divide d?
False
Suppose -2 = 3*g - g - 5*a, 5 = -5*g - 3*a. Let m(n) = -n**3 - 2*n**2 - 2*n - 1. Let h be m(g). Suppose -12 = -3*w - h*w. Is 4 a factor of w?
True
Suppose -66 = -2*d + 4*m, -3*d = -7*m + 3*m - 89. Suppose 3*h + d = 374. Suppose 5*a = -3*n + h, -22 - 58 = -2*n - 4*a. Is n a multiple of 17?
True
Let l be -1 + (-1)/((-1)/(-33)). Let n be (10 + -7 + 3)/(6/8). Let m = n - l. Is