et v be -119*(-5)/(5 + 0). Let u = v + -122. Let g = -1248 + 13700/11. Which is smaller: g or u?
u
Let r be -1*21*20/(-6). Let k(j) = j**2 + 767*j - 10069. Let d be k(13). Which is smaller: r or d?
r
Suppose 101*n - 167 = -66*n. Which is bigger: 5/616 or n?
n
Let z be 5/(-20) + (-5)/40*6. Let l = -29 - -25. Let x be 3/(-60)*l - (-7)/(-45). Are x and z non-equal?
True
Let t(b) be the second derivative of 3*b**3 - 57*b**2/2 - 163*b. Let k be t(2). Which is greater: -22 or k?
k
Let d = 42.8 - 76. Let q = d + 31.73. Which is bigger: 1 or q?
1
Let d(u) = 2*u**2 + 6*u + 15. Suppose -2*l + 14 = -5*l - j, 23 = -l - 4*j. Let y be d(l). Is 13 greater than or equal to y?
False
Let j(u) = 878*u**2 + 1. Let h be j(1). Suppose 7*v - 249 = -h. Let c = -129 - v. Which is smaller: c or -38?
c
Let y = -158 + 158. Which is greater: y or -1/2114?
y
Let l(b) = b**2 - 6*b + 4. Let m be l(5). Let u be m/(2 - 2 - 1/(-18)). Let g = 143/8 + u. Which is bigger: 0 or g?
0
Let i = 0 + -0.2. Let v = 15.2373 - 15.26. Let f = 0.1627 + v. Do i and f have the same value?
False
Let i = -1432 - -4297/3. Is i smaller than -59?
False
Let y = -305 + 305.0929. Let j = 0.1629 - y. Which is smaller: 1 or j?
j
Suppose q + 2*l + 6 = -2, -2*l = 5*q. Let m be -2*(7/2 - q - 52). Is m less than 104?
True
Let p be 3/(4 + -10)*-10. Suppose 3*g - 4*z = -9*z + 311, -4*z = -p*g + 580. Is g not equal to 112?
False
Let g = 1416.1 - 1416. Are 48 and g unequal?
True
Let h(p) = -3*p - 4. Let a be h(-10). Suppose -62 - 298 = 3*k. Let f = -95 - k. Which is smaller: a or f?
f
Let d = -7663 - -574. Which is greater: d or -0.1?
-0.1
Let m = -0.27 + 0.3. Let w = m - 5.83. Let l = w - -6. Which is bigger: l or 6/5?
6/5
Let z be 1668/(-7) - ((-172)/14 - -12). Let y = z + 238. Which is smaller: y or 12/53?
y
Suppose 5*c - 587 = -3*q, 160*c - 161*c + 127 = -q. Which is greater: 1096/9 or c?
1096/9
Suppose 8*j - 8 = 16. Let p be 10/(-77) + 0*j/(-9). Let i = -74/77 + p. Is -2 not equal to i?
True
Let n = 38 + -21. Let o = n - 61. Let k = o - -43.9. Is 0.2 != k?
True
Suppose 12 = -5*l + 697. Let i = -202 + l. Let q be (39/i)/(1/5). Is -4 greater than q?
False
Suppose -1 = -2*w + 3. Let i = w + -2. Let j = -328715/9 - -36527. Is j not equal to i?
True
Let i be (-32)/(-112) + (-9)/7. Which is smaller: i or -1/4522?
i
Suppose 5*y + 22 = 4*c + 61, 3 = 4*c + y. Let k be 8/10 + (-2953)/3685. Which is bigger: c or k?
k
Suppose 13*h - 17*h = q + 7101, -h = 3*q + 1778. Is -1776 < h?
True
Let f be 2/8 - 1938/(-184) - -4. Is 16 at most f?
False
Suppose 106*w - 186 = 2*x + 110*w, 3*x + w + 259 = 0. Is -253/3 smaller than x?
False
Let p(y) = y**3 + 2*y**2 + 3*y - 18. Let v be p(-6). Let k be v + (1 - (-2 + -2 - -7)). Let w be (-38)/(-133) + 24/k. Which is smaller: 1 or w?
w
Suppose 2*j = -5*p - 5, 0*j + 20 = j - 5*p. Suppose j*r - b = -3, -21 + 16 = -5*r + 5*b. Is 11/43 less than or equal to r?
False
Let c = -28731 + 19746. Is -8984 < c?
False
Let a = 676177/8148955 - 2/39751. Which is smaller: 0 or a?
0
Let c be (4 - (-823 + 6))*-2. Let f be c/(-2898) + 2*2/(-7). Which is bigger: 0 or f?
0
Suppose -22*o = -13*o + 1089. Let w = 116 + o. Let j = -995/246 - 5/41. Which is greater: j or w?
j
Let j be (1196/(-65))/(2/(-5)). Suppose -x + j = -0. Let l = x - 43. Which is smaller: 1 or l?
1
Let q = -586250930483/12252577641915 + -28/159611511. Let x = q - -2/1181. Let s = -274/1105 + x. Is 1 at most s?
False
Let h be (-96)/46 + 4/2. Suppose 69070 = -242*w + 69070. Which is smaller: h or w?
h
Let r = 143 - 142.985. Let n = r - -0.985. Let z = 2/97 + 91/291. Is n > z?
True
Let d be (-1026)/(-285)*7/((-4214)/20). Is d <= 1?
True
Let f(h) = 67 - 4*h + 4*h - 11*h. Let u(o) = -5*o**3 + 5*o**2 + 3*o - 1. Let r be u(-1). Let p be f(r). Which is smaller: p or 3/34?
3/34
Let t be ((-30923904)/(-1328019) - 23) + 2/(-7). Are t and 1 nonequal?
True
Suppose -l - 2*l + 36 = 0. Let q = -9361 - -9372. Is l greater than or equal to q?
True
Let z(x) = 45*x - 211. Let y be z(20). Are 689 and y non-equal?
False
Let i = 117.15 + 3.85. Let d = i + -121.04. Is 0 greater than or equal to d?
True
Let w(v) = -7*v + 4. Let r be w(6). Let p = -3593 - -3553. Which is bigger: r or p?
r
Let w = 1 + -21. Let z be -3 + (-1)/(1/542*-2). Let r = z - 268. Which is smaller: r or w?
w
Let m = -44425/988 + 583/13. Let a = 957/380 + m. Which is greater: a or 1?
a
Let n(k) = -22*k - 704. Let v be n(-32). Which is greater: -5/1313 or v?
v
Suppose 5*r - 5*j - 10 = 0, 0 = 3*r - 5*j + 4*j - 6. Suppose r*g - 10 = 4*u - 30, 4*g = -u - 13. Let l = 1377/7 - 197. Which is bigger: l or u?
u
Let w(x) = 6*x + 2. Let l be w(-2). Let d = -177 + -726. Let v be (d/28)/((-6)/(-2)). Which is smaller: l or v?
v
Let m be -3 - -2 - (-1 - 0). Let z be -1 + 21 + 191226/(-9562). Which is bigger: m or z?
z
Suppose 8154 = -4*v + 3218. Is -1236 >= v?
False
Suppose -1245 = 214*i - 219*i. Is 260 < i?
False
Let m be 2 + -1 - ((-27471)/138 + 4). Let f = -196 + m. Which is smaller: 0 or f?
0
Let f be (-3)/(12/(-16))*72/(-91824). Does f = 1?
False
Let r = 824653/41052 - 16/3421. Are r and 21 non-equal?
True
Let o = -36239 - -941965/26. Which is smaller: o or -9?
o
Suppose -2*m = -3*g + 5362, -5*g - 8905 = -10*g - 3*m. Which is bigger: 1782 or g?
g
Suppose -22*p + 72 = -18*p. Suppose -6*d + 0*d = -p. Is d greater than 15/8?
True
Let k be (-616)/(-10) + (84/(-35))/4. Let b = 49 - k. Which is smaller: b or -19?
-19
Let t = -2438.41 + 2417. Let d = 21.2 + t. Is d >= -2/9?
True
Let a = 143 - 143. Let d = 81 + -2188/27. Is d bigger than a?
False
Let v(b) = 29*b**2 - 43*b**2 - 11*b + 20*b**2 - 1. Let r be v(2). Which is greater: r or 2/141?
r
Suppose 53*q = 52*q - 18. Let f be (1 - 20/15)*q. Which is smaller: -3/13 or f?
-3/13
Suppose -24*s - 2590 = -38*s. Suppose -189*z = -s*z + 8. Is z at most -20/21?
True
Let c = 0.165 - 9.965. Let z = c - -9.9. Is z > 25?
False
Let h = -3 - -1. Let w = -21218994/20402975 - 4/816119. Which is greater: w or h?
w
Let w(r) = -5*r**3 - 3*r**2 - 2*r + 3. Let t be w(-5). Let a = -829/2 + t. Let s = 148 - a. Which is greater: s or -2?
s
Let b = -2871 + 1166. Let g be ((-65032)/b)/(-1*2). Let y = g + 306/31. Which is greater: -2/3 or y?
-2/3
Suppose -9*b - 4*l = -10*b + 14, 2*b - 4 = 5*l. Let q be 6/(-1)*(-5)/(-2). Is q smaller than b?
False
Let c(h) = h**3 - 9*h**2 + h - 6. Let v be c(9). Suppose 0 = v*z - 6 - 45. Let q = -24295 + 24314. Which is greater: q or z?
q
Suppose 2*m + o + 179 = 41, -2*o = 4. Suppose 65 = 20*t + 5. Suppose 18 = -3*l + 3, -a + t*l = 52. Are m and a equal?
False
Let h = 57 - 55. Suppose -b + 23 = 4*j, 0*b + h*b - 2*j = -4. Suppose b*p = -p - 76. Is -19 greater than p?
False
Let o = -5089 - -5070. Is -27 bigger than o?
False
Suppose -2*v + 0*z - z + 113 = 0, -4*z = v - 53. Let j(s) = -2*s**3 + 23*s**2 - 16*s + 110. Let p be j(11). Are v and p nonequal?
True
Suppose 2*i = 3*n - 15, 2*n = -0*n + 5*i + 10. Suppose -2*p - n*k - 30 = 16, p + 20 = -k. Let a(q) = -q**2 - 10*q - 18. Let j be a(0). Is p > j?
False
Let j(b) = -3*b**2 - 26*b + 91. Let x be j(4). Which is bigger: x or -1143/19?
-1143/19
Let j = -6 - -105. Let h = j - 99. Is -0.092 >= h?
False
Let o be (-68 - -70)*1*3/(-2). Let a be (o/((-90)/(-56)))/((-99)/(-165)). Let v(k) = -2*k + 6. Let n be v(5). Are a and n equal?
False
Let n be 9754/176 + (75/165 - 1). Is n less than 55?
True
Let c = -0.040398 - 362.029602. Let h = 360 + c. Let u = h - -1.07. Which is smaller: 12/5 or u?
u
Let f be 7 - ((-1)/(-3)*3 + -3). Let g(q) = q**2 - 14*q + 36. Let n be g(f). Is n > 6/11?
False
Let d be (-3)/(-5) + (-17)/(-5). Suppose -d*m + 105 = -j, 3*j + 101 = 3*m - 214. Let b be (6 + j/(-5))*(-1)/(-6). Is b greater than -1/4?
True
Let i(y) = -y**3 + 6*y**2 + 50. Suppose 0 = 3*z - 19*z + 112. Let q be i(z). Is q < -2/9?
False
Suppose 103181 = -23*l - 22905. Is -5482 greater than or equal to l?
True
Let w = -56760/59 + 962. Is w > -4/5?
True
Let x be (5/(-2))/(3/(-6)). Suppose -3*g + 0*g + 6 = -2*i, x*g = 0. Let v = 3657 - 3655. Is i less than v?
True
Let r = -53.6243 + 0.0243. Let l = -53.64 - r. Is l != 15/2?
True
Suppose u + 4*a - 37 = 0, -2*u - 5*a + 90 = u. Suppose 33 = -2*v + 3*w, 5*v + 2*w = -w - 135. Let k = v + u. Do k and -6/13 have the same value?
False
Let g(l) = 2*l**2 + 16*l + 17. Let t be g(-7). Suppose n