= g - -1157. Let r(c) = -c**3 - 3*c. Let n be r(0). Is n < j?
True
Suppose -3*h + 13 = -2*q, 9*h - 4*h - 19 = 2*q. Suppose 0 = -x + 3*y, -10 = 2*y + h*y. Which is smaller: -1 or x?
x
Let t(v) = -2*v - 122 + 33*v - 4*v - v**2 + 24. Let b be t(23). Which is smaller: -7 or b?
-7
Let q = -923 - -977. Let w = 12 + -77. Let l = q + w. Which is smaller: l or -9?
l
Suppose 3*b + 12 = 2*d, 3*d = -3*b - 9 - 18. Let g(t) = 7*t**2 + 9*t - 19. Let j(u) = -u**2 - u - 1. Let r(q) = -g(q) - 6*j(q). Let x be r(b). Is x > 9?
False
Let t = 886013/44 - 506369899/25146. Let w = 19/36 + t. Let s(i) = 2*i**2 + 2*i + 1. Let m be s(-1). Is w smaller than m?
True
Let g = 1699 - 1685.474. Which is greater: 1 or g?
g
Let u be (2063100/11784)/25 - (-1 - -8). Which is smaller: u or 2/7?
u
Suppose -4*k + 1678 = 2*l, 4*k + 0*l = -4*l + 1684. Suppose 3*z + k = 5*s, 4*z + s = 3*z - 134. Which is bigger: z or -135?
-135
Let r = 131/30 + 17/15. Let q be (4/(-2))/((-2)/(-4)). Let s(f) = -12*f - 42. Let k be s(q). Is r not equal to k?
True
Let o = -1349/225 - -268/45. Which is greater: 83 or o?
83
Let n be (2736/(-450) - (-2)/25) + 7. Is -17/251 < n?
True
Suppose 4*s + 4*q = -8, 4*q = 3*s - 6*s - 10. Suppose -5*a + 322 = s*i + i, -4*a + 214 = 2*i. Is 110 bigger than i?
True
Let i(d) = d**3 + d**2 - 6*d + 5. Let b be i(1). Let f = -13 + 18. Let l be 3/6*(5 - f). Which is bigger: b or l?
b
Let b be 8/(-8)*-8 - 9. Is b at least -5/16?
False
Let r = -16 + 19. Let o(b) be the third derivative of 7*b**4/12 - 3*b**3 + 20*b**2. Let g be o(r). Which is bigger: g or 22?
g
Let x = 11849.912 + -11793. Let h = -57 + x. Let c = 11.088 + h. Is c greater than 0.3?
True
Let z be -2 - 0*(-2 + 9/6). Let h be ((-5092)/(-201))/(z/(-6)). Is h less than 76?
False
Suppose -45*m = 219*m - 848496. Is 9638/3 > m?
False
Let k be ((-9)/(-2))/((-2)/12). Let o(p) = 47*p + 38. Let a be o(12). Let w be (0 + -6)/(129/a). Which is smaller: k or w?
w
Suppose 12*d = 11*d - 2. Let l(y) = y**2 - y - 2. Let r be l(d). Let f be 153/(-187) - r/22. Which is smaller: f or 1/15?
f
Let m = 181 + -179. Suppose 0 = m*g - 6*t + 4*t + 24, 2*g + 4 = -2*t. Which is smaller: 0.3 or g?
g
Let v = -605 - -928. Let i = -305 + v. Which is smaller: i or 6?
6
Let v(p) = -44*p**2 + 2249*p - 94. Let w be v(51). Which is greater: w or 166?
166
Let u = 1 - -1. Let r be ((-92)/115)/(u/(-220)). Let g = -89 + r. Is 1/38 equal to g?
False
Let i be 2/(12 + 6/(-63) + 1612/(-273)). Which is smaller: i or 460?
i
Suppose 5*s = -5*u - 15, 0 = -66*s + 67*s - 33*u - 99. Let x = 1081 - 823721/762. Which is smaller: x or s?
s
Suppose 0 = -o - 2*l + 5 + 10, 5*o - 67 = -2*l. Suppose 2*y = 5*b - 17, 0 = 3*b - 8*b + 3*y + o. Is b equal to 0.02?
False
Let a = -12 - 15. Let o be (42/6 - 15) + 926. Suppose 0 = -14*b - 20*b - o. Is b not equal to a?
False
Let d be (-606)/(-1616) + 14/(-16). Which is greater: d or 15.19?
15.19
Let k = 0.24 - -0.04. Let u be 1/8*-14*(1 - -7). Let d be u/(-6)*-1 - -2. Is d at most k?
True
Let x be 10*5*12/(-8). Let l = -85 - x. Let s(q) = -q**3 + 5*q**2 - 2*q - 1. Let h be s(5). Which is bigger: h or l?
l
Suppose -15*r - 28*r = -9*r + 19*r. Which is smaller: -2/10587 or r?
-2/10587
Let x = 118.904 - -0.096. Let n = -119.1 + x. Are 0.008 and n unequal?
True
Suppose 0 = -67*f + 52*f - 150. Which is smaller: 29 or f?
f
Let y = 16.716 + -392.716. Is 15/4 >= y?
True
Let d be 0 - ((-4)/162)/(-2). Suppose 0 = -11*h - 0*h + 462. Suppose 0 = h*o + 8*o - 12*o. Is o at most as big as d?
False
Suppose 2*s + 5 = -4*k + 3, -4*k = -s + 5. Let n(t) = 4*t - 6. Let j(d) = -5*d + 6. Let a(c) = -3*j(c) - 4*n(c). Let x be a(s). Which is greater: -4 or x?
x
Let v = -9456/12847 - 10/443. Which is bigger: v or -2?
v
Let w = -867.4 - -896. Let r = 29.6 - w. Which is smaller: r or 15.2?
r
Let b be (-16)/((-720)/(-2295)) - (-3)/(6/(-4)). Is -182 greater than b?
False
Let g = 91.853 + 0.147. Let c = g - 14. Let p = c + -73. Is 0.2 bigger than p?
False
Let b = 8.97339 + 0.02661. Which is greater: b or -99?
b
Let m = 4529.19 - 4537. Do m and 2 have different values?
True
Let l = -103013/334901581 + 3/38437. Let z = l - 331080/60991. Are -5 and z equal?
False
Suppose -p + l - 2*l = 0, 0 = -l + 1. Let n be (8/(-14))/(2560/140 + -2). Is n at least p?
True
Let s = 0.96 + -1.194. Let q = s - -0.234. Is q < 18?
True
Let g(o) = -5*o**2 + 74*o - 273. Let h be g(9). Is h equal to 6?
False
Let n be (130/(-572))/((-20)/(-16)). Which is smaller: n or 385?
n
Let g = -265 - -265.0202. Let h = g + -72.3202. Is h at most 0?
True
Let q = -292 + 294. Suppose -4*y + q*y = -4*m - 2, y = m. Is -8/19 bigger than m?
True
Let u be -294 + 140/21*6/(-8). Which is smaller: -599/2 or u?
-599/2
Suppose -3*q - 261 = -2*d, -20*q + 79 = -21*q - 2*d. Is q bigger than -88?
True
Let d(f) = -f**2 + 8*f - 6. Let q(z) = -z - 1. Let p be q(-8). Let h be d(p). Let x = -1982 - -49554/25. Is h at least x?
True
Suppose 4*i - i - 2 = 5*l, 5 = -5*l. Let v(c) = 2*c**2 + 4*c + 2. Let s be v(i). Let k = -19/23 + 317/161. Which is smaller: s or k?
s
Let c be (65/390)/((-3)/(-29196)). Which is greater: c or 1621?
c
Suppose 5*c + 491820 + 646920 = 0. Let m be (-4)/26 - c/(-1092). Let y = -207 - m. Is 2 greater than y?
True
Let q be (0 + 1)*(0 - 7/6195). Is q at most 0?
True
Let f be (21 + -2 + 7208/(-408))*-8. Let t = 0.1 - 0.1. Which is bigger: f or t?
t
Let r = -983 - -10797/11. Which is smaller: -2 or r?
-2
Let i = 87.56 - 0.56. Let x = -83.4 + i. Let t = -3.7 + x. Which is smaller: 1 or t?
t
Let f = 1.19 - -0.8. Let v = f - -0.41. Let a = 8.6 + v. Is a bigger than 0.1?
True
Suppose 16*l = 18*l + 56. Let o be (96/l)/6*-14. Suppose 7*x - o = -x. Is 5/8 greater than x?
False
Let i = 246 + -237. Let s be i/(-6)*26/(-195). Which is smaller: -45 or s?
-45
Suppose -3*i = 5*l + 282, -38*l + 42*l = i + 94. Let q(k) = 13*k**2 + 4*k + 2. Let d be q(-2). Let b be 4*(i/d - -2). Is b < -1?
False
Let a be (8/6)/(5/(-3)). Let k = -11050 - -11050.5. Is a > k?
False
Let o(h) = -h**2 - 3*h + 9. Let q be o(0). Suppose 0 = 9*w + q*w + 288. Is -11 bigger than w?
True
Suppose 0*r + 1 = r. Let y = -465 - -1040.5. Let p = -573 + y. Which is smaller: r or p?
r
Let y(j) = 29*j - 171. Let a be y(6). Suppose 0 = -a*n, 6*h - 3*h - 102 = -n. Which is greater: 37 or h?
37
Let v = -74.83 + 76.83. Which is greater: v or -21/80?
v
Let v = -1661513/43 + 38643. Is v >= 4?
False
Suppose -20*n - 34*n + 12*n + 13104 = 0. Which is bigger: n or 3438/11?
3438/11
Let h(u) = -u**3 - 12*u**2 + u - 11. Let o be h(-12). Let q(b) = -b**3 - 22*b**2 + 24*b + 21. Let g be q(o). Let k = 386/3 + -130. Which is bigger: g or k?
k
Suppose 5*y - 1 = 29. Suppose 0 = -2*r + y*r - 24. Suppose 29 = r*b - 37. Is b less than 12?
True
Let v be (-136)/342 + 1 + (-37 - -37). Let g = 3/19 - v. Is 0 equal to g?
False
Suppose -5*n = -4*n - 5*i + 14, -i = -4. Let w be 1*n - 28/70*-20. Is 88/7 < w?
True
Let s = -13947 + 13692. Suppose 0 = 5*w - 347 + 1627. Which is bigger: w or s?
s
Let z(j) = -4*j - 62. Let c = 90 - 106. Let i be z(c). Let h = 19.972 - -0.028. Which is smaller: h or i?
i
Let m be (-5)/(506/(-252) + 2). Suppose m = -2*f + 12*f. Let u = f + -46. Is u greater than or equal to 16?
True
Let a = -2.861 - 268.739. Let n = a - -272. Is n greater than or equal to -0.05?
True
Let i(h) = -h**3 + 14*h**2 + 16*h - 22. Let u be i(15). Let t = -46 - -30. Let k be t/u - (-18)/(-63). Which is bigger: k or -4?
k
Let i(l) be the third derivative of -l**5/15 - l**4/6 + l**3/3 + 10*l**2. Let u be i(3). Let g = -43 - u. Which is greater: g or 1?
g
Suppose 3*w + 18 = 0, 2*w + 890 = -h + 35. Is -4208/5 != h?
True
Suppose 9 = c + 2*o, 4*c + o - 8 = -0*o. Let j be c/((-1)/3) + 1 - -9. Let q be (j/(7/17))/(-1*1). Which is smaller: -16 or q?
q
Let i(f) = -7*f + 19401. Let y be i(0). Let w be (-4)/34 + y/1479. Which is greater: 16 or w?
16
Let b = 2823 - 2504. Is b at most 319?
True
Suppose -367*u - 29123 = -3*l - 365*u, 0 = 4*l - u - 38839. Is 9709 less than l?
True
Suppose -8*s + 228 = -2*s. Suppose 10 = -8*b - s. Let y = 6 - 10. Is y at most b?
False
Let j(a) = -4*a + 45. Let c be j(10). Suppose -4*g + 52 = o - 5*o, c*g + 43 = -o. Let k be (-10)/(-165)*(-4)/((-32)/o). Which is bigger: k or 0?
0
Let z be (-2*(-15)/860)/((-30)/40). Is 12/7 less than or equal to z?
False
Let b = 412 - 4