904. Is r a multiple of 15?
True
Suppose 5*w = 23 - 28. Is 24 a factor of (-74340)/(-189)*-6*w/5?
False
Let a(g) = -5*g**3 - 3*g**2 - 1. Let c(w) = w**3 - w**2 + 1. Let t(d) = a(d) + 4*c(d). Let u be t(-7). Suppose 0 = -v + 4, -l + v + 137 = u*v. Does 19 divide l?
False
Suppose 0 = -10*j + 39 + 1. Suppose -3*v - 2*a + 472 = 0, -a = -4*v + j*a + 637. Is 22 a factor of v?
False
Suppose -4 + 9 = v. Let f(t) = 3*t**2 + 2*t - 10. Let r be f(v). Suppose 4*u = p + 72, r + 16 = 5*u - p. Is 12 a factor of u?
False
Let b = -4184 + 8692. Suppose 0 = 4*g - q - b, 12*q = -g + 11*q + 1122. Does 59 divide g?
False
Let g(r) = -17*r**3 + 9*r**3 + 7*r**3 + 0*r**2 - 7*r + 2*r**3 - 8*r**2. Let i(b) = 5*b - 1. Let n be i(2). Is g(n) a multiple of 9?
True
Suppose 4*y + 3*h - 103199 = 35477, 4*h = -4*y + 138684. Is y a multiple of 83?
False
Suppose 5*q - 4*x = 60, -q + 3*x + 36 = 2*q. Suppose 10*a - q = 8*a. Is 3 a factor of 189/a + (-15)/(-10)?
True
Let m be (-1 + -2)*(-6 + 5). Suppose -7*i + m*i = 5*j - 3139, -2*i + 3*j = -1575. Is i a multiple of 14?
False
Suppose -883972 = 19*f - 293*f - 172*f. Does 3 divide f?
False
Suppose -531*r - 1771388 + 10071449 = 0. Does 15 divide r?
False
Suppose -4184 = -22*f - 576. Is 23 a factor of f?
False
Let s(r) = 2*r**3 - 3*r**2 + 7*r - 5. Let k be s(1). Does 8 divide (5 + (2 - 1))*(23 + k)?
True
Let r(v) = 6*v**3 - 45*v**2 - 22*v - 10. Is r(14) a multiple of 66?
True
Let v(y) = 244*y**2 - 123*y + 32. Does 18 divide v(-4)?
True
Suppose 4*m - 9*m + 3*u = -27379, -m = 4*u - 5462. Is m a multiple of 7?
True
Suppose 13*n - 27 - 25 = 0. Suppose n*q - 190 = 2*p, 2*q - 37 = 4*p + 67. Does 8 divide q?
False
Let j(w) = 7*w**3 - 21*w**2 - 96*w + 1066. Is j(11) a multiple of 18?
True
Let h be (-8)/2 + (22 - 20). Is (-2 + 10)/(h*2/(-56)) a multiple of 23?
False
Let x(r) = 3318*r + 2583. Is x(5) a multiple of 83?
True
Let q = 82959 - 52029. Does 96 divide q?
False
Suppose -9*d = -20*d + 1067. Let k = d + 162. Is k a multiple of 12?
False
Let f = -581 + 584. Suppose -5*q - s + 6674 - 1910 = 0, -4*s - 2863 = -f*q. Does 11 divide q?
False
Suppose 0 = 7*o - 271 - 436. Let k = o - 197. Let q = k + 140. Is 11 a factor of q?
True
Let d = -8201 - -15783. Does 17 divide d?
True
Does 22 divide 4*(-8)/(-10)*((-121079)/(-14) + -6)?
False
Let x(z) be the first derivative of -9*z**2 - 113*z - 225. Is x(-28) a multiple of 23?
True
Suppose 4743*p = 4723*p + 107360. Is p a multiple of 37?
False
Is 2 a factor of 48/(-84) + (-549716)/(-280) + (-3)/(-10)?
False
Let y(s) = -21*s + 37. Let a(n) = -n + 4. Let v(t) = 5*a(t) - y(t). Is v(10) a multiple of 11?
True
Suppose 0 = -u - 3*u + 7672. Suppose -5*z = 4*r - u + 558, 4*r - 1384 = z. Is 9 a factor of 0 - -2 - (-2)/(6/r)?
True
Does 11 divide ((-2264)/(-24) - -1)*30?
True
Suppose -23*m + 35042 + 27058 = 0. Does 3 divide m?
True
Let w = 3817 - 245. Does 38 divide w?
True
Suppose -73*l + 70*l + 15 = 0. Let w(x) = 3*x**2 + 38*x - 161. Is w(l) a multiple of 52?
True
Let y = 9837 + -9393. Is y a multiple of 12?
True
Suppose -5*y + 44 = 5*i + 4, -2*y + 8 = 0. Suppose 5*v - 2*z = -4, -4*v + 4*z = 2*z + i. Suppose 270 = 5*q - v*q. Is 18 a factor of q?
True
Suppose -7 + 75 = 17*b. Suppose -4*d + i = -4056, 7*i = 8*i + b. Is 50 a factor of d?
False
Let h(b) = -7*b**3 - 6*b**2 - 15*b - 36. Let n be h(-4). Let f = -84 + n. Is f a multiple of 61?
False
Let m = -298 + 302. Is 29 a factor of 14/7 + -310*(m + -7)?
False
Suppose -25 = -43*z + 38*z. Suppose 0 = -5*x - z*w + w + 4493, 2*x + 2*w - 1798 = 0. Is x a multiple of 16?
False
Let k(b) = 7*b - 70. Let w be k(8). Let c = 38 - w. Does 6 divide c?
False
Suppose -5*l = 3*d - 727, 2*d + d = 2*l + 734. Let k be (-11 + 2795/(-182))*2 + 4/(-14). Let i = k + d. Is i a multiple of 15?
False
Suppose 0 = -2*h + 2*w + 2*w + 7180, 14360 = 4*h - 2*w. Is h a multiple of 10?
True
Suppose 3*d + 1110 = 8*d. Suppose d = 129*j - 127*j. Is 38 a factor of j?
False
Let m(o) = -97*o + 33. Let i(p) = -2*p**3 + 9*p**2 - 4*p - 5. Let q be i(4). Let d be m(q). Is 13 a factor of (0 - -3)*d*(-5)/(-30)?
False
Suppose 7*z = 2*z - 4*l + 122, 3*z - l = 63. Suppose -10*j - 13200 = -z*j. Suppose -10*t = -j + 260. Is 42 a factor of t?
True
Let s be 11/(-33) + 2734/(-6). Let o be -3 - s/(16/4). Suppose -2*h + o = 85. Is h a multiple of 5?
False
Let u be (26/52)/((-1)/(-8520)). Suppose -u = 8*i - 13*i. Suppose 4*o + n = 5*n + i, o - 237 = -5*n. Is 31 a factor of o?
True
Does 12 divide (3 + (-264)/(-8))/((-3)/(-86))?
True
Is 12 a factor of 51084/(-15)*((-114)/9 - 4)?
True
Suppose 20*h = 35*h - 10*h. Suppose h = -26*d + 19*d + 2618. Is d a multiple of 30?
False
Let b = 88 - 84. Suppose 8*f + 7 = 11*f + 4*n, -b*f = -2*n - 24. Suppose 0*w - f*w + 175 = 0. Is w a multiple of 5?
True
Suppose -5*v = -2*v + 36. Let q be (-11606)/18 + 8/(-36). Is q/v - 2*3/8 a multiple of 11?
False
Let d(z) = -70*z - 99. Suppose 6 - 18 = 4*p + 5*f, -4*p - 20 = 3*f. Does 17 divide d(p)?
False
Suppose 0 = -9*s + 91197 + 5157. Does 101 divide s?
True
Let l(w) = -2*w + 1217. Let r be l(0). Suppose 5*m = -4*g + r, 136 = g - 2*m - 178. Suppose 4*q - i - 226 - g = 0, -2*q + 276 = -5*i. Is q a multiple of 30?
False
Is 22 a factor of -1*(-12622)/8 + (-6)/8?
False
Suppose 44*g - 309429 + 285019 = 534786. Is g a multiple of 179?
True
Let y(r) = -4*r**2 + 20*r + 16. Let w be y(12). Let a = w + 755. Is a a multiple of 25?
False
Let p = 6248 - 996. Is 54 a factor of p?
False
Is (1837212/48)/13 - (-1)/(-4) a multiple of 74?
False
Let a be (5/(-2))/((-2)/12). Suppose 0 = -14*w + 5*w + 351. Let p = w - a. Is 4 a factor of p?
True
Suppose -3*g + 1090 = 3*w - 404, 2*w - 996 = -3*g. Let h = -294 + w. Is 17 a factor of h?
True
Let g(w) = 3735*w**2 + 58*w + 3. Is g(2) a multiple of 15?
False
Suppose t - 833 = 5*v, 5*t - 5*v = 2*t + 2459. Is 53 a factor of t?
False
Let b = 25 + -21. Suppose -b*y = -3*y + 8. Does 12 divide 58 + 0 - (-4 - y)?
False
Let j(t) = -9*t + 26. Let n be j(4). Let c(x) = x**2 + 8*x - 22. Let q be c(n). Is q/(-4)*(-7 - -3) - -72 a multiple of 12?
False
Let k(n) = 14*n + 6. Let q be k(11). Let h = q - 81. Is h a multiple of 9?
False
Suppose 0 = 26*s + 103408 - 538024. Is s a multiple of 199?
True
Let q(y) = -y**3 + 9 - 4*y**2 + 0*y**3 - 2 + 5*y. Let s be (10/(-14))/(11/77). Does 7 divide q(s)?
True
Let s = 7693 + 2795. Does 24 divide s?
True
Suppose 6758 - 486 = -7*d. Is 17 a factor of 17/(d/(-296) - 3)?
True
Let h(y) = -35*y**2 + 2*y + 7. Let o(u) be the second derivative of 17*u**4/12 - u**3/6 - 3*u**2/2 - 21*u. Let d(t) = 2*h(t) + 5*o(t). Is d(1) a multiple of 2?
False
Let h = -168 - -165. Let c(y) = -y**3 + 5*y**2 - 3*y - 1. Is c(h) a multiple of 8?
True
Suppose 1559020 = 150*z - 2327645 + 896415. Is 10 a factor of z?
False
Suppose -3*u + 2*p = 228, p = -5*u - 3*p - 402. Let t = u - -141. Suppose -d + 117 = -t. Is d a multiple of 36?
True
Suppose -57887 - 338729 - 112584 = -134*l. Is 152 a factor of l?
True
Let y be 8/(-5)*1*(3 + -13). Suppose y*q = 5*q + 11. Does 27 divide 4 - q - -2 - -130?
True
Let h be (-2)/(-7) + 108/14. Let x(b) be the first derivative of b**4/4 - 5*b**3/3 - 16*b - 2992. Is x(h) a multiple of 29?
False
Suppose 0 = -5*i + 4*r + 12620, i = 5*r - 955 + 3500. Does 45 divide i?
True
Suppose 2*h = -4*w - 174, -h + 12 = 3*h. Let d = -42 - w. Suppose -2*l + 4*g + 562 = -0*g, d*l - 867 = -2*g. Does 10 divide l?
False
Let s = 4865 - 4071. Does 13 divide s?
False
Let z = -11 + 4. Let o = z + 4. Let t(x) = -11*x + 7. Is t(o) a multiple of 10?
True
Let w(u) = 195*u + 5472. Is w(104) a multiple of 58?
True
Is (-22 + -5744)/(2 - 161/70) a multiple of 62?
True
Let s(c) = 393*c**2 - 14*c + 31. Is s(2) a multiple of 19?
False
Let l(c) = -c - 8. Let n be l(-11). Let r(g) = -25*g + 86. Is r(n) a multiple of 3?
False
Let p = -267 - -283. Suppose p*f + 432 = 20*f. Does 18 divide f?
True
Suppose 2*k + 11 = 15. Suppose -5*q + 6*u - 5*u + 814 = 0, -k*q - u + 327 = 0. Does 37 divide q?
False
Let j(h) = -8*h**2 + 6*h - 1. Let i be j(1). Let g(u) = -47*u - 84. Is 6 a factor of g(i)?
False
Let h(z) = 37*z**2 + 58*z - 152. Is 147 a factor of h(-17)?
True
Let i be ((-108)/14)/((-39)/2002). Let y = i - 270. Is 3 a factor of y?
True
Let p = -930 - -986. Suppose -p*i = -30*i - 2236. Is 4 a factor of i?
False
Let r(y) = 5*y**2 - 3*y + 4. Let p 