 0 for a.
0
Suppose 2*r - 8 = 0, -2*w - 43 - 23 = 5*r. Let b = w + -14. Let j = 57 + b. Solve h + 3*h + 12 = j for h.
-3
Let n(o) = o + 4. Let f(x) = 2*x + 7. Let z(p) = 6*f(p) - 10*n(p). Let i be z(-4). Let l be 55/20 - i/(-8). Solve l*v = 3*v + 2 for v.
-2
Let r = -60 + 85. Suppose 0 = -f - r*f + 234. Solve 2*s + 19 = f for s.
-5
Suppose -320*w = 17230 - 126350. Solve -38*u + 75 = w for u.
-7
Let z be 4*1*((-25)/50)/(-1). Solve z*p = 20 - 12 for p.
4
Let i(t) = 18 + 12*t - 4*t - 6*t. Let y be i(-9). Let l = -1490 + 1494. Solve -2*s - l + 8 = y for s.
2
Let m be 1 + 1 + 3 - 1. Suppose 15 = 70*j - 195. Suppose w - 8*q + 11*q + 15 = 0, 5*q = -j*w - 25. Solve -m*l + w + 8 = 0 for l.
2
Let t(o) = o**2 - 2*o + 2. Let d be t(3). Let k = -449 + 449. Suppose -12*q - 20*q = -k*q. Solve d*v = -q*v for v.
0
Let w(u) = 47*u**2 + 24*u - 127. Let p be w(3). Solve -20*b = 72*b - p for b.
4
Suppose -2 = -8*y + 7*y. Let v(o) = -10*o**y + 4*o**2 + 3*o + 0*o**2 + o**3 + 2*o**2. Let h be v(3). Solve 0 = -h*c - 5*c + 5 for c.
1
Let n(d) = 271*d**3 - 4*d**2 - 2*d + 1. Let b be n(-1). Let j = -269 - b. Solve 0 = j*w - 18 + 3 for w.
5
Let s be (-2)/(-7) + (-1410)/35. Let o be 7/(-7) + s/(-4). Solve 8*a + a + o = 0 for a.
-1
Suppose -4*f + 10 = -6. Suppose 1 = -l - f, -2*w + 3*l = -17. Solve 7 + w = 4*m for m.
2
Suppose -w + g + 0*g = 84, -5*w - g - 414 = 0. Let j = w - -50. Let x = j + 35. Solve z - x = 2*z for z.
-2
Let f(s) = -5*s**2 + 10*s + 7. Let t(i) = 4*i**2 - 11*i - 7. Let y(o) = 6*f(o) + 7*t(o). Let u be y(-10). Let j = 38 + u. Solve 3 = 2*l - j for l.
2
Let b(o) = o**3 + 24*o**2 - 143*o + 105. Let p be b(-29). Solve -9*h - 20 + p = 0 for h.
3
Let m = 26 - 56. Let y be 14 - (10/m)/((-1)/12). Solve 0*d - y = 5*d for d.
-2
Let a = 3813 + -3810. Solve a*x + 0 = -3 for x.
-1
Suppose 0 = 3*i + 4*f - 8, -2*i + 5*f + 13 = 0. Let q be ((-430)/(-40) - 9)*20/(1 - -4). Let w = 13 + -7. Solve q*p = i*p + w for p.
2
Suppose -90*b + 81 = -63*b. Solve -4*j = b*j - 21 for j.
3
Let k = 1355 + -1353. Solve 2*h = 3*h + k*h for h.
0
Let p be (-1681)/(-35) - 36/1260. Solve p = -40*a + 64*a for a.
2
Let p = -5426 + 5500. Solve 7*w + p = 32 for w.
-6
Let i(s) = 28*s - 51 + 54 - 67 - 72. Let j be i(5). Let y = 10 - 5. Solve -j = -3*c + y for c.
3
Let k(s) = 32*s**3 - 79*s**3 + 46*s**3 + 4*s**2 + 15*s - 42. Let q be k(3). Solve 0 = 8*b - 5*b - q for b.
4
Suppose -336 = 19*b - 22*b. Let k be (b/64)/(1*(-2)/(-8)). Suppose 0*w = -k*w. Solve w = -6*l + 3*l for l.
0
Suppose -7*g = -4*g - 15. Suppose -o + g*p + 26 - 3 = 0, 5*p = -15. Solve -3*l = l - o for l.
2
Let v(j) = -j**2 + 0 - 3*j + 4 - 4*j**3 - 2 - 5 + 1. Let g be v(-1). Solve -g + 0 = -4*r for r.
1
Let h be (610/(-6))/((-2)/6). Suppose -4*u + h = u. Let p = -59 + u. Solve -p*a = -3*a for a.
0
Let k(l) = 3*l**2 - 10*l + 18. Let x be k(3). Suppose -2 = 2*p - 3*g - 3, 3*g = x. Solve -3*i = -p + 14 for i.
-2
Suppose 14*p - 56 = -14*p. Suppose -5*k = -2 - 18, -p*k + 10 = j. Solve -3*g = -j - 10 for g.
4
Let c be -2*(-10)/(-3)*84/(-70). Suppose -12 = 6*g - c*g. Let k be (g/10)/((-30)/(-100)). Solve k*d = -2*d - 20 for d.
-5
Let q = 2930 - 2930. Solve 5*r - 20 + 50 = q for r.
-6
Let h be (-1)/(-3) - ((-300)/45)/(-20). Let z = 16 - 14. Solve z*f - 6*f + 16 = h for f.
4
Let w(v) = 8*v**3 - 49*v**2 + 11*v - 22. Let p be w(6). Solve p*d - 19*d = -66 for d.
6
Suppose -14*w + 1906 = -5318. Suppose -31*f - 51 = -w. Solve f = 11*y - 14*y for y.
-5
Suppose 3*x + 32 = 5*p, -2*x + 0 = -4*p + 24. Let v(j) = -8*j - 1. Suppose 0 = -2*m + 4*m + 4. Let q be v(m). Solve -p*c = -c - q for c.
5
Let v(m) = m**3 + 6*m**2 - 2*m - 2. Suppose 3*k = -2*h + 2*k - 17, 0 = -2*h + 2*k - 2. Let o be v(h). Solve o = 2*w + 18 for w.
-4
Let m(v) = -v**3 - 1. Let n be m(-1). Suppose -50 = -5*u - 5*r, -r + 12 = -19*u + 21*u. Solve n = -u*a - 2*a + 20 for a.
5
Let w(h) = 2*h**2 + 18*h + 26. Let t be w(-8). Solve 366 = t*x + 386 for x.
-2
Suppose 0 = 84*j - 82*j - 4*l - 2714, -j + 1356 = -3*l. Solve -1369*g + j*g = 20 for g.
-2
Suppose 4*s - 17*f = -22*f + 1, 2*s - 5*f - 53 = 0. Solve 39*y = -9 + s for y.
0
Let w(p) = -133*p - 1562. Let b be w(-12). Solve b*i + 186 = 3*i for i.
-6
Let i = 14271 - 14271. Solve i = 10*s - 23*s + 52 for s.
4
Let x = -443 + 470. Solve -9*w - x = 18*w for w.
-1
Suppose -4*w = 16, 2*w + 6 = -n - 1. Suppose -4*g - 3*l = -5*l + 616, -4*g - 5*l - 630 = 0. Let b = g + 158. Solve -n = 4*t - b*t for t.
-1
Let v(z) = z**3 + 8*z**2 + 15*z + 28. Let n be v(-6). Solve -n*w + 55 = 115 for w.
-6
Let j be 1*14 + 0/15. Let s = j + -6. Suppose -9 = -2*x - t, 0*x + 3*x + 2*t - 14 = 0. Solve s*p = 4*p - x for p.
-1
Suppose -26*w = -19*w - 182. Suppose -b = w*b. Solve 2*d + 4 = -b*d for d.
-2
Let w(h) = 4*h + 3. Let i(d) = -4*d - 2. Let j(b) = -4*i(b) - 5*w(b). Let s be j(0). Let y be 0 - -4 - (2 + s). Solve 3 = -4*v - y for v.
-3
Suppose 5*c - 21 = 2*u + 9, c - 6 = -4*u. Solve c*r - 8 = 2*r for r.
2
Suppose -239*v = -241*v - 5*l - 12, -3*v = 3*l. Let y(u) = u**2 - 5*u - 5. Let h be y(6). Solve -v*m = -h - 7 for m.
2
Suppose 81 = 5*t - 8*b + 7*b, 0 = 2*t + 3*b - 46. Solve t - 63 = -23*r for r.
2
Let s(w) = -617*w - 3037. Let l be s(-5). Solve -31*c + 43*c - l = 0 for c.
4
Let f(k) = k**3 + 28*k**2 + 40*k - 61. Let j be f(-26). Suppose 214 + j = 31*h. Solve 0*x + 3*x = -h for x.
-5
Let h = -4887 - -4951. Solve h = -10*q + 104 for q.
4
Let p(k) = -k**3 + 16*k**2 - 20*k + 16. Let z = -58 + 73. Let c be p(z). Let h = c + 69. Solve 0 = 4*t + t + h for t.
-2
Let m be (-60*1)/((-122)/244). Solve -m*p + 16 = -124*p for p.
-4
Let u(t) = 568*t - 46006. Let z be u(81). Let r be ((-2)/(-6))/(4/12). Let q be (r - 2) + -1 + 3. Solve z*p - q = 5 for p.
3
Let l(x) = -x + 48. Let i be l(27). Suppose n - 5*f = -i, -5*f + 33 = 3*n - n. Solve 0 = -n*k + 3*k for k.
0
Let d be ((-8286)/30 - (-3)/(-5))*(-355)/142. Solve d*s - 117 = 679*s for s.
9
Suppose h + 60 = 5*k - 4*h, 60 = 5*k - 2*h. Let a be ((6 + -3)*8)/((-2)/(-4)). Suppose -16*z = -4*z - a. Solve z = -4*l + k for l.
2
Suppose 6*s = -9 + 63. Let g be 5 + (3 - s) - (1 + -2). Let b(m) = m. Let i be b(5). Solve g = -6*p + i*p + 4 for p.
4
Let m(l) = -l + 13. Let h be m(11). Suppose -1 = 2*k + 3. Let z be k - (h - (2 - -5)). Solve u = -z*u + 20 for u.
5
Suppose 0 = -2*v - 10, -5*o + 65*v + 105 = 64*v. Solve -7*i - o = 3*i for i.
-2
Let m(k) = -2*k**3 - 106*k**2 - 487*k + 7. Let u be m(-5). Solve 45 = -27*c + u*c for c.
3
Suppose -24 = 4*b + 36. Suppose 13*j - 17*j - 3*s = 30, -24 = 3*j + 3*s. Let l be ((-20)/b)/((-1)/j). Solve k - l = -3*k for k.
2
Let g = 241 - 290. Let f = g + 52. Suppose -l - 3*l + 16 = 0. Solve 7*u - l = f*u for u.
1
Let j be 6 - -8 - -3*20/(-12). Suppose -j*w + 140 = -31. Solve w*r - 20 = 24*r for r.
-4
Suppose 0 = -9*o + 6*o - 288. Let z = o - -101. Suppose -9*b + 12 = -z*b. Solve 8 = w + b for w.
5
Let s(n) = 3*n**2 - 2. Let f be s(-2). Let u(o) = 2*o**3 + 2*o - 1. Let j be u(1). Suppose j*d = 10*p - 6*p, 3*p - 4*d = 0. Solve -2*b + p = -f for b.
5
Let b(n) = -n**2 - 8*n + 240. Let q be b(12). Solve q = 4*p - 20*p - 22*p for p.
0
Let m(x) = -2*x**2 - 49*x + 331. Let o be m(-29). Solve -5*r = o - 45 for r.
-5
Let r be -2*(12 - 10)*-2. Suppose -3*u + 7 = -2. Solve u*k - r = k for k.
4
Suppose 0 = 5*l - 0. Let k = -12 - -24. Let g be 2 + (-22)/k - 221/(-78). Solve -x - g*x - 4 = l for x.
-1
Let i(r) = 7*r**2 + 53*r + 85. Let t be i(-6). Solve o = -t*o - 60 for o.
-3
Suppose 0 = 108*j - 186*j + 624. Solve 26 = 6*h + j for h.
3
Let a be -4 + 4 - (-1 + -6). Let y = -217 + 225. Suppose -y*b = -a*b. Solve b = -k - 1 - 3 for k.
-4
Suppose g + 0 - 49 = 0. Suppose 4*z + 47 = 4*v - g, 75 = -4*z - 3*v. Let u = -11 - z. Solve 0 = 5*y - u - 10 for y.
4
Let m(b) = -b**2 - 3*b + 8. Let i be -8*(-2)/((-24)/6). Let u be m(i). Solve -u = -2*z - 12 for z.
-4
Let h be (-3)/(-6)*10/(-50)*0. Solve 6*s - 19 + 25 = h for s.
-1
Let a(c) = 19*c - 95. Let k be a(5). Let d be 116/290 - (k + 58/(-5)). Solve 11*v - 21 = d for v.
3
Suppose -11855 - 10123 = -37*v. Solve 0 = -11*n + 539 - v for n.
-5
Suppose 120*t - 2502 = -216*t - 81*t. Let w = 4 - 1. Solve -w*l + t = -l for l.
3
Suppose -2*x = -3 + 9. Let u be (2 + -2 + 4)*x/(-6). Let y be u + (2 - (3 + -5)). Solve y = -0*l - 3*l for l.
-2
Let p(u) = -2*u**3 + 33*u**2 + 23*u - 61. Let