 = 0. Which is greater: -250 or o?
-250
Let k = -177 + 886/5. Do k and -14 have the same value?
False
Let z = -1.06 - -1.16. Which is bigger: 29/3 or z?
29/3
Suppose 5*c = 9*c - 864. Is c != 216?
False
Let w be 2/3 + (-990)/1458. Suppose -r - 2*r - 14 = 2*p, -1 = 5*p - r. Is w smaller than p?
False
Let j = 282 + -283. Is j <= -18/13?
False
Let x be (-3 + 77/21)/((-6)/81). Let z = 2 - 13. Is z at least x?
False
Let n = 17.05 - -0.95. Is n not equal to 4?
True
Let k = -604 + 2417/4. Which is bigger: 2 or k?
2
Let b be 2*(1 - 1 - -1). Suppose -3*t = -b*k - 0*t - 11, -11 = -3*k - t. Suppose -4*i + 2*d + 8 = -k*d, -i + 5*d + 6 = 0. Which is smaller: i or 8/9?
8/9
Let t = 166 - 160. Let r(o) = -2*o**2 + o + 41. Let a be r(t). Are a and -26 non-equal?
True
Suppose -3*m + 6*m - 3 = 0. Suppose 6 = 3*a - 9. Let r = m - a. Which is smaller: r or -3?
r
Let o(q) = q**2 - 10*q + 13. Let b be o(8). Let z(j) = j**3 - 2*j + 1. Let m be z(2). Suppose 37*i = 32*i - m. Which is smaller: i or b?
b
Suppose -3*k - 6 = -5*k. Suppose 3*f - k*n + 7 = -f, 18 = -3*f - 2*n. Let d be (1 - f)*(-30)/(-6525). Is d bigger than -1?
True
Let f(k) = -k**2 + k + 4. Let b be f(2). Let i be b/(-54)*-6*174. Let w = i - 39. Which is smaller: 2 or w?
w
Suppose -26*h + 24*h + 3260 = 4*l, -805 = -l + 2*h. Which is bigger: 812 or l?
l
Suppose 3*k + h = 1, h + 2 = k - 5. Let p be k*1/2*3/12. Is p >= 1.2?
False
Let g = -3 - -5. Let w = -38 + -6. Let r be 9/g*w/(-33). Is r greater than 6?
False
Let r = 1 + -1. Let k(h) be the first derivative of 2*h**3/3 + 29*h**2/2 + 19*h - 7. Let v be k(-14). Is v at most as big as r?
False
Let o = 44.9798 + -0.0798. Let q = o + -45. Is q > -0.44?
True
Let z = 10023179/34371 - 7514/513. Let d = z - 277. Let n(x) = x**3 - 3*x**2 + x + 2. Let o be n(2). Is o greater than d?
True
Suppose -50*s + 47*s = 1863. Let v = s + 18011/29. Which is bigger: -1 or v?
v
Let z be ((-748770)/1199)/(2/8). Let m = z + 2498. Which is greater: 1 or m?
1
Let z = -703 - -798. Which is bigger: 0.2 or z?
z
Let n = 41 - 25. Let w(c) = c**2 - c + 2. Let p be w(3). Let y(g) = -g**3 + 8*g**2 + 2*g - 1. Let i be y(p). Do i and n have the same value?
False
Suppose 0 = -9*d - 24 + 123. Suppose -d*t + 2*t = 1026. Is t at most as big as -114?
True
Suppose 0 = 5*j - 4*k - 29, j = -0*k - 2*k + 17. Let m = -89 - -91. Suppose -10 - 8 = -2*l + 4*n, -2*l = -m*n - 18. Is j greater than or equal to l?
True
Let p(u) = -5*u - 14. Let m(g) = -9*g - 29. Let k(v) = -4*m(v) + 7*p(v). Let l be k(-6). Let h be 3/12 + (-51)/(-4). Is l > h?
False
Let f = 130 + -172. Let v = -41.9 - f. Which is bigger: v or 1/25?
v
Let n = -165 + 368. Which is greater: n or 202?
n
Let r be (8 - 1236/198) + (-4)/2. Is r bigger than 1?
False
Let b be 7 - (-296)/(-56) - 4/(-14). Suppose b*t + 2*k - 8 = -0*k, 4*k - 15 = -3*t. Which is bigger: t or -3/58?
t
Let h be 45/(-15) - (6116/(-1530) + 1). Let s = h + 1556/9945. Which is greater: s or -1?
s
Let p = -1911/571 - -1829039/533885. Let q = p + 1/85. Is q >= 0?
True
Let x = -2 + 2.04. Let q(i) = -255*i + 1278. Let r be q(5). Is r greater than or equal to x?
True
Let o be (1534/(-4))/(10/(-540)). Let s be -1 + o/38 + -2. Let p = s - 542. Is p > 1?
False
Let k be 1 + -2 + (-2)/(-4). Let v = 9/82 - -497/328. Let y = 57/40 - v. Which is smaller: k or y?
k
Suppose -2*d = -6*n + 8*n - 14, 44 = 2*d - 4*n. Suppose 79*s = 83*s - d. Which is bigger: s or 18/11?
s
Let m(v) = 2*v**2 + 18*v + 20. Let r be m(-9). Let y be (-1 + 14/r)/(42/35). Is 7.6 at least y?
True
Suppose 9*w = 2*w + 14. Which is smaller: -1.11 or w?
-1.11
Let x = -37.4 - -48. Let b = 3.4 + x. Let k = -13.99 + b. Which is greater: -1 or k?
k
Let w = -1.866 + 2. Let k = 0.434 - w. Is 0.7 smaller than k?
False
Let t be ((-4)/(-12))/(2/70). Let g = 12 - t. Which is bigger: g or 0?
g
Suppose 0 = 3*i - 3 - 6. Let c be (-121)/(-66) + (-1)/i. Is 2 <= c?
False
Let k = 837 - 4188/5. Is k smaller than 0.1?
True
Let t be 154/(-165) - 2/(-6). Is -2 smaller than t?
True
Let o(a) = -56*a + 4. Let v be o(6). Let y be 32/112 + v/(-14). Let t be 6/(-15) - y/(-210). Which is bigger: t or -0.5?
t
Let m be 4*(-36)/(-10 - -19). Which is smaller: m or -5?
m
Suppose 9 = -4*h - 5*h. Let z be (-5 - -3) + (-5)/(-1). Let n be (-16)/18 + 1/z. Which is greater: h or n?
n
Let a = -0.2 + 0.16. Let d = 1567/9 - 1570/9. Is d less than a?
True
Let v be 2 + -1 + -3 + -11. Let z(f) be the first derivative of f**3/3 + 13*f**2/2 + 17*f - 4. Let p be z(v). Are 18 and p unequal?
True
Suppose 0 = -9*q + 13*q + 8. Are q and -23/16 equal?
False
Let p = -0.85 - -0.05. Let w = 0.35 + -2.35. Is w smaller than p?
True
Suppose 3*f + f = 72. Suppose -5*x + 2*h + 88 = 0, 25 = 2*x + 5*h - 16. Are f and x nonequal?
False
Let f = 93 + -56. Let u = -18 + f. Does 19 = u?
True
Suppose -10*u = -34*u. Which is greater: u or -1/62?
u
Let d be 6/(-21) + (-21226)/140. Let r = -152 - d. Let h(m) = -m**2 - 24*m - 43. Let c be h(-22). Is r bigger than c?
False
Suppose -3*s + 10*s = 0. Suppose s*k - 9*k = 45. Let d = 9 - 16. Is k at least d?
True
Let x be 63/12 - 3/12. Suppose -4*y = 5*p - 0*p - 226, -x*y = 5. Let c be p/115 - (-284)/(-110). Is c != -2?
True
Let y be (-7100)/(-980) + 7/(-1). Is y > 1?
False
Let r = -1.42 + 2. Is r not equal to 1?
True
Let h = -3 + 6. Suppose h*v = 5 + 10. Suppose -2*m = -v*o + 15, o + m + 2*m + 14 = 0. Are o and -1/4 nonequal?
True
Let d = 1.9 - -1.1. Let h = 6 - d. Let n = 4 + h. Which is smaller: -2/9 or n?
-2/9
Let l = 3115 + -3115. Let i = 34 + 3. Let p = i - 53. Is l >= p?
True
Suppose -3*b - 2*v + 9 = 0, -5*b + 3*b + 2*v = -6. Suppose 2*p + b*o = -p - 33, 23 = -4*p + 3*o. Suppose 7*m + 541 - 492 = 0. Which is smaller: p or m?
p
Let o be 40 + -44 - (-6 + 2). Which is smaller: o or 22/85?
o
Let x = -77 + 134. Let a = -54 + x. Is 1 equal to a?
False
Suppose g + 3*p = -3*g - 18, -5*g - 4*p - 23 = 0. Let z be g - ((-6)/9 - 20/(-3)). Which is bigger: -3 or z?
-3
Let k = -1.07 + 2.67. Which is smaller: k or 0.3?
0.3
Let i(b) = 4*b**2 - 17*b - 1. Let g be i(5). Let k be ((-4)/g)/((-12)/(-84)). Is -9/5 > k?
True
Let q be 4/14 + 290/(-35). Suppose 0 = 5*h + 4 + 21. Let v be h/20 + (-6)/q. Which is smaller: 2 or v?
v
Let h be (-66)/((30/(-40))/((-1)/2)). Is h smaller than -44?
False
Suppose -3*m + 3*w + 9 = -0, -2*m - w - 6 = 0. Let z = 3779/262 - -10/131. Let v = -160/11 + z. Which is greater: v or m?
v
Let q be 369455/(-10)*6/(-71025) + -3. Let v = -1/947 + q. Is -1 > v?
False
Let q be ((-11)/(-33))/((-2)/(-6)) - 4. Let r = 4/25 + 422/175. Let l = q + r. Which is smaller: -1 or l?
-1
Let q = 107/3 + -1216/33. Are q and 0 unequal?
True
Let r be (2 - 2)/(-1) + (100 - 1). Let h = r - 45. Is -0.1 equal to h?
False
Suppose 2*l = -5*g + 89, 5*g + 5*l - 20 = 75. Which is smaller: 65/4 or g?
65/4
Let x = -19144/17 - -1126. Which is bigger: x or 0.06?
0.06
Let b = 329 + -3283/10. Let s(w) = w + 13. Let v be s(-11). Which is smaller: b or v?
b
Let h = 5.198 - 0.198. Which is smaller: -59 or h?
-59
Let x = 933 - 880. Is x bigger than 52?
True
Suppose 218 = -8*v + 618. Suppose 21 = 5*x - 224. Which is smaller: x or v?
x
Suppose -2*l = -4*a + 8, 0 = -l + 5*l + 16. Suppose 2*k + a = 10. Is k equal to 6?
False
Suppose -a = 6 - 4. Let q = 241/35 + -58/7. Which is bigger: a or q?
q
Let q = 703 - 459. Let u be (-24)/32 + 191/q. Is u not equal to -1/4?
True
Suppose -1 = -4*q - 5. Suppose 5*y - y = -y. Let s be 3 - y - 100/35. Is q <= s?
True
Suppose -19*l + 17*l = 0. Suppose -i = -4*i + 5*p - 3054, l = 5*i - 2*p + 5071. Let b = 23305/23 + i. Which is smaller: 0.1 or b?
0.1
Let g = -0.09 + -0.51. Let t = g + 1.6. Which is smaller: -3/10 or t?
-3/10
Let n = -70.97 + 65. Let i = n - -6. Suppose -3*f + 5 = -8*f. Which is smaller: f or i?
f
Let x(i) = i**3 - 2*i**2 + 2*i - 21. Let c be x(0). Which is smaller: c or -25?
-25
Suppose -68 = -3*d - 29. Suppose -5*y + 234 = -8*y. Let n be ((-2)/(-3) + -1)/(2/y). Do d and n have the same value?
True
Let q(p) = -p**3 + 11*p**2 - 9*p - 9. Let x be q(10). Let o = -24 + 51. Let c be (3/o)/(2/6). Is c greater than x?
False
Let j be ((-396)/(-154)*2)/((-4)/(-238)). Is 304 less than j?
True
Let m = -20 - -22. Is m less than -127?
False
Let g(q) = 7*q + 4. Let t(o) = 3*o + 2. Let k(w) = 4*g(w) - 9*t(w). Let d be k(1). Is 1/20 at most d?
Fals