maller: g or 2?
g
Let w be (-6)/27 - (-46)/45. Let v = -16 - -17. Which is bigger: v or w?
v
Let g = 7 + -12. Let o = -4 - g. Let t = o + -1. Is t at least -2?
True
Suppose 37 = 13*o - 2. Which is greater: o or 7?
7
Let w be (-11)/(-3) + (-10)/15. Suppose 3*r = 12, 4*r - 20 = -4*u + w*r. Is u > 4?
False
Let n = -0.165 + 0.096. Is n > -1?
True
Let j(l) = -2*l**2 + 2*l + 5. Let o be j(3). Let a = 6 + o. Which is smaller: 1 or a?
a
Let q = -166/679 - 4/97. Let o be 1*(0 + 0/2). Let a = o - 0. Which is bigger: q or a?
a
Suppose x - 20 = -4*x. Let j be 6/((42/x)/(-7)). Which is greater: -3 or j?
-3
Let d be ((-7)/(-3))/7 - 38/(-3). Which is bigger: 1 or d?
d
Let r = -40 - -42. Is -1 greater than r?
False
Let j = 22/21 - 40/7. Which is smaller: -6 or j?
-6
Let j = -12 + 5. Let i = 3 + j. Let g = i + 2. Which is smaller: -1 or g?
g
Let o be -4 + 0 - 9*-1. Let a be (-1)/(130/(-4))*o. Which is greater: 0.2 or a?
0.2
Let u(r) = r**3 + 2*r - 2. Let g be u(2). Which is smaller: g or 11?
g
Suppose -6*n = -5*n + 1. Let t be n + 1 + 2/4. Is t greater than 0.1?
True
Let w be (-1 + -4)*(-1 - -2). Is -7 not equal to w?
True
Let u = 45.9 + -48. Let s = -0.1 - u. Let b be -3 + 4 + (-10)/15. Is s not equal to b?
True
Let q(k) = k**2 - 4*k - 1. Suppose -1 - 4 = -o. Let z be q(o). Let c be ((-1)/2)/(2/z). Which is smaller: -0.1 or c?
c
Suppose -m - 15 = -5*x + 59, 5*m = 5. Let s be (-6)/x + (-36)/(-15). Are 0 and s nonequal?
True
Let x = 8 - 5. Let w = 3 + 3. Suppose 4*u = 14 - w. Which is smaller: u or x?
u
Let n = 12.5 + -13. Which is smaller: n or -0.3?
n
Let y = 220133/263 - 837. Which is smaller: y or 0?
0
Suppose 3*r - t = -169, -4*r - 204 = 2*t + 2*t. Is 1/3 bigger than r?
True
Let w = -3.5 - 0.5. Is -5 != w?
True
Let g = 3 + 2. Suppose y + g*w + 16 = 5, -w - 1 = -y. Let v be y/(-2) + (-55)/150. Is -1 >= v?
False
Let o = 17 - 5. Let r be (-8)/o - 1864/21. Let q = r - -89. Is -1 at least q?
False
Let h(g) = -g**3 - g**2 + 3*g + 3. Let d be 2/(-5) + (-8)/5. Let c be h(d). Let j be -1*(-1 + 0)*0. Which is greater: j or c?
c
Suppose 0*z - 4 = -2*z, -4 = 2*a - z. Is a <= 3/17?
True
Let d = 1017/572 - 4/143. Which is bigger: -0.1 or d?
d
Let b be 4/14 - (-10)/(-35). Suppose p = -b*p + 2. Suppose -4*d + 20 = d. Is p > d?
False
Suppose 2*n = 4*y + 60, 4*n + 2*y = 2*n + 48. Let z = -53/2 + n. Is -2/7 > z?
True
Let p be 6/(-1)*(-2)/6. Let d be (-2)/10 - p/(-10). Let q be -1 - 1*(-3)/4. Which is smaller: d or q?
q
Let g = 17/7 + -69/28. Is -1 bigger than g?
False
Let c be 2/9 + 2/(-9). Suppose c = -3*t - 2*t. Suppose -3*a + 3 = -2*n + 3*n, 2*n + 2*a = 2. Is n equal to t?
True
Let o = 0.072 + 2.828. Let q = 2 - 2.1. Let l = o - q. Which is smaller: l or -0.2?
-0.2
Suppose 73 + 23 = -b - 5*n, -2*b - 5*n - 212 = 0. Let l = 1046/9 + b. Which is smaller: 0 or l?
0
Let a(g) = g**2 + 11*g - 13. Let h be a(-12). Is -0.4 greater than h?
True
Let t(h) = -2*h**2 + 2*h - 1. Let d be t(0). Let s be (-1 - -2) + 10/(-16). Are d and s unequal?
True
Let r = 16 + -26. Suppose -5*a = 22 + 23. Is a equal to r?
False
Let u be (-2)/5 - 3/5. Let r be (-10*1)/(2/u). Suppose -4*l = -2*c + 8, -l - r = c - 0*c. Which is greater: l or -2?
-2
Let b be 6*-1 - (-1 - -4). Which is bigger: 0 or b?
0
Let i(u) = -u. Let f be i(0). Let m be 6/9*(0 + 4/(-6)). Which is smaller: m or f?
m
Let g = 0.3 - 2.3. Is -1/25 >= g?
True
Suppose -3*z - 3*t - 31 = -13, 3*z + 2*t + 14 = 0. Let j = z + 5. Suppose 12 + 20 = j*s - 5*r, 0 = -s + 5*r + 24. Which is bigger: 3 or s?
s
Let c = -53 + 268/5. Suppose 0 = 2*b - 3 - 3. Suppose 0 = 3*k - 5*u - 10, -b*k - 5*u - 10 = -8*k. Do c and k have the same value?
False
Let n be ((-3)/9)/((60/4)/(-5)). Which is smaller: n or 1?
n
Let d be (-1 - 1 - -2) + 1. Let h = -6920 + 34464/5. Let v = h + 27. Which is bigger: v or d?
d
Let n(u) = 2*u + 5. Let x be n(-7). Which is smaller: x or -7?
x
Let p = -5/9 + -1/9. Let s = -8 + 13. Suppose -s*j - 10 = -5*u, u = 2*j - 0*j + 5. Which is smaller: u or p?
u
Let r = 137 - 138. Suppose 3*s - 8 = g - 3*g, -15 = -g + 4*s. Which is greater: r or g?
g
Let q = 58.4 + -54. Let m = q + -4. Let s = m + 0.6. Which is bigger: -1/4 or s?
s
Let z be (-8)/(-12) + (-6)/9. Suppose 0 = 5*p + 4*c - 12, -8 = 4*p - 2*c - 2. Is z greater than or equal to p?
True
Let q = 7.02 + -7. Let k = -3.98 - q. Let h be (1 - 1) + (-2)/2. Which is bigger: k or h?
h
Suppose -2*o + x + 0*x + 5 = 0, -o + x = -5. Suppose -m + 3*m = o. Which is smaller: -1/4 or m?
-1/4
Let y = 8 + -12. Let m = y - -3. Is 0.4 smaller than m?
False
Let k = -4.9 + 16.9. Is 2 >= k?
False
Let u be (-9)/(-12)*(-60)/(-18). Let l = 5/4 - u. Which is greater: l or -1?
-1
Let p(d) = -d**3 + d + 2. Let y be p(-2). Let k = y + -2. Is 8 smaller than k?
False
Let g be (-78)/4*(-9)/27. Is 7 smaller than g?
False
Let d = -17 - -17.7. Let m = 0.9 - d. Suppose 0 = -f - l, 3*f + 2*l - l = 0. Which is greater: m or f?
m
Let a = 13 + -8. Suppose 4 = 3*b - a. Let j(r) = -r**2 - 5*r - 2. Let h be j(-3). Which is bigger: b or h?
h
Suppose -3 = -3*w, 6*p - w = 5*p. Let f(v) = -2*v**3 + v**2 + v - 1. Let s be f(p). Suppose 0*h = -2*c + 3*h - 15, -4*h = 2*c - 6. Which is smaller: s or c?
c
Suppose 4*y = -8, -w - 3*y - 1 = -2*y. Which is smaller: 7/3 or w?
w
Let h(b) = -2*b + 4. Suppose 0 = 4*k + 3*s, -11 = 2*s - 3. Suppose 0 = -k*o + 8 + 1. Let g be h(o). Is -2 > g?
False
Let q = -48.9 + 48. Which is smaller: q or 0.2?
q
Suppose 2*h + 8*m - 22 = 3*m, m = h + 3. Are 0.7 and h non-equal?
True
Let a be (3 - (-5)/(-2))*2. Let w(t) = t**2 - 4*t + 1. Let x be w(4). Are a and x nonequal?
False
Suppose -5*r - 4*o = 160, 2*r + 4*o + 132 = -2*r. Let c be (-2)/(-14)*r/48. Are -1 and c equal?
False
Suppose 151 = 3*d + 100. Is d not equal to 18?
True
Let z be 0/3 - (-3 + 1). Suppose b = 4*w - 21 + 8, -z*b - 2 = 4*w. Let a = w - 2. Which is smaller: -2/9 or a?
-2/9
Let r(c) = -c**2 + 4*c - 3. Let b be r(3). Which is smaller: b or 2/17?
b
Suppose -5*d + 60 = -25. Do 18 and d have the same value?
False
Let p be (10/50)/((-3)/(-15)). Are p and 1/249 nonequal?
True
Let q(z) = z**3 + 3*z**2 + z + 4. Let y be q(-3). Let t be 9/18*(y + -3). Which is smaller: -0.2 or t?
t
Let a = -1.3 - -1.7. Let u = a + -1.4. Which is smaller: u or 1?
u
Let g = -124 + 150. Which is bigger: g or -2/7?
g
Let o be 462/261 + (-2)/2. Let u = -3/29 + o. Is 2 greater than u?
True
Let i = 20 + -19. Is i greater than or equal to 8/9?
True
Suppose -5*n - 4*r = 1, 5 = -n + 2*r - 4*r. Suppose -2*o = -n*t, 3*o - t + 5*t = 0. Let y = 814/7 + -116. Is o at least as big as y?
False
Let z = 0.28 - 0.3. Let l = -18.02 - -20. Let x = z - l. Is -3 at least as big as x?
False
Suppose 8 = -5*x + 13. Which is smaller: x or 2/17?
2/17
Let n be ((-35)/10)/((-3)/138). Let z = n - 2092/13. Is z > -1?
True
Let x = 0.03 + -0.13. Let b(p) = -p + 1. Let v be b(1). Is x at most as big as v?
True
Let m = 3 + -3. Let q be (-1)/2 + 7/14. Is m less than q?
False
Let k be ((3 + 0)/(-3))/(-1 - -2). Let a be (-8)/(-27) - (-2)/(-9). Which is bigger: k or a?
a
Let s be 230/18 - 8/(-36). Suppose 4*a - 73 + s = 0. Let w be 65/a + 2/(-6). Is w less than 4?
False
Let n = 11 + -25. Let x be ((-2)/(-7))/(6/n). Is 0.8 bigger than x?
True
Let x = -28 - -49. Let i = x + -21. Which is bigger: 0.2 or i?
0.2
Let a be 2/(3*(-4)/24). Is -10/3 at most as big as a?
False
Suppose -2*c = 3 + 5. Which is greater: c or -2?
-2
Suppose 8*d + 30 = 5*d. Let z be 1/(4/d) - -3. Is 2 less than z?
False
Suppose 2*y - 2*a + 10 = 0, 0 = 4*y - 5*a + 16 + 6. Let s be (y - 0) + 5 + -3. Which is smaller: -2 or s?
-2
Let n be (2/12)/((-23)/(-138)). Are -1/132 and n nonequal?
True
Let j = -523/115 + 8/23. Which is greater: j or -1/5?
-1/5
Let g be 30/(-68)*(-232)/14. Let c = 52/7 - g. Which is greater: -1 or c?
c
Let i be (-4)/(-5)*(-5)/(-2). Let r(s) = -2*s - 5. Let v be r(-4). Let p = 2 - v. Which is smaller: i or p?
p
Suppose -2*j + 6*j = 4*s - 60, -3*j = -2*s + 30. Suppose -b - 3*d - 11 = 0, -b = 7*d - 2*d + s. Let q = 5 + b. Is q < 2/25?
True
Let y(j) = j**2 - 14. Let o be y(0). Let q be (-20)/(-5)*111/o. Let h = q - -32. Are -1 and h nonequal?
True
Suppose -10*q + 57 = -7*q. Suppose -5*j + 3*r = q, -5*j - 3*r = -0 + 1. Which is smaller: j or -4?
-4
Suppose 0*s - 27 = 3*s. Let q = 13 + s. Suppose -2*y = -0 - q. Which is great