= u for r.
-5
Suppose 0 = 4*g - 78 - 90. Let q = g - 42. Solve q*x = x - 2 for x.
2
Suppose -4*p + 20 + 528 = 0. Suppose -23 + p = 6*m. Solve 3*x = -m + 7 for x.
-4
Let x(i) = -8*i - 7. Let o(t) = -3*t - 2. Let r(v) = -11*o(v) + 4*x(v). Let m be r(-13). Let j = m + 21. Solve -u = u + j for u.
-1
Suppose 5*z + 16 = -g, 2 = -5*z - 18. Let b be -3*(1 - -3)*g/(-12). Solve b + 6 = -5*l for l.
-2
Let u be ((-2)/7)/((-10)/70). Suppose -3*d + u = 14. Let z(v) = -v**3 - 3*v**2 + v + 4. Let h be z(d). Solve -j + h = 3*j for j.
4
Let q = -423 + 429. Solve -7 = q*k + k for k.
-1
Suppose 5*g + 2*r - 76 = 4*r, 0 = 3*g + 5*r - 58. Let s = g - 14. Solve -s*p - 4 = -0*p for p.
-2
Suppose 3*c + 4*m - 18 = -6, -6 = 3*c - 2*m. Suppose c = -6*y + 4*y. Suppose -2*r + 9 = r. Solve -5*i + r + 2 = y for i.
1
Let c = 199 + -199. Solve 5*z = -c*z + 5 for z.
1
Let q be (-4)/(-18) + (-5008)/(-144). Let o = q + -28. Solve -o*j + 4*j = 0 for j.
0
Let w(r) = -r**3 + 5*r**2 + 9*r - 9. Let v be w(6). Suppose -8 = p - v. Solve -2*s + p = -1 for s.
1
Suppose 0 = 4*h + 4 - 4. Let r be (-2 + -10)*2/(-6). Suppose 4*y - r + 0 = 0. Solve 0 = q - h*q - y for q.
1
Let w(c) = c**2 + 68*c + 1047. Let z be w(-23). Suppose 3*g - 28 = 2*v, -5*g + 25 = -0*g + v. Solve z = -g*d + 2*d for d.
-3
Suppose -3*m = -0*m - 81. Let n be 60/m + 4/(-18). Suppose -n*z + l + 10 = -0*z, -4*z + 3*l = -24. Solve 0 = -u - 0 + z for u.
3
Suppose 11*s = 14*s - 39. Solve s*x - 15*x = -10 for x.
5
Let t(i) = 2*i**2. Let f be t(-1). Let c be f/13 + 120/65. Solve c*h = -3*h for h.
0
Suppose 0 = -3*d + 4*v - 214, -4*v + 153 - 5 = -2*d. Let k = 68 + d. Solve -k*q = 2 + 2 for q.
-2
Suppose 1 + 14 = 3*w. Suppose -40 = w*c - 180. Solve -c + 8 = 4*j for j.
-5
Let o = 79 - 70. Let p be -2 + 20/o + (-102)/(-27). Solve -4*u + p + 0 = 0 for u.
1
Let c(q) = q + 2. Let j be c(6). Let d(k) = -k**3 + 4*k**2 + j*k - 4 - 6*k**2 + 18 - 3*k**2. Let f be d(-6). Solve 5*n + 27 - f = 0 for n.
-5
Let f(s) be the first derivative of s**3/3 + s**2 + 9. Let n be f(-2). Solve n*j = -j for j.
0
Let b be 8/(-56) - (-29)/7. Suppose 3*a = 12 - 3. Let g(c) = -c**2 + 4*c + 1. Let p be g(a). Solve -b*h - p = -5*h for h.
4
Let k(q) = q**2 + 2. Let b be k(0). Suppose -14 = -4*z - b. Let u = -122 - -124. Solve u - z = a for a.
-1
Let q be (2*(-18)/(-16))/(2/(-16)). Let i = q + 20. Solve -i*h + 3*h = 3 for h.
3
Suppose 4*z + u - 20 = -z, -3*z + 12 = 2*u. Solve -2*r = -z*r for r.
0
Suppose 8*k = -0*k. Solve k = -5*c - 11 + 31 for c.
4
Suppose -c = -4*c. Let b = 10 + -7. Solve p + b - 1 = c for p.
-2
Let d(q) = q**3 - 21*q**2 + q - 19. Suppose -k = 5*w - 0*k - 102, 4*w - k = 87. Let c be d(w). Solve p = -c*p for p.
0
Let b = 349 + -347. Suppose r = -0*r. Solve r + b = n for n.
2
Let r be (-2)/(-6)*(-1 - -19). Suppose 4*b + 2*x - 20 = r*x, 5*b - 4*x - 25 = 0. Solve -3*s + b = -7 for s.
4
Suppose -3*b - 3*p = 15, 4*b - 2*b - 3*p - 15 = 0. Suppose 22 = x - b*x. Suppose 12 = -f + x. Solve 0*r = -5*r + f for r.
2
Let r(v) = v**2 + 7*v + 12. Let b be r(-5). Suppose 2*g + 5*t - 9 = 0, b*t + 5 + 1 = 0. Solve -d - 3*d + g = 0 for d.
3
Let z = 1481 + -1445. Solve 0 = -z*o + 41*o for o.
0
Let z be (-396)/90*10/(-4). Solve 3*h - z = 1 for h.
4
Suppose -4*y + d + 26 + 7 = 0, -2*y + 5*d = -39. Let u be (2 - -1)*(10 - y). Solve 4*i - i - u = 0 for i.
3
Let a(f) = f**3 + 11*f**2 - 22*f + 18. Let n be a(-13). Let u be n/(-10) + 16/(-40). Solve u*w + 0*w - 3 = 0 for w.
1
Let m(h) = h**2 + 3*h - 2. Suppose -2*d + 65 = -7*d. Let t = d + 9. Let r be m(t). Solve r*k - 1 = -9 for k.
-4
Let z be 7/21 + (-322)/(-6). Suppose 72 = -4*x + m, -2*x - m = x + z. Let p be (x/(-45))/(2/20). Solve 0 = -9*f + p*f for f.
0
Suppose 22*i = 4 + 40. Solve 4*k = -i*k + 30 for k.
5
Suppose -3*g - 5 = 2*g + 5*z, -15 = -g + 3*z. Suppose -5 = -g*h + 13. Solve 0 = -h*m + 2*m - 8 for m.
-2
Suppose -338 = -31*i - 121. Solve -15 = 10*g - i*g for g.
-5
Let a(b) = -11*b - 26. Let n be a(-4). Suppose 4*w + 2*k - n = 0, 4*k - 21 = -3*w + k. Solve 0 = -r - w for r.
-2
Let f be (-4*1 - -1) + 7. Let l be (-1 + 4)/(f/(-12)). Let g = -7 - l. Solve g*r + 12 = 5*r for r.
4
Let t(p) = 25*p + 225. Let j be t(-9). Solve 5*h - 4*h - 4 = j for h.
4
Let d(w) = -w**3 + 7*w**2 - w + 7. Suppose 0 = 2*s + 3*r - 7, 0*s + 4*s - 5*r + 41 = 0. Let a = s + 11. Let v be d(a). Solve v = -c - 3 for c.
-3
Let i(f) = -6*f - 15. Let w be i(-8). Let j = w - 31. Let l be (-8)/j + 3 - -3. Solve -3*d - 4 = l for d.
-2
Let y = -705 - -740. Solve -13*s - 22 = -y for s.
1
Suppose 28*t = 33*t - 25. Solve t*d - 16 - 4 = 0 for d.
4
Let r(v) = v**2 + 16*v + 17. Let b be r(-15). Suppose m = -5, -30 = b*f - 7*f + 5*m. Let q be (-1)/(2*1/(-4)). Solve -z + f = -q*z for z.
-1
Let r be -4 + (-6 - 2) + 0. Let o = -12 - r. Suppose o = p - 6*p. Solve 8*l - 4*l = p for l.
0
Suppose 51 - 46 = 5*h. Solve -b = -h + 1 for b.
0
Suppose 5*s + 3 = -7. Let c(t) = -t**3 - 2*t**2 - 2*t - 1. Let m be c(s). Solve -2*z + 1 = -m*z for z.
-1
Let b be (-1 + -5)*(-1)/2. Let g(n) = n + 6 + 0 + n**2 + 6*n. Let f be g(-6). Solve b*x - 8*x - 15 = f for x.
-3
Let t(a) = a**3 + 24*a**2 + 22*a - 20. Let y be t(-23). Solve y*q = -1 - 2 for q.
-1
Let w(u) = -u + 4. Let o be w(3). Suppose 0 = d - 0 - o. Let q(m) = 2*m**3. Let g be q(d). Solve -5*z + g*z = 15 for z.
-5
Suppose 36*v - 12*v = 72. Solve -v + 0 = m for m.
-3
Let p(h) = h**3 - 8*h**2 - 9*h. Let c be p(9). Solve 0 = 3*s - c - 6 for s.
2
Let q = -11 + 7. Let x be ((-2)/3)/((-7)/((-294)/q)). Let f(w) = w + 10. Let y be f(-6). Solve x*d - y*d = 0 for d.
0
Let b(j) = -j**3 + 6*j**2 - 4*j - 3. Let s be b(5). Suppose l = s*l - 5. Solve -l*h + 8 = -h for h.
2
Let r = 87 - 81. Suppose 5*c = 2*o + 5 + 5, 0 = 5*o - 3*c + 6. Solve 2*f = -o*f - r for f.
-3
Let z be 8 - (-2 - 1)/3. Suppose -3*y + z = -0. Suppose 4*b - 5*j - 19 = -8*j, -b + j + y = 0. Solve 0 = t + b*t for t.
0
Let z(n) = 8*n**2 + 133*n - 48. Let h be z(-17). Solve h*y = -14 + 8 for y.
-2
Let m be -2*(-5)/(10/8). Let s be (m/(-3) - -2)*-3. Suppose -4*a + 1 + 11 = 0. Solve -4*c = -a*c - s for c.
2
Let t(u) = -u**3 + u + 67. Let o be t(0). Suppose -7*m + 2*m - 4*f + o = 0, -3*m - 5*f = -35. Solve 2*b = -3*b + m for b.
3
Suppose 6*n + 5 = 65. Let a be (2/n)/((-7)/(-105)). Suppose 0*m - 9 = -a*m. Solve i = m*i + 10 for i.
-5
Let h = 0 + 3. Solve h*q - 21 = -33 for q.
-4
Let z(b) = b**2 + 3*b - 4. Let y be z(-4). Let l(r) = -3*r + 28. Let i be l(y). Let a be 6/21 + 48/i. Solve 4 = -3*h - a for h.
-2
Suppose 0 = -4*j - 0*r - 4*r, 2*j = 4*r. Solve 0 = -2*g - j + 4 for g.
2
Suppose -2*w + d = -13, w - 2*w + 4*d + 10 = 0. Suppose 5*k = 0, 2*n - w = -2*k + 2. Suppose -8*j + 4*j = -n. Solve s - 2*s - j = 0 for s.
-1
Let t(p) = 14*p - 4. Let i be t(2). Let n = -3 + i. Suppose 4*q = -3*k + 17, -4*q + n = q + 4*k. Solve u = 6*u + q for u.
-1
Suppose -3*j + 3*j = -12*j. Solve j = 4*x - x - 3 for x.
1
Suppose 5*y + 16 - 21 = 0. Let d(p) = p**2 + 8*p + 9. Let n be d(-7). Solve -3 = -n*s + y for s.
2
Let h = -20 - -19. Let j be 1/(h/(-1))*0. Solve -2*q + 3 + 3 = j for q.
3
Let k(s) = -s**3 + 7*s**2 - 4*s + 24. Let i be k(6). Solve i = 7*l + 15 for l.
3
Let j(l) = 8*l - 3. Let g be j(3). Let r = -16 + g. Suppose 3*u + 24 = 4*u + r*q, 3*u - 3*q = 0. Solve 5*o - 6 = u for o.
2
Let i be (18/(-20))/(6/5)*-12. Solve -i = -w - 12 for w.
-3
Let y = -66 + 88. Let p = -19 + y. Solve 5*r - 2 = p for r.
1
Let z = 9 - 6. Suppose -z*o = -21 - 0. Let d = 9 - o. Solve -d + 6 = -k for k.
-4
Suppose -u = 2*f + 7, 2*u + f - 14 = 4*f. Suppose 0 = -l + u, 0*l = -3*w - l + 13. Solve -n - 5 = w*n for n.
-1
Let r(y) = 7*y - 13. Suppose 51 - 10 = 5*v - 4*z, 5*z = -3*v + 32. Let n be r(v). Let o = -34 + n. Solve 5*c = c - o for c.
-4
Let c be (1 + 0)*1*3. Let t be (-1 + c)/((-8)/(-116)). Let i = t + -27. Solve -l - i = -1 for l.
-1
Suppose -7 = 2*p - 25. Let u be (-3)/p - (-21)/9. Solve u + 2 = 4*q for q.
1
Let v be 4/((-4)/(-1))*32. Solve 14*s = -v + 88 for s.
4
Let b be (8 - (4 - -4))/(2 - 1). Solve -6*j + 0*j = b for j.
0
Suppose 4*q + 16 - 40 = 0. Let s = -5337 + 5340. Solve -q*x + 6 = -s*x for x.
2
Suppose 3*r + r - 60 = 0. Let f = 38 + -54. Let t be (f/(-24))/(2/r). Solve 0 = -t*l - 32 + 7 for l.
-5
Suppose -4*g + 83*w = 88*w, g + 5*w = 0. Solve 14*r + g*r - 70 = 0 for r.
5
Suppose 0 = 11*h + 2*h - 