-133. Let l = m + -20.2. Which is greater: l or g?
g
Let r = 17146 - 17146. Which is bigger: r or 6/14641?
6/14641
Let o = 6171 - 6738. Is -2265/4 < o?
False
Let z = 0.077 + -0.077. Let h = -1060 - -1059.941. Is h at most z?
True
Suppose 82 - 2 = -5*u. Let q be ((-576)/22)/((-3933)/(-2622)). Which is smaller: q or u?
q
Let h(m) = -12*m + 77. Let p be h(6). Suppose p*f - 1436 = 1689. Is 624 equal to f?
False
Let c(j) = -11 - 3*j - 18 + 35. Let b be c(3). Let u be b - (-561)/(-189)*-1. Which is greater: 1 or u?
1
Let h be (180/(-4))/1*(-36 + -7). Let z be (-2)/11 + h/7920. Let l be 0 - 2/(-2*1). Does l = z?
False
Let q(n) = -2*n**3 + 3*n**2 - 18*n + 98. Let r be q(6). Let w be 4 + (1332/r)/1. Which is smaller: w or -0.1?
-0.1
Let s(y) = 2*y + 4. Let w be s(-12). Let n be w/((12/10)/3). Is -2/3 at least n?
True
Let x = 482 + -479. Suppose -x*c - 78 = 6*s - 3*s, 100 = -5*c + 5*s. Which is smaller: c or -44?
-44
Let y(m) be the first derivative of m**2 - 4*m + 23. Let s be y(11). Is s equal to 56/3?
False
Let d(a) = -2296*a - 11624. Let w be d(-6). Is 15068/7 < w?
False
Suppose -11*f + 714 = 3*f. Let s = 56 - f. Let o = 0.5 - 1. Which is bigger: s or o?
s
Let p = 6922 + -7375. Which is smaller: p or 9?
p
Suppose 5*v - 95 = 2*v + 5*n, 5*v - n = 129. Let z be (v/(-2))/(-2 - (-26)/12). Let p be -3*5/(z/(-20)). Which is smaller: -7 or p?
-7
Let t = 1386 + 1091. Is 2478 greater than t?
True
Let c = 3192.8 - 2056.6. Which is greater: -1/2 or c?
c
Let p = -290087/4 - -72077. Which is smaller: p or -445?
-445
Suppose 0 = -o + 16*z - 19*z - 11, 0 = 4*o - 3*z - 31. Suppose 1 = -2*r + 3. Suppose -r = o*b - 133. Which is smaller: 34 or b?
b
Suppose -3*h - 23*h = 2574. Which is smaller: -11 or h?
h
Let v(q) = q**3 + 16*q**2 - 17*q - 2. Let d be v(-17). Let h be 66*(8/(-6) - 2). Let i = h + 1536/7. Is i greater than d?
True
Let l = 289 + -284. Let b be (6588/(-1641))/(-4) + -1. Let w = b + 14212/2735. Which is smaller: l or w?
l
Let h = -1266 - -1265. Which is bigger: h or 2/19221?
2/19221
Let y = 240141026569048743/11166203778022451 + -9404786965/166689023. Let t = 3/2527858 + y. Let o = t + 22/53. Which is greater: -36 or o?
o
Let y be ((-11617)/2)/(1551/(-94)) + 8. Suppose -2*x + 732 = -3*l, -3*x + 4*l + 1816 = 2*x. Let u = y - x. Which is smaller: 1 or u?
u
Let n = -673996/5 + 7329176/55. Which is smaller: -1541 or n?
n
Suppose -147*y + 142*y - 17149 = -3*o, o = 5*y + 17143. Is y not equal to -3428?
False
Let r = -88.7 - 22.3. Let f = 112.1 + r. Let t be 1/1 + 4/(-10). Is t equal to f?
False
Suppose 2033 = 5*b - 3*c, 66*c + 834 = 2*b + 70*c. Is b bigger than 2042/5?
True
Let z = 227 - 211. Suppose -26*f = -z*f - 950. Which is greater: f or 97?
97
Let u be ((-115)/368)/((-15)/6). Let h = 2.98 - -0.02. Is h < u?
False
Let p be (2/(-10))/(136/16 + -8). Let f = 14 + 8. Suppose f*a = 21*a + 3. Does a = p?
False
Let o(v) = v**3 - 37*v**2 + 36*v - 1. Let y = 303 - 267. Let f be o(y). Is f less than or equal to -1/411?
True
Let t be 20/(-40) + 2/4. Suppose p - 5 = t, 4*q - 5*p - 11 = -0*q. Let i = -7 + 14. Which is greater: q or i?
q
Let q(h) = -20*h + 30. Let k be q(10). Let b be ((-34)/(-42) + -1)/(k/(-102)). Let n(t) = 2*t - 17. Let a be n(8). Is b smaller than a?
False
Let d be ((-9250)/1825 + 5)*5. Which is smaller: -1 or d?
-1
Let d = 4.12 + -4. Let x = -6044.4 + 6046.4. Which is bigger: d or x?
x
Let m be ((-19)/(950/22580))/(18/(-10)). Let k = m + -119620/477. Let v be (2 - 0) + 1 + -2. Is k not equal to v?
True
Let g = 0.0462 - 0.0644. Let z = g + 0.1182. Which is greater: -9/2 or z?
z
Suppose -o + 9*o = 1448. Suppose o = -8*x - 35. Which is smaller: x or -2/7?
x
Suppose -1059 + 5332 = -2*x - k, 5*k + 10680 = -5*x. Which is greater: x or -2139?
x
Let p(g) be the first derivative of 69*g**2/2 - 10. Let b be p(1). Let j be (-3)/(216/b) + (0 - -1). Which is greater: -1 or j?
j
Let h be (-9)/21 - 4280/140. Suppose -x - 6 = -f, -2*f + 33 = 3*x + 6. Let d be ((-12)/f)/(4/90). Which is greater: d or h?
d
Let o(h) = 3*h**3 - 67*h**2 + 18*h + 88. Let n be o(22). Are 94/343 and n equal?
False
Let c be 36022/411246 - (-2)/(-22). Is 1 at most c?
False
Let p be (15/(-12))/(21/(-6984)). Let g = -416 + p. Suppose -4*x + 26 = -a, 2*a + 20 = -5*x - 32. Which is smaller: g or a?
a
Let k(l) = 4*l**2 - 41*l + 71. Let o be k(8). Which is greater: 2/365 or o?
2/365
Let z = 39024 - 29754. Which is smaller: z or 9272?
z
Let g = 39574307/12288198 + -1/1575410. Let j = g - 46/15. Which is bigger: 1/6 or j?
1/6
Let u = -90.0245 - -0.0245. Let v = u - -90.06. Is 3 greater than or equal to v?
True
Let j(b) = 3*b**3 + 4*b**2 - 32*b + 13. Let z be j(-7). Is -597 >= z?
False
Let j be -54857*(12/(-10) + 3). Let i = -99613 - j. Let h = -856 - i. Is h <= 15?
True
Let b = -24 - -10. Suppose 24 = 3*y - 24, -4*y = -5*g - 102 + 3. Is b >= g?
False
Let x(i) = i**2 + 19*i + 9. Suppose -3*t + 36 = -r, -t - 3*t + 4*r + 40 = 0. Suppose t*b = b - 216. Let h be x(b). Which is bigger: h or -10?
h
Let s(c) = c**3 + 11*c**2 + 4*c - 46. Let k be s(-10). Suppose 0*j = -3*j, 20 = 5*d - j. Let y be 35/(-49) - d/k. Is y <= -9/5?
False
Let f be (-19)/((-684)/20)*3/(-10). Let t = 1/311 - 1263/5909. Are f and t equal?
False
Let i(f) = -2*f + 14. Let v be i(6). Suppose -v = -5*j - 2. Let p(g) = -g + 5. Let r be p(j). Which is bigger: 2 or r?
r
Let n = 23303 + -13205. Suppose -10*b - n = 17*b. Does b = -374?
True
Let f = -75 + 93. Let i = 37.5 - f. Let a = -9.5 + i. Is a equal to 1?
False
Suppose -66 = 3*p - 267. Suppose -73*x = -p*x - 336. Are x and 57 equal?
False
Suppose 682 = -77*m + 5536 + 4001. Is 132 greater than or equal to m?
True
Let t = 208 + -439. Which is greater: t or -3/2?
-3/2
Let j(h) = -29*h**3 + 4*h**2 + 3*h. Let c be j(-1). Suppose 7*y - 3*y - 180 = 0. Let x be y/6*(-12)/(-3). Is c at least x?
True
Suppose -b - 2*m + 753 = 2*b, -1268 = -5*b + m. Let q = b - 244. Is q at least 3?
True
Suppose -1881 = -19*c + 10*c. Suppose -d = 203 - c. Is d not equal to 13?
True
Let s(u) = 3*u - 12. Let g be s(5). Suppose 0 = b - g*b - 56. Suppose -28*a - 1803 = 71*a + 969. Is b >= a?
True
Let p be (-1)/(12 + -2)*-2*(-450)/135. Let a = -2295/14 - -164. Which is bigger: p or a?
a
Let g = 5 - 4.95. Let z = g + 24.95. Let s = 25.2 - z. Which is smaller: s or 2/5?
s
Let u = 213.2193 + -0.1793. Let p = u + -213. Which is greater: 0.4 or p?
0.4
Suppose 13*b - 2950 = 3966. Which is smaller: 531 or b?
531
Suppose n - 7 = -3*p, -3*p - 2*n = -0*p - 8. Let d = -98400/37 - -2660. Let a = 732/259 - d. Which is smaller: p or a?
p
Let i = 1.07 + -0.07. Let p = -2167 - -2166.933. Which is smaller: p or i?
p
Let f be (3/(-9))/(-1 - (-571)/573). Let u(b) = -b**3 - 63*b**2 + 266*b - 38. Let v be u(-67). Which is bigger: f or v?
v
Let a = -27195 - -27201. Which is smaller: -538 or a?
-538
Let g be (-30 + (-800)/(-25))/(4*(-3)/(-90)). Suppose 7 = y - 8. Is g at most as big as y?
True
Let i = 166.5 + -16.5. Let c = i + -149.855. Is -2 greater than or equal to c?
False
Let o = -2683.6 + 2645.906. Let i = o - -0.684. Let u = i - -37. Which is bigger: 2/3 or u?
2/3
Let d(p) = 2*p**2 - 9*p - 11. Let j be d(6). Suppose 2*r = j*r - 45. Which is smaller: 41/4 or r?
r
Let b = -18221 + 18220. Is b at least -2/6537?
False
Suppose 34*o = 28*o - 36. Suppose -3*a - 13 - 5 = 0. Let y be (6 - o)*2/a. Which is bigger: -8 or y?
y
Suppose 11*v - 85*v = -135272. Which is smaller: 1824 or v?
1824
Let q = -17213 + 17329. Are 127 and q non-equal?
True
Let c = -3157/26 + 44453/260. Do 51 and c have different values?
True
Let d = -2.2 - -2.12. Let w = -7 - -6.82. Let o = w - d. Does o = 33?
False
Let f = -6 + 0. Let q be ((-4)/6 + 1)*f. Let o(h) = 3*h**2 + 7*h - 11. Let y be o(-3). Is y at most as big as q?
True
Let b(w) = -11*w**2 - 6*w. Let h be b(-7). Let j = h + 859/2. Let g = -67 - j. Is 3 > g?
True
Let q(b) = 15*b + 5. Let f be q(-1). Let o(m) = m**2 + 13*m + 4. Let g be o(f). Which is smaller: -27 or g?
-27
Let n be (((-110)/15)/(-11))/(8/(96/(-566))). Which is smaller: -0.2 or n?
-0.2
Let g = -0.0201 + -14.1899. Let l = -0.21 - g. Suppose -5*f + f - 4 = 0. Which is greater: l or f?
l
Suppose -2*s - 28 + 19 = -3*l, -s = -l + 5. Which is greater: s or -208/29?
s
Let i = -13 + 12. Let l(z) = z**2 - 1. Let f(h) = 4*h**2 + 11*h + 18. Let k(p) = i*f(p