t q be ((-1)/(-4) - 0)*0. Suppose -6*r = -2*r - 20. Suppose 2*o - 3*z = -3*o - 5, -z = 5*o + r. Is o greater than or equal to q?
False
Let o = 6 - 5. Suppose -3*x + 2*f = -47 + 4, -2*x - 5*f = -35. Let l = x + -31/2. Which is bigger: o or l?
o
Let o = 1174 + -667. Let y be o/(-260) + 1*2. Is y smaller than -1?
False
Let s = 13.034 - 0.034. Is 0.2 less than s?
True
Let g = -0.691 + -0.019. Is 2/3 at most g?
False
Let l = -0.16 - 3.84. Let a = l - -2. Which is smaller: a or -2/23?
a
Let p(x) = -x**3 - 4*x**2 - 5*x - 2. Let f be p(-3). Suppose -f - 12 = -4*z. Is 4 <= z?
True
Let a be (-2)/(-1) + (-3)/3. Let n(h) = -h - 3. Let o be n(4). Let g be ((-1)/o)/((-3)/6). Is g <= a?
True
Let x = -11 - -10. Is x at most -4?
False
Let f(l) = l - 9. Let y be f(7). Let z be 12/(46/20 + -2). Let b be ((-2)/4)/(z/48). Which is bigger: y or b?
b
Let r = 8894 + -3068428/345. Is r bigger than -1?
True
Suppose -5*u - 44 = 3*w, 4*u - w + 22 = w. Let g = 8 + u. Which is smaller: g or 0?
0
Let r = 188 + -188.1. Which is smaller: r or -9?
-9
Let u(m) = 2*m**2 - 2*m + 8. Let h(y) = 3*y**2 - y + 9. Let r(v) = 3*h(v) - 4*u(v). Let z be r(-5). Is z less than -7?
False
Let q = -0.01 - 5.99. Let k = q + 9. Is 2/7 less than k?
True
Let v = 0 - 3. Let a be (2 + v)/(74/4). Let k = a - -96/407. Which is bigger: k or 1?
1
Let i(y) = -y - 5. Let x be i(-4). Let s be -4 + (-39)/(-10) - (-2)/4. Which is bigger: x or s?
s
Suppose 0 = 3*s - 0*l - l - 33, 2*l = 0. Is s > 11?
False
Suppose -x - 1 + 2 = 0, -4*n - 15 = -3*x. Let b(u) = -u**2 - 6*u - 4. Let c be b(-6). Let v be c/(-4)*(n + -1). Is -4 at most v?
True
Let k = -4 - 0. Let m = k - -7. Suppose 2*h + 0 = 4. Is h < m?
True
Let m(k) be the first derivative of -k**2/2 - 4*k - 2. Let a be m(-6). Which is bigger: a or 0.3?
a
Let w = 3 - 2.8. Let u = 0.1 - 2.3. Let f = 2 + u. Does f = w?
False
Suppose -13*j + 14*j + 9 = 0. Is -10 smaller than j?
True
Let f = -0.5 - -0.3. Let i = 3.99 - 4. Let q = i + -1.99. Which is bigger: f or q?
f
Let a = 14 - -10. Let p = a + -19. Which is bigger: p or 4?
p
Suppose 3*w - 10 = -2*w. Suppose -2*c = -3*j - 7, -w*j = 5*c - 7*j - 15. Is 2 < c?
False
Suppose 50 = -6*b + b. Let n = b - -7. Suppose 88*z - 28 = 95*z. Is z greater than n?
False
Let q = -18.99 - -19. Is 0.3 >= q?
True
Let z = 672 + -11420/17. Is 1 smaller than z?
False
Suppose -2*c - r = 1, -17 = -c - 0*c - 4*r. Is c smaller than -3?
False
Let l = 95 + -96. Which is smaller: -1/2 or l?
l
Let x = -4.16 + 0.16. Let u = -4.9 - -5. Is x at most as big as u?
True
Let o be (-2)/4*(-35)/70. Are o and 17 non-equal?
True
Let i = -0.164 + -1.836. Let m = -6 + 9. Do i and m have the same value?
False
Let q(l) be the first derivative of -3*l**4/4 - l**3/3 - 2. Suppose 0 = 3*r - 2 - 1. Let c be q(r). Does c = -4?
True
Let i = -165 - -152. Let t be (-14)/(-1*1/(-1)). Which is greater: i or t?
i
Let y = 0 + -1. Suppose 0 = -5*n - 3*i + 3, -n = 2*n + 4*i - 4. Let k be (n + 2 - 2) + -3. Does k = y?
False
Suppose 2 - 9 = -k. Which is smaller: 2 or k?
2
Let a = 278/7 + -40. Let z = 5.8 - 6. Are a and z non-equal?
True
Suppose -5*d + 3 = -12. Suppose -3*j + 8*j = 4*r - 27, 5*r - d*j - 24 = 0. Suppose r*n - 9 = 3*v, -5*n = -3*v - 17 + 2. Is -1/8 > v?
False
Let p(f) = f**2 + f - 1. Let u(w) = -w**3 - 3*w**2 + 8*w + 5. Let n(k) = 2*p(k) - u(k). Let h be n(-6). Let a = -27/4 - h. Which is bigger: -1 or a?
a
Let h be (-36 + 2)/(-2 + 4). Let v be 195/(-10) + (-6)/(-4). Is v smaller than h?
True
Let f be (-20)/272 + 2/8. Which is bigger: 2/3 or f?
2/3
Let m = 4761 + -37983/8. Which is greater: 14 or m?
14
Let v = 17 - 12. Suppose -8 = s - 2*s + c, -v*s - 5*c - 10 = 0. Is 3 less than s?
False
Let g(w) = w**2 - 7*w - 2. Let s be g(6). Let y(v) = -4 - 4*v**2 + 5*v**2 + 3 - 8*v - 2*v**2. Let c be y(s). Is -2/33 at least as big as c?
True
Let c(g) = 5*g + 0 - 1 - g - 5*g. Let l be c(-7). Which is smaller: 5 or l?
5
Suppose 0 = 3*g - 2*x + 3, -g - 2*x = -3 - 4. Let q(b) = -4*b - 5 + 3 + 6 + b**3 - 2*b**2. Let v be q(3). Do v and g have different values?
False
Let a = -0.158 - -20.158. Is 1 at least a?
False
Let c = -33 + 20. Is c <= -11?
True
Let v be ((-6)/(-4))/((-18)/48). Is 1 greater than or equal to v?
True
Suppose 4*d + 1 + 7 = 0. Is d < -3?
False
Let p(q) = -q**2 - q + 4. Let h be p(4). Let b = 22 + h. Let d be 3*(0 - 8/b). Does d = -5?
False
Let n be (-1)/(-5)*10/(-8). Let j(b) = b**3 + 4*b**2 - 4*b + 8. Let z be j(-5). Which is bigger: z or n?
z
Suppose w + 16 = -3*k, 5*w = -4*k + 8*k + 15. Do 2/7 and w have the same value?
False
Let y = -5.8 - -0.96. Let f = -0.16 + y. Which is smaller: -1 or f?
f
Let k = -3 - -11. Let n be -16 + 16 + (-9)/(-1 - 0). Which is bigger: n or k?
n
Suppose -4*a - 15 = 1. Let o be -1*(-4)/(a/(-5)). Suppose 4*x + o*y - 19 = 2*y, 0 = 3*x + 3*y - 18. Which is smaller: x or 2/7?
2/7
Let o be (-4)/10 + 1 - 1. Let j be ((-3)/15)/(9/5 + -2). Which is smaller: j or o?
o
Let g = -14 - -22. Let x = g - 8.2. Are 0 and x non-equal?
True
Let x = -1974/17 - -116. Suppose 0 = -6*w + 3*w. Which is bigger: x or w?
w
Let j(g) = -g**3 + 9*g**2 - 10*g - 5. Let b be j(8). Let r be (-8)/28 + (-41)/b. Let w(t) = -t - 8. Let q be w(-8). Is r at least as big as q?
True
Let h = 3.068 - 0.068. Which is smaller: h or -0.4?
-0.4
Suppose 5*m - 65 = -0*m. Is 3 less than or equal to m?
True
Let m = -0.01 - -0.21. Is 0.7 equal to m?
False
Let c be (6/(-9))/((-2)/9). Suppose 0*u + 3*u = -c. Which is bigger: 3/8 or u?
3/8
Let g(c) = -c**3 + 8*c**2 + 10*c - 10. Let s = 17 + -8. Let k be g(s). Are k and 2 non-equal?
True
Let x be ((-20)/6)/(6/27). Let w be (-16)/20 + (-14)/(-5). Let a be (w - (-32)/x)*-3. Which is smaller: a or -1/2?
-1/2
Suppose -36 = -o + 5*o. Let z = o + 6. Which is smaller: -2 or z?
z
Let k = 1.5 + -2.5. Is 2 at most k?
False
Let k be -78*(2 - 38/30). Let z = 57 + k. Which is bigger: 1 or z?
1
Suppose 2*l - l - 1 = 0. Suppose 0*f - 24 = -8*f. Is f at least as big as l?
True
Suppose 4*b = -4*d - 32, -5*d + b = -4*b. Does -4 = d?
True
Suppose -3*y + 8*y = 15. Is -10 greater than or equal to y?
False
Let y = 5 - 0. Suppose y*d = 2*d + 3. Is d greater than 4/5?
True
Let n = 94.6 + -95. Is n less than -0.08?
True
Let b = -1 - 0. Let h = 5 - 5. Let q = b + h. Is 2/3 at least q?
True
Let b be -2*15/(-10)*2. Let i(w) = w**3 - w**2 + w. Let l be i(2). Is l < b?
False
Let p = -1.9 + 1.9. Let b = -1 - 0. Let r = -1.1 - b. Which is smaller: r or p?
r
Let s be (-1)/((-30)/(-16) - 2). Suppose v = -v - s. Let x be v/(-10) - 22/80. Which is smaller: 0 or x?
0
Let l(o) = 4*o + 3. Let b(h) = -5*h - 2. Let w(q) = -5*b(q) - 6*l(q). Let m be w(9). Is m at most 2/17?
False
Let x = 8 + -4. Suppose -4*q + 5*h + 3 = x, -3*q - h = -4. Is q >= 0?
True
Let a be (-2)/(19/6 + 1). Let x = 82/275 + a. Is x < 3/4?
True
Suppose 3 = -i - k, 0 = -5*i + 4*k + 1 + 2. Which is smaller: i or 2/21?
i
Suppose -4*u - 2*i + 16 = 0, 4*u - 3*i + 4 = -0*u. Suppose -3*l - 9 = -u*c, 3*c + 12 = -2*c - 4*l. Which is bigger: -2/15 or c?
c
Let g = 5 + -7. Let x = -1 - g. Which is greater: 2 or x?
2
Let s = -118 + 578/5. Is -3 at least s?
False
Let b be (-7)/(14/(-4)) - -23. Which is bigger: 24 or b?
b
Let p = 57 - 117. Let c be 136/10 - 24/p. Which is bigger: c or 13?
c
Let w = 4.33 + 0.67. Which is greater: 2/3 or w?
w
Let v(h) = -h**2 + 4*h - 6. Let o be v(4). Let m = o + 10. Suppose 5*z + 18 = 4*s, s - 6 = -m*s - 2*z. Which is bigger: 2/3 or s?
s
Let f = -0.1 - 0. Let n = -0.54 + 0.6. Let y = -0.14 - n. Is f at least as big as y?
True
Let l = 0.81 - 0.01. Which is greater: -0.1 or l?
l
Let p be (-2)/(2/20*4). Let n(z) = z**3 + 5*z**2 - 4. Let l be n(p). Let j be (-19)/42 + l/(-14). Which is bigger: 1 or j?
1
Suppose -2*x - 58 + 240 = 0. Which is greater: 92 or x?
92
Let z = -95 - -853/9. Is -15 equal to z?
False
Let n = -36 - -398/11. Let l(k) = -k**3 + 6*k**2 + 1. Let x(p) = -5*p + 1. Let h be x(-1). Let t be l(h). Which is smaller: n or t?
n
Let d = -3 - -4. Is d greater than or equal to -12?
True
Let x be 1 + (-2)/1 - 156/4. Does x = -38?
False
Let g = -4 + -2. Let c be (0 + 1)/(g/(-30)). Which is bigger: c or 3?
c
Let g = -154/909 + 632833/6363. Let v = 99 - g. Are v and -1 non-equal?
True
Let c be (3/222)/(10/8). Is 0 less than or equal to c?
True
Let b(s) = s**3 - 7*s**2 - 7*s - 5. Let i be