et g = -6804 + 551150/81. Is -1 smaller than g?
True
Suppose 0 = -7*m + 33*m - 234. Is 10 >= m?
True
Let g = -10.92 + -0.08. Let j = -11 - g. Let a = -0.1 - j. Is -0.5 != a?
True
Let n = -607.8 - -608. Is -54 smaller than n?
True
Let n be 1/2*18/(-1). Let s(g) = g**3 - 8*g**2 + g - 7. Let p be s(8). Let t be -8 + (1 - -4) + (p - 8). Which is greater: t or n?
n
Let s = -10.5 - -4.9. Let n = s + 5.5. Which is smaller: n or 18?
n
Let v = -1.23 - -1.161. Let f = 27.069 + v. Let h be (1 - (-4)/(-6))/(-1). Is f greater than or equal to h?
True
Let f = 79/4 + -20. Suppose 0 = -2*j + 5*a + 139, -j + 0*j + 5*a + 67 = 0. Let x = j - 147/2. Which is smaller: x or f?
x
Let b(w) be the first derivative of -1/2*w**2 - 6*w - 3. Let g be b(-7). Which is smaller: -1 or g?
-1
Let r be (-6)/(-15) + 11/(-55). Which is smaller: -13 or r?
-13
Let o be 21/(-35) - (-64)/40. Let u be 145/140 - (0 - -1). Is u at least o?
False
Let s = -6723/295 - 3/295. Which is greater: s or -24?
s
Let q(a) = a**3 - 3*a**2 + a - 2. Let o be q(3). Let m be o/4 + 2/8. Suppose -21 = 4*s - 29. Is s > m?
True
Let m = -476 + 475. Which is smaller: 4/1229 or m?
m
Suppose -4*u = 3*z - 4 - 25, -19 = 2*z - 5*u. Let s be (z/(-2))/(54/(-8)). Let l = -41 + 42. Which is smaller: l or s?
s
Let y be (-3 + 345/117)*(107 + 19). Is y > -6?
False
Let w = -87 + 186. Which is smaller: w or 0?
0
Let a = -442219/31 - -14267. Which is smaller: 1 or a?
1
Suppose 0 = -6*h + 13*h - 308. Suppose 2*y + 36 = 4*w, w = 6*w - 3*y - h. Which is greater: 9 or w?
w
Let q = 0 - 0.1. Let m(o) = o**2 - 2*o - 6. Suppose 0 = 4*b + 4*p, -3*b + 2*p = p - 20. Let c be m(b). Which is smaller: c or q?
q
Let p = 0.05 - -0.47. Let t = -0.4 + p. Let w = t - 4.12. Is w greater than or equal to 1?
False
Let s = 53.014 - 0.014. Let r = s + -52.8. Which is bigger: 1 or r?
1
Suppose 2*f + 52 - 56 = 0. Suppose -3*i + l = -26 - 49, -3*l + 50 = f*i. Is i bigger than 24?
True
Let f be 18/(-44)*(16 - 14). Which is greater: -2 or f?
f
Let c = -0.56 - -0.76. Which is bigger: 225 or c?
225
Let g = 46 - 34. Let y = 2.3 - 2.2. Which is bigger: g or y?
g
Let v be 4/18 + 1735/225 + -8. Which is bigger: -1 or v?
v
Let a(x) = -4*x + 9. Let j be a(3). Suppose -9 - 3 = 4*i. Are j and i equal?
True
Let r = -5 + 4. Let i = -9143/252 - -145/4. Are r and i non-equal?
True
Let u(g) = -g**2 + 15 - 4*g**2 - 5*g + 10*g**2 - 6*g**2. Let m be u(-10). Is -35 at most m?
True
Let m = 233/10 + -2557/90. Which is greater: -5 or m?
-5
Let v be (7/(-28)*4)/(1/(-3)). Let q be v/(-1 - -4)*-8. Which is greater: q or -3?
-3
Suppose -3*v + 3*t + 156 = -2*v, v - 5*t = 164. Let h be v/(-74) - (19 + -21). Is h at most as big as -1/3?
False
Let b be (-46)/(-1800)*3 + 22/264. Suppose -m - 2*q - 8 = -3, -2*m - q = 1. Which is smaller: m or b?
b
Let b = -6.1 - -3.54. Let q = 0.56 + b. Let c = -0.37 + 0.07. Is q > c?
False
Suppose -5*b = -58 - 17. Suppose -2*o + 52 = -3*s, 0 = 5*o - o - 2*s - 120. Suppose o = -5*x + 7*x. Is b <= x?
True
Let r be (-9 - 0)/(-3) - 8. Let c(l) = -l**2 - l. Let q(n) = 2*n**2 - n + 1. Let k(h) = -3*c(h) - q(h). Let g be k(-3). Which is smaller: g or r?
r
Suppose -26*x + 31*x = 5. Let u be (x/(-123))/(3/9). Which is greater: u or 1?
1
Let h(o) be the second derivative of o**3/6 - 3*o**2/2 + 14*o. Let v be h(0). Which is bigger: 2 or v?
2
Suppose 2*j + 153 = 3*b, -2*j + 5*j - 2*b = -232. Let y = j + 53. Is y < -24?
True
Let b be 3 + 4 + -3 + 2. Suppose b*s - i = 3*s - 2, -7 = 3*s - 2*i. Let c be s - 0 - (-63)/(-81). Which is smaller: -1 or c?
-1
Let w = -16 - -30. Let d = w - 11. Is 0 equal to d?
False
Let o be 1/((-8)/(-10))*32. Suppose j - 91*r = -96*r + 57, -4*r - 108 = -4*j. Let y = j - o. Is y greater than or equal to -7?
False
Let d(s) = s - 9. Let x be d(13). Let n be -1 + 1 + x - (-3)/(-1). Suppose 0 = -3*v - 2*g - 11, -11 = -3*v + 4*g + 2. Which is greater: v or n?
n
Let k be 7/4 - (-1883)/84. Which is greater: -2/13 or k?
k
Let k be (9 - 0)/((-3)/(-3)). Let r be (-130)/(-3)*k/6. Which is greater: 67 or r?
67
Suppose 4*f - w = 20, -4*f = -4*w - w - 4. Let a = f + -35. Is -28 smaller than a?
False
Let u = 16 + -16. Let b = -37 + 24. Let j(q) = q**2 + 11*q - 24. Let l be j(b). Which is greater: u or l?
l
Let k = -0.136 + 0.196. Is k less than -6?
False
Suppose -20 = -4*i - 4*z - 4, 0 = -2*i + 5*z - 20. Let y be 0 + (i - 3) + -4. Is y >= -7?
True
Let k = 35 + -29. Suppose 0 = -k*h + 11*h + 50. Which is greater: -9 or h?
-9
Let n be (18/4 + 0)*4. Let p = 0 - 1. Is p >= n?
False
Let m be ((-36)/(-45))/(-4)*0. Which is smaller: -8/169 or m?
-8/169
Let t = -0.08 + -1.92. Let l = -2.3 - -2.13. Let f = -0.17 - l. Which is smaller: f or t?
t
Suppose 0 = -16*u + 25 + 103. Which is greater: 9 or u?
9
Suppose 4*y + 66 = -42. Let n = y + 29. Is 4 bigger than n?
True
Let k = -39/25 - 2083/75. Is -28 less than k?
False
Let r be 2 + (-27)/12 - (-156)/1008. Let j(b) = b**2 - b + 1. Let s be j(1). Is r at most as big as s?
True
Let v = -134 - 51. Which is smaller: v or 1?
v
Let z = 0.11 - 0.25. Let c = -23.84 + 23.2. Let d = c - z. Does d = -0.1?
False
Let u(y) = -5*y**2 + 7*y - 4. Let o be u(5). Let c = o + 93. Which is greater: 2/55 or c?
2/55
Let b be ((-585)/54 - -3) + 1/(-6). Which is smaller: -33 or b?
-33
Let d = 3 - 2. Let m = -1.53 - 5.17. Let a = m + 5.7. Which is bigger: a or d?
d
Let n = -0.258 + 0.213. Which is bigger: -0.3 or n?
n
Let h(m) = m**3 - 8*m**2 + m + 5. Let j be h(8). Let g(w) = -w**3 + 8*w**2 + 6*w + 12. Let b be g(9). Let c = j + b. Is -5 at most c?
True
Let p = -13 - -13.06. Let m be 527/(-3) - (-8)/12. Let u be (-6)/(-21) - (-85)/m. Is u < p?
True
Let q = 414 + -414.646. Let f = -0.046 - q. Is 2 >= f?
True
Let y(w) = 2*w - 3. Let u be y(0). Let o(z) = z**3 + 3*z**2 + z + 2. Let n be o(u). Are -3 and n non-equal?
True
Let h be (69/161)/((-3)/(-2338)). Is 332 < h?
True
Let i = 57 + -57. Let o = 605/1422 - -3/158. Which is greater: o or i?
o
Let b(c) = -2*c**2 + 10*c - 2. Let w be b(7). Let m be 5/w*-10*3. Suppose -r - m = 4*x, 0 = -r - x + 6 - 5. Which is bigger: r or 2/7?
r
Let f = -1 + -1. Let a = -616 + 616.19. Is a smaller than f?
False
Let n be (-117)/(-1408) + 2/(-9 - 13). Is 0 smaller than n?
False
Let t = -736/7 + 105. Which is smaller: t or 0.09?
t
Let c = 209 + -1467/7. Let u = -3334 - -3333.93. Which is smaller: u or c?
c
Suppose -3*h + 90 = 4*c, -4*h - 76 = -3*c - 2*h. Suppose -2*m - 39 = 5*w, 0 = 2*m - 3*w + 39 + c. Do -27 and m have the same value?
True
Suppose 0 = -5*h + 11 - 1. Let i be (-93)/90 + -1 + h. Let b = 885 + -885. Are i and b unequal?
True
Let p = -2.9 + 99.9. Let y = 96.9 - p. Is y bigger than -7?
True
Let j = -0.17 - -2.87. Let q = j - -11.3. Let k = q + -14.1. Is -24 at most as big as k?
True
Let d = 2.1 + -1.1. Let o = 2.7 - d. Which is smaller: -2 or o?
-2
Suppose 5*x + 903 = 8*x. Let c be 6/15 + x/35. Suppose 0 = 3*y - d - 31, -3*y + 5*d = -8*y + 25. Is c greater than y?
False
Let c = 1684494/3065 - 2748/5. Is c at most as big as -1?
False
Suppose -g - 1 = 8. Let i be g/72 + 33/8. Suppose -i = -7*l + 2*l - 2*d, -3*d = 5*l - 6. Is 1 bigger than l?
True
Let r = -199 - -207. Which is greater: r or 20/3?
r
Let w(j) = j**2 + 18*j + 32. Let x be w(-16). Is x bigger than 7/121?
False
Let l = -326 + 326.1. Do -243 and l have the same value?
False
Suppose 5*w - 4*d = -4, -40*d + 36*d + 4 = -2*w. Is 4/211 less than or equal to w?
False
Let y = 4/319 + -95/638. Let m = y + 5/66. Is m less than 0?
True
Suppose -3*f - i = i + 5, 0 = 5*f - 5*i - 25. Let z = -0.4 - 29.6. Let p = z - -30.02. Which is greater: f or p?
f
Let t = -161 + 161.1. Is -4/9 at least t?
False
Suppose 0 = -2*q + 5*x - 0*x - 13, 3*x - 61 = 4*q. Let m = -18 - q. Suppose p = -4*t - 35 + m, -3*t - 31 = -2*p. Which is smaller: t or -8?
t
Suppose 0 = -a - 3*d + 26, 5*a - 5*d - 19 - 11 = 0. Suppose a = -n + 8. Suppose 4*u - 3*u = 0. Is n less than u?
True
Let v = -0.8 + -0.2. Let q = -37 - -34. Let f = -1 - q. Is v at most as big as f?
True
Let a = -4471 - -1698981/380. Is -1 less than or equal to a?
True
Suppose 3*u - 6 = 3*m, -4*u + 3*m + 5 = 2. Let j = 116 + -112. Which is smaller: u or j?
u
Let k be 8*(5 - (-34)/(-8)). Suppose -5*f = 5*n - k + 11, 3*n = -5*f - 1. Which is smaller: -3 or n?
-3
Let k = 13 - 8. Let z(t) = -t**3 + 5*t**2. Let d be z(k). 