 Which is smaller: o or g?
o
Suppose a - m - 3 = 0, 3*m + 9 - 3 = 2*a. Which is bigger: a or 40/9?
40/9
Suppose 2*r = -77 + 33. Are -22 and r equal?
True
Let l be ((-33)/(-99))/((-1)/3). Which is bigger: -1/18 or l?
-1/18
Let s = -0.13 - -0.1. Let h = s - -0.03. Which is greater: -2/15 or h?
h
Let f(k) = k**2 - 2*k. Let r be f(2). Let g = -25 + 23. Which is bigger: r or g?
r
Let n = 131 + -160. Which is bigger: n or -31?
n
Let r be 1 + (-51)/(-108) - 2. Let j = r + -2/9. Suppose -25 = -4*m + 5*q, -4*q - 25 = -2*m + q. Which is greater: m or j?
m
Suppose -2*q = -0*q + 4*v + 52, 5*q - v = -108. Is q less than or equal to -21?
True
Let x be (-18)/(-5) + 4/10. Let o = x + 0. Let h = o - 5. Are h and 1/3 equal?
False
Suppose 0 = 4*w - 2*k + 14, 8*w - 3*w = 2*k - 17. Let h be (-4)/(-14) - 206/(-14). Suppose -6*d + d = h. Is d bigger than w?
False
Let i(n) = -n**2 - 2*n + 1. Let j be i(-3). Suppose t - 3 = -2*f, t = 3*t - 2*f + 12. Is t at most j?
True
Suppose 0 = -6*f + f - 25, -4*f = -j + 45. Suppose 2*z + j = -3*z. Let s = -6 - z. Which is smaller: 0 or s?
s
Let i be ((-2)/(-4))/(1/10). Let h = i - 3. Let r be 111/39 + -1 - h. Which is smaller: r or -1?
-1
Suppose -c = -4*c. Suppose 0 = -3*p + 18 - 3, c = -2*b + 2*p - 8. Are -11 and b equal?
False
Let o(h) = -h**3 + 2*h**2 + 5*h - 2. Let f be o(3). Let t be ((-3)/6)/(3/f). Let w(b) = -b**2 - 3*b + 2. Let m be w(-4). Are t and m nonequal?
True
Let i = -10.2 + 10. Let g = 0 - i. Which is greater: g or 4?
4
Let g = -0.2 - -0.3. Let p = g + -0.1. Suppose 7*m = 8*m. Is m less than or equal to p?
True
Let y(c) = -c**2 - 4*c. Let o be y(-3). Suppose -12 = -o*q - q. Which is greater: q or 2/5?
q
Suppose 2*w - 4*u = 12, 2*w + w = 4*u + 8. Which is greater: -3 or w?
-3
Let w = -18/5 + 49/15. Which is smaller: w or -0.1?
w
Let o be ((-1)/(2/12))/(-2). Suppose 12 = -b + o*z, 3*b + 16 = 7*b + 4*z. Is b < 6/7?
True
Suppose n - 7*n = 18. Is -7 less than n?
True
Suppose 8 = -4*n, -3*n + 20 = -b - 0*b. Is b at most as big as -27?
False
Let g be 6/(-39) + 106/(-416). Let s = 9/16 + g. Which is bigger: s or 2?
2
Let i be -29*2/(-4)*(-3 + 1). Is -29 greater than i?
False
Let h be 1 - (-7)/(-10) - -2. Let s = h + -14/5. Which is smaller: 0 or s?
s
Let a = -1/2 + 7/6. Let j = -6.6 + 7. Which is bigger: j or a?
a
Suppose 20 = -3*m + 7*m. Suppose 0*n + 3*o - 19 = -m*n, o = -n + 5. Suppose 4*j - 2*p - 19 + 7 = 0, 0 = 4*j - p - 10. Is j at most n?
True
Let g = -5 + 9. Suppose 0 = -2*p - 0*p - 2. Which is smaller: g or p?
p
Let a(y) = y**2 + 3. Let k be a(0). Suppose z = k + 3. Let f = z + -5. Which is bigger: -3/10 or f?
f
Let y(k) = k**2 - 8*k + 5. Let p be y(8). Suppose p = -4*t - 0*a + 5*a, -3*a + 3 = 0. Let q be 2 + t - (-2 + 3). Which is smaller: -1/4 or q?
-1/4
Let k = 22.9 - 23. Which is smaller: k or -0.07?
k
Suppose -48 = 2*f - 4*f. Suppose 15 = -2*q - 5*d, q - f = 4*d + 1. Which is smaller: 6 or q?
q
Let s be -1 + (-4)/((-12)/27). Is 8 < s?
False
Suppose -2*r + 21 = -5*r. Is -6 bigger than r?
True
Suppose -3*n = -106 + 13. Suppose 0 = -4*p - 7 + n. Suppose -4*g + 4 = -2*l, -6*g + g + p = -3*l. Which is greater: 3/7 or g?
3/7
Let z = 18 + -24. Are -2/11 and z non-equal?
True
Let z = 31 + -98/3. Is z at most as big as -2?
False
Let j(g) = -g**2 - 7*g - 4. Let n be j(-6). Suppose 2*s = 4*s + n. Suppose -4*z + 4 = 4*l, 5*l - 3*z - 1 = -4*z. Is s at most as big as l?
True
Let c = -4.04 + 0.04. Let k be (114/(-21))/2 + 3. Is c at most as big as k?
True
Let h = -16 + 15. Which is bigger: h or 1/5?
1/5
Suppose 0 = 8*l - 4*l + 40. Suppose -4*h + 5*f - 15 = 0, 5*f = 4*h - 2*h - 5. Is h greater than l?
False
Let t = -11 - -16. Suppose 5*o = -5, t*o = -0*c - 3*c + 7. Let q be 14/(-12) - (-2)/c. Which is smaller: 0.4 or q?
q
Suppose 1 = 2*k - 17. Suppose 7*p = 4*p + k. Is 3 < p?
False
Let b be (1 - (-13)/(-7))/((-1)/(-2)). Let i be -3 + 0 + 3 + -3. Which is smaller: b or i?
i
Let a(r) = -4*r - 1. Let i be a(7). Is -30 at most i?
True
Let v = 193/2 - 103. Which is smaller: v or -7?
-7
Let z = -6 - -5. Let d = z - 1. Which is smaller: d or 0.1?
d
Let o be (6/(-18))/(2/(-96)). Is o at most as big as 15?
False
Let b be -2 - 2/(3 - 5). Is b at most 2/17?
True
Let j be 1 + ((-8)/(-44) - (-2)/(-11)). Let b be 1/5 - (-1 + 1). Which is smaller: b or j?
b
Suppose a = -a - 3*g + 8, 2*a - 40 = 5*g. Suppose -d - a = 5*z + 17, -d = -4*z - 9. Let y be (-4)/(-18) + d/(-9). Does y = 1?
True
Let b(t) = -t**2 + 7*t + 6. Let s be b(7). Let a(d) = d**2 - 6*d - 3. Let g be a(s). Which is smaller: g or -2?
g
Let o be (-15)/27 + (-1)/(-3). Let n be -2 + 4 + 14/(-6). Which is smaller: n or o?
n
Suppose -5*s + 4*s = 5*l + 10, 0 = -5*s. Suppose 5*q + 25 = -5*j, 4*j + 8 = 4*q - 12. Suppose q*i + 2*g = -4*i, i = g. Which is greater: i or l?
i
Let c(w) = -w**3 - 12*w**2 - 24*w + 7. Let j be c(-9). Are -18 and j non-equal?
True
Let i be (-2)/11 - (-36)/77. Which is smaller: -1 or i?
-1
Suppose 4*o + 3*c = 6*c - 11, -3*o - 3*c + 18 = 0. Which is greater: -3/7 or o?
o
Suppose -5*x - 2*j = -17, 0 = x - 4*x - j + 10. Let r(u) be the first derivative of -u**2/2 - u - 2. Let m be r(-5). Which is smaller: m or x?
x
Let r = 5 - 12. Let w = -7.03 - r. Let u = -53/12 + 19/4. Are u and w equal?
False
Let a be (-12)/4*(-344)/(-6). Let w = a + 2238/13. Are w and 1 equal?
False
Let o(b) = b**2 + 6*b + 2. Let x be o(-5). Is x at least as big as -1?
False
Let t(l) = -2*l + 5. Let w be t(2). Is w less than 5/4?
True
Let a be (5 + 41)*(-3)/(-6). Is 22 at most as big as a?
True
Suppose -2*g = 2*m + 16 - 4, 4*m - 2*g = -36. Let o be 1 - (-5)/(10/m). Let q be 2/o*4/(-8). Do q and 0.3 have different values?
True
Let z = 109/483 - 3/23. Are z and -1 unequal?
True
Let b be (2/4)/(6/(-144)). Let h be 2/14 + b/(-14). Which is greater: 9/5 or h?
9/5
Let t = -2 - -2. Let j = t - 17. Which is smaller: j or 0?
j
Let c be (-5)/((-10)/6)*1. Let u(z) = -3*z**2 - 7*z + 4. Let j(w) = -8*w**2 - 20*w + 12. Let h(g) = 4*j(g) - 11*u(g). Let v be h(c). Is v smaller than 5?
True
Let p = -0.3 - -0.2. Suppose -4*m + 0*m - 24 = 0. Let s be 6/9 + 7/m. Which is smaller: p or s?
s
Let o = -0.19 - 17.81. Which is smaller: o or 1?
o
Let r = 30 - 24. Is 4 at most r?
True
Let p = 40 + -58. Let a be (-2)/(-1) + 40/p. Which is smaller: a or 1?
a
Let w(v) = 2*v**2 - 2*v - 5. Let o be w(-4). Let a = o - 61. Let g = -103/4 - a. Which is smaller: g or 2/3?
g
Let r = 1 - -9. Does r = -1/2?
False
Let s = 1/16 + -25/16. Which is smaller: 5 or s?
s
Let m(n) = 3*n - 6*n + 35 - 5*n. Let f(q) = 3*q - 12. Let t(u) = 11*f(u) + 4*m(u). Let o be t(-7). Which is greater: -1 or o?
o
Suppose -6*c = -5 + 95. Let g = c + 21. Is 2 less than or equal to g?
True
Suppose 0 = 3*v + v + 20. Let z = -2 - v. Let a be z/(-4) - 1/4. Which is greater: a or 1?
1
Suppose 0 = 3*j + 40 + 5. Let n = 21 + j. Let t be (-7)/n*-3 - -2. Which is smaller: 7 or t?
t
Let r(d) = d**3 - 4*d**2 + 2*d + 3. Let s be r(3). Let u = s + -1. Is u less than 0?
True
Let y = -26 - -29. Suppose 5 = y*m - 10. Let j = 5/21 - -1/21. Are j and m non-equal?
True
Let z = 6/109 + 727/654. Which is smaller: 0.1 or z?
0.1
Let i be -7 + 2 + 3 - -3. Suppose 0 = -k + 5, k - 5 = -0*o - o. Suppose o = -b + i. Are b and -1 equal?
False
Let n = -1539/20 + 315/4. Which is smaller: n or -0.1?
-0.1
Let t be -1*(3 + (-28)/8). Which is greater: -4 or t?
t
Let w be 14/(-16)*(-1 - 2)/3. Is w at least 0?
True
Let c(m) = -m + 6. Let d be c(7). Let i be 8/((d/2)/1). Is i greater than -15?
False
Suppose 10*s = 6*s + 40. Is s at least as big as 10?
True
Let h = -0.39 + -5.21. Let c = -2 + 8. Let z = h + c. Which is smaller: 1 or z?
z
Let p = 17.8 - 20. Let d = 0.2 + p. Let v = 56 - 58. Is d at least as big as v?
True
Let y = 52 + 6. Which is bigger: y or 60?
60
Let t(x) = -3*x**2 - 5*x - 2. Let s be t(-4). Let c be 4/s + (9 - 9). Which is smaller: c or -1?
-1
Suppose 3*i + 3*t - 27 = -t, 0 = t. Which is greater: 11 or i?
11
Let f be 3 + 0/(-3) + 3. Let j = f + -6. Is j >= -3/8?
True
Let n(x) = x**2. Let i be n(1). Let q be (8/20)/((-2)/(-10)). Suppose 2*z + q*z - 8 = 0. Is z at least i?
True
Suppose -3*y = -15, 137 = -5*l - 4*y + 37. Let n be l/(-14) - (1 - -1). Which is smaller: n or 1?
n
Let l(g) = -2*g + 6. Let a be l(3). Which is bigger: a or 5?
5
Let b = -26 + 13. Let j = 12 + b. W