 -3*l, 4 = k - 5*l - 5. Is k even?
False
Let z(n) = 2*n**3 - 43*n**2 - 186*n + 37. Is z(29) a multiple of 19?
True
Suppose -95*j = -85*j - 30. Suppose 4*t - 2580 = -4*i, j*t - 25*i - 1933 = -26*i. Does 28 divide t?
True
Suppose 2*g - 8 = 0, 5*g + 1800 = 11*w - 7*w. Suppose 8*b = 89 + w. Is 2 a factor of b?
True
Suppose 5*h = 3*w - 66, 3*h = -5*w + 8*w - 60. Let p(o) = 18 + 11*o + w - 5 - o**2. Does 22 divide p(7)?
False
Let n(g) = 82*g**2 - 8*g + 1. Let r be n(-2). Let y = r + -56. Is 14 a factor of y?
False
Let c = 150 - 74. Let u be (-2)/14 - 4962/(-42). Let f = u - c. Is 21 a factor of f?
True
Let b(p) = -p - p - 4 - p. Let n(r) = -8*r**2 + 29*r - 6. Let k be n(4). Does 10 divide b(k)?
True
Let d(w) = 6*w**2 - 30*w + 6. Let f be d(5). Suppose 5*o - f*c = -3*c + 3216, 0 = -o + 2*c + 646. Is 77 a factor of o?
False
Let f be 2/4 + 21/6 + 1. Suppose 2*r + r + 12 = 0, -3*r - 802 = -f*n. Is 45 a factor of n?
False
Is 7 a factor of (-2)/(-2)*-7 + 238 + 10604?
False
Suppose 0*i = 5*i - 3890. Suppose 3*r + 0*q = -4*q + 477, -5*r = q - i. Let m = -37 + r. Is m a multiple of 34?
False
Suppose -v = -5*c + 360294, c - 21229 = -2*v + 50843. Is 133 a factor of c?
False
Suppose -6*h = -h - 25. Suppose -2*l - 898 = -h*a - 3*l, -8 = 4*l. Does 13 divide ((-2)/5)/((-3)/a)?
False
Suppose 5*u - o - 3*o = 1356, u - 260 = -2*o. Suppose -u = -q + 3*q. Let f = 255 + q. Does 11 divide f?
True
Let v = -6 + 24. Suppose 3*m + 424 = s, -1280 = -3*s - v*m + 19*m. Is s a multiple of 20?
False
Let p = 5609 - 1887. Let k = -2359 + p. Suppose 3*c = -g + 926, -5*g - k = -4*c - 122. Does 44 divide c?
False
Let y = -21694 - -35419. Is y a multiple of 25?
True
Let n(a) be the third derivative of -5*a**4/8 - 13*a**3/6 + 8*a**2. Let t be n(-6). Suppose 3*o - 193 - t = 0. Is 21 a factor of o?
False
Let r(t) = -378*t**3 - 6*t**2 - 14*t - 30. Does 23 divide r(-4)?
False
Let i = 22672 + -3601. Does 13 divide i?
True
Suppose 0 = 2*w + 7*w - 63. Suppose 4*p - 1508 = -3*c, w*p - 3*p = 2*c + 1508. Is p a multiple of 15?
False
Suppose 4*h + 2*p - 19 = 3*h, -12 = -3*p. Suppose -h*q - 684 - 548 = 0. Let i = 7 - q. Is i a multiple of 21?
False
Suppose 14*p - 4997 = 2876 - 2819. Is p a multiple of 3?
False
Let y(i) = i**3 + 6*i**2 + 8*i + 13. Let k be y(-7). Let h = k - -66. Does 9 divide 20/(-130) - 940/h?
True
Let t = 43 - 34. Let k(g) = -2*g**2 - 25*g - 23. Let y be k(-11). Is 267/t - y/15 a multiple of 12?
False
Let g = 83 - -15. Suppose z + g = 3*z. Suppose -b - z = -2*b. Is 25 a factor of b?
False
Let c = -1844 + 7847. Suppose k = -z + 1315, -z - c = -3*k - 2070. Is k a multiple of 32?
True
Let k = -6934 - -23134. Is 30 a factor of k?
True
Let q(u) = u + 4. Let k be q(0). Suppose 0*z = -3*z + 5*r - 882, 5*z = -k*r - 1507. Let x = 508 + z. Is 30 a factor of x?
False
Let m(a) = 5*a**2 + 561*a - 554*a - 19 + 3*a**2. Does 10 divide m(3)?
False
Let p(u) = -228*u - 168. Is 8 a factor of p(-10)?
True
Let n = -27 - -30. Let d be ((-4)/n)/((-6)/9). Let p(v) = 58*v - 8. Does 27 divide p(d)?
True
Suppose -y = -4*r + 4*y + 220, 4 = -y. Suppose -6*i + 215 = -37. Let u = i + r. Does 46 divide u?
True
Let b = 721 - 748. Is 76 a factor of (-5)/((-45)/b)*-348?
False
Suppose -5*h - 4*i = -h - 12, -3*h + 2*i + 14 = 0. Suppose -h*z + t + 1928 = -0*z, 3*z + 2*t = 1457. Is 11 a factor of z?
False
Let j(s) = 49*s - 13. Suppose 0 = -10*k + 4 + 46. Suppose -26 = -k*t + 9. Is j(t) a multiple of 21?
False
Let a(b) = -7*b - 5 - 8 + 1 + 1. Let m be a(-7). Is 154 + 0 + -2 - m/(-19) a multiple of 22?
True
Suppose 144*k = 145*k + 1132. Let i = k + 1622. Is i a multiple of 35?
True
Suppose 4*o - 6493 + 2385 = -5*m, 5*o - 5*m = 5180. Let s = o - 240. Does 22 divide s?
True
Suppose -15516 = -x - 3816. Suppose -x = 8*f - 18*f. Is 39 a factor of f?
True
Suppose 0 = -33*b + 7*b + 6942. Let n = -20 + b. Does 4 divide n?
False
Let g = 197 - -172. Does 3 divide g?
True
Let k = 242 - 40. Let j = k - 70. Is j a multiple of 26?
False
Suppose 0 = -2381*h + 2277*h + 1178112. Is h a multiple of 45?
False
Let w(j) = 55*j - 63. Does 51 divide w(31)?
False
Let c(m) = 4*m**2 + 99*m + 859. Is 13 a factor of c(-12)?
True
Let n(b) = 15 - 4*b + 14*b - b. Let u be n(9). Suppose 92*f + 580 = u*f. Is 15 a factor of f?
False
Let u be (-210)/4*44/(-66). Suppose -6*n + u = n. Suppose 4*p + m + 67 = 410, 4*m = -n*p + 426. Is 18 a factor of p?
False
Let y = 2817 - 1236. Is (-16)/(-3)*y/62 a multiple of 3?
False
Is 4 a factor of 8092/46 - 120/(-1380)?
True
Let a(r) = 98*r - 44. Let g = 106 - 89. Let m be a(g). Suppose 9*k + 389 - m = 0. Is 10 a factor of k?
False
Suppose -3*l = -k + 1705 - 15332, 5*k = -3*l + 13621. Suppose 14*p - l = 778. Is p a multiple of 21?
False
Let x(a) = 2*a - 9. Let u(j) = -j**3 - 9*j**2 - 13*j + 10. Let m be u(-7). Let q(g) = g**2 - 1. Let p(y) = m*q(y) + x(y). Is p(-5) a multiple of 12?
False
Let q = 7180 + -3789. Is q a multiple of 60?
False
Suppose -6*n + 131 = -43. Suppose 121 = w + n. Is w a multiple of 2?
True
Suppose -2*p = 2*p - 5*w - 3563, -5*w + 25 = 0. Let k = p + -417. Is k a multiple of 48?
True
Let y(h) = 3*h - 13. Let q(o) = 2*o**2 - 5*o + 5*o**2 - 3*o**2 - 3*o**2 - 22. Let w be q(9). Is y(w) a multiple of 3?
False
Let g(z) = -2*z**3 + 108*z**2 + 212*z + 171. Does 47 divide g(55)?
True
Let j = -1022 + 1302. Does 8 divide j?
True
Let w = -176 + 188. Suppose -308 = -16*t + w*t. Is 47 a factor of t?
False
Let w(h) = 6*h**3 + 3*h**2 - 2*h + 6. Let f be w(2). Suppose -2*n = -f - 2. Does 3 divide n?
False
Let f(r) = 3*r**2 - 3*r + 26. Let c be f(-9). Suppose 1180 + c = 6*g. Does 20 divide g?
False
Let j = -2897 - -4163. Does 4 divide j?
False
Is 40 a factor of (-270)/90 + 2*1807?
False
Let o be (9/27)/((-1)/15). Does 21 divide 4/(-10)*o - (1 + -95)?
False
Suppose 4*z - 12*z = 0. Suppose z = 4*c + 70 - 10. Does 13 divide (-10)/(-75) - 268/c?
False
Let f = -6 + 10. Suppose -f*q + q = 0. Suppose 3*t - 68 - 67 = q. Is t a multiple of 3?
True
Let o = 8383 - 7915. Is o a multiple of 78?
True
Suppose -20*z + 102992 = -7588. Does 19 divide z?
True
Suppose -3*k = 5*k + k - 72585. Does 5 divide k?
True
Let z = 9751 + -8855. Is z a multiple of 8?
True
Suppose x - 1598 = -16*x. Suppose -x = 4*t - 514. Let v = 173 - t. Is v a multiple of 34?
True
Suppose 4*u = -5*n - 5846, -4*u = -6*u - 5*n - 2918. Does 6 divide (-70)/4*(-5)/((-300)/u)?
False
Let f be 49484/20 - 7/(-2 + 37). Suppose -6358 - f = -8*n. Is n a multiple of 48?
True
Let c be ((-2)/(-3))/(14/(-210)). Suppose 2*l + 3*m = -3*l + 105, 3*l - 67 = -m. Let o = l + c. Does 11 divide o?
False
Let z(k) = 933*k**2 + 74*k - 28. Does 49 divide z(5)?
True
Suppose 777 = -4*s + z, 4*z = s + 34 + 164. Let h be (1/(-1))/(-12 - 1168/(-96)). Let b = h - s. Does 47 divide b?
True
Let b(r) be the first derivative of -3*r**2/2 + 171*r + 66. Is b(0) a multiple of 29?
False
Let v(r) = 4534*r**2 + 35*r + 81. Is v(-3) a multiple of 96?
False
Let a = -12108 + 25198. Is 14 a factor of a?
True
Let t(w) be the second derivative of 0 + 1/2*w**2 + 5/6*w**3 - 3/5*w**5 + 0*w**4 + 4*w. Is 7 a factor of t(-2)?
False
Let q = 46 - 55. Let m be q/3 + (6 - (-3 + 1)). Suppose 664 = m*s + 189. Is s a multiple of 13?
False
Suppose 42*h = -37281 + 100323. Is 5 a factor of h?
False
Let y(s) = s**3 - 18*s**2 - 29*s + 46. Let k = 189 + -169. Is y(k) a multiple of 9?
False
Let v = 16400 - 4777. Does 10 divide v?
False
Suppose 4*v + 1 = 85. Let d(g) = -g**2 + 22*g - 22. Let w be d(v). Let m = w - -64. Is m a multiple of 18?
False
Let k(j) = -5*j + 26. Let t be k(4). Let c(i) = i**3 - 4*i**2 - 12*i + 35. Is 26 a factor of c(t)?
False
Let y(r) = 13*r**2 - 74*r - 224. Does 25 divide y(17)?
True
Let f(r) = -9*r**3 - 7*r - 12*r + 71 + 17*r**2 + 3*r**3 + 5*r**3. Is f(16) a multiple of 23?
True
Suppose 5*k + 6945 = r, -18*r - 3*k = -22*r + 27729. Is r a multiple of 33?
True
Let g = -8801 + 28025. Is 18 a factor of g?
True
Let t(r) = r**2 + 2*r + 9. Let h be t(5). Is (-1234)/(-11) + (-8)/h a multiple of 9?
False
Let r = 48 - 45. Suppose -r*v + 3 = 3*d - v, 5*d + 3*v = 6. Suppose -40 = -d*x + 11. Is x a multiple of 15?
False
Let g be (-2)/(-3)*(-1239)/118. Let c(p) = -15*p + 99. Is 51 a factor of c(g)?
True
Suppose -1487 = -o + f, -4*o - 2*f + 6944 = 1002. Is o a multiple of 19?
False
Suppose -3*m = -2*n - 899, 2*n - 90