 - 4*z - 7. Let f be a(5). Let q be (-2 - -12)*f/4. Which is smaller: q or -4?
q
Let u(d) = d - 3. Let m be u(4). Which is smaller: -1/36 or m?
-1/36
Let r = 1/67 + -70/201. Let u(z) = -z + 2. Let m be u(3). Let w be -1*(-2)/(-2)*m. Which is smaller: w or r?
r
Let x = 2 - 4. Suppose 0 = 5*d - 2*i + 3, 0*d + i + 5 = -4*d. Is d equal to x?
False
Let n be (-4 + -4 + 3)*2/8. Which is smaller: n or 0?
n
Suppose -5*o + 5*s - 45 = 0, -5*s + 10 - 1 = o. Let k be (2/o)/(4/3). Do k and -1/2 have the same value?
False
Let l = -130 + 113. Which is smaller: l or -2?
l
Let g(j) = j + 1. Let i be g(2). Suppose -l - 5*k = -0*l + 10, 0 = -i*l + 4*k + 27. Which is bigger: l or 7?
7
Let b(q) = q**2. Let u be b(-1). Which is smaller: 2/75 or u?
2/75
Suppose -2*m = -5*m - 3. Let c be (5 - 5) + -3 + 13/5. Are c and m equal?
False
Suppose 5*f + 11 = -3*r - 4, -2*r - 5*f = 15. Suppose -u + 1 = -r. Which is smaller: u or 0?
0
Let r = -7.3 - -8. Let g = -0.4 + r. Does 0 = g?
False
Let d(x) = -x**3 - 8*x**2 - 8*x + 12. Let s be d(-7). Let g be -19 + s - 0/(-2). Let t be -1 - (-1 + 2/10). Is g at most as big as t?
False
Let f = -1/156 - 253/78. Let b = f + 17/5. Let x = -19/260 + b. Which is greater: x or -1?
x
Suppose 0*j = j - 22. Suppose 0 = -4*y - j - 2. Is y < -6?
False
Let u = 170 + -191. Which is bigger: -22 or u?
u
Suppose 4*w - 3*i + i - 22 = 0, 17 = 3*w - i. Let q(o) = -o**3 + 5*o**2 + 5*o + 8. Let c be q(w). Suppose 5*p + l + 7 = p, -c*p - 14 = 4*l. Is -1 > p?
False
Suppose -f + 4 + 2 = 0. Let k = 10 - 2. Let p be (-18)/24 + f/k. Is -1/3 at most as big as p?
True
Let z = -151 - -157. Is z greater than -8?
True
Let x be 4/(-14) + 303/(-91). Let d = x + 4. Let w = d + -12/65. Which is greater: 0 or w?
w
Suppose 0 = u - 2*u + 7. Suppose -3*i = -t + 6 - 0, -5*t + 3*i = -30. Does t = u?
False
Suppose 3*i - 2*d - 5 = 13, 2*d + 26 = 5*i. Which is smaller: 6 or i?
i
Let r = 1.2 - 1.22. Let w = 627/5 + -125. Is r smaller than w?
True
Suppose 2*w + 4 = -4. Is 5 at least as big as w?
True
Let m be 1/2 + 2/(-4). Let o = 2 - 5. Let n be (o/(-2))/((-39)/4). Is n <= m?
True
Let t = -10 - -3. Is t smaller than -8?
False
Let q(z) = 8*z**2 + z. Let i be q(-1). Let r(a) = -a**3 + 8*a**2 - 9*a + 9. Let u be r(i). Let k = -5 + 0. Is u < k?
False
Let t be 6*(10/4)/5. Suppose 4 - 19 = t*p. Is p greater than or equal to -2?
False
Let v be (9/(-18))/((-2)/(-80)). Which is smaller: v or -21?
-21
Let a = 5 + -6.1. Let x = a + 1.17. Let t = x - 4.07. Which is smaller: -2/7 or t?
t
Let h(y) = -y**3 - 5*y**2 - 6*y - 4. Let d be h(-4). Let t be (d/3)/(8/12). Does 1 = t?
False
Suppose 4*k - 4*n = -12, k = -2*k + 5*n - 15. Let o be (1 + (-152)/154)*2. Let h = o + -164/385. Which is smaller: k or h?
h
Let k(o) = o**3 + 15*o**2 + 13*o + 6. Let s be k(-14). Let a be -2 + s/12 - 0. Which is bigger: a or -2?
a
Let j = -0.54 + 0.6. Which is smaller: 0.3 or j?
j
Let o = 0.063 - -36.937. Which is bigger: o or 0?
o
Let c = -216 + 215. Suppose -s - 4*s = 0. Which is greater: s or c?
s
Let a = 27 - 18. Let x = a + -8.91. Let v = x - 5.09. Which is bigger: v or -1?
-1
Suppose 4*i = 4 + 4. Suppose -v - 23 = -4*w, i*w + 2*w - 3*v = 21. Let k be 34/(-42) - (-4)/w. Which is greater: 0 or k?
0
Let m = -13 - -13. Is -12/19 at least m?
False
Let v(a) = -a - 6. Let d be v(-5). Is 1/19 greater than d?
True
Let y be (-11)/((-11)/(-12)) - -4. Suppose -4*h = 14 + 14. Is h <= y?
False
Let z be 3/6*78/21. Which is bigger: 1 or z?
z
Let z = 42 + -37. Is z smaller than 4?
False
Suppose -2*y + y - 8 = 0. Suppose -v - v = -r + 9, -3*r = 5*v + 50. Is v smaller than y?
False
Suppose 6 = 4*p - 7*p. Let i be (-1)/p*0/1. Let y = 83 + -335/4. Is y smaller than i?
True
Let k = -11 + 7. Let d be (k/18)/(-1 + 0). Which is bigger: -1 or d?
d
Let c = 63.76 - 63. Do -1 and c have the same value?
False
Let o(i) = 8*i + 3. Let b be o(-8). Which is smaller: b or -60?
b
Suppose 203 - 59 = -4*o. Is o smaller than 0?
True
Suppose 0 + 6 = 3*t. Is t at most 15/7?
True
Let l = 13381/4 - 3317. Let a = l - 28. Is 0 smaller than a?
True
Let l(v) = -v - 7. Let r be l(0). Is -6 >= r?
True
Let a be (3 - (-28)/(-20)) + -1. Suppose 0 = -m + 1 + 1. Is a at most as big as m?
True
Suppose 2*c - 6 = -5*r - 41, c + 2*r + 15 = 0. Is -5 less than c?
False
Let d = -0.057 - 0.043. Is d not equal to -2/19?
True
Let n(w) = w**2 + 10*w - 9. Let g be n(-11). Let j be (54/15)/((-6)/(-20)). Suppose 3*r = -r + j. Is r at most g?
False
Suppose -3*p - 4*t + t = 39, -3*p = -5*t + 63. Is -14 at least p?
True
Let b be (-18)/4*4/(-6). Let y = -3 - -2. Is b < y?
False
Let d be ((-6)/9)/(2/(-30)). Which is bigger: 1 or d?
d
Suppose 5*c + 200 = -3*c. Which is greater: -26 or c?
c
Let n = 2/239 + 2621/956. Is 4 at least n?
True
Let m = -3.03 - -0.03. Let x = 3 + m. Suppose 0 = 2*u + 2. Is x bigger than u?
True
Let x be 7*2*(-27)/(-18). Which is greater: 20 or x?
x
Let q(h) = -h + 3. Let u(f) = 2*f - 3. Let w(p) = -3*q(p) - 4*u(p). Let n be w(2). Is n smaller than -7?
False
Let o = -12 - -6. Let b = 1 - o. Let f be 0 - -1 - 1/1. Are b and f non-equal?
True
Suppose -3*z - 58 = -160. Suppose 0*x = 2*x - z. Which is bigger: 16 or x?
x
Let k = 3.8 + -50.8. Let z = k + 44.9. Let q = z - -2. Which is smaller: -3 or q?
-3
Let u(h) = h**2 + 4*h - 1. Let s be u(-3). Let o be (-13)/5 + 3 - (-27)/(-5). Do o and s have the same value?
False
Let r be 6/231*9/(-27). Is -1 smaller than r?
True
Let z = -214.6 + 211. Which is smaller: -1/2 or z?
z
Let p = -1 - 1. Let a be (0 - p)*4/(-28). Which is smaller: a or 2?
a
Suppose -5*t = -4*a + a + 11, t + 5*a - 9 = 0. Suppose -3*r - 7 = 11. Let n be (-24)/(-7) + r + 3. Is n at least t?
True
Let l = -9 - -7. Let v = l + 1.9. Is v bigger than -2/23?
False
Suppose -5*a + 5*d + 225 = 0, a - 3*d - 14 = 41. Let m be (8/(-10))/((-16)/a). Which is smaller: m or 5/7?
5/7
Let x be 5/(-10)*(-4)/(-3). Are x and -0.1 equal?
False
Suppose 4*b = -3*i - 2 + 1, -3*i + b + 4 = 0. Let w be (2 + -3)/(i*-1). Let c = 0 - w. Which is bigger: -2/3 or c?
-2/3
Let o = -30 + 50. Suppose 0 = -5*h + 3*h + o. Let u be (-3 + h/3)*-15. Which is smaller: -6 or u?
-6
Let t be (1 + 1 - 16)*-1. Do -2/3 and t have the same value?
False
Suppose -14 = -3*f - 4*s, f - 3*s + 2*s - 7 = 0. Suppose 0 = -3*i - 5*o - f, -5*o + 3 = -4*o. Is -8 equal to i?
False
Let n be (-5)/((-15)/(-2))*-3. Suppose 0 = 2*u - u - n. Suppose 4*r - 2*k - 2 = 0, k + 8 = -2*r + 19. Does u = r?
False
Let m = -180 - -139. Is -40 at least m?
True
Let x(h) = -36*h**3 - 2*h**2 - 2. Let w be x(-2). Suppose -w + 26 = -3*s. Let y be (-2)/s*-3*-4. Is 0.2 > y?
True
Let k be (3/2)/((-15)/(-40)). Suppose 0 = -3*r - 5*m + m + 23, -k*m = 2*r - 22. Suppose 0 = n + n - 4. Is n > r?
True
Let k = -2 + 1.94. Let l = 0.36 + k. Let x = 6 + -16/3. Is l less than x?
True
Suppose -2*v = -2*w, -2*w = 4*v - 0*w - 30. Suppose v*m + 2 = 7*m. Let x = -169/2 + 88. Is x at least as big as m?
True
Let y be 62/16 + (12/2)/48. Is y at most as big as 10?
True
Let z(g) = -g**3 - 3*g**2 + 4*g - 1. Let s be z(-4). Let a be (4 + -7)*4/6. Let w be ((-1)/a)/((-4)/8). Are s and w non-equal?
False
Let d be (-202)/3*(-1)/(-2). Let r = d - -33. Which is smaller: -1 or r?
-1
Let a = 196 + -199. Which is smaller: -21/10 or a?
a
Let l = 11 + 4. Is 16 <= l?
False
Let v = 1094 + -49228/45. Which is bigger: -1 or v?
v
Let o be (-1 - (3 - 5))*-3. Suppose t = -4*g + 10 + 8, 8 = -4*t. Let m = o + g. Is 2 greater than m?
False
Let f = 9/20 + -383/940. Which is smaller: f or 0?
0
Suppose 9*z - 12 = 5*z. Suppose z*m = 25 + 11. Which is smaller: m or 13?
m
Let m = -4607 - -4626.91. Let d = m - 20. Let p = -0.01 + d. Which is bigger: 4 or p?
4
Let p = -1 - -1.4. Let t = 0.8 - p. Which is bigger: -0.2 or t?
t
Let y = 66 - 45. Which is smaller: 22 or y?
y
Suppose 3*v = m - 0*m - 12, -v + 5*m - 4 = 0. Let f be (v/(-5))/((-3)/(-15)). Let c be (-2)/f*(2 + 0). Which is smaller: 1 or c?
c
Let m = -7735 + 115969/15. Let t = -17/5 - m. Which is greater: -2 or t?
t
Let x = -1.6 + -0.4. Is x less than -15?
False
Let x be 9*1 + 15/(-5). Let n be (1 + 2)/x*-2. Which is bigger: n or -9/7?
n
Let x be (-3)/6*-4 + 3. Suppose -x*b = -b. Suppose -1 = j - b. Which is smaller: j or -1/2?
j
Let t(w) = -2*w - 3*w + 2 + w. Let n be t(3). Let d be 4/(-10) + 26/n. Which is bigger: -4 or d?
d
Le