72*i + 70. Is 3 a factor of h(-10)?
False
Suppose q - 12*r + 8*r = 18, 2*q = -r + 9. Suppose -144 = -14*o + q*o. Is o a multiple of 3?
True
Is 3786/(18/(-20)*((-455)/(-156))/(-7)) a multiple of 20?
False
Let b = -25877 + 50332. Does 177 divide b?
False
Suppose 2*f - 3 + 3 = 0. Suppose -13*q + 15 + 50 = f. Is 5 a factor of -2 + q/((-10)/(-194))?
True
Let n = 656 + -458. Let y = -105 + n. Is 8 a factor of (2 + ((-40)/6)/5)*y?
False
Let b(a) = -6*a + 6 + 122*a**2 + 191*a**2 + 35*a**2 - 78*a**2. Is b(1) a multiple of 10?
True
Suppose -x = 5*u - 30, u + 0*u = -5*x + 126. Suppose 28*r - x*r - 1728 = 0. Is r a multiple of 64?
True
Let k be 1480/(-80) - (-6)/8*-2. Does 39 divide 16/k - (-1759)/5?
True
Let p = 109 + -60. Suppose -3*i + p = 4*w, 6*i - i + 9 = -w. Is 4 a factor of (9/6)/(3/w)?
True
Suppose 4*u - 15 = t - 0*t, -15 = -3*t - 3*u. Let l(y) = 388*y**3 - 2*y + 1. Let d be l(t). Suppose 3*n - d - 45 = 0. Is n a multiple of 17?
False
Let v(z) = -177*z + 10. Let m be v(26). Is 23 a factor of m/(-20) + 8/20?
True
Is (4/(-6))/((-80)/(-72) + -1) + 6959 a multiple of 108?
False
Suppose 0 = 2*x - 3*j - 7374, 3*x + 2*j + 273 = 11282. Is 25 a factor of x?
True
Let m = 79 - 28. Suppose -19*j + 234 + m = 0. Is 5 a factor of j?
True
Suppose 21*l + 26*l = 20727. Is l a multiple of 25?
False
Let o = -39 + -35. Suppose -3*b + 192 = -9*b. Let a = b - o. Is a a multiple of 14?
True
Suppose 0 = u - 6*u + 10. Suppose 0 = -2*o - u - 0. Is 27 a factor of (5 - 6)*((-357)/3 - o)?
False
Does 66 divide (5010 - 5)*(-264)/(-77)?
True
Suppose -82 = 4*r - 270. Suppose 3*v + 5*o - 190 = -2*v, v = -4*o + r. Suppose 25 = 3*p - v. Is 18 a factor of p?
False
Suppose 0 = m - 2*i + 12, -2*m + 3 = -5*i + 31. Is (33/(-18) + m/(-8))*-51 a multiple of 6?
False
Let s be 18*5/15 - (1 + 0). Is 63 a factor of (417*1)/(3/s) - 2?
True
Let x(q) = 110*q + 39. Let k be x(1). Suppose -5*n - 5*a + k + 401 = 0, -2*n + a = -235. Is n a multiple of 2?
False
Suppose 5*z - 172 = 218. Suppose 0 = 2*j + 4*r - 398, -2*r - 129 = -j + z. Is 7 a factor of j?
True
Suppose 0 = -5*h + 3*a + 3622, 4*a = -4*h + a + 2903. Is 4 a factor of h?
False
Suppose 49*v = -a + 52*v + 7010, -3*v - 14017 = -2*a. Is a a multiple of 13?
True
Suppose 0 = 3*a + 4*b - 5084, 5*b = -a + 6*a - 8485. Suppose -2*y + a = 2*y. Does 53 divide y?
True
Let s(q) = 9*q**2 + 6*q**3 - 30*q**2 + 18*q - 24*q - 9. Does 15 divide s(6)?
True
Suppose 24 = -78*j + 74*j. Is j/((1 + 0)*(-10)/570) a multiple of 18?
True
Let z be (-11 + 10)/(1/(-42)). Suppose -q + z = 2*a, 2 - 24 = -q + 3*a. Does 3 divide q?
False
Let g = 954 - -13714. Does 27 divide g?
False
Let q(c) = 25*c**2 - 33*c + 133. Is 12 a factor of q(4)?
False
Let o(f) = 68*f + 1716. Is 12 a factor of o(24)?
True
Let z be (-567)/(-210) - (-9)/30. Suppose u - 6 = -1. Suppose 0 = 4*t + 11 + 5, u*o - 513 = -z*t. Does 35 divide o?
True
Suppose 0 = -148*z + 168*z - 660. Let a(g) = -2*g**3 - g**2 - g - 1. Let q be a(-1). Suppose z + q = h. Is 17 a factor of h?
True
Suppose -v = 4*s - 29698, -5*s + 33*v - 26*v + 37106 = 0. Does 27 divide s?
False
Let v(f) = 69 + 73 + 77 + 97*f + 124*f - 214. Is v(1) a multiple of 34?
False
Suppose -k - 3 = -1. Suppose -7*r + 11 = -6*r. Is r + (k - (4 - 3)) a multiple of 7?
False
Let n(s) = 7*s**2 - 12*s + 4. Let l be n(4). Let r(q) = q + 5. Let y be r(4). Suppose p - y = l. Is p a multiple of 27?
False
Does 2 divide (-1)/((-4)/(-18))*123/9*-26?
False
Suppose -64*i = -58*i + 30. Is i*(-3)/10 + (-255)/(-6) a multiple of 22?
True
Let n(y) = -y**2 + 5*y + 2. Let f be n(7). Let u be (-1104)/f - (0 - 4*1). Is 10 a factor of 2/(u/47 + -2 + 0)?
False
Let h(w) = 12*w**3 - 56*w + 422. Is h(8) a multiple of 7?
True
Let t(u) = 6*u + 276. Let o be -46*4/6 - 1/3. Is 16 a factor of t(o)?
False
Let n be 4/5 + -17478*(-36)/3240. Suppose k + 4*q = -137, 175 = -5*k - 5*q - 450. Let z = k + n. Is 37 a factor of z?
True
Let r(b) = 2*b**2 + 5*b - 2. Suppose -5*g + 3*t = -26, -5*t + 10 = 7*g - 2*g. Is r(g) a multiple of 3?
False
Suppose 0*n + 228 = 4*n - 4*m, 5*m - 255 = -5*n. Suppose 28*d = d + n. Is d even?
True
Let b = 28 - -68. Let g = -89 + b. Suppose g*l - 704 = 3*l. Is l a multiple of 16?
True
Let s(x) = -24*x**3 + 6*x**2 + 108*x + 703. Is 13 a factor of s(-10)?
False
Suppose -5*u = -3*u - 3*u. Suppose u = -10*k + 274 + 2966. Does 54 divide k?
True
Let m(b) = -b**3 - 7*b**2 + 20*b + 20. Let u be m(-9). Suppose -5*k + 4*d + 788 = 0, -3*d - 314 = -u*k - d. Is 32 a factor of k?
True
Let v(a) be the second derivative of -83*a**5/20 + a**4/4 - a**2/2 - 33*a. Let o be v(-1). Suppose o = -2*u + 203. Is 5 a factor of u?
False
Suppose -10*l + 12*l - 14 = 0. Let u be 76 + 2 - (2 - l). Suppose 6*j - 4*j = -5*p + 157, -u = -j - p. Is 11 a factor of j?
False
Does 6 divide 2354 + (-9 - (-80)/(-16))?
True
Let p(n) = -17*n**3 + n**2 - 21*n - 4. Let u(v) = 15*v**3 + 19*v + 4. Let k(h) = -6*p(h) - 7*u(h). Let i be (-1)/1 + -6 + 3. Does 12 divide k(i)?
True
Is 39975 + (2/9)/((-1470)/135 - -11) a multiple of 104?
False
Let i = 29 + -24. Suppose 3*b = 2*x + i - 17, -5*x + 30 = -5*b. Let j(v) = v**2 - 4*v + 4. Is 16 a factor of j(x)?
True
Let b(s) = -12*s + 147. Let k be b(-11). Let r = 659 - k. Does 9 divide r?
False
Suppose 0 = 5*g - 3*f + 1381, -4*f = -5*g + 2*g - 833. Let r be (-3800)/g - (1 + 26/(-22)). Let q(d) = -d**2 + 30*d - 24. Is q(r) a multiple of 25?
True
Suppose 2*b = -f + 32 - 1, -5*f + 171 = 2*b. Let l be (13/2 - 2) + 4/(-8). Suppose -f = -n - l. Is 11 a factor of n?
False
Let w(x) = x + 18. Let h be w(14). Suppose 12 - h = -5*g. Suppose 3*i + 66 = 2*j, -g*j + 3*i = -0*i - 120. Is 27 a factor of j?
True
Let f = 319 - 303. Is 47 a factor of (-145)/20*-39 + (-12)/f?
True
Suppose 3*h = 5*f - 5, 3*h + 7*f - 27 = 4*f. Suppose -h*n + 6600 = -0*n + 4*m, -4*m + 5280 = 4*n. Is n a multiple of 44?
True
Let v be ((-7)/(-28))/((-2)/16). Is 19 a factor of ((-9)/v)/3*(-5780)/(-6)?
False
Let d = -421 - -156. Let l = d - -391. Does 18 divide l?
True
Let l(d) = -d**3 + 13*d**2 + 30*d - 11. Let p be l(15). Let a(k) = k**3 + 12*k**2 - 24*k + 14. Is a(p) a multiple of 31?
False
Suppose -11*r = 1452 - 10699 - 4305. Is 14 a factor of r?
True
Let m = 282 + -283. Let i(u) = -2*u**3 + 1 + 3*u + 2*u**2 - 2*u - 8*u**3 + u. Is i(m) even?
False
Let l(i) = -2 + 6*i - 8*i + 8 - 3*i**2 - 1 + i**3. Let c be l(2). Is 10 a factor of 22/c*(-21)/14?
False
Suppose 2*f - 2432 = -5*a, -5*f - 5*a + 2156 = -3939. Is 3 a factor of f?
True
Let v = -70 - -76. Suppose -4*j - 1 = -2*f + 3, -3*f - 4*j + v = 0. Is 13 a factor of (0 - f)*477/(-18)?
False
Let s(q) = -q**3 - q**2 - 2*q - 4. Let w be s(-2). Suppose 3*i = 12, 58 - 1930 = -w*y + 2*i. Is 47 a factor of y?
True
Suppose 4*l = -4*w - 71 + 27, -5*w - 25 = -5*l. Let g(p) = 3*p + 25. Let x(b) = 11*b + 89. Let y(r) = 21*g(r) - 6*x(r). Is 6 a factor of y(w)?
False
Does 134 divide -3 + 204891/33 + -10 + (-784)/(-77)?
False
Is -241719*(16 + (-686)/42) a multiple of 245?
False
Suppose -h = 4 - 0. Let b(w) be the second derivative of -w**5/10 - w**4/4 + 4*w**3/3 + 9*w**2/2 - 26*w. Is b(h) a multiple of 18?
False
Let s(r) = r**3 + 6*r**2 - r + 7. Suppose -5*n = -2*a - 20, -a - 12 = -3*n - 1. Suppose 3*v - 4 + 30 = 4*l, -v - n = 2*l. Is s(v) a multiple of 3?
False
Let p = -3133 - -20895. Is 166 a factor of p?
True
Let n = 20092 + -10660. Does 18 divide n?
True
Let g = 41630 - 13436. Does 22 divide g?
False
Suppose 153*x = 154*x - 4. Suppose -2*w + 14 = 8, 0 = -x*m + w + 313. Is m a multiple of 2?
False
Let g = -1 + 4. Suppose 0 = 2*u + 5*y + 22, 2*y + 38 = g*u + 109. Let a = 194 - u. Is 43 a factor of a?
True
Suppose h = -2*t + 877, 4*h + 2 = 22. Is t a multiple of 9?
False
Let l(h) = h - 18. Let t be l(18). Suppose t = -o - 117 + 651. Is 9 a factor of o?
False
Let j(x) = x**2 - 16*x + 58. Let l be j(16). Does 5 divide (-10)/(l/30 + -2)?
True
Let t(j) = 2*j**2 + 8*j + 32. Let u be t(-13). Suppose -2274 = -4*i + 3*v, 4*v - 2592 - u = -5*i. Does 10 divide i?
True
Suppose -12*o - 39 = 45. Is 60 a factor of (-119568)/(-371) + 2 + 16/o?
False
Let q be 21/3 + (1 - -3) + -7. Suppose 0*a - a - 527 = -q*o, -3*o = -2*a - 394. Does 27 divide o/1 + (-6)/(-2)?
True
Let v(z) = z + 35. Let a be 23 + -4 - 0/5. Let k be v(a). Suppose 0 = 4*c - 186 - k. Is c a multiple of 10?
True
Let v(h) = -h + 27. 