 Suppose 4*z = -4*w + 748, -w + 5 = 2. Let b be 1/(-3) - z/42. Which is greater: h or b?
b
Suppose 4 = 33*z - 37*z. Let j be (-720)/243 - (1 + 2)*z. Is j less than or equal to -1/3?
False
Let x be 152/15 + 4/(-30). Let j be x/(-385)*(-5)/((-45)/(-84)). Which is smaller: j or -1?
-1
Let n = 23 + -102. Let z = n - -78. Which is bigger: -4/9 or z?
-4/9
Let m(s) = s**3 + 6*s**2 + 4*s + 7. Let z = -8 + -20. Let q = 23 + z. Let g be m(q). Is 11 smaller than g?
True
Let k be (0/2 + 1)*6/(-123). Is -1/3 greater than k?
False
Let y be (-4)/(16/(-12)) - 3. Let l = y + 3. Suppose -t + 0*t = -5. Is t less than l?
False
Let n(h) = -h**3 - h**2. Let c be n(-1). Let t be 6 - (390/455)/(2/11). Which is greater: c or t?
t
Let a = -22 + 26. Let w = a - 3.68. Let p = w + -0.12. Which is bigger: -0.6 or p?
p
Let i be 1*-1*11/5. Suppose 1 = 3*a + 10, -4*d = -3*a - 17. Suppose -5*u + 18 = d*r, -2*u = -13 + 5. Which is smaller: i or r?
i
Suppose -20 - 24 = 2*i. Let t be i/(-25)*40/(-8). Suppose -2*v - 2*x = 3*x - 5, 4*v + x + 17 = 0. Which is greater: t or v?
t
Let h = 82 - 59. Let c = h - 20. Is c < 1?
False
Let n(y) = -y**2 + y + 1. Let l be n(2). Let u be 5 - 9 - 13*l. Let m(o) = -o**3 - o**2 - o + 10. Let s be m(0). Which is greater: u or s?
s
Let k = 24 + -8. Suppose -12*v = -k*v. Suppose 5*m = m. Is m equal to v?
True
Let f be 2/(-9) - (-29)/9. Let g be (-6)/5*-20*(-13)/(-104). Are g and f unequal?
False
Suppose -g - 28 + 72 = 2*w, -2*w - 3*g + 48 = 0. Which is greater: 22 or w?
22
Let g = 1229 + -1235. Which is bigger: -43 or g?
g
Let r = -2419/9 - -269. Let l(y) = -y**2 + 6*y - 5. Let m be l(5). Which is greater: r or m?
r
Let v = -21 + 14. Let t(d) = 10*d + 49. Let b be t(-6). Let r = v - b. Is 0.1 <= r?
True
Let q = 426 + -431. Let w = 20 - 12. Suppose -4*o = 4*t + 8, -4*t - 2*o - w = -t. Which is smaller: q or t?
q
Let o be 0 - (-4)/2 - 7. Suppose 0*n + n = 4. Let p be (n/6)/((-3)/18). Which is smaller: p or o?
o
Suppose -o = -2*o - 5, -2*o = -3*q + 70. Suppose -4*n = 5*y - q, n - 5*y = -2*y - 12. Let r = 1052/17 - 62. Is r greater than n?
False
Let p = 1432 - 1434. Which is greater: p or -48/61?
-48/61
Let d be -3*(68/12*1 + -6). Let j = 3 + -9. Let q be j/(-15)*(-20)/(-2). Which is smaller: d or q?
d
Let b be 23/2*(24 - -2). Is 299 greater than or equal to b?
True
Suppose 1491*r = 1501*r + 9220. Is r bigger than -921?
False
Suppose 3*g + 3*p = -0*g + 9, g - 12 = -4*p. Suppose n = -n, g = 5*c + 4*n - 1445. Let q = 8671/30 - c. Are -1 and q non-equal?
True
Suppose -x - w - 3 = 0, 5 = x - 3*w + 4. Which is bigger: 8 or x?
8
Let z be (13/((-55484)/(-66)))/((-6)/(-8)). Suppose -25 = 4*q - 5*o, 3*q + q = -5*o + 25. Is q equal to z?
False
Let v = 639/2 + -321. Let w be 2 - (3 + -1 + 2). Is v less than or equal to w?
False
Let z(r) = -r**2 - 3*r. Let v be z(-3). Suppose 2*f + 4*x + 26 = -v*f, 5*f - 4*x = 5. Let n(q) = -q**2 - 11*q - 28. Let i be n(-3). Which is greater: i or f?
f
Let b be ((-4632)/(-16))/(77/(-56) + 1). Which is smaller: b or -771?
b
Let n(h) = -7*h + 52. Let i be n(7). Suppose 2*c + 15 = -i*c. Which is bigger: -20/7 or c?
-20/7
Let m(p) = 1. Let d(s) = s + 3. Let v(g) = -3*d(g) + 24*m(g). Let w be v(5). Let y be 0 - (-2)/28*-4. Which is bigger: y or w?
w
Let a be -6*(-2919)/17542 + -1. Is 0 at least a?
True
Let h be 162/16 + ((-100149)/9975 - (-1)/25). Let l be 0 - 7*(0 - 1). Suppose 2*t - l*t = 0. Is h < t?
False
Suppose 3*q - 4388 - 1901 = -4*f, -f = 4*q - 1556. Which is bigger: f or 1577?
1577
Suppose b - 3*g + 7*g = 30, 4*b - 120 = -g. Let n be b/(-5) + 4 - (-38)/22. Let v(o) = -o**2 + 3*o + 3. Let x be v(4). Which is bigger: x or n?
n
Let v(r) = 2*r**2 - 11*r - 6. Let d be v(6). Suppose 4*l = -c - 13, -2*l = 5*c - d - 7. Let y be (-15)/(-10) + l/(-8). Which is smaller: 0 or y?
0
Let x be (3/2)/(1/(-24)). Let s be (-8)/x - (-50)/18. Let i be -4 + s + (0 - -1). Which is greater: i or -1.4?
i
Let k be (-18)/4*52/117. Let j be ((-1)/(-2))/((-2)/(-8)). Let i = k + j. Which is greater: -3/7 or i?
i
Let t be 2 - (8/(-2) - -2). Let p be 4/18 + 6412/1764. Is t >= p?
True
Let u = -893/8 - -111. Let b = 10583 - 10583.1. Is u less than or equal to b?
True
Let d = -72 - -27. Let l = -30 - d. Suppose 0 = q + l - 20. Are 0 and q non-equal?
True
Let p = -44 - -30. Let u = p - -14.4. Let y = -59.95 - -60. Is u smaller than y?
False
Let g be ((-161)/28 + 5)/(135/(-744)). Is 2 > g?
False
Let h = 93297/470 - 397/2. Let j be (788/(-3))/(6580/(-18)). Let y = j - h. Which is smaller: 2 or y?
y
Let d be 1/(-2)*0/2. Let m be (-33)/(-7) + (-136)/34. Which is smaller: m or d?
d
Let i = 66.0191 - 0.0191. Is i not equal to 1/3?
True
Suppose w - 4*l = -56, 4*l = -9*w + 4*w - 304. Which is bigger: -294/5 or w?
-294/5
Suppose 3*y + 8 = y, 0 = x + 5*y + 26. Suppose s + 5*n = -22, 0 = 2*n - 0*n + 10. Suppose -2*a - s*t + 4 = -0*t, -4*t = -16. Which is smaller: x or a?
x
Let l = -0.1384 + 0.0584. Does l = 5?
False
Let v = -0.24 - -0.17. Let d = 432 - 39314/91. Let y = -97/273 - d. Which is greater: v or y?
v
Let l = 1355 - 1588. Is -233 > l?
False
Let x(l) = -11*l - 416. Let p be x(-35). Let g be 6/(-16)*(-2)/3. Is p less than g?
True
Let n be (14/(-4) + 5)/(3/662). Which is greater: n or 332?
332
Let a(b) = 51*b - 385. Let x be a(5). Is x smaller than -131?
False
Let u = 43.1 - 5.1. Let z = u - 30. Which is smaller: z or 0?
0
Let c be 2/3 + 2386/21. Let z = 114 - c. Is 0 < z?
False
Let v = -5 + 14. Let i(r) = 15*r**2 - 316*r + 23. Let o be i(21). Which is bigger: o or v?
v
Let k be -1 + (-6 + 1)*4/(-10). Which is greater: -17 or k?
k
Let b = -9.6311 + 0.0311. Which is smaller: b or 0?
b
Let v = -1724 + 1723. Let m be (-2)/(-2) + 13/(-10). Which is bigger: v or m?
m
Let h = -55 + 4. Let g = h + 51. Which is greater: g or -3/31?
g
Let u be (-26)/(9/(225/(-80))) + -4. Is u greater than or equal to 3?
True
Let p be ((-26)/6)/(3/(-9)). Suppose p*f - 11*f + 10 = 0. Is f less than or equal to 0?
True
Suppose 12 - 66 = 9*m. Which is smaller: -41/9 or m?
m
Suppose 5*r - d = 4*d - 25, -3*r + 5*d - 17 = 0. Let s(j) = j + 5. Let g be s(r). Let q be (-20)/12 + 4/2. Which is bigger: q or g?
g
Let a = -55 + 38. Let w = 922 - 920. Are w and a nonequal?
True
Let s be 15495/(-4) + (-3)/12. Let y = 34906/9 + s. Which is smaller: y or 4?
4
Let x = -22 + 16. Let r = 7.05893 - 0.05893. Which is smaller: x or r?
x
Let r = 0 + -3. Let x be ((-1)/r)/((-1)/(-33)). Suppose 20*k + 24*k = 32 + 364. Which is smaller: x or k?
k
Suppose 2*u - d - 56 = 0, 31*u = 35*u + 5*d - 126. Is u greater than or equal to 3?
True
Let k(h) = -4*h**3 + h**2 - 1. Let t be k(-1). Suppose -3*f + 0*w - t = -2*w, f - 12 = -2*w. Let r be (-18)/(-105) + (-9)/(-21). Is r less than f?
True
Let k = -2.5 - 0.5. Let z = 3.94 + -3.9. Do k and z have different values?
True
Let p be 1/((-15)/4)*(-2220)/(-2360). Let i = p - -3/59. Which is greater: -26 or i?
i
Suppose 7*v + 33 = 6*v + 4*m, -3*m = -15. Is -20 less than v?
True
Let t = -26.57 - -26.7. Which is greater: 0.24 or t?
0.24
Let k be -193 - -197 - (1 - 14). Let q = 44 - 25. Which is smaller: k or q?
k
Let d = 29 - -39. Which is greater: d or 0?
d
Let s = -1721709 + 29282215/17. Let d = 1135 - 361. Let a = d - s. Is a equal to -1?
False
Suppose -m + 9 = 102. Let f = m + 94. Is 2/167 at most f?
True
Let k = 0.1 - -0.1. Let f = k + -0.06. Let z = -6145 + 6145. Which is bigger: z or f?
f
Let o = -1 + 1. Let n be ((-48881)/(-105))/((-9)/(-15)). Let q = n - 775. Is q greater than o?
True
Let o = 7 + -6. Let v(n) = o - 6 - 3*n - n**3 + 4 - 5*n**2 + 6. Let j be v(-4). Which is smaller: 3/7 or j?
3/7
Suppose -1 - 9 = -2*l. Let f be 8/l - 3/5. Let j be (-2 + f)/((-2)/(-10)). Is j less than or equal to -5?
True
Let q = -11 + 26. Let v be (3 - 0) + q/(-12). Which is bigger: v or 1?
v
Suppose 5*h = -4*y + 2, 3*h = -2*y - y. Suppose i - 4*i + 246 = 0. Let j = -81 + i. Is j <= h?
True
Let h = 2069/34 - 6/17. Which is greater: 62 or h?
62
Let p(l) = -72*l**3 - l**2 - 3*l - 2. Let s be p(-1). Suppose 7*c + 33 = -s. Which is smaller: c or -0.1?
c
Let s = -1259 + 1258. Is s greater than or equal to 1/74?
False
Let h be 2860/72 - (0 + (-2)/(-9)). Which is bigger: 41 or h?
41
Suppose 3*s = -30 + 84. Let g = s + -20. Let x = -4 - -3. Which is smaller: g or x?
g
Let n be 308/(-126)*1/2. Is 0 >=