 m be (-4 - -10)/(d/(-2)). Solve 2*f - 5 = m for f.
4
Let t(v) = 25*v - 1. Let n be t(-1). Let w be 1932/52 - (-4)/n. Suppose 13 = -4*g + w. Solve -4*b + b - g = 0 for b.
-2
Let z = 5 + 10. Suppose 7*u = 10*u - z. Suppose 4*i = 5*x - 10, -3*i - x - x + 4 = 0. Solve -5*q + 30 - u = i for q.
5
Let w(m) = 2*m**2 - 12*m - 12. Let k be w(7). Let z = -13 - -25. Suppose 0*s + 2*i = -2*s + z, -s - 4*i = -18. Solve s*j = -k*j for j.
0
Suppose x - 3*j - 2*j = 25, 2*j = -x - 10. Let g = -2037 + 2041. Solve x = -m + 3*m - g for m.
2
Suppose -5*b = -7*b + 14. Solve -5*q + b*q = 0 for q.
0
Let t be (6/7)/(30/280). Solve -2 = -7*l + t*l for l.
-2
Let n be 18*(-4)/(-3)*6/16. Solve -4*o + 7 + n = 0 for o.
4
Let r = 40 - 38. Suppose -2*j - 36 = -2*z - 3*z, -4 = -z + r*j. Solve -4*y = -16 + z for y.
2
Suppose 24*t = 31*t - 28. Let p = -2 - -11. Solve t*r - p = r for r.
3
Let k = -174 + 177. Solve 3*a + 6 = -k for a.
-3
Let r be 11/((-220)/(-96)) + 3/15. Solve 9 = -2*f + r*f for f.
3
Let f = 143 + -131. Solve 0 = -11*o + 8*o - f for o.
-4
Suppose -3*v - 117 = -12*v. Let k be v/5 + 0 + 8/20. Suppose 0 = -0*u - u + 3*r + 17, 4*r = -12. Solve 0 = k*d + u + 1 for d.
-3
Suppose m - 25 = 5*o, 1 + 10 = 3*m + o. Suppose m*g = g. Solve -5*i + 3*i - 2 = g for i.
-1
Let m(k) = -3*k + 13. Let x be m(3). Suppose 0 = 38*s - 34*s - x. Solve 3*n = s + 11 for n.
4
Suppose 0 = -4*k - 3*k + 147. Suppose 5*l - 89 = 4*h + 4, 2*h = l - k. Solve 4*v + l = 5 for v.
-3
Suppose 2*t = 20*c - 17*c - 10, -5*c + 25 = -5*t. Solve c = 3*a - 235 + 235 for a.
0
Suppose -18 = -4*b + 2. Suppose -i - 5*h = 18, -b*i - 5*h + 4 = -6. Solve -2*p = 1 + i for p.
-4
Let o = -431 + 435. Solve -7*c = -o*c - 12 for c.
4
Suppose -3*s + 9 = -0. Suppose -3*w + 4*k + 9 + 8 = 0, -s*k = -4*w + 18. Let a = 179 + -178. Solve a = -w*j - 11 for j.
-4
Suppose 3*q = 5*h + 2, -25 = -5*h + q - 19. Solve h*u - 9 = -11 for u.
-1
Suppose 3*m = 2*c - 35, -m + 4*m + 47 = 5*c. Let j be (m - -8)*(-5 + -1). Solve 0 = 5*o - j - 9 for o.
3
Let z be 10/(-60)*-6*0. Solve -2*q + 74 - 64 = z for q.
5
Suppose 0 = 19*j - 26*j + 56. Solve -r + 5*r = j for r.
2
Let n = 256 - 255. Solve -b - 4 - n = 0 for b.
-5
Suppose 24*a + 488 = 848. Solve 0*l = -3*l - a for l.
-5
Suppose 16 = 3*u - 5*d, -3*d - 16 = -10*u + 5*u. Suppose -5*g + 11 = 2*w - u, 0 = 3*w - 2*g - 10. Solve -7*i - 9 = -w*i for i.
-3
Let s be (-9)/(-6) + (-2 - (-35)/10). Suppose 3*f + 0*f = 2*r + 6, 0 = -3*r + s*f - 3. Let m(v) = -v**2 + 7*v + 6. Let q be m(5). Solve c = -r*c + q for c.
4
Let z(q) = -q**3 + q**2 - q - 122. Let l be z(0). Let h = -120 - l. Solve 0 = -4*d - h + 14 for d.
3
Let d be (-735)/(-39) + (-3)/(195/(-10)). Solve -20*o - 1 = -d*o for o.
-1
Let v = -12 + 14. Let l be 0/(1 + 2 - v). Suppose l = 4*b - 2 - 10. Solve 2 = -b*w - 4 for w.
-2
Let v = -14 - -17. Suppose -v*w = 5*z - 16, -6*z = -2*w - z - 6. Solve w*f - 12 = -2*f for f.
3
Suppose 4*z - 22*z + 108 = 0. Solve 0 = -2*c + 8 - z for c.
1
Suppose 3*j - 102 = -3*a, 300 = 5*a - 4*j + 85. Suppose -27 = 4*s - a. Solve 10 = -s*m + m for m.
-5
Suppose 5*o - 10 = 0, -k - 4*k = 5*o + 5. Let u be (-5)/k + (-2)/(-6). Solve 2*g = -u*g - 12 for g.
-3
Let f = 8 + -3. Suppose 48 = f*x - x. Suppose -x = -g - g. Solve 0 = -0*u - 2*u + g for u.
3
Let v be (2 - 2)*(-2 - -1). Suppose -28*l + 33*l = v. Let b be 0 + (l - 15/(-5)). Solve 8 = b*a - 1 for a.
3
Let a be ((-25)/(-10))/(111/54 + -2). Solve -a = 5*i - 20 for i.
-5
Let p = 104 - 104. Solve p = -z + 10*z for z.
0
Suppose 78*o = 193 + 899. Solve 0 = o*j + 2 + 12 for j.
-1
Let u(p) = -13*p + 31. Let v be u(-5). Suppose 14*n - 2 = v. Let y = 8 - 6. Solve y*r - n = 1 for r.
4
Suppose 45 = -f - 2*f. Suppose -2*t + 0*t = 40. Let o be (-28)/t + 6/f. Solve 0 = -3*m + 2*m + o for m.
1
Suppose 2 = 3*u - 4. Suppose -6*y + 14 = -4*y + u*v, -3*y = -v - 9. Solve 0 = 2*x + y for x.
-2
Let k be 1/((-10)/(-8))*(11 + -6). Suppose -5*y - k + 9 = 0. Suppose -2*p = 3*p - 10. Solve -y - 7 = -p*r for r.
4
Suppose 2*n + 24 = -n. Let u = -9 - n. Let s be (12/(-30))/(u/10). Solve 0 = -s*x + 2*x + 8 for x.
4
Let z be 5/1 + (-1 - -1). Suppose -z*y + 8*y = 0. Solve -3*d + 6 = -y*d for d.
2
Suppose k - 20 = -3*k. Suppose -3*w - 18 = -k*w. Suppose w*p = 8*p. Solve p*t = -t - 1 for t.
-1
Suppose -7*w = -24*w + 544. Solve 0 = -w*n + 28*n - 16 for n.
-4
Let h = -312 - -316. Solve -h*l + 3*l + 0*l = 0 for l.
0
Let w(t) = t**3 - 13*t**2 + 36*t + 2. Let p be w(9). Let g = -8 + 12. Solve p*n = -2*n + g for n.
1
Let l(u) = u**2 + 26*u + 30. Let p be l(-29). Let f = -117 + p. Solve 0 = -2*t - f*t for t.
0
Let w be (-9)/(-6) - 2/(-4). Let j = -128 + 133. Solve -w*c + c = -j for c.
5
Let z(s) = 2*s**2 + 14*s + 9. Let w be z(-7). Let v(l) = 2*l**2 - 18*l. Let k be v(w). Solve -2*p + 4*p - 2 = k for p.
1
Suppose -14*p + 16*p = 30. Solve -60 = -3*m + p*m for m.
-5
Let p be ((-5)/(-1) + -3)*1. Suppose -3*u + 21 = 5*r, -2*r - u = -r - 5. Solve -p*b + r = b for b.
1
Suppose l - 1 = 4. Suppose -3*g - 10 = -l*d - 2, 0 = 4*d - 3*g - 4. Suppose 0 = -2*x + 8, 2*a + 0*x = 3*x. Solve -d*s = -2*s + a for s.
-3
Suppose -55*q = 4*n - 52*q, 15 = n - 3*q. Solve n*a + 5 = -2*a for a.
-1
Suppose -x + 5*x = 0. Suppose x*y - 2*y = -26. Let i = y - 11. Solve -2*s + 8 + i = 0 for s.
5
Suppose 2*s + 0*s = -5*w + 40, 4*w = 2*s + 14. Let a(y) = y - 4. Let p be a(w). Solve 4*f + 10 = -p for f.
-3
Let r = 2 + -4. Let q(y) = -y - 2. Let s be q(r). Let h(m) = 2*m**3 - 2*m**2 + 3*m - 3. Let g be h(1). Solve g = -s*t - 3*t + 15 for t.
5
Let o = 123 - 67. Let c = o + -54. Solve -5*r + c = 7 for r.
-1
Let z be -7*(1 + 3 + -6). Solve 4 = 5*q + z for q.
-2
Suppose 4*w = 5*m - 3*m - 82, -3*m = -5*w - 103. Let k be ((-4)/(-5))/(w/3950). Let g be k/(-18) + (-8)/(-36). Solve -3*o - g = 6 for o.
-5
Suppose 5*p + 58 - 83 = 0. Suppose -2 = p*t - 22. Solve 2 = -t*z + 6 for z.
1
Let t = 555 - 551. Solve -t*o + 16 = 4*o for o.
2
Suppose 17 = -7*v + 31. Solve v*o + 6 = 2 for o.
-2
Let i(z) = 3*z + 26. Let a be i(8). Let f = a - 49. Solve -11 - f = -4*y for y.
3
Let l(s) = 3*s - 52. Let z be l(28). Solve -29*t = -z*t - 3 for t.
-1
Let f be (45/10 - 5)/1*-10. Solve -8 = f*v - v for v.
-2
Let h = 41 - 1. Suppose -4*m = -0 - 8. Suppose -h = -3*q + m. Solve -q - 6 = 4*v for v.
-5
Suppose f + 2 = 2*q + q, f - 2 = q. Let i be q + (-12)/(-60)*(-1 - -6). Solve i*l + 8 = -l for l.
-2
Let g = -74 - -104. Suppose 7*o - g = o. Suppose -a - 5 = 2*y - 6*a, a = -3*y + 1. Solve y = -5*i - 15 - o for i.
-4
Let u be -3 - -6 - (-5 - (2 + -7)). Solve 6*y + 9 = -u for y.
-2
Let y = 239 + -235. Solve -y*w + 2 + 10 = 0 for w.
3
Suppose -7*q + 353 = -2*c, 2*q + 3*q - 5*c - 245 = 0. Solve -17*t - q = -34*t for t.
3
Suppose -3*h + 52 = -5*p, -p - 16 = 3*p + 4*h. Let x be p/(-10)*25/(-10). Let t be 2*((-3)/x - -1). Solve 0 = t*b - 2*b - 9 for b.
3
Let p be (20 - 16)/((-4)/(-5)). Suppose 9 = 3*v + 3*h, -4 = 2*v + p*h - 19. Solve 3*l + 2 + 7 = v for l.
-3
Let w(m) = m**3 - 2*m**2 - 16*m - 13. Let x be w(-2). Solve 0*d = -x*d + 6 for d.
2
Suppose 4*g - 3*x = -5*x + 30, -g - 20 = -5*x. Suppose 0 = g*u - 16*u + 33. Solve 2*z = -u*z + 10 for z.
2
Suppose 0 = 5*f - 68 + 13. Let l(a) = f + a + 0*a - 8*a + 6*a. Let q be l(9). Solve q*x = -x + 9 for x.
3
Let j be (64/(-12) - -5)/(2/(-12)). Suppose j*r = 5 + 1. Solve r*q = q + 4 for q.
2
Let f be (-3)/1*140/(-21). Suppose 0*o + f = 4*o, -4*d + 3*o = -33. Suppose -3*g - 3*k = 0, 0 = -4*g - k - 1 + 7. Solve g*q + d = -q for q.
-4
Let p be (2/6)/(7/42). Let b(g) = -g**2 - 9*g + 1. Let m be b(-7). Solve -m = -3*z - p*z for z.
3
Let m(u) = -3*u - 15. Let n be m(-5). Solve n = -8*v + 10*v for v.
0
Let l be ((-12)/(-14))/(8/28). Let x = l + -18. Let b = 16 + x. Solve -4 = j - b for j.
-3
Let n(z) = z - 8. Let b be 3/((-14)/8 - -1). Let c be (0 - -22)*b/(-8). Let k be n(c). Solve -k*j + 0 - 9 = 0 for j.
-3
Let y be (5 + -7)/((-3)/12). Solve 30*a - y = 32*a for a.
-4
Let o(c) = c + 7. Let y be o(5). Let u(x) be the third derivative of x**6/120 - x**5/5 + x**3/3 - 3*x**2. Let s be u(y). Solve 1 + 1 = s*z for z.
1
Suppose -2*o + 2*i + 10 = 0, -4*o + 0 = 4*i + 4. Suppose -2*c + 18 = 2*b, 6*c - o*c - 24 = 2*b. Solve 3*u + 16 = c*u for u.
4
Let u = -41 + 62. Suppose 5 = -2*f + u. Suppose -56 = -f*h + h. Solve 0 = 4*t - h*t for t.
0
Suppose 0*x + n - 2 = x,