*r for d.
5
Let p(c) = -c**3 + 3*c**2 + 3*c - 2. Let s be p(3). Suppose 4*u - 5*u = -s. Solve -1 = k - d, -3*d = -5*k - u*d + 13 for k.
1
Suppose -2*x - 8 = -6*x. Let m be ((-2)/(-1))/1 + -1. Let s be 2 - m*(-1)/1. Solve -w - 6 = -g - 2*g, x*g - 4 = s*w for g.
2
Let f be (3/3 - -3)/2. Suppose 0 = -4*q + 2*s + 1 - 3, -3*s = -15. Solve 0 = f*u - 3*u - q*c + 11, 3*c = 3*u + 12 for u.
1
Let v = 39 - 34. Solve 4*t + v*l = 3*l - 16, -5*t = -l + 27 for t.
-5
Let i(s) = -s**2 - 9*s - 9. Let z be i(-7). Suppose 3*x = z*l + 58, 13 + 17 = 2*x + l. Suppose 4*k + x = 8*k. Solve k*r - q = -12, 0*r + 4*q - 14 = -r for r.
-2
Let p = 7 - 3. Suppose 3*q - 16 + 1 = 0. Suppose -q*i + s = -30, i - p*s - 30 = -i. Solve j = -i*a - 17, -4*a + j - 22 = -j for a.
-4
Let j = -4 - -9. Let o(v) = 3 - 3 - 3*v - v**2. Let f be o(-3). Solve b + 2*k - 4 + 5 = f, 5*k + 5 = -j*b for b.
-1
Suppose 2*n + 4 = 0, 2*q - 3*n - 16 = -3*q. Solve 3*i - 3*r = 14 + 13, 3*i - 2 = -q*r for i.
4
Suppose p + 3*a = -2*p + 48, -3*p - a + 56 = 0. Solve -p = -3*n - 5, -11 = k - 2*n for k.
-1
Suppose 12 = -2*s + 3*s. Let r = 17 - s. Suppose 0 = -2*c + 4*c - 6. Solve -10 = -n + c*h + 7, 0 = -r*n - 2*h for n.
2
Let n(b) = -b**3 + 17*b**2 + b - 15. Let q be n(17). Solve 4*a = 2*f - q, 3*a + 2*f = 3*f - 3 for a.
-2
Let y(l) = -l**3 + 11*l**2 + 2*l + 4. Let r be y(11). Let c be r/6 + 10/15. Solve s = 2*u + 3*u - 8, c*u + s - 12 = 0 for u.
2
Suppose -4*c + 22 = 62. Let q = 12 + c. Solve r - 2*z + 8 = 0, -2*r - 3*z + 7 = q for r.
-2
Suppose -2*q + 15 + 27 = 5*j, -5*q = 5*j - 45. Let y = j - 3. Let l(d) = -5*d + 5. Let u be l(-5). Solve 2*n - i = -y*i + u, -5 = 2*n - 3*i for n.
5
Let y be (-1)/5 + 10/((-250)/(-105)). Solve 0*u - 2*u - 3*x = 11, -u + y*x = 0 for u.
-4
Let u be (-3 + 30/9)*-9. Let i be ((-5)/u)/((-9)/(-27)). Solve -r = -w - 2*w, -3*r = i*w for w.
0
Let y = -45 + 47. Solve 5*r - 2*j + 9 = 0, 2*r - 2*j = -y*r - 8 for r.
-1
Suppose -24 + 9 = 3*x. Let t be x/(-2)*(7 - 1). Let z be (-2)/((t/(-6))/5). Solve -5*q - z*k - 20 - 5 = 0, 4*q + 3*k + 19 = 0 for q.
-1
Suppose 20 = 4*v - 0*v, -2*i + 5*v = 21. Let b(f) = -f**3 - f**2 - 2*f. Let d be b(-1). Solve 5*x + d = -4*c, -c + 2 = i*c + 2*x for c.
2
Let l be ((-10)/(-3))/((-10)/(-15)). Solve 3 = -n, 8*z - 3*z + l*n + 30 = 0 for z.
-3
Let t be (-1)/(-2)*-1 - (-15)/6. Solve 3*a + 1 = t*i + 2, i + 2*a = -11 for i.
-5
Let j = 12 - 11. Let a be -2 - (-9 + 3) - j. Let d be (4/6)/(4/30). Solve -a*x - 10 = r, 0 = -d*r - 0*r + 5*x + 10 for r.
-1
Let o be 0 + (0 - (1 + 1)). Let j = o + 8. Let d = j - 3. Solve 0*l + s + d = -4*l, 4*s - 10 = -5*l for l.
-2
Let h(g) be the first derivative of -g**2/2 + 2*g - 1. Let n be h(-3). Solve 0*y + n*y - 5*r + 25 = 0, -3*r + 8 = 4*y for y.
-1
Let a(o) = -o**2 + 4*o - 1. Let w be a(3). Suppose 2*y - 32 = -w*y. Let l = y + -3. Solve 4*s - 4 = l*f, 0 = -2*s - 3*s + 5 for f.
0
Let i = 65 - 60. Solve 7*z + 9 = 4*x + 6*z, 0 = -5*x + i*z + 15 for x.
2
Let h be (2/1)/6 + (-3)/9. Solve 4*c - 2*o - o + 9 = h, 0 = 2*c - o + 5 for c.
-3
Let l be 8 + 3/((-9)/(-6)). Let s(h) = -h**2 + 10*h + 5. Let f be s(l). Solve -b + f*y = 2, -3*b + 4*y + 2 = -3 for b.
3
Let t be ((-1)/1)/(2/(-10)). Solve 3*u + 3 = 5*m - 0*u, -1 = -t*m + u for m.
0
Let f be (-3)/(-2 - 42/(-30)). Solve f*s - n - 3 = 0, 3*s + 4 = s + 3*n for s.
1
Let x(z) = z**3 - 7*z**2 - z + 12. Let u be x(7). Solve 3*v - 4*r = 13, 0*v + 13 = u*v + 2*r for v.
3
Let i(r) = r**2 - 1. Suppose 4 = -3*x - 8. Let w be i(x). Let k = w + 0. Solve -k = 4*g + o + 2, 3 = -2*g + 5*o for g.
-4
Let j(s) = s**2 - 6*s - 1. Let b be j(7). Solve 3*d = 5*v + 5, v - b*v + 2*d = 0 for v.
2
Let a be 1 + (-4 - -7) + (0 - -1). Solve 8 = -q + a*k, -1 = 4*q + k + 10 for q.
-3
Suppose y - 6*y = -25. Solve -3*j = -y*w - 32, 14 = -w + 2*j + 2 for w.
-4
Suppose -y - 1 = 3. Let q be 5*2/y*-4. Suppose 0 = g + 3*k - 21, g - 57 = -4*g - 3*k. Solve -v - 4*h - q = 0, -g = 7*h - 4*h for v.
2
Let l = 22 + -7. Suppose 2*a + 3 - 9 = 0, -3*v - 3*a + l = 0. Solve 0 = 3*n + 2*c + 8 + v, -3*n = 4*c + 8 for n.
-4
Suppose 5 + 3 = q. Suppose -3 - 5 = 5*v - 4*z, 0 = -v + 4*z - q. Suppose -d + v*d + 3 = 0. Solve -4*f = 5*y + 16, -15 = -2*f - f + d*y for f.
1
Suppose 13*t = 11*t + 28. Solve 3*v + 5*i = -t, -4*v - i - 13 + 0 = 0 for v.
-3
Let p(g) = -g**2 - 5*g + 16. Let c be p(-7). Solve 6*q - 3*q - 10 = -b, 12 = 2*b + c*q for b.
4
Let f = 100 - 97. Solve 4*n - 4*g + 6 - 2 = 0, n - 2*g = -f for n.
1
Suppose 3*n = -4*a + 11, -2*n = n + a + 4. Let g = 8 + n. Solve -g*k + 4*s = -9 - 4, -6 = 3*s for k.
1
Let n(d) = d**2 - 7*d. Let a be n(7). Solve -2*p - 4*k + 24 = a, -p - 2*p = -3*k + 9 for p.
2
Suppose -l + 3 = -3. Suppose l*f - 8 = 2*f. Solve -z + 4*z + f*q - 5 = 0, -z + 7 = 2*q for z.
-1
Let i = -23 + 28. Solve 0*o - 3*o = -9, -i*m + 4*o + 8 = 0 for m.
4
Let z = 36 + -29. Solve 4 = a + 2*b, 4*a + 25 = 4*b - z for a.
-4
Let j = 7 - 4. Suppose d + 9 + 1 = -3*n, 2*d - 8 = n. Let m be 4/10 - (-6)/(-15). Solve -d*h = -0*h - j*a + 22, m = 4*h - 3*a + 32 for h.
-5
Let j(s) = 12*s + 1. Let x be j(-1). Let q = x + 16. Suppose -2*g + 0 + 5 = -3*z, q*g - 4*z - 16 = 0. Solve -2*u - 5*l = 3*u - 5, -4*u + 3*l + g = 0 for u.
1
Suppose 2*p + 2*p + 20 = 4*s, -2*p = 10. Solve s = -v - 4*y + 25, 5*v + y + 4*y = 50 for v.
5
Suppose 0 = v + 2. Let w = 9 - 24. Let z be ((-6)/w)/(v/(-10)). Solve -4 = -z*o - h, 9 = o - 2*h - h for o.
3
Let g = -28 - -40. Suppose -5*f + 2*f = -g. Solve 2*l + f*p = 0, 3*p - 8 = 2*l + 6 for l.
-4
Let n(r) = -3*r**3 + r + 1. Let f be n(-1). Suppose -l + f*i + 3 = 0, 2*l + i - 7 = 6*i. Solve 3*k = -3*b + l, 0 = -2*k - 0*b + 5*b + 25 for k.
5
Suppose 4*i + 2*x - 16 = 0, 3*i + 10*x - 6*x - 22 = 0. Solve -2*d + 2*c = -i*c + 16, -2*d + c = 7 for d.
-2
Let r be ((-2)/(-1))/((-26)/(-39)). Solve -4*i + r*z + 0 = -19, 0 = 3*i + z - 11 for i.
4
Suppose 2*g = -3*g + 55. Let n = 15 - g. Solve 6*l - l + 10 = -5*j, -n*l + j - 13 = 0 for l.
-3
Let j(m) = -m - 6. Let s be j(-11). Solve 0*k + s*w = 3*k - 19, -w + 7 = 3*k for k.
3
Let z = 5 + 0. Suppose z*j - 2*d = 21, -5*d + 2*d = 2*j + 3. Solve j*g - 5*n = -3*n - 2, -5*g + 14 = n for g.
2
Let o = -25 - -21. Let h = 4 - o. Solve -7 = 5*i - p, i - 4*p - h = -i for i.
-2
Let k be (0/(-2) - -7) + -2. Solve -k*w - 28 = -0*o + o, o + w = -8 for o.
-3
Let v be 48/21 + 2/(-7). Let d be (-4 + 3)/(v/(-8)). Solve -35 = -d*p - 5*k, -5*p + 3*p = -3*k - 1 for p.
5
Suppose 5*t - 3*i = 27 + 45, -2*i = -2*t + 28. Suppose 3*j + 1 = 4*j. Let f = 1 - j. Solve -3*w + t = 5*p, f*p = w - p + 3 for w.
0
Suppose -5*t + 14 + 6 = 0. Solve -5*a + 10 = 0, t = -4*x - 0*a + 4*a for x.
1
Suppose 3*n - 20 = -4*g, 3*n - 14 = -5*g + 2*n. Solve -c - 1 = 0, -5*f - g*c = -3*f + 12 for f.
-5
Suppose -4*s = 5*w - 33, -4*w - 3*s = -s - 24. Suppose 0*x = 5*x. Solve 0 = -3*p + 5*p + v + 6, x = w*p - 3*v + 26 for p.
-4
Let n be (-6)/(-15) + 1/5*23. Solve -4*w = n*f + 1, -w - 1 = 2*f - 0 for w.
1
Suppose 4*d - 3*d - 3 = 0. Suppose -o = d*n - 6, 5*n - 6 = -3*o - 0*o. Solve -2*h - n*q = -4*h - 2, 3*h + 4*q = 31 for h.
5
Let l be (9/(-6))/(9/(-24)). Suppose w - 5*i + 2*i = 17, 2*w - 26 = l*i. Solve w*z + 9 = -f, z + 2 = -3*f + 3 for f.
1
Let v(g) = g**2 - 9*g + 17. Let z be v(7). Suppose c - z*d = 33, 5*c - c - 84 = -4*d. Solve 4*q - 3*u + c = 0, 0*q + 3*q + 2*u + 1 = 0 for q.
-3
Suppose -4*z = -3*n + 35, 0 = -5*n - 2*z - 3*z + 35. Let y be 1 - (-12)/(-5)*75/(-10). Let o = y - n. Solve 3*g + 28 = -5*x, x + o = 3*g - 8*g for x.
-5
Let r = -1 - -4. Suppose r*b - 4*b = -4. Suppose w + 17 = 2*m, -3*m + 40 = m - b*w. Solve -a + 25 = 5*f + 8, 4*f = -3*a + m for a.
-3
Let t = 22 - 17. Solve -2*l + 2*i - 9 = t, -4*i + 24 = -3*l for l.
-4
Suppose -c + 92 = -5*c. Let j = c - -43. Suppose -2*v + 4*m = -60, 7*v - 4*v - 5*m = 93. Solve -5*o = -10*o + j, 0 = -4*l - 4*o + v for l.
5
Suppose 0 = 4*r - 0*o + 2*o - 6, 3*r - o = 12. Let i be ((-15)/6 + r)*6. Solve 0 = -i*w - 5 - 1, 0 = 5*q + 2*w + 29 for q.
-5
Let s = -3 - 0. Let x be ((-10)/15)/(1/s). Suppose -a - 1 = -u, 4*u + 2*a - x = 7*a. Solve -5*o + 20 = 5*j, -j + 4*j - 6 = u*o for o.
1
Suppose 0 = -5*j - 5*a, 3*a - 5 = j + 5*a. Suppose 49 = -j*h - 26. Let c be (-17)/(-3) - 5/h. Solve 2*p - 6 = -x - 2*p, c = 2*x + 2*p for x.
2
Suppose -6*h = -3*h - 57. Suppose -2*y = -3*c + h, -2*y - 11 = -2*c + 