- h. Let k be (-1)/2*(-8)/y. Is k < -1?
False
Let v be ((-1644)/(-40))/3 - 2. Let w = v + -23/2. Which is smaller: 1 or w?
w
Suppose 5*s - 3 = 7. Suppose c = -c + s. Let d be (5/2 - 2)*1. Which is smaller: d or c?
d
Suppose 0 = 4*h + 2*p - 12, 0 = -2*h + 2*p - 0*p. Is 1 > h?
False
Let k(u) = u**3 - 2*u**2 - 3*u + 4. Let j be k(3). Let x = -3 + j. Let p be (1/7)/(x - 2). Is -1 less than or equal to p?
True
Let n = 14 - 12. Suppose 3*z = -0*z + 5*h + 21, -5*z + 35 = n*h. Is z > 7?
False
Let j = -235/3 + 11039/141. Let x = j - 64/705. Suppose 4*d = 3*a - 9, -a + 5*d = d - 11. Which is bigger: a or x?
x
Suppose 4 = l - 0. Let n = -3 + l. Let a be -3 + 1 - 18/(-10). Which is bigger: n or a?
n
Let y = 28/39 + -2/39. Which is bigger: -0.1 or y?
y
Let p = 1.18 - -70.82. Is p at most -0.1?
False
Let l = 1 - 3. Let v = -2.1 - l. Which is smaller: v or -1?
-1
Suppose -f - 2*c - 132 = 3*f, -102 = 3*f + 3*c. Is f at most as big as -32?
True
Let o(b) = -b**2 + 4. Let y be o(-9). Let g = y - -1618/21. Which is greater: g or 0?
g
Let v(m) = m**2 + 5*m + 5. Let w be v(-5). Suppose q = 5*x + 5*q + 51, -w*x - 2*q = 43. Let u = x + 9. Which is bigger: 1/2 or u?
u
Let f(z) = z**3 - 8*z**2 - 12*z + 19. Let b be f(9). Do -0.2 and b have different values?
True
Let d(u) = u**3 + 4*u**2 + u - 3. Let j be d(-4). Let h = -1 - j. Let f = -4 + h. Is f > 1?
True
Suppose -12 = -3*u + 6. Let g be (-1)/5*10/u. Let y be -1 + 2 + 7/(-9). Which is greater: g or y?
y
Let m(q) = q**3 - q**2 - 3*q + 1. Let y be m(2). Which is smaller: y or -16?
-16
Let n = -1/18 - -5/9. Let s = 73.9 + -77. Let p = 3 + s. Is p != n?
True
Let y = 0.34 - 3.34. Do y and -0.7 have different values?
True
Let s be -2 - 1 - 50/(-5). Suppose 2*i = -s + 9. Which is smaller: i or 1/6?
1/6
Let a(t) be the second derivative of -t**5/20 - t**4/6 + 2*t**3/3 + t**2 + 6*t. Let r be a(-3). Is 2 smaller than r?
False
Let w = -0.01 - 0.09. Which is greater: w or 12?
12
Let l = 2068/13 - 159. Are 0 and l nonequal?
True
Let h = -5.4 + 5. Let o = -17.6 - -16. Let w = h + o. Do -0.2 and w have the same value?
False
Let w(h) = 5*h - 7. Let c be w(2). Is c less than 4?
True
Let h be 0 - 2*6/(-4). Let u(y) = -y**3 + 4*y**2 + 6*y - 4. Let k be u(5). Suppose 2*z + k = -h. Is -1 greater than or equal to z?
True
Suppose -6*l - 180 = -l. Suppose 2*g - 7*g = 0, 3*x + 4*g = -6. Let w be x/4 + (-34)/l. Are 0 and w nonequal?
True
Let a be (-1)/4 + 3/(-12). Let p be (2*-1)/(-1) + -1. Which is smaller: a or p?
a
Let m be 1 - 3/(-4 - -1). Let h = 1 - -2. Is m less than or equal to h?
True
Let j(n) = -14*n - 3. Let c be j(2). Which is smaller: c or -32?
-32
Suppose 5*w - 5*h = -30, 0*w = -w + 3*h - 10. Which is greater: 5 or w?
5
Let p = 0.1 + -0.3. Let t be (10/(-45))/((-4)/(-6)). Which is bigger: p or t?
p
Suppose -5*r = 3*c - c - 21, -5*c + 4*r + 3 = 0. Suppose n - y - 5 = c*y, 2*n - y - 3 = 0. Which is smaller: 12/7 or n?
n
Let g = 0.08 - -0.12. Is 2/7 < g?
False
Let n = -9 - -11. Which is bigger: 3/4 or n?
n
Let y = -1/241 + -957/1687. Is 0.1 at least as big as y?
True
Let c be 111/(-36) + (-1 - -4). Which is bigger: c or -1?
c
Let w be (8/12)/((-4)/24). Let d = 8 + -11. Is w at most as big as d?
True
Let j be 3 - (11 + (4 - 1)). Let d = j + 10. Is d > -1/6?
False
Suppose -p = -7*p - 0*p. Does -1/314 = p?
False
Let c = 60 + -39. Suppose 4*p - 30 = -5*g, -3*g - 3*p = -0*p - c. Is g >= 2?
True
Let f = 0 + 3. Suppose -o = f*o. Suppose g = -o*g. Which is bigger: -3/8 or g?
g
Suppose -3*c + 6*c = 0. Let r(g) = -g**2 - g + 2. Let w be r(0). Which is smaller: w or c?
c
Let j = -77 + 71.7. Let x = j - -5. Is x greater than 0.1?
False
Let n(d) = 3*d. Let t be n(1). Suppose -4 = -t*s - 1. Is 3/5 bigger than s?
False
Let y = -6 - 0. Let a = y - -9. Let z be (1/(-4))/((-1)/2). Is a > z?
True
Suppose 0 = -y - 4*y - 25. Let u = y + 4. Let p = -3/43 + 141/172. Is p greater than or equal to u?
True
Let v be (6/24)/(21/(-24)). Is 0.18 less than or equal to v?
False
Suppose 4*n + 4 = 2*p, -3*n = -2*n + 2*p - 9. Is n less than or equal to -2/3?
False
Let w = 20.9 + -21. Is w less than 6/5?
True
Let y = -27 + 14. Let k = y + 14. Which is smaller: k or -0.5?
-0.5
Let a = -0.4 - -0.03. Let v = 0.07 + a. Suppose 3*r = -3*u - 9, -r - 7*u = -3*u + 9. Is v less than r?
False
Suppose 4*z - 3*p = 21, -4*z - z + 3*p = -24. Suppose -q - 2*q - z = 0, -5*f + 3*q = 17. Is -5 at least as big as f?
False
Let l be ((-6)/9)/(1*(-8)/12). Is 4/7 at most as big as l?
True
Let y = 2044.17 - 2072. Let u = y - -28. Let g = u - -0.03. Is 1 bigger than g?
True
Suppose -3*c = -2*c - 7. Which is greater: 6 or c?
c
Let r be 1 - (1 + -1 + -1). Suppose 0 = -r*n + 10, 3*a - 5 = -2*a + n. Suppose -a*w + 6*w + 4 = 0. Is 0 equal to w?
False
Suppose 0 = 2*y - 1 + 23. Let n be 2/(-4) - y/14. Which is greater: n or 1?
1
Suppose 4*r + j - 8 + 3 = 0, 9 = -3*r - 5*j. Let n be (r/12)/((-5)/(-10)). Are 1 and n nonequal?
True
Let h(r) = r**2 - 12*r - 14. Let t = 8 + 5. Let s be h(t). Is -2/17 at most s?
False
Let c = 781 + -75759/97. Which is smaller: -1 or c?
-1
Suppose -4*z + 3*l = -8, z - 3*l + 6*l = 2. Is z at least as big as -1?
True
Suppose 8*w = 3*w. Suppose 0 = 2*o - 5 + 1. Let m be o/2*(-3)/12. Is w less than or equal to m?
False
Let h = 260/3 - 86. Suppose -b + 4*k + 7 = 0, 2*b + 3*k + 3 = 5*b. Let c be 6/(-20) + b/5. Which is greater: h or c?
h
Let k be 158/(-18) + 2/(-9). Let g be 3/(-18)*2*k. Let c = -5 + g. Which is greater: c or -1?
-1
Let k be ((-16)/6)/(1/3). Let f be (k - -2)*4/(-12). Is f < -2?
False
Let x = -0.2 - -0.3. Let d = x + -1.1. Let u = -2 - d. Is 0.1 greater than u?
True
Let s be 1 - ((-8)/28)/1. Which is smaller: 1 or s?
1
Suppose -2*z - 54 = -5*x, z = -4*x - 4*z + 30. Suppose -5*g = -5*v - 20, -2*v = 3*g + x + 3. Suppose -3*b = -b. Which is bigger: b or g?
b
Let s(j) = j**3 - 6*j**2 + j + 5. Let c be s(6). Suppose -4*b = v - 4 - c, 4*b = v + 9. Suppose v = -4*o - 9. Which is greater: o or -4?
o
Suppose 3*n + 4*n = 224. Is n greater than or equal to 33?
False
Let r be (30/49)/(2 - 145/70). Is r <= -9?
False
Let z be 1 + (16/15 - 2). Let d be (2/7)/((-10)/(-35)). Let y = d - 2. Which is smaller: y or z?
y
Let a be (1 + 0)/(2/1). Let f be 0 + 42/45 + -1. Let v = -2/5 - f. Are a and v nonequal?
True
Let q(i) = -i**2 + 9*i - 14. Let k be q(3). Which is bigger: k or 34/13?
k
Suppose 2*d + 2*b = -10, 2 + 18 = -4*b. Let y(x) = -x**3 - 4*x**2 - 2*x. Let q be y(-3). Let r(l) = l**2 + 4*l + 2. Let w be r(q). Is w > d?
False
Let f(q) = 1 - 2*q**2 + 7*q - 11*q + 0*q**2. Let a be f(-3). Is a at most as big as -5?
True
Suppose -28 = -2*k + k + 5*s, 3*s = 4*k - 27. Do k and 2 have the same value?
False
Let j = -6 + 6. Is 0 less than j?
False
Let t be ((-4)/14)/(32/(-112)). Which is smaller: 2/363 or t?
2/363
Let t = 1 + -2. Let a be 4 + (2 - (-200)/(-33)). Which is bigger: t or a?
a
Let u = -64 - -64. Are u and 1/146 equal?
False
Suppose 3*i = -4*s + 12, -i + 4*s = 12 - 0. Which is greater: i or -10/7?
i
Let r = 43 + -18. Let f be ((-4)/(-10))/(5/r). Are f and 3/4 equal?
False
Let t = 2.13 - 0.13. Is 0 less than t?
True
Suppose -5*x + 2*x = 6. Let k = x + 4. Let d = 1.5 - -0.5. Is k greater than d?
False
Let d = -0.5 + 1.5. Which is bigger: d or 40?
40
Let q be (6/(-4))/(2/(-24)). Let u be (1 - 14/q)*3. Which is smaller: u or 1?
u
Let i(w) = -3*w - 1. Let z be i(-1). Let u be 0/2 - (0 + -26). Let q = u - 49/2. Is q != z?
True
Let p = -0.4 - 3.6. Let k = -0.5 - -0.4. Which is bigger: k or p?
k
Let c be (-2)/(-5) + 24/(-10). Let u be ((2 - 2)/(-1))/c. Let o be (1 - u)*(-10)/(-15). Which is bigger: o or 0?
o
Suppose -5*b = 3*z - 5*z + 9, -b = 3*z - 5. Let a = -5 - -8. Let q = a + b. Which is smaller: -0.1 or q?
-0.1
Suppose 4*h - 16 + 0 = 0. Suppose 0 = -2*g + h*g. Let u = 23.2 + -24.2. Which is greater: g or u?
g
Suppose -4 = -2*b - 2. Is 1/15 greater than b?
False
Suppose -4*v - 7 = -3*m, -5 - 1 = -2*m + 2*v. Suppose -13 = 4*i - m. Let l be 4/9 + i/(-9). Which is smaller: 1 or l?
l
Let v = 6 - 6. Let h = 2 + v. Is -2 < h?
True
Let i = -29504/13 + 2272. Is 1 != i?
True
Let y be 2/(-8) + (-33)/12. Let m be (-2)/y*3/5. Is m at least -1?
True
Let u = 10 + -14. Let x = -4.1 - u. Which is smaller: 1/4 or x?
x
Let n be (-2 - -1) + (-4 - -2). Let f be n/(-6) + (-1)/4. Is f at least a