/180 + -1/45. Which is bigger: 3 or u?
3
Let n be (-88)/14 + (-6)/(-21). Let l be -1 + (4 - (3 + 1)). Which is bigger: l or n?
l
Let r = -2 + -10. Let t = -9 - r. Which is bigger: t or 0?
t
Let i(t) = -t**2 - 7*t + 5. Let w be i(-8). Let n(b) = -b**2 - 3*b - 4. Let a be n(w). Let h be (-1)/((-2)/a) - -4. Which is smaller: 1 or h?
1
Let y = 17437/206 + 88/103. Let u = y + -83. Let c(l) = l**2 - l - 3. Let i be c(3). Is u at least i?
False
Let u(m) = m**3 + 10*m**2 + 9*m - 3. Let g be u(-9). Is -3 < g?
False
Let r = 22 + -22. Suppose 2*h - 3 + 1 = r. Which is smaller: 6/13 or h?
6/13
Suppose -20*y = -16*y + 8. Suppose 2*c + 50 = 6*c - 2*s, -2*c + 3*s = -31. Suppose c = -5*k + 1. Are k and y nonequal?
False
Let j = 4 + -3. Let l(b) = -b**2 + 3*b - 1. Let w be l(j). Which is bigger: w or 0?
w
Let v(l) = l**3 + 4*l**2 - 7*l + 2. Let c be v(-5). Let z be 13/c - (-3)/(-9). Which is greater: 1 or z?
1
Let z be ((-3)/81)/(9/(-12)). Let i = 13/81 - z. Let b = 0 - 1. Is i > b?
True
Let f(z) be the second derivative of z**4/12 + z**3/3 - 3*z**2/2 + z. Let x be f(-3). Which is bigger: x or -2/13?
x
Let w be 1*(27/3)/1. Suppose -w = -4*v + v. Which is smaller: 5 or v?
v
Let x = 4 - 4. Which is greater: x or 5?
5
Suppose -2*l - 3*l = 15. Let i be (-40)/12*l/2. Suppose t + i = -4*t. Is t at most as big as 0?
True
Suppose 2*t - 1 = -4*j + 11, 5*j = 10. Let f be 2 + (-1 - t)/1. Let z be 12/18 + (-32)/30. Which is greater: z or f?
z
Let q = -1 + 0.8. Let b = -27 - -26.8. Are b and q non-equal?
False
Suppose 5*h - 14 = -44. Let n(q) = q**2 - q + 5*q + 4*q - 8 - 4*q. Let b be n(h). Is b < 4?
False
Let o be (0 + 1)/(-3) - -1. Let c(h) = -h + 1. Let g be c(3). Let y be g/3*9/(-24). Which is smaller: y or o?
y
Let b = -10 - -1. Let x be (-6)/b - (-1)/3. Let l be (1/(-6))/(40/72). Is x greater than l?
True
Let h = 3/124 - 877/372. Are 2/9 and h equal?
False
Let m be ((-67)/(-14) - 5)/((-2)/8). Which is smaller: 0 or m?
0
Let f be (0 + 4)/((-2)/8). Which is smaller: f or -17?
-17
Let g = 0.106 - -8.794. Let j = -9 + g. Which is greater: -2/19 or j?
j
Let y(u) = -u**2 - 1 - 4 - 1 - 6*u. Let i(w) = -2*w**3 + 4*w**2 - 3*w + 1. Let z be i(2). Let a be y(z). Which is greater: 0 or a?
0
Let y(q) = -2*q**3 - 16*q**2 - 2*q - 16. Let c be y(-8). Is 1/3 bigger than c?
True
Let z be 0/(-4) + (10 - 1). Let g be 6/(-8)*(-8)/z. Let o(b) = b**2 - b. Let f be o(2). Which is bigger: f or g?
f
Suppose p = -s + 7, -p = -3*s + 5 - 0. Suppose -4*l - s*i + 2*i = 5, i + 5 = l. Is l greater than or equal to -4/9?
True
Let b = -59 + 58. Is 0.02 at most as big as b?
False
Let k = 629/832 + -9/64. Is k equal to 1?
False
Let o be 6/(-16)*2/(-3). Let v = 10 + -12. Is o <= v?
False
Suppose 9*r - 5*r = -24. Is -6 at least as big as r?
True
Let s(u) = 7*u - 1. Let k be s(1). Let o = k - 4. Suppose -6 + 0 = -o*y. Is y at least as big as 3?
True
Let c = 0.063 - 0.023. Which is bigger: 0.3 or c?
0.3
Let g be 6/8*(-31 + 7). Let l be 4/g - (-47)/9. Suppose 12 = -l*h - 3. Is h less than or equal to -2?
True
Let z = 10 + -10. Let v(f) = -f**2 - 6*f + 5. Let i be v(-7). Let q be (3/i)/(5/(-2)). Is q equal to z?
False
Let y = -14769/68 + 865/4. Which is smaller: -2 or y?
-2
Let x = 185 - 2032/11. Which is smaller: -1 or x?
-1
Let y = -53 - -54. Is -3/10 smaller than y?
True
Suppose 5 = 2*j - 5. Suppose j*y - 7 = -2*u, -4*y + 0*u = -u - 3. Suppose -d + 4 = -5*d. Are d and y equal?
False
Let d(h) = -2*h - 9. Let n(g) = -g - 4. Let w(s) = 2*d(s) - 5*n(s). Let c be w(-2). Let v be 2/4 - (-6)/(-9). Is v > c?
False
Suppose -2*f + 6 = 0, -3*b + 2*f - 15 = -0*b. Let d be 1 - (b - (-18)/4). Do 1 and d have different values?
True
Let q = -16 - -16. Suppose q = 5*u - 2*n - 2*n - 10, 0 = -5*u - 5*n + 10. Is 2/3 less than or equal to u?
True
Let z(b) be the third derivative of -b**6/120 - b**5/20 + 5*b**4/24 + b**3/3 + b**2. Let s be z(-4). Let f be 16/(-20)*1/s. Do f and -1 have the same value?
False
Suppose -3*s - 3*g + 21 = g, -5*s - 5*g = -30. Let d be s*(2 - (-6)/(-9)). Suppose 16 = -d*f - 5*h, -2*f - 5*h - 6 = -3*h. Which is smaller: f or 1/5?
1/5
Suppose 3*x - 13 = z + 3*z, 3*z + 18 = 5*x. Suppose g = -4*d - 11, -4*g - d = 2*d + 5. Let c be g/(11/5 - 2). Which is smaller: c or x?
x
Suppose 1 = 4*m - 3*m. Which is bigger: m or -1/10?
m
Let m be (68/(-11))/(-2) + -3. Which is greater: m or 0?
m
Let o = -157 + 1095/7. Is -6 greater than o?
False
Let i = 7 + -6.99. Are -1 and i nonequal?
True
Let j(o) be the third derivative of -o**5/60 - o**4/24 + o**3/2 + 2*o**2. Let w be j(-3). Which is greater: w or -4?
w
Let i = 9.13 - 0.13. Let s = 9 - i. Do 5/2 and s have the same value?
False
Let b be (1 - 3) + (-2 - -3). Let q be (1/1*1)/b. Let h = -41 - -203/5. Are h and q non-equal?
True
Let r = 4055/6 - 679. Which is smaller: r or -3?
r
Let f be 1/(3*(-3)/(-81)). Let r(q) = -q + 7. Let v be r(f). Which is bigger: v or -3?
v
Let n be 48/26 + (-8)/(-52). Is 1/3 greater than n?
False
Let p = -9.11 + 0.11. Let g = p + 5. Let t = g - -2. Do t and 1/2 have different values?
True
Suppose -3*i = -3, 6*v - 4*i + 34 = 3*v. Is 5/6 <= v?
False
Suppose -1 = -h + 4*w, -5*w = -2*h + 2 - 3. Let i(g) = -g**3 - 4*g**2 - 5*g - 3. Let m be i(h). Which is greater: m or 0?
m
Let h(s) = -s**2 - 5*s + 3. Let m be 1/(2*2/(-20)). Let j be h(m). Which is greater: 1 or j?
j
Let v(o) = o**2 - 6*o + 6. Let q be v(7). Is 13 less than q?
False
Let t(i) = i**3 + i**2 + 3. Let w be t(-2). Which is smaller: w or -4/13?
w
Let l = 29 - 22. Is l at most 10?
True
Let z be (-7)/4 + 3/(-12). Let k = 7 - 8. Is k < z?
False
Let x = -6.162 - 0.138. Let h = 6 + x. Let q = -4 + 4. Which is smaller: q or h?
h
Let i = 4 + -4.1. Do -1/9 and i have the same value?
False
Let g(v) = -3 + 5*v + 3 - 6*v. Let c be g(-7). Is 7 <= c?
True
Let s = -30.2 - -30. Which is smaller: 1/3 or s?
s
Let d = 0.191 + -0.231. Is d bigger than -5?
True
Suppose 0 = 2*r + 2*r. Let v be (-1 - -3) + (-218)/84. Let a = 2/21 + v. Is r != a?
True
Suppose 2*w = 3*w + 6. Let h be w/(-9) - (-4)/(-6). Which is smaller: 10 or h?
h
Let m(c) = c**3 + 3*c**2 + c - 2. Let w be m(-3). Let o = 16 + w. Let n be 2/11 + (-46)/o. Which is smaller: -3 or n?
n
Let z be (8 - -4)/((-6)/(-4)). Suppose -h = 3*h - z. Which is bigger: 0 or h?
h
Let z = -16 + 16. Let n be 1/(-6) - 1/2. Do n and z have the same value?
False
Let c be ((-2)/4)/(6/12). Let d = 4 + c. Suppose -2*h - d*h = -5. Is 1 greater than or equal to h?
True
Let t be 4/(-3) + 748/(-33). Which is bigger: -25 or t?
t
Let n be 384/182 - (-3 - -4). Let v = n + -7/13. Which is bigger: 1 or v?
1
Let p(z) be the third derivative of z**4/6 - 3*z**2. Let o be p(1). Do o and 4 have the same value?
True
Let q = 246 + -399. Let h = q + 1069/7. Are h and 1 equal?
False
Let f = 5.9 - -3.1. Which is smaller: 7 or f?
7
Let y = -1/1293 - -15541/32325. Which is smaller: y or 0?
0
Let n = -53 + 94. Which is smaller: n or 40?
40
Let d = -179/5 - -36. Is -1 bigger than d?
False
Let t = 15 + -17. Let i = 5.1 - 7. Let r = i - t. Which is smaller: -2 or r?
-2
Let n be (12/(-5))/((-6)/(-20)). Let y be -2 - 36/136*n. Which is greater: y or -2/3?
y
Suppose 3*w + 15 - 51 = 0. Let y be ((-4)/5)/(1/(-5)). Suppose -5*d + 6 = -2*m, w = 2*d - 6*d - y*m. Is -2 less than d?
True
Let a = -0.26 - -0.36. Which is bigger: -0.16 or a?
a
Let s = 1295 + -5029/4. Let u = 38 - s. Let a be ((-1)/2)/((-1)/2). Is u at least a?
False
Let d = -4176 - -12641/3. Let s = d + -38. Are s and 0.1 equal?
False
Suppose 22*g = 15*g - 350. Is -49 at least g?
True
Let a be (-1 + 2/4)*-2. Which is bigger: a or 3?
3
Suppose 0 = -5*i + 15 + 5, 5*v + 5*i - 35 = 0. Suppose v*m + 2*a - 24 = -0*a, 5*m - 5*a - 15 = 0. Are 4 and m equal?
False
Let y(r) = r - 8. Let a be y(0). Is a >= -7?
False
Let l = -16.2 + 0.2. Let n = l - -11. Let x = n - -5. Are 0 and x equal?
True
Suppose 0 = -3*o - 1 - 17. Let b(r) = r**2 + 6*r - 8. Let s be b(o). Which is bigger: s or -9?
s
Suppose 0 = -6*t - 1 + 19. Suppose 0 = -4*l - 4*r + r + 2, t*l = -2*r + 2. Which is smaller: 12/5 or l?
l
Let t = 43 - 480/11. Let c = 2/55 + t. Let v = -3 - -2. Is c at most v?
False
Suppose -s + 1 = 4*u + 5, 5*u + 5 = 0. Let h = 3 + s. Let o = 4 + -2. Which is smaller: o or h?
o
Let p(z) = z**2 + 4*z + 1. Let d be p(-4). Let k be -3*d*2/(-14). Which is small