maller than s?
True
Let w(k) = k**2 - 17*k + 33. Let d be w(15). Do 22/7 and d have the same value?
False
Let h be 5/((-4)/24*2). Let r be 3/h - 6/(-80). Suppose -5*k = -5*v + 10, 3*v - 2 = -k - 4. Is v > r?
True
Let z(d) = d**3 - 11*d**2 - 14*d + 25. Let w be z(12). Let t = 3 - 2. Is t at least as big as w?
True
Let c(i) = -i - 3. Let a be c(0). Let n be (a/(-4 + 1))/1. Let z = -8.18 + 0.18. Which is smaller: n or z?
z
Let f(q) = -6*q. Let w(v) = v**2 - 3*v + 2. Let r be w(3). Let l be f(r). Which is greater: l or -13?
l
Let y = -1.872 - 0.128. Is 7/9 greater than y?
True
Let h = -9.29 + -1.61. Let i = h - -11. Is i greater than -0.04?
True
Let z(m) = -m - 1. Let s = 2 + -2. Let n be z(s). Let j = 179 - 1255/7. Which is bigger: j or n?
j
Let c = -0.01 + -0.79. Let n = c - -0.5. Let k = -2 - -1. Is n smaller than k?
False
Let n = 0.6 - 0.52. Let w = -2.92 - n. Which is bigger: 0.1 or w?
0.1
Let d(s) = s**3 - 3*s**2 - 3*s + 3. Let r be d(2). Which is smaller: r or -8?
-8
Let q be (-8)/40 + 171/705. Is 1 at least as big as q?
True
Let h = -11 + 18. Let a = 9 - 9. Is h bigger than a?
True
Let c = -0.05 - -13.05. Let o = -12.9 + c. Is -0.2 greater than o?
False
Let c(m) = -m + 1. Let o be c(-3). Let u be o/(-18) + 50/(-18). Let k = u - -4. Is k smaller than -2/9?
False
Suppose -2*w = 3*w. Suppose 3*t = 5*c - 6*c - 11, -c - t - 3 = w. Which is smaller: c or -1/6?
-1/6
Suppose -3*d - 2 = -5, -4*d - 824 = -4*u. Suppose 32 - u = -5*h. Let q be (-6)/21 - (-3)/h. Is -1 greater than or equal to q?
False
Let y be 1/((-7)/21) - 134/(-4). Is 30 greater than or equal to y?
False
Let w be 2 + -1*(4 + -2). Let u be -3 - (-2 - w - 2). Are -1 and u nonequal?
True
Let t = 82 + -169/2. Which is greater: -3 or t?
t
Let t = 13 + -13. Suppose -4*x + 9*x = t. Is -0.1 bigger than x?
False
Let j(u) = u**2 - 2. Let a be j(3). Let b = 9 - a. Which is smaller: 4 or b?
b
Let x(l) = -l**3 + 5*l**2 - 3*l - 3. Let d be x(4). Which is greater: d or 32?
32
Let l(x) = -x**3 + 7*x**2 - 6*x + 1. Let p be l(6). Let t = 4/65975 + 142637914/593775. Let o = 240 - t. Is p bigger than o?
True
Let w = -0.1 - 0.1. Let g = w + 1.2. Suppose -4*l = -8, 0 = 3*z + 3*l - l + 5. Is g <= z?
False
Let i be (-4)/(-5)*10/4. Let c be (-18)/(-3) - (-2 - -1). Let g = 7 - c. Which is smaller: i or g?
g
Let h = -0.22 + -9.78. Let a = -12 - h. Which is smaller: 0.2 or a?
a
Let h be (-1 - -2) + -8 + 9. Suppose 2*l = 5*l. Let n = l - -2. Is n not equal to h?
False
Let m = 12 - 11.92. Which is greater: m or -2?
m
Let t = 7 - 5. Let h = -2 + t. Let c = h + 0. Which is bigger: c or -3/4?
c
Let h be (-4)/(-12)*4512/(-28). Let y = 54 + h. Is 3 >= y?
True
Let n = -33.99 + 34. Is n not equal to 1/5?
True
Let x = -3 + 3. Let m = 9 + -5. Let s(j) = j**2 - 4*j + 1. Let k be s(m). Are k and x non-equal?
True
Let r = 0.09 - -0.11. Which is smaller: r or 4?
r
Let k = 20.88 - 21. Which is greater: k or 5?
5
Let z(q) = -q**2 + 13*q - 2. Let r be z(13). Which is smaller: -1 or r?
r
Let b = 3 + -3. Is b less than -2?
False
Let g be 2 + -3 + 5/((-210)/(-38)). Which is smaller: -0.6 or g?
-0.6
Let u = -18.313 - -3.223. Let k = u + 15. Let s = -0.01 + k. Which is bigger: -0.2 or s?
s
Let z(t) = -3*t - 53. Let n be z(-19). Which is greater: n or -1/36?
n
Let g(d) = -d**2 + 6*d. Let n be g(6). Suppose 6*a - 11 = -2*i + 3*a, -3*i + 5*a + 7 = n. Suppose 20 = 5*p, -5*p = i*l - p - 20. Is 2 less than l?
False
Suppose 5*c + 1 = -4. Let b be c/4 + 18/(-8). Suppose t - 12 = 4*t. Is t greater than or equal to b?
False
Let b = 8/11 - 2/33. Which is smaller: b or 5/6?
b
Let v(b) = -b**2 - 7*b - 1. Let n be v(-7). Suppose -12 = z - 5*p, 1 = 3*p - 8. Let g = -5 + z. Which is smaller: g or n?
g
Let d be ((-1)/(-3))/(7/(-21)). Which is greater: d or -3?
d
Suppose -2*k + 3*k = 0. Which is bigger: k or -2/197?
k
Let k be 303/15*74/1. Let z = k + -1490. Let u = -226/45 + z. Is u < 0?
True
Suppose 81 = -4*t - 95. Let m be (2/4)/(55/t). Which is smaller: -1 or m?
-1
Let h be 4/(1 + 0/(-3)). Suppose -a - h = a. Let t be a/30 + (-3)/9. Which is smaller: t or 0?
t
Let a = -2 + 4. Let c be -16*a/(-4)*-1. Is -6 at least c?
True
Suppose k - 4*k = 0, 0 = 3*y + 4*k - 9. Suppose -b + 3*b - 10 = 0, -3*b = -3*v - y. Suppose -v*w + 2*q + 5 = -19, 3*q - 30 = -5*w. Is 1 < w?
True
Suppose 5 = 10*c - 5*c. Let j = 2 - c. Let p = -317/11 - -29. Which is greater: p or j?
j
Let v = -14 + 13. Is v less than or equal to -0.01?
True
Let c be (4/(-10))/(3 + -4). Suppose -4*z + 6 = 2. Which is greater: z or c?
z
Suppose g + 1 = -2. Let n = g + 5. Which is greater: 1 or n?
n
Let k be 1*((-2)/1 - -7). Suppose -k*h - 25 = z, h - 2*z = -5*z - 19. Are -8/3 and h non-equal?
True
Let g(w) = w**2 + 4*w + 2. Let v be g(-3). Let r = -4 + 3. Let n be r/(-6)*-7 - -1. Which is bigger: n or v?
n
Let r = -0.06 - 0.04. Is -2 equal to r?
False
Suppose 2*g + 2*v = g + 66, 5*g = 2*v + 294. Let y be (4/8)/((-2)/g). Is -15 less than or equal to y?
True
Suppose -q + 3 = -2, q - 17 = -4*g. Let i be ((-1)/(-2) + 0)/g. Let r = -0.34 - -0.24. Is r greater than or equal to i?
False
Let w be ((-4)/4)/(-1) + 2. Suppose 6*j - 3 = w*j. Which is bigger: j or 2?
2
Let m(x) = 8*x + 19. Let l be m(-6). Is -29 less than or equal to l?
True
Let d = 125/2 - 60. Suppose -3*c = -f - 7, -f - 4 = -0*c - 2*c. Suppose -f*z + 2*v = -3*z - 3, -24 = -5*z + 3*v. Which is smaller: z or d?
d
Let q = -2/727 - 3617/6543. Is 0 >= q?
True
Let u(r) = 2*r - 2. Let l be u(3). Suppose 5*t = -4*i + 17, 0*t = -i + l*t - 22. Which is bigger: i or -1?
-1
Suppose -3*a - 3*d - d = -40, 0 = -3*a + 3*d + 33. Let p be (-21)/a - (-2 - 0). Let r be 6/21 + (-4)/14. Which is greater: p or r?
p
Let h(i) = i**2 - 8*i + 1. Let u be h(7). Let q be 0 - (-8 + 1 + -4). Let s = q + u. Does 5 = s?
True
Suppose -g - 3*g - 4*z = -4, g + 3*z - 3 = 0. Are 30 and g nonequal?
True
Let c be (-3 - 506/(-170))/((-143)/(-55)). Which is smaller: c or 0?
c
Suppose 59 = 3*p + 20. Let w = -18 + p. Which is smaller: w or -6?
-6
Let y be (-16)/56 + 262/35. Which is greater: y or 6?
y
Let t be 58/(3486/15 - 0). Let h = 3/83 + t. Let a be 6/(-9) - 6/(-9). Which is smaller: h or a?
a
Suppose -7*l + 4 = -3*l. Which is bigger: -2/17 or l?
l
Let i be (15/(-6))/5 + 1. Let a be (-4)/14 - (-390)/140. Are a and i equal?
False
Suppose -5*g = -3*s + 1 - 11, 5*g = s. Let b be s/3*(-2202)/(-22). Let v = b + 167. Does 0 = v?
False
Let f = -7.6 - -6. Let g = 3.6 + f. Is g at least -2?
True
Let t = -1977 + 235265/119. Are -1 and t nonequal?
True
Suppose -6 = r - 2*l + 2, -3*l + 12 = 2*r. Which is smaller: 2/33 or r?
r
Let p = -559/9 - -62. Let z(u) = u**3 - 5*u**2 + 4*u + 4. Let j be z(4). Suppose x = j*x + 3. Which is smaller: x or p?
x
Let c be (0 + 1)/((-10)/(-10)). Are 0 and c unequal?
True
Let d = 17 + 17. Which is smaller: 35 or d?
d
Suppose -3*a = 5*l - 15, 3 = -3*a + 2*l - 3. Let j = -34/7 - -32/7. Does j = a?
False
Let q be (-4)/(-5) - (4 + -3). Is q at least as big as 0?
False
Let f = -4/3 + 16/21. Let i be -3 + -2 + ((-20)/(-8) - -2). Which is smaller: i or f?
f
Let f(t) = t**2 - 4*t - 13. Let c be f(5). Is -6 at most as big as c?
False
Let m = 3 - -6. Let w(j) = j**3 - 10*j**2 + 9*j + 5. Let u be w(m). Suppose u*x = x + 12. Is x at least 2?
True
Let q = 16015/67 + -239. Do 1 and q have different values?
True
Let c = 143/13545 + -2/1935. Are c and 0 unequal?
True
Let h = -1.37 - -1.33. Let c(o) = -o - 1. Let i be c(0). Which is smaller: i or h?
i
Suppose 3*a + p = 2 - 0, -16 = -2*a + 3*p. Let u(k) = 2*k**2 + k. Let y be u(-1). Let s be (-6)/(-8)*4/y. Is a not equal to s?
True
Let r = 1 + 5. Let y = -7 + r. Is -1/3 > y?
True
Let z(p) = -p**2 + 6*p + 2. Let w be z(6). Let x = -1 - 0. Which is smaller: x or w?
x
Let t(i) = -i**2 + 9*i. Let l be t(9). Suppose -p + 2*p - 3 = l. Which is bigger: 8/3 or p?
p
Suppose 2 = 3*t - 4. Suppose -b = -t*b. Are b and -5 equal?
False
Let w be ((-2)/44)/(16/(-32)). Which is smaller: w or 0.2?
w
Suppose -3*p + 4*p + i = -4, 0 = 2*p - 4*i - 4. Which is bigger: -1 or p?
-1
Suppose 3*d + 7 = -5*z - 21, -4*z - 23 = 3*d. Which is greater: d or 1/12?
1/12
Let o be (-35)/45 + (-4)/18. Is -3 smaller than o?
True
Suppose -2*h = -5*k + 14 - 37, -4*k = 5*h + 25. Is h at least as big as -2/13?
False
Suppose 4*q + 20 = 0, -q = -i + 3*q + 20. Let c be