= v + q. Is m <= 3?
True
Let t be 1/(-2)*(-8)/(-2). Let f = -2.8 - -3.04. Let k = f + -0.04. Is k greater than t?
True
Suppose -14*v = -4*v - 1060. Which is greater: v or 107?
107
Let w = 427295/1202 + -711/2. Is w greater than or equal to 0?
False
Let m(w) = -7*w**3 + 71*w**2 + 2*w. Let q be m(10). Which is smaller: q or 121?
q
Suppose -9*u + 20 = -4*u. Suppose -8 = -4*o - 0. Suppose o*h - u*h = -6. Does 1 = h?
False
Let g(i) = 2*i - 22. Let s be (-18)/2*2/(-6). Suppose -s*o = 3*o. Let u be g(o). Which is bigger: -21 or u?
-21
Let b be ((-18)/(-83 + 11))/((-2)/(-272)). Which is smaller: b or 31?
31
Let t be (-52)/(-10) - (-10)/(-50). Let s(x) = -x**2 + 8 + 8*x - 4*x - 3. Let f be s(t). Is 0 not equal to f?
False
Let z be (-1 - 4/4)*(2/(-1))/(-2). Let l(x) = -4*x - 11. Let h(t) = -t - 3. Let w(j) = -9*h(j) + 2*l(j). Let g be w(-6). Is z less than or equal to g?
True
Suppose 3*n + 4*r = 0, 2*n - 4*r + 28 = -2*n. Let y be -14 + (-2)/(-4)*-6. Let a = 12 + y. Which is smaller: a or n?
a
Let z = -2 + 0. Let i = 264 - 53. Let o = 211.3 - i. Is z greater than or equal to o?
False
Suppose 2160*x + 2016 = 2153*x. Is x <= -289?
False
Let a = 21.4 - 22.4. Let w = 13 + 5. Suppose -3*s + 4*s - 21 = 2*f, 2*f + 2*s = -w. Is a at most f?
False
Let z(d) = -14 + 6*d - d - d. Let c be z(6). Suppose 5*l + 0*l = c. Which is greater: l or 4?
4
Let w = -101/28 - -6/7. Which is smaller: w or -7?
-7
Let p(s) = s**3 - s**2 + 5*s + 5. Let y be p(3). Are y and 37 equal?
False
Let s = -118 + 133. Which is greater: -0.1 or s?
s
Suppose 0 = -9*g + 14*g + 290. Let a = 91 + g. Which is smaller: 34 or a?
a
Let h(a) = -a**2 + 2*a + 2. Let o be h(3). Let y be ((-6)/10)/((-9)/45). Suppose z = -l + y + 1, l = -5*z + 20. Which is smaller: l or o?
o
Suppose 6*j + 59 = -163. Which is smaller: -32 or j?
j
Let w(n) = 5 + n**2 + 24 - 18*n - 12. Let z be w(16). Is -15 less than or equal to z?
True
Suppose 0 = -7*v + 110 + 16. Suppose -5*n + v = 2*z, 18 = -4*z + 2*z + 4*n. Let x = 1/347 - 713/6593. Is x at least as big as z?
True
Suppose 2*b = -2*b. Let m(a) = -3*a**2 + 3*a + 7. Let u(g) = -7*g**2 + 7*g + 14. Let p(k) = -5*m(k) + 2*u(k). Let y be p(3). Which is bigger: y or b?
b
Let r be 44/16 + 3/12. Suppose 0 = 7*n - r*n. Let z be n/(-3) + -1 - 17. Is -18 > z?
False
Let t(x) = -x**2 - 8*x - 5. Let c be t(-8). Let m = -70 + 68. Which is greater: c or m?
m
Let l be -7 - 4/(-52)*-21. Is l less than -9?
False
Suppose 45 = -a + 3*o, 2*o = -5*a - o - 225. Let g be 2/(-4)*122/a. Let k = g - 13/10. Which is smaller: k or -1?
-1
Let a = -72 - -68. Let p be (-1)/3 - (-2)/6. Suppose -5*j = -p*j + 20. Is a at most as big as j?
True
Suppose -g + 5*p + 4 = 4*p, 5*p + 19 = 4*g. Let s = -27 + 14. Let m = -12 - s. Is g < m?
False
Let x be (0/(-2) - -1) + (-644)/4. Let s be 1*(-4)/x*-2. Is 0 greater than s?
True
Suppose 2*y - 2*t + 1248 = 0, -4*t = -y - 2*y - 1876. Let k = -17982/29 - y. Which is smaller: k or 0.2?
k
Let z = 26.997 + -27. Let x = z + -19.997. Let k = 20 + x. Which is smaller: 2/3 or k?
k
Let w be 340/4 + 2 + -4. Are w and 83 nonequal?
False
Let h be 4/6*-1*249. Are h and -166 equal?
True
Let v(u) = -u**2 - 5*u + 4. Let t be v(-5). Suppose 5*q = -t*i - 35, 2*q - q = -3*i + 4. Let z = 9 + q. Does z = -1?
False
Let b = 71 + -105. Let q(j) = -j**3 - 8*j**2 - 10*j - 10. Let i be q(-5). Is i bigger than b?
False
Let l be (166/(-80) + 2)*565/15. Let t = l - -16/5. Let p = -3 + 4. Which is greater: p or t?
p
Let l = -121.6 - -112.6. Do l and -1 have the same value?
False
Suppose -2*r = -r. Suppose -5*y = -3*u - 17 + 124, u - y - 35 = 0. Let o = 237/7 - u. Are o and r equal?
False
Let w(g) = g**2 + 2*g. Let h be w(-2). Let u = -5 + 4. Let q be -4*(h/(-1) + u). Which is smaller: q or 3?
3
Suppose -4*u - 2 = -14. Let x = 85 - 85. Is x at most as big as u?
True
Suppose -q - 16 = -5*i, -i = 5*q - 2*i - 16. Let m(s) = -3*s + 13. Let c be m(q). Suppose j - 4*o = o - 14, -2*o = -5*j - c. Which is smaller: -2/23 or j?
-2/23
Let h = 48 + 16. Let a be 1*(-92)/(-26) + h/(-32). Is a >= 2?
False
Let f be 2/46*12/6. Let y = f - -40/69. Is 1 at least y?
True
Let g = 0.043 - -13.957. Let f = g + -11. Are -10 and f non-equal?
True
Let r be (-7 + 48)*-5 + 2. Is r bigger than -202?
False
Let f = 2 - 1. Let x(q) = 3*q + 74. Let d be x(-22). Let a be (d/(-6))/(4/(-3)). Is a >= f?
True
Suppose 7*u = u + 18. Suppose -u*k + 15 = f - 0*k, 2*k = -f + 10. Suppose f = -9*z + 3*z. Which is smaller: z or 2/9?
z
Let f = -133 - -137. Suppose -22*z = f*z. Let d = -202 - -2218/11. Is z greater than or equal to d?
True
Let q(u) = u**3 - 5*u**2 + 4*u + 6. Let p be q(4). Which is smaller: 1 or p?
1
Let y be (((-24)/(-9))/4)/((-2)/(-9)). Let s = y + 9. Is s < 12?
False
Let v be (-12)/66*3/12*4. Is v greater than or equal to 6?
False
Let q = 0.283 - 0.013. Is -24 smaller than q?
True
Let t(r) = -r**2 - 18*r + 229. Let b be t(-27). Which is smaller: b or -2/17?
b
Let h = 9.559 - 8.94. Is h smaller than 1?
True
Let f = 42/17 - 948/425. Is 0 >= f?
False
Let r be 40/(-2 + 0) + -2. Let g be r/(-5) + (-6)/15. Let m = 2 - -3. Which is smaller: g or m?
g
Let s = 15 - -1. Let i be s/88 + 9/11. Which is smaller: 8/7 or i?
i
Let z(m) = m**2 + 5*m - 5. Let a be z(2). Let d(q) = q**3 - 6*q**2 - 5*q - 3. Let r be d(7). Is r < a?
False
Let l be (-4)/(0 - 1) + -15. Let d be 18 + -1 + 0/l. Is 17 at most d?
True
Suppose -3*u + 2*t + 1 + 4 = 0, 0 = u + 4*t + 17. Which is bigger: u or 3/31?
3/31
Let l(y) = y**3 + 3*y**2 - 4*y - 5. Let i(g) = g**3 + 6*g**2 + g - 3. Let u be i(-6). Let q = -13 - u. Let o be l(q). Which is greater: o or -4?
-4
Let a(w) = -w**2 - 14*w + 33. Let j be a(-12). Let y be j/(-12)*1 + (3 - 0). Which is bigger: y or -2?
y
Let l = 79 + -75. Let x be (l - 7 - -3)/((-1)/1). Is 10/27 at least as big as x?
True
Let w be (42/8)/((-6)/168). Let g be w/(-12) - (-1)/(-4). Suppose -58 = -4*j - 14. Which is smaller: j or g?
j
Let w = 1000 - 640. Is w < 360?
False
Let l be (-19 - -18)*3/(-1). Suppose 4*f + 4*t = -20, -5*f = -l*f - 2*t - 10. Which is smaller: f or 1/12?
f
Let u = -986 + 97615/99. Let d = u - -193/495. Which is smaller: 2/11 or d?
2/11
Suppose -14 = j - 5*s + 7, 3*j + 2*s - 22 = 0. Let u = 3 - j. Let b be (u - -5) + 3 + -6. Which is smaller: 5 or b?
b
Let t(f) = f**3 + 14*f**2 - 21*f - 90. Let v be t(-15). Which is bigger: 1/4 or v?
1/4
Let c be 52/(-65)*110/(-412). Which is smaller: 1 or c?
c
Suppose 2*d - 31 = -13. Let a(m) = -8*m + 11. Let x be a(2). Which is smaller: d or x?
x
Suppose 7761*k = 7769*k. Which is smaller: -32/65 or k?
-32/65
Let m = 959 + -962. Let d = -15 + 9. Let t = d - -5.92. Is m at least t?
False
Suppose 4*y = y - 3, 101 = 4*d + 3*y. Is d greater than 29?
False
Let w = 18497/1030 - 179/10. Let j = -320/1957 + w. Suppose 2*n + 2*b = 4, 0 = -4*b + 12. Are j and n unequal?
True
Let n be (-16978)/(-39) - 5/15. Is 437 at least as big as n?
True
Suppose -84 - 299 = -k. Is 382 != k?
True
Let h = -476 - -473.7. Which is smaller: 0.12 or h?
h
Let m = 32 - 29. Suppose -s = m*s. Which is smaller: -3/10 or s?
-3/10
Let w = 100 + -48. Let f = w - 67. Is f greater than -16?
True
Let p = -4.88 - -5. Let m = -9 - -9. Which is smaller: m or p?
m
Let y be ((-2)/(-11))/(20/22250). Let v = 202 - y. Is -1 < v?
True
Let k be (-644)/(-138) + -2 + -6. Let n = -1 + 1. Suppose -2*o - 4 = -n*s - 3*s, -o - s = 2. Is k less than o?
True
Let d be (-465)/(-6)*(-6)/45*-12. Let f = d + -123. Which is greater: f or 2/223?
f
Let i be (2/8)/(((-18)/12)/3). Let t = -5/18 - i. Which is bigger: t or 0?
t
Suppose 3*i + g = 6, 3*i - g + 6*g = -6. Let a be (-8)/(-5) + 720/(-200). Is i bigger than a?
True
Let f be (6/(-4))/((-6)/(-16)). Let r be 1 + 4 - (6 + f). Suppose -a - 12 = r*a. Is a != -3?
False
Let b = 0 - -0.4. Let y = -230 + 227. Does b = y?
False
Suppose -3*c + 2*k + 74 = 5, k - 128 = -5*c. Suppose -3*j - 2*v + c = 0, -5*j = -3*j + 2*v - 20. Is 5 at most j?
True
Let s = -10.64 - -10.65. Which is smaller: 0.35 or s?
s
Suppose 3*x - 2*x = 5. Suppose -x*n = -5*k + 40, -5*k + 4*n + 22 = 5*n. Is k not equal to 21/5?
True
Let i(r) = 16*r + 89. Let v be i(-14). Is -134 smaller than v?
False
Let v be 0 + 14 + -1 - 1. Let z(f) = 47*f + 2. Let u be z(-1). Let s = u - -57. Is v greater than or equal to s?
True
Let v be (-22)/(-48) - (-2)/(-3).