 15 for t.
5
Suppose 3*i + 2*i = 60. Let d = -6 + i. Let a be (-4)/(-6) - (-4)/3. Solve 3*k - a*y - 4 = 15, -3*y = d for k.
5
Suppose -28 = -24*j + 20. Solve j*h = 5*w + 4*h + 35, w - 4*h - 15 = 0 for w.
-5
Let q(a) = a + 10. Let p be q(-9). Let o be 1/p - (-38)/19. Suppose 3*g = -5*x + 12 + 10, 5*x = o*g + 28. Solve -11 = 2*u - x*u + 2*k, 3*u = 3*k + 15 for u.
1
Suppose -u - 13 = -0. Let g = u + 18. Suppose 0 = -4*m + w + 78, -3*m - 4*w - 46 = -g*m. Solve 2*t - 1 = j, -j - 2*t + m = 4*j for j.
3
Suppose -i + 1 = -0*i, 2*i - 29 = -3*g. Let z be g/2 - (-9)/(-18). Let d = 0 + z. Solve -d = 3*s - p, 5*p + 22 = -4*s + 3*p for s.
-3
Suppose 0 = 4*g - o - o - 16, 4 = g - o. Let z = -8 + g. Let h be 3/(-4)*z - -1. Solve a = 2*d + 3*a - 2, -8 = d + h*a for d.
4
Suppose 39*t + 20 = 43*t. Solve -4*j + 0*j + 19 = c, t*j = 4*c + 29 for j.
5
Let q be (371 - 375) + 4*1. Suppose -2*o + 44 = 5*c - 31, -4*o + 90 = -2*c. Solve q = 4*g + 16, x + 5*g = -0*x - o for x.
-5
Suppose -3*f + q + 4 + 43 = 0, 0 = -2*f - 3*q + 35. Suppose s - 5*s + f = 0. Solve 0*a = a - s*n + 11, 20 = -4*a + 4*n for a.
-3
Let b = -4 + 5. Let s(a) = 54*a**3 - a**2 - a + 1. Let r be s(b). Let l = r + -8. Solve -i - o = -4*i - 10, -5*i = 4*o + l for i.
-5
Let g = -10 - 1. Let a = -8 - g. Let f(m) = m**2 + 11*m - 9. Let u be f(-12). Solve a*w - p = 4*w, 3*w = -4*p - u for w.
3
Let v = 58 - -8. Suppose 5*c = -v - 169. Let q = -29 - c. Solve -6 = -2*w + f + 1, 2*w = -4*f - q for w.
1
Let s be (-22)/(-33) - 22/6. Suppose -2*t + 5 = 3*t. Let o be (0 - t*-15) + s. Solve -3*p + b - o = 0, 0*b + 16 = -5*p + 3*b for p.
-5
Let x = -5 - -8. Suppose 3*k + 2*k - 220 = 0. Let n = k - 39. Solve 3*i - x = -n*z, -z + 1 - 2 = -i for z.
0
Let v(w) = -2*w**2 - 76*w + 15. Let u be v(-38). Solve i = -2*q - 1, 2*q - u = -q + 4*i for q.
1
Suppose 34 = 2*i - 4*s, -7*i + 13 = -6*i + 2*s. Solve 3*g + 7 = 2*l - 6, 5*g + 4*l = i for g.
-1
Suppose 5*x = 3*q + 15, 0 = -x + q + 3. Suppose -2*d = -x*d - 11. Let b = 16 + d. Solve -1 = z - 0*w + 2*w, 0 = b*z + 2*w - 3 for z.
1
Suppose 10 = 2*p + 3*p. Suppose p = -x - x. Let n be (-3)/(x - -2) + 5. Solve -5*a + n*w = -21, -5*a = -0*a + 5*w for a.
3
Let d be 11 - 7 - (3 - 1). Suppose 2*h - 5*n + 15 = 0, -2*h - h = 3*n - 9. Solve -3*c - 24 = 4*b - 1, d*c - 5*b - 23 = h for c.
-1
Let h(u) = -2*u - 6. Let j be h(-4). Let k be 16/6 + (-10)/(-30). Solve 4*v + k*c = c - 14, -j*v = -4*c - 8 for v.
-2
Let v(j) = 10*j + 202. Let d be v(-20). Solve 4*m + 0*m + 16 = -3*z, -2*m - d*z - 10 = 0 for m.
-1
Let k = 42 - 40. Let g be (-15 + 13)/(4/(-74)). Solve -3*p + g = 5*f, 3*f + k = 5*p - 3 for p.
4
Let r = -29 + 32. Suppose -4*w = -r - 1. Let o(z) = 8*z**2 - 2*z + 1. Let d be o(w). Solve -4*a = 3*u + 1, 0*a - 5*u = -2*a - d for a.
-1
Suppose b + x - 9 = 0, -3*x + 11 = 2*b - 12. Let m(g) = g**2 - 5*g - 5. Let u be m(6). Solve b*f - 14 = -3*r, -f = 4*r - u + 4 for f.
5
Suppose -6*a = 5*a. Solve z + 3*z = -16, -5*r + 2*z + 33 = a for r.
5
Suppose -11*b - 96 = -3*b. Let m be (-20)/b*9/3. Solve -3*o + o = m*d + 9, 3*d + 7 = -2*o for o.
-2
Let n(w) = 6*w - 4*w + 22 - 47. Let g be n(14). Solve -3*i = 3*j + 12, j + 4 = -2*i - g for j.
-1
Let y be (28/(-21))/((-2)/42). Let z = 0 + y. Solve -3*b + 2*p + 2*p = 28, -2*b + 5*p - z = 0 for b.
-4
Suppose -9*b = -4*b - 15. Suppose b*l = 18 + 27. Solve 5*p = -5*g + l, -3*g - p = -4 + 1 for g.
0
Let b(v) = v**3 - 7*v**2 - 4*v - 11. Let o be b(8). Suppose -p + 12 = 2*f, -4*f + o = -2*p + 5. Let k = p + -2. Solve -3*j - 4*n = 0, -n = -5*j - k*j for j.
0
Suppose 2*c = 10 + 4. Suppose 3*v = c*v + y + 104, 0 = -v - y - 23. Let p = v + 29. Solve 5*d + 22 = -s, -p*s + 7*s - 40 = 5*d for d.
-5
Let b = -2 - -4. Suppose 5*k - 16 = 4*y - 3*y, 2*k + 3*y = 3. Solve -k*v - 3*n = -12, b*v + 3*n - 10 = -0*n for v.
2
Let g = 15 - 10. Solve -p + g*z = -0*p - 20, 6 = -2*z for p.
5
Suppose -51*a = -46*a - 65. Solve 0*x = x - 5*h - a, -2*x - h - 7 = 0 for x.
-2
Suppose -5*l - 4*p - 12 = -47, -2*p - 32 = -2*l. Let n = l + -8. Suppose 5*x + 5 = -5*m - 5, 3*x = -m. Solve -2*u - x - 3 = 0, -3*y + 3*u = n for y.
-3
Let s be 12 + 3/((-6)/(-4)). Suppose r = 3*u - 44 + 16, 3*u = -r - 16. Let q be 2/(-5) + r/(-55). Solve -2*l - l = -d + s, q = -l - 4 for d.
2
Suppose 4*a - 28 = -g - 12, 0 = 3*g + 12. Solve 14 = -4*k - 4*h + 26, 3 = -k + a*h for k.
2
Suppose 37*h - 214 + 66 = 0. Solve 0 = -t - 4*z - 14, 5*z + h + 26 = 5*t for t.
2
Suppose 4*v + 16 = 2*s, -5*s + 4*v + 13 + 9 = 0. Solve 5*j = s*n + 23, -5*n - j = 4*j - 30 for n.
1
Let a be -2 + -5 + (19 - 10). Solve -4*o + o = -2*b + a, 3*b + 3*o - 18 = 0 for b.
4
Suppose -2*c + 14 = 2*i - 0*i, i = 2*c + 1. Suppose -c*n - 2*n + 64 = 0. Solve n = -4*p, -7 = -w + 4*w + p for w.
-1
Suppose -5*b - 5*s = -45, 0 = -2*s + 3 + 7. Suppose 0 = -2*m - 4*v + 16, -2*v - 8 = 5*m - b*v. Solve -4*a - 3*i = -0*i + 11, m = 3*a + 4*i + 17 for a.
1
Let s be (-2 + 0)/(-1) + 3. Suppose -3*n + 7 = -s. Let m = -114 - -119. Solve 0 = -3*u - o + 20, -n*o = m*u - o - 40 for u.
5
Let u(i) = 44*i + 266. Let b be u(-6). Solve -4*o - 27 + 6 = h, -3*o - 2 = -b*h for o.
-4
Suppose -2*l + 8 = 2*l. Let q = -21 + 53. Suppose 5*w + 7 = q. Solve 0 = w*x, -s + l*x = 2*s + 9 for s.
-3
Let f(r) = -r**2 + 7*r - 4. Let y be (-10)/3*(-27)/15. Let z be f(y). Solve 3*u + z*u = 3*i + 13, u + 4*i = -2 for u.
2
Let t(k) = -k**2 + 4*k + 1. Let d be t(3). Suppose 5*u - 15 = d*x - 0, 0 = 2*u - 6. Solve 5*l + 15 = -2*v, v + x*v + 2*l + 6 = 0 for v.
0
Suppose -x + 28 = 4*r + 3*x, 4*r = 5*x + 1. Solve 0 = j + q - 1 - 2, 5*q - 17 = -r*j for j.
-2
Let d(q) = q**3 - 9*q**2 + q - 3. Let w be d(9). Let c = 5 - 1. Suppose 32 + 60 = c*a. Solve k + 4*h + 10 = w*h, 2*k + a = 5*h for k.
-4
Let c be -12 + -1 - (7 + -11). Let b = -5 - c. Suppose -b*v + 2*v = 0. Solve -3*d + v*z = z + 7, 4 = -z for d.
-1
Let z(p) = -p**3 - 8*p**2 - 8*p - 5. Let h(v) = 7*v. Let x = -25 - -24. Let a be h(x). Let i be z(a). Solve -3*t + 5*c = 8, -c = 5*t - i*c + 6 for t.
-1
Suppose 8*h = -8*h + 464. Solve 0*g - h = -3*b - 5*g, 5*b - 31 = -4*g for b.
3
Let n(g) = -6*g + 2. Suppose -4*u = 2*u - 2*u. Let d be n(u). Solve 2*x + d*x = 3*z, -4*z = -3*x for z.
0
Let k(i) be the first derivative of -i**2 + i + 2. Let s be k(-3). Suppose w - 10 = -s. Solve -q - 1 = y, 5*y - 3 = w*q + 16 for y.
2
Let h be (-18)/12*(-2)/1. Let c be 6 - h/((-6)/2). Let s be 2*-1*(-5 + 0). Solve v = 3*d + 13, v - c = 4*d + s for v.
1
Let n = -403 + 405. Let h = 5 + -3. Let k be (23/(-2))/(-1)*h. Solve -n*v - 4*p = v - k, 0 = 3*p - 15 for v.
1
Suppose 4*n - n = -4*c + 6, -2*c - 3*n = 0. Solve 0 = -2*q - w - 5, -2*q + 8 = c*w + 3 for q.
-5
Let o = -21 + 21. Suppose 0 = -o*n + n. Solve n = 4*u + 4*q - 28, 3*u - 2*q - 1 = -0 for u.
3
Let v be 5/3 + (-45)/(-135). Solve 3*d - 15 = u, 2*d + v*u - 3*u = 10 for d.
5
Let k be 0 - 282/(-15) - (-96)/(-120). Solve -5*g - 3*q + 10 = 2*q, 0 = -3*g + 3*q + k for g.
4
Let y(w) = -w**2 - 13*w - 22. Let a be y(-10). Let t be ((-7)/28)/(2/a) + 4. Solve z - t*g + 3 + 3 = 0, -2 = z - g for z.
0
Let l be 22 - (20 + (-104)/8). Solve -2*b = -2*t + 13 - 1, -2*b + 3*t = l for b.
-3
Let m = -2 + -1. Let l = m - -6. Let x(q) = -q**3 + 3*q**2 + 2*q - 1. Let t be x(l). Solve k = -t*h - 18, -k = -3*h + 2*h for k.
-3
Suppose 3*w - w = 4*x + 4, -4*x = -12. Let t be 13/(-52) + (103/(-4) - -1). Let g(o) = 2*o + 55. Let d be g(t). Solve p - 5*j = -4 + 13, -2*p + w = -d*j for p.
-1
Let p = 68 - -28. Suppose c = 4*c + p. Let o be (-2)/(-6) + c/(-12). Solve 3*d - 5*s - 8 = 0, -o*s + 2 = 14 for d.
-4
Let y = 216 - 192. Solve 4*g - y = -4, -l - 21 = -4*g for l.
-1
Suppose 4*i + 0*i - 14 = 2*n, 5*i - 1 = -3*n. Solve i = -0*d + 2*d + 2*j, 26 = -2*d + 5*j for d.
-3
Let d(o) = 227 - o + 0*o - 238. Let g be d(-14). Solve -3 = -b + 3*c + 11, g*c = -5*b + 16 for b.
5
Let v be (37 - 3) + -1*3*-1. Let o = v + -2. Solve 5*b - 5*y + o = 0, b - 11 = -0*b - 5*y for b.
-4
Suppose 0 = -3*b - 3*o + 12, 3*o = 3*b + 5 + 7. Let d be (-17 + 4 + b)/(-1). Solve 12 = -4*n - w, 1 = 3*w + d for n.
-2
Let v(t) = t**3 + 3*t**2 - 2*t - 7. Let c be v(-2). Solve -k = -m + c, -4*k + k = m - 5 for k.
1
Let s(b) = -2*b**3 - 35*b**2 + 59*b + 38. Let t be s(-19). Solve -5*u + 5*c - 10 = t, 1 = u + 5*c - 3 for u.
-1
Suppose -2*z = 2, -34*h - z = -32*h - 5. Solve -2*u - h*q = -