 Is -3/5 at most g?
True
Let f = 1331/882 + -68/45. Let v = -2441/4410 + f. Is v at most -2?
False
Let j be (-3)/(-15)*(-5)/(-6). Which is greater: j or 1?
1
Suppose -f - 5*f = -21*f. Let h(c) = c**2 + c - 1. Let x(i) = -3*i**2 - 8*i - 5. Let o(z) = 2*h(z) + x(z). Let w be o(-6). Is w <= f?
True
Let w = 21 - 20. Is 1 at most w?
True
Let w = -3 - -3. Let x = w + -2.2. Let n = -0.8 + x. Which is greater: -2/3 or n?
-2/3
Let f = 10 + -8. Let p be -1 + (3 - 5) + 11. Suppose -f*u + p = -6*u. Which is greater: u or -12/5?
u
Let d be (-2)/(-6) + (-149)/105. Let q = d + 9/7. Are 2 and q non-equal?
True
Let m(r) = r**2 - 5. Let y be m(0). Is -4 >= y?
True
Let h = -15 - -1. Let c = -12 - h. Is 5/8 smaller than c?
True
Let r = -29 - -28.9. Which is smaller: r or -0.09?
r
Let p = -1 + 0. Let i = 2385/7 - 341. Is i at least p?
True
Let b be 1 + (-3 - (3 + -14)). Suppose 7*z - 19 = b. Suppose -4*p = 3 - 15. Is z >= p?
True
Suppose -3*o + 11 = -d, -o - 5*d = -2*o - 1. Suppose 2*q + o = 4*q. Suppose -1 = -q*u + 3*n + 6, -u - 2*n = 0. Which is smaller: 1 or u?
1
Let s(h) = -h**2 + 2*h - 1. Suppose 4*n = -3*x + 2, n - 6*n - 5 = 0. Let o be 1*3*x/6. Let z be s(o). Which is bigger: z or -1/5?
z
Let g = 20 + -19. Which is bigger: 2 or g?
2
Let y = -35 + 4691/134. Which is bigger: 0 or y?
y
Let b = 1 - 2. Which is greater: b or -3/38?
-3/38
Let n = 12 - 11. Does 15 = n?
False
Let a be 1/3 - (-6)/(-2). Let s = 2 + a. Which is bigger: -1 or s?
s
Let y be -4 - (2 - (6 - 2)). Let z be (-3)/(-18)*y*-3. Suppose -o + z = -0. Does 1/9 = o?
False
Let g(r) = 2*r + 28. Let l be g(-6). Is l not equal to 16?
False
Let s = 7 + -11. Which is bigger: s or -6?
s
Let h = 11 - 2. Do 1 and h have the same value?
False
Let q = 13 - 5. Let h(r) = 2*r**2 + 31*r + 123. Let l be h(-8). Does l = q?
False
Let p = -17 - -16. Which is smaller: p or -1/9?
p
Let g be (-2 - (1 + -5))*(-3)/(-6). Which is greater: g or -12?
g
Suppose 4*o + 5 = 3*g + 3, 2*g - 1 = 3*o. Is 4 >= o?
True
Let v = -65 - -59. Is -0.7 at most as big as v?
False
Let k be (-1)/(-3 - (-5)/2). Suppose -6 = k*f + y, -5*y = -3*f + 1 - 23. Which is greater: f or -2?
-2
Let u = -152 - -136. Which is bigger: 2 or u?
2
Let a = 2/19 - 44/57. Let b be (-82)/((-2)/1) + 0. Suppose 5*n + 5*y - 20 = 0, -3*n + 5*y - b + 13 = 0. Which is bigger: a or n?
a
Let w be (-3)/6*4/(-10). Let q = 8/15 - w. Are q and 1 non-equal?
True
Let a(c) = -8*c - 4. Let m be a(-2). Is 12 at most as big as m?
True
Let k be 1 - (3 - (2 - 1)). Is k smaller than -18/11?
False
Let v be 2*2/(-10) + 1416/40. Is 35 greater than v?
False
Let q(s) = s**2 - 10*s + 13. Let m be q(8). Is -1 <= m?
False
Suppose 0 = 2*p + 2*p - 16. Let h = 1 + p. Is 5 less than h?
False
Let r = -1 - -2. Are 5 and r nonequal?
True
Let r = -11.4 - -1.5. Let m = 10 + r. Does 0 = m?
False
Suppose 1 = 3*f - 20. Is f equal to -2/5?
False
Suppose 4*h = -0*h. Let n = h - 1. Which is bigger: -1/5 or n?
-1/5
Suppose -4*q = -0*n + n - 8, 0 = n. Suppose 2*p + 3*p - 5 = 0. Is p greater than q?
False
Let y = -133 - -140.84. Let j = y + -8. Is 2/3 at most as big as j?
False
Let i be (-4 - -1) + 0/(-1). Let v = 61 + -62. Which is smaller: i or v?
i
Let d = 15.96 + -13.9. Let m = -0.06 + d. Let k = m - 2. Is 0.2 at most as big as k?
False
Let y(z) = -z**3 - z**2 + z. Let b be y(0). Suppose -3*g + b = 9. Let r = g - -2. Does -2 = r?
False
Suppose -4*c = -66 - 98. Is c bigger than 40?
True
Let r = -0.7 + -0.3. Is r not equal to 6?
True
Suppose 0 = -4*u - 0*u + 8. Which is bigger: u or 12/11?
u
Let u(y) = 25*y - 5. Let m(v) = 5*v - 1. Let o(l) = -11*m(l) + 2*u(l). Let a be o(1). Which is smaller: a or -5?
-5
Let u be (1 + (-20)/18)*-14. Are u and 3 nonequal?
True
Suppose 0 = 5*m + 20. Let o be (-10)/4*m/20. Let n = 5 + -3. Is o greater than or equal to n?
False
Let l be (3/(3/2))/(-21). Let n(x) = -x**3 - 10*x**2 + 11*x + 1. Let j(k) = k**3 + 3*k**2 + 5. Let b be j(-4). Let y be n(b). Is l greater than or equal to y?
False
Let u = -18.2 + 23.2. Suppose -3 + 8 = -5*r. Let l = 0 - r. Is u smaller than l?
False
Let a be (-4 + 5)*4/14. Which is smaller: a or 3?
a
Suppose 2*x = -4*m - 36, x + 6 = 2*m - 4*x. Which is smaller: m or -0.2?
m
Let w = 4.07 - 0.07. Let u = -9.3 - -9.4. Which is bigger: w or u?
w
Suppose 2*t + 142 = z, -11 - 60 = t + 5*z. Is -70 greater than or equal to t?
True
Let p = 4 + -6. Let r = -4 - p. Which is smaller: r or 3?
r
Let a(f) = 2*f**2 - 4*f + 2. Let p be a(2). Let q(d) = -d**3 + 14 - 4 - 13*d + 13*d**p + 0. Let k be q(12). Which is smaller: -2/9 or k?
k
Let g = 197/55 + -17/5. Which is greater: 0 or g?
g
Let z = 0.3 + -0.2. Let m = 7 - 4. Let v = -2.8 + m. Which is bigger: z or v?
v
Let w = 7 + -8. Suppose i + 4*i - 15 = 0. Let d be (i/(-6) - -1)*-1. Is w at least d?
False
Let g = 41 - 41. Is 2/11 equal to g?
False
Suppose -2*z + 3*k - 12 = z, -4*z + 2*k = 12. Let d be (-135)/60 - 4/z. Is 1 at least d?
True
Let r be (-214)/(-4)*(-13)/(117/(-18)). Is r greater than 107?
False
Let d be 2/6 + (-5)/33. Suppose 19 + 6 = -5*c. Let h = c + 4. Which is smaller: d or h?
h
Let k be 4/(-18) + 6/27. Suppose c - 5 = -2*a, -c - a + 0*a + 5 = k. Let m = c + -1. Does m = 4?
True
Let n = -1 - -1.3. Let h = -27 - -25. Which is bigger: n or h?
n
Let l be 46/(-12) - 1/(-3). Is 2/3 greater than l?
True
Let w be (2 - 3)*-17 + 4. Let b be 0 + (-3 - (-60)/w). Which is smaller: b or 1?
b
Let m be (6/(-15))/((-24)/15). Let t = -0.76 - -4.06. Let c = -3 + t. Is c at least m?
True
Let n = -28 + 28. Which is smaller: -0.64 or n?
-0.64
Suppose 0 = 5*y - 6 + 1. Let f(d) = -d + 2. Let g be f(2). Let i be g/(-1) - 12/(-14). Which is greater: y or i?
y
Let n(s) = s - 2. Let y be n(4). Let m be (-1)/((-905)/1458) - y. Let f = m + -2/181. Do -1 and f have the same value?
False
Suppose 0 = 4*a - 3*a - 4. Let s be ((-2)/(-2))/(a/(-2)). Which is smaller: s or -1?
-1
Suppose 0 = 5*f - 3*u, f + 10 = 3*u - 2. Suppose -f*w + 12 = -2*w. Which is smaller: w or 11?
11
Let r = 4 + -4.04. Let x = r - -0.14. Which is smaller: x or 3/10?
x
Let o = 7 - 8. Are 4/15 and o non-equal?
True
Let s(d) = 0*d + 0*d - 2 - d. Let f be s(-2). Let c be (-8)/(-30)*10/12. Which is smaller: c or f?
f
Let o = -1.8 - -2.2. Which is smaller: o or -0.06?
-0.06
Let v = -130 + 131. Let q = -1/11 - -80/33. Is v equal to q?
False
Let q be (-42)/(-7)*(-2)/4. Is -10/3 at most q?
True
Let y(m) = 3*m**2 - 5*m + 5. Let i be y(-5). Let c be (-1)/(-3) + 40/i. Which is bigger: 2 or c?
2
Let i = 6 - 0. Let p be i - 3 - (1 + -4). Which is greater: 7 or p?
7
Let m be (26/(-65))/((-2)/(-10)) - -5. Which is smaller: m or -3/2?
-3/2
Let h = 1.2 + -4.2. Which is greater: 2 or h?
2
Let t = -128/429 - 5/143. Let z(s) = -s - 6. Let g be z(-6). Let w = -1 - g. Is t greater than or equal to w?
True
Suppose 4*f - 6*f - 10 = 0. Let x be (-1)/4 + f/(-4). Which is greater: 6/5 or x?
6/5
Let y(x) = -x + 7. Let q(n) = 2*n**2 - 2*n - 1. Let s be q(2). Let b be y(s). Is 1 less than b?
True
Let c(h) = -2*h + 4. Let x be c(4). Suppose 6*f - 2*f = -3*r + 37, -4*f + 5*r + 45 = 0. Let u be x/(-18) - f/45. Which is smaller: -1/4 or u?
-1/4
Let h be (4/(-6))/(10/(-6)). Suppose 4*l = 6 + 2. Let s be (0/(l - -1))/2. Is h equal to s?
False
Let q be (1 - -2)/(12/8). Suppose 4*l + 18 = 2*y, 2*l = 5*y + l - 9. Which is bigger: q or y?
q
Let a = -93 + 70.5. Let s = a - -16. Let y = s + 6. Is -1/2 at least as big as y?
True
Let w = 10792 - 593957/55. Let o = 37/5 + w. Suppose 1 = 3*r - 2*r. Is o greater than r?
False
Suppose 2*y = p - 2*y - 16, 2*y + 8 = 5*p. Suppose 2*z + 5*l + 41 = p, l - 74 = 5*z + 4*l. Which is smaller: z or -1?
z
Let l = -8.894 - 0.106. Which is bigger: l or 0.08?
0.08
Let f = -16 + 26. Which is smaller: 7 or f?
7
Let d(v) = 6*v - 21. Let o be d(6). Which is smaller: 16 or o?
o
Let a = -1.6 - -2.6. Is a greater than -2?
True
Let a = 10.5 + 1.3. Let p = 20 - a. Let r = p - 8. Which is bigger: 1 or r?
1
Let y = -771 - -91. Let j = 484 + y. Let v = j - -1760/9. Which is bigger: v or 0?
0
Let a(r) = r**3 - 9*r**2 - 10*r + 4. Let h be (20/3)/(6/9). Let w be a(h). Is 1 smaller than w?
True
Let j(v) = -v**2 + v + 3. Let w be j(3). Do 1 and w have the same value?
False
Suppose 0 = -2*d + 5*d + 3*f - 9, 23 = -3*d + 5*f. Let i(l) = -4*l - 2. Let c be i(-2). Suppose 0 = -2*y + c*y + 4. Doe