. Which is smaller: 1 or o?
o
Let r = 45 + -45.1. Is r equal to 0.014?
False
Suppose -6*q + 7*q = 0. Let b be (3/(-24) - -1) + q. Is b less than 0?
False
Let h be (-9)/(-3) + (-5)/2. Let n = 0.3 - 0.1. Let m = n + -0.5. Is m > h?
False
Let b = 10 + -11. Let f = 8 - b. Which is greater: f or 0?
f
Let t = 1.002 - 0.002. Let k = -1.3 + 6.3. Which is smaller: k or t?
t
Let k(f) = -f**3 + 2*f**2 + f + 2. Let b be k(2). Let m(d) = -d**2 - 10*d - 4. Let o be m(-9). Which is smaller: o or b?
b
Let u(x) = -x + 5. Let r be u(7). Let h = r - -2. Which is smaller: h or -1?
-1
Suppose o - 4 = -0. Let k be (-6)/(((-9)/(-12))/(-1)). Suppose 3*n - 5*q + 1 = -9, -o*q + k = 4*n. Which is bigger: n or 2/5?
2/5
Let y = -669 - -7371/11. Let q be 208/110 - 3 - -3. Let i = y - q. Is i at most as big as 0.1?
True
Let q be 78/(-8) + 3 - -6. Which is greater: -4 or q?
q
Let r be (-10)/8 + 4 + -1. Which is smaller: 1 or r?
1
Let j(n) = -n - 2. Let w be j(0). Suppose -4*m = -m. Let c = m - 1. Which is bigger: c or w?
c
Let y = 13 + -22. Does -9 = y?
True
Let q(m) be the third derivative of m**5/12 + m**4/12 - m**3/6 - 3*m**2. Let d be q(-2). Suppose d = -2*t - t, 0 = 4*c - 2*t - 6. Which is smaller: 0.2 or c?
c
Suppose -5*f - 33 + 3 = 0. Let w(v) = v**2 + 6*v. Let r be w(f). Let k = 117/4 + -29. Is r less than or equal to k?
True
Let t be (-6)/9 - 4/(-6). Let z be 0 - ((t - -1) + 1). Let k be 1/4*z*-2. Which is greater: 1/4 or k?
k
Let q(s) = s**3 + 3*s**2 - 5*s - 3. Let r be q(-4). Let a(g) = -7*g + r + 3*g + 3*g. Let j be a(-1). Which is smaller: j or 3?
j
Suppose 0*r = 4*r - 16. Suppose r*c - l - 59 = c, -4*l = -4*c + 68. Let o be c/(-35)*2/3. Which is smaller: o or -1?
-1
Let u(v) = -v**3 + 3*v + 1. Let j be u(-2). Suppose 12 = 6*d - j*d. Does 3 = d?
False
Let f be -2 + 1 + 1124/1128. Which is smaller: f or 1?
f
Let j = -4 + 1. Is j greater than or equal to 2?
False
Let z = -1 - 0. Let b = -44 + 25. Let y = b - -96/5. Which is greater: z or y?
y
Let y = -7 + 4. Let o = 168 - 176. Is o greater than y?
False
Let w be ((-12)/(-40))/((-8)/10). Suppose -3*h + 6 = -12. Suppose -4*s - 13 = -3*d, -h*d = -3*d + 2*s + 11. Is d less than or equal to w?
True
Let o = 4 + -2. Let s = 808 - 3259/4. Let r = s - -7. Is o < r?
False
Let q = 0.11 + -0.31. Which is smaller: 4 or q?
q
Let p = 39 + -98. Which is bigger: p or -1?
-1
Let s = -2.881 - 0.019. Let d = s + -0.1. Is d bigger than -3?
False
Let a = -2/1111 + 2264/23331. Let r be 4/(-3) - (-3)/9. Is a equal to r?
False
Let u = 67 - 70. Does u = 18?
False
Suppose -5*b + 0*b = -10. Is b at most as big as 4?
True
Let v be (-2)/(-3 - 24/(-4)). Is -1/3 less than v?
False
Let r = -0.34 - -0.24. Is -3 != r?
True
Suppose g + 0 = 3. Let v be ((-420)/69 - -3) + g. Which is smaller: v or 1?
v
Let x be 36/84*(3 - 0). Which is smaller: 1 or x?
1
Let c = 817/9 - 91. Is 0.5 equal to c?
False
Let v(y) = -2*y**2 + 3*y. Let w be v(2). Is w not equal to -2?
False
Let o = -2.12 + -0.18. Let d = -2.2 - o. Which is smaller: d or 1/8?
d
Let t be (-7)/(-3) - (-17)/(-51). Suppose -t*o - 5*s = 21, 0*o - 23 = o + 5*s. Which is smaller: 0 or o?
0
Let o = -19 - -18.8. Which is greater: 9 or o?
9
Let o = -1/98 + -55/98. Is o bigger than -2/13?
False
Let i = -79.92 - -80. Is i at most -3?
False
Let x(c) = 2*c**2 - 2*c + 4. Let i be x(4). Let h be (3/(-34))/((-7)/i). Let f = -5/34 - h. Which is smaller: f or 1?
f
Suppose -2*g = -0*g - 12. Let k = -32 + 36. Which is greater: k or g?
g
Suppose j + 4 = f, -2*f - 2*j + 10 = -3*j. Suppose h - f = 4*h. Do -2 and h have the same value?
True
Let i = 5 - 6. Which is bigger: i or 1/18?
1/18
Let k(b) = b**3 - 6*b**2 - 9*b + 13. Let l be k(7). Is l not equal to 2/9?
True
Suppose -2*n + m + 2 = -0*m, -3*n = 4*m + 19. Let g be n - 0*3/9. Which is greater: g or -2?
g
Let v be (1011/(-138) - -7)*(-2)/3. Which is smaller: 1 or v?
v
Suppose 4*t - t + 10 = 4*b, 3*b + 4*t = -5. Let j be (2*1)/(-35 + 30). Which is greater: j or b?
b
Suppose -4*v = v - 10. Suppose 3*f - 26 = 5*o, -3*o - 10 = 5*f + v*o. Which is bigger: f or 2/3?
f
Let u = 2.1 + -2.2. Is -2 smaller than u?
True
Let y(z) = 2*z**2 - z. Let b be y(1). Suppose 2*h + 5*t - 17 = 0, -3*t - 2 = 4*h - b. Which is bigger: h or -3?
-3
Let s = 151/4 + -38. Let z = -112/2147 - 6/113. Let b = z - 15/38. Is b greater than s?
False
Let a(u) = -u**2 + 17*u. Let v be a(17). Is -1/2 at most as big as v?
True
Let r be (4 - (-2 + (-39)/(-6)))*14. Is 5/2 less than r?
False
Suppose 5*k - 37 + 7 = 0. Is 6 less than k?
False
Let m = 0 + 0. Suppose m*l + 3 = -3*l. Let i = -6472/11 - -588. Which is smaller: i or l?
l
Suppose 0 = -4*i - 5*d + 25, -2*i = d - 3 - 2. Suppose i = 3*c + 4 - 1. Is c != -2/17?
True
Let u be 0 + 6/90 + (-4)/10. Which is smaller: 0 or u?
u
Suppose 14 = -5*r + 4. Let i(m) = -m**3 - 7*m**2 + 59*m - 13. Let h be i(-12). Which is greater: r or h?
h
Suppose -3*i + 22 = -i. Let d = i + -8. Are d and 2 non-equal?
True
Let h = -21 - -103/5. Which is smaller: 2 or h?
h
Let t(w) = 4 + 5*w - w**2 + 4*w + 2*w**2. Let j be t(-9). Suppose 0 = 4*y + 2*x - 6, -j*x + x + 15 = 0. Which is greater: -3 or y?
y
Suppose 43 + 32 = 3*v. Let y = v + -14. Are 12 and y unequal?
True
Let z = -8 + 0. Let v = 8 + z. Which is bigger: v or -0.1?
v
Let p = -12284/39 + 315. Is p greater than -1?
True
Let a(z) = -z**3 + 3*z**2 + z - 4. Let d be a(3). Let j be ((-12)/3)/((-52)/(-10)). Which is smaller: d or j?
d
Let b = 3 + -5. Let g be 1 - 5/1 - -6. Let o be (4 + b)/(g/4). Is o greater than 3?
True
Let w(d) = -4 + 2*d**3 + 6 - 4*d**3 + 2*d - 2*d**2. Let u be w(-2). Are u and 6 non-equal?
False
Suppose -l + 16 = x - 0, 28 = 2*l + 4*x. Let t be (l/24)/(3/(-1)). Is t less than 11?
True
Let k(v) = v**2 - 4*v - 6. Suppose -2*b + 3*j = -16, 3*j + 0*j + 26 = 4*b. Let c be k(b). Let q = -0.4 - -0.2. Is c at least as big as q?
False
Let q(b) = b**2 + 10*b - 18. Let l be q(-14). Let n be (-57)/l + (-17)/(-11). Is 1 at least n?
True
Let b(a) = -a**3 + 4*a**2 + 4*a + 6. Let s be b(5). Let f be (s/(-2))/(-1)*2. Suppose n - 5*v = -0*n + 13, n + 2*v + 1 = 0. Is f bigger than n?
False
Suppose -2*n = 4*r, -r - 6 + 1 = 0. Let k = -15 + n. Which is smaller: k or -4?
k
Let j = 0.1 - 0.2. Let a = -0.78 + -3.92. Let n = a - -5. Do n and j have the same value?
False
Let j = 55 - 35. Which is smaller: j or -1?
-1
Let c = -1 - -2. Let v = 16 - 16.07. Let w = v - 0.93. Which is bigger: c or w?
c
Suppose 2*m - 28 = 4*t, 2 = -3*m - 5*t - 0. Is 7 <= m?
False
Suppose -4*v + 78 = 3*y, y - 2*y - 34 = -2*v. Let m = v - -1. Which is smaller: m or 18?
18
Let f = -5 - -7. Let r(x) = x**3 - 5*x**2 - 7*x + 10. Let l be r(6). Which is smaller: l or f?
f
Let v = 820824/263 - 3121. Which is bigger: v or 0?
v
Suppose 8 = 3*m - 0*h + 4*h, 0 = -m + 4*h - 8. Suppose 3*k = k. Are k and m nonequal?
False
Let t be ((0 - -1 - 2)/(-10))/1. Is 0 at least as big as t?
False
Let s = -91/4 + 23. Is 1 less than s?
False
Let u = 61/42 - 305/14. Let l = 21 + u. Is 0 != l?
True
Let s be 36/21 + 0 + -2. Let y = 27.9 - 30. Let d = 2 + y. Is d at most s?
False
Let v(h) = -h**2 + 1. Let s be v(3). Let r = -5 - s. Which is bigger: r or 1?
r
Let g = -6008/11 + 546. Suppose -18 = b + b + 4*d, 3*d + 10 = -5*b. Which is smaller: g or b?
g
Suppose 4*k + 16 = -2*s, -k = -4*s + s + 4. Suppose 0 = 5*a - 10, -4*a = 5*u - s*a + 2. Suppose 2*g + 6 = -g. Are u and g unequal?
False
Let l = -26.43 + 26. Which is bigger: -0.1 or l?
-0.1
Let i(x) be the third derivative of x**4/24 - 7*x**3/6 + x**2. Suppose 0 = 5*z - 26 - 14. Let y be i(z). Which is smaller: -1/3 or y?
-1/3
Suppose -l = -2*z - 3, 0 = -4*z + 2*z. Suppose -l*d + 20 = -5*o + 2*d, -2*o = -4*d + 12. Which is smaller: -5/7 or o?
o
Let v(h) = 3*h + 3. Let t(l) = 2*l + 2. Let n be t(-2). Let m be v(n). Let y = 3 - 7. Which is smaller: m or y?
y
Let n = -1 + 1. Suppose 4*f - 3*t = -t - 166, n = -f - 3*t - 45. Let y = f - -464/11. Which is bigger: 0 or y?
y
Let b = -55.1 - -55. Is b less than or equal to 0.3?
True
Let p(o) = -o**3 - 3*o**2 + 4*o - 3. Let w be p(-4). Let y = 2 + w. Let n be (8 - 7)*1/(-7). Which is smaller: n or y?
y
Let z = -1/51 + 163/510. Let g = -1/70 + z. Is g less than or equal to -3?
False
Let k = 73/2 + -349/10. Which is greater: k or 2?
2
Suppose 0 = 3*z + 4*c + 6, -4*c + 1 = 2*z + 5. Suppose -j 