- 1 = -v, 0 = -i*f + 3*v - 0 - 3 for f.
0
Let r(v) = 44*v + 22. Let w be r(5). Let d = w - 239. Solve -3*n + 4 = p - d, -2*n = 3*p - 14 for p.
4
Let q = 2548 - 2548. Solve 7*z = 5*z + b + 5, z + b + 5 = q for z.
0
Suppose -z + 24 = 3*f, 63*z + f = 61*z + 13. Solve -2*a = -m + 8 - 11, 5*a = z*m + 10 for a.
-1
Let a = 24 + -16. Let m(x) = 137*x - 959. Let q be m(7). Solve 3*v + j + 0 = -a, -4*v - 5*j + 4 = q for v.
-4
Suppose 0 = 3*x - 24 - 0. Suppose -x*z = 6*z - 70. Solve 2*v = -g + z, 3*v + 0*v = 3 for g.
3
Let u = 3936 + -3927. Solve 0*p = -3*x + p + 1, -2*p - u = x for x.
-1
Suppose 81 = -6*k - 73*k + 160. Solve -2*t = 3*r + k, 133*r - 132*r + 4*t - 13 = 0 for r.
-3
Suppose 2*k + 8 = 5*m - 17, 0 = m - 4*k - 5. Solve -3*t - 2*t + m*i = 45, -11 = 4*t + i for t.
-4
Let o = -50 + 24. Let w = 36 + o. Let k(c) = 2*c - 15. Let j be k(w). Solve 3*p = -4*s - 25 + j, 3*s = -p - 15 for p.
0
Let f = 40700 - 40698. Solve -2*q - 4 = -6, 0 = -f*u + q - 3 for u.
-1
Let r be ((-7)/((-168)/30))/((-6)/(-24)). Suppose 5 = g + 5*i, -4*g = 3*i - 47 + 10. Let q be 2*2/(-4) + 3. Solve q*n = 4*n + g, -13 = -4*a + r*n for a.
-3
Suppose 5*f - 30 = 5*a, -2*a - 37 = f - 25. Solve -4*b + 115*g - 116*g + 8 = f, -2*g + 6 = 3*b for b.
2
Suppose 6*r - 20 = -3*v + 5*r, 52 = v + 6*r. Solve 0 = v*p + 4*l + 4, -5*p + 2*l + 21 = -2 for p.
3
Let a(t) = -t**2 - 2*t + 6. Let r be a(-3). Suppose -5*i = -2*i - r. Suppose -v + i = -2. Solve -h = -v, -4*h = -2*n - 3*h - 11 for n.
-4
Let s(h) = -16*h + 8. Let k be s(1). Let v be -5*(20/k - (-9)/6). Solve 0 = -b + 2*b + p - 1, 0 = v*b - 2*p + 2 for b.
0
Suppose -15*x + 17 = 332. Let u be -2 + -3 - (2 + 4 + x). Solve 6 = -4*w - 0*t + 2*t, -5*w = -5*t + u for w.
-1
Suppose -5*f + 220 + 40 = 5*x, -5*f + 228 = -3*x. Suppose 2*b + 2*b - f = 0. Suppose -24 = -6*q + b. Solve 4*o - 1 = h + q, -5*o = -3*h - 7 for o.
2
Let h(l) = -l**3 + 31*l**2 + 30*l + 82. Let z be h(32). Solve 24 = 5*j + 4*i, 4*j = -i - 1 + z for j.
4
Let d be (25 + -10)/((-4)/5*(-3)/4). Solve 4*c + d = 2*t + 7*c, 4*t + 2*c = 30 for t.
5
Let q = -219 + 243. Suppose 21*u = q*u. Solve 5*k = g - 25, u = 3*k - 7 + 19 for g.
5
Let c(o) = -8 + 2*o - 4*o + 4. Let n be c(-5). Let a be n + 1 + 2 + -1. Solve -j = 3*z - 17, -6 - a = 3*j - 4*z for j.
2
Let g(z) = -z**3 + 5*z**2 - 2*z - 5. Let n be g(4). Suppose 0 = 140*p - 134*p - 12. Solve 5*a - 2*v = -29, p*a + 6 = -n*v + v for a.
-5
Let v(g) = -237*g + 240. Let b be v(1). Solve c + 4*c = 3*p - 7, p = b*c + 5 for c.
-2
Let w be ((7 - 4) + 85)*5/(-5). Let i be (4/6)/(w/(-396)). Solve g - 3 = -3*z + 7, g + 8 = i*z for z.
3
Suppose -2*r + 2*u - 19 = -27, r + 5*u = -8. Solve z - 35 = 2*o - 29, r*z - 13 = 5*o for z.
4
Let g be (24/6)/(2 - (-3)/((-12)/(-8))). Solve -4*r + 3*l = -7, 3*l + 2*l = -4*r - g for r.
1
Let s be (136/6)/(17/(-51)). Let y = s - -72. Suppose x + 0*x = 2. Solve x*o - 5 = o - y*c, -4*c = 0 for o.
5
Let a(p) = 2*p**3 + 17*p**2 + 3*p - 43. Let z be a(-8). Let h(v) = v**2 + 15*v + 39. Let m be h(z). Solve -k - 2 = 3*s - m, 0 = 4*s - 4 for k.
-2
Suppose 384*n + 528 = 406*n. Let g be 4*1*(3 - 2). Suppose -g*s - 8 = -n. Solve -4*l + 3*d - d - 4 = 0, -s = 4*l - d for l.
-1
Suppose -f - 3*b - 12 = 0, 1 + 17 = 4*f + b. Solve -13*x - 18 = -18*x + 4*v, -4*x - v = -f for x.
2
Suppose -5*m = -4*m. Let h be (16 - (7 - 4))*1. Suppose a - k = h, k - 3*k = -3*a + 37. Solve 0 = -2*v - 0*v + 3*u - a, 4*v - 3*u + 7 = m for v.
2
Suppose -23*f - 51 + 97 = 0. Solve f*j + 29*b - 28*b = -8, 10 = -j - 2*b for j.
-2
Let n be -21*(1 - -4 - 7). Let j be ((-44)/(-6) + -3)*n/14. Solve -j = p + 4*c, 5*c - 17 = 5*p + c for p.
-5
Let a be (5*2/(-6))/((-1000)/1200) - -1. Solve -a = 4*r + 4*h + 21, -4*r + 3 = -5*h for r.
-3
Let s = -28598 - -28613. Solve 0 = 5*i - 2*p + 4 - 3, -5*i - 5*p - s = 0 for i.
-1
Let x be ((-3)/6)/((-3)/18). Suppose 4*h + 8 = -v + 80, -4*h = -x*v - 72. Suppose -2*p = -4*n + h, -n + p + 2 = -3. Solve n*q + 14 = g, 3*g - g - 1 = -q for q.
-3
Let g be (-22)/(-6) + (-3)/(-36)*4. Suppose -2*h = -3*q + 9, 0 = h - 4*q - 2 + 14. Solve 4*f - 2*u = -4, -5*f - 3*u + g*u + 1 = h for f.
1
Let r be 0/((-3 - -4)*-1). Let x(n) = 154*n - 3691. Let t be x(24). Solve 5*w = 3*d - 8*d + t, -5*d - w + 13 = r for d.
3
Let n = -2116 + 2125. Solve -n = 3*h, -5*h - 30 = -4*i + 9*i for i.
-3
Let x be ((-60)/(-18))/5 - (11 + (-124)/12). Solve -g - n - 2 = 0, -4*g - 2*n = -x*g + 4 for g.
0
Let k(m) = m**2 + 20*m + 39. Let j be k(-18). Let z be j/6*28 - 2. Let l be 32/z - (-6)/(-9). Solve -l*d = 4*n + 16, -n - 11 = 2*n + 2*d for n.
-5
Let w be 82/4 - 5/10. Suppose -5*t - 5*a = -w, -t - 1 + 7 = 2*a. Let x(f) = 36*f - 214. Let r be x(6). Solve 4*d = 3*k - 7, -t*k = -r*d - k - 3 for d.
-1
Let o = 114 - -217. Let k = o + -327. Solve -25 = 5*z + k*u, 3*z + 2*u = -u - 15 for z.
-5
Suppose -2*t + 7*t + 2*u = 346, -2*t - 5*u = -130. Suppose -5*s + 7*m = 3*m - 175, 2*s - 5*m = t. Solve 2*k + 33 = -5*i, -5*k - i - 2*i = s for k.
-4
Let w be -14 + ((-245)/(-55) - 36/(-66)). Let x(b) = -34*b - 304. Let m be x(w). Solve -5*s + k + 0 - 1 = 0, -m*s = k + 6 for s.
-1
Let i be 7/(-1) - (-102 - -95). Solve -5 = 2*y + a, -3*a + 0*a - 9 = i for y.
-1
Let v be (-39)/(-3) - (5 - -4). Solve -l - 10 = -13*s + 10*s, v*l = 8 for s.
4
Let t be 36/16 + (-3)/12. Suppose 0 = 3*j - 9, -39 = -t*q + 8*j - 13*j. Suppose 3*p + 3*z = 10 + 11, 16 = 2*p + 3*z. Solve m - q = 3*a - p, 0 = -a - 2 for m.
1
Suppose -4*u = 56 + 60. Let r(o) = -2*o**2 - 57*o + 29. Let m be r(u). Solve -l + 5*z - 19 = 0, -l + z + m = 3 for l.
1
Suppose -31 = -3*m - 5*t, -41*m = -42*m - 3*t + 17. Solve 2*s + 0 - 7 = 3*o, 0 = -5*s - m*o - 30 for s.
-4
Let d = -787 + 477. Let o = -306 - d. Solve 0 = -r + 4*y - 3*y + o, 2*y + 13 = 3*r for r.
5
Let i = -163 + 38. Let a = i + 129. Solve -3*l + u = 9, -a*u = l + 2*l + 24 for l.
-4
Suppose 2*b + 8 = 12. Suppose 0*q - 3*o - 9 = -q, -o = b. Suppose a = 2*j + q + 2, 2*a - 10 = 0. Solve -2*u - 4*d - 24 = j, -d = 2*u - 7 + 16 for u.
-2
Suppose 14*o - 16*o - 4 = 0. Let z = 17 - o. Suppose -z = -10*b + 9*b. Solve -j - 3*u = 13, 3*j = -0*j - 4*u - b for j.
-1
Let u(s) = 2*s**3 + 4*s - 4. Let j(l) = l**2 - 16*l + 29. Let r be j(14). Let y be u(r). Solve -2 = d, y*d + 8 = -0*o - 4*o for o.
-1
Suppose -112 = -10294*v + 10280*v. Solve 4*x = 5*r - 4 - v, -x = -5*r + 18 for x.
2
Let i(b) = -2*b - 3. Let l be i(-4). Suppose 2*h - 4*v - 74 = 0, 6*h - h + l*v = 260. Let k = h + -42. Solve 0 = 4*p + 2*c + 2, 0*p + k*c + 33 = 4*p for p.
2
Let n(t) = -16*t - 62. Suppose 35*w + 148 = 8. Let l be n(w). Solve -l*b = 4*m - 6, -17 = -3*b + 3*m - m for b.
5
Suppose -134*a + 243 = -293. Solve a*q + w - 2 = 0, 5*q + w = 11 - 8 for q.
1
Let a(z) = -3*z - 2. Let y be a(-2). Let p be (27/(-18)*1)/((-1)/26). Let j = -25 + p. Solve -y*l + 5*l = -5*v - j, 5*l - 4*v = 17 for l.
1
Let n(m) = m**3 + 2*m**2 - 8*m + 2. Let p be n(-4). Suppose -p*i + 2*i - 7*i = 0. Solve i = -r - 3*g - 0 + 2, -5*g - 30 = -5*r for r.
5
Suppose 49 = 2*t - 195. Suppose -125*c = -t*c - 15. Solve 4*x - 2*h - 4 = -4*h, 4 = c*x + 2*h for x.
0
Suppose 723*l = 717*l + 6. Let h be (-2 - l) + 4 - (4 - 7). Solve -h*z + 24 = -a, 0 = 5*z - a + 5*a - 9 for z.
5
Suppose 0 = -5*s + 20, -n - 4 = 5*s - 19. Let z be 8 - (35 + n)/5. Solve -4*t - 3*i - 11 = 0, -4*i = -z*t + 13 - 35 for t.
-5
Let i = -5725 - -5730. Solve -2*u - i*g - 4 = 0, -18 = 3*u + 5*g - 12 for u.
-2
Suppose -299*t + 277*t + 418 = 0. Solve -x + t = -4*j, -4*j + 20*x = 16*x + 16 for j.
-5
Let o = 10313 - 10272. Solve -2*q = -5*u + 1, o - 36 = 3*q - u for q.
2
Let k = -18 - 7. Let v = -35 - k. Let x be 3/(-1) - (1 + v). Solve -g + 1 = -m, g = -3*m + 5*g - x for m.
2
Let p = -122 + 125. Suppose -143 = -p*o - 113. Solve -5 = -3*d - 5*c, -o + 2 = -2*c for d.
-5
Let r = 907 + -905. Solve 52*g - 54*g = -2*i + r, -i - 4*g + 6 = 0 for i.
2
Let k be (-14)/(-2)*10/35. Suppose -k*s - 7 = -5*j, -5*j + 55 = 5*s - 10*s. Let z = s - -19. Solve z*b - x = -0*x - 3, -4*x = 0 for b.
-1
Let o be (-14)/(-2) + 21/(-126)*12. Solve -o = -4*v + w - 4, 4*w + 4 = 5*v for v.
0
Suppose -26*y = -53*y + 29*y - 2. Solve -26 = 5*g + 4*s + y, -6 = -2*g + 4*s for g.
-3
Let s = -456 + 470. Suppose -s = -u - 11. Solve u*y + 6 = r + r, y + 2 = 2*r for y.
-2
Let d be -2 + (-3)/3 - (5 + 2)*-1. Solve -2*l - 2*k + 14 = 0, d*l 