f*u for u.
-2
Let x = 2 + 0. Let i = -251526 - -251532. Solve 0 = x*q - 0*q - i*q for q.
0
Let f = -194 - -79. Suppose -4*q - q = -605. Let n = f + q. Solve g = n*g for g.
0
Suppose -11988 = -4*o - 32*o. Let p = o + -312. Solve 0 = -4*a + p - 1 for a.
5
Let i(m) = -53*m - 1045. Let j be i(-23). Solve 5*a - j = -214 for a.
-8
Let f(d) = -2*d + 60. Let i be f(27). Suppose n + 2 - i = 0. Solve j = 1 + n for j.
5
Suppose -u - 3*u = 0. Let x be (-5 + 72/(-8))/((-3)/6). Let j be 6*(9 + x/(-4)). Solve u*q = 3*q + j for q.
-4
Suppose 0 = 5*g + 2*n + 215, 118 = -0*g - 3*g + n. Let m = g + 50. Solve 4*f + m = -11 for f.
-5
Suppose -491 = -17*d - 337 + 985. Solve 26*r + d = -63 for r.
-5
Let c be (12 + 168/(-12))*270/(-20). Solve 0 = 44*m - 247 + c for m.
5
Suppose 5*b - 100 = 5*a, -5*b = -6*b + 2*a + 18. Let u be ((-4)/b + 36/198)/2. Solve 2*z - 3*z + 3 = u for z.
3
Let c(t) = -t**3 + t**2. Let j be c(0). Suppose 3*o + 6*f - 44 = -2*o - 2, -3*f + 6 = 0. Solve 12 = -o*v - j*v for v.
-2
Let z(t) = -t**3 + 4*t**2 - 4*t + 51. Let d be z(5). Suppose 0 = d*h + 734 - 776. Solve -3*v = -h*v + 8 for v.
2
Let g be -4*10/(-4)*(-14)/(-70). Solve 5*u - 17 = -g for u.
3
Let k = -108 - -114. Suppose 4*i = 5*h - 2*h + k, i = -h + 5. Solve -h*x + 7 = 11 for x.
-2
Let l(z) = -77*z - 1. Let b be l(-1). Let r = b + -30. Let c be r/8 - ((-14)/(-8) + -1). Solve -31 = c*t - 11 for t.
-4
Suppose -3*k + 60 = 3*m, -343*m = -338*m + 2*k - 82. Solve -3*c - 1 = m for c.
-5
Let a be (66/(-165))/(1/(-25)). Let m be 1 + 0 + -5 - (-12 - -6). Solve a = m*n - 4*n for n.
-5
Let z(w) = -21*w. Let m be z(0). Suppose m = 5*g - 2*v - 3*v, -2*v = -g - 1. Solve x = 2*x - g for x.
1
Suppose 0 = i - 4*k - 17 - 11, -3*k - 21 = i. Solve 15*w - 25 + 10 = i for w.
1
Suppose 4*w = 2*d + 94, 0 = -5*w + 9*w + 5*d - 101. Let t be -3 - 1 - w/(-60)*15. Solve -5*a + t = 12 for a.
-2
Suppose 3*k + 16 = 2*u - k, 5*k = 3*u - 22. Suppose 3*p - 13 = -t, u*p + 3*t = 7*p - 33. Solve -p*z = -z for z.
0
Let g(t) = -104*t + 4. Let p be g(0). Let h(s) = s**3 - 3*s**2 + 2*s. Let w be h(2). Let n be (6/(-12) - 2/p)*w. Solve -3 = -n*k + k for k.
-3
Suppose -s - 3 = c, -2*c = -0*c - 4*s. Let u be 39/c*(-20)/(-15). Let z = u - -41. Solve 2*r + z = -r for r.
-5
Suppose 11*a - 5*j - 668 = 8*a, 0 = -2*a + j + 450. Solve 0 = -33*p - 193 + a for p.
1
Suppose -3*f - 28 = -7*f. Suppose -3*g + 3 = -3. Suppose 3*s + 3 = 0, g*t + 2*s - 5*s = 7. Solve -t*y = -f*y - 5 for y.
-1
Suppose 29*m = 33*m + 28, -2*u - 4*m - 10 = 0. Solve 21*k = u*k for k.
0
Suppose -2*t = 2*a + 102, -3*a - 191 + 32 = t. Let f be (a/(-45))/((-1)/(-10)). Solve -6 - f = 6*c for c.
-3
Let i be (3/3)/((-16)/40*(-5)/76). Solve c - 40 = -i for c.
2
Suppose 4*t - 46 = 3*b, -2*t - b = 4 - 12. Solve -t*k = -2*k - k for k.
0
Let u = -4298 + 4558. Solve 266*r - u*r = -18 for r.
-3
Let m = 5 - 4. Let p be (-37 + 0 + -4)*m. Let o = 43 + p. Solve 0 = -7*l + o*l for l.
0
Let l = -45 + 17. Suppose 7*y - 11*y = -w + 102, -y - 2*w = 21. Let m = y - l. Solve -2*p - m = p for p.
-1
Let q be 6/(-12)*(0 + -34 + 5 + -1). Solve 4*p - 35 = -q for p.
5
Suppose -279*f + 20 = -278*f. Let x = -1073 + 1087. Solve -x*v = -19*v - f for v.
-4
Suppose -21*u + 76*u = 10010. Solve -u*k + 24 = -174*k for k.
3
Let s(d) = d**2 + d - 2. Suppose 0 = 5*j - 4*i + 3*i - 23, 2*j - 2*i - 14 = 0. Let u be -4*2 + j - -1. Let n be s(u). Solve 2 - 6 = n*m for m.
-1
Let j = 337 - 337. Let g = -5 + 6. Suppose 3*q = -g + 13. Solve j = 3*a - q + 16 for a.
-4
Suppose 0*g + 5 = 5*g, 2*g - 47 = 5*h. Let f be (-38)/h - 14/63. Solve -3 = f*a + 17 for a.
-5
Let b = -2793 - -2793. Solve b = -7*o + 13 + 22 for o.
5
Suppose -48 = -4*p - 24. Suppose p*y = -91 + 109. Solve -8*a = -y*a + 10 for a.
-2
Suppose 10*a - 2*n - 810 = -6*n, -5*n = 2*a - 162. Solve 3 = 14*m - a for m.
6
Suppose 3*j - 2*v - 124 = 0, 0 = j + 2*v - 7 - 21. Let d = j + -34. Solve 7 = -d*t + 27 for t.
5
Let i = 1235 - 1109. Solve 33*j = 15*j - i for j.
-7
Suppose -4*t = -4*q - q - 21, t = -q + 3. Suppose -3*k = -6, -c - t*k + 10 = -3. Suppose -3*u = -c*x + 11, -x + 5 = -6*x - 5*u. Solve w - 6 = -x for w.
5
Let c(i) = -i**3 - 81*i**2 + 254*i + 175. Let j be c(-84). Solve -j*z + 46 = 53 for z.
-1
Let i(u) = -11*u**3 - 5*u**2 + 8*u + 33. Let c be i(-3). Solve -44*s - c = 47 for s.
-7
Suppose 2*y + 46 = 2*h, -4*y - 19 = -7. Suppose 3*b + 11 = q, -78 = -9*q + 5*q - 5*b. Suppose -8*t + q*t = 27. Solve t*u + h = -2*u for u.
-4
Let b(j) be the third derivative of j**4/8 + 8*j**3/3 + 21*j**2 - 2. Let v be b(-3). Solve 0 = 4*t + v + 1 for t.
-2
Let d be 15/10*-3*2/(-3). Suppose 0 = -22*y + 27*y - 40. Let h = y - 2. Solve -d*s = -s + h for s.
-3
Let j = -21352 - -21432. Solve 0 = 2312*c - 2302*c + j for c.
-8
Let x(s) = 35*s**2 + 2. Let a be x(-1). Suppose 0 = -2*o + 3*o + 2*l - 39, -a = -o - l. Solve 9*d = 2*d - o for d.
-5
Let f(r) = 2*r**3 - 41*r**2 - 21*r + 7. Let c be f(21). Suppose 9*b - 14 = c*b. Solve 3 = -5*n - b for n.
-2
Suppose -5*h - 3*z - 4296 = -4419, 5*h - 168 = 2*z. Solve -h*m + 24*m = 12 for m.
-2
Suppose -3*v + 70 = i - 70, -54 = -v - 4*i. Solve 12 = 48*l - v*l for l.
6
Let t = 28 - 16. Suppose t = -z - 6. Let h = 43 + z. Solve -5*a + 10*a - h = 0 for a.
5
Let u(z) = 3*z**2 - 8*z + 4. Let q be u(3). Suppose 160 = -8*m + 432. Solve -1 = -q*a + m for a.
5
Suppose 2*j - 3*a = 21, 0 = j + a - 72 + 74. Solve -28*y = -j*y for y.
0
Suppose -2*y + 3830 = -4*d, -16*d + 19*d - 5682 = -3*y. Solve y*m - 1880*m = -126 for m.
-6
Let m(o) = o**3 + 32*o**2 + 172*o - 480. Let p be m(-24). Let a(r) = -5*r. Let f be a(-1). Solve 16*z - 15*z + f = p for z.
-5
Suppose 5*k + 6 - 121 = 0. Suppose 3*c - t - 87 = 0, 37 = 37*c - 36*c - 3*t. Let l = c - k. Solve l*u = -2 + 12 for u.
2
Let u(j) = -j**2 - 12*j - 10. Let g be (-27)/4 - (-2)/(-8). Let v be u(g). Solve -5*y = -0 + v for y.
-5
Let m = 6 - 3. Let k = -1175 + 1179. Suppose 5*x - 6 = -k*d + m*x, 2*d - 23 = 3*x. Solve -g - d*g = 0 for g.
0
Suppose -3*s = -10 + 7, 3*a - 2*s - 157 = 0. Suppose -a*l + 52*l = 0. Solve l = x - 0*x + 5 for x.
-5
Suppose -4*q + 43 = -2*z - 47, 10 = -5*q. Let g = z - -60. Suppose -g = 15*l - 56. Solve -1 = -2*p + l for p.
2
Let n be (-22)/(-33) + 44/(-33)*(-1)/(-2). Solve n = 7*l + 141 - 155 for l.
2
Let o be ((-160)/5)/4*248/(-62). Solve 0 = 132*z - o*z for z.
0
Let m be -2*(-6)/24*2. Let n be -2 + (1*-2)/(m/(-2)). Suppose -n*x = -5*x - 4*x. Solve x = -2*u - 6 for u.
-3
Let s be -3*6/45*-5. Suppose -3*b = -5*z - 42, 66*z + 40 = 4*b + 62*z. Solve s*r = b*r - 10 for r.
5
Suppose 5*q = v, -77*q = -82*q + 2*v. Solve q = 10*j + 423 - 413 for j.
-1
Let j be 327*2/(-3) + 0. Let z = 227 + j. Solve -10*r + z*r = -1 for r.
1
Let i = -1596 + 649. Let q = i - -950. Let v = 0 - 0. Solve -k - q*k - 4 = v for k.
-1
Suppose 9 = -5*j - 2*l, 5*j + l + 5 = -2. Let s = j - -9. Suppose 3*i = -5*o + 20, 4*o - 3*i - s = 2*o. Solve -o*n = n - 15 for n.
3
Suppose -1183 = -b - 12*b. Let y = 96 - b. Suppose -2*v + 4*g + 4 = 0, -3*g + 6*g + 3 = y*v. Solve -z + 5*z = v for z.
0
Suppose -15 = -2*b - 7. Let h = 276 - 274. Solve -h = b*u + 14 for u.
-4
Let o(z) = 3*z + 82. Let a be o(-26). Suppose a*j - 61 + 5 = 0. Solve 0 = -6*g - 2 + j for g.
2
Let o(z) = -13*z**2 - 772*z - 145. Let a be o(-59). Solve 0 = 33*w - 63*w - a for w.
-5
Suppose 0 = 5410*p - 5414*p + 404. Solve 94*c - 35 = p*c for c.
-5
Let m(j) = -32*j**2 + 1. Let t be m(1). Let g = t - -31. Let r be (g/1 - 36/2)*-2. Solve -11 = -5*a - r for a.
-5
Let i(h) = 2*h**2 - 11*h - 5. Let x be i(-4). Let a = x + -67. Solve a*j + 42 - 34 = 0 for j.
-2
Let x(t) = t**3 - 8*t**2 + 16*t - 1. Suppose 11 = 5*g - 14. Let l be x(g). Suppose 3*i = -5*c + 40, -3*c + 84 = 5*i + c. Solve l*b + i = -0*b for b.
-5
Let k = 391 + -387. Suppose -3*m = -u + 5*u - 197, 0 = -3*u - 5*m + 145. Suppose 5*z + 3*r - 125 = 0, k*z - 2*z - 2*r - u = 0. Solve 4*b = z - 5 for b.
5
Let x be 20/(-50) - (-3)/(-15)*1058. Let m = x + 217. Solve 0 = m*f - 6 - 14 for f.
4
Suppose -a = -0*m + 2*m - 3, -2*m - 1 = 5*a. Let z be -3*(10/3)/(0 - m). Solve 7 = -4*n - z for n.
-3
Suppose -506*i = -509*i + 171. Solve 11*w + i = -8*w for w.
-3
Let k(g) = -g**2 + 7*g + 7. Let x(q) = -q**2 + 6*q + 8. Let j be x(6). Let c be k(j). Let p be ((-8)/(-4) + c)*27. Solve -5*n = -2 + p for n.
-5
Let w(r) = 183*r**3 + r