r: -0.21 or a?
-0.21
Suppose 4*s - 2 = -2*u - 24, -2*u = -3*s - 6. Is 2/5 bigger than u?
True
Suppose 5*h - 4 = 1. Suppose -4*m + 0*m - 48 = -2*l, -2*l + 52 = -5*m. Let b be 2 - 1 - l/24. Which is bigger: h or b?
h
Let z be (-2 + (-29)/(-13))/(-1). Suppose -20 = -5*l, 5*l = 4*y + 38 - 14. Which is smaller: y or z?
y
Let q = 2/585 + -123/65. Is -2 at most as big as q?
True
Let n be 0 + 6 - (-3)/(-1). Suppose -m + 4*m = -n. Which is smaller: -3/8 or m?
m
Let d = -9/11 + 47/44. Which is smaller: -14 or d?
-14
Let l = -8 - -16. Let a be 6/l + 2/8. Suppose 4*g + 2*z + 2 = 0, -4*g = -3*z - 5 - 8. Are a and g non-equal?
False
Suppose 2*i - g + 8 = 4*i, 2*i - 14 = -4*g. Let q(m) = -m**2 - 11*m - 2. Let a be q(-11). Let h = 2 - a. Is h < i?
False
Suppose -30 = -5*b + 5*z, 4*b = 2*z - 2 + 18. Let k(a) = a**2 - 4*a + 4. Let m be k(3). Suppose -3*p = -2*p - m. Which is bigger: p or b?
b
Let q be 8/36 + (-2 - -2). Let n be 1*1*(1 - 0). Which is smaller: n or q?
q
Suppose -21*j = -26*j - 5. Which is smaller: j or -3?
-3
Let v = 8.93 + -9. Let l be (23/322)/((-2)/8). Is l less than v?
True
Let i be 10/35 - (102/14 - -1). Which is bigger: i or -9?
i
Suppose 2*k = -k - 75. Let n be (8/(-15))/(10/k). Suppose -4 + 2 = 4*z + 3*j, z + 7 = -4*j. Is z at most n?
True
Suppose 25 = 4*o + 5*i, -5*o + 3*o + 6 = -4*i. Let c(m) = -m**3 + 6*m**2 - 4*m - 5. Let y be c(o). Which is smaller: 1/10 or y?
y
Let q be 93/7 + (-20)/70. Let w = -19 + 33. Which is greater: w or q?
w
Let z = 8.6 - -1.4. Let m = z - 8. Which is bigger: -2 or m?
m
Suppose -3*k - 3*f = -0*f + 12, 2*k + 4 = -f. Suppose 12 = 2*v - 2*s - s, k = -2*s - 8. Which is smaller: -1 or v?
-1
Let v(t) = -2*t**2 + 4*t + 4. Let c be v(-3). Which is smaller: -25 or c?
c
Let y = 323/820 - -1/164. Let t = 5.03 - 0.03. Let k = t + -8. Do k and y have the same value?
False
Let z = -24 + 23.9. Which is bigger: -29 or z?
z
Let b = 69 - 47. Is b <= 64/3?
False
Suppose -5*y - 12 = -t, 0 = -y - 2. Is 4 > t?
True
Let c = -7.9 + 0.9. Let j = c + 6.9. Which is smaller: j or 0.1?
j
Let t = -0.98 - 0.02. Let w = t - -2. Is 1/5 at least as big as w?
False
Let f = 38/5 + -332/45. Is f smaller than -1?
False
Suppose 4 = u + 2*n, 3 = u - 4*u - 3*n. Which is bigger: u or -8?
u
Let c be (6/105)/(9/21). Let o be (1 - -1)*4/8. Suppose -4 = 5*d + o. Is c smaller than d?
False
Suppose -7*a = -13 - 64. Is a at least as big as 13?
False
Suppose 63 = -7*v + 10*v. Let o(g) = g + 3. Let c be o(-4). Which is smaller: v or c?
c
Let k(z) = z. Suppose -3*q = -4*q - 5. Let y = -4 - q. Let j be k(y). Are j and -3 nonequal?
True
Let f be (12/36)/(2/(-6)). Is 3/22 at least f?
True
Let r = -4909/5 - -991. Let j = -4 + -5. Let x = r + j. Is 1 <= x?
False
Let r = 0.21 - 2.41. Let t = -0.2 - r. Let x = -3 + 0. Is x at least t?
False
Let q = 28 + -10. Let t = q + -11. Suppose -t*j = -2*j. Is j greater than or equal to 2/3?
False
Let m(l) = l + 3. Let o be m(-8). Let w = 1 - o. Is w >= 6?
True
Let x = 64 + -317/5. Which is smaller: 2/5 or x?
2/5
Let a(g) = g + 3 - 4 - 3. Let r be a(8). Suppose -z - r = -1. Is z less than -3?
False
Let g = -76 + 74. Let b = -113 + 561/5. Is g < b?
True
Let o = -9.1 - -9. Which is bigger: 3 or o?
3
Let t be (-5)/20 + (-41)/(-4). Let i be (-120)/(-8)*8/t. Is i at most as big as 12?
True
Let v = 0.4 - 0.3. Let x(h) = h**2 - h + 5. Let i be x(0). Which is greater: v or i?
i
Let g(u) = 2 + u + 0 - 13*u**2 + 8*u**2 + 3*u**2 + 5*u**3. Let w be g(-1). Is -8 greater than or equal to w?
False
Let a = -5.3 + 0.3. Is a greater than or equal to -2?
False
Let k be (-3)/(-1 + (-10)/(-16)). Let n be (-2)/(k/9) + 2. Let j = 0 - -0.1. Is j at most as big as n?
False
Let q = 1 + -3. Let a(l) = 2*l**2 + 2. Let r be a(q). Are r and 11 equal?
False
Let q(z) be the third derivative of z**4/24 - z**3 + z**2. Let a be q(6). Suppose -2*x + 0*f - 5*f = 24, a = -2*x - f - 8. Is -4/7 <= x?
False
Let l be ((-20)/8)/(2/18). Let b = -317/14 - l. Let f = -3 + 4. Is f at least as big as b?
True
Suppose -2 = 3*l - 2*q, -l + 1 + 7 = -5*q. Let r be ((0/(-2))/3)/l. Which is greater: -2 or r?
r
Suppose 4*y - 4 = -3*j - 2, -5*y + 2*j = 9. Let p be (-15)/924*2 + 8/(-44). Is p greater than y?
True
Let h(m) = -m**3 - 7*m**2 + 9*m + 11. Let n = -3 + -5. Let l be h(n). Suppose -k = l*k. Which is greater: k or 3/5?
3/5
Let c = -2 + 0. Let g be c/3*297/18. Which is smaller: g or 0.1?
g
Let f = 10.3 - -0.7. Let h = 5 - f. Let c = h - -7. Are -1/2 and c nonequal?
True
Let v be (-1)/(-1) + -3 + 1. Let q be v*((-16)/20 - 0). Is 2 at most q?
False
Let o(j) = -j + 8. Let d be o(9). Is d at least 3/14?
False
Suppose 3*p + 3*k + 14 - 2 = 0, -4*p - k - 10 = 0. Let v be 0/(1 + p)*1. Let c be (0 + 1/(-10))*1. Is c > v?
False
Let p = -8.7 - -8.6. Does 12/11 = p?
False
Let i = 1.3 - 0.3. Let l = -34 + 34.2. Which is smaller: i or l?
l
Let k be (-145)/(-8)*(-4)/(-10). Let s = -13 + 5. Let o = s + k. Which is greater: o or 0?
0
Let v = 8 - 12. Let q be 12/(-12) - (3 - 1). Which is smaller: q or v?
v
Let k be (29/56)/(22/92). Let v = 25/11 - k. Let b = -1/28 - v. Which is smaller: b or 0?
b
Let y = -10.9 + -3.1. Let u = y + 20. Let k be 4/(-6) + (-15)/(-36). Which is smaller: u or k?
k
Let s = 2/51 - 148/1173. Is -1 at least as big as s?
False
Suppose 0 = 65*k - 61*k - 64. Which is smaller: 17 or k?
k
Let i = 4 + -21. Which is greater: -15 or i?
-15
Let a(y) = y. Let v be a(0). Suppose -3*x = -8*x - 10. Let l be x*(-3)/6 - 1. Is l at least v?
True
Let u = 3 - -17. Let w = u - 20.05. Which is smaller: -1/3 or w?
-1/3
Let l(z) = z**3 - 5*z**2 + z. Let v be l(4). Let k(r) = -r**2 - 13*r - 13. Let n be k(v). Is -1 less than or equal to n?
True
Suppose -4*k = -4*c + 4, 16 = -3*c - 2*c - 2*k. Let o be (-1)/(-3) + 332/(-6). Let x be o/50 + (-4)/10. Is x <= c?
False
Suppose -3*i = -2*w + 12, -5*i = w - 5*w + 24. Let o = 7 - w. Is o > 2/13?
True
Let t be (-1)/2 + (-33)/6. Let n be (-5)/(-2)*t/(-5). Let p be (4/n)/(4/(-6)). Which is smaller: -3/4 or p?
p
Let g(a) = -a + 1. Let q be g(2). Are q and 3 unequal?
True
Suppose -9*j + 9 = -6*j. Let y = 0 + 4. Which is greater: j or y?
y
Let j = 3.6 - -1.2. Let f = 5 - j. Which is bigger: 1 or f?
1
Let u(c) = -c**3 + 8*c**2 - 10*c - 3. Let h be u(7). Which is smaller: h or -23?
h
Let k be (-1 - -1)/2 - -2. Suppose -k*i = 2*i - 12. Let x = i - 3. Is x greater than -2?
True
Let z = -1 + 2/3. Suppose -27 + 3 = 4*u. Let t = u - -7. Is t <= z?
False
Suppose -d - d = 6. Is d greater than or equal to -3?
True
Let u = 10 - 10. Which is bigger: u or 1/9?
1/9
Let u be 7*(-5)/(35/(-6)). Let n = u + -6. Is 3 > n?
True
Let h = 7 - 5. Suppose -h = -2*k - 2*x, 0 = -5*k - 3*x + 3 + 10. Suppose -s - 17 = 3*q, -4*s = s - k*q - 15. Is s at least -1/2?
False
Suppose -2*t - 8 = -4*t. Suppose t*q - 12 = -2*w, q = 2*w - 10 + 3. Are 4 and w equal?
True
Let b(m) = m**2 + 4*m + 1. Let h(t) = -t**2 - t. Let u(i) = b(i) + 4*h(i). Let d be u(1). Suppose 0*n = 2*n. Which is bigger: n or d?
n
Suppose 3*b - 3 = -x, -2*b - 2 = -5*x - 4. Suppose g = -5*j, -g - g + 4*j = x. Which is bigger: g or 2?
2
Suppose 94 = 7*i - 256. Are 50 and i unequal?
False
Let g = -1/777 - -4145/777. Which is bigger: g or 6?
6
Suppose -l + 6 = -k + l, 2*l - 10 = 0. Which is smaller: 0 or k?
0
Let m be (5/(-20))/((-1)/28). Suppose 3*b + m = d, -2*d + 6 = 5*b + 14. Is -2 at least b?
True
Let k be (69/146 - 0) + -1. Let m = 2/73 + k. Which is bigger: -0.2 or m?
-0.2
Let f = -32 - -88. Which is greater: f or -1/4?
f
Let g(h) = h**3 - 18*h**2 + 2*h - 26. Let d be g(18). Which is bigger: d or 11?
11
Let w = 3.8 + -3.6. Which is smaller: -2 or w?
-2
Let u be ((-18)/(-276)*1)/((-3)/1). Which is smaller: u or 1?
u
Let a be (0*(-1)/(-2))/(-2). Let g(q) = -q**3 - 5*q**2 + 7*q + 4. Let x be g(-6). Let t(j) = 2*j + 3. Let m be t(x). Which is bigger: a or m?
a
Let c = -4017 - -7255. Let i = c - 29114/9. Let w = 10/3 - i. Which is greater: -0.1 or w?
w
Let g = 10 + -7. Suppose -2 = -3*t - 5*n + 20, 0 = -2*t - g*n + 13. Let q = -44 + 133/3. Does q = t?
False
Let p = 0.88 + -0.58. Let f(b) = 6*b**2 - 20*b - 4. Let q(t) = t**2 - 4*t - 1. Let n(d) = -2*f(d) + 11*q(d). Let x be n(-3). Which is greater: x or p?
p
Let v(h) = -h**3 + 5*h**2 - 3*h - 1. Let i be v(4). Suppose 2*c - i*c + 5*j = 18, -2*c + 6 = 4*j. Let w = c - -4. Whic