 greater: m or 1/4?
m
Suppose -1 = o - 2. Let m = 0 + o. Let l(n) = n - 3. Let c be l(4). Is m equal to c?
True
Let j = -0.23 - 0.77. Let v = -5.2 - -5. Which is bigger: j or v?
v
Suppose -3*i + 0*h + h + 28 = 0, i - 3*h - 20 = 0. Which is smaller: 10 or i?
i
Let b(x) = -4*x**3 + x**2 - 1. Let l(m) = 5*m**3 - m**2. Let u(p) = -4*b(p) - 3*l(p). Let j be u(0). Suppose -3*a + a = j. Is -3/5 at most as big as a?
False
Let n = 0.09 - 0.21. Let c = 9 + -9. Which is bigger: c or n?
c
Let g = -2.5 - -3. Let n = g - 0.3. Let d = -0.6 - -1.6. Is d at least n?
True
Let m = 242/3 - 80. Let l(c) = -c**3 + 6*c**2 + 6*c + 8. Let v be l(7). Is v greater than or equal to m?
True
Let t be -2*4/(-8)*(-83)/(-4). Which is smaller: 22 or t?
t
Let c be (17/3 - 3)*-12. Which is smaller: c or -31?
c
Let m = -9.4 - -1. Let b = m - 0.6. Let i = 8.7 + b. Are i and -1 non-equal?
True
Suppose 4*v - 5 - 3 = 0. Let n be 8/(-102)*(-3)/v. Which is smaller: n or 0?
0
Suppose 0*d - 2 = -d. Let x = 13 - 4. Suppose -5*b + 3*o + x = 0, -o - 2*o + 6 = 0. Are d and b equal?
False
Suppose -2*a - 56 = 2*g - a, 5*a + 37 = -g. Is -27 at most as big as g?
True
Let q be 33/(-22)*2/9*3. Let d = -9/58 + 305/1218. Is d at most q?
False
Let b be 2 + 1/(-1) + 0. Suppose -l + 4*r - 15 = 0, l - 5*r + 22 = 3*l. Is b equal to l?
True
Let j(w) = 7*w**2 + w + 2. Let s be j(-1). Let u be (-8)/8 + 10/s. Which is bigger: 7 or u?
7
Let i(h) = 24*h**2 - h - 6 - 25*h**2 - 5*h. Let u be i(-6). Let f(v) = -2*v - 9. Let w be f(u). Are w and 2 equal?
False
Suppose 0 = -3*s + 6, -94 = 4*m + 4*s - 26. Which is bigger: m or -20?
m
Let f = -16 + 16. Let b be 4/10 + 7/(-30). Which is bigger: f or b?
b
Let c be 3/(-6)*2*1. Let m(g) = -3*g - 85. Let k be m(-29). Which is bigger: c or k?
k
Let c be (-4)/(-14) + 9/(-7). Let h(t) = -t**3 - 7*t**2 + 5*t - 7. Let v be h(-7). Let x be ((-2)/(-6))/(28/v). Is x greater than or equal to c?
True
Let q = -4 - -6. Let h be 6*(0 + 2/4). Suppose -2*j = -h*j - 1. Is j bigger than q?
False
Let r be -1 - (-3 - 15/(-6)). Let u(q) = q**3 - 7 + 5*q - 5*q**2 + 0*q**3 - 2*q**3. Let y be u(-6). Which is bigger: y or r?
r
Let y(b) = -b**2 - 7*b - 1. Let q be y(-7). Is -1/10 bigger than q?
True
Let r be (0*2/4)/2. Let h(i) = i**3 + i**2 - i + 1. Let a be h(r). Which is smaller: a or 5/3?
a
Let d = -24 + 13. Let o = d + 23. Which is smaller: o or -2/7?
-2/7
Let f(l) = l + 1. Let q be f(-2). Is 3/14 greater than q?
True
Let p = -20 + 20.9. Let x = 1 - p. Which is greater: 4 or x?
4
Let o(u) = -84*u + 5. Let s be o(-1). Is 89 < s?
False
Let w be (-338)/3 + (-1)/(-3). Let v = -111 - w. Which is greater: v or -0.1?
v
Let z = -312 + 6863/22. Which is greater: 0 or z?
0
Let n = -1/635 - 12063/1270. Let p = n - -10. Which is bigger: p or 2?
2
Let i = 14 + -20. Which is smaller: i or -3?
i
Suppose 3 - 18 = p. Which is bigger: -17 or p?
p
Let w be (-3)/(-4) + 53/4. Let x = -4 + w. Let p = -14 + x. Is p > -2?
False
Let f(m) = -10*m. Let g be f(-8). Do 81 and g have the same value?
False
Suppose -8 = -8*x + 8. Let u be (-47)/(-20) + (-2)/(-5). Which is greater: x or u?
u
Let i be 0 + -22 - (-8)/((-2)/(-1)). Which is smaller: -14 or i?
i
Let p = -57 - -57. Which is smaller: p or -4?
-4
Let g(k) = -4*k**3 - 2*k**2 - k. Let y be g(-1). Suppose 3*v = 5*n - 2*n - 9, -5*n - 3*v + 23 = 0. Suppose n*z = -0*z. Does y = z?
False
Let i be 4/(-2) + (3 - 5). Let d = -11 - i. Let g be 4/d*2/(-4). Is g greater than 1?
False
Let l = -57.05 + 0.05. Is 2 bigger than l?
True
Let r be (-39)/6 - (-4 + 2). Is r less than -4?
True
Let i = 0.214 - 0.054. Is -0.1 bigger than i?
False
Let z = -3 - -3. Suppose -4*o = -z*o. Let a be 24/(-112) + (-2)/(-4). Do a and o have the same value?
False
Suppose -g = g. Let t = 123 - 497/4. Which is smaller: g or t?
t
Let h be (-12)/9 - 2/3. Suppose d + 3 = -a, -2*a + 6 = 5*d - 3. Let j be (-2)/a*(-4)/3. Which is greater: j or h?
j
Let k = 10 - 9.2. Let v = 1.8 + -2. Let r = k - v. Do -2/11 and r have the same value?
False
Let d = -840 - -21837/26. Is d less than -1?
False
Let w(m) = 3*m - 4. Let u(r) = -4*r + 3. Let z(l) = 2*u(l) + 3*w(l). Let c be z(5). Let y = 3 - 3. Is y equal to c?
False
Suppose 4*f + f = 30. Suppose -5*y = -2*l - 3, 3*l + 2*y + 1 = f. Let x = 32 - 32.2. Which is smaller: l or x?
x
Let w = 6/37 + -79/259. Suppose 18 = 3*b + 3*s, 0 = 5*b - 2*s - 14 + 5. Suppose 2 = y + b. Is y at least w?
False
Let s be (-1)/4 - (-2)/8. Suppose s = -5*t + 5. Suppose 2*a - t = 3*a. Which is smaller: a or -2/5?
a
Let i = 16 + -11. Let f = -5 + i. Which is smaller: f or 1/19?
f
Let m be ((-1)/(-2) - (-8)/16)/1. Is m smaller than 1/173?
False
Let p(i) = -3*i - 5. Let k(r) = 2*r + 5. Let c(u) = -6*k(u) - 5*p(u). Let h be c(5). Let m = -9 + h. Is 1 at least m?
True
Let c be (-2)/4 - (-3562)/6916. Is 0 equal to c?
False
Suppose 2 - 8 = 2*s. Let x = s + -3. Is -4 smaller than x?
False
Let w = -3 - -2. Let b = -6856/9 + 761. Is w bigger than b?
False
Let w = 0.09 + 0.71. Let n = -1.8 + w. Which is smaller: 0.2 or n?
n
Suppose p = -4*o + 2, -p - 1 + 2 = 5*o. Suppose c = 7 - p. Which is greater: c or 5/6?
c
Let b be (-1 - -2) + -12 - -1. Let t be (-2)/15*45/b. Are 0 and t equal?
False
Suppose 0 + 7 = -u. Let r = u + 8. Is 8/5 > r?
True
Suppose -m = -2 + 3. Let c be (-23)/3 + 7/(-21). Let a be (4/c)/(1/4). Are a and m non-equal?
True
Suppose -3*x = -u - 6*x + 1, 0 = 3*u - x + 17. Which is smaller: u or -0.5?
u
Let x = 71 + -71.2. Which is greater: x or 7?
7
Let l(w) = w**2 - 6*w + 5. Let h be l(5). Suppose 0 = -5*z + 70 - 220. Let q be (2/16)/(5/z). Which is bigger: h or q?
h
Suppose 50 = 3*f + 2*f. Suppose 4 = -a + f. Suppose -a*l - 6 = -3*l. Which is smaller: -1 or l?
l
Let b be (-33)/(-11) + (0 - 1). Suppose 0 = -5*o - 15, 35 = b*r - 6*r + 3*o. Is -11 < r?
False
Let n be 2*(-4)/((-8)/(-2)). Let s be 14/63 + n/(-18). Is s greater than 2/7?
True
Let l = 4 - 4.3. Let c = l - -3.3. Let a = 3 - c. Is a <= 0.03?
True
Suppose -x = 2*u - 0 + 11, 4*u + 37 = -5*x. Let r be (-2 - -2)*(-2 - u). Let b = -471/1673 - 1/239. Is r equal to b?
False
Suppose 2*c - 4*c + 14 = 0. Let j = c - 8. Does j = 1?
False
Let a be 2/10 - 72/(-15). Suppose -43 + 7 = -6*q. Is q <= a?
False
Let l be 2/(-20)*(-64)/(-12). Let v = l - -1/5. Let f = -8 + 7. Is f >= v?
False
Let y = 85 - 148. Is y less than or equal to -64?
False
Let w(h) = 8 - 2 + 0*h + h + 3. Let b be w(-8). Is -1/8 bigger than b?
False
Let n = 5 - 5. Which is smaller: 4/3 or n?
n
Let s = 0.09 + -0.04. Let h = 0.25 - s. Are 5 and h non-equal?
True
Let z = -0.14 - -4.14. Is 0 less than or equal to z?
True
Let b = 19 - -1. Suppose 2*n - b = -3*n. Do 3 and n have the same value?
False
Let u = 9 + -5. Let x be 6/u*(-2)/3. Is -2 smaller than x?
True
Let a = 2 + -2. Let y = -168761/6 - -28188. Let c = 61 - y. Which is smaller: c or a?
c
Let t be (-3 + 1)*((-21)/6)/7. Is 1/81 smaller than t?
True
Let d = 89 + -39. Let o be (-3)/(12/190) + 0. Let m = o + d. Which is bigger: 4 or m?
4
Suppose -5 - 23 = -4*t. Which is greater: 8 or t?
8
Let a = 44503/24 - 1853. Let d = a + -7/6. Is d less than or equal to -2/9?
False
Suppose v - 11*v - 870 = 0. Is -87 at most v?
True
Let h = 10 - 13. Is -5 at most h?
True
Let g = 39 - -5. Which is greater: g or 43?
g
Let a = 172 + -160. Are 6 and a non-equal?
True
Let i = 171 - 180. Which is bigger: -2/13 or i?
-2/13
Let j = 7 - 6. Are j and 1/7 unequal?
True
Suppose 2*t - 1 = 7, 0 = 2*i + t - 8. Suppose 3*y + i*y = 0. Are y and 1/9 equal?
False
Let p = -11 + 10.9. Is 2 at most p?
False
Let i be (4/(-4))/((-9)/(-45)). Is -6 <= i?
True
Let a be 1 + 0/1*(-11)/33. Which is smaller: 2/11 or a?
2/11
Suppose -10 = 5*g + 5. Suppose -r + 105 = 2*r. Let j be r/(-10) - (-2)/(-4). Is j at least as big as g?
False
Let g = 39 + -32. Which is smaller: 4 or g?
4
Let z be 2 - (-1 - 4/(-2)). Let n be -1 + z - 8/20. Is n greater than -1?
True
Let b be 5/(20/(-5) + 10/2). Are b and 11 equal?
False
Suppose 0 = 2*n, -3*m + 18 = -2*n - 3*n. Let y(t) = 8 - t**3 + 7 - 7 - 8*t**2 - m*t. Let i be y(-7). Which is bigger: i or 3/7?
i
Suppose 21 = 3*n + 63. Let d be 8/n*28/(-8). Which is bigger: 1 or d?
d
Let d = 0 - -1. Suppose d = 2*i - 3. Which is smaller: 3 or i?
i
Let j be ((-6)/(-9))/(4/(-12)). Let i = j - 5. Which is bigger: i or -5?
-5
Suppose -2*x = 3*t + 3,