hich is smaller: 0 or h?
0
Let r = 0.047 - -0.053. Which is smaller: r or 1/90?
1/90
Let w = -28 - 61. Which is smaller: -85 or w?
w
Let f be ((-2)/(-6))/(6/(-18)). Let n be (42/(-8))/((-4)/32). Let d be (2/n)/(3/9). Is f less than d?
True
Let w be 2/(-3)*2/(-6). Let t = 128 - 110. Suppose t*u - 8*u = 0. Is w greater than or equal to u?
True
Let o = -2 - -4. Let g = -97 + 99. Suppose -g*x - o*x = 4. Which is greater: -2/5 or x?
-2/5
Let z = 2.52 - 125.52. Which is smaller: z or -2?
z
Suppose -3*m - 1 + 2 = -4*w, 0 = -3*w + 3*m - 3. Suppose 3*l + w = -10. Let k be l*1*(-2)/(-30). Does k = 0?
False
Let i(q) be the second derivative of -q**3/3 - 5*q**2 + 13*q. Let f be i(7). Is -25 >= f?
False
Suppose -4*h - 103 = -3*s, 3*h - 6*h - 5*s = 99. Do h and -30 have the same value?
False
Let m(n) = -n**3 + 2*n**2 + n - 1. Let w be m(2). Let q be -3 - w - (-54)/8. Which is smaller: 3 or q?
q
Let w = 10.02 - 9.02. Is 1.387 > w?
True
Let s = 65/34 + -1075/918. Is s less than 0?
False
Let b be (-6)/21 + (-914)/(-14). Suppose -2*j + 45 = 4*v - 3*j, -5*j = -4*v + b. Let l be (5/10)/((-1)/v). Is l greater than or equal to -6?
True
Let l be (0 - 21)*(1 - 6 - -4). Which is bigger: l or -2?
l
Let g(a) = a**3 + 2*a**2 - 5*a - 2. Let j be g(-3). Let h = j - 6. Suppose -278 = 56*d - 54. Which is bigger: h or d?
h
Suppose 19*u + 21 = -2*u. Do u and 10 have the same value?
False
Suppose 5*f - q + 0*q = 219, 2*q = 2. Suppose f = -5*a - 2*b, 4*a + a = 3*b - 34. Does a = -10?
False
Let f = -5 + 5. Let c = 13187/2608 + -81/16. Which is bigger: c or f?
f
Let x = -388 + 397. Suppose -2 + 18 = 4*c. Which is greater: x or c?
x
Suppose -6*o - 16 = -2*o. Suppose -9 + 3 = 2*c. Which is greater: o or c?
c
Let y(a) = 17*a - 3. Let w be y(7). Suppose -3*x - 338 = -w. Do x and -75 have the same value?
False
Suppose 2 = -4*j - 2*x, 9*x - 5 = 5*j + 11*x. Is j less than or equal to -3?
True
Let f be (8 - 0)*(-13)/((-26)/63). Is f smaller than 252?
False
Let t = -3.8 - -3.2. Let n = 2.4 - t. Which is bigger: n or -0.4?
n
Let g = -153 - -185. Is g >= 0?
True
Let h = 0.295 - -0.005. Let b = 2 - 1. Let c = -1 + b. Which is bigger: h or c?
h
Let n(r) = -r**3 - r**2 - r - 2. Let h be n(-3). Let v = 24 - h. Suppose -17 - 23 = -v*k. Which is smaller: 1 or k?
1
Let g(b) = -7*b - 109. Let m be g(-14). Is -137/11 at least as big as m?
False
Let m be (-6)/4 - 40/16. Let o = -9 - -12. Suppose -3*c - 5*x = 3, c - 2 + o = 4*x. Which is greater: c or m?
c
Let f = -0.13 + 0.03. Let v = f - 1.4. Let d = v + -2.5. Is -0.1 smaller than d?
False
Suppose 6*c = -44*c + 50. Which is smaller: -1/682 or c?
-1/682
Let q be 25/(-10)*(-1 + -1). Let o(k) = -3*k + 7*k - 2*k + q*k + 3. Let d be o(-2). Is d greater than -12?
True
Let i(a) = a**2 - 9*a + 17. Let u be i(3). Suppose -n = -0*n - 8. Let c be (-3)/10 - 4/n. Which is bigger: c or u?
c
Let f = 0 + -0.1. Let a = -4.2 - -28.2. Let g = a - 23.5. Which is bigger: g or f?
g
Suppose -4*v = -12*v + 40. Suppose -46 = a - n, 5*a + 0*n + 210 = -v*n. Are -42 and a nonequal?
True
Suppose 22*y - 27*y - 4*u - 285 = 0, 2*y + 114 = -4*u. Which is bigger: y or -55?
-55
Let k = 69/73 + 4043/511. Is 10 < k?
False
Let j = 4.46 + -4.56. Is j less than or equal to -0.57?
False
Let q(o) = -2*o**2 + 12*o - 4. Let l be (-26)/(-3) - 40/24. Let x be q(l). Let c be 1/(-4) - (-134)/(-8). Which is smaller: x or c?
x
Suppose -4*b - 3*s = 40, -b - 10 = -2*s - 3*s. Let p = b + -14. Is -22 at most p?
False
Let w(z) = -10*z**3 + z**2 - 2. Let r be w(1). Let l = r + 39. Are l and 0 equal?
False
Let p(j) = -15*j. Suppose 4*w - 2*f = 0, 0*w + 5*f = 3*w + 7. Let q be p(w). Let n = -5951 - -5937. Which is bigger: n or q?
n
Suppose -u - 5*z + z + 28 = 0, -z + 1 = 0. Suppose -u = 2*g - 4*g. Is 12 <= g?
True
Let i be (96/6 + -3)*7. Let q be (-2)/13 + 53/i. Is q at most -2/11?
False
Let f be (52/(-65))/((-2 - -2) + 2). Does f = -76?
False
Let x be 77/92 + (3 - (-45)/(-12)). Which is smaller: 0 or x?
0
Let c be ((-108)/120 - (-2)/5)*16. Is c at least as big as 1.1?
False
Suppose 2*b = 4*l - 14, -b - 3*l - 3 = 14. Which is smaller: 7 or b?
b
Let c(j) = -j**2 + 6*j - 12. Let x(m) = -2*m**2 + 7*m - 12. Let f(t) = 3*c(t) - 2*x(t). Let l be f(-6). Which is bigger: l or 3/5?
3/5
Suppose -97*q + 66*q = 217. Which is greater: q or -5?
-5
Let v(d) = d**3 - 23*d**2 - 24*d + 3. Let o be v(24). Suppose 2*r + 96 = -5*z + r, -z - o*r - 22 = 0. Is -20 equal to z?
False
Let c be 20/(-56) + (30/(-14))/(-5). Suppose 2*w - 4 = 2. Suppose -o = 5*m + 3, -2*m + 0*m + 9 = -w*o. Which is bigger: c or m?
c
Suppose 10*t - 327 - 173 = 0. Which is greater: t or 55?
55
Let x = 9 - 21. Let z be x + 4/(3 + -1). Let f = -12 - z. Which is greater: f or -0.2?
-0.2
Let d(a) be the third derivative of -a**4/24 - 3*a**3 + 5*a**2. Let t be d(-8). Suppose -4 = -4*y - 48. Which is smaller: y or t?
y
Let x be (-1)/(-8)*(-8)/30. Let q(w) = 15*w**2 - 75*w + 1. Let h be q(5). Does x = h?
False
Suppose -2*h - 230 = -216. Suppose -5*n + 14 = -11. Let o = n + h. Are -1/3 and o equal?
False
Let y = 14 - -14/3. Let q = 18 - y. Is q > -0.09?
False
Suppose 0 = 2*o + o. Let t be ((-297)/(-22) - 11) + (-4)/3. Is o equal to t?
False
Let i = 14.5 - 13. Let h = -10.1 - -10. Which is bigger: i or h?
i
Let w = 4 + -2. Suppose 55 = -w*p + 49. Let v be 20/(-3) + (-2)/(-3). Which is smaller: v or p?
v
Let d = -260 - -159. Let z = -103 - d. Is z equal to 0.59?
False
Suppose 7*n = 15 - 71. Let m be (-7)/(-28) + 362/n. Let h be 2/(-5)*m/(-18). Which is smaller: h or -3?
-3
Suppose -3*d = -l - 17, 2*l + l = d - 3. Suppose 2*h = s - 6 + 9, 2*s = -3*h - d. Is -2/5 > h?
False
Suppose 3*z + 645 = 126. Let i be (z/(-34) - 5)*2/(-1). Is i less than or equal to -1?
False
Let w be -1 + -3 + -77 + 84. Let c be 1*(-1 - 0)*-5. Which is smaller: c or w?
w
Let d = -15512 - -1504646/97. Which is bigger: d or 1?
1
Let d be 36/(-10) - -4 - (-132)/(-5). Let h = d + 17. Is -7 at most h?
False
Let l(y) = -y + 16. Let c be l(14). Suppose -3*v - 2*j = j, 0 = 3*v + c*j. Suppose -4*h = -h + 3*r + 9, -r - 3 = v. Are h and 3/16 equal?
False
Suppose -4*z + 16 + 36 = 0. Let f be 4 - ((-1)/(-3) + 99/27). Suppose l + 9*l - 130 = f. Is z < l?
False
Let g be (7 - (-74 + 5))*14/8. Is 134 smaller than g?
False
Let j be -6 + ((-6)/15)/(32/(-360)). Which is bigger: 0.34 or j?
0.34
Suppose 0 = i - 0*z - 3*z - 7, -2*i = -3*z - 8. Let l be 6 - (i + (-2 - -4)). Let q be (l + -4)*(-1)/2. Which is smaller: -2 or q?
-2
Let l = 0 + 0. Let o = -260 - -268. Is l at least as big as o?
False
Let l = 1/362 - 2903/2534. Let r = 50 - 50.2. Which is greater: r or l?
r
Let a(s) = -s**3 + 3*s**2 + s + 12. Let l be a(4). Suppose -3*p - 2*g = l, 0*g - g = -5*p. Which is bigger: 1/4 or p?
1/4
Let o be (444/(-66) - (-1 - 5))/(-1). Which is smaller: 9 or o?
o
Let p(j) = -j**3 - 9*j**2 + 7*j - 1. Let a be p(-9). Let y = -196/3 - a. Suppose 5*s - 3 = 3*c, -3*c + 0*s - 3 = s. Which is bigger: y or c?
c
Suppose -5*a = -2*i + 2561, 11*a - 5*i - 2029 = 15*a. Is a at least -511?
True
Let c = -104.0332 - -1.8232. Let n = 103 + c. Let q = n - -0.21. Is q at least as big as -2?
True
Suppose -n + 26 = -4*o - o, n = -3*o - 14. Are n and 2/1797 equal?
False
Suppose -5*w = -3*u - 10, -3*u - 2 = -w + 12. Let h be ((1040/(-15))/13)/(4/6). Let v be (h/20*-5)/w. Is v smaller than 0?
True
Suppose -7*f + 2*z - 34 = -12*f, -4*f + 32 = 4*z. Is f at most 8?
True
Let c = 347 - 347. Let u = 0.1 - 0.09. Let g = u - 0.21. Are c and g equal?
False
Let i = -24 + 8. Let q(v) = -v**3 - 17*v**2 - 16*v + 2. Let c be q(i). Which is smaller: -3 or c?
-3
Let k = -3.5 + -26.5. Let o = 29 + k. Is o greater than or equal to 18/7?
False
Let j = 41 + -41.38. Let n = -0.52 + j. Is -2 at most as big as n?
True
Let a be (-7 - 9/9) + 1877. Which is smaller: a or 1870?
a
Let z(o) = -o**2 + 3*o - 14. Suppose 2*k - 2*l = 2, l - 17 = -3*k + k. Let q be z(k). Is q at most as big as -32?
True
Let v(p) = 427*p**3 - p**2 - 11*p - 9. Let x be v(-1). Which is smaller: x or -425?
x
Let c be (-1 + 0)*(-1)/((-1)/342). Is -341 at least as big as c?
True
Suppose -5*p - 5 = 5*b, -3*p - 6 + 7 = 2*b. Is 23 <= p?
False
Let m = 10.15 + -5.839. Let j = m + -0.011. Is -0.2 greater than j?
False
Let i be 0 + (0 - 2/(-4)). Let k(j) be the first derivative of -j**3/3 + 7*j**2/2 + 18*j + 