r g.
-1
Suppose 0 = -3*s + 8*s. Solve s = u + u - 4 for u.
2
Let q(t) = 3*t - 8. Let m be q(4). Suppose -m*k = -k. Solve 3*p + p = k for p.
0
Suppose 0 = 5*f - 5*m - 30, f + 3 = -3*f - 5*m. Solve -f*l - 16 = -1 for l.
-5
Let j be -1*5/(1/(-1)). Solve -7 = -j*o - 22 for o.
-3
Let q be (81/(-12))/((-3)/12). Suppose 4*i - 5 = q. Let o = i + -6. Solve o*z - 4*z = 10 for z.
-5
Let s be 2/(-7) - (-2)/7. Let g be (-2)/(-3) - (-50)/15. Solve s = 5*p - g*p - 2 for p.
2
Let f(x) = -x**2 + 5. Let t be f(0). Solve t*w + 16 = 1 for w.
-3
Suppose -9 = -9*f - 9. Let k be (-9)/(-2) + (-1)/2. Solve f = 3*g - k*g - 1 for g.
-1
Suppose 0 = -4*a + 5*a. Suppose -3*z = -3*u + 9, -2*z = 2 - a. Solve 2*m = m - u for m.
-2
Suppose 0 = h + r - 6, -13 = -4*r - 1. Solve -h = -4*n + 1 for n.
1
Let z = -14 - -12. Let h = z + 7. Let n be 23*(-1)/(2/(-2)). Solve 8 - n = -h*p for p.
3
Suppose -8*a + 10 = -3*a. Let u(b) = 2*b**3 - 2*b**2 + 3*b - 2. Let d be u(2). Solve 2*z + a - d = 0 for z.
5
Let z = 21 - 15. Let f = z - 3. Solve 2 = -f*d + 17 for d.
5
Let g(z) = -2*z - 6. Let u be g(-3). Solve -3*j - j - 16 = u for j.
-4
Suppose 0*h = -4*h - 4. Let d = 4 - h. Suppose -k + 12 = 3*k. Solve 2*q - k = d*q for q.
-1
Let q be -1 + 5 + 2/(-1). Let r be 9/(-15) + 69/15. Solve -q = y - r for y.
2
Suppose 5*i - 67 = 8. Let z = i + -11. Solve -z = w - 5*w for w.
1
Suppose -7*t = t - 48. Solve -j - t = 2*j for j.
-2
Suppose -10 = -3*u + 5. Let o(v) = v**2 + 5*v - 2. Let c be o(-6). Suppose 2*f + c = 6*f. Solve -4*l + f = -u*l for l.
-1
Let m = -64 + 76. Solve 6*r + m = 3*r for r.
-4
Let x = -119 + 121. Solve -4*p - 10 = x for p.
-3
Let n be 12*(-4)/(-6) + 0. Let d = -10 - -14. Solve 0*i + n = d*i for i.
2
Let i = 5 + 0. Solve -4*l - i = l for l.
-1
Let i(p) = 7*p**3 + p**2 + p. Let z be i(-1). Let c = z + 16. Let a = -4 + c. Solve a = -2*f + f for f.
-5
Let u = -22 + 33. Solve 3*m - 1 = u for m.
4
Let j = -2 + 4. Suppose 5*o + x + x = j, x = -3*o + 1. Solve 3*m + 12 = -o*m for m.
-4
Suppose -b - 2*b = -9. Suppose -3*y - b = t, 4*t - 3*y = 3*t + 9. Suppose h - t*h = 2*i + 4, 7 = -5*i - 4*h. Solve -i = 5*q + 24 for q.
-5
Let i = 5 + -7. Let a be 2*i*-4 + 1. Suppose -4 = -f + 4*y, -4*f + 4*y + 22 = 6. Solve f*x + a = 1 for x.
-4
Suppose -g = 6 - 14. Let z(x) = x + 1. Let f(r) = 2*r + 2. Let d(j) = g*z(j) - 3*f(j). Let c be d(3). Solve -2*t - 2*t = -c for t.
2
Let j(m) = m**2 + 6*m - 7. Suppose -28 = 2*n + 2*n. Let x be j(n). Let t(o) = 10*o - 1. Let p be t(1). Solve -3*h + p = -x*h for h.
3
Let o(z) = -z**3 - 10*z**2 - 12*z - 7. Let g be o(-9). Suppose 8 = -2*q - 4*b - 4, -5*b = g. Solve -q*p = -p for p.
0
Suppose -a = 2*a. Let h be (a*1/(-2))/1. Suppose -5*u - 2*x + 20 = -3, 0 = -3*u + 4*x - 7. Solve -u*q + 8*q - 20 = h for q.
4
Suppose 4*q - 2*q - 5*p - 118 = 0, 3*q - 131 = -4*p. Let m = -33 + q. Let w = 6 + -2. Solve -w*h = m - 4 for h.
-3
Let r = 6 + -3. Let z be 0 + (-2 - (-3)/1). Suppose z - 4 = -r*l. Solve -l = 2*a - 11 for a.
5
Let b(d) = -2*d - 16. Let q be b(-13). Solve q = -5*t - 5 for t.
-3
Suppose -8 = -4*s + 2*s. Suppose 3*j = 4*h + 31, 4*j - 2*j - 26 = s*h. Suppose l - k - 1 = -2*k, -j*k = -l + 13. Solve -5*a + 10 = -l*a for a.
5
Suppose -21 = -4*y + 2*u - 3, -4*y = 3*u - 13. Solve -l = l - y for l.
2
Suppose -w + 5*v = 18, -3*w + 5*w = v. Solve 0*p + 6 = -w*p for p.
-3
Let m be -3 + (-9)/(-3) - -3. Solve -o + 4 = m*o for o.
1
Let v(n) = -n - 5. Let o be v(-8). Solve -18 = o*i - 6 for i.
-4
Let p(s) = -2*s**2 - 2*s. Let h be p(-2). Let k(v) = 5*v**2 + 2*v + 1. Let u be k(-1). Let o = u + h. Solve 4 = -o*l + 4*l for l.
1
Suppose 1 = 5*a + 6. Let l(o) = -4*o**3. Let p be l(a). Solve 0 = p*k - 3 + 11 for k.
-2
Suppose 0 = -5*y + 5*y + 5*y. Solve 0 = -y*g + 3*g for g.
0
Suppose 0 = i - 5*i. Solve i = d - 2 + 5 for d.
-3
Let f(h) = -2*h + 1. Let x be f(-2). Let o = -29 - -14. Let t be ((-10)/(-6))/((-5)/o). Solve 0 = -2*b + t + x for b.
5
Let h be ((-1)/3)/((-4)/24). Solve -h + 0 = -n for n.
2
Suppose 0 = -2*g + 6*g. Suppose -3*v + 0*v + 2*w = g, w = 0. Solve -2 + v = -o for o.
2
Suppose -g = 3*k - 1 - 2, k = 5*g - 15. Let p be 2/4*4 + k. Let t be ((-1)/1)/(1 - 12/8). Solve t*l = 4*l + p for l.
-1
Let b(d) = d**2 + 4*d + 5. Let k be b(-4). Suppose -2*x + 4*x = 2*i - 2, 7 = -4*x + k*i. Solve -x*j = -j - 2 for j.
2
Let f be (-35)/14*(-12)/10. Suppose 3*o - 37 = 4*q, 0 = -2*o - 5*q - f + 43. Solve 0 = -3*k - 0*k - o for k.
-5
Let g = -38 - -45. Solve 0 = g*u - 5*u - 4 for u.
2
Let f(a) = a**3 - 6*a**2 + a + 2. Let l be f(6). Let q = l - 5. Suppose -q*i = i. Solve i = -0*m + m for m.
0
Let k be 15/12*(-5 + 9). Solve 11 + 9 = k*u for u.
4
Suppose 1 = -c + 5. Let z(i) = i**3 - 3*i**2 - 6*i + 5. Let p be z(c). Let m be (1/2)/(p/(-24)). Solve -x + 0*x = m for x.
-4
Let q(o) = 2*o**3 - 4*o**2 + 3*o - 2. Let k be q(2). Suppose p - 5*b - 60 = -4*p, -p + k = -3*b. Let l = 3 - -1. Solve l*i - 4 - p = 0 for i.
5
Let l be (-6)/3 - 27/(-3). Let i = l - 5. Solve -i*t = -t - 5 for t.
5
Let b(u) = 5*u**2 - 1. Let t be b(1). Solve 17 = -t*s + 5 for s.
-3
Let x be 5/(5/2)*-5. Suppose -8 - 8 = -4*g, -2*h + 48 = 4*g. Let v = h + x. Solve -2*s + 4*s = -v for s.
-3
Suppose -f - a + 1 = 0, -8*f + 11 = -3*f - a. Let t be 32/f - (1 - -1). Suppose 5*j - 3*j = t. Solve -2*u + j*u + 5 = 0 for u.
-1
Let z(t) = t**3 - t**2 - t + 3. Suppose 0*r - 5*w + 20 = -5*r, r + 20 = 5*w. Let c be z(r). Solve 3*f = -12 + c for f.
-3
Let a(y) = -y**3 - 2*y**2 + y. Suppose b + b + 7 = 3*j, 3*b + 3 = 2*j. Let r be 0/(-1) - 0 - j. Let t be a(r). Solve t*h = 2*h + 4 for h.
1
Suppose 5*h = z - 2*z - 17, -2 = 4*z - 2*h. Let q = 1 + z. Let g be 10/((-4)/(-1 + q)). Solve -3*u = 4 + g for u.
-3
Suppose f = -4*f + 2*r, -5*f = 2*r. Suppose -4*v = -m - 2*m + 14, -3*m = -3*v - 12. Let c be v/(-6) + 222/9. Solve f*h + c = -5*h for h.
-5
Suppose 2*z = -4*k + 5*z, k + 13 = 4*z. Suppose 0 = -4*n - k*u + 15, -2*n + 3 = 4*u - u. Solve p - n = -p for p.
3
Let q = -23 + 30. Solve -2 = -9*d + q*d for d.
1
Let b(r) = 6*r + 26. Let v be b(-4). Solve -3 = f - v for f.
-1
Let h(p) = p + 1. Let x be h(-3). Let n = x - -4. Solve n = -4*b + 3*b for b.
-2
Let p(a) = a**3 + 8*a**2 - 11*a - 13. Let m be p(-9). Solve 0 = -2*r + 11 - m for r.
3
Let c(g) = 2*g**2 + 7*g - 4. Let h be c(-5). Let o = 4 + h. Solve -5*a - o = -2*a for a.
-5
Let u = 11 + -7. Solve u*h + 8 = -4 for h.
-3
Let a be 15/21 - (-4)/14. Suppose b + 15 = 6*b. Let j = b - a. Solve j*p - 4*p = 0 for p.
0
Let h be 0*(6/(-4))/(-3). Let v(y) = y**2 - 2*y + 1. Let x be v(0). Solve 2*i - x + 3 = h for i.
-1
Let j be (-14)/4 + 2/(-4). Let a be (-60)/33 + (-14)/77. Let k = a - j. Solve -k*f + 2 = -3*f for f.
-2
Let x = 25 - 7. Suppose 6*j - 270 = j. Let y be (-4)/x + 12/j. Solve y*l - 3*l + 9 = 0 for l.
3
Let z be (25/(-10))/((-2)/(-4)). Let c = -1 - z. Suppose 0 = 5*u + 2 - 12. Solve -u + c = -x for x.
-2
Let r(f) = f**3 - f**2 + 2*f + 6. Let l be r(-6). Let q be l/(-30) - 4/(-10). Solve -5*z + q = -11 for z.
4
Let s be 78/21 + (-8)/(-28). Suppose 4*u - 53 = -s*i - 5, -3*i + u + 52 = 0. Solve 4*c = -4 - i for c.
-5
Suppose 2*z - 3*c = -4, 3*z - c = -2 + 3. Suppose 2*w = 3*a, 3*w = 2*a + 4 + z. Solve 0 = 4*f - 1 - w for f.
1
Suppose 3*k + 5*s = -13, -2 = -2*k - s + 1. Suppose g + 3 + 3 = 3*t, 4*g + 2*t - 18 = 0. Suppose 0 = q - i - 2, -q + k*q - 30 = -g*i. Solve 2*p + p = q for p.
2
Let i(g) = g**2 - 4. Let r be 0 - 2/(6/(-9)). Let l be i(r). Solve 3*j = l*j + 2 for j.
-1
Suppose 0 = 4*a - 111 + 87. Solve 5*y + a = -y for y.
-1
Let g(k) = -k + 9. Let m = -13 + 19. Let z be g(m). Solve -z*o = 4 + 5 for o.
-3
Let s be 16/24*42/4. Suppose -4*l + 5*p - 5 = l, -s = -l - p. Solve -2*x = -l*x + 3 for x.
3
Let b(i) = i + 2. Suppose 3 + 1 = 2*d. Let o be b(d). Solve o*n = -0*n + 8 for n.
2
Let p be (2 - -1) + (-4)/4. Solve 3 + 1 = -p*b for b.
-2
Let i be (-2)/5 + (-51)/(-15). Suppose -p - 8 = -i*p. Solve -h - p = h for h.
-2
Let x = -21 + 16. Let k(t) = t**2 + 5*t. Let b be k(x). Solve -20 = -b*o - 4*o for o.
5
Let o be (0 + 0)*(9/6 + -2). Solve o = 4*x - 4 for x.
1
Suppose -3*t = -9*t. Suppose 2*y = a - y + 3, 5*a + 5*y - 65 = 0. Solve 3*s = -t*s - a for s.
-3
Suppose t - 15 = -4*r + 2*t, 0 = 4*r + 5*t - 45. Suppose r*w = w + 28. Solve 2*y - w*y = 15 for y.
-3
Suppose 4*f = -2*z + 24 - 4, z + 14 = 4*f. 