as big as l?
True
Let r = 137 - 332. Let h = 771/4 + r. Is h greater than 1?
False
Let i = 275 + -269. Which is smaller: i or 7?
i
Let t = 21 + -107/5. Let r = 163 - 116. Let n = r - 43. Which is bigger: n or t?
n
Suppose -5058 = 17*p + p. Is -279 <= p?
False
Let v(w) = w - 11. Let j be v(-5). Let d be (j/20)/(1/15). Is -12 bigger than d?
False
Suppose -5*n = -4*t - 54, 3*t - 17*n + 58 = -22*n. Suppose -2*v + 7*v = -85. Is t > v?
True
Let v = 93 + -95. Which is greater: 26 or v?
26
Suppose 0 = 2*x - 4*w + 1496, -3*x - 2939 = 4*w - 695. Let k = 306 + x. Let o = 2196/5 + k. Which is smaller: -3 or o?
-3
Let i = -238 - -237. Is -1 bigger than i?
False
Let m(f) = -f**2 + 6*f - 4. Let h be m(4). Let c = -6 - h. Let i be (-5)/9 + (-40)/(-180). Is i >= c?
True
Let z = 70.6 + -77. Let i = -6.2 - z. Which is greater: -5 or i?
i
Let k = 1752 + -1753. Is k bigger than -8/223?
False
Suppose 216 = -14*r + 2*r. Is r at least -53/3?
False
Let d be (-237)/27 - 14/63. Let c be (d/(-5))/(5/25). Let o(p) = -p**3 + 9*p**2 - p + 7. Let r be o(c). Is -3/4 smaller than r?
False
Let z = 858 + -606. Do z and 253 have the same value?
False
Suppose -4*p - 43 - 101 = 0. Is p at most as big as -36?
True
Suppose 0*v = 2*v + 338. Let a = v - -675/4. Which is bigger: 34 or a?
34
Let s = 1577/3 + -526. Which is bigger: -131.3 or s?
s
Suppose -a - k = -4*k - 17, 4*a - 40 = 5*k. Suppose -24 = 5*w - w + a*j, 0 = 4*w - 3*j - 8. Is 0.04 greater than w?
True
Let k = 155 + -162. Let d(j) = 2*j - 1. Let c be d(1). Let a be -2 + -2 + 2 + c. Is k not equal to a?
True
Let m be (-1)/2*2 + 2 + -1. Let b(p) = -4*p - 1. Let j be b(m). Which is greater: j or -22/23?
-22/23
Suppose 2*m - 4 = 0, 0 = -4*x - 5*m + 7*m + 4. Are x and -1 unequal?
True
Suppose 0 = 2*x - 17 + 3. Let f be (-8)/28 - (-132)/21 - (-2 - 0). Is x <= f?
True
Suppose -2*v - 18 + 28 = 0. Suppose -5 = -5*h - 2*j, 3 = 5*h + v*j - 2. Let n = 5 + -3. Which is smaller: n or h?
h
Let a = 6 - 7.4. Let c = a - 0.6. Let p = 0.1 + 3.9. Which is smaller: c or p?
c
Let s = -40.977 + -0.023. Let p = -41.1 - s. Is -8 at least p?
False
Suppose 3*u - 3 = 0, -2*u + 11 + 34 = m. Is m at most 45?
True
Let f(q) = 1 + 3 - 6*q - 6 - 84*q**2 + 81*q**2 - 4*q. Suppose -3*i = -k - 5*i - 4, -4*i = 0. Let b be f(k). Which is smaller: b or -11?
-11
Let x be 30432/304 - 4/38. Are 96 and x non-equal?
True
Let w = 390 + -390.3. Is -3/20 not equal to w?
True
Let g = 847 - 4233/5. Is g smaller than 62?
True
Suppose 58 = -2*y + 226. Let v = 84 - y. Are -15/16 and v nonequal?
True
Let i be (-58)/(-87) - 40/6. Let a be 2/(-12)*-122*1. Let p = a + -433/21. Which is bigger: i or p?
p
Suppose -16 + 1 = 5*j. Let v be j*((-5)/3 - -1). Suppose v*x + 10 = -0. Is -5 greater than or equal to x?
True
Let m(f) = 4*f**3 - 2*f**2 + 1. Let n be m(1). Let i = 1659 + -1655. Is n at most as big as i?
True
Let y be (-2 + 4)*2/4. Let b = 539 - 7009/13. Which is smaller: b or y?
b
Suppose 3*v - 16 = 2*v + 4*q, -3*q = -v + 11. Which is smaller: v or -7?
-7
Let n = -2047.9 + 2311. Let c = 247 - n. Let d = c + 16. Which is smaller: 2 or d?
d
Let i = 222 - 223. Which is smaller: i or -2/353?
i
Let w = -50 - -74. Suppose c - w = 5*c. Which is greater: 0 or c?
0
Let f = -16435/141 - 52/47. Let u = -115 - f. Are 2 and u equal?
False
Let t = 3073/4614 - -1/1538. Is t greater than or equal to -53?
True
Suppose 3*s - 12 = -u, u + 2*s = 7*s - 12. Suppose 10 = -u*x + 2*x. Which is bigger: -9 or x?
-9
Let b(l) = -3*l - 28. Let x(d) = 3*d + 27. Let u(k) = 6*b(k) + 5*x(k). Let q be u(-11). Which is smaller: q or 1/62?
q
Let a = 8275309/4023 - 2057. Is a less than 1?
True
Let v = -21.01 + 21. Let q = -0.11 - v. Which is smaller: q or -0.9?
-0.9
Let v = -349/354 + 9/59. Is -1 less than or equal to v?
True
Let y be -1*23*4*4/(-8). Suppose 2*x + 2*k - y = 0, -2 = 3*k + 1. Which is bigger: 23 or x?
x
Suppose 0 = -3*q + 112 - 130. Let d be (25 + -27)*(q/116)/(-3). Which is bigger: 0 or d?
0
Let s = -348 + 354. Does -9 = s?
False
Let v be 7/7 + -2344 + -1. Let l be 4/14 - v/672*3. Which is smaller: 12 or l?
l
Let d be (8/30)/(6/9). Let z be -1 + 4 - (10 + -6). Are d and z equal?
False
Suppose 12 + 3 = 3*p. Let x(s) = -s**2 + 7*s - 1. Let m be (-65)/(-9) - 8/36. Let u be x(m). Do p and u have the same value?
False
Suppose -22*l = -18*l + 4. Let r be l + (-2)/(-6) - (-152)/12. Let t = -30 + 43. Is t at most r?
False
Let k = -1.08 + 1.09. Let t = -0.89 + -0.11. Is t less than k?
True
Let j(z) = z**3 - 22*z**2 + 21*z - 2. Let r = -44 - -65. Let n be j(r). Which is greater: -3/4 or n?
-3/4
Let i = -157 - -72. Let t = i - -86. Which is smaller: 2/5 or t?
2/5
Suppose 4*c - 80 = -20. Suppose -13 = -0*v - 3*v - l, -c = -v + 5*l. Suppose 2*w - 6*w = o - 2, v*w = 5. Is -3 >= o?
False
Let g = 0 + -0.1. Let u be 1 + 0 + 2*1/2. Suppose 0 = -o + 3*k + 3, -11 = u*o - k - 2. Are o and g nonequal?
True
Suppose 5*x + 2 = 12. Suppose 13*y = 15*y + x. Let o be -2 - (0 - 1) - 0. Is y <= o?
True
Let o = -3 + 6. Let k = -8 - -10.9. Let t = -2.7 + k. Which is greater: t or o?
o
Let q(j) = -j. Let d be q(-21). Suppose -2*n + 2*c = 60, -5*n + 2*c + d = -6*n. Which is smaller: n or 0?
n
Suppose u - 7 = f, 2*f + 23 = 6*u - u. Let j be u/45*12/20. Which is smaller: j or -1?
-1
Let s(o) = -o**3 + 7*o**2 + 9*o - 8. Let b be s(8). Let d = -1 - b. Let n be ((-3)/3)/(d + 2). Is n <= 1?
True
Suppose 18*i + 70 = -128. Suppose 0*w = -2*w - 24. Are i and w equal?
False
Let x = 67 + -101. Let y = -34.01 - x. Which is greater: y or 2/21?
2/21
Let t = -0.41 - -0.68. Let m = -66.17 + 66. Let j = m + t. Which is smaller: j or -17?
-17
Let s be 5/15*(-6)/112. Suppose 19 = 2*u + 4*v + v, -u - 28 = -5*v. Let p be (u*2/(-9))/((-6)/9). Do s and p have different values?
True
Suppose -3*d - 4*d = 504. Let w = 145/2 + d. Is w smaller than 1?
True
Let k be (0/4)/(-1) - -2. Suppose 4*s - 5*i = -k*i + 11, s + 3*i = -1. Suppose -s*r - 14 = -0*r. Is -7 less than r?
False
Let t = -102556/215 - -477. Let p = -407/4945 + t. Which is smaller: p or 1?
p
Let i = 20575 + -28064297/1364. Which is smaller: -1 or i?
-1
Let t = 937/2 - 534. Let l = 940 + -1006. Is t != l?
True
Let n = 8735/14171 + -23/37. Is n less than -1?
False
Let s(u) = -7*u**3 - 2*u**2 + 2*u - 1. Let w be s(1). Let n be (-1)/(((-24)/(-60))/((-90)/(-25))). Which is smaller: w or n?
n
Suppose -2*c - 69 = -9. Which is smaller: c or -17?
c
Suppose d - 5*d + 12 = 0. Suppose m + 4*m = -3*x - 2, 0 = d*m + 3*x. Do 4 and m have the same value?
False
Let c = -12 + 7. Let n = c + -2. Let y be (n - -6) + (-2)/(-4). Which is greater: y or 0?
0
Suppose 0 = 6*m - 13*m - 8*m. Let a be 1 + (-22)/(-24) + -2. Does a = m?
False
Let m(c) = c + 51. Let t be m(-10). Do t and 127/3 have different values?
True
Suppose -w + 0*i = 4*i - 14, 41 = 2*w - 5*i. Suppose 0 = 6*s - w. Let k be 26/(-6) + (-2)/s. Is k bigger than -4?
False
Let z be (10 - -8)/(-1*2). Suppose q = 5*p + 90 + 136, 4*p + 185 = 5*q. Let r be z/p - 3/(-85). Is r <= 1?
True
Let q = -604 - -288. Which is smaller: q or 0.1?
q
Suppose -16 = 2*v + 2*v. Let h = 2 + v. Suppose 18*i - 5 = 13*i. Which is bigger: h or i?
i
Let n = 1353 - 1180. Which is greater: 1/3 or n?
n
Let h = -321 + 321. Which is smaller: h or -16?
-16
Let n = -55/4 - -37/4. Is -4 at most as big as n?
False
Suppose 0*q - 3*q = 5*g + 79, -3*g - 120 = 4*q. Do q and -33 have the same value?
True
Let m be ((-2)/(-16))/((-3)/(-18)). Suppose 3*c + 2 = -7. Let l be (-1)/(-12)*c*1. Is m < l?
False
Let n = -191/20 - -35/4. Which is greater: n or -3?
n
Let i = -42 - -59. Let h = i + -17.7. Let r = -0.5 - h. Is r < 0.1?
False
Let p = -934.8 - -934. Which is bigger: p or 16/11?
16/11
Suppose 0 = 5*g + 3*p - 1, g = 3*g + p. Let z be ((-1 + -11)/2)/g. Is z greater than 2/3?
True
Let m = -9 - -24. Let n be 17/(-5) - (-6)/m. Is n bigger than -5/3?
False
Let n = -4201/4 - -1055. Do n and 4 have the same value?
False
Let m = -734 - -780. Does m = 45?
False
Let y = 290 + -423. Which is smaller: y or -132?
y
Let g = 35 + -45. Suppose 10*k = 13*k. Let l = 1 - k. Which is bigger: l or g?
l
Let t = -0.163 - -0.09. Let w = 17.927 - t. Is w at least -0.2?
True
Suppose 303 = -g + 2*g. Suppose g = -5*q - 1077. Let m be (q/(-70) - 4)*40. Is m smaller than -2?
True
Let q = 8/299 + -467/6279. Suppose 3*o - 4*r = 10 - 5,