a + 15 for a.
-5
Let v(t) = -2*t**2 - 28*t - 39. Let m be v(-12). Let w be (24/(-10))/((-6)/20). Suppose 9*f - w = 5*f. Solve f*z = -z + m for z.
3
Let p(j) = -4*j + 2. Let b be p(-5). Let k = b - 16. Suppose -124 = -k*u + 2*u. Solve 5*a - u + 6 = 0 for a.
5
Let r(n) = -3 - 12*n + 346 + 2*n - 9*n + 0*n. Let w be r(18). Solve -10*o + w = -11*o for o.
-1
Let b(t) = -t**2 - 13*t + 13. Let i be b(0). Suppose -3*d + 48 = i*d. Solve -d*p + 9 = -3 for p.
4
Let u be (-2792)/(-13262) + (-34)/(-19). Let y = 2 - -1. Suppose -2*s + 3*t = 10, -5*t + 23 = 4*s - s. Solve u = -y*o - s for o.
-1
Suppose 0 = 12*i - 3 - 57. Suppose i*d + 4*b = 6*b + 56, -3*d = -2*b - 32. Solve -2*g - d = 2*g for g.
-3
Let l(w) = -w**2 + 3*w + 60. Let a be l(-6). Suppose 0 = 5*f + 25, 3*y + 4*f + 32 = a*y. Solve 0 = t - y*t + 3 for t.
1
Suppose -1242 = 20*p - 38*p. Suppose 40*z - p = 11. Solve -z*o - 7 - 3 = 0 for o.
-5
Suppose -9 = -3*b, 36*g + 11 = 41*g - 3*b. Solve -44*j - g = -45*j for j.
4
Suppose 0 = 10*o - 12*o. Suppose o = -a, 0*l - 4*a = 3*l. Suppose -14*s + 19*s - 10 = l. Solve -3 = -n - s*n for n.
1
Let z be (144/2)/6 + (-36)/4. Solve -5*i + z = 18 for i.
-3
Suppose 0 = -352*i + 347*i + 5*q + 1775, 3*i + 3*q = 1095. Solve i = 11*s - 71*s for s.
-6
Let r(i) = -i - 17. Let o be r(-20). Suppose 6 = -2*d - 2, o*c - 88 = 4*d. Solve -4*q = 2*q - c for q.
4
Let x(d) = -3*d**2 + 2*d - 2. Let f be x(3). Let u = 267 - 243. Let n = f + u. Solve -p + 3 = n for p.
2
Let t = -146 + -8. Let j be (-6)/(-39) + t/(-13). Suppose -5*i + 7 = 4*q - 8, 4*i - j = 5*q. Solve -i*x = -x + 2 for x.
-1
Suppose -2*r = -2*l - 545 + 451, -4*l + 88 = 2*r. Solve 42 + r = -22*v for v.
-4
Let p(g) = 3*g**2 + 19*g + 33. Let d be p(-8). Suppose 70*w + 15 = d*w + x, -7 = -w - x. Solve -8*o - 12 = -w*o for o.
-3
Suppose 3*k - 42 = -18*k. Suppose c = -2*f + 20, c - k*f - 20 = -5*f. Solve -2*w + c = -6*w for w.
-5
Suppose 11 = 4*q + 3. Suppose -4*u + 8*s + 104 = 3*s, 0 = -s. Suppose u = q*f - 6. Solve z + f = 5*z for z.
4
Suppose 8 = -3*x + 3*d - 4, -2*d + 8 = 0. Suppose j + x*j = 7. Solve 4*m + j = -5 for m.
-3
Let v(t) = -2*t**2 + 6*t + 3. Let y be v(0). Let d be -1*12/(-3 - y). Solve 0 = -0*q + d*q for q.
0
Let a be ((-3)/2)/(5/(-20) - 0). Let y be 2/19 + a/(-57). Solve 0*u - 2*u = y for u.
0
Let m = 219 + -192. Let r(a) = -a - 3. Let f be r(-5). Solve 0 = 5*j - m + f for j.
5
Let f(n) = n. Let q(a) = 8*a - 26. Let p(v) = 5*f(v) - q(v). Let k be p(8). Suppose -4*m + 12 = 0, -2*y + 3*y = -k*m + 7. Solve 0 = w - 1 - y for w.
2
Suppose 2*i - 2*r - 220 = 0, -r - 268 = -2*i - 53. Solve -56*d + i = -175 for d.
5
Suppose -2*c - 3*a = -0*c + 3, 0 = 4*c + a + 11. Let k be (-10 - 2)/c - (-12 - -11). Solve k*y = 4*y for y.
0
Let p(a) = 4*a + 222. Let s be p(-48). Solve -3 = -s*u + 27 for u.
1
Let r be (-44)/(-704)*-20 - (-2 + (-3090)/8). Solve -r = 6*f - 369 for f.
-3
Let q = -277 - -266. Let k be (-7 - q) + (-2)/2. Solve -2*a = k*a + 20 for a.
-4
Let z(b) = -92*b + 3353. Let i be z(36). Solve i*v - 26 - 15 = 0 for v.
1
Let j(y) = -y**2 - 8*y - 5. Let g be j(-5). Suppose 0 = 3*x - 4*u + g - 2, 4*u - 8 = 0. Solve a - 5 = -x*a for a.
5
Suppose -40*z + 50 = -35*z. Let q be (z/4)/((-2)/(-4)). Solve 0 = -q*j + 5 + 15 for j.
4
Let c = 92 - 468. Let m = c + 378. Solve 5*d - 3*d = -m for d.
-1
Let r be (16 + -12)*(-1 - 0). Let d be 0/(-4 - (9/(-1) - r)). Solve d = -0*k - k + 5 for k.
5
Let o be (-1676)/(-22) - ((-4410)/495)/(-49). Solve -o + 68 = 4*z for z.
-2
Let r(a) = -a**3 + 19*a**2 - 19*a + 23. Suppose 16*s = -0*s + 288. Let c be r(s). Solve 0 = c*w - 7*w + 4 for w.
2
Suppose 75*p - 2 = 74*p. Suppose -1 = 2*d + n - 0, -d = -5*n - 27. Suppose -5*z + 5*l - 1 = -16, -p*z = 2*l - d. Solve -5*c - z - 3 = 0 for c.
-1
Let g be (-14)/(-21) - -4 - (-6)/(-9). Let p(w) = -5 + 0 + 7*w - 1. Let l be p(g). Solve 4*v - 10 + l = 0 for v.
-3
Let l = -10516 - -10592. Solve 12*n + 8 = -l for n.
-7
Suppose 349 = 15*m + 248 - 334. Solve z + 25 - m = 0 for z.
4
Let p(i) = -i**2 + 17*i - 15. Let h be p(16). Let g be ((-16)/(-12))/(h/3). Suppose -2*c + g*c - 5*c = 0. Solve -2*w - 5 - 5 = c for w.
-5
Let h be (12/18)/(97/24 - 4). Let o be 6*(h/12)/((-6)/(-9)). Solve 28 + o = -10*u for u.
-4
Suppose 5*h - 5*u = 10, -4*h - u = u - 20. Suppose -51*s - 3476 = -3884. Solve -h = -d - s for d.
-4
Suppose -l = 4*g + 23, -4*g + 5*l - 32 = -3*g. Let x(s) = 4*s + 34. Let p be x(g). Suppose 4*u + 3*u = p*u. Solve -2*c - 5 - 5 = u for c.
-5
Let y be (2 - 1599/26)/(2*2/(-8)). Solve y*v = 143*v + 192 for v.
-8
Let l(d) = d**3 - 21*d**2 + 38*d - 47. Let q be l(19). Let i be (1 + 6/(-8))/(q/(-376)). Solve i*u + 5 = 9 for u.
2
Suppose -2*o - 5*b = -41 + 1, 5*o + b = 100. Let r(i) = i**2 + 6*i + 5. Let q be r(-6). Solve q*y = 9*y - o for y.
5
Suppose 0 = -g - 3*g + 88. Let p = -21215 + 21217. Solve -5*j - p = -g for j.
4
Suppose -151 = -53*k + 245 - 78. Solve 0 = -k*o - 19 + 61 for o.
7
Let f(p) = -24*p**2 + 1081*p + 30. Let i be f(45). Solve i*a - 94*a + 95 = 0 for a.
5
Suppose 0 = -3*q + 12*q - 45. Let l be (-2)/((92/69)/(20/(-6))). Solve 0 + q = -l*v for v.
-1
Let s = -27 - -52. Suppose 8*y - s = -1. Solve y*l - 22 = -10 for l.
4
Suppose 4*k = 2*p - 8, 17 = -2*p + k + 19. Solve y - 12*y - 11 = p for y.
-1
Let f be (11 + 266/(-19))/((-1)/54). Solve -f - 18 = -45*w for w.
4
Let w = -1 - -1. Solve 5*q - 7*q - 4 = w for q.
-2
Suppose 5*l - 4 - 8 = y, -5*y + 27 = 4*l. Let h be -89 - -1 - (2 - -3). Let t = h - -93. Solve x - y*x - 8 = t for x.
-4
Suppose 0 = 132*n + 73*n + 198*n - 7254. Solve -n*y + 41 = 23 for y.
1
Let s = -17974 - -18114. Solve -s = -64*x - 588 for x.
-7
Let c = 45 + -17. Let d = -8 + c. Suppose 10 = -5*i + 2*h, 0*h + 4*h - d = 0. Solve i = -4*b + 4 - 16 for b.
-3
Let w = 6950 - 6860. Solve w = -33*g - 9 for g.
-3
Let l = 5050 - 4959. Solve 0 = 46*g + l + 47 for g.
-3
Suppose -5 = -3*y - 2, 353 = r - y. Let b be r/18 - (-2)/6. Solve 6*x - b = x for x.
4
Let p = -140 + 145. Suppose 3*q + 26 = 8*q + 3*l, l - 22 = -p*q. Solve q*c + 1 = -3 for c.
-1
Let v(h) = h**2 - 13*h + 5. Let m be v(15). Suppose -m*o = -30*o - 20. Let y(x) = -14*x**3 - 2*x**2 - 2*x - 1. Let i be y(-1). Solve -o*d - i = 3 for d.
-4
Let w be (-12)/228 - 22824/(-456). Solve -9*d = -w + 5 for d.
5
Suppose j = -w + 2, 0*w - w - 7 = 4*j. Suppose 55 = -w*r + 100. Solve -r = 3*t - 3 for t.
-2
Let w be (3/2)/(1/4). Suppose 5*m = -3*s + 20, -4*s = 6*m - 4*m - 22. Suppose -s*g = -2*g + 5*d - 25, 0 = 3*g - 4*d - 7. Solve w*i = i + g for i.
1
Let d = -6054 + 6063. Solve 17*y + 77 - d = 0 for y.
-4
Suppose -72*o - 55*o + 7735 = -42*o. Solve -o*t + 120 = -71*t for t.
6
Let t(l) = 5*l**2 - 12*l + 11. Let k be t(1). Suppose 2*d - 24 = -k*z, -4*z + d + 29 = 17. Solve z*j = j for j.
0
Let j(z) = -2*z + 5. Let q be j(3). Let d be -4 - 0 - -2 - q. Let r be 32/6 - d - (-11)/(-33). Solve -c = c - r for c.
3
Let j be (-2272)/426*(-1 + 5/2). Let g be (18/24)/((-2)/j) - -5. Solve -g*q - 8 + 0 = 0 for q.
-1
Let z(u) = -u**3 + 7*u**2 + u - 7. Let f be z(7). Suppose f = -m - 20 + 24. Suppose 2 + 14 = m*t. Solve 0 = -t*h + 5 + 11 for h.
4
Suppose 31*r + 36 = 29*r. Let j(c) = -2*c - 32. Let u be j(r). Solve s + u*s = 20 for s.
4
Let h be (15/(-6))/5*-106. Suppose -h*f - 8 = -55*f. Solve -4*p + 8 - f = 0 for p.
1
Let y(h) = -h**3 - 12*h**2 + 12*h - 11. Let k be y(-13). Suppose 3*v - j = 64, k*j - 4*j = 8. Solve -2*u - v = 2*u for u.
-5
Let j = 1441 + -1421. Suppose -4*p + 5 + 3 = -s, -5*s = -p - 36. Solve -j = s*h - 12*h for h.
5
Let l(v) = 25*v + 29. Let i be l(-1). Let o be 0/((-3)/((-1 - 2) + i)). Solve 5*n + n + 18 = o for n.
-3
Suppose -4415 = -4*i - 3*l, 3*i - 46*l = -42*l + 3305. Solve -2*p + i = 1111 for p.
-4
Suppose -17*w - 36*w + 32172 = -11*w. Solve 758*x = w*x for x.
0
Let g(c) be the second derivative of c**5/20 - c**4/4 - 14*c**3/3 - 2*c + 15. Let b be g(7). Solve -4 = -4*o - b for o.
1
Let o = -21332 + 21420. Solve o*t + 78 = 75*t for t.
-6
Let b be ((-645)/(-30))/((-4)/(-24)) - 16/(-4). Solve b = 52*h - 231 for h.
7
Let j(b) = -b**3 - 7*b**2 - 12*b + 2. Let m be j(-5). Solve m*w + 31 = -17 for w.
-4
Let g = -64 + -203. Let d = g + 271. Solve 2*x = d*x + 6 for x.
-3
Let k(z) = z**2 - 5*z - 10. Let x be k(7). Suppose -5*r + x = -3*r, -a + 18 = r. Suppose -3*p - 9 = 0, -3*o + 2 = -4*p - a. Sol