 + 43. Suppose -5*k + 5*i = -k - z, k - 2*i = 2. Which is smaller: k or h?
h
Let o(a) = 5*a + 14. Let h be o(-3). Is h less than 5/11?
True
Let h = -0.084 + -0.016. Let d = -181/6 - -30. Is h at least d?
True
Let p = 10 + -7. Let z = -2.13 - -0.13. Is z >= p?
False
Suppose 4 - 34 = 15*v. Let n be 4/(-14) - (-10)/(-14). Which is bigger: v or n?
n
Let f = -17 + 25. Let n be (2/f)/(1/4). Let y be 1/(-4) - (-3)/(-12). Which is bigger: n or y?
n
Let k = -0.373 - -0.073. Is k at least as big as -12?
True
Let y = -1.13 - -1.25. Are y and 0.3 unequal?
True
Suppose 0*t - 12 = d - 4*t, 0 = -5*d - 3*t - 14. Let c be 0 - d - 12/4. Is -1/4 less than c?
True
Let s = 2371 - 109071/46. Which is greater: 1 or s?
1
Suppose 3*h - 28 = -h. Let p(m) = -m**3 + 6*m**2 + 6*m + 9. Let i be p(h). Is i at most 0.2?
False
Let f be (-4)/((8 + -13)*(-12)/10). Let y be (1 + -3)*(-2)/(-4). Which is greater: y or f?
f
Suppose 5*g + 4*j + 2 = -24, -20 = 5*j. Is -2 at most as big as g?
True
Let r(f) = -2*f + 14. Let x be r(28). Which is smaller: -43 or x?
-43
Let v = 49 + -49. Which is smaller: v or -0.3?
-0.3
Let j(b) = -b**2 - 9*b + 5. Let o be j(-10). Let t = 6 + o. Which is smaller: -1/10 or t?
-1/10
Let o = -1/107 - -2251/428. Which is smaller: o or 4?
4
Let h = 0 - 0. Let i be 20/(1*(2 - 1)). Suppose 4*c + 2*s + 0*s = i, -3*s - 2 = -2*c. Which is smaller: h or c?
h
Let b be (-1)/(-2)*(1 - 1). Let p(h) = -h**2 + h + 6. Let w be p(0). Suppose -2*i = -w*i. Is b > i?
False
Let p = 18 - 17.1. Let n = 0 + -1. Let x = p + n. Is 0.1 greater than or equal to x?
True
Let c = 8 - 8. Let k be (-72)/95 + 51/85. Is c equal to k?
False
Let i = -17 - -13. Let w = i - -8. Which is smaller: 2 or w?
2
Let g = -3 - -4. Let k be 0 - (g + 6/(-2)). Let u = 5 - 5.2. Which is smaller: k or u?
u
Let v = -8 - -3. Let w = -5 - v. Which is smaller: w or 4/3?
w
Let k be ((-2)/3)/((-7)/(-21)). Let p be (12/18)/(k/3). Which is smaller: p or -8/7?
-8/7
Let h = -508 - 299. Let s = h + 8883/11. Is s < 1?
True
Let s = 2.78 + -2.7. Is 5 less than s?
False
Let o(k) = k**2 - 11*k + 9. Let r be o(10). Let n be r + (-2 - 26/(-10)). Which is greater: 0 or n?
0
Let t = 30 + -30. Does 1 = t?
False
Let l = 5 - 2. Which is bigger: l or 6/11?
l
Let n(q) = q**3 + 5*q**2 - 7*q - 7. Let m = -22 - -13. Let h be 16/12*m/2. Let v be n(h). Is v < -2?
False
Let y(f) = -f**3 - 4*f**2 + 6*f + 3. Let c be y(-5). Let q(w) = 2*w**2 + 4*w + 2. Let t be q(c). Let k be 2*-1 - t*-1. Are 0 and k unequal?
False
Suppose -5 = 3*f + 2*f. Which is smaller: f or -10/13?
f
Let v = 69 - 69.2. Which is smaller: v or 1?
v
Let j be (-10297)/147 - 4/14. Let y = 71 + j. Does y = -1/3?
False
Suppose -2*v + 6 = u, 0 = -3*u + 3*v - 4 - 14. Let b be (3/(-9))/((-1)/u). Let i = -0.04 - 1.96. Is i < b?
True
Let t be (-4)/(-6)*(-1 + 4). Let q be 0 - t/(-4)*14. Let r = -7 + q. Which is smaller: 1/8 or r?
r
Let b be -4*5/(660/6). Suppose 4*z - z = -3. Is z at least as big as b?
False
Let i = 1266/5 + -254. Is i less than 0?
True
Let z = -17 + 16.6. Let q = 5.4 + z. Are 0 and q equal?
False
Let q = -21.3 + 21. Do 1/8 and q have different values?
True
Let x be 32/6 - (-5)/(-15). Suppose 3*z + 1 + 2 = 0. Let q be z + -1 + x/3. Which is bigger: 0.02 or q?
0.02
Let h = 2.3 - 2. Let q = h - 0.2. Let b = 0 + q. Is 2/5 < b?
False
Let b = 37/11 - 1051/319. Which is greater: b or 0?
b
Let j be 2/(-10) + (-3)/60. Suppose 2*h - 3*n - 3 = 0, 0 = 4*h - 9*h - 4*n + 19. Suppose -h*a + 4*q = -6, q + 2*q = -2*a - 13. Which is greater: a or j?
j
Let y(v) = -v**2 + 3*v + 2. Let q be y(4). Let o(l) = l. Let z be o(q). Are 0 and z non-equal?
True
Let m be (3/(-5))/(4/(-5)). Let l be 15/10 + 2/(-4). Let w = -1 + l. Which is smaller: w or m?
w
Suppose 5*a + 5*q = -345, -q + 9 = -4*q. Let n = a - -464/7. Which is smaller: n or -1?
-1
Let v = 0.067 + -0.033. Does 0 = v?
False
Let m be (-7)/12 - 3/(-9). Let k be 6*(0 - 9/(-6)). Suppose -2*f + k = 2*f + 3*c, 4*c - 12 = -f. Is m less than or equal to f?
True
Let a = 4 - 4.1. Let q be ((-15)/5)/(1 + 0). Is q not equal to a?
True
Suppose -2*g - 40 = -38. Which is greater: -1/28 or g?
-1/28
Suppose 0 = 3*y + y. Suppose 3*j + 2 = 2. Let t = y + j. Is -1/5 >= t?
False
Let s be (-1*2)/(8/12). Suppose -2 = -f + d, -d + 4*d = -15. Does f = s?
True
Let y = -33884/23 + 1473. Which is smaller: y or 0?
y
Let i = -1.7 + -0.3. Let f(p) = 2*p**3 - 2*p**2 + 1. Suppose 2 = -5*t + 3*t - q, -4*t + 5*q = -24. Let w be f(t). Is i smaller than w?
True
Let p = -16.2 + 15. Let y = p + 2.1. Let u = 1.2 - y. Is u >= 0?
True
Let x = -2 - -15. Is x smaller than 14?
True
Let h(d) = -d**2 - 9*d + 12. Let g be h(-9). Which is smaller: g or 13?
g
Let u = 2.06 - 2.4. Let b = u + 0.14. Which is bigger: -7/6 or b?
b
Let i be (-2 + 3 + -1)/(-1). Let o = 93 - 369/4. Which is greater: o or i?
o
Let q(m) = -m**3 - m**2 - m + 3. Let k be q(0). Which is smaller: 27/8 or k?
k
Let p = 0.21 + 9.79. Let m = -20 + p. Is m less than 0?
True
Let q(x) = -3*x**2 - 7*x + 26. Let y be q(-7). Is -71 smaller than y?
False
Let o = 5.08 - 0.08. Let v = o + -5.4. Which is bigger: 0.1 or v?
0.1
Let k = 74 - 94. Do k and -21 have the same value?
False
Let u = -169/249 + 1/83. Let f be (-2 - -3)*(-3 - 1). Let r = f + 3. Which is smaller: r or u?
r
Suppose h - 4*a - a + 20 = 0, 5*h + a = 4. Let u be -2 + 1 + 2/2. Suppose -4*z + v + 7 = u, -z + 1 = -6*z - 2*v. Which is smaller: h or z?
h
Let o(y) = -y**3 + 4*y**2 - 4*y. Let a be o(3). Let m be (-6)/21 + 24/(-14). Which is smaller: m or a?
a
Let o = 27.12 - 27. Which is greater: o or 2/7?
2/7
Let u = 3028/15 - 202. Is u != 0?
True
Let g(v) = -v - 20. Let p be g(-20). Is p > -2/521?
True
Let f(v) = 2*v - 6. Let w be f(2). Let r = -1 + 0. Is r bigger than w?
True
Let q = 24 - 23. Is 1/48 greater than q?
False
Let q be (-176)/(-10) + -4*2/(-20). Is q equal to 18?
True
Let z = -1388/7 - -198. Which is bigger: 1.1 or z?
1.1
Let q be (1/(-15))/((-132)/(-55)). Which is bigger: 1 or q?
1
Suppose -5*x + q + 86 = 0, 4*x + 0*q + 4*q = 88. Let a be (-6)/16*(-24)/x. Are 0 and a non-equal?
True
Let d be 1 + (-48*1)/4. Is d at most -11?
True
Let q = -8.979 - -9. Which is smaller: -1 or q?
-1
Let g = 72987 - 655562/9. Let n = g + -147. Let x = 0.8 + -0.7. Which is smaller: x or n?
n
Let g = -64 - -321/5. Is 1 <= g?
False
Let f(d) = d - 13. Let n be f(13). Is 2/33 at most as big as n?
False
Let k = 12 - 13. Let n be (-1)/(3/30) - k. Which is smaller: n or 2?
n
Let t = -5/231 - 4826/1155. Is -5 at least t?
False
Let t = -464/555 - -4/111. Which is bigger: 3 or t?
3
Let l(y) = -y**3 + 5*y**2 + y - 2. Let h be l(5). Is h bigger than 1?
True
Suppose 0 = y + 12 - 1. Let p = y + 15. Suppose 0 = -4*s - p*i, 2*i - 6*i - 9 = -5*s. Which is smaller: -3 or s?
-3
Let v be (51/12)/(2/8). Does v = 17?
True
Let v(p) = 59*p - 9. Let m be v(-1). Is m > -69?
True
Let h = 12.77 + 0.23. Let c = -17 + h. Do -0.1 and c have the same value?
False
Let z be 12/20 - (-7)/5. Let x = -9 - -5. Let w be (-6)/x + 1 + -1. Are w and z unequal?
True
Suppose 0*x + 5*x = 20. Let v be (-14)/x - (-5)/(-10). Let b = 4 - 6. Which is smaller: b or v?
v
Let m be 6/34*24/(-18). Which is greater: m or -1?
m
Let w(j) = -j**3 - 11*j**2 - 11*j - 7. Let s be w(-10). Which is smaller: 4 or s?
s
Let v = -0.56 - -1.56. Is v equal to 0.004?
False
Let a be (-39)/(-45) + -1 - 0. Are a and 1 equal?
False
Suppose 0 = -2*o + 5 - 1. Suppose 0 = -x + f + 1, o*x + 3*f = -0*f + 2. Is x at most as big as 1/13?
False
Suppose -1 = -v + 5. Does v = 1?
False
Suppose -5*y = -j, -2*y - 6 = 2*y - 2*j. Which is smaller: -1/11 or y?
-1/11
Let g = 0.02 - -2.78. Let m = -3 + g. Let p = m - -0.3. Which is bigger: p or 2/3?
2/3
Suppose s = 3*s + 6. Which is smaller: s or -5?
-5
Let k = 5 - -7. Suppose -n + 5*w + 0*w - 2 = 0, 2*w + 4 = n. Let h be (-4)/3*k/n. Is h >= -2?
True
Let x = -6 - -5. Is 3 less than x?
False
Let c be (9/15)/(14/(-10)). Let v(g) = -g**3 - 4*g**2. Let p be v(-4). Which is smaller: c or p?
c
Let q = 4 + 1. Let l = -42 - -46.9. Let u = q - l. Is u at least 3?
False
Let v = -13 - -21. Let u be 7 + -6 + 6 + 1. Is v at least u?
True
Let v be (-2 + 0/4)/(-20). Suppose 2*d - 3*d - 1 = 0. Is d greater than or equal to v?
False
Let w(l) = -l**2 + 11*l - 1. Let t be w(11). Let s = t + -1. Let n be s/6 + 5/6. Which is smal