
-3
Let m(u) = 3*u**2 + 4*u. Let d be m(-3). Let z = -44 - -64. Let a be 6/4*z/d. Solve -a*h = 10 - 0 for h.
-5
Let r(m) = m + 7. Let b be r(-7). Let h be 1/(-1) - (18 + -1). Let f be (-2)/9 - 22/h. Solve b = p + 2 - f for p.
-1
Let i be 14/6 + (-10)/(-15). Let p be -2 - i/(1 - 2). Solve 3*d + p = -5 for d.
-2
Suppose -a = 2*a - 9. Let p(m) = m - 1. Let d be p(a). Suppose 3*j - 3*h = 11 - d, 0 = 4*h - 4. Solve j = v + 5 for v.
-1
Let x(y) = 2*y + 10. Let m be x(-5). Solve -n + 0*n + 3 = m for n.
3
Let l(w) = -w - 8. Let c be l(-8). Let q = 1 - c. Solve -q - 1 = -2*z for z.
1
Let b = 121 + -119. Let t(z) = z**3 - 8*z**2 + 7*z + 5. Let s be t(7). Suppose -a - 20 + 1 = s*y, -3*y = 4*a - 9. Solve 5*g = a*g - b for g.
2
Let w be 3 + (5 + 11)/4. Solve -6*x + w*x + 4 = 0 for x.
-4
Let b(r) = 3*r - 4. Let c(i) = -7*i + 8. Let p be c(-7). Let v be p/21 - (-4)/14. Let x be b(v). Solve -4 = x*f + 6 for f.
-2
Suppose 0 = -4*s + 38 + 62. Solve -s = -6*n + n for n.
5
Let b be 46/6 + (-3)/(-9). Solve 0 = -2*l + 4 - b for l.
-2
Let y(i) = i - 6. Suppose 3*n - 3*j = 30, -2*j + 11 = 4*n - 11. Let x be y(n). Let g be x + (2 + -3)*1. Solve g*h = 3*h - 15 for h.
5
Suppose -4*t - 5 = -17. Suppose -4*v - t*m = -2*m - 3, 14 = -3*v - 4*m. Solve 3*z = v*z for z.
0
Let a = -1 - -3. Let l(w) = 1 + 1 + w**a + 3*w - 5*w. Let f be l(2). Solve -j + f = 7 for j.
-5
Let d be 0/3 + 4/(-1). Let r be (d/(-8))/((-2)/(-8)). Solve -r*t - 5 = -t for t.
-5
Let u be (1 - -1*19/1) + 0. Solve -o - 3*o + u = 0 for o.
5
Suppose 4*z = -2*d + 6, -4*d - d = -4*z - 15. Solve 5*s - 8 + 3 = z for s.
1
Let p = 12 - 5. Suppose 5*u = -5, -4*n + 2*u = -p*n + 52. Let a be 2 + 2 - 2/(-2). Solve -n = a*x - 3 for x.
-3
Let v(k) = -k + 7. Let d be v(6). Suppose d = o - 3. Suppose -o*g + 11 = 3. Solve 0 = 3*z + 8 - g for z.
-2
Let m(k) = k + 2 + 3 - 4. Let v be m(5). Suppose -4*w + 10 - v = 0. Solve -w = j - 6 for j.
5
Suppose -2*y + 180 = 13*y. Solve -15*q = -11*q - y for q.
3
Let r(q) = q**2 - 4*q + 4. Let o be r(2). Solve -x - 3 = -o for x.
-3
Let u be (-14)/63 + 34/(-9). Let w(z) = z**3 + 3*z**2 - 4*z. Let p be w(u). Solve p*s = s + 4 for s.
-4
Suppose -3*h + 6 = 3*m - 2*h, 0 = 2*m - 2*h - 12. Let t(x) = -x**3 + 10*x**2 - 8*x - 7. Let j be t(9). Solve 0 = -j*g + g - m for g.
-3
Let n(u) = 2*u - 1. Let o be n(2). Solve -w - o*w = -20 for w.
5
Let j be -3 + (0 - (-3 + 0)). Solve j = -6*b + 4*b for b.
0
Let m(i) = -3*i + 7. Let t be m(2). Solve t = 4*b - 19 for b.
5
Let j = 11 - 8. Suppose j*m = -3*a - m + 7, -9 = -a + 2*m. Let q be 10/4*6/a. Solve -20 = 2*k + q*k for k.
-4
Let y(x) = x**2 + 4*x - 6. Let j be y(-5). Let o(d) = 3*d - 2. Let f be o(3). Let p be (2 + j)*(f + 3). Solve -l - 4*l = -p for l.
2
Let s = 2 + 0. Suppose -2*w + 52 = s*w + 3*r, -3*r = 12. Solve o + 3*o = w for o.
4
Suppose 0 = 2*t + 2*t - 192. Suppose -3*p = -t + 12. Let k = -7 + 10. Solve k*y + p = 6*y for y.
4
Suppose -4*i + 298 - 258 = 0. Solve -4*r - i = r for r.
-2
Let y(f) = 5*f**2 - f - 1. Let j be y(-1). Suppose -q = -0*q - j. Let a be -1*q*-1 + -1. Solve 0*n - a*n + 8 = 0 for n.
2
Suppose 0 = -3*w - 3*x + 12, 7 = -2*w + 6*w - 5*x. Let h be w + 13 + 0 + -1. Suppose 0 = 5*j - 33 + 8. Solve h = 4*u - j for u.
5
Let n = 6 - 0. Suppose -3*m + 6 = 4*u - 3, 2*u = 2*m - n. Solve -2*l + 8 = -u*l for l.
4
Let r be 3/12 - (-6)/8. Suppose 3*m + 2*k = k + r, 0 = -3*m + 5*k + 13. Solve m = -j + 2 for j.
1
Suppose -z - 2*z + 9 = 0. Suppose -2*k + 0*k - 12 = 0. Let t = k - -12. Solve -z*o - t + 3 = 0 for o.
-1
Let d = -4 + 0. Let g(x) = -x - 3. Let y be g(d). Solve 11 = 5*n + y for n.
2
Let o(u) = -u**3 + 8*u**2 + 8*u + 7. Let i be o(7). Suppose 16 = 4*m - i. Let k be (5/4)/(2/m). Solve -g - 3*g = k for g.
-5
Let c = 62 - 41. Let q = -17 + c. Solve n - 3 + q = 0 for n.
-1
Let j = 22 - 8. Suppose -c - 3 = -j. Suppose -5 = -3*f - 2*g, -3*f - 2*f + c = 2*g. Solve f*v + 3 = 6 for v.
1
Let z(o) = o - 4. Let c be z(4). Let q be 7 - (0 - (c - 3)). Solve 0 = q*i - 22 + 2 for i.
5
Let u(c) = -c**2 + 6*c. Let p be u(4). Suppose -5*b = -2*y - 21, 4*y - p - 5 = -b. Suppose -55 = -5*r - h, 0*h - 11 = -r + b*h. Solve 3*m - 1 = r for m.
4
Suppose 0 = -5*t - 0*w - 5*w + 20, 5*w = -t + 12. Suppose v - 23 = -5*f, 2*f - 22 = -t*f - 2*v. Solve -12 = -f*h - 0*h for h.
3
Suppose -3*s - 11 = -17. Solve 0 = -s*b - 5 - 1 for b.
-3
Let z be 3 + -3 + -2 + -4. Let c be (-1)/((-3)/(-9)) - z. Solve c*r = -r for r.
0
Suppose 3*k = -k. Suppose 0 = -k*z - z - 3. Let n be (-2)/((3/2)/z). Solve n*x = -0*x - 4 for x.
-1
Suppose 0 = 4*k + 2 - 22. Suppose u + 52 = k*u. Solve 3*j - 1 = -u for j.
-4
Let m(i) = i. Let v be m(4). Let d be ((-3)/5)/(10/(-100)). Solve -w + d = -v*w for w.
-2
Let h(j) = -13*j**3 - 2*j**2 + 1. Let r be h(1). Let p be 4/16 - r/8. Suppose p*m - 3*m = 0. Solve m = x - 3*x for x.
0
Suppose 5*z - 51 = 64. Let a = z - 14. Solve 0 = 2*c + a - 1 for c.
-4
Let c be 4 - (4 + -3)*0. Suppose -3*g = -c*g + 5. Solve g*p = 11 + 9 for p.
4
Suppose -37 - 12 = -7*h. Solve 13 - h = -2*x for x.
-3
Let j(w) = w**2 - w - 1. Let v be j(-1). Let x be 0 + 2 + 0/v. Solve -3 = x*k + 3 for k.
-3
Let z = 3 - -4. Solve -2*b + 3 = -z for b.
5
Suppose 5*w = -2*z + 3, z = w - 3*z - 5. Suppose l + 2*b = 6*l - 5, -4*l = -2*b - 2. Let r = 38 + -34. Solve r = -l*g + w for g.
-1
Let k(g) = 2*g**2. Let d be k(1). Let r = -1 - -14. Solve -3 + r = -d*x for x.
-5
Suppose -4*j + 7 = -9. Solve z - 3 = -j for z.
-1
Let p(b) = -5*b**3 - b**2 + b + 2. Let a(m) = m + 1. Let f(h) = -3*a(h) + p(h). Let l be f(-1). Let t = l + -3. Solve 3*z + 15 = -t*z for z.
-3
Let d(a) = a**3 + 3. Let m be d(0). Suppose 0 = 5*z - 19 + 4. Solve 0*l + m*l = z for l.
1
Let m be -3 + 2 + 0 - -1. Let g be m - (2 + -3)*3. Suppose g + 6 = 3*z. Solve z*b = b for b.
0
Suppose 24 + 41 = 5*i. Solve 5*n + i = -7 for n.
-4
Let a be (-5)/(-20) + 610/(-8). Let d be 4/(-18) + a/(-18). Solve 0*q - q = d for q.
-4
Suppose 0 = r - 7 + 4. Solve -r*n + 5 = 2*n for n.
1
Let h = 5 + -2. Let b be (12/8)/((-6)/(-16)). Let j = -3 + b. Solve d = j - h for d.
-2
Suppose 0 = -y - 4*v + 7, 0 = y - 2*v - 1 - 0. Solve 0 = y*p + p - 12 for p.
3
Suppose -5*n + 3*q + 112 = 0, -3*n = 2*n + 3*q - 88. Let w be 2*21/6 - 4. Solve w*j + j = n for j.
5
Let x(v) = -v + 9. Let n be x(5). Let d = 1 + n. Solve d*r = 2*r for r.
0
Suppose h + 1 = 2. Let r = -1 + h. Let q be (20/12)/(2/18). Solve -5*m = -r*m + q for m.
-3
Suppose -2*x + 1 = -13. Let a = x + -7. Suppose a = -3*h + h. Solve 3*u - 4*u - 2 = h for u.
-2
Let o be 160/6 + 2/(-3). Suppose -5*v + o = -2*v + 4*k, 26 = 4*v + k. Solve -2*t = -v*t - 20 for t.
-5
Suppose -t = t - 3*r - 17, -3*t + 2*r = -13. Suppose 3 = 2*k - t. Suppose -k*a + 9 = -11. Solve 0 = 2*s + a for s.
-5
Suppose 5*u = 19 + 21. Suppose -2*x - x - 24 = 3*k, 2*k = -4*x - 30. Let n = u + x. Solve n = 3*v + 4 for v.
-1
Let c = -23 + 23. Let y(r) = r**3 - 9*r**2 + 8*r + 4. Let n be y(8). Suppose -v - n = -6. Solve c = v*u + 2 for u.
-1
Let p(m) = 0 - 3*m + 2*m - 3. Let n be p(-3). Suppose n = 2*z - 1 - 3. Solve 7 = -z*s + 1 for s.
-3
Suppose 2*x + 3*x - 75 = 0. Suppose 1 = -3*v - 2*m + 4, v - 4*m - x = 0. Solve -u - 2 = -v*u for u.
1
Suppose 2*v = -6*j + 2*j + 30, -j + v = -12. Solve j - 34 = 5*p for p.
-5
Suppose 0 = 5*m - 4*f - 5, -5*f + f = -4*m. Let l(b) = -2*b - 3*b**2 + 2 + 1 + 4*b**2. Let n be l(2). Solve m = -2*j - n*j for j.
-1
Let w(n) = -n**3 - 8*n**2 - 4*n + 4. Let t be w(-7). Let v = 29 + t. Let b = 0 + 0. Solve b = s - 4*s + v for s.
4
Let f = -5 - -5. Suppose -b = -f*b. Solve -t - t = b for t.
0
Let u be ((-4)/(6/3))/1. Let g be u - ((-2)/1 - 2). Solve p + 15 = -g*p for p.
-5
Suppose -5*w + 16 - 1 = 0. Solve -3*z + 0 + w = 0 for z.
1
Let v(i) = 2*i**2 + 4*i. Let c be v(-3). Suppose -4*m + 2 + c = 0. Let z be (0/(4/m))/1. Solve z*u - u = -4 for u.
4
Suppose -21 - 3 = -2*y. Solve 0 = 3*n - 0*n + y for n.
-4
Suppose -3*p - 8*p = 0. Solve -7*r + 2*r = p for r.
0
Suppose -5*a - 5*g = 0, 4*a + a + 2*g = 6. Suppose 4*m + 5 = -4*l + 45, -5*l - 20 = -a*m. Let w = 5 - 1. Solve -w*j = j + m for j.
-2
Let m = 1 + 7. Suppose 0*t = -2*t + m. Suppose 2*i = -3*i + 10. Solve 2 = -i*b + t for b.
1
Let g(x) = -x - 5. Let w be g(-9). Suppose 0 = h - 4*h. Solve -20 = -h*v + w*v for v.
-5
Let c(d) = 3*d + 1. Let s be c(1). Suppose -6 - 6 = -s*