. Suppose -w - a = -8*w. Is 9 a factor of w?
True
Let j(f) = 277*f - 259. Is 44 a factor of j(5)?
False
Let g(f) = -55*f - 26. Is 8 a factor of g(-6)?
True
Let i(s) = 608*s + 156. Is 18 a factor of i(5)?
False
Suppose 4*j = 5*a + 2298, -9*j + 2312 = -5*j + 2*a. Does 19 divide j?
False
Let n(x) be the second derivative of -x**3/2 + x**2/2 + 3*x. Is 3 a factor of n(-2)?
False
Let i(b) = -b**3 + 10*b**2 + 2*b + 3. Let u be i(10). Let n = u + 102. Does 13 divide n?
False
Let l(a) be the first derivative of -a**3/3 + a**2/2 - 78*a + 4. Let h be l(0). Let k = -33 - h. Is 9 a factor of k?
True
Let f = -127 + 124. Does 11 divide f/(1 - (-194)/(-188))?
False
Let i(h) = -101*h**2. Let u be i(1). Let f = -78 - u. Is f a multiple of 10?
False
Let h = -2 - -197. Suppose h = 2*r + 45. Is r a multiple of 13?
False
Let m(v) = 10*v**3 + v**2 + 4. Is m(2) even?
True
Suppose -4*v = 5*w + 12, 4*v + v - 18 = 2*w. Is 4 a factor of (4/v + 1)*(-171)/(-27)?
False
Suppose -6305 = -4*t - 3*q, -6309 = -8*t + 4*t + q. Is 46 a factor of t?
False
Suppose 2*f = -d + 12, d + 7 = f - 5. Let y = 6 - f. Does 25 divide (-84)/y - 9/(-3)?
False
Let f be (-2 - (-27)/6)*2. Let r = -3 + f. Suppose a = -r*g + 12, -2*a - 4*g + 90 = 3*a. Is 5 a factor of a?
False
Let s(r) = r**2 + 5*r - 6. Let a be s(-6). Let c(u) = -u + 3*u**2 + a*u**2 - 4 - 2*u + 0*u. Is c(3) a multiple of 5?
False
Let n(r) = 36*r + 146. Does 8 divide n(22)?
False
Suppose -5*n + 15 = -4*n. Suppose 2*m - 1 = -n. Let h = m + 51. Does 42 divide h?
False
Suppose 5*a + 93 = 2*c, 0 = -0*c - 2*c - 3*a + 53. Suppose -34 = -2*h + 5*f, -27 - c = -3*h + 5*f. Is 10 a factor of h?
False
Is 12 a factor of (-6)/(-39) - (-14960)/104?
True
Let p(f) = -2*f**3 + 50*f**2 + f + 91. Is 32 a factor of p(22)?
False
Let q(z) = -z**2 + 60*z - 181. Does 38 divide q(45)?
True
Suppose 2994 - 822 = 2*j. Is 11 a factor of j?
False
Let a = -54 + 90. Is 2 a factor of a?
True
Suppose -6*p = -175 - 221. Does 3 divide p?
True
Let p(i) = 2*i**2 + 9*i - 7. Let n(x) = x**2 + 9*x - 7. Let c(l) = -3*n(l) + 2*p(l). Let z be c(8). Let b(d) = 28*d**2 - 1. Is b(z) a multiple of 27?
True
Is 65 a factor of (-156)/(54/(-10) - -5 - 0)?
True
Suppose 0*j - 20 = -2*j. Let v = 226 - 226. Suppose v*p - 2*p - j = 0, 4*p = 2*m - 38. Does 3 divide m?
True
Let b(k) = 6 + 1 + 0 + 0 - 5 + 6*k. Suppose 9*t - 15 = 4*t. Is b(t) a multiple of 13?
False
Let u = -124 + 121. Is 27 a factor of 125/(-50)*u/(6/92)?
False
Let g = -26851 + 38590. Is 15 a factor of g/(-172)*16/(-6)?
False
Let m = 105 - 200. Is 2 + 6*m/(-10) a multiple of 8?
False
Suppose 0 = z + 21 + 63. Does 30 divide (z - 3)/((-1)/1)?
False
Is 29 a factor of 4/(-30) + (-58424)/(-1005)?
True
Let u(l) = l**2 + 10. Let m be 3*2*(6 + -7). Does 23 divide u(m)?
True
Let j(x) = -4*x**2 + 16*x - 8. Let n(u) = -7*u**2 + 33*u - 16. Let w(y) = -5*j(y) + 3*n(y). Is 4 a factor of w(16)?
True
Suppose -38*n + 36*n = -364. Does 14 divide n?
True
Suppose 2*q = 10 - 0. Suppose 0*h = -h - q. Let o = 0 - h. Is o a multiple of 5?
True
Suppose 0 = -g - 3, -1784 = -v - 10*g + 5*g. Is v a multiple of 28?
False
Suppose 0 = 3*v - 295 - 266. Let p = v + -15. Is 22 a factor of p?
False
Let d = -2 + 4. Suppose -d*i + 3*i = 64. Is 35 a factor of i?
False
Let n = 752 - 207. Is 16 a factor of n?
False
Let l be (-1)/(3 - (-44)/(-32)*2). Does 18 divide 207 + (1 + 6/l)*-8?
False
Let r(f) = f**3 + 13*f**2 + 8*f - 3. Is 11 a factor of r(-8)?
True
Suppose -3*g + 8*g = 25. Suppose c + 114 = -4*u + 29, -g*c + 81 = -3*u. Is 8 a factor of 4/(-22) - 466/u?
False
Let m(b) = b**3 + 15*b**2 - 15*b + 22. Let o be m(-16). Suppose o*v + 11 = 7*v. Does 2 divide v?
False
Let n(y) = -9*y. Let p(q) = -10*q + 6. Let b(w) = -90*w + 55. Let c(z) = -6*b(z) + 55*p(z). Let j(d) = -3*c(d) + 2*n(d). Is j(5) a multiple of 18?
False
Suppose -h - 1390 = -5*h + 2*l, 3*l - 15 = 0. Is 25 a factor of h?
True
Suppose -2*w = -7*w. Suppose w = g + 1, 3*d = -g - 7 + 144. Is d a multiple of 11?
False
Let b = 10 - 8. Suppose -b*x = -5*x. Suppose x = 5*o + 14 - 149. Does 8 divide o?
False
Let w = 332 - -2206. Does 27 divide w?
True
Let h be (-9)/(45/(-40)) - 0. Suppose -h*z + 13*z - 350 = 0. Is z a multiple of 35?
True
Let t(o) = -23*o + 1. Let j(f) = 12*f. Let a(b) = -7*j(b) - 4*t(b). Let v be a(4). Let d = -8 + v. Is 5 a factor of d?
True
Let g = 1 - 16. Let l = 18 + g. Suppose -2*b - b = -4*q + 329, -b = l. Is q a multiple of 15?
False
Let b(c) = c + 23. Let d be b(-27). Is (2 - -1)/(1/(-208)*d) a multiple of 26?
True
Let m = 12 - 8. Suppose -656 = 5*c + 2*q, 0*c + q + 130 = -c. Does 10 divide ((-2)/3)/(m/c)?
False
Let m = 15 + -6. Suppose -9 = 4*v - 3*j, -v + 2*j = m - 3. Is 56 - (1 - (v + -2)) a multiple of 19?
False
Suppose 11*s + 3259 = 4*p + 14*s, -3*p + 2444 = 2*s. Is 37 a factor of p?
True
Let b be (-4275)/(-36)*(-24)/(-3). Suppose -b = -6*k - 4*k. Is 19 a factor of k?
True
Let m(q) = 3*q - 4. Let a(b) be the third derivative of -b**6/120 - 17*b**5/60 - 5*b**4/8 + 19*b**3/6 + 12*b**2. Let w be a(-16). Does 4 divide m(w)?
False
Let b(a) = -a**3 - 4*a**2 + 4*a. Let q(h) = 2*h**3 + 7*h**2 - 8*h. Let i(n) = -5*b(n) - 2*q(n). Suppose 9 + 1 = -2*g. Is i(g) a multiple of 9?
True
Let x(n) = 5*n + 15. Let w be x(-34). Let k = w - -368. Does 12 divide k?
False
Let v = -30 + 24. Is 31 a factor of (-1476)/v*(-8)/(-12)?
False
Suppose 11*c - 674 = 536. Does 10 divide c?
True
Suppose -24*t + 2129 = -13711. Is 6 a factor of t?
True
Suppose -6*u - 1576 = -5614. Suppose 5*o + 331 = 2*n, 0*n - o + u = 4*n. Is n a multiple of 35?
False
Let o be -3*((-16)/12 + 2). Let w be -3 - (60*2)/o. Does 4 divide 5/(-15) + w/9?
False
Let b = -87 + 98. Let v(z) = z**3 - 11*z**2 + 21*z - 10. Is v(b) a multiple of 26?
False
Suppose 4*x - 1164 = 4*a, 2*x - 5*a = -x + 869. Is x a multiple of 15?
False
Suppose 0 = -0*x + 2*x - 30. Does 20 divide 6/x - 796/(-10)?
True
Suppose -u = 2*b - 2, -u - 5*b = 4*u - 10. Suppose 0 = 5*s - 3*j - 9, -5*s + 5*j = -s - u. Does 3 divide s?
True
Let i = 16 - 16. Suppose i = -4*c + 4*u + 196, 2*u + 186 = 3*c + c. Is c a multiple of 9?
False
Let d(f) = 3*f**2 - 15*f + 38. Is d(17) a multiple of 55?
False
Does 55 divide ((-2046)/44)/((-1)/38) + 4?
False
Let h(c) = -c**3 + 3*c - 3. Let y be h(-3). Let r(i) = -4*i + y*i + 0*i. Does 22 divide r(4)?
True
Suppose 0 = 3*i + f - 55, -37 + 6 = -2*i + 5*f. Does 3 divide i?
True
Suppose 5*j + 2104 = 3*k, -465 = -k - 2*j + 229. Is k a multiple of 40?
False
Suppose 4*n - 3*o + 6 = 0, -3*n + 0*o + 8 = 4*o. Is ((-9)/15 - n) + (-2265)/(-25) a multiple of 21?
False
Let h be 15/(-6)*18/(-15). Suppose -3*t + 4 = -5*t, h*t - 147 = -c. Let a = c + -89. Does 17 divide a?
False
Suppose -18*t + 14*t = -24. Suppose h - t*b - 27 = -5*b, 3*h + 2*b = 91. Is h a multiple of 5?
False
Suppose -3*s - 21 = -3. Does 36 divide (-3038)/(-84) + 1/s?
True
Let b(g) = 573*g**2 + 39*g + 40. Is b(-1) a multiple of 33?
False
Let w(g) = 31*g - 223. Is 2 a factor of w(10)?
False
Let c be (-4)/(-10)*(2 + 8). Suppose j + c*j = 110. Is 5 a factor of j?
False
Is 2 a factor of (164/(-1))/((-36)/90)?
True
Let u(x) = -x**3 + 7*x**2 + 2*x - 2. Let k be u(7). Let h be ((-18)/k)/(1/(-2)). Suppose -m + 50 = -4*t, 2*m + h*t - 110 = 6*t. Is 29 a factor of m?
True
Suppose 7*s = -21 - 532. Suppose -2*n + n = 141. Let j = s - n. Is j a multiple of 18?
False
Does 10 divide -2*(-1)/(-18) + 8281/9?
True
Let y = 15 - -375. Is y a multiple of 30?
True
Let l be (-4532)/(-28) - 4/(-28). Suppose 3*j - 4*m + m - l = 0, 0 = -3*j - 5*m + 122. Is j a multiple of 17?
False
Let w = 6 + -7. Let y be w - 3*(3 + -21). Let r = y - 17. Is r a multiple of 10?
False
Suppose 3*r - 7965 = -4*p, -7*p + 5*p + 3966 = -4*r. Is p a multiple of 13?
True
Let p = -17 + -10. Let b = 111 + p. Is b a multiple of 12?
True
Is 18 a factor of (-240)/(-24)*291/6?
False
Suppose 38 = 16*h + 3*h. Let z = 1 + 3. Suppose m - 40 = -h*v + 8, 0 = z*v + m - 92. Is v a multiple of 11?
True
Suppose -4*s + 34 = 4*o - 10, 3*s = o + 13. Is 19 a factor of 2/s + (-1988)/(-21)?
True
Suppose 8*a + 3*a = 1001. Is a a multiple of 11?
False
Suppose -2*h - 198 = 4*h. Let u be (-2)/(-11) - (-6)/h. Suppose 6*d - 3*d - 168 = u. Does 10 divide d?
False
Let i(q) = 31*q**2 - 10*q - 33. Is 11 a factor of i(-5)?
True
Let f be (9/(-6))/((-6)/24). Let l(b) = -b**2 + 5