be (10/(-5) - 0) + 3. Which is bigger: y or -2/633?
y
Let c be (5 - -7)/4 + 171. Is c less than 174?
False
Let i = -1090/7 - -156. Let x = 205/30096 + 1/304. Let p = -391/495 - x. Which is smaller: p or i?
p
Suppose n - 3*n = -2*y + 8, -y = 4*n + 16. Suppose -i - 61 = -1. Let m = i + 60. Is m > y?
False
Let x = 18 + 4. Suppose z - 3*p = -2, z - x = -4*z - p. Suppose -5*u + z*u = -1. Which is bigger: u or -1/28?
u
Let d = 818 + -818. Let m be -3 + 1/(-16)*-46. Are m and d non-equal?
True
Suppose -35 = 5*s + 3*z + z, 3*s = 3*z + 6. Let f be s/(-2)*(2200/(-15))/10. Which is bigger: f or -20?
-20
Let r(u) = -u + 5*u + 0 - 3*u + 4. Let a be r(-6). Suppose -5*v - 2*y + 9 = 0, -5*v + y - 4*y = -11. Are a and v equal?
False
Let w = 32 - 34. Let n be (w - (-141)/75)/((-6)/4). Let c = -1 - -1. Is n > c?
True
Suppose -9*d - 27 - 36 = 0. Is 12 != d?
True
Suppose 5*g = 10, -5*w - 7*g + 8 = -3*g. Suppose -5*l - 2*f + 5 = w, 9 = -4*l + 4*f - 15. Which is bigger: l or -2?
l
Let v = 2/21617 + -43392/1707743. Let s = 3 - 5. Is s less than or equal to v?
True
Let z = 150/23 + -427/69. Suppose 6 = -2*h + 14. Which is smaller: h or z?
z
Let h = 3.11 - -27.89. Is h at most as big as -6?
False
Let r be 0/4 + (-96)/4. Let o = -13 - r. Is 10 less than or equal to o?
True
Let n be 4*(168/(-32) - -5). Let z be ((-6)/10)/(8/10). Do n and z have different values?
True
Suppose 0 = -5*a - 5*v + 30, 0*a + 5*a - 4*v = -6. Suppose 13 = -a*r + 3*c - 4, 0 = -r - c + 4. Which is bigger: -3/8 or r?
-3/8
Suppose 0 = 4*u - 16, -21 = -5*o + 2*u + 31. Let z = 47 + -30. Let w = z + -16.9. Is w > o?
False
Suppose 0 = j + 2*j + 15. Let r = 96.02 - 96. Which is greater: r or j?
r
Let g be (-42)/15*(-10)/(-2). Let c = 22 + g. Let s = -3 - -2.9. Which is greater: s or c?
c
Let d = -0.835 + 1.835. Is d bigger than 0.0759?
True
Let m = -181 - -222. Which is greater: 39 or m?
m
Let z = 0.7 + -3.7. Let j = -547.9 + 526.9. Which is smaller: j or z?
j
Let f = -543.1 + 543. Which is smaller: -2/5 or f?
-2/5
Let u = -70 - -72. Suppose 5*g - 5 = -5*c, -5*g - 1 = 14. Suppose 10 = 2*k + i, -3*i - 8 = -c*k - 8*i. Is u < k?
True
Let n be (124/(-1519))/((-100)/(-14)). Let h = 0 + 0. Which is smaller: n or h?
n
Let l = -238 - -239.6. Are -2 and l equal?
False
Let m be 2/(-6) - (-2 - 204/(-9)). Let b be (m/(-6))/((-15)/(-6)). Is 1 >= b?
False
Suppose 4*a - 68 = 5*f, -2*a = 3*f + 15 - 49. Suppose d + 5 = 3*g - a, -4*d + 56 = 4*g. Which is smaller: g or 7?
7
Let j(z) = -z**3 - 3*z**2 + 6*z - 20. Let k be j(-5). Suppose 3*v - 2*r - 6 + 4 = 0, k = -4*r - 16. Which is greater: v or 0?
0
Let w = -7.11 - -7. Let v = w - -0.31. Is v >= 4?
False
Let k(n) = 8*n + 50. Let t be k(-8). Let j(o) = -o - 24. Let f be j(t). Which is greater: -12 or f?
f
Let q be (-10124)/12 + -2 + (-12)/3. Let p = q + 859. Which is greater: 10 or p?
10
Let w = -4125/68 + -37/34. Let g = 3077/44 + w. Is 8 < g?
True
Let g = -1128 - -1124.71. Is 3/2 smaller than g?
False
Let a = 2/9805 - 49593/2784620. Is 0 at most a?
False
Let t = -40 + 45. Which is greater: t or 0.1?
t
Let u = -1337/2340 + 11/45. Which is smaller: 1 or u?
u
Let p be 4/80*18*(-475)/60. Which is bigger: -8 or p?
p
Let v be 220/6 + 340/255. Is 42 bigger than v?
True
Suppose -5*r - 180 = -3*c, -2*r - 2*r - c = 144. Let b = r + 35. Let j be (-1)/((0 - 0) + -1). Is b at least as big as j?
False
Suppose 0 = 5*r - 10. Suppose 10 = -2*k, 5*k + 1 + 10 = -r*i. Let f(z) = -z**3 + 8*z**2 - 8*z + 10. Let b be f(i). Is b != 3?
False
Let g(f) = -6*f + 59. Let q be g(9). Are 70/19 and q non-equal?
True
Suppose 10*k + 21*k - 31 = 0. Let w be 10/15*3/(-181). Which is smaller: k or w?
w
Suppose -4*z - 125 + 9 = 0. Let q = -20 - z. Suppose -q + 3 = d. Is -4 less than or equal to d?
False
Let d = 223 - 224. Is -3/11 >= d?
True
Let f be 134/504*-4 + 6/(-27). Are 10 and f non-equal?
True
Let u(h) = -h**3 + 19*h**2 - 32*h - 4. Let p be u(17). Is -0.4 at least p?
False
Let r be (74/(-333))/(14/39). Are r and 0 nonequal?
True
Let b(c) = 13*c + 384. Let g be b(-29). Let r be (-4)/10 - (-717)/105. Are r and g unequal?
True
Let k(b) = -2*b**2 - 6*b - 5. Let f be k(-1). Suppose 20 = 3*w - 1. Let v be -2*w/12 - -1. Is v at least f?
True
Let x = -339 - -382. Are 44 and x non-equal?
True
Let k = 41 - 38. Let x = k + -2. Is x at least as big as -3?
True
Let c be (-6)/(-2) - (-6 + 79). Which is smaller: -71 or c?
-71
Suppose 178*m - 181*m = -72. Is 14 at most m?
True
Suppose -2*m - 2*m = -8. Let p(h) = 6*h. Let a be p(m). Let n be (a/(-16))/(27/(-30)). Is 1 < n?
False
Let o be (-110)/9 + 1 - (-10)/45. Let f = -9 - o. Is f < 2?
False
Suppose -11*a - 21 = -32*a. Is 33/23 smaller than a?
False
Let h = 148 + -148. Let b = -11 + 7. Which is smaller: h or b?
b
Let a be -5 - (67/5 - 21/(-35)). Let b be 6/4*4/3. Suppose d + b = -18. Which is greater: a or d?
a
Let w(b) = -b**2 + 2*b + 19. Let s be (1 - 1)/4 - 14. Let m be w(s). Let x = m - -1847/9. Are x and 4 unequal?
True
Let m be (-19 - -9)*(-2)/5. Let g be (-3)/m + 344/32. Let q = g + -10. Is -4/17 not equal to q?
True
Suppose 0 = 3*o - 2 + 5. Let w be (-46)/(-529) - ((-1515)/(-759) + -1). Is w greater than o?
True
Let k be (12/(-10))/(5 - (-57)/(-10)). Which is greater: -5 or k?
k
Let d be (-2*(-3)/(-18))/((-145)/(-83955)). Does d = -196?
False
Let w = -72 - -18. Let p = 56 + w. Which is greater: p or -7?
p
Let d = -9 + 13. Let q = 5 - d. Which is smaller: -2/7 or q?
-2/7
Let z be -6 + 7 + 24/(-28). Is z bigger than -0.3?
True
Let a = -51/61 - 44387/244. Let c = 361/2 + a. Is -1 bigger than c?
True
Let m(p) = p**3 + 22*p**2 - 25*p - 22. Suppose o - h = -11 - 12, 0 = o + 2*h + 23. Let v be m(o). Is 26 < v?
False
Let a = 42 - 79. Let q(z) = z**3 + 6*z**2 + 7*z + 6. Let b be q(-6). Are b and a non-equal?
True
Let a be 3701/(-336) - (2 + -13). Is 1 bigger than a?
True
Let q(y) = -y**2 + 9*y + 7. Let s be q(7). Suppose -4*x + 20 = 0, -g = -0*g - 5*x + s. Suppose -2*c - 5*b - 2 = -g, 0 = 3*b. Is c at most -4/19?
False
Suppose h = -h. Let b be (3 - 0) + 13 + h. Is b > 33/2?
False
Let p be 1 + 4 - (-247)/(-52). Is -272 greater than or equal to p?
False
Let s be 14 + (-3 + 2 - -3). Suppose -3*n = 3*t + 3, -4*t + 4*n + 39 = 3. Suppose k = -5*z + 46 + 33, 4*k = -t. Do z and s have the same value?
True
Let t(d) = -12*d**2 + 2*d - 85. Let z be t(0). Is -82 smaller than z?
False
Let a be ((-1)/(-3))/((-4)/6). Let n(s) = -s**3 + 3*s**2 + 6*s - 7. Let l be n(5). Let k = l - -80/3. Is k >= a?
True
Suppose -12 = 4*z + 3*i, -z - 12 = -4*i + 7*i. Let t be (3 - 0) + (3 - 5). Is z > t?
False
Let s be ((-14)/21)/((-370)/6). Which is greater: s or 0?
s
Let x be -9 + 19 + -8 - -32. Is x greater than 34?
False
Let r be 1*(0/(-3) + -1). Let y be -4 - 3/(-4)*5. Which is bigger: r or y?
y
Let x = -71.2 + 123.3. Let s = -52 + x. Is 24 smaller than s?
False
Let x = -82.3 - -80.3. Suppose u + 1 = 3. Let a be (-40)/(-18) - (u - 0). Which is bigger: x or a?
a
Suppose -3*z + 26 + 91 = 0. Let b = z + -39. Which is greater: b or -3?
b
Let b = -1783 + 1955. Which is greater: b or 166?
b
Let r = 51 + -47. Suppose -5*z = r - 9. Which is smaller: -1/84 or z?
-1/84
Let v = 298 - 297.1. Is 1/2 at most v?
True
Let v be (-1020)/(-4680) - 2/12. Which is smaller: v or -2.3?
-2.3
Suppose 2*y + 7 + 5 = 0. Suppose 0 = -5*p - 5 - 10. Let t = p - y. Is t <= 4?
True
Suppose -i - v = 1, -3 = -i + 3*v - 8*v. Let p(f) = -f**3 - f**2 - f - 2. Let s be p(i). Suppose 3*u = 3, 0 = 5*r - s*u - 5 + 4. Is 2/35 bigger than r?
False
Suppose 5*i = -2*v + 38, 3*i - 1 + 7 = 0. Let x(z) = 23*z**2 - 5*z - 5. Let o be x(-1). Is o greater than v?
False
Let o be (((-18)/4)/(-3))/6. Suppose i - 5 = -3*p, 5*i + 6*p - 64 = 4*p. Do o and i have the same value?
False
Suppose 8*x - 9*x = -4*z - 5, 6 = 2*x - 4*z. Let h be -1 - ((-104)/46)/2. Is x equal to h?
False
Let o = -4 - -4.3. Let r = 0.0454 - 62.1454. Let t = r - -62. Is t less than or equal to o?
True
Let i = 3.5 + 0.5. Let r = -4.28 + i. Let l = 0.12 - r. Is l at least as big as 0.2?
True
Let r be (-3 + 4 - 3) + 0. Let k be (-12 - 22)*r/(-4). Is 1 <= k?
False
Let w = 0.05 + 9.95. Let c = w + -10.06. Let f = -3.94 + c. Which is bigger: -0.2 or f?
-0.2
Let k = -8/7 - -13/14. Which is bigger: -2/29 or k?
-2/29
Suppose 0 = -5*g + 4*i + 48, -g = -4*i - 10 - 6. Let t be (-4)/g*2*-2.