a + 1 for a.
-2
Suppose 5*t + 0*c + 43 = -c, -4*t - 4*c = 28. Let k = 12 + t. Solve k*s = 2*s - 3 for s.
-3
Suppose 4*q = 2*q - 8, -8 = 2*i - 4*q. Let f = i + 20. Solve 0 = 2*u - 0*u + f for u.
-4
Let j(f) = f - 6. Let k be j(10). Solve 0 = k*b - 3*b - 4 for b.
4
Let q be 6*4/1*1. Solve -4*d - q = -8 for d.
-4
Let j(n) = 2*n - 19. Let a be j(12). Let u(l) = -l - 7. Let o be u(-6). Let x be (1 - 6)/o + 0. Solve -a = x*w - 0*w for w.
-1
Let l(m) = -7*m**2 + 12*m - 15. Let u(k) = 3*k**2 - 6*k + 7. Let z(q) = -2*l(q) - 5*u(q). Let a be z(4). Solve 0 = 2*n - a - 5 for n.
4
Let s = -1 + 3. Suppose -3*f + s*k + 2*k = 0, 0 = -5*f + 2*k + 14. Solve -f*w = -3*w for w.
0
Let i(g) = g**2 + 5*g + 1. Let o be -3*(-4)/9*-3. Let j be i(o). Let a be (-1 + (-6)/j)*2. Solve 2 = p - a*p for p.
-2
Let h = 3 + 1. Solve -8*m + 4 = -h*m for m.
1
Suppose 8 = 2*n + 5*d - 17, -3*d = -5*n - 15. Solve 3*y = -n + 6 for y.
2
Let j = -46 + 51. Solve -j*n = -8 - 2 for n.
2
Suppose 0 = -0*k + 5*k - 10. Suppose -k*t = m - 7*t - 24, 3*m = -4*t - 4. Let f be 2/(((-8)/(-21))/(-4)*-3). Solve -f*a + m*a = 6 for a.
-2
Let p be -3*3/(0 + -9). Suppose -p = a - 3. Solve a*n + 3*n = -25 for n.
-5
Suppose 4*v + 21 = -5*y, v - y + 24 = -6*y. Suppose 2*i - 5 = -v. Solve -i*n - 4 = -n for n.
-4
Suppose 42 = 2*a - 4*k + 3*k, -5*k + 120 = 5*a. Suppose -s + 2*j + 10 = -0*j, -a = -s - 4*j. Solve -4*u + s = -6 for u.
5
Let k(d) = -d - 6. Let l be k(-6). Let u = 15 - 14. Solve l*z = z - u for z.
1
Let n(g) = -g + 12. Let k be n(9). Solve 2 = -2*y + k*y for y.
2
Let z = 4 - 2. Suppose i = -z*a + 6, 4*i + 3 = a - 0. Solve k = -a*k for k.
0
Let v be (0/(-4) - 1)/(-1). Solve -4 = 5*n + v for n.
-1
Let n = 1 - -2. Suppose -b = -n*b + 10. Solve -b*l - 3 = -23 for l.
4
Let w be 10/(-4) + (-2)/4. Let z be (w + 2)/(1/(-3)). Suppose 7 = 5*b - z. Solve -5 = -3*h - b*h for h.
1
Let j be -1*(-10)/(-3 + 5). Solve -j*s + s = -12 for s.
3
Suppose -2*z - z - 9 = 0. Let v be 4/6 + 2/z. Suppose 2*u + 6 = -2*d - v*d, -4*u = -d + 12. Solve -a + 3 = -d*a for a.
3
Let a = 243 + -143. Suppose -a = 2*s - 7*s. Let w = -12 + s. Solve 0*u = 2*u + w for u.
-4
Let j be (-5 + (1 - -6))*1*2. Solve -j*i + 3 = 15 for i.
-3
Suppose -27 + 5 = -2*o + 5*g, -2*g = -2*o + 16. Suppose -2*t = t - o. Let m = 3 - t. Solve 0 = -h - m - 0 for h.
-1
Let c = 2 - -2. Suppose 3*m - c = 2*m. Suppose -m*n = -5*r + 35 - 93, -r - 62 = -5*n. Solve -3*w = -0*w + n for w.
-4
Let q(p) = -p - 1. Let f(u) = 12*u + 15. Let x(w) = -2*f(w) - 22*q(w). Let s be x(-10). Suppose 3*b - y = 15, 3*y + s = 3*b + 3. Solve 5*v = 2*v + b for v.
2
Let j(a) = -a**3 + 6*a**2 - 4*a. Let t be j(5). Suppose -3*s = -t*u - 36, 5*u + 27 = 3*s + 3*u. Let v = s - 6. Solve 2*i - v = 1 for i.
1
Let n be 3/9 - 23/(-3). Suppose -n = -4*p + 12. Solve a = p*a for a.
0
Let r(y) = -16*y + 4. Let t(h) = -47*h + 11. Let s(n) = 8*r(n) - 3*t(n). Let f be s(1). Solve -2*z + f = 2*z for z.
3
Suppose -4*d = -2 - 2. Let o be ((-3)/(-3) - -6)*d. Solve -o = -4*u + 9 for u.
4
Let n(z) = 8 - 1 - z + 5. Let h be n(10). Suppose -5*t = -h - 23. Solve 10*w = t*w - 10 for w.
-2
Suppose -3*p - 4*i + 3*i = -12, 0 = i. Suppose -2*x + 1 = -5. Suppose -j - x*k - 9 + 2 = 0, 0 = -j - k - 1. Solve j*w = w + p for w.
4
Suppose 5*c - 10*c = 0. Solve 5*q = -c*q + 25 for q.
5
Let a = -2 - -6. Solve 3*f + 3 = a*f for f.
3
Suppose -4*d + 3*v + 2 = 0, d + 8 = -12*v + 17*v. Solve -2*j + 20 = d*j for j.
5
Let k = 23 - 18. Solve -k*b + 7 + 18 = 0 for b.
5
Let t(o) = o**3 + 15*o**2 + 13*o - 10. Let v be t(-14). Solve 0 + 20 = v*h for h.
5
Suppose -3*u = -5*j - 12, -3*j + 0*u + 3*u - 12 = 0. Suppose 0 = 5*y + 20, s + 24 = 3*s - 5*y. Solve -s*m = -j*m + 8 for m.
-4
Let n(a) be the first derivative of a**3/3 + 1. Let z be n(-4). Let f = z + -5. Solve -1 = 5*o - f for o.
2
Suppose 30 = 5*l - 5*y, -2*y + 7*y = -2*l + 5. Suppose 0 = -2*a - 4*j - 12, 0 = -6*a + 2*a - l*j - 9. Solve 0*k - a = -2*k for k.
2
Suppose 8 = 2*u - 10. Suppose -4*q + u = -15. Suppose 9 + q = 5*w. Solve -9 = -w*p - 0 for p.
3
Let i(g) = -2*g**2 + 7*g + 17. Let u be i(5). Solve -1 + u = y for y.
1
Let y(o) = -2*o - 13. Let n be y(-8). Solve -2*a + 7 = -n for a.
5
Suppose 3*g + 2*g = 0. Suppose 5*i = -g*i. Let s = i + 2. Solve -6 = -m - s*m for m.
2
Suppose -2*c = -c - 4. Let q be 4/(-6) - (-4)/6. Let w = c + q. Solve -w*b - 3 - 5 = 0 for b.
-2
Let v(q) = -q**3 + 11*q**2 + 14*q - 20. Let o be v(12). Solve -t + 25 = o*t for t.
5
Let w(u) = u**3 - 24*u**2 + 25*u - 44. Let t be w(23). Solve 3*n = 2*n + t for n.
2
Let f = 6 + -2. Let x(a) = a**2 - 5*a + 4. Let q be x(f). Solve b + 2 + 3 = q for b.
-5
Suppose 2*i - 28 = t - 5*t, 2*i = 3*t - 7. Suppose -82 = -4*j - 26. Suppose 44 = 4*q - i*c, -5*q + c - j + 65 = 0. Solve -3*x = -x - q for x.
5
Let i(x) = -x**2 - 5*x + 1. Let l = -9 - -5. Let g be i(l). Suppose g*j - 22 = 3*d, j + 5*d - 10 = -0*d. Solve j*a - 8 + 3 = 0 for a.
1
Let p(f) = f**3 - 4*f**2 - 10*f + 1. Let v be p(6). Solve -v = 3*u + 2 for u.
-5
Let f be -7 + 7 + (-10)/(-2). Suppose 0 = -2*g + f*i - 4, 2*g + 2*i + 0*i - 10 = 0. Suppose 0*s - g*s + 57 = -3*d, d + 4 = 0. Solve -4*a = a - s for a.
3
Suppose 25 = 2*m + 3*m. Suppose 2*l + 10 = -2*h, 0*h = -l + 5*h + 25. Solve -s = -l + m for s.
-5
Suppose 4*v - 8*v = -64. Solve 5*a = a - v for a.
-4
Let c be 28/7 - (1 + -31). Solve -5*m + 9 = c for m.
-5
Suppose 4*n = -9 + 13. Solve 2*c + n = -1 for c.
-1
Let a = -5 + 8. Suppose 2*j = -j + a. Let r be (-2 + 1 - 0) + j. Solve r*f + 3 = -f for f.
-3
Suppose -x - 5 = -5*r, 8*x - 11 = 2*r + 5*x. Solve -5*w + r*w = 0 for w.
0
Let p(n) = -n**2 + 5. Let f be p(0). Let y = 7 - f. Suppose 4*c + 3*w + 11 = 2*c, -5*w - 21 = y*c. Solve q + q = -c for q.
-1
Suppose 0 = -y + 3 + 1. Solve -8 = 2*o - y for o.
-2
Let g(k) = -k**3 + 5*k**2 - 2*k - 4. Let m be g(3). Suppose -3*q - 125 = -m*q. Solve 2*l = 7*l + q for l.
-5
Let b(z) = 3*z - 3. Let i be b(2). Suppose c = i*l - 14, -2*l + 9 + 1 = -c. Solve l*g - 7 = 9 for g.
4
Suppose 0 = -b - b + 6. Solve 5 - b = 2*u for u.
1
Let u be 3/3 + (-2 - -1). Suppose f - 5*f + 12 = u. Suppose -m = -0 - 6. Solve -m + 3 = f*b for b.
-1
Let s(j) = j**2 + 2. Let z be s(0). Suppose 3*y = z*y - 1. Let b be (y/3)/((-3)/18). Solve -r = -2*r + b for r.
2
Suppose -2*l + 4 = 4*d - 0, 5*d - 8 = -l. Let h(o) = 1 + o**3 - 2*o**d + o**3 + 3*o**3. Let x be h(1). Solve 2 + x = 3*q for q.
2
Suppose i - 41 = -5*l, 5*i - 25 = -4*l - 9. Solve -11*w = -l*w + 2 for w.
-1
Suppose -5*s + 4*x - 7 = -10*s, -13 = -3*s + 2*x. Solve -s*g = -0*g for g.
0
Suppose 2*p = 7 - 3. Solve -a = p - 0 for a.
-2
Suppose -4*g = -6*g + 6. Solve 5*u = 4*u + g for u.
3
Let p(n) = -n**2 + 8*n - 6. Suppose -4*a + 30 = 3*o, -a + 0 = -3. Let y be p(o). Solve 0 = 2*j - y + 16 for j.
-5
Let p = -165 - -175. Solve z + p = -z for z.
-5
Suppose -100 = -3*g - 25. Let s = g + -18. Solve -s = -w - 2 for w.
5
Let b(g) = 8 - 3 + g - g**3 - g. Let m be b(0). Let w(l) = l**2 + 2*l. Let k be w(-2). Solve k*s - 20 = -m*s for s.
4
Let f(h) = 2*h - 26. Let l be f(15). Solve y + 3 = l for y.
1
Let a = -8 + 12. Suppose 0 = -2*o + 6, -2*o = 4*j - o - 87. Solve -j = a*x - 5 for x.
-4
Suppose -21 = -2*g + w, 5*g - 9*g - 3*w + 57 = 0. Solve -g*y + 10*y + 8 = 0 for y.
4
Suppose m + 3*k = 8 - 1, -2*k + 3 = -m. Solve -4*j - 3 - m = 0 for j.
-1
Suppose -3*q + 2*n + 2 = -0, -12 = -q - 5*n. Solve -q*d = 3*d + 20 for d.
-4
Let c = 1 + 19. Solve -3*y - c = 2*y for y.
-4
Let f(u) = u**3 - 3*u**2 + 2. Let o be f(2). Let k(g) = -2*g + 2*g + 4*g**2. Let j be k(o). Solve 2*m - 6*m - j = 0 for m.
-4
Let g = -8 - -8. Solve g = -3*x - x for x.
0
Suppose -4*q + 12 = 2*c, 4*c + 2*q - 52 = q. Let m be 4/c + (-96)/(-56). Solve -1 = 3*d + m for d.
-1
Suppose 4*p - p = 9. Solve 1 = 2*i - p for i.
2
Suppose -1 = -3*s + 5*n, -4*s = -0*s + 3*n - 11. Solve -8 = -s*g - 2 for g.
3
Let l = -23 - -45. Let h be 121/l - 1/(-2). Solve 4 = 2*x - h for x.
5
Suppose 5*f - 10 = -0*f. Solve -3*q + f*q + 3 = 0 for q.
3
Suppose -2*j + 6 = 2. Suppose 0 = k + j - 4. Solve -6*x = -k*x + 8 for x.
-2
Let g be (-5)/30*-3*0. Solve g*h = -h - 3 for h.
-3
Let r be 1/(-4) + 21/4. Let s = -12 + 12. Solve s = t + r for t.
-5
Let k be 1/((-2)/(-12)*3). Solve 5*i = 4*i + k for i.
2
Let f be ((-3)/(-1))/3*(6 + -3). Suppose j - 6*j + 60 = 0. Let s be (j - 6) 