c - b*l = -209 - 9. Is c a multiple of 14?
False
Let p(b) = -b**3 - 7*b**2 - 8*b + 14. Let o be p(-7). Suppose o*v = 67*v + 15. Suppose -221 = -v*u - 0*u + 2*h, 4*u - 182 = -h. Is 10 a factor of u?
False
Suppose -w = -d + 14878, -d - 3*d + 4 = 0. Is w/(-95) + 3/(-5) a multiple of 13?
True
Let c be (4/20 + -1)*-5. Suppose -c*w - 753 = -3*j, 0*w + 6 = 2*w. Is 15 a factor of j?
True
Let a be 6 - (-7 - (1 + 4))*20. Let y(w) = w - 3. Let g be y(6). Suppose 27 + a = g*t. Does 13 divide t?
True
Let u(d) = 2*d**3 + 8*d**2 - 6*d**2 + 21 - d - 13*d**2. Let m be u(5). Let i = 51 + m. Is 6 a factor of i?
True
Let q = -725 - -1050. Does 25 divide q?
True
Let z(d) = d + 3. Let a be z(11). Suppose 0 = 7*w - 14 - a. Suppose -h - w*y = -63 - 7, -2*y + 296 = 5*h. Is 29 a factor of h?
True
Let d = -241 - -245. Is 3 a factor of 3 + (-374)/(-8) + 1/d?
False
Is 10 a factor of 5*(-2)/(-15) - 538760/(-60)?
True
Let w(d) = 38*d**2 - 2*d - 9. Is 16 a factor of w(5)?
False
Is -8 + (-23 - -19) + 16275 a multiple of 23?
False
Let j be 0 - (-4*2)/1. Let v be 5/40 - ((-463)/8 - -4). Suppose v = 2*z - j. Does 4 divide z?
False
Let s(i) = 790*i. Let q be s(-1). Let f = -455 - q. Is f a multiple of 39?
False
Let h = 265 + -267. Is (-914)/h - (-5 + -4 - -10) a multiple of 12?
True
Suppose -4*y + y + 270 = 0. Suppose 5*d + 304 = r - 0*r, 0 = -r + 4. Let a = y - d. Does 15 divide a?
True
Let o = -58 - -61. Let k = 303 - o. Suppose 0 = -8*j - 2*j + k. Is 25 a factor of j?
False
Suppose 20*z - 16*z - 5*b + 2 = 0, z + 2*b - 6 = 0. Suppose 439 = z*l - 205. Is l a multiple of 14?
True
Let x(z) = 10*z + 2. Let c be x(2). Suppose -114*p = -124*p - 120. Is 35 a factor of 3846/c - p/66?
True
Let g(i) = 7*i + 255. Let v(x) = x**3 - 30*x**2 - 101*x + 36. Let o be v(33). Is 3 a factor of g(o)?
True
Let v be (0 - 147/(-6))*20. Let c = 17 + v. Is c a multiple of 13?
True
Let g be 21/(-14)*(35 - 1). Let f = g + 54. Suppose -2*t = -f*m - 0*t + 355, 0 = m + 2*t - 121. Is m a multiple of 8?
False
Does 2 divide (11/(-2))/((-23)/3082)?
False
Let l(r) = r**3 - 11*r**2 - 12*r + 63. Is l(14) a multiple of 3?
True
Suppose -3*i + t - 3 = -13, -8 = -2*i + t. Let f be -3 + i/2 + 3. Let b = f + 53. Does 9 divide b?
True
Let z = -286 + 272. Let x(q) = -q**3 - 4*q**2 + 30*q - 19. Does 44 divide x(z)?
False
Suppose -3*q + 1 = -2*q - 2*j, 5*q - 5 = 2*j. Let f be -1*q - 188/(-4). Suppose -5*d + 4*x = -3*d - f, 3*x = -4*d + 81. Is d a multiple of 15?
False
Let f(a) = 59*a + 6. Let u(k) = 57*k + 6. Let o(t) = -7*f(t) + 6*u(t). Suppose -21*j = -18*j + 9. Does 9 divide o(j)?
True
Let q(z) be the second derivative of 5*z**2 + 1/3*z**3 + 2/3*z**4 + 0 + 42*z. Is 20 a factor of q(3)?
False
Does 23 divide 1/3*20049 + 10?
True
Is 9 a factor of (773/4)/(-17 - 552/(-32))?
False
Let z(p) = 62*p + 1926. Is z(-18) a multiple of 45?
True
Suppose -2*i = 0, -7*n - 3*i = -2*n + 430. Let p = n - -90. Suppose -g + 107 = -0*g + 5*a, p*g + 2*a - 518 = 0. Is 7 a factor of g?
False
Let j = 368 + -346. Is (20/(-3))/(j/(-1485)) a multiple of 36?
False
Let c(j) = -21*j + 26. Let h be c(-12). Let z = h - -95. Is 26 a factor of z?
False
Let z = -4262 + 6865. Is z a multiple of 10?
False
Suppose -46*g + 338857 = -177677. Does 197 divide g?
True
Let y be 2/6 + (-117218)/(-282). Let a = 834 - y. Is 19 a factor of a?
True
Is 114 a factor of 10*-378*(-228)/90?
True
Suppose 3*s + 53*p = 56*p, -p + 2 = s. Let b(l) = -l**2 + 3*l - 3. Let v be b(2). Is 37 a factor of (12/(v - -3))/(s/46)?
False
Suppose 0 = -5*j - 0*j - 5*l + 104070, -4*j - 5*l = -83256. Does 38 divide j?
False
Suppose 6*c - 35 = -47. Let v(w) = 16*w**2 - w - 1. Is 9 a factor of v(c)?
False
Suppose 18160 = 11*z - 30460. Does 20 divide z?
True
Suppose 0 = 6*z - 3*z - 60. Suppose -24 = -2*c - z. Suppose -s = 4*v - 2*s - 61, 3*v - 42 = c*s. Is 5 a factor of v?
False
Suppose 4*r - 5011 = d, 0 = -3*r - 5*d + 207 + 3580. Suppose -2*g = 5*m - 4*g - r, m - 248 = -g. Is m a multiple of 8?
False
Suppose 8*k = 9*k + 64. Let r = 112 - k. Suppose 2*n - r = -0*n - 2*h, -5*h - 296 = -3*n. Does 23 divide n?
True
Let d be (-5 - -3) + (-24)/(-3). Let j = 149 + -57. Suppose -3*n + j = 2*k, 2*k + n - 108 = d*n. Is k a multiple of 20?
False
Let j be 0*(-2)/(-10) + 29. Let o = 34 - j. Suppose -135 = -5*b - 3*q, -54 = b - 3*b - o*q. Is 7 a factor of b?
False
Let y(m) = -91*m + 156. Let j be y(-14). Suppose -j - 4618 = -7*w. Is 32 a factor of w?
True
Let h be -1 + (-12)/(-9) - 1484/(-21). Let z = 108 - h. Does 4 divide z?
False
Let q(v) = 24*v**2 - 8*v + 10. Let o(m) = -23*m**2 + 6*m - 8. Let r(i) = -3*o(i) - 2*q(i). Is 29 a factor of r(-4)?
True
Let c(a) = -72*a + 24. Let v be c(-7). Suppose -4*i - 4*r + v = -2*i, 3*i - 794 = -5*r. Does 9 divide 6/10 - i/(-20)?
False
Let q = 457 + 2645. Suppose -c - 5*h = -1517, -3*c + q + 1489 = 5*h. Is 17 a factor of c?
False
Let t(w) = 658*w**2 + 46*w - 155. Is 29 a factor of t(3)?
False
Let h = 36 - 35. Is (h + 10/(-30))/(2/327) a multiple of 2?
False
Let v(d) be the first derivative of -10*d**2 + 10*d - 1/4*d**4 + 10 - 4*d**3. Does 5 divide v(-10)?
True
Let f be 0 - (-588 + -1)*(-34)/17. Let y = f + 2390. Suppose 0 = -4*h - 2*h + y. Is 34 a factor of h?
False
Let p(b) be the second derivative of b**5/20 - 11*b**4/12 + 19*b**3/6 + 4*b**2 - 28*b. Is 35 a factor of p(11)?
False
Let x be (30/18)/((-4)/(-12)). Suppose -75 - 34 = -a - 4*b, -x*b = -5*a + 470. Is 2 a factor of a?
False
Let b = -7 + 11. Suppose -3*l - 5 = -b*l. Suppose 37 = l*j - 38. Is j a multiple of 12?
False
Is (-51)/(306/(-12)) + 1099/1 a multiple of 5?
False
Let t(o) be the second derivative of o**6/120 - o**5/60 - 5*o**4/24 - 2*o**3/3 - 32*o. Let n(b) be the second derivative of t(b). Is n(3) a multiple of 10?
False
Let s(v) be the second derivative of v**4/6 + 2*v**3/3 + v**2 - v. Suppose 2*u = 5*a + 3 + 34, -3*u = -4*a - 38. Is 32 a factor of s(a)?
True
Let v(a) = -a**2 - 15*a - 17. Let o be v(-13). Suppose -2*q - 8 = 0, o*d - 10*d = 4*q - 160. Does 11 divide d?
True
Let s(v) = 14*v**3 + 7*v**2 - 11*v - 10. Let o(f) = -9*f**3 - 3*f**2 + 6*f + 5. Let d(a) = -5*o(a) - 3*s(a). Is 17 a factor of d(4)?
False
Let k be -2 + (0 - -1 - -6). Suppose -3 = k*p - 1463. Is p a multiple of 11?
False
Suppose 4*c - 14*c - 170 = 0. Let h = c + 11. Does 7 divide (28/4)/((-2)/h + 0)?
True
Let m(p) = -3*p - 12. Let a(x) = -39*x**2 - 4*x - 5. Let f be a(-1). Does 54 divide m(f)?
True
Let z(n) = -1 + 6*n + n - 14 - 14. Let y be z(5). Suppose 5*r + y*s - 2*s = 142, 4*r = -s + 107. Does 13 divide r?
True
Let x(a) = 337*a**3 - 2*a**2 + a. Let u be (-8 + 0)/2 - (-4 + -1). Is x(u) a multiple of 14?
True
Let o be 17/(-3)*3*19. Let f = o - -755. Is f a multiple of 72?
True
Suppose -5*l - 2*m + 13095 = 0, -4*l + 5*m = 4*m - 10476. Suppose 15*b - l = 12*b. Is b a multiple of 12?
False
Suppose c + 2*t = 7 + 7, 2*c + 7 = 3*t. Suppose c = -39*x + 41*x. Suppose -x*v + 5*v = 279. Does 31 divide v?
True
Suppose 4*n - 37278 = 266*v - 263*v, -v = 3*n - 27978. Does 111 divide n?
True
Let b = -128 - -131. Let y = -49 + b. Let g = 126 + y. Does 10 divide g?
True
Let v be ((-78)/(-8) + -10)/(2/(-2152)). Suppose n - r = -45 + v, -4*r = 16. Is n a multiple of 44?
True
Suppose -3*b - 16 - 8 = 3*g, 4*g + 11 = 3*b. Is 31 a factor of b*((-62)/(-12))/(4/(-8))?
True
Suppose -8*u + 23*u - 6529 = 8171. Does 140 divide u?
True
Suppose j - 31944 = -4*h, j - 26*h = -27*h + 31926. Is j a multiple of 20?
True
Let z be (10120/(-15))/(-8)*3. Let q = z + -134. Is q a multiple of 7?
True
Let n(c) = 4*c - 18. Let f be n(6). Suppose 0 = f*t - 9*t + 678. Suppose 82 = 2*p - t. Is 22 a factor of p?
True
Suppose -134*p + 5*l = -131*p - 100747, 0 = 5*p + 3*l - 167889. Does 369 divide p?
True
Let c = 4283 - 4243. Does 5 divide c?
True
Suppose 4*c + 46 = 5*c. Let k be (-4)/2 + -14 + 19. Suppose -4*q + z = -c, z + 2*z - 42 = -k*q. Is q a multiple of 3?
True
Suppose 5*m + 17 = -2*r, -2*m + 7*m - r + 14 = 0. Let n be 5 + m + 76 - -1*3. Suppose 0 = -3*c + 285 - n. Does 13 divide c?
False
Is 52 a factor of 1099 + 12/12*(-35)/5?
True
Suppose 2*z + 4*a = z - 9, z = 4*a + 15. Suppose 5*v - b - 1635 = v, 2*b + 1230 = z*v. Is 24 a factor of v?
True
Let x(c) = -c**2 - 11*c + 12. Let u be x(-11). Suppose -u*n = -5*n. Is 17 a factor of (-1 - n)/(3/(-51))?
True
Suppose 8573 = 18*u 