-3 - r. Is d at least 1/9?
False
Let b = -12827/36603 - -5/4067. Let q = b - 713/63. Which is smaller: q or 1?
q
Let d be (-2)/(-10) + 98/10. Suppose -2*l + d*l - 280 = 0. Is 36 bigger than l?
True
Let i = 21.9 + -10. Let g = 12 - i. Let n = 144/455 + -2/65. Which is smaller: n or g?
g
Let w(l) = -l**2 - 6*l + 9. Let h be w(-7). Suppose 0*k - h*k = 0. Let a(p) = -p + 3. Let b be a(4). Is b at least as big as k?
False
Let z = -110 + 111.3. Let v = -0.5 + 0.4. Is v < z?
True
Let f = -113507/4393 + 595/23. Which is smaller: -1 or f?
-1
Let d = 745/7 - 106. Are -25 and d equal?
False
Let f(y) = -11*y - 11. Let s(u) = -5*u - 6. Let x(m) = -4*f(m) + 9*s(m). Let v = -22 - -13. Let r be x(v). Which is smaller: r or -0.7?
r
Let w = -168 + 190. Which is smaller: 43/2 or w?
43/2
Let z be ((-6)/(2*1))/((-3)/9). Let o = 8 - -1. Is z < o?
False
Let i(m) = m**2 - 26*m + 88. Let h be i(22). Is -12/67 equal to h?
False
Let x = -1 - -1. Suppose -5*q - 3 - 2 = x. Let t be (2 + -4)/(q + -17). Which is bigger: 1/4 or t?
1/4
Let c be 189/33 + (-24)/4. Which is smaller: -1/5 or c?
c
Let n(o) = -13*o + 28. Let a be n(2). Which is smaller: a or 48/19?
a
Suppose -4*q = -2*v + 4, v + v + 2*q - 4 = 0. Suppose -4*f + 8*c - 24 = 3*c, 4*f - v*c = -12. Suppose 0 = -5*n + 2*m - 11, -3*n + 0*m = 3*m - 6. Is f > n?
False
Suppose -31050 = 113*c - 23*c. Which is smaller: -346 or c?
-346
Let c = 141 - 143. Is c at most as big as 23?
True
Let c = 21/2 - 251/22. Is c > 0?
False
Let t(q) = 2*q - 1 - 4*q - 6. Let m be t(-7). Suppose g - 3*u = -3*g + 32, -4*g = 5*u - 32. Is m at most g?
True
Let x = -161.73 + 2.73. Which is smaller: 1 or x?
x
Let k(t) = -9*t - 23. Let u be k(-3). Let s be (-30)/(-8) + 2/8. Suppose -3*o = -s*o + 2. Which is smaller: u or o?
o
Let o(m) = -596*m - 27. Let f be o(-1). Are f and 569 nonequal?
False
Let t = 52 - 57. Let n = 1 - 7. Which is greater: t or n?
t
Suppose -7 = -0*x - 7*x. Is x greater than 2/137?
True
Suppose -3*k + 8*k = 5. Let n(f) = -f**3 - f**2 - f + 1. Let y be n(0). Let c be (1 - (-4 - y))/(-2). Is c >= k?
False
Let c be (-1 + (-183)/(-165))/(24/(-45)). Let m = c - -617/220. Is 3 at most as big as m?
False
Let i = -2/16379 - -229524/1785311. Which is smaller: i or -1?
-1
Let c = 233 - 182. Does c = 51?
True
Let u = 19 - -3. Suppose -2 = -3*i - n, i - 4*n = -2*i + u. Which is greater: 13/6 or i?
13/6
Let r = 14 + -9. Suppose 4*o - 3*i = -11, 1 = r*o - 2*i + 13. Which is greater: -8/11 or o?
-8/11
Let v = -20/13 + 22/13. Is 38 smaller than v?
False
Let y = -10.7 - -6. Let s = y - 14.3. Let v = s + 17. Is v at most as big as -1?
True
Suppose -151 = 3*s - 148. Which is smaller: s or 2/39?
s
Let l = 44.82 - 45. Let b = -0.08 - l. Which is bigger: b or 69?
69
Suppose -4*d - 84 = -4*z - 16, 55 = 5*z + d. Suppose -2*u = 3*t + 15, u + z = -4*u + t. Which is bigger: u or 1?
1
Let m = 6568/73 + -90. Which is smaller: 0 or m?
m
Let o(n) = -2*n - 4. Let m be o(-3). Let r(g) = -2*g**2 + 3*g - 5. Let z be r(m). Which is smaller: -8 or z?
-8
Let j be (30 - 23) + (-148)/(-2). Which is bigger: j or 159/2?
j
Let h = 66.2 + -1817.2. Which is greater: -1 or h?
-1
Suppose -3*i - 28*i = 62. Which is bigger: i or -100/31?
i
Let h = -232.01 + 232. Is 10 >= h?
True
Let n = 0.3 - -0.1. Let z = 1.54 - 1.7. Let l = z + 0.16. Which is greater: n or l?
n
Let v = 13 - 13. Let y be (-6)/(-8) + 55/44. Which is greater: v or y?
y
Let y(h) = h**3 + 6. Let v be y(0). Let w be (v/9)/(8/(-12)). Let d = 5 - 7. Which is greater: d or w?
w
Let p be ((-4)/(-6))/((-2)/12). Let x(y) = -8*y - 1. Let h(o) = -3*o. Let k(c) = 6*h(c) - 2*x(c). Let i be k(p). Which is greater: 11 or i?
11
Let k be ((-2 - -3) + 0)/((-78)/(-3)). Suppose 2 - 2 = -3*b. Which is smaller: b or k?
b
Let y(u) be the third derivative of -u**6/120 + u**5/10 - u**4/24 - u**3 - 2*u**2. Let s be y(6). Let g be (1 + 5)*s/8. Which is smaller: -8 or g?
g
Let k = 277/2344 - -2/293. Is k <= 0.05?
False
Let y be (-12)/(-3) + -4*7368/(-32). Which is smaller: 924 or y?
924
Let f be (-6 - -8)/(10 - 0). Suppose 6*n - 3*n + 3*g + 9 = 0, 4*n + 3*g = -8. Which is bigger: n or f?
n
Let f(r) = -97*r - 17. Let y be f(-1). Is 79 not equal to y?
True
Let u = 29 - 28. Let l be u/3 - (-136)/51. Is l at least 22/5?
False
Let f(w) = 5*w**3 + w. Let a be f(-1). Let l be (-216)/(-45)*(-20)/a. Let i be (2*1)/(l/40). Which is smaller: 6 or i?
i
Suppose -14*p = -6*p. Suppose 5*l - 2 = 2*m - 1, 4*l - m + 1 = p. Which is smaller: -3/31 or l?
l
Let s be (-139)/5 + (-2)/(-4*5)*-2. Suppose 0*v + 28 = -v. Are v and s nonequal?
False
Let p = -143 + 142. Do p and -10/69 have the same value?
False
Let g = 18401/2114 + -61/7. Is 0 smaller than g?
False
Let f(r) = -2*r + 2. Let m be f(-3). Suppose 3*j - j = 12. Let g(v) = 2*v - 5. Let y be g(j). Is y at most m?
True
Suppose 4*z = 3*h - 6, 3*z + 5*h = 7*z + 10. Is z less than or equal to 2?
True
Suppose -3*n = -12, -12*y = -14*y + 4*n + 20. Let k be (-1 - -3) + y/(-6). Which is bigger: -9 or k?
k
Let t = 83.61 + -90.6. Let x = t + -0.01. Let i = -8/37 - 18/259. Is i >= x?
True
Let z = -36 + 42. Suppose z*c + 61 = 43. Which is bigger: c or 5?
5
Suppose 3*c - 234 = -5*y, 0 = 4*c + 3*y - 2*y - 329. Is c at most 83?
True
Let x be 3/(1/((-4)/(-3))). Let q be x/(-2) - 0 - 14. Is -15 at least as big as q?
True
Let h = -139 - -140.37. Let k = h + -0.37. Let p = 7 - 14. Which is smaller: k or p?
p
Let n(u) = -172*u**2 + 21*u - 28. Let h be n(2). Is h greater than or equal to -675?
True
Let r be (33/(-6) + 5)*0. Which is smaller: r or -26/41?
-26/41
Let r = 0 - 1. Let p = 3/949 - -1733/52195. Which is bigger: r or p?
p
Let z be (-6)/(-6 - (-2)/(154/455)). Is z at most 67?
True
Let i = 4 + -2. Suppose i*g + 0*g = -12. Let f be (1/g)/(10/8). Which is bigger: f or -3?
f
Let s = -352 - -222. Is -131 not equal to s?
True
Let c be (-3822)/(-72) - (-4)/(-12) - 5. Which is greater: 47 or c?
c
Suppose 0*s = -s - 6. Let u(i) = -i**3 - 7*i**2 - 7*i - 9. Let m be u(s). Let y be 15/(-36)*m/(-10). Which is smaller: -2/3 or y?
-2/3
Suppose 2*b = -108616 + 408020. Let s be (-91885)/b + 3/7. Let r = 5/74 + s. Are r and 1 unequal?
True
Let x = -80 - -79.9. Which is smaller: x or 103?
x
Let c = 53 + -57. Let k be (1015/255 + c)*2. Is k greater than or equal to 1?
False
Let f be (-4 + -1)/(6/294). Let r = 1114947/10 + -111740. Let b = r - f. Which is smaller: b or -1?
-1
Suppose 5*r + 22 = -38. Let x(d) = 7*d - 18. Let s be x(4). Let j = s + r. Which is smaller: -1 or j?
j
Let d(m) = m**3 + 17*m**2 + m + 16. Let c(y) = -3*y + 1. Let g be c(6). Let t be d(g). Is t at most as big as 3/7?
True
Suppose f - 4*f - 5*m - 27 = 0, 2*f = -m - 18. Let k(l) = 9*l**3 + l**2 - l - 1. Let d be (-1)/((-1)/(1 - 2)). Let v be k(d). Is f greater than v?
False
Let h = -2.7 - -2.766. Let d = h + -0.166. Which is smaller: d or 2/67?
d
Let p = 184 + -50. Let b = p + -128. Is b at least 11?
False
Let k be (-1*-1*2)/(-7). Let h = 4 - 16. Let z be 2/(-4)*6/h. Are k and z nonequal?
True
Let z be (-5)/2 - (-1)/(-2). Let n be (2*1/(-51))/(z/(-9)). Which is greater: n or 1?
1
Let i = 72 - 74.9. Let u = 119.9 + -108. Let k = i + u. Which is bigger: k or -0.2?
k
Let c(z) = -z**3 + 6*z**2 - 2*z + 3. Let m be c(5). Is 186/11 > m?
False
Suppose -n + 9 = 3*w, 0*n = 3*n - w - 27. Let j = 14 - n. Suppose j*f + 5 = 2*h, -2*f - 2*h = -h + 11. Which is greater: f or -1?
-1
Let i = 1668 + -1668. Is 3/220 != i?
True
Let p(t) = -20*t + 4. Let f(w) = w. Let m(i) = -12*f(i) - p(i). Let o be (-2)/6*1*-6. Let s be m(o). Are s and 11 non-equal?
True
Let f be (-57)/95 + (-4)/10. Is -2/243 >= f?
True
Let w be 6/(-4)*60/(-18). Suppose -2*s = 3*u - 13, 5*u + 4*s - 6 = 17. Suppose 16 = 4*j + 5*o + u, 0 = w*j + 3*o. Which is smaller: -5 or j?
-5
Let p = -9.2 + 9.13. Which is bigger: -0.4 or p?
p
Let b(m) = m**2 + 2*m + 2. Let g be -5*(3 - 12/5). Let s be b(g). Suppose -10 = d - 2*j, 3*d = -3*j - s + 2. Which is smaller: -1 or d?
d
Suppose -3*c - 53 = -32. Let g be (c/(-21))/(3*(-2)/(-12)). Is g greater than or equal to 0.24?
True
Let c be 84/210 - (-1 - 179/(-135)). Is c >= -11?
True
Suppose -7*k = -10*k + 48. Let f be (k/39)/((-3)/18). Let q = f - -359/130. Which is smaller: q or 0?
0
Suppose 48 = 2*x + 14. Let v = -5 + x. Let a be (-2)/(2/v*-2). Is a greater than 5?
True
Let k(i) = -8*