 + 4*y = r for y.
0
Let i(y) = 3*y - 3. Let g(u) = 4*u - 2. Let r(n) = 4*g(n) - 5*i(n). Let c be r(-5). Suppose 0 = -c*k + 3 - 1. Solve -f = -2*f + k for f.
1
Suppose 15 = 27*d - 22*d. Solve 0 = d*t + 3 - 0 for t.
-1
Let f(t) = -6*t - 2. Let y be f(-5). Suppose -3*v = v + n - y, -14 = -2*v + 2*n. Suppose -2*h + v = 1. Solve -2*w + h + 5 = 0 for w.
4
Suppose -2*r + 33 = -5*c, 17 = 3*r - 0*r - c. Let d be (-56)/12 - r/(-6). Let h be (10/(-15))/(d/30). Solve -3*s = -2*s + h for s.
-5
Suppose -2*f = -4*f + 5*b + 33, 5*b + 42 = 3*f. Solve 12*u + 3 = f*u for u.
-1
Let k(m) = -2*m**3 - 5*m**2 + 3*m + 2. Let f be k(-3). Solve 4*i = 5*i + f for i.
-2
Let i(p) = 5*p**2 + p - 1. Let k(d) = -d - 3. Let a be k(-4). Let c be i(a). Solve -5*s + c = -10 for s.
3
Let o(j) = 4*j + 3. Let b be o(-2). Let n be 4/(-20) + (-21)/b. Suppose 2*u - 7 = -4*l + 3*l, -n*l - 5*u + 19 = 0. Solve 2*k - 1 - l = 0 for k.
1
Suppose -z = -9 + 3. Solve -z*a = -2*a - 12 for a.
3
Let x be (-30 - -6)*2/(-6). Suppose 5*a = -x - 7. Let b = -2 - a. Solve -b = 2*u - 5 for u.
2
Suppose q + 30 = 3*q. Solve -3*f - 2*f = q for f.
-3
Let m be (19 + -1)*(-9)/(-27). Solve -g = 2*g + m for g.
-2
Suppose 0 = -0*i - 2*i + 12. Solve -i = 2*h + h for h.
-2
Let w(h) = h**3 + 7*h**2 - h + 1. Let q be w(-7). Suppose -2*i = -0*i - u - 5, -4*i - 2*u = 10. Solve i*o = -4*o - q for o.
-2
Let x(b) = b**3 + 6*b**2 + 3*b - 6. Let q be x(-4). Solve -6 = 4*a + q for a.
-5
Let r = 11 - 9. Suppose 0*t - r*t + 18 = 0. Solve -4*w - 3 - t = 0 for w.
-3
Let n = -4 + -4. Let u be (-2)/n - (-7)/(-28). Solve 2*a + a = u for a.
0
Suppose -5*l + 9*l - 60 = 0. Let i be 10/l*45/3. Solve 4*o - 2*o - i = 0 for o.
5
Let s be (4 - 2) + (-1 - -1). Solve -5*x = -s*x - 12 for x.
4
Let c = -15 - -26. Suppose 5*y + 16 + 34 = 5*p, -y - 3 = 0. Let b = -2 + p. Solve -b*f - 14 = c for f.
-5
Let t = -70 + 73. Solve -13 = -4*x + t for x.
4
Let c be (-2)/3*(-7 + -5). Suppose -3*b + 10 = -c. Suppose -2*y - 16 = -b*y. Solve y = 5*x + 9 for x.
-1
Suppose -3*j = -14 + 2. Suppose -j*s = -4 - 8. Solve -2 - 1 = s*v for v.
-1
Let m(l) = l**3 + 3*l**2 - 3*l + 7. Let n be m(-4). Solve o + n*o = 8 for o.
2
Suppose 9*l - 12*l = 0. Solve l = -k + 5*k for k.
0
Suppose 9*m - 4*m = -u + 10, -3*u = 15. Solve 0 = -6*h + m*h + 3 for h.
1
Suppose -4*a = 4*w, -3*a + 4*a + 6 = 5*w. Solve -z = -w + 3 for z.
-2
Let t = -25 + 28. Solve -w + t*w = 10 for w.
5
Let q be (0/7)/((-2)/2). Solve 5*o - 8 + 23 = q for o.
-3
Let n(z) = z**3 - 8*z**2 - 8*z - 1. Let r be n(9). Solve -r = 3*d + 4 for d.
-4
Let l be (-3)/1 - -2 - -5. Solve -l*s = 16 + 4 for s.
-5
Suppose 7*r + 2*f = 2*r + 98, -2*r = 4*f - 36. Solve 0*p - 5*p - r = 0 for p.
-4
Let l(j) = 2*j + 3. Let f be l(5). Let k be (-72)/(-15) - 4/5. Solve f = k*x - 3 for x.
4
Suppose -4*d + 9*d = j + 13, 3*j + 3 = 3*d. Solve -j*q = q - 9 for q.
3
Let m(v) = 0*v + 15 - 3 - v. Let p be m(7). Suppose 12 = 2*d + p*x, 8 = 3*d - 2*x - 10. Solve 0 = 2*u - 16 + d for u.
5
Suppose -x = -4*y + 12, x - 1 + 3 = -y. Solve y*o = o for o.
0
Suppose 4*x + v = -v + 88, 3*v = -6. Suppose -4*q - 4*p = -2 - 2, -4*p = -5*q + x. Solve 0*o = o + q for o.
-3
Let k be 34/12 - 13/(-78). Solve -k*z = -5*z - 2 for z.
-1
Suppose u = 5*w - 11, 0*w - 2*u + 17 = 3*w. Suppose -q + 9 = w*g - 2*g, 0 = 3*g - 2*q - 2. Solve -g = p - 0 for p.
-4
Let p(d) = -d**2 - 4*d + 1. Let o be p(-3). Suppose -o*a + 4*j = 20 + 4, -3*a + 2*j = 16. Let g be ((-2)/a)/((-1)/(-4)). Solve 2 = -2*m - g for m.
-2
Suppose -2*l = l. Solve l = -x - 1 - 2 for x.
-3
Let w be (12 + -32)*(-1)/4 - 2. Solve -15 = 3*c - w for c.
-4
Let l be 20/14 - (-28)/49. Solve 4*c + 18 = -l for c.
-5
Let u be (5 - 36/7) + (-30)/(-14). Let n = -26 - -46. Solve -2*q - u*q = -n for q.
5
Let l(x) = -x**2 + 4*x + 5. Let a be l(6). Let i = a - -7. Solve i*z - 3*z = 0 for z.
0
Let c be 44/(-33) - (-44)/6. Solve c = -2*x - 4 for x.
-5
Let n(x) = x**3 + 10*x**2 + 9*x + 1. Let y be n(-9). Suppose -2*u = -6*u + 12. Let w = u - y. Solve -w = m + m for m.
-1
Suppose -3*d - 66 = -2*z - d, 5*z + 4*d = 174. Suppose 4*m = -3*a + a + z, 0 = 5*m + 2*a - 43. Solve -5*s + 6 = -m for s.
3
Let o be (-19)/(-2) + (-8)/16. Solve 0*k - o = 3*k for k.
-3
Let u = 157 - 153. Solve -2*f = -0 + u for f.
-2
Let b be (-7 + 7)/(1 - -1). Solve 3*o + 3 = -b*o for o.
-1
Suppose 0*g = g - 10. Let t = g + -9. Suppose -3*o = t - 10. Solve 0 = 2*m - m - o for m.
3
Suppose -3*i - 13 - 59 = 0. Let y be ((-1)/2)/(3/i). Solve p = -y*p for p.
0
Let g = 7 + 1. Suppose 20 = 3*y + g. Solve -10 = -y*m + 10 for m.
5
Suppose 2*s - 20 + 4 = -2*v, 64 = 5*s - 3*v. Solve 5*m + 4 = -s for m.
-3
Suppose 0*u + 48 = 3*u. Suppose 0*r + u = -2*r. Let a be (-3)/(-2) - 148/r. Solve -4*w + a = -9*w for w.
-4
Let u = -35 - -15. Let i = u + 28. Solve i + 0 = 2*w for w.
4
Let y = -14 + 18. Let r(x) = x**3 - 4*x**2 + 2. Let i be r(4). Solve 0 = -y*c - 18 + i for c.
-4
Suppose -5*g = -3*u + 19, -2*g = -5*u + 4 + 15. Solve -4 - 8 = u*n for n.
-4
Let g = 11 - 6. Suppose -5*s + 0 = -g. Let t(c) = -c**2 - 7*c - 1. Let d be t(-6). Solve -d*n - 4 = s for n.
-1
Let c = 1 - 0. Let i be c*2 - (-3 - -3). Suppose 5*v - 4*r - 10 = -i*r, v = -r + 9. Solve -8*h + v*h = 4 for h.
-1
Let x = -8 - -13. Suppose 0 = 2*s - 2*o + 3*o - 8, x*s - 2*o - 2 = 0. Let c = s + -2. Solve a + c = -5 for a.
-5
Let g(x) = x**2. Let m be g(-1). Let q be 16*(3 + 7/(-2)). Let n be -14*4/q + -2. Solve -m = n*c + 4 for c.
-1
Let c = -1 + 6. Suppose 0 = c*x - 4*b - 5, -2*b + 7*b = 25. Solve 3*g + x = 4*g for g.
5
Let q(t) = t**3 + 5*t**2 - 5*t + 8. Let p be q(-6). Let b = p + 1. Solve -5*s - 2 = b for s.
-1
Let r = -16 + 20. Solve 3*u + 8 = -r for u.
-4
Suppose 2*v + 3*v = -3*v. Solve 0*p - 2*p + 6 = v for p.
3
Let n be 2 + 0 + 1 + 6. Suppose -5 = k - n. Solve -k*j + 9 = -j for j.
3
Let j = -50 - -50. Let g(h) = h**2 + 4*h + 4. Let n be g(-4). Solve n*m - m = j for m.
0
Let x = -3 + 8. Solve -3*p + x = 2 for p.
1
Suppose -3*o = y - 9, -o + 1 = y - 4. Solve c = -c - o for c.
-1
Suppose -5*d + 3 - 48 = -3*y, -4*y = d - 37. Solve 0 = 4*i + 22 - y for i.
-3
Let z be 2/4*0/(-2). Solve 2*c - 2 + 4 = z for c.
-1
Let k(n) = -2*n - 8. Let l be k(-6). Solve -3*s = -5 - l for s.
3
Let a(t) be the second derivative of t**4/12 + 7*t**3/6 - 5*t**2/2 + 2*t. Let c be a(-7). Let b be c/(-2)*(-24)/(-10). Solve 2*d + 2 - b = 0 for d.
2
Suppose 15 = 5*l, 0 = x + x + 5*l - 19. Suppose 15 = 3*g - 3*f, x*g - 2*f = -g + 10. Solve g = 5*r - 2 - 8 for r.
2
Let s(i) = -i + 1. Let m be s(-1). Solve 4 = -m*w - 6 for w.
-5
Suppose 14*a - 8 = 12*a. Solve a*t = 21 - 5 for t.
4
Let z be (-2)/(2/(-12)*4). Let x = 0 - 0. Solve -z*k = -x*k for k.
0
Let i = -14 - -17. Let k = -5 + 10. Let d = 14 + -8. Solve -d = -i*o + k*o for o.
-3
Let r be ((-15)/12)/((-2)/(-16)). Let l = 6 + r. Let i = l + 7. Solve 0 = -2*j - i - 3 for j.
-3
Let n = 24 + 0. Suppose 2*a - n = 3*v + 11, -4*a + 5*v = -75. Solve m + a = -4*m for m.
-5
Let r(w) = w**3 + 3*w**2 - 2*w - 4. Let a be r(-3). Let k(v) = v**3 - 2. Let y be k(2). Suppose 4*l = b - y*b - 4, -4*l - 4*b = 0. Solve a*p = 6*p - l for p.
1
Let g be 3*2*(-1)/(-2). Suppose -3*w + 3*x + 24 = -2*x, x = -3. Let i(r) = -r**3 - 19*r**2 - 7*r - 115. Let a be i(-19). Solve g*l + a = w for l.
-5
Let m = -5 - -10. Suppose -3*k = -w - 9 - 4, -w = 2*k - 12. Let s(u) = 6*u**3 - u**2 - u + 1. Let d be s(1). Solve -k = -m*g + d for g.
2
Let n(q) = q - 7. Let u be n(8). Solve 3*t = -u - 11 for t.
-4
Suppose -4*p - 8 = 0, -5*a + 71 = -0*a + 2*p. Solve a = -2*h + 7*h for h.
3
Let j(l) = 3*l**2 + 8*l - 6. Let n be j(-8). Suppose 5*f - n = -37. Solve -4*w - f + 5 = 0 for w.
-3
Let f be -1*(-2 + (1 - -2)). Let s = 3 - f. Let y = 32 + -17. Solve -s*o - y = o for o.
-3
Let v be (-4 + (2 - -2))*-1. Solve v = 2*i + 1 - 3 for i.
1
Let g = -85 + 85. Solve -2*o - 2*o - 8 = g for o.
-2
Suppose -6*z - 2*z = -32. Solve -2*c = -c - z for c.
4
Suppose 2*s = -3*t + 46 - 6, 3*s - 49 = t. Suppose -3 - s = -5*n - 2*j, -2*j + 14 = 2*n. Solve -x + 5 = -n*x for x.
-5
Suppose -5*i + 2*o + 3 = -4, -2*i - 5*o = -26. Suppose -4*x = -2*s - 14, -i*s + x + 2 = -2. Solve -8*h = -s*h + 25 for h.
-5
Let g(c) = -c**3 + 5*c**2 + 4*c - 16. Let f be g(5). Solve 0 = -f*z - z + 25 for z.
5
Suppose -5*f = -3*t + 5, -5*t + f - 2*f = 1. Suppose t = -5*z + 17 + 3. Sol