ue
Let q = -53 + 55. Suppose -q*u = u + u. Suppose u*i + 20 = i + 4*o, 4*i = 3*o - 15. Which is bigger: -7/13 or i?
i
Let z be 3 + 10/(-14) + (-26)/91. Suppose 14 - z = -4*g. Let k be g/((-45)/5)*3. Which is smaller: k or 7/3?
k
Let j = 4777/4 - 1210. Let b = -1813/4 - -1409/3. Let q = b + j. Which is smaller: q or 0.059?
0.059
Let q be (-3 + 18 + -15)/(-1). Which is smaller: 31/81 or q?
q
Let x be (-5 + 6)/(1/8). Suppose -5*i - x = -4*z + 36, 5*z + 80 = -5*i. Let f be (-3 + 5/(-15))*i/(-10). Are -2 and f non-equal?
True
Let o = -8678 + 10094.1. Let l = -1416 + o. Let w be (2 - (2 - 1))*-9. Does l = w?
False
Let z be ((-566)/2)/(1712/(-24) - 1). Let s = z - 15/31. Is 2 less than s?
True
Let h = 46 + -48. Let q be 16/(h + 15/6). Let s be (-3 - 88/(-24)) + q/(-57). Is 0 > s?
False
Let i(k) = -k**3 + 23*k**2 + 296*k - 258. Let j be i(32). Is j >= 320?
False
Let w(l) = -10*l + 45. Let h be w(6). Let m be (h/(-6))/((-6)/(-12)). Let d be ((-2)/4)/(m/(-50)). Is 2 greater than d?
False
Suppose 3*d + 2*g = 15, -g + 20 = 4*d - 5*g. Suppose r - d*q = 17, -7 + 2 = -5*r + 5*q. Which is smaller: r or -54/19?
r
Let h = 89 + -46. Let g(f) = -351*f + 1448. Let t be g(4). Are t and h unequal?
True
Let y = 0.0677 - -14.9123. Let b = 1.02 + y. Let s = 42 - b. Which is bigger: s or 2?
s
Let k(x) = -13*x**2 - 220*x + 545. Let l be k(-20). Is -253 less than or equal to l?
False
Let w = -10064 - -15868. Does w = 5805?
False
Let g be (1173/11)/(-3) + (2275/77 - 29). Which is smaller: g or 0.06?
g
Let q = 3.382 + 417.418. Let b = q - 421. Is -15 at least as big as b?
False
Let r be (1392/406)/(6/(-63)). Which is bigger: r or -21?
-21
Let s = -49 + 49. Let r = -1.91 + 89.91. Are s and r non-equal?
True
Suppose 15*h - 21*h = 8*h - 14. Are -8/4049 and h nonequal?
True
Suppose -4*b + 2*u = 0, -5*b - 22*u = -23*u + 6. Which is smaller: b or -886?
-886
Suppose 0 = 4*d - 3*a - 173, -d + 47 = -0*d + 3*a. Let y = d + -45. Let h be y - ((-52)/(-20) - -4). Is -8 at most h?
True
Let y = -16813/286 + 664/11. Which is smaller: 1 or y?
1
Let n = -0.3 - -2.3. Let l = 0.21 + -1.21. Let x = n - l. Which is bigger: -1 or x?
x
Let r be 4*(-8)/(-256) - (7/(-8) - 0). Is r < 1/9198?
False
Suppose 15535*n + 4 = 15539*n. Is -3/2332 less than n?
True
Let t(g) = g**3 + 14*g**2 - 35*g - 20. Let h be t(-16). Let k be (-4)/6*(3 + 33). Let n be (k/h)/(1/7). Is -6 at least n?
True
Suppose -9488 - 7760 = 28*m. Which is smaller: m or -622?
-622
Let t = 2.624 - 6.54. Let j = 50 + -49.916. Let y = t - j. Is y smaller than -0.1?
True
Let h(s) = s**2 + 7*s + 1. Let r(k) = -2*k**2 + 2*k + 5. Let y be r(3). Let l be h(y). Let q be 1/(-4 + (4 - l)). Is 1/11 != q?
True
Let a(o) = -142*o - 700. Let n be a(-5). Which is smaller: n or 50?
n
Let l = 3.89 + 0.11. Let i = 453.5 - 580. Let x = i + 127. Do x and l have the same value?
False
Let r(l) = -l**2 - 20*l + 99. Let f be (-5)/((-10)/4)*(-350)/28. Let o be r(f). Is o greater than -30?
True
Let i(u) = -210*u - 6931. Let c be i(-33). Let k = -84/61 + 1953/488. Let q = -181/72 + k. Which is greater: q or c?
q
Let a = -1 - -1.1. Let j = -863 + 434. Let r = j + 409. Is r greater than or equal to a?
False
Suppose 0*n = 2*n - 10, -5*t + 4*n = 10. Let x be ((-10)/(-4) + -2)/t. Let c = 4/81 - 137/1134. Is x > c?
True
Let l(v) = 28*v**2 - 880*v - 18. Let d be l(31). Which is smaller: -382 or d?
d
Suppose 770*s = -l + 767*s - 6, 2 = -5*l - s. Which is bigger: -30/161 or l?
l
Let b(j) = -3*j**3 + 45*j**2 + 19*j + 32. Let v(n) = 2*n**3 - 43*n**2 - 20*n - 31. Let a(g) = 4*b(g) + 5*v(g). Let r be a(-17). Is r at most 2/7?
False
Suppose -986 = -26*i + 28*i. Let b = 379 - i. Let c be (-4 + b/208)*(-1)/5. Do c and 1 have the same value?
False
Let k(f) = 45*f - 2497. Let d be k(88). Do 1461 and d have the same value?
False
Let l(i) = i**2 - 3*i - 17. Let r be l(9). Let j(c) = c**3 - 3*c**2 - 3*c - 1. Let y be j(3). Let v(a) = -5*a - 12. Let q be v(y). Is r less than or equal to q?
True
Suppose 0 = -3*w - k + 52, -4*w - 2*k = k - 76. Let y = 210 + w. Let z be -1 + y/(-74) + 4. Is 0 bigger than z?
True
Suppose -35*y + 36*y = -5. Let i be (-144)/165 + (-3)/y. Are i and 0 equal?
False
Let l = 44.98 - 43.213. Which is smaller: -2 or l?
-2
Let c = 12/187 - 6979/935. Let d(y) = -y**3 - 3*y**2 + 39*y - 71. Let t be d(3). Is c equal to t?
False
Let o be (-4)/(-8)*-2*(2 - 3). Which is smaller: 1/2961 or o?
1/2961
Let r = -151/10516 + -2/239. Let p be (5/((-20)/(-52)))/(2/2). Suppose -p*m + m + 12 = 0. Do r and m have different values?
True
Let z be -4*(-24)/20*(-30)/(-4). Let l(h) = -36*h - 1. Let p be l(-1). Let t = p - z. Which is bigger: 6/25 or t?
6/25
Let l be 1/3*0 - -6. Suppose 3*a = 2*a - 2*w + 6, -16 = -4*w. Which is smaller: l or a?
a
Let r = 4 + -2. Suppose 8 = -d - 4*a, -5*d - 2 = 3*a - r*a. Let o = 17009/305946 + -2/50991. Which is bigger: o or d?
o
Let b = -1045 + 1368. Is 316 <= b?
True
Let o = -9513 - -9859. Is 347 less than o?
False
Suppose -50 = -3*q + 15*q + 13*q. Which is greater: q or 145?
145
Let h be 1240/434 - 12/14. Which is greater: h or -2.1?
h
Let q = -179 - -178. Let o be (-6)/(-1) - (28 - q). Which is greater: -25 or o?
o
Let h be (240/18)/(-10)*(-6)/2956. Is h greater than 1?
False
Suppose 213*k + 55492 + 239953 = -69211. Is k >= -8558/5?
False
Suppose -5*f + 8*f + 153 = 0. Let y = f + 53. Let j(r) = -3*r + 3. Let x be j(y). Which is smaller: 1.2 or x?
x
Let f(u) = -3*u**3 - 77*u**2 - 74*u - 65. Let c be f(-30). Which is greater: c or 0?
c
Suppose j + 23 = -13. Let y be (-75)/(-6)*(j/20 - 3). Let m = y - -59. Which is greater: m or -3/46?
-3/46
Let j = -0.25 + -0.09. Let u = -0.44 - j. Let c = 17 - 17. Do u and c have different values?
True
Let n be (-50 - (44 + -92))*((-11546)/(-4))/(-1). Is 11547/2 at least as big as n?
True
Suppose -3*q + 1 = 5*k, -k + 5*k - 2*q + 8 = 0. Let t be 4*(3/12)/((-3)/138). Let v be 1 + t/(-24) - (-119 + 122). Is v at least as big as k?
True
Let r = 215246/101 + -263394533/121503. Let w = 5/401 - r. Are 37 and w unequal?
True
Let s be (43 + -43)*((-8)/6 - 15/(-18)). Let j = -197 + 342. Let o be j/(-612) - (-2)/8. Is s at least o?
False
Let h = 2 - 3. Let p be (-58)/12 - (-3)/(-18). Let t be (-64)/(-162)*p - (-3 - -1). Which is smaller: h or t?
h
Let f be -1 + (-126)/31*(-12)/(-18). Which is smaller: -5 or f?
-5
Let i(z) = -z**3 - 21*z**2 - 99*z - 8. Let d be i(-7). Which is smaller: d or 2/12679?
d
Let i(f) = 395*f - 5747. Let u be i(14). Do u and -237 have the same value?
False
Let x = -5857 + 5093. Which is smaller: 0.03 or x?
x
Let x be (0 - 16/(-6))*(0 + 3). Let z be 1698/22 - (x/(-44))/(-1). Is z smaller than -2/5?
False
Let z(o) = 2*o**3 - 4*o**2 - 12*o - 3. Let w be z(-11). Let t = -5181 - w. Let c = t + 10896/5. Is 15 at most as big as c?
True
Let w(c) = -3*c**2 + 139*c - 919. Let d be w(8). Is d >= -5/5948?
True
Suppose -3*n + 481 = 2*y, n - 13*y - 163 = -11*y. Let v be ((-2)/(-3) - n/84) + 2. Which is smaller: v or 0?
0
Let n(d) = -14*d**2 + d + 2. Let j be n(-1). Let h(k) = -k**2 + 7*k + 19. Let l be h(10). Which is bigger: j or l?
l
Let k = -182578 - -1844585532/10103. Which is greater: k or -1?
k
Let w be ((-2)/10)/((-9)/81). Which is bigger: -3/22 or w?
w
Let f(d) = -d**2 - 26*d + 19. Let x be f(-26). Suppose -x*i = -10*i - 9. Do i and 1/366 have different values?
True
Suppose 0 = -l - 4*u + 9, -6 = -l - 4*u + 3*u. Suppose l*o + 5*w = -0*w - 275, 0 = 5*o - 2*w + 261. Let y = 3 - 10/3. Is y less than or equal to o?
False
Let b be (4 - 4) + 2 - -148. Let l be b/(-189) + 8/14. Suppose -2*m = -m - 1. Is l at least as big as m?
False
Let o = 8233 + -8232. Is o < 913?
True
Let h be 2/14 - (-27)/(-42). Let u = 84.3606 + -0.3606. Is h >= u?
False
Suppose -k - 22 = -2*l - 0*k, -2*l - 2*k = -28. Let j be (-46)/52 - ((-66)/l - -6). Suppose 3 = -2*c + 1. Is j at most as big as c?
True
Let y = 19331628/53 + -364761. Is y >= -14?
True
Let k = 117 + -341/3. Let t = 199760 + -199752. Which is smaller: t or k?
k
Let m = -4 + 37. Let j = m + -32.9. Let n = 9.15 + -0.15. Which is smaller: j or n?
j
Let t = -68659/108 + 2549/4. Which is smaller: 1 or t?
1
Let j = -245143/11594 + 4/527. Which is greater: j or -22?
j
Let d be 21/(-4) + 2 - -3. Let w = 2.061 + -2.097. Which is smaller: w or d?
d
Let j be (-13 + (14 - 3))/((-30)/25). 