uppose -b = -3*d - 0*d. Does 1 = d?
True
Let w = 81 + -404/5. Which is bigger: w or -1?
w
Suppose 0 = -0*t - 3*t - 9. Let m be (1 - -1)/(1 + t). Let k be -1 - (-1 + (m - 0)). Is k bigger than 4/7?
True
Suppose 3*v + 24 = -v. Let a be 224/(-42) - 1/(3/(-1)). Which is smaller: v or a?
v
Let t(i) = -i + 10. Let o be t(9). Let f be (-3 - 2)*97/(-3). Let h = 163 - f. Which is smaller: o or h?
o
Let j = 21 + -24. Is -4 > j?
False
Let o be (0 + -3)/((-9)/(-45)). Let j be 1/5 + 18/o. Which is bigger: j or 2/7?
2/7
Let v = 1.8 - 8.8. Let h = -12 - v. Which is greater: h or 2/3?
2/3
Let a(j) = j - 15. Let y be a(15). Which is bigger: y or -2?
y
Let i be 1*((-2 - -3) + 3). Suppose z + o = i*z - 10, 2 = 5*z + 2*o. Let b be z*(-1 - -4)/(-6). Is -2/9 >= b?
True
Let k = -1 + 0.92. Let d = 0.08 + k. Which is bigger: d or 3/7?
3/7
Suppose c + 4*c = 2*v + 15, -9 = -3*v - 3*c. Let m(p) = p**3 + p**2 - p. Let y be m(0). Suppose -x + 1 = -y*x. Which is smaller: x or v?
v
Let y = -5.3 + 15.7. Let v = -10 + y. Which is smaller: v or 2/3?
v
Let s(t) = -3*t - 3. Let r be s(4). Let u be (-5)/r - (-58)/6. Let j = u + -9. Is -2/11 bigger than j?
False
Suppose -5*i = -3*i. Suppose i = 5*q - 4*q - 1. Is 1 < q?
False
Suppose 0 = -6*v + 27 + 21. Which is bigger: v or 11?
11
Let b = 2990/21 + -376/7. Let s = -90 + b. Does -2 = s?
False
Suppose 0 = -2*x + 15*x - 559. Which is smaller: 44 or x?
x
Let z = -0.85 + 0.8. Let w = 4.95 - z. Suppose -o - 4 = -0*u + u, o - 5*u = 14. Which is smaller: w or o?
o
Let s(o) = o - 1. Let l be s(3). Which is greater: l or 5?
5
Let s be 11/3 - -3 - 4/6. Is s at most as big as -6?
False
Let i be ((-1)/(-10))/((-432)/40). Let w = -121/54 + i. Is -2 smaller than w?
False
Let g = -9.3 - -9. Let z = 0.1 + 0.1. Let q = z + g. Which is smaller: q or -1?
-1
Let i = -108 + 56. Let b be (-2)/(-3)*i/50. Let t = -2/75 - b. Is 1 >= t?
True
Let m be ((-2)/6)/((-2)/6). Suppose -r + 1 = -p - m, 6 = -2*p. Let j = -1 + r. Does j = -2/7?
False
Let a = 14724/17 - 867. Let z = -41/85 - a. Are -1/4 and z unequal?
True
Let v be 18*3*(-4)/(-24). Is 7 smaller than v?
True
Let u(j) = j - 3. Let x be (1 - 7)/(-3 - -1). Let g be u(x). Let z = -2 + g. Which is smaller: -3 or z?
-3
Let i = 8 - 4. Suppose 5*r - 25 = 5*a, 2*a + 2*a + 5*r = 25. Suppose a = -u - i + 5. Which is smaller: -2/17 or u?
-2/17
Let w = 4/55 - -29/55. Let o = 72/155 - 2/31. Which is smaller: w or o?
o
Let t = -66 + 67.1. Are t and 0 non-equal?
True
Let f = -90/17 + 562/119. Let d be (1 - 1) + (-12)/4. Let i be 4/12 - (-4)/d. Is i < f?
True
Let x be (-5)/((21/(-12))/(-7)). Which is smaller: x or -21?
-21
Let k = 14 + -29. Is -9 at most k?
False
Suppose 259*j = 255*j. Which is smaller: j or -4/67?
-4/67
Let i = 22 + -52. Is i greater than or equal to -30?
True
Suppose 6*g = -3*g - 9. Let k = 1751/183 - -6/61. Let y = k + -28/3. Is y bigger than g?
True
Let g = -4 - -2. Let v be (10/(-8))/(g/8). Suppose v*b = -0*b + 10. Which is smaller: b or 0?
0
Suppose -2*c - 4 = 0, 2*d = -0*d - 2*c - 16. Let v = d - -8. Which is bigger: v or 1/2?
v
Let r = -1 - -4. Suppose -r*p = -7*p - 4. Which is greater: p or -6?
p
Let w be 1/3 + (-2)/(-12). Let j be ((-1)/1)/((-7)/14). Is w greater than j?
False
Suppose 0 = 5*z + 5 + 35. Let u(r) = r**2 + 10*r. Let a be u(z). Let f = 97/6 + a. Is 0 smaller than f?
True
Suppose 0 = i + 2*i, 76 = -4*g + 3*i. Let n = g - -7. Which is bigger: n or -11?
-11
Let z = -7026 + 365377/52. Let o = 3/13 - z. Are -3 and o non-equal?
True
Let r be ((-2378)/(-42))/((-2)/132). Let l = -3793 - r. Let m = -56 - l. Are m and 0 equal?
False
Let o be 1*(3 - 2) - 114/117. Is o bigger than 1?
False
Suppose -27 = -m + 7. Let t be m/(-14) - (2 + -3). Let n = 78 - 80. Is t at most as big as n?
False
Let o = 7 + 9. Is o >= 16?
True
Let b be (-4)/14 + 44/105. Let q(r) = r**2 - 6*r - r + 4*r**2 - 6*r**2. Let x be q(-7). Is x at least as big as b?
False
Let q = 113/30 - 23/5. Is 1 >= q?
True
Let h = -2.3 - 0.2. Let b = -2 - h. Let r = b - 0.4. Which is smaller: r or 1?
r
Suppose 5*k - 2*k = -174. Let i = -233/4 - k. Are 1/9 and i non-equal?
True
Let t(v) = v**2 + 6*v + 5. Let y = 7 + -12. Let j be t(y). Suppose 4*s + 0*s = -3*o - 15, j = -2*s + o + 5. Is -1/13 greater than s?
False
Let u be 0 - -2 - 0/4. Let d = 0 + u. Which is greater: 3 or d?
3
Let h(n) = n**3 - 4*n**2 - 5. Let z be h(4). Is -2 bigger than z?
True
Let c = 4 - 4.4. Let v = c - -0.5. Is 3 equal to v?
False
Let j = 152 - 96. Suppose 0 = 4*o - 5*g - j, -4*g - g = 2*o + 2. Does 8 = o?
False
Let r = 22/13 - 115/91. Is r <= 0?
False
Let r = 92 + -1287/14. Suppose -4*u = -0*u. Is r greater than or equal to u?
True
Let h be (1 - 18/(-4))*-2. Is h > -11?
False
Let n = -1.99 + -0.01. Let d = -1 - n. Let l = 5 - d. Which is smaller: -0.1 or l?
-0.1
Let i(t) = -t**2 - t + 4. Let f be i(0). Suppose -5*w + 1 = -f. Which is greater: w or 0?
w
Suppose 0 = 2*y + 2*y - 8. Which is bigger: y or 5/4?
y
Let q(b) = 2 - b**2 + 2*b**3 - b**3 + b**2 + 2*b**2. Suppose 3*f + 5*u = -26, 0 = -2*f - 3*u + 7 - 23. Let c be q(f). Which is smaller: 1 or c?
1
Let v be (-10)/6 - (-6)/9. Let h(j) = j - 4. Let y be h(5). Let m = y + v. Is -2/5 >= m?
False
Let t be ((-4)/(4/(-2)))/(-9). Let d = 1 + -1. Suppose d = -5*m - 3*q - 8, 2*q = q - 1. Which is smaller: t or m?
m
Suppose -l + 2 = 5*x - 5, -4*x = -4. Suppose l*c = 6*c. Let m be 16/(-12) - 12/(-8). Is m > c?
True
Let h = 1.2 - -0.6. Let q = -1.9 + h. Let c = -4 + 6. Which is bigger: c or q?
c
Suppose 5*m - 4*g = -51 - 32, 5*g = 3*m + 42. Let y = -39/2 - m. Which is bigger: -2 or y?
y
Let q = -1836/5 - -6728/15. Let h = -82 + q. Let y be -1*2 + (-112)/(-42). Is h equal to y?
False
Let j(t) = t**3 + t**2 + t. Suppose -2*w = -3*w. Let g be j(w). Is 0 > g?
False
Let d = 2 - 1. Let k be (1 - d)/(5/(-5)). Let h = -2 - -2. Are h and k unequal?
False
Let v = 33 + -30. Is 3 less than v?
False
Suppose 3*k - d - 57 = -0*k, -63 = -4*k - 3*d. Suppose 7 = -a - p + 1, 4*a + 2*p + k = 0. Do -2 and a have different values?
True
Let d(l) = 2*l**3 + 2*l**2 - l. Let n be d(1). Which is smaller: 2 or n?
2
Let p = 0 - -2. Let u be 4/(-6)*p/(-4). Which is bigger: 0 or u?
u
Suppose -4*n = -n. Suppose 2*i = -0*i + 12. Let d be -5 + i + (-1)/1. Is d < n?
False
Let d be ((-1)/77)/((-2)/(-4)). Let k = -81/154 - d. Suppose 2*w - 3 = 3*y, 0*y - 2*w - 1 = y. Do k and y have the same value?
False
Let r = 9.2 + -9. Which is bigger: r or -2?
r
Let v = -0.89 - 0.11. Let w = -0.8 + 1.1. Which is smaller: v or w?
v
Let d = -239/56 - -33/8. Let v(j) = 3*j**2 + 2*j + 1. Let y be v(-1). Suppose -5*n - 7 = -y. Do d and n have the same value?
False
Let m = 3.04 + -3. Let y = m + -0.34. Which is greater: y or -1?
y
Let h = 0.3 - 3.3. Let f be (40/15)/(-3 - 14/(-6)). Is f >= h?
False
Let h be ((-6)/5)/(492/80 - 6). Which is smaller: h or -6?
h
Let k be (413/(-84) + 5)*(-102)/(-2). Is k at most 3?
False
Let c = -32/91 - -6/91. Suppose -2*a - s + 1 = 0, 4*a = a - 5*s - 2. Is c at most as big as a?
True
Let b(a) = 2*a**2 + a + 4. Let s(o) = o**2 + o + 2. Let y(r) = 2*b(r) - 5*s(r). Let m be y(-2). Is -2 equal to m?
False
Let r = 5733 - 28356/5. Let s = r + -62. Which is greater: s or 1?
1
Let v be 2/(-21) + 2/3. Suppose 5*p - 4 = 3*d + 5, 0 = -d + 5*p - 13. Which is greater: d or v?
d
Suppose g + 7 = 8. Which is smaller: 4 or g?
g
Let c(q) = q**3 - 4*q**2 + q - 2. Let l be c(4). Let v be l*(-1)/(-2)*9. Suppose -3*x + 4*t = -v, -x - 10 = -3*x + 4*t. Is x bigger than -2/7?
False
Let b be (-2)/(-14)*7/3. Which is smaller: b or 0?
0
Let r(b) = b**2 + b + 5. Let u be r(0). Suppose -4*h - 2*c = -22, 4*c + 3 = u*c. Which is smaller: h or 5?
h
Suppose -4*x + 4 = -7*x + 4*r, -x = -3*r + 3. Is x at least 4/7?
False
Suppose -h = -0 - 8. Let j be h/(-30) - (-2)/(-5). Is j <= -2/19?
True
Let a = 19/91 - -1/13. Do -0.2 and a have the same value?
False
Let c(i) = 2*i - 9. Let y be c(8). Suppose y*k - 2*k = 15. Let o = -1 - -1.1. Is k less than or equal to o?
False
Let n be (-12)/42 + 10/(-168)*26. Is -3 > n?
False
Let w be (-4)/(-8)*3 - (1 - 0). Is -0.15 greater than or equal to w?
False
Let u be 10/(-55) + (-3)/(-561). Is u less than -1?
False
Let g(h) = -13*h**2 + 1. Let v be g(1). Let b be (825/v)/(14/(-16)). Let u = -78 + b. Which is smaller: 1 or u?
u
Let s be (-12)/(-24) + 