- 167.99. Let l = r + -1.04. Is -4 at least l?
False
Suppose 5*o = 18 + 2. Let y = o - 8. Let z be 1/1*y/5. Which is smaller: -2 or z?
-2
Let a = -0.07 - 3.93. Let q(j) = 20*j + 59. Let r be q(-3). Is r < a?
False
Let t = 2692136/51 - 52791. Let h = t - -4. Which is greater: h or 1?
1
Suppose 3*r - 9 = 4*w, 3*w + 2*w - 5*r + 15 = 0. Suppose -4*b = -2*b - w*b. Is 0 > b?
False
Let y be (2/(-4))/((-1)/12). Suppose -2*i = -2*a - 20, -4*i - a - 1 + 26 = 0. Are i and y non-equal?
True
Let h = 167 - 112. Let w = h + -54.7. Is w greater than 3/7?
False
Let w = 0 + -1. Suppose 11*h = 15*h. Do w and h have different values?
True
Suppose 12*m + 1 - 1 = 0. Is 273 at most m?
False
Suppose m - 55 = -5*s, 3*s + 2*s - 35 = 3*m. Suppose -s = 2*b - 7*b. Suppose -5*r + b*r = 0. Which is bigger: -1 or r?
r
Let u = -2382/41 + 58. Let d be 0 - (-3 + 3)/2. Which is greater: u or d?
d
Let r be ((-54)/(-12) + -5)*2. Which is smaller: r or -1/303?
r
Let t = -0.691 + 0.491. Is t != 0.9?
True
Suppose 9 = -t - 4*n, -2*n + 12 = -t - 7*n. Let b(a) = -a**2 - 45*a - 162. Let z be b(-41). Are t and z equal?
False
Let i = -326 + 230. Is -96 bigger than i?
False
Let u = 2083 + -1949. Is u less than or equal to 134?
True
Suppose 27 = 3*m + 15. Let a be 0 - m*(-21)/(-12)*2. Which is bigger: a or -2/3?
-2/3
Let f be (9/(-72) - 0)/((-542)/(-8)). Is 0 at most f?
False
Let b be 30/(-9)*21/(-14). Which is greater: -6/11 or b?
b
Let c(f) = 10*f + 2. Let i be c(0). Suppose 0 = -i*w - w. Is w less than or equal to -2.3?
False
Let r(c) = c + 4. Let h be r(-4). Let z = h + 0. Let b be 1 - 10/25 - 9/(-135). Which is greater: b or z?
b
Let b = -6370 + 6360. Let v = -16 - -10. Is b less than or equal to v?
True
Suppose -2*y + 14 = 2*i, 0 = -2*i - 3*y + 10 + 7. Suppose i*t - 10*t + 30 = 0. Suppose c = 3*n - 5, n - 4*c - 1 + 14 = 0. Is t equal to n?
False
Let u(x) = x**2 - 21*x - 100. Let f be u(25). Is -1/2 bigger than f?
False
Let h = -59.9 + 65. Let c = 2.1 - h. Which is smaller: 6 or c?
c
Let x = -36 + 75. Which is smaller: x or 1?
1
Let n = -1 - 2. Suppose -5*m - 67 = -2*x - 41, 0 = -4*m - 2*x - 10. Which is bigger: m or n?
n
Let u(q) = -q**2 + 24*q - 122. Let i be u(17). Is i less than -25/8?
False
Suppose -5*r - 103 = 4*v, -4*r = r - 4*v + 87. Let i = r + 13. Which is greater: i or 1?
1
Let u be 158/(-16) + 1/(-8). Let p be 3 - (-2 + 1 - 43/u). Let w be 1/((3 - 2) + 0). Is w at least p?
True
Let d(z) = -z**3 + 4*z**2 - 2. Let y be d(1). Let q be 5 - 8 - (-1379)/459. Let f = -503/10098 + q. Which is greater: y or f?
y
Let d = -9/62 - -339/1054. Let o be 0/(0/2 - 1). Let a be (0 - o)*2/4. Is d greater than or equal to a?
True
Let t = -0.06 - 12.94. Let q = -35.2 + 35.3. Which is bigger: q or t?
q
Let x(f) = -5*f + 4. Let u be x(8). Let y = u - -36. Which is smaller: y or 4/11?
y
Let s = -0.79 - -0.27. Let f = -0.42 - s. Let c be 80/(-6) - 2/3. Which is smaller: c or f?
c
Let i = -187 + 186. Is i > -396?
True
Let j = -480 - -480. Is j at most -0.162?
False
Let v = -5/84 - 3/28. Let x be 4 - -30 - (0 - -3). Suppose x*b - 2 = 29*b. Which is smaller: b or v?
v
Let u = -344 + 342.59. Let c = -0.21 - u. Which is smaller: 0.1 or c?
0.1
Let j be 6014/(-155) - 1/5. Is j >= -42?
True
Suppose 27 = -4*c + 6*u - u, c - 3 = -2*u. Let n be 1*-6*(-2)/(-2). Let j be ((-24)/(-36))/(4/n). Which is smaller: j or c?
c
Let z = 19108/41 + -466. Suppose 4*w - 2*w - 2 = 0. Which is greater: w or z?
w
Let u = -1.5 - -1.1. Let p = -0.3 - u. Which is smaller: 16 or p?
p
Let l be 0/((-3)/((-6)/4)). Let k be (-6 + l)*(-4)/6. Suppose -5*q - 6 = k. Is q at least as big as -1?
False
Let b(p) = p + 6. Let i be b(-6). Suppose i*x + 2*x - 5*q - 82 = 0, 0 = -4*q - 16. Which is bigger: 0 or x?
x
Let q(i) = -i + 13. Let g be q(10). Suppose 0 = k + g*l, -k - 3*l = k - 3. Suppose r = -k*d + 3, 3*r + 13 = -0*d + 2*d. Is d <= 10/3?
True
Let x = -6.1 - -26.1. Let j = x - 28. Are 0 and j nonequal?
True
Let l = 17183/679 + -177/7. Let g(y) = -y**3 - 3*y**2 - y - 4. Let c be g(-3). Which is bigger: c or l?
l
Let y(d) = d**2 + 17*d + 59. Let n be y(-12). Which is bigger: n or -12/11?
n
Suppose 0*o + 119 = -2*o - 5*j, -3*j - 15 = 0. Is -46 greater than or equal to o?
True
Let p be ((-4)/(24 + -8))/46. Which is smaller: -1 or p?
-1
Suppose 0 = 3*f - 0*f + 5*c - 745, f = c + 251. Let n be (-22)/55 + 5/(f/16). Is n less than 0?
True
Suppose 0 = r - 2*u + 7, -3*r - u = -17 + 3. Suppose -18 = -3*n - r*t - 6, 0 = 5*n + t - 4. Which is smaller: -3/8 or n?
-3/8
Suppose -4*r + 8 = 0, 0 = -2*l - r + 31 + 7. Suppose 3*p + p = 4*j, -p = 5*j + l. Suppose 0*c + 4*c + 3*u + 8 = 0, -u = 3*c + 11. Is p < c?
False
Let k = -517 - -554.9. Let n = k - 38. Which is greater: 12 or n?
12
Let o be (-6)/9 + 16/24. Let i be (3 + o + -9)/(84/8). Suppose -z = 3*z. Which is smaller: i or z?
i
Let z(f) = -f**3 - 14*f**2 - 46*f - 8. Let w be z(-8). Which is smaller: 0 or w?
w
Let v be -9*1*4/(-12). Suppose 0 = -5*n + 3*u - 50, -v*n - 11 = 2*u - 0. Let r be 4 + n - 123/(-45). Which is greater: 0 or r?
0
Let b = 12 + -3. Suppose 114*s = 111*s + b. Is 4 at least s?
True
Let n = 6.3 + -6. Let l = -0.1 + n. Let q = -16.2 + 16.3. Which is bigger: l or q?
l
Suppose -2*w - y = -w + 4, 18 = -2*w - 4*y. Let n be (0 + (-1 - w))/((-6996)/(-44)). Which is smaller: n or 0?
n
Let d be (-184)/(-28) - 8/14. Let y be 5/d - -3 - 2. Let c = 4/3 - y. Is 0 not equal to c?
True
Let b(p) = p**3 - 14*p**2 - p + 18. Let d be b(14). Let n be ((-33)/9 + d)*-3. Which is smaller: 1/10 or n?
n
Let t(w) = -w**2 - 4*w + 6. Let q be 3/(-3) - (-7 + 6). Suppose q = -3*n + n + z - 8, 3*n - 5*z = -5. Let o be t(n). Is o at most 2/9?
False
Suppose 7*k = 6*k - 18. Let j = k - -8. Let y be 5/j - (-14)/16. Is -1 less than y?
True
Let i(t) = t + 34. Let o be i(10). Let b be (-154)/o*(-4)/7. Which is bigger: 3/4 or b?
b
Let j = 18/17 - 55/68. Let c = 1547 + -12373/8. Is j less than c?
True
Suppose -z + 5*l = -3*z + 74, -3*l = 3*z - 120. Let c be (z/(-6))/((-1)/(-7)). Let u be (-4)/(-18) - c/63. Is u at most as big as 2/19?
False
Let o(c) = -2*c**2 + 2*c - 2. Let p be o(2). Let i be 0 + (-3 - p) + (-100)/(-2). Is i less than 54?
True
Let p(h) = -h**3 + 7*h**2 - 11*h + 4. Let x be p(5). Which is smaller: -3/89 or x?
x
Let j = -104 - -114. Suppose -j*w + 5*w = 105. Which is bigger: 0 or w?
0
Let m be 6/(-27) + 126/(-81)*-40. Which is smaller: 432/7 or m?
432/7
Let n = 1374 - 1658. Are -848/3 and n unequal?
True
Let l = 12 - 11.92. Let u = 0.22 + l. Suppose -4*f = 0, 5*f + 14 - 5 = 3*i. Is u less than or equal to i?
True
Suppose 0*h = 3*h - 4*s - 112, -4*h + 4*s + 148 = 0. Let n be (0 - 6)/(h/24). Let i be 0*(-1 - 6/n). Is 1/2 < i?
False
Let u = 151/3 - 52. Suppose 11*c + 316 - 283 = 0. Is u not equal to c?
True
Let a = -0.1 - 0. Let z = -11.1 + -51.9. Let d = -52 - z. Is d smaller than a?
False
Let q be 10/(-84)*(-765)/(-65). Let a = -25/14 - q. Is 0 < a?
False
Let o = -2029 - -2062. Which is bigger: 2 or o?
o
Suppose -4*b = 10*b + 42. Is -5/3 > b?
True
Let c = 1.02 + -0.96. Let f = -0.17 - c. Are -0.1 and f unequal?
True
Let k(s) = 5*s**2 + 4*s + 4. Let q(c) = 6*c**2 + 3*c + 3. Let f(p) = 7*k(p) - 6*q(p). Let y be f(14). Let j be 14/(-49) + y/(-112). Which is greater: j or 1?
1
Suppose -13*r - 1123 = -3281. Which is smaller: r or 167?
r
Suppose -5*c + 50 = 3*r - 2*r, -c + 108 = 3*r. Let j be (-18)/(-10) - (-7)/r. Is -1 bigger than j?
False
Let n = -0.8 + 1. Let w = 420 + -424. Is n at least as big as w?
True
Let w(b) = -2*b**3 + 6*b**2 + 3*b. Let f be w(3). Let y be (22/(-55))/((-1)/(-20)). Let q = f + y. Which is smaller: q or -4/9?
-4/9
Let o = 201 - 195. Is o less than or equal to 136/23?
False
Suppose -8*l = 4 - 60. Let r(g) = -g**2 + 7*g - 11. Let n be r(l). Which is smaller: n or -12?
-12
Let k = -1322/7 - -35302/189. Let h = 20/9 + k. Is 1 bigger than h?
True
Let v = -40 + 41. Let c(i) be the first derivative of -i**4/4 + i**3/3 - i + 7. Let b be c(v). Does -1 = b?
True
Suppose 0 = 11*d - 13*d + 10. Suppose 7 = q - 2. Are q and d non-equal?
True
Suppose 29 = 4*c + 5*w, -c + 2*w = 2*c + 7. Let j(k) = -k + 1. Let s be j(c). Suppose s = -3*o - 2*o + 5. Which is smaller: o or 7/4?
o
Suppose j - 2*j = -2. Suppose -3*d - 18 = -j*b + d, b - d = 4. Is b at most 29?
True
Let n(x) = -x**3 + 8*x**2 + 19*x - 2. Let