h is smaller: l or j?
j
Let c be ((-5)/2)/((-5)/10). Suppose c*w = -0*w + 15. Suppose -1 = 4*i - w*i, 5 = -4*o + 3*i. Which is smaller: -1/2 or o?
o
Let v be 1528/(-10) - -2 - (-1)/(-5). Is -151 >= v?
True
Let n = 486 - 459. Is 29 at least as big as n?
True
Let m = 26 + -72. Let l = m + 18. Is -29 less than or equal to l?
True
Let c = -72 + 116. Let d be c/30*-3*10*1. Are d and -43 nonequal?
True
Let a = 4.2 + -4.1. Let s = 46 + -76. Which is smaller: s or a?
s
Let p(u) = 16*u**2 - 3*u - 9. Let z be p(-3). Suppose 7*r - z = -2*r. Is 16 greater than r?
False
Let d be 1/5*(-13814)/(-14). Let s = d - 756/5. Let n = 46 - s. Is 0 not equal to n?
True
Suppose 2*r + 3*x = -23, -4*r + x - 6*x = 49. Let s be (-15)/10 + 129/2. Suppose -5*g + 3*n = s, g + 26 + 1 = -3*n. Is g greater than r?
True
Let g = -65 - -69. Suppose 4*j - 4*n = 6*j + 12, -j - g*n - 10 = 0. Which is smaller: j or 0.4?
j
Let q be 1*(-3)/(-3)*1. Let l be -1 - (3 + 9069/(-33)). Let w = l + -271. Is q at least w?
True
Let q = -52.16 + -0.84. Let s = q - -52.8. Is -5 at most s?
True
Let f be (-4)/(-4)*-4 + 10. Suppose -3*w - 24 = f. Let m be 16/40*w/(-4). Do m and -3/8 have the same value?
False
Let g be 2/30*(0/14 - -5). Are -35 and g non-equal?
True
Suppose 3*v = 5*t + 51, -4*v + 51 = 3*t - 4*t. Suppose 2*z + 22 = 5*x + 57, 119 = 5*z - 2*x. Let u = -12 + z. Which is bigger: u or v?
u
Suppose 4 = 4*n - 0. Let x = -1 - n. Is -10/3 at most as big as x?
True
Let f be -20 + (-1)/5*0. Let j = -61/3 - f. Let c be (-3)/6 - (-6)/4. Is c smaller than j?
False
Let p = -1/84 + 295/84. Is p greater than 5?
False
Let w = -0.0145 + -0.2555. Is 0.1 at most as big as w?
False
Let f be 125/220 - 6/8. Let m be (-4)/10*5/(-6). Is m bigger than f?
True
Let q = 1698 + -1657. Which is bigger: 0.2 or q?
q
Suppose -7*m - 276 + 66 = 0. Let z = 75 + -31. Let h = z + m. Is 13 not equal to h?
True
Let g = -17 - -12.9. Let h = -22.1 - g. Which is smaller: h or 0?
h
Let g be 22/(-3)*(-576)/(-128). Which is smaller: g or -13?
g
Let x(y) = -2*y**3 + 10*y**2 + 7*y + 3. Let r(c) = -c**3 + c + 1. Let u(l) = 4*r(l) - x(l). Let o be u(-4). Let n = -14 - o. Is n greater than or equal to 3?
True
Let w(a) = 7*a**2 + 1. Let m be w(-1). Let y be 1/((12/m)/((-3)/(-2))). Is y > 3?
False
Let o = -669/1183 - 1/169. Are o and 1/6 non-equal?
True
Suppose -5*w = -3*w - 2*c + 180, 2*w + 3*c = -185. Which is smaller: -90 or w?
w
Suppose -15*i = -10*i - 10. Let v(c) = -c + 3. Let d be v(i). Let y be -3 + d + 2 + -2. Which is smaller: y or -7?
-7
Let f be (9/(-6))/(-3)*0. Suppose f*k - 7 = k. Let c = 4 + k. Do c and -5/3 have different values?
True
Let v = -0.633 - 26.767. Is 0.1 greater than v?
True
Let p = -1.2 - -2.1. Let r = -1 + p. Let f = -0.3 - r. Which is greater: f or -1?
f
Let d = -167 - -154. Which is smaller: -6 or d?
d
Let n = 69.914 - -0.086. Let c = -70.2 + n. Let j = 0.06 + -0.14. Do j and c have different values?
True
Suppose -88 + 85 = -3*k. Is k < -4/19?
False
Suppose 4*v - 4 = 0, -k - 4*v + 7 = v. Let s be k/9 - 6/27. Suppose 0 = -5*q - s - 5. Is q != -6/17?
True
Let v = -0.05 + -3.95. Let a = 3 + v. Let s = -8.96 - 0.04. Is a greater than s?
True
Suppose -2*r - 3*r - 40 = 0. Let c = r + 12. Let y(n) = 6*n + 128. Let u be y(-21). Which is smaller: c or u?
u
Let d be (4/8)/(1/(-2)). Let z be ((-2)/4)/(961/5704) - -3. Is z greater than d?
True
Let y(w) = 87*w**3 - w**2 + 4*w + 4. Let d be y(-1). Is d <= -85?
True
Let p = -1814 + 1812. Which is smaller: 1/14 or p?
p
Suppose -5*t - 4*j + 0*j - 32 = 0, -5*t - 48 = -4*j. Let h = -5 - t. Which is smaller: h or 1?
1
Let h be -2 + (-12004)/(-5800) - 2/25. Is h >= 1?
False
Let c = -767 + 1033. Which is smaller: c or 1336/5?
c
Suppose 4*p - 2*h = 24, 2*h + 3 - 4 = -p. Let y be 104/13*p/(-12). Is y greater than or equal to -3?
False
Let a = -1110 - -1101. Is -207/22 smaller than a?
True
Let z be -8 + (-12)/(8/(-2)). Let x be (4/(-6))/(z/(-15)*2). Which is greater: 1 or x?
1
Let x = 134 + 528. Suppose -8*h - 214 + x = 0. Are 56 and h non-equal?
False
Suppose 0 = 16*y - 21*y - 50. Let u = y + 13. Is 1 greater than u?
False
Let w be ((-27)/2)/((-2211)/(-176)). Let f = w + -1620/737. Which is bigger: -4 or f?
f
Let d(b) = b - 6. Let n be d(0). Let g(i) = -5*i. Let h be g(n). Which is bigger: h or 31?
31
Suppose -4*s + 20 = 0, -11*t + 153 = -7*t + s. Which is bigger: t or 31?
t
Let m = 28 - 25. Let a(h) = h**3 - 3*h**2 + 2*h - 6. Let f be a(m). Which is greater: f or -1?
f
Suppose 8*b = 5*x + 4*b - 55, x - 11 = 5*b. Is 74/7 < x?
True
Let d be (-1)/2 + (-34)/(-84). Suppose 42*x + 6 = 6. Which is greater: x or d?
x
Suppose 0 = 20*n - 3*n + 51. Which is greater: n or -34/11?
n
Let c = 1476 + -1437. Which is smaller: 15 or c?
15
Let a = 18/911 - 25360/84723. Is 1/3 at most a?
False
Let i = -749 - -751. Let f be ((-9)/15)/(8/(-10)). Is i at least as big as f?
True
Let i(u) = -u**3 + u**2 - 1. Let y be i(-2). Let j(b) = b**3 + 7*b**2 + 12*b + 33. Let h be j(-6). Which is smaller: y or h?
h
Let c = 5.68 - -22.42. Let h = c + -28. Which is smaller: h or -10?
-10
Let a(g) = -g**2 - 17*g - 32. Let q be (-11)/1 + (6 - 10). Let z be a(q). Is z > -5/9?
False
Let f(i) = -i - 3. Let u be f(-7). Let a be (-13 - -17)*(-3)/u. Which is bigger: -7/2 or a?
a
Let v(n) = 131*n + 4. Let h be v(2). Is h not equal to 266?
False
Let k be ((-7)/3)/(110/(-45)). Which is smaller: 1 or k?
k
Let i = 5156 + -25666/5. Let t = 29232/5 + -5825. Let n = i - t. Is n > 1?
True
Suppose d + 24 = 2*d - 2*f, 5*d - f = 120. Let g be (d/(-45))/((-7)/(-35)). Which is smaller: g or -2?
g
Let k = 14 + -31. Let f be -21 - (-10 + 6)/(-4). Let u = f - k. Which is smaller: u or 0.2?
u
Suppose -5*d + 143 - 8 = 0. Let o = -1.15 - -1.15. Which is greater: d or o?
d
Let w = 2 - 6. Let m = 116 - 112. Let g = m + w. Which is smaller: -0.2 or g?
-0.2
Suppose 0 = p - 2*g - 9, -5*p + 9*g - 4*g = -60. Which is bigger: p or 36?
36
Let k = -83.03 - -83. Let d be (-4)/(-27)*6/(-4). Which is greater: k or d?
k
Let p be 32/8 - (-1 + -4)*-1. Let x(b) = -2*b**2 + 3*b + 1. Let n be x(-3). Let l be 21/n - 1/(-2). Is p < l?
True
Let u(v) = 5*v + 61. Let k be u(-12). Let y(j) be the third derivative of j**4/12 - 7*j**3/6 + j**2. Let g be y(5). Which is smaller: k or g?
k
Let f = 6 + -3. Let s = 59 - 64. Let h = f + s. Which is smaller: h or 2?
h
Let t = -1.739 + 0.739. Which is smaller: 6/139 or t?
t
Let w be (-12)/21*2/12. Suppose -3 = -24*n + 21. Which is smaller: n or w?
w
Let u(z) = z - 9. Let i be u(9). Let f be -3 - (-2 + i + -1). Is f greater than or equal to -1/14?
True
Let u = 36 + -56. Suppose -24 = 5*i + 76. Let z = u - i. Is z <= -2/19?
False
Let c = -2267 + 2270. Let l be ((-6)/(-4))/(2/4). Is c equal to l?
True
Let c = 22 + -12. Let b = -4229 + 21201/5. Is b at most as big as c?
False
Let q be 3950/70 + 12/(-28). Which is smaller: 58 or q?
q
Let m = -15 + 30. Let j = -25 + m. Let t = -0.104 + 0.204. Which is bigger: j or t?
t
Let o = 4.1 + -3. Let j = -0.2 + 0.4. Let p = 0.3 - j. Is p at most as big as o?
True
Let d = 5 + -2. Suppose d*m = 2*y + 48, -m + 2*m - 3*y - 23 = 0. Suppose 42 = 2*t + 2*t - 5*n, 22 = 2*t - 2*n. Which is smaller: t or m?
t
Let r = 23 - 27. Let f = 7 + -8. Is f at least as big as r?
True
Let v(a) = a**2 + 2*a - 2. Let y be v(-4). Suppose 3*k - 2*q = q + y, 5*q = 0. Suppose 5*d + w + 4 = -0, 5*w = k*d + 7. Which is smaller: -2 or d?
-2
Let v(a) = a**3 - 3*a**2 + 5*a + 1. Let w be v(4). Let p = -2194 - -2230. Is w bigger than p?
True
Let f be ((-408)/54)/((-5)/(-30)*22). Is f at most -3?
False
Let b = -6224 - -6224. Let c be (-98)/(-132) + 2/(-6). Let m = -7/22 + c. Which is smaller: b or m?
b
Suppose 5*y + 90 = -110. Let i be ((-48)/y)/((-18)/(-1700)). Let z = 225/2 - i. Is 0 > z?
True
Let h = -107.1796 + 0.1796. Which is bigger: -2 or h?
-2
Suppose 2*n = -b + 28 + 33, -3*n = 15. Suppose -213 = -14*o + 11*o. Is o at least b?
True
Suppose -4 - 6 = 2*k, 4*l + 5*k = 483. Let b = l + -130. Do -7 and b have the same value?
False
Let a = 2200/7 + -101277/322. Are a and 1 non-equal?
True
Let y(g) be the first derivative of 5*g**4/4 - g**2/2 + g - 24. Let f be y(1). Which is bigger: f or 40/9?
f
Suppose 5*x + 5*f = -10, 3*f - 3 + 6 = 0. Is -2/2261 at least x?
True
Let g be (8/3)/((-16)/(-24)). Let l be g/61*(-2 + 15/6). Let 