. Which is smaller: z or l?
l
Let r = 9 - 37/4. Let k be 3 + ((-1815)/259 - -1) + 3. Let l = k + 1821/1036. Which is smaller: r or l?
r
Suppose 0*l + 2*l = 8. Suppose 0 = -q + 4, 2*a - l*q - 3 = -1. Suppose y + w + a = -2*w, -4*w - 12 = -5*y. Is 1/6 greater than or equal to y?
True
Let u(z) = -z - 8. Let r be u(-12). Let y be -4 + 54*r/8. Suppose -2*a - 5*x + y = 0, a + 0*x = -x + 4. Which is bigger: a or 2/33?
2/33
Let t be (-2)/4*238/(14 - 7). Is -15 less than t?
False
Let t = 0.29 + -0.09. Let g = 161.5 + -163. Which is bigger: g or t?
t
Let v = -0.0711 - 472.9289. Which is smaller: v or -0.2?
v
Let l(k) = 2 - k**3 + k**3 + 0*k**3 + 2*k**2 + k**3. Let w be l(-2). Let i be (0*w/(-6))/(-2). Which is smaller: -1/4 or i?
-1/4
Suppose -5*m = -6 - 24. Let z be -4 - ((-40)/m - 0). Which is bigger: z or 4?
4
Suppose 3*u - 75 = 8*u - 3*p, -p - 77 = 4*u. Let t be (u/(-12))/((-3)/(-4)). Suppose -t + 12 = -v. Which is bigger: -8 or v?
-8
Suppose 4*f = g + 37, -5*g + 5*f = -6*g + 8. Let h = -27 + 10. Is g smaller than h?
False
Let j be -1 - 0 - (-736)/935. Let u be 6/(-21) - (-11)/(25410/744). Let q = j + u. Is q > -1?
True
Let l be 2 + -1 + -6 + 3. Let q be (-4)/(-18) - 427/(-63). Let a be 15/5 - 25/q. Which is smaller: a or l?
l
Let v be (-5)/(-1) - (-2 - 1). Suppose -3*t = 4*s + v, t = 3*t + 5*s + 10. Let o be ((-8)/(-33))/(2/3). Is o >= t?
True
Let g = 1 + -0.08. Let j = g - 2.92. Are -11 and j nonequal?
True
Suppose 5*j - 4*j = -4*j. Is j <= -1/742?
False
Let z be -1 + -1 - 5/5. Let f be 0 - ((-34)/(-8) - z). Suppose -8 = -6*r - 50. Is r > f?
True
Let x = 313 + -313. Is 89 at most x?
False
Suppose d - 516 = r, 4*d = -5*r + 1128 + 900. Are d and 512 non-equal?
False
Let p(d) = 26*d - 103. Let w be p(4). Which is smaller: w or -89?
-89
Suppose 2*v = 35 + 301. Suppose -5*x = q - v, 6*x - 4*q - 110 = 3*x. Which is smaller: x or 35?
x
Let a = -0.07 + 0.2. Let p = 6.13 - a. Let s = 6.04 - p. Is -2/7 greater than or equal to s?
False
Let a = -641 - -642. Which is smaller: a or 1/129?
1/129
Let a = -2586 - -10219/4. Is a > -32?
True
Suppose -13*j = -18*j + 5. Is j > -2/685?
True
Let m be 45/78*(1 - 6/(-18)). Is 0 at least as big as m?
False
Suppose 16 + 8 = y - 4*f, 4*f = -4*y - 4. Which is bigger: y or 8/3?
y
Let d be 400/(-204) - (-2 + -2 + 2). Which is smaller: 0 or d?
0
Let c(y) = -y**2 - 4. Let f be c(0). Let p be 18 - -2*(-9)/(-6). Let t be (236/(-42) - (-6)/p) + 0. Is f bigger than t?
True
Let s be 64/(-108)*-3*-30. Let z = s - -1063/21. Do -3 and z have different values?
True
Let t(c) = -c - 12. Let a be t(-11). Let p be a/(((-12)/9)/4). Which is smaller: 13/3 or p?
p
Let q be -1 + (-2)/(-1) + 0. Let x = 28793/180 + -798/5. Let w = 241/468 - x. Are q and w non-equal?
True
Suppose 5*j = 2*o - 22, -o + 5*j + 1 = -0*j. Let m = o - 6. Suppose -4*v - 43 = -m. Which is smaller: -6 or v?
v
Let s = -27902/75 + 372. Let g = -9 - -9. Are s and g equal?
False
Let w = 195.7 - 92.7. Which is smaller: 4 or w?
4
Let p be (172/30)/2 - (65 - 62). Which is greater: 0.11 or p?
0.11
Let z(a) = 112*a + 1069. Let t be z(-7). Which is smaller: 288 or t?
t
Let x = -2036 + 59068/29. Which is bigger: x or -1?
x
Suppose -4*v = -5*i + 340 - 1284, -i = -2*v + 190. Is i != -189?
True
Let x(v) be the second derivative of -v**4/12 + 3*v**3/2 - 5*v**2/2 - 4*v. Let m be x(8). Suppose -m = -0*k - k. Which is smaller: 1 or k?
1
Let y be 6/(-10) - 14/(-15). Let u = 11 - 2. Let s = 6 - u. Is y at least as big as s?
True
Suppose -9274 - 4013 = -129*o. Is o greater than 102?
True
Let f = -7 - -7.2. Let j = -1151 - -1133. Is j greater than f?
False
Let k(o) = -o**3 - 5*o**2 + o - 6. Let h be k(-5). Let w be (-14 - 1) + 8/(-8)*-1. Which is bigger: w or h?
h
Suppose 10*u = -5 + 1155. Is -0.01 greater than or equal to u?
False
Let c be (-1 + -178 - -1) + 54/(-18). Is c smaller than -183?
False
Let n = 1.52 + 1.98. Which is bigger: 1 or n?
n
Suppose -11*q - 613 = 1191. Is -163 at most as big as q?
False
Let g = 2 - -1. Suppose -7*f + 6*f + g = 0. Suppose f*d - 7*d = -28. Is 6 at most d?
True
Let l = -258 + 258.02. Are l and -11 unequal?
True
Let w = -11 - 19. Let j = 29 + w. Which is bigger: j or -2?
j
Let u = -22.9 + 22.9. Which is bigger: u or 149?
149
Let n(z) = z**3 - 13*z**2 + 22*z + 1. Let k be n(11). Let l be (56/9)/(-2) + 3. Which is greater: l or k?
k
Let l = 0.07 + -4.07. Suppose 4*z + 2 = -5*r - 23, -4*z - r = 5. Is z < l?
False
Suppose -18 = 60*w - 78*w. Let n = 793 - 8713/11. Is n < w?
True
Let k = -5756/9 + 635. Is k less than -4?
True
Let l = 89 - 153. Let p = l - -56. Do -8 and p have different values?
False
Suppose -6*a + 10 = -a - 4*d, 3*a = -3*d - 21. Which is greater: 63 or a?
63
Let g = 617 + -617. Is 5/84 < g?
False
Suppose -5*h + 16 = -2*u, -3*h = 15*u - 17*u - 12. Which is smaller: 38/61 or h?
38/61
Suppose 0 = 2*m - 4*k, 0*m = 5*m - 4*k - 24. Suppose m = 7*g - 15*g. Is g not equal to -1/137?
True
Let u be -17 + (1 - 20/5). Suppose -78*t + 86*t + 152 = 0. Is t bigger than u?
True
Let b be (6 - (3 + 0 - -48)) + 0. Is b <= -36?
True
Let k be (173920/1815)/16 + -6. Which is bigger: k or 0?
0
Let i = -967 - -950. Is -17 != i?
False
Let g = 2838/11837 - 20/89. Are -2 and g non-equal?
True
Suppose -2 = -i + 3*i. Is i equal to -1/282?
False
Let t = 3 - 2. Suppose n - 18 + 16 = 0. Is n bigger than t?
True
Let i = -9 + 5. Let q be (-130)/72 + i/(-16). Is -1 > q?
True
Suppose r - 1 = 2*r. Let k be (-88)/(-836)*2/(-14). Is k greater than or equal to r?
True
Let f = -3 + 2. Let o = -1 - f. Let q(d) = 32*d - 224. Let k be q(7). Is o > k?
False
Suppose -5*o = -0*o. Let x be (-2 + (-21720)/(-46))/(-2). Let v = 235 + x. Is v equal to o?
False
Let j = -422.1 - -422. Which is smaller: -1590 or j?
-1590
Let p = -1085 - -1094. Is 240/23 at least as big as p?
True
Suppose -54 = -11*f + 14*f. Let o = -25 - f. Which is greater: o or -90/13?
-90/13
Let b(l) = -21*l + 2. Let i be b(-3). Let u = i - 104. Do -40 and u have different values?
True
Let z = 154 + -153. Does 1/445 = z?
False
Let r(b) be the second derivative of -b**5/20 - b**4/12 + b**3/6 - b**2/2 - b. Let x = 274 - 274. Let p be r(x). Does p = -1?
True
Suppose 0 = k - 4*r - 244, -4*r - 292 = -3*k + 400. Which is greater: k or -0.1?
k
Let u(i) = 15*i + 3. Let v be u(1). Let m be v/32*(-32)/(-24). Is 2 at least m?
True
Let p be (6/(-10))/(2/(-50)). Let t be (10/p)/((-40)/18). Which is smaller: 0 or t?
t
Let u = 72 + -73. Is u at most as big as -1/1568?
True
Let d be (9/(-6))/(2/(-4)). Suppose -2*s - 5*f + 5 = -d*s, 5*f - 95 = 4*s. Are -31 and s nonequal?
True
Let q = -35/13 + 227/65. Let m = 3975 - 3973. Are m and q non-equal?
True
Let l be (11 - 11)/(1*(0 - 1)). Which is smaller: l or 22/23?
l
Suppose u = -5*y + 14, y + 70 = 5*u + 2*y. Suppose -33 = -3*f + 4*l, -4*f = -l - 2*l - 51. Which is smaller: f or u?
u
Let d be -2*(2/1 + -3). Suppose d = -5*g - 3. Let z be ((-2)/3)/(12/54). Are z and g equal?
False
Let o(i) = -i**2 + i + 2. Suppose -4*m - 6 = -2. Let y be o(m). Let z be 18*((-3)/(-30) - y). Is z != 2?
True
Let f be 21/(-84) - 3*(-6)/(-56). Is f smaller than 2/5?
True
Let q = -1155581/5972 + -1/5972. Let x = 190 + q. Is x bigger than 1?
False
Let m(h) = h**3 - 12*h**2 + 12*h - 6. Let j be m(11). Suppose -j*c - 27 = 4*n, c = 4*c - n + 6. Let b(x) = -x + 9. Let q be b(c). Is q at most as big as 11?
False
Let v = 2055 - 6167/3. Let o = 99 + 18. Let s = -821/7 + o. Is v smaller than s?
True
Let s = -4258/9 + 474. Suppose -2 = 2*a, 3*a + 0*a + 6 = 3*j. Which is smaller: j or s?
s
Let r = 86 + -100. Let f = -58 - r. Is -44 <= f?
True
Let u(v) = -v**3 - 11*v**2 - v - 3. Let y be u(-11). Let c(n) = 2*n**2 - 11*n + 12. Let p be c(y). Let d be p/266 - (-20)/(-140). Which is smaller: d or -1?
-1
Let k = -20 + 11. Let d = 11 + k. Let i be 1/(d/(-3)) - 1. Is -2/7 at least as big as i?
True
Let p be 2*(1 + 4/8). Let u be (6 - -1) + p/(-1). Which is bigger: 0.1 or u?
u
Let j = 0.22 + -0.1. Let f = -0.04 - j. Let g = -0.04 + f. Is -1/7 > g?
True
Let t be 54 + 60 - (2 - (-3 - -1)). Which is greater: 443/4 or t?
443/4
Let m(a) = 2*a - 10. Let y be m(6). Let o(b) = 3*b + 0*b**3 - b**3 + 2 - 134*b**2 + 133*b**y. Let u be o(-2). Which is bigger: 2/3 or u?
2/3
Let k = 41 + -47. Let x be k/8 - (0 - (-642)/(-792)). Suppose -4*a = n - 3*n - 22, 5