, 0 = 2*i - 5*b + 9*b + 220. Let h = 173 - 299. Let m = i - h. Is m a multiple of 8?
False
Let v be ((-16)/(-24))/(2/(-537)). Does 4 divide 4/(-1) + 7 - v?
False
Is 9 + (1721 - 3) - 1 a multiple of 5?
False
Suppose -5*i = 5*f - 45075, -2*i - f + 23160 - 5125 = 0. Does 46 divide i?
False
Let q(b) = 148*b**3 - 5*b**2 - 6*b - 3. Let x be q(-2). Let i = x - -2027. Is 32 a factor of i?
True
Let u(p) = -28*p**2 - 2*p + 2. Let c be u(1). Let o be 16/c + (-64)/(-14). Let w(f) = 5*f**3 - 6*f**2 - 6*f + 4. Does 34 divide w(o)?
True
Let a(s) = s**3 + 49*s**2 - 9*s - 164. Let f be a(-49). Suppose h + 3*t = -18 - 139, -2*h = 2*t + 306. Let g = h + f. Is 44 a factor of g?
False
Suppose 21*z = 37*z - 352. Suppose z*p = -5*p + 4185. Is 73 a factor of p?
False
Let c be (-76)/190 + (-1)/((-5)/3632). Let h = 1149 - c. Is h a multiple of 14?
False
Suppose 0*b = 5*b - 15. Suppose 0 = 4*h + 2*m + 2*m - 28, 5*m = 5*h - 15. Suppose -1222 = -h*x + b*t, -5*t + 5 + 0 = 0. Is x a multiple of 35?
True
Let c = 6302 - 5297. Does 8 divide c?
False
Let m = -2210 + 10350. Is m a multiple of 103?
False
Suppose 598 = 11*u - 271. Suppose u*d - 124 = 75*d. Is d even?
False
Suppose -5365 = 21*o + 1103. Let x = 359 + o. Is x a multiple of 17?
True
Suppose -3*a = -2*f - 424 - 4758, 3*a - 5206 = -4*f. Does 13 divide a?
False
Let v(m) = 253*m - 473. Is 11 a factor of v(31)?
True
Let c(x) = -7 + x**2 - 10 - 7 - x + 0. Let j be c(-8). Suppose 5*a - j - 152 = 0. Is a a multiple of 10?
True
Suppose 0 = 4*r - 7*r + 4*x + 818, 6 = -3*x. Let b = -491 + 305. Let l = b + r. Is 12 a factor of l?
True
Suppose 0 = 2*c + 5*d - 16488, 48*d + 41253 = 5*c + 44*d. Does 113 divide c?
True
Let u(x) = 96*x - 111. Let f(v) = -3*v + 1. Let n(w) = -5*f(w) + u(w). Does 13 divide n(5)?
False
Let j = 15893 - 11340. Is 29 a factor of j?
True
Let f(d) = 14*d - 15. Let g(o) = 2*o**2 - 20*o + 13. Let w be g(9). Let b = 11 + w. Does 12 divide f(b)?
False
Let y(g) = -g**3 + 2*g**2 + 7*g + 12180. Is 28 a factor of y(0)?
True
Let u = 138 - 139. Does 14 divide ((-3)/(u/(-1)))/(108/(-10224))?
False
Let a(t) = -t**2 + 14*t - 25. Let p be a(11). Suppose -4*q = 2*y + 1224, -3*y - y = p. Let j = 435 + q. Is j a multiple of 26?
True
Let z(d) = -2*d - 22. Let a be z(-10). Is 11 a factor of 21/42 + 129*(-1)/a?
False
Let s = 2662 - 2367. Does 5 divide s?
True
Let j(f) = -8*f + 3 - 5 + 36*f. Let i(z) = 9*z - 42. Let v be i(5). Does 18 divide j(v)?
False
Let d = 134 + -123. Is 13 a factor of (78/(-21))/(d/(-539))?
True
Suppose -2*r - 2 = -4*r. Suppose -6*j = -17 - r. Suppose 2*u - 512 = -j*m + 7*u, 0 = -m + u + 172. Does 13 divide m?
False
Let u be 10*(-1 + (-18)/(-15)). Let x be 0/9 + (u - -1). Does 2 divide (x - 4/(-1)) + -4?
False
Suppose 3*m = 4*k + 17168, 75*m = 80*m + 4*k - 28624. Is m a multiple of 33?
False
Let v(r) = -r**3 + 3*r + 6. Let p be v(3). Let l = p - -20. Let i(g) = g**2 + 9*g - 20. Is i(l) a multiple of 29?
True
Suppose -21*m - 3755 = 3595. Is (6 + 3 + -5)*m/(-5) a multiple of 28?
True
Let v(a) = -2*a + 39. Let b be v(18). Suppose 7*h - 4*h - 3*w - 138 = 0, -5*h + b*w + 228 = 0. Is (2/(-5))/((-3)/h) a multiple of 3?
True
Suppose -2*o + 15 = x + o, 0 = 5*x - 4*o - 75. Let m be (8/(-20))/(3/x). Does 22 divide (537/6 + -1)/(m/(-4))?
False
Suppose 4*a + 48916 = -31*x + 35*x, -4*a = 28. Is x a multiple of 194?
True
Let z be (-1681*1)/(9/(6 + -15)). Suppose -95 = -12*q + z. Is q a multiple of 3?
False
Suppose -10*i = -5*i - 20. Suppose 0 = i*t + 3*z - 683, -z + 226 = 3*t - 285. Is t a multiple of 17?
True
Suppose 44*s - 128*s + 60900 = 0. Does 29 divide s?
True
Let z(c) = c**3 + 30*c**2 - 2*c + 48. Let r be z(-30). Suppose 0 = -a + r + 304. Does 15 divide a?
False
Let j(q) = 563*q**2 + 571*q - 3984. Is 20 a factor of j(7)?
True
Let k(r) = 13*r + 52. Let g(a) = 3*a**2 - 17*a - 1. Let d be g(6). Does 9 divide k(d)?
True
Let f(p) = 31*p - 28. Let g(a) = a**3 - 12*a**2 - 11*a - 18. Let o be g(13). Is 22 a factor of f(o)?
True
Suppose -31*l = -105891 - 311215 - 11035. Is l a multiple of 50?
False
Let d be ((-54)/(-36))/((-3)/5)*-550. Suppose -4*p = 3*x - d, -3*p + 109 = 2*x - 809. Is x a multiple of 33?
False
Let u be -4*2/(-4) + 1. Suppose 4*c = 0, 4*g - 42 = 4*c + 46. Suppose -3*h - 7 + g = u*m, -3 = h. Is m a multiple of 8?
True
Suppose -3*u = -3*h - 23 + 8, -5*u - 4*h = 2. Let b(s) = 9 - 7 - 6 - u*s - 5*s**2 - 8*s**3 + s**2. Is b(-3) a multiple of 14?
True
Suppose -3*n = 2*i + i - 33, -3*i - 71 = -5*n. Suppose 0 = q - r - 206, -4 = 2*r - 3*r. Suppose 11*d = n*d - q. Does 35 divide d?
True
Suppose -3*s + 5*q + 7506 = 0, -108*s = -110*s - 3*q + 5042. Is 16 a factor of s?
True
Suppose 8*s = 20662 + 9698. Is 3 a factor of s?
True
Let n(q) = 3*q**2 + 46*q - 27. Let h be n(-16). Suppose 2*s + 5*z - 196 = -7, z - 461 = -h*s. Does 23 divide s?
True
Suppose -16*x = -3*x - 52. Suppose -2 = m - x, 3*y - m - 1009 = 0. Let v = 655 - y. Is v a multiple of 53?
True
Let o(d) = 20251*d**3 - 2*d**2 - 72*d + 73. Is 11 a factor of o(1)?
False
Suppose -3*r = 5*i - 3947, -r + 2*i + 1012 = -322. Does 20 divide r?
False
Suppose -427 + 437 = -10*m. Suppose 7*q + 1 = 2*q - j, -4*j + 15 = q. Is 9 a factor of (q*9)/(m/11)?
True
Let a(b) = 5*b - 185. Let z be a(-14). Does 30 divide 1 - 30/(-9)*z/(-2)?
False
Let v(t) = -9*t - 45. Let s be v(7). Is 12 a factor of (9 - -2 - -1)/((-6)/s)?
True
Suppose 0 = 5*n + 25, -11*n + 15671 = 8*c - 6*n. Is 22 a factor of c?
False
Let m(j) = 29*j**2 + 1103*j - 112. Is 65 a factor of m(-49)?
True
Suppose 69*j - 60*j - 117 = 0. Suppose -j*x = -4378 + 1284. Is 14 a factor of x?
True
Let d(f) = 5*f - 982 + 1081 + 4*f**2 + 4*f. Does 14 divide d(-13)?
True
Let b(q) = q**3 + 4*q - 2*q**3 - 25 - 5*q - 4*q**2 - 1 - 5*q. Does 10 divide b(-8)?
False
Let x be 52/(-24) - -2 - 100/(-24). Suppose 0 = g - 4*k - 76, 3*k - 5*k + x = 0. Is g a multiple of 12?
True
Let c(f) = 2*f**2 + 184*f + 3760. Does 85 divide c(-22)?
True
Let r(x) = 9*x + 91. Let y be r(-8). Does 47 divide 7142/y + (-4)/(-38)?
True
Suppose 14*i + 2053 - 5578 - 6499 = 0. Let c = -2 - -1. Does 8 divide 8/28*c + i/7?
False
Let k(i) = 3*i**2 + 2*i + 1. Let j be k(-1). Suppose -j*t - 7 + 3 = 0. Does 6 divide 19 - -2 - 4 - t?
False
Let l = -1298 - -1296. Let j(f) = 40*f**2 + 7*f - 2. Let o(u) = -41*u**2 - 8*u + 3. Let c(m) = 5*j(m) + 4*o(m). Does 10 divide c(l)?
True
Let b be 23 + -19 + 4/(-2). Let k(h) = 102*h**2 - 2*h - 4. Does 50 divide k(b)?
True
Suppose 10*t + 31*t - 142885 = 0. Is 17 a factor of t?
True
Let g(a) = -5403*a - 866. Is g(-4) a multiple of 41?
True
Suppose -2*q = 2*w + 1386 - 5928, -3*w = 4*q - 9078. Is 2 a factor of q?
False
Suppose 241*g - 17743758 = -76*g. Does 114 divide g?
True
Suppose 32*f - 33*f - 36257 = -2*n, 0 = 4*n - f - 72517. Is 98 a factor of n?
True
Let b = -102 - -92. Let x(h) = h + 8. Let y be x(b). Does 4 divide (0 + (-37)/y)/((-25)/(-50))?
False
Let a = 25712 - 12014. Is 30 a factor of a?
False
Suppose -15*k = 3*m - 16*k - 45276, m + 4*k - 15066 = 0. Is 30 a factor of m?
True
Let l(x) be the third derivative of 0*x + 0 - 11/6*x**3 + 21*x**2 + 3/8*x**4. Is l(4) a multiple of 14?
False
Let i = -8210 - -8985. Is 155 a factor of i?
True
Does 10 divide (100/(-350))/(1/(-86030))?
True
Let y(f) = -f**2 - 5*f + 1. Let d be y(-4). Let r = -1802 - -1853. Suppose r = w - d. Is 8 a factor of w?
True
Let a(u) = 55*u**3 - 6*u**2 - 3*u + 12. Let l be a(2). Suppose 432 = 428*m - l*m. Is m a multiple of 6?
True
Let a be (24/4)/((-3)/8). Let d(x) = -x**3 - 14*x**2 + 16*x + 24. Is d(a) a multiple of 7?
True
Suppose 4*g + n = 4, g - 10 - 6 = -4*n. Suppose -29*u + 4420 - 447 = g. Does 34 divide u?
False
Let d(o) = o**3 - 8*o**2 + 33*o - 11. Let g be d(13). Suppose 4*w - n - 1259 = 0, -4*w = 3*n - 0*n - g. Is w a multiple of 35?
True
Let k be (-4 + -14)/((-12)/(-16)). Does 2 divide (4/k*3)/(2/(-44))?
False
Suppose -9982 = 27*i - 4*i. Let x = i - -641. Does 69 divide x?
True
Suppose 3*h = -h + 36. Suppose 4*n = h*n - 30. Suppose -3*m + 136 = 4*q, -n*m + 245 = -m + 3*q. Is m a multiple of 23?
False
Suppose h = -6 + 8. Does 26 divide (h + -1)/(45/23400)?
True
Is (393/12)/(22117/1700 - 13) a multiple of 25?
True
Suppose 9 = n + 3. Suppose -n*f - 20 = -2*f. Is (-602)/(-5) + 0 + (-3)/f a multiple of 56?
False
Suppose 0*w + 2*w = 8. Let a = -254 - -257. S