/3 - g. Let y = 41 + -39. Which is smaller: h or y?
h
Let b be 3 + 316/(-106) + 0. Which is greater: 1 or b?
1
Let v be (-2 + 1)*(-1 + 1). Let c = -11 - -10. Which is greater: c or v?
v
Suppose 28*q + 8 = 32*q. Is 1 less than q?
True
Let q = -53 - -101/2. Is -4 < q?
True
Let w = 12 - 5. Let i = -6 + w. Which is bigger: i or -0.4?
i
Let y = 0.4 - 0.2. Let g = 0 - -0.4. Let v = g + -1.4. Which is greater: v or y?
y
Let q = 14 - 8. Suppose -5*t + 2 = 12. Let m be (-30)/t*(-1)/(-3). Are q and m non-equal?
True
Let d = 322/135 - -22/27. Which is greater: d or 4?
4
Let j(q) = -2*q - 8. Let z be j(-6). Suppose -z*c = c. Let h be (0 + 0)/(c - -1). Which is greater: -1 or h?
h
Let i = 0.1 + -0.1. Let j = -0.06 - -0.07. Is j at least as big as i?
True
Let j = 104 + -14. Which is greater: 91 or j?
91
Let o = 1 - 1. Suppose -3*f = -5*l, -l + 3*f = -o*f. Does l = 0?
True
Let g = -2831.01 - -2846. Let m = 15 - g. Which is greater: 0 or m?
m
Let a = 58 - 58. Which is smaller: 3/43 or a?
a
Suppose 4*x + q + 8 = 0, 2*q + 5 = 5*x - 2*x. Which is greater: x or -1/5?
-1/5
Let a = 2 - -2. Let j be (1/(-2))/((-2)/a). Which is smaller: 2 or j?
j
Let u = 5 + -4. Let n be (u - 2) + 5 + -1. Let v = -3 + n. Which is smaller: v or -0.1?
-0.1
Suppose -8*o + 7*o - 108 = 0. Which is bigger: -109 or o?
o
Let h = -80.8 - -81. Is 7 greater than h?
True
Suppose 5*m + 11 + 24 = 0. Let r = -5 - m. Let x = -55/3 + 18. Is r at least x?
True
Let j = 55 + -29. Suppose 0 = -2*s + 3*u + 19, 0*s + 4*u + j = 3*s. Let r be (s + 1*-3)*2. Are r and 1 equal?
False
Suppose 5*g - 8 = 2. Which is smaller: g or 5/9?
5/9
Let c = 0.9 - 1. Let n = 124 + -132. Is c smaller than n?
False
Suppose -4*c + t + 13 = 0, -3*c - 2*c = t - 14. Let r(b) = -2*b + 1. Let g be r(-2). Let x = g + -3. Is c smaller than x?
False
Let c = 6 + -10. Let r = c - 0. Let k = -4 - r. Which is greater: k or 2?
2
Let z be (2 - 0) + -2 + 10/(-295). Suppose -2*c = 3*w - 5, -5*c = -w - 29 + 8. Which is smaller: w or z?
w
Let u(a) = -a**3 + 2*a**2 + 4*a - 4. Let r be u(3). Are r and -2/81 unequal?
True
Let m be (508/60)/(24/(-5)). Let f = 17/9 + m. Let p be ((-3)/(-9))/((-2)/6). Is f less than p?
False
Let o be (1 + 0)*(-5 + 2). Let r be o*(-3)/(3/1). Suppose -7*m = -r*m - 4*d + 4, -4*m + 2*d = -2. Are m and 4 nonequal?
True
Let c = 0.03 + 0. Let y = -0.13 + c. Are y and 0.1 unequal?
True
Let c(f) = -f**2 - f - 3. Let p be c(0). Let a be ((-1)/p)/(1/6). Suppose 0*s + 5 = 5*s. Is a less than s?
False
Suppose 2*o + 2*w = 5*w - 17, -14 = -o - 3*w. Which is smaller: o or 1/65?
o
Let j = -10.2 + 9.1. Which is smaller: -0.1 or j?
j
Let x = -103 + 104. Do x and 3/8 have the same value?
False
Let c be (4 - 362/30) + 4/10. Is -7 >= c?
True
Let h(p) = p**3 - 9*p**2 + p - 13. Suppose -5*b + 36 = 4*u, -u + b + 9 = -0*b. Let m be h(u). Suppose 2*a = -0*a - 8, 3*g - 3*a = -3. Which is smaller: m or g?
g
Let b be (0 - (1 - 2)) + -2. Let y be 1/(2*b/4). Let q be y - (0 + -1)*3. Is 1 less than q?
False
Let v = -93 - -86.3. Let q = 7 + v. Is 0 smaller than q?
True
Let t = -8/5 + 19/15. Suppose 3*f + 7 = 19, 5*m = -2*f + 3. Which is smaller: t or m?
m
Suppose -10 = -2*l + 3*a, 0*a + 15 = 3*l - 4*a. Suppose -l*r + 10 = -0. Suppose -2 - r = 2*g. Are g and 0 unequal?
True
Suppose 0 = n + n - 186. Let o be 2/3 + (-68)/n. Is 0 greater than or equal to o?
True
Let l(o) = o - 4. Let q be l(6). Which is bigger: q or 6/5?
q
Let q = 425/2 + -221. Are q and -10 equal?
False
Let u = 2 - 3. Let a be (-55242)/100 - (-10)/20. Let j = a + 552. Which is greater: j or u?
j
Suppose 14*l = 9*l - 10. Let p(a) = -a**3 + 6*a**2 + 10*a - 2. Let y be p(7). Suppose 2*j = -4*f - 24, 5*j - 2*j - 5*f - y = 0. Are l and j equal?
True
Let w(t) = 2*t**2 + t + 1. Let z be w(-1). Suppose -z*o + 1 = -5. Suppose 0*r + 3 = o*r. Does r = 1?
True
Let n = -12/1007 + 116848/3021. Let x = 38 - n. Which is smaller: x or 1/5?
x
Let s be ((-1)/48)/(-8 + 10). Which is greater: s or 1?
1
Let a be 0/((-10)/4*36/45). Suppose -6*j + 2*j = 4. Is a <= j?
False
Let t = 3.14 - 5.53. Let v = 0.34 + t. Let o = v + 0.05. Is -0.2 >= o?
True
Let v be (-12)/(-270)*5 - 111/378. Let l = -4 + 3. Are l and v unequal?
True
Suppose -3*q = -3*v - 18, 30 = -2*v - 4*q - 0*q. Let k be (3/6)/(5/(-90)). Are v and k nonequal?
False
Let a = -16529/58 - -285. Which is greater: a or 0?
a
Suppose 1 = -h + 3. Let a be (2 - (h + 3)) + -1. Is a <= -3?
True
Let l(k) = k**2 + 3*k + 2. Let f be l(-6). Suppose -1 - f = -3*p. Let q = -141.5 - -141.5. Which is greater: p or q?
p
Suppose q = 4*i + 1, 3*q - 20 = -0*i - 5*i. Let b be (i - 1)/(2/(-1)). Let m = 95 + -1807/19. Is m greater than b?
False
Let u = -17/5 - -63/20. Let z(c) = -c**2 - 9*c - 9. Let a be z(-8). Is u greater than or equal to a?
True
Let u = 5/7 + -8/21. Let r be 0 - 2*1/(-2). Let b be r + (-6)/3 - -1. Which is smaller: u or b?
b
Let w = -0.05 - -8.05. Let j = 7.9 - w. Which is smaller: 8/3 or j?
j
Suppose 0 = -0*h + 5*h + 65. Which is greater: -25/2 or h?
-25/2
Let o be 8/12 - 8/3. Do -2 and o have different values?
False
Let c be ((-1)/(-2))/(1/2). Suppose 0 = -3*h - 4 + c. Suppose -j - 8*l + 4*l - 16 = 0, -3*j + 4*l = -16. Is h smaller than j?
True
Let c(a) = a**2 - 3*a - 1. Let j be c(3). Suppose -3*h - 3*p + 177 = 0, -4*h = -2*p - 0*p - 236. Let q = 296/5 - h. Are j and q nonequal?
True
Let i = 1799/4404 + 3/367. Which is greater: i or 1?
1
Let w be (-19)/(-13) - (-3 + 4). Are -1 and w equal?
False
Let w = -1 + -1. Let t be (-3)/(-4)*2/(-2). Is w bigger than t?
False
Suppose -2*y = k - 10 - 9, -3*y = -6. Suppose -3 - k = -3*o. Is o at least as big as 5?
True
Let l be ((-350)/(-644))/((-4)/(-5)). Let o = 316/1265 - -3/55. Let x = o - l. Is 0 at most x?
False
Let c = 175/3 - 60. Which is bigger: c or 1?
1
Suppose -3*d = 2*t - 14, -2*d - 3*d = -t - 32. Which is bigger: d or 14/3?
d
Let v = -49 - -49. Which is smaller: v or -10/7?
-10/7
Let p(l) = -l + 18. Let q be p(15). Is -0.02 > q?
False
Let r be (7/(-120))/((-38)/(-28)). Let s = r - -3/380. Which is smaller: 1 or s?
s
Let l = -1213/9 + 135. Let q = -13/18 + l. Is q greater than or equal to 0.1?
False
Suppose -5*s + 80 = -5*j, -52 = 4*j + s + s. Is j at most -13?
True
Suppose -6*c + 7*c = 1. Which is greater: c or 1/3?
c
Let j(t) = t**2 - 6*t - 4. Let d be j(7). Let l = -7 + 12. Suppose -5 = -5*r - l*s, -2*r = -s - d + 4. Do -1 and r have the same value?
False
Let u be 1/((-3)/54)*4/(-12). Let l be (-68)/144 - 4/(-18). Is u less than l?
False
Let g = -221 + 226. Is g equal to 7?
False
Let d = -7/26 - -3/10. Suppose 0 = -8*l + 3*l + 4*a, l = 2*a. Is l >= d?
False
Let i be ((-16)/25)/(14/280). Which is smaller: i or -12?
i
Let i be 1/(-1*(1 + -2)*1). Is i <= -1/119?
False
Let o = 2 - -12. Is -1 less than o?
True
Let h be 6/(-12)*2/(-6). Is -1 < h?
True
Let n = 253/620 - 1/124. Let f = -0.5 + 0. Which is bigger: f or n?
n
Let q = -4 + 5. Suppose 3*d = c - 5*c + q, 3*d = -3. Let j be c/(-1) - 14/(-10). Does -1 = j?
False
Let s = -959 - -93021/97. Which is greater: s or -1?
s
Let g be (-1)/2 + 9/(-2). Let b = -15 + 10. Let d = b - g. Does d = -1?
False
Let b = -13 + 15. Suppose -b*a = -4*a - 2. Suppose -5*v = -i + 3*i + 19, i + 14 = -4*v. Is a less than i?
False
Suppose -5*g + 3*n + 5 = -12, -3*g - 5 = 2*n. Which is smaller: g or 1/7?
1/7
Suppose 0 = 4*q - 24 + 8. Suppose h + 36 = 4*d, -q + 12 = 3*d + 4*h. Let z be d/6 - (-4)/(-12). Is z less than 1?
False
Let i = 390 - 6636/17. Which is bigger: 0 or i?
0
Let h(r) = -r**3 - 4*r**2 - r - 5. Let i be h(-4). Let o be 1749/22*(-2)/6. Let x = o + 26. Which is smaller: i or x?
i
Let m = 16/21 + -1/3. Let c(o) = -o**2 - 6*o - 6. Let x be c(-4). Let a be (3/(-9))/(x/6). Is a at least as big as m?
False
Let j be 2 + 2 + 1*-2. Let i(w) = w**3 + 10*w**2 - 13*w - 2. Let b be i(-11). Suppose 4*a + b = 0, -5*z + a - 5 = 3*a. Is j <= z?
False
Let u be (-8)/(-52) - -1*172/(-780). Is -1 greater than u?
False
Let i = 21 - 20.88. Let b = i + -0.02. Is -0.2 at least as big as b?
False
Let p be 11/(-33) - (-2)/(-3). Let i = 47/231 - 2/33. Which is smaller: i or p?
p
Suppose z + 3*z = 0. Is -3 less than z?
True
Let q = 3/7855 + -1139077/267070. Let v = q + -21/17. Is -6 less than v?
True
Let v be -2 - (-18)/(2 - 0)*-1. Is -12 at least v?
False
Suppose s - 5 = 6*s. Does s = 3/41?
Fa