31. Let a = 4 + g. Let o = a - 23. Which is smaller: o or -1/6?
-1/6
Let x(z) = -2*z + 2. Let j be x(-3). Let m be 1*-3*176/(-24). Suppose 4*q + 0*p - m = -3*p, 2*q = 3*p + 20. Which is smaller: j or q?
q
Let a be -1052*(-12)/600*5. Is a less than 105?
False
Let a(u) = u - 2. Let x be a(0). Let i be 16/(-4) + 0 + 4. Let r = x - i. Which is smaller: -5 or r?
-5
Let f = -19 - -22. Let j = f - 0. Which is smaller: j or -1/2?
-1/2
Let s = -2 - -13. Let w = 10.8 - s. Let c = -0.21 - w. Is c greater than or equal to -0.2?
True
Suppose 0 = -8*a - 77 + 109. Is a bigger than 271?
False
Let i = 0.0083 + 0.0917. Which is greater: i or -5/9?
i
Suppose z - 5*y - 46 = -0*y, -5*y + 10 = 0. Suppose -2*u = 2*u + z. Let p = 14 + u. Is p smaller than -3/7?
False
Let x be (40*-1)/(4/(-2)). Which is smaller: 41/2 or x?
x
Let l = -59.971 - -60. Let o be (-31)/(-248) + (-109)/(-24) - 4. Is o at least l?
True
Let r(x) = -13*x - 116. Let s be r(-11). Which is bigger: s or 0?
s
Let w be 93/33 - 6/(-33). Suppose 2*q = 2*u + 6, 6*u - w*u = -2*q + 6. Suppose 2*z = -q*z. Are -0.18 and z nonequal?
True
Suppose 0 = -4*f + 5*f + 3*f. Let k = 6 - 8. Let m be 48/22 + k + 0. Do m and f have different values?
True
Let k = 0.5 + -0.492. Let l = k + 3.292. Let h = 2.3 - l. Which is greater: h or -9/7?
h
Suppose -k + 155*g - 125 = 154*g, -k - 3*g = 137. Which is greater: k or -130?
k
Let q = 9.742 + 0.258. Which is bigger: -2/5 or q?
q
Let y(d) = d - 10. Let m be (-140)/(-12) + 4/(-6). Let u be y(m). Which is smaller: u or 0.1?
0.1
Let c = -584.2 + 582. Let m be (-4)/4 - (-2 - 0). Which is smaller: c or m?
c
Let c = -653 + 613. Which is smaller: -272/7 or c?
c
Suppose 0*g + 4*g + 6 = -r, -2*r - 1 = -3*g. Is g smaller than -2/287?
True
Let c(l) = l**3 - 11*l**2 + 12*l - 13. Let p be c(10). Suppose -25 - p = -h. Suppose 4*k + 4*o - 40 = -8, -h = -5*k - 3*o. Is k > 4?
False
Let l be (40/(-30))/(20/6 - 2). Let s = 3582/7 - 513. Which is smaller: l or s?
s
Let d be (1*2/24)/(1/(-3)). Suppose -2*a - 2*a = 4*x - 4, -6 = -3*x. Is a smaller than d?
True
Let j(b) = -b**2 - 3*b. Suppose 11*p = 7*p - 12. Let k be j(p). Let x = -0.1 - -0.6. Which is bigger: x or k?
x
Let j = 1.0526 + -0.0526. Which is smaller: 75 or j?
j
Let w be -3 + (4 + -2 - 2). Let x be 5/(-2) - 84/336. Which is smaller: x or w?
w
Let q be 6/(-4)*(-4)/(-6). Let p = q - -1. Let r(y) = -2*y**3 - 12*y**2 - 13*y + 15. Let k be r(-3). Is k equal to p?
True
Let l be (-14)/2 + (13 - 7). Which is smaller: -2/7 or l?
l
Let m be (2 - (6 - 10)) + (-202)/34. Let i(a) = -a - 7. Let n be i(-6). Which is bigger: n or m?
m
Let b = -353 - -1413/4. Which is smaller: b or -4.4?
-4.4
Suppose 0 = 3*z + n - 30, -2*z + 6*n + 20 = 2*n. Let b be z/6 + -3 + (-7)/(-3). Is b at most 3?
True
Let s = -419243/34125 + -1/4875. Is -11 not equal to s?
True
Let p(s) = -17*s - 291. Let u be p(-17). Does -39/29 = u?
False
Let l be 4/46 + (-3424)/(-17227). Which is smaller: 4 or l?
l
Let w(p) = p**3 - 6*p**2 - p + 8. Let s be w(6). Suppose -2 = -d + s*d. Let a(o) = -o**2 + 9*o - 21. Let j be a(5). Is j bigger than d?
True
Suppose -h - 20 = -13. Suppose 0 = b + 4*b - 4*n + 50, -3*b + 3*n - 33 = 0. Which is bigger: b or h?
b
Let z = 5/27 - 2/27. Which is bigger: 2/93 or z?
z
Let q be 3/(-4) + (-3)/(-4). Suppose 0 = -q*i + 5*i. Let t = 10974/49 + -224. Is t at most as big as i?
True
Suppose x = -4*j + 18, 9 = 5*x + 5*j - 6. Let z be ((-2)/(-6))/(x/(-18)). Let y be (z + -1 + -2)/3. Does 1/6 = y?
False
Let d = -0.03 - -0.43. Let k = -4.25 - -3.75. Which is bigger: d or k?
d
Let r be (-4)/(-26) - 70/455. Is r at most 3/172?
True
Let m(x) = 2*x**3 + 2*x**2 + 0 - 2 + 1 + x. Suppose 27*b + 14 + 13 = 0. Let p be m(b). Is p >= -6/5?
False
Suppose -590 + 570 = -2*q. Is 5 greater than or equal to q?
False
Let i be ((-2)/4)/(21/(-329)). Let d = -55/12 + i. Is d >= 2?
True
Let s be 2 + (-3)/(-9)*0. Suppose -q + 6 = s. Let u be q/(-9)*(-1)/2. Which is smaller: 1 or u?
u
Let t = 121 - 106. Which is greater: 104/7 or t?
t
Let f be 1 + 1 + (-230)/(-8). Let n = f + -31. Is 11 > n?
True
Let o be ((-32)/(-34))/(2 - 0). Let h be 35/4 + 33/(-44) - 9. Is h at most o?
True
Let s be ((-32)/(-3))/(-4 + (-42)/(-9)). Let z = 1 + 2. Suppose -z*m + 34 = -m. Is s >= m?
False
Let z be (48/705)/(1/5*-2). Which is smaller: z or 2?
z
Suppose -55 - 65 = -8*u. Are -7 and u nonequal?
True
Let q be (-7 - 1) + 21/3. Which is greater: 2/1217 or q?
2/1217
Let g = 0.4 - -0.1. Let p = -0.088 - 0.912. Is g bigger than p?
True
Let w(s) = -4*s**3 + 5*s**2 - 2*s + 4. Let h be w(2). Let i be 3/2*4/h. Is i != 0?
True
Suppose 80 = 3*t + 92. Which is greater: -46 or t?
t
Let o be 4/64*(3 - (-8)/(-1)). Which is bigger: o or -1?
o
Let y be ((-45)/(-3))/5*4/(-8). Which is smaller: -2/129 or y?
y
Suppose 8*g - 13 = 3. Suppose -g*q = -9 - 5. Which is bigger: q or 8?
8
Let z = -15 + 42. Let c = 37 - z. Suppose -92 = -6*h + c*h. Which is smaller: -22 or h?
h
Let u = 1577/68 + -390/17. Is u != 710?
True
Let b = -121/328 - 1/164. Let p(t) = 5*t**3 - 8*t**2 - t + 11. Let c(m) = -m**3 - 1. Let w(d) = 4*c(d) + p(d). Let y be w(8). Is b less than or equal to y?
False
Let h be 16/((7 - 3) + -3). Let i = h - 14. Is i at most as big as 2?
True
Let d be ((-4)/(-10))/(5/(-75)). Let n be (9/6)/((-3)/d). Is n > 2/7?
True
Let t = -533 - -532.989. Which is smaller: 4 or t?
t
Suppose -4*p + 158 = 5*i, -i - 2 = 3*p - 38. Let o = 27 - i. Which is bigger: -5 or o?
o
Let u = 52 - 54. Let m = 0.5 + -0.4. Which is bigger: u or m?
m
Suppose 0 = -13*q + 6218 + 360. Which is greater: q or -2?
q
Suppose -2*u + a - 19 = -2*a, -4*u - 2*a - 14 = 0. Let j be u/7*((-8)/(-20) + 2). Is 1 > j?
True
Let q = 5.3 + -72.3. Which is smaller: q or 3?
q
Let f be (1/(2/(-4)))/((-54)/1593). Is f at most as big as 59?
True
Let z = -1435 + 1447. Is z less than or equal to 53/5?
False
Let x(k) = k**2 - 3*k + 3. Let i be x(2). Suppose 21 = 5*o + i. Let c be (o/(-16))/((-1)/4). Is c != 1?
False
Let o = 3647 - 2162673/593. Which is bigger: 1 or o?
1
Let l = 6 + -20. Let y(u) = -7*u + 10. Let c be y(2). Let x(o) = -o**3 - 5*o**2 - 4*o + 1. Let f be x(c). Which is smaller: f or l?
l
Let k be (2/69)/((-12)/402) + 1. Let a = 125 - 125. Which is smaller: k or a?
a
Let w = -10 - -11. Suppose -m - p = 2 - 4, 0 = 5*m + 3*p - 14. Is m at least w?
True
Let f = 0.061 + -326.061. Let l = -311.7 - f. Let m = l + -14. Do m and -3 have the same value?
False
Let p(a) = -7*a + 9. Let b(n) = n**3 - 2*n**2 + n + 1. Let i be b(2). Let t be p(i). Is t less than or equal to -12?
True
Let v = -0.22 + 0.2. Let i = -0.012 + 0.092. Let t = i - v. Which is bigger: t or -6?
t
Suppose 3*k - 24 = 5*m + 4*k, 2*m + 5*k + 5 = 0. Suppose -6*v + 4*t = -3*v + 32, -15 = 5*v + t. Are v and m nonequal?
True
Suppose 22*j = 16823 - 3469. Which is smaller: j or 605?
605
Let s = -711.5 + 701. Is 1 at least s?
True
Let q be -51 + 1 + (3 - 0 - 6). Let j = 53 + q. Is -8/11 >= j?
False
Let v = 92 + -55. Suppose 0 = -0*n - 4*n + 5*y - v, 0 = -3*n + 4*y - 27. Which is greater: n or -15?
n
Let d = -456.1 + 420. Let a = d - -36. Which is bigger: a or -1.1?
a
Let h be 8 + (-6 - (-3395)/(-1666)). Is h at most as big as -1?
False
Let y = -199/3 - -66. Let w = 0 + 2. Which is greater: w or y?
w
Let g be 10 + -8 - -1*4. Suppose 0*k = -3*k - g. Let x be k*(-14)/(-8) + 3. Which is smaller: -2 or x?
-2
Let i = -0.00035 + 13.98235. Let f = i + 0.018. Let v = -0.5 - 0.5. Are f and v nonequal?
True
Suppose 9*z - 827 - 1171 = 0. Which is smaller: 223 or z?
z
Let p = 0.23 + 14.77. Let u = 21 - p. Suppose 15*g = 5*g - 20. Is u bigger than g?
True
Let j be -1*(-6)/(-36)*123. Which is bigger: j or -22?
j
Suppose 3*j - 4*c = -155, 0*j + 5*j + 2*c + 215 = 0. Let x be (-28)/j - 4/18. Which is bigger: -21 or x?
x
Let w(t) = -7*t + 61. Let o be w(-8). Let b = 117 - o. Let m(s) = s**3 - 4*s**2 + 3*s - 1. Let i be m(3). Do i and b have the same value?
False
Suppose 4 = 4*h - 3*h. Suppose -3*s + 56 = h*f, -5*s = 4*f - 6*f - 50. Let v be (-8)/6*s/40. Is 12 at most as big as v?
False
Suppose -3*a + 4*a = -2207. Let x be (-3)/(-6) + a/22. Let h = 100 + x. Which is smaller: -1 or h?
-1
Let d be (2/8)/((-1)/17). Let n(v) = v**3 - 9*v - 4. Let w be n(3). Which is smaller: w or d?
d
Let r = 2486/27 - 92. Let j(z) = -z**3 + 5*z**2 - 6*z + 7. Supp