+ 104. Suppose 3*m = -4*t - t + 17, 0 = -5*t - 5*m + v. Which is bigger: t or 3/5?
t
Let a be (1 - 4)*(-6)/(-9). Let g(z) = z**3 - 4*z**2 - 5*z + 4. Let x be g(5). Suppose -2*m + 0 = -x. Is a >= m?
False
Let g be (0/(2 - 1))/(-1). Let j = -461/7 + 26291/399. Is g less than j?
True
Let f(s) = s**2 - s - 1. Let w be f(-1). Let v be (0/(-2) + w)/(-2). Let t = -6.38 + 7.38. Which is smaller: v or t?
v
Suppose -i - f = -4, 5*i - 5*f + 26 = -4. Let p be 1*(57/(-18) + 3). Is p smaller than i?
False
Let m = 13 - 14. Let w = m + -12. Is -13 greater than or equal to w?
True
Let h be 436/570 + 4/(-30). Is h less than 2?
True
Let w(o) = 4*o**3 - 2*o**2 - 3*o. Let s be w(-2). Is s equal to -32?
False
Let w(h) = h**2 + 3*h - 1. Let d be 3/12 + 13/(-4). Let c be w(d). Let n = c - 0. Which is bigger: -1/11 or n?
-1/11
Let s = -242/17 + 3541/238. Which is bigger: -0.1 or s?
s
Let y be (-2)/8 - 108/80. Let x = -1 + 0. Which is smaller: x or y?
y
Let r = -0.2 + 0.1. Let h = -0.61 + 0.6. Are h and r unequal?
True
Let g be -1 + 0 + 0 + 1. Let f = -15/8 + 17/8. Which is smaller: f or g?
g
Suppose 5*l - 12 = -7*l. Which is greater: l or 6/5?
6/5
Let s = 1 + 2. Suppose 2*v = -5*m + 9, 3*v - 6 = -4*m - s. Is v at least as big as -0.3?
False
Suppose 0 = 4*p - 6 - 10. Let d = -48 + 50. Which is bigger: p or d?
p
Suppose 0 = -2*p + v + 5, 0 = 3*p + 2*p - 5*v. Let s = -5 + p. Do -2/5 and s have different values?
True
Let r = -0.49 - 0.01. Is -1/3 bigger than r?
True
Let w = 11 + -9. Let j be ((-18)/(-8) + -2)*2. Is j < w?
True
Let h(r) = r + 5. Let p be h(-6). Let u = 43 - 42. Which is smaller: u or p?
p
Suppose 0*n = 4*n - 12. Suppose -4*o - 11 + n = 0. Let l be ((-2)/6)/(o/(-6)). Which is smaller: l or 1?
l
Let f = 52 + -45. Suppose -21 = -2*n - 5. Which is bigger: f or n?
n
Suppose 0 = 2*p + 3*p + p. Which is greater: p or -2/87?
p
Suppose -9 = -2*o - 7. Is o less than 3?
True
Let d be 23/(-187) - (-8)/44. Is d at most 1?
True
Let q be 36/48 - 197/(-4). Suppose 4*m = 5*l - 40, -4*m - m - q = -4*l. Is -11 not equal to m?
True
Let c = -55.9 - -59. Let b = 6 + -3. Let v = c - b. Which is bigger: v or -1?
v
Suppose 0 = -2*s + 3*s - 3. Suppose -s*j + j = -2. Let f = -0.049 + 1.049. Do f and j have the same value?
True
Let i = -0.6 + 0.8. Suppose 5 = -2*f + 1. Is i at least as big as f?
True
Let q = 17 + -13. Is 6 greater than q?
True
Let n = -451 + 14881/33. Do -1 and n have different values?
True
Let g = 1.9 + -2. Let p = -3 + 0. Let r = p - -2. Which is smaller: r or g?
r
Suppose -3*i + 13 = 5*f, -3*i + 23 = -3*f - 2*f. Let l be i/(-27) + 76/18. Let a be 3/(12/14) - 1. Is l smaller than a?
False
Let h(k) = -k + 1. Let g be h(1). Let l = -304/7 + 43. Which is smaller: g or l?
l
Suppose 3*s - 4 = 8. Suppose -p - 5 = s*p. Which is bigger: p or 1/7?
1/7
Suppose 0 = 3*j - 2*c + 12, -5 = 2*j - 4*c + 11. Is j < -2?
False
Let v be (-2)/3 - 60/(-80). Is -9 equal to v?
False
Let j = 23 + -33. Let s(p) = -p - 4. Let v be s(j). Which is smaller: v or 5?
5
Let h(z) = z**2 + 5*z - 3. Let g be h(-6). Let p be 12/g*3/4. Is 3 >= p?
True
Let x = 0.5 + -0.51. Let k = x - -4.41. Let l = k + 1.6. Which is greater: l or 2/7?
l
Suppose 4*f - 4*k = 1016, f - 4*k - 217 = 43. Let j be 4/14 - 30/f. Which is greater: 0 or j?
j
Let o = -15 + 16. Which is smaller: 3/5 or o?
3/5
Suppose 2*p - 55 = -3*p. Suppose 4 = -4*k - 4*z - 4, -4*k = 3*z + p. Is k > -5?
False
Suppose 4*b - 10 = -m, -4*b - 2*m = 6 - 18. Let o(d) = d**2 - 2*d. Let k be o(b). Suppose k = -5*p + 24 - 9. Which is bigger: 7/2 or p?
7/2
Let l = -9.96 + 10. Which is smaller: l or 0.2?
l
Let q be (0/10)/(2/1). Suppose -2*n + 3*k = -k + 14, n - 4*k + 13 = q. Which is smaller: -3 or n?
-3
Let b = -10/21 + -4/21. Let p = 0 + 0.5. Let l = p + 2.5. Does b = l?
False
Let a be 480/36 - (-4)/6. Let t = a - 30. Is -17 not equal to t?
True
Let v(x) = -3*x - 26. Let c be v(-8). Which is bigger: c or -12/17?
-12/17
Let s = -1 + 1. Suppose s*l - 3*l = 0. Let w be 5/(-45) + (-2)/(-6). Is l smaller than w?
True
Let i be ((-4)/8*4)/(-2). Suppose 3*b - 7 + i = 0. Are b and 4/5 unequal?
True
Suppose 9 = -3*g - 5*p, 19 = 7*g - 2*g - 3*p. Suppose -g*z - 2*z = 0. Which is greater: -0.02 or z?
z
Let l = -9.72 - -0.92. Let j = l + 9. Is 10 at least as big as j?
True
Let v be (-1)/(3/5) + 2. Let d = 43 - 79. Let s be 8/15*(-27)/d. Which is smaller: s or v?
v
Suppose 5*f + b = -1, 0*f - 4 = 2*f + 4*b. Let q = -178 - -2316/13. Which is greater: f or q?
q
Suppose 6 = 2*x - 0*x. Let w be (3/(-99))/(x/9). Suppose -y + 1 = -0. Which is greater: w or y?
y
Suppose -3*v = -2*v - 5. Suppose -v = -r - k, 3*r + k = 8*r + 5. Which is smaller: -8/9 or r?
-8/9
Let g be (-5)/6 - (-4)/(-24). Is g at least -2?
True
Let o be 2*1 - (4 - 5). Suppose 2*m + 25 = -2*t - t, t + 13 = -o*m. Let i be (-2)/(-6) + (-25)/3. Is i > t?
False
Let q be (-6)/4*(-84)/18. Let m = q - 6. Which is smaller: m or -1/3?
-1/3
Let f be ((-3)/4)/((-2)/(-16)). Which is greater: -2 or f?
-2
Suppose -9*c + 81 = -6*c. Suppose -2*l - l = c. Is l != -9?
False
Let l = -3.08 + 0.08. Let r = -0.09 - -0.09. Let c = r + 0.1. Do c and l have different values?
True
Let j = 36/5917 - -1/97. Which is greater: j or -1?
j
Suppose 3*m = 4*m + 32. Which is smaller: 0 or m?
m
Let s = -5 + 5. Suppose -6*b + 4*b - 4 = 3*h, -3*b - 7 = 5*h. Is b != s?
True
Suppose 5*x - 2*s - 105 = 0, -2*s = -x - s + 24. Is x not equal to 18?
True
Let t be (3/8)/(2/(-4)). Let h = 4 - 6. Which is smaller: h or t?
h
Suppose -4*r + 3*n = -9*r + 6, -r = n. Is r at most as big as 1/5?
False
Suppose 0 = 5*q + 2 - 12. Let j = 9 + -7. Suppose -j = 7*k - 5*k. Which is bigger: q or k?
q
Suppose -4*n + n - 2517 = 0. Let t = -37753/45 - n. Which is smaller: -1 or t?
-1
Let c = -0.11 - -0.01. Let n = -3 + 2.9. Let h = n + c. Which is smaller: -2 or h?
-2
Let w = 2771/22 - 126. Let n be ((-10)/(-10))/((-44)/31). Let i = n + w. Is 0.1 less than i?
False
Let x be 3/3 - (-16 + -3). Let u be (-2)/10 - (-14)/x. Which is smaller: u or 0?
0
Let f(y) = y - 6. Let o be f(5). Does 3 = o?
False
Let w = -0.04 + -2.96. Let s = -2.5 - w. Let r = 0.7 - 0.6. Is s >= r?
True
Let y be (10/(-24))/(3/(-8)). Is y > 0?
True
Let m(z) = -z**2 + 5*z + 4. Let d be m(5). Let r be d/6 - 6/9. Suppose r*q = -2*q. Are -2/7 and q unequal?
True
Let g be 60/25 + (-4)/10. Let d = -6 + 10. Does d = g?
False
Let u = 1.8 - 2.1. Which is smaller: u or -1?
-1
Suppose -2*r = -8, -20 - 8 = -4*d + 3*r. Suppose -n = 4*m - d - 17, 18 = 3*m + 3*n. Let o be ((-1)/(-2))/(0 - 2). Which is smaller: o or m?
o
Suppose 2*r = 2*b + b - 13, b - 2*r - 11 = 0. Let n = 0 - 0. Let k be n + (0/2)/2. Which is smaller: b or k?
k
Let a = 0 - -2. Let n(x) = a*x - x**3 + 3*x**2 + 4 - 2 + 3*x**2 - 4*x**2. Let b be n(3). Is b < 1?
True
Let y = 0.11 + -5.11. Let m = y - -7. Let d = 0.1 - 0.2. Which is smaller: d or m?
d
Let w be 3 + (2 - 1 - 0). Suppose -3*a + 15 = -57. Suppose 3*r + 2*p = r + 14, 4*r + 3*p = a. Which is greater: r or w?
w
Let w be (1/16)/((-3)/42). Let p = w + 3/8. Let y be (-3)/9 - 1/(-3). Which is smaller: p or y?
p
Let v be 0/(3 - 1) + -24. Is -26 less than v?
True
Let g be -7*(-3*1 + 0). Let a = -104/5 + g. Suppose 0 = -3*n - 2 + 5. Which is bigger: n or a?
n
Let g be 16/40 + (-33)/(-5). Which is greater: g or 6?
g
Let s be (2 - 82/110)/1. Let k = s + -16/11. Suppose 3*v - v = 0. Which is greater: v or k?
v
Let m(v) = v**3 - 2*v**2 - 2*v - 4. Let j be m(3). Is j smaller than -3/26?
True
Let s be (-6)/(-5)*40/6. Let z = -20 + 25. Suppose -z*x + x = s. Is x bigger than -2?
False
Let f be ((-5)/15)/(2/12). Let b = 4 + -3. Which is greater: f or b?
b
Let f = 39 + -26. Is f at most 14?
True
Let k = 2 + -2. Which is greater: 4 or k?
4
Let s be (0 - 1) + (-4 - -5) + 0. Which is greater: s or -1/74?
s
Let j(i) = i**3 + 6*i**2 - 7*i + 1. Let t be j(-7). Let y = 288/5 - 57. Is t at least as big as y?
True
Suppose 5*d = -3*y + 5*y - 10, -y + 5 = -d. Let h be (-562)/426 + 2 + d. Let x = h - 1/71. Is 2 >= x?
True
Let r = -5 - -8. Let c = 6 + -5.4. Let b = 0.5 - c. Which is bigger: b or r?
r
Let n = 1 + 0. Let z = -119 - -213/2. Let d = -12 - z. Is d less than or equal to n?
True
Let k be (-2)/8 - (-110)/88. Let g = -0.4 + 0.3. Is g at least k?
False
Let l = -0.33 - -2.23. Let p = l + -2. Let x be 30/(-45)*1/(-3). Do