4*r - 3*m. Let h = -128 + 128.1. Is r < h?
False
Let x = -987 - -3001/3. Suppose 0 = -5*b - 25, -23 = -3*j - b + 8. Which is smaller: x or j?
j
Let q be (-2)/5*40/(-45)*-12. Let p = q + -8/15. Is -5 less than p?
True
Suppose -1510 = -12*a + 986. Which is smaller: a or 207?
207
Let q = -21.4 - -21.2. Which is smaller: -0.07 or q?
q
Let f(r) = -856*r**3 - 2*r**2 + 1. Let g be 1 - 3*(-6)/(-9). Let v be f(g). Let p = v + -28213/33. Is p at least -1?
True
Let v = -6 - -5.4. Let x = -0.6 - v. Suppose -6 = -2*z - 8. Are x and z nonequal?
True
Suppose 2 = 10*b - 8*b. Let m be 2/334*(-14)/(-7). Which is smaller: b or m?
m
Let t be 2910/(-1908) - 12/(-8). Which is bigger: 0 or t?
0
Suppose -4*x + 10124 = -0*x. Let i be 4*(-3)/(5 - x). Which is smaller: -1 or i?
-1
Let b(m) = 2*m - 4. Let d be b(6). Suppose -5*f + 2*g - 22 = 0, -3*g + d = -3*f + 2. Are -5 and f unequal?
True
Let y be (-1020)/323*1/4. Is -2 less than or equal to y?
True
Let y be 156/5 - (-4)/5. Suppose 51*h + y = 47*h. Which is bigger: h or -6?
-6
Suppose -4*d + d - 63 = -4*y, -55 = -5*y - d. Let n be (-22)/(-12)*(-14 + y). Is 0 at most as big as n?
False
Let h = -114 - -118. Which is smaller: 3 or h?
3
Let g be 1 + (-507)/12 + -6. Is g bigger than 1/2?
False
Let h = -5/16 + 7/16. Let d be (-2 - (1 - 4)) + -1. Let t be (d + 1)*(6 - 7). Is t at least as big as h?
False
Let h(j) = -j**2 + 9*j + 7. Let l be h(9). Suppose -2*f - 9 = 5*n + 7, 2*n + l = -f. Which is greater: f or 0?
0
Let v = -6.7521 - -0.0121. Let x = v - 0.26. Which is smaller: -3/4 or x?
x
Let o = 681 - 399. Is 2 > o?
False
Suppose 4*u = -3*u + 28. Suppose u*h + 5 = 1. Which is greater: h or -2/31?
-2/31
Let h be (-8)/12 + 94/6. Suppose -2*w + 5*w + h = 0. Let x = -446 - -443. Which is greater: w or x?
x
Let l = -7429/27 - -275. Which is smaller: -1 or l?
-1
Suppose -3*j + j + 36 = 0. Suppose -6*y = -7*y + j. Is y less than 18?
False
Let r be (4 - -4)*1*2. Is 16 at most as big as r?
True
Let a = 22.5 - -50.5. Is a > 1?
True
Suppose -t = 5, 7*b - 9*b - 2*t = 0. Suppose 18 = 3*d - 0*d. Which is greater: d or b?
d
Let o = 44553 - 137267795/3081. Which is greater: 1 or o?
1
Let y be (-30)/(-4)*(-880)/360. Is y bigger than -18?
False
Let j = 15 - 11. Suppose i = -0*i - j. Which is smaller: i or 0?
i
Let z = 0.03 - 0.83. Let f = -2.6 + 2.6. Is z at least as big as f?
False
Suppose 3 + 0 = t - 5*d, -3*d + 32 = 2*t. Let v be t/26 + (-46)/4. Let r(h) = -4*h + 5. Let l be r(4). Is l less than v?
False
Let x(v) = v**2 + 5*v - 6. Let q be x(-6). Suppose -o = -2*l + 779, -o - 1559 = -4*l + 2*o. Let h = l + -2327/6. Are h and q equal?
False
Let l(b) = 45*b**3 + b**2 - 1. Let u be l(1). Let c be (u/10 - 3)/((-17)/6). Which is greater: -2 or c?
c
Let l = 10.9 - 11.68. Is 0 >= l?
True
Let m(b) = b**2 + 8*b - 2. Let z be m(-8). Let w = -2 - z. Suppose -u - 12 = -5*u. Which is bigger: u or w?
u
Let o = 1328 + -1079. Is o at least -2?
True
Let y(z) = -6*z + 17. Let l be y(2). Suppose l*t = -i + 7*t + 10, -11 = i + 5*t. Are 40/9 and i nonequal?
True
Let m be -3*(-116)/6*1/2. Which is bigger: m or 31?
31
Let q = 293 + -324.7. Let y = -30 - q. Let g = y - 1.74. Is 0 at most as big as g?
False
Suppose -f + 74 = -5*q, 2*f + 3*f + 50 = -3*q. Let p = 7117 - 7132. Is p equal to q?
True
Let m = -1035 + 1087.3. Let i = m - 48. Let k = i - -1.7. Is 0.2 less than k?
True
Let j = 68 - 51. Let i(g) = g + 5. Let f be i(j). Is f less than 20?
False
Let x = 10 - 2. Let r(a) = -5*a - a**2 - 29 + 19 + 13*a. Let z be r(x). Which is smaller: z or -11?
-11
Suppose 22 = -q + 3. Which is smaller: -22 or q?
-22
Let m be (-6)/4*-2*1. Suppose 2*a - 3*d + 9 = 0, 0 = a + m*a + 3*d + 9. Which is bigger: a or -6?
a
Let q = -52 - -96. Let i = q + -32. Which is greater: 3 or i?
i
Let l be 181/(-26)*324/70. Let h = 420/13 + l. Let i = h + -181/70. Which is smaller: i or 3/5?
i
Let j be (1080 + -1)*10/45. Let p = j + -240. Which is greater: p or 1?
1
Let w = 94 - 87. Let c = 8.903 + 0.197. Let v = 9 - c. Is v greater than w?
False
Let i = -11.6 - -2.6. Is i at most 16?
True
Let c = 0 + -1. Let l = -1 - c. Let b be (-675)/(-500) - (-2)/(-20) - 2. Is b > l?
False
Suppose 0 = -4*b + 3 + 13. Suppose 0 = -4*z - 2*a + 50, 29*z - 5*a - 10 = 30*z. Suppose z = b*q - 9*q. Is q less than -3?
False
Let g = -16 - -1. Suppose 0 = -5*h - 462 + 402. Is g less than h?
True
Suppose -2*y + 1733 = -4*d + 5255, -2 = 2*y. Let i be 2*1*(d/(-184) + 5). Which is bigger: i or -1?
i
Let r be ((25 - 16)/27)/((-2)/(-102)). Is 187/12 greater than r?
False
Let d = -74/3 + 22. Are d and -4 nonequal?
True
Let j = -0.9 + 0.7. Let r = 10 + -6. Let i = -3.8 + r. Which is smaller: i or j?
j
Suppose -3*b + 63 = -2*u, -78 = 5*u - 3*b + 57. Let s be u/(-16)*(-2)/(-3). Is s greater than or equal to 2/5?
True
Suppose -4*c - 16 = 4*j, 5*j + 7*c = 3*c - 16. Suppose 13 - 40 = -3*w. Suppose 0 = 2*h + 3*d + 16, j = -5*d - w - 11. Which is smaller: h or -1?
h
Let i = 0.085 + -113.085. Which is bigger: i or -2/7?
-2/7
Let r be (12/(-18))/((-6)/(-9)) - 4. Suppose -5 = 4*b - 3*q, b + 2*b + 12 = 5*q. Let y be 2/(4/(-2) + b). Which is greater: y or r?
y
Let i = -45.665 + -0.535. Let s = -45 - i. Which is smaller: s or 0?
0
Let f be ((3 - 3)/(-1))/(-3). Let d = -9 + 15. Suppose s = -f*m + 2*m + d, 16 = 5*s + 4*m. Are s and 2 equal?
False
Let s(j) = j**3 + 10*j**2 - 11*j - 4. Let t(o) = -2*o**2 - 13*o - 17. Let i be t(-6). Let z be s(i). Is -23 bigger than z?
False
Let o be 1/(2/26) - 3. Let a be (-9)/(-15) + (-36)/o. Let h be -7*(a - (-45)/21). Which is bigger: h or 5?
h
Let t = 291 - 461. Which is greater: t or -174?
t
Let i be 9/(-327)*(-4)/8. Let t be 108/27 + (-854)/1308. Let q = t - i. Which is smaller: -2/9 or q?
-2/9
Let q = -26 + 13. Let h(o) = o**2 + 13*o + 2. Let r be h(q). Suppose 5*u - 7 + 2 = 0. Which is smaller: u or r?
u
Suppose -4*c - 2 = -5*w, -w + 5*c = -0*w - 13. Let d be ((-4)/(-5))/(w/10). Suppose 0 = 3*l + 3*x - 6, -2*l - 14*x + 13*x = 2. Is l != d?
False
Let g = 746.81 + -742. Let k = g + -5. Let t = -2389 - -2389. Is t smaller than k?
False
Let j be ((-20)/(-6))/((-485)/(-34338)). Which is bigger: j or -3?
j
Suppose 3*i + 0*i + 4 = -2*c, 0 = 3*i + 12. Let s be (36/c)/((-5)/60). Is -0.1 smaller than s?
False
Let d = 6 + -6.08. Let p = d + 0.1. Let y = p + 0.18. Which is bigger: -3 or y?
y
Suppose 3288*x + 1422 = 3287*x. Is -1422 >= x?
True
Let s = -4273/25 - -171. Let f = 2 - 3. Which is bigger: f or s?
s
Let f(d) = 43*d + 12. Let s be f(5). Is 227 less than s?
False
Let i be (-1)/(-3)*(-1347 - -54). Which is bigger: i or -432?
i
Let t(h) = 4*h**2 - 32*h + 13. Let i be t(9). Suppose 5*r - 10 = 0, i = -2*u - 3*u + 2*r. Which is greater: u or -3?
-3
Let y be (8/(-60))/(1/(-21)). Let p(s) = -s**2 + 9*s + 12. Let d be p(10). Is d < y?
True
Let s = 166 + -167. Suppose -43 = -2*b + 11. Let i be (-15)/b + (-2)/(-9). Are i and s non-equal?
True
Let a = 3874.018 + -3870. Let q = 0.018 - a. Which is greater: 2 or q?
2
Let u = -44/5 - -46/5. Is -65 less than or equal to u?
True
Let q = -6.3 + 1. Let y = 102 - 102.3. Let o = q - y. Which is bigger: 1 or o?
1
Let k(w) = -w**2 - 4*w - 2. Let g be k(-3). Let q = -16.01 - -16. Let f = 0.11 + q. Is g less than f?
False
Suppose 20 = -3*b - b. Let a = -2 - b. Suppose 4*s + s + 3*u = 14, 0 = 3*s - 2*u + a. Is -2/37 at most as big as s?
True
Let q be (-21)/(-2) + 174/(-116). Is 19/2 greater than q?
True
Suppose 2*v = 5*v - 5*s - 3, 2*s = 0. Suppose -5 - 1 = -2*q. Let w = 9/2 - q. Do w and v have different values?
True
Let y = 1 - 1. Let x be ((-4)/(-9))/(828/54). Let z = x - 25/69. Which is bigger: y or z?
y
Let c = -12 - -36. Suppose -c + 135 = -3*b. Which is greater: -36 or b?
-36
Let w = 0.117 + -69.117. Let m = w + 69. Which is smaller: m or -64?
-64
Suppose -2*d = 2*b + 114 - 106, 5*d + 2*b + 14 = 0. Which is bigger: -39/19 or d?
d
Let v = 7 - 4. Let y(a) = v + 9*a + 0*a**2 + 6 - a**2. Let h be y(10). Which is smaller: -2/33 or h?
h
Let w = -114 + 129. Is 13 at least w?
False
Let t = -0.356 - 0.144. Is -13/3 equal to t?
False
Let h = 11 + -1. Let f = 85 - 84. Which is smaller: f or h?
f
Let n = 9582 - 29108/3. Is -122 less than or equal to n?
True
Let w = -3.98 + -0.02. Let o = 3 + w. Let t be 132/48 + (-4 - -1). Which is smaller: o or t?
o
Let d be ((-3)/4 + 2)/((-2)/8