et b = g - 2991/1649. Which is smaller: b or -2?
-2
Let d be -4 + -4 + (-7047)/(-881). Let t(v) = -14*v + 57. Let l be t(4). Is d greater than l?
False
Let a(p) = 3*p + 13. Let l be a(-3). Suppose 0 = -l*y - 5*s - 2, -5*y + 0 = -4*s - 18. Suppose -z - 5 = 5*d + 31, -5*d = 3*z + 28. Is y != d?
True
Suppose -12*m + 378 = -510. Let t be m/(((-9)/(-3))/(-3)). Which is bigger: -73 or t?
-73
Let u = 674.17 + -678. Which is greater: u or 0.3?
0.3
Let u = -456 - -224. Let i be (-12068)/52 - 6/(-78). Is i at most u?
True
Let u = 393 + -153. Suppose 242*a + 36 = u*a. Which is smaller: a or 1?
a
Let v = -275107 - -275108. Let d be (2/(-3))/(429/84108). Let g = 1440/11 + d. Which is greater: v or g?
v
Suppose -157*t + 48*t - 5741 - 401156 = 0. Which is smaller: -3731 or t?
t
Let m = 212 + -211. Let t be (-51401)/196 + m/4. Which is greater: -263 or t?
t
Let c be (-926714)/(-330) + 2/(-15). Let y = 2806 - c. Which is greater: -1 or y?
-1
Let l = 6.5 - 36.5. Let m be (-14 + (-2212)/(-154))*8/(-16). Which is smaller: m or l?
l
Suppose -2*w + 2*j = 38, 1 + 11 = -4*j. Let x be 6641/(-3190) + (-4)/w. Which is smaller: x or -2?
-2
Let m = 241/18 + -79/6. Let d = -11 - -19. Let l = 9 - d. Are l and m unequal?
True
Let h = -120 - -148. Let b = h - 47. Suppose -2*r + 4 = a - r, 2*a - 5*r + 20 = 0. Which is smaller: b or a?
b
Let f = -16 + 15. Let i = -19 - f. Let j be (-3)/(-5) - i/45. Does j = -2?
False
Let v(t) = -t**3 + 49*t**2 - 34*t - 75. Let l be v(49). Does -1742 = l?
False
Let l be (-42 - (2 + 0 + -4))/(-2). Let r be (22/20)/(l/75). Let b = r - 431/104. Which is smaller: b or -1?
-1
Let h be (-5783)/45 + (-2)/(-14)*84/30. Which is bigger: -129 or h?
h
Let v = -374 - -366. Which is bigger: -424 or v?
v
Suppose -3*l + 5 = -13. Suppose 3*w - l - 2 = -4*i, -4*w - 6 = 2*i. Let j = 221 - 218. Which is bigger: j or i?
i
Let k = 924 - 937. Let j(q) = -26*q - 338. Let c be j(k). Let i = 180 - 897/5. Is i > c?
True
Suppose t - 3 = 2*d, -4*d + 4*t + 6 = 18. Suppose 4*i = -d*i + 24. Let o = -2860 - -2867. Which is bigger: i or o?
o
Suppose 0 = -9*v + 11*v - 2*p + 68, v + 36 = -p. Let h be 10*5/(-60)*1526/v. Which is smaller: h or 37?
h
Let y(h) = 489*h - 5867. Let x be y(12). Is x >= 2/51531?
True
Let z be (217 - 2) + (-1 - -1). Suppose 5*v - 600 = -3*u + v, 2*u - 444 = v. Which is smaller: u or z?
z
Let k be (-2566)/(-4) - 9/((-36)/(-8)). Let c = -639 + k. Let s = -8.5 + 7. Is s less than or equal to c?
True
Let v = 1857 + -1930. Which is smaller: v or -2/3?
v
Let y(d) = -38*d**2 + 111*d - 100. Let f(q) = -7*q**2 + 22*q - 20. Let n(o) = -11*f(o) + 2*y(o). Let k be n(1). Which is smaller: 271 or k?
k
Suppose 6*z = z + 65. Let f = z - 8. Let g be (-871)/195 - 1/f. Do -6 and g have different values?
True
Suppose j - 12*a + 11 = -10*a, 3*j - a = -28. Which is smaller: -490 or j?
-490
Suppose 0 = -26*h - h - 62237 - 80944. Which is smaller: h or -0.2?
h
Let m be (-2)/((-30)/5 - -4). Let l be 4254/(-1064) + 2 + (3 - m). Is l <= 0?
False
Suppose i = -3*w + w + 373, 0 = 5*w + 5*i - 935. Suppose 17*t = 20*t + w. Suppose 19*u + 6*u = -1575. Is u greater than or equal to t?
False
Let r(u) = u**2 + 12*u - 5*u + 4 - 2*u - 7*u. Let o be r(2). Let m be ((-1)/3)/((-18)/o). Which is greater: m or 1/4?
1/4
Let x = 4175 + -3042. Is x at least as big as 1134?
False
Let j = -3484 - -644. Which is greater: -2841 or j?
j
Let w = 1.94 - -0.06. Let k = w - 2. Suppose -71 - 1195 = 128*h + 526. Which is greater: k or h?
k
Let u = 1.21 - 11.51. Let n = u + 29.3. Is 3/8 greater than n?
False
Let u = -117 - -209. Let v = 563 + -656. Let c = v + u. Which is greater: 0.85 or c?
0.85
Suppose -3*w + 4*l = 7 + 9, -4 = -w - l. Let i(b) = 6*b - 4. Let q be i(w). Let s = 703/3 + -4981/21. Which is smaller: s or q?
q
Let y = 9 - 6. Let p(l) = 10*l - 66. Let c be p(7). Suppose c*z + 23 = y*u, -u = -3*u - z - 3. Is u > 3?
False
Let i = -234.3 - -220. Let o = -14.4 - i. Which is smaller: o or -10?
-10
Let d(u) = 8*u + 12. Let c be d(-6). Let j be 333/c - 1/(-4). Let i be j/10 + (-3)/2. Which is greater: i or 0?
0
Suppose 5*a = -65 + 60. Let w be (-35)/(-1225)*1/5. Is w smaller than a?
False
Let b(g) = -g**3 - 5*g**2 - 2*g + 6. Let z be b(-4). Let p be (-5 - (1 - 4))*(-1)/z. Let s be p + 5 + 23 + 1. Is s smaller than 28?
False
Let s = -0.4 - 2.16. Let p = -0.56 - s. Let t = 18 - 29. Is t less than or equal to p?
True
Suppose -3*z + o + 5 = 0, 5*z - 5*o = 4*z - 17. Let p be -20*(15/(-12) + z). Let n = 36 + p. Which is greater: 1/7 or n?
n
Let z be ((-4485)/52)/((-75)/(-100)). Suppose 3*n + 2*r + 281 + 67 = 0, 4*n = -r - 459. Is z less than n?
True
Suppose o - 6*o + 5 = 5*l, -2*o + 5*l - 12 = 0. Let t = -56574/37 + 1529. Is t bigger than o?
True
Let h = -3.4 - -98.4. Let j = h - 95.1. Let w = 3 + -7. Is w greater than j?
False
Let x = -1 + -1. Let v = x + 1. Let r be 304/456*6/62. Do v and r have the same value?
False
Suppose -3 = -4*h + 17. Let s be -11*h*(8 + (-444)/60). Which is smaller: -4/5 or s?
s
Let r = -303.2184 - 0.2816. Which is greater: r or 0?
0
Suppose 0 = 2*l + 2*b + 8, -3*b + 51 = 4*l + 63. Which is smaller: l or -4/14063?
-4/14063
Let h(r) = 13*r**2 + 3*r + 2. Let q be h(-1). Suppose 0 = -2*k + j + 26, 13*k - 4*j + 36 = 15*k. Which is smaller: q or k?
q
Let s = 50213/13 + -3905. Do -42 and s have the same value?
False
Let m(u) be the first derivative of -u**2/2 - 13*u + 3. Let p be 12/(-8)*((-70)/(-6) + -1). Let r be m(p). Are 3 and r nonequal?
False
Let z be 381/(-254)*(-25514)/3. Are z and 12757 equal?
True
Let l(q) = 2*q**2 - 56*q + 393. Let y be l(16). Is 110 at least y?
True
Suppose 495*j - 513*j = -20484. Is j at least 5697/5?
False
Suppose 0 = -3*j + 4*f - 8238 - 2802, 5*j = -2*f - 18348. Which is smaller: j or -3674?
-3674
Let d(w) = 13 - 8*w + 3*w + 7*w. Let m be d(-4). Suppose 5*p = -m*f + 20, -4*p - f + 12 = 4*f. Is p bigger than 6?
True
Suppose -j - 2*j = 6. Suppose 0 = -20*p - 121 - 59. Is j smaller than p?
False
Suppose 0 = -2*f - 4, -w + 3*f = 2 - 8. Suppose 3*i + 2*y = 8*i + 5, w = 4*i + 3*y + 4. Let g = -1/81 - -59/405. Which is greater: g or i?
g
Suppose w - 2 = 2*w. Let p be 6 + -1 + (43 - 54). Let a be (9/p)/1 + (-3)/(-2). Is a equal to w?
False
Let p = -785955/22376 - 1/11188. Is p <= -35?
True
Let b be ((-1)/(-3))/((-85)/360). Suppose 0 = -74*s + 75*s - 119*s. Is b not equal to s?
True
Let x(g) = g + 20. Let n be x(-23). Let h be ((-105)/(-49) + n)*2/(-6). Which is bigger: h or 12?
12
Let x(d) = d**3 + d**2 - 22*d - 15. Let b be x(15). Let q be 374/328*(-51384)/18. Let p = b + q. Which is bigger: p or 0?
0
Suppose -2873 + 3568 = 3*t + 4*q, 0 = -3*t - q + 671. Is t less than or equal to -36?
False
Let l be ((-6)/(-10))/((-18)/(-90)). Suppose -4*a + 14 = 3*w, l*a + 3 = w + 7. Suppose u = -b - w, 6*u = b + 2*u - 3. Which is bigger: 12 or b?
12
Let r(y) = 3*y**2 - 72*y - 244. Let z be r(-3). Which is smaller: -7/151 or z?
z
Let p = -104.03 + -1.97. Let h = p + 87.7. Let d = 2.3 + h. Which is greater: d or -2?
-2
Let f = -1759365/253 + 6954. Is 1 equal to f?
False
Let u = -845 - -845. Suppose u*o + 15*o = -465. Is o < -32?
False
Let q = -556 + 955. Is q smaller than 396?
False
Let j = -1262 + 1262.2. Is 64 <= j?
False
Let l(a) = 6*a**3 - 4*a**2 + 114*a - 1847. Let h be l(15). Is 19213 >= h?
True
Let y be -1 + (-21)/(-27) + 2/9 + 2. Is 183/79 at most as big as y?
False
Suppose 0 = 2*w + 10, 3*y - 6*w - 61 = -w. Let g = -2.78 + -5.22. Which is bigger: y or g?
y
Let o(r) = r - 11. Let u(a) = -a**2 - 15*a - 7. Let i be u(-4). Let y be o(i). Suppose m - 5*b + 4 = 26, 0 = 3*b - 3. Is y < m?
True
Suppose -4*s = 2*s. Suppose s*k - 5 = -3*k - 2*r, 5*r = 5. Suppose -3*b + 7 = -i - 3, 0 = -3*i + 5*b - 14. Which is smaller: i or k?
k
Let m = 85.81 + -85.88. Is m >= 6/53?
False
Suppose 5*c - 20 = 0, -2*f - 12*c = -11*c + 104. Let u be (4 + 2)*404/f. Which is smaller: u or -46?
-46
Suppose 4*m = 16*m - 5460. Suppose 17*p - 12*p + m = 0. Is -92 != p?
True
Suppose -7*k - 16 + 40 = 3. Suppose -5*z + 14 = -31. Suppose z = s - k*d, 3*s - d + 28 = -3*d. Is 2 at most s?
False
Let j = -47.46 + 47. Let n = -0.007 - 1.453. Let c = n - j. Is c at least as big as -1/8?
False
Let r = -15349.39 - -15349. Is r > 90?
False
Suppose -4*l + 4*t = 1356, -l - 2*l - 1020 = -4*t. Let c = 302 + l. Which is smal