Suppose l - 3*a - w = -c*l, 2*l = -5*a + 58. Is l a multiple of 8?
True
Suppose 2*w + 5*f = -18, -5*w + 4*f - 3*f - 18 = 0. Does 16 divide (5/((-25)/(-2)))/(w/(-1120))?
True
Let h = 113 - -1452. Does 34 divide h?
False
Let s(d) = -2*d**3 - 33*d**2 + 18*d + 15. Let f be s(-17). Is 66 + (3/f - (-4)/(-8)) a multiple of 9?
False
Suppose -4*k + 6 = -k. Suppose 0*r - 2*t = 4*r + 8, k*t = -2*r. Let y = 53 + r. Does 26 divide y?
False
Suppose 419 = z + 124. Let g = z - 195. Is 20 a factor of g?
True
Let u(j) = 2*j + 2. Let h be (-21)/(-5) - (-2)/(-10). Let t be h + 2/(-2 - -4). Is 3 a factor of u(t)?
True
Let g = -856 + 1241. Does 29 divide g?
False
Suppose -5*u = 4*g - 5*g + 4, -3*u + 4 = g. Suppose u = 3*t + 2*v - 178, -3*t = 6*v - v - 175. Does 30 divide t?
True
Suppose -2*d = -5 - 1. Let t be (-1 + 3/1 + 3)*-4. Is 4 a factor of (-4)/8*t - d?
False
Let g(d) = 4*d + 8. Let r(v) = -v - 2. Let j(y) = -2*g(y) - 9*r(y). Let k be j(0). Let u(p) = 3*p**3 + 2*p + 1. Is u(k) a multiple of 12?
False
Let j(y) = 2*y - 1. Let l be j(-1). Is 6 a factor of (3/2)/(l/(-72))?
True
Let b(t) = 144*t**2. Let m be b(-1). Let o = m - 101. Does 6 divide o?
False
Suppose 0 = 116*g - 128*g + 14688. Does 12 divide g?
True
Suppose 0 = -4*g - 3*a - 26, 0 = 3*g + g - a + 34. Let h be (-314)/g + 6/8. Suppose -5*d = -30 - h. Does 7 divide d?
True
Let v(q) = q**3 + 8*q**2 - 3*q - 9. Suppose 5*p = -0*o + 4*o - 38, -2*p = 5*o + 2. Is v(p) a multiple of 23?
False
Let a = 468 + -377. Does 62 divide a?
False
Let f be 1*(4/(-4) - -2) - 2. Does 4 divide 0 - f - (-19)/1?
True
Let i(k) = -5*k - 4. Let n(w) = -w**3 + 4*w**2 - 2*w + 1. Let d be n(3). Let t be i(d). Let c = t - -42. Is 5 a factor of c?
False
Suppose -6*m + 280 = -4*m. Does 7 divide m?
True
Let u be 3/1 + 3/(-9)*-3. Suppose -34 - 286 = -u*m. Is 16 a factor of m?
True
Let d(q) = -4*q + 4. Suppose -3*p + p = -30. Suppose 5*z = p, -3*c = z + 4*z. Is 8 a factor of d(c)?
True
Suppose 26*z = 28*z - 728. Is 13 a factor of z?
True
Suppose 6*o - 3*o = -4*r + 31, 0 = -r + o + 13. Let p = r + -10. Let m = p - -3. Is 3 a factor of m?
True
Let h(o) = o**3 - 9*o**2 + 1. Let w be h(9). Suppose -w = 4*p - 49. Does 4 divide p?
True
Let h(w) be the first derivative of w**4/6 - 9*w**2/2 + 3. Let u(y) be the second derivative of h(y). Is 17 a factor of u(5)?
False
Suppose 0 = -2*t + 11*t - 27. Suppose -178 = -t*o - 22. Does 13 divide o?
True
Let r = -442 - -718. Does 20 divide r?
False
Let x(a) = -a**3 + 6*a**2 + 4*a + 6. Suppose 6 = 2*y, 4*y + y - 11 = -2*m. Let w(j) = j**3 + 2*j**2 - 2*j + 1. Let k be w(m). Is x(k) a multiple of 17?
True
Suppose 0 = 4*s - 143 + 43. Is 11 a factor of ((-18)/15)/3 - (-735)/s?
False
Let t(l) = 5*l**2. Let c be t(-3). Let f be 216/c*(-30)/(-4). Is 8 a factor of f - 0 - (-8)/4?
False
Suppose -51*k + 41*k = -19180. Does 14 divide k?
True
Let u be 8/36 - 8/36. Suppose -5*g + 108 + 177 = u. Does 25 divide g?
False
Suppose u - r - 2 = 0, u + 2*r + 1 = 2*u. Suppose u*v = a + 7, -a = 4*a - 2*v - 30. Suppose -n - a - 5 = -4*h, -4*n + h = -8. Is 3 a factor of n?
True
Suppose 4*g + 0*g = 0. Suppose u = 2*q - g*u, 3*u + 7 = -q. Is 2 + q + (-268)/(-4) a multiple of 17?
True
Let r(j) = -j**3 + 20*j**2 - 11*j - 19. Let z be r(20). Let x = -115 - z. Is 44 a factor of x?
False
Let l(x) = 3*x**3 - 8*x**2 + 5*x. Let v(c) = 13*c**3 - 31*c**2 + 21*c. Let s(t) = 9*l(t) - 2*v(t). Let j = 7 + 3. Is 26 a factor of s(j)?
False
Suppose -5*c + 7*c = 4*c. Suppose -p + 198 - 33 = c. Does 55 divide p?
True
Let l(y) = y + 137. Is l(34) a multiple of 19?
True
Is 10 a factor of (-1 - 2)/1*18901/(-123)?
False
Suppose 8*q = 19 + 1149. Suppose -w = 3*n - 146, -q = -2*w + w - n. Is 22 a factor of w?
False
Suppose 4*v - 2*b + 62 = 14, 3*v - 2*b = -36. Is 8/v*(-36)/3 a multiple of 2?
True
Let o(s) = -24*s + 8. Let i be o(-1). Let w = i - -167. Is 26 a factor of w?
False
Let g(f) = f**2 + 10*f + 22. Let h(m) = 22*m**3 + 2*m**2 - 1. Let a be h(-1). Let x = a + 11. Is g(x) a multiple of 16?
False
Let k = -27 - -25. Is k*(-111)/(-12)*-2 a multiple of 3?
False
Let f be (4 - (-18)/(-3))/(1/58). Let l = 144 + f. Does 16 divide l?
False
Let j = -8 - -10. Suppose d + s = 5*s - 2, -j*d = s + 13. Let p = -1 - d. Does 2 divide p?
False
Suppose -4*a + 15 = -5. Suppose 9 = -a*b + 34. Suppose 7*v - 68 = 4*v + 5*i, 2*v - b*i - 52 = 0. Is 6 a factor of v?
False
Suppose -2*d - 4*y + 72 = 0, -3*d + 131 = d - 5*y. Suppose 0 = 3*u - 14 - d. Suppose s - u = 11. Is s a multiple of 16?
False
Let u(z) be the first derivative of z**4 + z**3/3 - z**2 + 4*z + 12. Does 6 divide u(2)?
True
Suppose -27*d + 29*d - 6 = 0. Suppose 8*g + d*g = 2200. Is 25 a factor of g?
True
Let k(n) = -6*n**3 + 2*n**2 - 2*n - 1. Let z be k(2). Let r = z - -89. Does 22 divide r?
True
Let f(i) be the second derivative of i**3/6 + 65*i**2/2 - 8*i. Does 13 divide f(0)?
True
Let f(s) = s**3 - 24*s**2 + 25*s - 22. Let u = 78 - 55. Does 24 divide f(u)?
True
Suppose 2172 + 519 = 5*o - 4*p, -4*p = 2*o - 1054. Is o a multiple of 23?
False
Suppose 5*r + 33 = 4*y, y - 5 = 3*r + 12. Suppose -21 = 3*q - 4*q + 3*d, y*q + 5*d - 97 = 0. Is q a multiple of 5?
False
Suppose -591 = -2*y + 193. Let u be 1 + -1 - y/(-7). Let o = -26 + u. Is o a multiple of 9?
False
Let z be (1/((-4)/104))/2. Let k(w) = -15*w + 6*w + 6*w - 31. Is 2 a factor of k(z)?
True
Let y(n) = n**3 + 5*n**2 - 2*n - 5. Suppose -6 = -3*c - 0. Suppose 0 = -j + 5*j + 2*k + 30, 2*k = c*j. Is y(j) a multiple of 3?
False
Suppose 2*b - 43 = -2*y + 141, 0 = -3*y - 5*b + 274. Suppose -o + 43 + y = -2*v, 0 = 3*o - v - 383. Does 12 divide o?
False
Let b = -1898 + 2391. Does 14 divide b?
False
Let p(m) = 237*m**2 - 5*m + 6. Does 29 divide p(1)?
False
Suppose 0*c + 5 = c. Suppose -5*n - 15 = -c*g, 0*n - 4*n = g - 13. Is g even?
False
Let l = -51 - -485. Does 42 divide l?
False
Suppose -8*t - 432 = t. Let m = 105 + t. Does 15 divide m?
False
Let c(v) = -v**3 - 12*v**2 + 16*v + 13. Let j = 4 - 17. Let d be c(j). Let b = 40 + d. Is b a multiple of 12?
False
Is ((-19)/((-19)/(-2)))/((-2)/344) a multiple of 4?
True
Let k be 14/(-56) + (-234)/(-8). Let b(z) = -z + 1. Let u be b(-4). Let w = u + k. Is 34 a factor of w?
True
Does 4 divide 681*(2 + -1) + -105 + 98?
False
Suppose -690 = -2*q + 5*m + 369, -4*q + 2125 = -3*m. Does 59 divide q?
False
Suppose -3*f = -713 + 41. Does 7 divide f?
True
Suppose -3*d + 6*d = 237. Let v = d - 31. Is v a multiple of 12?
True
Let b = -25 + 19. Let g = b - 9. Does 4 divide (g - 1)/(-8 + 7)?
True
Let o(h) = 6*h**2 + 4*h - 2. Let x be 2/(-6)*(-7 + 13). Does 12 divide o(x)?
False
Suppose -3*k + 6 = -2*r, -1 = 5*r - k + 1. Suppose -127 = -5*x + 4*c, x - 35 = -r*x + 4*c. Is x a multiple of 23?
True
Let v be -6*(-2)/(-4) + 6. Suppose -118 = -v*f + 2*d, 3*f - 161 = 5*d - 37. Does 19 divide f?
True
Let v = 333 - 170. Let g = 308 - v. Is 29 a factor of g?
True
Suppose -4835 = -5*l + 415. Is l a multiple of 70?
True
Suppose 0 = -2*b - 4*b + 18. Suppose -u - 7 = -c - 6*u, b*c + 3*u = 21. Is 2 a factor of c?
False
Suppose -4*u + 4*v + 64 = 0, 0*u + 3*v + 10 = u. Suppose -4*z = u - 3. Let h(m) = -9*m + 9. Does 26 divide h(z)?
False
Let r(d) = -79*d - 545. Does 49 divide r(-10)?
True
Let j be (-53)/(-6) - 4/(-24). Suppose -j + 1 = -2*y. Is (-2)/6*(y + -85) a multiple of 4?
False
Let k be (-4)/14 + (-1692)/(-42). Let b = k + 25. Is b a multiple of 5?
True
Let q = -17 + 138. Is q a multiple of 11?
True
Let p = 11 - 2. Let i be -4 + 0 - (1 - p). Let o = 1 + i. Is o a multiple of 5?
True
Suppose -4*c - 36*i + 33*i = -2064, -2*i + 1547 = 3*c. Is 27 a factor of c?
True
Let f = 664 - -476. Does 76 divide f?
True
Suppose -83076 = -105*b + 62*b. Does 70 divide b?
False
Let h(q) = 3*q**2 - 89*q + 82. Let f(v) = v**2 - 30*v + 27. Let l(r) = 17*f(r) - 6*h(r). Is 20 a factor of l(15)?
False
Suppose -4*o = -2*j, -o = -0*o - 5*j + 18. Suppose o*l + 62 = -0*l. Let r = -19 - l. Is r a multiple of 12?
True
Suppose 4*s + s - 10 = 0. Suppose -5*k - 10 = 0, 4*b + s*k = b + 128. Suppose -5*m = -136 - b. Is 9 a factor of m?
True
Let i(z) = -z**2 - 15*z + 214. Does 23 divide i(0)?
False
Suppose 4*z - 433 = 1679. Is 9 a factor of z?
False
Suppose 0 = 10*m - 8*m - 6. Is 14 a factor of m + (-60 + 1)/(-1)?
False
Let k = -33 + 43. Suppose 6*f - k*f + 172 = 0. Is f a multiple of 