.3 + -7. Let i = -6 - -5.6. Let k = d + i. Is k smaller than 1?
True
Let v be (-22)/((-24)/(-32) + (-22)/8). Which is smaller: 14 or v?
v
Let y(l) = -l**2 - 6*l + 4. Let x be y(-6). Let s = 76 - 70. Is x != s?
True
Suppose -4*o = -5*i - 25, -9 - 6 = -5*o + 3*i. Which is bigger: o or -2/7?
o
Let l = -1/4097 - -249926/36873. Let o = l + -7. Let s be 8/6 + (-1)/3. Is s bigger than o?
True
Let x = -0.14 - -0.15. Let q = 0.99 + x. Let v be 2/(-8) + 11/28. Which is bigger: q or v?
q
Let t(m) = -2*m + 4. Let c be t(6). Let r(g) = 2*g - 4. Let q be r(2). Suppose 4*w + 34 - 6 = q. Do c and w have the same value?
False
Let g be (4 - 4) + 1/(-2). Which is smaller: g or 2/7?
g
Let p = -275/7 - -39. Suppose -n - 2 = -3. Let q be (-3)/4 + n/1. Which is smaller: q or p?
p
Suppose 3*u = -2*r + 2, -u + 3*r + 0*r + 8 = 0. Let j(c) = c - 6. Let g be j(8). Is g at most u?
True
Let t = -10 - -11. Which is smaller: t or 4/11?
4/11
Let c = -3.91 + 4. Let p = -7.09 + c. Let v = p - -6.9. Which is greater: v or -2?
v
Let z(v) = -3*v**3 + 2*v**3 + 6*v**2 + 2*v**3 + 5. Let k be z(-6). Suppose 0*j + 2*c + 13 = -k*j, -2*j - 5*c = 22. Is -1/11 < j?
False
Let z = -0.1 + 0.1. Let u = -0.105 - -2.105. Which is smaller: u or z?
z
Let y be 8/12 - 78/9. Which is smaller: y or -0.1?
y
Suppose 2*b - 102 = 4*b + h, 5*h + 20 = 0. Let k = b + 29. Let f be ((-2)/(-5))/((-24)/k). Which is smaller: -1 or f?
-1
Let z = -11 - -25. Let k = -7 + z. Let c be (-36)/(-28) - 2/k. Is 1/4 <= c?
True
Let g = -664644 + 2700683/4. Let s = g + -10580. Let c = -53 - s. Is -1 >= c?
False
Let z = 2.1 + -2.2. Does z = -20?
False
Suppose -2*w - 13 + 17 = 0. Suppose -10 = 4*y - t, w*y + 2*y = -2*t - 16. Is y greater than or equal to 1?
False
Suppose 0 = 3*r - 3*y, 0*r = -5*r - 4*y + 36. Suppose 0 = -r*f - 4. Is -10/7 > f?
False
Let m = 0.1 - 0.15. Let z = -9.05 - m. Which is smaller: z or 0.1?
z
Let x = 30 + -38. Is -2 greater than x?
True
Let u = 48 - 32. Let f be 2/5 + u/10. Suppose -h = f*h. Which is bigger: 1 or h?
1
Let d be (-33)/(-2 + 5) + 2. Let t(r) = r**3 + 9*r**2 + r + 2. Let n be t(d). Which is greater: n or -8?
n
Let t = 166.01 + -160. Let p = 0.01 - t. Which is smaller: p or -0.1?
p
Let b = -20/47 + 634/1269. Which is smaller: b or 1?
b
Let o(z) = z**2 + 6*z - 6. Let j be o(-7). Let b = 2/3 - j. Suppose -r + 2*r = 3. Which is smaller: r or b?
b
Let v = 10.2 + -10. Let d = 4.87 - -0.13. Which is smaller: d or v?
v
Suppose 0 = -11*a + 13*a. Which is bigger: -3/11 or a?
a
Let f = -48 - -22. Let a = -53/2 - f. Suppose 2*w + 3*d = -9, 5*w + 2*d + 2*d + 12 = 0. Is a at least w?
False
Let v be 1*(-3 - -4)/(-2). Is v at most 1?
True
Let j(z) = -z - 1. Let h be j(-8). Suppose -h*q + 9 = -4*q. Which is smaller: 2 or q?
2
Let b be (16/24)/(1/(-9)). Is -4 greater than b?
True
Let d = 0.029 + -0.059. Is d < 2?
True
Let m be (-2)/5 - (-8)/12. Which is bigger: m or 0?
m
Let g = 0.12 - 0.1. Let v = 10 + -9. Which is smaller: g or v?
g
Suppose c - 4 = -2*r + 7*r, 2*r = 0. Suppose 5*q = -c*h - 24, 3*h = -0*q - q - 7. Let b = q - -5. Which is greater: 2/5 or b?
b
Suppose 2*a - 4 = -2*a. Let r be (1/(-3))/(a/(-6)). Suppose 4*f = -m + 16, 0 = 5*f + 4*m - 0 - 20. Is f greater than or equal to r?
True
Suppose -1 + 10 = -s - 5*n, -2*n - 45 = 5*s. Which is smaller: -23/3 or s?
s
Let v = 6 + -6.9. Let p = v - -1. Which is smaller: -2/13 or p?
-2/13
Let b be (50/20)/((-2)/(-4)). Which is smaller: 7 or b?
b
Suppose -2*l + z = 3*z + 22, z = -5*l - 39. Let m(v) = v. Let x(t) = -t**2 - 3*t - 6. Let d(b) = -5*m(b) + x(b). Let f be d(l). Which is smaller: f or -1/3?
-1/3
Let t = 1/20 - -69/20. Suppose -47*n = -8*n - 117. Is t < n?
False
Let o = -319 + 639/2. Let k = 0 + 1. Which is greater: k or o?
k
Let r = 0.74 + -0.34. Is -1 bigger than r?
False
Let j = 10 - 14. Which is smaller: j or 1?
j
Let a be 21/(-27) + (-2)/(-3). Let p = 1 + 0. Which is greater: a or p?
p
Let w be 4031/(-60) + (-2)/(-8). Let t = 17 + -84. Let n = t - w. Which is smaller: n or -1?
-1
Let f be (-1)/(-4)*-4 - 76. Is -77 equal to f?
True
Let i = 3 + 0. Suppose 5*f - 3 = -2*x + 22, f = x - 2. Is x >= i?
True
Let t be (-2 - -1)*-2 + 0. Suppose -2*q - 5*n - 19 - 6 = 0, -5*q = -t*n + 19. Which is greater: q or -6?
q
Let k be (4/66)/(3/(-27)). Suppose 3*w + 12 = 0, 0 = -h + 4*w - w + 12. Which is bigger: h or k?
h
Suppose -7*u = -3*u. Are u and -2/17 nonequal?
True
Let p = -0.03 - -0.11. Let z = p + -0.02. Let a = 0.04 + z. Which is bigger: 0 or a?
a
Suppose 5*h - 12 = 2*z, -2*h + 19 + 5 = 4*z. Let p be (2 + 0)*(2 + z). Let k = p - 19. Is k > -6?
False
Suppose 4*k = -0*k - 60. Let a be 6/(-15) + (-6)/k. Let i(j) = j + 4. Let h be i(-5). Is h at least as big as a?
False
Let h(f) = -f**3 - 2*f**2 + 6*f + 2. Let j be h(-4). Let q be 45/j*(-3 - -1). Let n = -19/2 - q. Which is smaller: -0.3 or n?
n
Let z be 2/1*3/(-2). Let d be z*(30/(-14) - -2). Which is smaller: 1 or d?
d
Let p = -2201/9 - -245. Let z be (-64)/28 - 2/(-7). Let y be 4/(-14) - z/7. Which is smaller: y or p?
y
Suppose 2*u + 0*u - 23 = -5*g, -4*u = -16. Let j(a) = a**3 - a**2 + 3. Let o be j(0). Suppose o*y = 5*w + 24, -2*y + w + 4 + 5 = 0. Is g < y?
False
Suppose -2*x = 3*p - 67, -p + 11 + 0 = -5*x. Does 22 = p?
False
Let h = 85.8 - 77. Let d = -8 + h. Which is greater: d or -0.1?
d
Let v = 8 - 21. Let m = -19 - v. Let s = 4 + m. Are s and -3 equal?
False
Let q = 1332/7 + -190. Which is bigger: q or 16?
16
Let z be 1/4 - (-7)/(-28). Is z bigger than 1/7?
False
Suppose -t - t = -4. Is -2/9 greater than or equal to t?
False
Let x(o) = o**2 - 17*o + 2. Let g be x(17). Which is bigger: g or -0.18?
g
Suppose -7 = 3*i - 1. Let p = -13 - -8. Let m = 4 + p. Which is smaller: i or m?
i
Let i be (-3 + (-2 - -8))*45. Suppose -3*v + 15 = 0, -3*o + 8*o - 5*v + i = 0. Let d = -89/4 - o. Is -2/7 at least as big as d?
False
Let k be (26/8 + -3)*5. Suppose 3*o = 2*o. Is o at least k?
False
Let x be (-6)/3 + (1 - 1). Suppose 10*n + 10 = 5*n. Is x at least n?
True
Let k = -59 - -58. Are 0.96 and k non-equal?
True
Let m = -3 + 7. Is 3 at least as big as m?
False
Let d = 2 + 0. Let l = d + -1. Let o = -1.1 - -0.1. Is o <= l?
True
Let d be 17/(-34)*(-12)/(-2). Suppose s + 0*s + 1 = 0. Let n = -1 + s. Which is smaller: d or n?
d
Let n = -18 + 20. Which is bigger: 5 or n?
5
Suppose 0 = -4*a - 0*j + 4*j - 12, 5*a + 7 = 3*j. Let h be (-6)/(-214)*1/(-6). Let y = h - -117/2140. Which is greater: a or y?
a
Let s(b) = 13047*b**2 - 2. Let t be s(3). Let j = -940973/8 + t. Let z = j + 201. Is 0 equal to z?
False
Let u(t) = -5*t - 1. Let n be u(-2). Let v = -13 - -8. Let o be (n/(-15))/(4/v). Is o > 1?
False
Let o = -150 - -149.96. Is o bigger than -1/2?
True
Let p(u) = -2*u + 0*u**2 + 5*u - 2*u**2 + 0*u. Let w be p(2). Which is bigger: 2 or w?
2
Suppose -3*y - 38 = 7. Let o be 2/(2/(-1))*y. Let v be o/(-9) - -1 - 1. Is -2 equal to v?
False
Let y = 101 - 100. Which is smaller: y or 2/183?
2/183
Let c be (-1)/(-1 + 12/10). Let z be 2/c*(-5)/11. Which is smaller: 1 or z?
z
Let s = 2 + -1. Let q = s + -1.1. Let c = -0.2 - -0.2. Is c at most as big as q?
False
Let l(f) = f**3 + 10*f**2. Let x be l(-10). Suppose -k - 6 + 5 = x. Is k bigger than 1/5?
False
Let b = 181 - 179.06. Let t = -0.06 - b. Is 12 at least as big as t?
True
Let w = -9 + 5. Let i be (w/(-10))/((-9)/(-15)). Let a(v) = v**2 + 5*v - 1. Let q be a(-5). Which is smaller: i or q?
q
Suppose 2*x + 2*x - 32 = 0. Let k be 2/(-1) + x/5. Let r be (-2)/7 + 36/28. Does r = k?
False
Suppose 3*p + 4 = -2. Let g be p/(-2) - (5 + 0). Which is smaller: g or -5?
-5
Let m(a) = -a**2 - 4*a - 8. Let r(u) = -3*u**2 - 8*u - 17. Let p(i) = -5*m(i) + 2*r(i). Let c be p(5). Let f be ((12/(-9))/(-2))/(-4). Which is bigger: c or f?
c
Let w be (-356)/(-30) + -12 + 56/270. Let g = -0.1 + 1.1. Which is smaller: w or g?
w
Let h = -0.1 - 0.1. Let j = -19 + 58/3. Which is smaller: j or h?
h
Let l = -11/10 + 7/20. Is -1 smaller than l?
True
Let j be 59*((-1056)/7 - -1). Let p = 8827 + j. Let s = 15 + p. Which is bigger: 1 or s?
1
Let o(w) = -w**2 - 3*w + 8. Let b be o(-4). Is 4 != b?
False
Let g(w) = -6 - 4*w**3 - 6*w**2 + 0 - w + 3*w**3. Let v be g(-6). Let a be (-1 - v)/(2 + -3). Are a and -1/7 nonequal?
True
Let w(j) = 6*j**2 - 6*j + 2. Let x be w(2). Let o be (-12)/42 + 18/x. Suppose -4*y =