0.08 - k. Let a = -4 - t. Which is greater: -1/2 or a?
a
Let b(g) = 2*g - 2. Let q be b(3). Suppose -q*y = -4 - 4. Suppose 13 = -f + y*h + 2*h, -46 = -3*f - 5*h. Is 2 < f?
True
Suppose 0*d - 3*d = -5*n + 2, 2*d - 2*n = 0. Let c be ((-1)/(-6))/(5/8). Which is greater: d or c?
d
Let n = 0.171 - 2.631. Let m = n + 1.24. Let o = m - -0.22. Is o greater than -0.3?
False
Let g = -11984 + 11999. Let p = -1 - -0.8. Which is smaller: g or p?
p
Let i = 15/16 + -91/80. Which is smaller: 232 or i?
i
Let p be (-29 - -28)*((-1)/(-1) - -27). Which is smaller: p or -22?
p
Let t = 945 - 1711. Let v = t - -2246/3. Which is smaller: -18 or v?
-18
Let z be (7 - 6) + 7*(1 - 2). Is z at most as big as -6?
True
Let z = -7 - 46. Let m = z - -45. Let t be 0/2*(-1)/(-2). Which is smaller: m or t?
m
Suppose 4*l = k - 4726, 2*k + 719 = l + 1897. Let t = -4307740807/3644594 - -5/84758. Let r = l - t. Is 1 smaller than r?
False
Suppose -3*m = g + 55, -m = -6*m + 4*g - 86. Is -18 <= m?
True
Suppose -4*t - 4*i = -26 + 30, i + 3 = 0. Are -8 and t equal?
False
Let m = 15 - 6. Suppose -5*v - 53 = -3. Let l = v + 20. Which is bigger: l or m?
l
Let t be ((-23)/10)/(2/(-4)). Let v = t - 179/40. Is v greater than 0.3?
False
Let t = 168.8 - 168.863. Which is smaller: -1 or t?
-1
Let q be 3*12/(-216) - (-1217)/(-6). Is q at most as big as -203?
True
Let i be 369/1353*(-4)/(-486)*12. Is 0 bigger than i?
False
Let q = 321 - 232. Which is bigger: 88 or q?
q
Let v = 4 - 34. Let n be (v + 17)/(1/(-2)). Is n less than 27?
True
Suppose -4*c + 3*l + 12 = -7*c, 5*c = 2*l + 15. Suppose -19*m - 1405 + 18 = 0. Let x = m + 76. Which is greater: x or c?
x
Suppose 0 = 2*p - 0. Suppose 2*m + 3*z - 29 = -10, 4*m - 3*z - 11 = p. Let n be -1 - (-10)/(4 - 2). Is m > n?
True
Suppose -4 = -3*s + 5*s. Let r be (4 + -4 - 1)*63. Let o = 188/3 + r. Is s < o?
True
Suppose -a + 8*c = 10*c + 25, c - 147 = 5*a. Suppose 5*q = -0 + 15, -2*w - 63 = -q. Which is greater: w or a?
a
Let g(r) = -3*r**2 - 8*r + 13. Suppose -2*q - 3*b = -5*b - 6, -b = -2*q + 5. Let z be g(q). Which is smaller: z or -13?
z
Suppose 60 = 2*l - 2. Let a = l - 32. Is -3/28 greater than a?
True
Let l be ((243/(-30))/9)/((-72)/(-15)). Let q = -9 + 10. Which is greater: l or q?
q
Let v be (-680)/(-1092) + (-12)/21. Which is smaller: 0 or v?
0
Let w = 87.2 - 87.191. Let t = -0.4 + -0.6. Which is smaller: w or t?
t
Let j be (5 + -2)*14/42. Which is bigger: j or 15/8?
15/8
Let n(f) = f**3 - 10*f**2 + 10*f - 8. Suppose 11*c + 45 = 16*c. Let z be n(c). Which is bigger: z or -2/23?
z
Let h be (2 - 59)/((-44)/(-1)). Let l = -6/11 - h. Let f = -3.514 + 3.414. Which is smaller: f or l?
f
Suppose -8*l = s - 7*l + 53, -4*s = 2*l + 206. Are -51 and s equal?
False
Let q(o) = -o**2 + 2*o + 14. Let a be q(4). Let l(u) = -u**2 + 7*u + 4. Let x be l(7). Suppose x*z = -3*h + 26, 0 = -3*z - 1 + 7. Is a at most as big as h?
True
Let k = 18791/16 + -1174. Which is smaller: -1 or k?
-1
Suppose 0 = -k - k + 2*a, 2*k - 3 = a. Suppose 11 - 8 = -k*i. Which is smaller: 2/7 or i?
i
Let t be 1 + (3 - 0)/3. Suppose -4*q = t + 26. Let b = -141/20 - q. Do b and 1 have the same value?
False
Let q(o) = 6*o - 21. Let d be q(4). Suppose d = -5*r + 8*r. Which is smaller: r or -4/35?
-4/35
Let l be (-176)/(-180) + 5 - 6. Is l at least -1?
True
Suppose 4*x - 50 = 2*x. Let s be 114/(-105) + 20/x. Are s and 2.3 non-equal?
True
Let g = 7 - 6.5. Let c = -17/60 - 1/20. Which is smaller: g or c?
c
Let i = 173/3 - 154/3. Let n = -16/7 - -25/14. Which is bigger: i or n?
i
Let k = -318 + 229. Is k > -89?
False
Let p be (3 - -5 - 6)/193. Is 0 smaller than p?
True
Let p = 10/241 + -5589/140503. Which is smaller: p or 0?
0
Let d be (-21)/(-27) + 2/9. Let t = -5882 - -5847. Is d at most t?
False
Let u(l) = l**3 + 12*l**2 - 47*l - 53. Let d be u(-15). Let y = -27 + 3. Which is greater: y or d?
d
Let p(x) = -x**3 + x**2 - 7*x - 7. Let w be p(-2). Is w not equal to -2/23?
True
Let b = -2/1329 - 1315/9303. Let m(j) = j + 10. Let z be m(-7). Let g(y) = y - 3. Let h be g(z). Is b less than or equal to h?
True
Suppose 0*x - 40 = -2*t + x, -2 = -x. Let j be (3 - 70/t) + 1 + -1. Is j less than -0.06?
True
Let v(m) = -m**2 + 18*m - 1. Let h be v(18). Let s be (-4)/48 - h/3. Is s > 0.1?
True
Let b = -2177 - -2061.47. Let s = b - -116. Does -0.1 = s?
False
Suppose 4*h - 5 + 1 = 0. Suppose h = -w - 0. Let z be (-3 - -3) + 0 + w. Is z at most as big as -3?
False
Let l = 246/119 - 40/17. Which is smaller: l or -1?
-1
Let n be 0/(20/(-5)) - -52. Let u be (0 + 3)*n/36. Is 5 less than u?
False
Suppose 0 = -2*u + 6*u + l + 156, 195 = -5*u - l. Let t be (u/(-26))/(3/4). Is 2 less than t?
False
Let y = -0.53 - -0.6. Let o = 43 + -43.03. Let g = y - o. Is -2/7 <= g?
True
Let q(y) = -y. Let l be q(0). Suppose 68 = -77*n + 79*n. Is n smaller than l?
False
Let i = -455 - -841. Is 387 >= i?
True
Let w = -15 + 34. Let u = -24 + w. Is -0.08 less than u?
False
Let c(x) = 3*x**3 + 3*x + x**2 - x**2 - 4*x. Let j be c(1). Suppose 0 = z - 11 + 9. Are j and z equal?
True
Suppose -406 = -2*f - 4*a, 0 = f - 5*a - 41 - 169. Let t = f - 1831/9. Let x(p) = p**2 - 2*p - 1. Let s be x(-1). Does t = s?
False
Let u = 263.06 - 263. Which is smaller: u or -1/5?
-1/5
Let s = -27.6 - -18.6. Are s and -0.05 equal?
False
Let h = -954.2 - -957. Which is smaller: h or -17?
-17
Suppose -3*o + 6 = -m + 28, 5*o = 2*m - 36. Let p(f) = f**2 - 17*f + 9. Let h be p(11). Let s = 49 + h. Are o and s nonequal?
False
Let m(y) = -y**3 + 12*y**2 - 13*y + 10. Let k be m(11). Let a be (1/(-20))/(k/(-712)). Let n = -31/10 - a. Is n <= 1?
True
Suppose 5*q = 2*x + 6, -x + 4 = -q + 2*q. Let r be (-3)/((-3)/(-5)) - x. Which is greater: -5 or r?
-5
Let s(v) = -v**3 + 45*v**2 - 349*v - 10. Let p be s(10). Is -21 > p?
False
Let h(y) = -15*y + 230. Let d be h(44). Is d less than -429?
True
Let c(j) = -11*j - 138. Let p be c(-14). Is p greater than or equal to -24?
True
Suppose 38*r + 138 = 35*r. Do r and -46 have the same value?
True
Let k(h) = h + 24. Let w be k(-11). Suppose 0 = -3*b + 3*i - 2*i + 47, b - 3*i = w. Is b at least 5?
True
Let y = -16108/279 - -520/9. Let a be 2/(-10)*(7 + 4079/(-372)). Let j = a - y. Which is smaller: 0 or j?
0
Let h = 41 - 43.1. Let b = h - -1.8. Let r = -1 + 6. Which is smaller: b or r?
b
Let m be 2*5 + 3 + -4. Suppose t - 5*x - m = 2*t, -1 = -5*t - 2*x. Which is smaller: -6 or t?
-6
Suppose -60 = -q - 5*y - 20, -2*q + 66 = -4*y. Let h(n) = -19*n + 226. Let a be h(10). Is a greater than q?
True
Let i be 24*(-3 + (-124)/(-12)). Suppose -3*z = z - i. Let n be (-3)/(-12) + 37/z. Is n greater than 1?
True
Let y be 26/4*(-2 + 4). Suppose 2*a + 5*t - 24 + 2 = 0, -a - 3*t + y = 0. Let w be (-14)/30*(-10)/(-35). Is w <= a?
True
Let m(z) = 3*z**2 + 4*z + 3. Let p be m(-1). Let j = 1435/9 - 157. Which is greater: j or p?
j
Let q = -2015444/297 + 6786. Let j = q - -2984/2079. Which is smaller: j or 0?
0
Let t = 4 - 1. Suppose a = -t*a. Suppose 3*v = 2*h, 3*h + 3*v + 2*v = a. Is -1/2 at most as big as h?
True
Suppose -8*p = -4*p - 8. Suppose -p*l = -4 - 0. Suppose 0 = 5*w - l*w + 3*b - 24, b = -2*w + 13. Which is bigger: 3 or w?
w
Let d = 138 - 110. Let a be 3*4/(-24)*(-96)/d. Is 1 not equal to a?
True
Let c(z) = -z**3 - z**2 + 3*z + 2. Let a be c(0). Suppose -15 = 4*s - 3, 5*i + 6 = -a*s. Which is bigger: i or -3/154?
i
Let q = -1 + 3. Let s = -2258 + 2246. Is s bigger than q?
False
Let l(z) = -4*z + 129. Let w be l(-27). Is 236 <= w?
True
Suppose 0 = 6*t - 2858 + 2516. Is 11 < t?
True
Let l be -2 - 772/(-36) - 10. Which is smaller: l or 8?
8
Suppose 2*m - 238 = -2*d - 2*m, m - 640 = -5*d. Let x be (1 - 2) + -2 + d/45. Let j be (-3)/(-1) + (-4)/2. Is x < j?
True
Let a = -30 - -36.1. Which is smaller: a or -2?
-2
Let t(h) = -h + 9. Let g be t(-7). Let k = -77.7 - -78. Which is smaller: g or k?
k
Suppose -289*k + 304*k = 0. Which is smaller: 3/109 or k?
k
Let s = 6101332/10397835 - 6/11003. Let z = -1/210 + 37/1890. Let f = z - s. Which is greater: f or -0.1?
-0.1
Let o = -0.056 - -4.056. Let h = 35 - 35.6. Which is greater: o or h?
o
Let y = -12 + 4. Let s = y - -6. Let i = -4 - s. Is i != 0?
True
Let b(o) = 2*o + 8. Let k be b(-3). Suppose k*q + 3 = 223. Does q = 111?
False
Suppose -53*h + 49*h = -16. Suppose -6 = -4*z + 2. Suppose h*x = z*x.