0 + -113. Which is smaller: o or -0.6?
-0.6
Let v = 3.1198 - 0.1198. Which is smaller: 0.073 or v?
0.073
Suppose -3*q - 2*m + 10 = 0, 0 + 18 = 5*q + 3*m. Let y(d) = d + 9. Let f be y(-6). Suppose 0 = -f*v + w + 11, -8 + 1 = -3*v + 2*w. Is q <= v?
False
Let r(j) = j + 8*j - 4*j + 4 - j**2. Let k be r(6). Let s = -2 + k. Is -3 < s?
False
Let w = -862/5 - -1729/10. Is 42 smaller than w?
False
Let f be (2/(-1432)*3)/((-94)/(-1128)). Is 0 at most f?
False
Let y be (-4)/(-42)*(-44 + 122). Let x = -3135955/355929 - -1417/997. Let s = x + y. Is s less than or equal to -1?
False
Let q(b) = -14*b - 83. Let l be q(-6). Do l and -209 have different values?
True
Let j = 0.16 + -0.16. Let x = 0.19 - 0.36. Let g = x - -0.57. Which is greater: j or g?
g
Let n be (-24)/228 - 1/38*-4. Which is smaller: 1/3390 or n?
n
Suppose 5*c - 54 = -2*m, -2*c - 4*m = c - 24. Suppose 0 = 3*n + c, 0 = 2*w + 3*w + 4*n + 31. Let d be w/(-2)*4/12. Is -2 < d?
True
Let p = 391 + -394. Is p less than or equal to -40?
False
Suppose -2 = -2*g, i + 5*g = 5*i + 29. Let f be -3 - (-3)/9*i. Let x be (-33)/9 + 2/(-6). Which is smaller: f or x?
f
Let k = 14 + -15. Let m = -6 + 13. Suppose -m*g = -3*g + 8. Is g at most k?
True
Let h be (((-405)/(-18))/15)/(3/2). Is h at most -1.1?
False
Let z(a) = 23*a**2 - 6*a - 12. Let f be z(-3). Are f and -0.2 equal?
False
Let h = 1888 - 5768/3. Which is bigger: h or -36?
h
Let t = 150 + -77. Is 73 greater than t?
False
Let r be (10 + -9)/((-2)/(-4)). Suppose -5*j - 3*u + 8 = 0, r*j + 5*u - 2 = 5*j. Which is smaller: j or -3?
-3
Let q = -11 - -7. Suppose 6*h = -h - 35. Let n be (-1)/h + (-21)/5. Is n greater than q?
False
Let y = -938 + 937. Is -21 bigger than y?
False
Suppose -2*y = -9*y + 42. Let g be 4 + -3 + -7*1. Let o = 11 + g. Is y at most as big as o?
False
Let f = 0.14 + -0.04. Let o = 4 + -3.93. Is o < f?
True
Let u be (2/8)/(69/36 - 2). Which is bigger: u or -14/5?
-14/5
Let a be 2 - (4/1 + -8). Suppose a + 54 = 5*t. Let d be t/(-7)*56/(-40). Which is greater: 1 or d?
d
Let l = -199 - -197.02. Let g = l - 0.02. Let d = 3 + -7. Is d less than g?
True
Let v be 4/6*1/(-2). Let w(z) = z**3 - 8*z**2 + 10*z + 24. Let x be w(6). Which is greater: v or x?
x
Suppose 4*q = -h - q - 9, -4*q + 16 = -5*h. Let g be (-6)/h*(-8)/(-12). Let t = 37/39 - 8/13. Are t and g unequal?
True
Suppose 525 = 12*d - 7*d. Which is greater: d or 108?
108
Suppose -16 = -4*u, 2*s - 25 + 1 = -4*u. Suppose -3*o + d = -1, -d + s*d + 3 = -2*o. Let p be 2/(-2) + (-13)/(-9). Which is smaller: p or o?
o
Let r = -1368 - -1368. Which is smaller: r or 4/5?
r
Let r = 19 - 3. Suppose -2*p + r = 2*p. Let h be 10/4*(-52)/(-65). Which is smaller: h or p?
h
Let u(i) = 5*i**2 + 7*i + 4. Let s(l) = 4*l**2 + 7*l + 5. Let g(o) = -4*s(o) + 3*u(o). Let y be g(-7). Which is bigger: y or -7?
-7
Let g be 6/15 - (-27)/45. Is 2/343 equal to g?
False
Let z be (16176/(-308))/2 - (-26)/(-91). Is z > -27?
True
Let t = -3 + 1.6. Let w = -2.3 - t. Let n = 0.88 + w. Which is greater: n or -1/2?
n
Let o = -524 - -524.3. Which is smaller: o or -48?
-48
Let s = 8 - 1. Let v be 4/s + (-24)/42. Let t = -11.5 + -0.5. Is t bigger than v?
False
Let r(g) = 4*g - 21. Let x be 19/3 + 2/(-6). Let p be r(x). Suppose p*m + 4 + 11 = 0. Which is smaller: -0.2 or m?
m
Let a = 16 - 15. Let p be ((-13)/39)/(a/6). Which is greater: p or -5/2?
p
Let w = 13367/500 + -107/4. Let k(p) = p**3 + 8*p**2 + 8*p + 6. Let q be k(-7). Does q = w?
False
Let h(i) = -5*i**2 - 20*i - 17. Let r be h(-4). Is r < -15?
True
Let q be (-14)/98 - 8/(-7). Let a = 88.39 - 88. Which is greater: a or q?
q
Let c = -1915/27 + 71. Suppose 9*x = 5*x + 20. Suppose 1 + x = -4*q - 2*p, 0 = 5*q + 4*p + 9. Which is smaller: c or q?
q
Let x(w) = -7*w + 66. Let f be x(7). Is 53/3 not equal to f?
True
Let d = 1.1 - 2.35. Let v = d + 0.15. Let t = 1 + v. Which is smaller: t or -1?
-1
Let o = -46 - -46. Let j be (-13)/(-13)*(1 - o). Are j and -2/309 non-equal?
True
Let q = 0.03 - 1.03. Let w = 2.35 - 2.31. Which is greater: w or q?
w
Suppose u - n = n + 18, 0 = -5*u - n + 112. Let t = u + -25. Which is smaller: t or -7?
-7
Let d(m) = -11*m + 144. Let r be d(13). Which is bigger: -1/140 or r?
r
Let x be 11/(-52) - 2/8. Suppose 9*p = 18*p + 7*p. Which is bigger: p or x?
p
Suppose -5*l - 45*r + 47*r + 4878 = 0, l - r = 975. Which is smaller: 975 or l?
975
Let s = 2933 + -2932.986. Which is smaller: s or -0.11?
-0.11
Let p be 23/2 - (2 - 1). Let w(m) = m**3 - 12*m**2 - 12*m - 13. Let j be w(13). Suppose j = -3*h + 36 - 0. Which is greater: h or p?
h
Let z be (-9 - -4) + 3 + -1. Let f be (32/(-12) - z)*-2. Let t(v) = -v - 1. Let c be t(1). Which is smaller: c or f?
c
Let q(k) = -3*k**3 - 3*k + 4. Let z be q(-3). Suppose -5*r - p + 475 = 0, 5*r - 490 = 3*p - 7*p. Is r bigger than z?
False
Suppose -5*c + 7*c = 0, -5*o + 5 = -4*c. Suppose 3*q + q - 32 = -5*y, -q + 4*y = -29. Let s be (4/(-5))/(1 + q). Is s at least o?
False
Let s = 1530565/509 - 3007. Is s equal to 0?
False
Let k be 3/(-5 - 196/(-44)). Let x be (-4)/14 - 47/7. Which is smaller: x or k?
x
Let w = -4.9 + 6. Let g(a) = 4*a - 7. Let i be g(5). Suppose -i*y - 5 = -18*y. Which is smaller: w or y?
y
Let v = -1.7 - -1. Let g = -17 + 18. Let y = -2 + g. Is y greater than v?
False
Suppose 3*l - 3*a = 6, 3*a + 6 = -0*a. Suppose l*c - c = 0. Let b be ((-3)/72)/(4/18). Is c less than or equal to b?
False
Let l(d) = -25*d + 48. Let z be l(8). Is -152 not equal to z?
False
Let q be 120/(-36)*(-24)/10. Suppose -u = 4*p + 80, 0 = u - 4 + q. Which is smaller: p or -21?
-21
Let k(f) = 5*f**2 - 5*f - 9. Let t(h) = -6*h**2 + 6*h + 10. Let r(s) = -5*k(s) - 4*t(s). Suppose 20 = -0*o - 5*o. Let n be r(o). Is -16 >= n?
False
Let w = 1146 + -1149. Is w at least -254?
True
Let s = 13/118 - 539/5428. Let a = s - 119/2484. Is 3 < a?
False
Let h = 4 - 4. Let o be h/(-2 - (-8)/2). Are o and -1/3 equal?
False
Suppose 4*c = 3*c + 7. Let g be (-8)/4*((-15)/6)/(-5). Let q = c + g. Which is greater: q or 7?
7
Let o be -1*(15/63)/(-5). Suppose 0 = 2*y - 5*h - 24, 0 = -3*y - 6*h + h + 36. Let i be 0*2*3/y. Is i at least as big as o?
False
Let g be -8 + 74/9 - (0 - (-100)/(-198)). Suppose -4*a + 6*a = 0. Are a and g unequal?
True
Let u = 347 - 326. Is u less than 22?
True
Suppose 49 = 4*y - 19. Suppose -5*q + y = 3*a - 9, -q = -5*a + 6. Are 16/5 and a unequal?
True
Let s(v) = -v**3 + 2*v**2 + 3*v - 2. Let t be s(2). Let l be 2/(-3)*66/t. Is -12 less than or equal to l?
True
Let w(s) = 2*s**2 + 24*s - 10. Let o be w(-12). Let q be ((o - -5)/(-5))/((-2)/18). Is q equal to -9?
True
Suppose -44*x = -20342 + 3402. Is x != 0?
True
Let a = -31 + 42. Is a smaller than -0.8?
False
Let j = 71 - 70. Let q be (-9)/14*(-2712)/18. Let s = q - 97. Which is smaller: j or s?
s
Let v = 161 + -115. Let g = -48 + v. Is -12 at most as big as g?
True
Let c = 4403 - 4683.3. Let b = c - -267. Let x = -1.7 + b. Which is bigger: 1 or x?
1
Let q = -0.9891 + -0.0109. Are 114 and q non-equal?
True
Suppose -4*i = -4*z - 12, -6*i = -3*z - 4*i - 14. Is 2 < z?
False
Let u(x) = x - 17. Let k = 22 - 19. Suppose 0 = -k*o - o + 68. Let n be u(o). Which is smaller: -2/3 or n?
-2/3
Let z(r) = r**3 - r**2 - r + 1. Let c be z(0). Suppose 4 = 3*j + c. Let q = -3/46 - -25/207. Which is smaller: j or q?
q
Suppose -7 = 4*p - 19. Suppose -5*u - 34 + 10 = -p*k, 5*k - 12 = -u. Is u < -3?
False
Let k be (-49790)/71175 + 2 + (-4)/3. Which is bigger: 0 or k?
0
Let h(o) = -o**3 - 8*o**2 + 4*o + 12. Let w be h(-9). Suppose -w*y + 51*y - 36 = 0. Is -9 <= y?
True
Let p = -2/97 + -144/2425. Let w be (-5 - -1)/(2 - 1). Let h = -5 - w. Is h >= p?
False
Let y = 166801/24 - 6949. Let i = -3/8 + y. Is 12 equal to i?
False
Let t(v) = v**2 - 13. Let o be t(9). Which is smaller: 64 or o?
64
Let m be 1/(26/40)*(0 + -1). Suppose -2*f - f = -3*h - 15, -5*h - f - 13 = 0. Which is bigger: m or h?
m
Let g(q) = 4*q**3 + 8*q**2 + 2*q - 7. Let k be g(-3). Which is smaller: -47 or k?
k
Let d = -31/11 + 281/88. Suppose 0 = -l - 0*l. Which is smaller: l or d?
l
Suppose 4*a = -6 + 2. Suppose 0 = -2*s + 2*u + 6, -4*s + u + 4 = -5. Suppose f - 5*h = 0, -s*f = -0*f + 4*h. Which is greater: a or f?
f
Let v = 28.4 + -31. Let i = v - -2.1. Is 3 at least as big as i?
True
Let y = -1740 - -1740. Is 2/797 >= y?
True
Let t be (