t l = 11.21 - 12. Let r = -0.09 - l. Which is smaller: 0.1 or r?
0.1
Let s be 22/4*(-7 + 5). Is s at least -12?
True
Suppose -3*t + 0 = 3. Is t equal to 2/9?
False
Let q = -7 - -7. Let d be (-5)/4 - 18/(-24). Does q = d?
False
Suppose 5*k - 10 = 2*y, -4*k - 6 = 2*y - 32. Suppose h - 3 = -1. Is h at most as big as k?
True
Let i = -8 - -5. Let t = 0 - i. Let d = t + -3. Is -2/17 at least as big as d?
False
Let l = 0.12 + -0.02. Do -11 and l have the same value?
False
Let x be (-2)/8 - 100/(-16). Let v(r) = r - 12. Let d be v(x). Let k = -4 - d. Is 2 less than k?
False
Let k(v) = 3*v + 31. Let t be k(-10). Which is smaller: t or -1/8?
-1/8
Suppose -1 - 5 = -p. Which is smaller: p or -2?
-2
Let t = 0.36 - -0.04. Let d = -2.5 + 3. Let q = d - t. Is 0 at least as big as q?
False
Suppose -2*z + 21 = 5. Let b be ((-22)/z)/(-1) - 3. Which is smaller: -2 or b?
-2
Suppose -s + 9 = 4*r, 0 = 3*r - s - 4*s - 24. Suppose 0*l + 15 = -r*l. Which is smaller: l or -1?
l
Suppose 3*u + u - 48 = 0. Let b = 17 - u. Suppose 3*j = -b*d - 46, 5*j - j = -d - 33. Is -8 smaller than j?
True
Let w = -5 + 1. Let o = 3 + -8. Is o >= w?
False
Let d be (1*(0 - 1))/(-1). Let z be 51/(-12) + (4 - 0). Which is smaller: d or z?
z
Suppose 0 = -5*x + 4*x. Are x and 1 non-equal?
True
Let h = 458 + -298. Which is greater: h or 161?
161
Let g = 3 - 3. Let a = 6 + 2. Suppose -5*q - a = 7. Which is smaller: q or g?
q
Suppose -6*t - 2 = -8*t. Let b = 5 + -5.05. Let w = b + 0.25. Which is bigger: w or t?
t
Let s be ((-1)/(-3))/(((-138)/(-252))/23). Which is greater: s or 13?
s
Suppose -2*q + 2*g + 2*g + 4 = 0, -3*q + 28 = 5*g. Let b be 0 - 0 - q/(-483). Let s = b + 153/644. Which is smaller: s or 0?
0
Let d = -126 + 128. Do 4 and d have the same value?
False
Suppose -10 = -4*d + 2*s, 4*d + s - 5 - 14 = 0. Suppose -5*z + 0 = -2*c + 7, -2*c - z = -1. Suppose -t = -3 - c. Is d at least as big as t?
True
Suppose 2*q = p - 5, -5*p = q - 3*p - 10. Are q and 2 equal?
False
Let t = 0.05 + 0.15. Which is greater: t or -20?
t
Let f = 17.903 - -0.097. Which is bigger: f or 0?
f
Let r be (-4)/(-6) + 444/9. Suppose -n + r = -6*n. Let u be 2*4/n + 0. Is u at least as big as 0?
False
Let x be 0 + -3 - (-11)/3. Suppose -4*m = -9 + 29. Let p = -3 - m. Which is greater: p or x?
p
Let f = -0.04 + -0.06. Let c = 0.03 + 4.97. Which is smaller: c or f?
f
Let i be 5/(-5)*(-19)/(-1). Is -18 < i?
False
Let u(y) = -y**2 - 5*y - 3. Let g be u(-3). Let q = 26 + -13. Let p = q + -15. Which is smaller: g or p?
p
Let k = 8 - 10.1. Let v = k + -2. Let o = v + 4. Do -0.2 and o have different values?
True
Let k(a) = 4*a + 3 + 0 - 5*a + 2. Let r be k(4). Which is bigger: 3/7 or r?
r
Let f = 0.3 + -0.2. Let v = -125 - -123. Which is smaller: v or f?
v
Let w be (129/6*-2)/(1/2). Does -87 = w?
False
Let q(h) = -h + 11. Let j be q(8). Suppose 0 = 5*f - 2*b + 10, -f + b - 2*b + 5 = 0. Suppose 0 = -f*g + 3*g - 9. Is g smaller than j?
False
Let s = -233/18 - -79/6. Which is smaller: 0.2 or s?
0.2
Let k = -2.88 + 2.8. Is 1 <= k?
False
Suppose 32*i - 16 = 40*i. Is -11/18 < i?
False
Suppose 2*d + m + 2*m = -87, -5*d = -3*m + 270. Which is greater: 1 or d?
1
Let p(x) = x**2 + 5*x + 6. Let q be p(-4). Let t = q + -5. Let u be 176/40 - t/(-1). Are 0 and u nonequal?
True
Let b = -7.7 + 0.7. Let o = b - -7. Which is greater: 2/9 or o?
2/9
Suppose 7 = -f + 2*v, 0 = -0*f - f + 3*v - 11. Is 4 greater than or equal to f?
True
Let s = 4 - 3. Let f be (10/(-4) + s)*-4. Suppose -t = f - 2. Is -5 smaller than t?
True
Let c be 2/(-14) - 23/(-63). Which is bigger: 0.07 or c?
c
Suppose -w = 10 - 29. Let d = 9 - -10. Is d at least w?
True
Let w(l) = -l**3 - l**2 - l - 1. Let d be w(-1). Let h(y) = -y - 4. Let v be h(-10). Let m = v - 23/4. Which is bigger: m or d?
m
Let i be 4/6*(1 + 2). Let x be 3/i - 2/4. Which is greater: x or 2/9?
x
Let d be 1 + 1/(2/(-194)). Let o = d + 671/7. Suppose 8 = 3*r - 4*l - 5, 4*l + 12 = 4*r. Is r smaller than o?
True
Suppose 4*u - 11 - 3 = 2*k, 3*u - 9 = 3*k. Is u less than or equal to 4?
True
Let x = -44 + 46. Are 1 and x nonequal?
True
Let u be 3/7*96/18. Which is smaller: u or 0.1?
0.1
Let b be (4/4)/(4/(-44)). Is -10 smaller than b?
False
Suppose 9*n - 16 = 29. Which is greater: n or 6?
6
Let i = 1 - 2. Suppose 0 = s - 1 + 3. Is i < s?
False
Suppose 4*n + 12 = -3*y, -5*y - 2*n - 3*n = 25. Is -7 bigger than y?
True
Let n = 6 + -23. Let o = -109 - n. Let d = o + 458/5. Is -1 bigger than d?
False
Let f be ((-2)/(-5))/((-11)/(-110)). Suppose -4 = 7*x - 2*x - 3*c, f*x - 1 = c. Let p(n) = -n**3 - 5*n**2 + 2. Let t be p(-5). Is x >= t?
False
Suppose 3*c - 12 = -3. Let l be (-1)/((-2)/(-6)*c). Which is smaller: -7/3 or l?
-7/3
Suppose -2*v + 1 + 7 = 2*d, -3*d + v = 4. Let p(g) = 5*g + 16. Let x be p(-3). Is x less than d?
False
Let u = 5 - 2. Let m(p) = -p - 4. Let y be m(u). Which is smaller: y or -6?
y
Suppose 0 = -u - 3*u + 12. Suppose -k - u = -3*i, -2*i + 5*k - 4 = 7. Let z be 2/((i + 0)/(-2)). Which is greater: z or -5/2?
z
Let w = -0.25 + 0.41. Which is smaller: -2/7 or w?
-2/7
Let g(d) be the second derivative of d**4/24 + 3*d**3/2 + d**2 - d. Let v(m) be the first derivative of g(m). Let i be v(-6). Are i and 1 equal?
False
Let b = 0.7 - 0.63. Let i = 0.03 + b. Is i > 0?
True
Let m be ((-4)/6)/(4/6). Is m not equal to 1/5?
True
Let f be ((-55)/45 - -1) + 4/(-9). Which is bigger: f or -0.5?
-0.5
Let v = 1 + 4. Let s = -5/23 + 217/46. Let d = s - v. Is d at most -2?
False
Suppose -s + 4*s - 6 = -3*i, 4*i + s - 2 = 0. Let t = 9.49 + 1.51. Is t at least i?
True
Let n = -456 + 26903/59. Which is bigger: n or 0?
0
Let t(k) = -k + 5. Let n be t(6). Which is smaller: -1/29 or n?
n
Suppose 5*i + 5*x - 15 = 0, 4*i - 17 = i - x. Which is greater: 4 or i?
i
Let o = 0.055 - -0.145. Is 70 less than or equal to o?
False
Let y = -78.02 - -76. Let f = -0.02 - y. Let p = -1 + f. Is p at most as big as -1?
False
Let r be (-4)/(-10) + 4/(-10). Let o = -3 + 2. Is r != o?
True
Let c = -12 + 20. Let b(o) = -o**3 + 7*o**2 + 7*o + 7. Let l be b(c). Which is smaller: -1/7 or l?
l
Suppose -2*p - p = -3. Let a = -18747/4334 + -15/394. Let r = a + 303/77. Which is smaller: r or p?
r
Suppose 4*p = 3*n - 50, 2*n - 50 = -2*n - 3*p. Suppose -16 = -4*o + 2*q, 0*q - 3*q = -4*o + n. Let j = -7 + o. Is j smaller than -1/2?
True
Let f = 377/2040 - 1/120. Let p = f - -11/34. Suppose -2*i = -i. Which is bigger: p or i?
p
Suppose 5 = s - 7. Let l = -22 + s. Is -10 < l?
False
Let k = 9 + -13. Let y = -12 + 12.1. Is y less than k?
False
Let d be (-2)/4 - 9/(-42). Which is greater: 0.6 or d?
0.6
Let g be ((-12)/(-9))/((-10)/(-45)). Let p(f) = -f**2 + 5*f + 5. Let h be p(g). Which is bigger: h or -2/19?
-2/19
Let s = -46/675 - -4/27. Let a be 2/2 + 1/(-1). Suppose l - 3*x + 4 = a, x - 1 = -0*x. Is l < s?
True
Suppose 0*a + 5*a - 35 = 0. Is a greater than or equal to 7?
True
Suppose -5 = u + 2. Let n(d) = d**2 - 8*d + 1. Let o be n(7). Is u at least o?
False
Let k be (54/(-12))/((-6)/(-8)). Let j be 33/9 + (-2)/k. Suppose j*b - 5*d - 19 = -3, -3 = -5*b + 2*d. Is b less than -1?
False
Let q = 99 + -892/9. Let t be (-11 + 12)*-1*1. Which is smaller: q or t?
t
Let q = 27 + -13. Which is smaller: 13 or q?
13
Let o be (-33)/6 + 3/2. Which is greater: o or 0?
0
Let a = -4 - -7. Suppose -2*s + 7 = a*u - 3*s, 4*u = s + 8. Let v be (-2 + u)/((-2)/4). Is 1/2 smaller than v?
True
Let n = -61 - -55. Suppose 0 = -4*l - 17 - 11. Which is bigger: l or n?
n
Let k(m) = m**2 - 2*m. Let u be k(2). Let d(y) = y + u + 2 + 5. Let o be d(-6). Does o = 1?
True
Let h(k) be the third derivative of -k**6/120 - k**5/60 + k**2. Let n be h(0). Is 0 smaller than n?
False
Let v be -1*(-3)/(-6)*-2. Let h = -6027/25 - -241. Which is smaller: h or v?
h
Let g = -981/20 - -49. Is -1 smaller than g?
True
Let o = 14 - 4. Let d = o - 8. Let i be (-1)/(2/(1 - 3)). Is i >= d?
False
Let w = -30 + 25. Suppose 0*f - f = 5. Is w > f?
False
Let u(c) = c**3 + 4*c**2 + c + 2. Let r be u(-4). Let g be (r - -1) + (0 - -1). Let d(q) = -2*q**2 + 5*q + 1. Let f be d(3). Do g and f have the same value?
False
Let k = -137/5 - -134/5. Does k = -1?
False
Let z(f) be the first derivative of 2*f**2 - 4*f - 3. Let g be z(3). Let b be 1/3*(-6)/g. Which is smaller: -1 or b?
-1
Let c(f) = 4*f + 1. Let l be c(-1). Le