of u(v)?
False
Suppose -24 = 5*g - g. Let d be (-1 + 0)/(g/18). Suppose 2*x - 120 = -d*x. Is 12 a factor of x?
True
Suppose -9 = -2*x - x. Let m(g) = -11*g**2 + 14*g**2 - x*g + 2 + 35*g**2. Is 14 a factor of m(1)?
False
Suppose 17 - 81 = -4*x. Suppose 27 = 3*m + 3*q, 4*m = 3*q - 2*q + x. Does 2 divide m?
False
Suppose -4*b + 1559 = r, 2*r + 208 - 596 = -b. Is 65 a factor of b?
True
Suppose 3*a + 2*t + 21 = 0, -3*a - 2*a + t - 48 = 0. Let k be ((-4)/6)/(a/27). Suppose 3*c + 5*s - 180 = -c, 2*c - 88 = -k*s. Is c a multiple of 9?
False
Let l(i) = -3*i + 2*i + 12*i**2 - 2*i + i**3 + 2*i - 10. Let o be l(-12). Suppose -220 = -3*q - o*q. Is q a multiple of 22?
True
Let a = 53 + -64. Let l = a + 18. Is 7 a factor of l?
True
Let i be 33/(2/(-8)*(-9)/54). Suppose 3*a + 3*a - i = 0. Is a a multiple of 33?
True
Does 26 divide ((-117)/3)/(235/(-110) + 2)?
True
Let s(z) = 5*z + 841. Does 4 divide s(29)?
False
Let w(p) = -p**2 + 3*p + 1. Let k be w(4). Let l be (-697)/k + (-6)/18. Suppose -4*u - v = -l, -5*v - 157 + 6 = -3*u. Is 19 a factor of u?
True
Let o(f) = 472*f + 212. Is o(6) a multiple of 65?
False
Suppose 0 = 4*h + 2*n - 514, h = -3*n - n + 139. Suppose 4*y = 41 + h. Is y a multiple of 6?
True
Let w(t) = -t**3 + 16*t**2 - 9*t + 33. Let n be w(15). Suppose 5*x - 92 = -5*j + n, -126 = -3*j - 2*x. Is j a multiple of 5?
True
Suppose -4*w + 4 + 12 = 0. Suppose -f + 2*f - c = 20, -w*c - 14 = -f. Let m = 50 + f. Does 18 divide m?
True
Let l(m) = 17*m + 22. Does 5 divide l(5)?
False
Let o(v) = 7*v**2 + 10*v + 11. Is o(-6) a multiple of 29?
True
Suppose 4*q - m - 1239 = -0*m, 3*m + 1547 = 5*q. Let o = q + -121. Is 27 a factor of o?
True
Suppose -i = -7*i. Let s(u) = -u**2 - u + 5. Let z be s(i). Suppose -j - 45 = 4*v - 5*v, 4*j - 216 = -z*v. Is 11 a factor of v?
True
Does 9 divide ((1 - -1) + 15)*27/3?
True
Let w be (-4)/(-3)*(-6)/(-4). Let b be (-4 - (-2 + w)) + 7. Suppose -53 = -b*l + l + 5*v, -5*v + 151 = 4*l. Is 17 a factor of l?
True
Is ((-1169)/(-28) - -2) + 6/(-8) a multiple of 11?
False
Let m = 3772 + -1810. Is m a multiple of 20?
False
Let l(q) = 6*q**3 - 2*q. Let h be l(2). Let c = h - 15. Let p = c + 16. Is p a multiple of 15?
True
Let m = 78 + -76. Suppose 5*d = u + 228, -5*d + 5*u = m*u - 224. Is d a multiple of 17?
False
Suppose 17*i + 1270 = 21*i + 2*p, 0 = 2*i + 3*p - 645. Is i a multiple of 21?
True
Does 5 divide 3549/9 + (-3)/27*-6?
True
Suppose 63 = -3*k + 5*r, r = 5*k - 0*r + 127. Let s = k + 14. Does 14 divide 219/4 - 3/s?
False
Suppose 0 = 13*n - 4*n - 36. Is (-4)/(-2)*(-4 + 90/n) a multiple of 37?
True
Let m(s) = s**2 - 16*s - 15. Let t be m(17). Suppose -t*c = -246 + 24. Is c a multiple of 18?
False
Let t be (-3 + 1)*7/2. Let y(f) be the first derivative of f**4/4 + 8*f**3/3 + 5*f**2/2 - 4*f - 19. Is y(t) a multiple of 4?
False
Is 9 a factor of ((-1)/2)/((-3)/3672*2)?
True
Suppose -5*m + 5*p + 202 + 523 = 0, m = 4*p + 148. Suppose 10*z = -m + 2624. Is 50 a factor of z?
False
Let o be ((-64)/176)/(2/(-11)). Is (-17)/34 + 73/o a multiple of 4?
True
Suppose 0 = -5*m + 6330 + 310. Is m a multiple of 16?
True
Let m = -21 + 23. Let x be 2/((-27)/(-12) - m). Let t(r) = -r**3 + 6*r**2 + 21*r - 10. Does 10 divide t(x)?
True
Let a = -6 - -12. Let k = 128 - 123. Suppose r = k*x + 78, -4*x - 312 = -a*r + 2*r. Does 13 divide r?
True
Let n(y) = -4*y + y**2 + 4*y + 2*y - 3*y. Does 2 divide n(4)?
True
Let k(g) = g**2 - 3*g + 2. Let b be k(4). Let n(s) be the third derivative of s**4/4 + 2*s**3/3 + s**2 + 13*s. Is n(b) a multiple of 20?
True
Let m(y) = -26*y + 19. Let i be m(-17). Let q = -277 + i. Does 23 divide q?
True
Let g be (50/3)/((-8)/(-36)). Let s(w) = -12*w + 7. Let m be s(5). Let a = m + g. Does 11 divide a?
True
Let c(s) = s**2 - 9*s + 4. Let p be c(9). Suppose p + 7 = -v. Does 9 divide v - -11 - 52/(-2)?
False
Is 3/24 + 21515/104 a multiple of 69?
True
Suppose -h + 4*h - 9 = 0. Let s(f) = -3*f**3 - 5*f**2 - 3*f + 3. Let b(l) = -4*l**3 - 4*l**2 - 3*l + 2. Let n(a) = h*b(a) - 2*s(a). Is 23 a factor of n(-2)?
True
Does 12 divide 5*750937/825 + (-6)/45?
False
Let p(f) = 14*f**3 + 2*f**2 + 24*f - 50. Does 11 divide p(5)?
True
Let w = -1466 - -2766. Is w a multiple of 10?
True
Let y(n) = 172*n. Let a = -59 - -60. Does 28 divide y(a)?
False
Suppose 0 = -m + 948 + 1643. Is m a multiple of 41?
False
Suppose -4*d - 5 = 3. Let o be 11/2 - (-1)/d. Suppose 4*k - 2*s + 15 - 43 = 0, 0 = o*k - 4*s - 35. Does 7 divide k?
True
Let n = -29 - -80. Is 18 a factor of n?
False
Let p be 0 + (2 + (-24)/9)*-3. Does 2 divide (-2 - -30) + (p - 2)/1?
True
Let j(d) = d**3 + 6*d**2 - 2*d + 3. Suppose 19 = 4*o - 5. Suppose -o*u - 48 = 2*u. Is 2 a factor of j(u)?
False
Suppose 0 = -0*k - 2*k + 6, -q + 209 = -4*k. Suppose -5*m + q + 29 = -5*o, -4*m + 218 = 2*o. Let z = m + -25. Is z a multiple of 10?
False
Suppose -3*v + 9 = -3. Let l(q) = 5*q + 9. Let t be l(v). Let o = 35 - t. Is 6 a factor of o?
True
Let b(t) = 4*t**3 + 23*t**2 + 23*t - 23. Let n(f) = 3*f**3 + 22*f**2 + 23*f - 24. Let g(q) = -4*b(q) + 5*n(q). Is g(19) a multiple of 16?
True
Suppose -6*f = -3*f - 69. Let i = f + -10. Does 3 divide i?
False
Let n be 2/(-3) - 8/6. Let g(f) = -25*f - 2. Let b be g(n). Suppose 5*j - 3*j - b = 0. Is 9 a factor of j?
False
Let f = 1764 + -910. Is 7 a factor of f?
True
Suppose 2*m = -4*t + 855 + 231, 1092 = 4*t - 4*m. Does 34 divide t?
True
Let w be 4/(-3 - (-20)/6). Suppose -3*d + w = 3. Is 19 a factor of (0 + d)/(3/45)?
False
Suppose 792 = -85*w + 96*w. Is 8 a factor of w?
True
Let d(o) = o**2 + 9*o + 17. Let m be d(-4). Is -3*m/(-9) - -11 a multiple of 3?
False
Let q(w) = -4*w - 27. Let c be q(-11). Suppose -c = -2*g + 1. Is g even?
False
Suppose 3*b - 5*m - 49 = 0, 0*m + 4*m + 4 = -2*b. Suppose i - 2*d = 4, i + 5*d - b = -i. Suppose -270 = -i*s - 74. Is 12 a factor of s?
False
Let c(f) = -10*f**3 - 3*f**2 + 4. Let d(h) = h**3 - 5*h**2 - 8*h + 10. Let l be d(6). Does 9 divide c(l)?
True
Suppose -5*d = -p + 109 + 38, 5*p - 804 = 2*d. Is p a multiple of 54?
True
Suppose 6*y - 86 = 22. Let g = y - 16. Suppose -2*k - 4*r + 20 = g*k, -3*k + 5 = -2*r. Is 2 a factor of k?
False
Let m(l) = -4*l**3 - 2*l**2 - 9*l + 30. Is m(-7) a multiple of 17?
False
Suppose -42*t + 73*t - 24428 = 0. Does 19 divide t?
False
Let b be 3 + (-66)/21 - 44/(-14). Suppose -4*m + 3*m + b*d = -92, -5*m + d = -474. Does 5 divide m?
True
Let d(l) = 22*l + 1. Let t be d(-1). Let w = t - -36. Is 8 a factor of w?
False
Let y(m) = 23*m - 15. Let a(g) = 8*g - 5. Let h(z) = z - 7. Let o be h(4). Let i(f) = o*y(f) + 8*a(f). Does 15 divide i(-8)?
True
Suppose -58*n - 32 = -50*n. Let a(b) = 29*b**2 + b. Let z be a(-1). Let o = n + z. Is o a multiple of 8?
True
Let d(f) = -2*f + 1. Let i be d(8). Does 10 divide 147/5 + (-9)/i?
True
Suppose -731 - 294 = 5*z. Let l = z - -374. Does 13 divide l?
True
Let a be (-4)/1 + (2 - 0). Does 10 divide ((-165)/(-15))/(-1*a/20)?
True
Let h be (1 - -2) + 1 + 117. Let c be 16/9 - 2/(-9). Suppose -q = -2*a + c*q + 61, -5*a - 3*q = -h. Does 9 divide a?
False
Suppose 1585 + 110 = 3*v + 4*m, 0 = 4*v + 2*m - 2250. Is 33 a factor of v?
True
Let z(x) = -x**2 - x + 10. Let y(g) = g**2 + 3*g + 2. Let v be y(-2). Suppose v = -0*r + r. Does 3 divide z(r)?
False
Suppose 6 = 2*m, 4*m = -3*i - 2*i + 37. Suppose i*v - 300 = -v. Is 38 a factor of v?
False
Suppose -4*g + 111 = -7*g. Let c(v) = -v**3 + 10*v**2 + 2*v - 4. Let m be c(9). Let p = m + g. Does 16 divide p?
False
Suppose -14*d + 14268 = -2*d. Suppose -d = 14*x - 4619. Is 39 a factor of x?
False
Suppose -72 - 14 = -2*p. Let m be 4 + -1 - (13 - 13). Is p/m + 3/(-9) a multiple of 14?
True
Suppose 2*d + 9*c - 13*c = 318, 3*d + 5*c - 455 = 0. Is 29 a factor of d?
False
Is 10*(-10)/(-150) - 100/(-3) a multiple of 6?
False
Suppose -2 = -2*h + 4. Suppose h*c + 141 = 414. Does 17 divide c?
False
Let a = -57 - -409. Does 8 divide a?
True
Let n = 418 + 78. Does 16 divide n?
True
Let k be -3*(-132)/9 + -4. Does 8 divide (32/k)/((-2)/(-120))?
True
Let h(n) = -3*n + 227. Let t be h(0). Let v = -117 + t. Is 10 a factor of v?
True
Suppose -78 = -2*y - x, y + 3*y - x - 156 = 0. Let u = -28 + y. Is 11 a factor of u?
True
Let x be (-15)/(-45) - 22/3. Let j(q) = q**2 + 14*q - 6. Let l be j(x). Does 13 divide (-2893)/l - (-4)/10?
False
Let c = -1 + 7. Suppo