h = 3*j - 17 + 2 for j.
5
Let m(a) = 3*a**2 - 29*a + 25. Let p = -39 - -51. Let t be m(p). Let v = 113 - t. Solve -v = 2*k - 0*k for k.
-2
Let b be 35*12/180*-3. Let h(k) = -6*k**2 - 12*k - 20. Let u(s) = s**2 - s + 1. Let g(x) = -h(x) - 4*u(x). Let r be g(b). Solve r*j - 2 = -0 for j.
1
Let y be 8/10 + 4277/235. Solve y*x + 87 = 48*x for x.
3
Let c be (-85)/34*6/(-15) - -31. Solve 0 = -13*b + c*b + 133 for b.
-7
Suppose b = 13 - 15, v + 2*b = 12. Suppose 21*h = v*h. Solve 2*x = -h*x - 8 for x.
-4
Suppose z + 56*w - 59*w - 1537 = 0, 0 = -2*z - 2*w + 3058. Solve -1587 = 14*n - z for n.
-4
Suppose -3*t - 4380 = -63*t. Let l(h) = 2*h**2 - h - 1. Let y be l(-6). Let j = y - t. Solve -3*c - j = -2*c for c.
-4
Let o = 64 - 62. Suppose 0 = o*f - 3*f + 1. Suppose -4*x + 11 = -f. Solve -x*z + 0*z = 9 for z.
-3
Let o be (3 + ((-64)/18 - 0))*-9. Suppose 2*h = -6, -13*f + o*h + 31 = -11*f. Solve f*q + 13 + 11 = 0 for q.
-3
Suppose -5*v + 5*v = 21*v. Solve v = -10*f + 58 + 12 for f.
7
Let n be 32/20*(-3 - 11/(-2)). Suppose -3*m + 2*m = -3*g, -4*m - n*g = 32. Let d be (8/3)/(m/(-9)). Solve -2*w + 2 = d for w.
-1
Let x(v) = 1 - 12511*v**2 + 12511*v**2 + v + 13*v**3. Let j be x(1). Solve 4*n - j = 7*n for n.
-5
Let w be (-744)/(-152) + -5 - (12548/(-76) + -2). Solve 10*t = 137 - w for t.
-3
Suppose -13424*v + 13449*v = 3200. Solve v*f - 83*f = 405 for f.
9
Suppose 5*w - 165 = 5*s, -5*s = 16 - 41. Solve -54*r - 48 = -w*r for r.
-3
Suppose -208 = -2*l + 4*q, -2*l - 2*q = 3*l - 580. Solve -l*x = -109*x for x.
0
Let z = 11283 + -10818. Solve 0 = -451*n + z*n - 98 for n.
7
Let o = -594 + -245. Let w = -836 - o. Solve 11*c - w*c = 0 for c.
0
Let l(k) = 5*k + 19. Let h be l(-5). Let i be (h + 1)*-1*(-4)/(-4). Suppose -5*x + 13 = -2*x + 2*v, 0 = i*x + 4*v - 23. Solve 0 - x = 3*f for f.
-1
Let g(u) = 4*u + 40. Let r(x) = -5*x - 56. Let h(a) = -3*g(a) - 2*r(a). Suppose s + 0 = -7. Let f be h(s). Solve -f*z = -z for z.
0
Let d be (16539/(-814) - (-2)/(-11))*(-5 - -3). Solve 0 = -d*p + 49*p + 24 for p.
-3
Suppose 0 = 14*a - 38 - 225 - 157. Solve -77*l - a = -72*l for l.
-6
Suppose -2*d - w - 27 = 0, -3*d - 4*w - 38 = -3*w. Let q be 3 + d/4 + (-30)/(-8). Solve 2 = -q*g + 10 for g.
2
Let d be ((-6570)/60)/(3/(-4)). Let n be 4/(-18) + -3*d/(-27). Solve 4 = 3*a + n for a.
-4
Let x(j) = 26 - 2*j**3 + 42 + j**3 - 5*j**2 - 3*j - 57. Let k be x(-3). Solve -k - 14 = -8*p for p.
2
Let h = -6 + 8. Let z be (h + -7)/(1/(-2)). Let t = -4630 + 4634. Solve -t*d + z = d for d.
2
Let n be (-8 - 2)*-3*4/24. Suppose -3*t - 15 = 0, 4*d - 305 = n*t - 4*t. Solve 78*j = d*j for j.
0
Let d = 66 - 63. Let k be d/(3/(-4))*159/12. Let m = k - -58. Solve -3*g - 2*g - m = 0 for g.
-1
Let z = 3089 + -3087. Solve z*x - 193 = -183 for x.
5
Let t(f) = f**2 - 3*f - 2. Let s be t(4). Let n(u) = 25*u. Let a be n(-4). Let y be 5*5/(a/(-32)). Solve y = 6*c - s*c for c.
2
Let r = 19751 + -19739. Solve -r*o = 451 - 511 for o.
5
Suppose -5*t = -7*h + 12*h - 360, 5*h - 156 = -2*t. Suppose 92 = 6*w + t. Solve w*x - 25 = 9*x for x.
-5
Let g = 10287 - 10287. Solve g = -24*h + 356 - 404 for h.
-2
Let r be (2 + 0)*((-5325)/10)/(-15). Suppose -70*o + r*o = 7. Solve 4*m - o*m + 15 = 0 for m.
5
Let y be 2043/45 - 2/((-30)/9). Solve -y*s + 190 = -8*s for s.
5
Let n(b) = b**3 - 74*b**2 - 68*b - 475. Let f be n(75). Solve f - 105 = 11*c for c.
-5
Suppose -35 = -5*i - 3*v, 4*i - 5*v = 5 - 14. Suppose 15*f - i = 17*f. Let b be 4 - (2/f - -1). Solve b*l - 4 = 6*l for l.
-2
Let o(q) = -28*q + 9. Let a be o(0). Suppose -3*u + 0*u - a = 0, -4*y = 2*u - 2. Solve -5*n + y = -8 for n.
2
Suppose 16 = g + 4*w, 2*g - w - 28 = 31. Suppose 63*l + g = 67*l. Solve 3*z - l = -22 for z.
-5
Let o(k) = k**3 - 4*k**2 + k + 9. Suppose 102 = -2*a + 108. Let z be o(a). Solve -z*g = -g for g.
0
Let v = -167 + 172. Let i be 0 + 4/(v + -4). Solve i*b - b = 12 for b.
4
Let o(q) = q**3 + 6*q**2 + 4*q + 7. Let i be o(-5). Suppose -62*f - 2 = -63*f. Let h be (-3 + (-126)/(-12))*f/3. Solve -h*x + 3 = -i for x.
3
Let k(i) = 6*i + 199. Let z be k(-32). Suppose -76 = -2*y + 5*m, 0 = 4*y + z*m - 10*m - 124. Solve 0 = -6*d - 2 - y for d.
-5
Let z be (0 + -1)*0 + 5 + -5. Let m be 36/6*(1 - z). Suppose m*s = 32 - 8. Solve -s*w + 7*w = 0 for w.
0
Let y(t) = t**3 - 14*t**2 - 34*t + 27. Let c be y(16). Let g be (-4)/3*(c + 4/8). Solve -5*q + g = q for q.
1
Let o be (29 - -26)*15/25. Solve o - 93 = -12*m for m.
5
Let v = -6 - -59. Let t = v - 46. Let n = t + -6. Solve r + n - 2 = 0 for r.
1
Let j = -5881 - -5885. Solve j*z = 16*z for z.
0
Let a = 347 + -334. Suppose -a*s + 18*s - 3 = -z, 5*s + 29 = 3*z. Solve -7*v = -z*v for v.
0
Suppose -3*m + g + 12 = 0, -56 = 3*m - 2*g - 65. Solve -m*q - 51 = -31 for q.
-4
Let t(c) = c**2 + 5*c + 5. Let s be t(-2). Let m = 0 + s. Let l be (5 - 7) + m + 3. Solve -5*x + 2*x + 9 = l for x.
3
Suppose 0 = t + 3*x + 7, 2*t - x + 4*x = 1. Suppose 0 = 5*v + t*b - 13*b - 30, -3*b = 12. Solve -1 = f + v for f.
-3
Let v be 1/(-2) - (-5481)/174. Solve -v*q = -12*q + 114 for q.
-6
Let m(b) = b**3 - 44*b**2 + 42*b + 45. Let y be m(43). Suppose 0 = y*q - 268 + 260. Solve 3*d = q*d - 2 for d.
2
Let m(p) = -p**3 + 19*p**2 + 12*p + 41. Let h be m(18). Solve -h = -k - 586 for k.
-5
Let x = -40 - -44. Suppose s = x - 9. Let c be (-98)/s - (-12)/30. Solve -c = 8*g - 3*g for g.
-4
Suppose 0*i + 265 = 5*i. Suppose -46*z + i*z - 329 = 0. Solve 0 = -z*v + 52*v - 10 for v.
2
Suppose -24*b + 219 = 3*u - 27*b, 0 = 2*u + 5*b - 125. Solve 22 = 23*i - u for i.
4
Suppose 36*g - 338 = 238. Solve -g = 17*i - 84 for i.
4
Let s = 1880 - 1872. Solve -s*o - 164 + 148 = 0 for o.
-2
Suppose 7*v + 4*v + 4070 = 0. Let s be (-4 - v/60) + 1/(-6). Solve -s*k + 7*k - 5 = 0 for k.
1
Let s = -11305 - -11317. Solve 14*c = 12*c - s for c.
-6
Suppose -307*g + 726 = -318*g. Let r be (-73 - g) + (6 - -1). Solve 0 = z - r*z - 3 for z.
3
Let n be 56/(-4) + 45 - -12. Solve -39*x + n = 4 for x.
1
Let f(g) = g + 19. Let j be f(-7). Suppose -5*m + j = -5*r - 3, -2*r - 4 = 0. Solve -m = 4*a - 13 for a.
3
Let m = 27 + -24. Suppose m = 5*x + 5*i - 7, 0 = -3*x - 4*i + 3. Let j(z) = -z**3 + 12*z**2 - 12*z + 27. Let w be j(11). Solve -w = o - x*o for o.
4
Let d = 3435 - 3218. Solve -2*v + d = 229 for v.
-6
Let g = 164 + -82. Suppose -g = -17*z + 3. Solve z*u + 3 = -12 for u.
-3
Suppose -2*k + 2*k + 295 = 5*k. Solve k*w - 181 = -4 for w.
3
Suppose -13 = 3*h + 4*l - 5, 9 = h - l. Suppose 0 = -h*q - q + 20. Suppose 2 - 6 = -q*a. Solve -y = -2*y - a for y.
-1
Let d be (-2 + -38)*(-3 - (-21)/15). Let c = 66 - d. Let b(s) = 3*s**2 - 5*s + 2. Let t be b(c). Solve 0 = -2*l + t*l - 10 for l.
5
Let n(g) = -31*g**2 - 68*g - 5. Let t be n(-2). Solve -6*z = z + t for z.
-1
Let a be 246*(-12)/(-144) - (-6)/(-12). Solve -a*u + 26*u = -6 for u.
-1
Let u be (-6)/165 - 18496/(-440). Solve 6*o + u - 48 = 0 for o.
1
Let p = 2 - -2. Let d(z) = -2*z - 2. Let y(a) = -a - 1. Let f(b) = 4*d(b) - 3*y(b). Let r be f(-2). Solve -r = -p*g + 15 for g.
5
Let d(l) = -4*l + 12. Let z be d(0). Let q be (z/10)/(2/15). Suppose u = -q*u. Solve u*p - 16 = -4*p for p.
4
Let l be (4/6)/(4/102). Let y = 112392 + -112373. Solve y = -g + l for g.
-2
Let w be -203 + 48 - 1*-4. Let t = w - -151. Solve 5*s + 3 + 22 = t for s.
-5
Let i be (0*(-2)/(-4))/(-1). Suppose i = -5*h + 2*c + c - 71, 0 = 5*h - 2*c + 74. Let t be (8/h)/(4/(-24)). Solve 4*o + 11 = t for o.
-2
Suppose -5*k - 4*p + 2293 = 0, -k - 78*p + 75*p + 474 = 0. Solve -13*v - 375 = -k for v.
6
Suppose 0 = 116*c - 107*c - 45. Let i(m) = 5*m**2 + 24*m + 40. Let v(f) = f**2 + 5*f + 8. Let w(l) = -2*i(l) + 11*v(l). Let o be w(-6). Solve c*j = o*j for j.
0
Let w = -141 + 158. Suppose -t + 33*t = w*t. Solve t = -23*s + 27*s - 12 for s.
3
Let p be 3 - (-1)/(-1) - -40. Let b be ((-3)/2)/(9/(-84)). Let a be 64/b - (-18)/p. Solve 3 = -d + a for d.
2
Let n(p) = p**2 + 20*p + 44. Let x be n(-13). Let r = -2 - 47. Let o = x - r. Solve o*a - 5 + 13 = 0 for a.
-4
Let j = 230 + -61. Suppose j = -y + 177. Solve -5*z + y = -3*z for z.
4
Suppose -53*h + 1283 = -1376 - 3701. Solve 112*k = 92*k - h for k.
-6
Suppose -96*r - 98*r + 11081 = -89023. Solve -2*w + 514 - r = 0 for w.
-1
Let l(t) = -2*t + 2 - 3*t**2 + 2*t + 0 + 17*t**3. Let q be l(1). Suppose 4*w - 8 = -4*z, 3*z - 3 - 1 = -2*w. Solve 