(-2). Which is smaller: 1/3 or u?
u
Let q = 96 + -118. Which is smaller: q or -21?
q
Let o = 0 - 1. Is o at most 2/9?
True
Let r = 21.013 - 0.013. Is r != -0.1?
True
Let y be 27/66 - (9/(-6) - -2). Is 1 greater than or equal to y?
True
Let y be 3 - 6 - (-17 - 1). Let x = y + -13. Is x > 3?
False
Let m = -0.89 + -5.01. Let b = -6 - m. Let z = -5/2 + 19/6. Which is smaller: z or b?
b
Let j = 129/4 - 32. Is j at least as big as 10?
False
Let c be -1 + 0/(0 + -1). Let i = -7 - -6. Do i and c have the same value?
True
Let r = 3 + -1. Let k(y) = y - 1. Let j be k(6). Suppose -4*u - r*v = -0*u + 34, -2*u - j*v = 37. Which is smaller: -5 or u?
u
Let m = -4 - -1. Let i = 3 + -6. Let z = i + 2. Are z and m unequal?
True
Let n be (16/6)/(4/(-12)). Is n at most -26/3?
False
Let j = 12 + -15. Which is greater: -1 or j?
-1
Let a = 17 - 13. Is 18/5 > a?
False
Let z(c) = -3*c**3 - 12*c + 14*c**2 - 9 - 2*c**3 + 3*c**3 + c**3. Let i be z(13). Which is greater: 3 or i?
i
Let d = -132.89 - -134. Let u = d - 0.11. Is u not equal to 0.07?
True
Suppose 2*k - 7 = -4*n - n, -n - 1 = 0. Suppose -7*y + 3*y - 12 = -2*f, -5*f - 2*y = k. Which is greater: f or -1?
f
Let c(l) = -7*l**2 - 7*l + 6. Let x be c(-6). Let v be (x/(-100) + -2)*-1. Which is smaller: 0 or v?
v
Suppose -2*p + 6 = 12. Which is smaller: 5 or p?
p
Let t = -30 - -89/3. Let g = 2.49 + -2.6. Let s = g + 0.21. Which is smaller: s or t?
t
Let x = -9 + 8. Let r be 4*(-2)/(-1 + -1). Suppose -c = -r*c. Are c and x nonequal?
True
Let i = -5/74 - -293/2146. Let o be (-4)/14 + 6/21. Which is bigger: i or o?
i
Let m = 0.14 + -0.06. Is 0 at least as big as m?
False
Let c = -0.54 + 0.24. Is c > -0.4?
True
Let t be (32 - 2)/((-8)/15). Let b = -56 - t. Are b and 1 unequal?
True
Let h(c) = -c**2 - 10*c - 21. Let g be h(-7). Which is greater: g or 6?
6
Let k(f) = 3*f - 10. Let d be k(9). Let n = -14 + d. Suppose 0 = -2*g - 2*g - 4*q + 24, -5*q + 26 = 3*g. Is n at most g?
False
Let z(f) = -f**2 - 13*f - 10. Let p(d) = -d**3 - 6*d**2 + 3*d + 6. Let y be p(-6). Let w be z(y). Are 2 and w equal?
True
Let m be (((-48)/(-14))/(-2))/((-5)/35). Which is smaller: m or 10?
10
Suppose m = -0*m - 3. Let t be -3*m/(-9)*-1. Is t bigger than 0?
True
Let u = -0.16 + 0.14. Let f = -6.02 - u. Which is smaller: f or -3?
f
Let b = 61/420 - 5/28. Is b greater than -1?
True
Let c be -4 - (-2)/(10/15). Which is bigger: -2 or c?
c
Suppose 0 = -2*c - 3 - 7. Let s be (-9)/c - (-3 + 5). Is -1 < s?
True
Let y be (-1 - 0) + -57*3/(-216). Is 1 <= y?
False
Let o(w) = -w - 8. Let x be o(-6). Let p be -2 - -4 - (-1 - x). Which is smaller: 2/7 or p?
2/7
Let q be (-2)/(2 - (-12)/(-7)). Let u = 5 + q. Is u smaller than -2?
False
Let o = 1262/273 - -4/91. Which is bigger: 5 or o?
5
Let z(y) = -368*y. Let r be z(-1). Suppose -2*w = 2*w - 4*u - r, -5*w - u = -448. Let n be 4/(-6) + 96/w. Is -0.2 less than n?
True
Suppose 4*t - 2 = -0*n - 2*n, -t + n + 5 = 0. Let m be (8/(-6) + 0)*(-54)/60. Which is smaller: m or t?
m
Suppose -b = -0*b - 2. Let c(o) = -6*o + b*o + o + 31*o**2 - 32*o**2. Let x be c(-3). Is x greater than or equal to 3/7?
False
Let m = 15 + -24. Let h(g) = 32*g + 24. Let l be h(-1). Which is smaller: m or l?
m
Let u(f) = f - 1. Suppose 4*m + 28 = -3*m. Let l be u(m). Are l and -3 equal?
False
Let f = -43 - -43. Let w(l) = l**2 - 5*l. Let u be w(5). Do f and u have different values?
False
Let f(w) = -w**2 + 7*w + 7. Let j be f(8). Let a be -3 - (2 + j)*0. Let h(y) = -y - 1. Let k be h(a). Is k <= 4/5?
False
Let q be 2 - (-159)/(-1290) - 2. Let h = -1/43 - q. Which is greater: 1 or h?
1
Suppose -s = -0 + 1. Suppose -3*o - 12 = 4*g, -6*g = -g - 5*o - 20. Suppose g = -3*x - 3. Does x = s?
True
Let n = 2146 + -203872/95. Let s = n + 8/19. Let c = 0.2 + -0.1. Which is bigger: s or c?
s
Suppose 3*r = -3*q - 81, 6*r + 2*q + 104 = 2*r. Let y be (2/(-5))/(35/r). Do -1 and y have the same value?
False
Let b = 0 + 0. Let n = -2 + -5. Let y(k) = -k - 7. Let r be y(n). Does r = b?
True
Let v(s) = s**2 - 4*s. Let a be v(4). Let x = -45 + 226/5. Is x < a?
False
Suppose 5*t - 24 = -4. Let l be ((-4)/8)/((-1)/6). Which is smaller: t or l?
l
Suppose 0 = -4*v + 3*v + 1. Which is smaller: v or 1/116?
1/116
Let p = 51 - 54.9. Which is greater: p or -0.1?
-0.1
Let q = 27/10 - 53/15. Which is greater: q or 0.1?
0.1
Suppose -a + 6*a - 40 = 0. Let z(l) = -5*l - 5*l - 8 + l + a*l**2 - l**3 + 3*l. Let n be z(7). Which is greater: n or -1/9?
-1/9
Let d(s) = s**2 + 6*s - 8. Let f be d(-8). Suppose z + 5*p = 18, 5 = -4*z - 3*p - f. Which is smaller: z or 1?
z
Suppose 0 = 5*t + 4*h - 7 - 54, -2*t + 5*h = -31. Do 14 and t have different values?
True
Let k = -9 - -10. Let x = 0.12 - -6.88. Which is smaller: k or x?
k
Let j be (-44)/(-30) - (-4)/(-6). Let z = -7/10 - j. Let l = 0.72 - 0.52. Is l at least as big as z?
True
Let m be -12*(16/(-132))/2. Is m less than 0?
False
Let k = -10 + 4. Let d be (-6)/(-8) - 51/36. Which is smaller: k or d?
k
Let j(n) = -n**2 + 4*n + 5. Let y be j(5). Which is smaller: 2/29 or y?
y
Suppose 3*j + 24 = 5*j. Suppose 5*d = v - 16, 2*d = -v + 6*v + j. Let h = v - -5. Does h = 2?
False
Suppose n - 3*x = -2*x - 7, -n - 2 = 4*x. Let f be n/9*9/8. Do f and 0 have the same value?
False
Let w = -98.9 - -98. Which is smaller: 10 or w?
w
Let q be 2/(4 - 2)*13. Let a = q + -8. Which is bigger: 4 or a?
a
Let w be (-2)/9*(-12)/(-2). Let q(o) = o - 5. Let d be q(7). Suppose d*m + 1 = m. Which is bigger: w or m?
m
Let z be 59/3 - (-5 - -3). Let d = 22 - z. Which is greater: 3 or d?
3
Suppose 9 + 18 = -3*w. Let k = -6 - w. Suppose j - 4*j = k. Is j <= -2?
False
Let a = -1895 + 968. Let x = a - -63037/68. Let z = x + 4/17. Is z >= 0?
True
Let u = -1 - -5. Let g = -4 + u. Is -1 at least as big as g?
False
Suppose -3*f - 2*f = -10. Suppose -2*b - f*b = -5*z + 165, b + z = -39. Let a be (-1)/(-3) + b/12. Which is smaller: a or -4?
-4
Let t be ((-2)/(-3) + -1)/(6/(-18)). Which is bigger: 3/59 or t?
t
Let i = 3.2 + -3. Is i at most -12?
False
Let f be (-9 + 12)*(-5)/(-3). Suppose 9 = -f*x - 21. Which is greater: -7 or x?
x
Suppose 20*f - 48 = 16*f. Is f less than or equal to 13?
True
Let s be ((-2)/(-6)*0)/(0 - 2). Which is smaller: 6/37 or s?
s
Let h = -664/1207 + 14/71. Which is bigger: h or 0?
0
Let m be -8*(-4)/32*-4. Which is smaller: m or -2?
m
Suppose -3*d + 3 = -3. Let c be d/(-5) + (-52)/20. Let i = 2 + -6. Is c less than i?
False
Let w(s) = -s**3 + 4*s**2 + 2*s - 6. Let c be w(4). Suppose l = -c - 1. Which is greater: l or -7/3?
-7/3
Let x = 6125/78 + -157/2. Are 1 and x unequal?
True
Let w = -6 - -6. Suppose -3*h - h = -60. Suppose -h = 5*n, -5 = -5*f + 5*n - w. Which is smaller: f or -3?
-3
Let l = -18 + 6. Let t be -1 - (-16)/l*3. Which is smaller: -3 or t?
t
Suppose -3*u - 27 = i + 5, i - 34 = 3*u. Is -11 greater than or equal to u?
True
Let g = 31 - 53. Let k = -6 - g. Let c be (-2)/8 - (-4)/k. Do c and 0 have different values?
False
Suppose -8*o + 4*o + 12 = 0. Suppose g - 3 = 0, -r + 5 + o = 5*g. Are -7 and r non-equal?
False
Let y(o) be the third derivative of o**6/360 + o**5/24 + o**4/8 - o**3/3 + 2*o**2. Let a(p) be the first derivative of y(p). Let d be a(-4). Is d < -3?
False
Let q = 13 + -15. Let j be q/4 + 2/4. Is j at most 2?
True
Let j = -8 + 5. Let m(v) = v**3 - 13*v**2 + 11*v + 8. Let n be m(12). Which is bigger: j or n?
j
Let j = 22.96 - 23. Which is bigger: j or -1?
j
Let n(o) = 2*o - o**2 - o - 7*o. Let g be n(-6). Suppose g*i + 2*i + 2 = 0. Which is greater: i or -1/2?
-1/2
Let q = -4 + 6. Let h = 1 - q. Is h smaller than 0?
True
Let t = -35/18 - -11341/5814. Do t and 0 have different values?
True
Let l(o) = -o + 8. Let v be l(-3). Is v < -1/3?
False
Let q(d) = -d**3 + 14*d**2 - 13*d + 1. Let x be q(13). Which is smaller: 2/25 or x?
2/25
Let h be (15/(-140))/((-3)/(-24)). Which is bigger: 0 or h?
0
Let a(l) = -l + 4. Let q(y) = -2*y + 9. Let c(d) = 5*a(d) - 3*q(d). Let s be c(6). Which is smaller: -2/7 or s?
s
Let a = -3 + 0. Let y = -3.2 - a. Let s = y - 0. Is 2 greater than s?
True
Suppose 5*l = 4*l - 2. Let m be 4/l + -6 + 9. Do m and -3/13 have the same value?
False
Suppose -2*r + 4*p = 32, -5*p = 4*r - 3*r + 37. Is -22 <= r?
True
Let c = 5.7 + -5.9. Is c at least 29?
False
Let i(x) = 3*x**2 - 2*x + 5. Let u be i(-4). Let v = u 