5 - -2)). Which is smaller: b or 0?
0
Let g = -166 - -1993/12. Let p = 4832 + -4831. Is p > g?
True
Let u be ((-14)/(-10) + 1)/(147/1470). Is 311/13 > u?
False
Let r = 122 - 122. Suppose -2*b = -5*i + 1194, -i - 4*b = i - 492. Let k be (-16)/i - (-4)/6. Which is bigger: r or k?
k
Let h = -59 + 31. Let f be 1/2*h/91. Which is greater: f or -1?
f
Let s be (-1 + 14/6)/((-6)/(-31)). Suppose 5*y - 32 = -4*l, 6 = 5*y + 5*l - 24. Is s at most y?
True
Suppose 5*p - 3*v + v = 83, 2*p - 22 = -2*v. Suppose 0 = -p*a - 4*a + 228. Suppose 34 = 3*h - 2. Is a at least h?
True
Let z be (-12)/9*(-662625)/330. Let m = z + -2672. Which is greater: 5 or m?
m
Let t(h) be the second derivative of h**4/24 + 13*h**3/6 + 5*h**2 + 5*h. Let j(k) be the first derivative of t(k). Let v be j(-3). Are 9 and v non-equal?
True
Suppose 0 = -13*m + 37 - 11. Let i be ((-2 - m)/2)/(2/(-13)). Which is smaller: 3 or i?
3
Let w be (-2)/11 + ((-1216)/11)/8. Let g be ((-20)/w)/(8/(-56)). Which is greater: g or -14?
g
Let t(p) = -p - 3 + 6 - 4. Let q be t(-2). Let c = 252621/8 + -31578. Which is smaller: c or q?
c
Let x = -47286 - -47298. Is 123 not equal to x?
True
Let w be 1*-69*(-4)/(-12). Let g = -11615 - -11595. Which is greater: w or g?
g
Let u = 3382.33 + -3388.3. Are -1.3 and u unequal?
True
Let j(d) = d**3 + 20*d**2 + 42*d + 36. Let o be j(-20). Let l = -306 - o. Which is smaller: 497 or l?
497
Let y = -0.153 - -20.653. Let x = -19.5 + y. Which is bigger: x or -157?
x
Let j be (6 + -10)/((-384)/(-191) + -2). Which is smaller: j or 8?
j
Suppose 0 = 15*g - 32*g + 18258. Suppose -16*i - 146 + g = 0. Do i and 56 have the same value?
False
Let o(h) be the second derivative of h**5/10 - 3*h**4/4 - 7*h**3/6 + 6*h**2 - 5*h. Let d be o(5). Let a = -2 + d. Which is smaller: 2/25 or a?
a
Suppose -33*k = -43*k - 590. Let q be k/((-2)/(-5 + 7)). Is q at least as big as 57?
True
Let w(h) = 3*h**3 + 26*h**2 - 16*h - 22. Suppose -4*p - 28 = 5*u, -3*u = -5*u. Let f be w(p). Which is bigger: 336 or f?
336
Suppose -3*h - r = -4*h + 5, -h - 4 = 2*r. Let o be -2 - h/(5 + 152/(-30)). Is o > 2?
True
Suppose -4*o = 4*j + 11420, -4*o + j - 2*j = 11429. Let a = o - -17197/6. Which is smaller: 7 or a?
7
Suppose -2*d - 25 = -31. Suppose -2*k + d*j + 50 = 120, -5*j + 49 = -k. Let m(l) = 5*l + 17. Let q be m(-9). Is q greater than k?
True
Let i be (-884)/(-204) + 16/(-3)*6/24. Which is bigger: 142/85 or i?
i
Let q(c) = c**3 + 76*c**2 + 970*c + 161. Let s be q(-16). Is 1/3696 greater than or equal to s?
False
Let m = -1/988 + 1051/1235. Is m equal to 1?
False
Let q be ((-6)/(6/(-5)) - 3) + -3. Let k be (17 - 2)*(q - 0). Suppose -67*p = -69*p - 32. Are p and k equal?
False
Let c(d) = -d**3 - 33*d**2 - 31*d + 37. Let y be c(-32). Suppose y*q = 63 - 203. Is q <= -29?
False
Suppose -2*q + 2*d - 24 = 0, -4*q - 3*d - 54 = -q. Let i be (5 + -2 + -6)*(-52)/6. Suppose 59 = -5*l - i. Which is smaller: q or l?
l
Let k = 4632 + -23266/5. Let x = 36 - 42. Let l = -15 + x. Is l >= k?
True
Let a be 42/5351*(-11305)/532 - 1/(-6). Which is bigger: 0 or a?
0
Let y be -2 - 3/(3/(-83)). Let t be ((-6 - -4)/(-2))/((-1)/3). Let g be (-640)/(-30)*(45/(-4))/t. Is g greater than y?
False
Suppose 354*u = 479*u + 1832 + 5918. Which is bigger: -50 or u?
-50
Let u(f) = 11*f - 62. Let p be u(7). Suppose 5*n + 3*m = -17, 2*n + 14 = 12*m - p*m. Is 4 <= n?
False
Let k be (-8)/(-14) - 46/(-644). Suppose 5*d - 9*d + 8 = 0. Which is greater: k or d?
d
Let c be ((-24)/9)/(((-2)/(-51))/(-1)). Let f = 121 - c. Let n = f + -115/2. Which is greater: 0 or n?
0
Let a(v) = v**3 + 10*v**2 - 4*v + 6. Let d be a(-6). Suppose 0 = 4*z - d - 62. Suppose -z - 22 = -3*s. Is s at least 27?
True
Suppose -26*z - 280 = 9*z. Let h be 1/6 - z/(-336). Which is smaller: h or 0.16?
h
Let f = 3828 + -3732. Do -3 and f have the same value?
False
Let l be 1*2 + (-468)/18 + 17. Does 10/3 = l?
False
Let g(o) = -o**3 - 8*o**2 + 4*o + 17. Let w be g(-7). Let h = w + 91. Let k(n) = 6*n + 1. Let a be k(5). Is h bigger than a?
False
Let v = 578.1 + -103.1. Let y = -474.9 + v. Which is bigger: y or 2/461?
y
Let b be (108/(-90))/(8/180). Is -41 not equal to b?
True
Let g be 0 - (22/7 + -3). Let d = 15.9 + -15.87. Which is greater: d or g?
d
Suppose -261072 + 97983 = 9*w. Is -18120 < w?
False
Let v = 149.088 + -0.088. Let x = -2.71 - 121.29. Let r = x + v. Which is smaller: -0.3 or r?
-0.3
Let c(k) = 2*k**3 - 9. Let n be c(-4). Let b = n + 143. Is b greater than or equal to 66/13?
True
Suppose 0 = 2*y - 3*y - 4, 4*z - 136 = y. Let d be ((-5)/(-10))/(6/z). Suppose -3*n + 5*n = 6. Which is smaller: n or d?
d
Suppose -23*g + 7891 - 10726 = 22*g. Let q = 2291/8 + -286. Is g smaller than q?
True
Let q be (19 + -9 + -11)*0. Is -1/1319 less than q?
True
Suppose -8*b + 109 = 29. Suppose -15*f + b*f - 40 = 0. Let c be (1 - f/(-9))/(1/(-2)). Which is smaller: c or 7/3?
c
Suppose 3*x + 5*c + 6135 = 0, 5*x + 5*c + 12542 = 2297. Is x less than -2054?
True
Suppose -u + 16 + 25 = -i, 4*i + 8 = 0. Suppose 6*z - 3 = 3*z, z + 171 = 4*m. Is m equal to u?
False
Let s = -57 + 98. Let x = -8224.91 + 8266. Let z = s - x. Which is bigger: -0.06 or z?
-0.06
Let g(z) = -8*z**2 + 36*z - 9. Let l be g(3). Let n be l/252 + (-7)/(-49). Which is bigger: 3 or n?
3
Let z = 1364747/10326 + -793/6. Are z and 1/2 equal?
False
Let o = -16.7 + 3.7. Let h = -0.42 + -12.58. Let i = o - h. Is i greater than -9?
True
Let k = -0.17352 + 0.07352. Let x = 7 - 9. Let f = x + 6. Which is smaller: f or k?
k
Let i(o) = -32*o**2 + 2022*o - 122. Let p be i(63). Is 12 >= p?
False
Let y = 18 + 4. Let w be -2*(y - (-1 + 2)). Let v(a) = -37*a - 6. Let n be v(1). Which is smaller: w or n?
n
Suppose -7*k - 5*n - 8 = 0, 2*k = -5*n - 26 + 13. Is 0.04015 >= k?
False
Let o be 70/5*1/((-4540)/(-5)). Is -1 smaller than o?
True
Let d = 149 + 413. Let i = 565 - d. Let m be (1 - 0)*(-4)/(-6). Is i at least as big as m?
True
Let k(w) = -2*w**2 + 37*w - 15. Let q(p) = p**2 - 23*p - 122. Let o be q(28). Let c be k(o). Let f = -1.9 - -2. Is f less than c?
True
Let w be 2 + 0 - (0/1)/(-3). Suppose w*q + q = -3. Let n be (-4 + 0)*6/2268. Which is bigger: q or n?
n
Let g(a) = 2*a**3 - 71*a**2 - 117*a + 134. Let i be g(37). Which is bigger: i or -31?
-31
Let n(h) = -5*h**2 + 110*h - 178. Let v be n(20). Which is smaller: 10 or v?
10
Let t = 1.31 + -61.31. Let v = 757 + -691.6. Let x = v + t. Are x and -2/5 nonequal?
True
Let v be 6 + -6 - (0 + -64). Suppose 1790 = 5*j - 10*j. Let q = j + 421. Which is greater: v or q?
v
Let m be 68 + -46 - (-19 - -47). Let x(n) = n**2. Let v(s) = 2*s**2 - 6*s - 6. Let i(y) = -v(y) + 3*x(y). Let d be i(-4). Which is greater: d or m?
d
Let t be (-1538)/5 - (-57)/76*4/5. Is t smaller than -310?
False
Let a = -0.07341 - 0.52659. Which is bigger: -343 or a?
a
Let s be (-13*(-24)/387036)/(78/(-18)). Is 0 bigger than s?
True
Let u(a) = -23 - 8*a**2 + 6 + 17*a + 7*a**2 - 20. Let k be u(19). Suppose 118*h - 124*h - 444 = 0. Is h at most k?
False
Let c be 10*(648/(-327330))/(-18). Is c less than or equal to -1?
False
Let m = -4.57313 + 1.57313. Suppose -4*t = -6*t + 36. Let g be (t + -3)/(-1*4). Which is smaller: g or m?
g
Let c(m) = 101*m - 1235. Let f be c(13). Is f greater than 5?
True
Suppose 2494 = 48*d + 45*d - 296. Suppose -3*z - 15 = -8*z. Suppose -z*m + d = 3*m. Which is smaller: 14 or m?
m
Let b be (9/6)/(2/(-8)). Let t(g) = 2*g + 2. Let z be t(b). Let r be 2/6 - (110/15 + 2). Which is bigger: r or z?
r
Let m be (-362216)/10*5/(-8763). Let q = m + -2/2921. Does 22 = q?
False
Suppose 0 = 3*h + 2*i - 3977, 4*h - 7641 = 3*i - 2361. Which is smaller: 1322 or h?
1322
Let n(m) = -120*m + 1676. Let r be n(-10). Which is smaller: r or 2877?
r
Let b = -25266 - -25265. Is 3/1520 > b?
True
Suppose 3 = 5*u - 2. Let a be -1 - (u + 21/(-7)). Which is smaller: -1/93 or a?
-1/93
Let p(u) = u - 8. Suppose 5*r + 22 - 72 = 0. Let f be p(r). Let j be 264/(-770)*5/(-2). Which is greater: j or f?
f
Suppose 2*x = -0*x - 5*y + 1, 2*x + 2 = -4*y. Let n(h) be the third derivative of -h**4/3 + 17*h**3/6 + 12*h**2. Let a be n(x). Are a and 73 non-equal?
False
Let z be ((-69)/6)/(2/(-4)). Let a(d) be the second derivative of 7*d**4/12 - 3*d**2 + 4*d. Let p be a(-2). Is p > z?
False
Let w = 216 - 198. Suppose 18 = w*b - 20*b. Let h = 6009/5 - 1