et a be ((-10)/(-360)*-4)/((-3)/(-36)) - -3. Is r at least a?
False
Let g(w) = -42*w**2 - 1826*w - 10910. Let i be g(-6). Which is smaller: -1471 or i?
-1471
Let g(b) = 7*b**2 - 368*b + 559. Let c be g(50). Which is smaller: -2378/7 or c?
c
Let q be (-527)/85 - -5 - (-12998)/(-10). Which is smaller: q or -1297?
q
Let v = -7.023 + -0.117. Let o = v - -0.14. Let p = 26388 - 26388.3. Which is smaller: o or p?
o
Let i = 31 - 32. Let b be (-2 + -7 + 5)*(-6)/(-8). Let f be 34/(-6)*i/b. Which is smaller: f or -3?
-3
Let r = 27.6 + -34.36. Let z = r + -1.24. Is -2 >= z?
True
Let d(q) = 825*q - 4208. Let y be d(5). Which is greater: -0.1 or y?
-0.1
Let h = -19394 - -11618. Are -7777 and h equal?
False
Let k(x) = 50*x**3 + 17*x**2 - 38*x - 25. Let f be k(7). Is 17692 > f?
False
Let t(d) = -23*d**2 - d. Let s be t(-1). Suppose 3*m = 5*l + 19, -8*m + 4*m - l + 10 = 0. Let c be (495/(-10))/(-11)*(-14)/m. Does s = c?
False
Let s = -30 - -32. Suppose 4*t - 14 = 5*t - 3*i, s*t - 3*i = -16. Is -1/6 greater than or equal to t?
True
Let b = -293 - -283. Let g be (b - -6) + -1 + -27 + 2. Which is greater: g or -32?
g
Let r be (39 + 0 + 4)/1. Let a be (44 + -1)*(-5 + 4). Let m = a + r. Which is bigger: m or 3/13?
3/13
Let j be (138/(-8))/(12/(-64)). Suppose 0*x = -x + j. Suppose 6*y - x - 46 = 0. Is y <= -2/5?
False
Suppose -32*h = -1441 + 9491 + 6286. Which is smaller: -2/7 or h?
h
Let u = 11342 + -12105. Are -761 and u unequal?
True
Let a be (-372)/27 + 5/((-180)/8). Let s = -11 - a. Suppose 4*r + t = -45, r + 2*t + s*t = -16. Which is bigger: r or -10?
-10
Suppose -k + 15 = -3*b + 4*b, 2*b - 5*k - 51 = 0. Suppose 24*z = 134 + 298. Is z bigger than b?
False
Suppose 3*y = -4 - 5. Which is greater: y or -76/25?
y
Suppose 5*m = 4*m. Suppose -3*s + m*n - 4*n = -245, -3*s = n - 230. Let k = -76 + s. Is k smaller than 0?
True
Let v(o) = 6*o - 93. Let g be v(16). Let i(t) = -72*t + 58. Let a be i(g). Is -158 at least as big as a?
True
Let f = -18907 + 18905. Which is smaller: 7102 or f?
f
Let u be 2/4 + (-213)/(-6). Suppose -6*l + o = -11*l + 6255, -10 = 2*o. Let f = 2575/2 - l. Do u and f have the same value?
False
Let v(j) = -3*j**2 - 12*j + 53. Let t be v(-6). Let k(d) = -3*d**2 + 51*d + 14. Let o be k(t). Is 10 greater than or equal to o?
False
Let i = -13.4 + 0.4. Let d = -12 - i. Let p be ((675/(-60))/(-9))/(10/4). Is d smaller than p?
False
Let v = 265/269 + -718431/728183. Let m = v + 503530/18949. Is m at most 27?
True
Let h = 6870 - 6051. Which is greater: 820 or h?
820
Suppose -223 + 1435 = 28*n - 29*n. Is n greater than -1214?
True
Let p(u) = -6*u - 6. Let r be p(2). Let t be 1/6 - 33/r. Let s be (t/24 - 0) + (-11)/(-44). Are -2/3 and s unequal?
True
Let y = 69758 - 25043150/359. Is y equal to -1?
False
Let x = 11435 - 22869/2. Let t = 27 - 61. Which is smaller: t or x?
t
Let h = -1935 + 1699. Does h = -2?
False
Let a be (10/12)/(3620/(-1811) - -2). Let b = 756 - a. Which is bigger: b or 0?
b
Let w be -1*13656/(-572) + -7. Let m = -156/11 + w. Which is smaller: m or 3?
m
Let x be (-3)/(-10) - (-949919)/(-530). Is -1792 equal to x?
True
Let n be (-30)/18 - (-1760)/840. Let x = 97 - 69. Which is smaller: n or x?
n
Let w = 7.17 - 326.17. Let x = 319.1 + w. Let v = 0.2 - 0.6. Is x less than v?
False
Let r = -426 - -425.618. Let w = r + 1.382. Which is greater: w or 2/57?
w
Let v be -2 - (-1 + -20) - -1. Suppose 2*g = -2*o + 6, -o = 3*o - 4*g + v. Let h = -112121/19 - -5901. Is h < o?
False
Let w = 182 - 181. Let q(y) = 40*y + 4. Let n be q(w). Is 43 > n?
False
Let v = 58 + -56. Suppose v*l + 102 = -146. Let k = l + 122. Which is smaller: k or 0?
k
Suppose -4*f = -f + 3. Let c(r) = -4*r**3 + r**2 + r. Let q be c(f). Let n be (7 + (-6447)/903)*-4*2/24. Is n < q?
True
Let b(w) = w**3 + 14*w**2 + 9*w - 3. Let j be b(-12). Let t = j - 174. Which is greater: -3 or t?
t
Let u be (-7)/(315/(-3000))*(-801)/(-6). Is 8899 smaller than u?
True
Let x = -92 - -108. Let j be ((-72)/(-135))/((x/(-20))/4). Which is smaller: j or -3?
-3
Suppose -5*t - a - 290 = -0*a, 3*t - 2*a = -161. Let n(r) = r**3 - 5*r**2 - 20*r + 27. Let y be n(6). Is y greater than t?
False
Let q = -81.79 - -73. Let a = q - 9.13. Let d = a + -0.08. Is d greater than 0.2?
False
Let t be (9/30)/((-4)/350). Suppose -18*q = -17*q + 25. Which is smaller: q or t?
t
Suppose 12567 = 29*s - 45404. Is 2000 != s?
True
Let v be (2 - (-240)/(-114)) + (-5)/(860 - 5). Is v greater than -0.26?
True
Let i = -2131 - -2565. Which is bigger: i or 1306/3?
1306/3
Let s(b) = b**2 - 3*b - 4. Let z be s(5). Let o be 45/(-54) + 801/54. Let g be 234/o - z/(-21). Is g bigger than 18?
False
Let l = -34588031 - -171314518168/4953. Let k be 2/(-254)*(-36)/168*-14. Let c = k + l. Which is bigger: -1 or c?
c
Suppose 6 = 4*n - 7*n. Let s be (168/(-3444) + (-322)/123)*(-6)/4. Which is bigger: n or s?
s
Suppose -6*c + 1676 = 13844. Do c and -2027 have different values?
True
Let k(m) = 37*m**3 - 48*m - 97. Let n be k(-2). Which is bigger: n or -267?
-267
Suppose 0 = -90*k - 101076 - 169644. Are k and -3009 equal?
False
Let h = 362/5 - 72. Let t = 140 + 304. Let f = -3103/7 + t. Which is greater: h or f?
f
Let q = -14.489 + 13.85. Let w = -0.239 - q. Which is greater: w or 1.5?
1.5
Let c(p) = -45*p**2 + 145*p + 3134. Let q be c(-21). Does -19756 = q?
True
Let v be 37 + 44702/(-1232) - 3/(-8). Let g be (0 - 1)*(0 + 2). Let t = g + 3. Do t and v have different values?
True
Let h(i) be the third derivative of -i**6/120 + 2*i**5/15 - i**4/3 + 4*i**3/3 - i**2. Let c be h(7). Let f = 166745/34 - 9805/2. Is f greater than c?
True
Let r be 308/63 - (8/9 + -1). Let h be (r - 4)*-3 - (-225)/3. Is 72 != h?
False
Let p be (0/(-2))/(2 + -1). Let n(m) = -3*m - 16. Let t be n(-13). Let d = t + -31. Which is smaller: d or p?
d
Suppose -62 = -3*k - 2*k + 2*t, -3*k + 4*t = -40. Let a be -3*3/(-63)*(11 - k). Which is greater: -0.08 or a?
-0.08
Suppose -3*l - 4 = -16. Suppose -o + 4*o + 4*g + 92 = 0, -l*g = 8. Is o less than -28?
False
Let r(a) be the second derivative of a**4/6 - 3*a**2 - 72*a. Let d be r(2). Let b = -25 + 20. Is d smaller than b?
False
Let q = -13.3 + 38.7. Let m = -27.4 + q. Do 0.02 and m have the same value?
False
Let t = 557.1 - 559.1. Do 509 and t have the same value?
False
Suppose 429*w - 3744 = 390*w. Let c(i) = i**2 + i. Let m be c(2). Suppose 84 + w = -m*n. Is n less than or equal to -31?
False
Let v = -17.8 + -4.1. Let o = -32.9 - v. Which is smaller: o or 0.2?
o
Let b be (-3)/(-584)*1064/7714. Is 0 > b?
False
Let u = -31341 - -31347. Which is bigger: u or -0.1632?
u
Let o be 0 - 5 - (-5 - 38 - -9). Suppose o = -7*t - 111. Which is bigger: t or 3?
3
Let y(z) = -15*z - 40. Let u be y(-6). Let o be -4 - 2/(u/(-95)). Which is smaller: o or -47?
-47
Let y(g) = -3*g**3 - 3*g**2 - 2*g - 1. Let r be y(-2). Suppose -2*s - 435 = -13*s - 18*s. Do r and s have different values?
False
Let d = 118 + -57. Let u(q) = 42 + 19*q**2 - d - q**3 + 40 + 2*q**3 + q. Let i be u(-19). Is i bigger than 27/8?
False
Suppose 0 = -82*r + 147*r. Is -2/7195 at most r?
True
Let r be (-9)/((3 - 11)/(-672)). Let x = r + 744. Are -12 and x unequal?
False
Let t be 738/1895 - (-2)/(-5). Let p = 627/440923 + 1037758259/3843525791. Let d = t + p. Is 1 > d?
True
Let t(l) = l**2 - 41*l + 379. Let f be t(14). Is 2/2019 bigger than f?
False
Let o = 10649/228 - 467/12. Is o less than 9?
True
Let z be -4 + -2 + (2 - -2). Let q be (12/(-306))/(z/6). Let d(a) = -3*a - 29. Let m be d(-10). Which is smaller: q or m?
q
Suppose p - 4*k = -5*k + 26, 88 = 4*p - 4*k. Suppose 20 - p = 4*l. Which is bigger: -4 or l?
l
Let u(v) = 567*v**3 - 4*v**2 + 11*v - 8. Let w be u(1). Which is bigger: 564 or w?
w
Let f = 16207136/371 - 43685. Let m(s) = -s**3 + 3*s**2 + s - 3. Let q be m(3). Is f at most q?
False
Suppose 20*o = 19*o + 369. Suppose -20*l = -29*l - o. Let h be -6 + 3 - (39 - 0). Is l > h?
True
Suppose -2*d - 108 = 2*d. Suppose x - 108 = 4*j, -3*x + 2*j + 268 = 4*j. Let c = 65 - x. Is d less than c?
False
Let q be (-1)/(-2) + (-5)/(-4 + 14). Let t be (4 + -25)/(2/(2 + q)). Which is greater: -19 or t?
-19
Let s = -6/25 + -7/75. Let r = -113 + 114.1. Let g = r - 1. Do g and s have the same value?
False
Let s = -0.367 - -346.367. Let o = 346 - s. Which is smaller: 15/11 or o?
o
Suppose 