ppose 0 = -2*g - w + 17, -4*g + 3*g + 3*w = 9. Let k be 4/g + (-5 - -5). Is n less than k?
True
Let i = -7205 - -64843/9. Does 38.2 = i?
False
Let j = -21612 + 21593.95. Is -0.3 at least as big as j?
True
Let c be (-27380)/50 - 15 - -14. Which is smaller: c or -549?
-549
Let o = -0.0845 + 0.3845. Let d = -2.5 + 1.7. Let x = -1.3 - d. Is o >= x?
True
Suppose -46*x + 6 = 44 + 8. Which is smaller: x or -14/639?
x
Let o(x) = -2*x**3 - 2*x**2 + x + 7. Let t be o(-3). Suppose 80 + t = 3*q. Which is smaller: 42 or q?
q
Let r be (7 - -1)/(4 + (-214)/54). Let w(l) = -6*l + 91. Let p be w(-21). Which is smaller: p or r?
r
Let m = 1.8 + -3.1. Let f = 137/244 + -19/61. Which is greater: f or m?
f
Let s = 0.05337 - -3643.94663. Which is bigger: 2/7 or s?
s
Let v be ((-2)/(-404))/(-2*(-2)/(-48)). Let u = 93 + -92. Is v != u?
True
Suppose 3*b - 11 = -5*z, z = -2*b + b + 3. Suppose b*y - 83 + 27 = 0. Suppose 8*f + 112 = 12*f. Is y equal to f?
True
Suppose 24814 = 11*a + 27*a. Let l = 695 - a. Which is smaller: l or 43?
l
Let h = -29888/143 - -209. Let n = 1800644 + -2059937729/1144. Let d = h + n. Are -2 and d unequal?
True
Let l(g) = 7*g + 34. Let s be l(-10). Let q be s/(-5) + (-30)/6. Are q and 3 non-equal?
True
Let v(i) = -12*i - 444. Let c be v(-37). Suppose -49*p - 563 - 221 = c. Suppose q - 27 = 2*q + 2*j, -70 = 5*q - 3*j. Which is smaller: p or q?
q
Let g(m) = -m**3 + 5*m**2 + 253*m - 14. Let q be g(-15). Is 690 smaller than q?
True
Let y be -3 - -7826 - (1122/330 + (-3)/(-5)). Is 7820 equal to y?
False
Let r = -36.6 - -34.91. Let b = -1.561 - r. Let f = 0.029 - b. Is f <= 2/163?
True
Let q = -13468 - -13587. Which is greater: -2/41 or q?
q
Let v = -4637 - -4483. Is v < 37?
True
Let f = 3888/17 + -126102/187. Let c = 446 + f. Suppose 4*b - 4 = 2*o - 14, 4*o + 4 = -4*b. Which is greater: o or c?
o
Let k = -3 + 2.8. Let t = -2714 + 2716.8. Let f = t - k. Is 0.15 bigger than f?
False
Let v be (((-75)/10)/(-3))/((-5)/(-4)). Let i be (8/(-16))/(v/5488). Let s = i - -127598/93. Which is bigger: 1 or s?
1
Let i(l) be the third derivative of l**6/120 - 5*l**5/12 + 7*l**4/2 + l**2 + 38*l. Let d be i(21). Let b be 4/6 + (-58)/114. Which is bigger: b or d?
b
Let r be (-6*364/(-126))/(2/(-3)). Does r = -620/23?
False
Let d = 1.245 + -1.345. Is d at most -2727?
False
Let n = 362 - 272. Let w = -1001 - -1090. Is w greater than n?
False
Let o be (0 + 4)*(-8 + 2). Let l = -20 - o. Let t be l + -1 - 320/112. Which is bigger: t or 16?
16
Suppose i + 0*i = 2. Suppose 100 = 2*l + 90. Suppose -6*c + 25 = -i*c - 5*r, -4*r = l*c + 20. Which is smaller: c or 1/4?
c
Let l be (-28707)/(-210) + 15/50. Which is greater: l or 135?
l
Let f be (-32)/60*(-1)/2. Suppose -2*z + 93 = p, -z + 4*p + 33 + 9 = 0. Let g = 45 - z. Which is greater: f or g?
f
Let x = 0.256 - 0.026. Let p = 7274.6 + -7274. Which is bigger: x or p?
p
Let d(l) = -20*l**2 - 725*l - 138. Let s be d(-36). Suppose -8*z - 170 = -4*q - 5*z, 180 = 4*q + 2*z. Are q and s equal?
False
Let x = 91/40 + -1689/760. Which is smaller: 2/507 or x?
2/507
Let h(w) = w**3 + 17*w**2 - 100*w - 347. Let o be h(-21). Which is smaller: -364/33 or o?
-364/33
Let h = 973 + -1307. Which is smaller: -327 or h?
h
Let i(v) = 651*v - 124. Let h be i(1). Are 526 and h equal?
False
Let z be ((-32376396)/(-40))/(-13)*(-2)/1038. Let y = z + 1338/173. Let a = y + -128. Which is smaller: -1 or a?
-1
Let w = -136 + 123. Which is smaller: 0.2 or w?
w
Let z(o) = o**2 + 4*o - 13. Let a be z(-6). Let m be 3 + 302/(-94) - a. Let b = -1501/235 + m. Is -6 at most as big as b?
True
Suppose -74 = -5*m - 5*x + 81, -70 = -2*m + 2*x. Suppose 0 = -37*u + m*u - 148. Is -36 bigger than u?
True
Let j(q) = -q**3 - q**2 + 12*q + 6. Let m be j(9). Let n = 318 + m. Let v be (-4)/(-34) + n/1190. Which is smaller: v or 4?
v
Let m be 1 + (-655)/9 - 10/45. Let q be 0/(9/(m/(-8))). Which is smaller: q or -18/77?
-18/77
Let m(i) be the second derivative of -i**4/12 + 6*i**3 - 42*i**2 - 305*i. Let o be m(35). Let p = 24 + -72. Is o > p?
False
Suppose 18*i - 16336 = -16318. Suppose -73 = -y - 2*a - a, 0 = -y - 5*a + 65. Let d be (-25)/y - (-2 - -1). Which is smaller: i or d?
d
Let y = 34474/115238895 - -6/18145. Does y = 0?
False
Let s = 583 - 437. Let w = -164 + s. Which is greater: w or -153/8?
w
Let d = 26.12 + -7.12. Which is smaller: d or 2/7?
2/7
Let o = -6039459/895 + 6748. Which is greater: 1 or o?
1
Let r = 616739/273 - 6776/3. Is 1 < r?
False
Suppose 0 = 3*x - 5*d + 2*d, 15 = 5*x - 2*d. Suppose -46 - 24 = -x*r. Is r >= 14?
True
Let j = -64 + 66. Suppose 5*x + 10 = 5*w, 2*x = j*w + w. Let f be (0 - 0)/(x/3). Is f < 12?
True
Let g = 407 + -411. Suppose 3*j - 120 = -168. Which is bigger: g or j?
g
Let w be (3 - 85)*(8 - (-1 - -3)). Which is greater: w or -497?
w
Suppose -8*k - 1028 = -15*k + 4*c, 3*k + 3*c = 450. Which is greater: k or 145?
k
Let m = 140.6711 - -0.6689. Let b = 0.66 + m. Which is smaller: 2/3 or b?
2/3
Suppose 4*y = -2*v + 32, -269 = 5*v + 3*y - 293. Are 13/1319 and v equal?
False
Let g = -119 - -200. Let y = g + -81. Which is bigger: 6/47 or y?
6/47
Let p be 2*(3/2 + -2 + -2)*85. Is -427 greater than or equal to p?
False
Let b = 9 + 10. Suppose 5*t = 20, -b = w - 4*w - t. Suppose 0*a - w*a + 25 = 0. Which is greater: 0.3 or a?
a
Let z = 92.06 - 0.06. Suppose 48*w - 46*w = 4*v, -4 = -4*v + 4*w. Which is greater: v or z?
z
Let u(p) = -5*p**3 - p**2 - 3*p - 10. Let b(c) = c**3 + c**2 + c + 1. Let i(d) = -6*b(d) - u(d). Let s be i(-4). Suppose n + 1 = -s. Which is greater: n or -2?
n
Let h be 2 - (-2 + 201/51). Let w = 432 - 190. Let k = w + -242. Which is smaller: h or k?
k
Let f = -37 + 10. Let j(r) = -60 + 5*r - 2*r - 9*r + 7*r - 5*r. Let y be j(-8). Is f smaller than y?
False
Let b be ((-72)/14)/((-9)/(-378)). Do b and -217 have different values?
True
Let d(n) = 3*n**3 + 17*n**2 - 39*n - 97. Let f(g) = -g**3 - 6*g**2 + 13*g + 32. Let o(y) = 2*d(y) + 7*f(y). Let b be o(-9). Is -9 greater than b?
False
Let j = -21.5 + 6.5. Let i = -12 + j. Let h = i + 46. Which is smaller: 0 or h?
0
Suppose 12*t - 2415 = -11*t. Suppose -4*p + t = -95. Which is smaller: p or 2?
2
Suppose -101*v = -115*v + 84. Suppose 520 = -10*n + v*n. Which is smaller: n or -131?
-131
Suppose -2671*y + 150157 = -2664*y. Is y greater than 21450?
True
Let r be -8 + -1*(-4 + 0). Suppose -4*n + 20 = -3*g, n = 5*g - 0 + 5. Is r at most as big as g?
True
Suppose 2*q - 4 = -2*d, -2*d + 6*q - 9*q + 4 = 0. Let o be (-700)/(-136) - (1 + d + 2). Is o less than or equal to 0.1?
False
Let z(d) = -34*d + 362. Let c be z(14). Is c smaller than -1270/11?
False
Suppose 2*z + 129 - 9 = 0. Let k(g) = g**3 + 21*g**2 + 40*g - 25. Let s be k(-19). Does s = z?
False
Let z(h) be the first derivative of -h**3/3 + 8*h**2 + 55. Let d be z(16). Which is smaller: d or -1/45?
-1/45
Let p be (-14)/((6/4)/((-165)/220)). Let q be 1*((-1 - -6) + 0). Let f = q - 7. Which is bigger: p or f?
p
Let l be 68229/73815 + (-3)/3. Is -1 < l?
True
Let r be (-19089)/42*28/42. Which is smaller: 18 or r?
r
Let d = -9.69 - -8.869. Let w = -0.079 + d. Which is bigger: -6 or w?
w
Let c(z) = -8*z**3 + z**2 - 46*z + 206. Let v be c(5). Are -999 and v equal?
True
Let k(f) be the first derivative of -f**3/3 + 13*f**2/2 + 20*f + 13. Let w be k(14). Let p be w/4*(-2)/(12/25). Which is greater: -7 or p?
p
Let f(k) = k**3 + 4*k**2 + 4*k + 3. Let t be f(-4). Let m be (-7 - t)*(-1)/1. Let y be (3 - 1)/(16/(-44)). Which is bigger: y or m?
y
Suppose 0*z = -11*z - 28*z - 18720. Is z >= -478?
False
Suppose -33*o - 716 = 3904. Let i = -315 + 176. Which is bigger: o or i?
i
Let l be (-1 + -1674)*(-57)/51. Let y = l - 1883. Is y < -10?
True
Let u be 4/(-12)*8/(-6). Let g = 436 - 527. Let v = 91 + g. Is u != v?
True
Let a be -3 + ((-8)/5)/(68/(-85)). Is a less than -5/467?
True
Let q = 199.8 - 1198.8. Is -0.2 less than q?
False
Let v(q) = 6*q**2 - 85*q - 5284. Let h be v(-41). Are 8285 and h non-equal?
True
Let r be (-4650)/(-279)*(441/6)/7. Which is greater: r or 177?
177
Let w(d) = -3*d**2 - 100*d + 713. Let q be w(-39). Which is greater: 987/20 or q?
q
Let l(h) = 3*h + 3. Let s be l(5). Let g(t) = -t**3 - 3*t**2 + 131*t + 10. Let q be g(10). Is q > s?
True
Let p be 1872/(-27) - (-7)/21. Let n = 75 - p. Is 144 greater than or equal to n?
True
Let n