
Suppose 2*c + 3*t - 15 = 5*c, 36 = -4*c - 4*t. Let d(f) = 0*f - 4 + f**3 + 14 + 0 + f + 7*f**2. Let q be d(c). Solve 6*w + 15 = q*w for w.
-5
Suppose 4 = 2*u - 2. Solve u + 12 = 5*i for i.
3
Let z(v) = v + 11. Let c be z(-7). Suppose a - 5*k = -2 - 24, -c*k + 16 = 0. Let g be 9/a*20/(-6). Solve 0 = -g*n + 7 + 3 for n.
2
Suppose 0 = -0*q + 5*q - 55. Let d = 11 - q. Solve -3*v + 15 = -d*v for v.
5
Let r(z) = -z**2 + 6*z - 5. Let v be r(4). Solve 6 = 3*x + v for x.
1
Let f = -109 - -110. Solve b + 0*b = -f for b.
-1
Let j(g) = -g + 2. Let s be j(0). Suppose -s*w = -4*w - 2. Let q = w + 4. Solve -5*b - q = -23 for b.
4
Let h(i) = i + 1. Let c be h(-1). Let d = 0 + 5. Suppose c*w = w + d*g - 11, 0 = 3*g. Solve 0 = 4*p - 31 + w for p.
5
Suppose 4*n = -3*k + 21, k + 3*n - 10 = 2. Solve -16 = k*i + i for i.
-4
Let a be (4 - 40/12)*9. Let y = -9 + 9. Let d = -4 - -7. Solve d*h + 0 + a = y for h.
-2
Let g be 2/(-16)*-14 - 22/(-88). Suppose -i = -0*i - 3. Solve g - 17 = -i*r for r.
5
Let l = 9 + 7. Suppose -4*k = n - 6*n - 20, 4*n = 3*k - l. Let d = k - -15. Solve -5*z - d = 10 for z.
-5
Let y(v) = -2*v**3 - 3*v**2 + v + 2. Let b be y(-2). Suppose 0 = -b*j + 34 + 14. Solve r - 4*r = -j for r.
4
Suppose t + 3*x = -2*x - 10, 3*t - 12 = -x. Let s(u) = u**3 - 4*u**2 - 6*u + 7. Let q be s(t). Solve q*a = 4*a + 4 for a.
-2
Let z = -19 + 24. Solve 0*o - z*o - 15 = 0 for o.
-3
Let n be (-3)/12 - 45/(-4). Let b = n - 11. Solve p + 0 + 2 = b for p.
-2
Let a(m) = -3*m - 81. Let i be a(-30). Solve -3*f + 6*f - i = 0 for f.
3
Let s(w) = -w**2 + 8*w + 12. Suppose -3*q + 6*q - 12 = 0. Suppose 3*l + 2*z = 21, q*l + 0*l - 39 = z. Let o be s(l). Solve 14 = o*m - 1 for m.
5
Suppose 2*l + y + 32 = 75, -4*y = -5*l + 101. Suppose 0*f = 4*k + f - l, 3*f - 35 = -5*k. Suppose 3*a - 2*p = 4*a + k, -a - 8 = 3*p. Solve -a*r + 5 = r for r.
1
Suppose 4*i = 4*y - y + 31, -4*y - i - 16 = 0. Let q(b) = b**2 + 5*b + 2. Let r be q(y). Solve u + r*u - 9 = 0 for u.
3
Let c(z) = -z**3 - 4*z**2 - 3*z + 2. Let x(f) = -f**3 - 5*f**2 - 3*f + 5. Let v be x(-4). Suppose 0 = 2*a - v + 7. Let n be c(a). Solve -n*d + 1 = -3*d for d.
-1
Suppose -4*l = -2*l - j, -5*l + 2*j = 0. Solve l = -0*c - c - 2 for c.
-2
Suppose -6*r = r - 21. Solve -4*y + r = 23 for y.
-5
Suppose 11*f - 10*f = 4. Suppose 3*u - 4*u + 11 = f*w, 3*w - 10 = u. Solve -3 = w*m - 0*m for m.
-1
Suppose -3*u + 54 = -u. Suppose -4*s + 68 = 3*k + k, 0 = s - 4*k - u. Solve -5*w + 1 + s = 0 for w.
4
Suppose -5*t = 3*l - 23, 0*l = l - t - 5. Let h be (-5)/(20/(-16)) + (1 - 2). Solve k = h*k - l for k.
3
Let j = 1 + -1. Let t = -3 + 3. Suppose j = 4*v - t*v. Solve -4*k = -v*k + 20 for k.
-5
Suppose 5*t - 4*q - 26 = 12, -8 = 4*q. Let f = -2 + t. Let p = f - 2. Solve 3 + p = -i for i.
-5
Let w = 3 + 0. Solve -3*a + 6*a = -w for a.
-1
Let x be -1 + -2 - (-1 - 3). Let p(i) = 5*i**2 - i. Let n be p(x). Solve -z = n*z for z.
0
Let o(f) = -f**2 - 4*f - 1. Let a be o(-3). Let b be (1 - a)/((-2)/6). Solve 9 = -0*y - b*y for y.
-3
Let g = 13 - 4. Let n = 12 - g. Solve -4*o - n = -7*o for o.
1
Suppose 2*q - g + 13 = 22, -15 = -3*g. Let i(d) = -d + 10. Let l be i(7). Let b(r) = r + 2. Let u be b(-2). Solve 2*a + q + l = u for a.
-5
Let c(y) = 2*y + 4. Let i be c(2). Solve 3*w = 7*w + i for w.
-2
Let c be (8/(-32))/(2/(-24)). Solve 0 = 3*p + c + 3 for p.
-2
Suppose w + 0*w - 10 = 0. Let a = -20 + w. Let k be (-26)/a + 4/10. Solve q + k = 4 for q.
1
Let c = 2 + -4. Let g be c + 2 + 0/3. Solve g = -5*l + 5 for l.
1
Let s be 7*((-30)/(-21) + 0). Solve 0 = 4*l - s + 2 for l.
2
Suppose -2*y + 16 = 5*a, -5*y = -3*a - 0*a - 40. Suppose 0 = 2*v - 3 - 1. Suppose -3*t + 5*m = -20, 5*t - v*m = 4 + 4. Solve -4*i + 0*i - y = t for i.
-2
Let w be (-6)/(-15) + (-34)/10. Let l = w - -3. Solve l*j = 3*j - 12 for j.
4
Let u = 17 + -17. Solve u = -3*x + 4*x for x.
0
Let h(o) = -2*o + 27. Let v be h(11). Solve 10 + 10 = v*j for j.
4
Let d(z) = -2*z - 13. Let t be d(-8). Solve -2*u + 7 = -t for u.
5
Let g(d) = d + 14. Let s be g(-12). Solve 0 = -2*z + s - 0 for z.
1
Let m = -18 - -24. Solve m*k - 11*k = 0 for k.
0
Let i(u) = u**2 - u - 5. Let d = 11 + -4. Let m be i(d). Let z = 35 - 23. Solve -z = -5*n - m for n.
-5
Suppose v - 2*u - 4 = 0, v + 3*u = -3*v + 16. Solve -5*w = v + 6 for w.
-2
Suppose 9*i - 28 = 7*i. Let k = i + -14. Solve k = -5*y + 4*y + 2 for y.
2
Let c(d) = d + 5. Let r be c(-6). Let z be (r + 0)/(3/(-15)). Solve 0 = -z*k + 8 + 7 for k.
3
Suppose -2*b = -3*t - 0 + 4, -3*t = -5*b - 19. Let o be -1 + t + 1 - -12. Solve -4*r - o - 2 = 0 for r.
-3
Suppose 5*u - t - 51 = 0, 3*t + 23 = 2*u - 0*u. Let h(r) = -r + 11. Let g be h(u). Solve -16 = 3*i - g for i.
-5
Let i be (-4)/(-2)*2/4. Let r(h) = h**3 + 19*h**2 + h + 22. Let p be r(-19). Let x = p - i. Solve c = x*c for c.
0
Suppose 3*m + 2*m = 15. Suppose 1 = c + 6, -13 = d + m*c. Let h be 14/133 - 165/(-57). Solve d*a + h = -a for a.
-1
Let c be (1 + -5)/(-1) + (0 - -1). Solve -c*m = 8 - 3 for m.
-1
Let u be -2 + 2 + 0/1. Let b = u - -10. Let c be (3*-1)/(6/(-4)). Solve c*t = 4*t + b for t.
-5
Suppose 3*j - 4*j - b = -4, 0 = -3*j + 2*b + 7. Suppose j*a - 7*a - 20 = -4*z, -3*z = 5*a + 1. Let w be (3/a + 2)*0. Solve w*g + 2 = -g for g.
-2
Let q(a) = -6*a**2 + 19*a - 11 - 6*a**2 - 4 + 11*a**2. Let y be q(18). Solve y = b - 1 for b.
4
Let u be (0 - 3)*8/(-3). Suppose u = 5*q - 7. Suppose 5*k = q*k. Solve k = 3*s - 0*s + 12 for s.
-4
Suppose 4*l + 3*r - 6 = 5, -3*r = -3*l + 3. Suppose -b + l*b = 2. Solve -b*m + 0*m = 0 for m.
0
Suppose -4*a + 7*a = 0. Solve -2*y - 3 - 1 = a for y.
-2
Suppose o + 2 = -0. Let m be (1 - -5)*o/(-3). Solve 0 = x + 3*x - m for x.
1
Suppose p = -p + 40. Suppose -2*l + p + 2 = 0. Solve -3*s = -l - 4 for s.
5
Let l(t) = -t**3 - 6*t**2 - 5*t. Suppose -5*i + 26 = -2*q - i, 3*q = -4*i + 1. Let p be l(q). Suppose 0 = -3*c - p*c. Solve c*w - 10 = -5*w for w.
2
Let n = -63 - -63. Solve -y + 0 - 4 = n for y.
-4
Let c(h) = -7*h + 52. Let v be c(7). Solve -10 = q - v*q for q.
5
Suppose -5*n = -8 - 17. Solve 0 = -n*t - 16 + 6 for t.
-2
Suppose 0*v - 2*v - 8 = 0, -3*g + v = 2. Let l be (-1)/(g + 1) - -2. Solve l*b - 15 = -3 for b.
4
Let g be 2/3 + (-66)/45*-5. Solve -4*j = -0*j - g for j.
2
Let b = -35 - -38. Solve -5*d = -2*d + b for d.
-1
Let b = 24 + -35. Let g = -6 - b. Let m be (-3)/(-2)*(-18 + 20). Solve -x = -g + m for x.
2
Let f(x) = -7*x + 67. Let p be f(9). Solve -2*m + 2 = p for m.
-1
Suppose -3*o - 43 - 143 = 0. Let z = -42 - o. Suppose 5*p - z = -3*q, 4*q - 9*q = 2*p - 27. Solve 33 = q*w + 8 for w.
5
Suppose 2*l - 4*l = -20. Suppose -y + 6*y = l. Solve 2*n - 12 = -y*n for n.
3
Let w(r) = -6*r**2 - 4*r. Let x be w(-2). Let s = -16 - x. Solve 0 = 3*u - s*u + 3 for u.
-1
Suppose 4*k - b - 12 = 3*b, -5*b = -3*k + 15. Solve -4*s + s = k for s.
0
Let j(l) = l**2 + 4*l - 2. Let o be j(-5). Suppose -3*c = -o - 3. Suppose 6 = d + 4. Solve -d*v - 12 = c*v for v.
-3
Suppose 4*b - 57 + 13 = -4*o, -o + 17 = 2*b. Let u be (-1)/3 + (-10)/b. Let f be ((-8)/(-6) + u)*-6. Solve 3*a + a = -f for a.
-1
Let s = -13 + 5. Let a be (-2)/s - (-2)/(-8). Solve a*w + 8 = 2*w for w.
4
Suppose -7*v = -2*v - 25. Solve 0 = -2*o + 3*o + v for o.
-5
Let s be 26/10 + (-2)/(-5). Suppose 0 = -s*d - 0*d + 9. Let m(x) = x**2 + 4. Let b be m(0). Solve -d*h = -b*h for h.
0
Let d = 26 - 11. Let n = -45 - -34. Let g = n + d. Solve g = -0*x + x for x.
4
Suppose 5*c = 5*t - 55, -19 = -t - t + c. Solve 6*s - t*s + 8 = 0 for s.
4
Let n = 12 + -10. Solve -3*k + 20 = n*k for k.
4
Let k(g) = 13*g**2 + 2*g - 11. Let v be (-6 - -3 - 0) + -3. Let o(j) = -7*j**2 - j + 6. Let w(n) = v*k(n) - 11*o(n). Let p be w(0). Solve 3*x + p = 3 for x.
1
Let t = -3 - -21. Let r = t + -16. Solve 0*f = -r*f - 8 for f.
-4
Let c(q) = -q + 12. Let h be c(6). Suppose h = 2*m - 4. Suppose -m*y = -4*y - 4. Solve -d + 9 = -y*d for d.
-3
Let u(y) = y**3 + 4*y**2 - y + 2. Let p be u(-4). Let g = -4 + p. Suppose l + 2*h = 1 + 6, -5*l = 5*h - 25. Solve l*j + 15 = -g*j for j.
-3
Suppose 62*k + 4 = 63*k. Solve 2 = k*l - 6 for l.
2
Suppose 2*j = 3*a - 0*a - 30, 0 = -4*a + 4*j + 40. Solve -6*v + v = -a for v.
2
Suppose -c + 7*d - 15 = 3*d, 3*d - 35 = -4*c. Suppose -5*g = -c - 0. Suppose -3*v - g = -4*i, -8 = 2*i - 7*i - 3*v. Solve i = -0*u - u for u.
-1
Suppose 0*j + j = 