 + 1. Let r = 3.2 + l. Let x be (-22)/(-40) + 27/(-36). Which is smaller: r or x?
x
Let h = 29 - 32. Do h and -1 have the same value?
False
Suppose -42 = -3*i + 3*q, 4*i = 2*q + q + 55. Let v be 1/(-2) - i/(-2). Let t = v + -6. Are t and 1 nonequal?
True
Let y = 2.5 - 1.3. Let r = -0.2 + y. Let j be (4/18)/1*1. Is r != j?
True
Let f be ((-1)/27*-6)/(1/(-3)). Suppose -3*d + 4*d - 5*i - 17 = 0, 5*i + 26 = -2*d. Let k = d + 2. Is f at most k?
False
Let x(u) = 2*u**2 - 9*u + 3. Let b be x(8). Do 61 and b have the same value?
False
Let r = 20 - 6. Suppose 0 = 5*x - 2*u - 8 - 5, 2*u = -4*x + r. Suppose -24 = -x*s - s. Is s < 5?
False
Let i = 0.05 + 0.05. Which is bigger: -12 or i?
i
Let z be 3*16/36*-12. Is z smaller than -33/2?
False
Let u = 12/25 + -2/25. Let y = -1 - -9. Suppose -3*b = -y*b. Which is bigger: b or u?
u
Suppose -2*v = 2*f - 3 - 3, v = -3*f + 13. Which is greater: f or 8?
8
Let z(g) = g**3 + 4*g**2 - 4*g + 3. Let t be z(-5). Let h be (-2)/(-7) + 0/t. Suppose 11 = 3*k - 4*u - 0, 2*k - 4 = 2*u. Do h and k have the same value?
False
Let y = -4 + 6. Suppose -y*w = -w - a - 7, 0 = 5*a + 25. Suppose w*r - 14 = -2*f - 3*f, -4*f = -4*r. Is 3 > r?
True
Suppose 0 = 5*o - 2*x - 217 - 10, 0 = -o - 5*x + 40. Let k be 46/o - 4/18. Is k < 0?
False
Let u be 2 + -4 - -6*1. Suppose -12 = u*g + 2*r, -g - 14 = g + 3*r. Which is bigger: -1/5 or g?
-1/5
Let p = -1 + 1. Let j be (-4)/16*(2 - 3). Is p bigger than j?
False
Suppose r = 4*m + 68, -5*r = -4*r + m - 58. Let d be r/24 + (-3)/2. Let n(b) = -b**3 - 5*b**2 - 4*b + 1. Let j be n(-4). Is j at most d?
True
Let g = 5 - 4.98. Let n = g + -2.02. Is -2 at most as big as n?
True
Let f = 17 + -16.3. Let w = -0.7 + -0.3. Let n = f + w. Is -2/5 less than n?
True
Suppose 0 = -4*p + 2*p + 10. Suppose -p*l + 8 = -9*l. Which is smaller: -2/3 or l?
l
Let r(f) = -6*f**3 + f - 1. Let d be r(1). Which is greater: -3 or d?
-3
Let l = 18 + -7. Suppose l = u - 5*u + 3*q, -4*u - 2*q - 6 = 0. Let a be u/6 - 26/(-42). Which is bigger: a or 0?
a
Let y(w) = -w**3 + w**2 - w + 1. Let k be y(0). Let v be 1 + ((-3)/k)/1. Suppose 4*t + 4 + 8 = 0. Is v bigger than t?
True
Suppose y - 4*i = 7, 2*i = -y + i + 2. Suppose 0 = -5*t + 7 + y. Suppose -16 - 2 = 4*j + t*n, 0 = -2*j - 3*n - 15. Is -2 bigger than j?
True
Let l = -1/62 - 117/434. Is l at least 0?
False
Let x = -5.02 - -0.02. Let m = x - -5.2. Is m at least 0?
True
Suppose 4*u - 82 = -2*d, -3*u + 0*d = -5*d - 94. Is u equal to 23?
True
Let t = 4 - 0. Let k be 5/(10/t) - -1. Which is smaller: 0.1 or k?
0.1
Suppose -2*p - 3 = -1. Which is smaller: 0 or p?
p
Let m = -14.7 + 12.7. Which is smaller: m or -1.4?
m
Let j be (0 + 6)*(-5)/(-2). Let f be 6/j*36/(-8). Which is bigger: -2 or f?
f
Let w = 0.06 + 0.04. Let z = w - 0.4. Let x = -11 + 23/2. Which is smaller: x or z?
z
Let d = -88 + 44. Let t be d/7 + 6/21. Let a = t - -4. Which is smaller: a or -3?
-3
Let u = -0.4 - -0.4. Which is smaller: u or 6?
u
Suppose 4*x + 7 - 30 = -d, -4*d = -4*x + 8. Suppose -2*i = -81 + x. Let f be i/(-8) - 1/4. Is -6 bigger than f?
False
Suppose -2*i - 5 = 3*i - 5*s, 4*i = -s + 6. Let u be (0 - i)*(0 - 1). Is 2/3 greater than u?
False
Let v(w) = -w**2 - 3*w. Let r be v(-3). Suppose -5*c = -r*c + 10. Which is smaller: -1 or c?
c
Let p = -3 - -2. Let x be 1/(68/(-8) - -2). Are x and p nonequal?
True
Suppose -2*c - 4 = 2*c. Is c equal to 1/33?
False
Let i(b) = b**3 - 2*b**2 - 6*b + 2. Let x be i(4). Do x and 9 have different values?
True
Let m(z) = z**3 - z**2 - 3*z + 2. Let v be m(2). Let x be (v/3)/2 + -3. Let r be x/2*(-7)/(-126). Is -1 bigger than r?
False
Suppose 3*h - 2*j = -10 + 1, h - 2*j + 7 = 0. Let b be 8/((-1 + -1)*h). Which is greater: b or 3?
b
Suppose 5*w - 24 = 3*u + 43, 5*w + 85 = -5*u. Let h = u - -15. Do h and -8/3 have different values?
True
Let k be (-898)/(-6)*(-1)/(-3). Let z = 50 - k. Which is bigger: z or -1?
z
Let d = 0.1 + 0.9. Let u = -4 + d. Let r = 0.3 - -0.7. Which is bigger: u or r?
r
Let w = 8 - 4. Let h be (2 - (-1 - -5))/1. Let i be (-10)/w - 1/h. Which is bigger: i or -4?
i
Let n = -13 - -10. Which is bigger: -5/3 or n?
-5/3
Let s(c) = c**2 + 10*c + 9. Let h be s(-10). Let x = -6 + 14. Is h smaller than x?
False
Let c = 0.6 + -0.5. Let l = c - -3.9. Which is smaller: 0 or l?
0
Let z be (21 - 6)/5*4/(-22). Let i = 4 - 4. Let x = i - 1. Is z bigger than x?
True
Let m(u) = 5*u**2 - 2*u + 1. Let f be m(1). Let c = f - 3. Which is smaller: -0.1 or c?
-0.1
Let d = -36 - -60. Let m = 14.02 - d. Let o = m - -10. Which is smaller: o or -2/3?
-2/3
Suppose 5*d = d. Suppose a + t + 3 = -0, d = 2*a + 3*t + 9. Do -1/6 and a have the same value?
False
Let n(c) = -c + 2. Let f be n(5). Let b = 1 - 1. Let g(k) = -k**2 - k - 3. Let l be g(b). Is f equal to l?
True
Suppose 2*c = 15 + 15. Suppose 4*s - 3 = -c. Let b be -10 - (0 + 9)/s. Which is greater: -6 or b?
-6
Let h(r) = 3*r**2 - r. Let g be h(-3). Let j = g + -18. Suppose -5*i + j = -i. Is i equal to 3?
True
Let a be (2/(-6))/(2/(-30)). Suppose -10 = s - a*l + 6, s = 2*l - 4. Suppose s - 5 = h. Which is smaller: -1/3 or h?
h
Let p = -6.246 + 6.3. Is 0.1 greater than p?
True
Let d = -289 + 3177/11. Let n = -8 - -5. Which is greater: n or d?
d
Suppose 8*t + 102 = 2*t. Is t < -17?
False
Suppose -2*z + 1228 = -6*z. Let v = -3073/10 - z. Is 0.1 at most as big as v?
False
Let i be ((-1)/(-2))/((-3)/6). Let m be 4 - (2 - (2 + i)). Suppose n - 4*n - 3 = 0, 3*n = -5*u + 2. Which is greater: u or m?
m
Let q = -11 + 8. Let k be q/7*2/3. Suppose 0 = -2*o - r - 2, 3*r + 21 = 5*o - r. Is k less than o?
True
Let v(d) = -d - 14. Let n be v(-8). Which is greater: n or -4?
-4
Let l = 37 - 36. Is l greater than 1?
False
Suppose 3 = -i + 6. Suppose 0*w - 5*b + 23 = 2*w, 2*w = 5*b - 7. Which is smaller: i or w?
i
Suppose -2 = -3*a - l + 7, a - 5 = -l. Let x(g) = -3*g. Let c be x(a). Which is smaller: -2 or c?
c
Let r = 6.93 + -7. Is r greater than -0.2?
True
Let t = 8 - 8. Let c = t - -0.2. Is c < 3/2?
True
Suppose 4*h = 2*f + 8, -f = -4*h + 4*f + 20. Suppose b + 30 = -4*k, 2*k = -3*b + 6*k - 138. Let q = b + 127/3. Is h equal to q?
False
Suppose 3*t + 2 = 5*q - 12, 4*q - 2*t - 10 = 0. Which is greater: -2/105 or q?
q
Let y be -2 + 1 - (-1)/1. Let n = 116/11 - 10. Is n less than y?
False
Let z be 15/20*16/102. Suppose 5*k = k + 8. Suppose -k*o = 5*l + 3*o, 5*o + 5 = 0. Is z at least l?
False
Suppose -4*q + 5*q = 1. Is q > 10?
False
Let d = 0 + 0. Is 1/20 greater than or equal to d?
True
Let s(z) = -z**3 + z**2 + 2*z + 4. Let g be s(3). Suppose j - 1 - 4 = 0. Let l be g/10 - (-2)/j. Which is greater: l or -1?
l
Let n be ((-56)/(-1232))/(1/(-8)*-2). Let c = 0 - -1. Which is bigger: c or n?
c
Suppose -3*l + 5*y + 28 + 0 = 0, -2*y = l + 9. Suppose 5*b - 4 = 1. Let r be (b - 0)*(-4)/(-10). Which is smaller: r or l?
r
Let a = 16 + -28. Let q be (2/a)/((-6)/8). Which is smaller: q or 2?
q
Let z(c) = -2*c + 31. Let p be z(7). Is p at least as big as 15?
True
Let t(q) = q - 4. Let f be t(8). Does 2/3 = f?
False
Let d be (0 - 2) + (-40)/(-22). Let v = -1 - -0.8. Which is smaller: v or d?
v
Suppose 4*a = -f + 5, -4*a + f = -4 - 7. Is 1 >= a?
False
Let g = -4.8 + 39.8. Which is greater: 2 or g?
g
Let y = -32/11 - -180/77. Let g(u) = -u**2 - 5*u + 6. Let s be g(-6). Suppose 0 = -x - s*x - 1. Which is greater: y or x?
y
Let v(w) = 2*w + 7. Let k be v(-7). Let b = 7 + k. Which is greater: b or -2/5?
b
Suppose 0*v - v = n + 7, n + 13 = -3*v. Let d = n - -6. Let a be 10/(-7)*(9 + (-720)/75). Is a at least d?
False
Let f be 1/4 - (0 + 22/104). Which is greater: f or 0.2?
0.2
Suppose -99*c = -94*c - 20. Let g be 2*(6/4 + 0). Which is bigger: c or g?
c
Let r = 61 + -181/3. Is r bigger than 6?
False
Let f = 2 - 4. Let h = f - -2.2. Which is bigger: h or 1/4?
1/4
Let u be (-5)/((-1)/(-8)*-2). Suppose 0*z = 4*z - u. Suppose 0*r - z*b = 5*r + 10, -13 = 2*r + 5*b. Which is smaller: r or 0?
0
Let x = -1.1 - -0.1. Let m(g) = g**3 - 13*g**2 - 15. Let j be m(13). Are x and j equal?
False
Let w(i) = i**3 + i**2 + i. Let m(a) = -a**3 + a**2 - 4*a + 3. Let o(b) = -m(b) - 2*w(b). Let p be o(-4). Which is smaller: p or 4?
4
Let c be (8/(-12))/(6/351). Is c <= -39?
True
Let g = 60.04 - 62. Let m = g - 0.04. Let w = 0.3 + -1.3. Which is bigger: m or w?
w
Let a = 0.1 - -1.2. Let b 