 = 5*t + 4, 0 = -x + 6*t - 4*t + 24. Solve y*v = -0*v + x for v.
4
Suppose -2*a + 5 = -1. Suppose -k = a*k - 12. Let l be 1/9*9 - (-3 + -4). Solve -l = -k*b + 1 for b.
3
Let f = -7 - -10. Let o be ((-12)/10)/((18/(-120))/3). Let x = -16 + o. Solve -f*y - x = -y for y.
-4
Suppose i + 97 = 2*i. Suppose 4*o - i = -5*v, -5*v + o - 2*o + 88 = 0. Let c = 23 - v. Solve -c = -4*u + u for u.
2
Let b = 3 + 6. Suppose 5*q - b - 1 = 0. Solve -o - 3 = -q*o for o.
3
Suppose -u = 3*u. Suppose 6 = 5*s + 2*l, -12 + 9 = 2*s - l. Let g = s - u. Solve -3*r + 2*r = g for r.
0
Suppose 4*h + 2*i = -480, 5*h + 396 = 3*i - 193. Let x = 122 + h. Solve -x*j = 7 - 1 for j.
-2
Suppose 10 + 26 = 4*g. Let c be (6 - g)*16/6. Let w be c/(-48) - 2/12. Solve w*l = l + 1 for l.
-1
Let g = 154 + -151. Solve g = -5*s + 28 for s.
5
Let j(o) = o**3 + 3*o**2 - 20*o - 9. Let g be j(-6). Suppose -g*l + 4 = 4. Solve -3*p + 9 + 3 = l for p.
4
Let o be (-2)/(16/(-350)) - (-3)/12. Let t = -19 + o. Solve 5*m = t - 5 for m.
4
Let s(f) = f**3 - 5*f**2 - 4*f - 2. Let b be s(6). Suppose -13*m + b*m = 0. Suppose 0 = -2*l + 2 + 2. Solve v + l*v + 12 = m for v.
-4
Let z be (-7)/(-1) + (-2 - 1). Suppose 23 = -4*m + 5*f, -5*m = -3*m - f + 19. Let k be (-1)/((m/3)/100). Solve -9 = z*i - k for i.
4
Suppose -4*y + 7*y - 75 = 0. Suppose m + 4*z = 5*m - 16, 5*z - y = -4*m. Solve -v = -2*v + m for v.
5
Suppose n + 3*i = -4, 4*i = 2*n - 0*i - 22. Let f(u) = 5*u + 25. Let r be f(-5). Let v be (0/(-1))/(2 + -3). Solve -n*x + v*x = r for x.
0
Let x(d) = d + d**3 - 9 + 3*d**2 - 6*d - 2*d. Let m be x(-4). Solve 0 = -p - m for p.
-3
Suppose 58 = 3*p - 5*t, 0 = -4*p - 0*t - 5*t + 19. Suppose 0*r + 4*r = 4*a - 4, 5*a - p = 3*r. Solve a*f - 8 = -28 for f.
-5
Let v be -2 + 0 + (-44)/(-4). Suppose -3*d - v = 3*l, -3*l = 2*d + 5 + 6. Suppose 6*k + 22 = 2*r + d*k, -8 = -3*r + k. Solve -b + r = -3 for b.
4
Let d be (-14 + 11)*(-2)/(-6)*-10. Solve -2 + d = -8*z for z.
-1
Let y = -1302 - -1304. Solve -y - 18 = -20*d for d.
1
Suppose 2*y = 2*g + 11 - 1, 0 = g. Suppose v = -y + 6. Let l be (7 - (0 - v)) + 0. Solve l = -n - n for n.
-4
Suppose -22*i - 21 = -f - 19*i, 4*f + 3*i - 9 = 0. Solve -f*h = -2*h + 4 for h.
-1
Let z(t) = -5*t**3 - t**2 - 2*t - 2. Let m be z(-1). Suppose -4*w - 4 = -5*w + 5*b, -m = -w - b. Solve 3*f - 11 - w = 0 for f.
5
Let n = -158 - -118. Let y = 60 + n. Solve -3*u = 2*u - y for u.
4
Let t = -106 - -110. Suppose 30 = 6*n + t*n. Solve -4 = -n*y + 2*y for y.
4
Let n be -2 - (4/(-1) + 6) - -27. Solve -7*s = n - 58 for s.
5
Let s be -3*(-15)/5 + -7. Solve 0 = -s*m - 9 + 13 for m.
2
Let a(m) = -m**2 - 16*m + 23. Let f be a(-17). Solve f = -8*u + 6*u for u.
-3
Let n be 3/(-12)*5*(2 - 6). Solve 7*l + 12 = n for l.
-1
Let m(v) = -v**3 + 10*v**2 + 11*v + 16. Let g = 45 - 34. Let p be m(g). Let d be ((-48)/(-9))/4*3. Solve p = -d*o - 0 for o.
-4
Let a(x) = 2*x**3 + 6*x**2 - 5*x + 17. Let f be a(-4). Let w(b) = b + 5. Let l be w(-3). Solve -l*k + f*k = -15 for k.
-5
Let v = 426 - 423. Solve v*i - 12 = -9*i for i.
1
Let i(r) = -20*r**2 - 121*r - 6. Let p be i(-6). Let s(k) = -k - 2. Let d be s(-4). Let a be 18/4 + 1/d. Solve a*x + 25 = -p*x for x.
-5
Suppose 4*d - 3*f = 43 + 14, -5*d + 70 = -5*f. Solve 0 = d*y - 2*y - 52 for y.
4
Let m = 248 - 232. Solve -m = -5*l + 4 for l.
4
Suppose -27*h + 41 + 40 = 0. Solve -h + 11 = 2*q for q.
4
Let a be (-4 - 12)/(-1*1). Suppose a*h - 13*h = 6. Solve -3*j - h*j = 15 for j.
-3
Suppose 186 - 66 = 6*v. Solve 16 = v*h - 24*h for h.
-4
Suppose -4*x = -47 + 11. Suppose 0 = 2*f - 3 - x. Solve 2*h - 4 + f = 0 for h.
-1
Suppose -7*i - 3*t = -2*i + 34, -t - 3 = 0. Let u = 4 - i. Solve 0 = 2*w - 3 + u for w.
-3
Suppose -101 = 3*f - 2*p, f - 2*f = 5*p + 28. Let z = f + 36. Suppose 1 = -2*n + a + z, n - 10 = -4*a. Solve -c = -n*c for c.
0
Let u = 19 - 11. Let d be 2*6/u*2. Suppose 0 = -5*x + 5*s - 6 - 9, 3*x + 19 = 5*s. Solve x*w + 3 = -d for w.
-3
Let x = -1 - 0. Suppose -5*h - 3*u - 25 = -10*h, 2*u = 4*h - 22. Let t be (-3 - x)/h*-8. Solve -4*v + t*v - 6 = 0 for v.
-3
Suppose -3*a = -32 - 1. Solve -a*o - 7 - 4 = 0 for o.
-1
Suppose 19*u - 110 = -3*u. Solve -7*o + u*o = -6 for o.
3
Let b be ((-148)/(-20))/(-1) + 4/10. Suppose 0 = -2*q + q + 13. Let l = q + b. Solve -3*u - 9 = l for u.
-5
Suppose 5*l = -g + 6*g - 25, -13 = 5*l - g. Let c be (4/8)/(l/(-20)). Suppose -3*u + 7*j = 5*j - 20, 3*u = -3*j + 15. Solve -c*b = u + 4 for b.
-2
Let q = -126 - -133. Solve 1 + q = 4*k for k.
2
Let d be 234/(-130)*(-40)/6. Solve 0 = 4*n - n + d for n.
-4
Let t be 1/(-6) - (-74)/12. Solve t = 4*u - 6 for u.
3
Let d = 289 - 280. Solve 5 = -d*h + 41 for h.
4
Suppose 0 = -4*m - 26 - 22. Let c(w) = -w - 10. Let u be c(m). Solve 3*q + u*q + 25 = 0 for q.
-5
Let c(i) = -i**3 + 2*i**2 + i + 3. Let o be c(-3). Let n = -39 + o. Solve n = 2*j + j for j.
2
Let g(b) = b**2 + 11*b - 33. Let p be g(-14). Suppose 9 = 6*x - p. Solve 0 = -j - x*j for j.
0
Suppose -29 = 2*a + 3*l - 39, -l = -4*a + 48. Solve -a*m = -6*m - 25 for m.
5
Suppose -h = 0, 4*f - 34 = 2*h - 30. Solve g + f = 5 for g.
4
Suppose -i = 3*w - 55, 4*i + 40 = -5*w + 134. Solve 14*a - w*a + 4 = 0 for a.
1
Let g(i) = -i**2 - 30*i - 114. Let d be g(-24). Solve 2*h - 38 + d = 0 for h.
4
Let f = -72 - -38. Let m be 2/3 - 2/6*f. Solve -4*a = -28 + m for a.
4
Suppose 6 = 4*l - 2. Suppose 3*k - 15 = 0, -2*k = l*g + 1 - 21. Suppose -g*j + j = -12. Solve j*m + 5 = -2*m for m.
-1
Let r(o) = -2*o + 13. Let s = 5 + 1. Let a be r(s). Solve x + 4 = -a for x.
-5
Let x = 1387 + -1371. Solve 0 = -4*s - 0*s + x for s.
4
Let t = -50 - -62. Suppose -t*m = 4*m - 32. Solve 4 = -m*d - 4 for d.
-4
Let j be 120/(16/2)*4/10. Solve -3*g + g + j = 0 for g.
3
Suppose 2*a = -4*a + 12. Suppose -3*z + 4*s + 101 = 3*s, -a*z = -s - 66. Suppose -4*c + 75 = -5*j + 2*j, -c + z = -4*j. Solve 0 + c = -3*b for b.
-5
Suppose 0 = 2*s + 1 - 5. Suppose 3*n - 40 = -s*n. Suppose -4*x + 8 = 5*j, j + 2*j = x - 2. Solve -x*y - n = -6*y for y.
2
Let l(x) = x**3 + 16*x**2 + 14*x - 15. Let v = 44 - 59. Let k be l(v). Solve -4*h = -k*h for h.
0
Suppose -4*m + 5 = 5*d + 18, -5*d = 2*m - 1. Let j be (-2 - 5)/(m + 6). Solve -j*u = -2*u + 15 for u.
-3
Suppose -7 = -8*z + 1. Solve 7*t = 8 - z for t.
1
Suppose -2*l + 5*l + 28 = -2*c, 33 = -3*l - 3*c. Let m be 62/12 - (0 + (-1)/l). Solve -3*s - 10 = -m*s for s.
5
Suppose 3*d - 10 = -1. Let x(a) = -2*a + 6. Let s be x(d). Let y = -11 - -23. Solve 2*m + m + y = s for m.
-4
Let x(b) = 2*b**2 + 7*b + 1. Let i(c) = c**2 + 1. Let p(r) = i(r) - x(r). Suppose -4 - 3 = y - l, y = -4*l - 7. Let z be p(y). Solve z = k - 4 for k.
4
Let b = -34 - -15. Let u be (-17 - b)/((-2)/(-8)). Solve 4*t - 16 = u*t for t.
-4
Let o = -2550 - -2553. Solve 0 = -4*y + o*y + 2 for y.
2
Let z = 191 - 164. Solve -22 = s - z for s.
5
Let w be 535/75 - 5 - 4/30. Let t be w/12 - 3/36*-58. Solve t*r = -0*r - 5 for r.
-1
Suppose 6*v - v + 345 = 0. Let f = 79 + v. Solve -4*p - f = -2*p for p.
-5
Suppose 0 = 6*k - 7*k + 10. Let j be (-5)/2*(-8)/k. Solve 0*r - j = r for r.
-2
Let j be 38*((-28)/(-8) + -4). Let h = j - -21. Solve -k = -2*k + h for k.
2
Suppose 10 = i + s, -46*i + 50*i - 45 = s. Solve i = -17*z - 74 for z.
-5
Suppose -j + 2*x + 10 = 0, -11 = 65*j - 66*j + x. Solve -j*w = -5*w + 28 for w.
-4
Let h = -1017 - -1024. Solve -h*r = 8 + 27 for r.
-5
Let d = 5 + -1. Suppose v + 9 = d*v. Suppose -4*o = -v*o. Solve -j = -o*j + 5 for j.
-5
Suppose -17*r + 29 + 56 = 0. Solve r*h = 12*h + 7 for h.
-1
Let r be 7 - ((2 - -2) + -1). Suppose 2*k - 105 = -4*j - 41, -r*j = 3*k - 94. Suppose -4*v + k = -2*o + 6, 4*o + 8 = 0. Solve -6*p + p = -v for p.
1
Let d be (-3 - 14/(-4))/(2/(-24)). Let a(j) = -2*j - 6. Let q be a(d). Solve q = -m + 2 for m.
-4
Suppose 5*z = 2*z + 9. Suppose z*v + p - 2 - 15 = 0, 0 = -4*v - 5*p + 30. Suppose -4 = -v*i + 6. Solve -i + 3 = -f for f.
-1
Let q(h) = -h**3 - 4*h**2 + 11*h + 10. Let y(b) = -b**2. Let v(k) = -q(k) - 5*y(k). Let p be (-3 + 3)/(-2) - 10. Let g be v(p). Solve g = -5*m - 1 + 6 for m.
1
Let u(n) = n**3 - 7*n**2 - 30*n. Let d be u(10). Solve -k + 0*k - 2 = d for k.
-2
Let q = -89 + 113. Let n be ((-12)/q)/((-2)/4). Solve 3*k - 4 = -n for k.
1
Let h = -710 + 710. Solve 77*i - 78*i = h for i.
0
Let s be -7 + 1 - (32/(-8) + -5). Suppose -r = 2*r - 36. Let q = r