*2 + 43*j + 30. Let h be i(23). Let f = q + h. Which is smaller: f or -3?
f
Let o be -7 - (13770/(-4))/15. Which is bigger: 222 or o?
o
Let y = -10.222 - -0.022. Let l = y - -10.6. Is l bigger than -9?
True
Let r(o) = o**2 + 8*o - 1. Let t be r(-10). Suppose p + 18 = t. Which is greater: -2 or p?
p
Suppose 116*p - 22 = 127*p. Let g be (-2 + 3 + 2)*-1. Is p smaller than g?
False
Suppose -z - 4*n + 27 + 33 = 0, 4*z + 2*n = 282. Let q be 9/(-2)*z/(-27). Let x be ((-27)/6)/(q/32). Which is bigger: -13 or x?
x
Let k = -0.2 + -0.01. Let i = 0.89 - k. Are i and -1 unequal?
True
Let m(i) be the first derivative of -i**3/3 + 3*i**2 - 4*i + 2. Let g be m(5). Are g and 3 unequal?
True
Let n = 15 - 14. Let j be n*2*1/((-10)/(-25)). Which is bigger: j or 7?
7
Let k = 267131/8 - 33345. Let r = -4967/104 + k. Does -2 = r?
False
Let t(g) = 7*g**2 - 15*g - 21. Let p(s) = -4*s**2 + 8*s + 10. Let v(f) = 5*p(f) + 3*t(f). Let d be v(7). Which is greater: d or 1/288?
d
Let l = -2.73 - -0.03. Let f = 2.8 + l. Let m be (-10)/(-112) + 4/14. Which is greater: m or f?
m
Let v = 1.9 - 2. Suppose -4*h - 5*y = -273, h + 2*y - 23 = 46. Let z = h + -336/5. Which is bigger: z or v?
v
Let w(k) = k**3 + 19*k**2 + 3*k + 59. Let y be w(-19). Which is smaller: y or 32/19?
32/19
Suppose -71*z + 5965 = -11572. Which is greater: 245 or z?
z
Let w(v) be the third derivative of v**6/8 - v**5/30 + v**4/6 - v**3/6 + v**2. Let c be w(1). Is 18 at most as big as c?
False
Suppose 5*b + 760 = -3*b. Let c = 95 + b. Are -3/8 and c equal?
False
Let p = 92 - 275/3. Which is greater: 13 or p?
13
Let z be (16/(-6))/((-10)/(-45)). Let p = z + 15. Let w = -4 + p. Is -3/2 at most as big as w?
True
Suppose 3*z - 5*h = -h + 8, -2*h - 4 = 5*z. Suppose -g = -5*j - 10, z = -3*j - 2*j - g. Which is smaller: j or -6/5?
-6/5
Let i = 221.062 + -0.062. Which is bigger: 0 or i?
i
Suppose -52*u + 51*u = 852. Let k be (1/3)/(-3 - u/270). Do 3 and k have different values?
True
Let k = -0.18 + 2.38. Let p = k - 13.2. Let i = -10.3 - p. Which is smaller: i or -1?
-1
Suppose -2*u - 332 = -4*u. Let k be -12 - -8 - u/(-41). Which is bigger: 1 or k?
1
Let v be 1/3 + 73/(-30)*52. Let g = v + 7061/55. Which is smaller: 3 or g?
g
Let a be (0 + 5)*2/(-4). Suppose 2*g - 4*y + 803 = 5*g, 3*y = 4*g - 1079. Let x = g - 1880/7. Is a less than x?
True
Let a be (-6)/(-3) + 0 - -2. Let t = 13 + -11. Suppose a*w - 8 = 0, -2*k - t = -6*k - 5*w. Which is bigger: -4 or k?
k
Suppose 120 = 3*y - 66. Suppose 4*n + y = -2. Let h = -18 - n. Is h greater than -6/11?
False
Let v be (-4)/(-26) - (-273093)/1677. Is 166 bigger than v?
True
Let a = 1887/4 - 458. Which is bigger: 13 or a?
a
Let a = 1151 + -386. Is -2/7 equal to a?
False
Let q be (97 - 30) + (-6)/1. Is q at most 58?
False
Let l = -3513 - -2363. Is l less than -1149?
True
Suppose m - 4*m = 3. Let l be 1*10/(-42)*(6 - 3). Are m and l unequal?
True
Let z be 2*(-5790)/(-48) - (-10)/(-8). Is z smaller than 241?
True
Suppose 5*j + 5 = -4*l, 2*j - 1 = 3*l - 3. Let q be 48/(-27) + 3 - 2/9. Let g be 1/(-11)*(1 + -5*q). Which is greater: j or g?
g
Let q = -66077/15 - -4409. Which is smaller: 5 or q?
q
Let p(h) = h**3 - 3*h**2 - 3*h - 6. Let i be p(4). Is i greater than 1.02?
False
Suppose -4*x - 290 = -h + 462, 4*x - 5*h = -768. Let t be (-231)/85 - 22/x. Is t bigger than -3?
True
Suppose -31*c - 2 = 4*h - 34*c, -2*h - 4 = -3*c. Let p = 18150/17 + -1068. Is h greater than p?
True
Let d be -75*(-3)/(-15)*5. Is -74 <= d?
False
Suppose 3*r + 11 = -5*w + 3, -3*r = w + 4. Is w at least as big as -1/203?
False
Let o = -1067988/127903 + 12/5561. Is -8 at most as big as o?
False
Let t = 4760521130/19198319 - 1/662011. Let y = t - 248. Which is greater: y or 0?
0
Let r = 23 - 21. Let b = r + 0.1. Let h = 2 - b. Which is smaller: h or 2/13?
h
Suppose -5*y = 2*s + 28, 0*y = 3*y - 5*s - 8. Let b = 35 + -33. Let f be 8/(-5) - b/5. Do y and f have different values?
True
Let t(q) = -q**2 + q - 12. Let m be t(0). Which is bigger: m or -15?
m
Let n(j) = -2*j**3 - 8*j**2 + 11*j - 14. Let h be n(-7). Is 203 greater than h?
False
Let p = 78 - 74. Let w be (-1 + 5/p)/((-2)/8). Is -12 at most as big as w?
True
Let v be 38/36 - (-2)/(-9). Suppose -4*j + 12 = 8*j. Is j smaller than v?
False
Let i = 396 + -13465/34. Let a = i - 31/102. Which is smaller: -20 or a?
-20
Let i be (3/28)/(8/(-32)). Let u(v) = v - 7. Let a be u(9). Suppose -4*g = 4*y, 5*g - 3 = -0*y - a*y. Which is bigger: y or i?
i
Let j be ((-86)/14 - 108/(-18))*-461. Which is smaller: 67 or j?
j
Let h be 78/(-8)*132/(-18). Which is greater: h or 72?
72
Suppose -65*x + 69*x - 16 = 0, 2*a = 2*x - 6. Is a >= -2/495?
True
Let u = -140 - -139.31. Let a = u - -0.79. Suppose s = -5*m + m - 6, -5*s - 4*m = 14. Which is bigger: a or s?
a
Let r = 347 - 351. Is -1 less than r?
False
Let d = -5753 - -5751. Let h = -2 - -2. Suppose -t + 4*a = 0, -2*t - 3*t + 4*a = h. Is d equal to t?
False
Let s be ((-3)/4)/(5/1800*5). Which is greater: -56 or s?
s
Let d(v) = v**2 + 8*v + 11. Let g(h) = -h**2 - h. Let s be g(2). Let b be d(s). Let l = -4383/13 + 337. Is b at least l?
False
Let w be (-1 - 0)/((-231)/(-1323)). Are -5 and w non-equal?
True
Let w = 463/3 - 3549/23. Is -1/9 greater than w?
False
Let a = 15 + -15. Let t = a + -0.03. Let i = 6.03 + t. Is 2 less than i?
True
Suppose 6*w - k - 1077 = 2*w, -3*w + 804 = -2*k. Which is smaller: w or 271?
w
Suppose -i = -l - 32, -4*i = 5*l + 6 + 163. Let b be (l/(-7))/((-3)/10). Let p = -1416/91 - b. Do p and -1 have different values?
True
Let i(v) = 54*v + 9. Let g be i(1). Is 61 smaller than g?
True
Suppose -2 + 29 = q. Let v(f) = -f**2 + 28*f - 22. Let o be v(q). Let z be (-6)/(-3)*1/(-2). Which is smaller: o or z?
z
Let z be (4/2)/((-16)/(-40)). Suppose -z = 13*t - 8*t. Which is greater: t or -7/16?
-7/16
Let f = 1.92 - 2. Let q = -13 + 4.8. Let a = q + 8.4. Which is smaller: f or a?
f
Let b = -20 + 22. Which is bigger: b or 13/10?
b
Let s(y) = -y - 1. Let o be s(-6). Suppose o*m = 16 - 1. Let v be 12/(-16) + m/(-12). Which is greater: v or 2/13?
2/13
Let r = 1156 - 1094.9. Let x = r + -62. Is x bigger than 3?
False
Let t(n) = -n**3 - 11*n**2 - 5*n + 21. Let p be t(-10). Let y = -23 - p. Suppose 25 = 4*q + 1. Are y and q nonequal?
False
Suppose 0*t - 6 = -2*t. Suppose -h = t*h + 4. Is -1/7 equal to h?
False
Let s = 180 + -187. Which is smaller: s or -16?
-16
Let y = -3144 + 933769/297. Which is smaller: -1 or y?
-1
Suppose -2 = -4*a - 6. Let u be 1 + (-8)/(a - 1). Let b(q) = -q**3 + 4*q**2 + 8*q - 11. Let w be b(u). Is w != 6?
True
Let f be (8/14)/(2/35). Let c be -5 + f - 71/5. Is c at least as big as 0.1?
False
Let p = 328/91 + -45/13. Is p at least -1?
True
Let o = 0.053 - 41.053. Which is smaller: -0.1 or o?
o
Let i = 0.1112 - 14.1812. Let u = 14 + i. Let j = 2.93 - u. Which is bigger: -1 or j?
j
Suppose -7*b = -3*b - 5*m - 10, 3*m = -2*b + 16. Suppose -7 = -j + b. Suppose 2*f + 2*x - j = 6*x, 3 = -f + 5*x. Does 11 = f?
False
Let x = 0.2 + -0.1. Let i = -47.2274 + -0.7726. Which is smaller: x or i?
i
Let j = -12 - -16. Suppose -45 = -j*c - c. Suppose 0 = -c*f + 2*f + 14. Is f <= 1?
False
Let z be ((-10)/7 - -1) + 1. Let w be 5*(-5)/5 + 0 + -1. Let t be (-8)/(-6) - w/9. Is t <= z?
False
Let i = 82/5 - 412/25. Let a(s) = 3*s - 4. Let v be a(2). Let t be (1 + (1 - v))/(-2 - 0). Is i != t?
True
Let l be (-15)/6*((4 - -6) + -2). Which is smaller: l or 19?
l
Let q be (-17)/(204/(-780)) - 2. Is 437/7 greater than or equal to q?
False
Suppose -5*g - 11 = -3*t + 2, 5*t + 5*g = -5. Let n be -4*t - 43/(-1). Suppose -27*b = -30*b - n. Is -14 greater than b?
False
Let u = -171 + 91. Let x = u + 84. Which is bigger: -29 or x?
x
Suppose -16 = -8*g + 6*g. Let a be 18/4*8/6. Let p = g - a. Is p smaller than -1?
False
Let m = 2 + -1. Is -5/128 >= m?
False
Let n = 4 + -74. Let d = 127/86 - 42/43. Is n != d?
True
Suppose -3*t - 111 = -h, -5*h = 2*t - 6*t - 577. Is 117 at most h?
True
Let k = 7.854 - 0.054. Let w = k - -0.2. Let t = -8 + w. Which is greater: t or 1?
1
Suppose z = -3*f + 58, 0*z + 5*f = -2*z + 118. Which is greater: z or 65?
65
Suppose 5*a - 2*h = -0*a + 510, -3*a + 2*h + 302 = 0. Is a at least 102?
True
Suppose -p - 6 = -4*l + 2*p, -5*p + 13 = l. Suppose -d + l*d - 4 = 0. Suppose -17 = d*h - 1. Are h and -8 unequal?
Fa