Do c and a have the same value?
False
Let b = -17 - -4. Is b <= -13?
True
Let t = 0.08 - -2.92. Let n = 0.4 + -0.4. Which is smaller: t or n?
n
Suppose -5*d + 3*d - 5*b = -21, 5*d = 4*b + 3. Suppose -r + d*r = 6. Let q = r + -3. Is q >= 0?
True
Let b = -0.07 - -7.07. Let v = b - 6. Which is smaller: -1/4 or v?
-1/4
Let u = 4 - 7. Let h = -2.6 - u. Let k = 0.1 - h. Is 1 smaller than k?
False
Suppose -8*l = -12*l + 8*l. Do l and 7/9 have the same value?
False
Let q be 3/(-4) - 12/(-16). Suppose q = -2*h + 4*h + 8. Which is smaller: h or -5?
-5
Let v(z) = 6*z - 13. Let d be v(5). Is 17 not equal to d?
False
Let u = -164 + 166. Is 4/13 less than or equal to u?
True
Let w be (-10)/9 + 15/135. Is w greater than or equal to -1/7?
False
Let r be (3 - 4)*(-1)/(-1). Let u(o) = -o**3 - 1. Let v be u(r). Let t be v/(-1 - -2*1). Which is smaller: t or 2/7?
t
Suppose -b - t = -0*b - 4, -5*t - 20 = 0. Which is smaller: 9 or b?
b
Suppose -4*g + 11 = -4*k - 5, 0 = -5*g + 4*k + 18. Let h be -24*1 + 0/g. Let r = -47/2 - h. Does r = 0.5?
True
Let f = 0.1605 - 8.8505. Let r = 0.31 - f. Suppose -6*j - 4 = -2*j. Is j smaller than r?
True
Let t = 13 - 50. Which is greater: t or 1?
1
Let v(o) = o**3 - 18*o**2 + 17*o. Let y be v(17). Are y and -2/89 nonequal?
True
Let j be (9/(-9))/(5/2*-47). Which is greater: -2 or j?
j
Let b(o) = o**2 + 6*o + 5. Let j be b(-5). Is -2/119 smaller than j?
True
Let r = -0.65 + -0.05. Let n = r - -1. Is n <= 0.2?
False
Suppose -2*x = -5*x. Let q be (-34)/(-66) - 4/12. Which is smaller: q or x?
x
Let p(n) = -n**2 + 15*n - 17. Let v be p(14). Which is greater: -2 or v?
-2
Let o = 0.116 + -0.016. Which is smaller: -2 or o?
-2
Suppose 0 = -0*x + 2*x - 4. Which is smaller: x or 6?
x
Let j = 4 + -2. Suppose j*t = t. Suppose t = -5*d - 0 + 5. Are d and -1/3 equal?
False
Let p = 297/4 - 75. Does p = 1/9?
False
Let g = 75 + -74.98. Let o = -0.9 + 1. Is g smaller than o?
True
Let r = -7 - -5. Let s(z) = -z**2 - z - 1. Let a be s(r). Which is greater: -1/4 or a?
-1/4
Suppose -8 = -p - 3. Is 5 > p?
False
Let r be -3 - (5 - (-45)/(-6)). Let f = 2.4 - 1.5. Is f bigger than r?
True
Let q be 9 - (0 + -3)/3. Suppose 4*i - 6 = 4*d + 2, -5*i + q = 4*d. Is 1.7 < d?
False
Let r = -1.6 + -0.4. Let i = 1.7 + r. Let v be 0 - (0/1)/2. Do i and v have different values?
True
Let d = -2 + 8. Let f = d + -6. Let x be (-26)/(-10) + -1 + -1. Is x less than f?
False
Suppose 10*j - 165 = -5*j. Which is bigger: -1 or j?
j
Let d be (-5)/4 + (-2)/(-8). Is d greater than or equal to -1/2?
False
Let c(o) = -o. Let a(n) = 2*n + 1. Let g(z) = -3*a(z) - 5*c(z). Let d be g(-5). Suppose 2*r = -d*r - 4. Which is greater: r or 1/4?
1/4
Let k = 0.33 + 0.07. Let l = k - 0.2. Which is smaller: l or 0.1?
0.1
Let g = -0.01 - 0.99. Suppose -3*v = 2*v. Let n = v - -1. Is g smaller than n?
True
Suppose -4*d + 8 = -0. Which is bigger: 3 or d?
3
Let h = 2.2 + -3.1. Let w = h + 1. Is 1 bigger than w?
True
Suppose v - 24 = -3*p, 4*v - 18 = 3*v - 5*p. Are 33 and v equal?
True
Suppose -4*b = 2*v - 6 - 8, 2*b = 3*v + 11. Let j be 0 - v - (-30)/6. Suppose -j*a = -4*a. Which is smaller: a or 1/3?
a
Let o = -133 - -127. Which is smaller: o or -33/5?
-33/5
Let p(k) = -2*k**3 - k. Let t be p(1). Let s = t + 2. Is -2/13 <= s?
False
Let f = 10 - -4. Let s = f - 15. Is s != -2?
True
Let x = 442069/1627350 - -4/14275. Let a = 2/19 - x. Is -1 less than or equal to a?
True
Suppose -3*f - 1 = -4. Let o be 0 + (2 + -3)/f. Is o < 3/10?
True
Let b be (-44)/(-85) - (-2)/(-5). Let k(z) = z**3 - 12*z**2 + z - 11. Suppose 0 = -4*c + 3*v + 36, -3*v = -5*c + 17 + 31. Let l be k(c). Is b smaller than l?
True
Suppose -25 = 5*j - 5*t, 2*j - t + 7 = -j. Let u = j + 1. Let x(v) = v**2 + v - 1. Let n be x(u). Which is bigger: -2/15 or n?
-2/15
Let h be (-736)/(-120) + -6 - 22/30. Which is bigger: h or -1?
h
Let l(w) = w**3 - 2*w**2 + w + 1. Let o be l(2). Suppose 0*a - a = -90. Let f be 0 + 3*o/a. Do -1 and f have different values?
True
Let w = 2 - 1.9. Let j = -0.4 + w. Let g = -0.3 - -0.4. Is j at most as big as g?
True
Let p(r) = -r**2 - 8*r - 7. Let s be p(-6). Suppose 0 = 9*o - s*o. Suppose 2*k = -3*k + f + 14, o = 2*k + f. Is 2 smaller than k?
False
Let p be (24/6)/(1 - -1). Is p at least as big as -3.4?
True
Suppose -2*j + 0*j = -2. Let w(r) = r + 1. Let z be w(0). Is j <= z?
True
Let b(z) = -4*z**2 - 36*z + 1. Let g be b(-9). Is g less than 3/37?
False
Suppose 0 = -0*q + 5*q. Let t be (0 - 6/3) + 7. Let h be 0/(t/(5/2)). Are q and h nonequal?
False
Let g(s) = -s**2 + 2*s - 1. Let n be g(2). Suppose 2*i + 2*b + 2*b + 2 = 0, -i - 3 = 4*b. Let q be 18/(-27) - i/1. Is n != q?
True
Let h = 0.14 + -0.74. Let k = 1.1 + h. Is 1 smaller than k?
False
Suppose 0 = 2*k - y - 29, -2*y = 2*k + 3*k - 86. Which is smaller: k or -1?
-1
Suppose -2277 = 2*v - v + 4*x, -v = 2*x + 2275. Let i = -6749/3 - v. Let m = 23 - i. Which is smaller: m or 2?
m
Let s = 23 + -17. Is -0.2 greater than or equal to s?
False
Suppose 0 = 8*y + 41 + 7. Which is smaller: y or -7?
-7
Let b = 683 - 19809/29. Suppose -45*s + 47*s = 2. Which is bigger: s or b?
s
Suppose -1 = -4*j - 49. Do j and -12 have different values?
False
Let i(v) = v**2 - 3*v. Let h be i(4). Let s(a) = -a + 2 - a**2 - 5*a - 1 + 0. Let o be s(-6). Is h at most as big as o?
False
Let w(d) = -12*d**2 + d**2 + 1 - d**3 + 1 + 2*d**2. Let z be w(-9). Suppose 4 = -z*c + 2. Which is greater: -3 or c?
c
Let m be (-52)/(-819) - 2/7. Is -5 >= m?
False
Let v = -6 - -24. Let a be 12/(-66) - v/22. Is a >= 6/13?
False
Suppose 0 = -3*q - 7 - 8. Let r(a) = 5*a**2 - 4*a + 1. Let d(c) = 6*c**2 - 4*c. Let t(p) = -6*d(p) + 7*r(p). Let l be t(q). Which is greater: 3 or l?
3
Suppose 7 - 3 = -4*p. Let v = -2.6 - 0.4. Is v at most p?
True
Let y(z) = -z - 7. Let q be y(-8). Let r(a) = -3*a**3 + a - 1. Let g be r(q). Let d = 1/102 - 77/51. Is d < g?
False
Suppose g = -3*j - 26, 162 = -2*g - 3*g + j. Let y be 2/(-5) - g/(-120). Suppose 2 = 4*w + 6. Are w and y nonequal?
True
Let v be ((-54)/(-45))/(1 + 2/40). Which is greater: v or 2?
2
Let f = 0.5 - 3.5. Is -2 greater than f?
True
Let o = -0.62 - -0.7. Let a = -6.92 - o. Let u = a + 7. Which is greater: -8 or u?
u
Suppose -z = 5*n + 1, -z = 2*n - 0*z + 1. Is n != 1/22?
True
Let y(o) = -o**2 + 9*o + 9. Let j be y(10). Which is bigger: 1.4 or j?
1.4
Let h = -70 + 70. Which is bigger: h or -2?
h
Let w(k) = -k + 6. Let o be w(6). Let b(t) = 3*t + 18. Let n be b(-9). Let f be (11 + n)/(0 - -15). Which is smaller: f or o?
o
Let f = 27 + -28. Do 0.1 and f have different values?
True
Let l be 47/(-235) + -1 + 12/10. Let q = -2 + 2. Is q > l?
False
Let z = -28/3 - -9. Let n = 7 - 7. Which is smaller: n or z?
z
Let s be 63/(-42)*(-4)/(-3). Suppose -4*q - q = 25. Which is smaller: s or q?
q
Let q be (-2 - 1) + 58/22. Which is bigger: q or 1?
1
Suppose 0 = 5*y + 4 + 1. Which is smaller: 2/7 or y?
y
Let s(c) = c**2 - 6*c - 4. Let x be s(6). Let m = x - -4. Which is smaller: m or -1?
-1
Let s = -8 + 11. Suppose v + s*v = -4. Which is greater: 1 or v?
1
Let a = 12.5 + -1.5. Let g = a + -6. Which is bigger: 2 or g?
g
Let c = -72.9 + 73. Which is smaller: -0.028 or c?
-0.028
Let g(f) be the second derivative of -f**5/20 + f**4 - 5*f**3/3 - 5*f**2 + 2*f. Let b be g(11). Which is smaller: -1/7 or b?
-1/7
Let n be 0 + 84/8 + -3. Is -1/3 less than n?
True
Let j = 31 + -30. Is 6/25 smaller than j?
True
Suppose g - 12 = -g. Let p be (147/4)/(g/4). Let n = p + -24. Which is bigger: 0 or n?
n
Let n = -0.7 - -2.7. Let f be 32/(-12) - (-2)/3. Let t be f + (-5)/(-3) + 0. Which is greater: n or t?
n
Let m(l) = -l + 3. Let j be m(5). Let s = 5 + j. Which is greater: 4 or s?
4
Let u be (-7)/28 - (-54)/(-8). Which is greater: u or -2?
-2
Let f = -72.2 - -69. Which is smaller: f or -1/3?
f
Let q = -2 + -1. Let p = -1.9 - -2. Which is smaller: q or p?
q
Suppose 3 + 11 = -4*v + 2*d, 4*d - 12 = 0. Let s be (-8)/(-10)*(-5)/v. Suppose -3*w - 3 = 5*f - s, 0 = 4*w - 12. Is -1 less than f?
False
Suppose -5*y - 5 = 2*h - 4*h, -4*y = -3*h + 11. Suppose -51 = 2*n + 2*n - 3*c, -55 = 5*n + 5*c. Let m be 3/n - y/(-12). Which is bigger: m or -1?
m
Let t = 9 + -9. Which is bigger: t or 6/11?
6/11
Let f = -0.11 - 0.89. Are f and 0.09 nonequal?
True
Let l be ((-2)/4)/(1/6). Let o be 0/(-1) - l/(-18). Suppos