*o = 5*v - h, 2*v + 5*o = 3*v - 5 for v.
0
Suppose 0 = -44*t + 48*t - 20. Solve -t*q = -5*s - 40, -17 = -4*q - 2*s + 3*s for q.
3
Let c = 13 + -14. Let n = 1 - c. Suppose -3*w + 3*s + 15 = 0, 0 = s - 0*s + 1. Solve -w = -3*j + n*j, -2*t = -j + 12 for t.
-4
Let o(a) = a**2 - 5*a - 10. Let n(t) = t**3 - t**2 - 4*t + 1. Let i be n(3). Let m be o(i). Solve 0 = -4*l + 4*p - 36, 11 = -m*l + 5*p - 29 for l.
-5
Let k = 369 - 369. Solve -15 = -5*p + 4*h, p - 2*h + k = 3 for p.
3
Suppose 1 = 3*j + 4*a, j - 3*j = -5*a - 16. Solve 0*m - 5*i = -4*m + 27, j*m = -i + 6 for m.
3
Let f be ((-4)/(-10))/((-4)/(-20)). Let y = -52 + 52. Let l = 3 + y. Solve -5*h + 1 - f = -3*u, 3*h + l*u = -15 for h.
-2
Let m be -1*22/(-8)*8. Suppose -311 = -39*g + 547. Let n = m - g. Solve n = -3*f - 19 + 4, 5*f + 25 = -5*v for v.
0
Let n be (-19)/(-4) + (-15)/20. Suppose 0 = -6*w + w + 15. Suppose w*q + 0*q + 3*j = 0, 0 = 2*q + 3*j + 5. Solve q*y = n*x + 21, -2*x - 2*x - 4*y = -24 for x.
1
Let t(r) = r**2 + 22*r - 70. Let c be t(-25). Solve 1 = -c*f - 3*l, 2*f + 3*l + 1 + 3 = 0 for f.
1
Let t(p) = 2*p**2 - 6*p - 1. Let i be t(5). Solve -5*z = 4*s - i, 2*z = z + 3 for s.
1
Let s be 324/153 - 2/17. Let v be 3*(-20)/(-24)*s. Solve z + 7*t - 5*t - 3 = 0, v*t - 9 = -z for z.
-1
Let z be 9/(-2)*-2 - 1. Suppose 10*d - z = 8*d. Let r = d - 0. Solve -4*x = -7*x + 5*a + 35, 0 = x - r*a - 21 for x.
5
Let d(t) = -5*t**3 + t**2 - 2. Suppose -y - 7 = -6. Let q be d(y). Solve -c - q = -0*c - 2*m, 5*m = 4*c + 4 for c.
4
Let d be (0/4)/(2*2/(-4)). Suppose 3*n - 6 = -2*y, 4 = 2*n + 2*y - d*y. Solve -z - 3*w - 1 = -n*z, 0 = -z - 5*w - 15 for z.
-5
Suppose 8*r - 3*r - j - 22 = 0, -5*r - 2*j + 31 = 0. Suppose 70*t = 71*t - 2*p - 30, 0 = -4*t + 3*p + 145. Solve 20 = s + 4*k + k, 0 = 5*s + r*k - t for s.
5
Let c = -320 - -325. Solve 0 = -2*h - b, -h - c*b = -b for h.
0
Suppose -5*g = -3*h + 43, -2*h + 25 + 2 = -3*g. Suppose 22 = 4*f - 5*j, 0*f - 4*f - 3*j + h = 0. Solve -3*z - 8 = -f*r + 16, 4*z - 5*r + 36 = 0 for z.
-4
Let r = 75 - 82. Let b(z) = -4*z**2 + 8*z + 4*z**2 + 12 - 2*z**2 + 3*z**2. Let u be b(r). Solve l + u*k = 0, 0 = -3*l + 3*k - 2*k for l.
0
Let f(n) = n**3 + 15*n**2. Let r be f(-15). Let p be (1 + 1)/((-1)/(-3)). Let b(y) = y - 2. Let d be b(p). Solve -a = -d*j + 3 - 24, r = 2*a + j + 3 for a.
1
Let y = -530 + 532. Solve 0 = 2*t - 5*v + 12, -4*t + 4*v - 8 = y*v for t.
-1
Suppose 8*u + 4 = -4*v + 9*u, 0 = 4*v + 3*u - 12. Solve -4*g = 8, 4*y - g = -v*g + 6 for y.
1
Let g be ((-1)/3)/(1/(-12)). Solve -5 = j - g*b, 2*j - 2*b + 0 = 2 for j.
3
Let r = 2 + -3. Let m = -1 - r. Suppose 2*q + 3*q + 3*d = -2, -5*d - 20 = m. Solve -q*v + 3*x = -6, 0*v = 2*v - 2*x - 6 for v.
3
Let x(n) = n**2 + 15*n + 16. Let c be x(-14). Let z = -9 - -16. Suppose -z*o = -c*o. Solve -m + 3 = 6*u - u, o = u + 5*m + 9 for u.
1
Let n(d) = -d - 14. Let m(a) = -a**2 - 16*a - 46. Let y be m(-14). Let j be n(y). Solve -2*k = t - 4, 3*t + 6*k - 8 = j*k for t.
2
Let s(k) = 16*k**3 - k**2 + 1. Let l be s(1). Solve -5*j - l = 9, -3*r = -4*j - 11 for r.
-3
Let x = 12 - -4. Let s = x + -16. Suppose 3*n - 15 = -s*n. Solve 3*c - 27 = n*a, 0 = 4*c - a - 17 - 2 for c.
4
Let o = 648 - 635. Solve 3*z + 2*r - o = -0*r, 5 = 2*z + 5*r for z.
5
Suppose 3*z + a - 7 - 1 = 0, 4*z - 4*a = 16. Suppose -z*u = 2*r + r + 3, -u = 3*r - 3. Solve 2*p - 7*p = 0, -5*p = -r*d - 6 for d.
-3
Suppose -6 = f - 8. Suppose 16 = -4*o - 4, 0 = 2*d + 2*o + f. Solve 5*i + d*w - w = -11, 3*w = -4*i - 7 for i.
-4
Let k(j) = 2*j**3 - 15*j**2 - 27*j + 3. Let z be k(9). Solve 5*l - 25 = -z*o - 10, 0 = -5*o + 4*l + 25 for o.
5
Let s be 4/(-10) + (-44)/(-10). Suppose -2*b + s*b = 10. Suppose -5*k - 43*f = -38*f - 40, -3*f + 24 = -2*k. Solve b*h - 9 = 2*c - 0*h, 2*c - h + 5 = k for c.
-2
Suppose -4*r + 26 = g, -3*r + g - 2*g = -19. Let a be r/(-2)*72/(-21). Suppose 16*m - a*m = 20. Solve -3 = 5*q - 5*w + 4*w, -q = -3*w - m for q.
-1
Suppose -9*h + 4*h + 3*k - 45 = 0, 3*k - 3 = -2*h. Let a be -3*(22/h + 2). Solve 4*t = -2*d - 22 + 2, -a*t = 3*d + 25 for d.
0
Let n = 9 - 1. Suppose -2 = -2*c - s - 4, 3*c + 4*s = -n. Solve c = a - 2*x + 5, 6 = -2*a - x - 4 for a.
-5
Suppose -17 = 2*s - 21. Solve -c = -3*x - 7, s = -0*x - 2*x - 2*c for x.
-2
Let j = 166 + -159. Solve -j = -2*t - 5*i, 3*t - 4*i + 39 = 15 for t.
-4
Let n = -220 - -223. Solve 5*z - b - 20 + n = 0, -b = -4*z + 14 for z.
3
Let u be (((-16)/10)/(-4))/((-27)/(-135)). Solve 2*b + u*p = 7*p - 10, -b = 2*p - 4 for b.
0
Suppose 0*c = 6*c - 12. Solve c*b + 20 = -0*b - 3*i, -2*b - i - 12 = 0 for b.
-4
Suppose u + 2*u = 78. Suppose -d + u = 2*x - 6*d, -4*x - 4 = 4*d. Solve 4*y = -x*l + 6, y + 3 + 4 = -5*l for l.
-2
Let j be (16 - 16)/(2 + -1 - 2). Solve -5*r = 0, -h + r - 2 = -j for h.
-2
Let r(p) = p**2 - 9*p + 16. Suppose -2*h - 103 = -117. Let n be r(h). Solve a - 3*u - 12 = 6, -n*a - 19 = 5*u for a.
3
Suppose 35*t - 4*y + 20 = 36*t, 3*t + 2*y - 30 = 0. Solve -4*v + 2*z - t = 4*z, -4*z - 1 = 3*v for v.
-3
Let x(l) = -l**2 + 3*l + 12. Let k be x(-5). Let r = k + 32. Solve -2*s + 24 - 6 = 2*a, -r*s + 32 = 3*a for a.
4
Suppose -2*o + 6*o + 226 = -5*j, 4*o + 100 = -2*j. Let g = -37 - j. Let y be (-14)/35 - 2/(-5). Solve 4*d + 29 = 5*r + 3*d, y = g*r + 4*d - 9 for r.
5
Suppose -2*b - 3*b - 45 = 0. Let w be (-1)/3 - 21/b. Solve w*v = -5*y + 3*y - 12, -2*y + 3*v = 7 for y.
-5
Let q = 27 - 23. Suppose 4*p = 2*p + 8. Suppose 0 = -p*m + m + 6. Solve -l - m*f + q*f = 0, 2*l = 5*f - 1 for l.
2
Let v = -1135 - -1140. Solve 4*p - v*p - 4*b - 17 = 0, 0 = 4*p + 4*b + 8 for p.
3
Let k = 192 - 183. Solve 0*t + 3*c = 4*t + 7, -3*c + k = -3*t for t.
2
Let b = -579 + 590. Solve -3*q - w - 1 = 0, 4*w = 5*q + 2 + b for q.
-1
Let s(i) = i**2 + 6*i - 3. Let k be s(-4). Let t = -21 - k. Let u be 2*(-1 + t/(-4)). Solve 5*x = -4*w + u*w + 11, -5*x + 14 = 4*w for x.
2
Let l = 209 + 67. Let u be 8/6 + l/9. Let s = 36 - u. Solve 3*d + 3*k = 0, s*d - 4*k + 1 = -7*k for d.
-1
Let a be (5/(-1))/(25/(-10)). Suppose 0 = 3*r + a*r. Solve -3*v + 8 + 15 = -4*g, r = -3*v + g + 8 for v.
1
Let f be (-1 + 0)*-2*1. Let o be ((-5)/(-3))/(f/6). Suppose -4*c + 23 = q, -3*c - 30*q + 26*q = -14. Solve o*s = -2*a + 19, -c*a + 2*a + 23 = 5*s for s.
3
Suppose 0 = 46*l + 54*l - 500. Solve 5*o - 1 = -4*v + 16, l*v = 15 for o.
1
Let y = -12 - -17. Let l be 10 - (y + 15/(-5)). Solve 4*m + 8 = 0, 2*m = 4*h - 2*m + l for h.
-4
Let t = -33 + 37. Suppose -j - 3 + 9 = t*l, 5*j - 2*l - 8 = 0. Solve 0 = j*y + 2*y + m - 11, 13 = 2*y - m for y.
4
Let x = 4 - 2. Let m = -231 - -233. Solve -16 = -m*l + x*i, -2*i = -2*l - 7*i - 19 for l.
3
Suppose -5 = w - c, 0 = 4*w - 5*c + 47 - 22. Solve w = 4*n + 5*g + 9, 16*n - 4*g = 14*n + 28 for n.
4
Suppose -4 - 12 = -4*h. Let n be 7 - 6 - (1 - 0/2). Suppose 7*k - h*k = n. Solve k = -5*t - u + 30, 0 = 3*u - 0 - 15 for t.
5
Let g = -296 - -300. Solve 3*d - 13 = -g*k - 2, 10 = 5*d + 5*k for d.
-3
Let f be (1 - 2)*(-12)/(-2). Suppose 2*u + 12 = 3*b, -5*b + 4*u + 18 = -0*b. Let w = b + f. Solve 14 = 3*q - s - 0*s, 2*q - 3*s - 14 = w for q.
4
Let k(a) = 4*a + 12 - 2*a + a - a. Let f be k(-3). Solve -3*v = f, -5*s + v - 6 + 3 = 0 for s.
-1
Suppose 5 = n + 1. Suppose -1 = b - n. Solve -b*j + 8 = -0*j - l, -4*j + 9 = -3*l for j.
3
Suppose -5*d + 0*f + 2*f + 24 = 0, -6 = d + 5*f. Let u(v) = v**2 - 3*v. Let y be u(d). Solve y*t - c - 20 = 0, -5*t + 4*t - 8 = 3*c for t.
4
Suppose -39*t = -40*t. Suppose -z - 2*a + 3*a + 5 = t, 2*a + 10 = -3*z. Solve 5*l - c + 25 = 0, z*c = -5*c + 25 for l.
-4
Let i be 3/1*(0 - (-12)/9). Let p(k) = 2*k**2 - 5*k - 9. Let s be p(i). Let r = -11 + 25. Solve 2*b - 22 = -5*g + s*b, r = 4*g + b for g.
4
Suppose -26 = -5*w - 1. Suppose 0 = -m + 2*k - 1, w*m - 4*k - 4 = 3. Suppose -17 = -5*r + m. Solve r*i - 4*c + 9*c + 23 = 0, -i = c + 5 for i.
-2
Let j = 513 - 511. Solve -7*u + 2*u = -5*o + 45, 0 = -2*u - 3*o + j for u.
-5
Let a(u) = u**2 - 12*u - 12. Let s be (0 - -14)*(13 + -12). Let g be a(s). Solve -4*z + 36 = -h + g, -4*z = 3*h - 20 for h.
0
Suppose -4*k = -2*g + 24, 28*k + 4 = 32*k. Solve -5*o + 21 = 3*x, o + 3*o + x = g for o.
3
Let g = 5 + -5. Suppose g*l + 4*l = 4*j, -l + 3*j - 6 = 0. Suppose 0 = -4*u + 1 + 7. Solve 3*y = -3, 2*w + l*y - 1 + u = 0 for w.
1
Suppose 29 = b - 3*l, -l + 5 = -3*b + 76. Let o = -19 + b. 