Let x = -195 + 201. Which is greater: x or l?
x
Let s(n) = -4*n - 10. Let c(t) = -5*t - 11. Let b(o) = -5*c(o) + 6*s(o). Let f be b(6). Do f and -1/7 have the same value?
False
Let f = 0.8 - 0.8. Which is smaller: f or -11?
-11
Suppose 0*i = 4*i - 84. Let c = i + -11. Let b = 7 - c. Is 0 less than b?
False
Let x = 1/2 + -2. Let z = 14 - 13.9. Is z greater than or equal to x?
True
Suppose 0 = 2*m + 2*m - 32. Let h = m + -7. Are h and 1 non-equal?
False
Let h = 5 - -10. Let g = h + -12. Which is smaller: -1/3 or g?
-1/3
Let m(x) = -x + 2. Let n be (-17)/(-5) + (-4)/10. Let q be m(n). Let l = q + -2. Which is greater: l or -1?
-1
Let w be (8/(-10))/((-18)/135). Suppose 0*x - 4*x = -16. Is w <= x?
False
Let p be ((-3)/(-6))/((-1)/(-2)). Is 2/25 < p?
True
Let k = 28 + -15. Is k smaller than 14?
True
Let z be 2/5 - (-16)/10. Let y(i) = -5 + 4 - 24*i + 25*i - 9. Let m be y(12). Is m less than or equal to z?
True
Let x be (-91)/(-5) + 3/(-15). Let l be (-15)/54 + (-4)/x. Let f = 0 + 0. Is l not equal to f?
True
Let d(s) = -s - 7. Let w be (4 + -5)/(2/14). Let g be d(w). Which is greater: -0.1 or g?
g
Let s = 917/5 + -185. Which is bigger: -1 or s?
-1
Suppose -6 = -4*p + 3*b, 3*p + 10 = -b - 4*b. Let r(h) = h**2 - 8*h - 1. Let z be r(8). Let s be 0/(-3*z/3). Do p and s have different values?
False
Let n = 63 + -68. Which is smaller: 5 or n?
n
Suppose -7*x - 12*x = -15*x. Let a be (0 - 0)*(2 + -1). Is x at most a?
True
Let j = -117.7 - -125. Let f = 7 - j. Let n = f + 0.1. Is n >= 0?
False
Let o be (-32)/418 - (-22)/121. Which is smaller: o or -1?
-1
Let q be (8/70)/(72/(-30) - -2). Let k be (-1)/(-4) - 3/12. Is k bigger than q?
True
Let r = -2 + 2. Let w = 1.8 - 1.9. Which is greater: r or w?
r
Let q be ((-104)/(-28) + -4)*-7. Which is bigger: q or 7/4?
q
Suppose -k = -3, -k = 2*b - 3*k + 4. Do 4/13 and b have different values?
True
Let y(z) = -z**3 - 3*z**2 + 4*z. Let q be y(-4). Which is greater: 1 or q?
1
Let c(y) = -y. Let v be c(-2). Let g be 1/(14/(-6) + v). Which is greater: g or -2?
-2
Let i = -17774/777 + 160/7. Is -1 smaller than i?
True
Let y be 8 - -1*(-2 - -2). Let p(u) = 0*u**3 - 7*u - 11 + 2 - u**3 + 9*u**2. Let g be p(y). Is -1 bigger than g?
False
Let y = 73/13 - 137/117. Does 5 = y?
False
Let o = -5 + 1. Let m be 12/(-3)*3/o. Which is smaller: 2 or m?
2
Let g(c) = c + 4. Suppose 0 = 4*h + 7 + 5. Let v be g(h). Is v bigger than -3?
True
Let h be -4 + ((-142)/(-17) - 4). Which is greater: h or 1?
1
Let d = -2 + 3. Suppose 0 = 23*z - 18*z - 5. Is z <= d?
True
Suppose -9 - 6 = -5*z. Let k(a) = a + 7. Let w be k(-4). Is z equal to w?
True
Let g be ((-2)/8)/(3/(-8)). Which is smaller: g or 2?
g
Suppose 3*j = j. Suppose q - 24 = -j*q + 5*b, 3*b + 13 = 2*q. Let r = -2 - -1. Are r and q equal?
True
Let a = 8.053 + -0.053. Which is smaller: a or 0.1?
0.1
Let c = -22.9 + 23. Let d(t) = 3*t**2 + 1. Let p be d(-1). Which is greater: p or c?
p
Let x = -21 - -20. Is -1/5 < x?
False
Let g = 6 - 6.4. Let d = 0.3 + g. Let y = -9 - -6. Which is smaller: y or d?
y
Suppose -1 + 17 = -4*m. Let l be ((-4)/(-6))/(m/30). Do l and -3 have the same value?
False
Let h(x) = -x - 7. Let n be h(-6). Suppose 5*b - 10 = 15. Suppose b*q + 1 = -14. Which is bigger: q or n?
n
Let z = 0.6 + -0.1. Let o = 1.5 - z. Is o greater than or equal to -2/11?
True
Suppose 0*l - 4 = -2*l. Let h be (-2)/l - (-1 - 1). Is h greater than 2?
False
Let a be (-11)/14 + (-5)/(-10). Let h = 2 - 2. Suppose h = -q - 2*q. Which is smaller: q or a?
a
Let g = -0.6 + -0.4. Let x = 20 - 31. Which is bigger: x or g?
g
Let n = 1 - -1. Suppose -2*l + l + 2 = 0. Let z = l - n. Is -1/4 at most as big as z?
True
Let t be (25/(-30) + 1)*-10. Is -1 at least t?
True
Let v be (2 + (-13)/7)*2. Suppose 2*g - 18 = 5*s, -5*g = -0*g + 3*s - 45. Let x = 8 - g. Which is bigger: v or x?
v
Suppose -t = j - 3*j + 5, -5*j = 0. Let d = t - -4. Suppose 4 = -3*g - g. Do d and g have different values?
False
Let n = 7 + -25. Let q be 4/n - 8/(-18). Suppose t + 1 = -z + 2*z, 3*z - 5 = t. Is q <= t?
True
Let t = 1 + 0. Let l = -1565166/203 + 7710. Let r = 1/29 + l. Does t = r?
False
Suppose 0*t = -5*t - 1140. Let v = t - -2271/10. Let x = -33/20 - v. Which is smaller: x or -2?
-2
Let s = -18 - -12. Let w = -4 - s. Let n be (-1 - (-6)/4)*w. Are n and 3/2 unequal?
True
Let l = -28 + 46. Which is bigger: 17 or l?
l
Suppose -2*x - 4 = 2*x. Is 3 at least as big as x?
True
Let d be 7 - ((-18)/(-2))/3. Suppose 0 = -r + c - 3, c = r - d*c + 15. Is 2 > r?
True
Let x = 18/7 - 79/28. Let b(i) be the third derivative of i**6/120 - 2*i**5/15 - 5*i**4/12 + 3*i**3/2 + 3*i**2. Let f be b(9). Does x = f?
False
Let m be ((-2)/5)/(16/(-10)). Let j be ((-2)/(-7))/((-6)/(-14)). Is j != m?
True
Let q(y) = y**3 + 2*y**2 - 23*y - 1. Let s be q(-6). Which is smaller: -11 or s?
-11
Suppose -2 - 6 = 2*o - 5*f, -2*o + 24 = 3*f. Let t = 19 - 17. Suppose -t*w = -o*w. Which is smaller: w or -2/3?
-2/3
Let s be (-6)/(-4)*20/(-45). Let g(z) be the third derivative of -z**4/24 + 4*z**3/3 + 2*z**2. Let j be g(9). Which is smaller: j or s?
j
Suppose 5*l = 3*m + 22, 0 = 5*l - 8*m + 3*m - 30. Suppose 11 = 5*k + 6. Do k and l have the same value?
False
Suppose w + 3*u = 5, 9*u + 13 = -w + 12*u. Is w < -4?
False
Let r = -8 - -2. Let c = r + 5. Suppose 0 = -2*x + 4 - 2. Which is bigger: x or c?
x
Let r = -2 + 2.2. Let u = 1.2 - r. Let b = 1.1 - u. Which is smaller: b or -2?
-2
Suppose -3*k - n = -6, 2*k - 7*k + 10 = -n. Suppose -4*m + 0*m - 8 = 0. Let x = k + m. Is -3/8 equal to x?
False
Let o = 8 - 4. Let q = o - 3. Let s = 1.98 + 0.02. Which is smaller: s or q?
q
Suppose -31 = -4*o + 25. Let g = o - 27. Is g not equal to -12?
True
Let u = 1688.03 - 1680. Let m = -8 + u. Let y = -0.07 - m. Which is greater: 5 or y?
5
Let i = 33.8 - 35.29. Let u = i - -1.5. Let g be (-1 - (-4)/3)*1. Which is bigger: g or u?
g
Let g be -2 + 0 + (4 - 2). Which is smaller: 2/145 or g?
g
Let w = 2.4 + -2. Let h = w - 0.2. Let l = h + -0.3. Is l less than -2/5?
False
Suppose 0*u = 5*k - 2*u, -3*k - 14 = -4*u. Suppose k*l = 3*l. Which is greater: -1/12 or l?
l
Suppose -2*a + 30 = 3*a. Let r be (8/(-12))/((-2)/a). Is r <= 3?
True
Let d = -28 - 13. Let y = d - -124/3. Which is smaller: y or -1?
-1
Let o be (-11)/3 - 2/(-3). Let j = 169/2 + -86. Which is smaller: j or o?
o
Let o be 14/8 + (-3)/(-12). Suppose -o*k = 3*t + 11, 28 = 4*k - 3*t + 5. Is 4 at most as big as k?
False
Let g be 13/5330*(61 - 0). Let i = -2/41 + g. Which is greater: 0 or i?
i
Let m be 107/534 + -2*1/12. Which is bigger: m or 0?
m
Let d be 1 + (2 - (3 + 0)). Let o = -18 - -13. Let l = 6 + o. Is d greater than l?
False
Suppose 1 = -2*d - 1. Let a(s) = s**3 - s**2 + s + 1. Let x be a(d). Is x at most as big as -4/3?
True
Let i(x) = x**3 - 12*x**2 - 3*x - 25. Let v be i(12). Which is smaller: -62 or v?
-62
Let l = 72 + -80. Is -9 greater than l?
False
Let z = 300/7 - 43. Let f = -5/14 + z. Let t be (-2)/(-5) + 12/(-5). Are f and t unequal?
True
Let w = 1.6 + -1.8. Let d = w + 0.3. Does -3/23 = d?
False
Let r be (-6)/(-8) - (-3)/12. Let t(y) = 10 - 5*y - y**2 + 0*y - 2*y. Let w be t(-8). Is w != r?
True
Let t be (3 - 5 - -2)/(-2). Let c be (-30)/48*(-4)/70. Are c and t equal?
False
Let z = 2.6 + -0.6. Let w = z - 2.1. Let l = -1.9 + w. Are -0.1 and l nonequal?
True
Suppose 3*i + 4*t + 7 = 3*t, -2*t - 7 = -i. Let n be (-20)/24 + 1*(-2)/(-4). Is n greater than i?
True
Let l(z) = z**3 - 11*z**2 + 11*z - 7. Let w be l(10). Which is greater: w or 2?
w
Let d = 38 + -38. Is -2/9 < d?
True
Let h be (1 + -2)/(14/4). Let i = -130 - -1168/9. Is i < h?
False
Let d = -78 + 81. Which is smaller: d or 11?
d
Let o(s) = -s**3 - 2*s**2 - s. Let n be o(-1). Suppose 5*f - 3*g - 2 = 0, -g + 4 = 3*f - n*g. Let p be 2 - ((-72)/15)/(-2). Which is smaller: p or f?
p
Let d = 108/11 - 2118/209. Is d at least as big as 1?
False
Let v = -4.9 - -5. Let u = 0.2 + -0.4. Let x = u + v. Which is smaller: x or -1?
-1
Suppose b + 0*d = 2*d - 5, -53 = 5*b + 4*d. Which is smaller: -10 or b?
-10
Let t be (51/7)/(2/7). Let d = t + -26. Is -5 smaller than d?
True
Suppose -2*d + 0*d + 24 = 0. Let x(c) = c + 3. Let t be x(8). Do d and t have different values?
True
Let j be ((-2)/3)/((-3)/(-9)). Let y be ((-97)/5)/(j/(-6)). Let h = -58 - y. Do -2 and h have dif