h. Suppose -9*l - 2*l + 40 = -7*l. Which is smaller: y or l?
y
Let o be 3/(-9)*(203 + 1)/(-2). Let m = o + -51. Let a(t) = -t**3 - 18*t**2 - 16*t + 6. Let w be a(m). Is -14 >= w?
False
Let f = -8.1 - -7.1. Let n = -1168 + 1083. Do f and n have the same value?
False
Let z = -112192/141 + 2387/3. Is z <= 76?
True
Let y = -710 - -709.493. Let g = 0.507 + y. Which is greater: -797 or g?
g
Let m = 2 - 0. Let z = -0.1218 - -0.1218. Let x = z - m. Do x and -0.11 have the same value?
False
Suppose 0 = -14*u + y + 23, y - 143 = 5*u - 157. Let t = 0.6 - -3.4. Which is bigger: t or u?
t
Let a be (-7 + (-2776)/(-392))*105/10470. Which is smaller: a or -2/9?
-2/9
Let c(o) = -73*o + 23*o**2 - 10*o**2 + 77*o. Let x be c(-2). Which is bigger: 42 or x?
x
Suppose -3*v = -2*h + 23, -2*h - 5*v + 2*v + 29 = 0. Suppose -h*n = -17*n - 12. Is n > 16?
False
Let w be (-53)/(-689) + 15/(-13). Is w greater than -18/11?
True
Suppose 0 = -13*b + 6*b + 952. Let j = -682/5 + b. Which is bigger: 0.22 or j?
0.22
Suppose 3*w + 35 = -2*w. Let x be w/28 - 2/(-56)*-9. Which is greater: -2 or x?
x
Let h be 2 + 4 + -1 + 5. Let x be (h + -9)*(0 + 1). Is x bigger than -57?
True
Let c = -0.3322 + -63.4078. Let o = c - -64.1. Are 2/5 and o unequal?
True
Let k = 139 - 133. Let s be 30/24*4 - k. Let r be 2/11 - (-144)/(-429). Which is greater: s or r?
r
Let g = -1/6301 + -5614181/63010. Let q = g + 89. Which is bigger: 4/11 or q?
4/11
Let o = 216.54 - 215. Let m = o - 1.37. Is m greater than or equal to 0?
True
Suppose -250 = 12*o - 238. Let u be o*(7 + (-9468)/1353). Do 0 and u have different values?
True
Let w = 64727 + -199423889/3081. Is 0 at least as big as w?
True
Suppose -2*r - 45 = -3*h - 46, -3*h + 8*r = -5. Which is bigger: 6.285 or h?
6.285
Suppose 3*c + 5*u = 4*c - 79, 467 = 5*c - u. Suppose c*d + 1530 = 100*d. Is d greater than 254?
True
Let r be ((-17)/170)/(-4*1/(-50))*-1172. Are 1462 and r unequal?
True
Let z = -2865 + 2884. Suppose -l = 4*l - 95. Is l at most as big as z?
True
Let u = 5277 + -9755. Which is smaller: -4482 or u?
-4482
Let s be ((-33)/9 + 5 + -3)*(-34)/(-4250). Let v = -4 - -3. Are s and v equal?
False
Let s = -0.329 - -0.27. Let k = s + -41.941. Let w = k + 42.3. Is 4 greater than w?
True
Suppose -5*d + 14*d = 36. Suppose 5*r + t - d*t = 814, -3*t + 826 = 5*r. Suppose -46 + 164 = -3*j - 2*n, -4*j - r = n. Which is smaller: -43 or j?
-43
Let l = -44 + -5. Let p = l + 50. Let x = -4/23 - -38/483. Are p and x nonequal?
True
Let k be 1 + (0/3 - -1). Let c = 4922 + -4870. Is c at most as big as k?
False
Let w(r) = -60*r + 177. Let s(a) = -21*a + 59. Let k(d) = -17*s(d) + 6*w(d). Let x be k(16). Which is smaller: x or 49/5?
49/5
Suppose -18*v + 138 = -7368. Which is greater: v or 408?
v
Let w be 7/((3/1)/(-6) + 1). Let o be (-1)/w*2 + 3/7. Let z = 91 - 187/2. Which is smaller: o or z?
z
Let v = -115 + 178. Is v greater than 62?
True
Let c = -24 + -60. Let o = -80 - c. Suppose 7*u + 2*x = o*u - 1, -4*u + 5*x = 32. Which is smaller: u or -5/2?
u
Let y(s) = s**3 - 7*s**2 + 7*s - 4. Let f be y(6). Suppose 4*w - 5*z - 1 = 0, f*w + 0*z + 3*z = -5. Let b = -14.01 + 12.91. Which is smaller: w or b?
b
Let q = -6869 - -7280. Is q > 410?
True
Let w be -4 - ((-6 - -4) + -2). Suppose w = -33*n - 40*n - 8614. Is n less than -591/5?
False
Suppose 0 = -2*p + 4*k - 22, -5*p - 3*k - 71 - 49 = 0. Let o = 265 + -263. Suppose 4*a = 3*g + 12 - 77, o*a + 25 = 3*g. Is p bigger than a?
False
Let p be 10 - (17008840/773130 + -12). Does 1 = p?
False
Let m = 1.98 - 5.74. Let w = 79.76 + m. Which is smaller: w or 1/2?
1/2
Let o = 81 + -85. Let s be ((-6)/o)/(2 + 29/(-16)). Let i = 3 - 3.1. Which is bigger: s or i?
s
Let i(b) = b**3 - 4*b**2 + 3*b + 3. Suppose 24 = -v + 9*v. Let a be i(v). Suppose a*q = 5*q - 6*q. Is q at most -2/111?
False
Suppose -6 = 883*q - 877*q. Let z = q + 11/7. Is z smaller than 0?
False
Let i be (-337)/((((-30)/(-9))/(-5))/((-4)/6)). Which is bigger: -333 or i?
-333
Let b be (-524*4/24)/((93/144)/31). Is -4192 less than or equal to b?
True
Let f = 504.9 - 419. Let a = -86 + f. Let k = -2 + 1. Is k at most a?
True
Let y = -401/1428 + -1/204. Let i = 6650 - 7322.8. Let x = i + 673. Is y >= x?
False
Let j be 590/(-50)*(-4 + -3). Is j not equal to 84?
True
Suppose -4*k + s = -31, -5*k + 65*s - 60*s + 50 = 0. Suppose 3*l - 9 = -j - k, 0 = -2*l + 3*j + 5. Are l and 1/323 nonequal?
True
Let l = 0.0713 - 0.0063. Let s be (1 - (-10)/(-8))*(0 - 6). Is s not equal to l?
True
Let s = -7942 + 7900. Is -19 > s?
True
Let t(m) = 81*m + 81*m + 44 - 163*m. Let z be t(14). Let y be (3/z)/(5/(-10))*1. Which is smaller: y or -19?
-19
Suppose -2*v - 92*b + 89*b - 152 = 0, 176 = -2*v + 3*b. Is -105 at most as big as v?
True
Let i be (-6116)/(-120) + (-3)/18. Let w = i - 51. Suppose -2 = -2*y + 5*u - u, -19 = 5*y - 2*u. Which is smaller: w or y?
y
Let f = 62/2825 - -11745296/48025. Which is smaller: f or 244?
244
Let m = -70/27 - -101/216. Let a be (-5)/((-150)/40)*27/(-12). Which is smaller: m or a?
a
Suppose -2*y = -5*y - 279. Let t = -213/2 - y. Suppose f + 0*f + 11 = 3*a, 3*a + 3 = 0. Which is bigger: t or f?
t
Let v = 23 - 39. Let m(k) = 5*k + 71. Let a be m(-13). Let d be (-8)/(12/18 - 1/a). Is d at least as big as v?
True
Let q be (-31476)/(-48)*1 - -8. Is q less than 663?
False
Let p be ((-216)/180)/(6/(-50)). Let x(u) = -3*u + 3. Let v be x(2). Let r be (-42)/v + 1 + -4. Which is greater: r or p?
r
Let c = 9.5 - 87.5. Let a = -79.5 - c. Let w = a - -30.5. Is w at least -2?
True
Let f(a) be the third derivative of 0 - 1/6*a**4 - 1/2*a**5 - 5/6*a**3 + 0*a - 15*a**2. Let o be f(-1). Is o smaller than -32?
False
Let y = 132.2 + -136.29. Is -2 less than y?
False
Let i be -27*((-102)/(-50) - 2). Let d be (-3)/((-17625)/(-6220)) + 0. Let h = d - i. Is 1 at most as big as h?
False
Let w be 5/3 - ((-1335)/36)/(-5). Let k be (0 + -1)/((-2)/(-22)). Let o = k - -6. Is w less than o?
True
Let g(j) = 4*j + 8. Let s be g(11). Suppose -2*u - 172 = 4*c, -5*c - s - 160 = u. Let b = c - -42. Which is bigger: 2/85 or b?
2/85
Let l be 4/(16/20)*15977/(-65). Which is smaller: -1226 or l?
l
Let c = 69 - 38. Suppose c = -5*k + 46. Suppose -216 = k*p - 0*p. Which is bigger: -73 or p?
p
Let i = 78 - 82. Let s be (-6)/(-5 - 14/i). Let p be (s/(-90))/(-4 - 92/(-24)). Which is bigger: p or 0?
p
Let q = -296 - -778. Let y = q - 939/2. Let g(m) = 3*m - 6. Let f be g(6). Which is greater: f or y?
y
Suppose -120 = -4*u + 160. Which is smaller: 74 or u?
u
Let q be (-5076 + -630)*(-1)/6. Is q less than 943?
False
Let g = -7247645/701 - -10339. Which is greater: g or 0?
0
Suppose f - 7 = 4*j, 5*j + 3*f - 3 = -16. Let i be 7/(-105)*-137 + (-72)/(-2 + 10). Does j = i?
False
Suppose 9*k = 48 - 3. Suppose 0 = f + t + k, -3*f + 5*t - 5 = -2*f. Let v = 1 - 7. Which is bigger: f or v?
f
Let x = 326.8 + -333.8. Which is bigger: x or -8/43?
-8/43
Let t = -2126 + 10604/5. Which is smaller: t or -2/53?
t
Let a = -620.8 - -574. Let b = 51 + a. Let r = -4.3 + b. Is r smaller than 2?
True
Suppose -190 = 3*n - 187, -2*p = -n + 347. Is p at most -64?
True
Let l be ((-5316)/(-168))/(348/88 - 0) + -8. Let f = -6 - -5. Which is greater: f or l?
l
Let d(h) = -2*h - 27. Let j be d(-15). Suppose -5*k - 31 = p, -2*k = j*p + 7 + 21. Let o(t) = t**2 + 10*t + 23. Let f be o(p). Is f > -2/29?
False
Suppose 6 + 0 = 2*c. Suppose 4*u - 18 = 94. Suppose 0 = -c*p - 4*p + u. Is p >= 3?
True
Suppose -5*x - 16 = 24. Let g be (3 - (-132)/28) + x. Which is greater: 0.63 or g?
0.63
Suppose 4*w + 2*z = -38, z - 29 = 4*w + 6. Let q be ((-16)/(-30))/(((-30)/w)/(-5)). Is q at most 0?
True
Let g(s) = s**2 - 19*s + 51. Let n be g(24). Let c = -180 + n. Which is smaller: 1 or c?
c
Let w = -23 - 3. Suppose 1057486 = x + 1057515. Are w and x non-equal?
True
Let o be ((-56)/(-42))/(712/108). Let v = o + -197/534. Does 28 = v?
False
Let i = 4394 + -4388. Are i and -0.473 equal?
False
Let v(t) = t**3 - 25*t**2 - 89*t + 97. Let j be v(28). Which is greater: 88 or j?
88
Let h = 0.775 + -0.755. Let t = 0.7 + -11.7. Let o = 11.1 + t. Which is smaller: o or h?
h
Suppose -o - 5162 = -t, 5*t = 1038*o - 1043*o - 25770. Is -5159 != o?
True
Let l be 108/(-15) - -7 - (-158)/90. Let i(c) = c**2 + 37*c - 305. Let r be i(-44). Does l = r?
False
Suppose 537 = 4*s + 3*v, 2*s 