. Suppose -3*f - 11 = -3*l + f, -4*f - j = 5*l. Which is smaller: l or a?
a
Suppose 5*a = -4*q + 36, -2*q + 0*a - 4 = -3*a. Let u be -2 + q + -3 - -3. Suppose -d = -u*d. Which is greater: -2/9 or d?
d
Let o = 0 - -6. Let v = -4 + o. Do -0.1 and v have different values?
True
Let x(y) = 6*y - 22. Let q be x(11). Which is smaller: 43 or q?
43
Let t(w) = -2*w - 1. Let b be t(-2). Let q(i) = 0*i**3 - 2 + b - i**3 - 2*i**2. Let f be q(-2). Is f smaller than 2/15?
False
Suppose 0 = f - 2*o - 13, -5*f + o + 89 = -3*o. Which is smaller: 20 or f?
20
Let u(m) = 2*m**2 + 7*m + 23. Let d be u(-4). Is 25 smaller than d?
True
Suppose 2*t = 3*o - 2, -o + 2 = -4*t + 8. Suppose 7*x - o*x - 40 = 0. Let i be x/10 - (-2)/(-5). Is i <= 0?
False
Suppose 2*i = r + i, -3*i + 12 = 3*r. Let m = -5 + r. Let o be (7 + m)/(0 - 2). Is 0.1 equal to o?
False
Let k be (-106)/(-6) + 13 + -18. Does k = 13?
False
Let h = 11 - 17. Which is smaller: h or -14/3?
h
Let h(a) = a**2 + 2*a + 3. Let x be h(-4). Let m be 4/(-43)*x/22. Is m at most -1?
False
Let u be (10/(-2))/(3/(-2)). Let h be ((-406)/(-18))/7 - 4/18. Is u bigger than h?
True
Let b = 96 + -66. Let g be 26/b - (-2)/(-2). Let r be 1 - -1*2/(-1). Which is bigger: g or r?
g
Suppose -2*k = k. Let d be 4*(2 - 3)*(-3)/(-39). Which is greater: k or d?
k
Let r be (2 - 0)*(-2 - -6). Let h(p) = -p**2 - 12*p + 5. Let u be h(-12). Suppose 5*o = 2*z - r, u*z - 2*o = -0*o - 1. Which is smaller: z or -2?
-2
Let s(n) = 2*n - 7. Let b be s(6). Suppose -b*z - 20 = -3*i, 4*z + 10 + 4 = 2*i. Is i > 5?
False
Suppose d = -i - i - 22, 16 = -4*d. Which is smaller: -12 or i?
-12
Let t = -3 + 0. Let i be t/6 - (-2)/4. Is 3 at most as big as i?
False
Let o = 0.251 - 0.3. Which is bigger: o or -2/7?
o
Let k = -42 - -39. Which is smaller: k or -2?
k
Let t = 73/12 + -23/4. Let g = -1 + 0.9. Is t greater than g?
True
Suppose 0*p + 2*p = -2*u - 8, -2*u + 4*p = -22. Which is greater: u or -1/26?
u
Let c = 65 - 91. Which is smaller: -27 or c?
-27
Let z be (1 + -3)/(-2) - 7. Let a be 6*(-2 - -5)/z. Which is bigger: a or -2?
-2
Let z be 163/(-11) + 6/(-33). Which is smaller: -14 or z?
z
Let j = 17 + -15.6. Let d = j + -2. Does d = -2/7?
False
Suppose -10 = k - 3*k. Let h(a) = -a + 4. Let r be h(k). Let w be (-12)/(-10) + -1*1. Is r at most as big as w?
True
Let n = -0.3 + 0.4. Suppose -k = 3*k - 224. Let f = 170/3 - k. Which is bigger: f or n?
f
Let h(u) = u**3 + 8*u**2 - 9*u - 9. Let n be h(-9). Which is smaller: -8 or n?
n
Suppose -4*p + 24 = -4*r - r, -3*p = -5*r - 18. Let w = 11 - p. Suppose 9*m = 6*m + 18. Which is greater: m or w?
m
Suppose -3*l - 27 = -3*u, -u = -4*l + 2 - 17. Which is smaller: u or 19/3?
19/3
Let o(c) = -1 - 2*c - 2*c**2 + 0*c - c. Let s(a) = a**2 + 6*a + 3. Let q be s(-5). Let l be o(q). Which is greater: l or -1?
-1
Let c be (2/(-10))/(134/5). Let a = c + -197/536. Is 0 smaller than a?
False
Suppose 0 = -0*c - c + 3. Let a = 11 + -7. Is a bigger than c?
True
Let u = -10.9 + 1.9. Is 0 >= u?
True
Let g = -125 + 123. Which is smaller: g or -24/13?
g
Suppose -w + 4 = 0, g - 5*w - 8 - 29 = 0. Which is bigger: 58 or g?
58
Suppose 5*k + 0 + 75 = -5*x, 0 = 2*k + x + 34. Which is greater: k or -17?
-17
Suppose i - 4 - 2 = 0. Suppose -2*c = -8 - i. Do 6 and c have the same value?
False
Let a be (-2)/4 + (-51)/6. Let n be a/24*(-4)/6. Let j = 6/23 - -16/115. Is n bigger than j?
False
Let v = -0.085 - -0.285. Which is greater: -2 or v?
v
Let x = -314 + 316. Let m = 1/20 + 9/20. Is m at most x?
True
Let z be (-2 - 26/(-14))*3. Let f be ((-60)/(-35))/(6/21). Let p = -5 + f. Is z greater than p?
False
Let h(v) = v - 7. Let j be h(-6). Which is smaller: -12 or j?
j
Suppose 2*w = 6*w - 36. Which is greater: w or 8?
w
Let n(x) = -x**3 - x**2 + 4*x - 3. Let a be n(1). Which is greater: -2/3 or a?
-2/3
Suppose -3*t - 283 = t + i, 3*i - 145 = 2*t. Does -72 = t?
False
Let d = -30 - -53. Suppose -d = 5*n - x, -n - 2*n - 24 = -4*x. Is n at most as big as -2?
True
Suppose 0 = -3*y, 4*o - y = -4*y + 28. Which is smaller: o or 10?
o
Let c = -13 - -7. Let u = c - -7. Does u = 2/3?
False
Suppose -1 - 5 = -3*u. Let h be ((-5)/(-25))/(u/5). Is h less than 0?
False
Let u = 17 - 17.1. Which is bigger: u or -3?
u
Let m be -1*18/(-6) + -4. Let g(x) = x + 1. Let a be g(3). Let d be ((-4)/76)/(2/a). Which is greater: d or m?
d
Let h be 22/18 + (-4)/18. Is h > -1/8?
True
Let j(s) = -15*s**3 + s**2 - 3*s + 2. Let c be j(1). Do c and 0 have the same value?
False
Let b = -88 - -87.18. Let n = b + -0.18. Which is smaller: -0.3 or n?
n
Let o = 11878 + -70999/6. Let j = o - 45. Is j at least -1?
True
Let f = 22/19 + -1559/1330. Which is greater: 1 or f?
1
Let y = -12 - -12.2. Is -3 greater than y?
False
Let k be 0 - 2/(1 - -3). Let o = 1.3 + -1.4. Are k and o non-equal?
True
Let s(p) = -p**3 + 4*p**2 - 2*p - 3. Let w be s(3). Is 3/62 bigger than w?
True
Let r = 7 - 9. Let m be ((-1)/(-12))/(1/2). Which is smaller: r or m?
r
Let y = 1641/13 + -123. Let p = y + -40/13. Which is bigger: p or 0.05?
p
Suppose 5*h + 4*i = 12, -4*i - 4 = 2*h - 16. Suppose h*a = 3*a. Suppose j - 2*j = a. Which is smaller: j or -2?
-2
Suppose 3*u + 0*u - 18 = 0. Suppose -u*j = -j - 15. Is 2 less than or equal to j?
True
Let l(a) = -a**3 - 8*a**2 - 2*a - 6. Let u be l(-8). Suppose -u*r + 6*r - 4 = 0. Which is smaller: 3/13 or r?
r
Let w be (-6)/3 + 12 - 3. Let k = -6 + w. Suppose -5 = 3*i + k. Is i at most -3?
False
Let n be (12/(-18))/(2/6). Is n >= -2?
True
Let q be 11/(-12) + (-4)/(-16). Suppose -3*l + 4*h - 8 = 0, -3*l + l = 2*h - 4. Which is smaller: q or l?
q
Let z be (-45)/(-9) - 3*1. Let p = -345/4 + 87. Which is smaller: p or z?
p
Let s = 1586743 - 844146951/532. Let t = s + -3/76. Is 2 >= t?
True
Suppose 4*p - 3 = 5*p. Let u be -1 - p - (1 - 1). Suppose 0 - 6 = -u*c. Do 2 and c have the same value?
False
Let g = -2 - -1. Let l be 1*0/(-5 - -2). Let v be (-4)/(-14) - l/4. Which is bigger: v or g?
v
Suppose -10 = -4*u + 2. Is u at least 6?
False
Let r = 111 - 779/7. Let k = -12 + -9. Let y = k - -20. Which is bigger: r or y?
r
Let r(i) = i**2 + 3*i + 2. Suppose 5*c = j - 15, c + j + 3 = -4*j. Let m be r(c). Let y = -2 + m. Which is smaller: y or -2/5?
-2/5
Let a = 28 + -27.9. Is a < 0.02?
False
Let p(a) = -a**3 - 12*a**2 - 2. Let f be p(-12). Which is smaller: f or -5?
-5
Suppose -3*a - 5*g = 5 - 0, 5*a + 3*g = -3. Which is smaller: 2/7 or a?
a
Let n = 13411/13 - 1031. Is 2 not equal to n?
True
Let j be (1/1)/(-1)*15. Is -17 bigger than j?
False
Let v be ((-14)/(-10) + -1)*10. Is 4 <= v?
True
Suppose 5*l - 14 = -4. Do l and 2 have the same value?
True
Let s be ((-2)/7)/(5/(245/(-21))). Suppose 2*l + l = 3*a - 15, -4*a + 2 = 5*l. Let k = 0 - l. Which is bigger: k or s?
k
Let w(m) = -5*m + 10. Let t be w(12). Which is greater: t or -51?
t
Let u(i) = -2*i**2 + 13*i + 16. Let h be u(8). Are h and -2 unequal?
True
Let h be (6 - 4)/((-156)/(-9)). Is 1 != h?
True
Let k = -0.03 - 2.87. Let p = k - -3. Which is bigger: -2 or p?
p
Let h = 7.1 - 1.1. Let t = -6 + h. Do 2/9 and t have the same value?
False
Suppose -8 = j - 4. Which is smaller: 0 or j?
j
Let g be (-36)/585*(-6)/(-8). Is g <= 0?
True
Let s = -298 + 295.97. Let m = s + 0.03. Which is smaller: -0.3 or m?
m
Let j = -3 - 3. Let x = -6.4 - j. Let o = x - -0.6. Is 0.2 not equal to o?
False
Suppose -4*y - 18 = 5*j, 2*y - j + 0*j = -2. Which is bigger: -5/8 or y?
-5/8
Let k be (5 - 1) + 2 + -2. Let z = 4 - k. Which is smaller: z or -1/3?
-1/3
Let t(d) = -d**3 - 2*d**2 - 7. Let r be t(-3). Let x = 0 + 3. Which is smaller: r or x?
r
Suppose -3 = f + 2*f. Which is bigger: -2/51 or f?
-2/51
Suppose -5*h - 4*f + 11 = 0, -h - 10 = -5*h - 2*f. Suppose -3 = -2*y + 3*o, 0 = -4*y - 0*o - 3*o - h. Which is greater: y or 1/7?
1/7
Let f(b) = -2*b**2 + 16*b - 4. Let m be f(8). Are -5 and m non-equal?
True
Suppose 4*w + 1 + 71 = 0. Is -18 greater than or equal to w?
True
Let q be 2/(-2)*(-54)/4. Let b = 14 - q. Which is smaller: -0.3 or b?
-0.3
Let n = 6 - 2. Let q = 32 - 28.2. Let g = q - n. Is g less than 0?
True
Suppose t + 10 = 2*v - 0*v, 2*t + 26 = 5*v. Suppose v*o = o. Is -3/4 bigger than o?
False
Suppose -23 = -4*j + c, -5*j + 19 = -5*c - 21. Suppose 5*x = -0 - j. Let b = -3 - -2. Is x >= b?
True
Let g = -14 - -10. Which is smaller: g or 0?
g
Suppose