 for v.
5
Let q = -1 + 5. Suppose -3*d - 5 = -q*d. Let w be (3 + 0 - -1)/1. Solve 0*s = -l + w*s - 17, -4*l = d*s + 5 for l.
-5
Let b be (-12)/(-6) + 20/4 + -3. Solve 5*j - 20 = j, -b*y - 2*j = -6 for y.
-1
Suppose i + 3*f = -0*i, 2*f = -5*i. Suppose o - 3*l = -2*o - 12, -5*o + 3*l = 14. Let w be (-4 - (i - -1))*o. Solve -3*k = 2*k - w*d + 5, 2*k = 4*d - 2 for k.
-1
Let w(p) = -2*p - 4. Let o be w(-7). Let a(l) = l**3 - 11*l**2 + 10*l. Let z be a(o). Suppose -4*k = -z*k - 16. Solve j = k*r - 2 - 12, -2*r + 6 = -j for j.
2
Let m(i) = i**3 - 53*i**2 + 101*i + 53. Let a be m(51). Solve -3*g + 2*q - 14 = 0, -3*g - a*q - 1 = -3 for g.
-2
Suppose 5*w + 34 = 7*w - 5*t, 0 = -5*w - t + 58. Solve 5*o + 21 = -4*k, 3*o = -w - 3 for k.
1
Let q be (-1232)/(-210) - 2/(-15). Solve 3*d + 2*u + q = -2, 10 = -d + 3*u for d.
-4
Let l = -731 - -734. Solve f + 4*f = t - 3, 3*t = -l*f + 9 for f.
0
Let h be 2655/20 + (-3)/(-12). Suppose 3*o - 7 + 94 = 3*g, 5*g + o = h. Let b be 12/(-54) - (-276)/g. Solve -3*p = -2*k - b, -4*p = 5*k - 0 + 2 for k.
-2
Suppose 431*r + 32 = 439*r. Solve -24 = -r*l - 5*v, 12 = -v + 4*v for l.
1
Let u be (31 - 1) + 0/5. Let w = 34 - u. Let c be (8/10)/((-2)/(-5)). Solve c*x = v + w*v + 7, x - 6 = 5*v for x.
1
Suppose -3*p + 23 = -4*o, 4*p - 9 = 9*o - 8*o. Solve -p = h - x, 3*h + 2*h + 17 = 2*x for h.
-5
Let w(a) = -4*a + 6. Let q be w(2). Let j be (7 + -10)*2/q. Solve -3 = -3*m, -4*m = -5*x - j*m - 26 for x.
-5
Let j be (-4)/3 - (-160)/48. Suppose y = -2, 5*c - 3*c - 5*y - j = 0. Let h be (2 + 1)/((-3)/c). Solve -6 = d - 5*b, 8 = 4*d - 0*b - h*b for d.
4
Let g be 86/11 - (26/(-22) + 1). Solve -3*l = -3*v + 12, -g*v + 3*v = -l - 8 for l.
-3
Let a(p) = p + 5. Let n be a(5). Suppose -t - 5 + n = 0. Solve -i + 0*i + t = -3*k, i + 3 = -5*k for i.
2
Suppose -4*v = -v - 18. Suppose v*s - 8*s = -18. Solve -3*y - 3*t = -s, 3 = t - 2 for y.
-2
Suppose 16*m + 54 = 19*m - 3*f, 0 = -m + 2*f + 21. Solve 4*u + 2*t = -14, -5*u + 3*t = -t - m for u.
-1
Let n = 205 - 119. Suppose -4*i - 68 = -7*r + 2*r, -5*r - 2*i + n = 0. Solve 0*x - x = -4*y - 12, -2*y = 2*x + r for x.
-4
Let t be (-16 + 16)/(4 - 1). Suppose -2*a + 4 + 14 = t. Solve 2*s + 6*n + 7 = n, 4*s + 5*n + a = 0 for s.
-1
Suppose 0 = 5*r - v - 3*v, 4*r + 3*v = 0. Suppose b - 3*p + 4 = r, -2*p = -4*b - 1 + 5. Solve -3*q + 5 = -2*t, -b*t = -3*q - t + 4 for q.
1
Suppose 0*l = -l + 11. Suppose 3*o = 2*o + 2. Let z be l + ((-12)/o)/(-2). Solve -c + 3*m = -5*c + z, -4*m = 2*c - 2 for c.
5
Let f = 13 - 9. Suppose 5*p - 6*p = -f. Suppose i - p*i + 75 = 0. Solve 4*m + 20 = 0, -4*m = 5*r - 2*m + i for r.
-3
Let u = 292 - 289. Solve -4*s + u*p - 30 + 3 = 0, -5*p = -4*s - 37 for s.
-3
Let t be 2*(-3)/9 + (-72)/(-27). Solve 8 = 4*i + o, -4*i = -0*o - t*o - 20 for i.
3
Let k(q) = -q**2 + 6*q + 37. Let x be k(-3). Solve 8*j - 10 = 4*j + 2*m, j = 3*m + x for j.
1
Let n(x) = x**3 + 4*x**2 + 2. Let z be n(0). Solve 0 = 3*b + z*u - 1, -b + u = 2*b - 4 for b.
1
Let h be (36/48)/((-9)/(-24)). Solve 5*w - 27 = -h*z, -3*w + 12 = -12*z + 9*z for w.
5
Let q = 29 + -29. Suppose m - 90 = -4*m + o, -4*m - o + 72 = 0. Suppose -4*u = -u - m. Solve s + q*s - u = -3*a, -3*a = -s for s.
3
Suppose -r - z = -2, 2*z = -4*r - 3*z + 7. Solve 3*h = 4*x - 11, -3*h + x = r*x - 1 for h.
-1
Suppose -w + 5*w - 8 = 0. Let k be ((-16 - 0) + w)/(4/(-2)). Solve 4 = -5*b - 2*x + 17, x + k = 2*b for b.
3
Let l = 405 - 402. Solve l*t + 9 = 4*j + 1, 6 = 3*j + 2*t for j.
2
Let f(q) = 7*q + 2. Let z be f(3). Suppose 8 = -3*s + z. Solve 5*d = -t - 3*t - 10, s*t + 4*d + 8 = 0 for t.
0
Let i be 2/1*7/((-42)/(-9)). Solve 0 = -2*r - j - i*j + 6, -5*r = -2*j + 21 for r.
-3
Suppose 0 = -3*j - 3*d + 6*d + 624, 0 = -5*j + 3*d + 1040. Suppose -14*w - 2*w + j = 0. Solve 0 = -3*a + 4*l + 7, -4*l = 5*a - 46 + w for a.
5
Let p be (1430/(-44))/((-1)/2). Let o = p + -63. Solve -4*t = 3*n + 25, 0*t = -t + o*n + 2 for t.
-4
Let y be 20/11 + (-28)/(-154). Let z be -2 + (-54)/(-12) + (-1)/y. Solve z*t + 4 = 3*g + 11, -g = t + 4 for g.
-3
Let v = 214 - 300. Let g = 90 + v. Solve -5*j - 3*c = 11, 0 = -2*j - g*c + 3*c - 5 for j.
-4
Let a = 1 - -7. Suppose 2*b - a = 4. Let u be (-5)/(-2*3/b). Solve 5*c = u*t - 50, -5*t + c + 11 = -19 for t.
5
Suppose 13 + 117 = 26*b. Solve w + m = -1, 1 = -2*w + w - b*m for w.
-1
Suppose 5*a + 95 = 125. Solve 13 = -v - 0*v + 4*y, -a = -3*y for v.
-5
Suppose 2*r = -9 + 5. Let c be r/(-12) + 187/102. Solve -35 = 5*v - m - 13, -5*v = -c*m + 19 for v.
-5
Let q be 4 - 6 - (-23 - -1). Suppose 3*g = -2*g + q. Suppose 2*r - g = r. Solve 2*z + 5 = -5*v + r, -3 = -3*z - 3*v for z.
2
Let r = -66 + 70. Let h(v) = -3*v**3 + 11*v**2 + 3*v + 6. Let k be h(r). Solve 5*z = 4*y - 5*y - 3, -k = -y for z.
-1
Let w = -14 - -79. Suppose w*y - 67*y = -4. Solve 3*r - 7*r + 12 = 0, -y*n - 22 = -4*r for n.
-5
Let v(q) = -7*q - 16. Let l be v(-3). Solve -g - 5*b + 18 = 0, l*g = g + 5*b - 28 for g.
-2
Suppose 240*h - 243*h + 18 = 0. Solve -20 = f + 4*x, -h*x + x - 20 = 0 for f.
-4
Let q be ((-126)/(-27))/((-2)/(-3)). Solve 0*t = -t + 4, 2*t + q = -5*s for s.
-3
Let m = 660 - 658. Solve -m*w = -b + 4, -5*b = -3*w - 1 - 5 for w.
-2
Let m be 2/(((-6)/15)/(-1)). Let k = 3 - 1. Let x be k - (-2 - -4) - -4. Solve 4*y = x*a, -2*a + 5*y - 1 - m = 0 for a.
2
Suppose -4*l + k = -2*k - 44, -4*l - 5*k = -44. Suppose f - 5*f - 5*j = -65, -1 = -j. Solve -p + 3*p + 3*b = -l, b - f = 4*p for p.
-4
Suppose -24*i = 259 - 307. Solve 0*m - i*j = -5*m + 13, 0 = 5*m - 4*j - 11 for m.
3
Suppose 12*v = 4*p + 9*v - 28, v = -p. Solve w + 0 + p = 2*f, 4*w = -5*f - 16 for w.
-4
Let i = -218 + 221. Solve 2*y - 6*h + 3*h - 5 = 0, 3*h + i = 0 for y.
1
Let u be 0/((-3 - -2)*2) - -2. Solve -k + 1 = -m - 4, -4*m = u*k + 8 for k.
2
Suppose -4*t + 8 = 0, -5*g + 5 + 0 = -5*t. Suppose g*s + s = 4. Suppose -2*h + 2*n + 6 + 0 = 0, -n = s. Solve -m - x = -3, 5*m = -h*x + 14 + 7 for m.
5
Suppose 0 = -2*g - 2*j + 8, -g = 4*j - 5 - 5. Suppose -15*n = -14*n - 2. Suppose 1 + 11 = 3*r. Solve 0 = -b - g*d - 8, r*b - 3*d + d + n = 0 for b.
-2
Let b(a) = 14*a**2 - 2*a - 1. Let f be b(-1). Suppose f*m = 14*m. Solve m = -5*i - 0*w - w + 26, 5*w + 5 = 2*i for i.
5
Suppose i = -i + 18. Let j(d) = d - 4. Let u be j(i). Suppose 2 = -4*x + u*x. Solve -x = -4*v + z, z = 7*v - 2*v - 3 for v.
1
Let t(v) = -v**2 + 6*v - 3. Let s be t(5). Suppose p - 19 = 8*b - 5*b, 4*p - 3*b = 31. Suppose p*y = s*y. Solve 3*c + 5 = 5*k - y*k, 4*k = 2*c + 6 for k.
4
Let i be (-88)/(-8)*2/11. Solve i*a + 7 = -2*a + l, 4*a = -3*l - 11 for a.
-2
Let g be -1 - -2 - (-19 + 6). Solve 0 = -p - y - 6, -g = 5*p + y - 0*y for p.
-2
Let f = -16 + 19. Let n(x) = -x**2 + 2*x + 3. Let s be n(f). Solve -5*u + 2*l = -u + 10, -5*u + 2*l - 10 = s for u.
0
Let o be (-18 + -2)*52/(-130). Solve 8 = -4*l + l + j, -j - o = l for l.
-4
Let z(u) = u**2 + 2*u. Let s be z(-4). Suppose 2*b = -q - 3, 2*q - s = 4*b + 18. Solve q*n - 5*l - 37 = n, 4*l + 35 = 5*n for n.
3
Let n(z) = 4*z + 22. Let d be n(-5). Let c be 6*d*(-6)/(-18). Solve -4*k + 36 = -c*q, -k - 2*k - 3 = 3*q for q.
-5
Let a = -1220 + 1224. Solve g - 6 = a*t, -5*g + 0*t - 20 = 5*t for g.
-2
Let t be 10/(-25) + (477/5 - -1). Let d = -93 + t. Solve -3*p = -2*p - 1, 0 = -4*j + d*p - 7 for j.
-1
Let n = 23 + -20. Suppose -y = -n*d + 22, 4*d + 2*y = -0*y + 16. Solve 0 = -5*m + 2*m + 2*s - d, 6 = -2*s for m.
-4
Let m = -9 - 58. Let w = m - -67. Solve 4*z - 3*f + 2 = w, 2 = 2*f - 3*f for z.
-2
Suppose -1 = -3*c - w + 4, 3*c + 5*w = 1. Solve c*t = -4*k + 2, -k + 5 = 6*t - t for k.
0
Let k be ((-125)/20)/(15/(-120)). Suppose -2*p - p = 2*x - 52, x - 31 = p. Let y = k - x. Solve 24 = 4*z - 2*i, -5*z = i + i - y for z.
5
Suppose 4*x + 4 = 0, -2*x + 0 + 3 = n. Suppose 0 = n*w - w - 8. Solve -3 = 2*r - 5*r - 4*i, w*r = 5*i + 25 for r.
5
Suppose 4 - 1 = -3*w. Let m be w/(-2 - 0)*4. Suppose 0*k - m*k = -6. Solve -k*v - 24 = -u - 2*u, -u + 5 = 0 for v.
-3
Suppose -5*x + 90 = 5*a, 2*a + x = 2*x + 42. Solve 4*z + w = a, -5*z + 2*w + 13 = 1 for z.
4
Let c = -16 + 18. Suppose -5 = -a - 3, -j + a = c. Solve -3*v + j*z + 5*z - 28 = 0, 0 = 3*v + 3*z - 12 for v.
-1
Let g = 53 - 56. Let q be ((-2)/(-4))/((3/(-2))/g). Solve -5*j - 10 = -4*b - q, -2*j = -b + 6 for b.
-4
Let g be 15/(-20) - 5/4. Let p be (g/12)/(6/(-27))*4. Solve p*k 