r be o(m). Are r and -19 unequal?
True
Let j = 0.06 + -0.06. Is j equal to 0.3?
False
Let h = -5375/14 + 384. Is h not equal to 0?
True
Let n be (-27)/(-3)*8/138. Let g = n + -82/69. Let i = -1 + 1. Are g and i nonequal?
True
Suppose -7*b - 2*k = -2003, -4*b - 5*k + 7*k = -1132. Which is greater: 283 or b?
b
Let m = -1041 - -1026. Is m >= 1.1?
False
Let t = -43 + 52. Suppose 9 = -t*f + 18. Which is greater: -1/38 or f?
f
Let z(l) = 2*l - 149. Let w be z(-11). Is w less than or equal to -172?
False
Let d(v) = 4*v**2 - v - 6 - 5*v**2 + 2*v**2. Let z be d(3). Let x = -1252/5553 - -2/617. Which is smaller: x or z?
x
Let r = -5.23 + 5.13. Which is greater: r or 139?
139
Suppose -5*x - 1 = -u, -4 = u - 0*u. Let m be (6/(-5))/((-16)/80). Is m < x?
False
Suppose -2*f - 3 = -1. Let c be 57 - -6*(-1)/(-2). Let i = c - 61. Is f at most as big as i?
True
Let v(f) = -8*f + 13. Let q be v(-7). Let m = -22 + 90. Do q and m have the same value?
False
Let a be (146 + 2 + -2)/(-1). Let l = -581/4 - a. Is l bigger than 9/4?
False
Let n = -1.9 + 2. Let r = -2.93 - -3. Let m = 0.17 - r. Are m and n equal?
True
Suppose 3*n - 13 + 1 = 0. Suppose 0 = 2*k + 16 + n. Let i(o) = -6*o**3 - 47*o**2 + 9*o - 1. Let w be i(-8). Which is bigger: k or w?
w
Let i(g) = g**2 - 13*g - 11. Let c(m) = -3*m**2 + 38*m + 33. Let k(t) = 3*c(t) + 8*i(t). Let w be k(7). Which is greater: w or 33?
33
Let y be (2/(-84))/((-7007)/819). Which is greater: 1 or y?
1
Suppose 90 = 4*j - 30. Suppose -16*a + j + 18 = 0. Which is smaller: 15/8 or a?
15/8
Suppose -57 = -6*l - 225. Let v be 6/l - (-18)/(-63). Do v and 2/7 have different values?
True
Let g = 1.06 - 0.06. Let o = 16 - g. Let z = -15 + o. Is -1 less than z?
True
Let l(t) = -t + 1. Let r be l(-3). Suppose 5*d + 2*g + 3 = 54, 0 = 3*d + 5*g - 23. Let w = d - r. Is w less than 9?
True
Let y = 18.37 + -4.37. Which is smaller: -1/5 or y?
-1/5
Let g(f) = 3*f + 5. Suppose -l = 10 - 8. Let o be g(l). Do o and 1/162 have the same value?
False
Let t(b) = -b + 62. Let w be t(-14). Let m be (-1 - -2)/((-4)/w)*-1. Which is smaller: m or 20?
m
Let y(d) = -3*d - 2. Let m be y(-7). Let f = -19 + m. Is -2/19 >= f?
False
Suppose 0 = -5*q - 0*q - 50. Let j(u) be the third derivative of -u**6/120 - 3*u**5/20 + u**4/2 + 11*u**3/6 - 24*u**2. Let t be j(q). Is t at most -9?
True
Let z = -602 + 1142. Which is greater: 0 or z?
z
Suppose v - 3*t + 101 = 0, 5*v + 560 = -3*t + 91. Let y = 55 + v. Is -39 at most as big as y?
False
Let d(i) = 162*i**3 - 2*i**2 - 3*i + 5. Let l be d(1). Which is smaller: l or -1/2?
-1/2
Let x(n) = -n - 20. Let t(o) = -o**3 - 4*o**2 + 3*o + 2. Let y be t(-5). Let c be x(y). Is -33 != c?
True
Let h = 20 + -18. Suppose 3*q = -6, 2*u - 200 = -2*u - h*q. Let w be 2 + -5 - (-155)/u. Which is smaller: 1 or w?
w
Suppose -4*h + 32 = 4*c, 4 + 12 = h + 3*c. Suppose 0*v = 3*v - 6. Is v < h?
True
Let z = 59 + -35. Let t = 24.1 - z. Which is smaller: t or -26?
-26
Let l = -3 - -3. Let n = -81 + 191. Let s = n + -90. Is l less than or equal to s?
True
Let i = -4150/3 + 1383. Which is bigger: -66/29 or i?
i
Let r(m) = 5*m - 60. Let p be r(14). Let o = -10 + p. Is -3/8 > o?
False
Let s = -6.48 - -6.58. Which is smaller: -0.025 or s?
-0.025
Let p = 2791/28 - 671/14. Does 53 = p?
False
Let b be (3 + 0 + -2)*1. Let u be 7/(-28) + 3/(-4). Let g be (-2)/((-4)/(-6))*u. Is g less than b?
False
Suppose -4*u - 3*h - 21 = 0, -3*u - 3*h = 2*h + 2. Let k(q) = -q**2 - 13*q - 1. Let g be k(u). Let s be g/(-84)*3/10. Which is smaller: s or -2/5?
-2/5
Let v = 807/14 + -57. Let b = v + -5/14. Which is smaller: 10 or b?
b
Let c be (-33)/9*(-15 - -45). Is -111 bigger than c?
False
Let b(x) = x**2 - 7*x - 6. Let l be b(8). Suppose -l*o - o = 33. Which is smaller: o or 2?
o
Let v = -0.006 - 3.294. Let b = 899 - 899. Is b less than or equal to v?
False
Let l be 21/(-9)*(-6)/(-4). Suppose 3*c = 4*f - 12, 8 = -2*c - 5*f + 6*f. Are c and l equal?
False
Let j = -0.02 + -0.284. Let r = 0.004 + j. Which is smaller: r or 3?
r
Let w = 68.9 + -83. Let h = w + 13. Let z = -0.9 - h. Is z < 1?
True
Suppose 30 + 14 = 4*t. Let z = t + -11. Let w be z + -1 + -10 + 2. Are -8 and w nonequal?
True
Let p = -296.2 - -296. Which is bigger: -9 or p?
p
Suppose -5*a = -619 - 336. Let t = a + -1339/7. Let h be (-10)/(-14)*6/15. Is h less than or equal to t?
False
Let x(v) = -v**3 + 2*v**2 - 3. Let l be x(3). Let o = 17 + l. Let j be (156 + -177)*(-2)/6. Which is greater: j or o?
j
Let w = 250 - 252. Is -45/13 at most w?
True
Let b(l) = 8*l + 5. Let r be b(-3). Let p = -16 - r. Suppose 0 = -0*w - 3*w - 5*f + 7, -2*f = w - p. Is w not equal to -2?
True
Let m = -214/585 + -4/117. Suppose -2*f - 2 = -4*h, 5*f - 1 = 3*h + 1. Which is greater: m or f?
f
Let f = -799022/163 - -4902. Which is smaller: f or -1?
-1
Suppose 7*f - 3*f - 134 = 2*v, -4*f + 5*v = -149. Let q = -26141/830 + -2/415. Let g = q + f. Is 10/11 greater than or equal to g?
True
Let d = -62.16 - -62. Let f = -0.24 + d. Which is smaller: f or 2?
f
Let c(o) be the third derivative of o**4/8 - o**3/6 - 11*o**2. Let w be c(1). Let s be ((-2)/(-4))/(3 - w). Is 0 at most as big as s?
True
Let o = 0.055 - -0.005. Which is smaller: o or 1?
o
Let f = -2068714991/1794375 + -1/199375. Let n be (-1)/4 + 9230/(-8). Let w = n - f. Is w at least -1?
False
Suppose -14 + 139 = -5*x. Let y = x - -31. Suppose l = -y*l. Which is bigger: l or 4/5?
4/5
Let o(w) = -w**3 - 12*w**2 + 26*w - 40. Let f be o(-14). Are -12 and f equal?
True
Let z be (-4)/(-12) - (-100)/(-12). Is -90/13 != z?
True
Let f(r) = r**2. Let b(p) = 5*p**2 - p. Let v(l) = -2*b(l) + 9*f(l). Let o be v(2). Suppose -4*g + 6*g + 2 = o. Is -2 at most g?
True
Suppose 4*s = 2*m + 70, 6 = s + m - 13. Does s = 17?
False
Let v = -0.03 + 0.06. Let r = v - -0.04. Let o = -2.6 + 1.6. Do r and o have different values?
True
Suppose -2*f = 6*f + 448. Let p = -42 - f. Is p greater than or equal to 15?
False
Let q(u) = u**3 + 8*u**2 + 8*u + 7. Let i be q(-7). Let z be (-2)/6 + 164/(-12). Let x = z - -12. Which is smaller: i or x?
x
Let s = -1.5 - -1.1. Let a = 1 + s. Let m = a - -4.4. Which is greater: m or -1?
m
Let j = -3767 + 52669/14. Is j greater than or equal to -6?
True
Suppose -2*i - 2*m + 14 = -0*i, -5*i + 30 = 4*m. Let v be (-1)/(-3) - i/6. Let w be (207/41 - 2) + (3 - 6). Which is smaller: w or v?
v
Let b = -382 - -13372/35. Let p be -2*1*(-3)/(-6). Is p >= b?
False
Let a be ((-20)/(-6))/(2/(-6)). Let d be -3*8 - a/5. Let w = 18 + d. Is -16/5 bigger than w?
True
Let a be ((-2)/(-1) + 4)/((-3)/(-2)). Let j(k) = 3 - 5*k**2 + k**3 + 4*k - 6 + 0. Let g be j(a). Which is smaller: -1/8 or g?
g
Suppose -t - 22 + 21 = 0. Let r be ((-1)/14)/(t/2). Is -2/7 bigger than r?
False
Suppose -5*h + 69 = -816. Suppose 4*z - p - 194 = 53, 3*z = -2*p + h. Let v = -365/6 + z. Is -2/11 < v?
True
Suppose 3*o = -0*o + 6. Let j be (-12)/(-16)*o/6. Let s = j - 0. Is s equal to 0.1?
False
Suppose 0 = -5*g - 11*z + 9*z - 17, 5*g + z + 21 = 0. Let q be 0 + 0 + -2 + 0. Which is smaller: g or q?
g
Suppose 10*j = -j - 3784. Which is smaller: j or -343?
j
Suppose -24 = -j - 23. Suppose -4*n = 2*r + 16, -n + j - 4 = 0. Is -2 < r?
False
Let d = -3222/5 + 641. Suppose 2*v + 8 = -2*v. Is d > v?
False
Let g = -776 + 777. Which is smaller: -1/10 or g?
-1/10
Let d(b) = 2*b**2 + 2*b - 10. Let x be d(-5). Let s = x - 36. Let u = s + 33. Which is smaller: 28 or u?
u
Let s = 16 + -22. Let z be (-36)/(-54) + 4/s. Let o be 39/9 + (-4 - z). Is 13 bigger than o?
True
Let d(k) = k**3 + 11*k**2 - 39*k + 31. Let v be d(-14). Is -13 less than v?
True
Suppose 0 = 7*h - 45*h - 38. Let x = 122 + -3173/26. Which is smaller: x or h?
h
Let x = -7/221 + 62122/663. Which is greater: 93 or x?
x
Let h be (0/4*(-1)/2)/3. Suppose h = 2*b - 0*g - 3*g, -5*g = 4*b - 44. Is b less than 35/6?
False
Suppose 35 = 5*d - 2*o, o = -4*d - 0*o + 28. Suppose -4*r + d = 3*h + 2*h, -r = 3*h. Let t = -0.3 + -0.7. Is r < t?
False
Suppose -4*l - 263 = 5*o + 26, -5*l - 360 = 5*o. Which is greater: l or -75?
l
Let m = -240 - -2861/12. Let i = m - -73/36. Let s be (-2)/7 + (-4)/(-14). Do i and s have the same value?
False
Let r be (4 - 6/(-3)) + -3. Suppose 4*s - 5*o + 19 = 0, 3*s - r*o + 8*o - 12 = 0. Is 2/19 less than s?
False
Let d = 0.2 - 0.11. Let w(n) be the third derivati