Solve -i*q = -2*q for q.
0
Let p = 3 - -7. Suppose p = 3*a + 2*a. Solve -a*b + 0 + 10 = 0 for b.
5
Suppose 0 = 6*b + 8 - 26. Solve -b*k - 7 = 2 for k.
-3
Let r be 132/8 + 1/(-2). Let c be (2/(-8))/((-4)/r). Solve 0 = 4*k - 5 + c for k.
1
Suppose 0 = 3*t - 4*b + 11, 5*t - 2*b + 5*b - 30 = 0. Let u(n) = n**2 - 3. Let j be u(t). Solve 3*w = 5*w + j for w.
-3
Let k be ((0 - 1/(-3)) + -1)*-15. Solve k = -3*p + 1 for p.
-3
Suppose 0 = i + 4 - 10. Solve 5*p + i = -4 for p.
-2
Let s be (-19)/(-3) - (-4)/6. Solve 2 - s = -5*b for b.
1
Let q = -28 - -33. Solve -q*d - 15 = -0*d for d.
-3
Let o = -5 - -7. Solve o*r + 20 = -3*r for r.
-4
Let k(n) = 3*n**2 + 1. Suppose 0 = -4*d + 3*d + 1. Let x be k(d). Solve 0 = -2*q - 2 - x for q.
-3
Let k(f) = 2 + f - 5 + 6 + 1. Let t be k(-3). Solve 0 = -i + t + 2 for i.
3
Let x = -1 + -7. Let h = -12 - x. Let v = 4 + h. Solve 0 = -a - v + 3 for a.
3
Let u(p) = -p**3 + 3*p**2 - 2*p + 1. Let g be u(1). Let o be (-1*g)/(3/(-18)). Suppose -c + o*c - 15 = 0. Solve -3*w = -2*w + c for w.
-3
Let v(b) = b**2 - 5*b + 3. Suppose -t + 3*t = 10. Let w be v(t). Solve 1 - 13 = w*d for d.
-4
Let n(u) = -u**2 + 11*u - 4. Let l be n(10). Suppose 25 = l*x - x. Solve -x*a = -2*a - 3 for a.
1
Suppose -y = -4*v - 4, -5*v + 2*v = 3*y + 3. Suppose -l - 2 + 4 = 0. Let w(f) = f**2 - f + 1. Let m be w(l). Solve 0 = 3*n - y*n + m for n.
-1
Suppose 0 = -24*g + 23 + 1. Solve 2*h + 9 = -g for h.
-5
Let p(f) = -f**3 + 3*f**2 - 2*f. Let c be ((-3)/5)/(-1)*5. Suppose -i - 5*z + 15 - c = 0, -z = -2. Let j be p(i). Solve 2*w - 8 = -j for w.
4
Let o be (48/14)/(2/7). Let k(h) = -h**3 - 3*h**2 + 3*h - 1. Let v be k(-4). Let j = 6 - v. Solve b + o = -j*b for b.
-3
Let a be (0 + -1)*(-2 - 1). Let g(w) = w - 1. Let s be g(a). Solve -s*l - 3*l = -20 for l.
4
Let f(a) = -a**2 + 4*a. Let s be f(3). Suppose -z + 4*l - 4 = 0, 3*z + 8 = -s*l + 26. Solve -q + z = q for q.
2
Suppose w - 156 = -2*w. Suppose -5*t + w = 12. Suppose 0 = 2*h + 2*h - t. Solve -2 - h = 4*m for m.
-1
Let g(f) = f - 4. Let k be g(8). Let s = 0 + 13. Suppose s = 2*d - x - 0*x, -d + 3*x + 14 = 0. Solve -i - k*i + d = 0 for i.
1
Suppose -4*q = 4*v - 8*q - 64, 5*q - 32 = -3*v. Let z be 33/7 + 4/v. Solve -z*x + x + 12 = 0 for x.
3
Suppose q - 156 = -3*f - 57, 2*f - 356 = -4*q. Suppose 4*l + 3 = q. Solve -5*x - l = -6 for x.
-3
Suppose i + 2 = 3. Let g(x) = -4*x + 0 + 3*x**2 + 4*x + 1. Let d be g(i). Solve -d - 6 = 5*k for k.
-2
Suppose -12 = -j - 3*j. Solve 4*d + j = d for d.
-1
Let q be (-1 + 0/2)*0. Solve n + q + 4 = 0 for n.
-4
Let y = 116 + -108. Let o(q) = q**2 - 7*q + 7. Let w be o(6). Solve -3*f + w = -y for f.
3
Let t(k) = k + 6. Let v be t(-3). Solve -7*r = -v*r for r.
0
Let m = 32 - 20. Suppose -q + 16 = -a - 3*a, 4*q + 3*a = -m. Suppose q*x + 3*x = 6. Solve x*b + 5 = -3*b for b.
-1
Let v = 36 + -21. Suppose q + v = 5*k, 0 = 3*q - 13 - 2. Suppose 2*u + 2*n + 10 = 0, -u + k*n + 20 = -0*n. Solve u*y + 3 = y for y.
3
Let l(z) = 11*z**2 + 38*z + 4. Let n(a) = 4*a**2 + 13*a + 1. Let m(s) = -3*l(s) + 8*n(s). Let x be m(-4). Solve -6*h = -h - x for h.
4
Let n be (5/(-2) - -3)*0. Let h be (n - -1)/((-4)/(-8)). Suppose 2*f + 28 = 6*f. Solve 0 = -h*j - 1 - f for j.
-4
Suppose 15 = 5*k - 0*k. Suppose -3*m + 5*z = 4 - 1, 0 = -m + k*z - 5. Solve -m*f + 3*f = -4 for f.
4
Let m be (42 - (1 + 1))/(2 - 0). Solve 0*r = -5*r - m for r.
-4
Suppose -4*v + 2*h = -20, -v - 7 = -5*h + 6. Suppose 0 = -4*r - k + 12, -4*k + 13 = 5*r - 13. Suppose -v*j + r*j = -25. Solve -u + 0*u = j for u.
-5
Let s(z) = 8*z + 1 + z**2 + 2 + 7. Suppose 3*t + 31 = 10. Let h be s(t). Solve 0 = -0*g + 3*g - h for g.
1
Let p(a) = a**2 - 3*a - 7. Let n be p(5). Let d be 15/1 - (0 + (-2)/1). Solve 8 = -n*h + d for h.
3
Let s(y) = -y - 13. Let k be s(-15). Suppose -8*r - k = -10. Suppose 5*q - 6*z - 67 = -2*z, -3*z = -2*q + 31. Solve -5*j - r + q = 0 for j.
2
Suppose 0 = -7*d + 39 + 73. Solve q = 5*q - d for q.
4
Let u(t) = t**2 + 7*t - 6. Suppose 4*i + 5 = l, l + 3*l - 41 = -5*i. Let q be ((-6)/5)/(l/60). Let w be u(q). Solve 5*j = -w + 7 for j.
1
Let l(y) = -y**3 + 10*y**2 - 9*y + 3. Let q = 26 + -17. Let j be l(q). Solve 0 = s - j*s - 10 for s.
-5
Let c = 1 + -4. Let k be (1 - (4 + c))/1. Suppose k = -0*p + 5*p. Solve p + 3 = 3*z for z.
1
Suppose 3*g = -5 + 17. Suppose q - 5 = -g*q, -5*y - 5*q = -80. Solve y = -0*r + 3*r for r.
5
Suppose 2*r + 3*u + 3 = 1, 0 = 5*r + u - 8. Solve 20 = -r*s - 3*s for s.
-4
Suppose 2*g + 12 = -6. Let y = -8 - g. Solve z = 2*z - y for z.
1
Let t = -4 - -2. Let r = -5 + 11. Let z = t + r. Solve 3 = z*f - 5 for f.
2
Suppose 2*o + 4 = -0*o. Let h = o - -5. Let y be 3*h/9 + 2. Solve 5*j = y + 2 for j.
1
Suppose 5*r + 4*a - 15 = 3*a, -2*r + 6 = -5*a. Solve -6*q + r*q = 0 for q.
0
Let z = 6 + -9. Let x = 7 + z. Solve -x*m - 11 = 1 for m.
-3
Suppose 2*r + c - 3 = r, 2*r - 5*c = -15. Solve 3*k = -r*k + 6 for k.
2
Suppose -b - 3*j + 16 = 0, 0*b - 2*b = -4*j + 8. Solve b*u + 0 = 16 for u.
4
Let j(n) = n**2 - 5*n + 3. Let c be j(5). Solve -q + 6 = -c*q for q.
-3
Let z = 17 - 17. Solve z = 2*p - 6 for p.
3
Let n = 1 + 11. Suppose -1 = -i + 5*f - n, 3*i = -2*f + 18. Suppose x - i*x = -12. Solve -x = -p - 1 for p.
3
Suppose 0 = 3*i + 9*i - 72. Suppose 4*r = -r. Solve 4*u - i*u = r for u.
0
Let m = -3 + 11. Let a(j) = 2*j**2 + 18*j - 12. Let i be a(-10). Let t be 14/m + 2/i. Solve 0*c = t*c + 10 for c.
-5
Let z be (-12)/10*(-15)/6. Let j(k) = -12 + 0*k**2 + k**z - 10*k - 3*k**2 + 10*k**2. Let t be j(-8). Solve f + t*f = 0 for f.
0
Let t be -5 - -4 - -3*1. Let n = t + 1. Solve -n*i - 2*i = 25 for i.
-5
Let q = 123 + -121. Solve 6 = -g - q*g for g.
-2
Suppose 2*h + h = -6, 12 = 3*m - 3*h. Suppose -4*f - 1 = 3*y, 0 = 3*f + m*f - 2*y - 16. Solve f*z + z = 0 for z.
0
Let b = 15 + -13. Suppose -2*d - 5 = -d, b*d = y - 11. Solve -a = -y + 2 for a.
-1
Let h be (-2 + -1)*(-1 - 0/(-1)). Solve z - 2 - h = 0 for z.
5
Let t = -19 - -9. Let i = t - -15. Suppose 0 = 5*c - 6 + 1. Solve -4*u + c - i = 0 for u.
-1
Suppose 4*x - 12 = -0*x. Suppose -x*p + 91 = -5. Solve -p = 5*g - 7 for g.
-5
Suppose -6*m = -2*q - 4*m + 20, 5*q = m + 46. Solve 2 = 7*r - q*r for r.
-1
Let f(p) = p**3 + p**2 + p. Let w be f(-2). Let x = -3 - w. Suppose x = y - 0*y. Solve -l + y = 2*l for l.
1
Suppose -y - 3*p + 4 = -15, -5*y + 2*p = -44. Solve -4*l = -10 - y for l.
5
Let s(h) = -h**3 - 8*h**2 + 9*h + 5. Let r be s(-9). Solve -m + r*m = -8 for m.
-2
Let w = 4 - 7. Let l be 1/w*-1*9. Suppose -l*o = -13 - 8. Solve -5*r = -2 + o for r.
-1
Let m be (2 + (-27)/6)*(-22)/5. Solve 0 = -z + 8 - m for z.
-3
Let v(f) = 2*f - 4. Let r be v(4). Suppose -3*i = 0, r*h + 0*i = -3*i + 4. Solve 0 = -4*y - h - 19 for y.
-5
Let x = -24 - -26. Solve -f = x*f - 12 for f.
4
Suppose -a + 4 = -0*a. Suppose 0 = -h - 4*h + 400. Suppose -5*w - 5*b = -h + 10, -a*b = w - 17. Solve 5*t - w = 2 for t.
3
Let d(s) = s**3 - 4*s**2 + 2*s - 4. Let y be d(4). Let i(o) = o**2 - 8*o + 1. Let z be i(8). Solve -u + z = -y for u.
5
Let d = -12 + 12. Solve d = -n - n for n.
0
Let l(o) = 2*o + 8. Let p be l(-4). Solve m + m + 2 = p for m.
-1
Let s(u) = 5*u. Let c be s(1). Suppose 0 = -2*q - c*b - 15, -b = -4*q + b + 6. Solve q = -4*w - 3 + 15 for w.
3
Let i(f) = f - 1. Let o be i(1). Suppose -6 = 5*q - 8*q. Solve w - q*w = o for w.
0
Let k = 1 - 0. Let c be 0/4 + 2*k. Let u(q) = -q**3 - 8*q**2 - 7*q + 5. Let n be u(-7). Solve c*v + 13 - n = 0 for v.
-4
Let w = 64 + -36. Suppose 4*x - 4*u = w, u - 6 = 4*x - 37. Solve -5*b = -2 - x for b.
2
Let x be (-1 - 0)*-5 - -2. Solve 2*w + 5 = x*w for w.
1
Let u = 12 - 6. Let g = -4 + u. Solve g*o + 0 - 10 = 0 for o.
5
Suppose -10*l = -5*l - 10. Let g be (-5 - -3) + 14/l. Solve -12 = g*y + 13 for y.
-5
Suppose -6 = -12*k + 9*k. Suppose -2*l + 1 = -4*y - 7, 0 = -k*l - y - 2. Solve -3*q + 2*q - 2 = l for q.
-2
Let n be (3/9)/(1/39). Solve 5 - n = 2*v for v.
-4
Let j = -1 + 3. Suppose -4*o + j*o + w = -2, -o = -w. Solve 0*g + o*g - 10 = 0 for g.
5
Suppose 5*v + 16 = 4*n, -8*n - 3*v = -3*n - 20. Suppose -9*f = -8*f. Solve f = j - n*j + 6 for j.
2
Let u = -15 - -17. Solve 7*o = u*o for o.
0
Let a(o) = -2*o. Let l be a(-3). Let h(k) = -k + 9. Let j be h(5). Solve v = j*v + l for v.
-2
Suppose p = -7*v + 3*v + 40, 4*p - 75 = v. Suppose -k - 4*k = -50. Let z = k + -8. 