r c.
1
Suppose 3 - 23 = -4*w. Suppose 3*r + 3*t + 2*t - 31 = 0, -w*r - 2*t = -20. Let n be 5/2*2 + -2. Solve o + 14 = n*i, o - 2*i = -r*o - 21 for o.
-5
Let b(g) = 3*g**3. Let z be b(1). Suppose 0 = 2*x + 2*x + 2*j + 2, 5 = -4*x - z*j. Solve 3*a - x = -v + 7, 0 = 3*v + 12 for a.
4
Let t be 2*(39/(-6) - -2). Let h(w) = -w - 1. Let q be h(t). Suppose 38 = q*k - 4*k + 5*p, 2*k + p = 16. Solve 5 = 5*v - 2*m + k*m, 0 = -2*v - 5*m - 10 for v.
5
Suppose -51*d + 32 = -43*d. Solve 0 = -5*h + 4*q - 5, -d*h + 3 = -7*h + q for h.
-1
Let x be (2/6)/(9/81). Suppose -x*l - 5 = -5*a, 1 = -3*a + 2*l + 3. Solve -2*i - 2 = -2*m, -6*m + a*i = -m - 8 for m.
4
Suppose 2*t = 3*x + 3, -5*x = 7 - 2. Suppose -6 = -2*n - t. Suppose 6*h = n*h + 12. Solve -2*s = h*l - 26, -2*l - 3*s = -7 - 12 for l.
5
Let j be ((-8)/(-4))/(8/12). Let k be 4 - (j - (-1 + 2)). Solve -4*n + 0*n = -4*w, k*n + w = 9 for n.
3
Let s be ((2/(-3))/1)/(22/(-99)). Solve k = s*g - 1 - 12, -4*g + 10 = -5*k for k.
2
Let m be 6*(-4 + 28/8). Let h be -9*(9/m)/9. Suppose v - 2*f = 3 + 1, 0 = -h*v + 3*f + 6. Solve v = -5*n + 4*p, -4*n + 5*p + 1 = 10 for n.
4
Let n be (-17)/(187/22)*-2*1. Solve 0 = -2*k + 6*k + 5*l - n, -2*k + 2 = 4*l for k.
1
Suppose 0 = -i - 5*a + 25, -a + 3*a = 8. Let r = -1939 - -1953. Solve 2*n + p = -2*n + r, -n - 6 = i*p for n.
4
Let v be ((-20)/8 - 0)*(-16)/20. Let a(f) = -f + 1. Let k be a(-6). Let d be (-2)/k + 2/7. Solve -2*h - 8 = d, v*p - 4*p + 5*h = -30 for p.
5
Suppose -121 = -18*k - 31. Solve -2*l = -4*l - g - 3, -5*l = k*g + 20 for l.
1
Suppose -3*b = -3*j - 294, 4*b - 295 = j + 2*j. Let n be (3 - 2) + (-2 - j). Suppose g - n = -3*g. Solve 0 = k + 4*a - a - 16, -k - 5*a + g = 0 for k.
4
Suppose 4*f + 58 = -q, 6*q - f + 89 = 4*q. Let v be 2/(-7) + q/(-14). Suppose 0 = -2*n + 5 + v. Solve 4*w - 22 = -2*u, 0*w = -4*u + n*w - 16 for u.
1
Suppose 6*z = 18*z - 72. Let u be (-6)/z + (-6)/(-3). Solve 2*m + 3*m = 2*o + 5, -m = 4*o - u for m.
1
Suppose 2*a - a = 4. Suppose a = -d + 6. Suppose -3*b + 3 = -9. Solve -4*i - 4 = b*t, -2*i - 4 = t + d*i for t.
0
Let d(v) = -6*v**2 + 7*v. Let i(a) = a**2 - a. Let s(f) = -d(f) - 4*i(f). Let c be s(2). Let k = -9 - -13. Solve j + o + 4 = 0, -j - c*o + 5*o - k = 0 for j.
-4
Suppose h = -3*b + 14, -3 - 12 = -5*b. Let o = 28 - 17. Suppose d + o = 5*g - 5, 0 = -3*d - 3*g + 24. Solve 0 = -3*j + 2*w + 4, -d*w + w = -h*j + 7 for j.
2
Suppose -29*d = 7*d - 540. Solve -d = 3*r - 2*r + 5*b, 3*b + 9 = 2*r for r.
0
Let x = 103 - 78. Let o be (-8)/(-20) + 115/x. Solve -4*d + o*a = -2, 5*d + a + 12 = -0 for d.
-2
Let y be (-25)/10*28/(-5). Let q be (-4)/y - (-23)/7. Solve -3*n - 10 + 0 = -b, 0 = -5*n - q*b - 12 for n.
-3
Suppose 0 = z + 7 - 0. Let u(i) = i**3 + 5*i**2 - 14*i + 4. Let k be u(z). Solve v + 4*o + 0*o = 15, -k*v + 4*o = 40 for v.
-5
Let h be (36/8 - 4)*10. Let a(b) = -1 + 0*b - 22*b - 10*b + 6*b. Let z be a(-1). Solve 0 = 2*u + h*t - 4*t + 7, -5*u = 5*t + z for u.
-2
Suppose 15 = -3*x, 3*c - 4*x = -5 + 34. Suppose 5*o - 2*o = 6. Let g = o + 2. Solve 3*n - g*h = 5, 4*n - 5*h = -c*h for n.
-1
Suppose -11 = -4*i - q, 19 - 2 = 5*i - 2*q. Suppose -i*l + 8 = -1. Solve -k = -l, 3*c - 5*k = -c - 23 for c.
-2
Suppose 4*j + 760 = 12*j. Let v be -4 + j/10 + (-1)/2. Solve v*s = 0, 5*s + 4 = -u - 0*s for u.
-4
Suppose -12 = -2*p - 4*j, j = 5*p - 7*p + 3. Solve 10 = -4*g + 2*z, p*g - g = 2*z - 10 for g.
0
Let b(p) = -6*p**2 - 31*p + 6. Let a be b(-5). Solve 0*f + a = 5*t - 4*f, 12 = -3*f for t.
-1
Let c(z) = z + 8. Let h be c(-10). Let y = 6 + h. Solve n - 1 = -3*k + 7, -3*k = 2*n - y for k.
4
Suppose 8*g = 9 + 23. Suppose g*i - 54 = -x, -2 = -3*x + 4. Solve 3*m + 4*s - 19 = -s, -s = -4*m - i for m.
-2
Let j(o) = -o**2 + 16*o + 3. Suppose 2*p + 19 - 51 = 0. Let r be j(p). Solve 3*g = 2*u + 11, 6 = -0*g + g - r*u for g.
3
Let i be ((-97)/(-194))/(2/20). Solve -6 = -2*s + u, 9*s + i*u - 15 = 4*s for s.
3
Let t be 28/6*11/((-66)/(-9)). Suppose -2*x = t - 13. Solve 4*i + 12 = 2*v, x*i + 5*v - 4*v + 4 = 0 for i.
-2
Let h(q) = -q**3 - 7*q**2 + 78*q + 2. Let s be h(-13). Solve -n - l = -s*l + 6, -4*l = -3*n - 22 for n.
-2
Suppose 4*v = -v - v. Solve v = -3*t - 4*j - 11, 3*t + 3 = -5*j - 10 for t.
-1
Let z be 20/8 - 2/4. Let r(b) = -b**3 + 3*b**2 - 4*b + 3. Let y be r(4). Let i = y + 32. Solve -16 = 2*t + i*k, 8 - z = t - 2*k for t.
-2
Let f be -3 + 5 + (0/4 - -2). Solve 2*g - 16 = -0*g + 4*s, -f*s - 8 = 0 for g.
4
Let g(u) = u + 15. Let n be g(-11). Let o(z) = -2*z - 4. Let a be o(-4). Suppose -3 = -a*d + 5. Solve 3*l = -9, -d*i + l + n*l = -5 for i.
-5
Let l(d) = -7*d**3 + 3*d**2 + 7*d + 3. Let g(q) = -q**3 + q**2 + q. Let k(x) = 6*g(x) - l(x). Let z be k(-3). Solve z = c - 2*t + 4*t - 2, -2*c = 3*t - 5 for c.
4
Suppose 2 = c - 3*c, 3*c = -5*v - 123. Let g = -21 - v. Suppose 8*a = g*a + 10. Solve -8 = 5*u + a*b, -4*u = -3*u + 5*b - 3 for u.
-2
Let m be 4/7 + (-24)/224*-32. Solve 0*n - m*n + 28 = -4*q, 0 = 3*q + 5*n - 11 for q.
-3
Suppose -3*a - 29 = -0*u + 2*u, -4*u + a - 93 = 0. Let j(x) = -x**3 - 22*x**2 + 4. Let m be j(u). Solve 3*f - m*k - 9 = 0, f + 4*k - 2 = 1 for f.
3
Let j(b) = 2*b**2 + 3*b + 4. Let p be j(-1). Suppose 3*v - 4*v - 3*r = 4, -5*v = p*r - 4. Solve l - 8 = 4*a, -v*l + a = 3 - 12 for l.
4
Let d = 18 + -13. Suppose d*o = 4*i + 36, 3*o - 2*o = -i. Suppose 2*v + 0*v - o = 0. Solve v*z + 20 = 4*p, 0*z - 2*z = 4*p - 4 for z.
-4
Suppose -20 = -6*n + 4*n. Suppose 2*x - n = -3*x - 5*i, 5*x - 14 = -i. Solve -2*q + 2*z - x = -7*q, -q = z - 3 for q.
-1
Let l(t) = -t**2 - 15*t - 40. Let k be l(-4). Solve -4*x = -k*j + 8, -3*j = 5*x + 16 + 18 for x.
-5
Suppose 2*l + 7 - 15 = 0. Let w = l + -2. Suppose 0 = -r + w*s + 16, -4*r - 4*s - 2 = -3*r. Solve 0 = -4*z - 7 - 13, -3*t - 5*z - r = 0 for t.
5
Let y = 10 + -10. Suppose y = -0*m - 2*m + 6, -2*m = -t - 22. Let h = t + 19. Solve 0 = -h*a - 6, -d + 2*a - 1 = -6 for d.
1
Let w = -1120 + 1122. Solve -3*x = l - 0*x + 2, -3 = l + w*x for l.
-5
Suppose -363 = 5*o - 373. Solve -o*i + 28 = -4*w, -5*i - w + 10 = w for i.
4
Let k be (-51)/(-4) - 2/(-8). Let b(j) = -j**3 - 7*j**2 - 2*j. Let i be b(-7). Let h = i - 9. Solve 3*t + t + 3*d = -k, -t = h*d - 1 for t.
-4
Suppose -5*f - 5*p = -35, f + p = 3*p + 1. Suppose -f*z + 23 = -2. Suppose 0 = -3*h + 4*h. Solve 5*i - 10 = h, -4*w + 2 = -z*i + 16 for w.
-1
Suppose 6*k = 3*k + 6. Solve 2*z + 4*b + 8 = 4*z, z - 4 = -k*b for z.
4
Suppose 0 = 3*u + 1 - 4. Let o be (0/(-1) + u)*7. Let b = o + 18. Solve -5*j - 25 = 0, -j = -4*d - 6*j - b for d.
0
Let p be -2*(1 + 4/4) + 2. Let l be 6/9*(1 + -7). Let c = p - l. Solve 4*n = -2*v - c, v + 22 = n + 6*v for n.
-3
Suppose -9*c - 27 + 45 = 0. Solve -c*s + 6*g - 6 = 4*g, -3*g - 6 = 0 for s.
-5
Suppose -16*h = -19*h + 6. Let c be (3/9)/((-2)/(-42)). Let t be 16/c - (-8)/(-28). Solve -h*p = -5*u + 28, -3*u - t*p + 3 + 1 = 0 for u.
4
Let f be (-117)/(-6) + 4/8. Suppose 7*s = 2*s + f. Solve -3*r - 2*k = -0 + 23, -28 = s*r + 2*k for r.
-5
Let u(i) = 8*i**2 + 1. Let c = 43 + -44. Let t be u(c). Solve -t = -3*k + 3*s, -3*s + 3 + 2 = 4*k for k.
2
Suppose -5*r + 0*r = -25. Suppose -6*l + 7 = -r. Solve -l*z + 5*i - 4 + 5 = 0, -10 = -5*z + 5*i for z.
3
Let t(c) be the first derivative of c**2 - 3*c - 8. Let k be t(2). Solve 2*h + 3*i - 4 = -3, h + k = -2*i for h.
5
Let o = 336 - 332. Solve 3*b = 12, o*b = -c + 7 + 7 for c.
-2
Let f(a) = 2*a**2 - 5*a - 2. Let o(m) = 2*m**2 - 5*m + 2. Let p be o(3). Suppose -p = z - 9. Let g be f(z). Solve -6*b + 5*q + g = -2*b, -b + 5*q - 5 = 0 for b.
5
Let f(g) = -g**2 - 12*g + 2. Let o be f(-12). Let j be -5 + -63 + (-2)/o. Let r = -38 - j. Solve 4*y - 10 = d - r, 5*y + 26 = d for y.
-5
Suppose -3*p - 2*f = -2*p - 21, -p - 3 = -4*f. Suppose -7*m = -2*m. Suppose o - 2 + 0 = m. Solve 4*q - 2*x + 4 = 2, 3*x + p = -o*q for q.
-2
Suppose 6*g = 9*g + 15. Let l be (-30)/(-25)*g/2. Let t be l/((-105)/130)*7. Solve 2*s + 4*k = t, -21 = -2*s + k - 4*k for s.
3
Let r = 16 - 4. Suppose v = -4*f + 28, 4*f + 31*v - 32*v - 28 = 0. Solve f = 3*j - n - 10, 2*j - n - r = 0 for j.
5
Let l = -11 + 20. Let v be ((-3)/l)/(1/(-15)). Let c = -58 + 60. Solve w = -2*w - 9, v*b - w + c = 0 for b.
-1
Let g = -135 - -139. Solve 2*p = c + g, c + 4 = -0*p - 4*p for p.
0
Suppose 0 = 35*y - 40*y + 10. Solve 20 = -5*n, -5*n - 6 = 3*g + y f