: h or a?
h
Suppose -s + 3 = -3*w + 15, 4*w - 16 = 2*s. Let a(p) = -8*p**2 + 2*p + 16. Let z be a(w). Which is smaller: -105 or z?
-105
Suppose 9*s - 25*s = -1024. Let x be (-390)/8 + 4/s*-4. Is x at most -51?
False
Let f = -0.9 + -0.1. Let u = -0.7053 - -261.7053. Which is greater: u or f?
u
Let x = -23633775/793 - -29803. Which is bigger: 1 or x?
1
Let w(z) = 23*z**3 + z**2 + 2. Let b be w(-2). Let v = -319 - b. Is v at most -140?
True
Let m = 423/14 - 13085/434. Let k be -2 - ((-6)/(-3) + -5). Is k equal to m?
False
Suppose 5*g = 2*v + 1290, 5*v = -4*g + 6*v + 1032. Let b = g - -68. Is 325 < b?
True
Let a be (-180)/42*476/(-51) - -3. Which is smaller: -11 or a?
-11
Let r be 5*-12*(-6)/(-2610). Is 1 bigger than r?
True
Let s be (1 - -1)*2/2. Suppose -1 = -s*h - 3. Suppose 0 = -g - 176*y + 179*y + 17, 0 = -2*g + 3*y + 16. Is h >= g?
True
Let r be (0*6/12)/(2 - 1). Let t be (57/260 - 3/15)*-6. Is r at most t?
False
Let x = -0.083 - 0.017. Let l be ((-42)/(-315))/(16/(-3)). Which is greater: x or l?
l
Let o(k) = -2*k**3 - 6*k**2 + 6*k - 7. Let l be o(-4). Is l > -6/959?
True
Let s = -32320 - -32320.24. Let j = 22 - 25.1. Let a = 3 + j. Which is smaller: a or s?
a
Suppose 0 = -2*w - q + 2*q - 1071, -5*w + 5*q = 2685. Which is smaller: w or -532?
w
Let t be 17 - ((-55185)/(-299))/(-3). Which is smaller: 80 or t?
t
Suppose 2*j + 242 - 374 = l, -3*j - 3*l = -225. Which is greater: 219 or j?
219
Let b(j) = 28*j**2 - 42*j + 5. Let d be b(8). Is 1459 greater than or equal to d?
False
Let o be 2/4 - 14/80. Suppose 34 - 133 = -1205*u + 628 + 478. Is u greater than or equal to o?
True
Suppose 0 = -d - 4, 2*d - 4 = -8*h + 4*h. Suppose -4*g = -5*q - 6*g + 11, h*g = 9. Let t be (-3)/(-6) + (-34)/72. Is q <= t?
False
Suppose 0 = -7*w + 3*w + 44. Suppose -w*q = -9*q. Suppose q = -9*m - 11 + 74. Which is bigger: m or 9?
9
Let k = 201 + -207. Let t be ((-28)/12 + 5)*k. Is t < -2?
True
Let u(o) = o**3 + 8*o**2 - 22*o - 19. Suppose 0 = j + i + 10, -71*i = -67*i. Let x be u(j). Which is smaller: 1/174 or x?
1/174
Suppose -36 = -5*h - 3*b - 3, 3*b - 3 = 0. Let m be 10/14 - ((-96)/56)/h. Which is greater: m or -2/1301?
m
Let o = -0.31802 - -1.43802. Which is greater: o or 1/8?
o
Suppose 0 = -25*r + 34*r - 3690. Let n = r - 410. Which is smaller: n or -1/20?
-1/20
Let u = 679/24 + -133/8. Is -20 not equal to u?
True
Suppose 5*q - 3*x = -14, x - 5 = -16*q + 18*q. Do -2/34337 and q have different values?
True
Let k = 198 + -99. Suppose -2*u + 3*r - 211 = 0, 5*u = r - 2*r - 485. Let a = u + k. Is a bigger than -6/55?
True
Let t = -5387 + 5393. Does -3 = t?
False
Let q = -336513788/1531 + 219800. Which is greater: 0 or q?
q
Suppose -4*n = 2*v - 6, 109*v - 41 = 107*v + 3*n. Which is smaller: 36 or v?
v
Let l(m) = -24*m**2 - 2 + 3*m + 18 + 4*m**3 + 41*m**2 + 14*m - 9*m. Let t be l(-4). Is -2/65 bigger than t?
False
Let u be 15 + (-1 - (-3773)/(-132)). Is u at least -1?
False
Suppose -40*d - 49*d = -34*d. Let o = 60 + -21299/355. Is d equal to o?
False
Let i = -18.2 + 18. Let t = 88 - 92. Let u = t + -23. Is u at least as big as i?
False
Let y = -38770 + 38775. Which is smaller: y or -314?
-314
Let d = -784/13 - -60. Let a be 30/((-57)/133*2/(-3)). Suppose 0 = 106*g - a*g. Which is greater: g or d?
g
Suppose 0 = -7*p + 728 - 770. Is 353 smaller than p?
False
Let d(a) = a**3 + 6*a**2 - a - 6. Let c be d(-6). Let k = -84 - 25. Let z be 1*((-5)/k)/(-5). Is c less than z?
False
Let c = -106411 - -1491491/14. Let r = c - 124. Let v = -4690 + 4689. Which is greater: r or v?
r
Let l = 4575 + -4468. Which is greater: l or -1/2?
l
Let k be ((1725/(-111458))/(-25))/(1*(-1)/4). Which is bigger: k or 0?
0
Suppose 3*z = 21*z - 54. Let i be (z/(-42))/((-4)/((-1504)/(-4))). Which is greater: i or 6?
i
Let t(r) = r**3 - 9*r**2 + 2*r + 11. Let a be t(6). Let u be a/(-17) - -128*(-4)/102. Which is bigger: u or -1?
u
Let r = -1.29 - -1.6. Let s = 0.12 - r. Let t = s + 0.49. Which is smaller: t or -1?
-1
Let u = 1328885/56721 - -1/8103. Which is smaller: u or -0.17?
-0.17
Suppose -3*c + 3*n = 8*n - 18, 4*n - 30 = -5*c. Suppose -2*h + c = h. Let f = 967 + -3855/4. Which is smaller: f or h?
h
Let k = -612 + 4293/7. Let h(r) = -r**3 - 8*r**2 - 7*r + 4. Let f be h(-7). Suppose 3*t = -y, 0 = -f*t - t + y. Which is greater: k or t?
k
Let a = -8 - -13. Let c = -55965/248 - -7046/31. Are a and c non-equal?
True
Suppose 2*c + 18 - 17 = 3*b, -2*b = -2*c + 2. Let n(h) = -5*h**2 - 2*h - 7. Let r(d) = -d**2 - 1. Let f(p) = -n(p) + 6*r(p). Let s be f(b). Is -1 equal to s?
False
Let j be -1 + ((-5)/(-3))/((-60)/(-108)). Suppose 3*m + 513 = j*w, -5*m + 2*m = -5*w + 513. Which is smaller: -169 or m?
m
Let a be (-490)/24 + (-1)/3. Let o(b) = -3*b**3 - 29*b**2 + 72*b - 26. Let l be o(2). Is l <= a?
True
Suppose 76*m - 77*m = -3*y, 0 = 5*y - 5*m. Is -94/81 greater than y?
False
Let p = 2 - -30. Let d be (-4)/p*(-5)/(5/58). Let t = d + -505/68. Which is smaller: 1 or t?
t
Let b be -2 + -13 + 4282 + 143. Which is greater: 1/4 or b?
b
Let q(o) = -o**3 + 49*o**2 - 143*o + 229. Let p be q(46). Which is smaller: p or -4/10215?
p
Suppose 4*m - 15 = -5*r, -22*m + 24 = -4*r - 18*m. Is 2/4539 bigger than r?
True
Let x = 1098 - 1871. Is x at least as big as -0.3?
False
Let g(y) = -2. Let k(p) = -p - 10. Let w(s) = 2*g(s) + k(s). Let a(o) = -2*o - 28. Let b(f) = 6*a(f) - 13*w(f). Let r be b(-9). Which is smaller: 32/7 or r?
32/7
Let h be 6/(-9) - (-1)/(-3). Let a = 12233/906 + -27/2. Is a equal to h?
False
Let b(p) = p**3 - 10*p - 4. Let x = 61 + -59. Suppose 0 = t + x*r + 11, 4*t - 2*r = -3*r - 16. Let d be b(t). Are d and -17/8 equal?
False
Let w be (-12 + (-611)/(-52))/(4/438304*-2). Is w at least as big as 13697?
True
Let f be 6 + 3 + 240/(-30). Let l = 204/191 + -234422/219841. Which is smaller: f or l?
l
Suppose 3*i + 78 = -10*i. Let q be -4*i/(-96)*212. Are q and -54 nonequal?
True
Let q(j) = -9*j - 141. Let d be q(-16). Suppose -5*p - 3 = d*o + 7, -2*o = 2*p + 8. Which is bigger: 3/79 or p?
p
Let u = -0.225 - -102.225. Let o = -58022/5 + 11604. Which is smaller: u or o?
o
Let w = 0.23796 + -0.21796. Let n = -0.02 + 6.62. Is n at most as big as w?
False
Suppose 62*b = 57*b - 130. Is b greater than -24?
False
Let f = -1949 + 1708.2. Let v = 241 + f. Which is smaller: v or -5.1?
-5.1
Let k = 11 + -7. Suppose n - k = -f, 6 = 2*f + n - 0. Let j be -2 + 1*8/3. Is j not equal to f?
True
Let v(j) = -21*j**2 + 1391*j - 330. Let x be v(66). Let s = -8 + 5. Is s bigger than x?
False
Let c be -137*(11 - 14)*(-1)/(-3). Is 271/2 less than c?
True
Let z(t) = -3*t + 20. Suppose 25*b - 32 = 24*b. Let q be 156/b - (-5)/40. Let v be z(q). Which is smaller: v or 7?
v
Suppose 0 = 2*g - 12*g - 20. Let u be ((-9)/(-24))/(-1 + 1/g). Is 24 at least u?
True
Let f = -28582/7 - -4086. Which is smaller: 5 or f?
f
Let b be ((-18)/14)/((-12)/(-8)) - -3. Let h be 2 + (30/10 - 4). Which is greater: h or b?
b
Let v be (-30)/9*(-65188)/2150. Which is bigger: v or 100?
v
Suppose 0 = -5*b, 5*c - c = -4*b + 40. Suppose 2*o - 2 = -c. Let i be o/(-6) + 1032/180. Is i >= 7?
False
Suppose -100*i - 31 = -99*i. Let y = i + 29. Suppose 6*v = 2*v. Which is bigger: v or y?
v
Suppose 12233*y = 12238*y + 1125. Is -1572/7 at most as big as y?
False
Let m(v) = -75*v + 1274. Let q be m(17). Which is smaller: q or 3126?
q
Let p = -942625/19690242 - -41/858. Is -1 greater than or equal to p?
False
Suppose 2 = -c + 4. Let j = -28817479/45 - -640344. Let x = j - -413/9. Which is smaller: c or x?
x
Let z = -181 + 427. Let v = z + -246.088. Which is greater: 0.4 or v?
0.4
Suppose 0 = -4*h - 3*b + 36, 0 = -2*h + 4*b + 8 + 32. Suppose 4*m + h*m - 16 = 0. Is m at most as big as -6/83?
False
Let r be (-3 - (-4 + -2))*(5 - 2). Suppose r*x - 6*x = 3. Is x bigger than 1/238?
True
Suppose -22*y - 20 = -27*y. Suppose -y*v - 12 = 2*l, 11 - 31 = -2*l + 4*v. Let k be ((-8)/112)/(l/(-8)). Is 0 >= k?
False
Let i = -47959/5 + 9574. Suppose 3*c + 2*g = 4*c + 9, 5*c + 3*g + 97 = 0. Are c and i equal?
False
Suppose 15*k - 72 = -57. Let g be (-105)/45*(10/(-14) + k). Is g less than or equal to 28?
True
Let t be 57/(-19) - (-1008)/204. Which is smaller: t or 1?
1
Let v = -70 - -296. Let z = 226.77 - v. Is 0.1 at most as big as z?
True
Let s = 53 + -41. Suppose 5*f = 189 - 19. Let l = f - 