0, 1 = h. Suppose 4*c + 32 = j*y + d*y, -3*c - 13 = -y. Which is greater: -1 or c?
-1
Let u(m) = -m**2 - 7*m - 1. Let x be u(-8). Are -10 and x non-equal?
True
Suppose 16 = -3*r + 4. Is -6 less than r?
True
Let u be (-4)/(-12)*(4 - 1). Let k be 1*((u - -2) + -4). Let f = -5 - -3. Which is smaller: k or f?
f
Let m be (-103)/5 + 2/(-5). Let l = 100 + -120. Which is smaller: m or l?
m
Let a be 1*15*(-971)/8. Let i = a - -1818. Let d = i + 131/56. Do 1 and d have the same value?
False
Let m = 2.048 - -0.052. Let s = m + -0.1. Which is smaller: s or 0?
0
Suppose 0 = -5*x - 39 - 31. Let r = x - -13. Let k be (-4)/9*1/4. Which is bigger: r or k?
k
Let k be 12/(-9) - 2/(-6). Let y be (-8)/3*k/(-4). Let j be (6 - 6) + (-2)/7. Which is greater: j or y?
j
Suppose 0 = -4*q + y - 57, 5*q = 2*y - 3*y - 78. Which is bigger: q or -12?
-12
Let g be 1/(10*(-4)/(-88)). Does g = 1?
False
Let o(v) = -2*v**3 - v + 2. Let i be o(2). Let f be (-8)/18*(-8)/i. Which is smaller: f or -0.9?
-0.9
Let y be 1/(-1)*-1*1/8. Which is smaller: 0.3 or y?
y
Suppose 0 = -0*o + 5*o - 15, -8 = -5*w - o. Let k(m) = 8 - 8 - 3*m**2. Let q be k(w). Is q bigger than -2?
False
Let b = -3 - -3. Let n = 9/175 + 6448/525. Let k = n + -12. Which is bigger: b or k?
k
Suppose 0 = 4*q - 5*q + 12. Let f be -1 + (q/10 - 1). Let g(w) = -w - 1. Let o be g(1). Are f and o equal?
False
Let o = -6 + 16. Suppose v + 0*v = o. Suppose s + 5 - v = 0. Is s less than or equal to 6?
True
Let t = 0.55 - -0.05. Let y = 0.4 + t. Is 0.1 at most y?
True
Let m(s) = -s**2 + 2*s - 3. Let n(r) = r**3 - r**2 + r + 2. Let f be n(0). Let v be m(f). Which is bigger: v or -1?
-1
Let n = 950 + -48446/51. Is n greater than -1?
True
Suppose 14 = -5*f - 3*n, 4*n - 1 + 9 = -4*f. Do f and -5 have different values?
True
Let p be (0/(-4 - -2))/2. Let k = -2/53 - -59/159. Which is bigger: k or p?
k
Let h = 14 - 36. Let s = h - -15. Which is bigger: s or 0?
0
Suppose -2*g = 3*g - 40. Suppose -3*s + g = s + 4*c, 2 = -5*s + c. Which is smaller: 6/11 or s?
s
Suppose -3*h + 5 - 2 = 4*l, -2 = 5*l - 2*h. Let m(d) = -d**2 - d - 4. Let q be m(l). Does q = -4?
True
Let b = -4/165 + 1/11. Is 1 at most as big as b?
False
Let k(d) = d + 7. Let u be k(-8). Is u equal to -2/33?
False
Let w be -2 - 0 - (-10)/25*5. Is 8/3 bigger than w?
True
Suppose w = 5*w - 52. Is w <= 13?
True
Suppose -f = g - 11, -3*g = -f - g - 1. Let r = f + -8. Which is greater: r or -2?
r
Let t = -2.45 - -2.7. Which is greater: t or 1?
1
Suppose -g + 14 + 3 = -2*n, 0 = 3*n + g + 13. Let b be (-7)/(-2)*(0 - 2). Which is smaller: b or n?
b
Suppose 0 = y + 4*y - 20. Suppose -2*u = -3*u - y. Let p = u - -5. Which is smaller: 0.1 or p?
0.1
Suppose 0 = 4*x - 18 + 6. Which is smaller: 2 or x?
2
Let m(t) = t**3 - 4*t**2 + t + 4. Let c be m(3). Let u = c - -5. Suppose u*o = o. Which is bigger: o or 1/15?
1/15
Suppose -7*a = -9*a. Is 0 bigger than a?
False
Suppose 2*v - 2 = v. Which is bigger: v or 12/11?
v
Let r = -155.9 + 146. Let f = -10 - r. Are f and 0.04 nonequal?
True
Suppose -2 = -b, 3 = -3*g - b - 1. Let l be ((-2)/(-12))/(g/202). Let f = -17 - l. Which is bigger: f or -1?
f
Let b = 421/685 - 2/137. Is -1 smaller than b?
True
Let k = -7/97 + -2993/194. Let u = -15 - k. Let q(v) = -2*v**3 + v**2 + 2*v + 1. Let d be q(-1). Which is smaller: d or u?
u
Let i = -54/5 - -113/10. Is 15/4 not equal to i?
True
Let t = -9 - -3. Let l = 3 + t. Which is greater: l or -1?
-1
Let u = -4 + 2. Let a(y) = y - 4. Let o(f) = -2*f + 9. Let b(w) = -9*a(w) - 4*o(w). Let h be b(-2). Which is bigger: h or u?
h
Let x = 6/149 + 828/1639. Let g = -3 - -5. Which is smaller: g or x?
x
Let y(x) = -5*x**3 - 2*x**2 + x. Let d be y(1). Let q = -12 - d. Is 1 not equal to q?
True
Suppose 0*t - 4 = -t. Let a be t*1 + 104/(-24). Are a and -2/7 unequal?
True
Let v be (-4)/18 + (-12)/189. Let j = 13/21 + v. Is 0 smaller than j?
True
Let i(l) = l**2 - 7*l - 3. Let v be i(7). Suppose -5 = -g, 7*x - 3*g = 2*x - 25. Which is smaller: x or v?
v
Suppose 0 = -10*w + 8 + 2. Which is smaller: -1/8 or w?
-1/8
Let l = -34/477 + -8/53. Is 0 < l?
False
Let c = -1469061/922540 + 1786/965. Let v = 4176 - 998062/239. Let q = v - c. Is q <= 0?
True
Let k be (2 - 6)/(10/3). Suppose 0 = 2*o - 4*o. Is k <= o?
True
Let t = 2 + -11. Let j(x) = 2 + 0 - 10*x + 5*x. Let p be j(2). Which is smaller: p or t?
t
Let y = 14 - 25. Let w = y + 11.04. Is -1/2 less than or equal to w?
True
Let f(v) = -2*v + 1. Let m be f(-1). Suppose -7*a = -m*a. Which is smaller: 7 or a?
a
Let o = -13 - -22. Suppose -3*c = -o + 3. Let n(q) = -q**3 + 5*q**2 - 5*q + 6. Let a be n(4). Is c smaller than a?
False
Let j = -0.012 - -2.012. Let m(x) = -x + 6. Let k be m(6). Let l be (24/(-21))/(-4) + k. Is l >= j?
False
Let y = 10 + -8. Let h be y/6 - (-1)/(-3). Let p = -4 - 0. Do p and h have different values?
True
Let x = -1.05 + 2.05. Which is smaller: -36 or x?
-36
Let q be ((-48)/4)/4 - -5. Are 2 and q nonequal?
False
Let w be (-18)/(-8)*6/9. Is w less than or equal to 2?
True
Let t = -59488/7 - -995364/119. Let i = 134 + t. Which is bigger: 1 or i?
1
Let o = -788/1995 + -2/399. Suppose 2*b - 6*b = -8. Suppose b*n + 3 = 1. Is n > o?
False
Let j = 34 - 97. Let w be 2/7 + j/49. Which is bigger: 1/3 or w?
1/3
Suppose -5*m + 5 = -5. Let c be 1 + 4/((-4)/m). Let q(z) = -z**3 - 5*z**2 + 7*z + 5. Let w be q(-6). Is w bigger than c?
False
Let k = -9 - -10. Suppose w - 4 = -w. Which is smaller: k or w?
k
Let v be 63/(-14) - (-2)/4. Let m be v*2/(-104)*1. Which is smaller: m or 0?
0
Let f be 6/33 + 20/11. Suppose -2 = f*v - 6. Suppose 0 = -3*u - 0 + 9. Is v greater than or equal to u?
False
Suppose -h = r - 5*r - 18, -5*h - 3*r = 2. Suppose 0*o + h*o + 10 = 0. Is o greater than -6?
True
Let z = 170 + -169. Is z > 2/155?
True
Let u be (-1 + 2)*(-3 - -3). Is u >= 6?
False
Let m = -2 + 1. Let v = -4 + 4.05. Let n = v + -2.05. Which is smaller: m or n?
n
Suppose 3*a - 1 = 5*y, 0*a - y = -a - 1. Which is smaller: -17/4 or a?
-17/4
Let b = -6.2 + 11.1. Let z = 10 - 5. Let y = z - b. Is 0.2 at most as big as y?
False
Let u = -242 + 8472/35. Which is smaller: -1 or u?
-1
Let y(h) = h**3 - 6*h**2 - 11*h - 5. Let p be y(8). Is p smaller than 34?
False
Let w be (-1 - 1) + -6 + 0. Which is bigger: -7 or w?
-7
Let h be 2/3 + 1/(-2). Suppose y = 6*y - 5. Which is smaller: h or y?
h
Suppose 0*d + 3 = d. Let w be (2/d)/(8/12). Let a be (w + -2)*1/(-1). Is a smaller than -2/7?
False
Let s be 4/14 - 68/(-7). Let m be 10/42 - s/35. Which is greater: m or -1?
m
Let p = -15727/9 + 1750. Let w = 179/63 - p. Which is greater: w or -0.2?
w
Let f = 104 - 105. Which is bigger: -40 or f?
f
Suppose 5*j - 8 = 2. Suppose 5*h - 2 = -o - 1, -h = j*o - 2. Which is greater: o or 7/6?
7/6
Let d be (3*8/6)/2. Let k = 2 - d. Suppose 4*q + 4*w - 24 = 0, -3*w + 0*w + 20 = 4*q. Does k = q?
False
Suppose m = 3*m - 3*v + 44, -3*m + 3*v - 60 = 0. Let p = m + 26. Suppose -3*j = -j - p. Which is bigger: 4 or j?
j
Let s be 1*(-46)/(-12) + -4. Which is smaller: s or 1?
s
Suppose -5*j = 4*q + 47 + 209, -2*j + q - 92 = 0. Which is smaller: -47 or j?
j
Let g(f) = -f**3 + 4*f**2 + 2*f - 5. Let v be g(4). Suppose -v*j = -j. Is j at least -5/4?
True
Suppose l + 9 - 8 = 0. Let z = -1 + 3. Is z != l?
True
Suppose 9*d = 6*d. Which is smaller: d or 1/30?
d
Let n(q) = q**2 - 14*q - 10. Let z be n(14). Let t = z - -12. Suppose 2*r = 3*r - 1. Which is smaller: r or t?
r
Suppose n + 2*x - 15 = 27, 0 = -3*n - 3*x + 117. Let u = n + -50. Let g be 24/14 - u/49. Is g greater than -1?
True
Let a = -10.14 - -0.14. Let z = 0.03 + 0.07. Which is smaller: z or a?
a
Let g be 1*(-3)/15*-1. Suppose 2*f = 2*d, 0*f = 5*f. Which is greater: d or g?
g
Let j = -6.5 - -6.5. Does 0 = j?
True
Let r(k) = k - 3. Suppose -b - 7 = 3*g, 2*g - b - 13 = 7*g. Let o be r(g). Suppose 2*d - 3*d - 5 = 0. Is d > o?
True
Let z(b) = b**2 + 6*b + 5. Suppose 0 = -h - h - 10. Let d be z(h). Is d less than 2/9?
True
Let j = -5 + 6. Suppose 3*u = 2*q + 3*q + 25, -5*q = -4*u + 30. Is j greater than or equal to q?
True
Let v = -21 + 29. Let w be (7 + -2)*2 - (-2)/(-1). Is w greater than or equal to v?
True
Suppose -2*h = 0, 0 = -5*j - h - 8 - 7. Do j and -4 have the same value?
False
Let u be -7 - (-5 - -2) - 4. Let q(z) = 7*z**3 + z + 1. Let y be q(-1). Is y smaller tha