.06 + 0.1. Let n = -0.077 + 2.117. Let i = u - n. Which is smaller: 2/13 or i?
i
Let d = 2 - -1. Let o be (d/(-27))/(5/6). Which is greater: 1 or o?
1
Let h = 13/20 - 2/5. Suppose 2*p = 2*q, -4*p + 3*q + 1 = 4. Let s be 2 - 2 - 3/p. Is s equal to h?
False
Let z be ((-20)/60)/(1/3). Which is bigger: z or -0.11?
-0.11
Suppose 0 = -3*o - 17 - 34. Which is greater: o or -16?
-16
Suppose -y - 21 = -4*y. Suppose -y*q = -4*q + 9. Which is bigger: -4 or q?
q
Let m be (-56)/(-6) + 2/3. Let c be 4/m*(-2 + 3). Let r = 0.6 - -0.4. Is c < r?
True
Suppose -3*q + o + 9 = 0, o = -3*q + 3 + 12. Let j = -6 - -6. Suppose j = -5*k - q - 1. Which is smaller: k or 2/13?
k
Let u = -8/33 + -10/33. Which is greater: -1 or u?
u
Let h be 1/4 - (-13)/(-4). Let m = h + 4. Is 1/2 < m?
True
Let j(r) = -r**2 + 5*r - 2. Let v be j(2). Suppose -4*c = -v*l + 8*l - 8, -2*l + 3*c - 1 = 0. Let m be 1/(-1) + l + 1. Which is smaller: 1/10 or m?
1/10
Suppose -o + 2 = -2. Let h = -545 - -544. Is o > h?
True
Suppose d + 2 = 4. Suppose 2*f = 5*f + 4*h - 13, 2*f - d*h + 10 = 0. Let q = 2 - 3. Is q at least f?
True
Let y(m) = 2*m**2 - 4*m - 23. Let k be y(6). Is k greater than 26?
False
Let t(z) = z - 29. Let g be t(0). Let x be 1/3 - g/(-69). Which is bigger: 0 or x?
0
Let j = -1.72 - -21.62. Let z = -20 + j. Which is greater: 1/4 or z?
1/4
Let j be (1 + -1)/(2/(-2)). Suppose 5*y - 2 + 7 = j. Let v be 5 + (-1)/(y/(-2)). Are 0 and v non-equal?
True
Suppose -37*s + 15*s = -18*s. Is s at most -2/257?
False
Let w be ((-13)/(-39))/((-1)/6). Which is smaller: -11/4 or w?
-11/4
Let o be 82/130 + (-8)/20. Which is greater: o or -1?
o
Let d = -41 + 43. Suppose 2*t - 2*i + 5 = -1, 2*t = -i + 3. Suppose t = d*w - 0 - 4. Is w less than -1?
False
Suppose -3*i = 2*i + 5. Let x be (-2)/3*15/110. Do i and x have the same value?
False
Suppose 4*r - 5*r - m = 26, -100 = 5*r - 5*m. Is -23 smaller than r?
False
Let v be (8/(-20))/(2/10). Let f(j) = j**3 - 9*j**2 + 9*j - 10. Let d be f(8). Is d less than v?
False
Let t(o) = o + 23. Let v be t(15). Is 38 >= v?
True
Let h = -7/4 + 587/340. Let j = h - -93/340. Suppose 0*b - 5*b - 2*y = -3, -4*b - 2*y = -4. Is b at least j?
False
Let f be (-2)/(-7) - (-8)/(-28). Let t = -23 + 71/3. Is f smaller than t?
True
Let i = -0.952 + -0.048. Which is smaller: i or 8/3?
i
Let i = 2 - 9. Let x(w) = w**2 + w + 2. Let z be x(0). Suppose 5*h + z*f = f + 10, -f = -4*h - 1. Is i smaller than h?
True
Let r = -1395/8 - -174. Is r greater than -1?
True
Let u(t) = 6*t - 63. Let a be u(10). Is -2 less than a?
False
Let k = -2.99 - 0.01. Let o = -0.09 - -0.09. Is k at most as big as o?
True
Let n = -15388 + 8047921/523. Let q = n - -1121/13075. Which is greater: -1 or q?
q
Suppose -3*j - 48 = i, -j + 2*i - 16 = i. Let p = 19 + j. Is p <= 10/3?
True
Let k = 8 - 4. Suppose 4*w = -2*a, a + a + 8 = k*w. Let o be w/(-3) + 1/3. Does o = -2?
False
Let y(c) = 2*c + 1 - 6*c + c**2 - 3. Let q be y(5). Suppose -4*j + q*o - 14 = 0, 3*j - 2*o + 3*o = -4. Do j and -1 have different values?
True
Let n(m) = 4*m - 3. Let j be n(-1). Is j less than or equal to -7?
True
Suppose -5*h + 0 = 20. Let g be (-2)/4 + (-2)/h. Suppose 0 = -v - v. Is g < v?
False
Let l be (-1)/2*(-10 + 0). Let u(z) = -z**3 + 4*z**2 + 5*z + 1. Let m be u(l). Is 2/7 less than or equal to m?
True
Let u = -0.1 - -1.1. Let q = 1.2 - u. Is q at least as big as -6?
True
Suppose -4*s + 9*s = -15. Let q be s/(4/((-8)/3)). Let k be (q - 2)/(0 + 1). Is k <= 1?
True
Let h = 801 + -373. Suppose -4*n - 4*v = h, 0 = -v - 4*v - 5. Let u = -532/5 - n. Which is greater: -1 or u?
u
Suppose -18 = -n - 13. Let j be (-36)/(-7) - (n - 1). Is 2 greater than j?
True
Suppose -21 = 2*r + 5*g, -4*g - 33 = -3*r - 7. Let o be ((-4)/(-12))/(r/12). Is o smaller than 2?
False
Let h = 6 - 5. Are h and 13 non-equal?
True
Let v(a) be the second derivative of 4*a**3/3 + a**2/2 + 2*a. Let i be v(1). Let x be ((-2)/i)/(6/(-9)). Which is bigger: 0.2 or x?
x
Let k = -30 + 31. Let y be 4/2*k/(-7). Let l = -0.06 + -1.94. Are y and l non-equal?
True
Let t be -3 - 5/((-10)/4). Let l(g) = g**2 + g + 1. Let k be l(t). Which is smaller: k or 1/5?
1/5
Let q = 7.3 - -4.7. Let t = -38/3 + 12. Which is bigger: t or q?
q
Let m = -1.98 + -0.02. Does 3 = m?
False
Suppose -5*n + 11 - 31 = 0. Which is bigger: -5 or n?
n
Let p be 0 - (-4 + 2) - -1. Let w(u) = u + 4. Let v be w(-10). Let s be (-2)/v - 1/3. Which is bigger: s or p?
p
Let q = -1.3 + -2.7. Let s = q + 4.1. Is s > 2?
False
Suppose -w = 6*w - 24*w. Is w at most as big as 5?
True
Suppose -7 + 2 = 5*v + 2*g, 0 = -2*v + 2*g - 2. Let u be (-26)/(-4) - 1/2. Let j be ((-2)/u)/(2 - 1). Which is smaller: v or j?
v
Suppose 4*g + 10 = 5*f, 0 = -0*g + g - 5. Let n(m) = m**3 - 5*m**2 - 5*m - 7. Let z be n(f). Let o = -2 - 0. Is o < z?
True
Suppose 5*g - k = k + 96, -4*g - 3*k + 63 = 0. Are 19 and g non-equal?
True
Suppose 0*z = z - 1. Let m(v) = -2*v - 14. Let d be m(-9). Let g be (-1)/(-5) + -3 + d. Which is smaller: z or g?
z
Suppose -4*c = 5*s - 25, 0*c = -c + 3*s - 15. Which is smaller: -2/13 or c?
-2/13
Let i be (-10)/3 + 3 - (-5)/24. Is 0.06 < i?
False
Let f(x) = -x - 7. Let d be f(-4). Let m = 5 + -3. Let n be (-2)/m*(d + 3). Which is smaller: n or 1/4?
n
Let j = 2 + -2. Let o be 0*(-1)/(j - -2). Which is greater: 2 or o?
2
Let r be ((-24)/6)/48*(-16)/(-6). Is 0 equal to r?
False
Let b(q) = -2*q**2 - 7*q + 4. Let m be b(-6). Let k(x) = -x**2 - 30*x - 27. Let c be k(0). Is c equal to m?
False
Let c = 59 + -59.6. Is c at most as big as -2/5?
True
Let k = -2 + 1.9. Let j = 951 + -958. Is j < k?
True
Suppose 3*q = -q + 4. Suppose 10*t = 11 - 21. Is t <= q?
True
Let c = 10 + -7. Suppose -2*i - c*i = -5. Is 1 bigger than i?
False
Let q(z) = -z - 5. Let j be q(4). Which is smaller: j or -10?
-10
Let r(l) = -l**2 + 12*l - 1. Let z be r(11). Let p = 8 - z. Let v(y) = y. Let i be v(p). Is 1 < i?
False
Let y(p) = p**2 + 4*p + 2. Let v be y(-3). Let c be (-13)/11 + v - -2. Is -1 greater than c?
False
Let b = 2.3 + -2.28. Which is smaller: b or 1?
b
Suppose 0 = -2*y + l + 16, 35 = -0*y + 5*y - 5*l. Is -1/4 at most as big as y?
True
Let u = 8 + -4. Suppose -2 = 2*k - u. Is -1/12 bigger than k?
False
Let d be (-184)/28 + 8/14 + -1. Is d at least 0?
False
Let k be 4/(-21)*(-1 + -2). Is k less than or equal to 2?
True
Let k = 1.9 + -3.9. Let i = -7 + 5. Let u = 2.1 + i. Is k < u?
True
Let z = -0.05 - -8.35. Let v = -1.3 + z. Let h = v - 7.2. Is h less than -0.1?
True
Let s = 17.11 + -17. Let r = -0.05 + s. Which is bigger: r or -0.1?
r
Suppose -17 = -3*w - 2*b, -w + 5*b = 3*w + 8. Suppose 3*j + 2*n = -2, 5*n + 12 = -2*j - 2*j. Is j smaller than w?
True
Suppose 0 = 5*o - 5, 5*r + 3*o - 15 = -7. Which is bigger: 0.05 or r?
r
Suppose 2*f = 5*f + 3. Let x be 1/4 + (-1 - f). Which is smaller: x or 2?
x
Let n be -8 - (1 - 3)/2. Which is smaller: 0 or n?
n
Let g = 0.2 + -0.24. Let b = 11 + -10. Is b at least as big as g?
True
Let u be 30/9 - 1 - -2. Let k = u + -85/21. Which is bigger: k or 5?
5
Let f(s) = -s**3 - 3*s**2 - 2*s + 1. Suppose -5*v + 3*w + 17 = 0, -4*w + 14 = 3*v - 2. Let h be (-6)/(-12)*v/(-1). Let c be f(h). Is c smaller than 1/7?
False
Let m be (2 - 1) + 7 + 0. Let p be (1/2*m)/2. Suppose -p*q - 3*b + 11 = -6*b, 3*b = -9. Is q smaller than 2?
True
Let s(p) = -p**3 - 7*p**2 - p - 9. Let h be s(-7). Let t = -31 - -30. Is t equal to h?
False
Let c = -37 - -34. Which is smaller: -0.04 or c?
c
Let o = -0.109 - 6.891. Is -7 > o?
False
Let a = -3 + 3. Suppose o + o + 3*q - 5 = a, -7 = -2*o - q. Is 3 at least o?
False
Let w = 11 - 6. Does 5 = w?
True
Let k = 547/5 - 110. Let j = 3.4 + -1.4. Is j > k?
True
Let h be 0/((-1 + -1)*1). Let m be 686/(-10) + (5 - 5). Let f = -69 - m. Is f bigger than h?
False
Suppose -4*o + 15 = w, 0*o = -2*w + o - 6. Which is bigger: w or 8?
8
Suppose -4*p - 3*f + 62 = 0, -2*p - 5*f = -p - 24. Let u = p - 14. Is -1 != u?
True
Let s = -126 - -127. Which is smaller: 1/27 or s?
1/27
Let v be 938/20 + (-6)/3. Let y = v - 45. Do 1 and y have the same value?
False
Let i(s) = -3*s - 3. Let r be i(-6). Let b = r - 10. Which is greater: b or 3?
b
Let o(k) = -3*k**2 + 3*k - 1. Let b(s) = s**2 + 1. Let m(h) = 2*b(h) + o(h). Let n be m(2). Let l be (3/9)/((-4)/n). Which is greater: l or 1?
1
Suppose 0 = 2*o + 2*x - 16, -3*x 