is greater: b or h?
b
Suppose 3 = -2*f - 3*c, 2*f + 0*f = 4*c + 18. Suppose f*s = -4*r - 12, 3*s - s + 8 = -5*r. Let u = -337/5 - -67. Do r and u have different values?
True
Let t(s) = 5*s - 1. Let q be t(-6). Is q at least -30?
False
Let k be 0*3/(-9) - (-3 + 51). Which is smaller: k or -49?
-49
Suppose -4*c - 4*a - 28 = 0, -6*a = -3*a + 12. Let g(k) = k - 6. Let d be g(4). Are c and d unequal?
True
Suppose -15 = 4*i + s, 5*s = s + 20. Let q be i/((-5)/(-4)) + 0. Let o be 10/q*1/(-10). Which is bigger: 0 or o?
o
Let l be (-1190)/581 - (-2 - 0). Let v = l - -186/415. Let w = 99 + -695/7. Is v less than w?
False
Let o be 6 + 2/((-6)/9). Suppose -z = 5*i + o*z + 4, 4*i = -4*z. Is i less than or equal to -8/3?
True
Suppose -3*c - 2*b = -2*c - 6, 5*b - 11 = -2*c. Suppose c = -2*a - 2*a. Let h(y) = y**3 + 4*y**2. Let t be h(-4). Are a and t equal?
False
Let d = -3.87 + 1.86. Let v = d + 0.01. Let s = -1.9 - v. Which is smaller: s or 1/2?
s
Let d = 15870291649/2134 + -7436875. Let o = d - 1/194. Suppose -4*n + 2*n + 3 = 3*q, -4*q = -3*n - 4. Is n greater than o?
False
Let u = -0.09 + 1.09. Suppose -2*c + 6 = -3*q, 3*q + 6 - 3 = c. Suppose -c*s + 0*m - 8 = -2*m, -4*s = -m + 4. Is s greater than or equal to u?
False
Let f(g) = 8*g + 1. Let n be f(2). Suppose -4*x = t + n, -3*t = 2*x - 4*t + 1. Let k = -1 - x. Which is smaller: -2 or k?
-2
Suppose 0 = -34*a + 29*a + 10. Does 3/7 = a?
False
Let a(y) = -y**2 - 12*y. Suppose 2*d = 3*r - 0*r - 9, 5*d + 5*r + 35 = 0. Let o be a(d). Let x be 4/(-6)*o/(-8). Do 3 and x have the same value?
True
Let p be (-10)/25*15/6. Is p at least as big as -11/7?
True
Let m be 2/5 + 145/75. Let c be (-2*3/(-24))/1*-4. Is m >= c?
True
Let r = -66.885 - 0.115. Is -0.1 smaller than r?
False
Let r(f) = -2*f - 1. Suppose -3 - 2 = -k + 3*c, 3*k + c = 15. Suppose 2 = j - 4*t - 1, -j - k*t = 6. Let w be r(j). Which is smaller: w or 2/11?
2/11
Let w(x) = 46*x + 1. Let u be w(1). Let o = u - 101/2. Are -3 and o equal?
False
Let y = 98 - 3. Is y at most as big as 95?
True
Let y = 33 + -33. Let h = -8 - -11. Do h and y have the same value?
False
Let j be (4 + -2)/(-5 - -7). Let n be j/((-1)/3) + 6. Suppose 0 = 4*z - 4 - 8. Do n and z have different values?
False
Let s be 4/6 + 11/(-3). Let i be (s/(-4))/(3/2). Let p = 11 - 9. Is i > p?
False
Let o = 22 - 20. Suppose 3*h - 34 = -h - 2*d, -5*h + 35 = -5*d. Let p be (-1)/4 - (-2)/h. Which is bigger: p or o?
o
Let d be ((-2)/6)/((-5)/45). Suppose 6 = -3*r - d. Which is smaller: -3/2 or r?
r
Suppose -2*z = 1 - 11. Suppose -z*r + l - 519 = 5*l, -5*r = l + 531. Let i = r - -533/5. Which is greater: i or 0?
0
Let d be 6 + -3 - (-1 - -18). Let o be (d/28)/(2/(-4)). Is 2 equal to o?
False
Let i = 12 + -13. Is i >= -7/9?
False
Suppose -3*n - 140 = -38. Is n smaller than -29?
True
Let u = -5 + 6. Is 1 less than u?
False
Suppose -4*f - 56 = 168. Which is greater: f or -55?
-55
Let v = -46 + 30. Are -16 and v equal?
True
Let p be 1 - -1 - (-4 + 3). Let t = p - 2. Suppose l + t = 2*l. Are l and 2/9 non-equal?
True
Suppose d = 3*x - 3*d - 35, 2*d + 5 = -x. Suppose x*o + 20 = o. Is o > -6?
True
Let d be 22/5 - (-4)/(-10). Let w(k) = -k + 4. Let p be w(d). Which is bigger: p or 1/7?
1/7
Let w = 4 - 3. Let z(u) = u**2 + 5*u + 6. Let l be z(-4). Let b = l - w. Is 1/2 greater than b?
False
Let b = -0.1 + 2.6. Let s = 0.5 + b. Let i = s - 5. Is 3/7 at least as big as i?
True
Suppose -4*h + 40 = 7*g - 3*g, 5*h + g - 50 = 0. Let b be (-16)/h + 0 - -2. Which is smaller: b or -0.3?
-0.3
Let h = 22 + -31. Which is bigger: h or -8?
-8
Suppose 2*p - 3*a - 2 + 11 = 0, 2*p + 2*a = -34. Is -13 at least as big as p?
False
Let r be ((-1)/(-2) + 12/(-20))/1. Which is smaller: 2 or r?
r
Let x(f) = f + 13. Let d be x(-7). Let p be (-4)/d + 15/63. Let z = -34 - -33. Is p at least as big as z?
True
Let t = 13 - 18. Let m be -1*(3 + t)/(-2). Is -6/5 greater than or equal to m?
False
Let x = -18 - -24. Let c be 15/(-50) + 3/x. Suppose 5*q - 3*q = 8, 5*w + 2*q = 13. Is w smaller than c?
False
Let x = -1/3 - -1. Let a = 89 + -625/7. Is x smaller than a?
False
Let r = 12 + -10. Suppose 0 = -3*t - 3, -r*f = 3*f - 5*t - 10. Which is bigger: 2 or f?
2
Suppose 22 = 2*s - 4*b, 11 = 2*s + 5*b - 11. Let l = s - 6. Suppose -3*q - 4 = -l*q. Is 1 bigger than q?
False
Let n be (-1 - 6/(-10)) + (-258)/(-270). Is n smaller than 0?
False
Let w be (-17)/(-10) + 3 + -4. Let i = w + -1/5. Which is greater: 0 or i?
i
Let p = 139 - 975/7. Which is greater: p or -1?
p
Let n(a) = a**2 + 22*a + 26. Let m be n(-21). Which is greater: 22 or m?
22
Let f = -0.279 + 0.079. Let s = 10 - 0. Which is smaller: s or f?
f
Let l = -1 + 1. Let a(n) = n**2 - 8*n + 6. Let h be a(6). Let q be h + 3 - (0 + 0). Which is bigger: q or l?
l
Let y = 88 + -1318/15. Is y < -1?
False
Suppose 3*k = 4*k + 2. Let q be (k/(-6))/((-3)/9). Let a be 1 - (0 + 5/7). Are a and q non-equal?
True
Let z = -55.121 + 0.121. Which is greater: z or 0?
0
Let x be -27*3/21 - -4. Which is greater: x or 0?
x
Let p = 15 - 10. Let o(f) = -6*f**2 - 14*f. Let t(i) = i**2 + 3*i. Let k(l) = -2*o(l) - 11*t(l). Let h be k(p). Is 2 > h?
True
Let f be 1*1/(-7)*2. Suppose 4*u + 0*v + v = -6, -10 = -5*v. Let y be (-3)/18*1*u. Is f smaller than y?
True
Suppose 3 = u + a, 0*u = -3*u - 5*a + 17. Which is smaller: -1/47 or u?
u
Let u = -17/4 - -15/4. Suppose 0 = -4*m - c - 15, -2*m = -0*m - c + 9. Let y = 3 + m. Which is smaller: y or u?
y
Let i be 34/(-10) + 3 + (-14)/(-10). Are -4/15 and i equal?
False
Let l = 15 + -15. Which is bigger: 9 or l?
9
Let r = 0.9 - -0.1. Let c = -3.9 + 5. Let w = c - r. Which is smaller: 0 or w?
0
Let b = 0.2 + -2.2. Let f = 1.9 + b. Let k be (6/20)/(12/10). Is k != f?
True
Suppose -4*f = -0*f - 100. Suppose -u = 4*u - f, -2*w - 2*u = -14. Let o be 3/w*(-4)/(-6). Is 0 equal to o?
False
Let t(d) be the second derivative of -d**5/20 + 7*d**4/12 + 7*d**3/6 + 7*d**2/2 - 3*d. Suppose 0 = 3*q + 2*q - 40. Let l be t(q). Is l at least as big as 2/19?
False
Suppose 5*c + 0*s + 5*s = -155, 93 = -3*c + 5*s. Which is smaller: c or -30?
c
Let m = 29 - 40. Is -12 at least m?
False
Suppose -1 = 3*q - 4. Let k(j) = -j - 20. Let t be k(-19). Which is smaller: q or t?
t
Let i be ((-72)/20)/(-3)*5. Suppose -4*d + 4*b + 24 = 0, d = -i*b + 2*b - 9. Is d <= 3/2?
False
Let c = -9 + 12. Suppose -5*j = 2*k - 0*k - 13, -5*k = j + 2. Let v be 4/(j - (0 + 2)). Which is smaller: v or c?
c
Let t = -5 - -9. Suppose 0 = -4*k - 4*u + 24, -9 = k - t*u + 2*u. Let z = 0.4 + 0.6. Is k less than z?
False
Suppose o + 5*j = -11 + 33, -2*o - 5*j + 44 = 0. Is 22 >= o?
True
Let d = 124/15 - 23/3. Let n(x) = x**3 - 3*x**2 - 5*x + 6. Let l be n(4). Is d > l?
False
Let s = 11.1 + -11.3. Is s greater than 56?
False
Let c be (8/24)/(3/(-9)). Which is greater: c or 4/11?
4/11
Let r = 2 - -2. Suppose -a = -3*n - r*a - 9, -5 = a. Is 3 smaller than n?
False
Let u(i) = -i**3 + 4*i**2 + i - 2. Let d be u(4). Let z = d - 0. Let r = -0.2 + 0.2. Do r and z have the same value?
False
Let p = 0.25 + 0.05. Let x = p - -0.2. Let i = x - 0.3. Is i at least as big as 0.2?
True
Let v be (-7 + -2)/(9/(-6)). Let t(p) = -p**3 + 4*p**2 + p + 1. Let b be t(4). Which is bigger: v or b?
v
Let k = -3 - 0. Let h = 1.4 - 2.4. Is h at least k?
True
Suppose 3*z = v + 5, 3*z = z + 5*v + 25. Let u = -37/52 - -6/13. Is z equal to u?
False
Let j(l) = l + 3. Let m be j(-6). Does 1 = m?
False
Let d = 0.75 - 9.75. Is -1/3 < d?
False
Let a(o) = -o**2 - 7*o - 5. Let l be a(-6). Is l less than or equal to -2/69?
False
Let q(m) = 51*m - 1. Let a be q(3). Let k = 1519/10 - a. Which is greater: 0 or k?
0
Let f = 1 - 1. Let i = -0.3 + -0.2. Let v = i - -0.4. Is v < f?
True
Let p = 16 - -34. Let v = p + -56.3. Let o = v + 6. Is o greater than 1/4?
False
Let y = -0.4 - -3.4. Which is bigger: 1 or y?
y
Let x = -4 + 14. Let v = -2 + 1. Which is bigger: v or x?
x
Let k(g) = g**3 - 8*g**2 + 6*g. Let s(f) = f**3 - 7*f**2 + 6*f - 1. Let l(x) = -2*k(x) + 3*s(x). Let h be l(4). Suppose h*n = 1 - 6. Which is smaller: n or 1/3?
n
Let z = 50 + -52. Is 1 at least as big as z?
True
Let y = 4 - 11. Let t = 2.3 + 4.6. Let r = y + t. Does r = 0.2?
False
Suppose -6 = 4*n - 3*r - 2, -r = -4. Let s = -1.2 + 0.2. Let v = s + -2. Which is smaller: n or v?
v
Suppose 3*o + 4 = 5*o. Is o < 