1)?
True
Is 25 a factor of 5/7 - 1 - 88344/(-504)?
True
Let z(h) = -3*h**2 + 3*h + 3. Let f be z(-2). Let n = f + 41. Is 8 a factor of n?
False
Suppose -6*s + 2*s + 880 = 0. Let f = s - 146. Is f a multiple of 18?
False
Suppose 6*u = 3*u + 105. Is 15 a factor of u?
False
Let w be 2/(-4) + 2/4. Suppose 3*k - 2*k - 14 = w. Is k a multiple of 5?
False
Suppose -5*i - 4*d = -112, 0 = 5*i - d + 4*d - 114. Is 6 a factor of i?
True
Let g(v) = -15*v - 6. Is g(-3) a multiple of 7?
False
Suppose 3*t - 2*n = -65, 0 = 5*t + n - 3*n + 111. Let c = -11 - t. Is 5 a factor of c?
False
Suppose 5*z = 35 + 5. Is 6 a factor of z?
False
Suppose -5*d + 72 = 5*s - 83, -3*s = -2*d + 42. Does 10 divide d?
False
Suppose -4 = -i + 12. Let h = i + -11. Does 5 divide h?
True
Let r(x) = -x**2 - 4*x. Let l be r(-3). Suppose -l*i + 45 = 2*i. Let o = i + -6. Is 3 a factor of o?
True
Suppose 2*a = 2*f - 0*f + 116, -4*f + 281 = 5*a. Is 33 a factor of a?
False
Suppose 102 = 15*q - 13*q. Does 17 divide q?
True
Suppose 0 = -x - 1, 4*i = 3*i + 3*x + 50. Does 12 divide i?
False
Let s be (-33)/(1/(-1)) + 0. Let x(d) = -d**3 + 4*d**2 + 2*d - 4. Let i be x(4). Suppose -q + i*q = s. Does 11 divide q?
True
Let z = -19 + 34. Let v(c) = c**3 + 3*c**2 + 3*c. Let j be v(-3). Let f = z + j. Does 3 divide f?
True
Suppose -5 + 1 = 2*g, 129 = l - 3*g. Is l a multiple of 41?
True
Does 18 divide -80*(2 - 5/2)?
False
Suppose -2*f - f = -3*k - 51, -4*k + 16 = 3*f. Let u = f + 28. Suppose 3*z + u = 5*q, 4*q - 5*q - 3*z = -8. Is 3 a factor of q?
False
Suppose -2*l = g - 78, -2*l + 66 = -3*g - 20. Is 4 a factor of l?
True
Is 39 a factor of ((-117)/(-12))/(3/24)?
True
Let t be 17/5 + 10/(-25). Suppose -t*f - 50 = -5*f. Does 15 divide f?
False
Suppose -3*x = 5*r + 45, -5*x + 2*x - 63 = -r. Is 15 a factor of (165/x)/(3/(-8))?
False
Let d = 13 + -8. Let p = 27 - d. Is 15 a factor of (p/2)/(1/2)?
False
Let a(q) = 9*q**2 + 2*q - 1. Let y be a(1). Suppose 0 = -l + y + 12. Is l a multiple of 12?
False
Let x = 88 + -61. Is 24 a factor of x?
False
Is 5/(-20) - 1047/(-12) a multiple of 15?
False
Suppose 0 = 2*h + 5*t - 22, -5*h - t + 34 = t. Let p = 3 - h. Is 2 a factor of p/(2 - 21/6)?
True
Let t = 19 - 16. Suppose t*g - 14 = -2. Is g even?
True
Let m be 28/((-6)/((-3)/1)). Suppose -2*n = -3*j + 2, -j - m = -4*n + 2. Does 2 divide n?
False
Suppose n - 5*k = -31, -k + 7 - 3 = 0. Let o = -16 - n. Let b = o - -20. Is 7 a factor of b?
False
Let w = -17 + 22. Does 2 divide w?
False
Let w(q) = q**2 + 10*q. Let h be w(-9). Let n(j) = -j**2 - 9*j + 6. Let p be n(h). Suppose p*m + 5*o - 163 = 2*m, 0 = -3*o - 3. Is 14 a factor of m?
True
Suppose 9 = -5*n - 3*y - 4, n + 1 = y. Let f(d) = -12*d - 3. Is f(n) a multiple of 7?
True
Suppose -5*g + 9 = -i, -5*i + 15 = -5*g - 0. Suppose 0 = 3*n + a + i, -4*n + 4*a = 2*a - 2. Let b(k) = -16*k**3 - 2*k**2 - k. Does 15 divide b(n)?
True
Let l = 6 - -19. Is 5 a factor of l?
True
Suppose 2*w + 5*u = 37, -5 - 5 = -5*w + 4*u. Suppose -5*d = 5*m - 150, -w*m + 5*d + 180 = -m. Suppose 5*s - m = -2*a, -4*a + s = -2*a - 15. Is 7 a factor of a?
False
Let a(y) = y**3 + y**2 + y. Let g = -10 + 13. Does 13 divide a(g)?
True
Let n(j) = j + 15. Let q be n(-15). Suppose -i - 1 = q, 5*v + 2*i = 3*i + 331. Is v a multiple of 22?
True
Let x = -478 + 905. Let d = 605 - x. Is d/10 - 1/(-5) a multiple of 9?
True
Let h(j) = 0*j + 1 - 3*j**2 - 3 - 4*j + 5*j**2. Does 5 divide h(4)?
False
Suppose -5*m = 4*s + 219, 3*m - m = 2*s + 114. Let r = s + 92. Is 12 a factor of r?
True
Let i = -18 + 31. Suppose -2*n = i - 41. Does 14 divide n?
True
Suppose 0 = s + 5*i - 44, -4*s - 5*i + 162 = 46. Is 6 a factor of s?
True
Suppose -2*d = d - l - 163, -d = 2*l - 52. Is d a multiple of 12?
False
Suppose 3 + 1 = l. Suppose 0 = l*m - 10 - 2. Is m a multiple of 2?
False
Let v = -3 - -3. Suppose -9 = -3*h - v*h. Does 3 divide h?
True
Let p = 4 - 3. Let j be (-27 - -2)*(0 + p). Does 11 divide -2 - j - (-1 + 2)?
True
Suppose -3*d + 3 + 6 = 0. Let u(g) = 4*g**2 + g - 2. Is u(d) a multiple of 15?
False
Let w(m) = -3*m - 11. Let g be w(-6). Let t = 1 + -1. Suppose -b + 23 - 6 = 5*d, 5*d - 4*b - g = t. Does 3 divide d?
True
Is (-40)/15*(-3)/2 a multiple of 4?
True
Let f = -29 + 62. Let r = -13 + f. Is 5 a factor of r?
True
Does 24 divide (-5 - 97)*1/(-2)?
False
Let v(h) = h**3 + 8*h**2 + 4*h - 6. Does 4 divide v(-7)?
False
Suppose 0 = 3*f + 3*n - 24, n - 6*n + 28 = 2*f. Suppose 18 = 3*d + 4*u + u, -3*d + 2*u - 3 = 0. Suppose f*t - 11 = d. Is 2 a factor of t?
False
Let l = -37 + 72. Let f = l - 1. Is f a multiple of 20?
False
Let i(u) = 3*u**2 + 2*u. Let g be i(2). Let j(c) = -24*c. Let h be j(-1). Let w = h + g. Is 16 a factor of w?
False
Suppose 2*a - 32 = 3*q, 0*q = -2*q - a - 19. Let c = q + 14. Suppose 8*d - 3*d - 4*k - 47 = 0, 0 = 5*d + c*k - 23. Does 7 divide d?
True
Let k = -96 - -161. Is k a multiple of 16?
False
Does 19 divide 57*(-1 + 4/2)?
True
Let o be ((-3)/5)/(3/(-15)). Suppose -6*d + o*d + 102 = 0. Is 10 a factor of d?
False
Suppose 5*j + 12 - 1 = 3*c, -10 = 4*j - 2*c. Let r be (1 + 1)*(-114)/j. Let u = 101 - r. Does 17 divide u?
False
Suppose -352 = -4*q + 160. Is q a multiple of 13?
False
Let n(k) = 16*k**2 - 2*k + 1. Let h be 2/5 + 6/10. Is n(h) a multiple of 15?
True
Let m(k) be the first derivative of k**4/4 + k**3 - k**2 - k + 1. Is m(-2) a multiple of 4?
False
Let b(w) = 10*w - 6. Does 13 divide b(2)?
False
Suppose -5*k + 144 = -4*p, 5*k - 6*p + 4*p - 152 = 0. Does 32 divide k?
True
Let z = -43 - -61. Is 9 a factor of z?
True
Suppose 0*k + k = 124. Does 39 divide k?
False
Suppose -366 = -4*k + 3*r, 0*k + 3*k - 287 = -4*r. Is k a multiple of 31?
True
Suppose 0 = 2*i + k - 3*k - 162, -2*k - 82 = -i. Does 13 divide i?
False
Suppose -v + 11 = 1. Let d(t) = 17*t**2 + t. Let b be d(-1). Let o = b - v. Is o a multiple of 6?
True
Suppose t + 2*t = 6. Let x(a) = -a**3 + 7*a**2 - 6*a + 12. Let c(u) = -4*u**3 + 28*u**2 - 23*u + 49. Let l(o) = t*c(o) - 9*x(o). Is l(7) a multiple of 23?
True
Let g(t) = t**2 + 2*t - 1. Let s be g(1). Suppose 0*p - s*u + 7 = -3*p, -1 = -p - u. Is 4*39/6 + p a multiple of 14?
False
Let a(z) = -106*z - 1. Let t be a(-1). Let w = t + -61. Is 11 a factor of w?
True
Let k(x) = x**2 - 2*x + 2. Let h be k(2). Is (h/4)/((-4)/(-64)) a multiple of 4?
True
Suppose -11 = 2*i - 73. Does 12 divide i?
False
Suppose 0 = -4*l - 5*x + 23 + 3, 4 = 3*l - 4*x. Is 2 a factor of 259/28 - 1/l?
False
Does 6 divide 189/27*10/7?
False
Is (3/6)/(2/124) a multiple of 23?
False
Suppose 0 = n - 1, -601 = -5*h - 3*n + 122. Is h a multiple of 36?
True
Suppose 2*c - 7*c = -510. Is 34 a factor of c?
True
Let n = 42 - 14. Is 7 a factor of n?
True
Let o = 1 + 6. Let x(v) = -v**2 + 7*v + 6. Let t be x(5). Does 14 divide 8/(-2 + t/o)?
True
Let k(y) = 11*y - 17. Let g(r) be the second derivative of r**3/2 - 2*r**2 + 4*r. Let c(b) = 9*g(b) - 2*k(b). Is c(3) a multiple of 13?
True
Let q(a) = -a + 13. Let p be q(-6). Let k = p + -8. Is 6 a factor of k?
False
Suppose 0 = -3*z - 4*l - 288, 2*z + 0*z + 4*l = -188. Let c be ((-1)/2)/(2/z). Let o = 39 - c. Is 14 a factor of o?
True
Suppose -37*f = -36*f - 45. Does 9 divide f?
True
Let l be (-1)/(2 - 6/2). Let m = l + -1. Suppose -2*c + 2*h + 26 = m, -4*h + 8 = -0*h. Is c a multiple of 4?
False
Let g(t) = t**2 - 4*t - 1. Let x be g(4). Let w be -1*(x + 2 + -3). Suppose -w*v - 3*v + 74 = 2*n, -v + 4 = 4*n. Does 16 divide v?
True
Let f = 168 - 62. Does 23 divide f?
False
Suppose 3*u - 6*u = 33. Let a(f) = -f - 6. Let g be a(u). Let l = g - 1. Is l even?
True
Let i(t) = -t + 1. Let a(j) = -5*j - 4. Let g(v) = a(v) + 2*i(v). Let n = 31 - 35. Is 13 a factor of g(n)?
True
Suppose 0 = -2*c - 2*c + 16. Suppose 0 = -2*b + c*b. Does 17 divide 19 - b - (4 + -2)?
True
Let l(d) = -4*d - 1. Suppose 2*f - 1 + 13 = 0. Is l(f) a multiple of 6?
False
Suppose 3*n + 2*n + 40 = -w, -56 = 4*n - 4*w. Let b = 4 + n. Let t(q) = -2*q - 4. Does 6 divide t(b)?
True
Let l(n) = n + 66. Is 22 a factor of l(0)?
True
Let h(w) = w**3 + w**2 - 1. Let t(a) = -2*a**3 + 7*a**2 - a + 9. Let y(l) = h(l) + t(l). Let c be y(8). Suppose 2*m + m - 102 = c. Does 8 divide m?
False
Let c(p) = -p**3 + 14*p**2 - 4*p - 8. Is c(11) a multiple of 18?
False
Let s(x) = -x**2 + 6*x - 3. Let h be s(5). Suppose 0 = h*i - 8 + 4. Does 10 divid