 8*o - 3. Let l be x(-7). Suppose -4*b + 4*a = -56, 3*b + l*a + a - 26 = u. Which is smaller: 11 or b?
11
Let g = -77 - -77.14. Which is smaller: 33 or g?
g
Suppose t = 14*t - 429. Which is smaller: t or 29?
29
Let c = 50 - 195/4. Let u = -20 - 28. Let w = -46 - u. Which is greater: c or w?
w
Let k be 272/80 - (-4)/(-10). Let g = 2 + k. Which is smaller: g or 2?
2
Suppose -169*f + 166*f = 801. Which is greater: f or -266?
-266
Let z = 922/135 - 44/27. Is 6 not equal to z?
True
Suppose 1178 + 1732 = -194*u. Suppose -14 = 5*g + 66. Does u = g?
False
Let r = 7 + 5. Let p = r - 16. Which is greater: p or -6?
p
Let d be 456/21 - 12/(-42). Let p = -19 + d. Let i be p - (-1 + (-1 - 8)). Which is smaller: i or 12?
12
Let u = -112 + 219. Let f = -105 + u. Let x = -3 + 2.8. Which is smaller: f or x?
x
Suppose 32 - 7 = -5*g. Let i(b) = b**3 + 5*b**2 + 5. Let p be i(g). Is p != 4?
True
Let u(n) = -18*n + 81. Let s be u(6). Suppose -3*h - h - 54 = 2*p, 0 = h. Is p smaller than s?
False
Let r be -1 - (-122)/(-248)*-2. Let x be 0/((-128)/(-24)*21/56). Are r and x unequal?
True
Suppose -164 - 44 = 4*x. Let f be (-770)/15 + (35/(-21))/(-5). Do x and f have different values?
True
Let p = -267 + 447. Is 182 greater than or equal to p?
True
Let j be -4 + -2 + 2292/48. Is 41 > j?
False
Let c(k) = -4*k + 7. Let d be c(-5). Let x be (d/(-12))/((-3)/8). Let v = -26.31 + 27.31. Is x greater than v?
True
Suppose -g - 10 + 18 = 0. Let n be g/6 - 3 - (-1)/(-3). Is 2 bigger than n?
True
Let k be (35/(-2))/((-3)/(-6)). Let l = 21 + k. Is -14 != l?
False
Let k(f) = -f**3 - 31*f**2 + 34*f + 64. Let l be k(-32). Suppose l = 4*c - 15*c - 11. Let y = -23/10 + 243/110. Which is greater: c or y?
y
Let s(l) = -2*l**2 - 7*l + 2. Let w be s(-4). Let z(p) = 2*p**2 + 2*p - 1. Let h be z(w). Is h < -4?
False
Let a be 7/(-4)*2*2. Suppose -10 = 4*z - 3*d + 16, 0 = -4*d - 8. Is a at least z?
True
Let r be -5 - ((-49326)/315 + -3). Let v = 1077/7 - r. Does v = -1?
False
Let c = -86 - -85. Which is smaller: -0.0254 or c?
c
Let b(m) = -m**2 + 7*m - 3. Let k be b(5). Let r(g) = k + 14*g - 26 - g**2 + g. Let z be r(14). Which is bigger: z or -6?
z
Suppose -3*j + 9 = 0, -2*j + 92 = 5*o + 2*j. Suppose 1 = -3*v + y, -3*v + 4*y = -v - o. Which is smaller: 1 or v?
v
Suppose 5*m + 42 = b, 14 = -2*m + 3*b - 8. Let a = 291 + -151. Let i = a + -141. Is i not equal to m?
True
Let p = -121 + 123. Let q(b) = -b**2 + 2*b + 5. Let y be q(4). Let n be ((-12)/387)/(p/y). Which is smaller: n or -1?
-1
Let b = 376 - 371. Which is greater: -0.4 or b?
b
Suppose -6 = -4*d + 30. Let w be (-18)/(-4) - d/18. Suppose w*l - o + 7 = 0, 3*l - 4*l - o + 2 = 0. Which is smaller: l or -1/14?
l
Let r = 12/4517 - 30262/7990573. Which is smaller: 1 or r?
r
Let y = 0.01 + -0.095. Which is bigger: y or -1?
y
Let p be (-4)/10 + (-6)/(-15). Let a be (28/(-2086))/(0/2 + 1). Is a at most p?
True
Let k(y) = -15*y + 20. Let u be 1/((-4)/(-48)*3). Let w be k(u). Do -41 and w have the same value?
False
Let y(d) = 2*d**3 + 3*d - 4*d**3 - 3*d**2 + 2 + d**2. Let p be y(-2). Suppose w = 3*w + 5*a - 18, p*w - 3*a + 16 = 0. Is -2 > w?
False
Let n be ((-81)/4)/(2574/132). Which is smaller: -1 or n?
n
Let j = 1.3 - -19.7. Let s = 21 - j. Let l = 11/12 + -5/12. Which is greater: l or s?
l
Let l = 2235661037/2079 + -1075354. Let p = -5/189 - l. Which is smaller: 0 or p?
p
Let k = -15.082 + 15. Let q = k - 0.028. Are 0 and q non-equal?
True
Let q be (3/(-9))/(-2 - 23/(-12)). Suppose 0*x - 212 = -q*x. Is x < 0?
False
Let n = -866.5 - -867. Which is greater: n or 92?
92
Let d = -0.934 + -0.046. Let j = -0.02 + d. Which is smaller: -2/5 or j?
j
Suppose -2*i + 12 = -25*c + 29*c, 5*c = 2*i - 57. Do 12 and i have the same value?
False
Let c(b) = -b**2 + 21*b - 112. Let u be c(11). Let g be 4/18 + 114/(-270). Is g greater than or equal to u?
True
Let h be (-1373)/1375 + (-42)/(-6) - 6. Do h and 0 have the same value?
False
Let u(z) = z**3 - 5*z**2 + 5*z + 1. Let m be u(4). Suppose x - p + m = -4*x, -p + 5 = -3*x. Which is smaller: -1/47 or x?
-1/47
Suppose -n = -3*n. Suppose -f = -n*f - 14. Let w be f/(-6)*(-10)/(-7). Which is smaller: w or -4?
-4
Suppose 4935 = 14*k + 301. Which is smaller: 335 or k?
k
Let w = -54 - -17. Let r = w + 37.05. Is -3 less than r?
True
Let f = 12933 + -19308971/1493. Is f != 1?
True
Let m = 1.35 - 0.5. Let b = m + 0.25. Let l be 25/10 - (-1)/6*-3. Is l greater than or equal to b?
True
Let j = 5.2 + -5.11. Let w = j + -0.19. Let s = 1 - 1.2. Which is smaller: s or w?
s
Suppose 0 = s - 2*w + 5, -5*s - w = -4*w + 11. Which is smaller: s or -23?
-23
Let k(y) = -y**2 - 15*y + 50. Let v be k(-20). Which is bigger: v or -53?
v
Let b be 12256/61663 + (10/14 - 1). Which is smaller: 22 or b?
b
Let a be 12/5 + (-2)/5. Let f = 5 - a. Let m = f - 6. Is m bigger than -2?
False
Suppose -102 = 5*r + 93. Let t be (1 - -416)/(r/4). Let h = 43 + t. Is 1 at most h?
False
Let n = 3 + 3.5. Let g = -5.5 + n. Which is greater: 8/3 or g?
8/3
Suppose -2*c - 84 = -94. Which is smaller: c or -3/34?
-3/34
Let y = 24 + -17. Let q = 1.974 - 2. Let n = q + -0.174. Which is greater: n or y?
y
Let h be 0 - (-6 + 28/8). Is 2 not equal to h?
True
Suppose 14*w = -2*w + 2*w. Let o be w - ((-4 - -4) + -2). Is 14/5 <= o?
False
Let p = 38 + -40. Let b be (1*-8)/p + 0. Which is bigger: b or 6?
6
Let c(m) = -4*m - 168. Let w be c(-43). Let x(b) = -4*b**2 + 6*b + 2. Let t(r) = 5*r**2 - 7*r - 1. Let d(n) = 3*t(n) + 4*x(n). Let g be d(w). Does -2/5 = g?
False
Let z(h) = -h + 33. Let b be z(29). Suppose 0 = -5*k - 5 + 20, b*k + 147 = -3*y. Is -53 equal to y?
True
Let z = -73/111 - 1/111. Which is bigger: z or 101?
101
Suppose 0 = 2*g + g + 138. Let z be (-4 + (-54)/(-12))/((-1)/g). Which is smaller: 1/3 or z?
1/3
Let k be (-1)/(12/42 - (-74)/(-210)). Suppose 0 = -3*j - 9, 4 = x + 3*j - 3. Which is smaller: x or k?
k
Let j = -0.02 - 0.58. Let t = j + 0.7. Let z = 0.9 + t. Which is smaller: z or 0.1?
0.1
Let k(f) = 4*f - 25. Let n be k(4). Is -7 equal to n?
False
Let p = -54 + 85. Let q = -0.072 - -31.072. Let r = p - q. Which is greater: r or 29?
29
Let v = -15.6 - 5.4. Let g = v + 15. Let j = g - -6.1. Is j > 2/5?
False
Let m = -83 + 114. Let v = m - 27.4. Do v and 0.1 have the same value?
False
Suppose -63*p = -59*p + 1040. Which is bigger: -261 or p?
p
Let w(a) = 5*a - 1. Let j be w(5). Let b be j/(-15)*(-15)/(-6). Which is smaller: b or -7?
-7
Suppose -3*y - 5 + 11 = 0. Suppose 5 = -5*o + 5*p, 2*o - 6*p + 2*p - y = 0. Which is smaller: o or -2?
o
Let i be (-2)/(-3 + (-4 - -9)). Let r be (-497)/140 - i/(-5). Are r and 1 nonequal?
True
Let f(r) = -4*r**2 - 3*r - 4. Let m(l) = -l**2 - 1. Let a(c) = 2*f(c) - 10*m(c). Let s be a(-6). Let v = s + -776/7. Which is bigger: v or -1?
v
Let r be (5/2)/((-8)/(-80)). Let x = r + -22. Which is smaller: x or -0.2?
-0.2
Suppose 15 = 3*j, 3*j - 22 = 3*f + 4*j. Let o be f/3*-1 - 1. Is o != 0.2?
True
Let o = -40 + 30. Let q be ((-25)/o)/(1/2). Is 26/5 less than q?
False
Let c = -593 + 526. Which is smaller: c or -71?
-71
Let d(q) be the first derivative of q**4/12 + 7*q**3/3 + 9*q**2 - 5*q - 9. Let z(v) be the first derivative of d(v). Let g be z(-13). Which is bigger: 4 or g?
g
Let q = 45653/5 - 9046. Which is bigger: 85 or q?
85
Let l = -19 + 19.18. Let u = -6.82 - l. Let g = u + 1. Which is smaller: -1 or g?
g
Let u be (3 - -1) + (1 - -4). Let n = u - 10. Let c be (-4)/44*(-2)/4. Are n and c equal?
False
Let q be (-28)/(-6)*(-48)/(-28). Is q bigger than 11?
False
Let v(z) = z**3 - 22*z**2 + 21*z + 3. Let m be v(21). Let j be (10/3)/(m/9). Suppose 4*u + 6 = 3*c + 45, -5*u - c = -44. Which is smaller: u or j?
u
Let v = -43/322 + 8/23. Which is bigger: v or -1?
v
Let p be 3*2/40*-2. Suppose 3*x = 8*x + 105. Let t = -20 - x. Is t less than or equal to p?
False
Let q be ((-4)/(-9))/(6/27). Suppose -3*b + m - 10 = q*m, -5*b - 5*m = 0. Which is smaller: b or -6?
-6
Let u = 11 + 66. Suppose -3*p + 55 = -3*w - u, -w = -2*p + 42. Is -47 bigger than w?
False
Let a be (-170)/(-22) + (-64)/(-40)*-5. Which is bigger: 3 or a?
3
Let r(u) = -21*u - 42. Let w be r(-2). Let o = -313/9 + 37274/1071. Which is greater: o or w?
o
Suppose -4*v + 0*z = z, 0 = -3*v - 4*z. Let y be ((-60)/250)/((-1)/5). Which is smaller: y or v?
v
Let h = 972/7 + -138. Let