 + 14 = 0. Which is greater: -7/6 or x?
-7/6
Let b(q) = -q + 1. Let k be b(-3). Suppose -3*z + 16 - k = 0. Is z at most 2?
False
Suppose -5*a + 3*l = -8 - 20, 5*l = 2*a - 15. Let m be -1 + -1 - 4/2. Let p = m - -9. Is p < a?
False
Let m be 4*((0 - -1) + 0). Suppose -r = m*r - 30. Which is bigger: 7 or r?
7
Suppose -4*x + 2*f + 2*f = 8, f - 11 = -2*x. Suppose -t + 8 - 1 = 3*n, 0 = 5*t - x*n + 19. Which is smaller: t or -5?
-5
Let j = -16.376 + 0.176. Let b = 16 + j. Are b and -6 non-equal?
True
Let j = -0.004 - 2.956. Let g = 0.04 - j. Is -1 bigger than g?
False
Let k = 213/28 + -34/7. Which is greater: k or 2?
k
Let q(p) = 2*p**3 - p**2 - 2*p - 1. Let l be q(2). Is l smaller than 8?
True
Let s(b) = -b + 17. Let g be s(12). Let n be (3/g)/(45/50). Let v be 1*(2 + -2) + 4. Which is smaller: n or v?
n
Let j be 1/(4/(-8)*1). Is -5 <= j?
True
Let b(q) = -q**2 + 18*q + 35. Let a be b(19). Is a less than 18?
True
Let a be -1 + 2*18/(-10). Let k = 7/50 + -227/50. Let h = a - k. Which is greater: h or 2/5?
2/5
Let o = 31 + -46. Is -15 >= o?
True
Let z be (2/3)/(2/36). Let d be (-2)/3 - (-188)/z. Let p be (-7)/5 - (-6)/d. Is p != -1/5?
True
Let w = 73 - 74. Let r = -3 + 0. Let n = r - -2. Is w < n?
False
Suppose 10 = 2*p - 0*p. Let d be -1*(2 + -1*4). Let a = d + 4. Does p = a?
False
Let x be 7/(-42) + 182/12. Which is bigger: -1 or x?
x
Let c(k) = k**2 + k + 1. Let g be c(-1). Which is smaller: g or 2/7?
2/7
Let s = -1 - -1. Is 1 > s?
True
Let n be (-3)/((-1)/((-80)/12)). Is n less than or equal to -19?
True
Let z be (2 - 2/(-1))*-1. Let f = 3 + -5. Is z > f?
False
Let p(d) = d - 9. Let w be p(9). Let a be -1 - w - 1 - -5. Are 4 and a equal?
False
Suppose 14 + 1 = 3*p. Suppose c = 4*c + l + 1, -p*c - 5 = 5*l. Let k = -1/3 + 1/2. Does k = c?
False
Let o = 2 - 2. Suppose 0 = -2*j - 4*k + 4, o = 2*j + 2*j + 3*k - 8. Suppose 1 + 2 = 3*d. Which is smaller: j or d?
d
Let r be ((-24)/30)/(-4)*10/(-8). Is r less than -1?
False
Let g = 7 + -3. Let r(h) = 11*h**2 - h. Let k be r(-1). Let l be (-4)/k + (-2)/(-42). Is l greater than or equal to g?
False
Let y = 32.5 - 8.5. Which is greater: 0.2 or y?
y
Suppose -4*l + 5*g + 133 + 33 = 0, 0 = -l + 3*g + 45. Suppose -3*u - 3 = -r, -3*u - l = 3*r - 0*u. Which is smaller: -10 or r?
-10
Let y(m) = -m + 5. Let b be y(10). Let v = b - -1. Let h be (-9)/(-12)*v*1. Do h and -4 have the same value?
False
Suppose -3*n + 3 = -0. Let a(p) = -p + 1. Let f be a(n). Is f equal to 8?
False
Let i be -1*((-1)/1 + 2). Let p be (-1)/(-6)*20/15. Is i >= p?
False
Let w = -97 + 96.5. Is w at most 3/7?
True
Let f = 1 + 0. Let v = 847/8 - 106. Is f at most v?
False
Let x = 6847/9 + -760. Are x and 1 nonequal?
True
Let z(q) = q**2 - 11*q + 2. Let a be z(11). Let w(j) = j + 9. Suppose 14 = -2*c - 2. Let m be w(c). Which is smaller: m or a?
m
Suppose -3*v - 15 - 3 = -5*t, 2*v + 2*t - 4 = 0. Which is smaller: v or 0?
v
Let n = -6 - -4. Let x be ((-2)/3)/((-2)/12). Let a = x + n. Which is smaller: a or 1?
1
Suppose s = 3 - 0. Suppose -q - 1 = 2*r, -4 = s*r + 2*q - 0*q. Suppose -5*g = 1 - 6. Is r < g?
False
Let l(x) = x + 1. Let g be l(-2). Let d = 4 - 10. Let w be 1 - g/(5/d). Which is bigger: -0.1 or w?
-0.1
Suppose -17*j = -8*j - 18. Is -12 less than j?
True
Let d = 1 + 0. Let u = -601 + 25842/43. Is u not equal to d?
True
Let c = -18 + 17.97. Let s = c - 1.97. Is s at least as big as 0?
False
Let m = -50 - -51. Is -1 smaller than m?
True
Let u(z) = z**2 - 7*z - 5. Let a be u(5). Let r be (8/(-30))/(10/a). Which is bigger: -1/2 or r?
r
Suppose 5*y = a - 12, -2*y - 10 = -3*a - 0*y. Suppose v - a = 1. Which is bigger: 3/2 or v?
v
Let y = 11 + -12. Let g(i) = -2*i**2 + 2*i + 2. Let n be g(2). Which is greater: y or n?
y
Suppose -2*p + 1 = -3*p. Are p and -2/9 equal?
False
Suppose 3 = 3*h - 6. Let u be h/1 + -1*2. Suppose -3*b + 12 = 0, 1 = j + b - 4. Is j smaller than u?
False
Let a = -3.1 + -0.9. Is a equal to -0.1?
False
Suppose 0 = 15*s + 87 - 12. Which is smaller: s or -48/11?
s
Let t be (-11097)/8964 + 10/8. Which is greater: 1 or t?
1
Let t = 0.06 + -1.36. Let n = t + 0.3. Is n smaller than -1?
False
Let m(h) = 3*h - 2. Let o be m(3). Let p(t) = t**2 + 4*t - 13. Let u be p(-7). Which is bigger: o or u?
u
Suppose -2*p - 4 = 2. Suppose 1 = q - f, -6*f + 3*f + 25 = 4*q. Suppose -2*j = -0*j + q. Which is greater: j or p?
j
Let i = -0.26 + -1.74. Let h = -1 + 0. Which is greater: i or h?
h
Suppose 9*l = 5*l - 32. Is l > 4?
False
Suppose -o + 30 = 3*s, 4*s - 14 = 4*o - 70. Let d be 4/(-10) - o/30. Is -4 at most d?
True
Suppose -2*w = 2*q + 2*w - 16, 5*w - 7 = 4*q. Let h = -5 - -9. Suppose -x = 3*x - h. Which is smaller: x or q?
x
Let r be 12/(-9)*(-2)/8. Is 4 at most as big as r?
False
Let j be (-2)/4 - 26/(-28). Let r = -1 + 0.9. Which is greater: r or j?
j
Let k = 61 + -28. Which is smaller: 34 or k?
k
Let w = 0.01 + -2.01. Let q = -5 - -7. Let j = w + q. Which is smaller: j or -0.2?
-0.2
Let l = -45.9 - -46. Let p = 3 + -2. Let j = -2 + p. Is l < j?
False
Let c(i) = -631*i + 13. Let p(x) = 315*x - 6. Let o(m) = -6*c(m) - 13*p(m). Let y be o(1). Let s = -4019/13 - y. Is 0 < s?
False
Let v(x) = -x**3 - x**2 + 3*x + 3. Let z be v(-3). Let o be (1/3)/(4/z). Which is smaller: 4/3 or o?
o
Suppose m - 4*b + 25 = 0, -4*b + 5 = m - 2*b. Suppose -3*a = 6 + 15. Let u = a - m. Which is smaller: -0.1 or u?
u
Let c(u) = -u**3 - 9*u**2 + 7*u - 12. Let n be c(-10). Suppose -6 = 2*p, p + n = -2*h + 7*h. Do h and 2 have the same value?
False
Suppose h + 5*v = -4*h + 50, 50 = 5*h - 3*v. Let y be (12/h)/((-2)/(-5)). Which is bigger: y or 1?
y
Suppose 4*w + 14 = 2*w. Is w smaller than -6?
True
Let m = 49 - 48. Is 2/3 equal to m?
False
Let l = -16738/95 + 882/5. Which is smaller: -1 or l?
-1
Let g be (-9)/(-3)*2/6. Suppose -3*d = -4*x + d, 4*d - 5 = 3*x. Suppose -x*r = -6 + 1. Is g bigger than r?
False
Let o = -2 + -2.9. Let h = 5 + o. Which is greater: 0.2 or h?
0.2
Suppose 0 = 3*v + q - 11, -2*q + 29 = 2*v + 3*q. Let i be (-1 - -2) + 1 - -3. Suppose 4*a + 2 = i*a. Is a greater than v?
False
Let s(o) = -3 - o + 3. Let f be s(-2). Let r be f/(-8) + (-13)/(-4). Which is smaller: r or 2?
2
Let q(k) = 18*k**2 + 1 - 2 + 0. Let n be q(-1). Suppose n = 3*o - s, -2*s + 2 = -2*o - 4*s. Which is smaller: 2 or o?
2
Suppose o - 21 = 2*d, -4 = -4*o - 0. Let v be 3/15 + 22/d. Are 2 and v equal?
False
Let v = -23/28 + 4/7. Which is greater: -5 or v?
v
Let t = -0.006 - 1.994. Are t and 0.07 equal?
False
Suppose -4*l = -2*l. Let n = -2 - -4. Let u(o) = -o**3 + 3*o**2 - 3*o + 2. Let h be u(n). Does l = h?
True
Let b = 136.07 + -137. Let q = 20 - 19.93. Let g = b - q. Is g greater than or equal to -5?
True
Let v = -1.7 + 2.7. Which is smaller: v or 4?
v
Suppose 5*r + 110 = -10. Is r <= -0.4?
True
Let m be 4/20*443*1. Let n = -89 + m. Which is greater: n or -1?
n
Let j be ((-30)/(-4))/(2/4). Suppose a + w = -w + 10, 5*a + 3*w = j. Suppose 7*t + 2*h - 4 = 3*t, a = -3*t + h + 8. Which is bigger: t or 1?
t
Let q = -14 + 12. Which is greater: -3 or q?
q
Let f = 19 + -27. Let a = 0.29 - -10.71. Let t = a + f. Is 0 at least t?
False
Suppose -11 - 13 = 3*h. Is h less than or equal to -8?
True
Let a = 3 - 5. Let j be -1 - (a - 15/(-3)). Let y = 5 + j. Which is smaller: y or 0?
0
Suppose -22*d = -28*d - 60. Which is bigger: d or -8?
-8
Let t = -2.6 + 13.2. Let s = -10 + t. Let u = s - -0.4. Is 2/11 at least u?
False
Suppose 12*z - 708 = -276. Is 37 less than or equal to z?
False
Let q(r) = -r**2 + 4*r + 5. Let m be q(4). Suppose x + 4 = m*x. Are 2/3 and x nonequal?
True
Suppose 12 = 10*y - 8. Which is greater: y or 3?
3
Let g = -55007/2013 + -5/671. Which is bigger: -27 or g?
-27
Let r = 1 + 0. Let v be 1/(-3)*-3*12. Suppose 5*l + 23 = -3*d + 4, 4*d = -v. Is r equal to l?
False
Suppose -a - 2*p + 3*p = 3, 0 = -2*p + 8. Which is greater: a or 6/19?
a
Let t = 54 - 53.57. Let l = t + -0.5. Let s = l - 0.03. Which is greater: s or 4?
4
Let n = 75 + -74. Is -17 bigger than n?
False
Suppose 2*u - 5*f + 0 + 10 = 0, 0 = 5*u - 4*f - 9. Suppose -u*c = w + 24 + 199, -2*w + 139 = -3*c. Let k be 10/c + (-25)/9. Is -2 greater than or equal to k?
True
Let i = 5.04 + -0.44. Which is greater: i or 0.1?
i
Let t(s) = -s**2 + 7*s + 3. Let q be t(7). Let f(z) = -z**3 + 3*z**2 - 2*z + 4. Let g be f(q). Let a 