 3*b - 1. Let h be l(3). Let f = 2/1443 + 1/39. Which is smaller: h or f?
h
Suppose -3*z - 6*u + 3 = -3*u, u = -2*z. Let s be 4/z + 26 + -21. Is 2/11 less than or equal to s?
True
Let z(x) = -3*x - 6. Let b be z(-5). Let w = b + -5. Suppose 0 = c + 2*c + 12, -5*c = -w*j + 16. Is j at least as big as -5?
True
Suppose 2*a + 5*f - 3*f + 154 = 0, -152 = 2*a + f. Let t = a + 75. Which is bigger: t or -2/7?
t
Let p be (-13)/51 - 1/3. Suppose 2*m = -5*z - 2, -57*z + 3*m + 3 = -61*z. Is z bigger than p?
True
Suppose 97*i - 1824 + 466 = 0. Let l be (2 - 0)*(-15)/(-2). Which is smaller: i or l?
i
Let g(h) = h**2 + 5*h - 2. Let z be g(-6). Suppose 6 = 5*c - z. Suppose -6*o + 8 = -c*o. Is -1 less than o?
True
Suppose 252*y - 244*y - 2008 = 0. Is y > 254?
False
Let w be (-15)/((-60)/(-376)) - -3. Which is bigger: -92 or w?
w
Let v be (3/(-18)*4)/(9/162). Suppose 8 = -2*d - 12. Is v less than or equal to d?
True
Let j be (-8 - -1)*(-1 + -401). Let w be ((-14)/j)/((-10)/(-12) + -1). Suppose f + 1 = -0*f. Which is smaller: w or f?
f
Suppose 2*j + 8 = 0, 5*j - 22 = -3*v + 3*j. Are v and 4 nonequal?
True
Suppose 4 = -4*p - 4*m, 2*m = 8 + 2. Let a be (-25 - -22)*(-1 - p). Is a < -4?
True
Let k be (-1 - (-7957)/(-9)) + 134/1206. Is k smaller than 1?
True
Let h = -8.4 + 8.3. Is 29 at least h?
True
Let s(t) = 5*t + 182. Let r be s(15). Which is smaller: r or -0.1?
-0.1
Let r = -0.301 - -0.201. Which is bigger: r or -0.108?
r
Suppose -y - 3*t = y - 51, 0 = 2*t - 6. Let p = 20 - y. Is -1 equal to p?
True
Let t = -13 - -17. Let f(x) = -x**3 + 3*x**2 + 5*x - 4. Let v be f(t). Is 2 > v?
True
Let n = -17 - -16.86. Let i = n + 0.1. Suppose -6*g - 14*g = 20. Is i >= g?
True
Suppose -s + 0 + 3 = -g, 4*s - 14 = 3*g. Suppose 17 = -o - s*i, 4*o - 3*i - 27 = -4*i. Which is bigger: o or -1?
o
Suppose -3*r + r + 6 = 2*x, -3*r + 5*x = -41. Suppose -9 = -4*f + r. Suppose 0 = f*k - 2*k - 8. Is k at most 3?
False
Suppose -4*p = -3*f - 23, 3*p = -f + 14 - 0. Which is greater: f or 276?
276
Suppose 3*w = h + h - 10, 0 = -2*h + 4. Let t be (-3)/(-2*1 + w). Let l = -87 + 89. Which is bigger: t or l?
l
Let w be (4 - 0)/((-44)/(-165)). Let y = w - 20. Is -5 at least as big as y?
True
Let u(b) = 6*b - 73. Suppose -62*l + 68*l = 60. Let k be u(l). Is 0 greater than or equal to k?
True
Suppose -17*a = -18*a + 1. Suppose 0 = -10*l + 9*l + a. Which is bigger: 13/9 or l?
13/9
Suppose 22 = -14*o + 8. Which is smaller: -13/12 or o?
-13/12
Let y be (-1)/(-7)*3*(-2)/3. Let b(i) = -i**3 + 13*i**2 + 16*i - 20. Let f be b(14). Which is smaller: f or y?
y
Let i = 445/7 + -69. Let z(y) = 4*y. Let p be z(-1). Which is smaller: i or p?
i
Let y(p) = p**3 - 23*p + 5. Let g be y(5). Which is smaller: 14 or g?
14
Suppose -34*w - 11920 = 46*w. Which is smaller: 2 or w?
w
Let u = 0.0091 + -0.5091. Which is smaller: 0.6 or u?
u
Let f = -0.1727 - -0.1407. Let b be (2 - 1)*(-3)/6. Which is smaller: b or f?
b
Suppose 1032*d - 1036*d = 0. Which is smaller: d or -2/3127?
-2/3127
Let p = 676 + -198. Are 479 and p unequal?
True
Suppose -4*w = 5*k + 492, 0 = 3*k - 3*w + 2*w + 285. Is k at least -193/2?
True
Let f(s) = -s + 9. Let h be f(-7). Let q be (-2)/11*-142 - 26/(-143). Suppose -q = 2*o - 60. Which is smaller: h or o?
h
Let a be 16/(-56) + (-5)/7. Let z(l) = 17*l**3 - 2*l - 1. Let u be z(a). Which is greater: -17 or u?
u
Suppose -40 - 80 = -8*u. Do u and 16 have the same value?
False
Suppose -2*b = 10 - 14. Let l be ((-8)/(-3)*6/(-4))/b. Do l and -16/7 have different values?
True
Let s be 1/2 + (-438)/(-108) + 1. Is 6 < s?
False
Suppose 13*s + 1035 = 22*s. Is 115 greater than or equal to s?
True
Let g = -4 - -5.22. Let m = -0.08 - g. Let f = m + 1.4. Which is greater: 5 or f?
5
Suppose 3*o + 23 = -2*g - 57, 0 = o - 4*g + 8. Let q = o + 16. Are -8 and q unequal?
False
Let a be (18/(-14) - (-16)/56) + 5. Suppose -64 = -7*n + 3*n - a*r, -3*r = 5*n - 76. Let h = 32 + -19. Is n at least as big as h?
True
Let d = 2 + 1. Suppose -50 = -5*t + 5*a, 0 = -4*t + 2*a + d*a + 44. Let v be (-6)/18*2/t. Which is bigger: v or 0?
0
Suppose 12*w - 4*w = 8. Suppose -3*a = -5*i + 105, 8*a - 3*a - 49 = -i. Which is smaller: i or w?
w
Let b = -37 + 55. Let u = -16 + b. Let h be u/3*(-33)/11. Which is greater: h or -5/7?
-5/7
Let n(k) = -35*k + 1. Let u be n(1). Let v = -29 - u. Let j be (-25)/(-4)*(-20)/v. Is -25 <= j?
True
Suppose -385 = 6*n + 149. Is -4 greater than n?
True
Let s = -19 + 22. Suppose -1 = -s*n - 2*c, 2*n + 0 = -3*c - 1. Is n greater than or equal to 5?
False
Let w = 53/65 - 8/13. Suppose 3*x - 44 = -2*y, 0*x + 4*x + 33 = y. Let c = y - 24. Which is smaller: c or w?
w
Let l = -0.53 + 0.63. Are l and 0.138 equal?
False
Suppose -2*x = -4*j + 5*j + 36, -3*x - 2*j - 54 = 0. Let z be 6/x*207/(-6). Which is greater: z or 13?
13
Let i be -547*4*1/32. Let j = 68 + i. Let c = 1 - 1. Is c less than or equal to j?
False
Let c be (3/6)/(-1 + 191/196). Let l = 20 + c. Is 0 at most as big as l?
True
Let s(j) = 2*j - 95. Let n be s(-18). Which is bigger: n or -132?
n
Let t be (-531)/(54/12 + -3) + 1. Are t and -354 unequal?
True
Let g = -2318.1 - -2326. Which is smaller: g or -3?
-3
Let h = 0.22 + -1.56. Let u = h + 1.34. Is 106 not equal to u?
True
Let j = -0.053 + -2.847. Let k = -88 + 87.9. Is j at least k?
False
Suppose 5*u = -5*q - 330, -5*q - 109 - 239 = -4*u. Suppose 0 = 5*m + h - 3*h + 343, 3*m = 4*h - 217. Which is bigger: m or q?
m
Let u = -0.4 + 3.4. Let d = -31.85 + 31. Let q = d + -0.15. Which is smaller: u or q?
q
Let d = 198 - 200. Which is smaller: -1 or d?
d
Suppose -2*i = 10, -o - 2*i = -3*o + 12. Let j be (-9)/36 + 171/252. Is o smaller than j?
False
Let h be (-2)/14*12/(-21). Let w = h + -61/147. Which is bigger: 5.5 or w?
5.5
Suppose 3*w = 3*k - 1 + 4, k = -2*w + 8. Suppose -3*y = -2*y + 18. Let p(j) = j + 20. Let u be p(y). Is u <= k?
True
Let z be 19/5 + (-32)/40. Let j be (2/2 - 0) + z. Suppose -9*x = -j*x. Is 0 equal to x?
True
Let d = -3.3 + 1.9. Let a = 1.2 + d. Is -0.02 >= a?
True
Suppose 2*t + 11 = -s, 3*s + 0*s + 9 = 2*t. Let z be (1 - 0)/(s/12). Let b = -12.387 - -13.387. Which is smaller: b or z?
z
Suppose -4*m + 2*x + 3*x = -15, -m + 2*x + 3 = 0. Suppose m*h + 25 = 0, 2*v + 3*h + 44 = -h. Is -12 >= v?
True
Let i(o) = -o**2 - 3*o + 18. Let j be i(-6). Suppose -v - 3 + 4 = 0. Let w be (-1)/(-3)*1/v. Which is bigger: j or w?
w
Let g(x) = -91*x - 90. Let b be g(-1). Which is bigger: 1/791 or b?
b
Let j(x) = x + 1. Let w be j(-3). Let d be (-1 - -1 - 2)*w. Let m(s) = s**2 - 13*s + 25. Let k be m(2). Which is smaller: d or k?
k
Let k = -609 - -620. Which is smaller: 81/8 or k?
81/8
Let f be ((-2)/3)/((-65607)/(-171)). Is 0 smaller than f?
False
Suppose 3*z = 4*g - 9 - 7, 2*z + g + 18 = 0. Let d = 14 - z. Is d at most as big as 22?
True
Let c = -0.34 - -0.25. Let x = c - -0.01. Suppose 7*q - 2*q = 3*d + 16, -2*d + 4 = 4*q. Which is greater: x or d?
x
Let n be (11 - 11)*(-2)/(-2). Let x be n/(4 - (1 + 2)). Which is smaller: x or 0.12?
x
Let j be 1/(-5 - -1) + 9110/36360. Which is smaller: j or -1?
-1
Suppose -36 = -3*g - 5*a, a - 2*a = -3*g + 54. Suppose 29 - 7 = -4*r - s, 4*s - g = 5*r. Let d = -7 - r. Is d at least -4?
True
Let w = 422 - 430. Let h = -3 + -1. Let s = h - w. Are s and -3 nonequal?
True
Let b = 99.027 - 0.027. Let l = -122 + b. Which is smaller: 1 or l?
l
Suppose 0 = 1702*o - 1710*o - 16. Suppose z - 28 = -4*t, -29 = -5*t - 3*z + 13. Is t at least o?
True
Let q = 39 + -34. Let s be (-1 + q)/(-12)*0. Which is bigger: s or -2/129?
s
Suppose 2*i + 404 = 2*k - 2*i, 626 = 3*k - i. Which is greater: k or -2/7?
k
Let j = -64/19 - -908/247. Which is greater: j or 0?
j
Let q be (-96)/(-54) + 2/9. Suppose -q*f - 1 + 3 = 0. Let k = -11/7 + 173/119. Which is smaller: k or f?
k
Let x(u) = u**3 - 2*u**2 + 3*u - 3. Let w be x(2). Suppose -w*c = -2*j + 12, -2*c - 4 - 4 = 4*j. Which is smaller: j or -3/64?
-3/64
Suppose 82*c - 40*c = -588. Which is smaller: -160/11 or c?
-160/11
Let l = -72 + 71. Let j = 67/3 + -179/6. Is j greater than l?
False
Let g = 1.3 - -0.6. Let l = g - 1.71. Let x = -1.39 + l. Which is smaller: x or 2?
x
Let d be -8*((-2)/4 + 1). Let g = 80 + -86. Do d and g have different values?
True
Let p(n) = n + 3. Let c be p(-6). Suppose 3*u + 0 = -2*t + 14, -5*u = -4*t - 16. Let y be (1/(-15