 u be (-147)/((1 + 154)*(-28)/(-35)). Let t = -2/31 + u. Suppose 2*s = -5*d - 0*s - 25, -2*d - 11 = s. Which is smaller: d or t?
d
Let t = -19 - -20. Let f be (t/4)/(4/16). Let a be 2/(-15)*(-12)/(-16). Which is smaller: f or a?
a
Let m = 11.1 - -2.9. Let f = m + -13.96. Let l be (-3)/27*9/(-2). Are l and f nonequal?
True
Let k be (-13)/(13/440) - (-3 - 1). Let x = 3046/7 + k. Does x = -2?
False
Let o = -2.235 + 2.135. Which is bigger: -1369 or o?
o
Suppose 8*u + 5*x - 15 = 10*u, 4*x - 12 = 5*u. Which is smaller: u or 4/81?
u
Let m = -1.233 + 0.993. Which is bigger: 1/4 or m?
1/4
Let m = -0.018 - 4.982. Let i = -0.08 + -3.92. Let k = m - i. Which is smaller: -1/4 or k?
k
Let r = -3/79 - 4/1975. Let n(b) = -b**2 + 12*b + 12. Let x be (-3)/(6*-1)*26. Let y be n(x). Is y >= r?
False
Let s be -1*(-1 - -2)/5. Let w = 25 - 23. Suppose 4*q + 2 = w*q. Which is bigger: q or s?
s
Let k = 13.5 - 12. Let c = 1.3 + 0.1. Let o = k - c. Is 17 >= o?
True
Let q(t) = -t + 2. Let m be q(2). Let r be m/(2/3*3). Let u be (-9)/80*1320/(-396). Is u >= r?
True
Let r be 0 + -2 + (23 - 18). Let p be r*(-1)/(-3) + -4. Let k = -7 + 4. Is p not equal to k?
False
Let g = 571 + -470. Which is smaller: 1/5 or g?
1/5
Let a(x) = -3*x - 36. Let l be a(-18). Let w = 16 - 21. Let s = w - -6. Are l and s equal?
False
Suppose -5*o = g + 5, 0 = -4*o - g - 5. Let c be 1/((-1)/11) + o. Let s be 3 - (13 - (4 + -4)). Which is smaller: c or s?
c
Let c = -10 - -4.7. Let p = 1005/4 - 251. Is c >= p?
False
Let v = 1.9 + 0.3. Let w = 83 + -79.1. Let l = -4 + w. Is l < v?
True
Let m = 2388 + -236414/99. Which is bigger: m or -1?
m
Let i = 894 - 585. Which is smaller: i or 0.1?
0.1
Let t = 12 - 12.1. Let g = t + 0.05. Let i = -0.17 - g. Do i and 0 have different values?
True
Let b(c) be the first derivative of c**4/4 + 4*c**3/3 + 3*c**2/2 + c + 54. Let r be b(-3). Which is greater: 7/2 or r?
7/2
Let k = -32 - -39. Which is smaller: k or 11?
k
Suppose a - 30*a = -696. Is a smaller than 21?
False
Let j be -5*1*(1 - 213/15). Let l = j + -79. Which is smaller: l or -12?
l
Let b be 0*49/(-21)*(-1)/7. Let g be 8/130*(-15)/6. Is b >= g?
True
Let r = -1.5 + 0.3. Let n = -9.2 + 9. Let q = n - r. Which is bigger: q or 0.2?
q
Let d = 3819 - 133688/35. Let p = 5/14 + d. Suppose -5*g - c = 3, 4*g = 5*c + 10 + 5. Is p bigger than g?
False
Let c = 276.2 + -276. Is c at least as big as 1/4?
False
Let r = -3848 + 34805/9. Is 19 at least r?
False
Let o = -61.8405 + 0.0405. Let d = o + 63. Which is smaller: d or -1/4?
-1/4
Let q(h) = -2*h - 2. Let j be q(-1). Let y = 7 - 6.7. Let f = 0.2 - y. Is f >= j?
False
Let h be 3/((-21)/(-652)) + (-76)/532. Which is smaller: 88 or h?
88
Let a be 144/2 + -12 + 0 + 20. Which is bigger: a or 3/7?
a
Let x(w) = 7*w**2 - 20*w - 4. Let r(b) = 8*b**2 - 21*b - 3. Let c(d) = -6*r(d) + 7*x(d). Let q be c(15). Suppose 4*a = q*a. Are a and -9/7 equal?
False
Suppose -d + 0*d = -4*i + 2352, -5*i - 2*d + 2940 = 0. Let l be (-28)/56 - ((-1466)/i + 2). Is l equal to 1?
False
Let f = -2708 - -13592/5. Does 0 = f?
False
Let x = 8323/299 + -481/23. Which is smaller: x or 7?
x
Suppose -3*o + 15 = -0*o - 2*v, 2*v = 4*o - 20. Suppose o = -2*u + 1. Let g = u - -6. Which is smaller: g or 2?
2
Let w(m) = -m - 20. Let f(a) = 2*a - 8. Let s be f(5). Suppose 51 = -2*h + 5*i, -h + 4*h + s*i = -29. Let p be w(h). Which is smaller: p or -8?
-8
Let h(v) = 3*v**2 + 22*v + 32. Let m be h(-7). Suppose -29 = -6*o + m. Is 31/3 equal to o?
False
Let i = -0.31 - -0.44. Let s be 1/(-3)*3/(-4)*68. Suppose -m - 21 = 5*a, -4*m - 4*a - s - 3 = 0. Is i less than or equal to m?
False
Let l(i) = -8*i + 146. Let r be l(10). Which is greater: 64 or r?
r
Let y = -10 - -6. Let o be (-1)/(2 + (-20)/8). Suppose 0 = -o*a - 8 + 4. Is y > a?
False
Let v = 511 + -515. Is v smaller than -2.8?
True
Let w = 85 + -82. Let r be (4/312*w)/((-1)/(-3)). Is -2/3 less than r?
True
Let x be ((-1)/(-5))/((-3)/(-6)). Let o = 18 + -17. Let m be (-3)/o - 6/(-3). Which is smaller: x or m?
m
Let f(s) be the third derivative of s**4/8 + s**3/6 + 9*s**2. Let b be f(-1). Let z(o) = -o - 3. Let d be z(b). Which is greater: d or -3/13?
-3/13
Let r = -1 + -4. Suppose -3*m + 0*m - 15 = 0. Is m at least r?
True
Let y be 9/(693/(-14)) + 35538/286. Let b = 124 - y. Which is smaller: b or 1?
b
Let w be (-6)/(-1) - (0 + 35/5). Which is smaller: 1/210 or w?
w
Suppose -5*b + 4*u - 27 = 0, b - 3*u + 9 = -u. Let m be 15/b*(-4)/(-5). Let s be 2/(-9) - 123/54. Is s less than m?
False
Let g be (-112)/(-660) - 4/(-30). Is 1 less than g?
False
Let l be ((-4)/6*8/(-24))/1. Which is smaller: l or 3/16?
3/16
Suppose 0 = -h + 6*h + 55. Let l be 104/182 + (-813)/63. Which is smaller: l or h?
l
Let f(s) = s**2 - 9*s - 7. Let m be f(10). Suppose -m*q + 14 = 5. Let l be -1*q + (-247)/(-78). Is 0 < l?
True
Let j = -475 + 475.16. Which is smaller: j or 0.06?
0.06
Let o(f) = f**3 - 7*f**2 - 8*f - 3. Let n be o(8). Suppose v = -0*d + 4*d + 21, 0 = d - 5*v + 10. Which is smaller: d or n?
d
Let q(t) = 2*t**2 + 51*t + 31. Let n be q(-27). Is n greater than 112?
False
Let p = -3 - 16. Let m be 2*1 + p + 17. Is -3/13 < m?
True
Let t be (-320)/1086960*-7*(-3)/(-6). Is -0.1 at most t?
True
Let p = 16 - 9. Let l be (-2 - -1)/(p/(-28)). Let q(f) = f**3 - 6*f**2 - 6*f - 3. Let o be q(7). Are o and l unequal?
False
Suppose 5*n + 15 = 0, 5*k + 2*n = -0*k - 6. Which is greater: k or -1/261?
k
Let y = 0 - -0.1. Let h be (-27)/(-18)*(-3)/(9/4). Which is smaller: h or y?
h
Let c = 1/21522 - 1678759/925446. Is -1 >= c?
True
Let d be ((-84)/30)/((-9)/10). Let m be ((-248)/45)/((-112)/40). Let p = m - d. Does 0 = p?
False
Let g be 10/4 - 4/(-8). Suppose 0 = -0*l + l - t + 17, 0 = 4*l - g*t + 71. Let p = l - -19. Which is bigger: 2/67 or p?
2/67
Suppose 8*k + 38 = 14. Is -108/41 at most as big as k?
False
Let d(i) = -i**3 - 10*i**2 + 22*i + 5. Let x be d(-11). Are x and -117 nonequal?
True
Let v(m) = -6*m - 27. Let c be v(-8). Let b be c/5 - (-40)/(-10). Does -3/8 = b?
False
Let l(t) = 5 - 10 - 19 - 4*t. Let g be l(-7). Suppose 0 = g*o - 2*o - 4. Is 2 != o?
False
Let p(l) = -l**3 + 13*l**2 - 10*l - 2. Let g be p(12). Suppose -g + 4 = 3*c. Which is smaller: -5 or c?
c
Let w(s) = -s**3 - 28*s**2 - 55*s - 93. Let v be w(-26). Let z(l) = -5*l + 12. Let n be z(8). Let f = n - v. Is f != -11?
True
Suppose 2*s - 2 = 4. Suppose 0 = j + j + 352. Let h = 715/4 + j. Is h at most as big as s?
True
Suppose -3*z - 2*o = -o + 5, 4*z - 2 = 3*o. Is z > 1/299?
False
Let g be (-7)/2*140/(-49). Suppose 3*j = -2*t + 28, -2*t = -4*t + g. Suppose -j = -4*c + 2. Is 1 < c?
True
Let j = 274 - 266. Let u(s) = -8*s. Let k be u(-1). Is k greater than j?
False
Let g be (-1 - 3)*(-4)/(-48)*-3. Suppose -4 = -4*v, 5*c - g = 4*c + 4*v. Are c and 12 unequal?
True
Let m be (-58)/(-2)*3/9*-3. Which is smaller: -31 or m?
-31
Suppose -5*v + 25 = 0, 0*v - 33 = -2*y - 3*v. Let z be ((6/y)/2)/((-4)/(-12)). Are 4 and z non-equal?
True
Let w(g) = g**2 + 6*g - 14. Let n be w(-8). Let t(s) = s - 1. Let b be t(2). Let l be (0 - -2)*b/(-2). Is n less than l?
False
Suppose -3*x - 154 = -y, -158 = 7*x - 4*x - 2*y. Let k be 89*(-4)/7 - (-144)/(-1008). Which is smaller: x or k?
k
Let z = -20 + 5. Let m = z + 17. Let o = 179/315 - -2/63. Is o >= m?
False
Let x = -1027 - -1033. Which is greater: x or 84/13?
84/13
Let x(w) = -w**2 - 35*w - 264. Let o be x(-24). Which is greater: o or -2/1023?
o
Let a = 2.9 - -8.1. Let f = 10.72 - a. Let y = -0.48 - f. Which is greater: -1 or y?
y
Let y(i) = -i**2 + 1 + 8*i - 2*i - 7. Let w be y(5). Let l = 481 - 10103/21. Which is smaller: l or w?
w
Suppose 4*q = 5*q - 5*a - 1222, -2*q = 4*a - 2514. Is q at least as big as 1247?
True
Let d be ((-50)/(-6))/(35/(-140)). Is -34 smaller than d?
True
Let a(h) = -126*h + 2021. Let w be a(16). Let f(c) = -c**2 - c**2 + 2*c**3 + 1 + 6*c**3. Let b be f(1). Which is greater: b or w?
b
Let o = -1 + 0.5. Let u = 14.5 - o. Let i = u - 14.7. Is i smaller than 0?
False
Suppose -5*m - 7069 = 1716. Which is bigger: m or -1?
-1
Let o(u) = u**3 + 15*u**2 - u - 10. Let g be o(-15). Suppose -4 = -i, -2*i + i = g*y - 2449. Let x = -14183/29 + y. Are 1 and x unequal?
True
Let g be -1*726*1*-1. Which is greater: 727 or g?
727
Let v(f) = f**3 - 4*f**2 - 4*f + 1. Let t be v(5). Suppose 3*x