06 - 230. Let b = -24 + r. Is 30 a factor of b?
False
Suppose -169679 = -47*l - 48231. Is 8 a factor of l?
True
Does 42 divide 25/75*(-9)/8 - 198585/(-24)?
True
Let m be (-119)/(-34) + (-2452)/8. Let j be ((-21)/(-2))/(2/4). Is 18 a factor of 1/(j/14*(-2)/m)?
False
Suppose 6*l + 110 = 128. Suppose -l*z = 290 - 599. Does 13 divide z?
False
Let l be -7 + 12*(-1448)/16. Let r = -253 - l. Is 15 a factor of r?
True
Suppose 2*t + 2*t = 4*x - 12, -10 = -4*x + 3*t. Let g be (-708)/(-6) + (x - -3). Let o = -72 + g. Is o a multiple of 25?
True
Let l be -2 + (12/(-2))/(-1). Let h be l - 0 - (-194 - -11). Suppose -5*w = -23 - h. Is w a multiple of 6?
True
Let p be 2/(-7) + (-46)/(-14). Let c be (-54)/9*1 - 3. Is -2 - ((c - p) + -2) a multiple of 12?
True
Let a = -64 + 63. Let i be (1/(-3))/a + 154/42. Suppose 0 = -4*b + d + 585, -2*b + i*d + 85 = -197. Does 27 divide b?
False
Let m = -12093 + 30339. Does 53 divide m?
False
Suppose -2*y = -18 - 66. Is 56 - 1 - (44 - y) a multiple of 29?
False
Let a = 138 + -9. Let s = -126 + a. Suppose -5*k - 5*t + 745 = 0, -558 = -4*k - s*t + 40. Does 17 divide k?
False
Let c be (7 - 7) + 7 + -5. Let p(x) = -4*x**2 + 6*x - 8. Let l(a) = 5*a**2 - 7*a + 8. Let h(r) = -2*l(r) - 3*p(r). Does 3 divide h(c)?
False
Let j = -2 + 4. Suppose 2*x - j = 3*p - p, 7 = -3*p - x. Does 19 divide p/1 - (-62 - 3)?
False
Let l be (380/(-1))/(38/(-95)). Let w = l + -356. Does 54 divide w?
True
Suppose -b - u - 8 = -5*u, u - 5 = 0. Let m(z) = z - 22. Let x be m(-32). Let k = b - x. Is 22 a factor of k?
True
Let g = 14898 + 4002. Is 150 a factor of g?
True
Let o(b) = -b**3 - 7*b**2 - 8*b - 3. Let c be o(-7). Suppose -c*k + 372 = -49*k. Does 51 divide k?
False
Suppose 100649 = 4*o - x, -o - 29*x = -33*x - 25181. Is o a multiple of 173?
False
Let v(n) = 2769*n**2 - 18*n - 97. Is v(4) a multiple of 9?
False
Let h = 1588 - -3071. Suppose h = 5*b - 3*k, 3*b - 16*k - 2793 = -15*k. Is 42 a factor of b?
False
Let w(a) = 84*a - 180. Let y(q) = -q - 4. Let r(n) = -w(n) + 48*y(n). Does 76 divide r(-7)?
True
Let k = -252 + 274. Let f(j) = -j**2 + 54*j + 16. Is 30 a factor of f(k)?
True
Let t(b) = b**3 + 92*b**2 + 64*b - 173. Is 42 a factor of t(-91)?
False
Suppose -5*b + 2841 + 14224 = 0. Suppose 0 = v, -5*r - v + 637 + b = 0. Is 54 a factor of r?
True
Let m be 9 + 1 - (-40)/10. Let x = 25 - m. Is 6 a factor of 12 + 1 - 44/x?
False
Let f = 21119 + -9073. Is 58 a factor of f?
False
Let s(i) = 1475*i**3 - 4*i**2 - 16*i + 19. Is 67 a factor of s(1)?
True
Suppose -41*o + 32*o = -5994. Suppose -4*t - o + 1666 = 0. Does 10 divide t?
True
Suppose -22*s - 1 = -23*s + j, s + 7 = -j. Suppose -f - 12 = 6. Is 6 a factor of s + (-9)/(f/152)?
False
Let k be (3/12 - (-1534)/8) + 3. Let t = 273 - k. Is 13 a factor of t?
True
Let q = -17 - -20. Suppose -q*t - 15 = -33. Let w(h) = h**3 - 3*h**2 + 2*h + 4. Is w(t) a multiple of 15?
False
Let f be (-11 - -14)/(1 - 0). Does 4 divide 483/3 + (f - 2)?
False
Suppose -a = -5*b + 4, 0*b - 3*b = a + 4. Suppose -2*p - 432 = -3*k + p, -k - 5*p + 156 = b. Is k a multiple of 34?
False
Let n(u) = 273*u + 2038. Is n(31) a multiple of 98?
False
Let d = -153 + 157. Suppose -2*u + 8*l - 11*l = -393, -l = d*u - 791. Is 9 a factor of u?
True
Suppose 5*j + 5*b = 48560, -13993 = -2*j + b + 5422. Is j a multiple of 13?
False
Let c(q) = -q**3 - 11*q**2 + 15*q + 26. Let z be c(-12). Let a be -31 - 1 - (z - -13). Let t = a - -55. Is t a multiple of 5?
True
Let a(g) = 2*g**3 - 22*g**2 - 23*g - 8. Let n be a(12). Is 3 a factor of ((-10)/n)/((-45)/1890)?
True
Suppose -5*u + 6*n = 9*n - 736, u + 2*n - 143 = 0. Suppose 9*a = -598 - u. Let r = a - -447. Is r a multiple of 13?
True
Let w = -35 - -41. Suppose -4*a + 30 = -w*a. Does 15 divide (-20)/(-6)*(-513)/a?
False
Let t(h) = 1829*h**2 - 332*h + 1324. Is 20 a factor of t(4)?
True
Let j be 92/26 - 204/(-442). Suppose -2*w + 2*k + 2100 = 0, -4*k + 2569 = j*w - 1639. Is w a multiple of 49?
False
Let m = 80 + -83. Does 36 divide 6172/12 - (-2 + (-7)/m)?
False
Suppose -4*k + 2*k - 7*k + 199287 = 0. Is k a multiple of 18?
False
Let b = -82 + 85. Suppose 5*j + 0 = -15, -5*d + 189 = -b*j. Suppose 11*y = 10*y + d. Does 35 divide y?
False
Let f(k) = k**2 + 19*k + 36. Let g(d) = 3*d**2 + 75*d + 144. Let y(b) = 9*f(b) - 2*g(b). Is y(-18) a multiple of 10?
True
Let o = -72 + 128. Let b = o - 56. Suppose b*i + i = 2*k - 143, i + 287 = 4*k. Is 9 a factor of k?
True
Let k(v) = -916*v**3 - 4*v**2 + v + 5. Is k(-2) a multiple of 23?
False
Suppose 0 = 165*a - 2337333 + 704988. Is 64 a factor of a?
False
Let k be 6/(-33) + 5112/44. Let l = k + -116. Suppose -4*m + 104 = 5*z, -z + 5*m = -44 - l. Is 12 a factor of z?
True
Let d(n) = -232*n**3 + 5 + 89*n + 876*n**3 - 93*n + 725*n**3 + 2*n**2. Is d(1) a multiple of 29?
False
Suppose 3*t = -5*l + 5882, -5*t + 9762 = l - 3*l. Does 11 divide t?
False
Suppose -3*s + 3*v + 464 = -2392, v = 5*s - 4744. Is s a multiple of 4?
True
Suppose -12 = -4*i - 0, -3*q + 3*i + 108 = 0. Let z = q - -2. Is z a multiple of 7?
False
Let j(c) = 231*c - 192. Let u be j(26). Is 20 a factor of (-21)/((-189)/u) + -6?
True
Let n = -169 - -160. Let z(w) = -22*w + 103. Does 43 divide z(n)?
True
Suppose 150*y + 706003 = 2632153. Is y a multiple of 10?
False
Let a(l) = 2*l**2 + 2*l - 3. Let t be a(3). Suppose -p = 3*x - 6*p + 24, 0 = 4*x + 5*p - 3. Is x*12/9*t/(-12) a multiple of 7?
True
Let z(b) = 41*b**2 + 4*b + 26. Let u be z(-4). Does 37 divide (u/12)/((-6)/(-36))?
True
Let g = -42 + 402. Suppose 9*v - 13*v + g = 4*s, 0 = -5*s - 4*v + 452. Does 17 divide s?
False
Suppose 11*g - 42 = 4*g. Suppose -5*o + g*o + 122 = 0. Let r = -31 - o. Does 21 divide r?
False
Let b(j) = -j**3 + 35*j**2 + 22*j + 70. Let u be b(36). Let t = u + 2601. Does 19 divide t?
False
Let l = -265 + 374. Suppose -2*i + 227 = -l. Suppose 3*u = -3*u + i. Is u a multiple of 7?
True
Let f(j) = -9*j**2 - j + 5. Let d(r) = -14*r**2 - r + 7. Let x(h) = -5*d(h) + 8*f(h). Let n be x(2). Is 7 a factor of (-218)/(-5) - n/(-15)?
False
Suppose -2*a = -5*v - 1871, -5*v + 21 = -4. Suppose a = 4*r - 720. Does 13 divide r?
False
Let w be (-39 + 5)*1/(-2). Suppose w = 5*z - k, 3*z + 4*k - 23 = 1. Suppose -p = -z*y + 268, -2*y + 3*p + 0*p + 124 = 0. Does 17 divide y?
True
Let m(b) = -b**3 + 66*b**2 - 352*b + 128. Is 23 a factor of m(58)?
True
Let t be ((-84)/70)/((-4)/310). Suppose 42 = 4*u + d - t, 0 = -4*u + 4*d + 160. Let h = 50 - u. Does 2 divide h?
False
Suppose 0 = 4*t - 3*x + 229, 4*x = -5*t + 82 - 345. Let u = t + 50. Is 3396/30 + 1/u a multiple of 15?
False
Let p = 151 - 39. Suppose -124*n + 5952 = -p*n. Does 8 divide n?
True
Suppose 10*o = 2*f + 5*o + 9, -3 = -2*f + o. Suppose -f*c - 1527 = -4*d + 1684, -c = d - 794. Is d/9 + (-8)/(-36) a multiple of 15?
False
Let y be ((-64)/12 + 4)/((-1)/(-3)). Does 10 divide 218 + y + 6 - 8?
False
Let m = -75 + 83. Suppose -m*n = -9*n. Suppose 3*j - 6*i - 97 = -i, -i - 5 = n. Does 4 divide j?
True
Suppose 5*y = -m - 821, -3*y = -8*y - 4*m - 809. Suppose -4*t = -2*u + 322, -u + 0*u = -5*t - 401. Let q = t - y. Is 14 a factor of q?
False
Suppose -87*j = -75*j + 11220. Let m = -611 - j. Is 54 a factor of m?
True
Let o be (66/(-55))/(10/(-75)). Suppose -h + o*l - 11*l = -574, -h + 3*l + 579 = 0. Does 12 divide h?
True
Let l = -3110 - -6532. Does 59 divide l?
True
Suppose 3*m + 654 = -y + 3206, 3*m + 7608 = 3*y. Is 22 a factor of y?
False
Suppose 4*r - 198*r + 20816 + 2270 = 0. Is 16 a factor of r?
False
Let h be 105/14*(-1 + 10/6). Suppose 5*f - 36 = -3*x - 7, 2*x + 3*f - 18 = 0. Suppose 0 = s - 1 - 3, h*w - 1178 = x*s. Is w a multiple of 17?
True
Suppose 3*m + 5*d - 4060 = 0, -4*m + 2692 = -2*d - 2704. Is 36 a factor of m?
False
Suppose -11169 = -32*k + 15*k. Suppose 2*w - 899 = 2*s - 245, -2*w + k = -s. Is w a multiple of 9?
False
Let l be (-104)/13 + -1 + 0. Let u(c) = c**3 + 13*c**2 + 23*c - 11. Is 14 a factor of u(l)?
False
Suppose -3*f = 3*q - 12375, -527*q = -4*f - 524*q + 16493. Is f a multiple of 12?
False
Let h be (14/8)/((-52)/(-51584)). Suppose 187*v = 194*v - h. Does 31 divide v?
True
Let r(x) be the third derivative of -11*x**4/24 + 8*x**3/3 + 646*x**2. Suppose -4*j - 65 = j. Is r(j) a multiple of 21?
False
Suppose -4 = -2*u - 4*x, -7*u + x - 34 = -2*u. Let v(n) be the third derivative of n**6/