. Does i = k?
False
Suppose 1 = f - 6. Let r = f - 5. Is r < 2?
False
Let g = 53 + -52.94. Let o = -0.2 - 0. Which is bigger: o or g?
g
Let o = -10 + 15. Let l = -6 + o. Which is greater: l or 1?
1
Suppose 0 = -5*y - 70 + 20. Let h be 1/1 + 16/y. Which is bigger: h or -1?
h
Let t = 5 - 32/7. Which is greater: t or 0.1?
t
Suppose -4*h - f = -7 - 14, 18 = 4*h + 2*f. Which is smaller: 7 or h?
h
Suppose 0 = 3*g - 8*g + 300. Let q = -241/4 + g. Which is smaller: 0 or q?
q
Let b be 0/(-2 + 1/1). Which is greater: b or 2/177?
2/177
Let x be (-3)/6*-4 + 2. Let n be (-2)/5 + (-17)/(-5). Which is greater: x or n?
x
Suppose 2*g - 4*p - 2 = 10, -p + 15 = 4*g. Suppose 3 + 36 = 13*k. Does g = k?
False
Let p = 2 - 3. Let r = 1.2 + -1.34. Let v = r + 0.14. Is p bigger than v?
False
Let n = -6.81 + 6.4. Let u = -0.02 + n. Let i = 0.03 + u. Which is smaller: i or 0.1?
i
Let j = -2/17 - -23/51. Suppose 2*v - 6*v = 0, 0 = -2*f - 5*v + 4. Suppose 4*n + 20 = -5*k, -f*k - 8 = 4*n - 0*k. Is n less than j?
True
Let z = -4.6 + 4.3. Which is smaller: 26 or z?
z
Let i be 5/20 + (-18)/(-8). Let l = i + -2. Do l and 0 have the same value?
False
Let f be (-2 + -3 + 2)*1. Let y be (-2)/6 - (-8)/f. Let u be -1*(-1)/1 + -5. Which is greater: y or u?
y
Let y = -3.7 + 1.8. Let p = y + 2. Let g = 8 - 8.1. Is p at most g?
False
Let g be (-3)/(-2)*56/(-42). Let m = -2 - -1. Is m at most g?
False
Let y = -55 - -56. Do y and -1/79 have the same value?
False
Let r = 3 + -4. Which is smaller: r or -2/3?
r
Suppose -10 = -h - 4*h. Let m = -744 + 3724/5. Is h equal to m?
False
Let a be 2/6*(2 + -5). Let w = 2 + -2. Let b = w + a. Are 2/17 and b nonequal?
True
Suppose 3*v + 404 = -v. Let u be v/14 - -4 - -3. Which is smaller: u or 0?
u
Let u(x) = x - 3. Let a be u(-4). Let w(h) = h. Let p be w(a). Let j be 12/p + 1 - -1. Which is greater: 6 or j?
6
Let u be 1/(-3) - (4 + -4). Let m be (-4)/(-14) + 16/(-56). Which is greater: u or m?
m
Suppose 6*n - 112 = 5*n. Let p be 18/n + (-2)/7. Suppose 5 = -c + a, -5*c + 15 = -0*c + 5*a. Is c greater than p?
False
Suppose -5*v = -0*m + 3*m + 19, 3*m = -2*v - 22. Let t be (-3)/(-6) + (-68)/m. Is t at least 8?
True
Let v = 12.11 - 12. Which is bigger: v or -1?
v
Let u = -6.14 - 0.96. Let g = -7 - u. Is 0.2 bigger than g?
True
Let d = 118683/7 + -17048. Let h = 93 + d. Is 6 smaller than h?
False
Suppose u = -5*l + 27, 2*u = -3*u + 4*l - 10. Suppose -4 = 2*t + h, 0 = -t + u*h + h + 12. Suppose 5 = -t*r + 5*r. Is 2 at most as big as r?
False
Let h(r) = -r**3 - r**2 + 13*r - 2. Let w be h(3). Is 6/7 greater than w?
False
Suppose 0*v = 2*l + 3*v - 2, -4*l + 18 = -v. Let q be -2 + 0 - (9 - 15). Let f = l - q. Which is greater: -0.1 or f?
f
Suppose 5*m - 2*m = -5*t - 11, -t + 2 = 2*m. Suppose 10 = 2*q, 2*h + q - 2 = 9. Suppose -o + 4 = -2*k, m*o - h = -2*k + 9. Which is greater: k or -2/25?
k
Let m = -290/7 - -41. Let d = m + 2/21. Is -3 less than d?
True
Let d(n) = 4*n + 101. Let u be d(-25). Let h = -250 + 1754/7. Is u <= h?
False
Suppose 4*f = 4*q + 1 - 5, 0 = 3*q + f + 9. Which is smaller: q or -4/3?
q
Suppose 17 - 21 = 4*c. Do -3/74 and c have different values?
True
Let k = -5.3 - -5.2. Let b = -0.03 + -0.37. Let l = -1.6 + b. Which is smaller: k or l?
l
Let c = -28/5 + 79/15. Let k be -2*((-21)/6)/7. Which is greater: c or k?
k
Let u = 75 + -527/7. Let b = -0.3 - -0.2. Is u less than b?
True
Let y = -7 - -4. Let x = -506/3 - -167. Do y and x have the same value?
False
Let f be 4 - -2 - 1*2. Let u = 4 - f. Let a be (2 - 1)*u - -1. Is 2/5 at most as big as a?
True
Let l(r) = r**3 + 10*r**2 + 15*r - 9. Let s be l(-8). Is 1/52 at most s?
False
Let q = -0.1 + 0.3. Do 0.6 and q have different values?
True
Let w(a) = 1 + 2*a**2 - 2 - 5*a - a**2 + 0*a. Let g be w(6). Which is smaller: g or 6?
g
Let b = 153/2 + -77. Are b and 38 unequal?
True
Let a = 0 + 2. Let y = 0.25 - 0.05. Is y != a?
True
Let x = 1.9 + -2. Let p = x - -0.2. Let z = -2 - -6. Which is bigger: p or z?
z
Let t = 225 + -6076/27. Is 1 bigger than t?
True
Let w(g) = g**2 + g + 1. Let p be w(0). Let f = p + -2. Let i = -233/35 + 48/7. Is f less than i?
True
Suppose 3*w = -2*w - 10. Let q be 4/(-6)*(-1 + w). Let b be q/(-8) - (-3)/(-12). Which is smaller: 1 or b?
b
Suppose 24 - 21 = 3*g. Is -8/21 at most as big as g?
True
Let t(k) = k**3 + 7*k**2 - 7*k + 10. Let m be t(-8). Suppose -m*x + 7*x = 0. Let f = 0.2 - 0.3. Which is bigger: x or f?
x
Let k = 47 - 46.9. Let r be (8/6)/(2/6). Which is smaller: k or r?
k
Let m be (-12)/(-8) + (-52)/176*2. Let b(w) = 2*w**3 - w**2 + 1. Let f be b(1). Which is greater: f or m?
f
Let w = 17 - 18.1. Let y = 4.1 + w. Which is greater: y or 0.1?
y
Let k = 0 - -4. Let y be 21/4 + -2 - 3. Is y at least as big as k?
False
Let h = -8 - -8. Suppose -2*t = -4 - h. Let x be t/(-6) - 26/(-42). Which is bigger: -1 or x?
x
Let p(s) = -s**2 - 5*s - 1. Let q be p(-3). Let v be (-6)/(-4)*q/30. Is 1 less than or equal to v?
False
Let u(r) = 3 + 7 - 11*r - 3*r**2 + r**3 - 7*r**2 + r**2. Let s be u(10). Is 2/9 greater than s?
True
Let i = 3/10 - 29/30. Do i and 0 have the same value?
False
Let x = -6.04 + 7.028. Let v = 0.008 - x. Let l = -0.02 + v. Which is smaller: l or 0.2?
l
Let s = 12 + -1. Is 11 > s?
False
Suppose -17*a + 13*a + 4 = 0. Is a at least as big as 2/5?
True
Let z = -2156 + 209130/97. Is z bigger than -1?
True
Let u = -21 + 24. Let m = 7 + -6.9. Is u at least as big as m?
True
Let n = 0.087 + -0.187. Is n bigger than 14?
False
Let l = -13.8 - -13. Let a = l - 1.2. Is -2/9 equal to a?
False
Let n(z) = z**3 - z**2 + z. Let u be n(0). Suppose 5*l + 3 + 27 = u. Let y = -6 - l. Is y at most as big as -2/3?
False
Let o = 110961/837556 - -261/1921. Let i = o - 2/109. Which is smaller: i or 0?
0
Let t = -891 + 11577/13. Which is greater: 1 or t?
1
Let c be -3 - 62/(-6)*-3. Do c and -35 have the same value?
False
Let f = 7.7 + -8. Which is bigger: f or 5?
5
Let q(a) = a**2 - 2. Let x be q(-2). Let f = -11 - -26. Suppose f = 5*d + 5. Is x bigger than d?
False
Let p = 23/15 - 6/5. Let q = 14 - 8. Suppose -q*c + 2 = -4*c. Is c bigger than p?
True
Let o(k) = -2*k**2 - k. Let m be o(-1). Suppose 5 = -2*v - 3*x + 22, 4*v + 2*x - 14 = 0. Let d be (-1)/v + (-22)/(-18). Is m less than or equal to d?
True
Let i = -2386/833 + 48/17. Is -1 < i?
True
Let n = -1 + 0.7. Let a = -0.4 - n. Let i = -3.09 + 0.09. Which is greater: a or i?
a
Let z = 0.13 - -1.87. Is 0.1 at most as big as z?
True
Let m = 5/4 + -1. Let w be 0 - (2 + -2 - -2). Let u be w/8 - (-5)/4. Which is bigger: m or u?
u
Let l = 2 - 2.2. Let d = 0.7 - 0.5. Which is smaller: d or l?
l
Suppose 0*p = -3*z + 5*p - 13, 4*z + 5*p - 6 = 0. Let d(n) = -4*n - 3. Let j(k) = -9*k - 7. Let h(u) = -5*d(u) + 2*j(u). Let o be h(z). Is o <= -2?
False
Suppose 3*h = 5*t - 8, -6*h + 5*t - 19 = -2*h. Let g = -9 - h. Suppose r + g*r = 6. Are r and 4 equal?
False
Suppose -k = -3*o - 12 - 17, o + 116 = 4*k. Let g = k - 147/5. Is g less than or equal to -4?
False
Suppose -6*f + 5 = -7. Suppose 11 + 1 = 2*d. Which is smaller: d or f?
f
Let r = -0.6 - -0.6. Let m = r - -2. Let n = -23 + 24. Is m less than or equal to n?
False
Suppose -5*p - 2*a = -69, 2*p + 4*a - 21 = p. Do 14 and p have different values?
True
Let w = -1.62 + 0.92. Are 4/9 and w nonequal?
True
Let w be 1*23/6 - 4. Let l(m) = m**3 + m**2 - 4*m - 3. Let c be l(-2). Is w not equal to c?
True
Let b(t) be the second derivative of -t**4/12 - 13*t**3/6 + t**2/2 + t. Let a be b(-13). Let r(j) = j**2 - 5*j. Let v be r(5). Which is smaller: a or v?
v
Let q = 0 - 0.06. Let k = q + 0.26. Is -1 less than k?
True
Let c = -25.4 + 23. Which is greater: -1/4 or c?
-1/4
Let y = -94 + 206. Is y at most as big as 112?
True
Let x = 0 + 2. Which is bigger: x or 3?
3
Let v = -4 - -6. Let y = 1.76 + 0.34. Let l = y - v. Is 0 smaller than l?
True
Let t = 16 + -16.7. Let r = -0.3 - t. Let f = r - 0.5. Which is greater: -3 or f?
f
Let s(u) = -1 + u + 6 + 0. Let g be s(-4). Let o = -16 - -16. Is g greater than o?
True
Let q be (-30)/(-105) + 51/(-7). Is -8 at most as big as q?
True
Let p = 3 + 4. Let w = p + -8. Which is greater: -4 or w?
w
Let b = 8 - 9. Let n = 1 + b. Are -1 and n nonequal?
True
Let d(y) = 2*y**2 + 11*y - 4. Let l be d(-7). Which is smaller: 16 or l?
16
Let a be (392/(-6))/(-4) + 1. Let y