). Suppose -u*i = -i - 56. Does 9 divide i?
False
Let a = 14 - 12. Suppose -b - a*b + 48 = 0. Is 16 a factor of b?
True
Let v(i) = -3*i + 4. Suppose -6 = 2*x + 2. Is 15 a factor of v(x)?
False
Let z = -48 + 28. Let d = 36 + z. Does 16 divide d?
True
Let g be (2 + -3)*9/(-3). Suppose -2*i + g*i = 152. Suppose -3*a - 29 + i = 0. Is a a multiple of 17?
False
Does 6 divide (-5 - -1)/(6/(-36))?
True
Let f(n) = n**2 - n. Suppose 31 - 6 = 5*q + 5*s, -2*s - 2 = 0. Does 15 divide f(q)?
True
Suppose -q - 42 + 247 = 0. Does 41 divide q?
True
Suppose -l = -2 - 2. Suppose -j + 3*k + 43 = 10, k = l*j - 121. Does 19 divide j?
False
Suppose -2*l + 157 = -u, -2*u = -l + 150 + 167. Is u/(-12) + 2/(-8) a multiple of 13?
True
Let z(j) = j**3 + 2*j**2 + 2*j + 1. Let p be z(4). Suppose -y + 38 = 4*r, -2*y + r = 11 - p. Does 23 divide y?
True
Is 51 a factor of 66/44 - (-822)/4?
False
Let h(c) = 62*c**3 + c**2 - c. Does 7 divide h(1)?
False
Suppose -111 = -w + 2*m + m, 555 = 5*w - 4*m. Is 25 a factor of w?
False
Is 26 a factor of (((-60)/14)/(-5))/(4/364)?
True
Let n(x) = -x**2 - 7*x + 11. Let r be n(-8). Let q = 14 + r. Is 17 a factor of q?
True
Suppose 0 = -5*z + 4*k + 27, -4 = -3*z + k + 8. Suppose h = 5*f - 3*h - 150, -5*f = -z*h - 155. Does 17 divide f?
True
Let n = 8 + -14. Is (-4)/n + (-98)/(-6) a multiple of 13?
False
Let v(p) = 3*p - 4. Is 2 a factor of v(3)?
False
Suppose 0 = -3*l + t + 3*t + 14, 25 = 5*l - 5*t. Is 420/24*l/5 a multiple of 15?
False
Let h = 18 + -10. Suppose -5*a - h = -63. Is a a multiple of 7?
False
Let z(j) = 3*j**2 + 8*j + 3. Let g be (-3 + -2)/(4/4). Let b be z(g). Suppose 0 = 3*t - 64 - b. Is 17 a factor of t?
True
Suppose -4*q = -q - 24. Let s = q - 8. Suppose 0 = -2*r - a + 2*a + 14, -2*r - 2*a + 2 = s. Is r a multiple of 2?
False
Suppose -b - 3*k = 2*b + 54, -4*k - 12 = 0. Is 9 a factor of b/(-1)*48/40?
True
Suppose -1 = -2*i - 19. Let p(o) = -6*o**3 + 29*o**2 - 61*o + 29. Let t(h) = h**3 - 6*h**2 + 12*h - 6. Let g(f) = -2*p(f) - 11*t(f). Does 12 divide g(i)?
False
Let f be (3/(-6))/(2/(-56)). Is (-464)/(-11) + f/(-77) a multiple of 11?
False
Suppose 0 = -5*y - 80 + 320. Does 10 divide y?
False
Suppose -2*z + 5 = -3, -4*z = -3*i + 599. Is 12 a factor of i?
False
Suppose 2*g - 21 - 27 = 0. Suppose -3*c - g = 4*p, -5*c = -2*c. Let w = p - -27. Is 8 a factor of w?
False
Suppose 2*o - 1 = -5. Let d(r) = 2*r + r**2 - 1 + 7*r**2 - r**2. Is d(o) a multiple of 11?
False
Let g = -55 + 30. Let h = -15 - g. Does 4 divide (h/6)/(5/30)?
False
Let l(n) = 2*n - 1. Let c be l(5). Let s = 22 - c. Is s a multiple of 13?
True
Suppose -3*l = 2*a - 194, 3*a - 4*a + 2*l = -83. Let m = a + -56. Does 14 divide m?
False
Let f(o) = -7*o - 4 + 3*o**2 + 5*o + 3*o. Is 10 a factor of f(-3)?
True
Let v = 296 - 178. Does 22 divide v?
False
Let p(v) = -310*v - 10. Is p(-1) a multiple of 14?
False
Suppose -3*i = -2*l - 125, 0 = -2*i - 2*l - l + 105. Suppose i = 4*p - p. Is 7 a factor of p?
False
Suppose 12 = 3*l, -2*d + 2*l + 0*l + 2 = 0. Suppose -k - 2*a + 0*a - 12 = 0, 0 = 3*k + 5*a + 31. Does 5 divide (k + 2 - -1) + d?
False
Suppose -2*i + 24 = -6*i. Let j(c) = c**3 + 8*c**2 + 5*c - 1. Is j(i) a multiple of 9?
False
Let q(l) = 36*l - 4. Let s be q(5). Suppose 2*d - 2 = -10, -4*v = 4*d - s. Does 14 divide v?
False
Suppose -28 = -5*t + 12. Is t/36 - (-205)/9 a multiple of 5?
False
Let y be ((-4)/(-3))/(22/33). Does 3 divide y/(-7) + (-46)/(-14)?
True
Suppose 2*p - 12 = 6*p. Does 18 divide (-117)/p - (-6)/(-2)?
True
Suppose 5*c + 2*o - 174 = 0, -6*o - 159 = -4*c - o. Does 18 divide c?
True
Let t = 71 + -38. Is t a multiple of 28?
False
Let k = 4 - 1. Let f = -2 + k. Suppose -2*y - f = -33. Is 8 a factor of y?
True
Let l(f) = 18*f**3 - 2*f + 1. Is l(1) a multiple of 6?
False
Suppose -4*j = -2*w - 64, w + 3*w + 38 = 2*j. Is j a multiple of 15?
True
Let l(h) = -h**2 + 10*h - 5. Let a be l(8). Does 3 divide a/(-5)*(-4 - 1)?
False
Let s(b) = b**3 - b**2 + 3*b - 2. Does 5 divide s(2)?
False
Let t = 11 + 49. Does 15 divide t?
True
Suppose 2*b = 4*t - 176, t - 4*b - 88 = -t. Does 23 divide t?
False
Let c(w) = 3*w**2 - 2*w - 1. Suppose 2*d + 0 = -4. Let u = -1 + d. Is 16 a factor of c(u)?
True
Let w = -144 - -229. Is w a multiple of 17?
True
Suppose 3*u = -9 + 27. Suppose -u*d + d - 4*x = -40, 4*d - 41 = -5*x. Does 4 divide d?
True
Let l(y) = y**2 + 5*y + 7. Let d be l(-3). Suppose -h - d = -8. Is h a multiple of 7?
True
Suppose 0*x = -2*g - 4*x + 194, -4 = 4*x. Is 33 a factor of g?
True
Let b = 13 - 14. Is 12 a factor of b + 38 + 3 - 0?
False
Suppose -3*r + r + 82 = 0. Does 22 divide r?
False
Let x(o) = -o**2 - 1. Let h(r) be the second derivative of -r**4/2 - 4*r**3/3 - 5*r**2 - 2*r. Let a(v) = -h(v) + 4*x(v). Does 14 divide a(-6)?
False
Suppose -8*j - 3936 = -24*j. Is 24 a factor of j?
False
Suppose -173 = -4*m - 3*h + 4*h, -3*m + 5*h + 151 = 0. Does 14 divide m?
True
Let w(h) = h**2 - 5*h + 1. Let q be w(3). Let v = q + 5. Suppose -5*n + 135 - 30 = v. Does 6 divide n?
False
Suppose 0 = 3*n - 2 + 5. Let l be -5*n*(-3 - -4). Suppose -l*f - 3*u + 120 = 2*u, -4*f + 2*u = -108. Is f a multiple of 13?
True
Let t(l) = 11*l**3 - 12*l**3 - 6*l + l - 3 + 1. Let y = -4 - -1. Does 20 divide t(y)?
True
Let v be 2/5 + 17/(-5). Does 10 divide (v/2)/((-3)/32)?
False
Let s(c) = -29*c + 3. Is 16 a factor of s(-1)?
True
Let i = 432 + -171. Let k = i - 174. Is k a multiple of 29?
True
Let c(v) = v**2 - 9*v + 5. Suppose -2*k + 3*m + 33 = 0, -k + 5*m = -41 + 7. Does 3 divide c(k)?
False
Suppose -1253 + 233 = -4*k. Suppose h + 4*h = k. Is 24 a factor of h?
False
Suppose 2*v + 28 + 0 = 0. Let o = v - -24. Does 5 divide o?
True
Suppose -2*w - r = -4 + 2, -3*w - r = -5. Suppose 0 = -l + 4*l + x - 49, 43 = w*l - 5*x. Is l a multiple of 13?
False
Let c = 50 + -26. Suppose 3*m + 4 = -2*s, 3*m - c = 4*s + 2. Let u(x) = 5*x**3 - x - 2. Does 18 divide u(m)?
True
Suppose 0 = -0*m - 3*m + 9. Suppose 0 = g, -m*t - 4 + 22 = -2*g. Does 6 divide t?
True
Let g(q) = q**3 + 3*q**2 - 10*q - 6. Let c(f) = f**3 + 3*f**2 - 9*f - 5. Let l be ((-2)/(-3))/((-7)/42). Let n(i) = l*c(i) + 3*g(i). Is n(-5) a multiple of 12?
False
Let u = -50 + 33. Let t = 48 + u. Is t a multiple of 8?
False
Let u be 1 + 0 + (-1 - -2). Suppose -u*j - 3*j - 20 = 0, -5*y + 3 = 3*j. Suppose y*b - 2*b - 9 = 0. Does 5 divide b?
False
Suppose 125 = 5*q - 320. Is q a multiple of 23?
False
Is 15 a factor of (3/6)/((-2)/(-328))?
False
Suppose 2*j - 280 = -5*q, 4*j + 168 = 3*q + 8*j. Is 16 a factor of q?
False
Suppose 3*z = 5*c - 7, -5 = -8*c + 3*c + 5*z. Suppose 40 = -2*t - c*t. Is 17 a factor of 134/5 - 2/t?
False
Is -4 + (37 - 16/4) a multiple of 6?
False
Let h(y) = -3*y - 1. Let c be h(-1). Is 11 a factor of c/(272/132 + -2)?
True
Suppose p = -2*h + 19, 0 = 4*p + 4*h - 0*h - 80. Does 7 divide p?
True
Suppose 16*h - 631 = 201. Is h a multiple of 16?
False
Let p be 296/(-12) - (-3)/(-9). Let h = p - -41. Is h a multiple of 8?
True
Let j = -6 - -10. Let g be -1 - 0 - -3 - 2. Suppose g = j*d - d - 69. Is 13 a factor of d?
False
Suppose -r = r + 4. Let b = r + 6. Suppose -77 = -b*l + 55. Is l a multiple of 16?
False
Let b(d) = d**3 + 3*d**2 - d - 1. Let g be b(-3). Suppose 2*v = g*h - 2, 2*h - 5 + 2 = v. Suppose 2*y - 144 = -h*y. Is 14 a factor of y?
False
Suppose 2 = 2*u - 2. Is u a multiple of 2?
True
Let f = 7 + -14. Let s = 7 + f. Suppose s = -3*d + 4*d - 18. Is 14 a factor of d?
False
Let c(j) = 7*j**3 + j**3 - j - 9*j**3 - 7*j**2. Does 4 divide c(-7)?
False
Suppose -g - 3*v = 2*v - 56, 2*g - 4*v - 112 = 0. Does 28 divide g?
True
Let n(f) = -f**3 + 7*f**2 + 8*f + 5. Let a be n(8). Suppose a*y - 46 = 49. Suppose 5*p + 35 = u, -4*u - 2*p + 55 = -y. Does 9 divide u?
False
Suppose 4*n - 5 = 15. Let z = n - -3. Is z a multiple of 4?
True
Suppose -16 = 2*f - 6*f. Suppose -2 = n - f. Suppose -3*i = n*i - 45. Is 3 a factor of i?
True
Let q be (15/(-3))/(0 + 1). Let h = 15 - q. Let z = h + -10. Does 8 divide z?
False
Let l(g) be the second derivative of -g**5/20 + 2*g**4/3 - g**3/2 - 2*g**2 + 4*g. Does 11 divide l(7)?
False
Let i(l) = 3*l. Let t be i(1). Suppose t*m = 8*m - 10. Suppose p - 36 = 4*v, -2*p - 3*p + m*v = -90. Is 7 a factor of p?
False
Let t be (1 - 0)/((-1)/(-3)). Let d be 1 - (-11 + (2 - 3)). Suppose v - 5*o = -o + d, -t*v = o - 26. 