(3/(-9)). Let r be ((u + -3)/10)/1. Which is greater: -2/7 or r?
r
Suppose 4*d - 3*d = -1. Let t be 5/2 + d + -1. Suppose -2 = -3*i - 2*b + 3*b, -3*b = -2*i - 8. Is t bigger than i?
False
Let g = -0.6 - -0.1. Let p = 0.5 + g. Let x = 0.3 + p. Is x at least as big as -1/5?
True
Let i(f) = f**2 - 5*f - 6. Suppose 0 = -5*h - 11 + 36. Suppose h*q = 3*n - 18, 4*q + 2 - 8 = -n. Let o be i(n). Which is smaller: 1 or o?
o
Let h = -381 - -4194/11. Let b be ((-1)/2)/((-2)/(-4)). Is h at least as big as b?
True
Let m be 26/(-4) - 0/2. Is 0 smaller than m?
False
Let x = 89 - 88. Is -1/21 <= x?
True
Suppose -36 = 2*j - 8. Suppose 5*b = -25, -7*l = -3*l + b + 61. Is j >= l?
True
Suppose -1 = -2*o + 3. Suppose -s - 4*i + 12 = 0, 4*s + 6 = o*i - 0*i. Are s and 0 nonequal?
False
Let w be (-10)/150*290/4. Let m be 10/4*(-20)/(-12). Let s = w + m. Is s not equal to 0?
True
Let m(d) = d + 2. Let i be m(-9). Let w be (-8)/(-6)*(-10 - i). Is -4 <= w?
True
Let c be 16/(-110)*(-5)/(-2). Let n = -28 - -27. Which is smaller: n or c?
n
Suppose 4*t = 3*l - l + 10, 2*l - 5 = t. Suppose 0 = -x - 2*b, -5*b - 26 = l*x - 6. Let a = x - -7. Are a and -1/3 unequal?
True
Let a = 17 - 23.5. Let r = a - 1.5. Let i = 7.7 + r. Which is smaller: -1 or i?
-1
Let m(x) = -x**2 - 3*x + 1. Let j be m(-3). Let z be ((-4)/2)/j + 6. Suppose 0*f - 3*y + 11 = -f, -z*f - 4*y + 4 = 0. Does f = -1/2?
False
Let x(n) = n**2 - n + 3. Suppose 4*o + 4 = -5*i, i + 0 - 2 = 2*o. Suppose i = 8*z - 4*z. Let q be x(z). Are q and 6 equal?
False
Let g = -1 - 0. Let y = -3.9 + 4. Let o = 0 + y. Which is smaller: g or o?
g
Suppose 0 = 3*n - 15 - 12. Which is greater: n or 11?
11
Let x(k) be the first derivative of -k**3/3 + 3*k**2 + k - 1. Let u = 7 + -1. Let q be x(u). Which is smaller: 0 or q?
0
Suppose 3*a = -4*l - 43, 0 = 2*l - 5*a + 24 + 17. Is l <= -1?
True
Let k = 9 + -11. Let g be ((-2)/(-5))/(12/10). Is k less than g?
True
Let h(i) = -i**2 - i - 3. Let z be h(-4). Let o be 0/((-5)/(z/6)). Is o >= -1?
True
Suppose 1 - 5 = 4*j. Is j bigger than -4/11?
False
Let f = 132 + -926/7. Which is smaller: 39 or f?
f
Let u(z) = z**2 + z - 4. Let b be u(-3). Suppose 2*h - 40 = -0*h. Suppose t - 6*t + h = 0. Is t at least b?
True
Suppose -4*b = z + 6, -5*b + 6 = -z - 0. Let p be (-6)/z*11/1. Let f = p + -8. Do f and 2 have the same value?
False
Let a = 1547/8 + -193. Let m = 3/2 - 7/6. Are a and m non-equal?
True
Let g be (2 - -2)*(-2 - -4). Let l be 2*2*(-4)/g. Is -4 greater than l?
False
Let c = -1 + 1.1. Let u = 475/4 - 121. Which is greater: c or u?
c
Suppose -10*w = -9*w. Which is greater: 3/5 or w?
3/5
Let r be (3/2)/(15/(-40)). Let q = r + 4. Which is smaller: q or 2?
q
Let t = 19 - 7. Is t < -1/4?
False
Let m be (-5 - -1) + 2 + -1. Which is greater: 19 or m?
19
Let d(m) = m**2 + 2*m. Let r be d(-3). Let w be 1*(-8 - -1)*-1. Suppose 5*j - 5 = -5*h - 0, r*h - 2*j + w = 0. Which is greater: 0 or h?
0
Let b = 2 + -3. Let f = b + 1. Let k be 2/(-4) + (5 - (-1 - -6)). Which is smaller: k or f?
k
Let n be (-33)/(-12) - (-5)/(-2). Do n and -2 have the same value?
False
Let n be 1/(-6) - 18/216. Which is smaller: n or -1.1?
-1.1
Suppose 5*n - 26 = 3*s + 31, -s = 4*n + 2. Which is bigger: -18 or s?
s
Let o be 1 + (2 - -6)/(-2). Let t = o - -11. Suppose -28 - 71 = -11*n. Which is smaller: n or t?
t
Let u = 6 - 2. Suppose u*v = 7*v + 30. Let x = -14 - v. Is -3 at most x?
False
Let z be 2/(-17) + (-2)/(-17). Are -14/13 and z non-equal?
True
Let l be -1 + 0 + 3/(-3). Suppose -6*i = -2*i + 12. Let c be 22/(-8) + 5 + i. Does l = c?
False
Let m be (-2)/4 - 1/2. Let l = 33 - 32. Which is smaller: l or m?
m
Let x = 4 - 3.88. Let w = 0.22 - x. Which is smaller: w or -2/7?
-2/7
Let i(x) = -6*x - 10. Let o be i(-3). Which is smaller: o or 1?
1
Let a be -9*(3 + (-80)/28). Which is greater: a or 0?
0
Let g = -471/4 + 117. Let c = 1/4 + g. Which is smaller: c or 2?
c
Let z = 117/238 + -7/34. Suppose 0 = -0*j - 4*j. Is z at least as big as j?
True
Let p be -1 - (2 - (-2 + -1)). Let l be p/(-24) - (-7)/4. Let i be ((-2)/8)/((-1)/4). Is l greater than i?
True
Let l = 6 + -4. Suppose -2*s = -9*s + 21. Which is bigger: l or s?
s
Let f be 6/(-27) + (-48)/270. Is f bigger than 0?
False
Let b = 1.8 + -1.7. Which is smaller: -0.1 or b?
-0.1
Suppose -5*l + 41 = -29. Let u be ((-6)/5)/(l/(-5)). Suppose -4*i + 2 = 5*p + 23, p + 6 = i. Do i and u have different values?
True
Suppose -6 = -3*w + 5*n - 1, 4*w = -4*n + 28. Suppose -2*l - 2*f = 2, -w*l = -4*f - 19 + 6. Which is smaller: l or -1?
-1
Let g be (-2)/(-5) - 12/5. Let u = g - 0. Let x be u - -1 - 4/(-6). Are x and 0 equal?
False
Let h be (-1 - 28/(-40))/((-6)/(-5)). Let m = -3.8 + 3. Let d = m - 2.2. Is d > h?
False
Let m = -3/116 + 717/812. Which is bigger: m or -0.2?
m
Let j(w) = -w**2 + 4*w + 8. Let c be j(5). Which is smaller: c or 1/13?
1/13
Let x be ((-10)/6)/(4/(-12)). Let u be 5/(x/3) + 2. Suppose 0 = q + 5*d - u, -2*d + 4*d - 2 = -q. Which is greater: q or 2/5?
2/5
Let o(t) = -t**2 + 1. Suppose 3*h = 3*q + 9, 5*h - q - 15 = q. Suppose 1 = -5*l + 3*n - h, -2*n + 6 = 0. Let g be o(l). Is -2 bigger than g?
False
Let x = 5 + -1. Let h = x - 1. Suppose -2*k - 12 = 5*o, -h*o - 2 = 4. Is -1/6 less than k?
False
Let v = -15.3 + 14.3. Which is smaller: -0.1 or v?
v
Let u = -4701/20 + 235. Is u bigger than -1?
True
Let k = 3.5 - 3.6. Suppose -8 = 5*h + 7. Let o be (h/(-6))/((-1)/(-4)). Which is smaller: k or o?
k
Let w(b) = b**3 + 6*b**2 + 4*b - 6. Let u be w(-5). Let v be (-3)/(-3 + (-36)/(-15)). Suppose p + 25 = -5*q - 4*p, v*p = 5*q - 25. Is u > q?
False
Suppose 4*z - 24 = 8*z. Let w be (4/z)/(8/(-108)). Suppose 1 + w = 2*l - 2*o, -16 = -4*l + 2*o. Which is bigger: 4 or l?
4
Suppose -2 = -2*x - 3*x - 2*d, 3*d + 2 = -5*x. Let h = -2 - -3. Which is greater: x or h?
x
Let f = -5 + -4. Let o = 53 + -44. Let a = o + f. Which is bigger: a or 0.4?
0.4
Let i = 1 - 0.9. Suppose 5*w - 15 = -2*v, 5*v + 5*w - 8*w + 9 = 0. Let r be -1 + v - 0/4. Which is greater: i or r?
i
Let k be (-1)/1 - 2 - -7. Suppose k*q - 6*q = -8. Which is smaller: 5 or q?
q
Let h = 6777/22 + -308. Which is smaller: -1 or h?
-1
Suppose -5*q + 20*q + 360 = 0. Is q greater than or equal to -26?
True
Let d be ((-5)/(-18))/((-2)/88). Let w = d + 265/18. Let u = w - 3. Is 0.1 less than or equal to u?
False
Let m be (-14)/(-42) + (1 - 50/(-3)). Are 18 and m equal?
True
Let o(x) = -x**3 - 2*x**2 - 1. Let z be o(2). Let h be (-4 - -1 - z) + -2. Do 13 and h have the same value?
False
Let g be (18/135)/(4/6). Which is bigger: -1 or g?
g
Let s(v) = -v**2 + 12*v - 10. Let a be s(11). Suppose 5*q = -9 - a. Which is bigger: -3/4 or q?
-3/4
Let g be 20/6*-6*1. Let c = 19 + g. Which is smaller: c or -7/3?
-7/3
Let j(k) be the third derivative of -2*k**2 + 0*k - 1/3*k**3 - 1/6*k**4 - 1/12*k**5 + 0 - 1/120*k**6. Let i be j(-4). Is -2 > i?
False
Let m(a) = 2*a**2 - 6*a + 7. Let k be m(2). Is k > 4?
False
Let g(z) = 20 + z + 4*z**2 - 3*z**2 - 2*z**2. Let y be g(0). Suppose 5*i = -0*i - y. Is i at least as big as -5?
True
Suppose -15 + 19 = -2*u. Let r = -0.2 + 0.3. Which is smaller: u or r?
u
Let h(s) = s**3 + 10*s**2 - 10*s + 13. Let u be h(-11). Let j be u - (144/(-38))/(-2). Is 0 less than j?
True
Let n be (0 - 1)/(2/(-10)). Suppose 3 = -2*v + n. Let i = 307/90 - 33/10. Do i and v have the same value?
False
Let m = -8 - -18. Let a be ((-15)/m)/((-2)/8). Which is smaller: -1/2 or a?
-1/2
Let q be -10*(13/(-5) + 4/20). Does q = -1?
False
Let m be -2*1/2*3. Let r = 1 + m. Let w be 2 + (2 - 27/6). Is w greater than r?
True
Let f be 3/(-7) - 654/42. Are f and -15 nonequal?
True
Let s = -38 - -55. Is s greater than or equal to 18?
False
Let q be 55/(-10) - (-2)/(-4). Let l be 1/q - 19/(-42). Is 1 at least l?
True
Let o = 9 + -4. Let a = o - 8. Let q = -1.1 + -0.9. Which is greater: q or a?
q
Suppose -9 - 16 = 5*a, -5*a - 29 = v. Let b = v - -13. Suppose 0 = 3*q - 3 + b. Is q < -6/5?
True
Suppose 34 = -2*w + w. Let d be w/(-10) + -6 + 3. Are d and 1 non-equal?
True
Let z = 0.8 + -1. Let j = z - 0.1. Let i = j + 0.3. Is i <= -1?
False
Let a = -2/607 - 1100/34599. Which is bigger: a or 0?
0
Let j = 0.3 - 0.2. Let k be 4 - 65/10 - -1. Which is smaller: k or j?
k
Let d = 27 - 16. Is d != -0.1?
True
Suppose -40 = -5*d + 5*l, -5*l - 13 = 4*d - 0*d. L