+ 6*u**2 + 3*u - u**3 - 6*u + 0*u. Let w be h(4). Suppose 0 = -3*y + 6*y - 45. Which is smaller: w or y?
y
Suppose 0 = -5*g - 2*q + 9, -28*q = -g - 31*q + 7. Which is smaller: g or 7/53?
7/53
Let d = 0.0357 + -0.1357. Is 3/7 != d?
True
Let h = 0.263 + -0.063. Let t(j) = -6*j**2 - 2*j - 1. Let y be t(-1). Which is smaller: y or h?
y
Let p(s) = -5*s + 16. Let n be p(-7). Let g = n - 53. Is -6 at most as big as g?
True
Let z = 199 + -135. Let g be ((-1)/(-2) + -1)/((-2)/z). Is 16 <= g?
True
Let m = -0.166 - -0.16. Let f = -23.006 - m. Suppose 4*z - 2*w = 10, 4*w = 5 - 17. Is f > z?
False
Suppose -6*d - 2 + 14 = 0. Suppose 8 = 4*m - 2*w - d*w, m - 18 = -3*w. Are 7 and m unequal?
True
Let x = -743 + 171. Is x <= -571?
True
Let h(p) = 6*p - 144. Let x be h(24). Is 7/20 at most x?
False
Let n be (-13)/(400/(-132) - -3). Let w be (n/26)/((-1)/(-2)). Is w less than or equal to 34?
True
Let g = 2.11 + -17.81. Let v = -2.7 - g. Let a = -9 + v. Which is greater: a or 0.2?
a
Let t = -331/62 + 26/31. Which is bigger: t or -6?
t
Let c = 10488029/25 - 419425. Let t = c + -96. Which is greater: 1 or t?
1
Let x be (-7268)/(-44) - (-10)/(-55). Are 166 and x equal?
False
Suppose -2*p + 26 = 5*n, -5*n + 11 = p - 3*n. Suppose -25 = 2*l - 7*l, 4*l = -p*w + 8. Which is smaller: w or 1?
w
Suppose 3*x - 1 = 5. Suppose 0 = u - x*u + 2. Let b = 7 + u. Is b at most as big as 9?
True
Let l be 132/341528*((-8)/(-6))/1. Which is greater: 1 or l?
1
Suppose -2*u - 4*g + 2*g - 2 = 0, 5*g + 12 = 2*u. Suppose -114 = -6*t - 30. Let n be (t/294)/((-1)/3). Which is smaller: u or n?
n
Let d = 1533.8 + -1534. Is 510 at least as big as d?
True
Let m(d) = d**3 + d - 139. Let u be m(0). Let g = 1805/13 + u. Suppose -8 = -3*b - 2*c, 4*b + c - 4 = b. Which is bigger: g or b?
b
Let n be 0 + 0 - 9/243*-6. Let z = 68/9 + -830/117. Which is bigger: z or n?
z
Suppose b = 3*n + 6, b - 5*n - 3 = -3*n. Let u = b + 5. Let c be (8/(-20))/(u/10). Is c < -2?
False
Let z = 56 + -24. Suppose h - 26 = 6. Are h and z non-equal?
False
Let o be (120/(-16))/15*-1. Suppose 2 = -x - 5. Let r be (4/(-10))/(x/(-5)). Which is smaller: o or r?
r
Let l = 2110 + -2079. Which is smaller: -13 or l?
-13
Let g = 374 + -298. Which is smaller: 77 or g?
g
Let m = 0.1 - 0.065. Let t = 6.035 - m. Is -0.6 <= t?
True
Let s be (-1 - (-2871)/2862)*-9. Which is bigger: 0 or s?
0
Let t(w) = 2*w - 3. Let p be t(9). Suppose -u + p = -0*c - 3*c, 0 = 5*u + c + 5. Let i = 756 + -5282/7. Which is smaller: u or i?
u
Let o = 37.21 + -12.91. Is o at most -2/9?
False
Let x = -0.0147 - -0.1147. Are x and 945 nonequal?
True
Suppose -23*r + 17*r = 0. Does r = 33/7?
False
Suppose -9 = -6*n + 9. Let z be 1/(n/12*8/94). Which is smaller: 48 or z?
z
Suppose 11 = 20*z + 31. Which is smaller: z or 3/134?
z
Let m(i) be the third derivative of i**5/20 - 13*i**4/24 + i**3/2 + 3*i**2. Let y be m(4). Which is smaller: y or 2/77?
y
Suppose -1543*c = -1547*c - 4. Is -3/92 at most c?
False
Let d be (-19)/((-228)/5448) + -9. Is 443 greater than d?
False
Let f be 6/99 + 2 - 2. Suppose q = -3*q + 20. Let w = q - 5. Which is smaller: f or w?
w
Suppose 3 = 2*b + 19. Suppose 5*y + 41 = -4*g + 15, 23 = -3*y + 5*g. Which is smaller: b or y?
b
Let t = 77.66 + -75.8. Which is smaller: t or 3?
t
Let k = 38 - 103. Let x = k - -70.07. Let j = x - 0.07. Which is smaller: -2 or j?
-2
Let i = 126 + -181. Let z = 56 + i. Which is smaller: -32 or z?
-32
Let t = 8 + -13. Let a = -9.12 - -9.42. Is a equal to t?
False
Let r = -2.4 + 0.4. Let x = 0.61 + -1.91. Which is smaller: x or r?
r
Let c = -19 + 35. Let s be 7*(-16)/(-504)*(-3)/(-2). Which is smaller: s or c?
s
Let o be 3/105*(29 + 0). Let n = o - 3/7. Let q = 3209 - 3209.1. Does n = q?
False
Let q be ((-18)/(-7))/((627/(-1330))/11). Which is smaller: -55 or q?
q
Let s = 507 - 505.9. Let p = -6 + 11. Suppose -2*a = p*z + 3*a, -4*z + 3*a = 7. Is s bigger than z?
True
Suppose -8*l + 2*r - 518 = -12*l, -143 = -l + 4*r. Which is greater: l or 132?
132
Suppose -5*x = 3*a + 82, -2*x - 4*a - 8 = -9*a. Let c be (-1 - -2)/(13 + x). Which is bigger: c or -1/14?
-1/14
Suppose -8 = -2*w - 5*q + 8, 0 = w - 3*q + 14. Let f = 2 + w. Let b be 5 + (-4)/8 - 4. Is b not equal to f?
True
Let g(n) = -5*n - 102. Let i be g(-19). Which is bigger: -12 or i?
i
Let z be (8/6)/(-4)*(-12)/1. Suppose -7*r + 22 = z*r. Is 13/5 bigger than r?
True
Let j = 1.08 - 0.08. Let p = -2.1 + 3.4. Let n = p - j. Which is bigger: 0.1 or n?
n
Let m = -192895 + 96061787/498. Let g = m - -1/83. Which is greater: 4 or g?
4
Let u be (-4)/(-30) + 128/390. Suppose 3 = g + 2*g. Is u at most g?
True
Suppose j = 4*t - 9, -3*t - 31*j + 30*j = 2. Let u(k) = k**2 - 2*k - 2. Let w be u(3). Are w and t equal?
True
Suppose -b - 4*b - 3*f = -25, f = 0. Suppose -6*l + l - 20 = b*z, -2*l = 10. Which is smaller: z or -1/134?
-1/134
Let j be (8/(-12))/(6/369). Is -43 equal to j?
False
Let j be (5 + 15)*6/5. Let c = 19 - j. Which is greater: -21/4 or c?
c
Suppose 2*l - 4*j = -6, 4*j = 4*l + 3 + 1. Which is smaller: l or 7/18?
7/18
Suppose 0 = 5*u + 28 + 2. Let t(p) = -p + 2. Let w be t(u). Let h = w + -6. Which is greater: h or 12/13?
h
Let l = -217 - -216. Is -5/16 <= l?
False
Let h(q) = -2*q**2 - 54*q + 45. Let x be h(-29). Do -71 and x have the same value?
True
Suppose -5*h + 25 = 0, -7*h + 10*h = -2*i - 7. Which is greater: -86/9 or i?
-86/9
Let o = 6224/567 - 230/21. Let q = -23/162 - o. Let x be (6/9)/(3 + (-28)/12). Which is greater: q or x?
x
Let x be (-23214)/(-53)*(-1)/2. Which is smaller: -1101/5 or x?
-1101/5
Let d(f) = -2*f**2 - 13*f - 3. Let l be d(-2). Which is bigger: l or 16?
16
Suppose -z - 1257 = s, 2*z + 1245 = -s - 2*z. Let t be (s/429)/((-826)/156). Let o = 4/413 - t. Which is greater: -2 or o?
o
Suppose -4*r - 41 = 103. Is r greater than or equal to -36?
True
Let b be 6/4*2/(-3). Let m(n) = 95*n + 576. Let i be m(-6). Do b and i have different values?
True
Let t be (4/(-412))/(1/2). Let j be ((-7)/((-84)/(-24)))/2. Is t > j?
True
Let h(v) = v**3 + 16*v**2 - 82*v - 20. Let o be h(-20). Which is greater: 21 or o?
21
Let d = -19 - -29. Let f = d + -10.2. Suppose -l + 3 = -2*r - 4, 0 = -2*l - 2*r - 4. Is l < f?
False
Let u = -53 + 45. Let c be 38/u - 20/(-4). Which is greater: c or -0.025?
c
Suppose 4*f + 45 = -5*c + 44, 0 = -5*f - 2*c + 3. Let u be (-24)/(-80)*(-8)/(-30). Is f greater than or equal to u?
True
Let g = -29.0537 + -0.0263. Let z = -0.0101 - -29.0101. Let n = g + z. Is n < 0?
True
Let o = 2105 + -2104.981. Which is smaller: -5 or o?
-5
Let u be 82/(-20) + (-30)/75. Let a = -17/4 - u. Do a and 16 have the same value?
False
Let m = 0.63 - 25.53. Let d = -0.009 + 25.009. Let h = m + d. Which is bigger: h or 0.3?
0.3
Let f = 38044/5 - 7642. Does -34 = f?
False
Suppose 0 = d + 5*d + 468. Is d greater than or equal to -78?
True
Let d = -231 + 175. Is 1 greater than d?
True
Let o = -71 - -47. Let g be (7/o)/((-2)/((-18)/3)). Are g and 0 equal?
False
Suppose 3*n = 4*n - 15. Suppose 0 = 3*l + 5*p - n, -9 + 0 = -3*p. Suppose q - 4*b - 9 = l, 0*q - 9 = -q - b. Are q and 8 equal?
False
Let y(l) be the third derivative of -7*l**4/24 + 7*l**3/3 - 20*l**2. Let g be y(2). Which is greater: g or -2/9?
g
Let q = 7701/70 + -110. Which is greater: q or 0?
q
Let r(m) = m**3 - 25*m**2 + 70*m - 32. Let z be r(22). Is 49 bigger than z?
False
Let r(k) = -5*k**2 + 2*k - 1. Let x be r(1). Let h be 3/(-9) + x/6. Suppose 3*m + 8 = -5*f - 2, 5*f - 4*m = -10. Which is smaller: f or h?
f
Let k = -1.3 + 2.5. Let s = k + -1.3. Let d be ((-2)/10)/(8/20). Are s and d equal?
False
Let r = -261 - -292. Is r < 31?
False
Let r be ((-7)/(-3) + -3)*(-15)/(-2075). Let q = 9982/4565 + r. Does 1 = q?
False
Let o = -3324/19 - -175. Let v = -16/57 - o. Suppose 6 = -18*a + 15*a. Which is bigger: v or a?
v
Let k be 319/14 + (-2)/7. Let b = 358/15 - 352/15. Is b greater than k?
False
Let a = 0.35 + -16.55. Let l = a + 16. Let h be (-9)/((-837)/(-6))*(-4 + 3). Which is greater: l or h?
h
Suppose -3*k + 3*g = -2*k - 8, 0 = 5*k + 2*g + 45. Suppose -5*q - 25 = 0, 4*q + 16 = -2*y + 2. Suppose y*c - 3 = -9. Is c at most k?
False
Let q(b) = 2*b**2 + 2*b - 4. Let v be q(-3). Suppose -5*w - 140 = -15. Let n be (2/w)/(v/30). Which is smaller: -1 or n?
-1
Let m = -5/501 - -63637/1002. Let y = m - 62. Let f = 