3. Let h be -2 + 3 - 0/2. Let m = h - 1. Is x at most as big as m?
True
Let x = -29 + 29. Which is bigger: x or -4?
x
Let u = -10 + 13. Suppose 0 = u*b - g + 2, -b + 7 = 2*g + 3. Is b smaller than -1/3?
False
Let b = 353 - 3886/11. Which is smaller: 0 or b?
b
Let z = -70 - -116. Suppose -5*o = 2*m + z + 202, m = -5*o - 249. Let f = o - -251/5. Which is smaller: f or -1?
-1
Let w = -56 + 66. Which is smaller: w or 28/3?
28/3
Let s = -1/92 + -87/460. Suppose 3*r - 3 = 3. Suppose -u - r*u = 0. Which is bigger: u or s?
u
Let x(a) = 7*a**3 + 2*a**2 + a. Let k be x(-1). Let i be 32/84*k/(-56). Which is smaller: -1 or i?
-1
Let y be ((-3)/45)/(19/(-3)). Let c = 848/665 + y. Let i = c - 20/21. Are 0 and i equal?
False
Let m(k) = -k**3 + 5*k**2 - 4*k + 1. Let s = 9 + -2. Suppose -s = -4*n + 9. Let l be m(n). Is 4 > l?
True
Let h = 40 - 20. Let n = 18 - 26. Let c be 6/n - (-7)/h. Is 0.1 < c?
False
Let g(m) = -3*m - 22 + 13 + m. Let q be g(-6). Are q and 3 equal?
True
Let v = 1345/66 - -65/22. Let s = v - 23. Which is smaller: s or 1?
s
Suppose 0 = -b - 4*c + 5, 5*c - 2 - 3 = -b. Suppose b*w = q + 1 + 14, -5*q + 33 = 2*w. Let r = w + -3. Is 1 > r?
False
Let x = 17 - 17.09. Let k = x + -1.91. Let t = -2 + 3. Which is smaller: t or k?
k
Let c = 17 - -4. Let i = c - 25. Is -30/7 at most i?
True
Suppose 3*b - 10 = -2*b. Suppose 3*n + b + 4 = 0. Is n at least 2?
False
Let k = 0 + -3. Is k at most as big as -3?
True
Let f be ((-5)/(-75))/(74/3036). Let w = -42/37 + f. Is 3 less than w?
False
Let y be 4/((-16)/(-44))*-3. Let b be (y/(-110))/(6/5). Is 1 less than b?
False
Let b(s) be the second derivative of s**5/20 + 2*s**4/3 + s**3/3 + 6*s**2 + 2*s. Suppose 0*g - 3*g = 5*p + 39, 2*g + 4*p = -28. Let l be b(g). Is -5 equal to l?
False
Let t = -75 + 106. Which is smaller: 28 or t?
28
Suppose 7*h = 5*h. Let d = -3/73 + -58/365. Which is smaller: d or h?
d
Let m be 10*4*(-2)/(-5). Suppose 5*x = x - m. Does x = -1?
False
Let r(v) = v - 4. Let q be r(3). Suppose -4*y - 48 = -y. Let i be (-4)/y + 2/(-8). Which is smaller: i or q?
q
Let d = -9 - -8. Which is smaller: 1 or d?
d
Let f = -0.22 + -16.78. Let z = f + 17. Suppose 0 = 5*v + 7 - 17. Is z bigger than v?
False
Let l be 5/(-15) - (-9686)/33. Let b = l + -293. Is -1 >= b?
False
Let d be (-60)/(-292) + 2/(-10). Let n = 148/365 - d. Which is greater: n or 3?
3
Let n = -0.2 + 0. Let h = 0.2 + n. Let l be 4/26 + 34/(-221). Is h equal to l?
True
Let v = 24 + -39. Is 2/3 <= v?
False
Suppose -5*g + 7 = -2*h - 0, -4*g - 4*h = -28. Let z be (-14)/g + 6/9. Let v = z + 5. Is 2/5 at most as big as v?
True
Suppose -15 = 4*d + n, -4*d - 3*n = d + 10. Are -6 and d equal?
False
Suppose -5*o = -5*w - 25, -5*o = -3*w + 8*w + 5. Suppose -z + 12 = o*z. Let l be ((-1)/10)/((-1)/z). Which is bigger: l or 1?
1
Suppose 3*d = 4*d + 1, f = -3*d + 3. Suppose 0 = 2*l + 6, -3*b + b = 2*l + f. Let s = -245 + 975/4. Is s < b?
True
Let q = -56 - -225/4. Suppose -3*j - 7 = -10. Is j at least q?
True
Suppose 0 = -4*l - 12, -l = 3*a - 0*l + 9. Let c be (-4 + 24)*a/(-5). Which is smaller: 7 or c?
7
Suppose -6 = -3*y, -y + 2 = -5*x - 0. Which is smaller: 0.07 or x?
x
Suppose -4*x + 54 = -26. Are x and 19 nonequal?
True
Suppose -a + 2*p - 10 + 0 = 0, 4*a + p = -31. Is a equal to 0?
False
Let i = -5 + 0. Suppose 0 = -0*u + 4*u + 20. Is i at most u?
True
Let c = -88 - -87.8. Let d = 2 + -6. Is c < d?
False
Let s = 15 + -14.3. Let u = -0.3 - s. Let k = -2 - u. Which is bigger: k or -2?
k
Let b be ((-26)/39)/((-2)/3). Suppose 0 = l - 6*l - 65. Let i = -9 - l. Which is bigger: b or i?
i
Suppose -4*f + 7 = 19, -5*k + f = -98. Do k and 20 have the same value?
False
Suppose -5*w + 3*w + 8 = 0. Suppose 2*v = w*j - 2*j + 4, -5*v + 6 = -3*j. Suppose 0 = -2*o - v - 2. Which is bigger: o or -1/2?
-1/2
Let t be (-1)/(-4)*(-21 + 15). Which is bigger: 3 or t?
3
Let k(c) = -3*c - 2. Let u be k(2). Let y(i) = i**3 + 9*i**2 + 8*i + 4. Let g be y(u). Suppose 5*o + 0*z = -2*z + g, 10 = 5*o + 5*z. Which is smaller: o or 1/3?
o
Let z(o) = -6*o + 1. Let h be z(1). Is -4 at least as big as h?
True
Let v = 30 - 20. Suppose 4*t = v*t - 6. Let s = 2/185 + -76/185. Which is bigger: t or s?
t
Let a = -0.67 + 0.07. Let r = 0.3 + a. Let i = -1.3 - r. Which is greater: i or 2?
2
Let s = -14 - -14. Let j = 0.2 + -0.3. Which is smaller: s or j?
j
Let m(z) = -z - 1. Let a be m(0). Suppose 2 - 1 = d. Which is greater: a or d?
d
Let v = 243 - 2185/9. Let s(p) = p**2 - 2*p - 3. Let z be s(3). Is v less than z?
False
Let a = 729 - 19685/27. Which is smaller: 0 or a?
a
Let d = -5 - -7. Let p be 1*d/(-1 + -11). Let g be (-7)/(-14) - 1/2. Which is greater: p or g?
g
Let u = -2 - 2. Let o = u - 1. Let i = o + 4.8. Which is smaller: i or -1?
-1
Let t(a) = a**2 - 3*a. Let p = -1 + 5. Let r be t(p). Is 4 equal to r?
True
Let a = -18 + 19. Which is smaller: -0.2 or a?
-0.2
Suppose 0 = -0*d + 3*d. Is d smaller than -1/37?
False
Let t be (-1 - 5)/((-6)/4). Let n be ((-3)/(-9))/(1/39). Let r = n - 8. Which is bigger: t or r?
r
Let z be 18/11*140/60. Does z = 3?
False
Let s be ((-4)/14)/(-1) - (-32)/(-14). Which is smaller: s or -28/13?
-28/13
Let s = -18 - -38. Is s equal to -1?
False
Suppose 21 = -5*d - y, -4*y = -d - 4*d - 41. Let s = d + 7. Is 1 <= s?
True
Suppose -3*u - 5*h - 74 = 0, -6 = 6*u - 5*u - 3*h. Let p be 66/u - (-2)/(-6). Which is smaller: -6 or p?
-6
Let k(z) = z + 19. Let o be k(-12). Which is smaller: o or 6?
6
Let x = -1.3 - -1.4. Which is smaller: 4/7 or x?
x
Let p = -94 - -94. Which is bigger: -2/85 or p?
p
Let c(d) = 5*d**3 + d**2 + d. Let l be c(-1). Let w = l + 7. Suppose 0 = -5*j - 3 - w. Are j and -2 unequal?
True
Let t = 12 - 8. Which is greater: -1 or t?
t
Suppose 0 = -4*p - 2*m + 12, -p + 5*m - 19 = -0*m. Which is smaller: p or -2/205?
-2/205
Let b(x) = -x**2 - 7*x - 7. Let w be b(-6). Is 3 bigger than w?
True
Suppose -5*z + 6 = 3*g, -3*g + 8 = -3*z + g. Suppose z + 2 = 2*u. Let k = -6.5 - -7. Which is bigger: k or u?
u
Suppose 2 = 5*h - 3*h. Are h and 1/37 equal?
False
Let a(c) = -5 + c - 4*c**2 + 2*c**3 + 3*c - 8*c - c**3. Let p be a(5). Which is bigger: p or 1/2?
1/2
Let n(g) = g**2 - 7*g + 6. Let w be n(6). Suppose w = -4*d - 2*m + 8, -2*m + 6 = -2. Suppose 0 = -5*i - d + 5. Do i and 2 have different values?
True
Let u(z) = -3*z + 24. Let t(o) = -o + 8. Let v(g) = -17*t(g) + 6*u(g). Let k be v(7). Are 1 and k equal?
True
Let u = -4 - -6. Which is smaller: u or 4/3?
4/3
Let u(t) = t**3 + 5*t**2 - t - 2. Let s be u(-5). Let k = s + 1. Let a = -3 + k. Which is smaller: a or 4?
a
Let s be (-4)/18 + -1 - -1. Suppose 0 = l + 2*c + 5, 0 = 2*l - 4*l + 3*c + 18. Suppose -l = x + 2*x. Which is bigger: x or s?
s
Let q be ((-3)/(-9))/((-2)/(-6)). Is q > 0.3?
True
Let t = -3 - -3. Let u = t - -0.2. Let a = u + 0.8. Which is bigger: a or 2/7?
a
Suppose 0 = -3*x + 5 - 2. Let u be ((-5)/(-30))/(x/2). Let n(r) = -r**2 + 5*r + 24. Let l be n(8). Which is bigger: l or u?
u
Let l = -14684/27 - -544. Which is greater: 0 or l?
l
Let n = 59 + -29. Let u = 14 - n. Which is smaller: 1/2 or u?
u
Suppose -3*g = -3*y + 33, -5*g - y = 2*y + 23. Let o be 1/(0 + g/(-2)). Let n = -171/35 + 23/5. Is n smaller than o?
True
Let a(w) = -w**2 + 3*w. Let f be a(3). Suppose f = 5*q + 5, d - q + 2 = 7. Let y = 0 - d. Which is greater: y or -5?
y
Let i be ((-3)/(-9))/(3/9). Let k = 4 - 3. Suppose 0*p + k = p. Is p greater than or equal to i?
True
Let v = -0.3 + -0.1. Let r = v + 0.3. Let t = r + 0.1. Which is smaller: t or 2?
t
Let y = 4 - 0. Suppose -2*u - 3*l = -1, -y*l + 0*l = 12. Suppose -u*z = -5*o - 20, -14 = o - 4*z + z. Is o < 2/19?
False
Let v be (10/7)/(2/14). Is v at most 10?
True
Suppose 6*h + 336 = 13*h. Is h <= 48?
True
Let r be (-4)/6*24/2. Let k be 1/1*r/(-8). Is k equal to 1?
True
Suppose l + 2065 = -4*l. Let x = 12801/31 + l. Is x at most as big as 0?
True
Suppose 4*q - 4 = 8. Suppose 8 = q*z + z. Are 5/4 and z equal?
False
Let d = 13 + -6. Let w be (-1*1)/(5 - d). Let a be 0*2/4 - 3. Is w at most a?
False
Let c = 6.88 - 7. Let t = 0.12 + c. Is 6 at most as big as t?
False
Let n = 0.24 + 2.16. Let u = n - 3.4. Is u greater than 1/4?
False
Suppose -4*j + 28 = -0. Which is greater: j or 9?
9
Suppose -2*r = 2*z - 2, 2*r - z + 19 = 4*z. Let x be 5/2 + 2/4. Let j(h) = -2*h + 4. Let i be j(x)