 z + h. Which is bigger: 0.4 or u?
0.4
Let r = -0.02 + -0.38. Let m = 1.4 + r. Let q = 4 - 5. Are m and q equal?
False
Let f = 27 + -28. Which is bigger: f or 1?
1
Suppose -14*t - 1167 - 807 = 0. Is t bigger than -141?
False
Let c = 156 + -156. Does -6/5 = c?
False
Let t be 2*-3*28/12. Is t equal to -13?
False
Suppose 3*f + 1 - 22 = 0. Suppose -5*v + 18 = w, -3*v + 0*v = 2*w - 22. Is f <= w?
True
Let y = 0.8 - 1.8. Does y = 0.2?
False
Let g = 19 - 7. Suppose 5*l = -0*v + v - g, -5*v - 2*l = -6. Which is smaller: v or 5/3?
5/3
Suppose 0 = -4*b + 3 - 7. Let i be b/28 - (-2)/7. Which is smaller: i or 0.1?
0.1
Let p = 0.053 + -0.153. Which is greater: p or -30?
p
Suppose 0 = -4*q + j - 163, 2*j - 86 = -2*q + 4*q. Let w be 4/(-18) + q/(-18). Let c be 0 - 2 - (w + -3). Is c != -1?
False
Let u(r) = r**2 - 11*r - 12. Let g be u(14). Which is smaller: g or 61/2?
g
Suppose -2*b + 20 = -5*r - 0*r, -3*b - 2*r - 8 = 0. Suppose 12 = -0*a - 4*a. Let h be (6/9)/((-11)/a). Is b greater than h?
False
Let v = 38 - -40. Let y be 152/v + (7 - 9). Which is greater: y or 0?
0
Suppose -8 = -3*x - 5. Suppose 3*v = -w + 63, 3*w + 5*v - 96 = 89. Let y be (x/4)/(21/w). Which is greater: y or 0?
y
Let q = -1.7 + 0.7. Let r = 1 + q. Which is bigger: r or 1?
1
Let k = -651/116 - 4/29. Let t be (-1689)/(-252) - (-2)/(-7). Let o = k + t. Which is smaller: 2 or o?
o
Let a be 2/8 + 209/44. Is a greater than 2?
True
Let t be ((-264)/154)/((-2)/(-21)). Let w be ((-4)/(-6))/(6/t). Which is greater: w or -7/4?
-7/4
Let j = -48539773/117 - -414867. Let l = j + 25/9. Is l < -1?
False
Let d = -47/16 - -229/48. Is 1 at least as big as d?
False
Let r(z) = -z**3 - 9*z**2 - 9*z - 10. Suppose w + 3 = d, 3*w = -w - 3*d - 47. Let k be r(w). Is k greater than -2?
False
Suppose 4*u = -0*u + 24. Suppose t = 3*a + 4 - 6, 3*t = a - u. Is t less than or equal to -2?
True
Let m be (3 + 57)/(-2) - 0. Are -29 and m equal?
False
Let g = 6 + -4. Let n(z) = 4*z**3 - z**2 - 5*z + 4. Let p(b) = 2*b**3 - b**2 - 2*b + 2. Let o(j) = -3*n(j) + 7*p(j). Let m be o(g). Are m and -1 non-equal?
True
Suppose -3*s - s = 0. Let i = -0.21 + 0.01. Let g = 0.2 + i. Are g and s equal?
True
Let h = -6 - -15. Suppose 0 = 4*s - h*s + 15. Which is greater: s or 0?
s
Let o be 0/2 - (2 - 6). Let c(t) = t + 11. Suppose 5*f + 45 = 3*h - 2*h, -3*f - 5*h = -1. Let s be c(f). Is o smaller than s?
False
Let s be 158/7 - (-64)/(-112). Is s greater than or equal to 22?
True
Let p be (-3 - 139)*3/(-6). Is 71 < p?
False
Let n = -0.09 + 40.09. Let z = 40.94 - n. Let i = z - -0.06. Which is smaller: -4 or i?
-4
Let u = -8611/33 + 261. Let z = 181/264 - u. Is z > 0?
True
Let z = 64.9 - 61. Let v = z - 4. Let k(x) = -x. Let a be k(3). Is a at most v?
True
Suppose 5*i = 3*i - 26. Let k = i + 16. Which is smaller: k or -1/3?
-1/3
Suppose 22 = n - 5*p - 0*p, -3*n + 2 = p. Suppose 0 = n*b + 2. Let h be b*-2*1/5. Are h and 1 unequal?
True
Let b be 3/((-4)/(-4)) - 0. Let z(q) = q**2 + 7*q + 9. Let s be z(-6). Suppose -b*k + 3*i = -3, i - 2*i + 11 = s*k. Which is smaller: k or -0.1?
-0.1
Let c(u) = -75*u + 11. Let p be c(-2). Is 161 less than or equal to p?
True
Let h(n) = 6*n + 1. Let p be h(1). Which is smaller: p or 9?
p
Suppose -18 = -4*u - 2. Let c be (5/10)/(u/(-6)). Which is greater: c or -2?
c
Let c = 47 - 45.1. Let r = -3.1 - c. Is 3 at most as big as r?
False
Let c(f) be the first derivative of 4/3*f**3 - 1/2*f**2 - 1 - 4*f + 1/4*f**4. Let s be c(-4). Is -1 at least as big as s?
False
Let o = -0.65 - -0.6. Let l be (2/4)/(3/(-4)). Do l and o have the same value?
False
Let s be (-2)/(-6) - (-10)/(-42). Which is smaller: s or 0?
0
Let k = 0.99 - 0.9. Which is smaller: 0 or k?
0
Let s(o) = -o**2 - 4*o + 4. Let a be s(-5). Let x = 1.4 + -1.47. Let v = 0.03 - x. Is v less than a?
False
Let p(m) = m**3 + 10*m**2 - 9*m + 8. Let z be p(-11). Which is bigger: -15 or z?
z
Let f be 1 - 10/(-4) - 1. Let t = -8 - -12. Do t and f have the same value?
False
Let w(k) = -k**3 - 15*k**2 + 16*k + 15. Let s be w(-16). Suppose 0*r = -3*r - s. Which is bigger: r or -3?
-3
Let i = -17 - -21. Which is greater: i or -2?
i
Let r = 0.1 - 0. Is -2/35 less than r?
True
Let a = 11 + -8. Let p be 9/12 - a/4. Which is greater: p or -2/25?
p
Let w = -85.9 - -85. Which is smaller: w or 2?
w
Suppose 0 = -19*n - 5 - 14. Is 3/7 less than or equal to n?
False
Let h be (0/2)/(-5 - -7). Let z = -70 + -121. Let s = -1525/8 - z. Which is smaller: h or s?
h
Let d = 78 - 81. Are -40/9 and d equal?
False
Let c(v) = -v**3 + 8*v**2 - 7*v - 9. Let b be c(7). Let o be (-5)/((-15)/b) + 2. Let q be (-7)/44 + (-3)/(-12). Is q >= o?
True
Let m = -8 - -10. Let b = m + -4. Let d be 5*(12/(-45))/b. Which is smaller: d or 0?
0
Let i = 21 + -13. Let u = i - 8. Is u less than -2/41?
False
Let l = 9.6 - 9. Is l bigger than 1?
False
Let v = 33 - 100/3. Which is smaller: 0 or v?
v
Let o = 10 - 4. Let u be 3/o - (-9)/(-2). Which is greater: -3 or u?
-3
Let q = -43.6 + 39. Let f = 0.6 + q. Let d = f + 5. Is d less than 1/4?
False
Let b = 3.74 + 65.96. Let l = b + -64. Let s = l - 6. Which is smaller: 0.2 or s?
s
Let i = 2.1 + -0.1. Let s = 155.1 + -148. Let n = 7 - s. Are n and i nonequal?
True
Let t = -391669/7 - -55788. Let v = -165 - t. Is v smaller than -2?
False
Let v(g) = -g**2 + 4*g + 3. Let p be v(5). Suppose z + 4*t - 41 = 0, z = -z - 3*t + 57. Suppose 0 = -3*l - 4*o + 3, 4*o = 2*l - o + z. Which is bigger: p or l?
p
Let v = 7.2 - 33. Let f = v + 26. Which is smaller: 2/11 or f?
2/11
Let m = 10 - 10. Let d be ((-1)/1)/((-5)/(-30)). Let v = d - -6. Do m and v have the same value?
True
Suppose 0*q = 2*q - 16. Let d be 1/q*-2*2. Let w = -0.05 - -0.05. Which is smaller: d or w?
d
Let f = -34 - -44. Is f smaller than 11?
True
Suppose 1 = r - 4, -5*z + 3*r = 5. Suppose 3*u + 10 = 5*d - 2*u, -z*u = -4*d. Let x(v) = v**2 + 15*v - 18. Let k be x(-16). Is k smaller than d?
False
Suppose -3*n - 3*l - 3 = 0, -5*n + l = -3*l - 4. Let d = -255/4 - -64. Is d bigger than n?
True
Let n = 4 + -7. Let k = 4 + n. Suppose 4*z + k + 23 = 4*w, 0 = 4*z + w + 19. Which is bigger: z or -6?
z
Suppose 3*q = 2*p + 6, -3*p - p = 3*q - 24. Suppose d = p*d. Which is smaller: d or 4/5?
d
Suppose 2*y - 12 = -y. Suppose y*p + i = -2*i - 83, -2*p + 4*i = 14. Let x = p - -33/2. Which is smaller: -2/3 or x?
-2/3
Suppose -5*i - 7 = -3*t, -i + 2*i - 17 = -4*t. Let w(a) = -a**2 + 5*a + 2. Let c be w(t). Let o be c/(2 + (-1)/2). Is 3 at least o?
False
Let b be -1 + ((-43)/(-10) - 3). Suppose -3*o - 2*s = -17, -1 - 2 = -o + 2*s. Suppose 2 = -3*w + o. Is w < b?
False
Let f be (-8)/((-80)/294) - (-3)/5. Which is bigger: f or -1?
f
Let l = -3.48 + -2.52. Suppose 0 = 2*g + h - 2, 0*h + 7 = 5*g + 3*h. Is l at most g?
True
Let j(g) = g**3 + 10*g**2 - 17*g + 2. Let t(v) = -v. Let i(d) = j(d) - 6*t(d). Let p be i(-11). Is 3/5 bigger than p?
False
Let z = -1982/11 - -180. Which is smaller: 0 or z?
z
Let m(w) = w**3 + 11*w**2 + 9*w - 12. Let s be m(-10). Let j = s - -3. Which is smaller: 2/7 or j?
2/7
Suppose -8 = 4*s - 4*g, -4*s - 4*g - 6 = 10. Let n = 2 + s. Let p = -65/3 + 22. Are n and p nonequal?
True
Let q = 2 + 0. Does 2 = q?
True
Suppose -5*q = -s - 74, -3*q - 3*s + 8 = -40. Let d be q/40 - (-5)/8. Which is smaller: d or 6/5?
d
Suppose 38*a = 35*a. Let d be ((-6)/(-8))/(1/(-4)). Which is smaller: a or d?
d
Let g = -4 + 6. Suppose -3*z + 18 = 4*h, g*h = -2*h + 4*z + 4. Which is greater: h or -2/3?
h
Let o = -1 + 4. Let u = 4 - o. Suppose 0 = 2*a + u + 3. Which is greater: a or -3/4?
-3/4
Let a = 8 - 5. Suppose y - 57 + 10 = v, -4*y + a*v = -185. Let z be 2/7 + y/(-105). Is z greater than 1?
False
Let u = 1 - -1. Suppose -o = u*o. Let s be 1 - (-4)/12 - 1. Is s > o?
True
Let n be (-275)/(-110)*(1 + 19/(-20)). Are n and 0 equal?
False
Let m(h) = -h**2 - 8*h - 9. Let d be m(-6). Let q be (d/(-14))/(3/(-4)). Are q and 0 unequal?
True
Let n = 0.5 - 0.4. Which is greater: n or 4?
4
Suppose 3*w - c + 8 = -0*c, 0 = w + c + 8. Let s be 10/(-4)*w/(-55). Is -3 greater than s?
False
Let x = -1.05 - -0.05. Let k = 6 + -4. Let m = 1 - k. Is x >= m?
True
Let a be -1 + 2 - ((-1585)/(-790) + -1). Which is smaller: 1 or a?
a
Let f = 496 - 3480/7. Which is greater: f or 0.2?
0.2
Let n be (-5)/(-45)*1*-3. Which is greater: -15 or n?
n
Suppose 3*h + 21