gger: 0.098 or a?
0.098
Suppose -4*j + 26 = -i, -2*i - 9*j = -4*j + 39. Let u be (-3)/(2 - 123/66). Is u smaller than i?
False
Let b be (1 + -2)*(-26 + (-1666)/(-68)). Are b and -0.852 equal?
False
Suppose -5*y = -15, -3*y - 35 = -o - 7*y. Let j(h) = -h + 5. Let n be j(4). Let v = 22 - n. Is v at least as big as o?
False
Let h = -1.386 - 197.214. Let m = h - -178. Which is smaller: -0.1 or m?
m
Let k(u) = -2*u**2 - 343*u + 1388. Let g be k(4). Is 17 greater than or equal to g?
True
Suppose -271*r + 239*r + 34720 = 0. Which is greater: r or 1084?
r
Let m be (-89264)/(-224) - (-1 + 2). Which is greater: m or 399?
399
Let p = -3035 + 3044. Let d = -3 - -3. Let t = d - -8. Is t greater than p?
False
Let a = -5 - 1. Let i be a/12*10/23. Suppose 0 = 4*b + 4*y - 16, -3*b - 2*y - 4 = -11. Which is greater: i or b?
i
Let v be (524/(-4))/(3/(-12)) - 5. Which is smaller: v or 521?
v
Suppose 25 + 70 = 5*y - 5*q, 0 = -y - 5*q + 43. Suppose -21 + y = 2*r. Do r and 1/785 have the same value?
False
Suppose -3*c - u = 2*c, 2*u + 6 = -4*c. Suppose -4*w - 3*p + 12 = 0, w + 2*p - 3*p = 3. Let l be 4/6 - (-6 + w)/9. Is l >= c?
True
Suppose -44 = 22*g - 22 - 0. Which is greater: -4/10345 or g?
-4/10345
Let x be 6 + 1 + -2 + -1. Suppose 0 - x = -4*s. Let r be ((-42)/(-96))/(s/(-4)). Which is bigger: r or -3?
r
Let t(s) = 161 + 39*s - 55 - 33*s. Let l be t(-22). Which is smaller: l or -28?
-28
Let o = 5 + -5.1. Let j = -4695 + 4894. Is o greater than or equal to j?
False
Let t(i) = -i**3 - 7*i**2 + 8*i + 7. Let y = 2 - 8. Let f be 4*((-12)/(-9))/(4/y). Let k be t(f). Which is greater: k or -2/5?
k
Let x = 1447 - 1446. Which is smaller: x or -4/1669?
-4/1669
Let j = 2868.736 + -2870. Which is smaller: -0.1 or j?
j
Let s = -8967.786 - -8887.8. Let d = s + 80. Is d at least -0.1?
True
Let t = -3202 - -3621. Is 420 at least t?
True
Let o(f) = -f - 1. Let d be o(-6). Suppose d*j - 2 = 4*j. Suppose 0 = -3*w + 3*b - 9, 2*w = 3*b + j*b - 15. Which is greater: 4/15 or w?
4/15
Let n(m) = m**2 - 13*m + 28. Let g be n(12). Suppose 0 = -4*y - g, 3*k + 32 = -5*y - 108. Are k and -38 equal?
False
Let m(b) = 8*b + 15. Let d be m(-2). Let s be (2/1)/(d + -1)*23. Is s greater than -116/5?
True
Let z = 56.064 + -56. Let w = z - 0.061. Let h = w - -0.097. Which is greater: -0.34 or h?
h
Let n = -214.062 - -0.062. Let h = 219 + n. Which is smaller: 7 or h?
h
Let b = 94 - -501. Let t = 1202 - b. Is 608 >= t?
True
Let i(l) = 219*l + 3589. Let k be i(2). Do k and 4026 have the same value?
False
Let w(l) = l**3 + 13*l**2 + 17*l + 4. Let m be w(-12). Let i(n) = -22*n - 1141. Let d be i(-52). Which is greater: m or d?
d
Let d = 7.7 + -7.7. Suppose -60 = -5*r + 100. Suppose -2*b - 3*h = 0, -2*b + 6*h + r = h. Which is smaller: d or b?
d
Suppose 0 = m + 5*m + 6. Let f be ((-1)/((-1)/(-6)))/m. Suppose -35 = f*t - t. Is -9 greater than or equal to t?
False
Let v(g) = -62*g**2 + 28*g**2 + 1 + 10*g + 35*g**2. Let p be v(-10). Let f = p + -86. Is f greater than -85?
False
Let z = -2632 + 2632. Is -14/55 <= z?
True
Let q(z) = -323*z + 2584. Let d be q(8). Which is smaller: d or -42/1525?
-42/1525
Let y be ((-5)/((-20)/24))/((-6)/(-4)). Suppose -2 + y = -2*m. Let h be ((-303)/99 - -3)*12. Is m != h?
True
Let l = -11.044 + -161.956. Is -2/37 <= l?
False
Let s = 24765.64 + -24766. Which is greater: s or -11/8?
s
Let g be (3502/357)/(-3*5/(-45)). Which is greater: g or 29?
g
Let u(v) = -233*v + 9*v**2 - 239*v + 2 + 469*v. Let q be u(1). Is 5 at most q?
True
Let g = -23.5 + 18. Let b = -0.446 + 5.936. Let i = g + b. Which is smaller: 0 or i?
i
Let g = -2438 - -2478.92. Let v = g + -41. Let f = 0.25 + v. Is f greater than or equal to -2/7?
True
Suppose 12*d = -13*d + 28*d + 330. Is d <= 2?
True
Let s = 821 + -822. Let y = -2803 - -569007/203. Is s less than or equal to y?
True
Let y(w) = -7*w + 19. Let p be y(-3). Suppose a + 5*v - 48 = 0, p = a - 0*a - 3*v. Suppose -3*m + 21 = -4*m + 3*b, 4*b = 3*m + a. Which is smaller: -11 or m?
-11
Let u = -851 + 661. Let t be -191 + (-3 - -9)/6. Is t equal to u?
True
Suppose z - j = 9, 3*z + 2*j - 17 = 7*j. Suppose 4*r - 5*l - 24 = 0, 20*r - 3*l = 18*r + z. Let q be (12/(-15))/(-1 + -1). Is r < q?
False
Let n = -7907.975 - -7908. Is 0.53 greater than or equal to n?
True
Let t = 22825629425/651567 - 7463276/213. Let w = t - -9/3059. Let a = w - -53/14. Is -4 < a?
True
Let f(w) = -123*w. Let g be f(-1). Let p = 5246 + -5149. Suppose g = -5*i - p. Which is bigger: -43 or i?
-43
Let n = -23.05 + 18.95. Let b = 12.3 + -8. Let f = b + n. Which is smaller: 2/9 or f?
f
Suppose -58*v + 7907 = 2107. Which is greater: v or 104?
104
Let p be (-18025)/(-150)*(-6)/(-21). Let s = p - 38627/1125. Is 1 greater than s?
True
Suppose -64*q = -13*q + 393*q - 444. Let w = -17 + 47. Let d be (-4)/(-80)*w/4. Which is smaller: d or q?
d
Let j = 10.1105 - 0.1105. Let h = 0.09 - -2.91. Which is smaller: j or h?
h
Let t(n) = -n - 7. Suppose -4*w = 2*a + 6 - 4, 2*a = 2*w - 26. Let h be t(a). Let y be (-10)/55 - (-360)/528. Are y and h equal?
False
Let j(g) = -g**2 - 16*g - 9. Let q be j(-14). Let u(k) = 3*k + 19*k**2 + 10 - 3*k - 8. Let o be u(-1). Is q at least as big as o?
False
Let f = -188/5 - -38. Suppose 3*r - 451 = t - 181, 5*t = 4*r - 360. Let g be (-300)/r + 8/6. Which is smaller: f or g?
g
Let g = -213614 - -1063877/5. Is g equal to -838?
False
Let o = 6380 + -6907. Which is bigger: o or -0.4?
-0.4
Suppose 0 = -4*w - 3*o - 6, 0 = -56*w + 52*w - 4*o - 4. Let u be (31 + -30 - (-4)/(-6))*w. Is 3/134 less than u?
False
Let p be (8 + -3)/((-2)/(-8)). Let g be (-5)/(p/12) - -13. Let m be 5/(g/(-6)) - -3. Which is smaller: m or 3/16?
m
Let r = 2.04 - -1.62. Let d = -3.56 + r. Is -18 < d?
True
Let q(m) = -14*m**2 + 13*m - 102. Let t(v) = 5*v**2 - 4*v + 34. Let l(r) = 6*q(r) + 17*t(r). Let h be l(-10). Which is greater: h or -1?
-1
Let a = -595 + 609. Let d be (42/a)/((-3628)/8 - 1). Is d smaller than -1?
False
Suppose 0 = l - 3*y + 11, 0 = 5*l + 4*y + 767 - 807. Which is greater: l or 157/31?
157/31
Let w = 929 - 787. Suppose -4*p = -726 + 158. Is p < w?
False
Let g = 5483 - 5551.1. Is g < -1/5?
True
Let g be (-1)/3*657*(-5 - -6). Let d = g - -214. Do -33 and d have the same value?
False
Suppose 8601 = -5*m + 3*a, 5*m - a + 8585 = -6*a. Let g = 6843/4 + m. Is 8 >= g?
True
Suppose -16*g + 10*g = -69*g - 98091. Is -1556 at most as big as g?
False
Let v be (-80)/(-24) - (-238)/(-21). Suppose -2*f = -3*f. Let n = -9 + f. Which is smaller: v or n?
n
Suppose -2*u - 19 + 27 = 0, 5*u - 1400 = 3*p. Let f = p + 464. Which is smaller: f or 28/9?
28/9
Let r = 537 + -485. Suppose r = n + 53. Let o = -2124 - -121064/57. Is n >= o?
False
Suppose -3*q + 1323 = -3*v, -4*v - 705 - 187 = -2*q. Suppose i + j - 1084 = 6*i, 2*i + q = -2*j. Are -217 and i unequal?
False
Let t(m) = -30*m**2 + 225*m - 32. Let i be t(16). Which is smaller: i or -4111?
i
Let w(o) = -o**3 + 26*o**2 - 17*o + 52. Let s be w(26). Let v be 4/6*s/52. Do v and -5 have the same value?
True
Let k(g) = -28*g - 11. Let r be k(-1). Suppose -3*w = 5*a - 72, w + 3 - 17 = -a. Do a and r have the same value?
False
Let q = 25 - 37. Suppose -10*h = -7*h - 2*p + 20, 0 = 4*h - 3*p + 27. Let b = h + -5. Is q <= b?
True
Let w(v) = -234*v + 2584. Let a be w(11). Is 1.08 <= a?
True
Let s be ((-1106)/84)/((-3)/6). Is s less than 27?
True
Let c = 738.3013 - 738.2. Are 0.5 and c non-equal?
True
Let o = -291 + 175. Let x = -52 + o. Which is greater: -167 or x?
-167
Let f be ((-5)/((-30)/4))/(22298185/735). Which is greater: -1 or f?
f
Suppose -816 = -187*p + 199*p. Let s = -110 - p. Suppose -4*z = -4*o - 184, -4*z = -7*z + 15. Is s < o?
True
Let n = -1186947/1795 - -13/7180. Which is greater: -660 or n?
-660
Let p = -12623 + 12638. Do p and 121 have the same value?
False
Let k be 2 - -26 - ((-6068)/1184 - (-2)/16). Is 44 greater than k?
True
Let o = 56550/281 + 5/1124. Is 202 at least as big as o?
True
Let w be 1530/222 - (-22 + 31). Which is smaller: w or -2?
w
Let f = 877 + -886. Suppose -q = -2*i - 3*i + 27, 3*q = -5*i + 19. Suppose 2*o = -w - 13, i*w + 7 = -2*o - 34. Which is greater: f or w?
w
Let w = 263/3 + -87. Let u = -98 + 97.883. Let n = -0.083 + u. Are w and n equal?
False
Suppose -2*d = -5*z - 30, 5*d - 37 = -0*d + 3*z. Suppose d*g - 57 = -42. Whic