1 + (-4 + 2 - -9))*-2. Is c at least -14?
True
Let k be 6/14 - 6/(-21). Let r(g) = -g**2 + 2*g + 1. Let o be r(2). Is o greater than k?
True
Let x = 4 - 4. Let j be 0 - ((-6)/(-3) - x). Let l be 3 + j - (-4)/(-5). Is -1 bigger than l?
False
Suppose -6*m + 7*m = 1. Are m and 3/2 nonequal?
True
Let f(r) = -1 - 2 + 2. Let o(p) = p + 7. Let l(b) = 4*f(b) + o(b). Let t be l(-4). Which is bigger: t or -2/5?
-2/5
Let u be -7 - -2 - 5*-6. Which is smaller: u or 27?
u
Let q = -4 + 6. Let y be 9/15*(-18)/q. Let x = -5 - y. Is x greater than 0?
True
Let f = 0.61 - 0.61. Which is greater: f or 3/16?
3/16
Let r be 188/114 - 12/9. Which is smaller: r or -1?
-1
Suppose x + 0*x = -2*s + 6, -3*x = 2*s - 14. Is 2/9 greater than s?
False
Suppose -2*o + 2*a = -o + 5, -3*o = 4*a - 25. Let k = -3 + o. Is 0 bigger than k?
False
Let o be (31 - 3)/((-6)/(-3)). Is o < 13?
False
Let c be (-40)/42 + 6/9. Let i(q) = q + 3. Let p be i(5). Let o(k) = -k**3 + 7*k**2 + 9*k - 9. Let a be o(p). Which is smaller: a or c?
a
Let k = -4 - -8. Suppose k*n = 7*n. Let y = 3 - n. Is y less than 3/2?
False
Let i be (-2)/6*(-31 + -14). Is 15 greater than i?
False
Suppose -2*t + 21 = -3*y, t - 4*y = 6*t - 41. Suppose -2*f - i = f + 12, 2*f = 5*i + t. Let h = 2 + f. Which is bigger: -5/3 or h?
h
Let x be (-2 + 2)/(-5 + 4). Is x less than or equal to -2/37?
False
Let n be (-3)/6 + 38/52. Which is smaller: -1 or n?
-1
Let r be 1*(2 - (3 - -5)). Which is smaller: -7 or r?
-7
Suppose 5*t - 2*n + 237 = -243, 3*n + 309 = -3*t. Let q be 1 - -1 - (-175)/t. Which is bigger: 1 or q?
1
Suppose -2*i + 7 + 1 = 0. Suppose -2*g = 2 - i. Let v = 0.06 - 0.36. Are v and g equal?
False
Let a be (6/(-2))/(12/56). Which is smaller: a or -12?
a
Let b be (2/(-18))/((-196)/1113). Let s = 1/28 + b. Which is smaller: 2 or s?
s
Suppose 1 - 5 = -2*l. Suppose -3*g + 5*u = -2*g + l, -4*g = -u + 8. Which is smaller: g or -3?
-3
Suppose 6 = 3*i - 9. Suppose -a + 2*b - i = 4*a, a - 3*b = -1. Is a at least as big as 2/7?
False
Let d = 1045/18 - 58. Do d and 1 have different values?
True
Let k = -4.9 + 10. Let z = -5 + k. Let m = -3.1 + 3. Is m less than or equal to z?
True
Let w(v) = v**2 - 15*v - 7. Let c be w(11). Do c and -51 have different values?
False
Let f = -4.12 - -0.12. Let m = f + 4.08. Is m at least as big as 1/3?
False
Let s = 163 + -493/3. Which is smaller: 0 or s?
s
Let x = -19 + 75/4. Does 2/13 = x?
False
Let j = -4 + 4.2. Let f = j - 0.1. Which is smaller: f or -0.1?
-0.1
Let c = 5.9 - 5.7. Which is smaller: -6 or c?
-6
Suppose r = -6*r - 14. Is r bigger than 3?
False
Suppose -3*m + 24 = -3*q, -2 = 2*q + m - 1. Let w be (-2)/(-8) + 1/(-4). Suppose w = b + b + 6. Is b equal to q?
True
Let w = -0.1 - -0.2. Let o = -0.8 + -0.2. Is w less than o?
False
Suppose -4*u = 5*m + 3, 4*u + 13 = 6*m - m. Let j = -14 - -8. Which is smaller: j or m?
j
Let z be 56/(-12) - (-2)/(-6). Let x be (-2)/z + (-56)/(-10). Suppose -2*l + 3*v + x = 0, 3*l + 3*v - 12 = -l. Is 2 smaller than l?
True
Let u = 466/9 - 52. Which is bigger: u or -1?
u
Let d = -144/17 - -5006/595. Is -3 > d?
False
Suppose 0 = -5*l - 0 + 5. Let a = -1199/49 + -3/98. Let s = -24 - a. Is l >= s?
True
Let r = -858/1211 + -1/173. Let k(x) = -2*x**3 - x**2 + 2*x - 1. Let i be k(1). Is i less than r?
True
Suppose 8*i - 87 = 11*i. Which is greater: -30 or i?
i
Suppose -4*h = -2*h. Let u(c) = -c. Let z be u(h). Is 4/5 > z?
True
Suppose -2 + 4 = 5*l - j, -j = -3*l. Let v be (1 - (l + 0))/1. Is v at most as big as -1/4?
False
Let l = -29.03 - -29. Which is smaller: l or 0.2?
l
Let i = -101.9 + 97. Let j = -0.1 + i. Let o = j + 5.3. Is o smaller than 0?
False
Let x be 4 + -2 + 30/(-3). Let n be (x - -8)/(-1 - 0). Which is greater: 1/10 or n?
1/10
Let w(g) = g**2 + 8*g - 9. Let l be (-24)/(-9)*3/4. Suppose -r = -l*r - 9. Let a be w(r). Is 1 at least a?
True
Let f(a) = a**3 - a**2 + 1. Let l(k) = 2*k**3 - 17*k**2 + 15*k - 2. Let x(u) = -3*f(u) + l(u). Let o be x(-15). Is o bigger than -3?
False
Let p be 0 - 6/(-63)*-1. Let g(j) = -j**3 - 7*j**2 - 6*j. Let q be g(-6). Is p less than q?
True
Let j = -2 - -3. Let s be -2 + j + (-35)/(-28). Do 1 and s have the same value?
False
Let l(s) = 2*s + 3. Let v be l(3). Suppose -6*w = -v*w. Is -1 at most as big as w?
True
Let q = -2 + 2. Suppose 0 = 3*n + 5*w - 11, -2*n - 2*w + 2 = -q*n. Let j be -4 + 0 + (-9)/n. Is -2 greater than or equal to j?
False
Let a = -2 + 0. Let k = a - -1.97. Let i = k - 0.37. Which is bigger: 2/5 or i?
2/5
Let k be 1/(8/86*14/56). Is k bigger than 44?
False
Let b be -6 - (534/30)/(-1). Are b and 13 unequal?
True
Let u = -4 - -2. Let h be -4*(0 + (-3)/18). Which is smaller: u or h?
u
Let m(r) = -r**2 + 14*r - 36. Let p be m(13). Is p >= -1?
False
Let c = -0.009 + -2.091. Let m = c + 2. Let u be (-5)/5 - 3/(-12). Is u less than m?
True
Let f(z) = -3*z + 1. Let k be f(5). Is -14 smaller than k?
False
Let j = -3 + 3. Let x be (7/18)/(23/69). Are j and x equal?
False
Let m(g) = -g**3 + 3*g**2 + 2*g. Let r be m(4). Suppose -6 = 5*p + 4*q, -3*p - 2*p = -q + 11. Let n be (p/16)/(4/r). Which is smaller: n or -1?
-1
Suppose -c - 3*c - 2*f - 20 = 0, c = -2*f + 1. Let t be (-15)/2 - 1/2. Which is greater: c or t?
c
Let t = 1.41 - -0.09. Let c = 1.5 + 0.5. Let q = t - c. Which is smaller: q or 2/7?
q
Let z = -9 - -2. Let o = 15 + z. Is o < 8?
False
Suppose -4*l + l = 1467. Let c = l - -5373/11. Which is smaller: c or -2?
-2
Let m = -185 - -1663/9. Let a be ((2/(-2))/4)/(26/(-104)). Is a greater than or equal to m?
True
Let n be 18/(-6) - (-16)/6. Is n bigger than 2/33?
False
Let m = 57 + -16. Let c = m - 28. Let q = c - 53/4. Is 6 > q?
True
Let c(p) = -p + 12. Let i be c(9). Suppose a - 18 = 4*o + o, -a + 12 = -i*o. Which is smaller: 2 or a?
2
Let n be 6/33 - 13/11. Which is greater: -1/111 or n?
-1/111
Let q(h) = -h**3 + h**2 + 6. Let a be (0 - 0)*(-3)/(-6). Let v be q(a). Let c = v + -8. Which is bigger: -1 or c?
-1
Let v(x) = -x**2 - 9*x - 6. Let d be v(-8). Suppose -d*f - 2*f + 20 = 0. Let u be f*(-5)/(50/(-4)). Is -0.1 less than or equal to u?
True
Suppose -c + 5*c - 4 = -w, -3*c + 8 = w. Let y be (-13)/3 + 4 + (-183)/(-9). Is w smaller than y?
False
Let t be (16/(-10))/(4/(-10)). Suppose s + 5 = -t*s. Let i be 2/4*0 - 1. Is i at least s?
True
Let d = 16/9 + -130/63. Let u = d - -11/14. Let h(k) = -k**2 - 3*k + 4. Let a be h(-4). Which is bigger: a or u?
u
Let p = -13 - -15. Let y = -4.8 + 3. Let g = y + p. Is g at most -0.5?
False
Let j = 72 - 98. Is -28 at least as big as j?
False
Let w = -21 + 12. Let y be 2*(1 - w/(-6)). Which is smaller: y or -3?
-3
Suppose a = -2*h - 1, -2 = h - 3*h + 2*a. Suppose 0 = -h*n - 4*n. Suppose l + 2*l = n. Which is bigger: -0.3 or l?
l
Let j = -3 - -12. Let n = j + -11. Let q be -1*(1 - (-1 - -1)). Which is smaller: n or q?
n
Let a be 3/(-36)*(-237)/4. Let v = a + -19/16. Let q = 71/20 - v. Which is bigger: q or 0?
0
Let a be (4*-1)/(1/6). Let z be 2/5 + a/10. Let d be 11/8 + (-3 - z). Which is smaller: 1 or d?
d
Let j be -7 - (-1 - 30/6). Which is smaller: j or -0.1?
j
Let v = -5122/7 - -730. Does v = 0.1?
False
Let u = -3.07 + 0.07. Let p = -50/13 + 176/39. Which is greater: u or p?
p
Suppose -11 = -2*h - 19. Let o(j) = 2*j - 11 - j + 3. Let i be o(5). Which is greater: i or h?
i
Let u = -5/21 + 4/7. Suppose 5*a - 9 = 1. Suppose h + 8 = 4*c, -2*h + 0*h - 10 = -a*c. Which is greater: u or c?
c
Let r = -2.7 + 3. Let s = 0.7 + r. Let k = -0.4 + 0.3. Is k at most s?
True
Let a be (13 - 10)*(-3 + 1). Is a less than -3?
True
Let w(k) = -2*k - 4. Let x be w(-3). Let v be x + -1 - (-7 + 2). Is -1 greater than v?
False
Let l = 17 + -17. Which is smaller: l or 2/73?
l
Let s be 14/3 - (-6)/(-9). Let h be 1 + 2 + -2 + 2. Suppose -s*b = -i, 0 = 4*i - 4*b + h*b. Which is greater: i or 2?
2
Let h(u) = 2*u - 4 - 4 + 3. Let j be h(5). Let g(z) = -z**2 + 5*z - 1. Let b be g(3). Is j smaller than b?
False
Let i be -2*1/(-6)*2. Let b = 4 + -6. Is b less than i?
True
Let j(v) = v**2 + 2*v - 5. Let b be j(-5). Let w be (4/b)/((-3)/(-30)). Let l = -5 + w. Is -1/6 at most l?
False
Let f be 2*3*1/(-2). Suppose -3*q + 54 = 3*h, -3*q - 2*h - 14 = -68. Suppose -u - 4*n = 15, -2*u - 4*n + 0 = q. Is f <= u?
True
Let g = -0.3 + -0.2. Let z = 0.3 + g. Let o = -21 + 19. Which is smaller: o or z?
o
Let j 