a for a.
3
Let d = -15 + 12. Let k be 1 - (0 - d) - -24. Suppose -k = -5*a - 3*q + q, -a - 5*q = -9. Solve 0 = -r + a*r for r.
0
Suppose u + 2*u + 78 = 0. Let q = -23 - u. Solve -q*d = -7*d for d.
0
Let d = 96 + -96. Solve -2*f + 6*f - 20 = d for f.
5
Suppose 2*a - 10 = 6. Let x = -148 - -152. Suppose -5*y = -8 - 32. Solve -x*w + y*w = -a for w.
-2
Let l = -83 - -90. Suppose 4*n - 5*r - 45 = l, 2*n + 2*r = 26. Solve -8*o + n*o = -25 for o.
-5
Suppose -82*g = -74*g. Solve g = -4*v + 7*v - 3 for v.
1
Suppose 38*b + 62 - 62 = 0. Solve b = -2*y + y - 2 for y.
-2
Let v(k) = 2*k - 1. Let b be v(7). Let l = -20 + 11. Let n be l/(-2) + b/26. Solve 2*u - 3 = -n for u.
-1
Let n(o) = -2*o + 14. Let a be n(5). Solve a*v = 5*v + 3 for v.
-3
Suppose g + 81 = 24. Let p be (-1)/3 + g/(-9). Solve -4*l - 22 = -p for l.
-4
Suppose y - 3*a = 14, 0*a + 2 = 5*y + 2*a. Suppose -4*o - 2 = -y*w - 0, o = -5*w + 27. Suppose o*v + 4*v - 90 = 0. Solve 2*c = 7*c + v for c.
-3
Let u = -106 - -206. Let y = u + -96. Solve 2*x + y = -0 for x.
-2
Suppose 4*m = -3*j - 2 + 7, -5*m + 2*j = -12. Suppose 2*p + 5*t = -2*p, 0 = 5*p + m*t. Solve 4*f - 3 - 9 = p for f.
3
Let i = -6 - -3. Let f be (-27)/(-18)*(-2 + (-10)/i). Solve -f*v = -0*v - 6 for v.
3
Let o be (3 - 2)*(-6 - -26). Solve o = 2*t + 2*t for t.
5
Suppose -s + r + 12 = s, 3*s + 4*r - 7 = 0. Solve -7*d = s*d - 36 for d.
3
Let n be (3/(-6))/((-5)/85)*2. Solve 0 = -5*r + n - 12 for r.
1
Let q(z) = -z - 3. Let o be q(-7). Suppose o*d - 1 = 7. Solve -6*b = -d*b for b.
0
Let g be 9*((6/(-2) - -6) + -4). Let m(y) be the second derivative of y**4/12 + 7*y**3/6 - y**2 + 2*y. Let x be m(g). Solve 0*i = 4*i + x for i.
-4
Suppose 0 = 2*x + 3*r - 357, 6*x - 9*x = -3*r - 558. Solve -x*l + 179*l = -12 for l.
3
Let c = -628 - -628. Solve c = 14*f + 12*f for f.
0
Let s = 323 - 295. Let q(f) = -f**3 + 6*f**2 + 1. Let m be q(5). Let w = s - m. Solve -w*z + 2 = 10 for z.
-4
Suppose -7 = 5*y - 22. Solve y*z - 4 = -z for z.
1
Let r(n) = n**2 - 2*n - 3. Let a be r(4). Suppose 2*k = 3*d - 215, a*d + 5*k - 72 = 328. Let t be (-10)/d - 302/(-15). Solve -m + t = -5*m for m.
-5
Let q be (-10)/(-6*(-10)/(-120)). Solve 8*j + q = -4 for j.
-3
Let l(v) = -7*v**3 - 2*v - 1. Suppose 12 = 4*y + 3*u + 1, 0 = 2*u - 10. Let q be l(y). Solve a = -a + q for a.
4
Let o be (-148)/(-28) - (-2)/(-7). Let x be (-28)/(-10) + 1/o. Let i be 87/6 + 1 - (-2)/4. Solve -x*a + i = -7*a for a.
-4
Let n be 6/(1 + 1) + 10. Suppose -4*d = z - n, -7*d + 2*z = -2*d - 13. Suppose d*v - 7 = 8. Solve 0 = v*u - 15 for u.
3
Let b = -28 - -88. Suppose 19*s - b = 4*s. Solve s*t + 3 = -1 for t.
-1
Suppose -6 = -2*g - 0*d - d, 5*d = 0. Suppose 9 = u - 5*q + g, 4*q = 0. Let l(w) = -2*w - 4. Let a be l(-4). Solve 4 = -u*n + a*n for n.
-2
Let c be 16/24 - (-56)/6. Suppose 0 = o + 4*k + 12, 5*k = -2*o - c - 14. Let g = o + 15. Solve 8 = -b + g*b for b.
4
Suppose 0 = 5*p + 30 - 80. Suppose 4*y + 10 + p = -3*s, -4*y - 20 = 4*s. Solve -4*g + 2*g + 6 = s for g.
3
Let q = -75 - -24. Let f = -42 - q. Solve f = 2*p + 3 for p.
3
Suppose -5 - 15 = i - 5*w, 30 = 4*i + 2*w. Suppose -3*d + 5*z + 13 + 8 = 0, -3*z = i*d - 1. Solve f - d + 0 = 0 for f.
2
Let l = -5 + 9. Let s be (21/9)/((-7)/(-126)). Let q = 54 - s. Solve 0 = -l*j - q for j.
-3
Let b be 2/29 - (-3120)/174. Solve b*u = 8*u for u.
0
Let b = -6 + 11. Let f = b - 3. Let j = -3010 + 3013. Solve -f*a + 5*a + j = 0 for a.
-1
Suppose -2*k + 10 + 2 = 2*h, 2*h + k - 17 = 0. Solve 0*q + 22 = -h*q for q.
-2
Suppose -5*a + b = -20, 2*a = a - b - 2. Let y(i) = -16*i + 100. Let f be y(6). Solve s = a*s - f for s.
2
Suppose -5*j + 21 = -49. Let n = j - 13. Let q be ((-2 - -1) + 1)*n. Solve 5*l - 3 - 2 = q for l.
1
Suppose 34 = 8*n - 110. Solve -10*f = n + 22 for f.
-4
Let h be (66/(-11))/((-1)/2). Suppose k - 35 + 5 = -5*r, -2*r = -3*k - h. Solve 0 = -3*c - 0*c - r for c.
-2
Suppose 5*r - 52 = -9*c + 6*c, 4*c = 16. Solve r*j + 5 = 21 for j.
2
Suppose u + 2 = -3*l, 0 = -2*l - 3*u - 2*u + 16. Let m be 2/(8/(-6))*l. Let z be (7 + 1)*m/6. Solve 14 = -5*v + z for v.
-2
Suppose 332*l - 16 = 328*l. Suppose -2*z = -s - 0*s - 6, 4*s - 31 = -3*z. Let o(i) = -i**2 + 5*i + 6. Let h be o(6). Solve -l*u + s - 16 = h for u.
-3
Let f = 175 - 170. Solve -2*y + f - 9 = 0 for y.
-2
Suppose 2*m + 4*b = 22, -b = 4*b - 15. Suppose -2*k = 5*l - 18, 0*k - 14 = -m*l - k. Solve i = l*i + 1 for i.
-1
Suppose -4*a - 4*o + 32 = 0, a = -2*o + 4 - 0. Solve -3*g + a = g for g.
3
Let z be 3/(-27) + (-31240)/(-90). Solve 4*c + 343 = z for c.
1
Suppose -139*d + 127*d = -84. Let r be (2 + 5)/((-1)/(-1)). Let c = r - d. Solve m + c - 1 = 0 for m.
1
Let u(o) = o**2 + 33*o - 39. Let x be u(-35). Solve -32*z = -x*z - 3 for z.
3
Suppose -2*i = -0*i - 12. Let w(m) = -110*m + m**2 + 104*m + 2 + 1. Let t be w(i). Solve 11 + 4 = -t*g for g.
-5
Suppose w = -2*w + 21. Suppose 0 = h + 5 - w. Suppose -4*c + 3*v - 6 = 0, -c - 2 = -2*c - v. Solve c = -h*m - 1 - 3 for m.
-2
Let g = 437 + -421. Solve 21*r = 17*r + g for r.
4
Let s be ((-18)/(-15))/(301/70 - 4). Solve s*b - 259 + 275 = 0 for b.
-4
Suppose 0 = -5*y - 20, 5*x = -15*y + 12*y + 83. Solve -9*g - 10*g - x = 0 for g.
-1
Let m be 1/3 + 4/(-3). Let v be (-7 - -8)/(m/3). Let l be v + 1 + 1 + 1. Solve l = 3*n + 2*n - 20 for n.
4
Let u(j) = -j + 5*j**2 + 0*j**3 - j**3 + 4 + 2. Let b be u(5). Solve 0 = -2*z - b - 3 for z.
-2
Let z be (25/15)/((-462)/(-216) + -2). Solve 0 = -30*g + 33*g - z for g.
4
Let q = 8 - 6. Let d(h) = -h**3 - h**2 + 5*h - 3. Let c be d(-4). Let i be ((-10)/c)/(q/(-20)). Solve -4*y = -i - 0 for y.
1
Suppose 5*t = 2*g + 4*t - 10, 0 = g - 3*t - 15. Solve 6 - 15 = g*s for s.
-3
Let u(w) = 5*w**2 + 9*w + 4. Let q be u(-1). Solve -4*k - 2*k + 18 = q for k.
3
Suppose -113 = -2*n - 39. Suppose -4*t = 2*o - 46, o = -5*t + n + 13. Suppose 3*i + 42 = t*i. Solve 0 = 3*d - 22 + i for d.
5
Let j be 3/(-6 + 4 + 3). Suppose 4*v - d - 1 = 0, 0*v = v - 3*d - j. Solve -4*w + 9*w = v for w.
0
Suppose 138 + 78 = 12*i. Solve -i + 20 = -2*j for j.
-1
Suppose 0 = 239*r - 224*r. Solve r*t + 4 = -4*t for t.
-1
Suppose 4*u + 286 = 326. Let z(t) be the second derivative of t**4/12 - 11*t**3/6 + 13*t**2/2 - t. Let j be z(u). Solve l - 1 = j for l.
4
Suppose 20 - 71 = -4*h - 3*p, -4*p + 33 = 3*h. Let m be ((h/6)/1)/((-1)/(-2)). Solve -2 = 3*w - m*w for w.
1
Let x = -36 + 21. Let b(j) be the second derivative of j**4/12 + 8*j**3/3 + 11*j**2 + 27*j. Let u be b(x). Solve -3*n + 19 = u for n.
4
Let y(z) = z**3 - 6*z**2 - 7 + 22 - 8*z + z**2. Let i be y(6). Let r(m) = -m**3 + 5*m**2 - 2*m - 4. Let o be r(4). Solve 0 = -i*j + 2*j + o for j.
4
Let x = 64 - 18. Suppose 0 = 5*m - 4*v - 71, 4*m - 5*v = 9 + x. Let q be (-2)/6 - (-65)/m. Solve s - 9 = -q for s.
5
Suppose -6*g = -5*h - g - 20, h + 10 = -2*g. Let b be -2 - 15/(3 + h). Solve 6 = -n + b for n.
-3
Let a = -378 - -380. Solve -9*n = a + 7 for n.
-1
Let t(a) = 4*a - 6. Let n be t(-2). Let h = -7 - n. Solve -4*j - h = 5 for j.
-3
Suppose -90 = -2*i + 7*i. Let b = 23 + i. Solve 5*r = -0 + b for r.
1
Let z(p) = p**2 - 4*p + 5. Let n be z(3). Let o be n/(-8) - (-85)/20. Let g be 2 - (-8)/(6 - 2). Solve 12 - g = -o*k for k.
-2
Let o = 576 + -551. Solve o = 6*g - g for g.
5
Suppose -21 = -3*j - 5*m, 0*j - 4*m + 22 = 5*j. Solve -j*n = -0*n + 2*n for n.
0
Let b = 16 + -1. Let f = 17 - b. Solve 2*g + f - 6 = 0 for g.
2
Suppose f + 123 = 125. Solve -16 = -f*s - 22 for s.
-3
Suppose d - 4*x = -10, 3*x - 7 = -4*d + 10. Let k(i) = -4*i - 13 - i**2 + 9 - 9*i - i**2. Let g be k(-6). Solve g*r + 4 = -d for r.
-3
Suppose -m - 4*g + 19 = 0, -38 = -4*m - 3*g - 1. Let w be 2/m - 124/(-7). Solve -5*f + w = -7 for f.
5
Suppose 405 = 13*c + 32*c. Solve 12 = 13*d - c*d for d.
3
Let s(k) = 5*k + 9. Suppose -10*w + 12*w + 14 = 0. Let t(y) = -3*y - 4. Let h(v) = w*t(v) - 4*s(v). Let b be h(9). Solve -7 - b = -4*m for m.
2
Let x = -1 - 5. Let n be 2 + (3 - x/(1 + -3)). Solve -5 = -n*z + 3 for z.
4
Let u be 9*-5 - (-17)/(-17). Let y = 46 + u. Solve y = -4*g - 0*g - 12 for g.
-3
Suppose 21*z - 36 = 17*z + 2*h, -9 = -z - 2*h. Solve 24*r - 21*r - z = 0 for r.
3
Let y = 5 - 5. Suppose 2*h - 86 = -y*h. Let u be h/15 - 18/(-135). Solve -2*v = -u*v - 2 for v.
-2
Let s be (1 - 8) + (9 - -2). Solve -6*o - s + 34 = 0 for o.
5
Let n(o) = -o - 20. Let