/h - 1. Which is smaller: y or o?
y
Suppose 2*z - q - 11 = 0, 3*q = 13 - 4. Let l be ((-2)/5)/(1/(-5)). Suppose l*n + z = -u, -2*u + 6*u + 4 = -2*n. Is -1/5 greater than u?
False
Let s(x) = -x**3 + 2*x**2 - 3*x + 2. Let j be s(2). Let n be 18/j - (-4)/(-8). Is 1 equal to n?
False
Let s = 1.4 - 0.7. Let g = -0.2 + s. Let h = -0.4 + g. Is 1/3 greater than h?
True
Let w(n) = n - 1. Let d be w(2). Suppose -1 = 2*l + d. Which is smaller: -2 or l?
-2
Suppose -4*u + 29 = 13. Let y be 1/((-3)/(-15))*-1. Let i = y + u. Are i and -3 unequal?
True
Let j(m) = 2*m**3 - 18*m**2 - 22*m + 20. Let w be j(10). Is -5/4 at most as big as w?
True
Let v = 2.8 - 1.8. Which is smaller: v or 12?
v
Let y(w) = -w + 3. Suppose 0 = -4*l + l. Let j be y(l). Suppose 0 = -2*s - j*s. Which is smaller: 1/3 or s?
s
Let a = -74 - -33. Does a = -41?
True
Let c(q) = -q**3 + 3*q + 1. Let v be c(-2). Suppose 0 = -5*f - v*h - 9, 2*f + 4*h - 5*h + 8 = 0. Is f less than -2?
True
Let y = 17 - 24. Let d = 14 + y. Let h = d + -8. Is h < 0?
True
Let d = -595/3 + 13676/69. Are 1 and d nonequal?
True
Let z be (-1)/(-1) + ((-10)/15)/(-2). Are z and 6 equal?
False
Let j = 470857 + -5184414/11. Let r = j - -453. Which is bigger: 1 or r?
1
Let g = 22 + -19. Suppose g*c + 14 - 5 = 0. Which is smaller: 2 or c?
c
Let m be (3 + -1)*1/(-2). Suppose -6 = -3*p - 18. Let g be (-34)/48 + p/(-12). Is m at most as big as g?
True
Suppose 2*g - 4*j - 2 = 0, 8*g + j = 10*g - 14. Let o = -5 + 16. Are g and o unequal?
True
Suppose 3*m + y - 11 = 0, 2 - 5 = m - 3*y. Let k be 2/m*(-15)/10. Let n = -1143/7 + 163. Does n = k?
False
Suppose 19*g + 340 + 116 = 0. Is -25 < g?
True
Suppose -3*a + 5*t - 3*t = -105, -a + 30 = t. Is 0.3 smaller than a?
True
Let i = 116/621 + -6/23. Is 0 at most i?
False
Let u be 4/(-6)*54/12. Suppose 2 = -3*y + 4*b + 18, 0 = -4*y - 4*b + 12. Let l(z) = -2*z + 6. Let j be l(y). Which is greater: j or u?
j
Suppose 0*r + 5*r + 5 = 5*s, 2 = -2*r + 4*s. Let n be (2/2)/(1/2). Let m = r + n. Which is smaller: -1/5 or m?
-1/5
Let n(k) = -4*k - 16. Let x be n(-12). Let g = x - 28. Let w(f) = f**3 + 2*f**2 - 3*f + 3. Let j be w(-3). Are g and j equal?
False
Let t = 14 + -16. Suppose -3*k + 5 = 23. Is t greater than k?
True
Let l = -569 - -25603/45. Is -1 at most as big as l?
True
Let c be ((-1)/(-102))/(((-3)/(-4))/(-3)). Which is greater: c or 0?
0
Let l be (2 + 0)*2/(-5). Suppose 0 = -3*i + 5*p + 13, 4*p + 5 - 2 = -5*i. Suppose 3*y + 5 = -i. Which is smaller: l or y?
y
Let n = -22 + 16. Is n greater than or equal to -6?
True
Let c be ((-1)/(-2))/(3/(-6)). Let t = -144 + 1010/7. Which is greater: c or t?
t
Let j = 2011/13 - 154. Which is bigger: j or 1?
1
Let l(r) = r + 9. Let j be l(-8). Is 2/25 at most as big as j?
True
Let u(a) = 3*a - 42. Let n be u(14). Suppose 0*c = -2*c - 4. Let w be c/(-11)*(-3)/(-2). Is w less than n?
False
Let q = -11 + 16. Suppose 4*u = q*m + 16, -2*m = 3*u + 3 + 8. Which is bigger: 1/9 or u?
1/9
Let q(t) = t + 1. Let l(r) = 5*r + 4. Let i(g) = 2*l(g) - 11*q(g). Let h be i(-4). Let m be -2 - (0 - h)*2. Do m and -0.1 have different values?
True
Let q = -9.62 + 12.7. Let m = 0.08 - q. Is m at most as big as -2/7?
True
Let d(u) = 11*u - 1. Let w be d(1). Let n be 26/w - 2/(-5). Let j = n - 1. Which is smaller: 0 or j?
0
Suppose 13 = 4*a + 2*z - 9, -a - 2 = -2*z. Suppose 5*s + 5 = a*l, l = -0*l + 4*s - 7. Suppose 7 = -2*q - 2*m + 3, 0 = l*q + 2*m - 5. Does 5 = q?
False
Let f be ((-253)/(-12))/(-11) - (-1)/4. Suppose -3*g + 25 + 29 = 0. Suppose -3*q + 6*q = -4*u - g, -2 = q. Is u equal to f?
False
Suppose 5*n - 31 = -c, 0 = -c + n - 2*n + 11. Suppose 0*t + 2*t = 12. Is c less than t?
False
Let d(h) = -7*h - 2. Let v be d(-1). Let n be (-12)/9*9/(-2). Let i be n + (-3)/(-6)*-2. Is v equal to i?
True
Let f = -29 - -30. Which is smaller: f or 5?
f
Let c = -849/136 + 49/8. Let r = 2 + -2. Which is smaller: r or c?
c
Suppose -20 = -5*y - 0. Which is greater: y or 8?
8
Let x be (12/10)/((-26)/(-455)). Which is greater: x or 19?
x
Let p(a) = -5*a**2 + 9*a + 1. Let b(g) = -9*g**2 + 17*g + 2. Let c(s) = -6*b(s) + 11*p(s). Let j be c(-3). Is j at least as big as 1?
False
Let a(d) = -2*d**3 - 2*d**2 - 1. Let h be a(-2). Let x be 2/h + 55/(-70). Is x greater than 1?
False
Suppose -2 - 10 = 2*x. Suppose -3*a + w - 10 = 0, -4*a - 3*w + 5 = 14. Which is greater: a or x?
a
Suppose 48*g - 50*g = 0. Let z be (-215)/275 - (-6)/10. Is z less than or equal to g?
True
Let c = -52 - -469/9. Is 0 at least as big as c?
False
Let v(s) be the second derivative of -s**4/6 - 5*s**3/6 + 3*s**2 + s. Let a be v(-5). Let t be a/(-5) + 1/5. Which is bigger: t or 2?
t
Suppose 0 = -2*v - 92 + 92. Which is bigger: v or -3/32?
v
Suppose -2*h = 9 - 27. Suppose -t - h = -4*t. Is 3 >= t?
True
Let c(x) = -x. Suppose -3*b = -0*b. Let f be c(b). Let m be ((-6)/(-16))/(6/4). Which is greater: f or m?
m
Let k(c) = c + 4. Let f be k(3). Let u = 11 + -3. Is u smaller than f?
False
Let s(x) = 2*x - 13. Suppose -n = 3*b + 1, 4*n + 2*b = n + 25. Let q be s(n). Is 7 <= q?
True
Suppose 7*a - 8 = 27. Is a at least 2?
True
Let f be (0 + 2)/(8/6). Let y(l) = 4*l - 3. Let p be y(2). Suppose 3*d - p*d + 4 = 0. Are d and f nonequal?
True
Let v = -75280 + 374148/5. Let q = 446 + v. Let n = -71/15 - q. Which is greater: n or -1?
n
Suppose -5*p - 10 = -5*b, 0 = 5*b + 3*p - 5*p - 1. Let w = -4 + 3. Is b <= w?
True
Let g = 1 + -0.9. Is g less than or equal to 20?
True
Let f = -2 - -5/3. Let t = -16/23 - -250/161. Does t = f?
False
Let z be -2 + (0 - 1) + -1. Suppose -2*f = 2*f - 8. Suppose 8 = -f*h + 2. Which is smaller: z or h?
z
Let n = -7622/4631 + 4/421. Which is greater: -3 or n?
n
Let q(o) = -o**3 - o**2 + o - 52. Let i be q(0). Which is smaller: i or -53?
-53
Suppose 0 = 2*y + 2*i + 8, 0 = -4*y - 0*y + i + 4. Let m be 5/(55/(-2)) + y. Is 0 greater than m?
True
Let r = 25 + -26. Is r at most -4?
False
Let c(y) = y + y**2 + 3*y - 1 + 1. Let j be c(-4). Suppose 4*x = -z - 4, -z - 2*z = j. Which is bigger: x or -1/5?
-1/5
Let u = -21 - -34. Suppose -y + 0*d = 3*d - u, -4*y + 12 = 2*d. Suppose 8 = -4*h, -2*c = -4*c + 3*h. Is c equal to y?
False
Suppose -4 = -4*s + 2*s. Suppose -5*x - s*c + 34 = 0, 3*x - 2*c - 17 = -3. Is x at least as big as 5?
True
Let x be (-1)/5*2 - 0. Let o(w) = 2*w - 6. Let t be o(2). Let j be (0/1)/((-2)/t). Is j less than or equal to x?
False
Let i = 2213/14 + -158. Suppose -4*h + 3 = -5*m, -4*m + h = 3*h - 8. Which is greater: m or i?
m
Let g = 5 + -9. Let k = -4 - 1. Which is smaller: g or k?
k
Let j be (1 + 1 - -2)*-1. Let f = j + 1. Let a = f - -2. Is -2/5 greater than or equal to a?
True
Suppose -1 = -2*r + 1. Suppose -4*a = -5*a + 2. Let k be ((-4)/(-21))/a*3. Which is smaller: k or r?
k
Suppose -4*b = -25 + 5. Let q = -0.1 - -1.1. Let y = 0.9 - q. Which is greater: y or b?
b
Let u be (-70)/(-120) + (-2)/(-8)*-1. Which is smaller: u or 10?
u
Let g(c) = c**3 + 2*c**2 - c - 4. Let h be g(-3). Is h less than or equal to -9?
True
Let q = -2 + 1. Suppose f = -5*k - 2, 3*k + 2*k + 17 = 4*f. Let v be ((-18)/(-4))/(k - 2). Which is smaller: q or v?
v
Suppose 3*o - 1 = 5*n, 2*o + 0*o + 4*n = 8. Suppose -2*p + 4 = -4*m, 0 = 4*m - 5*p + 5 + 11. Let i = o - m. Is i at most as big as 1/2?
False
Let o be (1/(-9))/(4/(-3)). Which is smaller: -1/7 or o?
-1/7
Let p = 7 + 5. Let w = 12.1 - p. Is w at least as big as 2/5?
False
Let m be (-5)/(-20) + -4 + (-198)/(-8). Is m at least as big as 22?
False
Let a be (-4)/(-10) - 240/(-25). Let y be 20/6*12/a. Suppose -25 = -5*d - 5*k, -k + 0*k = -y*d + 20. Are 4 and d nonequal?
True
Let l(r) = -5*r**3 + 6*r**2 + 12*r + 1. Let y(v) = -6*v**3 + 6*v**2 + 13*v. Let z(f) = 7*l(f) - 6*y(f). Let c be z(-5). Are c and 2 nonequal?
False
Let s = 2471/80159 + -3/1129. Which is bigger: 0 or s?
s
Let z = 7 - 5. Is -3 >= z?
False
Let z be 9/(-7) + 1 - 1239/(-49). Which is smaller: z or 23?
23
Let q be -4 + 2 + (-11)/(-7). Suppose -p - p = -2. Which is smaller: q or p?
q
Suppose 69 - 109 = 2*z. Is -18 < z?
False
Let q = 5 - 8. Let i = 13 + -23. Let m = 10 + i. Which is smaller: q or m?
q
Let m = 5.64 + 1.26. Is m less than or equal to 1?
False
Let b = -10.15 - -10. Let i = 0.55 - b. Which is smaller: -1/4 or i?
-1/4
Suppose w + 2*b - 7 = 0, -w + 5*b = 6 - 27. Let j be 77/w*(-2)/(-7). Let t b