-6)/(-2). Suppose 5*r + 0*u + 3*u - 51 = 0, 5*r - u - 43 = 0. Is l <= r?
True
Let i = 509 + -1540/3. Is -3 less than or equal to i?
False
Suppose 4*m - 14 + 2 = 0. Suppose p = -2*p - m. Is 1 > p?
True
Suppose 0 = -j + 17 - 67. Let x be ((-8)/j)/((-10)/25). Is x <= -1?
False
Suppose -2*i - 20 = -5*z, -3*i - i = 3*z - 12. Does -2/11 = z?
False
Let q be (18/(-21))/((-8)/7). Is q at most 1?
True
Let q be (-18)/6 - 64/(-21). Is 0 smaller than q?
True
Let c(y) = 4*y**2 + 7*y + 5. Let s be c(-4). Is s < 41?
False
Let r = 0.14 - -0.76. Let l = r + -0.6. Let b = l - 1.3. Is -2 greater than or equal to b?
False
Suppose 4*b = -b. Let w be (-3)/(-132)*269 - 1. Let g = 48/11 - w. Which is smaller: b or g?
g
Suppose 0 = -4*v - 8, -3*n - 5*v - 278 = 1058. Let j = n + 10603/24. Let b = j - -7/8. Is b at least as big as 1?
False
Let s = 4.1 - 3.99. Which is greater: s or -1?
s
Let p(q) = -q. Let d be p(-5). Suppose -3*x = 2*x - d. Are x and 2/3 unequal?
True
Let u = -7.2 - 1.8. Which is smaller: u or -2?
u
Let g = 5.5 + -1.5. Is 0 bigger than g?
False
Let v be (3/4)/(6/4). Suppose 4*o - 6*l + l = 29, -2*l - 20 = -3*o. Let j = o - 4. Is v <= j?
True
Let t be (-9)/42 - (-4)/(-14). Is t >= 0?
False
Let y = -1 + 3. Suppose 3 = -y*o + 7. Is o < 3/4?
False
Let a = -1.7 + 1.5. Is -1 > a?
False
Let o be (-3)/2*(-1)/3. Let r be ((-3)/2)/(4 - 1). Which is greater: r or o?
o
Let y be (-7)/2 + 5/(-10). Let x be 15/126*y/15. Which is smaller: 1 or x?
x
Suppose -2*x + 96 = 4*i, -141 = -4*x + i + 96. Let y be x/(-252) - (-4)/14. Let w be 4/(-10) - (-6)/15. Which is greater: y or w?
y
Suppose 5*s - 4*s + 1 = 0. Do -7/26 and s have different values?
True
Let q = -1/48535 + 6290147/533885. Let j = 58/5 - q. Which is smaller: j or -2?
-2
Let f = 1 + -1.05. Let b = f + 0.25. Which is smaller: b or 0?
0
Let a(q) = -q + 8. Let w be a(9). Suppose -2 = 3*v - 5*g, 6 = -3*v - g - 8. Let y be 1*v/14*1. Do w and y have the same value?
False
Suppose -5*i = -4*k + 13, -4*i - i = -3*k + 11. Which is greater: -11/5 or i?
i
Let m = 0.78 - 0.18. Which is smaller: m or 3?
m
Let u = 0 + -1.5. Let j = -1.3 + 0.8. Let g = u + j. Are 0.1 and g equal?
False
Let j be ((-2)/7)/(36/28). Which is bigger: j or 1?
1
Suppose -v = -5*a + 9, 0 = a + a + 4*v - 8. Suppose a*u - 4 = -14. Let i = -130 + 125. Is i at most as big as u?
True
Let p = 16 - 17. Which is bigger: 3/17 or p?
3/17
Let w = -46 - -45.6. Which is greater: -6 or w?
w
Suppose 0 = 2*o + 5*o + 63. Which is greater: -8 or o?
-8
Let q = -38.182 + 0.182. Are 0 and q non-equal?
True
Let v(f) = -f - 3*f - 8 + 1 + f**2. Let c be v(5). Let x be (-1)/(-4) - (-39)/(-12). Is x != c?
True
Let o = 1.056 - 0.056. Which is bigger: 0.9 or o?
o
Let j be 4 + ((-30)/(-9))/((-8)/12). Is -5/22 not equal to j?
True
Let q(k) = k**2 + 11*k. Let u be q(-11). Which is smaller: u or 2/47?
u
Let r = 112/3 + -38. Which is smaller: r or -0.03?
r
Suppose 2*m = -m. Let r be ((-4)/(-42))/((-16)/240). Is m at most r?
False
Suppose -f - 2*f + 6 = 0. Suppose -f*u = 7 + 13. Let o be (-2)/(-4)*u/45. Which is greater: o or 0?
0
Let m be 1 + 3 + (-32)/1. Is -28 != m?
False
Suppose -w + 3 - 4 = -5*c, 0 = 4*w + 3*c - 42. Let z(i) = -i**2 - 4 + 12 - 2*i**3 + i**3 + i. Let x be z(0). Which is smaller: w or x?
x
Let j(a) = -2*a + 26. Let o(s) = -3*s + 39. Let f(b) = 7*j(b) - 5*o(b). Let c be f(13). Which is greater: 1/2 or c?
1/2
Suppose -6 - 42 = 12*g. Is g less than -17/5?
True
Let p be ((-2)/14)/(12/(-84)). Which is smaller: p or 1/16?
1/16
Let l = 3 + -3.1. Let d = 89 + -89.2. Is d < l?
True
Let f = -7/8 + 3/8. Let d(p) = -p**3 - p**2 + p - 2. Let n be d(-2). Which is bigger: f or n?
n
Let l(n) = n**2 + 3*n - 96. Let v be l(-12). Let b be (0 + 1)*3*4. Is b less than v?
False
Suppose 3*n + 132 = 141. Which is smaller: n or 25/11?
25/11
Let p be (15/6 + -2)/1. Let o = 0 + 3. Let x = -3 + o. Which is bigger: p or x?
p
Suppose b - 3*a - 2*a = 13, 5*b + 4*a + 22 = 0. Which is smaller: b or -1?
b
Let d = 5/16 - 57/80. Let b = d - 1/10. Let x = -0.3 - 0. Is x less than or equal to b?
False
Let a = 5 - 7. Let c = -47509/453 + -69/151. Let x = c + 104. Which is smaller: x or a?
a
Let s be 2 + -2 + (4 - 9). Let g(m) = 3*m + 3. Let y be g(-3). Which is greater: s or y?
s
Let b be (-3 - -3)/((-8)/4). Suppose i - 3*g + 5 + b = 0, 2*g + 2 = 0. Which is smaller: i or -7?
i
Let f = -4/13 + 21/26. Is 0.23 at most as big as f?
True
Let k be 6/(-15)*-1*25. Let x be 310/312 + k/(-15). Let m = x + -1/13. Does -1 = m?
False
Let n = 23 - 22. Which is greater: 2/49 or n?
n
Suppose -76 = h + 2*f + 2*f, f = 2*h + 134. Are h and -70 non-equal?
True
Let h = 358 - 3232/9. Let o(w) = -6*w + 137. Let y be o(23). Is y less than or equal to h?
False
Suppose 0 = 2*y + 5*g + 260, -2*g - 3 = 5. Let n be y/(-28) - (-4)/(-14). Suppose 2*i + n = 0, -3*o - 2*i - 3*i - 13 = 0. Which is greater: 0 or o?
0
Let k = -0.8 + 4.8. Is k less than or equal to -1?
False
Let v = 18 + -23. Is -38/7 smaller than v?
True
Let g(i) = i**3 + 8*i**2 + 9*i - 3. Let t be g(-7). Is t at least as big as -16?
False
Let l = 15 + -6. Do 9 and l have the same value?
True
Let y be (2/(-3))/((-50)/(-6)). Which is bigger: 3 or y?
3
Let x = 3043/21 + -145. Let g = 3 + -2. Which is greater: g or x?
g
Let x = 11 + -8. Let c be x/(-1*3)*2. Is c greater than or equal to -3?
True
Let d = 1 + -0.9. Let s be 6/15 - (-17)/(-5). Which is bigger: d or s?
d
Suppose -5*v + 1871 = -k, 2*k + k = -2*v + 762. Let p = v + -2243/6. Is 1 > p?
False
Let n be (-3)/(-5) + 282/(-570). Which is smaller: n or 1?
n
Let z(n) = -2*n**2 + 5*n - 4. Let u be z(2). Let w(x) = -x**2 + 7*x - 1. Let b be w(7). Is b != u?
True
Let z be (-69)/15 + (-4)/10. Let l = 6 + z. Suppose 2*u = -k - 10, 5*k - u + 0*u - 5 = 0. Is k < l?
True
Let v = -102 - -101. Which is smaller: v or -2/79?
v
Let t = 6 + -11. Let o = 1 - t. Let n = o - 6. Are n and 1/3 non-equal?
True
Let d = -45/148 - -2/37. Is -5/6 bigger than d?
False
Let t = -141/80 - -17/10. Are 1 and t nonequal?
True
Let u(a) = -a**2 + 9*a - 3. Let o = 15 - 7. Let q be u(o). Suppose -p - 4*p = q. Is p < -1?
False
Suppose k - 3*h + 3 = 21, 5 = -h. Suppose 2*x + k*i - 13 = 0, 30 = -4*x - x + 5*i. Is 2/9 at most x?
False
Let n(w) = -3*w. Let f be n(0). Are -2/115 and f non-equal?
True
Suppose -3*h = 2*s - 7, -9 - 56 = -5*s + 2*h. Is s not equal to 13?
True
Suppose -5*v - 40 = -0*v. Let m be (-1)/4 - 4/v. Which is greater: 0 or m?
m
Let v be 2/(-4)*(2 - 2). Let b be 56/(-1)*2/(-4). Let r = b - 250/9. Is v > r?
False
Let t = -5 - -6. Let w be (-2)/(-5) + 2/70. Is t at most w?
False
Suppose 0 = 4*k - 5*c + 12, -3*c = -k + 3*k + 6. Let o be -3*k/27 - 1. Are o and -2 equal?
False
Let b = -1717 + 39477/23. Let h be 2/1 - (-650)/(-368). Let x = b + h. Which is smaller: -1 or x?
-1
Suppose -3*t = -2 - 4. Let i be 3 - (0 - t)*-1. Let v be (-3)/((-66)/4) + 0. Is v at least as big as i?
False
Let m = 3752/117 + -290/9. Let d(x) = x**2 + 3*x + 2. Let p be d(-2). Is p equal to m?
False
Suppose -5*l + 4*l + 1 = 0. Suppose -2*n + l - 3 = 0. Is n greater than or equal to -6/17?
False
Let v be 6/24 + 35/4. Which is greater: v or 4?
v
Let a = 2 + 8. Let y = a - 11. Let x be (-2)/(-2)*(-1)/2. Is x at most as big as y?
False
Suppose 4*q - s = 15, 0*q - 3*s = -2*q + 5. Suppose 0 = l + 2*t - 4, 0*l + q*t = -5*l + 26. Let d = 5 - l. Which is smaller: d or -2/9?
d
Suppose 2*b - 21 = -b. Let i = -8 + b. Which is bigger: -4 or i?
i
Suppose -3*c - m = -0*m - 7, -4*c - m = -8. Is -1/75 greater than or equal to c?
False
Let t = 136 - 130. Let o = 0 - 0.1. Which is smaller: o or t?
o
Suppose 5*f + 2 = 3*n, 4*n - n - 4 = 4*f. Let g = 1 - f. Let c be 0/2*(0 - 1). Are g and c non-equal?
True
Let f be 6/27 + 5/18. Let m(x) = x**3 + x**2 - x + 2. Let j be m(-2). Suppose j*s = s. Is s less than or equal to f?
True
Let o = -4 - -2. Suppose 7*v - 12 = 4*v. Let d be 0 + 0 - v/12. Are d and o equal?
False
Suppose 4*g = -4 - 4, -14 = -3*i + 4*g. Suppose 0 = 5*z + a - 16, -2*z + 7*a - 4*a = -3. Are z and i nonequal?
True
Suppose -7 = -0*h + h. Which is greater: h or -6?
-6
Let s = 0 + -1. Let i = 1 + s. Let o = -35/11 + 61/33. Which is greater: i or o?
i
Let k = 7 + 3. Let f be ((-8)/k)/((-4)/10). Suppose f*v - 2 + 0 = 0. Which is smaller: 2 or v?
v
Let i = -3866/11 + 352. Let x(g) =