be -10 + (0 - (-2 + 0)). Suppose 4*k = -7*k - 55. Let h = n - k. Which is greater: h or -12/7?
-12/7
Suppose 3*g - 3 = 12. Let j = -3.43 + -10.67. Let a = -14 - j. Do g and a have the same value?
False
Let z = -6 - -9. Let t be z/3 + 1 - 68. Let s be -1 + (t/(-17) - 3). Is s greater than -1?
True
Suppose -4*o = -5*b + 302 + 143, 2*o = 3*b - 269. Which is bigger: 92 or b?
b
Suppose 71 = -26*u - 449. Is u at least as big as -212/11?
False
Let p = 128 + -72. Let a = p - 41. Is a at most 15?
True
Suppose -22 = 9*r - 22. Which is smaller: r or -2/83?
-2/83
Let o = -9/112 - 5059/112. Which is greater: o or -45?
-45
Suppose k + 4*x = 7, 3*k - 3*x + 10 = -k. Let d be (4/(-20))/(k/25). Which is smaller: d or 2?
2
Let b = -6/8407 - -983679/84070. Which is smaller: 12 or b?
b
Let v be 3880/(-150) + (-2)/15. Is -26 < v?
False
Suppose 5*x - 85 - 1141 = -2*s, 3*x - 2*s - 742 = 0. Let t = x + -170. Are t and 76 unequal?
False
Let s = 126843868/315 + -2013726/5. Let c = s - -456/7. Do -2 and c have the same value?
False
Let m be (-36)/16*2*6. Let f = m + 30. Suppose 11*n + 64 = f*n. Which is greater: n or -7?
-7
Let n(w) = w**2 - 12*w + 19. Let u be n(12). Let p = u + -14. Suppose -g + p = -6*g. Which is bigger: -7/6 or g?
g
Let f be 6/(-15)*(-30)/1. Let i be -3 + (3 - 5/1 - -17). Are i and f non-equal?
False
Let r = -3/89 - -297/890. Let v = 170 + -101. Suppose -71*a = -v*a + 2. Which is greater: a or r?
r
Let y be (12/(-56))/(-1 + (-2)/(-14)). Which is bigger: -15 or y?
y
Let h = 38 + -40. Is h at least -0.053?
False
Suppose 0 = 12*o - 6 - 102. Let v(z) = -6*z - 2. Let x be v(-2). Is o less than or equal to x?
True
Suppose -5*b + 2*b + 15 = 0. Let y = b - 2. Let i be y/(-2)*2/17. Which is smaller: i or -1?
-1
Suppose -7*b + 101 + 172 = 0. Is b != 38?
True
Let x(v) = -v**2 - v + 12. Let b be x(0). Let o(u) = -u**2 + 13*u - 13. Let g be o(b). Let d be 6/(-3) - 18/(-8). Is d greater than g?
True
Let f = 3 + -3.1. Let l be (154/(-70) + 3)*(1 + 1). Is f smaller than l?
True
Let k = -4 + 6. Suppose 5*g = -4*z - 21, 3*z + k = -0*z - g. Is -3/10 <= z?
True
Let b = -297 + 299.07. Let x = b - 0.07. Let y = 0.2 + 3.8. Is x not equal to y?
True
Let y = 31 + -16. Let u = 3389 + -3373.97. Let r = y - u. Do r and -1/2 have the same value?
False
Let b = -2.05 + 2. Let q be (0 - -35) + (7 - 5). Let c = -112/3 + q. Is c at least b?
False
Let m = -6 + -15. Let l be -2 - 19 - (0 + 0). Is m bigger than l?
False
Let q = -42 + 63. Let c be 4128/1512 - -3*(-2)/q. Is c equal to 2/3?
False
Suppose 75*o = 22*o. Which is greater: -1/662 or o?
o
Let h = -230 + 231. Which is smaller: 20/21 or h?
20/21
Let d(s) = -s. Let j be d(-3). Suppose -j*q = 18 - 39. Which is bigger: q or 9?
9
Let x(l) = -251*l - 7. Let g be x(-8). Let d be (4 + g/(-501))/(-1). Which is smaller: d or 1?
d
Let s = 48596/15 - 3238. Let d = 257/105 - s. Suppose 7*k + 36 = b + 8, -5*k = 2*b + 20. Which is smaller: b or d?
b
Let x(q) = 11*q + 6. Let f be x(2). Let n = f + -35. Is n greater than -7?
False
Let m be (-3 - -15)*(-35)/10. Let t = m + 33. Which is smaller: -7 or t?
t
Suppose -2*o = -5*l + 2 - 19, 0 = -3*l + 5*o - 14. Let w be l + 1/((-3)/(-33)). Let v be 6/((84/w)/(-7)). Is -8 <= v?
True
Let z = 4 - 5. Let l = 161/306 - 31/102. Which is bigger: l or z?
l
Let b be 3 - ((-140)/(-8))/5. Let z = -80 + 73. Is z smaller than b?
True
Let f be (-2)/7 - (-102)/14. Let k be (80/(-15))/(-8) - 282/(-9). Suppose 5*i - 9*i = -k. Which is bigger: f or i?
i
Let h = -379 + 381. Is h bigger than 7/5?
True
Suppose 11 = 3*z - 22. Let d = 18 - z. Is 7 < d?
False
Let z(v) = -2*v**3 - 13*v**2 - 2*v - 5. Let p be z(-7). Let w = p + -52. Are w and 20/3 non-equal?
True
Let o = -185 - -184.923. Let n = o + 0.077. Which is bigger: n or -2/15?
n
Let a = 221/27 - 49/6. Is a smaller than 1?
True
Let d = 11.7 - -1.3. Let t(g) = g**3 - 5*g**2 - 9*g + 8. Let k be t(6). Let a be (2/k)/((-3)/5). Are a and d unequal?
True
Let a be -3*(6/(-18))/((-3)/126). Which is smaller: a or -44?
-44
Let o be (-212468213)/20348520 + -4 + 8. Let l = o - -3/183320. Let x = l - -4/37. Is x <= -7?
False
Let m = 43/1404 + 5/108. Which is bigger: m or -2/11?
m
Let z be (-4 - -2)/1116*(-12)/(-8). Let x = z + 256/93. Is x smaller than 4?
True
Let q(y) = -y**3 - 13*y**2 - 2*y + 4. Let l be q(-13). Suppose 11*i - i = l. Is i less than 3/2?
False
Let c = -1159.26 - -1157. Is 2/9 >= c?
True
Let v = -225841/120 - -1882. Which is bigger: -3 or v?
v
Suppose -4*g + 8*n - 3*n = 119, n = -2*g - 63. Which is bigger: g or -29?
-29
Let r = 1/161 + -185/3864. Let l = r + 3/8. Are 0 and l non-equal?
True
Let c be (-4 + (-25)/(-6))/(3/(-159)). Is 5/2 bigger than c?
True
Let l be 4/(-18) - 57/(-135). Let q = -23/12 - -9/4. Which is smaller: l or q?
l
Let x = -523 - -566. Which is bigger: 0 or x?
x
Let y = 1727 - 1725. Which is bigger: y or 22/17?
y
Let a(j) = -j**3 + 8*j**2 - 3*j + 9. Let r be a(8). Let h = r - -8. Are h and -1/4 non-equal?
True
Suppose -3*x = -150 + 75. Let h(y) = 2*y**2 - 10*y + 15. Let k be h(6). Which is greater: k or x?
k
Suppose 2*h - h + 5 = 4*b, 4*h = b + 10. Suppose 3*w + 2*w + 17 = h*d, -w = -4*d. Let l = -26 + 18. Are d and l equal?
False
Suppose 7*h = -0*h - 21. Let p be (-2)/h*210/(-28). Let v = 11 + -15. Which is smaller: v or p?
p
Let z = 18 - 29. Let n = z - -13. Which is greater: -0.3 or n?
n
Let r be 3625/12320 - (-4)/(-14). Let z = 107783199/690976 - 23625/151. Let v = z + r. Is v bigger than -1?
True
Suppose -k = 3*y - 44, -13*y + 14*y + 5*k - 38 = 0. Which is smaller: y or 11?
11
Let t(h) = -h**3 - 8*h**2 + 9*h + 11. Let o be t(-9). Let z = o - 4. Let w(y) = -y**2 + 8*y - 7. Let i be w(z). Do -4 and i have different values?
True
Let h(d) = d - 6. Let m be h(0). Let x(c) = c**2 + c - 48. Let l be x(-7). Let a = m - l. Is a smaller than -1/15?
False
Let y = 1.88 + 0.12. Which is smaller: -4/5 or y?
-4/5
Let z(r) = -3*r**3 + 24*r**2 + 5*r - 39. Let i be z(8). Let o = -79/821 + 608773/21346. Let u = o - 55/2. Is u > i?
False
Let i(t) = t**2 + 7*t + 4. Let d be i(-6). Let x = d + 0. Let s be 117/(-52) - (x - 0). Which is greater: -0.13 or s?
-0.13
Let z = 1.326 + -278.326. Is 2/13 < z?
False
Let q = -566 + 566.1. Which is smaller: q or 9?
q
Let b(y) = y**3 - 6*y**2 + 6*y - 6. Let h be b(5). Let w = -67 - -163. Let p = -1055/11 + w. Are p and h nonequal?
True
Let h be 2/5 - (-308)/55. Suppose 0 = -q - 2*w - h, -2*q + 31 = -4*w + 11. Suppose -q*r - 8 = -4*u, r = 2*r - 2. Is 4 bigger than u?
True
Let w = -6163/10 - -1227/2. Is -1/2 >= w?
True
Let d = -3333 - -19903/6. Which is smaller: -16 or d?
-16
Let g be 2/(2 + -4 - -3). Suppose -173 = -2*o + 5*u, g*o - 257 = -o + 5*u. Let t be -4*1 + 360/o. Is 1 bigger than t?
True
Let i = -649 + 328. Which is smaller: i or -1/3?
i
Suppose 2*i + 2*t = -2*t + 18, 0 = -4*t + 8. Let n be i/((-15)/6) - -8. Let c = -672 - -678. Is c >= n?
True
Suppose 25 = -j - 4*j. Let w(u) = -u**3 - 5*u**2 + 4. Let t be w(j). Let x be 3 + 86*t/(-112). Are -1 and x unequal?
True
Let u = 73 + -36. Let x = 36.8 - u. Which is smaller: 0.15 or x?
x
Let d = -5290/21 + 252. Let a be 0 - 4/7 - 8/(-14). Which is smaller: d or a?
a
Suppose i = -4*g + 185, -91*g + 89*g + i + 97 = 0. Which is smaller: 16 or g?
16
Let q = 6 + -17. Let x = -14.2 - -3.4. Let w = x - q. Is -1 < w?
True
Suppose 94 = -f + 4*a, 2*f - 4*a = -a - 208. Are f and -326/3 equal?
False
Let w = 3.16 - 3.26. Let y = 277.04 + -282. Let u = -5 - y. Which is smaller: w or u?
w
Let j = 5 - 11. Let c be 1/((j/99)/((-8)/(-12))). Let t = -23 - -15. Which is bigger: t or c?
t
Let l = 26 + -17. Suppose 1 = 2*f - l. Suppose -4*m - 2*d + 2 = -4*d, 8 = f*m + 3*d. Are 1 and m unequal?
False
Suppose 2*t = -3*t - 10, 3*t = -5*m + 14. Suppose -5*l = k + 60, 0 = -l + m*k + 7 - 40. Is l at least -8?
False
Let v be (-6)/14 + 2/(42/387). Let u = 55 + -34. Is u != v?
True
Let t = -269 + 202. Let x = 0.07 - 0.07. Which is greater: t or x?
x
Let k be ((-1)/21 - (-4)/(-14))*-33. Let r be (-438)/(-30) - 2/(-5). Suppose o + 3*f = -4, -4*o = -4*f - r - 49. Is k greater than or equal to o?
True
Suppose -7*g = -14*g + 70. Let t be g/(-20)*(-4)/193. Do t and -1 have the same value?
False
Let w be ((-15)/(-11) + 2)/(10/(-10)). Is w at least as big as -4?
True
Let i be (-2)/12 - 1078/(-132). Suppose 2*s - 