aller: h or -2?
-2
Let o = -490 - -205. Let p be (-4)/16 + o/(-100). Which is bigger: p or 2?
p
Let g = -7.07 - -7. Let m = g + 0.04. Which is smaller: -0.1 or m?
-0.1
Let p = -1917/50 + 192/5. Let h be 222/70*(-2)/(-180). Let f = h + p. Which is smaller: -1 or f?
-1
Let l(v) = v + 1. Let b be l(-1). Let r be -2 + (b - -2) + -3. Does -2 = r?
False
Let v(n) = n**2 + 9*n - 15. Let y be v(-9). Which is smaller: y or -12?
y
Let k(s) = 5*s**2 + s**3 + 4*s - 7*s**2 - 3*s - 2. Let j be k(2). Do 1/14 and j have the same value?
False
Let b = 0.5 + -0.3. Let c = 4.8 - 5. Let r = b + c. Which is smaller: 3/4 or r?
r
Let o be 84/(-18) + 2/3. Let m be -2 - o/5*2. Let i = -0.3 - -0.5. Do i and m have different values?
True
Let d be (11389/(-63))/(0 - 1). Let k = d - 181. Is -2 equal to k?
False
Let l be (-1)/(-6) - (-138)/36. Suppose 4*j = 4, 2*u - 8 = -2*u - l*j. Which is bigger: u or -2/7?
u
Suppose -2*p - 10 = -4*g, -3*p = -0*p + 5*g + 15. Let n(h) = h**3 - 4*h**2 - 2*h + 5. Let r be n(4). Is p at most r?
True
Suppose 5*d - 10 = -5*q, 2*q + 3*d - 2 - 2 = 0. Is 2 < q?
False
Let g be 24/(-84)*2/(-4). Are g and -0.5 equal?
False
Suppose 0*y - 2 = -3*d - y, -3*d - 2*y = 2. Suppose d - 5 = m. Is m > -3?
False
Let d = -76 - -66.05. Let h = d + 10. Let b = -0.1 + 0. Is h > b?
True
Let b = 19 + -18. Is -1/24 at least as big as b?
False
Suppose 0 = 5*h - 4*h - 7. Let f = h + -12. Let l be (-8 - f) + (-3 - -1). Is -3 smaller than l?
False
Let x = 47 + -47.2. Let z = -2.9 + 3. Do x and z have the same value?
False
Let b = -0.35 + 0.34. Is b at most -5?
False
Suppose -2*i + 6 = -10. Which is smaller: i or 31/4?
31/4
Suppose g = -l - g - 53, -2*l - 108 = 5*g. Which is bigger: l or -48?
-48
Let m be 1*-2*(-9)/396. Which is bigger: m or 1?
1
Let n(d) = d**3 - 13*d**2 + 11*d + 14. Let l be n(12). Suppose r - 1 = -l. Let j be 1/(-2) - (-1)/2. Which is greater: j or r?
j
Let l = 4 - 8. Let g be 10/l*(-32)/280. Is 1 <= g?
False
Let p be ((-14)/4)/(-1) + -3. Does 5 = p?
False
Let d = -0.08 + 0.04. Which is smaller: d or 5/3?
d
Let a = -1.7 - -0.1. Let o = 0.4 - a. Let x = 1 + o. Is 0 at least x?
False
Suppose -8*z + 6 = -14*z. Let s be 3*2 + -2 + 4. Let y be 2/9*6/s. Which is smaller: z or y?
z
Let g = -10 - -16. Let m = 5.7 - g. Let f = 1/36 - -2/9. Which is smaller: m or f?
m
Suppose 0*o - 48 = -2*o. Let x be ((o/15)/(-2))/(-2). Is 1 at least x?
True
Let r = -18 - 12. Let h be ((-2)/(-6))/((-2)/r). Let a = -4 + h. Which is smaller: 2/7 or a?
2/7
Let i(v) = 5*v**3 - 2*v**2 + 0*v - 4 + 2*v - 3*v**3 - 3*v**3. Let d be i(-3). Which is smaller: 2/7 or d?
d
Suppose -u + 3 + 3 = 0. Let j be u/(2/(-4)*2). Let x be (j + 4)*2/(-4). Is 2/9 >= x?
False
Let f = 3.3 + -3.2. Is f smaller than 0.1?
False
Let z(s) = s**2 + 8*s + 2. Let m be z(-8). Suppose 2*h - h = 2. Is h <= m?
True
Suppose 137*x + 10 = 127*x. Let v = 1 - -1. Is v at most x?
False
Let p = -13.745 + -0.055. Let a = 14 + p. Which is greater: -1 or a?
a
Suppose -2*s - 3*d + 21 = 0, 2*d + 17 = 4*s + 3*d. Which is smaller: 1 or s?
1
Let t(k) = 1. Let u(y) = -4*y + 10. Let d(v) = -8*t(v) + u(v). Let c be d(2). Which is smaller: -5 or c?
c
Let k = 2.92 + 0.08. Let f = k + -4. Let w = -0.54 - -0.14. Which is smaller: w or f?
f
Let q be 1*6*2/2. Suppose 44*r = 42*r + 10. Which is smaller: r or q?
r
Suppose -p + 6 = 5*l, -l - 16 = -5*l + 2*p. Let v be 2/(-5) - (-36)/(-10). Let g = l + v. Does -3 = g?
False
Let p be (1 + -1)/(1 + -2). Let l = -63 + 121/2. Let q = l + 2. Is p at least as big as q?
True
Let w = -17 - -16. Which is smaller: -2/7 or w?
w
Suppose -4 = -0*g - g. Let m(k) = k**2 + 3*k - 6. Let i be m(-5). Is i at least g?
True
Suppose 62*f + 198 = 68*f. Is -1 greater than f?
False
Let j = 48 + -19. Let p(o) = -o**2. Let v be p(0). Suppose 4*a - 2*x - 3*x + j = v, -3*x + 17 = -2*a. Which is greater: -2 or a?
a
Let r = 82.894 + 0.006. Let j = -76 + r. Let a = j + -7. Is -3 >= a?
False
Let k = -3 - -2.99. Let o = -289 - -289. Which is bigger: o or k?
o
Let l = -14 - -30. Let s be l/9 - 2/(-9). Let n = 0 + s. Is n bigger than 4?
False
Let o = -2/571 + 2867/3426. Is 2 at least as big as o?
True
Suppose z = -4*z. Let r = -24/85 - 2/17. Are r and z nonequal?
True
Let h(y) = 13*y + 1. Let m be h(5). Let u be (-2)/(-11) - 78/m. Is -5/3 smaller than u?
True
Suppose 3*g = -5*t + 20, -3*t - 1 = 5*g - 13. Let s(x) = -x**3 + 6*x**2 + 8*x - 8. Let v be s(7). Which is greater: v or g?
g
Let q(u) = 3*u - 3. Let y be q(2). Suppose 3*c = -w + 11, 0 = 4*w - y*c + 16. Is -1/8 <= w?
False
Let t(w) = -w**2 - 6*w - 6. Let j = 0 - 4. Let c be t(j). Suppose -1 = 3*a + c. Is a < -1/2?
True
Let x = -28683/40 + 717. Which is smaller: x or -1/2?
-1/2
Let d = 40 + -41. Is -0.12 bigger than d?
True
Suppose -5*g + 3*x = -3*g, 0 = 2*g + x. Let c = 9 + -5. Does g = c?
False
Let w = 2 - 1.9. Let u = -234 - -234.02. Is w >= u?
True
Let k = -17 + 18. Let i = k - 2/5. Do 2 and i have the same value?
False
Let d = 172 + -1550/9. Which is bigger: -1 or d?
d
Let g = -23/14 + 29/14. Which is greater: g or 1?
1
Let m(p) = 6*p**2 + 2*p - 1. Let h be m(1). Let k(r) = 3*r + 13. Let g(s) = 8*s + 39. Let a(o) = 4*g(o) - 11*k(o). Let w be a(6). Is w at least h?
True
Suppose -2*n + 5*n = 15. Suppose 6*l = n*l. Is l greater than 3/5?
False
Let z = -3 - -2. Let x be -2 + 4 - 0 - 2. Which is greater: x or z?
x
Let r be 17/8 - (1 + 1). Let p = -2 - -3. Which is smaller: p or r?
r
Let y = 16 - 17. Which is bigger: 2/101 or y?
2/101
Let v be (-2)/8*348/(-9). Let n = 212/21 - v. Which is smaller: -0.1 or n?
-0.1
Let c = 0.23 - -1.77. Let f = -3.2 - -3. Which is greater: f or c?
c
Let q(w) = -w. Let b be q(-3). Let x = 0.07 - -0.03. Do x and b have different values?
True
Let h be 1412/3504 + 4/(-6). Let q = -1/73 - h. Which is smaller: 1.8 or q?
q
Let a(p) = p**3 - 11*p**2 + 12*p - 13. Suppose -5*y = 3*v - 65 + 22, -y = -4*v - 27. Let c = -1 + y. Let i be a(c). Is 7 < i?
False
Let f(k) = k**3 + 4*k**2 + 2. Let o be f(-4). Suppose 0*p = 3*p - 6. Let r = -1 + p. Is o at most r?
False
Let w(r) = -r**3 + 9 + r**2 + 3*r**2 + 0*r - 2*r + 4*r**2. Let v be w(8). Which is greater: v or 2?
2
Let u(n) = n + 6. Let p be u(-6). Suppose p*d = -d. Let o be 7*(-2)/3*12/(-42). Which is greater: d or o?
o
Let s = 2/27 - 11/27. Are -1 and s non-equal?
True
Suppose 12 = 3*u - u. Suppose -u*a + 3*a = 0. Which is bigger: a or -0.1?
a
Let n(a) = a**2 - a + 1. Let p(x) = x**2 - x + 1. Let i(j) = -4*n(j) + 5*p(j). Suppose 5*z - u - 6 = 4, z - 16 = 3*u. Let f be i(z). Is f <= 2?
True
Let x = -2 - -4. Let z be 0/(-1) + (-4)/x. Let m = -0.12 - -0.42. Which is smaller: m or z?
z
Suppose 0*c = -2*c. Let v be -1 - c - 33/(-27). Does v = 0.1?
False
Suppose 2*t + 2 = 0, -2*t + 331 = -5*j - 3*t. Which is greater: j or -67?
j
Let k be 6/9*9/6. Suppose 0 = -g - 3*l + l - 7, -15 = 3*l. Suppose -5 = -g*z - 2*z. Are z and k non-equal?
False
Let m = 0.065 - -3.935. Which is smaller: m or 3?
3
Let h be (-175)/(-42) - (-2)/(-12). Suppose 0 = n + 2 - h. Suppose -b = -0*b - 2. Are n and b nonequal?
False
Let d be (1/(-3))/(1/2). Let n = -6 + 9. Suppose n*w - 7*w - 8 = 0. Which is smaller: d or w?
w
Let a = 24 + 3. Which is greater: 26 or a?
a
Let y = 99 + -51. Let o be 4/(-14) + y/21. Suppose 5*c + 3 = o*c. Is -2 greater than c?
False
Let l(m) = -m**3 + 9*m**2 - m + 9. Let y be l(9). Is 0.08 greater than or equal to y?
True
Let m = 1903/211452 - -1/1052. Which is smaller: m or 1?
m
Let r be -2 - -1*(2 + -7). Let g be 3/r - (8 + -9). Is g > 1?
False
Let g be (-10594)/2780 + 0 + 2. Let w = -3/278 - g. Which is greater: w or 3?
3
Let f(k) be the third derivative of -k**6/120 + k**5/10 - k**4/24 + 7*k**3/6 + 5*k**2. Let d be f(6). Which is bigger: d or 2?
2
Let l = -2/151 - -320/1359. Let c = 4 - 1. Suppose 0 = c*b + b. Is b <= l?
True
Let p = 33 + -18. Let t be ((-10)/p)/(2/(-6)). Let h(k) = -k + 6. Let f be h(3). Is t greater than f?
False
Suppose -2*w - o + 33 = 0, -w + 4*w = 4*o + 55. Which is greater: w or 13?
w
Let x = 0.003 - -34.997. Is x not equal to 1?
True
Suppose -4*x - x - 45 = 0. Let u(o) = -o**3 - 8*o**2 + 9*o + 2. Let c be u(x). Let h be 5/3 - 2/3. Which is bigger: c or h?
c
Let c = -18 + 18. Is 0 > c?
False
Let b = -2 + 2.1. Let m = 5 + -0.2. Let i = m - 5. Is b equal to i?
False
Let a be (-1 - 1)/((-4)/5