
False
Let b = 0.119 + -0.119. Let q be 1/(3/8) + -2. Is b < q?
True
Let a(q) = -q**3 + q**2 + 1. Let o(m) = 3*m**3 - m**2 + m. Let b(n) = 2*a(n) + o(n). Let s be b(0). Let y = -167 - -168. Which is bigger: y or s?
s
Suppose 0 = -6*y + 7*y - 1. Let b be (-9)/(-4)*(-2)/(-3). Is y smaller than b?
True
Suppose -4*x + 5*k + 20 = -8*x, 5*x + 2*k = -25. Suppose 7*t + 12 = 3*t. Which is bigger: x or t?
t
Let m = -0.2 - -0.2. Let t = -29 + 27.9. Let v = 0.1 + t. Is m smaller than v?
False
Let f be (5/(-2) + 3)/((-1)/16). Which is smaller: -3 or f?
f
Let q = -0.14 + -1.36. Let w = q - -1.5. Which is smaller: -2 or w?
-2
Let o = 35 + -32. Which is bigger: o or 6?
6
Suppose 9*w = 3*t + 4*w - 2, -2*t - 5*w - 7 = 0. Let v = 57/4 + -14. Is v not equal to t?
True
Let m = 1.76 - 6.76. Which is bigger: 1.4 or m?
1.4
Suppose f = -f + 36. Suppose -4*b = f + 2. Are -21/4 and b nonequal?
True
Let o = -17.1 + 17. Which is greater: 3/8 or o?
3/8
Suppose 34 = 5*t - d, -5*t = -2*t + d - 22. Let y = -9 + t. Let c = y - -3. Is -2/7 < c?
True
Let q(j) be the third derivative of -j**4/12 + j**2. Let i be q(-3). Let d = i + -8. Which is greater: -1/2 or d?
-1/2
Suppose -3*w = 4*g - 4*w + 2, 5*w = 10. Let l be (-20)/(-3)*6/(-5). Let a be (-2)/l + 38/(-88). Is g >= a?
True
Let i = 2 - 3. Which is bigger: i or -3?
i
Let d = 0.013 + 0.987. Which is smaller: d or -2.2?
-2.2
Let k be -1*-4*3/(-24). Is k equal to 0.2?
False
Let v = 3.06 - 3. Let z = v - 2.06. Which is smaller: 3 or z?
z
Let f = -0.4 + 0.4. Let m = -1 + f. Let w = -0.1 + 0.3. Which is smaller: w or m?
m
Let m be (-2)/9 - 49/(-126). Which is bigger: m or 1?
1
Suppose 5*t - 5*d = -4 - 61, t + d + 3 = 0. Let g = 25/3 + t. Which is bigger: g or 2/3?
2/3
Let d be 10/4*36/45. Suppose -v + 10 = -d*v. Is -11 greater than or equal to v?
False
Let n be (-12)/(-1) + 6/(-6). Suppose 0 = -5*h + n - 1. Suppose 0 = -h*o + 1 - 3. Is o greater than or equal to 0?
False
Let s = 2 - 4. Let v be ((-1)/7)/(s/(-8)). Is v less than -1?
False
Suppose 0 = -2*g + 5*o - 59, g + 0*g = -3*o - 13. Which is greater: -1 or g?
-1
Suppose 0*z - z = g + 5, 25 = -4*g - 5*z. Let c = -1 - -1. Does c = g?
True
Let x be ((-6)/(-4))/((-1)/2). Let y(m) = -m**2 + 5*m - 3. Let l = 12 + -7. Let q be y(l). Is q greater than x?
False
Let q be 12/16 + (-3 - 10/(-8)). Which is smaller: q or -3/43?
q
Suppose 0 = -b + 2*b. Suppose b = 3*p - 2*p + 1. Let t be (p + 0)/(4/2). Which is greater: -2 or t?
t
Let q be (-3)/1 + (-7)/(-2). Let i = 0.04 + -0.34. Is q at least as big as i?
True
Let p = -2 + 5. Suppose -p*n = -n - 8. Which is greater: 0 or n?
n
Let t(j) = j**2 - 4*j - 1. Let d be t(4). Let r(u) = u**2 - 4*u. Let b be r(3). Which is bigger: b or d?
d
Let k(d) = -d**3 + 8*d**2 - d + 11. Let h be k(8). Suppose h*g - 5*b - 5 = 0, 4*g = -2*b - 3*b - 5. Let j = 109/3 - 36. Is g smaller than j?
True
Let q = 2/7 + -8/77. Which is smaller: q or -1/7?
-1/7
Let a = -0.07 + -0.13. Is -1 greater than a?
False
Let q = -2 + 12. Which is smaller: q or -1?
-1
Suppose -16 = -g - 3*g. Suppose -g = -u + 5*u. Suppose l + 4 = -l. Which is smaller: l or u?
l
Suppose -g - 2*o - 2 + 9 = 0, 2*g + 5*o - 16 = 0. Which is bigger: 2 or g?
g
Let a(c) = -c**2 + 7*c - 4. Let i be a(6). Let y = i + 6. Which is smaller: 7 or y?
7
Let z be (0/(1 + 2))/2. Let p be 1/(-1) + (-2812)/(-2198). Let k = p - -1/157. Which is smaller: k or z?
z
Let o = 244 - 2198/9. Is -1 <= o?
True
Let l be (-3)/(12/8) + 4. Suppose 0 = -5*t - l + 22. Which is smaller: t or 3?
3
Let l = -32.2 + 28. Let b = l - -4. Which is smaller: b or 4?
b
Let l = -106 - -105. Is l smaller than -2/9?
True
Let s = -231 + 2538/11. Let m = -4/11 - s. Which is greater: -1 or m?
m
Let v = -2.06 + 2. Let o = -1.06 - v. Is -1 < o?
False
Let j be 6/(-4)*1*-2. Suppose -s + j*s = -4. Suppose -i - 9 = -2*o, 2*o + o = 5*i + 17. Which is smaller: s or i?
s
Let a(o) = -6 + 2*o**2 + 7*o + 13 - 3*o**2. Let q be a(8). Which is greater: q or 0.1?
0.1
Suppose 0 = -2*g - 0*g - v, 0 = -5*g - 3*v. Let z be 116/1914 - (1 - (-1 + 2)). Is z >= g?
True
Suppose 6*i - 2*v - 34 = 3*i, 0 = 2*i + v - 32. Is 15 greater than or equal to i?
True
Let j be (-8 + -1)/(3/2). Let z(m) = m**2 + 6*m + 1. Let t be z(j). Let r = 3 + -3. Which is smaller: t or r?
r
Let c be 75/(-20) + 2/(-8). Let l be 54/24 + c/2. Are -0.4 and l equal?
False
Let q = 0.7 + 0.3. Let h = 0.546 + 0.354. Is h less than q?
True
Let d = 21 - 23. Let u be 1/5 - 14/35. Which is greater: d or u?
u
Let d = 2 + -1. Let n be -4*(-1 + (-178)/(-48)). Let o = -11 - n. Which is smaller: o or d?
o
Let d be (-13)/4 - 4/(-16). Suppose -4*t = 0, 3*j = -2*j - t. Let k = d + j. Do -4 and k have different values?
True
Suppose 0 = 3*p + 3*g + 3, -4*g + 16 = -0*g. Let h(r) = -r**2 - 5*r - 3. Let y be h(p). Are -1 and y nonequal?
True
Let f be -6 + 0 + 1 + 0. Let b be f/(-3) - (-3)/9. Let r be 1 + 1 - (b + 1). Is r >= -1/7?
False
Let k be 2/(-8) - 3/4. Let d be ((-8)/(-6))/(182/21 - 8). Is d at least as big as k?
True
Let d(k) = k + 6. Suppose 3*g = -g - 32. Let p be d(g). Let y = 1/96 - 145/96. Is y at least as big as p?
True
Let u be (-1)/12 - 2/(-6). Let k = -194 + 197. Which is bigger: u or k?
k
Let r(u) = -u + 6. Let b be r(4). Let x = 0.2 - -0.8. Let d = x - 1. Which is smaller: b or d?
d
Let y(i) = -i**2 + i + 8. Let s be y(0). Let x = s - 15. Let t be -1 - -1 - (-3)/x. Which is smaller: t or -1?
-1
Let w = 31 + -152/5. Let k be 0 + 1 + (3 - 3). Which is greater: w or k?
k
Let h be 3 + (1 - 15/6) - 1. Are 46 and h non-equal?
True
Let x = -0.057 - 20.943. Which is smaller: 3 or x?
x
Let z = -2 + 3. Let i be (-53)/(-12) - z/3. Let o = -19/4 + i. Do o and 0 have the same value?
False
Let x be 4/(-14) - (-37)/7. Suppose -y - 2*a + a = 4, -3*y + x*a = -12. Let r be 12/(-16) - (2 + -2). Which is bigger: r or y?
r
Let f = -2 + 2. Let z = 15 + -9. Which is smaller: f or z?
f
Suppose 0 = 2*u + d + 2*d + 10, 2*d = -2*u - 8. Let y = 1 - 1. Suppose j + j + 4 = y. Is j bigger than u?
False
Let u(w) = 10*w**2 + w + 1. Let j be u(-1). Let m = j + -13. Suppose -4*r + 20 = -9*r. Which is smaller: m or r?
r
Let f(s) = -s**2 + 5*s + 1. Let n be f(5). Suppose 0 = 5*d + 4*w - 3, 0 = -5*d + d + 3*w + 21. Is n at least d?
False
Suppose -5*d + 11 = 4*t, -2*t + 5*t + 2*d = 3. Suppose -c + 4*c + 4*j - 16 = 0, 4*c - 12 = 4*j. Let r be c/(-10)*5/17. Which is greater: t or r?
r
Let j = 24.3 - 28. Let t = -0.3 + j. Let w = -3.9 - t. Is w greater than or equal to -1?
True
Suppose 3*s - 5 = -3*k + k, -4*s = -4*k. Let i(o) = -o**3 - 2*o**2 - 2. Let w be i(-3). Let g = w - 5. Is s >= g?
False
Let f = -3 - -2. Let x(n) = -n**2 - n. Let l be x(-2). Which is smaller: f or l?
l
Let p = 0.43 - -18.57. Let d = p + -18. Is d at most -0.1?
False
Suppose -406 - 104 = -10*y. Which is greater: 50 or y?
y
Let l = 150 - 445/3. Let d = -3 - -5. Which is smaller: l or d?
l
Let a be (-9)/3 + (2 - 19). Let y = 5 + -4. Which is greater: y or a?
y
Let s = 5 - 2. Suppose -c - 2 - 4 = -m, 5*m - s*c = 28. Which is smaller: 4 or m?
4
Let o(n) = n**2 + 6*n - 6. Let j be o(-7). Let q be 0 + (0/j)/2. Let h(r) = r**2 - 4. Let w be h(q). Which is bigger: w or -6?
w
Suppose 4*k - 3*s = 0, s + 22 = -2*k - 3*s. Let u = -1 - k. Let h = u + -1. Is 1 > h?
False
Suppose o + 5*d + 23 = 2*o, 5*o + 5*d = 25. Suppose -3*c - 15 = -o*c. Which is smaller: 9/4 or c?
9/4
Let m = -2 - -1. Let q = -63 + 312/5. Let k = q + 1/5. Does m = k?
False
Let m = -135121/2162 + -2/1081. Let r = -33 - m. Let q = -29 + r. Is 0.2 not equal to q?
True
Let n(a) = -a**3 - 3*a**2 + 3*a - 3. Let q be n(-4). Let z be -1 + (q*-12)/3. Is z greater than -5?
False
Suppose -3*t + 22 = -2. Let v = 125 + -117. Is v <= t?
True
Suppose 4*j - 12 = -5*w, w + 0*w - j = 6. Let b be 1/4 - 33/(-12). Suppose b*d = d - w. Is d >= -2?
True
Let i = 25 - 12. Is i smaller than 14?
True
Let y be 0 - (5 - 5)/(-3). Which is smaller: 3/11 or y?
y
Let t = 841/633 + 1/211. Let u be 1 + 1/2*-2. Which is smaller: u or t?
u
Let z = 19944/69617 - 12/1619. Is z greater than or equal to -1?
True
Let o = -4.9 - -5. Let k = -3.9 - o. Is k bigger than -0.3?
False
Let c = -17/5 + 21/5. Let x = -0.4 + 0.6. Is x > c?
False
Let l = -5 + 9. Suppose -3*z - l = 2*o, -z + 4*z + o = -2. Is 3/7 bigger than z?
True
Let g be 11/(-5) - (-2 - 0). Let d(m) =