11 - -11.8. Let o = -0.9 + c. Let r = 0.2 + 1.8. Which is smaller: r or o?
o
Let o(j) = -j + 2. Let v be o(2). Let u = 2.9 - 1.3. Let q = -1.3 + u. Which is bigger: q or v?
q
Let b = -9 + 19. Let m be 8/b + 22/(-40). Do m and 1/2 have the same value?
False
Let d(k) = -k + 4. Suppose -3*s + 12 = -0*s. Let n be d(s). Which is smaller: -3 or n?
-3
Suppose -2*m + 2 = 4*c, 0 = -0*m - 4*m + 4*c + 16. Suppose -4*u = l - 0*u - 9, 2*l = -m*u + 8. Is -2 not equal to l?
True
Suppose -38 = -4*z + 122. Let m be (-1)/4 - (-26)/z. Let c = -63/5 - -13. Is m less than c?
False
Let w(g) = g + 14. Suppose -4*l = 63 - 11. Let s be w(l). Let n be 1*(10/(-12) - -1). Is n bigger than s?
False
Suppose 2*d = 69 - 25. Which is smaller: d or 1?
1
Let c(t) = -t**3 - 9*t**2 - 2*t - 11. Let l be c(-9). Let m(h) = h**3 - 6*h**2 + h + 2. Let x be m(6). Does x = l?
False
Suppose 6*r - r = 5. Suppose -4*g + 8 = -4*b, 17 - 7 = -5*b. Is g >= r?
False
Let f = -6 + 13. Let y = f - 8. Is y not equal to 1/7?
True
Let w(y) = 2*y**3 - 2*y. Let s be w(2). Let a be (-9)/12 + (-3)/s. Which is greater: -2 or a?
a
Let d = -10 + 11. Let x = -73 - -3943/54. Let q = x + 25/108. Is d at most as big as q?
False
Suppose 0 = 2*j - 5 + 3. Let l be (-5 + 0)/(j - 2). Is l > 14/3?
True
Let l(h) = 69*h**3 + 3*h**2 + 2*h. Let f be l(-1). Is f <= -69?
False
Let i(v) = -v**3 - 6*v**2 - 9*v + 4. Let r be i(-4). Is r >= 6?
True
Let z be ((-6)/9)/((-4)/(-6)). Let v be (4 - 4) + 0 + z. Is v >= -2/3?
False
Let b = -8/21 - -5/7. Let c = 0 + -0.2. Is b smaller than c?
False
Let c = -3 + 1. Let a be ((-9)/(-42))/(1/c). Suppose -5*t + i = -t - 1, 0 = -4*t - 5*i - 5. Is a equal to t?
False
Suppose 4*i + 8*i = 11*i. Is i >= 3/50?
False
Let q(f) = -2*f - 19. Let x be q(-11). Suppose x*k - t - 24 = 0, k + 4*k = t + 42. Is 9 >= k?
True
Let x = 0.1 + -7.1. Let l = x - -8. Let b = 5 + -4.6. Which is greater: l or b?
l
Let i = -5/14 - -1/42. Suppose -c + 6*c = -90. Let u be c/14 + 4/14. Which is smaller: u or i?
u
Suppose 4*h - 5*y = 141, 5*y - 2 = -h + 2. Let l = -59/2 + h. Is l < 0.1?
True
Let y = 1 + 3. Suppose 1 = -4*n - r - 0, -n = r + y. Is n less than 3?
True
Suppose 5*m = -5*q + 4*q + 2, 2 = -3*m + q. Is m less than or equal to 1/4?
True
Let s = 10 - 8.9. Let i = 5.1 - s. Which is greater: i or -2?
i
Let l = 0.4 - -0.5. Let w = -1 + l. Let c = -75 + 74. Which is smaller: c or w?
c
Let u = -0.1 + 0.1. Let y = -3.014 + 0.014. Is u <= y?
False
Let j(o) = o - 8. Let q be j(4). Let y(a) = 2*a + 9. Let u be y(q). Is 8/5 less than u?
False
Let z = -61/4 - -1151/76. Which is smaller: z or 1?
z
Let z = 2.97 - 3.1. Let y = 0.11 + z. Which is smaller: y or -2/5?
-2/5
Let i = 0.9 - -0.1. Let k = -0.2 - -0.2. Let u = k + -1. Is i equal to u?
False
Let n = 0 - -1. Let t = 5 - 51/10. Which is bigger: n or t?
n
Suppose 2*s + 6 = -s + 3*i, 4*s - 8 = -4*i. Let o = 83 - 79.1. Let w = 4 - o. Is w smaller than s?
False
Let n = -265 - -4507/17. Which is smaller: -1 or n?
-1
Let l = 1 + 0. Suppose -3*m - l = -4. Let j be (2/(-12))/((4/1)/(-24)). Is m <= j?
True
Let f = -245 + 7841/32. Is f != 0?
True
Let n be 2/10 + 31/(-5). Let i = 17 + n. Is 10 at least i?
False
Let i = -6 - -6. Is -2/11 at most i?
True
Let k = -287.9 + 302. Let d = k + -15. Let m = d + 0.8. Is 3 > m?
True
Let a be (-16)/(-20) - (4 - 3). Is a at most -0.12?
True
Let m = 13 + -13.3. Are m and 0.4 nonequal?
True
Suppose 4*b + b = 0. Suppose 0 = -b*f - 4*f - 4. Is -2/11 less than or equal to f?
False
Suppose -8 - 2 = q. Let d be (q/15)/((-1)/6). Which is bigger: d or 3?
d
Let q = 0.13 - 0.072. Let f = q + -23.058. Is f at most as big as -1?
True
Let t = -0.4 - -0.3. Let u = -0.9 - 5.1. Let j = 6 + u. Are j and t equal?
False
Let m = 277 - 2767/10. Is -1 <= m?
True
Suppose 4*o - 26 = 3*o. Is 28 at least as big as o?
True
Let p be ((-1)/2)/(6/(-24)). Let y = 2 - p. Let v = -9/32 + 35/352. Is v not equal to y?
True
Suppose 3*n - 11 - 4 = -s, 0 = -n - 3*s + 5. Suppose 5*l = -20, q - n*l - 15 - 19 = 0. Suppose -w - w = q. Which is smaller: w or -8?
-8
Let d = 45/136 - -3/68. Is d != -16?
True
Let r = 19 + -13. Let g be ((-4)/r)/(91/39). Which is bigger: g or -2?
g
Suppose 0 = 2*k + l, -2*l + 4 = -0*l. Let w = -22.9 + 20. Let f = w - -0.9. Is k equal to f?
False
Let a(y) = y**3 + 9*y**2 - 11*y - 6. Let i be 2 - 3 - (-18)/(-2). Let d be a(i). Suppose 0 = 2*k - 8. Is d greater than k?
False
Let o = -44 - -21. Is o less than 0?
True
Let b = 11 - 9. Let m be 0 + -2 + 16/b. Do 6 and m have the same value?
True
Let x be ((-12)/9)/(5/30). Let c be -2 - ((-12)/x)/1. Is c equal to 0.2?
False
Let l be (-2)/(-8) - 11/(-4). Suppose -2*u + 0*u = -3*g + 7, -g + 8 = 5*u. Which is smaller: u or l?
u
Suppose 5*i + 114 = -16. Let g be 1 + 2*i/60. Is g greater than 2?
False
Let h be -7 + (-5)/((-25)/10). Which is bigger: 0 or h?
0
Suppose -16*t = -2*t + t. Let k(c) = 7*c + 1. Let v be k(-4). Let b be (-2)/5 + v/(-30). Are b and t non-equal?
True
Suppose 5*y = -4*h + 11, -3 = y - 5*h + 18. Is -1/40 < y?
False
Let v = 14205565032 - 15981261834284/1125. Let s = v - -9388/9. Let n = 1/125 + s. Which is greater: -1 or n?
n
Let d be (-3)/4 + -2 + 3. Let j = -99 - -99. Do j and d have the same value?
False
Suppose l + 44 = 24. Is l less than -24?
False
Let z = 161 - 159. Which is smaller: z or 1.7?
1.7
Let t = -0.043 - 10.457. Let b = 3.5 - t. Let z = b + -9. Is 1 > z?
False
Suppose 0 = -4*b - 0*b - 180. Let v be b/36*4/10. Let n = 2 + -1.8. Which is bigger: v or n?
n
Suppose -8 = -5*u - 33, 2*g + 3*u + 21 = 0. Let d = g + 2. Let r = 13 - 13. Which is smaller: d or r?
d
Let f = -13700 - -685081/50. Let z = 3/25 - f. Is -1 less than or equal to z?
False
Let l(f) be the second derivative of -f**5/20 + 5*f**4/12 + f**3/6 - 5*f**2/2 + f. Let t be 5*((-8)/(-2) + -3). Let w be l(t). Is -1 less than w?
True
Suppose 2*b - 3*b + 3*d = 22, 2*b + 36 = 4*d. Let u be (-4)/b - 6/15. Which is greater: -2/21 or u?
u
Suppose 4*h - 5 = 35. Let l = -2 + h. Is 8 bigger than l?
False
Let f be (-4)/6*3/(-2). Let d be f/1*(-4)/80. Let g = d + -37/60. Are -0.1 and g nonequal?
True
Let q = 0.4 + -0.5. Let s = -1.1 - q. Let b = 29/33 - 6/11. Which is smaller: b or s?
s
Let m be (-8)/5*1 - -2. Suppose -3*k + 1 = 4. Is k equal to m?
False
Let u be (-9 - -3)/((-20)/2). Is 0 less than or equal to u?
True
Let q(f) = -f**3 - 10*f**2 + f + 8. Let c be q(-10). Is 12 < c?
False
Suppose -g + 3 - 6 = 0. Which is smaller: g or -5/2?
g
Let n = 18 + -17. Let u(g) = g - 4. Let t be u(5). Are n and t unequal?
False
Let z = -3/241 + -19509/964. Let a = z + 21. Suppose -2*n + 5 - 1 = 0. Which is greater: n or a?
n
Let a = -3 + 3. Which is bigger: a or -0.03?
a
Let a(v) = -v**2 + 13*v + 15. Let d be a(11). Which is smaller: 38 or d?
d
Let g be (((-35)/28)/(-5))/((-2)/8). Let u = 40 - 124/3. Does u = g?
False
Let p = -14 - -13. Let f(s) = s**3 + 2*s**2 + s. Let q be f(p). Which is smaller: -2/9 or q?
-2/9
Let m be 2 + (-3)/(9/(-3)). Suppose -m*r - 3*c = -6, -2*c = r + c - 6. Suppose -y + r = 1. Is y <= 1/4?
True
Let v = 7 + -9. Let l be v/(1 - 3/5). Is l at most -5?
True
Let r be (-8)/12 + 26/3. Let d = r + -4. Is 3 != d?
True
Let o = 5 + -1. Suppose -u = u - 2*z + 4, 5*u - 26 = -o*z. Let r be u - -1 - 9/(-3). Which is smaller: r or 5?
5
Let q = -3.651 - 0.259. Let v = -0.09 + q. Is 0 > v?
True
Let k = -28.9 + 29. Let v = -0.05 + 6.05. Which is smaller: k or v?
k
Let x = -115462896 + 359205061091/3111. Let k = -279/122 - x. Let i = 4/17 - k. Which is smaller: i or 0?
i
Let i = -11 + 11. Let y = 3.2 + -3. Let x = 0 - y. Is x equal to i?
False
Let l be (-3 + 0)*1*(10 + -13). Is l less than 54/7?
False
Let k = 17 + -12. Suppose k*i + 11 = w, -3*i + 5*w = 4*w + 5. Is i greater than or equal to -7?
True
Suppose 2*w + t - 10 = 2, 4*w - t = 24. Let q(u) = u**2 - 5*u - 8. Let p be q(w). Let j be (p/(-2))/(2/2). Which is bigger: 2/7 or j?
j
Let t = 63/2 - 30. Is t bigger than 1/7?
True
Let x be (-1 - 3)*2/28. Which is bigger: x or -1?
x
Let f = 2 + -5. Suppose -4*w - w = 10. Which is smaller: f or w?
f
Let f = -1 + 0.3. Let l = -7 - -8. Let b = f + l. Is 0 > b?
False
Let u = -1796 + 8942/5. Which is greater: -9 or u?
u
Let o = 26.5 + -39.2. Let w = o - -13. Which is smaller: w or 0?
0
Let f = 7.7 + -8. Let s = 49 - 439/9. Is s at most as big as f?
Fa