h*(4 + -5)*y. Which is smaller: v or -11?
v
Let b(o) = -o**3 - 7*o**2 - 12*o - 5. Let u be b(-5). Let t = 5 - u. Let f = -1/40 + 5/8. Which is smaller: f or t?
t
Let j = 203131/14 + -14528. Which is smaller: j or -20?
-20
Let t be -1*(2 - 1)*1. Let c = -401/3771 + -2/419. Let d = -5/9 + c. Which is smaller: d or t?
t
Let o be (-2)/(-8)*(1 + -3). Let m = -91/174 - o. Which is smaller: 1 or m?
m
Let g = 2 - -2. Let z(n) = -n**3 + 5*n**2 + n - 4. Let v be z(g). Let q be ((-4)/(-25))/(v/(-40)). Which is bigger: -1 or q?
q
Let p = -23 - -9. Let l = -12 - p. Suppose l = -j + 1. Which is smaller: j or -2/13?
j
Let a(t) = t + 4. Let d be a(-4). Suppose -3*c - 37 = 2*b, -b - 4*c = -6*b - 58. Let l be (-7)/b + 1/4. Are d and l unequal?
True
Let g be ((-15)/(-4))/5 - (0 - 0). Let k(t) = t + 8. Suppose 3*z = -9 - 12. Let l be k(z). Which is smaller: g or l?
g
Let h(x) be the second derivative of x**4/6 + 14*x**3/3 - 5*x**2 + 23*x. Let p be h(-13). Is p greater than -37?
True
Let a = 21 - 21.58. Let z = a - -0.6. Is z > 0.1?
False
Let j(w) = w**2 + 13 + 7*w + 5*w + 0*w + w. Let x be j(-12). Let o be x/(3 - 6 - -4). Which is greater: -3 or o?
o
Suppose 5*c + 756 = -3*t, -2*c + 0*c + 4*t - 292 = 0. Let d = 90 + c. Is d greater than or equal to -61?
True
Let l(m) = -m**2 - 4*m + 7. Suppose -k = x - 2*k - 49, 5*x = k + 241. Suppose 8*t + x + 0 = 0. Let j be l(t). Are -7 and j unequal?
True
Let u = 57 + -57. Let h(k) = -k - 28. Let n be h(0). Which is smaller: u or n?
n
Suppose 14 = -x - 4*x + 3*o, -10 = -5*x - 5*o. Let z(h) = h**2 + 6*h - 6. Let i be z(-9). Let n be 27/(-105) + i/(-35). Which is greater: n or x?
n
Let m = 408.8 + -409. Which is greater: 0.221 or m?
0.221
Let x = -25 - -79. Which is bigger: 52 or x?
x
Let h be 3*(42/(-9) + 4). Let v = 89.9 + -86. Let o = 0.9 - v. Is o < h?
True
Let t = 5 + -4.97. Let m be -10*3/12 - (-2)/(-4). Which is smaller: m or t?
m
Let r(f) = -f**3 + 6*f**2 - 4*f - 1. Let x be r(6). Let s = 101 + x. Let b be (-3)/5 - s/(-60). Is b at most as big as -0.3?
False
Let s = 3158941 + -142173632/45. Let h = -473 - s. Which is bigger: h or 0?
h
Let n(v) = -v**2 - 11*v - 12. Let x be n(-9). Let k be (-2)/x - 68/(-6). Let l = 10 - k. Is -7/3 at least l?
False
Let q be 78 + -46 - (-5 - (-1 + 2)). Which is bigger: q or 110/3?
q
Let c be 2 + 0/(-3 - 0). Let a be (c - (-36)/(-15))*-20. Let o be ((-12)/16)/(21/a). Which is greater: 1 or o?
1
Let r(l) = -3*l**3 + 11*l**2 - 9*l + 9. Let s(j) = -j**3 + j**2 - j - 1. Let k(c) = -r(c) + 2*s(c). Let v be k(8). Is -19 less than or equal to v?
True
Let x = 2708/12213 + 2/4071. Which is smaller: x or -228?
-228
Let g = -81 + 50. Let o = g - -33. Which is smaller: o or -20?
-20
Suppose -8*l - 35 = -27. Let z = -3/448 + 2039/170688. Which is smaller: l or z?
l
Let k = -638.93 - -639. Which is smaller: k or 9?
k
Let w(f) = -8*f**2 + 14 - 2*f**3 - 5*f**2 + 3*f**3 + 2*f**2 - 3*f. Let l be w(11). Which is bigger: l or -18?
-18
Let m = 29138 + -29107. Suppose -5*w - 5*r = -155, w - 5 = -5*r + 30. Are w and m nonequal?
True
Let g be (-70)/(-21)*(-9)/(-2). Let q = -43/3 + g. Which is bigger: 2 or q?
2
Suppose -6*k + 90 = -12. Let a(d) = d**3 - 5*d**2 - 4*d + 5. Let t be a(6). Is t >= k?
True
Let l be -3 + (-1992)/(-1096) + 6/6. Is -1 greater than or equal to l?
False
Let g = -5.433 + 3.433. Let t be -2 + 2 + (4 - 0). Suppose 5*i + 1 = -t. Is i > g?
True
Let o = 755 + -755. Which is smaller: -6 or o?
-6
Let q = -754.6 - -722. Are q and 1/4 equal?
False
Let g(y) = y**3 + 9*y**2 - 8*y + 19. Let b be g(-10). Which is greater: 1/2 or b?
1/2
Let i(o) = -o**3 + 5*o**2 - 7. Let f = 133 + -130. Let k be i(f). Is 6 smaller than k?
True
Let k(w) = w + 2. Let b be k(2). Suppose -2*y - 10 = -4*j + 12, b*y = -2*j + 6. Suppose -4*g = -j*g. Which is bigger: 2/9 or g?
2/9
Let d = -152 + 149. Let z be (-26)/7 + 2/(-7). Are d and z non-equal?
True
Let z be (-38)/14 + 3 - 100/7. Is z less than or equal to -15?
False
Let l = 10 + -18. Let b = -1.79 + -0.31. Let s = b + 3.1. Is s at most l?
False
Let l = 26 + -21. Suppose -4*g + l*g + 3 = 0. Let n be ((-2)/9)/(1/12). Which is smaller: n or g?
g
Let o = 5/159 - -427/1590. Is 44/3 equal to o?
False
Suppose 0 = 7*w - 6*w - 2. Suppose w*b - b + p = 1, -b - 4 = -4*p. Which is smaller: b or 5/4?
b
Let j = -7 + 5. Let y be 3/7 - (-11 - 198/(-18)). Which is smaller: j or y?
j
Let t = 524 - 520. Which is bigger: 38 or t?
38
Let h = 82.7 + -56.7. Which is smaller: 0.1 or h?
0.1
Let r = 0.541 - -1.459. Which is smaller: 0.03 or r?
0.03
Let p = -1.56 - -0.36. Let w be 2/(-7) - 3/(-378)*57. Which is bigger: p or w?
w
Let j(p) = 49*p + 260. Let k be j(-5). Which is bigger: k or 18?
18
Let z = 0.58 - 0.35. Let b = z + 1.77. Is 5 at least b?
True
Let j = 1 - 3. Let w = -213/13 - -883/65. Is w >= j?
False
Suppose 4*h = -h + 45. Let g be (10/(-60))/(15/h). Which is smaller: -1 or g?
-1
Let k be 3 + (4 - 5) + -3. Do k and 18 have different values?
True
Suppose 3*m = -0*m - 93. Let v be m/133 - (-7)/(-98)*-4. Which is bigger: -1 or v?
v
Let i be (12/(-9))/((-1)/(-3)). Suppose 5*y - 451 = 329. Let t be 24/y - (-41)/(-13). Which is bigger: i or t?
t
Let t(r) = 5*r**3 - r**2 - r + 1. Let y be t(1). Let i = 2541 + -2537. Is i greater than or equal to y?
True
Suppose -5*b + 2 + 3 = 0. Let i be (91/(-14))/(b - -1). Do i and -4 have different values?
True
Let c = 28.77 + -29.77. Is c smaller than 250?
True
Let b = 10 + -10.07. Let v = b + 0.07. Let z(o) = o**3 - 27*o**2 + o - 29. Let y be z(27). Is v at least y?
True
Let x(b) = -b**2 - 6*b - 2. Let m be x(-4). Suppose 3*c + 7 = -2*u + m*c, 4*u + 5*c - 41 = 0. Let g be -2 + u - (7 + -5). Which is smaller: g or -3?
-3
Let f be (-1)/7*-185 + 57/(-133). Which is bigger: 80/3 or f?
80/3
Suppose -a + 26 = -5*n + 3*n, 0 = 3*a + 5*n - 34. Suppose -a*d = -15*d + 6. Which is smaller: d or -21/11?
d
Let d = -0.12 + -4.88. Let h = -534.94 - -540. Let u = d + h. Which is smaller: -1/4 or u?
-1/4
Suppose 0 = -5*d + 5*j + 90, -2*j = j. Let p be d/(-45) - (-62)/5. Let l be (p + -11)/(1/(-2)). Which is greater: l or -5/2?
l
Let v(k) = 2*k**3 - 13*k**2 + 59*k. Let x be v(7). Is 463 not equal to x?
True
Suppose -5*x = -6 + 1. Let k(f) = -f**3 - f**2 - f + 1. Let v(w) = 8*w**2 - 2. Let t(c) = x*v(c) + k(c). Let n be t(7). Which is bigger: -9 or n?
n
Let t = -2176 - -2175. Which is smaller: -17/8 or t?
-17/8
Let v be 0 - (-1)/(-38) - 0. Suppose 5*o + 5 = 2*p, -1 = -3*o + 3*p - 4. Is v greater than o?
True
Let x = 296 + -486. Is x > -190?
False
Let u(n) = -11*n - 20. Let o be u(-2). Suppose -3*b - 5*i + 95 = 0, o*i = -0*b + 3*b - 67. Is 26 <= b?
False
Let c = -2177 + 2199. Let l = -14/9 - -37/18. Which is smaller: c or l?
l
Let b = -1.5 + -12.5. Let x = b + 13.7. Let o = x + 0.4. Is -3 smaller than o?
True
Let h be 5/6*9/12. Is h less than or equal to -10?
False
Let c = -1 + 3.5. Let k = -0.5 - c. Is -0.1 not equal to k?
True
Let u = -6.3 - -0.3. Let a = 8.18 + -0.18. Let w = a + u. Which is smaller: w or -5?
-5
Let y = -32 - 4. Let s be (y/20)/(6/(-20)). Which is smaller: 5 or s?
5
Let l(k) = -k - 8. Let s be l(-6). Let o be -16 - -17 - 0/(4 + s). Which is smaller: o or 2/51?
2/51
Let x(a) = -43*a**3 + 1. Let f = 82 - 81. Let b be x(f). Which is greater: 0.1 or b?
0.1
Suppose 4*m - 3 = m. Let y be m - (5 + -2) - (-8)/6. Is 2/5 greater than y?
True
Let m be (-1034)/11 - (0 + 8)/4. Which is smaller: m or -94?
m
Suppose -m = 2*m. Let p = 6.44 - 6.5. Which is smaller: m or p?
p
Suppose -5*g + 27 = t, 3*t = -2*g + 8*t + 27. Let z be (16/g)/(4/6). Let u be 7/(-5) + z/10. Which is bigger: u or -3?
u
Let b be (1/3)/((-1295)/(-69900)). Let v = -125/7 + b. Let d = v - 151/296. Which is smaller: d or -1?
-1
Let x be 189/27*13/(-1) - 2. Which is smaller: x or -91?
x
Let m be 2*((-17)/51 + (-1876)/6). Is -627 at most as big as m?
True
Let k = -7/6 - -41/30. Is k greater than 112/3?
False
Let s(i) = 28*i**2 + i + 1. Let x be s(-1). Let p be 4 - -111*(-1)/x. Which is greater: -1 or p?
p
Let y be (5/(50/12))/((-12)/(-40)). Suppose 16 = -y*p, -2*p + 0 = -3*d + 5. Is 0.06 equal to d?
False
Let r be 4470/22 - 20/110. Suppose -5*q = 2*q - r. Is 28 smaller than q?
True
Let j(z) = -z**3 + 2*z**2 - z + 6. Let d be j(3). Let s = -0.4 - -0.3. Let g = s + 0.2. Which is bigger: g or d?
g
Let m 