factor of v?
True
Does 78 divide 4214/3 + (-118)/177?
True
Suppose -5*k - 765 + 2590 = 0. Suppose k = 3*a - 2*t, 2*a = 4*t + t + 236. Is 19 a factor of a?
False
Suppose t - 13 = -9. Is (t/3)/((-2)/(-30)) a multiple of 10?
True
Suppose 6*k + 555 = 5985. Is k a multiple of 76?
False
Let y(l) = -328*l - 2. Let f be y(-1). Let v = f + -230. Does 48 divide v?
True
Let h(m) = 185*m + 94. Is 9 a factor of h(2)?
False
Let k(q) = -q**3 + 15*q**2 - 15*q + 18. Let r be k(14). Suppose 3 = 2*n - 3*n, -4*o - r*n = -288. Does 15 divide o?
True
Let o(a) = a**2 + 9*a - 9. Let x be o(-9). Let z be (-4)/12 + (-39)/x. Suppose 0*g = z*g - 48. Does 4 divide g?
True
Let v be -1 - (2/6 - (-3955)/15). Let a = v + 385. Is 20 a factor of a?
True
Let n be 10 + -1 + -5 + 3 + -4. Suppose -4 = -n*x + 32. Is 12 a factor of x?
True
Let u(v) = -7*v + 49. Let b be u(7). Suppose b = 3*m - 5*h - 705 + 129, 5*m + 3*h = 960. Does 12 divide m?
True
Let t(z) = -z**2 - 15*z + 42. Let j be t(-17). Is 11 a factor of 2/j - (-1155)/20?
False
Let d(c) = 89*c**3 - c**2. Suppose 0 = -5*a - 0 + 5. Let n be d(a). Suppose -2*r = -2*q + 12 + n, -5*q = -4*r - 254. Is q a multiple of 18?
True
Does 15 divide 32/3 + -11 - 1756/(-3)?
True
Suppose a - 3*a = -4*m + 32, 4*m = 3*a + 36. Let p = -3 + m. Suppose p*o - 26 = -5*x + 26, x = 4*o - 100. Is 12 a factor of o?
True
Let w = 434 - -993. Does 11 divide w?
False
Let r = 20 - 6. Suppose 6*u = 7*u + 7. Is 21 a factor of ((-30)/u)/(2/r)?
False
Let x(w) = -2*w**3 - 7*w**2 + 8*w + 9. Let y(n) = n**2 - 7*n - 6. Let o be y(7). Let j be x(o). Suppose -j = -2*l - l. Does 15 divide l?
False
Let x(t) = -t**3 + 15*t**2 - 57*t + 10. Let b be x(7). Let o = -46 - -129. Suppose -7 + o = 2*g + b*u, 2*g + 5*u = 76. Is 19 a factor of g?
True
Suppose -5*i - 433 - 307 = -4*l, 0 = -4*l - i + 716. Suppose 2*x - 2*q - 122 = 0, -4*q - l = -5*x + 123. Does 6 divide x?
False
Let g(v) = v**3 + 12*v**2 + 11*v - 3. Let q be g(-11). Let m = 4 + q. Is (-10)/m*(7 + -8) a multiple of 3?
False
Let r = -352 - -804. Suppose 4*f + 4 = -4, 5*f = 2*b - r. Is b a multiple of 38?
False
Suppose 0 = -4*m + i - 2*i + 27, 0 = -4*i - 4. Suppose 253 = m*l - 363. Does 22 divide l?
True
Suppose 2*i + 3*b - 815 = 8*b, 5*i - 2000 = 5*b. Let k = i + -269. Does 36 divide k?
False
Suppose 10 = 2*a + 3*a. Suppose -3*k - 15 = -0*d - 2*d, -5*d - 29 = a*k. Let g = 11 + k. Does 4 divide g?
True
Suppose 17 + 19 = 6*a. Does 4 divide a?
False
Let d be ((-1)/(-2))/(2/192). Suppose 0 = o + o - d. Is 4 a factor of o?
True
Suppose -z + 8 = 11. Let j be (-1)/z + (-15)/(-9). Suppose -7*m + 285 = -j*m. Is 13 a factor of m?
False
Is (8*(-4)/5)/(47/(-235)) a multiple of 3?
False
Let b = -58 - -37. Let y = b + 64. Does 17 divide y?
False
Let j(c) = 2*c - 11. Let q be j(7). Suppose 5*x - 33 = -r, -2*r = q*r + x - 213. Does 8 divide r?
False
Let f(b) = b**2 - 11*b - 9. Let s be f(8). Let o(d) = 3*d**2 - 7*d + 4. Let v be o(6). Let l = v - s. Is 26 a factor of l?
False
Does 11 divide (-11 - (-6 - 6))*(1 + 185)?
False
Let d = 896 + -572. Suppose 0 = -m + 10*m - d. Does 12 divide m?
True
Suppose -42*o + 51099 = -5265. Does 67 divide o?
False
Let o be -3 - (4/4 + -165). Let p = -107 + o. Is p a multiple of 9?
True
Let l = 56 + -153. Let g = l - -139. Does 9 divide g?
False
Let w(b) = -106*b + 2858. Is 20 a factor of w(0)?
False
Let o(y) = -y**3 + 6*y**2 - 2*y + 5. Let r be o(5). Let q be (1 - (-3)/(-6))*r. Suppose q = m - 16. Is 13 a factor of m?
True
Let k be (-12)/27*9/(-2). Suppose g - k*g + 14 = 0. Let s(f) = f**2 - 11*f - 18. Does 12 divide s(g)?
True
Let s = -100 + 91. Is 4/(-1) - (-149 + s) a multiple of 14?
True
Let d = 1095 - 764. Is 10 a factor of d?
False
Suppose 254*s - 250*s - 2544 = 0. Is 12 a factor of s?
True
Let a(w) = 277*w + 3. Is 14 a factor of a(1)?
True
Let k(d) = 30*d - 186. Does 46 divide k(10)?
False
Suppose 0*f + f = 5*n + 20, -2*f - n - 4 = 0. Suppose -3*y - y + 48 = 4*l, -3*y - 6 = f. Suppose 18 - l = q. Is q a multiple of 4?
True
Suppose 23 = 5*n - 2*c, -4*n - 2 = -2*c - 22. Suppose 241 - 25 = n*t. Suppose 8*d - 5*d - t = 0. Is 12 a factor of d?
True
Let p(j) = -7*j - 3. Let z be p(5). Let h = -27 - z. Let k(a) = a**2 - 6*a - 15. Is 17 a factor of k(h)?
False
Let g = 11 - 11. Suppose g = 4*q - 9*q + 435. Let v = q - 42. Is v a multiple of 9?
True
Let r(o) = o**2 + 10*o + 29. Is 10 a factor of r(-19)?
True
Let z = -48 + 50. Is 25 a factor of 170*((-8)/z + 5)?
False
Let k = 73 + -72. Is 16 a factor of k + ((-45)/(-2))/((-3)/(-6))?
False
Suppose 50*p - 44*p = 1848. Is p a multiple of 28?
True
Suppose 5*q = -5*y + 7 + 38, -q = 4*y - 12. Suppose a = -a + q. Suppose -u + 2*u = 3*n - 94, 2*n - 86 = -a*u. Is n a multiple of 11?
True
Suppose 4*c = 79 - 27. Let b(j) = -j**3 + 13*j**2 + j - 9. Let r be b(c). Is 12 a factor of (-1)/r - 193/(-4)?
True
Let n(o) = 2266*o**2 - 22*o + 24. Is n(1) a multiple of 12?
True
Suppose 4*x - 26 = 3*x - d, -x + 5*d + 20 = 0. Is 11 a factor of 53/5 + 10/x?
True
Suppose 41 = 3*r - q - 52, -3*r = 4*q - 93. Suppose -r + 0 = -j. Suppose -i - 2*x = -55, i - 3*x - 29 = j. Is 18 a factor of i?
False
Suppose 0 = 5*h + 2*g - 2530, 74*h - g = 72*h + 1012. Does 28 divide h?
False
Let i(y) = y**3 + 8*y**2 + 2*y + 16. Let v be i(-8). Suppose 0 = -3*m - 2*u - 41 + 285, v = 3*m - 5*u - 209. Does 13 divide m?
True
Suppose 4*i = 2 - 18. Let r = i + 8. Suppose r*y = 37 + 15. Is y a multiple of 3?
False
Let y = -669 + 957. Suppose 14*k - 11*k - y = 0. Is 32 a factor of k?
True
Suppose 3*v + 2*h = 1017, -5*v - 4*h = -v - 1356. Suppose 201 = 3*f - v. Is 36 a factor of f?
True
Suppose 2*h = -2*p + 106, 2*p - 3*p + 57 = -h. Is p a multiple of 11?
True
Suppose 2*v - 7*v + 5 = 0. Let g be v*(-2 - -2 - -3). Suppose 0 = -g*x + 14 + 58. Does 8 divide x?
True
Suppose -2*v - 492 = 4*j, 0 = -0*v + 4*v + 2*j + 984. Does 31 divide 3/(12/v*(-2)/4)?
False
Let c(a) = -a**2 + 7*a - 4. Does 5 divide c(5)?
False
Suppose 6*w - w = 2300. Is 10 a factor of w?
True
Let n be (-22)/(-77) - (-2)/(-7). Suppose 120 = -n*h + 3*h. Suppose -h = -4*x - x. Does 4 divide x?
True
Let l(t) = 19*t + 1. Let d be l(2). Let s = -28 + d. Is s a multiple of 7?
False
Let a = -46 + 70. Is 5 a factor of 19 + -4*(-6)/a?
True
Let b(l) = 2*l**2 + 0*l**2 + 4*l**2 + 0*l**2 - 4*l. Is b(3) a multiple of 7?
True
Suppose 0 = -8*c + 3*c + 4*y + 2380, 2*y = 0. Is c a multiple of 68?
True
Suppose 0 = -b - 5, -5*i - 13*b + 160 = -18*b. Does 6 divide i?
False
Let h(z) = z**2 - 15*z + 6. Let b be h(9). Is (-5024)/b - 1/(-3) a multiple of 15?
True
Suppose -46 = -2*w + 4*i, 2*i - 15 = -w + 6*i. Suppose -w*d + 16 = -27*d. Suppose -2*j = -d*s + 366, -s + 4*s + 3*j = 252. Is 20 a factor of s?
False
Suppose 14 = i - 3*i. Let j(r) be the first derivative of -4*r**2 - 16*r - 4. Is 10 a factor of j(i)?
True
Let l(s) = -19*s - s**2 - 3 - 1 + 0*s**2 + 0. Let d be l(-19). Is -28*(-4 - 13/d) a multiple of 16?
False
Suppose -4*o = -2*d - 5120, 4515 = 5*o + d - 1885. Is 4 a factor of o?
True
Let a(o) = o**3 + 3*o**2 + 2*o - 2. Let w be a(-2). Let s be w - (62/2)/(-1). Suppose -n + 4 = -s. Does 8 divide n?
False
Let q be (36/8)/((-3)/(-16)). Suppose -3*b + q = 5*t, 4*t - 9 = t. Suppose -5*k = b*a - 45, 8*a = 4*a - 2*k + 46. Is 10 a factor of a?
True
Let z = -61 + -11. Does 4 divide (2/1)/((-12)/z)?
True
Suppose 2 = -j - 4*n, -j + 3*n + 3 = 2*n. Is 40 a factor of (-4 + 4 + 20)*20/j?
True
Let n = 233 - 111. Suppose 0 = -w + 2*w + 2*a - n, -a = -w + 131. Is w a multiple of 28?
False
Let m(p) = p**3 + 6*p**2 - 6*p - 6. Let v(a) = a - 5. Let y be v(0). Is 7 a factor of m(y)?
True
Let f = 238 - 174. Is f a multiple of 8?
True
Suppose 58*v - 44*v - 2240 = 0. Is v a multiple of 16?
True
Let c = -67 + 247. Suppose 5*b + 0 = c. Let k = -3 + b. Is k a multiple of 7?
False
Let h(d) = -20*d**2 - 14*d + 6 - 17*d**2 + 36*d**2. Let k be (-50)/(-4)*(-16)/20. Does 12 divide h(k)?
False
Suppose -3*p - 4*h = -2362, 39 = -5*p - 5*h + 3969. Does 46 divide p?
True
Let k be (-6)/12 + 50*(-14)/(-8). Let h = k + -71. Does 16 divide h?
True
Suppose 0 = -3*n + 47 + 88. Suppose 2*j + 46 = 4*o, 5*j - 2*o + 68 + 15 = 0. Let k = n + j. Does 11 divide k?
False
Let n(v) = -4*v - 4. Let d be n(-5). Suppose 2*t = -5*f + d + 19, t + 41 = 4*f. Is f a multiple of 9?
True
Let p be 6/4*8/3. Suppose v + p = 