, -28 - 6 = -3*r + 5*t. Which is smaller: 0.4 or r?
0.4
Let s = 0.11 + 2.69. Let w = -0.8 + s. Is w at least -1?
True
Let n = 43 - 44. Which is bigger: n or 26?
26
Let g = 632/7 - 90. Suppose -3*c - 2*c = -40. Suppose c = 5*t + 3. Are t and g equal?
False
Suppose 2*g + 2*g + 3*u - 8 = 0, -3*g + 17 = 5*u. Let v(o) = o**3 + 3*o**2 - 4*o + 1. Let r be v(-4). Let w = g + r. Is w < 0?
False
Let k be 10/56*2 - 12/21. Let m(s) = s**2 + 2*s + 1. Let a be m(-2). Is k at most as big as a?
True
Suppose -5*x + 0*w - 5 = 4*w, 0 = 5*x - 4*w + 5. Let p = -2071/6 - -345. Which is bigger: p or x?
p
Let n be (-2)/(-5) - 7/(-70). Does n = -3/2?
False
Let h be (-2 - -1) + 1 + 0. Let p = -3 - -3. Is h smaller than p?
False
Let l be 2/13 + (-6)/39. Is 2 smaller than l?
False
Let n = 12 - 16. Let d be ((-40)/(-12))/(n/6). Does 2 = d?
False
Let z be 3 - (0/(-3) + -1). Suppose -2*f + 4*f = z. Suppose -w = w - f. Is 1 < w?
False
Let x(q) = -q**3 + q**2 - 2*q. Let d be x(0). Let h = 0 + 0. Let w = h + 1. Is d equal to w?
False
Let d = -840 + 19315/23. Do -1 and d have different values?
True
Suppose 0 = 9*u - 7 - 2. Suppose -2*a = 5 - 1. Which is bigger: a or u?
u
Let j(o) = o - 1. Let f be j(3). Suppose 48 = f*b + 14. Suppose -3*i = -2*h - b, h - 4*i = -3*h - 24. Is h <= -1/8?
True
Let n(x) = x**3 + 3*x**2 - 2*x - 4. Let w be n(-3). Let a(l) = -l**3 + 3*l - 2. Let k be a(w). Is -3 at most as big as k?
False
Let s = -81/2 + 565/14. Let c(v) = -v**2 + v + 1. Let f be c(2). Which is bigger: s or f?
s
Let b = 8 - 10. Let y be 27/30 + b/4. Let o = 3 - 3.1. Which is bigger: y or o?
y
Let x = 15 + -16. Is -2 not equal to x?
True
Let y = 20 - 20. Which is bigger: y or -6/13?
y
Let x be -2 - (396/(-15) - 3). Let p = 28 - x. Which is bigger: 0 or p?
p
Let x be (-209)/(-247) + 2/13. Let l be (4 + -5)/((-1)/7). Is l smaller than x?
False
Let v = 81 + -112. Are v and -29 nonequal?
True
Let l = 0 - 2. Let w be -1 + 4/4 + 14. Let x be (-32)/w - 6/(-21). Is x at least as big as l?
True
Let w(u) = -u**3 - 11*u**2 - 11*u - 9. Suppose 0*i + 20 = -2*i. Let k be w(i). Which is smaller: k or -1/3?
-1/3
Let c = -0.09 - -3.09. Let p be 1/(-2) + (-375)/6. Let b be 32/p + 2/9. Is b less than c?
True
Let d be (-4)/(-6) + (-516)/(-36). Suppose 36 = 3*h + h. Let t = h - d. Is t != -5?
True
Let v = -8.9 + 9. Let w = -0.1 + -0.1. Let r = w + v. Is 1/3 smaller than r?
False
Let h = -3.1 + 3. Let y = h + 4.1. Let q = y + -6. Do 0 and q have the same value?
False
Let p(x) = x**3 - 7*x**2 + 6*x - 1. Let j be p(6). Let z be (-8)/(-20) - (-34)/(-10). Let s be (-3 - z)/(-2) + -1. Are j and s non-equal?
False
Let o be -13 - -9 - 20/(-8). Which is bigger: o or -2?
o
Let p = 1.3 - 1.2. Let v = -0.24 + -0.43. Let f = v - -0.7. Which is greater: f or p?
p
Let y(v) be the second derivative of v**4/12 - v**3 - 3*v**2/2 + 6*v. Let s be y(6). Which is greater: s or -4?
s
Let q = 13 + -7. Let v = q + -6. Suppose r - 1 + 5 = v. Do r and -4 have the same value?
True
Let p = -0.4 - 1.6. Suppose r - 5*r = 0. Is p less than or equal to r?
True
Suppose 6*n - 15*n = 9. Let v be 84/41 + 1*-2. Are n and v unequal?
True
Let h be (-2595)/(-2585) - 1/1. Let p = h + -1052/4653. Is p at most as big as 0?
True
Let a = 0.029 - 2.029. Which is bigger: 12 or a?
12
Suppose 0*w - 3*w = -5*b + 4, -2*b = -w - 1. Let m(r) = -1 + 0*r + 0*r - 4*r. Let n be m(b). Is n smaller than 3?
False
Let p = -1/13 - 47/65. Let m(v) = v**2 - 7*v + 8. Let g be m(5). Is g equal to p?
False
Let m(u) = -u**2 - u. Let w be -9 + 2 - (-2 - 0). Let p(a) = -2*a**2 - 3*a. Let h(z) = w*m(z) + 2*p(z). Let t be h(2). Which is greater: 3 or t?
3
Let p be 3 + 1/21*-67. Which is bigger: -1 or p?
p
Let d = -45 + 75. Let s be d/6 + 2 + -4. Suppose 2*t - s = -4*m - t, 5*m + t = 1. Is 0 at most as big as m?
True
Let o(v) = -14*v**3 - v**2 - v. Let w be o(-1). Let z be 1/(2 - w/6). Are 0.1 and z equal?
False
Let i(o) = -o**3 - 3*o**2 + 3*o - 2. Let y be i(-4). Suppose y*b = 4*z, -6*b = -b - z + 27. Which is smaller: b or -5?
b
Let i(c) = c**2 + c. Suppose -2*a - 6 = 2*f, 0*a + 7 = f - 4*a. Let s be i(f). Let p = 13/31 - 81/341. Which is bigger: s or p?
p
Suppose 22*u = 15*u + 7. Does 11 = u?
False
Let f(i) = i**3 + 3*i**2 - 11*i + 4. Let p be f(2). Are p and 0 unequal?
True
Let v(o) = 12*o**2 - 9. Let i be v(3). Is 98 at most as big as i?
True
Let h = 0.03 - -8.97. Let l = 14 - h. Is l < 2/5?
False
Let f = -20 - -20. Let o = 0 + -0.1. Which is greater: o or f?
f
Let w(c) = -2*c**3 + 16*c**2 - 17*c + 20. Let z be w(7). Let o(y) = -y**3 - 4*y**2 - 5. Let u be o(-4). Let h be ((-2)/(-5))/((-6)/u). Which is smaller: z or h?
z
Let f be -26*(3 - 18/4). Is f > 39?
False
Suppose -9*i = -3*i + 12. Is -4/5 greater than i?
True
Let s = 0.05 - 0.35. Let c = 31 - 35.1. Let d = -4 - c. Is d less than s?
False
Let h(v) = 6*v**2 + 4*v - 6. Let l be h(-6). Suppose 0 = -5*o + 2*o - l. Let u = 249/4 + o. Is u >= -1?
True
Let z be 0 - -3*2/16. Do z and 0.3 have the same value?
False
Let q be (-4126)/(-24)*2 - 3. Let b = 340 - q. Which is bigger: -2 or b?
b
Let m = 13.9 - 0.9. Let h = m + -12.9. Is 15/4 less than h?
False
Let u(j) = 18*j**2 - 2*j + 1. Let q be u(1). Let w = 12 - q. Let t be (-8)/(-5) - 2/w. Which is greater: t or 1?
t
Let p be -2*(-1)/(-2) - 1219/(-253). Which is smaller: p or 3?
3
Let o = 8.9 + -8. Let c = o - -0.1. Let n be 0 + 1 + -1 + 4. Is c at least as big as n?
False
Let a = -3.1 + 2.5. Is 1/4 >= a?
True
Let b = -27 + 26. Which is smaller: b or 2/29?
b
Let p = -1938 - -250000/129. Which is smaller: p or 1?
p
Suppose 8*d - 5*d = 27. Which is greater: d or 8?
d
Suppose -18 = 14*a + 4*a. Let n be (-1)/(1/1) + -2. Let c be n/7*(-4)/6. Which is bigger: c or a?
c
Suppose 12 = 6*y - 2*y - 5*r, -5*y = -2*r + 2. Let w be y/(-3)*6/(-4). Is -1/3 at least as big as w?
True
Let z(w) = w**3 + 6*w**2 + 5*w + 3. Let i be z(-5). Suppose 8*t = i*t - 5. Let d = -2 + 0. Which is greater: d or t?
t
Let y = -0.21 + 0.26. Is y < 3?
True
Suppose -3*z = -6*z + 39. Which is bigger: z or 12?
z
Let n = -1/1214 + 101987/13354. Is n greater than or equal to 8?
False
Suppose 10 = 2*s - 4*s. Let i be (-4)/(-10) + 3/s. Does 1 = i?
False
Let a = -127 + 891/7. Which is smaller: -20 or a?
-20
Let g = 2.4 - 0.4. Is g > 2?
False
Suppose 0 = 2*o - 9 - 11. Which is greater: o or 7?
o
Let m = -0.17 - 0.33. Which is smaller: 0.1 or m?
m
Let t = -0.1 + 0.2. Let x = 7.3 + -7. Let i = x - 0.4. Which is smaller: i or t?
i
Suppose s + 2 = 2*r - s, -2*s - 4 = 0. Let j(n) = -40*n**2. Let t be j(r). Let u be ((-15)/t)/((-6)/4). Is u less than -0.1?
True
Let u be (-2)/(0 + 4/(-8)) + 1. Is 5 >= u?
True
Let z = 1.1 + -1.3. Let w = 7 - 6.8. Which is bigger: w or z?
w
Let o be (-200)/(-52) - 2/(-13). Let c = -2 + o. Suppose -2*a = -3*a + c. Is 3 != a?
True
Let j(c) = -c**2 - 7*c - 8. Let h be j(-6). Let r be -3 + 5 + -6 - -1. Which is smaller: h or r?
r
Let q(g) = -2*g - 2. Suppose 0 = -o - 0*o + 3*a - 8, 0 = 4*o + 3*a + 2. Let b be q(o). Is -1 equal to b?
False
Let n(l) = l + 3. Let h(t) = -t - 11. Let m be h(-8). Let s be n(m). Is s not equal to 0?
False
Let i be (-2)/7 + (-23)/(-7). Let p be 1 + 9/(-12) - (-69)/92. Which is bigger: p or i?
i
Let n be (-10)/(-6) - 6/9. Is 2/59 at least n?
False
Let d be (5/((-1550)/4))/(21/(-35)). Is 0 greater than or equal to d?
False
Let k = 11 + -8. Is k smaller than 4?
True
Let p = 2.6 - 3. Let v = p - -0.45. Let c = -1.95 - v. Which is greater: c or 2/5?
2/5
Let z(g) = 5*g - 6. Let n(k) = -4*k + 6. Let s(x) = -4*n(x) - 3*z(x). Let w be s(5). Let l be 1/(9/(-2)) - 0. Which is smaller: l or w?
w
Let l be 0/((-2)/(-3)*-3). Suppose 3*m = -11 - 7. Let c be (-9)/m - (-10)/(-12). Which is smaller: l or c?
l
Let q(i) = i + 4. Let r be q(-4). Let m be r/1*2/2. Let t = 0 + m. Which is bigger: t or 2/5?
2/5
Let f(d) = -d**3 - d**2 + d + 2. Let g be f(-2). Let i(q) = q**2 - 4*q + 3. Let v be i(g). Which is smaller: 5 or v?
v
Suppose -3*v = 3*v - 6. Which is smaller: v or 1/25?
1/25
Let s be 4 + ((-836)/24)/11. Is s at least as big as 2?
False
Suppose -2*f + 2 = -4. Suppose 3 = 4*r - f*r. Suppose r*l = -l - 16. Is -5 greater than l?
False
Let f(g) = g - 3. Suppose -s = 5*r + s - 2, -4*r + 5*s + 28 = 0. Let x be f(r). Which is smaller: x or -3/13?
x
Suppose -43*i = -52*i. Is i != 8/7?
True
Supp