h is greater: -1/3 or r?
r
Let h = -9 - -8.2. Let n = -1 - h. Let g = -0.1 - n. Which is smaller: g or -2/3?
-2/3
Let m(s) = s**2 + 5*s + 4. Let u be m(-5). Suppose 2 - u = -2*o. Let h = 151/4 - 38. Is h >= o?
False
Let r be (-2)/20 + (-20)/50. Let l be (-22)/28 + 4/14. Is l at most r?
True
Let o = 13 + -5. Let f be (3/(-4))/(21/o). Let w = -12 - -12.1. Which is bigger: w or f?
w
Let i = -2 + 3. Is 20 > i?
True
Suppose -4 = -2*t - 0*t. Which is smaller: 4 or t?
t
Let h = 0.7 + -0.6. Let c = 0.98 + -0.08. Let b = h + c. Which is smaller: b or 0.1?
0.1
Let a be 0 + (3/(-9) - 1). Which is bigger: a or 0?
0
Suppose -24 = q + 2*n, -59 = 3*q + 2*n - 3. Let v be (-2)/(-4) + (-168)/q. Let k be (-2)/v + 405/110. Does k = 5?
False
Suppose -5*n = -v - 25, 4*v - 4*n = -5*n + 5. Suppose 3*o + 2 - 5 = v. Does o = 3/10?
False
Suppose 4 - 7 = 3*v. Which is greater: v or -2?
v
Let x be 2*(-1 + 20/8). Which is smaller: -3 or x?
-3
Let l be (1/(-2))/(2/4). Let c = 3020549/132 + -22884. Let j = 10/33 + c. Are l and j non-equal?
True
Suppose -21 = 3*f - 6*f. Let z = f - 15/2. Let s be 6/(-18)*1*6. Is z at least s?
True
Let a be -26*((4 - 57/8) + 3). Which is greater: 4 or a?
4
Let q be 50/(-2)*2/(-5). Let v = 10 - q. Which is smaller: v or -0.5?
-0.5
Suppose -4*a + 79 = -c + 4*c, 4*a = 4*c + 44. Let h = 16 - a. Let b be (1 - 4/5)/(-2). Is h smaller than b?
False
Suppose -4*s + p + 3*p = 4, -2*s = 5*p - 12. Is s <= 1/60?
False
Let s(a) = 2*a**3 + 5*a**2 - 6*a - 1. Let z be s(-4). Is z >= 0.1?
False
Let f be (44/(-42) + 1)*-6. Is f at most as big as 0?
False
Suppose -3*p = -v - 153, -3*v + 0*v - 4*p = 394. Let u = v - -968/7. Which is smaller: 1 or u?
u
Let k = 10 - 7. Let h be -2*((-3)/(-2))/k. Let p = -17 - -13. Which is greater: h or p?
h
Suppose 0 = -3*b - 1 - 14. Let o be 3 + (-31)/4 + 4/(-16). Is o less than b?
False
Let g(o) = -o**2 + 7*o - 5. Let p be g(5). Suppose l = -2*r + 1, 16 = p*l + 1. Which is greater: 1/4 or r?
1/4
Let k be ((-2)/(-5))/(7/10). Which is bigger: k or -1?
k
Suppose 6 = -5*o - 4*l, -o + 2*l = -5*o. Suppose 0 = -2*g - g - 15, 0 = 4*t - o*g - 62. Suppose 5*i - 2*i + 4*v - t = 0, 3*i + 5*v = 17. Are i and 2/5 equal?
False
Let f = 28/39 - 5/13. Which is greater: f or -1?
f
Let w = -19 - -21. Suppose -2*f - w - 2 = 0. Is -2 > f?
False
Suppose 0 = -r + 7 - 2. Which is smaller: r or 3?
3
Suppose -2*q + 2*p = -q - 9, -5*q + 90 = 5*p. Suppose 0*i + 5*i = -q. Which is smaller: i or -2?
i
Suppose -5*f - 32 = -2*y + 6*y, -5*y - 27 = 3*f. Which is greater: y or -7/4?
-7/4
Suppose 24 = w + 4*w + 4*y, 0 = -5*y + 5. Suppose -3*o = 4*q - 67, -4*q + 92 - 15 = 5*o. Let h = -9 + q. Are w and h equal?
True
Let t be (1/(-14))/((-1)/4). Suppose -3*j = 3*d + 6, 0 = 5*j + 2*d + 6 + 1. Which is greater: t or j?
t
Let x = -65 + 65.5. Is 0.11 <= x?
True
Let a be (1/(-1))/(3/(-15)). Suppose 3 = r, -2*r - a = 3*l - 17. Suppose -4*w - l*k - 7 = 3, 4 = -4*w + 4*k. Are w and 0.1 unequal?
True
Suppose -57 = 5*x - 7. Let g(n) = 4*n - 11. Let d be g(0). Which is greater: d or x?
x
Suppose 4*b + 0*z - 6 = z, -4*z - 4 = 4*b. Which is greater: 4/23 or b?
b
Let m = 12/49 - 39/245. Is m greater than or equal to -1?
True
Suppose o = 2*b - 24, 4*o - 4*b + 126 = -o. Which is smaller: o or -27?
-27
Let a be (-4)/6*(-36)/8. Suppose -a*x = 2*x - 5. Let k(c) = -3*c + 10. Let r be k(3). Is x less than r?
False
Let l(f) = -f + 2. Let v be l(7). Let t be 6/v*20/(-6). Is t greater than or equal to 5?
False
Suppose 0 = 2*l - 5*l - 3. Suppose -8*k + 91 = -9*k. Let z = 1367/15 + k. Is l greater than or equal to z?
False
Suppose 0*x - x + 12 = 4*i, 3*i = -x + 11. Suppose 2*o - 5*v + 25 = 0, 0 = -o - 5*v + 15 + 10. Suppose o*c - 4*c - x = 0. Which is bigger: 0 or c?
0
Let j = -12/13 + 553/78. Let d = j - 913/150. Do d and 0.1 have the same value?
False
Let x(j) = j + 17. Let b be x(-16). Let t = 92 - 365/4. Which is greater: b or t?
b
Let n = -24 - -26. Is n <= 0.1?
False
Let l be (1 + 149/(-132))*-7. Let j = l + -3/44. Is j less than 2?
True
Let t(p) = 126*p - 51. Let z(j) = 25*j - 10. Let q(r) = -2*t(r) + 11*z(r). Let w be q(-6). Let m be w/30 + (-10)/75. Do -4 and m have the same value?
False
Suppose -6*h + 2*h + 12 = 0. Suppose -9 = v - 0. Let o be (-20)/(-6) - (-3)/v. Are h and o unequal?
False
Let c = 23 - 21. Which is bigger: c or -1?
c
Suppose 1 = -2*l + l. Let m(g) = -3*g - 1. Let r be m(l). Let b be (3 + -4)*-3*1. Is b at most as big as r?
False
Let r(f) = -f + 2. Suppose -3*p - 3 = -9. Let s be r(p). Are 2/5 and s equal?
False
Let v(l) = -6*l - 4. Let g be v(-3). Suppose -62 = -q + g. Let c = q - 381/5. Which is smaller: c or 1?
c
Let p = -100 - -96. Which is smaller: -15/4 or p?
p
Let f be (2/(-3))/(4/(-6)). Let a(p) = -p**3 - 2*p**2 + 9*p + 6. Let o be a(-4). Which is smaller: f or o?
f
Suppose 0 = -5*v + 3*c + 82, -9*c - 4 = -13*c. Let p(a) = -3*a + 2. Let h be p(-5). Is h bigger than v?
False
Let z(u) = u - 8. Let j be z(11). Suppose i + j = 4. Is i bigger than 2/5?
True
Suppose s - 2*t = -5*t - 1, -2*s = 4*t + 2. Let w(a) = -2*a**3. Let h be w(s). Let d be (1 + 2/(-1))*-1. Which is greater: d or h?
h
Let n = -43 + 87/2. Let d = -2.9 - -3. Which is bigger: n or d?
n
Let o = -2 - 1. Let z = o - -2. Is 0 greater than z?
True
Let l = 28 - 21. Let o = l + -5. Let f = -2 + 7. Which is greater: o or f?
f
Suppose 6*v = -6*v + 492. Which is bigger: 42 or v?
42
Let t be ((-36)/4)/(6/(-4)). Suppose -l + 3*g + 0 = 10, 3*l - g + t = 0. Let n be (-2)/(-4 - (-1 + l)). Do 1/3 and n have different values?
True
Suppose 2*u - u + 2 = 0. Is u greater than or equal to -2?
True
Let f be ((-2)/8)/((-1)/(-4)). Do -34 and f have different values?
True
Suppose -4*h + 4*z + 75 + 161 = 0, -2*h - 5*z = -153. Let d = 4456/5 - 14338/15. Let g = h + d. Which is greater: g or 0?
0
Let p(a) = a**3 + 5*a**2 - 5*a + 5. Let g be p(-6). Let v be 4/7*3/6. Which is smaller: v or g?
g
Let q = 35 - 21. Let b = q - 6. Which is bigger: b or -1?
b
Let g = 0.1 - 0.01. Let r = g - -6.01. Let b = -6 + r. Which is smaller: b or -0.3?
-0.3
Let t be -3*1*(8360/1395 - 6). Are 1 and t nonequal?
True
Let m(f) = -f**2 + 8*f + 5. Let l be m(8). Suppose l*p + 2 = -3. Let q be (p + 0)*1/(-1). Is 1 <= q?
True
Let w(a) = a - 7. Let u be w(6). Is -3/5 smaller than u?
False
Let w(k) = -3*k**3 + 3*k**2 + k + 2*k**3 + 2*k**3 + 0*k**2. Let y be w(-2). Which is bigger: -1 or y?
y
Let y be 1*(-1 + 0 - -4). Suppose -105 = -2*s - y*s. Suppose 5*v = -6 + s. Is 3 greater than v?
False
Let m(d) = d**2 - 9*d + 7. Let h be m(8). Let q be 12/(-9)*h/2. Which is smaller: q or 1?
q
Let t = -273633783082/5343 - -51213510. Let p = t + -2/411. Which is smaller: 2/3 or p?
p
Let w be 2/(-13) + 49/(-273). Which is smaller: w or 1?
w
Let z(b) = -1 + 2*b + 2*b - 3*b - 3*b. Let m be z(-1). Which is smaller: m or -1?
-1
Let l = 3.07 - 3. Let b = 29.27 - 29. Let a = b - l. Which is smaller: 3/4 or a?
a
Let b be (-2)/6 - (-64)/(-6). Is b < -8?
True
Suppose -35 = -2*r - h, -r - 2*h + 36 = r. Is r >= 18?
False
Let r be -132*4/(-30)*1. Let o be (22 - 2)*1 + -2. Let w = o - r. Which is smaller: w or -1?
-1
Let r be 2/(-3) - 66/(-18). Suppose 6*j - 4*j - 10 = g, -r*g + 3 = 5*j. Is -1 < g?
False
Suppose 0 = 3*w - 4*w. Let f be (-10)/(-72) + (-2)/9. Which is smaller: w or f?
f
Let a be (5/15)/((-1)/3). Let b be 4/(-14) + (-508)/(-14). Let f = b + -253/7. Which is smaller: f or a?
a
Let c = -36141/8 - -4511. Let n = 6 + c. Which is greater: n or 2/7?
2/7
Let q be 2 + 4/(-16)*9. Which is greater: 0 or q?
0
Suppose 2*p - 3*p + 2 = 0. Suppose -p*l + 3 = l. Suppose -3*i - 24 = -t - 4*t, -2*t - 4*i = 6. Is t > l?
True
Let t(r) = 0*r + 5 + 2*r + r - 4*r. Let y be t(10). Is -5 at least as big as y?
True
Let l = 18 + -12. Let n(x) = x - 5. Let v be n(l). Is 0 smaller than v?
True
Let t(f) = -f**3 - 17*f**2 - 15*f + 6. Let i be t(-16). Which is greater: -9 or i?
-9
Let t(l) = l + 1. Let f be t(4). Let i(j) = j**2 - 5*j. Let p be i(f). Let n = 2 - 4. Do p and n have the same value?
False
Let n = 3/7 - -1/14. Suppose 0 = 2*s - 4*i - 2, 4*s - 4 = i + 2*i. Is n < s?
True
Suppose 7*b - 30 = 4*b. Suppose k = -g - 2 - 12, 3*k + b = -g. Let a be (-8)/(-36) + g/(-9). Is a > 2?
False
Let v(s) = 5*s - 4. Let w(i) = -i**2 - 6*i + 5. Let j(m) = 5*v(m) + 4*w(m). Let d be j(1). Which is smal