*g + 5*i. Is 2 at least as big as g?
True
Let j = -11/9 + 95/63. Let n = -167/5 - -164/5. Which is greater: j or n?
j
Let t = 10 + -7. Let m = 4 - t. Is m greater than or equal to 0.1?
True
Let i(q) = 2*q**2 - 4. Let t be i(3). Which is bigger: 16 or t?
16
Let s = 6/49 + -324/245. Is s != -1?
True
Let p = 1 - 2. Let a be 3/12 - (1 + p). Let x be (-2)/10 - (-2)/10. Which is bigger: x or a?
a
Let j(w) = -1 - 1 + 7 - w. Let l be j(6). Let m = -127/363 - -2/121. Are m and l non-equal?
True
Suppose 7 + 13 = 5*q. Suppose 6 = -q*h + 2. Is -1/7 greater than h?
True
Suppose -13*w = -14*w + 2*u - 137, 0 = -5*w + 4*u - 691. Is -139 at least as big as w?
True
Let c be (16/10)/(-2)*-5. Suppose -5*j = -c*j + 1. Which is greater: -4/3 or j?
j
Let t(q) = q**2 + 4*q + 5. Let c be t(-5). Let w be (-9)/(-5) + 2/c. Let h be (-8)/10*w/(-4). Do 1 and h have different values?
True
Let w = -81 - -81. Do w and 2/5 have the same value?
False
Let o = -17 - -35/2. Let v = 9 - 8.6. Which is greater: o or v?
o
Let r be (8/36)/((-2)/(-3)). Let m = -67 - -65. Is r smaller than m?
False
Let h be (0/3)/(4/2). Let k = 0 + -2. Which is smaller: h or k?
k
Let d = -11.58 + 12. Let m = d - 0.12. Is m less than or equal to 2?
True
Suppose -9*i + 12*i = -3. Let u = 2 + -4. Which is smaller: u or i?
u
Let y(s) = 2*s**3 - 2*s**2 + 1. Let l be y(-1). Let t be (2/(-3))/(2/l). Which is smaller: 0.09 or t?
0.09
Let r = -3.8 + 4. Let l = r + -0.6. Let w = l - -0.3. Which is bigger: w or 0.1?
0.1
Suppose 3*b + 1 + 23 = 0. Let r be ((-3)/4)/(2/b). Let n(t) = -t**3 + 4*t**2 + 3. Let y be n(4). Is y not equal to r?
False
Suppose 0*h + h = 5. Suppose h*t - 6*t + 7 = 0. Suppose 0 = -3*q - c - 19, 2*q - 43 = t*q - 4*c. Is -8 not equal to q?
True
Let o(d) = 7*d**3 - 1. Let a be o(1). Let y = a + 0. Let h be (2/8)/(y/16). Are h and 1 unequal?
True
Let f(k) = k**3 + 3*k**2 - 4*k + 2. Let s be f(-4). Suppose s*o = g - 0 - 2, 0 = -5*g. Suppose 3*j - 7*j = -2*d + 18, -2*d = -10. Is j less than o?
True
Let o = 0.2 + -0.1. Let k = o - -0.9. Let p = 1004 + -1014. Is p <= k?
True
Let a = 3/5884 + 317703/64724. Which is smaller: 6 or a?
a
Let r = 0.066 - 0.266. Which is greater: -1/2 or r?
r
Let m = 0.65 - 0.57. Which is smaller: m or -0.2?
-0.2
Let q = -10.78 + -0.22. Let i = -15 - q. Is i <= -2/3?
True
Let z = -3404/13 - -262. Let m be -1*(4/(2 - -2))/(-1). Do z and m have the same value?
False
Let l = 12 - 10. Let z(c) = 3*c + 1. Let h be z(-5). Let g be h/(-18) - (-1 + l). Is g at most as big as -1/3?
False
Let p be 15/9 - (-2)/(-2). Let v(l) = 4*l - 17. Let c be v(8). Let n be c/20 - (-3)/12. Which is greater: n or p?
n
Let p = -59 + 62. Which is greater: p or 26/11?
p
Suppose -r - m = -245, r + 9*m - 261 = 4*m. Suppose 801 - r = -4*w. Let y = 982/7 + w. Which is bigger: 2/3 or y?
2/3
Let t(u) = u**2 - 3*u + 2. Let l be t(3). Let d = -2 + 3. Is d at least l?
False
Suppose -3*k - 30 = 3. Let m = k - -17. Which is bigger: 11/2 or m?
m
Let c(s) = -3*s + 4. Suppose 5*x = g + 10, 0 = g - 0*g - 5. Let z be c(x). Which is smaller: -6 or z?
-6
Suppose -j = -5*j - 16. Let l(i) = -i**2 - 2*i + 2. Let k be l(j). Is k >= -5?
False
Let y(s) = 12*s - 6*s - 7*s. Let f be y(6). Is -5 < f?
False
Let m be (-10)/(-6)*8/30. Suppose 0 = 5*a + 5*l + 25, 8 + 9 = 3*a - 5*l. Is a at most m?
True
Suppose 21 = 3*p - s, 5 = -4*p + 2*s + 33. Suppose -p = -3*t - 2*x, t - 12 - 2 = -3*x. Let a = 0 + t. Is a at most as big as 1/10?
True
Let o = -32393/55 - -589. Is 1 > o?
True
Suppose 6 = 10*l - 11*l. Are -11 and l equal?
False
Suppose s + 2 = 4*d, 0 = 5*d - 4*s - 2 - 6. Let a be 4/14 - (-72)/(-105). Is a at most d?
True
Let n = -16 - -23. Let h(g) = 2*g - 8. Let k be h(n). Let j = 5 - k. Which is smaller: j or -2?
-2
Suppose 1 = -4*j + 13. Suppose -3 = -2*t + j. Which is bigger: t or 0?
t
Let p(j) = 2*j**3 - 1. Let h be p(-1). Let z(b) be the first derivative of b**4/4 - b**3/3 - 2*b**2 + 3*b + 7. Let f be z(2). Is f greater than h?
True
Suppose -5*w - 2 - 8 = 5*d, 0 = 3*w + 5*d - 4. Let m be ((-1)/537)/(w/1032). Let i = -2/179 - m. Is i > 2?
False
Let b = 14 - 5. Suppose 3*i = 4*f - b, 3*i - f + 2*f - 6 = 0. Which is bigger: 3/5 or i?
i
Suppose -3*a - a + 12 = 0. Let s = a - 2. Let c = -176 + 1230/7. Which is bigger: s or c?
s
Let n be ((-3)/420)/((-3)/(-339)). Let y = n - -2/35. Which is greater: y or 0?
0
Let g be 1/(3*3/(-9)). Which is bigger: -1/19 or g?
-1/19
Suppose -t + 7 = 8. Let n be (-1*3)/((-2)/2). Suppose -n*m - m = 4. Do t and m have the same value?
True
Let h = 39 + -54.1. Let y = 15 + h. Which is smaller: -1/3 or y?
-1/3
Let d = 0.41 + -0.29. Does d = -3?
False
Let c be (-1)/(7/(-2)) - (-247)/91. Let j be -3*(2 + -2 + 2). Let r be j + c - (-11)/3. Is 0 at most as big as r?
True
Let d be 2*-2 + (-5 + -11 - 1). Is d at most as big as -23?
False
Suppose -3*p = -0*p - 3*d, -4*p + 3*d = 0. Let k = -1 + p. Let j = k - 0. Is j equal to -1?
True
Let g be -11 + 12 + 6/(-4). Is g less than -0.4?
True
Let u = 7 + -1. Let y = u - 3. Which is smaller: y or 1/2?
1/2
Let d = 0.05 - 0.35. Let q = -0.5 - d. Which is smaller: q or -1?
-1
Suppose -3*i - 101 = -5*d, 5*d - 53 = -5*i + 72. Are 22 and d equal?
True
Suppose 0 = 4*l + 5*s - 24, s - 17 + 5 = -2*l. Let j = l - 4. Which is smaller: 6/5 or j?
6/5
Let u = -20 + -16. Let y be (-1 - -2)/((-4)/u). Are 10 and y nonequal?
True
Let n = 2.9 + -2.84. Let i = -1.7 + -0.24. Let b = n - i. Is b greater than 2?
False
Suppose 2*o + o - 33 = 0. Suppose 5*v - o - 4 = 0. Suppose -p - 3*l = -8, 0*p = -3*p - 2*l + v. Which is smaller: p or 0?
p
Suppose 0 = 2*j - 4, 5*k = -2*j + 5*j + 39. Which is greater: 10 or k?
10
Let t(n) = -2*n + 3. Let i be t(8). Let b = -18 - i. Is b <= -5?
True
Let o be -2*(2/6 + 0). Let c = 5 - 4.5. Let a = c - 0.2. Is a smaller than o?
False
Let h = -6/775 - 36281/18600. Let l = h - -13/8. Let v(u) = u**3 + 8*u**2 - u - 7. Let m be v(-8). Is l equal to m?
False
Suppose 5*z + 75 + 10 = 0. Is -3 less than z?
False
Let l be 23/(-5) - (-4)/(-10). Let q = -4 - l. Is 0 greater than q?
False
Let d = 0.04 - -0.01. Let s = 0.05 + d. Let w = -0.2 + 0.5. Does w = s?
False
Let c(o) = o**3 - 8*o**2 + 8*o - 5. Let m be c(7). Let y be (m + 84/(-9))*-3. Let z be (-6)/(-27) - y/18. Do 0.1 and z have the same value?
False
Suppose 4*v - 8 = -12. Are 1/3 and v equal?
False
Let t(a) = -a**3 + 8*a**2 + 27*a - 19. Let j be t(11). Which is bigger: j or -86?
j
Let r = 34/3 + -11. Are 17 and r non-equal?
True
Suppose r + 3*x - 4 = 0, -5*x - 28 = -2*r - x. Are 10 and r equal?
True
Suppose t + x + 16 = -0*t, 20 = -t + 3*x. Is t less than -35/2?
False
Let i = 79 - 235/3. Which is bigger: 1 or i?
1
Let w = -457/6 - -77. Which is smaller: w or 1?
w
Suppose -9*x = -8*x. Which is bigger: x or -4?
x
Let d be -6*2*(-1)/(-3). Let o be (d + 4)/(0 - 2). Suppose o = 4*s + 3 + 5. Is -4/5 equal to s?
False
Let z(v) = -v**2 - 7*v - 4. Let s be z(-5). Let w = -5 - 1. Let a be 4/w*s/(-4). Which is smaller: a or 2?
a
Let t be (-12)/18 - (-12)/9. Let y be 1*7 - (5 + -3). Let n be 3/y + 2/5. Which is smaller: n or t?
t
Let p = -0.03 + 2.03. Let l = -91 + 91.11. Which is smaller: l or p?
l
Let a = 18 - 22. Is 0.2 <= a?
False
Suppose -2*u = -2*h, u - 2*u = h. Are -4/11 and h non-equal?
True
Suppose 0 = -y + 3*o - 0*o, 0 = -5*o + 25. Suppose -3*w - 45 = 4*v, -4*v - 9 = -4*w + y. Let k = -188 - -179. Is v greater than k?
False
Let c(r) = -r**3 + 4*r**2 + 4*r + 5. Let h be c(5). Is h < 1/5?
True
Let w(y) = 4*y + 1. Let r be w(-1). Let t(v) = -v**3 - v**2 + 5*v + 2. Let f be t(r). Suppose 0 = f*u - 2*u. Is 2 < u?
False
Let u be 822/(-105)*10/(-16). Let h = -36/7 + u. Let m be (-3)/2 - (-4)/8. Is m less than h?
True
Let a(v) = -v**3 - 2*v**2 + v. Let w be a(1). Let z be (1/(-2))/(1/w). Let m(k) = 4*k**2 - 2*k + 1. Let j be m(z). Which is smaller: 2 or j?
2
Let p = -4 - -7. Suppose -p*k - 20 = -2*k + 5*g, -20 = 5*g. Is k less than or equal to 1?
True
Suppose 6*o + 2*w = 2*o + 12, 6 = -o + 4*w. Let m(r) = r - 2. Let k be m(o). Let l = 382/5 + -76. Which is greater: l or k?
l
Suppose x - 8 = -3*x. Let l(g) = -9*g + g**x + 0 + 0*g - 2. Let m be l(9). Is m >= -2/3?
False
Suppose 2*r + 3*u - 4*u - 57 = 0, 2*r + 2*u = 60. Let c be (85/(-2))/(9/(-6)). Let j = c - r. Which is bigger: j or -1/4?
-1/4
Suppose -4*m + m = 51. Let c =