07 + -3999. Solve 3*d - 6 = -5*u, q*d - 7*d = u + 2 for d.
2
Suppose 0 = 6*q - 2*q + 3*t + 61, -4*q - 49 = -t. Let d be q + (35 - 16) + (-18)/(-2). Solve -5*h + 8*i - 13*i - d = 0, -5*h - 3*i = 7 for h.
1
Let g be (4 + 20/(-8))*(-824)/6. Let z = g + 210. Solve 4*i = 2*r + 19 - 1, -z*i + 6 = 2*r for i.
3
Let a = -98 - -104. Let i be (33/(-22))/((-15)/20). Solve -i*r = k + 7, 2*k + 0*r = -2*r - a for k.
1
Let k(x) be the first derivative of 3 + 5/2*x**2 + 3*x. Let c be k(3). Solve 4*g = i - 9, -4*i - 3*g + c = -g for i.
5
Suppose 6*d + 70 - 16 = 0. Let s be (-10)/(-3) + (31/(-3) - d). Solve 36 = 4*y - s*l - 2*l, y = -3*l - 7 for y.
5
Suppose -5*g + 97 = -3*i, 28 + 53 = -4*i - 3*g. Let k = i - -29. Solve -20 = -2*w - k*l, 0*l + 20 = 5*w + 5*l for w.
0
Suppose -p = -4*p - 3*p + 18. Solve s - 11 = 4*u, 2*s + 13 = -3*s + p*u for s.
-5
Suppose 7701 = -24*p + 7749. Let k(v) = -v**3 + 2*v**2 + 4*v + 1. Let o be k(3). Solve 18 = 2*s + o*i, 0*s = -2*s - p*i + 14 for s.
5
Suppose 11*c = 43 + 89. Let n(b) = b**3 - 16*b**2 + 48*b + 4. Let a be n(c). Solve 2*g - 1 = o, -3*g - g - a*o = 28 for g.
-2
Suppose -4*i = -i - 15. Suppose i*y - 8 = y. Suppose -2*o = 4*n - 32, 0 = -7*n + 5*n + 8. Solve -2*l = y*b - 0*b + o, -l - 7 = -2*b for b.
1
Let r be 3/((-27)/(-272)) - 78/351. Let g be 4/((-20)/(-3)) + (-108)/r. Let f be (10/4)/(g/(-6)). Solve 5*q = 3*h + 22, 4*h - 4 = -q + f for q.
5
Let k = 13 - 34. Let z = -16 - k. Let c = -6 + 10. Solve c*s = 2*o + 10, -s = -z*s + 4 for o.
-3
Let q be ((19 - 19)/13)/16. Solve 5*l + 86*y = 82*y - 5, -y = q for l.
-1
Let p = 1034 - 711. Let g = p - 316. Solve 2*r - 4 = -3*r + 2*d, d + g = 5*r for r.
2
Let l be (6/(-4))/((-1230)/96 + 13). Let h be (-162)/72*l/3. Solve -3*x + h = d, d + 3*d + 12 = 0 for x.
3
Suppose 0*q + 13 + 7 = 4*q - 3*j, 2*j = 0. Solve -5*w - 8 = 2*t - 7, -2*t - q = w for w.
1
Let z be ((-184)/(-42))/((-2)/(-3))*(473 - 459). Solve -94*n - 1 = -z*n - m, -2*m = 10 for n.
-3
Let t(z) = -13*z - 5. Suppose -5*j = j + 12. Let f be t(j). Solve 14 = -2*x - s + 2*s, 5*x = -s - f for x.
-5
Let j(q) = 5*q - 4. Suppose -3*m = 5*m - 120. Suppose m = 3*w + 2*w. Let s be j(w). Solve -t + s = -x + 2*t, 9 = x + t for x.
4
Let b = -86 - -259. Suppose 5*l + b - 193 = 0. Suppose 0 = -5*i - 4*m + 113, 2*i - 5*i - m + 72 = 0. Solve -5*c = -l*p + 5*p - 27, -5*p = 3*c - i for p.
2
Let l = 289 + -103. Suppose 5*t - 316 + l = 0. Solve 0 = -4*b - 10 - 10, -4*h - 2*b = t for h.
-4
Suppose 4*j + 2*l - 1748 = 0, 1155 = 3*j - 3*l - 138. Let g = j - 435. Solve -3*i + 2*z - 1 = -g*z, -2*i = -2*z for i.
-1
Let i = -189 - 59. Let g = i + 261. Solve 7*r - 2*r = 2*c - 11, c - g = 5*r for r.
-3
Let q be (-4)/(100/3965) + (-3)/(-5). Let a = 166 + q. Solve -2*f + 0*f + 2*u + a = 0, 5*u = -15 for f.
1
Let d be (-12 + 5 - -8)*14. Solve -4*f + w + 1 + 8 = 0, d = 5*f - 4*w for f.
2
Let q = 133 - 148. Let x be (-1)/3*q - 2. Solve -4*d - 25 = -3*y, -x*y - 1 = 2*d - 2 for d.
-4
Let v be (-4)/22 - 124/(-440) - 57/(-30). Solve 4*r - 4 = -v*d, 2 = 2*d + 2*d + 2*r for d.
0
Let h = -3853 + 3853. Solve f - 3*t = -4*f + 10, h = 2*f - 5*t - 23 for f.
-1
Let d = 27 + -18. Let j = 61 - 59. Suppose -2*z = 2*o - 10, j*o + 13 = 5*o + z. Solve 0 = 2*i - o*p - 12, -4*i + d*i - 5*p = 25 for i.
4
Suppose 2*a - 2*j = -3*a + 96, 0 = -3*a - 4*j + 42. Let c be 1/(-3) + -1 + 114/a. Solve l = -5*g + 3*l + 12, -13 = -4*g + c*l for g.
2
Suppose 3*o + 6 = -5*n - 9, -25 = 5*o. Let s be (n*(-3)/(-12))/2. Suppose x - 3 = -s*x. Solve -x*k + y - 9 = 0, -4*k = -2*k + 2*y + 6 for k.
-3
Let v be (14 - 0) + -337 + 327. Solve 2*y + 8 - 16 = -v*g, -4*g = -12 for y.
-2
Let v be ((-6)/(-5))/(417/695). Solve -v*f - 18 = -4*d, 3*d - d + 4*f + 16 = 0 for d.
2
Let d be 15*1 + (167 - 178). Let a(x) = 5*x**3 - 2*x**2 + 2*x - 1. Let n be a(1). Suppose -n*s - 7 = -23. Solve -2*i + s*r + 22 - 4 = 0, d*i = 4*r + 28 for i.
5
Let i(t) = -9*t - 61. Let y be i(-7). Suppose -y*a - 4*k + 102 = 0, -4*a = -0*k + k - 197. Let z = a + -46. Solve -15 = 2*c - 4*u - 5, 3*c - 2*u = -z for c.
1
Suppose 0 = 39*x - 34*x - 50. Let g(u) = u - 8. Let a be g(x). Suppose -2*t + f = 2*t - 114, f = -a. Solve 3*y - 4*j - t = 0, -3*y - 2*y + 36 = -4*j for y.
4
Let i = 65 + -89. Let y(g) = -2*g**3 - 47*g**2 + 23*g - 22. Let o be y(i). Solve 0 = 2*x + 3*h + h + 20, -3*x - 6 = -o*h for x.
-4
Let a = 2630 - 2631. Let q(y) = y**2 + 6*y - 5. Let z be q(-6). Let v = a - z. Solve 2*d - 2*o + 4*o + v = 0, 3*d - 5*o = -30 for d.
-5
Suppose -4*r + 26 = 2*w, -2*r - 660 = 2*w - 688. Solve t = 2*h - 3, -15 = 5*h + 5*t + w for h.
-1
Suppose -m + 30 = -2*b - 7, -140 = -4*m + 4*b. Let s = 37 - m. Solve -x + 2*x + 16 = 4*q, -s*q + 20 = 0 for x.
4
Let l be (2 - 3)*(12 + -8 + -8). Solve 3*d + 4 = -4*j, -l*d + 4*j + 32 = -0*d for d.
4
Suppose 3*n = a + 26, -8*n + 9*n + 2*a = 4. Suppose -n*z + 139 - 27 = 0. Solve -z = -3*w - 5, 0 = 3*i - w + 18 for i.
-5
Suppose -3*r - 17*z + 22*z = -31, -4*r + 3 = z. Solve 3*f - 30 = -3*h, -r*h - f = -3*h for h.
5
Let a(r) = r**3 - r**2 - 4*r - 1. Let h be a(3). Let l(w) = 19*w + 126. Let g be l(-6). Suppose 9*z = 3*z + g. Solve -17 = h*x - 2*x - 2*m, -z*m = x + 3 for x.
-5
Let u(p) = p. Let g be u(3). Suppose -16 = i - 5*r, -i + g*r - 12 = -r. Solve -b = 2*o + i*b - 11, -b + 7 = 2*o for o.
3
Suppose 11*b = 6*b + 10. Let s be (13/(-26))/(b/(-160)). Solve 4*i + 2*z = 14, -4*i - 5*z + s = 11 for i.
1
Let l(s) = s**2 + 3*s + 2. Let j be l(-5). Let z = 1151 + -1146. Suppose j = d - z. Solve -4*g + 10 = 2*u - 3*u, 0 = -u - 5*g + d for u.
2
Suppose -265 - 1539 = -451*f. Solve f*p + x = -3, -17*p + 15*p - 2*x = 0 for p.
-1
Let r(u) = -u**2 - 28*u + 7. Let w be r(-18). Let j = -179 + w. Solve -3*y = -3*s - 2*y + 4, -j = -s - 3*y for s.
2
Suppose -23 + 513 = 98*y. Solve 0 = -2*v + 3*n - 3, -y*v + 22*n + 24 = 25*n for v.
3
Let z be (3/9)/(((-3)/3)/(-291)). Suppose z*i - 100*i + 15 = 0. Solve -3*h - 5*k = 2*h + 5, -k + 3 = i*h for h.
1
Let x = 603 - 595. Let u be -2*(5 - 13)/x. Solve 2 = c - 3*c - 5*m, 0 = -3*c - 5*m + u for c.
4
Let a be ((-81)/12)/(2/8). Let f = a - -47. Let p be (-3)/(-15)*5*f. Solve 4*w - p = 0, -2*x + 0*x - w = -15 for x.
5
Let m = -39 + -5. Let p be 1/((-84)/m - 2). Let h = p - -16. Solve h*g - 7 + 44 = -4*z, -3*z - 3*g = 24 for z.
-3
Let p be (-10)/(-8)*((-20)/3)/((-120)/144). Solve 4*j - 7*j - 15 = -5*u, -5*u - 2*j = p for u.
0
Let u = -4210 + 4222. Solve -b - 2*y - u = 0, 49*y + 32 = -3*b + 44*y for b.
-4
Suppose 4*i - 5*j - 74 - 8 = 0, i - j - 20 = 0. Let x(q) = q**3 + 33*q**2 + 32*q. Let n be x(-32). Solve n = 4*t - 5*a - 16, 0 = 2*t - 4*a - a - i for t.
-1
Let k(t) = t**2 + 8*t + 16. Let b be k(-7). Suppose -10 = b*l - 4*l. Let a = -2 - l. Solve -q + 2*v + 8 = -2*v, 5*q + 3*v + 29 = a for q.
-4
Let d be 0/(-3*(-2 - -3)). Let v = -84 + 84. Suppose v*p - 20 = -5*a - 2*p, 0 = 3*a + p - 12. Solve -s - 5 = g - a, d = -3*g - 9 for s.
2
Let u(s) = -31*s + 284. Let a be u(9). Suppose n - 5*r + 17 = 6, -a*r = 3*n - 27. Solve 0 = 2*t, -3*p = -n*t - 5 - 7 for p.
4
Let h(s) = -s**3 - 23*s**2 - 16. Let a be h(-23). Let u be (-5)/20*3 - 140/a. Suppose -f = -0*f - 4. Solve -16 = 2*y - f*i, 4*y - i - u = -3*i for y.
0
Let q(k) = -21*k - 38. Let r be q(-2). Let s(c) = -c**3 + 6*c**2 - 10*c + 14. Let m be s(r). Solve 2*i + 1 = -i + 5*a, 4*a - m = 5*i for i.
-2
Let i = 56 - 78. Let r be i - -27 - (1 - 0). Solve 3*b + 3*y - 18 = 0, 0 + r = b - y for b.
5
Let i(c) = c**2 - 4*c - 1. Let t(z) = -2*z**2 + 13*z - 10. Let k be t(5). Let p be i(k). Solve -j = -2*b + 2*j - 10, -p*b = -3*j + 8 for b.
1
Let g be (-4)/(((-2)/4)/1). Let f(d) = -14 - 7*d**2 - 15*d**2 - 3*d + 36*d**2 - 13*d**2. Let x be f(6). Solve 5*i = 2*p + 15, x*i - 4*p = g + 16 for i.
1
Let v = 6 - 2. Suppose 0 = 3*s + 41*x - 37*x - 42, 98 = 7*s + 4*x. Solve -3*q + v*r = -s, 3*r = 2*q - 0*q - 10 for q.
2
Suppose 4*p - 4 = 0, 11*l + 4*p = 10*l - 7. Let d(k) = 2*k**2 + 20*k + 3. Let r be d(l). Solve 2*j - 5*i - r = 0, 0*j - 4 = j + 3*i for j.
5
Let n(j) = -j**2 - 6*j + 8. Let o be n(-6). Suppose -2*w + 20 = 3*w - 5*m, w = -5*m - o. Solve 4*t + w*l = -1 - 1, t + 3*l - 12 = 0 for t.
-3
Let q be -278 - (20 - 14 - (8 + -2)). Let m = q - -280. Solve m*u - 2*j + 12 - 6 = 0, u - 3*j = -13 for u.
2
Suppose -5*b - 1096 = 3*t - 2807, -b + 1727 = 3*t. Let q = 577 - t.