 0 = u*a + 6. Suppose -3*g - i + 6 = 0, -3*g - g + t*i - 5 = 0. Is 0 >= g?
False
Let i be (-4)/(-6)*(-3 + -2 - -26). Suppose 4*k - 3*z - 11 = 0, -k + 0*k + 3*z = -i. Which is smaller: 0 or k?
k
Let t be (-5)/(-3 + 4*(-62)/(-84)). Is t < 106?
True
Suppose -12*k = -9*k + 3. Is k != -13/9?
True
Let x = 268 + -259. Do x and 9 have different values?
False
Suppose 2*h - 144 = -4*q, 5*h = 3*q + 6*h - 106. Is q < 33?
False
Let n = -5715 - -85711/15. Let p = 1 + -2. Which is greater: n or p?
n
Suppose 6*l = -2*l + 16. Suppose 4 = 2*s - o - 5, l*s = -o + 7. Suppose k + 3 = s*k. Is -1/9 at least k?
False
Let t be 0/((-16)/2 - -5). Let b be -3*(-5)/((-160)/(-12)). Is t not equal to b?
True
Suppose -10*p = -0*p. Do 1/99 and p have the same value?
False
Let a = -99 - -104. Suppose -r + 3*r - 4 = 0, a*w - 2 = -r. Which is bigger: -1 or w?
w
Let i = 17839819/2049162 + -2057/2874. Let w = i + -186/23. Let v be (-9)/(-12) - (-2)/8. Which is bigger: v or w?
v
Let n = 843.951 - 844. Is n bigger than 3?
False
Let i = -98 - -196. Suppose i = -2*b - q, 4*b - q + 176 = 2*q. Is b >= -47?
True
Suppose -9*r = 8*r + 867. Which is greater: -48 or r?
-48
Let h(y) = y**3 - 7*y**2 + 6*y - 1. Let i be h(6). Let o = 20180/21 + -961. Is i greater than or equal to o?
False
Let u = -14 + 22. Let a = u + -3. Suppose -d = -1 - 4. Is d >= a?
True
Suppose m + c + 4 = -4*m, 4 = -c. Suppose m*w - 3*w - 2*w = 0. Are 7 and w equal?
False
Suppose -i + 106 - 8 = 0. Let c = -83 + i. Which is smaller: 14 or c?
14
Suppose 0 = -33*n + 37*n + d - 321, 3*d = n - 90. Which is bigger: n or 87?
87
Let l = 0.172 - -0.038. Let h = -0.51 + l. Which is smaller: -2/15 or h?
h
Suppose 43 = -4*o - r, o - 5*r - 8 + 3 = 0. Let u be (4/o)/((-39)/15). Let n be (3 - (0 - -3))/2. Is u >= n?
True
Suppose 8*o = 56*o + 144. Which is greater: o or -4?
o
Suppose -606 + 3261 = 9*k. Are 295 and k non-equal?
False
Let l(a) = -5*a - 16. Let f be l(-3). Which is bigger: -20 or f?
f
Let r be (-1*2 + (-2)/8)*-16. Let c be ((-2)/3)/(8/r). Which is smaller: c or -15/7?
c
Suppose -6*b = -1112 - 1786. Are b and 484 equal?
False
Let k(u) = -u**2 + 10*u - 4. Let w be k(6). Suppose -3*b + 2*n + 57 = 0, -2*b - 4*n + 38 = -5*n. Which is smaller: b or w?
b
Let i = 141 + -115. Let g = i + -26. Which is greater: -1/6 or g?
g
Let k = -61 + -3. Let c = k - -63. Is -1/104 less than or equal to c?
False
Let y = -3613/53019 + -2/1233. Is 1.8 equal to y?
False
Let i = 654 - 688. Is -28 equal to i?
False
Let k be ((-5)/(-25 + -5))/(-1). Are k and 1/14 equal?
False
Let o = -111.5 + 140.38. Let n = 29 - o. Let i = 0.22 - n. Which is bigger: i or -3/5?
i
Let j = -885 + 886. Which is bigger: 0.0543 or j?
j
Suppose 4*q = -4*g + 44, 7 = 2*q + 4*g - 5*g. Which is smaller: q or 90?
q
Let g = 0.1 + 0.1. Let i be (-10)/597*1107/(-36). Let y = 3/199 - i. Which is smaller: g or y?
y
Let b = 101 - 31. Is b bigger than 70?
False
Let t be ((-3)/(-9)*6)/(3/(-96)). Let y be t/(-5) - 13/(-65). Which is smaller: y or 2/5?
2/5
Let n = 1.5371 - 0.0371. Which is smaller: -3/4 or n?
-3/4
Let n be (-1)/(4/6)*((-1104)/(-72) - 16). Let r = -3631/864 + 116/27. Which is smaller: r or n?
r
Suppose 4*j - 24 = -8*s + 4*s, -4*j + 5*s + 42 = 0. Suppose 5*h - 2*a + j = -0*h, -13 = 4*h + 5*a. Which is bigger: h or -5?
h
Suppose 0 = u + 6*u + 28. Suppose 16 - 1 = o. Let y be (u + 0)*o/(-20). Which is bigger: y or 4?
4
Let z = 3 + -5. Let i = 502 - 501. Which is smaller: i or z?
z
Let y(o) be the third derivative of o**4/12 - 2*o**3/3 - 17*o**2. Let u be y(5). Is 6 less than u?
False
Let c(s) = 7*s**2 + s - 4. Let x be c(-2). Suppose 4*h + 3*o - x + 9 = 0, 3*o - 9 = 0. Is h smaller than -27?
False
Suppose 0 = -8*f + 7*f + 5. Suppose 0 = 5*h + 5 + f. Let i = 8.5 - -0.5. Which is smaller: h or i?
h
Suppose 15 - 35 = 4*y. Let d be y/(-25)*(-5)/((-10)/(-4)). Let b = -0.29 - 16.71. Which is greater: b or d?
d
Let y(l) = 1. Let j(m) = -m + 6. Let o(w) = j(w) + 6*y(w). Let c be o(12). Is 1/6 less than c?
False
Let q = 3.01 - -0.49. Let w = q + -8.5. Do -3/5 and w have different values?
True
Let o = -6079/1282459 - -3/2141. Which is bigger: -1 or o?
o
Let d = 21 + -24. Let r(h) = -3*h. Let x be r(-4). Suppose -5*m + m - x = 0. Is m != d?
False
Suppose 3*m = g - 16, -9*g + 15 = -2*m - 4*g. Let f = 10092 + -131259/13. Let r = f - 32/39. Is m at least r?
True
Suppose s = -0*s + 3*b, 0 = 2*s + 4*b - 10. Let r = 17 - 17.3. Which is smaller: s or r?
r
Let z(w) = 3*w**3 - 5*w**2 + 2*w**3 + 11 - 6*w**3 - 10*w - 4*w**2. Let f be z(-8). Which is greater: 25 or f?
f
Let q(x) = -10*x**2 - x. Let b be q(1). Let o be 1 + -3 + -13 + 3. Let g = b - o. Is -0.1 at least as big as g?
False
Suppose 2*s - a + 0*a = 4, 3*s = 3*a. Suppose -7*t = s + 87. Which is bigger: -1 or t?
-1
Let g = -458.8 - -372. Let j = 87 + g. Which is smaller: 22 or j?
j
Suppose 935 + 2263 = -13*a. Which is bigger: a or -3?
-3
Let b = -4107/7 - -587. Let c = -0.4 + 0.9. Let y = c - -0.1. Do y and b have the same value?
False
Let u = 845/7 - 121. Does u = -440?
False
Let z be (32/(-40))/(1/10). Let f be 8 + z - (1 + 0). Let i(r) = r**2 - 6*r + 3. Let s be i(6). Which is greater: f or s?
s
Let t = 255/8 - 1281/40. Let y = 132 + -658/5. Let i = y + t. Which is smaller: i or -2/13?
-2/13
Let z = 4/2077 + 8160/76849. Is 1 greater than or equal to z?
True
Let t = 99 - 79. Let j = 147.9 + -168. Let a = t + j. Which is greater: a or 13?
13
Let z = -62 - -559/9. Let h = 11/63 + z. Is 15/8 greater than h?
True
Let n be -4*2 - (-32676)/(-294). Is -120 greater than or equal to n?
False
Let y(m) = -m**3 + 7*m**2 - 10*m + 14. Let k be y(6). Let z be 2/(-28)*35/k. Do 0 and z have the same value?
False
Let d = 12 - 6. Let k be (11/11)/((-1)/(-5)). Let q be (-2)/(-4)*-4 + k. Which is smaller: d or q?
q
Let a(l) = -l**3 + 7*l**2 + 29*l - 38. Let h be a(10). Which is smaller: -55 or h?
-55
Let h be 5/(-4)*(3 - 19). Let m be -5*(3 - 52/h). Is m at most 0.04?
True
Let l be 9 - (3 - 0) - 6. Which is bigger: l or 6/5?
6/5
Suppose -15*f + 43*f = -36*f. Let i = 1.1 + 0. Is i < f?
False
Let h = -350 - -12252/35. Let w = 314 + -315. Which is bigger: w or h?
h
Let v = 58 - 48.2. Let k = v + -9. Let d = 0.3 - k. Are 0 and d non-equal?
True
Suppose 4*o = 16, o = -3*r + 6 + 7. Let l be 19 + -2 + r + -3. Let y = 18 - l. Which is smaller: 3/16 or y?
3/16
Let x = -797 - -802. Is -190 >= x?
False
Let g be 1 + -3 - 658/(-332). Let z = -2148216715/20453739966 + -4/5357187. Let f = z - g. Is f greater than -1?
True
Suppose -16*t + 12*t = 16. Let j be ((-12)/t)/3*0. Let c = 85 + -1612/19. Is j equal to c?
False
Let p = -4 + -1. Let o(q) = q**2 + 4*q - 3. Let r be o(p). Let z = r + 0. Is 2 greater than or equal to z?
True
Let p = -557 - -788. Let v be 4/(-4)*7/(p/6). Let f = 0 - 1. Which is greater: f or v?
v
Let x(b) = 2*b**3 + 3*b**2 + b - 1. Let s be x(-2). Let t(o) = -o**3 - 6*o**2 - 8*o - 22. Let n be t(-5). Do s and n have the same value?
True
Let g be 5*(3 - 2 - -1). Let a = g - 16. Let t = 16 - 22. Is a at most t?
True
Suppose 2*b + 4*q - 2 - 6 = 0, -4*q = -4*b + 16. Let i = -440 + 262. Let v = 180 + i. Do b and v have the same value?
False
Let z = 2.1283 - 2.1. Is -1 at least as big as z?
False
Let y = -8 + 7.8. Let s = -0.61 - -13.61. Let d = s - 13. Which is smaller: y or d?
y
Suppose -5*x + 4*h = 0, -h = 4*x - 0 - 21. Let f be 1 - (x + 3908/(-1300)). Is f at least -1?
True
Suppose 2*u - 4 + 2 = 0. Let v be 8/(-12)*(-3)/u. Suppose -4*s + v = -6*s. Is 2/9 >= s?
True
Let w = 0.15 - -0.57. Is -0.3 <= w?
True
Let w = 455082 + -133793915/294. Let r = w - -1/98. Suppose 14 = -3*d + 17. Is d at most r?
False
Suppose -f + 4*c - 1 = 15, 2*f + 58 = -5*c. Let k = -23 - f. Which is greater: 4/9 or k?
k
Suppose -2*i + 3*y = -1, 2*i + 3*i + 4*y + 9 = 0. Suppose -p = -2*p - 40. Let t be ((-15)/p)/(9/(-6)). Which is bigger: i or t?
t
Let w = 10 - 4. Suppose 0 = -h + 2*q - w - 5, 0 = 4*h + 3*q + 88. Which is bigger: h or -18?
-18
Let i = -9.37 + -12.84. Let l = -22 - i. Let n = 3.21 - l. Is n less than or equal to 0?
False
Let w be (8 - (-66)/(-8))/(2/8). Let h be (0 + 0)/(0 + w). Are -1/111 and h equal?
False
Suppose -3 = -3*j, 3*j = 4*m - 2*j - 163. Let c be (0 + 2/(-16))*6/m. Which is smaller: c or -1?
-1
Let j(z) = -z**2 - 7*z - 10. Let a be j(-8). Let b = a - -19. I