h is smaller: g or 79?
g
Suppose -5*m = -3*r + 49, -21*m + 42 = 4*r - 16*m. Suppose 10 = -r*b + 8*b. Which is smaller: b or -7/5?
b
Let c be ((-1)/(-2))/(1/10). Suppose 0 = -0*l - l - 2, c*f = -2*l + 146. Let o = 13 - f. Which is bigger: 2 or o?
2
Let n(c) = -c**3 + 13*c**2 - 4*c - 1. Let g be n(0). Is -12/1333 bigger than g?
True
Let j = 5 - 4.9. Let d = 41650.9 - 41623. Which is smaller: j or d?
j
Suppose 3*b = 4*i + 161, b - 4*i + 9 = 68. Suppose 56 - b = 5*m. Let g be ((-2)/20)/(108/15). Which is greater: m or g?
m
Suppose -5*r = -0*r - 20, -j = -5*r + 19. Which is smaller: j or -5/841?
-5/841
Let k = 40 - 364. Let o = 223 + k. Is -99 greater than o?
True
Let q = 1/10838 + -216911/1636538. Is q at most -1?
False
Let x be -129 - -104 - 288/2. Let n be 839/(-5) - 4/20. Which is bigger: x or n?
n
Let o = 7671 + -7665. Suppose -4*t - 4 - 8 = -2*x, 2*t = 4*x - 24. Is o at least x?
True
Let b = -5981 - -6226. Is b bigger than 48?
True
Let d = 4972 + -3722. Do 1252 and d have the same value?
False
Let q be -3*(16/6 - (-30)/(-90)) - -90. Is 62 at most q?
True
Let h be 12/24*(-4 + 6 + -2). Which is bigger: h or -2/19179?
h
Let v(i) = 2*i**3 - 2*i**2 + 16. Let s be v(-3). Let l = s + 56. Is -5/7 > l?
False
Let w(z) = 2*z**2 + 45*z - 320. Let g be w(6). Suppose -3*m - 90 = -3*u, -5*u + 32 = -4*u - 2*m. Which is smaller: g or u?
g
Let z be (-16)/(-20)*125/(-21050)*-1. Is -1 > z?
False
Let s = -308 + 425. Let t = 118.51 - s. Is t equal to -2/7?
False
Suppose 2*v - 305 = 5*i, 296 = 2*v - 84*i + 88*i. Let b be 8 + -5 - (-1 - 146). Is b <= v?
True
Suppose -39 = 2*y - 5*l, -4*l - 22 = y - 7*l. Let s = y - -13. Suppose -b + 90 = -s*b. Are -18 and b equal?
True
Let g(w) = -5*w**3 + w - 2. Let n be g(1). Let y be (-2)/(-4)*(-60)/n. Suppose -4 + 124 = y*x. Which is greater: 23 or x?
x
Let k = 1595.799 - 1586.2. Let o = -0.401 - k. Which is greater: o or -4?
-4
Let p be (24570/(-3))/6 - (4 + -1). Let u be ((-76)/p)/(1/(-4)). Which is bigger: u or 1?
1
Let b = -110 - 891. Do -1000 and b have different values?
True
Let i = 87223/49950 - 129/74. Which is smaller: 0 or i?
0
Let v = 38325969/1237 - 30983. Is v at least 0?
False
Let s = -31.5 + -193.5. Let p = -227 - s. Which is smaller: p or -34?
-34
Let o be (264 + 0)/(30/20 + 0). Let y = o + -137. Which is bigger: -1 or y?
y
Let v(b) = -5*b + 199. Let a be v(39). Suppose a*k + j = 8, -6*j = k - 4*j - 9. Let d be 3/9*36/13. Which is greater: k or d?
k
Suppose a + d - 46 + 24 = 0, d + 104 = 5*a. Suppose 114*l - 115*l + a = 0. Which is smaller: l or 24?
l
Let z = 4994.4 - 4924. Which is greater: 0.06 or z?
z
Suppose 4*u - 5*o + 80 = 0, -5*o = -0 + 20. Let v = 10 + -36. Let l = v - u. Which is smaller: -3 or l?
-3
Let u be ((-8)/23)/((-89)/(-5) + 2/10). Is -1 equal to u?
False
Let o = -18.82 - -19.82. Is 704 greater than or equal to o?
True
Let l be (-880)/180 + -5 + 15. Which is greater: -2/7 or l?
l
Let o = -6012 + 2180. Which is smaller: o or 0?
o
Suppose 117*t + 4*r - 42 = 120*t, 5*t + r + 93 = 0. Which is bigger: t or -61?
t
Let r = -1.3 - 15.7. Let q = r - -14. Let j = 3 + -1. Which is bigger: j or q?
j
Let y be (-2 - (-168)/108)*(-3)/(-2)*-1. Is 1003 smaller than y?
False
Let g be ((-4)/(-10))/((-10)/(-150)). Suppose -w + 2*b = g, 4*w = -5*b - 2 + 30. Suppose 4*a = z - 21, -z + 2*a - 15 = -w*z. Is z <= 15?
False
Suppose -4*h + 3972 = 4*y, 9*h - 6*h + 4981 = 5*y. Is y < 998?
True
Let l be 1*-1 + 2318/2501. Let q = 6 - -15. Suppose -3*t + 18 - q = 0. Which is smaller: l or t?
t
Let a = 521/6 - 87. Suppose -3*d - 20 = c + 3*c, -d = -4. Let g be (20/3 - 6)*(-12)/c. Is g > a?
True
Let f(l) = 20*l - 1. Let c be f(-2). Let s = -35 - c. Suppose -o = -x - 7 - s, x + 3*o = 3. Is -11 greater than x?
False
Let z(v) = 47*v + 382. Let b be z(-8). Let t be 3/124*((-6)/1)/b. Which is bigger: t or -1?
t
Let q(g) = -25*g - 30. Let j(n) = n + 1. Let y(r) = -22*j(r) - 2*q(r). Let c be y(6). Which is smaller: 205 or c?
205
Let i be 8*-1*7/2. Suppose -2*f = -148*h + 145*h - 103, 41 = -h + 2*f. Is i equal to h?
False
Let n = -8793266/93005 - -6/8455. Is n greater than or equal to -96?
True
Let u = -10582 - -12116. Which is smaller: 2/7 or u?
2/7
Let i = -324 - -373. Let l be i/(-4)*(-24)/60*10. Which is bigger: l or -3?
l
Let h be -4 - 5/395*-317. Let u(a) = -16*a + 22. Let x be u(3). Let s be x/(-14) + -1 - 2/(-14). Is s < h?
False
Let o = -644/9 + 1940/27. Let q(x) = 2*x**2 - 2*x - 6. Let g be q(-2). Let v be (-4)/g*((-6)/(-4))/(-1). Which is smaller: v or o?
o
Let j = 2085 - 2119. Let l = -14 - 19. Which is smaller: j or l?
j
Let g be (-13 - (-9746)/(-165)) + -2 + -10. Is -84 not equal to g?
True
Let v(d) = -2*d**3 - 9*d**2 - 2*d + 3. Let y be v(-5). Let i = y + -32. Suppose -i = 9*c - 6*c. Which is smaller: -1 or c?
c
Let v = 129.61 - 131. Let g = v + 0.29. Is g at least -24?
True
Let o = 5445 + -5445.366. Which is bigger: o or 0?
0
Suppose -5*h = -5*d - 120, 0 = h + 7*d - 2*d - 6. Let z be ((h/175)/(6/5))/5. Which is greater: 0 or z?
z
Let c = -14174 - -14105. Is 1 smaller than c?
False
Suppose -d - 116 = -615. Let t be 676/(-35 - 17)*499/(-13). Is t at least as big as d?
True
Let n = 13.932 + -2.542. Let t = n + 0.61. Let g = t + -6. Is g >= 4?
True
Let l = 191 - 192. Let f = 21/244 - 7719/4636. Is f bigger than l?
False
Let d = 2.124 - 0.124. Which is greater: d or -2?
d
Let g be (-2)/8 + (-23)/4. Let l = 215 - 213. Suppose 0 = 4*x - l*r + 32, -3*x = -6*r + 3*r + 27. Is g <= x?
False
Let o(u) = -4*u - 5. Let i be o(-4). Suppose 0 = -5*l - 3*v + 11, 2*v + 1 = -4*l + i. Suppose 3*g + g + 5*m = 24, 4*g = l*m + 24. Which is greater: 23/5 or g?
g
Let d(h) = -156*h**2 - 16*h - 26. Let s be d(-1). Which is smaller: s or -2?
s
Let l = -134 + 259. Let p = -262 + 138. Let i = p + l. Which is smaller: i or -6?
-6
Suppose -107*x - 328 = -189*x. Let y be 24/(-20)*(-4 - 1). Let l be y/12 + 15/(-6). Is x > l?
True
Let r be 2 - 56 - (-1150)/(-115). Which is smaller: r or -110?
-110
Let n be (-504)/(-672)*4252/3. Is n less than or equal to 1062?
False
Let r = -3.37 + 4.07. Which is smaller: r or 347?
r
Let r(c) = c**3 + 7*c**2 + 60*c + 429. Let k be r(-7). Let v be 549/39*8/12. Is v bigger than k?
True
Suppose 5*s = 5*q + 895 + 805, 0 = -2*q. Let l = 401 - s. Is l smaller than 60?
False
Suppose -2*j + 2*j = -j. Suppose -8*z + 16*z - 112 = j. Suppose f + 13*f + z = 0. Is f >= 2/89?
False
Let w(x) = -2*x**3 + 2*x**2 + 11*x - 111. Let f be w(5). Are -260 and f equal?
False
Suppose -s + 35*b = 32*b - 3770, 0 = -b. Let v be ((-2)/30)/((-156)/s). Which is greater: 3 or v?
3
Suppose -5*d - t = -511, -2*t = 3*d - 7*d + 406. Let s be d/(-187) + 1202/2244. Is s < -1?
False
Let b = -2/378095 - -3783208/426869255. Is b less than or equal to 1?
True
Let n be 3 - ((-1)/10)/(1855/(-53690)). Is 1 greater than or equal to n?
True
Let w = -217926755/248988 - -2/62247. Let t = 875 + w. Do t and 215 have different values?
True
Let b = -402 + 547. Suppose -23*d = b - 53. Which is smaller: -50/11 or d?
-50/11
Let y be -8133*3/81 - 2/(-9). Let b = 1333553/4360 + -53/872. Let t = y + b. Which is bigger: t or 4?
t
Let u = 9644 - 13979. Are u and -4336 unequal?
True
Let m = -12546 - -1919590/153. Which is bigger: m or -1?
m
Let q = -0.79 - 2.03. Let f = 3.82 + q. Is 116 at least f?
True
Let c = -265 - -62. Let f = c - -329. Which is smaller: f or 3?
3
Suppose 0 = -3*m - w - 203, 12*w = -m + 8*w - 64. Which is bigger: -82 or m?
m
Let n = -178 + 182. Let f be (-21)/42 - 26/n. Is f at least as big as -7?
True
Suppose -6*a - 172 = -4*a + 4*g, -a - 56 = -4*g. Suppose 0 = 7*d + 854 - 322. Is a at least d?
True
Let b be (98 - 97)*((-178)/(-5) + -1). Suppose -2*g - x = -73, 6*g - 3*g + x = 109. Which is bigger: b or g?
g
Let a be -34 - (8 + 6 - 12). Is -79 less than a?
True
Let c = -268 + 376. Let m be (6/(c/(-45)))/(198/8). Are -1 and m unequal?
True
Let v = -74.6 - -80. Let a = -2.1 - -5.1. Which is bigger: a or v?
v
Suppose -5*m - 4*t + 50 - 36 = 0, 28 = -5*m + 3*t. Which is smaller: m or -139/122?
m
Let g(k) = -k + 17. Let u be g(11). Suppose u*r - 4*r - 114 = 0. Let d = -23 + r. Is d <= 34?
True
Suppose 29*s - 125 = 397. Does 73 = s?
False
Suppose s = -89 + 104. Suppose s*p = -5*l + 17*p + 854, -p - 169 = -l. Which is smaller: 170 or l?
170
Let u be (-40)/132*990/275