r than or equal to r?
False
Let c be (-144)/252 + 7/98. Which is bigger: c or -1/1043?
-1/1043
Suppose -231 = -9*k + 6*k. Let b = 153/2 - k. Which is smaller: -1/22 or b?
b
Let u = 904 + -1464. Let f be (-214)/u - (-19)/(-152). Is f < 1?
True
Let c be (-98)/(-1274) - ((-91586)/(-13) + 4). Which is greater: c or -7050?
c
Let h be 6/(-21) - 13/((-455)/10). Is h > -29/181?
True
Let c = 38 + 17. Let m(u) = -7*u - 22. Let n be m(-11). Does c = n?
True
Let s = -3975 + 43781/11. Let t be 18/102*2312/68. Which is smaller: t or s?
s
Suppose -n - 22 = -5*j, n - 3*j = 2*n - 10. Let o be ((-1 - -5) + -4)/n. Let g be -22 + 26 - 1612/402. Which is smaller: o or g?
g
Let t = 313 - 312. Suppose -g - q - t = 0, -g + q = 2*g - 5. Is g < 55?
True
Let c = 7.483 + -7.5. Let g = -0.087 - c. Is g bigger than -0.04?
False
Let v be 4 + (5 - 17) + 1. Let b be v + 2 + (-42)/(-12). Is b greater than or equal to 1/20?
False
Let n = -1/75 + -1267/600. Suppose 76*g - 75*g + 2 = 0. Which is smaller: n or g?
n
Let n(h) = h + 24. Let o be n(17). Suppose -4*v = c - o + 15, -98 = -5*c - 4*v. Is c at most as big as 10?
False
Let l(u) = 5*u**2 - 15. Let s be l(-7). Let y be 8 - (s - (-48)/(-6)). Are -215 and y non-equal?
True
Let y be (-1)/(-3) + 1239/9. Let u(n) = -n**3 + n**2 + 2*n - 2. Let k be u(2). Let z be k - -3 - y/21. Is z bigger than -6?
True
Let u be (-45881)/(-31218) + ((18/(-4))/1)/3. Which is smaller: u or -146?
-146
Let r be 36/27*(1 + 71). Let c = r - 95. Let w(f) = f**2 - 2*f + 2. Let l be w(c). Is l < 2/11?
False
Let c be 6/9*(-4)/8. Let j = 21762 + -21879. Which is greater: j or c?
c
Suppose -57*s + 4200 = -62*s - 2*n, -3*s + 2*n = 2504. Which is smaller: -3347/4 or s?
s
Let a be (-25)/(-1575)*(-682)/77. Which is smaller: a or 0?
a
Let b = 131 + -20. Let q = 115 - b. Let d be (-5)/(1 - 1771)*q. Is d at least as big as -1?
True
Let m(h) = -h**2 - h + 20. Let s = 410 + -406. Let c be m(s). Which is smaller: c or -3/11?
-3/11
Let n = 0.3344 + -0.0344. Is n < -287.5?
False
Let a(b) = 9*b + 10. Let s(m) = -5*m - 5. Let n(g) = 4*a(g) + 7*s(g). Let p be n(0). Let d = -593 + 590. Is p smaller than d?
False
Let r = -132674/232155 + 2/33165. Is r at most 121?
True
Let f = -5393 - -5413. Which is greater: f or 52?
52
Let p be 58845/(105/(-7)) - (-8)/(6/(-3)). Is p greater than -3930?
True
Suppose 0 = 4*o + 5*h - 799, -o + 4*h + 115 = -69. Which is bigger: o or 191?
o
Let t(j) = -j**2 - 3*j - 40. Let f = -248 - -234. Let i be t(f). Which is smaller: -193 or i?
i
Let u be (-41400)/(-575) - (11 + 1). Is -84 greater than u?
False
Suppose -o - 2*u = -3*u, -5 = o + 4*u. Suppose 2*y = -x - 4*x + 1530, -x + 3*y + 323 = 0. Let d be 310/x + (-3)/3. Which is smaller: d or o?
o
Suppose 0 = 5*j - 3*j - 6. Suppose -4*p = -5*t - 19, t - p - j*p = 9. Let u be (-38)/(-133) + 303/t. Which is greater: -1/2 or u?
-1/2
Let d(q) = q**2 + 60*q - 1224. Let n be d(0). Is n > 0.04?
False
Let o be (7254/627)/1 + 7. Let v = 320/19 - o. Which is bigger: -2 or v?
v
Let c(a) = -44 + 8*a**2 - 7*a**2 - 43 - 5*a. Let d be c(12). Is -3 bigger than d?
False
Let d = -82 + 34. Let z = 884 + -931.3. Let m = d - z. Which is greater: -2/7 or m?
-2/7
Let j = -10128 - -10127.79. Is 2/139 greater than or equal to j?
True
Let k be ((-35)/(-15) - 3)*-3. Suppose 4 = -2*p, k*p = -5*q + 2 - 1. Which is smaller: q or -3/13?
-3/13
Let k = 203 + -196. Let t be k + -9*2/3. Do t and 20/9 have the same value?
False
Let s(w) = w**3 + w**2 + w + 1. Suppose 13 = 4*a + 13. Let h = 0 - a. Let g be s(h). Do -3 and g have the same value?
False
Suppose -3*d - 1 = -5*g, d - 1 + 8 = -5*g. Let n = 18.4906 + -18.4506. Which is bigger: n or g?
n
Let j = 0.096 + 4.004. Let x = 3126611/36 - 86869. Let v = x - -166/9. Which is smaller: j or v?
v
Suppose -1093*l + 1072*l - 19887 = 0. Is -950 smaller than l?
True
Let r(c) = 2*c**2 + 8*c - 267. Let q be r(60). Which is smaller: 7412 or q?
7412
Let u be (-23)/115 + 298/(-10). Let b be (9/u + 2)*98. Let n = b + -166. Is -1/4 < n?
True
Let n(q) = -4 + 1 + 7*q - 10 - 14 - 13. Let d be n(-5). Suppose f - 5*t = -2*f - 218, -5*t = -f - 66. Which is bigger: f or d?
d
Let d be (-1)/(-4) + 42/(-104). Suppose 0 = -5*a - 40, -3*a + 208 = 2*n + 234. Are d and n nonequal?
True
Let b(h) = h + 1. Let s be b(2). Suppose -522*l + 48 = -3*f - 517*l, -3*f + 6*l - 57 = 0. Which is bigger: s or f?
s
Let q be (810/2916)/((-9)/54). Let j = 0 - -7. Let h = j - 3. Which is smaller: h or q?
q
Let m = -91 + 90. Let r be ((-109)/(-3))/((-12)/9 - -1). Let p = r + 115. Is p smaller than m?
False
Suppose 9*k + 306 = 108. Suppose 3 + 33 = -2*v. Is v less than k?
False
Let p be (-4)/16 + ((-42)/28 - (-54570)/(-8)). Which is smaller: -6824 or p?
-6824
Let o = 3643 - 3615. Is o greater than 40?
False
Let h be (-4)/(-90)*45/75. Let g = h + 67/300. Let f = -10.915 + -0.085. Which is greater: g or f?
g
Suppose 255*p + 208*p + 400 = 63*p. Let v = 50 + 216. Which is smaller: p or v?
p
Suppose -75 = -5*i - 30. Let a be ((-45)/(-20))/i - (-199)/4. Let v = a + -51. Are v and 2/5 equal?
False
Let g be 0/(1 - 0*6/(-24)). Suppose 37*i = 222 - g. Which is smaller: i or -3?
-3
Let m = 0.06193 - -1.93807. Let u = 3.2 - 1.6. Are u and m non-equal?
True
Let k = 0.15321 - 0.05321. Which is greater: -154 or k?
k
Let s = -5/1088 + 4937/127296. Let d = -6 - -5. Which is smaller: s or d?
d
Suppose -15*f + 237 = -33. Let b be -35*f/(-30) - (-1 + 1). Is 20 >= b?
False
Let c(q) = 884*q + 3335. Let y be c(0). Is y greater than 3334?
True
Let c = 14.2327 + 0.8213. Let f = 0.054 - c. Let g = f + 5. Is g at least 4?
False
Let h(p) = -98*p**3 - p**2 - 2*p - 2. Let z be h(-1). Suppose -100*q + 3 = -z*q. Let u be 3*q + ((-56)/20)/1. Which is bigger: -5 or u?
u
Let c = -17.84 - -22. Let n = -227.16 + c. Is n <= -1?
True
Let a = -0.4 + 0.5. Suppose -3*r = -147 - 21. Let h = r - 169/3. Which is smaller: a or h?
h
Let g = 367 + -364.51. Let d = 2.69 - g. Is d at least 119?
False
Let q = 33116 - 89231/2. Is -11501 != q?
True
Let y = -2.409 - 2.591. Is -33/23 < y?
False
Let l = 203090885/2241213516 + -30/309731. Let m = l - 13/108. Let u = 4325 - 4325. Which is smaller: m or u?
m
Let r = -20352 + 31326. Is r at most as big as 10974?
True
Let z be (5/1 + -5)/(-2). Let u be (z + 3 - -3)/(-14). Does 1 = u?
False
Let h be -88*(9 - 119/14). Is h at most as big as -21?
True
Let j(z) = -z + 1. Let d be j(2). Let a = -1.2161 - -1.1631. Which is bigger: a or d?
a
Let r be 2/(-1*6/3). Let w = -651.5 + 40.5. Let s = w - -611.46. Which is smaller: s or r?
r
Suppose -25 = -5*r, 5*r = -2*a + r + 48. Let l be (9 - (-305)/(-35)) + 38/14. Suppose 17 = -l*d + a. Which is greater: 3 or d?
3
Let x be ((-1050)/(-5320))/((-9)/(-2)). Which is smaller: x or 2?
x
Let k = -3662 + 3659. Which is bigger: -19 or k?
k
Let s = -26.92 + -0.38. Let v = -15.7 + s. Which is bigger: v or -2?
-2
Let n = -22738/118505559 - -5/15497. Let o = 611767/53529 - n. Which is smaller: o or 0.1?
0.1
Let h = 20/3583 + -327117/59244905. Is -1 at most as big as h?
True
Suppose 45*u = 16*u + 290. Suppose -157 = -u*d + 133. Are d and -0.4 equal?
False
Suppose -212 + 219 = -7*d. Let w be d/53*(-17)/(102/12). Which is smaller: 1 or w?
w
Let o = -46282 - -46366. Which is greater: o or 751/9?
o
Suppose 119*j - 118*j - 11614 = f, 2 = -j. Which is smaller: f or 2?
f
Let o be (-67)/12*(-2 + -2). Suppose -4*p = 0, 0 = -2*n + 31*p - 32*p + 42. Which is smaller: o or n?
n
Suppose -3*h = -4*p + 23, h + 3 - 6 = -4*p. Let j(q) = -2*q**3 - 3*q**2 - 2*q + 5. Let k be j(p). Which is greater: k or -25?
-25
Let o be -2*(-35)/(-14) - -3*(2 - 0). Are o and 1/170 nonequal?
True
Suppose 4*v + 16 = 0, -v + 3*v = -3*g + 4. Suppose -30*y + 546 = -g*y. Which is smaller: y or 26?
y
Let d = -0.016066 + 324.016066. Let g = 0.4 - 0.3. Is g > d?
False
Let g = 8207 - 8227. Is 72 greater than g?
True
Let y be 6 + -1 + 1/((-12)/(-7443)). Let x = -625 + y. Which is bigger: x or -5/13?
x
Let a = 1799 - 3222. Is a bigger than -1423?
False
Suppose -5*b = n + 1157, 10*b - 5*b = 4*n + 4603. Let v be (n/760)/(15/50). Is v not equal to -4?
True
Let h(r) = -2*r**2 + 52*r - 396. Let v be h(10). Does -71 = v?
False
Let w(c) = c**3 - c + 23. Let n be w(0). Let b = 135 + -128. Suppose -b*q = 6*q - 299. Are n and q equal?
True
Let y = 12023875/1282 + -9379. Is 