). Suppose 5*v - 5 - 5 = 0, 3*r - v - 1 = 0. Is i smaller than r?
False
Suppose 2*u + 3 = x - 6*x, 5*x - 21 = 4*u. Let v = 10 - 12. Is x less than v?
False
Let o be 579/1001 + (-4)/7. Which is smaller: o or 0.2?
o
Suppose -44*r = -38*r - 3984. Let k = 8625/13 - r. Is k > -1?
True
Suppose -5*q + 4*k + 17 = -24, -5*k = 5*q - 50. Is -11 smaller than q?
True
Let c = 57 + -60. Which is greater: c or 0.02?
0.02
Suppose 2*r = -4*g + 8, -4 = -2*r + r. Let i be (-1192)/(-5) + (-8)/20. Let k = i + -1901/8. Is g less than or equal to k?
True
Let s = 43/2 + -125/6. Let x = 17 + -16. Is s greater than x?
False
Let b = -15.72 - 0.28. Let t = -0.7 - -12.7. Let g = t + b. Is g != 0.2?
True
Let g(d) = 2*d**2 - 8*d + 4. Let n be g(4). Let u be n/(-10) + -11*1/35. Let p be 3 + -2 + 1 + -2. Are p and u nonequal?
True
Let l = -63 - -55. Let d = -13 - l. Let b = 0.9 - 1. Which is greater: d or b?
b
Let m = 171239/23 - 7445. Let z = -2 - -1.8. Which is greater: m or z?
m
Let p(h) = h**2 - 16*h + 56. Let t be p(11). Which is smaller: 150 or t?
t
Let d be 1/(9/2) - (-619)/(-2745). Let y = d - -187/1220. Is y smaller than 1?
True
Let u be 118/(-5) - 16/40. Let p be (-21)/(-6)*(-528)/84. Which is smaller: u or p?
u
Let h(o) be the first derivative of 1/3*o**3 - 3*o**2 - 5 + 6*o. Let g be h(5). Are g and -3/7 nonequal?
True
Suppose -5*x - k = 71, -3*k = 5*x + k + 74. Let g(j) = j**2 + 8*j - 22. Let b be g(-9). Which is greater: x or b?
b
Let w = 42 - 24. Let s be ((-12)/w + (-124)/(-195))*5. Is s < -1?
False
Let r(i) = -18*i**2 + 12*i - 4. Let d be r(3). Let y = d - -133. Which is greater: y or 11/5?
y
Let r(k) = 2*k**2 + 5*k + 1. Suppose 2*z = -4*w - 3*z - 2, -4 = -2*z. Let u be r(w). Let m = -7 + u. Is m bigger than -5?
True
Suppose 8*y = 2*s + 3*y + 20, -5*s - 8 = -2*y. Let z be (1/(-29))/(4/(-5 + 9)). Which is greater: z or s?
s
Let i be (((-102)/(-48))/(-17))/((-1)/(-6)). Suppose 3*g = 4*f + 19, 2*f = -0*f - g + 3. Let k = 0 + f. Is i not equal to k?
True
Suppose 2*z = -3*m - 1 + 3, -5*z - 3*m = -5. Let o(b) = -4*b + 47. Let q be o(5). Let d be 3/z + (-87)/q. Which is smaller: d or 0?
d
Let t(i) = -i**3 + 16*i**2 - 63*i. Let a be t(9). Is -3/610 <= a?
True
Let o be (-1)/((6/10)/3). Suppose -5*x - 31 = l, 2*x - l + 3*l = -6. Is o equal to x?
False
Suppose -5 = 3*j - j + 3*h, -h = 2*j - 1. Let t be (3/9 - j)/(6/(-18)). Is 0.2 greater than or equal to t?
False
Let m(o) = -2*o - 8. Let l be m(6). Let f = l + 19. Let a be 20/(-6) - -3 - -1. Which is bigger: a or f?
a
Suppose -5*m - 2*q + 8 = -1, 0 = -2*m - 2*q + 6. Let l = 6 + -2.2. Let t = -8.2 - l. Which is smaller: m or t?
t
Let l = 27.3 - 24.6. Is -7 greater than or equal to l?
False
Let f = -38 + 33. Let k = -539/12 - -163/4. Is k >= f?
True
Let l(o) = 2*o - 48. Let g be l(-7). Is g equal to -62?
True
Suppose 0 = -10*h - 3438 - 3362. Is h not equal to -680?
False
Let c be 6 + (-288)/30 - 4/10. Let m be (-222)/265 + c/(-5). Let q be (2*-1)/(-1 + -1). Which is smaller: m or q?
m
Suppose -88 = 2*g - 90. Is g at most as big as 3/155?
False
Let z be (-6*(-4)/180)/(252/45). Is 0 > z?
False
Let h(d) = 92*d**3 + 2*d**2 - 4*d - 6. Let a be h(-1). Is a <= -99?
False
Let f be -8*3/(-42) + 95/(-7). Which is greater: -16 or f?
f
Suppose 5*z - 10 = -2*b, -2 = -5*z + 8. Suppose i + 4 = 0, 2*x = -b*x - 5*i - 16. Is 5 != x?
True
Let n(d) = 16*d - 10. Let x be n(2). Let p be 1*-2*1*x/4. Which is smaller: -13 or p?
-13
Suppose 10 = 10*u + 10. Let d be 31/57 - (-2)/(-6). Which is greater: u or d?
d
Let i(w) = -3*w**3 + 8*w**2 - 4*w. Let c be i(2). Which is bigger: 1/480 or c?
1/480
Let i = -6012 - -78272/13. Is i at least as big as 8?
True
Let r = 6 - -17. Let k be 1/(-4)*(-79 - 17). Is k less than r?
False
Let h = 4 + -3. Suppose 18 = -14*x + 20*x. Let k(c) = c**3 - c**2 - 5*c + 2. Let n be k(x). Which is bigger: n or h?
n
Let x be 420/(-6832)*5892/(-13510). Let t = -3/1351 + x. Which is smaller: t or 1?
t
Suppose 52*c = 45*c + 126. Is c bigger than 18?
False
Suppose 6*z = z + 95. Suppose -z = -5*h - 4. Which is smaller: 2 or h?
2
Let d be (-1)/(-2) - -6*2/(-8). Suppose 0 = -u + 321 + 102. Let t = u - 14807/35. Which is bigger: d or t?
t
Suppose -2*j + 5 + 5 = 5*s, -3*s + 6 = -j. Let g be (-4)/52*-2 - j. Let x = 4 - 5. Is x at least g?
False
Let x be (-32)/176 - 1809/33. Which is smaller: x or -0.3?
x
Let r = -40/27 + 698/459. Let o = r + -19/51. Which is greater: 4 or o?
4
Let t = 319 - 321.7. Is t at least as big as -3?
True
Let m be (14/21)/(4/18). Suppose 0 = -5*d + m*d + 14. Suppose 0 = -d*z + 3*z + 16. Is z bigger than 11/3?
True
Let j = -2.12 - -0.92. Is -6 not equal to j?
True
Suppose -8 = 2*o - 4. Let w be o*9/6 - 58. Let d = -609/10 - w. Is 0.1 at least as big as d?
True
Let h = 18 - 19. Let m be 1*(-15 + (-2)/h). Is -11 at least as big as m?
True
Let l be (-4 - -6*12/15) + -2. Let f = l + 4/3. Which is greater: 1 or f?
1
Let b be 4/(-22) + (-5177)/19019. Let c = 1/133 - b. Suppose -2*d + 3*d + 1 = 0. Is d bigger than c?
False
Let u = -0.365 - 13.635. Which is bigger: 1/2 or u?
1/2
Let i be 2483/(-26)*(2 - 20/5). Is 186 bigger than i?
False
Let g = -19 + 18. Let q be 1 + -3 + (-5 - g). Let f be 10*3/q + 4. Which is smaller: -6/7 or f?
f
Suppose 0 = 7*i - 1970 + 255. Let s = i - 159. Which is greater: 87 or s?
87
Suppose -4*s = -8, -20*o - 3*s + 6 = -19*o. Which is smaller: o or 1/174?
o
Let a be (8 + -15 - -7)*1. Is -5 bigger than a?
False
Suppose -17*h - 14 = 3. Which is smaller: 2/85 or h?
h
Let y(r) = 21*r**3 + 3*r**2 - 2*r + 2. Suppose 2 = 5*d - 8. Let j be y(d). Let b = j + -1604/9. Is b < 0.06?
True
Let g(h) = 2*h**2 + 2*h. Let s(m) = m**2 + m + 1. Let f(l) = -g(l) + s(l). Let b be f(1). Let o be (-20)/b + (14 - 11). Which is greater: 22 or o?
o
Suppose 0 = g - 8 - 7. Let t = 18 - g. Suppose 2*c = -t*c. Which is greater: -1/3 or c?
c
Let g = 66.88 - 1.96. Let l = g + -65. Is l greater than or equal to 4?
False
Let z = 3/586 - -5419/293. Is -1/4 not equal to z?
True
Let s be 18061/(-35) + (6 - 7). Let i = 517 + s. Which is smaller: i or -1?
-1
Let a = -39 + 68. Suppose -13 = g - 3*o + 12, g = 4*o - a. Let n(y) = -y**2 + 9*y - 12. Let v be n(9). Which is smaller: g or v?
g
Let k = 16/209 + 2/19. Let c = 43 + -28. Suppose -5*t - 5*h - c = 0, -h - 10 = -3*t - 3. Is k smaller than t?
True
Let b be ((-2)/(-3))/((-10)/(-15)). Let g be ((-45)/(-30))/(b + 0). Let l = -0.65 + 0.35. Is g <= l?
False
Let d be (6/5)/(408/160). Which is greater: -1/2 or d?
d
Let p = -315.9 + 316. Which is smaller: p or -0.474?
-0.474
Suppose 0 = 18*u - 175 + 103. Is -1/121 <= u?
True
Let m be -6 + 4 - 1*3*-3. Let q(x) = x**3 - 7*x**2 + 4*x - 12. Let f be q(m). Is 15 at most as big as f?
True
Let f = -9 - -5. Let d be (-3)/(-2)*2/3 + 7. Suppose d = 5*x - 12, -3*g - 5*x + 8 = 0. Are g and f non-equal?
False
Let l = 45.85 + -31. Let u = -16 + l. Let w = u + 1.2. Which is greater: 2/3 or w?
2/3
Let g(u) = -u. Let x be g(-1). Let j be (1 + 1 - x) + 1. Suppose -j*p = -p. Which is smaller: p or -5/9?
-5/9
Let y = 41 + -47. Let s be 2/y*7/7*6. Is 12 at least s?
True
Let k = -15/28 - -115/84. Let p(g) = 3*g - 7. Let t be p(5). Let b = t + -7. Are b and k non-equal?
True
Let l be ((-9)/12)/(5/(-20)). Suppose 189 = -6*u - l*u. Is u not equal to 0.2?
True
Let p = 57/23 + -1584/667. Let q be 32/(-48) + (-5)/(-3). Which is bigger: q or p?
q
Let v be -1*(-2 - 1) - (-1)/(-1). Suppose 5*d - o = 78, d - 2*d + 30 = -5*o. Suppose -m - 4*g = 20, v*m + g - d = 4*g. Which is smaller: -3/5 or m?
-3/5
Let s = -211 + 232. Do s and 19 have different values?
True
Suppose 2*k + 3*y - 4 = 0, -k + 1 = y - 2. Suppose x = l + 4 + 1, -10 = -k*x + 2*l. Is -1/84 less than x?
True
Let z = 0.266 + 11.734. Let m = -19 + 31. Let s = m - z. Which is smaller: s or 4?
s
Let t = 271 - 250. Is t smaller than 0.2?
False
Let l = 340 - 608. Which is smaller: l or -269?
-269
Let u be 3/(5 - 175/30). Let w = u - -211/60. Is -1 > w?
False
Let n(g) be the first derivative of -g**3/3 - 17*g**2/2 + 17*g + 1. Suppose 3*p - 36 = 5*p. Let d be n(p). Do d and 1/9 have the same value?
False
Suppose 27 = b + 2*b. Let l = 60 - 57. Suppose 4*h - b = l*q, 4*q + q = h + 2. Which is bigger: q or 0?
q
Let c = -49 + 28. Let g = c - -23.2. Let l = 2 - g. Which is bigger: l or -5?
l
Let d = -0.339 - -0.379. Are 