e 2620/(-32)*(1 - 4 - 34/(-10)). Which is greater: w or o?
o
Let t be (-235 + -1)/(-19*(-8)/380). Which is smaller: 4 or t?
t
Let t = 379 + -577. Let w be 110/4 + (t/12)/11. Let u = 11 - -14. Are w and u non-equal?
True
Let f be (1/4)/(((-1287)/(-212888))/(-33)). Which is greater: f or -1366?
f
Let v(s) = 2*s**3 - 14*s**2 - 2*s + 14. Let u be v(7). Suppose u = 19*g - 14*g - 85. Which is bigger: 21 or g?
21
Let b = 3548017/10941 - 2270/7. Which is smaller: b or 0?
0
Let h be (4652/2)/(-2)*1155/189. Let t = 7095 + h. Which is smaller: -11 or t?
t
Let p = 42.959 + -43. Let r = p + -0.499. Let b = r - -4.54. Which is smaller: -0.1 or b?
-0.1
Let q(v) = 23*v**2 - v + 1. Let z be q(1). Suppose -2*u = -40*f + 36*f, -u = -3*f + 2. Suppose o = -4, y - 5*o + u*o - 26 = 0. Do y and z have the same value?
False
Let v be ((-36)/(-126))/(4/8218). Which is smaller: v or 595?
v
Let w = -2.7 + 4.8. Let q = w + -2. Suppose 19 = 4*p + 5*g, -p + g + 4*g = -11. Which is smaller: q or p?
q
Let z(j) = -2*j**3 - 12*j**2 - 31*j - 3. Let w be z(-5). Suppose 0 = w*y - 99*y - 24. Is y <= 33/4?
True
Let y = -1974 - -1884. Let d be 4/(-6) - (-1063)/(-12). Which is smaller: d or y?
y
Let y be (1*-1)/((-2)/36). Let s = 350 - 345. Suppose 5 = -s*n, x - 2*n + 6*n = 15. Which is smaller: y or x?
y
Let h(v) = v**3 - 2*v**2 + 3*v + 3. Let q be h(-2). Let z(y) = 2*y + 25. Let n(m) = -m - 12. Let i(f) = 11*n(f) + 6*z(f). Let u be i(q). Is u smaller than 1?
True
Let d = -331 - -347. Let b be -1 + 8/(d/50). Let l be 110/4*(-8)/(-10). Which is greater: l or b?
b
Let p(n) = 92*n**3 + 9*n**2 + 29*n + 30. Let i be p(-3). Is i > -2/3?
False
Let q be (-6)/(-21) - (1 - 4780/175). Which is greater: 2 or q?
q
Let k be (-448)/76 + 6 - 43888/(-28899). Is k less than 3?
True
Let h = -0.6461 - 0.0139. Is 97 not equal to h?
True
Let m be 129/(-126) + (-18 - -19). Suppose -4*r + 9 = -r, 5*q + 17 = 4*r. Which is smaller: m or q?
q
Let g be 15*-1*(10 + -13). Let c = g + 12. Let p = c - 35. Which is smaller: 24 or p?
p
Let f = 266604/137 - 1946. Let a = 938/5 + -188. Which is greater: a or f?
f
Let w = -0.54 - -0.64. Which is smaller: 0.028 or w?
0.028
Let q be 4/14 - 406/49. Let a be (q/9)/(-2)*(-9 - 3). Let u be 3 - ((-318)/(-42) - 6/(-14)). Is u at most as big as a?
False
Let s = -5/319 - -9266/957. Let h = -8.47 + -2.13. Let j = 9.6 + h. Are s and j nonequal?
True
Let c = -15735/2 + 7855. Which is bigger: c or 13/8?
13/8
Suppose 33*v = 4*t + 35*v + 17412, 4*v = -2*t - 8688. Which is greater: t or -4357?
t
Let o be -27 - -22 - 1*-1*(2 + 1789). Is o at most -1/2?
False
Let l be (12/9 + 0)/((-2)/(-6)). Suppose 2*i = -4*u + i + 596, l*u + 4*i = 596. Suppose 0 = -7*b - 26 - u. Is -27 greater than b?
False
Let o(l) = -9*l - 198. Let n be o(-22). Let p = n - 39. Which is greater: -268/7 or p?
-268/7
Let p be (-159)/(-9) + 1/3. Let t(d) = 4*d - 31. Let m be t(9). Suppose 0 = -m*n - 20, -5*x + 4*n - 36 = p. Which is greater: x or -1?
-1
Let x be (102/18 - 5)/(2/(-3)). Let f = 5488/9 + -608. Do f and x have the same value?
False
Let d = -0.183 - -0.21. Let x = 0.973 + d. Are 119 and x equal?
False
Let z = 25768 - 27816. Is -2046 < z?
False
Suppose -10*l = -33*l - 69. Let c = -6.1 + 4.1. Which is greater: l or c?
c
Let v = 1.9 + -11.9. Let y = -9.82 - v. Let x be ((-5)/(-21))/((-15)/18). Are y and x unequal?
True
Let t = -244 - -249. Suppose 2*h = t*o + 2 - 7, -3*h + 4 = 4*o. Suppose -q = q. Is o equal to q?
False
Let s = -2 - -3. Let l = 10 - s. Suppose -20*v + 0 = -22*v + 22. Is l < v?
True
Let s(a) = -2*a**3 - 7*a**2 - 16*a + 4. Let t = 364 + -369. Let d be s(t). Is 160 at most as big as d?
False
Let w(f) = -5*f + 61. Let g be w(14). Let u(i) = -2*i**2 - 21*i + 3. Let b be u(g). Suppose b = 2*d + 8. Which is bigger: 14 or d?
14
Let w(g) = 3*g**2 - 6*g + 3. Let v be w(3). Suppose -14*u = -v*u + 12. Which is smaller: u or -2?
u
Suppose d = 1 + 3. Let x be (-24)/(-2) - ((-16)/16 - -6). Suppose -d*r = -1 - x. Is r smaller than 6?
True
Let x be (11/9)/(400/(-120)). Which is smaller: x or 1?
x
Let x be ((-2)/(-110))/(-17 - -16). Let i(v) be the third derivative of -v**4/12 + 17*v**3/6 - 8*v**2. Let m be i(8). Is x less than or equal to m?
True
Let g be ((-13688)/(-88))/(2/(-6)). Which is bigger: -468 or g?
g
Let g be (28/(-23786))/(9/3). Which is smaller: 0 or g?
g
Suppose 4*k + 3*i = 26 + 7, -4*i - 4 = 0. Let d be 2/13 + k/(-52)*-2. Let a be ((-18)/(-24) - 0)/(3/2). Is a less than d?
False
Let i be (42/18)/(3/(-45)). Let y = i - -33. Let g be 35/(-30) - (-1)/y. Is -1 at most as big as g?
False
Let u(l) = 3*l**2 - 24*l + 125. Let f be u(8). Is f <= 112?
False
Suppose -83 + 11 = 4*d. Let c be ((-15)/(-9))/(1/d). Which is greater: c or 1?
1
Suppose -29*k + 27*k = 528. Do -260 and k have the same value?
False
Suppose -110 = -2*n - 96. Let b be n/42 + 5/6. Let v = 371/8 - 46. Which is greater: v or b?
b
Let w be (10 - 11)*(33 - 32). Is w <= -5/742?
True
Let c = 242 - 18632/77. Suppose 3*x + 9 + 4 = -4*q, -q = -5*x + 9. Let h be (-3)/x*30/90. Is h at most as big as c?
True
Suppose -104 = 5*w + 21*w. Let s be 4095/(-22946) - w/22. Which is smaller: 1/4 or s?
s
Let x be (-38)/(5/((-10)/(-4))) + 1. Let f be (-4)/(-18) + (-32)/x. Suppose -s - f*s = 21. Is s > -7?
False
Let o = 2420 + -31444/13. Let p be 3 + (-9)/195*(-3450)/(-12). Let r = o - p. Is r smaller than 12?
True
Let q(u) = 4*u**2 + 60*u - 59. Let d be q(-16). Which is smaller: d or 237?
d
Suppose -336*v + 326*v + 280 = 0. Let i(j) = j**3 + 23*j**2 - 25*j + 4. Let f be i(-24). Is v at least as big as f?
True
Let i = 86 + -83. Suppose 4*u - 70 = -i*u. Suppose 0 = 2*b + u - 8. Which is bigger: -4/17 or b?
-4/17
Let c = -18 - -375. Which is greater: c or 354?
c
Let n be -9 + (-6384)/(-10)*9240/336. Which is greater: 17548 or n?
17548
Let x(b) = b + 101. Let g be x(31). Let s = g - 137. Are s and 8 non-equal?
True
Suppose -16*l = -13*l + 15, 5*i = 4*l - 2715. Does -549 = i?
False
Suppose 13*q = -11*q + 23064. Let r = q + -38437/40. Is 1 equal to r?
False
Let w = 330.1 + -18.2. Let o = -319 + w. Which is bigger: 0.1 or o?
0.1
Let s be (-6)/8 - 11/44*-1139. Let r = s - -187. Which is greater: 470 or r?
r
Let r be (((-697)/615)/((-3)/(-6)))/(10/(-126)). Which is smaller: 29 or r?
r
Let a be (-20)/((-240)/(-63099)) - 4. Which is greater: a or -5262?
-5262
Suppose 0 = 5*p - u + 2*u + 10, 5*u = -25. Let y = 27488/59 - 466. Which is greater: y or p?
y
Suppose -9*r + 6*r = -12. Let t be (r/8 - 0)/(1/10). Let d be -39*t/(-180) - 2. Which is smaller: -1 or d?
-1
Let l = 132.3 + -133. Let j = 0.12 - 1.82. Let v = l - j. Are 0.07 and v unequal?
True
Let z = -11931 - -11997. Which is bigger: z or 261/4?
z
Let z(f) be the third derivative of -f**5/60 - 11*f**4/24 - 11*f**3/3 + 5*f**2 - 7. Let p be z(-9). Is p greater than -27?
True
Suppose -7*o + 5*o = -4, -6 = -2*n - 3*o. Suppose n = m - 26 - 34. Let k be (m/(-40))/(3/4). Which is greater: k or -0.4?
-0.4
Let m be (3/15)/(47/(-5)). Let v = 21 - 21. Is m less than or equal to v?
True
Let z(j) = j + 3. Let k = -13 - -16. Let u be z(k). Suppose -4*w + 4 = -4. Which is bigger: u or w?
u
Suppose -2*u + 9 = p, 2*u - 24 = 10*p - 6*p. Let x be (1/(-8))/((-4)/24392). Let n = 767 - x. Is u bigger than n?
True
Let k be ((-78)/(-3))/((-2)/(-3)). Suppose -5*w = 3*x + 124, -108 = 3*x - 3*w + 24. Let t = k + x. Is -14/5 != t?
True
Suppose -16*a + 485 = -11*a. Suppose -8 = -93*f + a*f. Let x be f/(-15)*(-3 - -13). Are 4 and x non-equal?
True
Let b = 16890442/1587 + -10643. Which is greater: b or -1?
b
Let i = 1638 + -1650. Which is smaller: -41 or i?
-41
Let c = 27.154 + -27. Let n = c - 0.344. Let a = 0.09 + n. Is -11 at least as big as a?
False
Let l = -555 + 563.94. Let n = -229 + 220. Let x = l + n. Is x <= 0?
True
Let a = 2374 + -9495/4. Are -164/61 and a equal?
False
Let f(v) = -55*v**2 + 275*v. Let h be f(5). Suppose 0 = -2*w + 7*w + 7625. Let o = w - -22883/15. Which is bigger: h or o?
o
Let y(d) = 339*d + 1386. Let h be y(-15). Are -3700 and h unequal?
True
Suppose -1861 + 827 = -47*g. Which is smaller: g or 228/11?
228/11
Suppose 11*f - 960 = 6*f. Suppose l - 101 = g, -l - l = -4*g - f. Suppose -3*r + 43 + 39 = 4*y, -4*r - 2*y + l = 0. Is r less than or equal to 26?
True
Let z be ((6 + -4)/(-2))/(((-12)/(-3678))/(-2)). Which is 