2. Is 35 a factor of (525/(f/i))/1?
True
Suppose -2*j + 3*l + 208 = 3*j, -j = -3*l - 44. Does 10 divide j?
False
Let l = 1318 - 917. Is 8 a factor of l?
False
Suppose -2*c - 3 + 41 = 0. Is 7 a factor of c?
False
Let h(i) = -i**3 - 3*i**2 - 1. Let f be h(-3). Suppose -2*n = -0*w - 4*w - 22, 3*w - 16 = -5*n. Is f/n + (-176)/(-5) a multiple of 10?
False
Suppose 0 = -14*h + 9*h. Suppose h = 3*p + 21 - 6. Is 5 a factor of p/(-1 - (-3)/4)?
True
Suppose 0*h + 2*h - 38 = 0. Suppose 0 = 3*g - h + 7. Suppose g*i = -15 + 143. Does 16 divide i?
True
Is 17 a factor of 76*7*(420/8)/21?
False
Suppose -18*v - 18 = -9*v. Is 17 a factor of 34/6*15*(-2)/v?
True
Suppose -5 = 5*n - 6*y + y, 2*y - 2 = 4*n. Suppose -3*u + 19 = -n*u - 4*p, -19 = -4*u - p. Suppose 0 = -u*m - 5 + 25. Does 4 divide m?
True
Let s = -1965 + 3345. Does 62 divide s?
False
Let a be (-4)/14 - (-90)/21. Suppose 3*c = -0*d - d + 139, 0 = d - a. Is 9 a factor of c?
True
Let f = 2 - -13. Let x = 21 - f. Is 6 a factor of x?
True
Suppose 3*o = 3*t, 2*t - 35 + 11 = -4*o. Suppose -o*c - 4 = -x, x + c + 34 = 4*x. Does 9 divide x?
False
Let l(f) = f**2 - 2*f + 1. Let o be l(3). Suppose 4*g - 440 = -o*s, 5*g + 0*s - 568 = s. Does 10 divide g?
False
Suppose -171 = -13*k + 869. Is k a multiple of 8?
True
Let v be (2 + 22)*1 + 1. Suppose -v = -2*f + f. Let b = f - -2. Does 8 divide b?
False
Suppose -m - 1 = -4. Let w = -31 + 181. Suppose m*o + w = 5*o. Is o a multiple of 15?
True
Does 58 divide (-13730)/(-6) + 11 + (-4)/(-6)?
False
Suppose 2*v + 8 = -26. Let g(l) = l**2 + 15*l - 21. Is g(v) a multiple of 5?
False
Let d(q) = -3*q**3 - 2*q**2 + 6*q + 7. Let s be d(-3). Let x = 208 - s. Is x a multiple of 13?
True
Suppose -u + 2*u + 1 = 0, 4*w = -5*u - 81. Let g = -10 - w. Does 34 divide 1095/g + (-2)/(-6)?
False
Suppose 5*v - 111 + 686 = 0. Let c = v + 161. Does 4 divide c?
False
Is 5*(-5)/(-25) - -166 a multiple of 6?
False
Let o(f) = -6*f**2 + 4*f + 4. Let t be o(-2). Let q = -34 - -53. Let m = q - t. Is m a multiple of 12?
False
Let y(g) = g**2 + 5*g - 4. Let c be y(-6). Let z(k) = 2*k**3 - 4*k**2 + k + 2. Let f be z(c). Is (-3 - (-22)/f)*6 a multiple of 5?
True
Let a(w) = 5*w - 2 + 0 - 2. Let o be a(4). Is 3 a factor of (104/10)/(o/40)?
False
Let g(m) = 6*m**3 + 8*m**2 + 2*m - 4. Let o(j) = 12*j**3 + 17*j**2 + 3*j - 8. Let z(f) = -5*g(f) + 2*o(f). Does 15 divide z(-2)?
False
Let d(o) = 29*o + 225. Does 12 divide d(-7)?
False
Let q be 38/(-1 + -1)*-8. Suppose 0*f + 2*f + q = 0. Let o = f - -123. Does 10 divide o?
False
Is 9 a factor of ((-23)/(-5))/((-355)/(-50) + -7)?
False
Let r = -61 + 63. Suppose -3*y - 341 = -5*l - 33, 0 = -r*l - y + 121. Is l a multiple of 21?
False
Suppose -5*c - n + 495 = 0, 2*c - 59 - 156 = 3*n. Let k = c + -48. Suppose 14*d - 10*d = k. Does 13 divide d?
True
Suppose 0 = -2*l + t + 1010, l - 2*l = -2*t - 499. Is l a multiple of 39?
True
Let o be (32 - 2)*3/6. Let y = 31 - o. Does 10 divide y?
False
Suppose -110 = -5*p + 30. Suppose -p = -5*c + 202. Let m = c - 35. Is 11 a factor of m?
True
Let j be 3 + -4 - (0 - 1). Suppose j*t = 4*t - 272. Suppose 5*v - 248 + t = 0. Is v a multiple of 11?
False
Let t(u) = -7*u**3 - 5*u**2 + 8*u - 166. Let i(n) = -8*n**3 - 6*n**2 + 9*n - 165. Let v(h) = 6*i(h) - 7*t(h). Is v(0) a multiple of 7?
False
Let s be (-3 - (-145)/(-25)) + 2/(-10). Let h(z) = -3*z - 8. Is h(s) a multiple of 2?
False
Suppose 0 = -3*l + 30 - 180. Let m = 554 - 536. Does 2 divide 12/m - l/6?
False
Suppose -21*m + 16*m = -5, m = -3*c + 1432. Is 9 a factor of c?
True
Let j = -103 - -106. Suppose j*d = -3*d + 774. Does 13 divide d?
False
Let w be 53/(-5) - (-26)/(-65). Let m = 8 + w. Does 18 divide (m - -1)*(-2 - 31)?
False
Suppose 3*k + 4*g = 2*g + 2554, 0 = -g + 2. Is k a multiple of 10?
True
Suppose 10*g = 5*g - p + 159, -2 = 2*p. Suppose -g + 312 = 10*a. Does 14 divide a?
True
Let x = -895 + 1295. Is 5 a factor of x?
True
Suppose 3*p - 3*y - 1137 = 0, -2*p + 783 = 6*y - 3*y. Is 12 a factor of p?
True
Suppose r + 20 = 5*j, 2*r + 19 = 4*j + 3. Is 61 a factor of 123 + -2 + r + -1?
False
Let b = 12 - 6. Let a(w) = w**2 - 6*w + 8. Let v be a(b). Let j(q) = -q**2 + 9*q - 1. Does 7 divide j(v)?
True
Suppose 3*j + 5*l - 147 = 0, -2*l = 3*j - 0*j - 156. Suppose j*p - 56*p = -132. Is p a multiple of 11?
True
Suppose 5*m - 2578 = z, m + 148 = -5*z + 674. Suppose -4*h + h = -m. Suppose 3*b + 28 = h. Is 16 a factor of b?
True
Suppose 4*g - g - 45 = 0. Suppose 2*r = -g + 73. Is 9 a factor of r?
False
Let u = -525 - -1254. Is 9 a factor of u?
True
Is 37 a factor of ((-804)/10)/(-2 - (-171)/90)?
False
Let r(n) = -838*n - 1. Let c be r(-3). Let j(g) = -51*g - 457. Let v be j(-9). Does 17 divide v/12 - c/(-42)?
False
Is 42 a factor of (3*-223)/(234/(-312))?
False
Let v(g) = 3*g + 3. Let t be v(2). Let m = t + 4. Is m a multiple of 2?
False
Let d be (-2 - -1 - -9) + 0. Let o = d + -6. Suppose -15 = -o*k + 11. Does 3 divide k?
False
Let g(u) = 4*u**2 + 8*u - 4. Let d be g(-3). Suppose -n = -5*v + 26, -4*v = 3*n - 9*v + 58. Let c = d - n. Is 12 a factor of c?
True
Is 30*(-36)/300*-45 a multiple of 9?
True
Let k(r) = -24*r + 10. Let b(h) = -2 - 2 + 6 - 5*h. Let u(a) = -11*b(a) + 2*k(a). Is 4 a factor of u(2)?
True
Suppose 0 = 2*k + 4*j - 386, k - 3*j = 168 + 20. Suppose -h + 2*v = -k, 298 = 3*h + 3*v - 266. Does 21 divide h?
True
Does 9 divide (732 - 0)/((-60)/(-80))?
False
Let n(x) = 4*x**2 - 3*x + 2. Let y be n(1). Is (4/8)/(y/612) a multiple of 34?
True
Let x = -10 - -12. Let o(w) = -4 + 11*w**x - 5 + 22 + 13*w + w**3 - 2*w. Is o(-10) even?
False
Let c be (-12)/(-8)*130/(-15). Let k(b) = b**3 + 12*b**2 - 13*b + 5. Let v be k(c). Suppose -a + 207 = 3*o + a, -v*a + 56 = o. Does 19 divide o?
False
Suppose -5*a + 8*a + 99 = 0. Let w = a - -129. Is 8 a factor of w?
True
Let n = 91 + -89. Suppose d = -2*l + 211, 5*l + 4*d = n*d + 530. Is 6 a factor of l?
True
Let w(c) = 6*c + 19. Let x(d) = -d**2 + 8*d + 5. Let r be x(8). Does 13 divide w(r)?
False
Suppose 9*c = 6933 + 2940. Is c a multiple of 11?
False
Let w be (-25 - -1)*(-12)/((-12)/(-4)). Let q = w - 0. Is q a multiple of 16?
True
Suppose -5*v + 67 = h - 97, h = 2*v + 136. Let w = h + 60. Does 17 divide w?
True
Let z be (2/2)/(9/(-18)). Let o = z + 0. Is 28 a factor of (-35)/o*80/25?
True
Suppose 4*n = 2*n + 280. Suppose 0 = 5*u + 5*f - n, -6*u = -3*u + 2*f - 80. Is u a multiple of 12?
True
Suppose 3*f - 2*c - 210 = -4*c, -c = 3. Let q = 100 - f. Does 7 divide q?
True
Suppose 4*p = 2*f + 168, -2*p - 5*f + 16 + 56 = 0. Let k be (-27)/(-6)*(-4)/(-6). Suppose k*u + p - 314 = 0. Does 22 divide u?
False
Let s(x) = x**2 - x - 9. Let h be s(4). Suppose -h*a - 10 = -1. Let f = a + 47. Is f a multiple of 22?
True
Let j = -173 - -311. Does 13 divide -3*1 + (6 - j/(-6))?
True
Let s(m) = -4*m - 7. Let i be s(-3). Suppose 0 = -i*c - 0*q - 2*q + 15, -2*c + 2*q + 20 = 0. Suppose a + 92 = c*a. Is a a multiple of 23?
True
Suppose 0 = -0*a - a + 3. Suppose -5*w = 10, -5 + a = 2*m + 5*w. Is 4 a factor of 19 - (17 + -1)/m?
False
Let f be ((-12744)/(-15))/4 + 4/(-10). Does 27 divide (-5)/((-30)/f)*3?
False
Let w = -31 + -31. Does 18 divide ((w*1)/((-8)/12))/1?
False
Suppose 0 = -2*w + 5*l - 22, 3*w + 2*l = 3*l - 20. Let m be 18*((-68)/w)/2. Suppose 0 = -v + 2*a + 55 - 15, -m = -3*v - 3*a. Does 15 divide v?
False
Suppose -3*c = -304 - 155. Is c a multiple of 23?
False
Let t(i) = 5 - 10*i - 5. Suppose 2*n + 5 = 1. Is t(n) a multiple of 20?
True
Suppose 44 = 4*j - 4. Suppose -2*p + p = -5*d + j, 9 = 3*p. Let o(n) = 4*n**2 - 4*n + 1. Does 25 divide o(d)?
True
Let b(d) = d + 14. Let y be b(-7). Let n(i) be the third derivative of i**6/120 - i**5/12 - i**4/3 + i**3/6 + 4*i**2. Is n(y) a multiple of 11?
False
Let v(x) = x**3 + 3*x**2 - x - 1. Suppose 3*p = 8*p + 15. Let z be v(p). Suppose -44 = -2*t - z*t. Does 11 divide t?
True
Let t(k) = k**2 - 17*k - 18. Let n be t(17). Does 11 divide (-35)/(-3) + n/27?
True
Let v be -2 - (-1 - -3) - 2. Let k(j) = -j**3 - 5*j**2 + 5*j - 3. Let x be k(v). Does 13 divide 3/2*26/x?
True
Suppose -2*o = 19 - 341. Suppose 0 = -4*m - o + 485. Suppose 3*z + 0*z - m = 0. Is z a multiple of 10?
False
Suppose -6*v + 5*v = -5. Suppose 135 = v*j + u, 4*u + 160 = 3*j + 56. Is j a multiple of 20?
False
Suppose -3*o + 15840 = 5*w, 0 = w + 59*o - 