f for f.
-3
Let c = 1766 + -1742. Solve -30*v = -24*v + c for v.
-4
Suppose 0 = 5*p - 30, 4*s - 61*p + 66*p - 142 = 0. Solve s*t + 28 = 14*t for t.
-2
Suppose -55 = -5*t + 80. Suppose t*d = 29*d - 40. Let l be d/110 - (-40)/22. Solve -l*m = m + 6 for m.
-2
Let j(d) = d**2 - d - 20. Let z = 83 - 78. Let m be j(z). Suppose m = -3*v + f + 37, -v + 3*f - 33 = -4*v. Solve -5*g - v = -37 for g.
5
Let k = 12116 + -12044. Solve 12*y = 3*y - k for y.
-8
Let x be -72 - (-2 + -1 + -1). Let c be (3 - -13)*(-18)/(-4). Let s = x + c. Solve -m - 5 = -s for m.
-1
Let f = 632 - 1312. Let z = -676 - f. Solve z*y - 102 = -98 for y.
1
Suppose 148 = -3*i - 371. Let u be (-6)/(-9) + -3 + i/3. Let t = -60 - u. Solve t = 9*g - 6*g for g.
0
Let h(l) = -l + 9. Let m be h(6). Let a(f) = -f**3 - 6*f**2 + 7*f + 9. Let s be a(-7). Suppose 0 = -s*y + 10*y - 10. Solve m*p - y = p for p.
5
Let p = 17 - 9. Suppose 19*w = 28*w - 45. Let z be 228/95*w/3. Solve z*s - p = 2*s for s.
4
Suppose -4*n + 65*f + 32 = 70*f, 40 = 5*n - 3*f. Solve 94 = n*c + 46 for c.
6
Let q be 17526/230 - (-6)/(-5). Solve -q*f = -78*f - 15 for f.
-5
Let s be 5*(-4 + 1)*-1. Let i(t) = t**3 - 2*t**2 + 2*t. Let r be i(2). Suppose 2*f - r = f. Solve -f*v + s = 3 for v.
3
Suppose -8*o - w + 121 = -3*o, 0 = -o - 2*w + 17. Suppose -15 = -3*b + 4*q - q, -2*b = -q - 14. Solve b*s - 4*s = -o for s.
-5
Suppose -4*m - 42 = -2*a + 200, 0 = m + 5. Solve a = 44*d - 7*d for d.
3
Suppose 0 = -4*z + 2*z + 6. Suppose -4*g + 4 = -4*u + 3*u, -z*u + 3 = 3*g. Let b(o) = -o**2 + o + 4. Let t be b(0). Solve u + t = -2*m for m.
-2
Suppose -2*o = -0*o + n - 5, -25 = -o + 4*n. Suppose -11 = -h + 2*q, -h - 8 = -o*h - q. Suppose b + 4 = -h*x + 11, -2*b + 2 = 2*x. Solve x*z = -1 - 5 for z.
-2
Let m(z) = -z**2 + 29*z + 5383. Let j be m(89). Solve j = -3*x + 25 for x.
-6
Let r = 15760 - 15743. Solve -2*d + 90 = -r*d for d.
-6
Suppose 0 = -f - 3*i + 16, -5*f = i + 5 - 29. Let b be (-1 + 1)*(-3)/(-6). Solve b = q + q + f for q.
-2
Let h(l) = -2*l - 70. Suppose -q - 2*c - 34 = -6*c, -5*q - 194 = 4*c. Let i be h(q). Solve 4*f = -2*f + i for f.
1
Let v be 7 + 6 + -1*6. Suppose 0 = v*i - 38 + 10. Solve -i*x + 5 = x for x.
1
Let b(z) = -3*z - 6. Let c be b(-5). Suppose -6*x = -9 - c. Let r(j) = j + 1. Let d be r(1). Solve -10 = x*n + d for n.
-4
Let k(z) = -z**3 + 13*z**2 - 26*z - 1. Let q be k(6). Let y = 95 - q. Let m = 18 + -6. Solve y = -2*d - d - m for d.
-4
Suppose 2*s - 4 + 1 = a, 4*s - 15 = -a. Suppose -4*h = 4, -k + s*k = -h + 3. Solve -k*o = -3*o for o.
0
Let n = -67 - -71. Suppose 4*r + n = 5*r. Suppose 2*v + 7 = r*t - 3, -4*t - 3*v = -25. Solve 0 = 2*g - 0 - t for g.
2
Let g(k) be the first derivative of k**2/2 + 17*k - 13. Let i be g(-12). Suppose 2*w + 3*w - 8 = -2*h, i*w = 4*h + 14. Solve -15 = w*j + j for j.
-5
Suppose -2*p + 3*k + 8 + 14 = 0, -3*p - 2*k + 20 = 0. Suppose 17*c = 4*c - 15*c. Solve c = -6*d + 2 - p for d.
-1
Let k be ((-2)/6)/(24/(-5904)). Let v = 87 - k. Suppose -v*g - 5*d + 20 = 0, -4*g + 6*d = d - 16. Solve -2*s + 6*s + g = 0 for s.
-1
Suppose -4*u = -5*q + 21, 6*q + 7*u - 78 = 3*u. Solve -62 = q*s - 89 for s.
3
Let o be 4*1 - (1 + (-2)/(-2)). Let m be (-3)/o - 3/(12/(-70)). Let c = 24 - m. Solve -2*d = -0 - c for d.
4
Let d(g) = -27*g + 5137. Let b be d(168). Solve b = 3*v + 601 for v.
0
Let f(b) = 5*b**2 - 64*b - 10. Let u be f(13). Solve -3*s = u*s - 8*s for s.
0
Let x = 30631 - 30427. Solve -192*v = -x*v - 12 for v.
-1
Suppose -4*a - 13 - 19 = -2*s, 0 = -2*s - a + 27. Let y be (-25 - -11)*((-32)/s - -2). Solve 6*w = y*w + 2 for w.
1
Suppose 13*u - 966 = -29*u. Suppose u = -3*a + 77. Solve 0 = 4*h + a - 34 for h.
4
Suppose -4*z + 133 - 53 = 0. Let m(w) = 10*w - 304. Suppose 0 = -25*c + 21*c + 124. Let j be m(c). Solve g = j*g + z for g.
-4
Let x(t) = -t**3 + 10*t**2 + 10*t + 18. Suppose -132 = b - 13*b. Let i be x(b). Solve i = 5*o - 3 for o.
2
Suppose 5*o + 50 = -13*u + 18*u, -30 = -3*u - 3*o. Solve -u*r + 56 - 46 = 0 for r.
1
Let n be ((-139)/2)/((-1)/6). Let g = 419 - n. Solve g*f = 3 + 3 for f.
3
Let o = 59 - 45. Let w = o - 14. Let h be w*(12/(-8) - -1). Solve d = -h*d - 1 for d.
-1
Let u(p) = p + 19. Let i be u(-19). Suppose 5*t - 167 + 117 = i. Solve -l - l = -t for l.
5
Let c be -3*94/(-10)*(-6 - (-28)/3). Solve -32*k - 254 + c = 0 for k.
-5
Let a be 1 - 1 - 8/2. Let t be (-3)/(-4)*-1*a. Suppose -25*w = 540 - 1215 + 575. Solve 5 = t*c - w for c.
3
Let z = 121 - 133. Let k be (-10)/30 + (-4)/z. Solve k = 5*b - 8*b + 6 for b.
2
Suppose 0 = 2*x + 34 - 38. Suppose -2*b - 2*b - 8 = -4*w, -3*b = -2*w + 6. Suppose 0*u + 5*u = w. Solve 0 = -x*o - u + 4 for o.
2
Let z be (5 + -1*2)/(7/(-9870)*-18). Solve z*r = 227*r - 16 for r.
-2
Suppose 73*i - 7370 = 51*i. Let w = -309 + i. Solve 4*u = 14 - w for u.
-3
Suppose 173*g + 4*i + 359 = 178*g, 4*g - 288 = 4*i. Solve g = 3*t + 62 for t.
3
Suppose 6*p + 62 = -3*q + p, -5*q = -5*p + 50. Let s be 76/28 - (2 + 32/q). Suppose 0 = s*r + 2 - 8. Solve -3*a + r = 11 for a.
-3
Let v(i) = 17*i - 131. Let m be v(8). Suppose -4*l + 17 = 3*t, -2*l + m*t = 2 + 9. Solve 8*u = l*u - 18 for u.
-3
Suppose 1037*n = 1032*n - 165 + 1755. Solve -22*x + n = 31*x for x.
6
Suppose 2*w + 12*w - 2072 = 0. Suppose -3*a + 225 = -5*y, -3*y - w + 47 = 5*a. Let x be 12 - ((-8)/6)/(28/y). Solve 3*b + x = -5 for b.
-5
Suppose -18*d = 19*d - 335 - 183. Solve -6 = 4*s + d for s.
-5
Let k be ((861/12)/(-1) - -5)*(-504)/54. Solve 63 = 630*y - k*y for y.
9
Let s = 654 + -657. Let v be s/12*(-25 + 1)/2. Solve 0 = -2*r - 14*r + v*r for r.
0
Suppose -68*v = 278*v. Solve v = 31*d - 19*d - 24 for d.
2
Suppose 2*g - 6 = -20*a + 23*a, 3*g - 4*a = 8. Suppose -5*k = -25, -4*b + 5*k = -g - 15. Solve -14*r = -b*r + 4 for r.
-1
Let z be (-29)/(-1) - (15 + -11). Suppose z = -13*y + 77. Suppose -3*v - 14 = -4*d, 4*d - 13 - 11 = -2*v. Solve -y*l - 6 = -v*l for l.
-3
Let v(d) = 2*d**2 + 35*d + 20. Let x be v(-20). Solve x = 4*o - 24*o for o.
-6
Let s(k) = -k**2 + 14*k - 11. Suppose -26 = 10*n - 156. Let v be s(n). Suppose 2*t + 3*t - 5*d - 55 = 0, v*t - d = 27. Solve -5*x + t + 9 = 0 for x.
5
Suppose 5 = 3*m - 5*b + 15, 2*m - b + 2 = 0. Solve 4*k - 3*k - 4 = m for k.
4
Suppose -13*y + 18*y + 300 = 0. Let k = y + 61. Let i be (k - 4/20)/(1/10). Solve -12 - i = 5*s for s.
-4
Let v(r) = -10*r**3 - 170*r**2 - 7*r - 48. Let n be v(-17). Solve n*j - 101*j = 150 for j.
-5
Let y be (-162)/18 + 60/3. Solve 41 = 6*h + y for h.
5
Let t be ((-27554)/(-8985))/((-4)/(-30)). Let h be 0*3/6*-2. Solve -3*z - 11 + t = h for z.
4
Suppose 20*r + 66 = 9*r. Let l be ((-112)/(-21))/(-8)*r. Solve 9*x + 22 = l for x.
-2
Let d(y) = -y**3 + 5*y**2 - 6*y - 6. Let u be d(3). Let w be (-98)/(-21)*u*1. Let x = w + 36. Solve -j - j = -x for j.
4
Let b be (0/(-7 - 5))/(-1). Solve b = 12*s + 15 + 21 for s.
-3
Let v be (-4)/6 - -1*1344/72. Solve 0 = v*d - 734 + 680 for d.
3
Suppose h + 254*x - 255*x = 11, 0 = -4*h - 3*x + 72. Solve -18 = 3*j - h for j.
-1
Suppose -c + 376 - 361 = 0. Suppose 2*m = 2*w - 50, -10*w - 131 = -c*w - m. Solve -5*k + 11 - w = 0 for k.
-3
Suppose -28*c + 3 = -31*c. Let x be 4/(-10)*(-6 + -3 + c). Solve 2 = x*j + 6 for j.
-1
Let k(t) = -31*t - 126. Let f be k(-5). Solve f*q + 74 = -13 for q.
-3
Let s(m) be the second derivative of 2*m**3/3 - 2*m**2 - 12*m. Let v be s(2). Suppose v*i + 2*i = 42. Solve -2*q = i + 1 for q.
-4
Let x = 13 + -41. Let j(f) = -8*f**2 + 273*f - 36. Let r be j(34). Let d be r/(-4)*(-168)/x. Solve 0 = d*p + 2 - 5 for p.
1
Suppose -3*m + 4*z = -87, 3*m - 3*z = -0*z + 90. Suppose 170 + 94 = m*u. Solve 1 = u*x - 7*x for x.
1
Suppose 2*d - 18 = -0*d - 3*u, 0 = 5*d + 2*u - 23. Suppose -d*s - 43 = 5. Let i be 5 - (-4 + s/(-4)). Solve 4*a - 3 = i*a for a.
-3
Let z(r) be the first derivative of -r**2/2 + 44*r + 105. Let k be z(-12). Solve k*v + 8 = 58*v for v.
4
Suppose 20*d + 5425 = 51*d. Solve -d = -48*g + 13*g for g.
5
Let j = 28 + -25. Suppose 12*q - j*q = 18. Suppose -4*u - 2 = q*c, -31 = -3*u - 0*u + 5*c. Solve -t = u*t for t.
0
Let x be (6/10)/((-12)/60). Let d = 7 + x. Suppose a - 4 + 15 = 3*c, 0 = d*c - a - 15. Solve c*k + 8 + 12 = 0 for k.
-5
Let c be 4/(-12) + (0 - (368/(-24) - 5)). Solve 94*v - c = 89*v for v.
4
Let a = -325 + 331. Suppose 5*q + g = a, q = g + 3*g + 18. Solve -q*j = 19 - 13 for j.
