Let v be (4/8 + -1)*-8. Let j = v - k. Is j less than -5?
False
Suppose -w + 2*d + 3 = 0, -d + 2 = -3*d. Which is smaller: 12 or w?
w
Let k = 2211 + -15450/7. Is k < 5?
True
Let l = -1 + -2. Let c = -25/4 + 43/12. Which is bigger: c or l?
c
Let r be 0 + 2/((-6)/3). Let j(q) = 3*q**3 - q**2 - q. Let i be j(r). Let y be (i/4)/((-1)/(-4)). Is -2 equal to y?
False
Suppose -g - 4 = -8. Suppose -5*x - g = -x. Which is greater: x or -2?
x
Let b be (-1 - -5) + (1 - 0). Suppose 25 = 3*s - b*c, 2*s + s - 17 = c. Suppose -s*z + 6 = -2*z. Is z at least 2/3?
True
Let f be -2 - (-3)/((-51)/(-32)). Suppose 0 = 3*w - 4*w + 9. Let m be (-14)/(-63) - 2/w. Are m and f unequal?
True
Suppose 12 + 100 = -7*v. Is -16 smaller than v?
False
Let m = 0.07 - -1.43. Let q = 1.4 - m. Is q at most 0.09?
True
Let t = -729/8 - -91. Let x(y) = -y**3 - 7*y**2 + 8*y - 1. Let c be x(-8). Is t equal to c?
False
Suppose 2*g + 40 + 24 = 0. Let m be g/17 - (6 - 8). Which is smaller: m or -1?
-1
Suppose -5*v = -2*v - 9. Suppose y - v*y + 8 = 0. Suppose 6 = -y*u - 2*i, -u = 5*i - 2*i + 9. Which is bigger: u or 1/3?
1/3
Let j(t) = -t**2 + 13*t + 30. Let u be j(15). Let r be (-3)/(3/4*2). Is u > r?
True
Let u be 21/(-3)*(-6)/(-7). Let g be u/10 + (3 - 2). Let w be 4/(-18) - 4/(-18). Which is smaller: w or g?
w
Let k = 49 - 70. Are k and -20 equal?
False
Let t = -2662/79 + 556801/16353. Let p = 3/23 - t. Is -1 <= p?
True
Let i = -2/4207 + 42096/54691. Is 0 greater than or equal to i?
False
Let p be 16/(-72)*9/(-6). Is p at least as big as 1?
False
Let y(s) = -s - 1. Let d be y(0). Let u = 1 + d. Is -1/4 less than u?
True
Let c = -1/138 + -205/276. Which is bigger: c or -0.12?
-0.12
Let n(l) = l**3 - 4*l**2 + 5*l - 3. Let d be n(3). Let w = 10/3 - d. Which is greater: 1 or w?
1
Suppose -3*x - 23 = -4*y, -22 - 4 = -3*y + 4*x. Are -1/3 and y nonequal?
True
Let u(h) = 4*h - 2*h**2 + 1 + h**2 + 0 - 3*h. Let k be u(0). Which is bigger: k or 4?
4
Let g be ((-4406)/(-22) - 2) + -1. Let l = 197 - g. Is 1 less than l?
False
Let q = -1.1 - -1.3. Which is greater: -1 or q?
q
Let l = -0.2 - 0.8. Let a = l + 1.2. Let p be 1 + 1 + (-8)/3. Is a less than or equal to p?
False
Suppose 3*p - 4*y + 21 + 20 = 0, -4*p - y = 23. Let t = p - -7. Are -0.2 and t equal?
False
Let s(w) = w**2 + 1. Let z(c) = -c + 2. Let u be z(5). Let v be (-2)/2*(-3 - u). Let l be s(v). Is l greater than or equal to 1?
True
Let y be 6*2/(-4)*-3. Is y at most 9?
True
Suppose -c - 2*c + 15 = 0. Suppose 10 = -5*h + b, h - c*b = -4*h - 30. Is h > -1?
False
Let a = 4 + -7. Let g be 4 + -5 + 3 + 0 - 3. Is g greater than a?
True
Let v = 4 + -4. Let a be (-3 + v)*(-1)/3. Let k = 6/5 + -3/5. Is k > a?
False
Let b(m) = -m**3 + 11*m**2 + 3. Let v be b(11). Suppose 4*a = v*a. Let r = 55/2 + -27. Which is bigger: a or r?
r
Let d be (-3 - -2 - 3)/1. Let w be d/(-18) + (-1)/(-36). Let v be 6/21 - (-8)/(-28). Which is greater: w or v?
w
Let n be 27/54*(-4)/(-6). Is n > 0.029?
True
Let g = -94 - -95. Let h = -125 + 1123/9. Is h smaller than g?
True
Suppose -2*i + 7 = -5*i + j, 5*i - j = -9. Let l be 4 + -2 + (0 - -2). Suppose -3*h = -2*b + 17, 0*b + 3*b + 17 = -l*h. Do i and b have the same value?
False
Suppose 2*t = 2*l + 2, 1 = -3*l + 2*t - 1. Let z = -48 + 193/4. Which is bigger: l or z?
z
Let n be ((-14)/8)/((-2)/(-8)). Let c be n/(49/16) + 3. Which is smaller: c or 2?
c
Let m = 11 - 10.97. Let j = -0.13 + m. Let n = 0.4 + -0.3. Which is greater: n or j?
n
Let m = -6 - -2. Suppose -10 = -2*y + 4*x, -7 - 10 = -y + 5*x. Is m > y?
False
Let f = -0.03 - 28.97. Which is smaller: 1/2 or f?
f
Let g(a) = -a - 1. Let m be g(-4). Let k(h) = h**3 - 4*h**2 - 7*h + 5. Let u be k(5). Let i = u + 9. Which is smaller: m or i?
m
Let n be (2 - 0)*(-10)/(-4). Suppose h - 2*r - 31 = 0, -2*h + h + 35 = -3*r. Suppose 2*d - 3*x = h, -2*d + d + 5*x = -29. Is d bigger than n?
False
Let f = -22.1 + 22. Is f < 5/7?
True
Let r be 1/4 + (-1)/4. Let g = 2 - r. Let b(p) = -p**2 + 2. Let q be b(g). Which is smaller: -1 or q?
q
Let j(u) = -u - 8. Suppose -5*f = 9 + 26. Let l be j(f). Which is smaller: -5 or l?
-5
Let d be (-18)/(-8) - 2/8. Let g(t) = -t**3 - 27*t**2 - 2*t - 55. Let v be g(-27). Is v greater than or equal to d?
False
Let a = 3 - 2.7. Let d = -0.05 - 0.25. Let i = d + 0.4. Is a at most i?
False
Let t be (-3)/(2/(-4) - -1). Let g be (-1)/2 - 6/(-4). Let f = -2 + g. Which is bigger: f or t?
f
Suppose -16 - 8 = -4*g. Suppose 0 = -5*t + 2*t - g. Let h be (-1)/((1/2)/1). Is h greater than t?
False
Let p = 34 + -34. Let z(b) = -b**2 - 7*b - 4. Let a be z(-5). Suppose p = 3*x - a, 2*x = d - 0 + 2. Which is bigger: 1 or d?
d
Let g = -1 + 5. Let y be -1 + 0*2/g. Let d be (-2)/(-21)*(-49)/(-21). Which is bigger: y or d?
d
Let o(r) = r**3 + 15*r**2 - 17*r - 18. Let f be o(-16). Which is smaller: 1 or f?
f
Let q be (-80)/(-12) + (-4)/6. Suppose -q*c + 5*c = 0. Suppose c*d = 2*d. Is -2/3 < d?
True
Let c(w) = w**2 - 3*w + 3. Let u be c(2). Is 22 less than u?
False
Let n = 5 - 6. Which is greater: -7 or n?
n
Let d(x) = -x**2 - 8*x - 6. Let t be d(-7). Let g be -2 + 5 - 23/7. Is g at least t?
False
Let j = 6.73 + -1.71. Let q = j - 0.02. Is q at most as big as 2/5?
False
Let j = -82 + 2625/32. Let y be (-1 - -1)*(-29)/58. Which is greater: j or y?
j
Suppose 0 = 5*i + l - 1, 6 = -3*i - 5*l - 11. Let w = -168/11 - -2878/187. Which is smaller: w or i?
w
Let i = 0.052 - -7.948. Is 0 bigger than i?
False
Let a = -24 - -24. Is a greater than or equal to 2/3?
False
Let a = -4 - -4.4. Let n = a - 1.4. Let q be 7/(-12) - 2/(-6). Is n at least q?
False
Let z = 1.07 + -0.07. Let d = -5 - -9. Suppose 4*t = -4 - d. Which is greater: t or z?
z
Let j(t) = t - 4. Let b(p) = -p**3 + 9*p**2 - 8*p - 2. Let l be b(8). Let i = 0 - l. Let u be j(i). Is -2 < u?
False
Suppose 0 = -0*q + q - 9. Let w = -1/16 + -699/80. Let a = q + w. Which is smaller: a or 1?
a
Suppose 0*o - 3*o = 0. Suppose 0 = -o*g + g - 6. Is 3 not equal to g?
True
Let y = 38 - 79/2. Which is greater: -2 or y?
y
Suppose 4*y + y - 5 = 0. Which is bigger: y or 2/7?
y
Let i(y) = -y + 15. Let t be i(12). Suppose -4*h = t*u - 20, -2*h + 0*h - 12 = -4*u. Suppose q + j - 3 = 0, 0 = 2*q - j + 2*j - u. Which is smaller: 2/7 or q?
2/7
Suppose 0*h - h + 9 = 2*t, -4*h = 3*t - 11. Which is smaller: -3/10 or h?
h
Let u be (-60)/(-4)*(-3)/(-9). Which is bigger: u or 4?
u
Let o(u) = u - 11. Let l be o(14). Let p be l/2*(-24)/(-198). Which is smaller: -2 or p?
-2
Suppose 2*u - 6*u + 24 = 0. Let r be 18/(-6) - (-9 + 1). Is u < r?
False
Let b = -42 - -124/3. Let r = -8.96 + 9. Let t = r + 0.06. Is t greater than b?
True
Suppose -5*x - 3*b = -7*b - 9, 0 = x - 2*b + 3. Let t(n) = -n + 5. Let h be t(x). Let g = 204 - 3466/17. Which is smaller: h or g?
h
Let f be 1 + -1 - (-6 - -5). Let s = -2051/6 - -343. Is f greater than s?
False
Let i be -12 + 13 + 14/6 + -2. Which is smaller: 2 or i?
i
Let s be (1/(-3) + -1)*-3. Are s and 1 equal?
False
Let l = -1 + -1. Suppose 3*x + 4*r + 9 = -r, -x + r - 3 = 0. Which is smaller: l or x?
x
Let q be -1 - -2*(0 - 1). Let l be 0 - 1 - (q - -1). Let c be (4/6)/(l/(-3)). Is -1 not equal to c?
True
Let c = -29/170 - 1/34. Suppose 0 = -2*d - 4*k - 2 + 10, -3*d - k = -27. Let n be ((-2)/(-15))/(2/d). Which is smaller: n or c?
c
Let f be ((-8)/(-30))/(124/640). Let r = f - -9/31. Is 0 greater than or equal to r?
False
Let z(o) = o. Let t be z(-1). Let s be 0 + -3 + (-228)/(-100). Let c = -248/275 - s. Which is bigger: t or c?
c
Let p = -159/629 - -5/37. Let q be 0 - 2 - (-1 - 1). Are q and p equal?
False
Let w = 861194/243 + -3544. Which is smaller: w or -1?
-1
Let m = 2.3 - -0.7. Let f = 156 + -152. Is m at most as big as f?
True
Let o = 1.1 - 1. Let w = -42 - -28. Is o > w?
True
Let o = 3.5 + -3.5. Which is smaller: o or -114?
-114
Let c be ((-3 - 0)/9)/(260/(-15)). Which is bigger: 1 or c?
1
Let s = -200 + 195. Let k = -0.1 + 0.1. Is s less than or equal to k?
True
Let m be 0 + (-4154)/(-20) - 0. Suppose -2*t = b + 210, -4*b = -8*b + 2*t - 830. Let n = b + m. Do 1 and n have different values?
True
Let r be 4/(-14) - (-13)/21. Suppose 2*t + 4 = -8. Let z = t - -5. Is r not equal to z?
True
Let n(w) = w**2 + 16*w + 2. Let d be n(-15). Is d at least -14?
True
Suppose -3*x = -6*x + 9. Suppose -x*z + 5*s = -10, 2*z + 0*s 