h = -2*x + x. Which is greater: x or q?
q
Let z be 2/(-5) + 116/(-10). Let y = 6 + z. Let m be 2 - y - 2/2. Which is bigger: m or 8?
8
Let x(o) = 2*o**2 - 5*o - 6. Let n be x(-2). Suppose -n*y = -7*y. Let u be -2 + (-58)/(-18) + -1. Is y not equal to u?
True
Let t(z) = -z**2 - 23*z + 328. Let o be t(0). Which is smaller: o or 657/2?
o
Let p = -752/7 + 629452/5859. Is 0 greater than or equal to p?
False
Suppose 525*s - 517*s + 3008 = 0. Which is greater: s or -375?
-375
Let u = 323 - 317. Are -2 and u non-equal?
True
Let f be (-456)/32 - 15/20. Is -15 less than or equal to f?
True
Let o be 2/5 - (2 - 2). Suppose -l = 4*l - 4*q - 11, -14 = -5*l + q. Let z be 0*(52/16 - l). Which is smaller: z or o?
z
Let z(k) = -4*k - 10. Let l be z(6). Let f = -16 - l. Let m = f - 13. Do -1 and m have the same value?
False
Let u = 11576/2037 + -154/97. Let k = u + -24/7. Is -3 smaller than k?
True
Let v be (52 + -51)*(-1178)/(-8). Which is greater: v or 148?
148
Let g be (-2)/7*(8 - 15 - -5). Which is smaller: 31 or g?
g
Let i be (-3267 + 0)*((-50)/(-10))/(-15). Which is smaller: 1090 or i?
i
Let p = -853 - -820. Which is smaller: -20 or p?
p
Let a = 420 - 420.6. Which is smaller: -6 or a?
-6
Let t be (120/9)/(4/6). Let c be t/225*10/4. Do c and 0.09 have the same value?
False
Let i = 13 - 42. Let v = i - -40. Let x = 33 - 65/2. Which is bigger: v or x?
v
Let g = 8.1 - 8. Suppose 0 = -6*n + 10*n + 28. Are n and g nonequal?
True
Let p = -9/2 - 191/10. Which is bigger: -24 or p?
p
Let s = 2/7219 - -866234/166037. Which is smaller: s or 5?
5
Let m be (15/(-435))/(-1*(1 + 0)). Which is bigger: -3 or m?
m
Suppose 2*r = 4*v + 12, 4*v + 4*r = v + 13. Is v less than or equal to -4/33?
True
Let l = -317 + 317. Do 2/3 and l have the same value?
False
Let o = -12 + 20. Suppose 6*t - o = 14*t. Is 29 <= t?
False
Let d = -2100 - -2099. Which is smaller: 2/2113 or d?
d
Let i be 4/(-6) - (-4)/6. Let z be (2/22)/((-93)/62). Which is bigger: i or z?
i
Suppose -2*a - 53 + 175 = 0. Suppose -9*w - 65 = a. Which is greater: -12 or w?
-12
Let d be (-5)/(-4)*(0 - -4). Suppose -5*y - 11 = 4, 3*z = 2*y + 18. Are z and d unequal?
True
Let s = -114 - -81. Let q = s + 32. Which is bigger: q or 1/6?
1/6
Let t(r) = 17*r - r**3 + 22 + 8*r**2 - 12*r + 3*r. Let j be t(9). Which is smaller: 61/5 or j?
61/5
Suppose 2*y = -4 + 10. Let b(d) = d**3 - 4*d**2 + d + 6. Let c be b(y). Which is smaller: -2/37 or c?
-2/37
Suppose 2*z - 2*o + 53 = -377, -o + 3 = 0. Is -215 bigger than z?
False
Suppose -182*q = 188*q - 379*q. Which is smaller: 6/19 or q?
q
Let g = -228 + 383. Suppose -3*b - 1 - 11 = 0, g = 3*c + 4*b. Which is smaller: c or 58?
c
Let m be 2/(-1 + 12/(-1 + 5)). Let i = 23 + -26. Which is smaller: m or i?
i
Let d(t) = 9*t + 11. Let j(v) = 26*v + 32. Let x(n) = -14*d(n) + 5*j(n). Let r be x(-9). Let f be 23/r + 9/15. Is -1 >= f?
False
Let z = -6241/17 + 367. Which is smaller: z or 2/13?
z
Suppose 6*j - 9 = 3*j. Suppose 0*i + 4*u - 32 = -3*i, 0 = -2*i + u + j. Suppose -i = 2*x - 6. Which is smaller: 1/12 or x?
1/12
Suppose -6*o = -14*o + 232. Is 26 smaller than o?
True
Suppose -22*k - 312 = -26*k. Let n = 124 - k. Which is greater: 45 or n?
n
Let c be (-64)/56*(-7646)/(-8). Let l = -1094 - c. Suppose -n = -2*n - 2. Which is bigger: l or n?
l
Suppose 18*r + 3758 = 464. Is -183 at least r?
True
Suppose h - 386 = 2*h - 2*i, -5*h = -5*i + 1930. Let u be h/102 - (-26)/(-39). Let w = -13/3 - u. Which is bigger: w or 0?
w
Let n = -806.6 + 807. Which is smaller: n or -138?
-138
Suppose -2*c + 139 = -4*u + 425, 365 = 5*u - c. Is u equal to -6?
False
Suppose 68 = -2*z + 6*z. Let c be (-9)/(-3) + -6 + 38 - 1. Suppose 2*m = -0*m + c. Is m <= z?
True
Let w = 45855/31 + -1479. Which is greater: w or 1/2?
1/2
Let g = 7 - 27/4. Let p = 3.108 - 3.2. Let f = 0.008 - p. Which is smaller: g or f?
f
Let s be (-12)/(-54) + 256/(-18). Let z be (-32)/s + 6/(-21). Suppose -4*x = -d + 16, 5*d + 3*x + 10 = -z. Which is smaller: 7 or d?
d
Let z = 21 - 18. Suppose 3*u - z*g - 24 = 0, 3*g - 15 = -2*u + 4*g. Let v(y) = y**2 - 8*y + 6. Let d be v(u). Is d smaller than -4/5?
True
Let u = 0.0682 + 13.9318. Suppose -1 = -2*r + 3. Is u bigger than r?
True
Let m = -56126.049 - -56103. Let d = m - -0.049. Let o = 22 + d. Is o less than -8?
False
Let r = 24.57 + -25. Let b = r - -0.03. Is 3/7 < b?
False
Let o = -43.894 - 0.106. Let n = 43.4 + o. Which is bigger: n or 1?
1
Suppose 66*p = 65*p. Which is bigger: p or 6/17?
6/17
Suppose 5*b - 5*t - 8 - 27 = 0, -9 = 3*b + 3*t. Let m be 1696/(-840) - (2 + -4). Let i = 59/35 + m. Which is smaller: i or b?
i
Suppose 4*l + 10 = -l + 4*i, 3*i = l + 13. Let k be (66/(-55))/(l/(-5)). Which is smaller: 7/2 or k?
k
Let f = 88 + -94. Let g = -8 - -2. Let w = g - -2. Which is bigger: f or w?
w
Let y = -114.765 - 0.235. Let g = -116.69 - y. Let n = 0.31 - g. Which is bigger: n or -7?
n
Suppose -3*n = -2*w - n - 4, 4*n + 4 = 0. Let s be ((-6)/(-27)*w)/(6/45). Which is smaller: s or -3?
s
Suppose -3*v = -8*v - 5*j - 65, -v - 2*j - 8 = 0. Let y be 4/v - (-320)/(-504). Which is smaller: y or 0?
y
Let m be -109 - (14/8 + (-6)/(-24)). Let f = m + 107. Is -2 at most f?
False
Let o be ((-1)/1)/((-35)/15470). Which is greater: o or 440?
o
Let x be 0 - 2 - (6 + -7). Let j be -3 + 65/20 + (-255)/940. Which is smaller: x or j?
x
Suppose -19 = -5*c + 2*q, c - 10 = -3*c - q. Let o be (c/(-15))/(12/(-10)). Let m = 8392 - 8393. Which is smaller: o or m?
m
Let n be ((-444)/42)/((-36)/105). Let q = 31 - n. Which is smaller: q or 0?
0
Let l(s) = -8*s**2 + 69*s - 522. Let w be l(9). Which is bigger: -547 or w?
-547
Let t = 14 - 14.12. Let v = t + 8.12. Are -2 and v non-equal?
True
Let b = -2 + 0. Let c = -0.055 - -1.755. Let g = c - 1.3. Is b greater than or equal to g?
False
Suppose -4*v - 1 = -0*v + w, -5*w = -3*v + 5. Let n be (0 + v)*4/(-4). Let s be 3/(190/(-4) - -1). Which is smaller: s or n?
s
Let m be (6/8)/(6/(-24)). Let p be 10/(-25)*(-20)/16. Is m <= p?
True
Let d = -17 - -29. Suppose -6*l = -3*l - 39. Which is bigger: d or l?
l
Let u(t) = -4*t + 138. Let s be u(34). Let b be 2/(16/(-10)) - -2. Is b at most as big as s?
True
Let t = -12 + 2. Suppose -3*q + p = -126, 42 = -2*q + 3*q + 2*p. Suppose -h + 4*k = -1, -4*h - k = 5 + q. Which is bigger: t or h?
t
Let r = 19 - 18.4. Let k = r - 0.3. Which is bigger: k or 1?
1
Let g(w) = w**3 - 23*w**2 + 21*w + 24. Let m be g(22). Suppose 6*v - 128 - 136 = 0. Which is smaller: v or m?
m
Let y = -31 - -45. Suppose 3*v = 3*a + 6, 0 = -4*a - 4*v - y - 2. Let n(t) = -t - 3. Let d be n(a). Is d less than or equal to -8/11?
False
Let d = -1607/3 + 533. Let h(n) = -n + 6. Let f be h(0). Suppose j + j = -f. Which is smaller: j or d?
j
Let g = -6 + 10. Suppose 4*f + 1 = -g*c + 5, 4*f + c - 16 = 0. Let l = 2953 + -2951. Do l and f have the same value?
False
Suppose -3*v + 2 = 5. Let k be (v/30)/((-6)/(-15)). Suppose 0 = -4*l - 3*l + 9*l. Is l < k?
False
Let o(u) = -u**3 - 8*u**2 - 6*u + 9. Let j be o(-3). Which is greater: j or -20?
j
Let w = -162887/9 + 18065. Is w >= -34?
True
Let i = -174.5 + 169. Which is smaller: i or 1?
i
Let c be (57 + -1)/4 + -3. Let i = -7 + c. Suppose 2*t - 6 = 2*l, i*l + 5*t - 33 = -0*l. Which is greater: 1 or l?
l
Suppose 4*v + 5*s + 11 = 0, 3*v + 12 = -0*s - 5*s. Let t = -26 - -30. Suppose j = -h - 1, -5*j - 2 - 1 = t*h. Is j less than or equal to v?
True
Suppose -45 = 3*k + 2*k. Let n(m) = -m**3 - 10*m**2 - 9*m - 2. Let o be n(k). Which is smaller: 2 or o?
o
Let f = -62 + 184. Let l be f/(-330) - 3*(-2)/15. Is -0.1 < l?
True
Suppose -14 = 2*d - b, -4*d + b = 17 + 11. Let a(r) = -2*r - 8. Let h be a(d). Let m = -5 + h. Is 1 smaller than m?
False
Let u be 2/(-4)*2*-5. Let f(g) = g**2 - 11*g + 5. Let a = -19 - -30. Let p be f(a). Is p less than u?
False
Let j = 2/377 - -1502/1131. Suppose -5*r = 3*o + 127, -2*r - 58 = -o - 5. Let c = r + 103/4. Are c and j nonequal?
True
Let q = 63 + -37. Suppose -59*j + 39*j + 540 = 0. Which is smaller: j or q?
q
Let f = -2/17 + 9/221. Is f not equal to 23?
True
Suppose -4*l = 2*c - 3*c - 11, -4*l = 5*c + 7. Let k(p) = 3*p**2 - 2 - 4 + 6*p + p**3 - 8*p**2. Let t be k(4). Is l equal to t?
True
Let i be 1/(-2) - (-9)/10. Let a = 2976.72 + -2977. Which is greater: i or a?
i
Let c be (266/(-130) + 1)*(-60)/(-24). Wh