h is smaller: -2 or k?
k
Let k(a) = -19*a + 94. Let h be k(5). Which is greater: -200 or h?
h
Let j(t) = 27*t - 78. Let v be j(2). Let n = -56764/2433 + -2/811. Is v < n?
True
Suppose 2*n + i = -8, -2*i + 27 = -3*n + 1. Are -6 and n unequal?
False
Let d be ((-2)/4)/(14/(-1876)). Let w = -85 + d. Which is greater: w or -17?
-17
Suppose -41 = -3*a + 2*h - 214, -4*h = -5*a - 289. Let l = 74 + a. Is l > 15?
True
Suppose -j = -4*j - 6, -12 = i - 2*j. Let x be i/(-6)*9/4. Let l(y) = -y**2 + 4*y + 17. Let v be l(6). Is x at least as big as v?
True
Let a = 0.5 + -0.45. Let v = a + -0.27. Which is bigger: v or -2/3?
v
Let k = -68 - -66. Let h = 6 - 3. Suppose -h*a = a + 28. Do k and a have the same value?
False
Let f = -31799/77 + 413. Does 1 = f?
False
Let h = 1326 - 1336. Is -4 greater than h?
True
Let v = -40 + 68. Let o = 23 - v. Let g = o - -4.89. Which is smaller: g or -2/7?
-2/7
Let p = 4 - 4.1. Let w be (7 - 66/5)*10/(-4). Let z = w + -15. Which is smaller: z or p?
p
Let g = 33/398 - 53563/2786. Is g greater than -18?
False
Let h(p) = p**3 + 17*p**2 + 15*p - 12. Let u(i) = 4*i + 4. Let x be u(-5). Let j be h(x). Which is greater: 7 or j?
7
Let l = 13 + -15. Let p be l/(-11) + (-65)/55. Which is smaller: p or 3/10?
p
Let o be (-2)/18*6/(-13). Let h = 1070 + -1069. Which is greater: o or h?
h
Let c = 20 - 18. Suppose 65 = 5*i - r, -c*r + 38 = 4*i - 2*i. Let q be ((4 + -3)*2)/i. Is 3 at most q?
False
Suppose -20 = -2*c - 3*c. Let p(i) = i**2 + 7*i + 2. Let q be p(-7). Suppose 2*l - 5*w - 4 = 0, 0 = -2*l - q*l + 5*w + 8. Is c bigger than l?
True
Let t be (-13)/(-4) + 1/(-4). Suppose t*m - 20 + 5 = 0. Suppose -m = -y - 1. Is y at least 4?
True
Let t = -257/5 + 57. Which is smaller: 7 or t?
t
Let n = -7414 - -133501/18. Which is smaller: 3 or n?
n
Let n be 14/6*1912/14. Let i = -225 + 548. Let w = n - i. Which is smaller: w or -5?
-5
Suppose -5*i + 5 = -3*w, -2*i + 5*w - 4 = -6*i. Which is smaller: 11/21 or i?
11/21
Suppose 2*s - 3*t - 16 = -7, 2*t + 6 = 3*s. Let x(i) = i**2 + i + 10. Let c be x(s). Suppose 5*q + 5*v = 3*q + 3, -q - 6 = 5*v. Is c equal to q?
False
Let q be -4 - (-24)/6*1. Which is greater: q or -2/607?
q
Let f = 233.17 - 237. Let o = f + -0.17. Let v = -1 - o. Which is greater: v or -0.1?
v
Let q(l) = -44*l - 20. Let a be q(1). Which is greater: a or -63?
-63
Let g be (168/80 + -2)*4. Let b(m) = 6*m + 1. Let p be b(6). Let d = -71/2 + p. Is d > g?
True
Suppose -f + 3*p + 14 = -0*p, -4*f + 4*p = -40. Let c be (f/(-88))/((-9)/(-6)). Is c at least -1?
True
Suppose f + 4 = 9, -2*n - f + 3 = 0. Let c be (n + 0)*(2 - 3). Let i = 96/13 + -877/117. Are i and c equal?
False
Let q = 848/9 + -281/3. Suppose 5*g + 4 = 3*g. Let f be g*(2 - (1 + 2)). Is q not equal to f?
True
Let l = 270 + -272.07. Let t = 1.57 + l. Does t = 6?
False
Suppose -203 + 53 = 4*r - 2*t, 3*r - t = -114. Do -39 and r have the same value?
True
Let s = -1908 + 1888. Suppose 2*t - t - 2 = 0. Suppose -t*i = -4*i - 38. Which is greater: s or i?
i
Suppose j - 4*x = 159, 44*j - x = 49*j - 858. Are 171 and j equal?
True
Suppose 0 = 11*j - 0*j - 0*j. Which is smaller: 2/77 or j?
j
Let r = 2.7 + -0.7. Let m = -2.4 - -2. Let n = 0.8 + m. Is n not equal to r?
True
Let y be 18/(-1*33/3). Suppose -536*m = -538*m - 6. Which is smaller: y or m?
m
Let y(u) = -5*u**2 - u + 3. Let n be y(1). Which is bigger: n or 8?
8
Let l(m) = m**3 - 9*m**2 - 11*m + 11. Let b be l(10). Let u be b - 4 - (-88)/24. Is 10/9 > u?
True
Let u = -1530/204067 - -84109846899/21835169. Let a = -3852 + u. Let q = 725/856 + a. Are 0 and q nonequal?
True
Let s(a) = -a**3 + 6*a**2 + a - 8. Let n be s(6). Let h(t) = -t**3 - 5*t**2 + t + 1. Let d be h(-5). Is n bigger than d?
True
Let c = 0.371 + -0.346. Which is smaller: 7 or c?
c
Suppose 5*g + 0 = -d - 9, 0 = d + g + 1. Which is bigger: 12/287 or d?
d
Let c(m) = m**2 + 5*m + 6. Let n be c(-4). Suppose n*i = -i + 3. Let p = -293/4 + 73. Is p at most i?
True
Suppose -3*x - 9 = 5*i, 0*i + 4*i = x + 3. Let f be -8*(4 + i + -2). Let v = -17 - f. Is v <= -2?
False
Let q = -17 + 20. Let o be (-1)/(15/(-9) + 1). Which is bigger: q or o?
q
Suppose -t - 74 = t. Let c = -53 - t. Is -15 >= c?
True
Suppose 28*o = 25*o - 12. Let q be 31/(o/(-7 - -3)). Is q at least -1/5?
True
Let y be (-9)/15*(-5)/(-3). Which is bigger: y or 1/1618?
1/1618
Suppose 3 = -d - 6. Let o be ((-6)/d)/(-1 + (-71)/(-69)). Are 23 and o non-equal?
False
Suppose -4*c + y = -19, 2*y - 6 = -2*c - 4. Suppose z - 74 = c*p - 13, 0 = -p + 3*z - 18. Let j = p + 12. Which is smaller: -5/2 or j?
j
Suppose -3*s - 6 = 3. Let b be (((-9)/(-6))/s)/1. Which is greater: -4 or b?
b
Let l = -40/1363 + 74917/2599241. Which is greater: 0 or l?
0
Suppose 7*b - 9*b + 4*x = 46, -4*b - 53 = 5*x. Which is smaller: -26 or b?
-26
Let p(j) = -j**2 - 12*j - 25. Let u be p(-3). Which is greater: 3/5 or u?
u
Let x(t) = 5*t - 17. Let n be x(13). Suppose n = -8*j + 144. Which is greater: 13 or j?
13
Let j(t) = -2*t - 13. Let h be j(-8). Let k(s) = 2 - 4*s**2 - 4*s + 2*s**2 + 0*s + s**3. Let d be k(h). Which is bigger: d or -3/13?
-3/13
Let f = -2296 + 2302. Suppose 0 = 4*a - 14 - 14. Which is bigger: a or f?
a
Let i = -81.61 - -82. Let v = 17 - 17.19. Let k = v + i. Which is greater: 0 or k?
k
Let l = 618 - 578. Let a be 152/20*(-2 + 7). Which is smaller: l or a?
a
Let q = 872 + -872. Which is bigger: -4/13 or q?
q
Suppose -14 = -0*s - 2*s. Suppose 2*u - 4 = -2. Let x be u/(3*(-4)/(-72)). Which is smaller: s or x?
x
Let u be (-63)/(-3570)*48/9. Is -1 less than u?
True
Let h be 4/6 - (-1)/(-6). Let o = 43 - 61. Let w = o - -15. Is w smaller than h?
True
Let k = 6 + -2. Let i be (2/k)/(1/2). Let o = -571 + 10855/19. Which is smaller: o or i?
o
Let u be -2*3/2 - (-131 - 274). Is u equal to 402?
True
Let g be (-2)/(-9) + 970/9. Let b be 6/(-2) - 1914/18. Let m = g + b. Which is smaller: m or -2?
-2
Let b = 3 - 15. Suppose 15 = -2*k + 83. Suppose -k = -r - 46. Is b less than r?
False
Let a = -4 - -5. Let m = -2/361 + -281/14440. Is m at least as big as a?
False
Let d = 16 - 27. Let j = d - -22. Let g be 6/20*-12*950/(-285). Do j and g have the same value?
False
Suppose -20 = -4*o - 4. Suppose 4*r = 3*b + 40 - 14, 4*b + o*r = 12. Is b smaller than -17?
False
Let m = 684/11 + -322175/5181. Are m and 0 nonequal?
True
Let w = -5.21 + -1.79. Is w equal to 3?
False
Suppose -4*d - 4*k + 4 = 0, -4*k + 11 = 4*d - 7*d. Which is greater: 1/724 or d?
1/724
Let c(f) = -3*f + 36. Let u be c(12). Suppose u = 3*q + 6 - 3. Is 1/60 less than q?
False
Let z(p) = 2*p - 3 + 2*p - 2*p. Let i be z(2). Let o be 3/69*8/4. Is o >= i?
False
Let b(g) = 3*g**2 - 3*g - 63. Let i be b(8). Which is bigger: i or 104?
i
Let u = -0.5 - 0.8. Let z = 100 - 99. Is u less than z?
True
Let l be ((-5)/(-3))/((-16)/(-48)). Let k = -5 + 15. Suppose 0*w - 9 = -w - s, -l*s - k = 0. Which is smaller: w or 10?
10
Let d be 1/((2/4)/1). Let o be (-4 + -2)/(4/6). Let c = o + 9. Which is smaller: c or d?
c
Let u = 85 - 105. Is -21 bigger than u?
False
Let z = -11.32 - -11. Let v = z - -0.22. Let x be (-2)/(-4)*8/(-22). Which is smaller: v or x?
x
Let w = 30 - 24. Suppose -21 = 2*p + w*y - y, -y + 3 = -2*p. Is -11/6 >= p?
True
Let q be -34 - (3 + -6 + -1). Let o = 16 + q. Let l be (-5)/8*o/10. Is 1 >= l?
True
Let p = 34.8 - 46. Let v = p + 10.2. Suppose -3*u + 4*j - 21 = 0, 4*u + 18 = -0*u + 2*j. Which is bigger: u or v?
v
Let p = -28.3 + 28. Let h = p + 0.22. Which is greater: -1/2 or h?
h
Let h be -8 + 3 - 5/(-10)*6. Are -13/12 and h unequal?
True
Let u(x) = -x**3 + 7*x**2 - 17*x + 50. Let r be u(7). Let c be 4 - ((-606)/r - 4). Is -1 greater than or equal to c?
False
Let b = -58 - -41. Which is bigger: -35/2 or b?
b
Let x(f) = 6*f - 4. Let k(y) = -y + 1. Let q(l) = -3*k(l) - x(l). Let g be q(0). Does g = -2/55?
False
Let b(p) = 3 - p**3 + 1 - 4 + 5*p**2 - 8*p + 3. Let q be b(5). Which is greater: -36 or q?
-36
Let t be (-9 + -1)/((-39)/1521). Does t = 389?
False
Let z = 10.8 + -11.2. Let g = -20 + 29. Let v = g + -6. Which is greater: v or z?
v
Let j be 1/(3/(9 - -3)). Suppose 2*m = -4*x + 192, -2*x = -j*m - 42 - 34. Let o = x + -139/3. Which is greater: o or 0?
0
Let q be 860/2250*5/187. Let b = q - -4/153. Which is greater: b or -1?
b
Let u = 59093/18 - 19151/6. Let b = u + -91. Let q = -6