1. Let u(i) = 2*i + 4. Let g(v) = -6*l(v) + u(v). Let t(r) = 5*r - 1. Let z be t(2). Is g(z) a multiple of 8?
True
Is 6 a factor of (-171)/(-7) - 57/133?
True
Suppose -4*o + 81 = -3*o - 3*k, -4*o - 2*k = -366. Is o a multiple of 15?
True
Let f = -21 - -23. Is (26 - -3)*(-1 + f) a multiple of 29?
True
Let k(i) = -5*i + 3. Suppose -5*f = -2*u + 21, -3*u - 6 = -0*u. Does 14 divide k(f)?
True
Let z be (4 + 0)*1/2. Suppose z*p + 2*n = -n + 19, -3*p + 4*n = -3. Is 5 a factor of p?
True
Suppose -444 = -7*q + 116. Is 4 a factor of q?
True
Suppose -21 - 13 = a. Let b(j) = j**3 + 4*j**2 - 9*j - 2. Let l be b(-6). Is 3 a factor of 8/l + a/(-10)?
True
Suppose -3*v + 23 = 5*s, 0*v - 3*s - 28 = -2*v. Suppose 95 - v = 3*f. Does 10 divide f?
False
Let m be ((-2)/4)/((-2)/12). Let q be (4/m)/(2/60). Suppose a = -4*a + q. Is 4 a factor of a?
True
Let j(f) = -f**3 + 8*f**2 + 3*f - 6. Let h be j(8). Suppose 2*d + w = h, w = 3*w. Is 8 a factor of d?
False
Let q = 17 + 18. Does 24 divide q?
False
Let g(f) = -f**3 - 7*f**2 - 6*f - 4. Let w be g(-6). Let c = w - -4. Let y(l) = l**3 - l**2 + l + 13. Does 4 divide y(c)?
False
Suppose -3*f + 4*z + 440 = 0, -3*f + 9*z - 4*z + 439 = 0. Does 19 divide f?
False
Let w be 4 - (-4 + 3) - -2. Let b = -4 + w. Is b a multiple of 2?
False
Suppose 19 - 4 = 5*w. Suppose 6 = -w*o + 102. Is o a multiple of 16?
True
Suppose -x = -9*x + 224. Does 7 divide x?
True
Let b = 19 + -13. Let i be ((-3)/b)/(1/16). Is 20 a factor of (-519)/(-9) + i/12?
False
Let m = 570 + -258. Suppose 5*f = 53 + m. Is 19 a factor of f?
False
Let k be ((0/2)/2)/2. Let y(c) = -c**2 - c + 6. Is y(k) a multiple of 3?
True
Let l(u) = -u**3 - 12*u**2 + 13*u - 8. Let a be (2/6)/((-1)/39). Let w be l(a). Does 7 divide (-138)/w - 9/(-12)?
False
Suppose 4*n + 150 = 9*n. Is n a multiple of 22?
False
Let r = -13 + 94. Suppose -2*p - r = -5*p. Is p a multiple of 27?
True
Let c(q) = q**3 - 4*q**2 + 2. Suppose 4*s = -s + 20. Let k be c(s). Suppose -56 = -4*f + k*f. Is f a multiple of 14?
True
Let y(r) = r**2 - 9*r + 13. Does 9 divide y(10)?
False
Suppose 0 = -0*r - 2*r. Suppose 3*q = -4*i + 383 - 35, r = -3*q - 12. Suppose 0 = 4*w - w - i. Does 11 divide w?
False
Let x(j) = 5*j**2 + 1. Let y be x(-1). Let m(c) = -c**2 + 7*c - 5. Let n be m(y). Is (-70)/(-15)*6/n a multiple of 9?
False
Suppose -4*m + 2*o + 14 = 44, 4*m + 4*o + 60 = 0. Let c = m + 17. Is 3 a factor of c?
False
Suppose 3*z = 2*h + 8, -h + 6*h - 55 = -5*z. Is 12 a factor of (-171)/6*(-4)/z?
False
Let s(d) = -d**2 - 8*d - 4. Let l be s(-7). Suppose 91 = -l*u + 10*u. Is 5 a factor of u?
False
Suppose p + 2*p = 0. Suppose -2*w - d = p, 0 = -0*w + 2*w - d - 8. Is 3 a factor of ((-3)/(-4))/(w/8)?
True
Let f = -26 - -221. Suppose b - 50 = c, -3*c - f = b - 5*b. Suppose 3*n = 3*l + 6*n - b, 4*n = l - 5. Is l a multiple of 13?
True
Suppose -18*o - 15 = -19*o. Is o a multiple of 3?
True
Is 15 a factor of (-1 - -26)*(-1 + 4)?
True
Suppose -337 = -3*t + z, 3*t + 2*z - 340 = 6*z. Does 16 divide t?
True
Let r(h) = -17*h + 3. Let w be r(2). Let a = w + 46. Is 15 a factor of a?
True
Let f be (7 + -1)*4/8. Suppose f*q - 8*q + 15 = 0. Suppose q*u = -8 - 7, -5*u - 76 = -3*m. Is m a multiple of 17?
True
Let j(g) = g**2 - 4*g + 3. Does 19 divide j(7)?
False
Suppose -4*g - 5*y = -55, -g + y = 2*g - 65. Suppose g = -4*b + 60. Suppose u + u - b = 0. Is u a multiple of 5?
True
Suppose 0 = -3*h - 0*h + s + 40, 0 = -5*h - s + 72. Let q = 19 - h. Is 5 a factor of q?
True
Suppose 3*t + 56 - 200 = 0. Is 18 a factor of t?
False
Let y(f) = 4*f**2 + 3*f + 3. Suppose 5*t - 24 = -9. Let u = t + -5. Is y(u) a multiple of 5?
False
Let t(v) = 9*v + 3. Is t(9) a multiple of 21?
True
Let k be (-4)/(-12) + (-267)/(-9). Suppose k + 96 = 3*g. Suppose g = 2*q - 3*o, -5*q - 1 = o - 89. Is 9 a factor of q?
True
Suppose 0 = 7*f - 2*f - 35. Let n = f - -25. Is n a multiple of 20?
False
Suppose 0 = -6*z + 257 - 59. Does 29 divide z?
False
Suppose -5*n - 41 = -1. Let j = n + 17. Suppose -j = -3*y, -3*u + 2*y = -u - 68. Is u a multiple of 10?
False
Suppose 5*g + 0*r = -r + 178, -3*r + 102 = 3*g. Is g a multiple of 6?
True
Suppose 0 = -5*g - 4*x - 102 - 80, 2*g + 2*x + 72 = 0. Does 8 divide g/(-2) - (5 - 8)?
False
Suppose u + 2*u = 15. Suppose 8 = 4*q - 8, -2*q = -3*b - u. Suppose f = 4 + b. Is f a multiple of 3?
False
Let f be (180/4)/(-3) - 4. Let n = -6 - f. Is 5 a factor of n?
False
Let r = -3 - -5. Suppose -3*g + 5*n = 2*n + 48, 0 = -4*g - r*n - 82. Is 3/((-3)/(-2)) - g a multiple of 16?
False
Suppose 0 = 3*h - 5*l - 64, -4*l + 0*l = -3*h + 62. Does 2 divide h?
True
Let c(g) = g**2 - 2*g - 2. Suppose 2*l - i - 12 = -2*i, 0 = 3*l - 4*i + 4. Suppose o = l - 0. Does 3 divide c(o)?
True
Suppose 11*p - 514 = -74. Is p a multiple of 40?
True
Let s = -275 - -599. Suppose -s = -4*u - 0*u. Is 27 a factor of u?
True
Let h(y) = 11*y + 4. Let o be h(5). Suppose 0*i = -3*i + q + o, -5*q = 5*i - 65. Is i a multiple of 6?
True
Suppose 4*j + 105 = 4*r - 279, -308 = -3*r - 2*j. Is r a multiple of 20?
True
Let r = -437 - -704. Is r a multiple of 59?
False
Let v = 16 - 3. Suppose -2*r + 1 - v = 0. Let h(g) = -9*g + 5. Is h(r) a multiple of 17?
False
Suppose -i + 78 = 2*w, -2*w + 277 = 3*i + 51. Is i a multiple of 23?
False
Let h be (-6)/(-2)*(-6)/(-2). Let j = h + 1. Does 10 divide j?
True
Let d(v) = -2*v**2 + 2. Let q be d(2). Suppose 75 = 6*x - x. Let j = q + x. Is 5 a factor of j?
False
Let q(h) = 2*h**2 + 4*h + 5. Let g(a) = a**3 + 3*a**2 + a - 1. Let u be g(-3). Is q(u) a multiple of 21?
True
Is (9/6)/(4/144) a multiple of 27?
True
Is ((-1456)/42)/(-1*2/6) a multiple of 13?
True
Suppose -o = -2 - 1. Suppose -98 = -3*k + 5*d, o*k = -d + 60 + 50. Does 18 divide k?
True
Let w be ((-36)/16 + 3)*4. Suppose 2*p - p = -4*x + 45, w*x = -4*p + 24. Does 4 divide x?
True
Let d(l) = l**2 - 7*l + 8. Let n be d(6). Suppose -7*v = -n*v - 165. Is v a multiple of 11?
True
Let d(l) = l + 10. Suppose 2*u = -2*s + 8, -4*s - 6 = -s. Is d(u) a multiple of 8?
True
Suppose -5*i = 2*l + 10, 0*i - 12 = 3*i. Suppose q - 22 = -q. Let a = q - l. Does 6 divide a?
True
Let f be (104/(-6))/(3/(-9)). Suppose -u + 2*u - f = -5*z, 16 = 2*z + 2*u. Does 11 divide z?
True
Does 19 divide (-5579)/(-49) + 15/7 + -2?
True
Suppose 2*f = -c + 40, 3*c + 4*f - 83 = 33. Suppose -d + 0*d + c = 0. Is 18 a factor of d?
True
Suppose x - 3*x = -2*s + 2, 2*x + 2 = 0. Suppose 156 = 4*y - 4*l, 0 = -2*y - s*y + 4*l + 82. Is 11 a factor of y?
False
Suppose -3 = 3*o - 30. Let u be -1 + (2 - (-1 + 0)). Suppose 0 = u*t - 1 - o. Is t even?
False
Suppose 6*x = 41 + 67. Does 18 divide x?
True
Is 35 a factor of (952/(-21))/((-1)/3)?
False
Let q(u) = -22*u - 38. Does 36 divide q(-7)?
False
Let j = 2 + 0. Suppose q = y - j*q, 0 = -2*q. Suppose -3*x + 83 = 5*b, y*x - 4*x - 28 = -2*b. Is b a multiple of 8?
True
Let a(x) = x - 12. Let u be a(10). Let z be 7 + 2 + -5 + u. Suppose -z*v + 75 = 5*q, -5*q = -2*v - 2*v + 75. Is 14 a factor of v?
False
Let j(d) = 14*d**2 - 7*d + 3. Does 27 divide j(3)?
True
Let f = 90 - 60. Suppose -t + f = 2*t. Is 6 a factor of t?
False
Suppose -2*p + 5*i = -58, -3*i - 18 - 12 = -p. Is 8 a factor of p?
True
Suppose 222 = -5*m + 3*a, -3*a + 16 = a. Is 2/(-2) + m/(-2) a multiple of 10?
True
Suppose -3*v - f - 334 = 0, 0 = -3*f - 0*f - 3. Does 21 divide (-5)/10*(v + -1)?
False
Let a be -3 - (2 + -1)*-11. Suppose -42 = -3*t + 4*v - a, -5*t = -4*v - 70. Is 16 a factor of t?
False
Let c(h) = h**2 - 9*h + 6. Let u be c(7). Let v = u - -46. Is v a multiple of 19?
True
Let a be (-33)/(-12) + 6/(-8). Let h(o) = -4*o**2 + 7*o - 5. Let l(z) = 11*z**2 - 20*z + 14. Let m(x) = -17*h(x) - 6*l(x). Does 11 divide m(a)?
True
Let v = 7 + -6. Is 15 a factor of (30/(-7))/(v/(-7))?
True
Suppose 2*t + 6*g = 3*g + 105, t + 4*g - 40 = 0. Does 10 divide t?
True
Is (-4)/(48/(-1132)) - (-3)/(-9) a multiple of 9?
False
Let a(c) = -5*c + 2*c - 5*c - c**2 + 7. Is 14 a factor of a(-7)?
True
Suppose -3*f - 2*f = -630. Is f a multiple of 18?
True
Let j(q) = -q**2 - 6*q. Let i be j(-6). Suppose 0 = 5*a + 2*o - i*o - 644, a - 127 = -o. Suppose 5*l + 4*g = a, -3*g - 95 + 22 = -4*l. Is l a multiple of 11?
True
Let g = -18 - -22. Does 3 divide g?
False
Let o = 791 - 1119. Does 17 divide (1 + 0)*o/(-8)?
False
Suppose 3*p + 912 = 3*a, -4*a + 1493 =