for t.
-5
Suppose -3*x - 120 = -9*x. Solve -x = -2*s - 3*s for s.
4
Let o(h) = h**2 + h - 3. Let p be o(0). Let q = 7 + p. Suppose r - 3*y = 1, -4*r + q*y = -5 + 1. Solve d - r = 2*d for d.
-1
Suppose 1 = c - 4*s, 7*c - 3*c - 24 = -4*s. Let i be (-5)/(15/6) - 8. Let f = -10 - i. Solve o - c*o = f for o.
0
Let c(l) = -5*l**2 + 26*l - 21. Let j(x) = -3*x**2 + 17*x - 14. Let d(y) = -5*c(y) + 8*j(y). Let r be d(-7). Solve r = 2*s + s for s.
0
Suppose -2*h = 2*v - 8, 0*v = -2*h - 3*v + 6. Let g be ((-3)/2)/((-3)/h). Suppose 2*o = g*z + o + 3, 2*z + 15 = 5*o. Solve z*m = -4*m + 4 for m.
1
Let u be (40/(-3))/((-2)/6). Suppose u = 8*x - 3*x. Let o be (-4)/(-1)*4/x. Solve 2*m = -o*m for m.
0
Let j be -1 - (9/(-1) - 0). Let v(r) = 4*r + 71. Let c be v(-17). Solve j = c*p - p for p.
4
Let q(g) = g**2 - 19*g + 5. Let t be q(19). Solve 1 + 19 = -t*h for h.
-4
Suppose -13 = 4*w - 29. Solve -2 - 6 = -w*c for c.
2
Let x be 1*(-3)/(-1) + -3. Let l be (-1 - 0) + (7 - x). Solve -l = 2*m + m for m.
-2
Suppose -7 - 21 = -2*y. Solve 0 = -5*a + 1 + y for a.
3
Let u = 0 - -1. Suppose -33 + u = -4*p. Solve 3*c + p = -7 for c.
-5
Let p = 1 + 0. Let s(q) = 12*q**2 - 2*q - 1. Let x be s(1). Solve 2*y = p + x for y.
5
Let x be (1 - (-3)/(-2))*-12. Suppose -2*u + 4*u - 4 = 0. Suppose -3*d + 17 = -0*d + u*r, 5*r - 30 = -5*d. Solve 4 = -d*s - x for s.
-2
Let a(s) = -s + 3. Let v be a(0). Let w be (3/v)/(3/9). Solve -w*b = -3 - 3 for b.
2
Suppose -20 = -4*t, 3*t - 13 = -4*u + 10. Let a = u - 0. Let k = -3 + 13. Solve 3*s + k = -a*s for s.
-2
Let m = -7 - -22. Let p = m - 0. Suppose 5*j - 25 = 4*u, -3*u - p = u - 3*j. Solve 5 + u = -5*h for h.
-1
Suppose 0 = 2*f - 6*f + 28. Let l = f + -1. Solve 4*u + 6 = -l for u.
-3
Suppose 0*x - 80 = -5*x. Suppose 0 = x*b - 15*b. Solve b = 2*h + 2*h for h.
0
Let b(j) = -j**3 - 5*j**2 - j - 2. Let h be b(-5). Let a be 29 + (0/(-3) - -1). Suppose f - 49 = -5*p + a, 3*f - 12 = 0. Solve 6*r = h*r + p for r.
5
Let y(m) = m**3 + 4*m**2 - 5*m - 5. Let a be y(-4). Suppose f = -2*l + 4, 0 = 4*f - 4*l - a - 1. Solve 0*v = -f*v - 20 for v.
-5
Let h(u) = -3*u + u**3 - 2*u**2 + 3*u**2 - 2*u**2 + 3. Let t be h(2). Suppose -9*g + 20 = -4*g. Solve t = -k - g for k.
-5
Let w(h) = h**3 + h**2 + h. Let k be w(0). Let r be -28 + k + 0/3. Let u be (-15)/(-10)*r/(-6). Solve 5*n - u + 32 = 0 for n.
-5
Suppose -3*k + 45 = 3*x, -2*x - 3*x + 5*k + 25 = 0. Solve -15 = -7*u + x*u for u.
-5
Suppose -2*v + 0*v = -6. Suppose 0 = 4*b - 19 - 1. Solve -7 - b = -v*i for i.
4
Let w(z) = z**3 - 7*z**2 - 9*z + 4. Let m be w(8). Let s = m + 7. Solve s*b - b = 2 for b.
1
Let r = 54 - 49. Let w(i) = i**2 + 4*i - 2. Let m be w(-5). Suppose 0 = 5*d - s - 2 - 25, -m*d + 9 = 3*s. Solve -r*z + 0 = -d for z.
1
Let b(w) = 7*w - 55. Let c be b(9). Solve -4 = -4*t + c for t.
3
Let j(b) = -b**3 - 7*b**2. Let r be j(-7). Suppose r = q - 29 - 46. Suppose -2*t - 3*t = -q. Solve -t = -3*v - 0*v for v.
5
Suppose 0 = -5*a + 6 + 4. Let m be (1/(-4))/((-6)/24). Solve y = a*y + m for y.
-1
Suppose -3*i + 40 - 4 = 0. Solve -i = 4*s - 4 for s.
-2
Suppose 0*r = 4*r, -k = -3*r - 6. Suppose k = l + l. Solve -n + 7 = l for n.
4
Let c be (-2 + -1)*(-1 + 2). Suppose -2*o - 25 = 2*o - 5*v, 2*o = -4*v - 6. Let a = c - o. Solve 2*i + 4 - a = 0 for i.
-1
Suppose 0 = -6*o + 5*o. Solve -2*v + v - 5 = o for v.
-5
Let y = -10 - -5. Let w = y - -5. Suppose w = -j + 5*k - 0*k, -4*k + 9 = j. Solve -j = -0*p - p for p.
5
Suppose -8*k - 4 = -7*k. Let v be 0 - k/(4/3). Solve u - v = 4*u for u.
-1
Suppose -3*c + 2 = -4. Suppose 0 = -c*w - w + 9. Suppose 0 = w*o - 0*o - 15. Solve -6*r = -r + o for r.
-1
Let y(q) = q**2 + 2*q - 5. Let c be y(-4). Suppose -c*n + 5*n - i = 20, -3*n + 2*i + 31 = 0. Solve 11 = 5*l - n for l.
4
Suppose 3*o + 8 = -4. Let s = 3 - o. Solve -s = q - 2 for q.
-5
Let t(l) = -l**3 + 12*l**2 + 4. Let w be t(12). Solve w*n = 2*n + 2 for n.
1
Suppose -7*u = -2*u. Solve 0 = -c - u + 1 for c.
1
Suppose -d + 2*d = -5, -2*d - 10 = j. Solve 3*o + j*o = 3 for o.
1
Let t be 3/(-6)*1*-2. Let m be t*(2*-2)/(-1). Solve u - m*u = 6 for u.
-2
Let z(o) = -2*o - 11. Let w be z(-6). Solve -4*c = -5*c - w for c.
-1
Let d be ((-10 - -2) + 4)*-1. Solve -1 + 5 = d*i for i.
1
Suppose 4*b = 3 + 9. Suppose -2*u = -b*u + 2. Solve u*p - 25 = 7*p for p.
-5
Suppose -1 = 2*h + 5*y, h = 3*h + 4*y. Solve 2*r - 4 = -h for r.
1
Let m be (40/28)/(2/28). Solve -g = 4*g + m for g.
-4
Let z be 3/(-2)*(-54)/81. Solve -z = l + 3 for l.
-4
Let y(i) = 2*i**2 - 2*i - 2. Let g be y(2). Suppose g*q = -2*q + 12. Suppose q*j = 2*j. Solve j = -5*b - 0 + 5 for b.
1
Suppose 3*f + 3 = 12. Suppose -p = -3 + 1. Solve -f*g + p*g = 0 for g.
0
Let z = 22 - 6. Suppose 2*q = 6*q - z. Solve -q*u - 20 = u for u.
-4
Suppose 3*i = -2*f + 8, -2*i - 3*f = 2*f + 13. Let b(k) = 3*k - 3. Let d be b(4). Let j = d + -4. Solve j = l + i for l.
-1
Let o be (-7)/14 + (-26)/(-4). Suppose 6*c - 3*c = o. Suppose 0 = -m + 2*m - 20. Solve -6*t - m = -c*t for t.
-5
Suppose 0 = 2*f - f - 5. Let v = -5 + f. Solve v = 3*y - 8*y - 10 for y.
-2
Suppose 3*j + 7*b - 3*b = 30, 5*b = -3*j + 33. Solve -h - j = h for h.
-3
Suppose 5*r - 2*j = -5*j + 19, -3*r - 3*j = -15. Suppose 3 = 4*u - u. Suppose r*a + u = 9. Solve -7 + a = -3*g for g.
1
Suppose 4*l + 0*l = 32. Let m be -6*(-3)/6 - -5. Solve 0 = -l*c + 6*c - m for c.
-4
Suppose 0 = 5*m - 20, -3*w + 3*m + 13 = 2*w. Solve a = -0*a + w for a.
5
Suppose 6 = 2*p + 2. Let h = 2 - p. Solve 0*t + 4*t + 8 = h for t.
-2
Let x = -9 - -12. Suppose -11 = -k + x*r + 7, 4*k + 2*r - 2 = 0. Solve -5 = -k*g - 2 for g.
1
Let u = -114 - -116. Solve 0 = 5*v - 22 + u for v.
4
Let n be 2/(-4) - 6/(-4). Let x be -2 + n + -2 + 3. Solve x = -7*d + 3*d - 16 for d.
-4
Suppose -43 = -10*x - 13. Solve x + 1 = -n for n.
-4
Let s(h) = 2*h + 16. Let y be s(-6). Solve -y*z + 0*z = 20 for z.
-5
Suppose 0 = 4*k + 8 + 8. Let d = -5 + 11. Let t be 12/(-9)*d/k. Solve n = -2 - t for n.
-4
Suppose -3*i - 16 = -4. Let c(v) = -9*v**2 + 8*v - 6. Let g(q) = -5*q**2 + 4*q - 3. Let n(t) = i*c(t) + 7*g(t). Let z be n(4). Solve 0 = 4*f - z*f - 4 for f.
4
Let r = 16 - 8. Let b = 10 - 6. Solve 3*a + r = -b for a.
-4
Let b be (-7 - -3)*12/(-16). Let y be 10/4 + (-5)/(-10). Solve -6*v = -b*v + y for v.
-1
Let w(g) = g**3. Let f(j) = 3*j**3 + 9*j**2 + j - 12. Let c(y) = -f(y) + 4*w(y). Let m be c(9). Solve 0 = -0*t + t - m for t.
3
Suppose -3*c + 3 = -0. Suppose -8 = 2*z + 2*i, -24 = -2*z + 4*i - 2. Let l = z + c. Solve 9 = -l*h + 5*h for h.
3
Let m(u) = u**3 - 7*u**2 - 7*u - 5. Let y be m(8). Let g(z) = 2*z**2 - 2. Let w be g(2). Let o be (-1)/3 - (-30)/9. Solve 0 = y*x - o - w for x.
3
Let c(r) = 0*r - 2 + r**2 - 4*r - r. Let x be c(6). Suppose 1 = -h, -x*m + 3*m + 2 = 3*h. Solve 15 = -m*u - 10 for u.
-5
Suppose 1 = -i + 5. Suppose 0 = i*n + 4. Let x be (n + 2 + -1)/(-2). Solve 0 = 2*j + 8 - x for j.
-4
Let r be 35*(-2 + 64/28). Solve -11*x + 2 = -r*x for x.
2
Suppose -3*z + 4*n = 50, n + 0*n = 4*z + 45. Let j be ((-6)/5)/(4/z). Solve 0 = -b - j*b + 16 for b.
4
Suppose 5*d = 15 + 10. Let i(h) be the first derivative of -h**2/2 + h + 1. Let c be i(-3). Solve -c - 16 = -d*p for p.
4
Let g(v) = -v**3 - 8*v**2 - 7*v + 4. Suppose -2*h = -6 - 0. Let b(d) = -d**2 + 2. Let n be b(h). Let i be g(n). Solve -2 - i = -2*z for z.
3
Let y(o) = o + 1. Let t be y(1). Let k(v) = -v**3 + 3*v**2 - 1. Let u be k(t). Solve -u*i + 7 = -8 for i.
5
Suppose 0 = 7*k - 4*k - 963. Let w be k/2 + (-2)/4. Let s be ((-3)/2)/((-12)/w). Solve -2*y + 7*y = -s for y.
-4
Let f be 5/20 + (-30)/(-8). Let j = -7 + 10. Solve -17 = -f*y + j for y.
5
Let m be 36/10*10/3. Solve 0 = 4*a - m for a.
3
Let y(o) = -o - 4. Let v be y(-6). Suppose 3*n - 4*n - r = -5, 4*r - 24 = -5*n. Solve 0 = -3*l + v*l + n for l.
4
Let b be ((-2)/(-2))/((-6)/(-54)). Suppose -4*z + b = -5*z - 5*c, -4*z = c - 2. Solve 0 = -4*t - 15 - z for t.
-4
Let g = 3 + -3. Let n = 6 - 3. Solve g = -y - 0 - n for y.
-3
Suppose 0 = v - 3*v + 4*x + 12, 2*v - 2 = -x. Let w = 2 - -1. Suppose 5*m + 4*s = -16, -5 = w*m - v*s - 13. Solve -4*t + 0*t + 16 = m for t.
4
Let k(s) = 9*s**3 - 1. Let m be k(-1). Let y = 13 + m. Solve z + 1 + y = 0 for z.
-4
Let y(v) = -v**3 - 5*v**2 + 6*v - 6. Let o be y(-6). Let c be (-1)/(-2) + o/(-4). Solve c + 2 = -u for u.
-4
Suppose -3*