105 = u?
False
Let r be (-3)/(6/(-4)) - 2. Let v be r - ((-14)/(-18) + -1). Let s = 1415 - 7077/5. Which is smaller: s or v?
s
Let z = 25500/1457 + -17270762/123845. Let u = z - -608/5. Let f = u + 52/51. Is f at least -2?
True
Let w = 130 - 133. Let t be (21/(-574))/(w/(-4)). Which is smaller: t or -1?
-1
Let v be 0*((-6)/(-9) + (-1)/3). Let h(k) = -5*k + 53. Let i be h(v). Is i less than 53?
False
Let h = 79/208 - 5/26. Let f = 18/635 + -707/2540. Is h bigger than f?
True
Let q = -12.9 + 13.5. Let a be (-2)/5 + 52/80. Is a less than q?
True
Let m be (-5)/25 - 12/15. Which is greater: m or -43/3?
m
Suppose -2*g - t = -5*g + 39, 2*g - 26 = 2*t. Suppose -12*b + 13 = g. Which is smaller: b or -1/139?
-1/139
Suppose 5*h = 3*p + 1283, -18*p + 3*h = -21*p - 1275. Is -426 < p?
False
Let p = -107 - -102. Is -14/3 bigger than p?
True
Let t = 8 - 1. Suppose t = -2*u + u. Let l be (-1)/(u/(-30)) + 4. Which is bigger: 1/3 or l?
1/3
Let j = -2.97 - -2.99. Is -2/23 != j?
True
Let c = 56 + -34. Suppose -2 = -0*f - 2*f, -5*m - 2*f + 107 = 0. Which is smaller: c or m?
m
Suppose 7*a = 24*a. Which is greater: -1/1017 or a?
a
Let b = -14 - -23. Suppose 4*q - 20 = -2*o, -5*o + b = q - 5. Do o and 4/3 have the same value?
False
Let x = -172/1245 - -2/415. Let l = -3155 - -3157. Which is smaller: x or l?
x
Let c be (171/(-45))/((-3)/(-15)). Let f = -49 - -29. Which is greater: c or f?
c
Suppose l - 3*l + 22 = 0. Suppose -2*p + 2*f = -0*f - 14, 5*p = -f + l. Is p < 14/9?
False
Let w(o) = -o**3 - 5*o**2 + 2. Let z be w(-5). Suppose -3*q + 4 = -z. Suppose y = -q*y + 3. Which is greater: y or 5/3?
5/3
Let y = -285.85 + 286. Which is smaller: y or 2/55?
2/55
Suppose -13*u + 467 + 170 = 0. Which is bigger: u or 52?
52
Suppose 7*u = 4*u - 282. Do -94 and u have different values?
False
Let f = 4 - 16. Suppose g = -3*g - 32. Let p be 3*g/f + 4. Is 7 equal to p?
False
Suppose 0 = 3*c - 4*h + 9, -h + 4 = c - 0. Let o = c + -7. Let j be ((-1)/o)/((-8)/(-16)). Which is smaller: j or -1?
-1
Suppose -u = -156 + 47. Which is smaller: u or 110?
u
Let i = -428 + 430.854. Let d = i - -0.046. Which is smaller: d or 1?
1
Let f = 78 - 75. Suppose -3*o - 3 = 0, -4*k + f*k - o + 26 = 0. Are k and 27 equal?
True
Let u be 1 + (4 + 774/(-156))*1. Is u >= -2?
True
Let g = 75 - 71. Let q be 1/g - 15*(-8)/(-96). Is -0.05 smaller than q?
False
Suppose 0*g + 5*g - 58 = 4*j, 0 = 5*g + 2*j - 76. Suppose 0 = -11*b - g + 3. Let m be (-6)/21 - (-60)/357. Is b greater than or equal to m?
False
Let i(d) = d**3 - d**2 - 3 - 5*d + 4 + 5*d**2. Let o be i(-5). Let m be 880/(-420) - 6/(-63). Which is smaller: o or m?
m
Let a = -56 + 30. Let r = a + 14. Which is greater: 2/5 or r?
2/5
Let h(v) = -v + 15. Let o be h(12). Suppose -c = o*c. Suppose 4*y + 2*k = 0, k = 2 - 4. Is y smaller than c?
False
Let b = -80.2 - -71. Let g = -4.2 - b. Is g less than 2/3?
False
Let j = 2176/9 - 242. Which is smaller: j or 1?
j
Let r = -0.32 - -5.92. Let b = 5.8 - r. Which is smaller: -5 or b?
-5
Suppose 25*y + 10 = 27*y. Which is smaller: y or 23/4?
y
Let i = -25 - -30. Let k = -4.8 + i. Which is bigger: k or -0.12?
k
Let v = 72.093 + -72. Let u = v + -11.093. Is u <= 1?
True
Let o = -80701 + 485599/6. Is o equal to 233?
False
Let a = 16 - 20. Let l(p) = -2*p**2 + 3*p. Suppose 2 = -o + 2*o. Let z be l(o). Which is greater: z or a?
z
Suppose 4*d - 2*m = -0 - 16, 4*d = -5*m - 2. Let k be (720/116)/d - -2. Is 1 > k?
True
Let y = 234 + -243. Which is greater: y or -7?
-7
Let y(v) = v**3 - 3. Let k be y(0). Let t = k - -2. Let d(x) = x**2 + 8*x + 9. Let u be d(-6). Which is bigger: t or u?
t
Suppose -u = -t - 3, 3*u = t + t + 8. Let k be -1 - 6/((-180)/85). Is u >= k?
True
Let d be 40/(-2330)*3/(-6). Let j(o) = -o**2 - 3*o + 28. Let c be j(4). Is c less than d?
True
Let i be (4/3 - (-44)/12)*1. Suppose 4*j = i*j + 4*f - 17, -15 = 5*j - 5*f. Which is bigger: -1 or j?
j
Let l(k) = k**2 - 8*k + 11. Let m be (-64)/(-7) - (-1)/(-7). Let j be l(m). Suppose -f = -3*f + j. Is 9 less than f?
True
Let d(o) = o + 11. Let y(z) = -z + 16. Let w be y(7). Let g be d(w). Let p be (g/50)/((-7)/5). Which is greater: p or 5?
5
Let r be (-177)/(-30) + -5 - (-2)/20. Which is smaller: r or -3/44?
-3/44
Let o = -341 - 42. Is o smaller than -383?
False
Let x = 0.8484 + 0.1516. Which is bigger: 13/3 or x?
13/3
Let b(g) = g**2 - 8*g + 1. Let h be b(7). Let a = 9 + h. Let q be a/(-4)*(-4)/6. Is 3/22 less than or equal to q?
True
Suppose 2*h + 2*h + 32 = 3*y, 24 = -3*h + 3*y. Let n(q) = -q**3 + 15*q**2 - 14*q - 5. Let v be n(14). Let j be 6/v*60/8. Is h less than j?
False
Let i = 1417669/102570 + 2696/789. Let z = 86/5 - i. Suppose 2*l + 11 = 13. Is l less than or equal to z?
False
Let s = -34 - -36. Suppose a - s*a = -17. Is 20 <= a?
False
Let m = 3 - 4. Let t = 8321/29 - 287. Is m at most t?
True
Suppose 0 = v + 3*r - 69, 2*v - 4*r - 153 - 15 = 0. Let n = -73 + v. Which is greater: n or 3?
n
Let g be -7 + 12 + -9 + -22. Is g greater than or equal to -21?
False
Suppose -31*s + 80*s = -49. Are -2/43 and s unequal?
True
Let a = 0.1 + 0.1. Let l = 2.091 - -0.009. Let o = -3.1 + l. Do o and a have the same value?
False
Let n(s) = s**3 - 6*s**2 - 5*s - 6. Let j be n(7). Suppose 3*v + 4*l - 117 + 17 = 0, -4*v - 2*l + 120 = 0. Let z be (-42)/j + 7/v. Is z at most as big as -3?
True
Let b = 1621 + -1621. Let s be ((-4)/(-5))/((-22)/(-30)). Which is smaller: s or b?
b
Suppose -4*x + 62 = -2*i, 0*i = i - 3*x + 34. Which is smaller: i or 2?
i
Let j = 1978 + -1903. Is j bigger than 73?
True
Let y = -133 - -147. Suppose 6*l - 4*l = 168. Let c be ((-6)/4)/((-9)/l). Are y and c non-equal?
False
Suppose 2*w - w = -4. Let v be w/(-16) - 61/4. Let d be (-42)/v + (-5)/(-25). Is d equal to 4?
False
Suppose 6*u + 3*u = 5*u. Let r be (-222)/(-9) + (-2)/(-6). Which is smaller: r or u?
u
Let d be ((-2)/(-2))/(3 - 4). Let g be (-8956)/(-3135) - 10/(-55). Let r = g - 44/15. Which is smaller: r or d?
d
Let t(a) = 15*a - 781. Let h be t(51). Which is greater: -97/6 or h?
h
Let x be ((-9)/(-88))/((-9)/240*-8). Is x equal to -1?
False
Let b be 202/(-505) - (-158)/320. Do 0 and b have the same value?
False
Let t = 49 + -52.3. Let q = t + 0.1. Do q and 1/4 have the same value?
False
Suppose -m = 3*q - 24, 35 + 107 = 5*m + 4*q. Is -1 less than m?
True
Let p = -15 - -18. Suppose -3*b + 918 + 834 = p*a, -a + 4*b + 574 = 0. Let c = 14548/25 - a. Which is smaller: -1 or c?
-1
Let b be (2 + 0 - -8)/(-1). Let r = -7 - b. Suppose -5*q + u - 9 = 0, r*u = 4*q + 7 - 2. Is q less than 2/19?
True
Let c = -0.6 + 0.9. Let y = c + 0.2. Let o = 2.08719 + -0.08719. Is y at least as big as o?
False
Let b = 69/56 + -115/56. Let a = b + 1/4. Let v(q) = q - 4. Let i be v(3). Is i != a?
True
Let a = 66 + -79. Let u be ((-2)/(-5))/((-1)/(-30)). Let r be (u/(-5))/((-3)/(-15)). Which is smaller: a or r?
a
Let b = -6.76 - 0.24. Let d = -6 - b. Is d >= -0.1?
True
Let w = 0.1 - -0.1. Let k = 180.9 - 141. Let t = k + -40. Which is smaller: w or t?
t
Let r(x) = -9*x - 35. Let q be r(-4). Let p = -212/3 + 2338/33. Is p bigger than q?
False
Let j = 1316 + -1198. Are 1 and j non-equal?
True
Suppose 44*z - 7*z - 13986 = 0. Are 378 and z unequal?
False
Suppose 0 = 25*g - 29*g + 52. Let v = g - 35. Are -22 and v equal?
True
Let i = -0.104 - -0.004. Let v = -1039/13 - -80. Which is smaller: i or v?
i
Let z = 1.1 + -1.26. Let n = -0.86 + 1.1. Let f = n - z. Which is greater: -0.2 or f?
f
Let l(z) = -z**3 + z**2 - 4*z + 3. Let w be (-20)/(-16) + (-6)/(-8). Let u be l(w). Is u less than -11?
False
Suppose 1154 = 14*t - 778. Suppose -8*m - 34 + t = 0. Which is smaller: 14 or m?
m
Let v(y) = -y**2 - 4*y - 3. Let i be v(0). Let k be (-2)/(i/36*2). Let q(d) = d**3 - 5*d**2 + 4*d - 7. Let w be q(5). Is k at most w?
True
Let f = 0.2169 + -0.0169. Let b = 2 - 3. Let g = 0.9 + b. Is f smaller than g?
False
Let c = 86244 + -606063/7. Let k = 8713/28 + c. Which is smaller: -25 or k?
k
Suppose 3*a + 123 = 12. Let u = a + 31. Is u bigger than -9?
True
Let j = -5 - -15. Let o = j - 9. Is 4 bigger than o?
True
Suppose 0 = -48*h - 18 + 66. Which is bigger: 0.4 or h?
h
Let w(g) = 128*g**2 + 1 - 3*g - 260*g**2 + 133*g**2 + 6*g. Let v be w(-2). Which is smaller: v or -2/57?
v
Let h = 310 - 219. Let q = h - 90. Do q and 4/13 have different va