False
Let r be (4/(-7) - 2)*(-28)/6. Does 2 divide 30*(r/24 - (0 + -6))?
False
Let x(c) = -5*c**3 - 22*c**2 + 22*c + 36. Is x(-12) a multiple of 57?
True
Suppose 14*h - 8*h = 0. Suppose h = -11*r + 9*r + 6. Suppose a + 199 = 2*l, l + 5*a - 377 = -r*l. Does 7 divide l?
True
Let k(l) = -452*l - 1396. Does 10 divide k(-13)?
True
Let l = 3531 + 12318. Does 71 divide l?
False
Let k(o) = 13 + 10 - 3 + 13*o - 42*o. Let n be k(-5). Suppose 0 = 3*a - n + 45. Is a a multiple of 4?
True
Is 18 a factor of 1/(12161273/(-1216129) - -10)?
False
Let p be (-4)/20 + 1052/10. Let u = 51 - p. Let o = 118 + u. Is o a multiple of 8?
True
Let k(y) = -y**2 - y. Let o(v) = v + 13. Let z(u) = -2*k(u) + o(u). Does 48 divide z(-12)?
False
Suppose -f - 67 = 19*k - 14*k, 0 = 2*f - 3*k + 160. Is (-87)/(-7) + 33/f - -3 even?
False
Let n(v) = -v**2 + 7*v - 5. Let x be n(4). Suppose 17 + x = 6*i. Suppose 3*w - 88 = -i*r - 2*w, r + 5*w - 7 = 0. Is r a multiple of 9?
True
Suppose -2*m - 20 + 44 = 0. Suppose 0 = -4*h + m + 24. Suppose h*r - 115 = 20. Is 5 a factor of r?
True
Suppose -4*a + 0*a = 4, -5*p + 4*a = -32554. Does 17 divide p?
False
Let l(c) = -1567*c**2 + 21*c + 18. Let h(f) = -392*f**2 + 5*f + 4. Let i(x) = -9*h(x) + 2*l(x). Is 22 a factor of i(1)?
False
Suppose -2*i - 7*l + 696 = -9*l, 2*i - 696 = -5*l. Suppose -i = -g + 972. Is 24 a factor of g?
True
Let j be -1 + (20/(-12))/(5/(-6)). Let i be 0 + (-32)/2 + 2 + j. Let c(m) = -m**3 - 12*m**2 + 12*m + 1. Is 2 a factor of c(i)?
True
Let v = -20 + 20. Let i be 5/(-10)*6 - 133*-4. Suppose v*c = 5*c + u - i, -5*c + 4*u + 509 = 0. Is 19 a factor of c?
False
Is 5 a factor of (-4)/6 - (-13 - (-996)/(-36))?
True
Let r = -13306 + 20218. Is 9 a factor of r?
True
Let u(g) = -2*g**2 - 15*g - 5. Suppose -6*p = -4*p + 14. Let l be u(p). Suppose a - 30 = l. Is a a multiple of 5?
False
Let r(s) = 2*s**2 - 6*s - 6. Suppose 2*y - 1 = -n + 12, -y = -n + 4. Let m be (-182)/(-70) + 4/10 - n. Is r(m) a multiple of 25?
True
Let m = 3034 - 1840. Is 2*-2 + m/(-8)*-4 a multiple of 47?
False
Let v = 3436 + -6528. Let u = 4394 + v. Does 14 divide u?
True
Let c = 43 + -34. Suppose -2*j = -c + 33. Let n(k) = k**3 + 11*k**2 - 17*k + 4. Is n(j) a multiple of 30?
False
Suppose 8*h = 198 - 54. Let m(x) = 18*x**2 + 21 - 43 - 3*x**3 + 2*x**3 + 10*x - 4. Is 22 a factor of m(h)?
True
Let q = -70 + 72. Suppose -q = -5*p - 7. Let c(r) = -109*r**3 - r**2 - 3*r - 2. Is c(p) a multiple of 12?
False
Let w(c) = 35*c**2 + 115*c - 1368. Is w(12) a multiple of 12?
True
Suppose -57*f + 48*f + 135 = 0. Is 3/2*(65 - f) a multiple of 21?
False
Suppose -7*q + 195500 = 45*q - 6*q. Does 10 divide q?
True
Let z = 442 + -1729. Let x = z + 1887. Does 25 divide x?
True
Suppose 0 = -4*h - 541 - 775. Let o = -201 - h. Is o a multiple of 11?
False
Let p be (74 - -1)*-10*18/(-75). Let j = p + -52. Is j a multiple of 32?
True
Let s be (-7)/(-19 + -2) + 844/6. Suppose 145*l - s*l - 424 = 0. Does 53 divide l?
True
Let h(s) = s + 10. Let z be h(6). Suppose 0 = z*d - 21*d - 15. Is 12 a factor of 36 + (-3 - 2) + d?
False
Let x(p) = -p**2 - 16*p + 62. Let s be x(-19). Suppose 0 = -3*g - s*g + 408. Is g a multiple of 51?
True
Let g(y) = -y**3 + 11*y**2 + 2*y - 20. Suppose 5*a = -x + 5, 5*a + 26 = 2*x + 1. Is 25 a factor of g(x)?
True
Suppose 0 = -5*y - 0*d - 2*d + 208, 0 = -5*y + 3*d + 188. Suppose 4*a + 4*n = y, -4*a - 5*n + 35 = -2*n. Suppose i = -a*i + 312. Does 13 divide i?
True
Suppose 5*j + 318 = n + n, 153 = n - 4*j. Let t = n + 308. Does 53 divide t?
True
Let k be (15/(-6))/((-6)/(-4) + -2). Suppose 0 = 2*x - k*h - 77, x + 3*x - 141 = -3*h. Suppose -37*o + x*o + 36 = 0. Is 9 a factor of o?
True
Let a(j) = 2*j**2 + 10*j + 1. Let f = -842 - -831. Does 13 divide a(f)?
False
Let l = 145 - 151. Let m(s) = 3*s**2 - 13*s - 88. Is m(l) even?
True
Suppose -4*o - 333 = -r, 3*r - 934 = -o - 0*o. Suppose 0 = 5*f - w - 303, 5*f - r = 3*w - 7*w. Let l = f + -50. Is l even?
False
Is (477/30*12)/((-18)/(-405)) a multiple of 53?
True
Let k be 105/12 + (-6)/8 + -4. Suppose 0 = 5*v + 5*s - 5555, k*v + 2*s = 3*s + 4454. Is 53 a factor of v?
True
Is ((-5)/(-25) - 5848/(-10))/((-2)/(-4)) a multiple of 13?
True
Let z = 14155 - 8081. Does 84 divide z?
False
Suppose -2*g - 21 = 4*u - 3*u, -3*g - u = 29. Let k = g + 12. Suppose k*o - o = 60. Is 10 a factor of o?
True
Let g(h) = -6*h - 63. Let v be g(-11). Suppose -v*r = k - 1432, -10*r = -13*r - 2*k + 1433. Is 53 a factor of r?
True
Let d(p) = 2*p**2 - 42*p - 138. Let j be d(-3). Suppose 788 = 3*y - 5*l, 3*y + 9*l - j*l - 756 = 0. Is y a multiple of 6?
False
Suppose 6*g + 24 = 6. Let y(p) = 3*p**3 + 2*p**2 + p + 4. Let u be y(g). Let n = 118 + u. Is n a multiple of 14?
True
Let s be 2/(-4) + 95/38. Suppose -9 = s*c - 19. Is (c - 0) + -1 - -36 a multiple of 8?
True
Suppose 3*x + 2*x - 2*z - 502 = 0, 3*x - 322 = -4*z. Suppose -100 = -5*b - 5*k, 0*b + x = 5*b + 4*k. Is 7 a factor of b?
False
Suppose 24*h + 2*k - 2168 = 21*h, h - 3*k = 708. Suppose 6*c - 978 = h. Is c a multiple of 6?
False
Let g(l) = 9*l + 156. Let n be g(-15). Let r be -2 + (330/1)/3. Suppose -3*h = 3*j - r, 133 = 3*h + 2*j + n. Is 8 a factor of h?
True
Suppose 6*q + 965 = -631. Let n = q - -531. Suppose 0 = -k - 53 + n. Does 16 divide k?
False
Suppose -3*o + 40*o - 217856 = 5*o. Is o a multiple of 92?
True
Suppose 3*z - 5*z + 668 = 0. Is 36 a factor of z/7 + 2/7?
False
Let r be -22*(1/2)/(-1). Suppose r*g = -2*g + 1066. Is g a multiple of 20?
False
Let c be -6 + 3 + 3 + 0. Suppose 2 = -2*t - 2*f, c*t + 4*t + f + 1 = 0. Suppose 6*h + t*h = 546. Is h a multiple of 13?
True
Suppose 4*y = 5*g + 22, -9 = -y + 2*g - 2. Suppose 0*a = -2*a - 4*o + 870, 0 = -y*a - o + 1325. Is a a multiple of 43?
False
Is 5071500/120 - (-35)/10 a multiple of 43?
False
Suppose -28*n + 4584 = -16*n. Suppose 0 = -4*p - v + 681, -v + 43 = -2*p + n. Is p a multiple of 5?
True
Does 205 divide 660/110*(-3)/6*-5783?
False
Let c(r) be the third derivative of -r**6/120 - r**5/15 + 7*r**4/12 + r**3 + 7*r**2. Let h be c(-6). Is 398/5 - h/15 a multiple of 20?
True
Suppose 53 - 117 = -d. Suppose -p = -211 - d. Is p a multiple of 25?
True
Suppose 2*o + 10*i = 7*i + 2720, -5*o + 5*i + 6775 = 0. Does 32 divide o?
False
Suppose 107*o - 108*o + 2*y = -4292, -5*o = 2*y - 21412. Is 84 a factor of o?
True
Suppose -5*l - 5*o + o = 569, -4*l = -o + 451. Let k = l - -185. Is 13 a factor of k?
False
Let v = 6401 - 3810. Does 27 divide v?
False
Suppose 2*n + 3*a - 3501 = 1709, 2615 = n + 4*a. Is n a multiple of 113?
True
Let t(f) = -357*f - 4. Let u be t(-1). Let m = -197 + u. Is 27 a factor of m?
False
Suppose 0 = f + d + 22 - 479, 4*f + 5*d = 1833. Suppose -3*w - 2*w + f = 3*r, r - 156 = -3*w. Is r a multiple of 9?
True
Suppose -a - 2*s - s = 7, 2*a - s = 7. Does 75 divide 2/6 - -4839*a/18?
False
Suppose 0 = 8*q + q - 18. Suppose 0 = 3*a + 2*n - 1335 - 32, 5*a - q*n - 2289 = 0. Is a a multiple of 24?
False
Suppose -8 = 24*j - 56. Suppose 0 = j*w - 2*k - 1382, 0*k - 3*k = -w + 701. Is 7 a factor of w?
True
Let z(w) be the second derivative of w**5/20 + 13*w**4/12 + w**3 - 7*w**2 - 130*w. Is z(-11) a multiple of 9?
True
Suppose -2*h = 5*f - 34028, h - 15216 + 1604 = -2*f. Is f a multiple of 14?
True
Suppose -2*h = 3*q + 630 - 231, -2*h + 6 = 0. Let b = -48 - q. Is 42 a factor of (4 - (11 - 4)) + b?
True
Let k be 10 + (6 - (0 + 13)). Suppose k*b = 6*b + 5*w - 543, -701 = -4*b + w. Does 8 divide b?
True
Suppose 2*b - 22*z = -23*z + 19593, 4*b + 5*z = 39189. Does 95 divide b?
False
Suppose -165*q + 33198 = -125*q - 72402. Does 88 divide q?
True
Suppose p - 59277 = -5*q, 5*q - 304*p - 59265 = -309*p. Is 13 a factor of q?
True
Suppose h - 2*k - 5536 = 0, 24*h - 27628 = 19*h - 3*k. Is h a multiple of 72?
False
Let x(j) = j**3 + 8*j**2 + 5*j - 12. Let i be x(-7). Suppose -3*g + 3*v + 1296 = 0, -2*v + 858 = i*g + 2*v. Suppose -156 = 5*o - g. Is o a multiple of 12?
False
Let u(g) = 6*g - 26. Let c be u(13). Suppose 4*q + 3*o - c = 203, 5*q = 3*o + 339. Is q a multiple of 66?
True
Suppose -2660 = 16*z + 8716. Let c = 1052 + z. Is c a multiple of 11?
True
Suppose 14*v - 10417 - 16449 = 0. Let f = v - 857. Is 18 a factor of f?
True
Let s(n) = -17*n + 348. Let z be s(-56). Suppose -83*k + 82*k = -z. Does 52 divide k?
True
Let r = -4537 - -26401. Doe