*d = 3*r - 258. Let u = -260/3 + r. Let k be 5/(-3) + (0 - -1). Does u = k?
True
Suppose 60 = -3*o - 2*o. Let l = o + 12. Is l bigger than -1/20?
True
Let g be 1 + 1*(-42)/46. Is -1 at least as big as g?
False
Let t = 4.4 + -4.5. Which is bigger: 8/9 or t?
8/9
Suppose 3*b - 10 = 5*b. Is b smaller than -6?
False
Let l = 2.02 + -0.02. Let i = l + -2. Is -1 less than i?
True
Let w be ((-3)/(-2))/(12/16). Suppose 3*z = 3*i + 5*z - 6, 0 = -2*i + w*z + 4. Which is smaller: 1/5 or i?
1/5
Suppose 2*d - 1 = -5. Which is smaller: -7/10 or d?
d
Let c be (-1 - -16)*12/30. Let i(t) = t**3 - t**2 + t + 2. Let g be i(2). Let f be (-2)/c + g/6. Which is bigger: -1/5 or f?
f
Let b = 32 + -32. Is b less than or equal to -3?
False
Suppose -3*g + 15 = -6*j + j, -2*g + 6 = -2*j. Is g greater than 6/25?
False
Let q = -321/5 + 64. Is q >= 1?
False
Let w = -0.144 + -1.856. Let v = 0.8 + -1. Let y = 0.3 + v. Which is greater: y or w?
y
Suppose -4*x - 60 = -x. Let a be -2*(-2)/(-16)*x. Is 5 equal to a?
True
Let p(l) = -l**3 - 4*l**2 + 2*l + 4. Let x be p(-4). Let f = 2 - 5. Which is bigger: x or f?
f
Let f = 0 - -0.1. Let p(v) = v**3 + 2*v**2 - v + 5. Let l be p(-3). Which is bigger: l or f?
f
Suppose 2*v + 0*v - 88 = 0. Suppose -3*g + 0*g + v = -5*n, 4*g = 12. Let y be (0 - 2)*1/n. Which is smaller: y or 0?
0
Let i(m) = -m - 3. Let r be (5 + -2)/(12/(-16)). Let g be i(r). Which is greater: 2 or g?
2
Let h(f) = 3*f**2 - 4*f - 1. Let l be h(3). Suppose -20*d = -22*d + 28. Are d and l equal?
True
Suppose -5*t = 3*m - m + 7, -5*t + 5*m = 0. Which is smaller: 1/18 or t?
t
Suppose 12 = 5*p + 2. Let g be ((-1)/p)/(18/(-63)). Does g = 3?
False
Let n = -3 + 10. Is 7 bigger than n?
False
Let j = 5/7 + -31/63. Which is smaller: 1 or j?
j
Let d be (-6)/(-9) + 2 + 1. Which is bigger: 3 or d?
d
Suppose 3*b = b - 8, b = -5*g + 6. Let d be (8/(-130))/(g/(-5)). Suppose -3*a = w + 2 - 1, -4*w = 3*a + 4. Is d at least w?
True
Suppose -12 = -37*m + 39*m. Which is bigger: -16/3 or m?
-16/3
Let h = 13 - 4. Let j = h + -8. Let n = 1157/7 - 165. Is j <= n?
False
Let l = 0 - 0. Let j(y) = -2*y - 3. Let o be j(-6). Suppose -2*i + 5*f + o = 0, -3*f = -4*i + i + 9. Is i > l?
True
Suppose -6 = b - 14. Is b smaller than 9?
True
Let o be (-1*5)/(-2 + 3). Let x be -1*1 + (o - -5). Is -0.06 equal to x?
False
Let p = 1.76 + 0.04. Let t = -2 + p. Which is greater: t or 0.1?
0.1
Suppose -27*j + 33*j = -36. Which is greater: 0.3 or j?
0.3
Let d be 1*0*(-2)/(-4). Let r = -0.037 - -0.037. Is d >= r?
True
Let k be (1 + 1)/(10/15). Suppose -5*r = -2*h - 10*r + 18, r + 10 = k*h. Which is smaller: h or 5/2?
5/2
Suppose 4*b = -12, 4*b + 2 = 2*q - 18. Suppose 2*v + 0 = -q. Let s be (-1)/(-4) - (2 + v). Is 0 bigger than s?
False
Let t(y) = -y**2 + 6*y - 11. Let u be t(7). Let k = -26 - u. Is -8 >= k?
True
Let i be (-6)/(-30) + 46/(-5). Which is smaller: 1 or i?
i
Suppose 0*q = -q - 1. Suppose 0 = -2*g + 5*m + 1, 3*g + 6 = -3*m - 3. Is g != q?
True
Let s = 7705/21 + -367. Let m = 1 - 0. Which is greater: m or s?
m
Let w(z) = z**3 + 8*z**2 - z - 8. Let a be w(-8). Which is smaller: a or 1/6?
a
Let y = 11 - 19. Let v = y - -3. Let g be (-1)/2 - (-9)/(-2). Is v >= g?
True
Let b be (-178)/(-6) + (-1)/(-3). Suppose 0 = q - p - 14, -q - 3*p - b = -3*q. Let z = q - 25/2. Which is smaller: 0 or z?
z
Suppose 26 = 5*n + 3*j - 0*j, 4*n + 2*j - 20 = 0. Is 4 smaller than n?
False
Let f = 3 + -7. Let m(y) = -y**2 - 3*y - 6. Let d be m(f). Let b be d/(-14) - 6/(-21). Is b smaller than 1?
False
Let x(q) = -q**3 - 21*q**2 + 21*q - 25. Let r be x(-22). Which is smaller: r or 33?
r
Let x = 3/8 + -5/8. Which is greater: -2 or x?
x
Let r = -3 + 3. Let v = 5 + r. Suppose -16 = 3*j - v*c + 7, -j + 5*c - 21 = 0. Is j >= 2/5?
False
Let u = 8 + -3. Let d = u + -7. Which is smaller: -1/2 or d?
d
Let z(j) = j**3 + 7*j**2 - 8*j. Let f be z(-8). Let g be (f + 3 + -4)*6. Is g at least as big as -6?
True
Let g be (4/(-50))/(1/5). Let j be (-3*2/(-6))/(-1). Which is smaller: g or j?
j
Suppose -g = 5*u + 1, u - 2 = -5*g - 7. Let o be 8/11 + (-2)/2. Which is smaller: o or u?
o
Let j(z) = -6*z - 5 + 0*z - 2*z**2 + 0*z + 3*z. Let r be j(-5). Let y be (-64)/r - 1*2. Which is smaller: y or 2?
y
Let z be (7 - 1)*1/2. Let k = z + -2. Is -2/5 less than k?
True
Let o = -10 + 20. Let b = -32/3 + o. Let t = 1 - 1.1. Which is greater: t or b?
t
Let v(n) = n**2 - 6*n - 6. Let i be v(7). Do i and 3 have the same value?
False
Let a be ((-18)/(-27))/((-1)/(-3)). Suppose -4*i + 4 = -a*i. Is i greater than 3/2?
True
Suppose 0 = -5*p + 2*p. Let i = p + -1. Which is greater: i or 2/25?
2/25
Let m be (-1)/(-4) + (-20)/80 - 4. Let a(u) = -3*u - 1. Let k be a(-3). Let p = 4 - k. Is p greater than m?
False
Let t = 2/21 + -3/56. Which is greater: t or 1?
1
Let q = 32 - 33. Is -12/11 smaller than q?
True
Let k = 67 + -67.7. Which is smaller: k or -3?
-3
Let c = 133 - 73. Let n be (-1)/(-4) - c/(-16). Let q = -0.2 + 0.2. Is n greater than or equal to q?
True
Suppose 0 = -3*s - 2*s - 10. Let g be (s - -1) + 4/6. Let a = 5 - 4. Which is greater: a or g?
a
Suppose 0 = 4*c + 3*u + 31, -u = -5*c - 2 - 13. Which is bigger: -5 or c?
c
Suppose -w = -g - 8, 2*w - 1 - 3 = 0. Is g less than or equal to -7?
False
Suppose -3*b + 7*b + 5*o = 16, -2*o = -8. Is -6/5 < b?
True
Let b = 2.93 - -0.07. Let s = b + -3.3. Let c = -0.073 + 0.273. Which is smaller: s or c?
s
Suppose 5 = -5*t, x + 2*t + 0*t = -2. Suppose 3*a - 100 + 38 = 5*w, -4*w - 3*a - 55 = x. Is -13 >= w?
True
Let c = -553/5 - -111. Let z = 0.02 - -0.28. Which is greater: c or z?
c
Let g = 0.05 - -0.45. Let h = g + -1.5. Are 0.1 and h equal?
False
Let h(m) = m + 1. Let i be h(-1). Is i at most -1?
False
Let i = 12 - 13. Which is greater: i or -5/7?
-5/7
Suppose 4 = -x - 1. Let j = 9 + x. Suppose 5 = -j*r + 21. Is r greater than 4?
False
Let u be (-9)/(-6)*(-2)/(-3). Is u at most as big as 1/6?
False
Suppose 0 = 4*g - 5 + 13. Suppose 0 = 57*v - 55*v + 4. Is g > v?
False
Let p = 12 + -20. Let m = -5 - p. Let i(g) = g**3 - 8*g**2 - 11*g + 20. Let h be i(9). Is h equal to m?
False
Let t = -209848/173 + 1213. Which is greater: t or 1?
1
Let g = -1 - -7. Suppose -g*i = -2*i + 4. Let p be (3 - 3) + (-10)/8. Is i bigger than p?
True
Let u = -4 - -36. Which is bigger: u or 31?
u
Let w = 66/7 - 747/77. Which is smaller: w or 1?
w
Let u(g) = g**2 - 2*g - 2. Let c be (-22)/(-8) + (-1)/(-4). Let q be u(c). Let w(t) = t**3 - 7*t**2 + 7*t - 5. Let z be w(6). Is q bigger than z?
False
Let b = 75 + -76. Let r be (-48)/(-22) - (2 - 0). Is r != b?
True
Let j(s) = s**2 - 3*s - 12. Let q be j(5). Suppose 0 = y - 4 + 5. Let b = y - q. Are 3/5 and b non-equal?
True
Let d be (-2)/3*(-8)/16. Let y(t) = t**2 + 4*t - 3. Let q be y(-5). Suppose -2 = -4*i + q. Is d equal to i?
False
Let v = 321/2 + -12515/78. Which is smaller: 0 or v?
0
Let v = 89 + -901/10. Is v at least 0?
False
Let f = -10 - -15. Is f > -1/4?
True
Let i(t) = -t + 14. Let u be i(18). Is -9 bigger than u?
False
Let u be (-10)/(-6)*6/(-1). Let a = u + 11. Which is greater: 1/2 or a?
a
Let r(h) = 2*h - 7. Suppose 10 = 4*c + 3*s, 0 = 4*s + 7 + 1. Let z be r(c). Which is smaller: z or 1/3?
1/3
Let b = -139/1089 + 2/121. Which is smaller: -0.1 or b?
b
Suppose -h = h. Suppose -j + 5*j - 4 = h. Let x = -172/6105 + -6/185. Are j and x non-equal?
True
Let n = 34 + -37. Let o be 12/(-3) + 2 + -1. Is n less than o?
False
Let f be 0*(10/(-6) + 2/3). Which is bigger: f or 3/7?
3/7
Suppose 5*n = -0*n + 20, 3*n - 24 = 4*w. Let j be (2/(-3))/(3/9). Let f = -5 - j. Are f and w equal?
True
Let y be ((-184)/93 - -2)*-3. Let n = -61 - -62. Which is smaller: n or y?
y
Suppose 5*d - 1 = -6. Is d <= -2?
False
Let m = 1.9 - 2. Let v = 68.6 + -63. Let q = -6 + v. Which is smaller: q or m?
q
Let h = 3.1 - 0.1. Let p = 0.2 - 3.2. Is h < p?
False
Let g be -4 - -1*(2 - 1). Let k be -3*g/(-63)*-1. Is 1 at most k?
False
Let c = -3/10 - -1/5. Is 0 <= c?
False
Suppose -4*u + 2*x + 8 = 32, 3*u - 4 = -4*x. Let f = 27 + -31. Is u at most f?
True
Suppose 30 = 6*b - 0. Is b smaller than 9/2?
False
Let o(u) = u**3 - u. Let h be o(0). Which is bigger: h or 1?
1
Let l(k) = -k + 1. Let g be l(2). Let n be 0 - 3 - (6 + -9). Which is greater: n or g?
n
Suppose -8*l - 5*d = -4*l - 27, -5*d + 15 = 0. Let z be (-1)/2*(l + -3). Let