a + t + 15 = -4*t for a.
1
Let r(y) = y**2 + 3*y + 2. Let n be r(-3). Solve -3*o + d + 17 = o, -n*o - 4*d + 4 = 0 for o.
4
Let c be 8*((-3)/(-1))/12. Solve 4*f + 30 = -2*m - 0*m, 0 = -f - c*m - 15 for f.
-5
Suppose 0 = u - 2*y - 22, 2*y = -5 - 5. Solve 4*c = 4*q, -4*c = -3*q + 2*q - u for c.
4
Let w(t) = 2*t. Let r be w(3). Let v = r + -1. Suppose -4 = -p, 5*i + v*p = 92 + 3. Solve -x + 5*l - l - 5 = 0, 2*l = 3*x + i for x.
-5
Let y(i) = -i**2 - i + 1. Let r be y(1). Let h(p) = 17*p**2 + p. Let k be h(r). Let q be (0 + 0)/2 - -2. Solve -25 = 5*o, -q*d + 3*o - 7*o - k = 0 for d.
2
Suppose -2*g = -q - 5*g + 12, g = -4*q + 4. Let i be (4 + -4)/(1 - q). Solve 3*u + 4*y + i*y = 1, -4*u + 10 = y for u.
3
Let v be 6/(-15) + (-43)/5. Let f(b) = -b - 4. Let i be f(v). Solve 0 = -s - 4*z + 10, 3*z = -2*s + i*s for s.
2
Suppose -3*q + 124 = -q. Let m be q/10 + 1/(-5). Suppose d = 4*d - m. Solve -5*l = 4*v - 17, 3*v - 5 = -d*l + 6*l for l.
1
Let n = -4 + 21. Solve -r + 4*i - n - 7 = 0, 0 = r - 2*i + 14 for r.
-4
Suppose -3*y - y = -44. Suppose 0 = 5*d - y - 4. Solve 0 = -2*p - 10, -d*p + 0*p - 14 = -z for z.
-1
Let l(p) = -p + 6. Let w be l(6). Let o = -35 + 52. Suppose w = -q + o - 8. Solve 5*t - 6 = -2*s + 5, 3*s - q = -5*t for s.
-2
Let b(d) = -d**2 - 7*d + 12. Let q be b(-8). Solve -2*j - z - 3*z + 8 = 0, -16 = -q*j + 4*z for j.
4
Let a be 22/33 - (-4)/(-6). Let r(b) = 2*b - b - b**3 + 5 - 2. Let y be r(a). Solve y*i - h = -6, -6 = 6*i - 3*i - 5*h for i.
-2
Let u = -27 + 30. Solve -2*i - 2*i + 1 = 3*d, -4*d = -u*i + 32 for d.
-5
Let m = -11 + 22. Solve -15 = 3*x + 3*z, -2*x - m = x - z for x.
-4
Let d = -7 - -9. Suppose -d*h - h = 0. Solve -5*p + 5 = h, 0 = z - 2*z - 3*p + 5 for z.
2
Let h be 0*2*5/20. Solve h = 4*i - 4*u - 12, 3*i - 2 - 7 = -2*u for i.
3
Suppose -231 = -5*a - 31. Suppose 4*j + j - a = 0. Suppose 0 = 2*b - 0 - j. Solve -g - 24 = 5*v, 4 = b*v + 4*g + 36 for v.
-4
Let n be (-4)/14 - 780/(-35). Let y be 4/n - 92/22. Let b = 8 + y. Solve -3*r + b*v = -0 + 5, -40 = -4*r - 4*v for r.
5
Let m be (0 - -1)/(2/6). Let y = -3 + 3. Let d = 5 + y. Solve -p + 8 = -m*c, -p + c + 20 = -d*p for p.
-4
Suppose -r + y = -6, -2*r - 5 = 4*y + 1. Let d = r + -1. Solve -5*i = 2*t - 14, 5*t - 4*i - d = -0 for t.
2
Let o be -2 + 7 - (0 - -2). Solve -o*j - 12 = 3*m - 0*m, -10 = 5*j for m.
-2
Suppose 7*v = 6*v. Suppose v*f = -3*f. Let u be (18/4)/(1/2). Solve f = -5*g + 2*c + u, 5*c + 3 = -7 for g.
1
Let g be (-1)/(2*2/(-20)). Let a = -1 + 3. Suppose -14 = -l - a. Solve 3*w + l + 7 = 4*d, 4*w = -g*d - 15 for w.
-5
Let a = -33 - -54. Suppose 2*f - 5*c = 20, 2 - a = -3*f + 2*c. Let m = 0 + f. Solve -3*o + m = 5*j - 0*o, 5*j = -2*o for j.
-2
Let m be ((-27)/6)/((-9)/12). Solve 0 = -a + 2*a + r, 2*a + m = -4*r for a.
3
Let i(t) = -t**3 - 6*t**2 - 8*t - 4. Let n be 24/(-10)*(2 + -37). Let g be 1/(-3) - n/18. Let h be i(g). Solve -r + 4*y - 4 = 3*r, -4*r + h = y for r.
2
Suppose -3*c - 2*z - 4 = 0, 3*z + 6 = -0*c - 5*c. Suppose -4*j = 5*y - 60, 4*y - 2*y = 3*j - 22. Solve 5*f = 10, -f - j = -3*m - c*f for m.
4
Let v(r) = -r + 15. Let s be v(12). Solve 0 = 4*c + 3*d - 8, s*c + 4*d - 3 = d for c.
5
Let v be (1 - (0 - 2)) + 2. Solve v*y + 5*c - 25 = 0, 3*y + 9*c = 4*c + 21 for y.
2
Let q(c) = 4 - 4 - 4 + 3 - 5*c. Let o be q(-1). Solve 3 = 2*t + 3*z + 9, 0 = -2*t + o*z + 8 for t.
0
Suppose -6 = -0*y - y. Let j be (-1 - 11)/((-4)/6). Solve 0 = -s + 5*h + 12, -s - y*h + h = j for s.
-3
Let t be (3 + -5*2)/(-1). Let u = 8 - t. Let i = 3 - u. Solve 4*q - 16 = 3*h, -5*h - i*q + 13 = 5 for h.
0
Suppose 7*i = 2*i + 40. Solve 4*c - 3*r + 11 = 0, 3*r = -4*c + 27 - i for c.
1
Let l = 4 - -8. Suppose -3*i + 3 = l. Let k = i - -6. Solve k*v = -d - 2 - 3, 0 = 4*d - 5*v + 20 for d.
-5
Let k be 32/12*(-9)/4. Let h(d) = -3*d + 1. Let o be h(k). Let a = -11 + o. Solve -5*b = -20, -b = 2*s - s - a for s.
4
Suppose 4*y - 15 - 8 = -l, -4*l - y = -17. Suppose 7*b = -3*u + l*b + 32, -6 = u - 2*b. Solve 2*j = -5*w + 20, -2*j + 0 + u = w for j.
0
Let u be 16/10 - 2/(-5). Let f(b) = -b**2 - 4*b + 3. Let j be f(-4). Let t = 7 - j. Solve 0 = -4*i - z + 18, u*z = 2*i - 0*z - t for i.
4
Suppose 0 = -5*u + 4*x + 42, -u = -3*x - x - 2. Suppose -4 = -2*t - 4*m, -u = -5*t + m + 11. Solve -i = -2, 0 = t*d + 2*i - 4*i + 20 for d.
-4
Let u be -3*(-2)/(2 - 0). Suppose u*b + b = 0. Solve b = 4*o - 5*v + 15, -5*o - 17 = -3*v + 5 for o.
-5
Let i be -4 + 0 + 0 - 1. Let n be 46/8 + i/(-20). Let k(g) = g + 10. Let b be k(-8). Solve -2*x + n = y, -y + x = -2*y + b for y.
-2
Suppose 3*y - 24 = -9. Solve -c + 2*c = -y*k - 15, 6 = -2*c - 4*k for c.
5
Suppose 0*a = a + 5*l - 8, 5*a + 20 = 5*l. Let h = a - -7. Solve -2*c + 7 = -h*z, -3*c - 21 + 6 = z for c.
-4
Let h be 11 + -4 + 3 + 0. Let i be (-1 + h)/((-6)/(-4)). Solve -i = -a - 3*j, 7 = 3*a - 4*j + 2*j for a.
3
Suppose 0 = a - 2*a - 24. Let l be ((-8)/a)/((-1)/(-18)). Solve -2*s = 2, -5*o - l = -7*o + 4*s for o.
1
Let c(u) = 9*u**2 - 11*u - 2. Let r(b) = 5*b**2 - 6*b - 1. Let x(v) = -6*c(v) + 11*r(v). Let l be x(2). Solve 6*p - 5*k - 21 = 2*p, -p = l*k + 26 for p.
-1
Let m be 254/6 - 4/12. Let q = m - 18. Let z be (4 + -7)*8/(-6). Solve z*p - 2*t - q + 8 = 0, 4*t - 12 = -3*p for p.
4
Suppose 4*x - 18 - 2 = 0. Suppose 29 = -3*z - 2*o, -25 = -3*o - 2*o. Let r be 2/z + (-67)/(-13). Solve -3*g - r = x*i, -3*g - 3 = -i - 4 for g.
0
Let a = 1 + 1. Suppose -a*h + l = 3*h - 4, 0 = 5*l + 20. Let v be 0 - h - (-15)/3. Solve -5*q + 4 = -0*q + 3*g, g - 8 = -v*q for q.
2
Let k(l) = -2*l + 5. Suppose 3*q + 2*q = 0. Let d be k(q). Solve 0 = -5*m - 4*t + 18, -d*t + 15 = 2*m + 1 for m.
2
Let g be (-8 - (3 - 7))/(-1). Solve 4*y = 5*n + 7, -g*y - 2*n = -n + 11 for y.
-2
Let k(a) = -7*a - 1. Let d be k(-1). Suppose -x + 30 = -d*x. Let p = x + 11. Solve -6 = 4*c + p*o, 2*o + 4 = -3*c + 3 for c.
1
Let m = -1 + -3. Let z be 36/8 - (-2)/m. Solve 4*a - 10 = r, -z*a + 6 = -a for r.
-2
Let n be (-64)/(-36) - (2/(-9))/1. Solve -3*p - 3 = -2*p + n*r, -r = 0 for p.
-3
Let g be -3*(-3)/18*8. Suppose s = -g*s + 25. Let z(u) = u**2 - 4*u + 7. Let o be z(s). Solve -o = 4*c, -21 = -0*w - 2*w + 5*c for w.
3
Suppose -q = q - 3*o - 10, -5*q = -o - 51. Solve -2*u - q = -f, -3*f = -f - 5*u - 26 for f.
3
Suppose 0 = 2*x + 4*h - 18, 9 = x + x - 5*h. Suppose 0 = -4*t - x - 1. Let p be ((-2)/(-6))/(t/(-30)). Solve 3*i - 11 = p*j - i, -j = -3*i for j.
-3
Suppose 0 = -h + 4. Suppose h*g = 7*g - 15. Solve g = w - 0*w - 3*s, 2*w - 7 = 3*s for w.
2
Suppose -2*h + 18 = 2*l, 1 - 19 = -4*h + 2*l. Suppose -h*x = -4*x - 8. Solve -4*v - 24 = -x*f, -v = 2*f - 5*f + 12 for v.
-3
Suppose 0 = -5*f - 4*n - 5, -6 = 3*f + 2*n + n. Solve z + 4 = -0*z - r, -f*z - r = 12 for z.
-4
Let x = -20 + 23. Solve 10*f - 7 = 4*u + 5*f, x*f + 1 = 5*u for u.
2
Suppose -a + 3*h + 12 = 0, 4*a - 12 = 4*h + 4. Solve -3*n + 2*v + 4 = 0, a*n - 2*v - 4 = -n for n.
0
Let t be 1 + 4/(-1) - -6. Let j be 2 + (2 - 2) + 0. Let d be (-1)/t*(-91 - j). Solve 5*r = -14 - 6, 0 = -3*w - 4*r - d for w.
-5
Let y(x) = 0 + 3 + 0 + 6*x**2 + x**3 + 2*x + 0. Let p be y(-5). Solve 0 = -4*s - c - 0*c + p, -2*s - 3*c = -4 for s.
5
Let y(g) = g**2 - 8*g. Let o be y(9). Solve -r + 3 = -a, o = -5*a - 2*r - 6 for a.
-3
Let p be 2/(-10)*0 + 4. Solve -2*o = -4*o + 5*l - 5, 8 = 4*o - p*l for o.
5
Suppose 3*n - 197 = 4*r - 42, 150 = -4*r + 2*n. Let v be (-10)/3*42/r. Solve 11 = 7*l - 2*l - v*p, 3*p = -4*l - 16 for l.
-1
Let q be -3 - (-9*2)/1. Suppose q = d + 5. Suppose 3*p = 82 - d. Solve 4*i + 2*t = -0 - p, -2 = t for i.
-5
Suppose 40*d - 24 = 34*d. Solve 3*v - 3*b = 6 + 18, v + 2*b = -d for v.
4
Let z(v) be the second derivative of v**4/12 - 3*v**3/2 + 3*v**2/2 - v. Let w be z(9). Solve 4 = a - 2*s + w, 0 = 5*a + 3*s - 31 for a.
5
Let z = 21 - 17. Solve -u + 11 = -i + z*u, 6 = 3*u for i.
-1
Suppose 4*k - 12 = -2*y, -2*k + 12 = 2*k. Suppose y*t = -t. Solve 4*l + 6 = -2*p, t = 4*l - 3*l for p.
-3
Suppose -5*m - 119 = 4*d, -75 = 2*m - d - 17. Let z = m + 37. Solve 0 = -j - 0*j + 4*p + z, 2*j = -3*p - 2 for j.
2
Let h(i) = -i + 1. Let n be h(-5). Let z be (-1 + 0)*n/(-2). Suppose 3*q - z*p = 63, -4*p - 105 = -5*q - 0*p. Solve -b - 11 = -2*t + 2*b, -5*t + q = -b for t.
4
Let w(v) = -2*v**2 - 5*v + 1. Let n = -14 + 10. Let h be w(n). Let y = h - -16. Solve -2*q = 4*g - 22, 2*