Let h be 2 + 0 + -3 + 12/10. Suppose 2*v - 6*v = 0. Is h less than or equal to v?
False
Let y = -25/6 - -2/3. Which is bigger: y or -3?
-3
Let h be ((-7)/(-21))/((-1)/3). Which is greater: h or -2/181?
-2/181
Let k = 69 - 70. Which is bigger: k or -7/3?
k
Let u = 4.3 - 0.3. Let l = u + -3.6. Let c = -1.6 - l. Is 0.1 > c?
True
Suppose x - 6 = -9. Let t be x + -3*(-1 + 2). Which is smaller: t or -14/3?
t
Let v(s) = -s + 11. Let y be v(7). Suppose 4*r = -y*d - 16, 3*d - 23 = 2*r - 0*r. Does r = -7?
True
Let h(z) = 10*z**3 - z**2 - z - 1. Let o be h(-1). Let p = o + 11. Is 0 at least as big as p?
True
Suppose 0 = -2*k - 52 + 6. Let r = k + 43. Let m be ((-2)/r)/((-6)/(-15)). Is m bigger than -1?
True
Let o = 0.7 + -0.9. Which is bigger: o or -3/5?
o
Let y = 116 + -284. Let b be 88/y + (-2)/(-3). Which is smaller: 0.1 or b?
0.1
Let v = 7.6 - 6.6. Does v = 0.08?
False
Let c be ((-6)/9)/(2/2). Let l = -0.1 + -0.9. Is c <= l?
False
Let v(b) = 5*b + 54. Let r be v(-17). Do r and -33 have different values?
True
Let r = 4 + -8. Let w be (-27)/36 - (-1)/r. Let d be w + 0 + 2 - 3. Is d greater than -2?
False
Let g(s) = s**2. Let k be g(1). Is k smaller than 1?
False
Suppose f - 30 = -f. Suppose -l = 2*l - f. Which is bigger: l or 4?
l
Let b be 8 - ((-3)/(-3) - 3). Let g = b - 8. Is g smaller than 1?
False
Let w(b) = -b**2 + 5*b - 2. Let u be w(3). Suppose 0 = u*c + 5*z + 1, -c + 2 = 3*z - z. Let i be (-6 - (-2 + 0)) + -1. Which is greater: c or i?
c
Let a = -53 + 45. Which is smaller: a or -10?
-10
Suppose -2*s = 4*a + 4, -4*s + 3 + 15 = -5*a. Are s and 13/10 nonequal?
True
Suppose -2*p + 2*h = -4 - 18, 0 = 3*p + 2*h - 8. Suppose g = -g + 4. Let v = g - -3. Which is greater: v or p?
p
Suppose 2*l + 3*g - 31 = 0, 3*g + 2 + 9 = l. Which is smaller: l or 13?
13
Let m(c) = c**3 - 9*c**2 + c + 11. Let y be m(9). Let t be 5/y - 19/(-4). Suppose 4*d - 2 = -b + 1, t*d = -4*b + 1. Does b = 1/3?
False
Let s(u) be the third derivative of -u**4/24 - u**3 - 7*u**2. Let c be s(-2). Is -3 smaller than c?
False
Let u = -6 + 11. Let b = u + -4. Are b and -4 equal?
False
Let n = 18 + -5. Let i = -1/27 - 23/108. Is n less than or equal to i?
False
Suppose 3 = -3*m + 12, -4*m = 5*y - 2. Let t be 6 - (3 - (0 - -1)). Suppose 4*z = -t*g + 8, -g + 4 - 3 = 2*z. Is y >= z?
False
Let d(c) = -c - 3. Let j be d(-3). Suppose 229 = -w - 0*w. Let s = -2063/9 - w. Which is smaller: j or s?
s
Let d be 0 - (37/11 + -3). Is 1 greater than or equal to d?
True
Let z be -68*2/(-24) - 2/(-6). Let x be (2*1)/((-2)/(-6)). Is x at most z?
True
Suppose -74 = -5*n + 5*o + 96, 111 = 4*n + o. Let w = n + -20. Is 11 greater than w?
True
Let d = -2 + 4. Let s be 0 - ((-2)/(-3))/d. Let t be -1*3/(-6)*2. Which is bigger: t or s?
t
Let f = 13.95 + -14. Is f greater than -2?
True
Let m = 1 + -2. Let j = m + 0. Let g = 9/14 - -1/42. Is j != g?
True
Let j = 9 - 12. Let y = j - -4. Let m = -11/24 - 7/24. Which is bigger: m or y?
y
Suppose -5*b - 4 = 4*f + 39, 0 = 2*b + 2*f + 18. Let s be 3/(-3) + (-5)/b. Which is smaller: -2 or s?
-2
Let v = -4.3 + -0.7. Let b = 0.3 - 0.5. Let y = b - -0.1. Is y not equal to v?
True
Let v = -894/7 + 128. Which is smaller: v or -37?
-37
Let p = -3/434197 + -4330246534/21275653. Let w = 1706/49 + p. Let b = w + 169. Are -1 and b non-equal?
True
Let z = 157/11 - 10453/737. Which is smaller: -1 or z?
-1
Suppose 2*g - 17 = -3. Are g and -7 unequal?
True
Suppose -4*w = 3*f - 17, w - 13 = -3*f - w. Is f equal to -1?
False
Let f = -33 - -80. Is f less than 0?
False
Let v(k) = -k**3 - 6*k**2 - 6*k - 3. Let l be v(-5). Let u be 1 + 1 + -4 + l. Which is smaller: 3 or u?
u
Let f(s) = -s**3 - 18*s**2 - 32*s + 10. Let r be f(-16). Which is smaller: 31/3 or r?
r
Let s = -2.11 - -2.2. Let b = 3.91 + s. Which is smaller: -2/3 or b?
-2/3
Let n(j) = -j - 18. Let o be n(-14). Let r = o - -4. Which is bigger: r or 3/5?
3/5
Let n be 3/4*(-4 + 0). Let g be (n - 0)/(-3)*-207. Let j be (-2)/9 - 64/g. Is 0 less than j?
True
Suppose -p + 3 = -4*p. Let d = 147 - 1321/9. Do p and d have the same value?
False
Let k = 0.06 + -0.26. Which is greater: k or -30?
k
Let h be (1 + -2)*(-80)/52. Is 3 >= h?
True
Suppose -13*j = 4*j. Suppose -3*v = 2*v + 10. Let k be v/7 - (-4)/14. Do j and k have the same value?
True
Let n = 1 + -4. Let l be n/6 + (-6)/(-4). Suppose 9 = -5*z - l. Which is greater: z or -2/3?
-2/3
Let w be -2 + (3 - 12) + -5 + 5. Is w less than or equal to -17?
False
Suppose 164 = 5*g - 1. Is 34 at most as big as g?
False
Let a be 5*((-24)/15 - -2). Is a at most as big as -0.3?
False
Let k be 1/3 - 32/6. Are k and -5 non-equal?
False
Let k be (3/(-9))/(1/(-3)). Is 0 at most k?
True
Let q(a) = -a**3 - 4*a**2 - 2*a - 5. Let c be q(-4). Suppose -c*z - 2*z + 40 = 4*o, 3*o + 3*z = 30. Suppose -v - o = 4*v. Which is greater: v or 0.3?
0.3
Let o = 147 - 1183/8. Which is smaller: 0 or o?
o
Let z = -377 + 5644/15. Let n = 2/5 + z. Which is smaller: n or -2/7?
n
Let c = -1007/1750 + 1/250. Which is smaller: c or 0.4?
c
Let f(x) = -x**3 - 8*x**2 + 6*x - 2. Let y(z) = z**3 + 7*z**2 - 6*z + 1. Let t(p) = 2*f(p) + 3*y(p). Let b be t(-6). Is b > -1/7?
False
Let s = 4 - 3. Let a = 5 - 3. Suppose 5*l - 4*f - 20 = 0, 2*f + 8 = a*l - 2. Which is greater: l or s?
s
Let i be -10*(-2 - (-6)/4). Which is smaller: 6 or i?
i
Let g = -6.3 + 1.3. Let y = g - -6. Is y != 1?
False
Let v be (-7 + 4)*4/(-6). Suppose 4 = v*w - 2*d + 4*d, -3*d = -15. Which is greater: -1 or w?
-1
Let l(f) = -f**3 + 9*f**2 - f + 11. Let g be l(9). Suppose 2*s - 10 = -3*s. Is s at most g?
True
Let m(j) = 5*j**2 + 7*j + 7. Let x(u) = u**2. Let v(w) = m(w) - 4*x(w). Let f be v(-6). Are f and 2/29 non-equal?
True
Let k = -0.1 + 0.2. Let c = -0.5 + -0.5. Is c less than k?
True
Let h = 24 - 61. Which is bigger: h or -38?
h
Suppose -13 = 3*y - 5*n, -2*y + n = 2*n. Let d = y + 2. Is -1 bigger than d?
False
Let i be (9 - 8)/(18/(-14650)). Let p = -813 - i. Which is bigger: p or 0?
p
Let l = -42 + 37.2. Let s = 7 - 12. Let o = l - s. Is 1/3 at least as big as o?
True
Suppose -8*c = -4*c - 20. Suppose 2*h = 3 - c. Which is smaller: 0 or h?
h
Suppose 2 - 6 = -p. Suppose p*n = n. Is n less than or equal to 2?
True
Let h be (-60)/(-8)*40/105. Which is greater: 3 or h?
3
Suppose 4*b + 0*b + 18 = 3*q, 0 = -3*b. Suppose -5 = o - q*o. Is 4/5 at least o?
False
Let m = -14 + 14. Which is smaller: m or 2/91?
m
Let o(y) = y**3 + 14*y**2 + 34*y + 1. Let v be o(-11). Suppose 0 = -2*c - 2*r - 26, -5*r = 3*c - 4*c - 1. Is v at most c?
False
Suppose 34 = 3*g - 5. Suppose 3*d - g - 11 = 0. Let l be (1/2)/((-6)/d). Is 3 at most l?
False
Suppose -4*b - b + 10 = 0. Let m be b/(-4) - 18/(-4). Let y be m - 4 - 2/10. Which is smaller: 1/2 or y?
y
Suppose -5*r - 62 = -62. Which is greater: -5 or r?
r
Let g be ((-30)/(-20))/(1/(-2)). Is g at most -2?
True
Let q = 22 + -20. Suppose q*o = -5*l + 6, -5*l = 3*o + 2*o - 30. Let k be 130/14 - (-4)/(-14). Is k smaller than o?
False
Let z(r) = -r - 6. Let d be z(-6). Let j be (-18)/(-3) + -1 + -2. Let f be (2/(-14))/(j/18). Which is smaller: f or d?
f
Let s = -17.4 - -18. Is s less than -0.1?
False
Let w(m) = -m**2 + 6*m + 8. Let c be w(7). Let d be (-16)/(-84) + c/(-3). Which is smaller: d or -1?
-1
Let s = -39/10 - -22/5. Let g = -4.9 + -0.1. Let v = g + 4. Which is bigger: s or v?
s
Suppose -2*z = -0*z - 10. Let q = 7 - z. Suppose -7*a - q = -8*a. Are 1 and a unequal?
True
Let p be -3 + 6 - (13 - 0). Which is smaller: p or -7?
p
Let s = 0.4 - 2.4. Let d = 28 - 14. Let l = -14 + d. Is l less than or equal to s?
False
Let v = -94 - -1031/11. Which is smaller: v or -1?
-1
Let d = 164 + -163. Which is greater: d or -2/33?
d
Let v(q) be the third derivative of -q**6/720 + q**4/24 - q**2. Let r(h) be the second derivative of v(h). Let y be r(0). Is 0 smaller than y?
False
Suppose 10 = 5*k - 5*y, 4*k + 4 = 2*y + 14. Suppose u = 4*p - 20, k*u + 5*p - 3 = 5. Let s be (-4 + 5)/((-2)/u). Is 2 greater than s?
False
Let y be -1*(0 - 0)/2. Let h be (-2)/(-8) + (-25)/4. Let r = h + 7. Which is smaller: r or y?
y
Suppose 6*d = d - 90. Let m be 2/9 + 76/d. Let s be 14/m + (-5)/10. Which is bigger: -1 or s?
-1
Let x be (-3)/2*(-168)/18*-2. Is x < -27?
True
Let l(q) = -q**2 - 3*q - 2. Let v be l(-1). Which is greater: v or 1/39?
1/39
Let q(a) = -a**3 - 5