2*i = -113*i + 2. Does 126 divide j?
False
Suppose -2*f + 319 = -x, -2*f - 3*x + 5*x = -318. Is 8 a factor of f?
True
Suppose 3*o + 3*u - 3 = 0, u = -3*o - 0 + 5. Suppose o*a + 145 = t - 118, -1255 = -5*t - 5*a. Is t a multiple of 17?
True
Let q be 81/(-7) + (-9)/((-63)/4). Let u = 236 + q. Is 9 a factor of u?
True
Let k(c) = -3*c**3 - 6*c**2 - 18*c - 13. Let b be k(-1). Suppose 4*w - 615 - 2305 = 0. Suppose -o + 132 = 2*t, -5*o + 6*t - b*t = -w. Is o a multiple of 17?
False
Let l = -104 - -92. Let o = l + 16. Is o even?
True
Suppose -4*m = 3*v - 13, 3*v = -2*m + 19 - 2. Suppose 3*a + 68 = -4*r + v*a, 0 = 4*a. Let f = r - -106. Is f a multiple of 5?
False
Suppose -3*a + 4*x = -a + 518, -506 = 2*a + 2*x. Let v = -162 - a. Is 5 a factor of v?
False
Let t(r) = r**2 - 21*r. Let s be t(21). Is 2 a factor of (45/(-6) + s)*-4?
True
Suppose -5*l - 313952 = 6*l - 27*l. Is l a multiple of 10?
False
Suppose -3*f = -3*y + 5*y, -y = 3*f. Let i be (y - 1)*(-3)/((-12)/(-112)). Suppose -50 = -3*k + i. Is 13 a factor of k?
True
Suppose -6*c + j + 107 = -c, 0 = -5*c + 3*j + 101. Suppose -4*m + c = -26. Suppose 8*n + 456 = m*n. Does 32 divide n?
False
Suppose j + 2*d = 4 - 10, 3*d + 6 = -3*j. Let o be ((-4)/8)/(j/(-8)). Suppose 0 = 2*i - o*v - 132, 4*i + 3*v - 2*v = 239. Does 33 divide i?
False
Let x(t) = t**3 + 25*t**2 + 54*t + 4. Let i be x(-20). Suppose 4*y + j = 4*j + i, 5*y - 1132 = -2*j. Does 8 divide y?
False
Let a(r) = 2*r**2 - 15*r - 19. Suppose -33*v - 105 = 126. Is 8 a factor of a(v)?
True
Suppose -u + 6*i - 4*i = -677, u - i = 674. Is u a multiple of 8?
False
Suppose 9054 = -7*u + 45622. Is 18 a factor of u/10 - 34/85?
True
Let n(b) = 336*b**2 - b - 3. Let g be n(-3). Suppose g = -4*u - 0*u. Is (1/(-2))/(7/u) a multiple of 15?
False
Let g(t) = -547*t - 752. Is 110 a factor of g(-6)?
True
Suppose -3733 - 4682 = -4*n + 14025. Does 124 divide n?
False
Let y = -180 - -100. Is 4 a factor of 362/5 - y/(-200)?
True
Let o be 385/(-28) + 2/(-8). Let g be (-24)/(-7) - 8/o. Suppose g*z - 70 = 2*z. Is z a multiple of 5?
True
Let k be -11*(-2 - (3 - 6)). Let q = -8 - k. Suppose 0 = -6*r + r + q*g + 290, -5*r - 3*g = -260. Is r a multiple of 16?
False
Let n(r) = 3*r**2 + 54*r - 89. Is 74 a factor of n(-39)?
True
Let l be 3 + (-1 - 2)*-11. Suppose -32 - l = 4*h. Let x = 65 + h. Does 12 divide x?
True
Suppose 21*s + 14*s = -19*s + 392472. Is s a multiple of 79?
True
Let u(j) = -11*j**2 - 25*j - 20. Let s(z) = 5*z**2 + 12*z + 10. Let y(t) = -9*s(t) - 4*u(t). Let b be y(-8). Does 9 divide 8/b*1350/(-12)?
True
Suppose 35*f - 67018 = 32*f + k, 3*k = -5*f + 111706. Is 20 a factor of f?
True
Let p(q) be the third derivative of -q**5/30 + q**4/8 + 5*q**3/6 - 16*q**2. Let v be p(-3). Let c = v + 165. Is c a multiple of 11?
True
Let a(r) = 7*r**2 + 46*r + 1701. Does 26 divide a(-47)?
True
Let m = 182 + 2689. Is m a multiple of 87?
True
Suppose 4*i - 3*o = -5*o + 40, 5*i = -2*o + 51. Suppose -i*s + 738 = -318. Is 8 a factor of s?
True
Suppose 0 = -s - 3*p + 17089, 49*p = 44*p + 10. Does 189 divide s?
False
Let y(b) = 69*b - 110. Let v be y(24). Suppose v = 2*r + 5*n, -n = -4*r + 4*n + 3092. Is 5 a factor of r?
False
Let f be 4/(-12)*1 - (-4136)/6. Is 63 a factor of f + (-104)/(-13)*(-1)/(-2)?
True
Let u(d) = d**3 + 3*d**2 - 6*d - 37. Let z be u(-9). Let g = z - -1027. Is 93 a factor of g?
True
Let g(i) = 53*i**3 - 5*i + 8. Let f be g(3). Suppose f = 5*w + 499. Is w a multiple of 4?
False
Suppose 40*n = 1709419 - 521619. Is 35 a factor of n?
False
Let n be (-1 - (-621)/(-12))*(2 - 14). Suppose -11*w + 621 = -n. Is w a multiple of 57?
True
Let g(b) = 3*b**2 - 548*b + 49. Is g(-25) a multiple of 84?
True
Suppose l = 80 + 100. Let r = 373 - 364. Suppose l = -7*z + r*z. Does 18 divide z?
True
Suppose -5*w = 8*w - 13. Is 5 a factor of (-135)/81*(w - 94)?
True
Suppose k - 120 = -98. Suppose 3*h + 8816 = k*h. Is h a multiple of 16?
True
Let h = 2307 + 1069. Is h a multiple of 8?
True
Let r = 150 + -83. Suppose 0*x - 3*x + 162 = 0. Let n = r + x. Does 21 divide n?
False
Suppose 0*o + 17*o - 234661 = -32*o. Is o a multiple of 33?
False
Let d be (-21)/14*(-1 + (-2)/2). Suppose -r = 2*r + 9, -550 = -a - d*r. Suppose 0 = -5*c + a - 169. Is 13 a factor of c?
True
Is 31 a factor of -374*(-433)/8 + (-292)/(-1168)?
True
Suppose -73*r + 146*r - 1238080 = 0. Is r a multiple of 123?
False
Suppose 9*q - 29 + 2 = 0. Is q/(-4)*1552/(-4) a multiple of 35?
False
Suppose 0 = z - 6*z. Suppose z = 35*q - 37*q. Suppose -i - 3 = q, -l + 0*l + 3*i = -121. Does 14 divide l?
True
Suppose -2*x - 4*q = -8, 0*x = -3*x + q - 2. Suppose 7*v - 2156 - 616 = x. Does 22 divide v?
True
Let t(i) = i**3 - 10*i**2 + 10*i - 5. Suppose 2*l - 4*y + 3*y = 19, -47 = -5*l + 3*y. Is 65 a factor of t(l)?
False
Suppose 0 = -6*o + 7 + 5. Suppose 2*d - d - o*h = -7, h = 4. Let y(s) = 15*s**3 + 2*s**2 - 1. Is y(d) a multiple of 8?
True
Is 67 a factor of (402/10)/(228/168340)?
True
Let s(u) = -36*u + 20. Let y(l) = 1. Let m(v) = s(v) + 6*y(v). Let h be m(-9). Suppose 0 = -2*r - 5*a + h, 5*r + 0*r = a + 875. Is r a multiple of 35?
True
Let u(y) = 3*y + 39. Let j be u(-12). Suppose 5*c = 4*k - 6*k - 484, 0 = j*c - 3*k + 303. Does 15 divide ((-7)/(c/(-60)))/((-4)/28)?
True
Suppose -o = -3*s + 25201, 5*o = -s + 12547 - 4136. Is s a multiple of 13?
False
Suppose -i + 2*l - 5 = 4, -5*i + 5*l - 55 = 0. Let t = -2249 - -2252. Let r = t - i. Does 4 divide r?
True
Let g(p) = p**3 + p**2 - 3*p + 1. Let i be g(-4). Let j(k) = -3*k**2 + 55*k - 105. Let r be j(13). Let n = i + r. Is n a multiple of 34?
True
Let y = 6384 + -530. Is y a multiple of 67?
False
Let w = 322 - 186. Suppose 2*a - a = w. Does 17 divide a?
True
Let g(b) = -2*b**2 - 74*b + 153. Does 10 divide g(-25)?
False
Is -5 + 4198 - (-21 + 29) a multiple of 31?
True
Let m = 576 + -4. Is 143 a factor of m?
True
Let j = 122 - 282. Does 6 divide ((-192)/j)/(1/60)?
True
Let w be (-5)/(15/6) + 18 + 2. Suppose -7*f = 2*f - w. Suppose 4*t = -4*r + 488, -t + f*r - 4*r = -118. Does 9 divide t?
True
Let s be (-5)/2*(-25404)/145. Let b = -380 + s. Is b even?
True
Suppose -3*b + 19*h = 24*h - 7477, 17383 = 7*b - h. Does 108 divide b?
True
Let t = -5620 + 6727. Is t a multiple of 41?
True
Does 95 divide (13 + 2056/(-12))*-30?
True
Suppose 4*d - 4033 = 3*b - 498, 4*b + 3540 = 4*d. Is 55 a factor of d?
True
Let b(h) = 49*h - 66. Suppose 0 = 5*g + 4*a - 12 - 39, -3*g = a - 25. Is b(g) a multiple of 21?
False
Let x(m) = 11*m - 60 + m**2 + 28 + 30. Let h be x(-6). Is (-14)/35 + (-1)/(5/h) a multiple of 6?
True
Does 78 divide 92293/12 - 361/4332?
False
Let u be (-8)/14 - (-4764)/(-42). Let i = 119 + u. Suppose 0 = -3*m + i*o + 881, -2*m + 586 = -0*m - 3*o. Does 41 divide m?
True
Let l(k) = 80*k**2 - 16*k - 219. Is l(-8) a multiple of 27?
False
Let y(l) = -28*l**2 + l - 7. Let g be y(3). Let x = g + 500. Suppose -4*d = 2*v - x, 4*d = 3*v + 252 - 18. Is 15 a factor of d?
True
Does 6 divide 100082/15 + -2*(-28)/(-420)?
True
Let x = 235 - -221. Let v = x - 228. Does 38 divide v?
True
Suppose 13368 = 4*a - m + 1863, -14388 = -5*a - m. Is a a multiple of 7?
True
Let x(r) = -r**3 + 12*r**2 + 5*r - 38. Let w be x(12). Let v = -36 + w. Is 14 a factor of (12/2)/((-2)/v)?
True
Let v = 34049 - 7571. Is 65 a factor of v?
False
Suppose 108*z = 109*z + 3*o - 3581, z - 3565 = -5*o. Is 35 a factor of z?
True
Let b = 362 - -349. Suppose b = 8*z - 3745. Does 8 divide z?
False
Suppose 0 = 4*g - 5*b - 68234, 13*g - 5*b = 17*g - 68294. Does 23 divide g?
True
Let f be 3/2*(2 + -8). Let y be 6/(-24)*-2 - 135/(-2). Does 5 divide (f - -12)*y/6?
False
Suppose -4*m + n = -14773, 4*m = -5*n + 10*n + 14745. Is 110 a factor of m?
False
Let k(c) = c**2 + 17*c + 71. Let w be k(-7). Let j(n) = 98*n**3 + 7*n - 7. Is j(w) a multiple of 7?
True
Let h = 16 + -15. Let f be (24/9)/(4/6). Is 5 a factor of (h/(-2))/((-8)/56)*f?
False
Let d = 141 + -88. Suppose -d*i = -48*i - 690. Let q = 171 - i. Is 12 a factor of q?
False
Let l be 12/(-3)*(-587)/(-4). Let i = 789 + l. Is i a multiple of 4?
False
Let q(g) = -2*g**3 + 3*g**2 - g + 2. Let m be q(3). Is 7 a factor of -325*((-3)/7 - m/(-49))?
False
Let n = -3530 - -7586. Suppose -4*z - 2*z = -n. Does 26 divide z?
True
Is 594792/572 + (-6)/(-39) a multiple of 25?
False
Let u(z) = 2*z**2 - 5*z - 3