 387 - v. Is g at most as big as -141?
True
Let g = 33318 - 33267. Suppose 3*a - 150 = -0*a. Is a greater than or equal to g?
False
Let x = 0.1 - 0.6. Let a = -191 + 191.18. Let o = 1.82 + a. Which is smaller: x or o?
x
Suppose 14*n + 255 = 1361. Suppose g + n = -6*m + 4*m, g = 2*m - 59. Which is smaller: -73 or g?
-73
Suppose -49 + 9 = -8*p. Let u be p/(-20) - 613/(-52). Let o = u + -359/39. Which is smaller: 3 or o?
o
Let x(p) = -p**3 + 3*p**2 + 2*p + 1. Let a = -96 - -96. Let o(n) = -2*n - 2. Let k be o(a). Let w be x(k). Which is smaller: w or 18?
w
Suppose 22 = -3*x + 7*x - u, 4*x = 5*u + 30. Suppose 0 = x*d + 4 - 49. Suppose -y = -4*i + d, -i - 5*y + 8 = -10. Which is greater: i or 8?
8
Let a(v) = -2*v - 27. Let m be a(-16). Suppose 0 = -m*o + 3*o + 10. Suppose 4*l = 5*i + l - 171, 5*l = o*i - 165. Is i bigger than 36?
False
Let k = -18.7 + 27.7. Let a = -0.0936 - -8.9236. Let b = k - a. Is b at most as big as 1?
True
Let u(n) = n**3 - 6*n**2 - 7*n - 15. Let t be u(7). Suppose 10*v - 143 = -v. Let h be (v + -10)*(-26)/6. Which is bigger: t or h?
h
Let y(a) = 6*a + 105. Let n be y(-16). Let x be n/(-18)*(6 + 0). Let f be -1 - (2*3 - 1). Which is bigger: f or x?
x
Let d = -14 + -4. Let q be 26/(-10)*(3 + d). Is 39 at most q?
True
Let x = -122 + 199. Suppose m - x = 2*m + k, 3*m + 259 = 4*k. Is 2 < m?
False
Let c = 158 + -156. Suppose -5*p = -c*p - 411. Is 136 at most as big as p?
True
Let z = 400 + -403. Let v be (-8)/(-282)*z*3/(-3). Which is smaller: 0 or v?
0
Let w be 2/3 - 0 - 1. Let f = -26 + -365. Let k = 397 + f. Which is greater: w or k?
k
Let n be (2/148)/(25 + (-2610)/(-24)). Which is greater: n or 1?
1
Let m = -1 + 0. Suppose 0 = -3*z - 2*n + 5*n - 6, 2*z + 11 = 9*n. Let i be 0/m + (z - (-6 - -5)). Is i less than or equal to -1/12?
False
Let b = 0.26 - -251.74. Let o = 263 - b. Let y = -1 + -2. Which is bigger: o or y?
o
Let v be (260/(-104))/(435/(-72)). Let i(w) = w**2 + 3*w - 5. Let l be i(-4). Which is bigger: v or l?
v
Let t = -5329 - -202497/38. Let q = 1 + -2. Is q <= t?
True
Let o be (-24)/(-40) - (-512244)/60. Are 8538 and o nonequal?
False
Let n(y) = -2*y**3 + 55*y**2 + 29*y - 5. Let d be n(28). Let k = -152 + d. Is k smaller than -130?
False
Let w = 2362 + -2359. Which is smaller: 41/23 or w?
41/23
Suppose -5*l = 2*z - 33, 0 = -2*z + 4*z + 4*l - 28. Let v = 2149.263 + -2155. Let t = v - 0.263. Which is greater: z or t?
z
Let i = -5.86 - -57.46. Let p = i - 35.6. Which is smaller: 1.2 or p?
1.2
Suppose -a + 28 = -5*d, -2 = 5*d + 3. Let v be (-7)/(-2) - (-5)/(-10). Suppose v*l - 62 = -3*s - l, 27 = s - 5*l. Which is smaller: s or a?
s
Let o = 13 + 2. Suppose 0 = o*v - 10*v. Suppose -35 = -5*x + 3*w - w, v = -3*x + w + 22. Which is smaller: 11 or x?
x
Suppose 0 = -199*h + 195*h - 756. Which is smaller: h or -184?
h
Let a(j) = j**2 - 10*j - 24. Let t be a(12). Suppose -3*u + 16 = -t*u + 5*h, u + 3*h = 8. Suppose 24 = -u*r - 8. Is r at most as big as -17?
False
Suppose 11 = -2*m + 3*w, -3*m = -8*m + 5*w - 20. Let c = 91.7 - 461.7. Let j = c - -345. Is j <= m?
True
Let n = 2541 + -948. Are -1 and n equal?
False
Suppose -2*g + 65 = -7*g. Suppose 392*i - 375*i - 71 = -309. Which is bigger: i or g?
g
Let x = -37 + 24. Let o = x - -9. Let f = -0.025 + 2.025. Which is bigger: o or f?
f
Let r be ((-147)/(-245))/((-27)/(-15)) - (-307)/(-930). Which is greater: -0.6 or r?
r
Let r be (-1 - 1) + (-8 - -2448)/(-8). Is r less than -1233/4?
False
Suppose -5*u + 4*y + 126 = 0, -14 = -4*u - y + 70. Let c = 137 - u. Is c <= 114?
False
Suppose -z + y - 97 = 0, -992*z + 992*z + 3*y - 15 = 0. Let f = -148 + 56. Is z < f?
False
Suppose 118*w + 159*w + 645782 = -118461. Which is smaller: -2758 or w?
w
Let g = -1321 - -1321.182. Is -11 greater than or equal to g?
False
Let o = 57 - 54. Let w be (o - (21/204)/(-7)) + -3. Which is bigger: 1 or w?
1
Let z = 10248 + -10246. Which is greater: z or -115?
z
Let w(c) = c**2 - 4*c + 21. Let y be w(18). Suppose y = -4*k + 889. Which is smaller: 153 or k?
153
Suppose 66386 = 263*j - 222651. Which is bigger: j or 1100?
1100
Let k be 2 - 3*(-2)/3. Suppose q - 10 = 5*s + 5*q, 8 = -4*s + k*q. Let n be 0*(2 + -3)/s - 4. Which is bigger: n or -34/11?
-34/11
Let g(p) = p + 5. Let l be g(-4). Let u be (1/4)/(435/(-13920))*1/(-58). Which is smaller: l or u?
u
Suppose 3761 = -40*g + 1081. Suppose -8*c = 559 - 31. Which is smaller: g or c?
g
Let y be (2/(-3))/(((-30)/(-6))/(-60)). Let u be ((-18)/y + 1)/(4/10). Which is smaller: u or -3?
u
Suppose -5*h + 1160 = -3*i + 249, -h + 4*i = -189. Let d = 180 - h. Is d > -2/895?
False
Let x = -12517.2 + 12517. Which is bigger: 0.684 or x?
0.684
Let i(c) = c**3 + 9*c**2 + 7*c - 10. Let k be i(-6). Let p = -42 + -27. Let z = -14 - p. Is z at least as big as k?
False
Let s = -9.948 + 0.148. Let r = s + 54.8. Which is greater: -2/7 or r?
r
Let y(b) = 5*b**2 + 8*b - 36. Let r(t) = -t**2 + t - 2. Let l(w) = 4*r(w) + y(w). Let p be l(-15). Is -5/162 at least p?
False
Let n = -0.54 + 0.84. Let x be (-3 + 2)*(48/(-92))/(-4). Let t = x + 25/368. Which is smaller: n or t?
t
Let y = -12.6 - -10.6. Let b = 7 + -6.976. Let m = -0.086 - b. Is y at least m?
False
Let f = 4 + -17. Let n(u) = 56*u + 234. Let p be n(-4). Suppose 2*d + 4*j = -p, 0 = 4*d - 11*j + 6*j + 85. Is d not equal to f?
True
Let t be (2 - 35/28)*(-8)/(-3). Suppose t = -4*p + 2*p. Is -3/146 <= p?
False
Let j(s) = s**2 - 13*s - 16. Let k be j(14). Suppose -3*y - 2 = 1. Let w be (-1)/(-11)*(-5 + y). Which is bigger: k or w?
w
Suppose -390 = -5*p - 5*p. Let s = -33 + p. Does s = 18?
False
Suppose -8*k + 5*k = -1581. Suppose -27*j + k = 95. Which is greater: 17 or j?
17
Let t = 36 + -32. Let s(o) = 2*o**2 - 7*o + 6. Let g be s(t). Suppose 6*h = g*h - 60. Is 14 greater than h?
False
Suppose 150 = 18*j - 23*j. Let u = j + 29. Which is greater: 7/34 or u?
7/34
Let q = 165 + -157. Suppose -12 = -y - 3*o - o, 4*y + 2*o = 6. Which is smaller: y or q?
y
Let r be (-310)/53692*4/(-95). Does 1 = r?
False
Let b = 0.391 + -2.391. Let d = 3.98 + 0.02. Let x = -3.7 + d. Which is bigger: x or b?
x
Suppose 0 = -2*b - 91 - 49. Let n be (-7)/(294/(-287))*2/b. Let q = -4/15 - n. Which is bigger: 0 or q?
0
Let u = 3628.8 + -3629.8. Let b = -227 - 27. Which is smaller: b or u?
b
Let g = 2405 + -2406. Which is smaller: 4/1137 or g?
g
Let h be (9/(-6)*1)/((-1)/(-18)). Let t(i) = i**2 + 35*i + 215. Let n be t(h). Which is smaller: n or -10/133?
n
Suppose -2*f + x + 53 = 0, f - 5*x = 357 - 353. Is 26 at most f?
True
Let h(a) = -2*a**3 + 16*a**2 + 10*a - 16. Let p be h(8). Let m = p + -62. Suppose 3*v + 10 = -m*l + 83, -4*v = 5*l - 102. Are v and 25 non-equal?
True
Let l = -27 - 664. Let y = -654 - l. Is y <= -8?
False
Suppose k = -2*r - 15418, 2*r = -3*k - 8 - 15406. Let q = -6206549/805 - r. Is -1 > q?
False
Let l(g) = g**3 + 13*g**2 - 13*g + 14. Let k be l(-14). Suppose v + 15 - 48 = k. Is -1 <= v?
True
Suppose -128057 = 73*z - 4354 + 77193. Which is smaller: z or -19258/7?
z
Let x = 1166.711 - 1166.6. Is x at least -11?
True
Let o = 77 + -103. Let a = o + -7. Let u be (a/1540)/((-9)/(-6)). Are u and 0 non-equal?
True
Let y = 1177 + -684. Let x = -501.03 + y. Let l = x - -8. Which is greater: 3 or l?
3
Let o = 304369/8 + -38099. Are o and -52 non-equal?
True
Let n = -3234 - -3231. Which is greater: n or 62?
62
Let j(n) = 5*n**2 - 171*n + 35. Let l be j(34). Which is smaller: 32110 or l?
l
Let c(j) = -615*j**3 + j**2 - j - 35. Let m be c(3). Which is smaller: m or -16635?
-16635
Let h = 11075 + -11075.1. Let b = 642 + -438. Which is smaller: h or b?
h
Let n = -200/7 + 3565/126. Let c = 157.66 + -157.56. Which is greater: n or c?
c
Let a be 38/120 + (-1)/4. Let f = -211 + 31. Let k = 179 + f. Which is smaller: a or k?
k
Suppose j - 7 = -2*w, -j + 2*w - 4 = 1. Which is smaller: j or -7/426?
-7/426
Let s(f) = 2*f**2 + 4*f + 17. Let v be s(-4). Let u be (-10)/v*3/(-2). Is 1 bigger than u?
True
Let j(s) = s. Let l be j(2). Suppose z + l*a + 56 = -z, 2*z - a + 68 = 0. Let o = 162/5 + z. Is o bigger than 1.1?
False
Let o be ((-14)/196)/(1/18048). Let h = o + 1212. Let l = h + 47513/616. Are -1 and l non-equal?
True
Let t(o) = o**2 + 29*o + 118. Let p be t(-25). Let l be p/(-24)*(-10)/(-75). Which is smaller: 12 or l?
l
Suppose 39 = 3*f - 5*p, p - 39 + 