 = -10*l + 99. Let z be u(8). Suppose -17 = -2*r - z. Which is smaller: 39 or r?
r
Let c = -22.1 + 26. Let j = c - 5.9. Let r = -0.289 + -0.111. Which is smaller: j or r?
j
Suppose 217*q - 1956309 = -50*q. Is q < 7325?
False
Let h = -2/5899 - -12420/1834589. Let v = 9760 - 9760. Is v smaller than h?
True
Suppose 5*a + 20 = 6*a. Let l(b) = -3*b + 63. Let v be l(a). Let x be (-2)/2 + (-1 - 1) + v. Which is smaller: 4/9 or x?
x
Let r = -4615 + 4615. Which is smaller: r or 3/890?
r
Let h(d) = -3*d**2 + 32*d - 59. Let m be h(12). Which is smaller: m or -96?
m
Let d = 12.78 - -0.22. Is d >= 301?
False
Let q be 14/70 + 5626/20. Let p = 4.311 + -4.211. Which is greater: p or q?
q
Let o(v) be the second derivative of v**3/6 + v**2 + 4*v. Let l be o(18). Suppose l = -3*k - 5*x - 48, 0 = 2*x - 4. Which is smaller: k or -25?
k
Let z = 3/65 - 163/715. Let o(l) = -9*l**3 + 377*l**2 + 44*l - 95. Let f be o(42). Is f bigger than z?
False
Let d = 7198 - 8362. Which is smaller: d or -1159?
d
Let d(k) = -k**2 + 49*k - 219. Let x be d(5). Let z = 382/5 - 28263/370. Which is bigger: x or z?
x
Suppose -12*c - 153 = y - 11*c, -2*c = -4*y - 606. Are -141 and y nonequal?
True
Let r = 170/297 + -42584/73359. Which is smaller: r or -2.2?
-2.2
Suppose 5*r + 3*v + 100 = 0, 42*r - 5*v + 26 = 39*r. Which is bigger: -78/5 or r?
-78/5
Suppose 303 - 975 = 6*d. Let n = d + 164. Suppose -3*m + 3*v + 136 = -32, 5*v + 76 = m. Is n > m?
True
Let y(c) = -3*c**2 + 7*c - 5. Let z be y(-6). Let x(n) = -11*n**2 - 7*n - 7. Let m be x(-4). Is z equal to m?
True
Let v be (3/(-4))/((-87)/(-12)). Suppose 0 = 6*y + 140 - 116. Let r be 2/y*(2 - 2). Is v at most r?
True
Let f = -1.15 - 0.03. Let x = 0.92 - f. Do x and 3/7 have different values?
True
Let t(l) = l**3 - 5*l**2 - 4*l - 211. Let u be t(0). Let q = u - -149. Is -65 bigger than q?
False
Let r = 0.09405 - -843.00595. Let b = r - 754. Let w = b + -89. Which is bigger: w or 44?
44
Let n = 3279 - 3593. Do 1 and n have the same value?
False
Suppose 0 = 15*r + 23*r + 2 - 2. Is r > 206/13?
False
Let g(l) be the third derivative of 11*l**4/24 - 11*l**3/3 - 42*l**2. Let j be g(8). Let p = -59 + j. Which is greater: p or 0.01?
p
Let h(x) = -16*x - 93. Let j be h(-6). Let p be -369*(j - (-50)/(-15)). Which is smaller: p or 125?
p
Let g(j) = -2*j**3 - 17*j**2 - 2*j + 47. Let k be g(-8). Do 1.0463 and k have different values?
True
Let w = 19474 + -19470. Is w != 757?
True
Let i = -133.86 - -141. Let z = i - -39.86. Which is bigger: -1 or z?
z
Let s be ((-3)/(-2))/(1/((-332)/2)). Let n = s + 2231/9. Let q = -3.4 - -1.4. Is n > q?
True
Suppose 0*f = 5*f + 25. Let h(p) = -p**2 - 5*p - 3. Let z be h(f). Let y = -1072 - -1072. Which is smaller: y or z?
z
Let t = 2073 + -3109. Let v = t - -978.3. Let x = v + 58. Which is greater: 11 or x?
11
Let u be 4*22085/(-28)*(-9 - -11). Do -31544/5 and u have different values?
True
Suppose -4*g = -5*l - 51, -4*g - 3*l + 91 = -0*g. Let h = g - -121. Suppose -11*f = -6*f - h. Which is bigger: f or 26?
f
Let l = 109 + -61. Let m be 16/(-6)*l/(-32). Let s be 4 + ((-3)/14 - m). Do s and -1 have different values?
True
Let o be -10*((2025/18)/(-25) - -31). Which is smaller: -264 or o?
o
Let t = -8051 + 8050.8. Do t and -270 have the same value?
False
Let t be (-10 + 1)*(-154)/42. Suppose 43 = -4*g - 5*a, -30*g + t*g = -a - 35. Is g greater than or equal to -21?
True
Suppose 19 = -z - v, -69 = 4*z + 49*v - 44*v. Which is bigger: -334 or z?
z
Suppose -5*s + 11*s = -60. Suppose 2*u - 18 = -5*h, 3*u + 3*h - 27 = -h. Let f = u + -11. Which is greater: s or f?
f
Let a = 230 + -239. Suppose 15 = 3*c - 3*o, 3*o + 10 = -c - c. Suppose -r + 0 - c = -g, 3*r = 2*g - 1. Which is smaller: a or g?
a
Let k = 3 + -4. Let h be 1 - 5 - (-33605)/8366. Is h less than k?
False
Let r be (4/(-12))/((-1)/3). Suppose 21*c = -430 + 10. Does r = c?
False
Suppose -u = 2*f - 6, 3*u = -f - u + 17. Let o be (-3*(-1)/4)/((-69)/24). Let g = 377/1357 + o. Which is smaller: f or g?
g
Let m(s) = -24*s + 44. Let t be m(1). Let c be 4 + (t/(-5) - -3 - -2). Is c greater than 11?
False
Let w(p) = -p**3 - 9*p**2 - 8*p + 4. Let l be w(-8). Suppose -l*z - 5*i = -7, -z = 4*z + 4*i - 2. Let k be z/(-5) - 108/45. Are k and -3/4 equal?
False
Let d = -1033 - -1034. Let j be (-3)/(234/52*d/12). Suppose t = 4*h - 3*t + 40, -3*h - 3*t = 24. Is h not equal to j?
True
Suppose 59 = -15*y - 616. Suppose -3 - 22 = -5*k. Suppose 3*u + 62 = -k*q - 159, 3*u = -2*q - 83. Which is bigger: q or y?
y
Let s(p) = -p**3 + 8*p**2 + 9*p. Let r be s(9). Let d be (-228)/(-117) - (r + 2). Let x = -822.3 + 822. Which is greater: x or d?
d
Let z be (52/(-8))/((-130)/30). Are z and 0.025 nonequal?
True
Let m = -181 - -118. Suppose 0*x - 128 = 2*x. Which is bigger: x or m?
m
Suppose 32 = -3*x - 5*j, -5*j + 45 = -x + 1. Which is smaller: x or -18?
x
Let o = -62639.5 + 62633. Let i = 0 - 0.2. Let v = 0.3 + i. Which is greater: v or o?
v
Let j(o) = 6*o**2 + 35*o - 404. Let c be j(11). Is 702 at most as big as c?
True
Suppose -345 + 298 = 47*s. Which is smaller: -31/15 or s?
-31/15
Let b(j) = -10*j - 201. Let c be 0*(-3)/(-15) - 20. Let l be b(c). Is l less than -2/91?
True
Let b be ((-806)/39 - -17)*(-34 + -1 - -2). Which is bigger: b or 19?
b
Let q be ((-44)/(-33))/((-2)/6549*-1). Let p = q - 3071. Let x be (-1)/(-3) + (4 - p/294). Is x at most 1?
True
Let b = -84 + -66. Let t = -90 - b. Let j be (4/t)/(12/5). Is j equal to -1?
False
Let i(u) be the second derivative of u**5/20 - 5*u**4/12 + u**3/2 - 8*u**2 - 14*u. Let x = 13 + -8. Let g be i(x). Is g <= -1?
True
Let z(i) = -418*i + 50. Let t be z(14). Let k = t + 11374. Let q = k - 72376/13. Is q at least 5?
False
Let a be (-1440)/(-432)*(-6)/(-50). Which is bigger: 91 or a?
91
Let n = -0.5 + -4.5. Let d = 215.8 - 186.8. Let x = n + d. Which is smaller: -3 or x?
-3
Let o(x) = 68*x + 3. Let j be o(2). Suppose 3*g + g + l = j, -2*g - l = -71. Is g > 35?
False
Let f = -20 + 59. Let u = -19 + f. Suppose 0 = 4*y + 4*v + u, 5 = -2*y + 4*y - 3*v. Which is bigger: 0 or y?
0
Suppose 4*v - 25*v + 3443 - 1238 = 0. Which is smaller: v or 98?
98
Suppose -758 = 5*x + 305*c - 307*c, -5*c - 338 = 2*x. Are x and -142 unequal?
True
Suppose -7 = 3*v + 23. Let w be v/28*(2 - 395/200). Is 0 greater than w?
True
Suppose -2*b + 7*b - 2*t = 6, 2*b = -3*t + 10. Suppose 3*m - 2*w = -2184, -b*m - 3*w - 1456 = -6*w. Let o be (-296)/m - 1*6/14. Which is greater: 1 or o?
1
Let z = -263 + 265. Suppose -z*y + l = -3*l - 8, 3*y = -2*l + 4. Let m = -0.7 + 1.5. Are y and m equal?
False
Let v = -30 + 35. Suppose 0*y - v*y = 80. Is -13 <= y?
False
Suppose -164242 + 644725 = 197*h. Is 2439 equal to h?
True
Let q = 14.972 + -6784.972. Is q at most as big as 1?
True
Let k(o) = 4*o**2 + 40*o - 7. Let c be k(6). Let y = -428 + c. Suppose -5*q - 259 = t, 2*q - 4*q + 5*t = 82. Is y != q?
False
Let z = -188.87815 + -0.22185. Does 0.2 = z?
False
Let m be 38/8 - 2/(-8). Let z be (6/(-35))/(714/1190) - 51/(-7). Is z bigger than m?
True
Let g(w) = -w + 6. Let i be g(8). Let h(b) = -2*b**2 + 52*b - 301. Let x be h(18). Is x less than i?
True
Let l = 3799 + -3801. Is l at most -70/69?
True
Let c = -4775 - -3939. Is c != -2/7?
True
Let s(y) = y**2 + 7*y - 3880. Let t be s(61). Which is smaller: t or 274?
t
Let w(s) = 6*s**2 + 139*s + 154. Let m be w(-22). Which is greater: 0.03575 or m?
0.03575
Let q = 1640 - 1641. Let n = 14821265/13 - 1139494. Let o = n - 603. Which is bigger: q or o?
o
Suppose -5*a + 20 = -a. Suppose 3*p = -3*o - 6, -a*p = o + o + 4. Let d = 6/43 - 546/215. Which is bigger: o or d?
o
Let j = 1.6099 + -1.5435. Which is smaller: j or 0.05?
0.05
Let r(w) = 9*w - 47. Let t be r(6). Suppose -4*o - o - t = 2*d, 3*d = -3*o - 15. Which is smaller: d or -7?
-7
Let c = -153 - -158. Suppose c*i - 4*f = 80, 7*i - 5*i - 65 = -5*f. Which is smaller: 8 or i?
8
Let w be -20*(11865/12 - -6). Let u be (-1)/(-1*5) - (-4094)/w. Is u != -1?
True
Let c be 240/(-75)*(-60)/48. Which is smaller: -66.6 or c?
-66.6
Suppose 217*j + 263 = -171. Is 76 > j?
True
Let x = -13461 - -13462. Are 2/14905 and x nonequal?
True
Let d(q) = -19*q**2 + 174*q - 829. Let g be d(5). Is g greater than or equal to -437?
True
Let o = 4267 + -4263. Let x = 1 + -0.8. Let p = -7.2 + x. Which is bigger: o or p?
o
Let m = 0.7