er than z?
False
Suppose -o - 6*d - 5 = -3*d, 3 = 5*o + d. Let u be (-2)/(-6) + 80/(-3). Let r = u + 28. Which is bigger: o or r?
r
Suppose 16*q - 153 - 55 = 0. Is 81 > q?
True
Suppose -20*i + 3257 + 6363 = 0. Is 481 greater than or equal to i?
True
Let l be (-27)/(-15) - (-1 + 3). Let f = 78 - 128. Let p = f + 51. Are l and p equal?
False
Let m be 16/(-24) - 56/(-85). Let n = m - 1516/1785. Let g(l) = -l**2 + 2*l + 1. Let w be g(-1). Which is greater: w or n?
n
Let v = -51913/13 - -3991. Which is greater: v or -2?
-2
Let b = -121 - -63. Let n = -3191 - -3134. Is n < b?
False
Let h be ((-6695)/13)/((-3)/2). Is h <= 343?
False
Let u be (-283)/(-3) + (-20)/(-30). Suppose 3*n - 2*y = -61, 5*n - y + u = 4*y. Which is bigger: n or -22?
-22
Let b = 0.4 - 0.2. Let r = 142 - 139. Is b greater than or equal to r?
False
Let z be ((-5)/((-30)/(-9)))/((-24)/28). Which is smaller: z or 4/7?
4/7
Suppose -4*q + 2*z + 330 = 0, 4*q - 353 + 2 = -5*z. Let n be q/(-8)*(-5 - -13). Let y be 2/17 - n/153. Which is smaller: y or 1?
y
Let x = 363 - 389. Is x < -48?
False
Suppose 3*k + 2 = -g + 20, 0 = -4*g. Suppose d = 2*d - 5. Is d >= k?
False
Let m be 4/(-22) + (-34)/(-187). Suppose d + d = 2. Let u be -3*2*d/(-3). Which is smaller: u or m?
m
Let i = 5 + 0. Let r be i/(-20) - (-200331)/724620. Let p = 4/929 + r. Are p and 0 non-equal?
True
Let q = 462 + -359. Is q at least -4?
True
Let j = 1 - 1.4. Let m = j - 0.6. Let x = -80 - -77. Which is greater: m or x?
m
Let j = 16 + -22. Let q = -441.9 - -436. Let s = q - j. Is -2/5 greater than or equal to s?
False
Let n = -1125 + 1135. Which is smaller: 8 or n?
8
Let l be (6/26)/(-1)*-1. Let y(b) be the first derivative of -b**3/3 - 14*b**2 + 164*b + 86. Let m be y(-33). Which is smaller: l or m?
m
Let c be ((-1)/(-4))/((-47)/188). Is c < 2/335?
True
Suppose 0 = d + 3, -5*i + 19 = -i - d. Suppose i*g = -g. Let u be 16/3 - (-4)/6. Is u at most as big as g?
False
Suppose -5*q - 4*p - 54 = 0, q + 12 = -0*q - 2*p. Let f = 7 + q. Which is greater: f or 0.9?
0.9
Let v(h) = -h - 6. Let t be v(-7). Let a be (t - (-8 - 0))*(-2 + 1). Which is greater: a or -10?
a
Suppose 3*u + 709 = -2*k - 1686, -3*k + 4017 = -5*u. Is -1 equal to u?
False
Let x = -0.133 + -3.667. Which is smaller: -1/2 or x?
x
Let x be -19 + 23 + (27 - 0). Let c = x - 13. Do -1 and c have the same value?
False
Let z be -1 - (-5 + 0 + 20). Which is smaller: z or 0?
z
Let t be -3 - (-5 + 2 + 129/(-7)). Is 17 < t?
True
Let o(i) = -i**2 + 105*i - 687. Let x be o(7). Which is greater: x or 420?
420
Let q be (2046/310)/(4/(-30)). Is q > -49?
False
Let z = -203 + 141. Let b = z + 31. Which is bigger: -1 or b?
-1
Let d be -1 + (-66)/(-36) + 1510/(-12). Is -123 at most d?
False
Let z = -8 + 1. Let j be 1/2 + 21/6. Suppose 0 = 3*x + x - 4*f + 36, -j*f + 43 = -5*x. Is x <= z?
True
Let c be 65/3 - 42/63. Let i = c - 201/10. Are -1 and i non-equal?
True
Let s = 150714 - 40692829/270. Let r = s - -2/135. Which is bigger: r or -1?
r
Let h be 2/4*4/(-22). Let y = -7119 - -7122. Is h at least as big as y?
False
Let p = -281 + -543. Let q = 657770 - 5927338/9. Let y = p - q. Which is smaller: y or 0?
y
Let a(l) = 10*l**2 - 2*l + 3. Let n be a(-2). Let q = n - 43. Which is smaller: q or 3?
3
Let j = -15 - -26. Let f = 11 - j. Is 1/36 not equal to f?
True
Suppose -3*n + 14 - 2 = 0. Suppose 3*l + n = -2, 5*u = -3*l + 74. Let m = -19 + u. Is -3 at most as big as m?
True
Let h(k) = -2*k**2 + 10*k + 3. Let j be h(7). Let b = -25 - j. Does 1/38 = b?
False
Suppose g - 110 = 3*q, 3*g - 46 = 3*q + 308. Is g at most as big as 122?
True
Let r be (-18)/(-30)*(-1 - (836 + -2)). Is r less than -503?
False
Let h(y) = -y**2 - 5*y + 17. Let a be h(-7). Let o be (1 - 4)*(5 - 4). Which is smaller: a or o?
o
Let l(n) = 3*n - 1. Let j be l(3). Let p be (j + -23)*2/5. Let h(i) = -i**3 + 12*i**2 - 11*i - 7. Let r be h(11). Which is bigger: r or p?
p
Let f = 1 - 2. Let v = -5930396687/584 - -10154760. Let h = 231/8 + v. Which is smaller: f or h?
f
Suppose -28*t + 31*t - 210 = 0. Let g = 348/5 - t. Which is smaller: 13 or g?
g
Let b = -0.15 + 0.04. Let v = b - -3.11. Let n = 4 - v. Is n not equal to 19?
True
Suppose 4*g + 4 = 4*b, -19*g + 16 = b - 15*g. Is 4/15 > b?
False
Let y = 25 - 25. Suppose y = v - 9 - 0. Is 6 bigger than v?
False
Let s(j) = 3*j - 4. Let h be s(3). Suppose 4*w = -3*m + h, -4*m + 6*w - 10 = 3*w. Let g be (-18)/(-30)*(10/6 + -1). Which is smaller: g or m?
m
Let k = 2.26 + 0.04. Let u = -1.64 + 0.34. Let l = u + k. Is 1/4 less than l?
True
Suppose 0*f + f = 515. Let o = 39656/77 - f. Do -1 and o have different values?
True
Let y = -0.21 + -31.79. Let x = 20 + y. Let g = 13 + x. Which is bigger: 4 or g?
4
Suppose 0 = 2*z - 5*i + 125, 2*z - 4*z = -2*i + 134. Let x = z + 50. Suppose 5*h + 64 = -4*o, -4*h - 89 = 5*o - 0*o. Are o and x equal?
False
Let u(y) be the first derivative of -y**4/4 + 5*y**3/3 - 5*y**2/2 + 3*y - 16. Let f be u(3). Is 5 greater than f?
False
Let n = -0.0752 + -0.8248. Let k = 2 - 1.9. Let f = n - k. Which is greater: f or 0.4?
0.4
Let v = 1380.9 - 1381. Which is bigger: 0.38 or v?
0.38
Let g = -541 + 2722/5. Which is greater: g or 2?
g
Let m(u) = u**3 + 40*u**2 + 6*u + 21. Let y be m(-40). Is 3 less than y?
False
Suppose 3*u + 4*z - 233 = 111, -4*u + 2*z = -466. Let g be (u/(-8))/(1/2). Let r = g - -21. Which is bigger: -9 or r?
r
Let i be (-2)/(-38)*(-5380)/(-32). Let z = i + -180/19. Let q(l) = -l**2 + 4*l - 2. Let y be q(4). Which is smaller: y or z?
y
Let l = 39782/65 + -612. Let u(t) = 307*t + 922. Let i be u(-3). Which is greater: i or l?
i
Let f = -881 - -949. Which is smaller: f or 67?
67
Let d be 3/(-13)*443/21. Let t be 28/13 + (-5 - -9). Let m = d + t. Which is greater: 2 or m?
2
Let n(g) be the third derivative of -g**4/24 + g**3 - 6*g**2. Let l be n(-4). Suppose 0 = -3*f + l + 14. Which is greater: 7 or f?
f
Let o(q) = -12*q + 55. Let v be o(5). Let l be (-6)/4*(-4)/3. Let f be (-18 + -3)/(l*2). Is f > v?
False
Let m = -9 - -3. Let u(x) = x**2 + 6*x. Let b be u(m). Suppose -4*v + b*p + p + 2 = 0, p + 2 = 3*v. Which is smaller: v or -2/15?
-2/15
Let o = -295 - -9141/31. Which is smaller: o or 1?
o
Let o = -0.978 - 0.022. Which is smaller: -0.038 or o?
o
Let x = 4 + 1. Suppose 41 = x*d - 14. Let c = 8 - d. Which is smaller: c or -2?
c
Let n = -0.0154 - -26.0154. Does 1.2 = n?
False
Let v = -0.03 - 1.97. Let f = v + 2.2. Let n = -978/7 + 140. Which is bigger: f or n?
n
Let v be (-8)/(40/135) - 1. Let g be 134/v + (-15)/(-10) - -3. Which is bigger: g or -0.5?
g
Let w = -5.7 - -5.8. Suppose -4*o - 3*k + 173 = 0, 57 - 18 = o + 5*k. Suppose -17 + o = 3*t. Which is smaller: t or w?
w
Suppose 1 = -3*j + 2*l - 18, 5*l = 25. Does j = -23/6?
False
Let k(w) = -w + 52. Let x be k(17). Let h be 20/(-70) - (-178)/x. Do 5 and h have the same value?
False
Let j be 237/(-3) + (3 - -6). Are j and -279/4 unequal?
True
Let m = -5225/2086 - -22/149. Which is greater: -2 or m?
-2
Let g be (40/(-16) - -1)/1068. Which is bigger: 1 or g?
1
Let b = -148.162 + 144.2. Let h = b - 0.038. Which is smaller: h or -1/4?
h
Suppose o - 3 = 4. Let a(x) = -10*x - 8. Let l be a(-3). Let u = l + -14. Which is smaller: u or o?
o
Let o = -31568/35 - -902. Let b = o + -43/140. Let w(g) = g**3 - g**2 - 3*g + 2. Let l be w(2). Is b equal to l?
False
Suppose 125*h - 101*h = 21672. Is h at most as big as 903?
True
Suppose 12 = 2*m - 4*w, -8 = 3*m - 5*w - 23. Is -7/52 >= m?
False
Suppose -346 = 17*h - 227. Are h and -75/11 nonequal?
True
Let x = -0.367 - -19.647. Let t = x + -2.38. Let u = t - 17. Which is smaller: -0.2 or u?
-0.2
Suppose 0*g + 2*l = 2*g - 8, 5*l = g - 20. Is g greater than 37?
False
Suppose -156 = r - 4*r. Suppose 0 = 13*j - 308 - 462 + 94. Do j and r have different values?
False
Suppose -34 = -2*j + 19*j. Which is bigger: 5 or j?
5
Suppose -4*q = 2*l + 1068, -5*l = 20*q - 23*q - 814. Is -268 not equal to q?
False
Let h = 14 + -13.1. Let m = -0.9 + h. Is -20 smaller than m?
True
Let f be -3 + (-76)/(-28) - 600/(-42). Suppose -18 - 18 = -3*h. Let u = h - f. Is -4 at least u?
False
Let o = -489 + 466. Is -6/5 != o?
True
Let m(c) = -14*c + 76. Let w be m(8). Is -5 < w?
False
Let f be (4/(-8))/((-1)/22). Let i(j) = -j. Let k be i(1). Which is smaller: f or k?
k
Let v = 72175/61 - 1183. 