. Let u = -6 + 8. Suppose -3*t - v = -u*t. Is t < -1/8?
True
Let d = -2 - -2. Let c = -2 - -1.8. Is c bigger than d?
False
Let l = -187/4 - -47. Suppose 4*n - 2 = -18. Let b be (-2)/n + 1/(-2). Is l at least b?
True
Suppose 11 = 5*d - 4. Suppose -7 + 4 = 3*m - 3*g, -5*m + 3 = -d*g. Suppose 4*k = -2*i + 2, 2*i - 5 = -m*i - k. Which is bigger: i or 2?
2
Let d = 87 + -86. Let s be 2/4*12/171. Is s at least as big as d?
False
Let z(l) = 8*l**2 + 8*l + 4. Let y(d) = d**2 + d + 1. Let g(t) = -2*y(t) + z(t). Let f be g(-2). Which is greater: 13 or f?
f
Let o = 5 - 2. Is o > -9?
True
Let p be ((-2)/(-72))/(3/9). Is 0 >= p?
False
Let q(i) = i**3 - i**2 + 2*i + 10. Let x be q(0). Which is smaller: 3 or x?
3
Let w(g) = -3 + 9 + 2*g - 1 - g. Let l be w(0). Let b be (-12)/(-15) - 3/l. Which is smaller: 1 or b?
b
Suppose 3*r + 8 = -4. Let t be (r/8)/(2/(-36)). Is t < 8?
False
Let v = -1248659/118230 + -31086/563. Let z = 395/6 + v. Which is greater: z or -1?
z
Let v = -1703/9 + 189. Suppose 8*o = 3*o. Which is smaller: v or o?
v
Let b = -14 + 15. Let o = 187/9 - 62/3. Which is smaller: o or b?
o
Let h = 2 - 2.1. Let q = h + -0.1. Let c = -0.07 - -0.27. Are c and q equal?
False
Let x = -2.99 - -3. Let q = 2.01 - x. Let r be (0 - (2 + -5)) + -4. Which is smaller: q or r?
r
Suppose 0 = -4*c + s + 42 - 189, 111 = -3*c + s. Which is smaller: c or -37?
-37
Let f(h) = h**2 + 3*h + 1. Let i be f(-2). Let r = i - 1. Is -1 greater than or equal to r?
True
Let n be 24/(-3)*18/212. Let z = n - -2/159. Which is smaller: z or 6?
z
Let m(s) = s**3 + 7*s**2 + 5*s - 4. Let j be m(-6). Let v(g) = -g**2 + 2*g. Let a be v(j). Suppose -16 = -y - 5*u, -3*y + a*u - 4 = 2*u. Are y and -2 non-equal?
True
Let o(t) = t**3 - 3*t**2 + 1. Let a be o(2). Is -4 bigger than a?
False
Let w(n) = n**3 - n**2 + 10. Let h be w(0). Let v be (-3*3 + 0)*10/(-10). Which is smaller: v or h?
v
Let j(p) be the third derivative of p**6/120 + p**5/15 - 5*p**4/24 + 3*p**2. Let n be j(-5). Is 0 at most n?
True
Let a(w) = w**3 - 6*w**2 - 5*w - 10. Let p(y) = 2*y**2 + 2*y + 3. Let d be p(-2). Let l be a(d). Suppose -l*o = -5*o + 1. Which is greater: -1 or o?
o
Suppose 15 + 0 = 5*h. Let d = h + -2. Suppose 0*a = 3*a + 5*q, -4*a = -4*q. Which is smaller: a or d?
a
Let h = 13 - 11. Are -1.1 and h non-equal?
True
Suppose 3*d - 2*t + 1 = 0, -4*t - 22 = 3*d - d. Let u = -1 - d. Let l = -13/7 + u. Which is greater: -1/2 or l?
l
Let a be (-74)/(-176) + (-14)/7. Let y = -16/11 - a. Are y and -1 unequal?
True
Suppose 60 = 3*t - 4*g - 4, -4*t + 85 = -5*g. Suppose -2*z = z - 12, 0 = 4*p - 3*z + t. Is p smaller than -2?
False
Let s = 3 - 4. Let y(m) = m**3 - 17*m**2 - m + 17. Let u be y(17). Which is smaller: u or s?
s
Suppose 4*a - 2*w + 24 = 0, -a - 2*w = -0*a - 4. Let f = 4 + a. Let y be 10/25 - (-21)/(-15). Which is smaller: f or y?
y
Let b(v) = v**2 - v. Let p be b(1). Suppose 0 = -2*o + 4*j + j + 29, p = -5*o - 2*j. Let c = -2 + o. Which is greater: c or 1/2?
1/2
Let r be (150/280)/(36/14). Which is smaller: r or -1?
-1
Let g(l) = l**2 + 3*l - 5. Let y be g(-5). Which is bigger: y or 18/5?
y
Let r be (-28)/96*2/(-14). Which is bigger: r or -1?
r
Let i be 0/((-3)/(6/(-4))). Let v be ((8/(-57))/(-4))/(13/(-78)). Is v at most as big as i?
True
Let c = 20 - 18. Let x = -0.4 + 0.5. Is x bigger than c?
False
Suppose -4*i + 8*i - 3*l + 30 = 0, -40 = 5*i - 5*l. Let q = -8 - i. Suppose 4*s = 1 - 5. Is s less than q?
False
Let c be 8/(-6) - (-1)/3. Which is smaller: 2/227 or c?
c
Let u be 6 + 6/4*-2. Suppose -u*p = -p + 4. Are -2 and p unequal?
False
Let o be 0*(-4)/(8/1). Is -1/33 greater than o?
False
Suppose 4*j + k = 53, -j + 2*k - 10 = -30. Let z be 10/j - 6/(-21). Which is greater: z or 0?
z
Suppose 5*s + 4*b - 19 - 6 = 0, b + 15 = 3*s. Suppose -s*k + 10 = 5*l, k - 3 = 3*l - 1. Which is bigger: k or 1?
k
Let a = -1.01 + 0.11. Let b = -0.3 - 0.2. Let k = b - a. Which is greater: k or 1?
1
Suppose 0 = -4*c - s + 3, 0 = -2*c - 4*s - 3 + 1. Is c greater than 1/13?
True
Let p = -187/31 + 5243/124. Let b = p - 36. Let m be (-1 + 2)/(1/(-1)). Which is greater: b or m?
b
Let o = 3/25 - 77/225. Let h = -31/54 - -2/27. Do o and h have the same value?
False
Suppose 8*n - 12*n - 8 = 0, -2*n = -2*y + 8. Is 3 <= y?
False
Let x = 20.6 - 21. Let f(z) = z + 1. Let l be f(-3). Is x <= l?
False
Suppose 4*t - 10 = -154. Let x = t - -35. Let u(w) = -w**3 - 5*w**2 + 7*w + 5. Let r be u(-6). Is x < r?
False
Suppose -2 = -2*f - 6. Let b be (-3)/3*(f - -4). Is -1/2 != b?
True
Let k = 344/3 + -451/3. Let b be 2/(-3)*(-2039)/38. Let z = k + b. Which is smaller: z or 1?
z
Let g = 7 - -2. Let p(s) = -s + 8. Let a be p(g). Let j be (-2)/a - (0 + 0). Is j bigger than 1?
True
Let m be (4/(-30))/(2/(-3)). Let t be 3 - (-2 - -1) - 0. Suppose -u - u = 3*l + 14, -t*u - l - 8 = 0. Is u at least m?
False
Let w = -0.031 + 6.031. Which is greater: 1 or w?
w
Suppose 37 = 3*k - 17. Let c be (-4)/k + 90/(-1053). Do c and 0 have the same value?
False
Let g = -3.4 + 7.3. Let x = g + -4. Are 3 and x unequal?
True
Let b be 12/(-4)*1 - -7. Let q(s) = -s**3 + 3*s**2 + 3*s + 1. Let l be q(b). Is l greater than -3?
False
Let n = 2.39 + -0.19. Which is bigger: 0.1 or n?
n
Let o = 10 + 10. Which is smaller: o or 37/2?
37/2
Suppose 0 = t + 4*l - 14, t + 0 = l - 11. Which is bigger: -7 or t?
t
Let f = -7 + 8. Let c be (-36)/21*f/2. Is c less than or equal to 0?
True
Let a be (-38)/60 - 7/(-14). Is -1 bigger than a?
False
Suppose 0 = -t - 2*t - 177. Which is smaller: t or -60?
-60
Let p be 6/(-141) + 0 + 0. Let d = p - 43/94. Is d bigger than 3/5?
False
Let c be (-5)/2*36/(-15). Let o = c - 4. Let f be o - (-2 + 3) - 4. Is -2 greater than or equal to f?
True
Let x be 19/(-6) + 7/14. Which is smaller: x or -3?
-3
Let v be (0 - 2) + (-8)/4. Which is greater: v or -27/5?
v
Let l = 40 + -21. Which is greater: 2/5 or l?
l
Let w = -528.97 - -532. Let y = w - 0.23. Let n = y + -3. Is -0.1 less than n?
False
Let t(b) = -b**3 - 3*b**2 + 2. Let n be t(-2). Suppose -15 = -5*o + 5*l, 0 = -4*o - 2*l - l - 9. Suppose o = -4*r + 2*i - 12, -4 = -0*r - r - 3*i. Is r != n?
False
Let a = 0 - 3. Which is greater: 0.3 or a?
0.3
Suppose p = -4*v + 8, 5*p - 6 = 4*v + 10. Let y be (11/(-22))/(p - -1). Which is bigger: 1 or y?
1
Let u = 2 - -1. Suppose -2*j + 0 = 3*q - 16, 2*j = u*q + 4. Let n be (-2)/(-8) - 66/(-24). Is j smaller than n?
False
Let k = 0.22 - -0.08. Let j(m) = -m**2 - m. Let r be j(-1). Which is smaller: r or k?
r
Let u = -0.26 - -0.06. Let q = u + 0.1. Let s = -3.8 - -4. Which is bigger: s or q?
s
Let y = 11 + -10. Do y and 18 have different values?
True
Let j be (18 - 15) + 14/(-6). Which is bigger: 0.09 or j?
j
Let q = 1 - 0. Let y = 53/30 + -4/15. Which is smaller: y or q?
q
Let w(i) = -3*i**2 + 3*i - 5. Let x(g) = -16*g**2 + 14*g - 26. Let q(m) = -11*w(m) + 2*x(m). Let c be q(4). Let u be (3/(-2) - c)/(-8). Are u and 1 unequal?
True
Suppose 4*f + 11 = -2*l - 3, 0 = l - 3*f - 18. Let h be (10/(-8))/5 - 25/(-4). Which is smaller: h or l?
l
Let v be ((-2)/12)/(48/(-108)). Which is greater: 0 or v?
v
Let t = -0.3 - 1.7. Let u = -1.6 - t. Is u less than or equal to 0.1?
False
Suppose 0 = -9*j + 11*j - 2. Is 7/3 < j?
False
Suppose 0 = -2*w + 3 + 3. Suppose -w*u - 2 = -4*u. Suppose -u*l - 9 = -5*l. Which is smaller: l or 2?
2
Let w be (-53)/(-123) - 2/6. Let t = 57/164 - w. Let r be 4 + ((-18)/15)/((-2)/(-5)). Which is greater: t or r?
r
Let r = 110 - 59. Suppose 5*t = -v + r, 4*t - v - 9 = 3*t. Let g = t + -9. Is 5 != g?
True
Let p = -8/11 - -13/33. Let b = 2 + -1. Are b and p non-equal?
True
Let v be -7 + 7 - (2 - 3). Are 6 and v equal?
False
Let l(b) = b + 3 - 3. Suppose 0 = 2*t + 3*m - 5, -3*t + 5*m = 2. Let n be l(t). Which is smaller: 0 or n?
0
Let x be 1 + 3*-1 + -2. Let n(q) = -5*q - 4. Let k be n(-1). Is x smaller than k?
True
Let x be (1 - (-24)/(-15))*(-16)/(-12). Let v be (-14)/18 - 4/18. Which is smaller: v or x?
v
Let a = 12.7 + -13. Let l = -5 - -4.6. Let b = l - a. Which is bigger: 7/5 or b?
7/5
Let m be 4*-89*1/4. Let j = m + 447/5. Which is smaller: 0.7 or j?
j
Let q = -16 + 26. Suppose c + 5 = 3*w, -5*w + 3*w + 2*c + q = 0. Let i(z) = z + 2. Let x be i(-2). Is w at least as big as x?
True
Let z be ((-1871)/(-5))/(12/(-10)). Let m(c) = -40*c**3 + 2*c**2 + 2*c 