2*a. Solve -3 = -4*r + a for r.
1
Let p(k) = 3*k - 7. Let q be p(3). Let d be (10/(-8))/((-3)/(-12)). Let v be q/(-1) + 2 - d. Solve 5*i - v = -0 for i.
1
Suppose 5*s - 4*x = -2*x + 23, 0 = -x - 4. Solve -y + 0 = -s for y.
3
Let v = 98 - 87. Suppose -v*i = -12*i + 5. Solve -i = 3*f + 4 for f.
-3
Suppose -6*l = -27*l. Solve l = 21*h - 24*h + 9 for h.
3
Let v be 12/(-20) + 7*(-3)/(-35). Solve v = 5*z + 6 - 21 for z.
3
Suppose -15*x - 4*x + 114 = 0. Solve -2*o = -0 - x for o.
3
Let r(u) = u**3 - 119*u**2 - 119*u**2 + 232*u**2. Let g be r(6). Solve g = 2*c - 0*c - 8 for c.
4
Let m(b) = -b**3 - 7*b**2 + b + 3. Let f be m(-7). Let i be -2 - (4 + -2) - f. Let w be 2*(2 + i) - -1. Solve w = 6*k - k for k.
1
Suppose -5*m = 4*s - 469, -3*s - 98 = -2*m + 85. Solve -4*n = -85 + m for n.
-2
Let x be (-1)/3*(-57 - -6). Solve o = -x + 19 for o.
2
Let w(k) = -20*k + 142. Let j be w(7). Solve -5*z + 7*z = j for z.
1
Let z = 4 - 2. Let i be (-8)/6 + (4 - (-208)/12). Suppose i = z*d + 3*d. Solve -d*u = 2 - 6 for u.
1
Let k be (7/14)/(1/(-2)). Let t be 252/32 + k/(-8). Solve 2*w + t = -0*w for w.
-4
Let x(c) = 3*c + 5. Let q be x(8). Let w = q - 24. Solve 5 = -0*k + w*k for k.
1
Suppose 0 = a + 5*v - 13, 2*a - 3*v = 7*a - 65. Solve 5*g - a*g + 24 = 0 for g.
3
Let p be 2337/164 - (1/4 - 0). Solve -p*l + 18 = -8*l for l.
3
Let m(u) = 2*u**3 + 28*u**2 - 28*u + 35. Let s be m(-15). Solve s*a + 26 = 11 for a.
-3
Suppose 0*x + x - 12 = 0. Suppose -3*v = -v - x. Suppose 0 = -v*t + t + 20. Solve -t*h + 5 = -7 for h.
3
Let x(b) = b**3 - 63*b**2 - 129*b - 59. Let v be x(65). Let r = -8 - -14. Let j = r + -2. Solve 5*z = -v - j for z.
-2
Let z(g) = g**3 - 8*g**2 + 10*g + 14. Let j be z(6). Solve -k - j = -5 for k.
3
Suppose k + 4 = f, -2 = -5*f - 3*k + 2. Let j(b) = 2*b**3 - 3*b**2. Let q be j(f). Solve l - q = -0 for l.
4
Suppose 180 + 58 = 14*s. Solve 19*n = s*n for n.
0
Suppose -4*b = -141*m + 146*m - 17, -5*m + b = -27. Solve -z + m*z = -16 for z.
-4
Let v(q) = q**2 - 9*q - 7. Let d be v(10). Suppose -3*n + 15 = 5*o, o - d = 3*n - 8*n. Suppose 27*j - 26*j = 0. Solve j*z + o = -z for z.
-3
Let m(n) = -n - 1. Let b be m(-3). Suppose 3*p - 9 - 6 = 0. Suppose d = 2*y + 2, 2*d + p*y - 6 = -d. Solve 0*z - d = b*z for z.
-1
Let s = 422 - 419. Solve 2*d = -3 - s for d.
-3
Suppose 41*p + 4171 = 84*p. Solve 4*q + p - 93 = 0 for q.
-1
Suppose f + 42 = 5*h, 3*h - f + 5*f - 39 = 0. Suppose w = -2*w + h. Suppose -8*k = -4*k + w*t - 35, k - t = 0. Solve -2*j - k = -j for j.
-5
Suppose -16 = -62*v + 58*v. Suppose v*j = -j. Suppose -4*z + 20 = z. Solve -z*t - 6 - 2 = j for t.
-2
Let p = 77 - 62. Solve -4*r - r + p = 0 for r.
3
Suppose 7 = 2*d - 1. Solve s = -d*s - 5 for s.
-1
Suppose -93 = 28*l - 233. Solve l + 7 = 3*u for u.
4
Let g = 117 - 111. Solve 3*t = g*t for t.
0
Let g be 1*-3 - (-66)/((-88)/(-8)). Solve g*m + 0*m - 12 = 0 for m.
4
Let p = 13 - 49. Let f = p + 39. Solve -2*l - f*l = 0 for l.
0
Let r = -19 + 42. Suppose -r = 2*w - 33. Solve -w*v + v = 16 for v.
-4
Let w be (-2)/(-3) + 20/6. Suppose 0 = 3*x + 8 - 35. Suppose -2*s - 20 = -4*s + 3*v, 0 = -s + v + x. Solve z - s = -w for z.
3
Let l(k) = k**3 + 10*k**2 + 10*k + 12. Let i = 42 - 20. Let s = i - 31. Let o be l(s). Solve d + o*d = 20 for d.
5
Let v = 51 - 53. Let m be v + 3 + 12 + -1. Solve -m = -p + 5*p for p.
-3
Let z(v) = v**2 + 8*v - 3. Let s be ((-4)/8)/((-2)/(-32)). Let i be z(s). Let u be (13 - -2)*i/(-3). Solve 0*b + 3*b = u for b.
5
Suppose -39*r = -25*r - 98. Solve -4 - 10 = -r*o for o.
2
Let g(d) = -d**3 - 13*d**2 - 15*d - 23. Let v be g(-12). Solve 0 = v*n - 8*n - 25 for n.
5
Let w be (-2256)/(-224) + 2/(-28). Solve 0 = w*z - 14*z - 8 for z.
-2
Let u(s) = -s**3 - 2*s**2 + 2*s + 2. Let j be u(-3). Suppose 5*t - j = 75. Suppose -t = -2*g - 2*g. Solve 0 = 4*k - g - 4 for k.
2
Let t(f) = f**2 - 14*f + 25. Let a be t(12). Solve 0 = -2*j - a - 7 for j.
-4
Suppose 5*t - 34 = 3*t. Let n = -10 + t. Solve 5 = 3*f - n for f.
4
Let v(y) = -y**3 + 4*y**2 - 4*y + 1. Let r be v(1). Solve z + 0 + 3 = r for z.
-3
Let r be 2 - (-1)/((-4)/16). Let u be (-2 - 16)/(1/r). Suppose -4*y = 2*l - 34, 2*y - 3*l = u - 15. Solve -5*q = -y*q + 8 for q.
2
Let w be -1 + 3 - (-5 + -7). Let v = w - 12. Let m be v/(-4) + 1/2. Solve m = f - 1 for f.
1
Suppose 5*k - 7 = 8. Solve -k*x + 20 = x for x.
5
Suppose 3*h + 3 = 2*v - 0, 3*v = -2*h - 15. Let g be 2 + 4/h + (-16)/(-3). Solve g = y + y for y.
3
Let p(w) = -43*w + 54*w + 28 + 1 - w**3 - 3*w**2 + 15*w**2. Let r be p(13). Let g be 3 + (1 - (-2 + 4)). Solve -g*h - r = h for h.
-1
Let v = -26 + 29. Let y be ((-5)/v)/((-3)/9). Solve o = y*o - 12 for o.
3
Let i(y) = -y**3 + 36*y**2 + 116*y + 42. Let b be i(39). Solve 3*m - 12 = -b*m for m.
2
Suppose -24 = -3*l - 2*x, -32 = -4*l - x + 6*x. Suppose -12 = 4*v - 7*v. Suppose g = v*g. Solve g = m + m + l for m.
-4
Suppose -2*m - 5*h = -0*m + 6, 3*m + h = 4. Suppose -2*q = -6*q + m*k + 38, 3*q - 3*k - 30 = 0. Solve -5*t + q + 11 = 0 for t.
4
Suppose 8*n + 192 = -0*n. Let t = 28 + n. Solve -t*w - 12 = -0 for w.
-3
Suppose -5 = 5*m - 20. Suppose -4*b + 2*b = m*b. Solve -g + b*g - 5 = 0 for g.
-5
Suppose -k - k = -3*n + 9, 4*n - k - 7 = 0. Let y be -4*1*1/2. Let g = -2 - y. Solve 2*w + 1 + n = g for w.
-1
Let u(j) = -2*j - 10 - 7 + 0*j + 4. Let f be u(-9). Suppose 40 = f*k + n - 5*n, 2*k = -5*n + 49. Solve -d = -4*d - k for d.
-4
Let r be 8 + -4 + 4/4. Suppose r*i + 77 - 82 = 0. Solve -i = -2*k - 7 for k.
-3
Let z be (27/(-5) - -3)*(26 - 31). Solve 18 = -z*s - 18 for s.
-3
Suppose 1 = -2*b + 9. Suppose 18 = b*z - 6. Solve -z*x - 25 = -x for x.
-5
Let n(j) = -j**3 + 9*j**2 + 11*j - 6. Let c be n(10). Suppose 5*h - 918 = q, c*h - q - 4*q - 726 = 0. Let o be (h/(-20))/((-6)/15). Solve -4*a - 7 = -o for a.
4
Suppose -102*f - 40 = -112*f. Solve -k + f*k = 0 for k.
0
Let k = 57 + -52. Suppose 3*o + 0*y + k = -4*y, -5*o + 3*y + 11 = 0. Solve -o = -7*x + 6*x for x.
1
Suppose 0 = -m + l + 1, -4*l + 2 + 0 = -2*m. Suppose 2*o = 4*z - 18, o + 22 = z - m*o. Solve -z*y = y - 9 for y.
3
Let v(w) = -w**2 - 46*w - 240. Let b be v(-6). Solve -4*z - 30 + 42 = b for z.
3
Suppose 0 = -30*u + 35*u - 65. Solve 3*h - 2 = u for h.
5
Suppose 36*z + 1419 = 4083. Solve 69 = -q + z for q.
5
Suppose 5*r = 4*r - 6. Let n = r - -5. Let k be (n/3)/(5/(-45)). Solve k*j = 2*j for j.
0
Let j be (-2 - -1) + 6 + 0. Suppose p + 5*n = 6*p, 2*p - 35 = -j*n. Let k = 20632 - 20623. Solve 0 = 4*u - k*u + p for u.
1
Let b be (-2 + (1 - 0))*-10. Let r = -8 + b. Solve -2*x - 2 = r for x.
-2
Let v(p) = -6*p + 30. Let l be v(5). Solve -s + 8 - 3 = l for s.
5
Let t = -320 + 332. Solve -55*q + t = -49*q for q.
2
Let u = -466 - -471. Solve -5*h + 0 = -u for h.
1
Let i = 203 + -201. Solve -w - i = w for w.
-1
Let k = 345 - 340. Solve 3*u - 8 = k*u for u.
-4
Suppose 0 = 91*r - 95*r - 3*x + 105, x + 93 = 4*r. Solve 22*v = r*v - 10 for v.
5
Suppose -9*m - 26*m = -315. Solve -4*d + m*d + 10 = 0 for d.
-2
Let t be (3/(-6))/(3/(-114)). Suppose t = 7*k - 16. Solve 8 = -k*v - 17 for v.
-5
Let r = -39 - -43. Suppose -5*i = 2*w - 20, -3*i = r*w - 7*w + 51. Solve 4*k = w + 5 for k.
5
Let c(f) = -3*f - 9. Let w be c(-3). Solve -3*x - 6 + w = 0 for x.
-2
Let y be (-2)/(0 - 1 - 1). Suppose -2*p = -0*p + 15*p. Solve p = -2*n + 3 + y for n.
2
Suppose 0 = -2*o - 3 - 5, -3*o - 17 = -p. Solve -20 = p*b - 20 for b.
0
Suppose 0 = -z - 4*s + 29, -7*z = -6*z + 3*s - 24. Solve 0 = -z*r - 16 - 11 for r.
-3
Let d be (-12)/15 - (-18)/(-15). Let a be (-3 - d)*(-8)/(-4). Let p be (-14)/35*(a - 48). Solve -t + p = -5*t for t.
-5
Let h = -47 - -72. Let n be h/(-15)*12/(-10). Solve 3 = -n*o - 7 for o.
-5
Let o = 78 - 70. Solve 6*h = -o*h - 70 for h.
-5
Let h(t) = 12*t - 312. Let p be h(26). Solve p = b + 18 - 13 for b.
-5
Let v(y) = -y**2 + 25. Let i be v(0). Suppose -5*x + 3 = -2*b + 13, 2*x = -5*b + i. Suppose -55*z + 36 = -46*z. Solve z = -x*d - d for d.
-4
Let j(s) be the first derivative of -s**4/2 + s**3/3 + s**2/2 + 2*s - 4. Let h be j(2). Let y = -5 - h. Solve -12 = -3*g - y for g.
3
Let x = -137 - -137. Let u(f) = f + f - f + 3*f**2. Let b be u(-1). Solve 2*t + b*t - 4 = x for t.
1
Let t(d) = 26*d**2 - 12*d**2 + 3 - 18*d**2 + 2*d**3 - 3*d**3 + 5*d. Let h be t(-5). Solve r = 7 - h for r.
4
Suppose -5*p + p = -4*x + 40, -3*x + 