. Let h be (-4 - 0/1) + (-16)/(-4). Is a greater than h?
False
Suppose 49*h - 41*h = 824. Which is greater: h or 101?
h
Let a(s) = -s**2 - 4*s + 10. Let i be a(-8). Let p be (-9)/(-2 - i/8). Let k(b) = b**3 - 11*b**2 - 13*b + 1. Let n be k(12). Is p bigger than n?
False
Let p = 1832/76337 - -217812/51222127. Let b = -3/253 + p. Is b less than 1?
True
Let p(r) = -r**2 - 18*r - 16. Let y be p(-17). Suppose -y = -3*t + 2. Let q be -1 - ((-12)/10 + -1). Is q <= t?
False
Suppose -4*x + 192 = 4*z + 3020, 4*z + 2846 = 5*x. Do z and -708 have the same value?
False
Let i be -17 + 4/(16/(-20)). Which is greater: i or -18?
-18
Suppose -2*v = 3*j - 3, -j - 1 = 4*v - 2. Let g be 2*j + (14 - 13). Let y be 14 - (g - (0 - -1)). Which is smaller: y or 11?
11
Let b be 101384/(-655785) - (-12)/78. Is b less than 0?
True
Let x(s) = -3*s**2 - 10*s + 9. Let h be x(-4). Is 1/13 < h?
True
Let g be ((-302)/102 - 0) + -4 + 7. Suppose -2*q = -2 - 0. Which is smaller: g or q?
g
Suppose 0*f + 6*f - 6 = 0. Let b = 6903/4837 + 1/691. Which is smaller: f or b?
f
Let v = 843/7 - 2165/21. Let k = -18 + v. Let a = 1.1 + -1. Do k and a have different values?
True
Suppose -5*p + 5*k = -15, 3*p + 4*k - 2 = -7. Let o = 25 - 26. Which is bigger: o or p?
p
Let q be 1/((-3)/12)*1. Let a = -6 + -9. Let u = -15 - a. Which is smaller: u or q?
q
Let n = 41/68 + 11/17. Let q = -16 - -140. Let i = q + -123. Which is smaller: i or n?
i
Suppose -171*u - 1530 = -176*u. Is u at most 305?
False
Let g = -1.47 - -1.7. Let m = -103.5 - -107.73. Let u = m - g. Which is greater: 3/2 or u?
u
Let s = -24 - -25. Which is smaller: s or -1/104?
-1/104
Let k = 140 + -10221/73. Which is smaller: k or 0?
k
Suppose x + 0*x + 4*q - 8 = 0, 3*x - q = 24. Let b be 4 - 0 - (-16 + 13). Suppose 33 = 5*w - b. Is x at least w?
True
Let d = 24904 - 26423146/1061. Which is smaller: d or 0?
d
Suppose -3*y + 2*i = 380, -199 = 2*y + 5*i + 48. Let x = y + 90. Which is bigger: 0.1 or x?
0.1
Let d = -13.6 - -13.7. Which is greater: -0.19 or d?
d
Suppose f = 3*f + 2. Let t = -1129/681 - 2/227. Is f at least as big as t?
True
Let t = 607 + -612. Is t at most as big as -84/17?
True
Let c = -295/3 - -97. Let i = -32 + 44. Suppose i = -4*n, 0 = -4*v - n + 3*n + 6. Is v equal to c?
False
Let w be -5*(-3 + (-52)/(-20)). Let q be 16/6*9/w. Suppose -3*l - 16 = 4*t - 0*l, 4*l + q = 4*t. Which is greater: t or 0?
0
Suppose 0 = -3*k + k - 10. Let y be 1*k + 3 + -1. Suppose 3*l = 3*n - 15, 12*l - 13*l = -5*n + 13. Is l less than y?
False
Let w = -1/60 - -1/120. Is 0 > w?
True
Let n(r) = -r**2 - 6*r + 3. Let b(h) = -3*h**2 - 18*h + 8. Let d(p) = 3*b(p) - 8*n(p). Let m be d(-6). Which is smaller: 1/65 or m?
m
Suppose 4*y + b = -0*b + 26, 10 = 3*y - 4*b. Let p(r) = r**2 + 12*r + 31. Let h be p(-9). Let w be ((1/(-2))/1)/(h/(-36)). Is w equal to y?
False
Let i = 2 - -8. Suppose -3*c = 3*w + i + 23, -c = 3*w + 25. Which is bigger: w or -2/5?
-2/5
Let y = 19 - 40. Let u = 0.017 + -3.017. Let w = u - y. Which is greater: -0.1 or w?
w
Let v = 1810 + -1809.65. Which is smaller: 19 or v?
v
Let h be (-2)/(-9) + 1342/198. Suppose b - 12 - h = 5*a, -1 = -3*b + a. Which is greater: b or -2/25?
-2/25
Let q = 4005858 - 248356687/62. Let h = q - 105. Is h < 0?
True
Let p = 436 - 855/2. Suppose 96 = 8*h + 24. Which is smaller: h or p?
p
Let r = 46 - 79. Let g = 48 + r. Suppose -10 = -l - 2*m, l - 3*l + g = 3*m. Is 2/51 at most l?
False
Suppose -1 = o - 2. Let z = 22983742/21 - 1094698. Let l = -234 - z. Is o <= l?
False
Suppose -a = 3*u - 2*a - 32, -u - 4*a + 15 = 0. Suppose 5*q - 2*q - 35 = -5*h, -4*q = -2*h + 40. Do h and u have the same value?
False
Let k = -496/13365 - -2/2673. Let y = k + -4/11. Let a = 0.2 + -0.1. Are a and y equal?
False
Let y = -4349/5121 + 420/569. Suppose 3*p - 5*b - 43 = 0, -p - 3*b - 4 = 5. Suppose -5*g = -p + 1. Which is greater: y or g?
g
Let y(f) = -3*f**2 + 17*f - 5. Let u be y(5). Let p = -9 + u. Let m be (-12 + 2)/(1*p). Is 2 at most as big as m?
True
Let f(p) = p**3 - 4*p**2 - p + 2. Let s be f(4). Let i be 6*4/(-42)*s. Let x = 2 - 1. Which is greater: x or i?
i
Let l(z) = 6*z**3 + 29*z**2 + z + 7. Let u be l(-5). Is -1/4 not equal to u?
True
Let q = 8/115 + 3/23. Let r = 18 - 12. Let b = -5 + r. Is q greater than or equal to b?
False
Let v be (80/28 + -2)*28/(-8). Is -4 not equal to v?
True
Let q = 198.7 + -198. Which is greater: -2/21 or q?
q
Let d(v) = v**2 - 8*v + 1. Let p be d(4). Let j = p + 9. Which is bigger: j or 2?
2
Let a be (-3 + 291/(-120))/(-10). Let i = a - 12/25. Suppose 5*x = 3*z + 5 + 7, 0 = 4*x - 12. Is z greater than i?
True
Let f(x) = x**3 - 15*x**2 + 17*x - 24. Let y be f(14). Are 136/7 and y unequal?
True
Suppose 7 - 2 = -5*s. Let x = -1 - s. Let t = -1.1 - 4.9. Which is greater: x or t?
x
Let u = 42 - 25. Suppose -3*t - t = -3*h - 9, -2*h = 5*t - u. Let s be (0 - -1)/((-16)/(-6)). Is h greater than or equal to s?
True
Let m(n) be the second derivative of -n**4/8 - 2*n**3/3 - 3*n**2/2 + 2*n. Let p(a) be the first derivative of m(a). Let t be p(2). Is t at least -11?
True
Let v = -89 + 89. Are v and 13/9 non-equal?
True
Let q be (1 + -3)*8/4 - -4. Let v = -139911/77 + 1817. Is v less than or equal to q?
True
Let x be (-4760)/986*(-2)/(-5). Is -2 at most x?
True
Suppose -4*z - 2*b = -6, b = 4*b - 3. Is -2/3315 at least z?
False
Let v(q) = -q**3 - 4*q**2 + 3*q + 5. Suppose -3*g = -5*n - 6, -4*g = -3*n + 5*n + 18. Let j be v(g). Which is bigger: j or -14?
j
Let k = 0.1 + 1.9. Let a = 328.03 - 328. Is k bigger than a?
True
Suppose -10 = -5*o + 3*f, 0 = 2*o - 0*o + 4*f - 4. Suppose 14 = s - 0. Let t = -10 + s. Which is smaller: o or t?
o
Suppose 0*w - 25 = -5*w. Suppose 0 = -2*s + w*k - 21, s - 8 - 9 = -3*k. Suppose s*m - 3*m = 0. Is -2/31 > m?
False
Let n be (2506/28*-3)/((-1)/2). Which is greater: n or 538?
538
Let r be (-4 - 0)/((-154)/(-4)). Let k = r - 2/11. Let v be 12/81*(-6)/4. Are k and v unequal?
True
Let t(a) = a + 1. Let b(k) = 1. Let m(q) = 5*b(q) + t(q). Let c be m(-7). Is -3/56 not equal to c?
True
Let l = -33 + 48. Let o = -0.449 + 0.449. Which is smaller: o or l?
o
Let m be 0 + 1368/(-7282) - (-6)/33. Which is smaller: m or 0?
m
Let c = -3304 - -3303.99. Let o(r) = -4*r + 2*r + 6 + 3*r. Let j be o(-6). Which is greater: c or j?
j
Let p(n) = -23*n + 850. Let r be p(37). Which is bigger: r or -11/31?
-11/31
Let f = -448 - -457. Which is smaller: 17 or f?
f
Let a = 97 - 113. Let h be (44/a*-3)/(3/12). Which is greater: 32 or h?
h
Suppose 2*z - 8 = 5*n, 0*z - 3*z - 3 = 0. Let h be 10/30 + n/6. Let y = -565/9 + 63. Is y smaller than h?
False
Let p be 44/6 + (-32)/24. Suppose 0 = p*l - 3*l. Let h be 1/10 - l/(-1). Does h = -1?
False
Let x(u) = -38*u**3 + u**2 - 1. Let g be x(-1). Suppose -6*b + 8*b + g = 0. Is -19 smaller than b?
False
Let o = 126 - 125. Is o at most as big as -0.071?
False
Let q = -301 - -122. Which is bigger: -178 or q?
-178
Let u = 3 - 0. Let p = 12204/7 + -1739. Which is smaller: u or p?
u
Let q = 1 + 6. Suppose d = -q - 2. Let u be (6/d)/(2/(-3)). Is u not equal to 1/17?
True
Let d = 825 + -821. Which is greater: d or -4.3?
d
Let c be ((-1)/332)/(781/568). Which is bigger: c or 0?
0
Let u be (70/(-3))/((-12)/18). Suppose -u = -4*r - 7. Suppose 5*o = 2*c + r, 0 = c + 2*o + 4 - 5. Which is smaller: c or -4/13?
c
Suppose 0*d + 540 = -2*d. Let c be (1 - -3)*(-15)/d. Which is smaller: c or -1?
-1
Let d be 24/11 - ((-525)/(-165) - 3). Is d equal to 49?
False
Suppose -164 = -4*d + 2*d. Suppose -3*t = -3*q - t + d, 0 = 4*q + t - 124. Let n be (-182)/10 + 6/q. Is -17 smaller than n?
False
Let s = -80 + 41. Let m be (-6)/s + ((-44)/(-52) - 3). Let g = 6 + -14. Is m less than or equal to g?
False
Let y be 9202/4558 + (-1)/(2/4). Which is bigger: y or -1?
y
Let g be (-4 - (-77)/21)/((-2)/(-1026)). Which is greater: 3 or g?
3
Suppose -u - 36 = -10*u. Let r = 29 - u. Is 25 less than r?
False
Let c = 149 - 149.159. Let f = 0.059 + c. Let v = -5 - -3. Do f and v have the same value?
False
Let o(h) be the third derivative of -11*h**5/12 - h**4/12 + 3*h**2 + 4*h. Let p be o(1). Does p = -0.1?
False
Suppose 0 = -4*w + z + 11, 0 = -2*w + z + z + 10. Suppose -4 = 3*t - 5*r - 12, 4*r = -4. Suppose -w = -3*k + t. Which is greater: 0 or k?
k
Let v = 18 - -11. Let u = v - 28. Which is greate