for y.
0
Suppose -19*z + 22*z = 12. Suppose -3*t + 10 = 2*i, z*i - 2*t = 2*t. Solve 0 = -2*j - 0 + i for j.
1
Let x = 2213 - 2195. Solve x = -46*p + 55*p for p.
2
Let b(n) = 7*n - 1. Let d(f) = f**2 + f - 1. Let o(t) = -b(t) + 4*d(t). Let z be o(-1). Solve -r + z*r = 3 for r.
1
Suppose -5*f - 3*j = -10, -4*f = -5*j - 5 - 3. Suppose 0 = 4*z - u - 1, -f*z - u - u - 2 = 0. Suppose z = -d + 3*p + 2, 4*d = -2*p + 22. Solve d*o = 3*o for o.
0
Suppose 24 = q + l, 73 + 54 = 5*q - 2*l. Solve 0 = -q*x + 28*x - 15 for x.
5
Let f(r) = -r + 16. Let m(l) = -4*l + 80. Let z(c) = 28*f(c) - 6*m(c). Let i be z(-9). Solve 0 = -i*u + 3*u for u.
0
Let k = -60 + 60. Solve -m - 2 - 2 = k for m.
-4
Let q = 20 + 40. Suppose t + q = 2*a, -a + 90 = 2*a - 4*t. Suppose -3*u - 3*u + a = 0. Solve h + 20 = u*h for h.
5
Let k be (-4)/(-14) + (-19)/(-7). Let r(g) = -g**2 + 9*g - 10. Let y be r(2). Solve -y = h + k*h for h.
-1
Let m(s) = -s**3 + 3*s**2 - 3*s + 1. Let u be m(2). Let d be 30/(-45)*3/u. Solve w - 2 = d for w.
4
Suppose -66*r = -60*r - 12. Solve r*p = 10*p for p.
0
Suppose 14*f = -18*f. Solve -o + 7*o = f for o.
0
Suppose 3*q - q + 3*b = 20, -4*q + 3*b + 4 = 0. Suppose -q = -s - 2. Solve -s*t = -t - 5 for t.
5
Suppose -3*f + 5*g - 9*g - 5 = 0, -2*f + 5 = g. Solve 6*c = f + 19 for c.
4
Suppose 16*h + 12 = 18*h. Solve -v - h = -8 for v.
2
Let s = -18 + 18. Let z be 3 + s + 4 + -2. Solve z*a - 2*a = 0 for a.
0
Let a(z) = -8*z**2 + 38*z + 10. Let i be a(5). Solve i = 3*f - 16 + 25 for f.
-3
Let p(u) = -u**2 - 9*u - 18. Let w(o) = -o**3 - 10*o**2 + 10*o - 15. Let n be w(-11). Let b be p(n). Solve -3*m - b*m + 10 = 0 for m.
2
Suppose 305 - 153 = 4*z. Solve 0 = -z*w + 36*w + 2 for w.
1
Let g = 1209 - 1178. Solve g*m - 6 = 29*m for m.
3
Let h be (3/3 - 0) + 1. Suppose -5*u = 20, 0 = -5*o - 3*u + 62 - 24. Suppose 14*y - 9*y - o = 0. Solve 0 = y*i - h for i.
1
Let b(m) = -m - m**3 + 5*m**2 + 7 - 4*m**3 + 4*m**3. Let y be b(5). Let c be 6 + (y + -4 - 1). Solve c = -i + 2*i for i.
3
Let a(v) = 3*v**3 - v**2 + v. Let o be a(1). Let z be o + (-12)/(-3) + -4. Solve 0 = z*w - w for w.
0
Let w = 56 - 41. Let g be -3 - (3 - (w + 0)). Solve -g = 3*q + 6 for q.
-5
Suppose 0 = 5*s - 5*c - 39 - 6, -4*s + c + 24 = 0. Solve s*q = 4*q - 5 for q.
-5
Let d(b) = -11*b - 40. Suppose 0 = 3*o + 4*u + u + 2, -4*o + 4*u = 24. Let c be d(o). Suppose -4*x + 28 = -8. Solve -c*n - x = -25 for n.
4
Suppose -17*h - 5 = -22*h. Solve 5*s + h = 11 for s.
2
Let d = 7 + -3. Suppose -26*m = -10*m. Suppose -t - d + 6 = m. Solve -t*k = -0 + 6 for k.
-3
Let t(s) = 3*s**2 + s - 8. Let z be t(3). Solve 0 = 4*q - z + 2 for q.
5
Suppose 0 = 5*l - 45 - 10. Let u = l + -8. Solve -3*c + u = 9 for c.
-2
Let p = -34 - -25. Let z = p - -10. Solve 4 - z = -s for s.
-3
Let n(j) = -10 + 0*j + 0*j - 5*j. Let q be n(-5). Solve -q = 3*c - 0*c for c.
-5
Let m(j) = j**3 - 4*j**2 - 5*j + 9. Let t be m(5). Solve 0*a + t*a = -27 for a.
-3
Suppose 33*o = 35*o. Suppose 4*f - 3*f = o. Solve -c + f*c = -3 for c.
3
Let d(i) = i**2 + 17*i + 10. Let m be d(-15). Let x be 2/(-5) - 48/m. Suppose -4*z + 18 = l - 7*z, -13 = -l + x*z. Solve l = -3*g + 4*g for g.
3
Suppose 3*v - 3 = 3*y + 3, 5*v = -4*y + 37. Let z = -5 + 9. Suppose -v*u + 11 = -z. Solve u*m = -0*m - 15 for m.
-5
Let d be ((-15)/3 + 5)*(-2)/(-2). Solve 3*t + 13 - 7 = d for t.
-2
Suppose 5*w + 1 = -3*s, -2*s + 1 + 7 = -w. Let k(n) = -n**2 + 17. Let z be k(0). Suppose 0 = -z*r + 21*r. Solve r*i + s*i = -3 for i.
-1
Let k = -591 + 621. Solve -55*h + k = -49*h for h.
5
Let b(n) = -29*n - 1. Let d be b(1). Let v be (-20)/d*(1 - -5). Suppose v*h - 10 = 2. Solve z = h*z - 4 for z.
2
Let l be 4/22 - (-527)/187. Solve 0 = -2*f + 7 + l for f.
5
Suppose 45*o + 704 = 89*o. Solve o*b - 36 = 4*b for b.
3
Let r be 50/(-2)*48/(-80). Solve -g - 4*g + r = 0 for g.
3
Suppose 4*m + 5*g = -25, 11*m - 4*g = 6*m + 20. Solve m = -y - 7*y for y.
0
Let u be 2 + -4*21/(-28). Solve -1 = u*t + 9 for t.
-2
Let z(w) = w**2 + 8*w - 7. Suppose -2*a - 10 = 8. Let x be z(a). Solve 0 = -x*f + 7*f - 25 for f.
5
Suppose 24*h - 806 = 490. Solve -3*v = 51 - h for v.
1
Let i(t) be the first derivative of -t**4/4 + 2*t**3/3 + t**2/2 + t - 5. Let o be i(3). Let v = -2 - o. Solve q = -0*q + v for q.
3
Suppose -10 - 10 = -o. Let i(t) = 9*t - 229. Let w be i(26). Solve w*n + o = -0 for n.
-4
Let d be 48/12 + 0 + -2. Suppose d*y - 1 = 3. Solve -y*c = -3 + 9 for c.
-3
Suppose -r = -4*f + 1, 6*f = -3*r + 3*f + 57. Suppose k + r = 4*k. Suppose 2*d + 3*q + 13 = 0, -15 = -d + k*q + 11. Solve -x + 6 - d = 0 for x.
5
Let q be 1/(21/6 + -3). Let h = 32 - 26. Suppose -h*l + 38 = -52. Solve c = -q*c + l for c.
5
Let z be (18/(-21))/((-7)/294). Let r = z + -33. Suppose -r*t - 5*l + 10 = 0, -1 = 3*t - 3*l + 5. Solve t = i - 0 + 5 for i.
-5
Suppose 18 = 3*q - 5*l - 8, -5*q = 4*l + 6. Suppose 2*c - 29 = 5*z + 5*c, -11 = -z + 5*c. Let h be z/(-6) - (-20)/6. Solve h*b - q = -6 for b.
-1
Let o = 1058 - 1048. Solve -32 = -o*j + 2*j for j.
4
Suppose -2*d + 6 = -3*p - p, -3*d = -p + 1. Let h = d + 1. Suppose h*l + 15 = -3*l, a = -4*l - 14. Solve 0 = -7*f + 4*f - a for f.
-2
Let l(y) be the first derivative of 3*y**2/2 + 7*y + 3. Let t be l(-5). Let q = t - -9. Solve -5*i = -9 - q for i.
2
Suppose -7*y - 21 + 168 = 0. Suppose 0 = 3*w - y. Solve 6*l = w*l + 2 for l.
-2
Suppose 2*a + o = 125, 2*a - 2*o = a + 55. Suppose -4*g - a = 47. Let y be (20/15)/((-3)/g). Solve y = -5*k + k for k.
-3
Suppose -4*w + 9 = 3*z, z + 4*w = 3*z - 26. Suppose 0 = z*c - 20 + 6. Solve 1 = -c*q + 5 for q.
2
Let l(m) = -m**2 - 4*m + 252. Let h be l(-18). Solve h = -p + 10 - 8 for p.
2
Let h = -4 + 6. Let l(k) = 2*k - 6. Let i be l(3). Suppose -3*q + 75 - 63 = i. Solve -h*d + 4 = -q for d.
4
Suppose 2*f + f - 72 = 0. Suppose -f = x - 5*x. Let w(t) = t**2 - 5*t - 11. Let c be w(7). Solve -c*j + 6 = -x for j.
4
Let g = 41 - 21. Suppose -4*b + g = 2*r, -32 = -4*b - b + r. Suppose -3*c = -b - 6. Solve -3*k = k + c for k.
-1
Let x be (5/5)/(2/24). Suppose -5*o + 0*n = 3*n - x, -2*o - 4*n = -2. Let p(g) = -g**3 + 2. Let i be p(0). Solve -u = -i - o for u.
5
Let d = -11 - -20. Suppose d = 5*u + 4*x, -4*u + x + 4 = u. Let i be (2/5)/(u/5). Solve 2*y + i*y = 16 for y.
4
Suppose -r - 11 = -3*m - 0, -3*r + 5*m = 13. Suppose r*v + 27 = 35. Solve -v = -2*g - 10 for g.
-4
Suppose 2*s = 5*v + 28, 0 = 5*s - 9*v + 5*v - 104. Solve 3*w + 21 = s for w.
1
Suppose -4*a + 2*p = -8, 0*a + 8 = 4*a + 2*p. Suppose -3*k = -8 - 1. Suppose k*m - 5*c - 12 = -m, 5*c - 4 = 2*m. Solve a*t = 6*t - m for t.
2
Let p(i) = 38*i**2 - 4*i. Let k be p(1). Solve -26 = -12*g + k for g.
5
Let d be (2 - -2)*(-2)/(-4). Let o be -2*((-7)/d - -3). Solve -m = 2 + o for m.
-3
Let i(p) = -3*p + 41. Let q be i(13). Let g be (q - 3)*(-6 + 5)*5. Solve 0 = -g*d - 7 - 8 for d.
-3
Let g(k) = -8*k - 166. Let h be g(-23). Solve -4*n + h - 6 = 0 for n.
3
Suppose 0 = 5*x + 3*h - 107, 102*x - 106*x + 87 = h. Solve -x = 13*o + 4 for o.
-2
Suppose 8*p - 125 = 3*p. Suppose -5*b = -p, -3*b + 4 = 4*v + 17. Let n be (-1 - 0)*(v + 5). Solve n*u = 6*u + 16 for u.
-4
Let g = 6 + -70. Let t = 64 + g. Solve 0 = 4*z - 8 - t for z.
2
Let q = 1026 + -998. Solve 27*d - q*d = -3 for d.
3
Let k(w) = -5*w + 49. Let t be k(9). Solve t*n = n + 6 for n.
2
Let t(i) = 3*i**3 - i**2 - 2*i. Let y be t(2). Solve -r - 3*r = y for r.
-4
Let z(k) = 6*k**2 + 2*k + 1. Let q be z(-1). Suppose m = -4*o, -q*o = -o + 2*m + 4. Let g be 1 - 2/1 - 6/(-3). Solve -o = s + g for s.
-2
Let j(i) = i**2 + 2*i + 2. Let r = 11 + -13. Let p be j(r). Suppose 3*x = 5*u, -4*x = p*u - x. Solve u = -7*w + 3*w for w.
0
Let d be (-35)/3*-15*10/35. Solve d - 15 = 7*t for t.
5
Let m(x) = 2*x**2 + 10*x - 37. Let t be m(-8). Solve 4*u - 35 = t*u for u.
-5
Suppose 3*s + p = 28, -4*s = -8*s + 4*p + 16. Solve -t = s*t - 45 for t.
5
Let n = -157 - -164. Let t = -6 + 10. Solve -s - n = -t for s.
-3
Suppose 28 = 76*k - 69*k. Solve -k*c - 50 = 6*c for c.
-5
Suppose -2*i + 1 = -2*f - 7, -4*i + 3*f = -14. Suppose i*l + 6*l = 32. Solve -l*w + 14 + 6 = 0 for w.
5
Let f(x) = -5*x**2 - 6*x - 14. Let v(g) = 4*g**2 + 7*g + 13. Let t(a) = -3*f(a) - 4*v(a). Let o be t(-8). Let l = 46 + -46. Solve r - 3*r + o = l for r.
3
Let f be ((-143)/55)/(1/(-5)). Suppose -7 = 3*g - f. Solve l = g*l for l.
0
Suppo