u - 2*d = v. Let o be u/44 + 12/(-48). Which is greater: o or -1?
o
Let o = 58275 - 33974337/583. Is o greater than -1?
True
Let g be ((-4692)/391)/((-17)/(-6) + -1). Let b(y) = -8*y**2 - y. Let v be b(-1). Are g and v equal?
False
Let w = 38 - -1. Let j = 58 + -59. Let t be (-1)/j*9/(63/7). Do w and t have the same value?
False
Let k be ((-79944)/(-107104))/(-3) - 2/(-8). Which is smaller: 1 or k?
k
Suppose 0 = -16*w + 11 + 37. Suppose 3*q = 5*a - 409, w*q + 4*a - 82 = -473. Are q and -132 equal?
False
Suppose 0 = 4*r - 2*h - 5030, -5*r + 4827 = 5*h - 1498. Let s = r - 81897/65. Are -1 and s unequal?
True
Suppose -608 = 91*b - 8525. Which is bigger: 90 or b?
90
Let w = 8304 - 8286. Are 11 and w nonequal?
True
Let m = -688.4 - -354.4. Which is greater: m or -0.4?
-0.4
Let u = -53 + 78. Let b be (-6)/4*8*u/(-75). Suppose -6 - 10 = b*y. Which is smaller: y or 2?
y
Suppose 3*c = w - 55, -13 = c - 4*w + 9. Let b be (-1)/(-9)*-154 + 8/18. Which is greater: b or c?
b
Suppose -45*t = -17*t - 56. Let l be (-74)/(-5)*(-1)/t. Which is smaller: -7 or l?
l
Let c = 4 - 31. Let i be 0 + 36/c*(-106)/(-8). Is -19 less than or equal to i?
True
Suppose 0 = -5*i - k - 3, 0 = i + k + 2 + 1. Suppose -4*p - 9 - 15 = i. Let h be 2/p - (-299)/483. Is 4/3 greater than h?
True
Let d = 6907 + -6827. Let y = 3245 - 6331/2. Is y less than or equal to d?
True
Suppose 11*z + 16 + 17 = 0. Let h(p) = 194*p - 194*p + 1 - p**3. Let c be h(2). Which is smaller: z or c?
c
Let d(u) = -221*u - 1564. Let z be d(-14). Do z and 1532 have the same value?
False
Suppose -l = -0*l - 4, 4*a = 3*l - 8. Let c = 15 - 16. Let u be c + (7 - a) - 4/1. Is -12 <= u?
True
Let x be (-8)/4 - 76/(-19). Suppose w + 8 = -4*t + 7, -2 = -4*t - x*w. Is -3/632 at least t?
True
Let s = 67 - 55. Let d be 6/4*-2*6/(-2). Which is smaller: d or s?
d
Let k = 7848 - 7770. Is -4/3 bigger than k?
False
Let o(k) = -k**3 - 51*k**2 + 383*k - 6. Let z be o(-56). Are z and -5775 equal?
False
Suppose -5*l = -25 - 15. Suppose -4*s = -2*s - l. Which is smaller: -0.5 or s?
-0.5
Let d(a) = -8*a**2 - 57*a - 53. Let r be d(-6). Is 74/483 at most as big as r?
True
Suppose 5*n + 5 = 5*f, -134*n - 4*f = -130*n - 12. Which is smaller: n or 3/410?
3/410
Let m = -1988 + 1987.83. Suppose 3*i + 7 = -35. Let w be 12/i*(-2)/6. Do m and w have the same value?
False
Let m = 14 + -8. Let o be (40/(-2))/(11 + (-10 - 3)). Let p be o/90 - 142/(-18). Which is smaller: m or p?
m
Suppose 4*q = 10 - 2. Suppose -a = -q*f + 6*f - 11, -5*a = -5*f + 20. Which is bigger: 1/384 or a?
1/384
Let u(n) = -n**3 + 13*n**2 - 4*n - 29. Let m be u(12). Let l = m - 58. Suppose -3*b - 87 = -l. Is -25 not equal to b?
True
Let k = -182 - -181.836. Let u = k + 0.174. Are -0.4 and u unequal?
True
Let k(b) = b**2 + 13*b + 31. Let w be k(-10). Let o be w + 1*((-45)/(-20) + -4). Let g(q) = q**2 + 7*q + 3. Let j be g(-6). Which is greater: o or j?
o
Let r(q) = q**3 + 10*q**2 + 24*q + 95. Let w be r(-9). Is w smaller than -42?
False
Suppose -14*y + 17*y = -126. Let q be 129/(-2)*(-6)/(-9). Is q >= y?
False
Let n = -5833 + 1041. Which is smaller: n or -4790?
n
Let o(x) = -3*x**2 + 208*x - 420. Let q be o(66). Is 1688/7 greater than q?
True
Let p = 395 + -402. Let c = 202 - 193.3. Let g = p + c. Is g <= 2/11?
False
Let f = -93 - -93. Suppose n - 14 + 2 = 0. Which is greater: f or n?
n
Let g(z) = -z + 13. Let w be g(10). Suppose -w*f = -0*f. Let i = -70/53 - -433/689. Is i less than or equal to f?
True
Let t be (-44808)/138 + (-5)/(-1). Let p = t - -21225/391. Let z = p + 265. Which is smaller: -1 or z?
-1
Let d(q) = -q**2 - 20*q - 35. Let w be d(-19). Suppose 2*z = -4*t + 380, -2*t + z + 190 = 3*z. Suppose 20 = 5*k + t. Which is bigger: k or w?
k
Suppose 0 = -p - 114 + 32. Let s be p/2 - (0 + -4). Which is smaller: -223/6 or s?
-223/6
Suppose -5*d + 5*c - 15 = 0, d + 9*c = 5*c + 17. Let o = -19.3 + 425.3. Which is smaller: d or o?
d
Suppose 186118 = 25*g + 10992 + 18951. Which is greater: 6245 or g?
g
Suppose -5*b = 4*v + 41, -2*v + b = -3*b - 12. Let w be (v - -3)/((-462)/12). Suppose 5*y = d - 3, -2*y + 4*y + 5*d + 12 = 0. Are w and y equal?
False
Suppose 0 = -3*v - 807 + 3006. Let j(f) = -2*f**3 - 722 + 3*f + f**3 - 6*f**2 + v. Let k be j(-5). Is -28 >= k?
True
Suppose 4*z = 91721*w - 91724*w - 270, 310 = -5*w + 5*z. Let t be (-1 + -2)/((-9)/(-6)). Do w and t have the same value?
False
Let l = -6653 - -6653. Is 6/895 < l?
False
Let w = 185.872 + -147.82. Let o = 38 - w. Let a = 0.022 + o. Which is smaller: a or -0.5?
-0.5
Let w = 51 + -26. Let b be (-30)/26 + 9*16/936. Is w smaller than b?
False
Let i = 36 + -30. Suppose i*a + 37 = -53. Let r be (5/a)/((-2)/(-6)). Which is smaller: r or 1/17?
r
Let n = -0.206 + 0.576. Let z = n - -2.63. Is z less than or equal to -23?
False
Let r(y) = 343*y - 1238. Let f be r(4). Which is bigger: f or 132?
f
Let o = -1025840/18837 - -708/13. Is 1 equal to o?
False
Let p = -2 + 20. Suppose 161*z = 158*z - p. Let y be (z/(-15))/((-8)/(-70))*22. Is y less than or equal to 78?
True
Let t be 15/(-12) + 15/(-20) - 14. Let w be (t*(-4)/28 - 2)/1. Let f = -15 + 27. Which is greater: w or f?
f
Let z = 272 + 301. Let k = z - 573.1. Is k <= -127?
False
Let l = 39454/23 + -163499975/95312. Let c = l + -3/112. Is -0.2 bigger than c?
False
Let r = 31 + -41. Suppose 0 = 5*m - 4*z - 70, z + 27 = 4*m - 29. Let p = 2 - m. Is r <= p?
False
Let i = 627 + -574. Is 10 >= i?
False
Let r = -11505932227/23097 - -498157. Which is greater: r or -1?
r
Let d = -10541 - -10668. Is d less than 6?
False
Let n = -680 - -166. Let j(c) = 47*c - 91. Let m be j(-9). Is m less than n?
False
Let l be ((-63)/3570*-34)/((-107)/5 + 0). Is -2/7 <= l?
True
Let m be ((-4)/36)/(17 + -20)*-6. Which is greater: 2772 or m?
2772
Let k(d) = -11 - 5*d - 41*d + 14. Let m be k(2). Let x = m + 98. Which is greater: x or 7?
x
Let q = 929.96924 + 0.03076. Is q < 2?
False
Let n(r) = 62*r + 3261. Let l be n(-50). Which is smaller: l or 1776/11?
l
Let d(a) = 5*a**3 - 3*a**2 - 3*a - 5. Let i be d(4). Suppose -3*q - i = 2*q. Let p = -8639 - -8588. Is q equal to p?
True
Let i(y) = 23*y - 133. Let x be i(6). Suppose -f + 10 = f + x*q, -q - 22 = -2*f. Which is smaller: 8 or f?
8
Let d = -330.91 + -4.09. Let i = d + 423. Which is greater: 0.1 or i?
i
Suppose -4 - 10 = -7*f. Suppose f*h = -4*h - 1074. Let c = 88 + h. Is c >= -90?
False
Let p = 6019/86 - 70. Let t(w) = -w**2 - 29*w - 78. Let c be ((-148)/(-111))/(0 - (-4)/(-78)). Let z be t(c). Are p and z non-equal?
True
Let y be ((-11)/(-44))/((-147)/24). Let x = 3193/196 + y. Which is bigger: x or -1?
x
Let k = -11521 + 11473. Is 3 smaller than k?
False
Suppose -33423 = -2*i + 131*j - 132*j, 0 = -j + 3. Is i greater than or equal to 16710?
True
Let r = 4.7881 - 0.0181. Let g = r + -4.8. Is -23 < g?
True
Let z = -1/772 + -422281/2316. Let k = -179 - z. Which is greater: 4 or k?
4
Suppose -26 = -21*a - 5. Let q be 12 - 184/4 - (a - 2). Is q equal to 4?
False
Let g be (16/(-12))/(((-2)/(-81))/(-2)). Is g equal to 103?
False
Let w = 9258291/4 + -268440325/116. Let b = -432 + w. Suppose 0 = 5*v - 6*v. Is v smaller than b?
True
Let u = 0.15 - -56.85. Suppose -k + 1 = 4*s - 8*s, -5*k = s - 5. Is u > k?
True
Let z = 2896 + -3110. Which is smaller: -14 or z?
z
Suppose 3*b + 4*r = -5, -26*b - 9 = -31*b + 2*r. Let z = 83/6 - 857/62. Which is smaller: b or z?
z
Suppose -3*f = -5*q - 21932, 2*f - 9309 + 533 = 2*q. Let z be (-5)/2 - -3 - (-2160)/q. Which is smaller: z or -1?
-1
Suppose -10*f - 119 = 1. Let v be 11506/(f - -1)*(-1)/2. Which is greater: v or 0.1?
v
Let f = 980 + -988. Let i be 11/(-13) + f/52. Which is smaller: i or -2/1157?
i
Let t be 129/2*92/(-69). Let o = -52 - t. Suppose -4*h = -0*g - 3*g - 137, 5*h = g + 174. Is h <= o?
False
Let i = 0.0305 + -2.0805. Let a = i - -2.5. Which is greater: a or 2/19?
a
Let p be (-6)/(-18)*(-4)/(-6). Let k be ((-2)/4)/(404/16). Which is smaller: p or k?
k
Let q = -341 + 334. Which is smaller: -25 or q?
-25
Let s = -80 + 2316/29. Let n = s + -651/116. Which is bigger: -7 or n?
n
Let c(t) = 4*t**2 - 5*t + 1. Let i be c(6). Suppose 19*w - 151 = i. Is 15 at least as big as w?
True
Let q(s) = -104*s - 2. Let i(c) = 311*c + 5. Let v(b) = -3*i(b) - 8*q(b). Let f be v(1). Let k be (2 - 0)*(3 + f/32). Which is greater: 