) - 6*w(s). Let k be t(0). Which is smaller: -4/51 or k?
-4/51
Suppose 10 - 10 = 20*i. Let k be (-315)/(-306) + (-1)/1. Which is smaller: k or i?
i
Let j = -0.5469 - -0.5369. Is j less than 0.5?
True
Suppose 3*t - 4*f + 5 = 2*t, 0 = 5*t - f + 6. Let q(x) = -132*x**3 - x**2 + 1. Let l be q(t). Which is smaller: l or -2/5?
-2/5
Let o = 48 - 36. Suppose -28 = -4*c - 4*d, 5*c + 0*d + 4*d - 39 = 0. Is c smaller than o?
True
Let w = -334 + 125. Let l = -210 - w. Let v = -5/14 - -166/455. Is v smaller than l?
False
Let g be (42/(-15))/(4/40). Let l = -888/5 - -206. Let h = g + l. Is h greater than or equal to 25?
False
Let i be 2/(-13) + (3 - (-3437)/91). Let t = i + -10578/247. Are t and -3 nonequal?
True
Suppose -8*i - 3*h = -9*i + 944, -2*h = -5*i + 4759. Is 956 > i?
True
Let b = 182 + -126. Let k = -61 - -61.2. Are b and k equal?
False
Let g be (14/((-728)/5122))/(79/(-2)). Does g = 2?
False
Suppose 0 = -4*m - 5*x - 28, -m - 5 = 16*x - 15*x. Suppose -f + 8 = f. Suppose -f*g - g - 60 = 0. Which is smaller: g or m?
g
Let b(r) = -3*r**3 + 17*r**2 + 57*r + 47. Let w(s) = s**3 - 6*s**2 - 19*s - 17. Let a(d) = 2*b(d) + 7*w(d). Let h be a(10). Is h > -7?
False
Let n(l) = -2*l**2 - 101*l + 51. Let g be n(-51). Is -1/11456 smaller than g?
True
Suppose -19*l - j = -24*l, -3*l - 2*j = 13. Which is greater: l or -2/741?
-2/741
Let v be (-2)/(-2 - -44)*881386/(-10). Let n = 4197 - v. Let d = n - 1/15. Which is greater: 0 or d?
0
Let s(y) = -y + 3. Let a be s(4). Suppose 93 = -3*c + 6*c. Suppose 2*l = -4*j + 136, -3 = j + 2*l - c. Is a smaller than j?
True
Suppose 354 = -28*g + 32*g - 5*l, -4*g + 396 = 2*l. Which is bigger: 65 or g?
g
Let l(u) = u**3 + 26*u**2 + 67*u + 448. Let x be l(-24). Let v(b) = b**3 + 6*b**2 + 3*b + 6. Let q be v(-6). Let c be q/9*(1 - -2). Which is bigger: c or x?
c
Let l(d) = d**3 + 8*d**2 + 8*d - 4. Let m be l(-6). Let y be -8*(m/8 - 2). Suppose 0 = 5*x - 3*o + 30, 2*x + 2*o - 1 - 3 = 0. Do x and y have different values?
True
Let v be (-40)/(-30)*(-945)/(-2). Is v equal to -1?
False
Let w(u) be the first derivative of u**4/4 - 10*u**3/3 + 10*u**2 - 31*u + 21. Let i be w(10). Which is bigger: i or 170?
170
Suppose -21*o - 216221 = 24964. Which is smaller: -11486 or o?
-11486
Suppose 3*q + 488 = 4*v - 304, -4*v + 4*q = -792. Suppose -3*x - 384 = -2*t - x, v = t + 2*x. Which is smaller: t or 193?
193
Let g be (-203)/(-42)*69 - 4/(6 + 2). Which is smaller: 998/3 or g?
998/3
Let w = 271/187 + -14/11. Let n be (-4)/(-22)*(-33 + 55). Which is greater: n or w?
n
Let p be (4/10*5)/(59/6). Let m be (((-2464)/14455)/(-4))/((-2)/(-90)). Let s = m - p. Which is smaller: s or 1?
1
Let y = 34 - 60. Let w be (-7)/1*(3 + -12). Let b = 36 - w. Is b at most y?
True
Let m = 274 + 16. Let c = -3773/13 + m. Which is smaller: c or -0.1?
c
Let w = -28769/17114 - -145/86. Which is greater: 0 or w?
w
Let h = -11 + 13. Suppose 0 = p + 1, 5*y - 361 = -p + h*p. Let o be 2/(-6) - (-42)/y. Is 0.32 at most as big as o?
False
Suppose -52 = l + 3. Let i be 4/(-22) - (-3 + 65/l). Suppose -11 = 2*q - 5*n, -i*q = -3*n + 3 + 40. Are -43/3 and q equal?
False
Let l = 566 - 574. Let s be (13 + -5)/l*(2 + -1). Is s less than -132?
False
Let i = -249 + 114. Let r = 138.9461 + -0.9461. Let n = r + i. Which is bigger: n or 8?
8
Let o = 51833 + -51755. Let p = -5 - -8. Which is bigger: p or o?
o
Let t be (-23*(2 + 0))/(-2). Let b = 325910/7 - 46535. Is t bigger than b?
False
Let n = -0.120753 - 70.010247. Let d = n - -0.131. Is d less than or equal to -3?
True
Suppose 7 = -258*a + 251*a. Which is bigger: -24/497 or a?
-24/497
Let g = -29 + 40. Suppose 2*b - g = 2*x + 69, 115 = -3*x + 2*b. Let f be (-126)/x*(-5)/(-7). Are 2 and f equal?
False
Let a = -55.5 + 57.79. Let m = -1.79 + a. Which is greater: -0.5 or m?
m
Let t = 402 + -397. Suppose 14*j - 15*j - 252 = -t*m, 2*m = -4*j + 92. Is m bigger than 203/4?
False
Let x = -190809/38 + 5022. Let y = -537 - -10207/19. Let r = x - y. Which is smaller: 0 or r?
0
Let r be -21*(0 + (-5)/(-15)). Let h be 2 + (r - -5 - -1). Which is smaller: h or 0.051?
0.051
Let i = 324/61 - 2103549/396073. Which is smaller: -1 or i?
-1
Let g = -164 - -164.7. Let c = 652/5 - 131. Which is smaller: c or g?
c
Let o be (-63)/(-21)*4/3. Suppose l - 4*l + o = h, -3*l - 20 = -5*h. Is l <= 2/245?
True
Let p = 519 + 208. Let w = p - 728. Is w greater than 0.141?
False
Let r = -6185.6 - -6196. Is r at most 37?
True
Let r = -250 - -172. Let u = r + 60. Let a be 18/(-81) + (-2 - (-212)/u). Is -14 at most as big as a?
True
Let m = -0.07032 - -0.37032. Which is greater: -1/158 or m?
m
Let i = 278 + 238. Let v = i - 491. Which is smaller: -0.2 or v?
-0.2
Suppose -2248*t + 31 = -2217*t. Are -4/303 and t equal?
False
Let w be ((-7 - (-270049)/(-270309)) + 8)*6/(-4). Is 0 greater than w?
True
Suppose -r = 3*p - 59, 0 = -6*p + 5*p - 2. Let z = r - 72. Let k(l) = -4*l - 9. Let t be k(z). Is t not equal to 19?
False
Suppose -18*s = 21*s + 624. Let w be ((-3)/9)/(1272/s). Which is smaller: 0 or w?
0
Let a be 4 - (-170 - (-1 - -1)). Let u be 6 - 39/a*28. Do 1 and u have the same value?
False
Let c = -7097248 + 361978465/51. Let q = -369 + c. Let m = -73.9 - -74. Which is smaller: q or m?
q
Let w be 2028/(-8 - (-333)/18). Which is smaller: w or 193?
193
Suppose -12*y = -613 - 635. Let w be (-2)/186*78/y. Which is bigger: w or 1?
1
Let n = -46 - 443/2. Let h = -259 - n. Are h and -1 unequal?
True
Suppose 4*s = -0*s + 28. Suppose -27 = -4*u - s. Suppose -3*x + 8 = -2*d + 3*d, 3*x = 6. Is u greater than or equal to d?
True
Suppose -6*m + 9*m - 36 = u, 111 = -4*u + m. Let i(l) = l**2 + 14*l + 1. Let t be i(-12). Which is bigger: u or t?
t
Let h = 168 + 23. Let b = 188.9 - h. Which is bigger: 3 or b?
3
Suppose 0 = -64*l + 111*l + 69983. Is l at most -1492?
False
Let g = 873 - 1939. Let w = 653 + g. Are w and -2/3 unequal?
True
Let a = -20014 - -4583197/229. Which is bigger: a or 1?
1
Let p = -32609 + 32515. Which is greater: p or 1?
1
Let r(m) = -m**3 - 22*m**2 + 176*m + 3072. Let d be r(-24). Which is bigger: 2/6689 or d?
2/6689
Suppose 49*i - 108045 = 490*i. Which is smaller: -13 or i?
i
Let c be (-2)/(-34) + (-21256)/356728. Is 0 bigger than c?
True
Let x = -12.83 - 86.17. Let n = -410 + 310.95. Let f = n - x. Do f and 1/4 have the same value?
False
Let n = -1606 + 1589. Let m be 1 - 4 - (-2 - -18). Which is smaller: n or m?
m
Let h(t) = -t**3 + 45*t**2 - 198*t - 61. Let k be h(40). Which is greater: 203/11 or k?
k
Let v be 64/((-15)/10*(-2)/3). Let k be v/36 - (4 - 1). Which is greater: k or -2?
k
Let r = 0.8039 + 250.2561. Let s = r - 251. Is 6 bigger than s?
True
Let l be 2/(-6) + 240/18. Let i = 18 - l. Let h(j) = -j**3 + 4*j**2 + 4*j + 4. Let s be h(i). Is s equal to -1/44?
False
Let b be ((-330)/(-825))/((-12)/10) + 14289/(-36). Which is bigger: -396 or b?
-396
Let w = -320 - -323. Let c be ((-16)/w)/(-2 - (-20)/15). Let u be 146/20 + (-5)/(-25). Does u = c?
False
Let k = -5970.02 - -5892. Let f = 0.98 - k. Is -1 <= f?
True
Let b(f) = -f**3 + 29*f**2 + 551*f - 212. Let m be b(42). Let p be 708/(-30)*(-10)/66. Let j = -166/33 + p. Is m smaller than j?
True
Let f(i) = -i**3 + 21*i**2 - 39*i + 21. Let n be f(19). Suppose -4*v = n*s + 1034, -5*s + 299 = -3*v - 444. Is v >= -256?
True
Let b = 1.331 + -2.162. Let w = b + 0.031. Which is smaller: 0 or w?
w
Let a be (-11)/(-2)*(-4 - -2). Let g(c) = 10*c**2 - 7*c + 25. Let p be g(2). Let w be (64/6)/((-34)/p) + 5. Is w at least as big as a?
True
Suppose 0 = -18*b + 13*b - 2180. Is -436 > b?
False
Let p = -2639 + 100267/38. Let n be (6/3 - 2)/(-1). Is n at most as big as p?
False
Let c be 2/(-8) + (-5)/(-4). Let o(f) = f + 22. Let b be o(-20). Let s be (-1 + (-402)/(-414))/b. Which is smaller: s or c?
s
Let i = -3015/7 - -431. Let o be 4/5 - (-105)/25. Let k be 45/150*o/(-6). Which is greater: i or k?
i
Suppose -2*g + 253 = 647. Which is smaller: -195 or g?
g
Let z = 3382 + -3382. Which is greater: z or -43/35?
z
Let v = 1628 - 1630. Is v bigger than 3/95?
False
Suppose 6264 = 56*b - 29*b. Which is bigger: 230 or b?
b
Suppose 0 = -33*n + 19176 + 26265. Suppose -n + 202 = 25*f. Is -0.2 equal to f?
False
Let o = -0.18 - -49.18. Let p = 802 + -850.9. Let c = o + p. Is 2 not equal to c?
True
Let i = -237.9916 + -1.6084. Is i <= -2/