/31 or r?
r
Let b(f) = -f - 2. Let y be b(-4). Let u be 12/(-32)*2/(-24). Let k = u - -15/32. Is k greater than y?
False
Suppose -40*q - 26 = 14. Which is bigger: 2 or q?
2
Let h(m) = m**3 - 9*m**2 - 10*m. Let w be h(10). Is -1/100 < w?
True
Suppose 0*j = -5*j + 290. Let k = j - 176/3. Let n = -373.5 - -374. Which is bigger: n or k?
n
Let n = -517/738 + 21/82. Let k = 3 - 2. Which is smaller: n or k?
n
Let l(s) = 33*s - 183. Let c be l(6). Which is smaller: c or 148/9?
c
Let m = 376 - 377. Is -1/65 > m?
True
Suppose 0 = c - 5*v + 26, 0 = 2*c + 3*v + 33 + 6. Let o be 6/c - 10/14. Let z = -103745/7 - -14821. Which is greater: o or z?
z
Let i = -38506 - -38573.068. Let v = -0.068 + i. Let m = v + -48. Which is bigger: -0.1 or m?
m
Suppose 51*p + 4320 = 33*p. Which is greater: -241 or p?
p
Let h be (10 + -2)*((-2)/(-4) + -1). Are h and -14/3 unequal?
True
Let t = 675 + -675. Which is smaller: t or -109?
-109
Let h be 97104/309 + 0 + 2. Let s = h + -1/412. Let y = -318 + s. Which is smaller: y or -3?
-3
Let r be 36/(-130)*(35 - 30). Let z(g) = -2*g + 4. Let o be z(2). Is r not equal to o?
True
Let l(j) = -j**2 + 15*j - 28. Let p be l(2). Which is bigger: p or 21?
21
Let l = 2461 + -145203/59. Is 1 not equal to l?
True
Let r = -3.1 - -0.1. Is 0.7 <= r?
False
Let b = -864 - -537. Is -326 != b?
True
Let w = -365 - -366. Suppose 43 = -3*k - 5. Is k greater than or equal to w?
False
Let b be (-1 + 5)/(2/(-3)). Let l be (-8)/b*(-30)/(-20). Let y be 4/(-6) - l/6. Which is bigger: 2 or y?
2
Let h be (19 + -19)*(-3)/3. Is 12/95 > h?
True
Let o be ((-9)/5)/((-102)/3230). Are 57 and o equal?
True
Let m = -1.01 - -0.01. Let o = -2 + 0.08. Let w = -2 - o. Which is smaller: m or w?
m
Suppose 0 = -5*o + 4*o. Let x be (0 - -2)*(-2)/(-4). Let i be (x + -6)*(-6)/21. Is o equal to i?
False
Let i = 11779/9 + -5235/4. Suppose -3*n = -n - 2. Is i at least n?
False
Let g(d) = 42*d - 129. Let n be g(6). Which is bigger: n or 124?
124
Let c = 8.7 + -105.7. Let m = -97.1 - c. Are m and -3/23 equal?
False
Let f(w) = 7*w**2 - 8 - 9*w**2 + 1 - 2*w**3. Let x be f(0). Which is smaller: -5 or x?
x
Let o = -154/167 + 353571/383599. Let g = o - 18363/29861. Which is bigger: g or -1?
g
Let d be 2/(-6) + 4/12. Suppose d + 50 = -2*s. Let b = s - -26. Which is bigger: -2/7 or b?
b
Let y = 72 - 72. Suppose b + 28 = 4*l - 40, y = -4*l + 5*b + 84. Which is smaller: 15 or l?
15
Suppose 17*a - 49 = -32. Which is smaller: 0.007 or a?
0.007
Let u(w) = -w**3 + 3*w**2 - 4*w - 1. Let p be u(4). Let d = p + 23. Let l be (8/(-24))/((-2)/d). Is -2/3 less than l?
False
Let v be (-2)/(5/((-70)/(-18))). Let b be ((-3)/2)/((-9)/(-12)). Let i be b*(-4)/(16/(-6)). Which is bigger: i or v?
v
Let h = 127 + -130. Do 13 and h have different values?
True
Let w = 1 + 19. Suppose 2*c - 5*u = 4*c + 105, 4*u = -w. Which is bigger: c or -39?
-39
Let r = 17 - 14. Let f be 2 + r/3 - -72. Suppose -5*b + 10 = f. Is -15 equal to b?
False
Suppose a = -o - 25, -150 = -2*o - 158. Let t = -3 - 2. Which is smaller: t or a?
a
Let g = -359 - -359. Let h(q) = q - 126. Let p be h(0). Let v be 2/(-6) - 15/p. Which is bigger: g or v?
g
Let w be 2572/840 - 3/1. Let v = w + 1/14. Is 1 > v?
True
Let b = 1218706/1940715 - 359/3535. Let w = -5/61 + b. Suppose -3*c - 2*l + 10 = 1, -4*l + 10 = -2*c. Is w at least c?
False
Suppose 9 = -3*c - 0*c. Let q(b) = -b**2 + 6*b + 5. Let x(r) = -r**2 + 15*r + 7. Let j be x(15). Let n be q(j). Which is greater: n or c?
n
Let q(r) = r**2 + r - 1. Let i(v) = -v**2 + 8*v + 5. Let u(m) = i(m) + 2*q(m). Let z be u(-10). Which is greater: 5 or z?
5
Let a(s) = 2*s + 6. Let h be a(-2). Is h at least 30/13?
False
Let b(f) be the first derivative of f**4/4 + 2*f**3 + 5*f**2/2 + 6*f - 7. Let q be b(-5). Let x be q/4 + (-54)/28. Is 1 not equal to x?
True
Suppose -3*g - 200 = -g + 5*z, -4*g - 2*z = 432. Let y be 4/10 - (-39)/g. Let b = 550 + -549. Which is smaller: y or b?
y
Let o be 1 + (1 - 2)*-10. Let n be -2 - (15/5 + -16). Do o and n have the same value?
True
Let z = 6627526/549 + -12072. Which is smaller: 1 or z?
z
Let n be 2*-1 + 33/6. Let l be 12/(-8) - (-221)/34. Is n >= l?
False
Suppose 0 = 5*a - 3 - 2. Suppose -a - 2 = -3*y. Let j be y*((-14)/(-6) + -3). Which is smaller: j or -1?
-1
Let y = -15 - -14. Suppose 2*j = j + 2. Let d = j - 1. Which is smaller: d or y?
y
Suppose 0 = -7*i + 152 - 40. Let h be i/40*10/(-8). Is -5 > h?
False
Let v be (3*10/105)/(9/210). Does v = -0.1?
False
Suppose -4 - 20 = -2*i. Suppose -6 = -3*g + i. Let r = 791/3180 - -1/795. Which is smaller: r or g?
r
Let k = -26 - -38. Let s = 14 + -12. Suppose f = -s*f + 33. Does f = k?
False
Suppose -5*t = 2*q - 43, t + 79 = 4*q - 62. Which is smaller: q or 7?
7
Let z = 89 + -94. Let c(m) = -m**3 - 2*m**2 + m + 3. Let l be c(-2). Is l equal to z?
False
Let b = -9.0803 - -0.0803. Which is smaller: 1.9 or b?
b
Let w = 8.287 - 0.087. Let q = 7.2 - w. Let j = 0 + 0.1. Is j > q?
True
Let p = -0.072 - -29.072. Is 2 at least p?
False
Let v = 0.13 + 0.13. Let q = -0.36 + v. Let l be (1 + 21/(-6))*2. Which is smaller: l or q?
l
Let t be (-1)/(-4) + 261/12. Let x(g) = 3*g**2 + 10*g + 8. Let z be x(-6). Let u = z + -34. Is u <= t?
True
Let l = 6 + -15. Let q = -1666 + 1655. Is l smaller than q?
False
Let g(k) = k**2 - 5*k - 1. Let r(o) = o**2 + 17*o + 9. Let p be r(-17). Let n be g(p). Which is smaller: n or 36?
n
Let c be 4 - 96/20 - 14693/(-18235). Which is greater: c or 0?
c
Let h be (11/3 - -1)/(1/3). Let p(m) = -m**2 + 15*m - 4. Let l be p(h). Suppose 26 = 3*d + 4*c, 0*d - 4*c = 2*d - 16. Is l <= d?
True
Suppose p = 5*d + 116, -5*d - 2*p + 5*p = 108. Let i = -74 - -50. Do i and d have the same value?
True
Let z be (-3)/(-60)*85 + -1. Which is smaller: z or -2?
-2
Let q(y) be the third derivative of -y**5/60 + y**4/24 + 11*y**3/6 + 36*y**2. Let h be q(4). Which is bigger: h or -7/18?
-7/18
Let s(b) = -b**2 - 15*b - 41. Let p be s(-10). Let k(r) be the second derivative of -r**4/12 + r**3 + 5*r**2/2 - 2*r. Let m be k(5). Is m <= p?
False
Let n(p) = -2*p**3 - 15*p**2 + 8*p + 9. Let w be n(-8). Let u(k) = k**3 - 8*k**2 - 7*k + 7. Let x be u(w). Which is smaller: x or 1/2?
1/2
Suppose 0 = 7*z - 2*z. Suppose -2*j + 2*g + 6 = z, g - 11 = -3*j + 2*g. Which is smaller: j or 10?
j
Let c(a) = a + 22. Let m be c(-14). Let o be m/24 - 4/3. Which is bigger: -2/7 or o?
-2/7
Let w(r) = -2*r**3 + 21*r**2 + 12*r + 42. Let y be w(11). Is y > 47?
True
Let i(z) = -2*z**2 - 3*z - 1. Let j be i(-2). Suppose 0 = -4*u - 5*v - 1, -3*v + 2*v - 1 = u. Let a be 6/u*(-2 + 4). Do a and j have the same value?
True
Let f = 113.7 - 124.13. Let t = f + 0.43. Is t at least as big as -2/3?
False
Let f be (-2)/(-118)*(1 + 50). Let g = f + -6091/767. Let r = -1590/221 - g. Which is smaller: -0.2 or r?
-0.2
Suppose 3*p + 128 = -2*o - p, 0 = -5*o + 4*p - 320. Let w be o/(-500)*20/(-8). Which is bigger: w or 0?
0
Let i = -54.21 - -56. Let h = i - 1.09. Are h and 0.5 nonequal?
True
Suppose -v = -3*t - 3*v - 8, -2*v - 8 = 0. Let d be (-2)/4 - 10002/76. Let h = d - -132. Is h smaller than t?
True
Let i be -1 + (-4344)/2211 + 2. Let d = i - -22/67. Are 0 and d non-equal?
True
Let w be (-6)/(-2) + -6*(-2)/6. Suppose 0*u = -w*u + 3*u. Are u and 33 equal?
False
Suppose -6*j = 4*b - 8*j - 374, -3*b - 4*j = -264. Is b at least 92?
True
Let m = 59 + -61.7. Let z = 3.1 + m. Let j = z + -0.5. Is 2/5 less than j?
False
Suppose 0 = -3*k + l - 8, -5*k - l + 5*l = 25. Suppose -r = 2*r - 0*r. Which is bigger: k or r?
r
Let c = 103.3 - 96. Let u = -6.3 + c. Is -1.2 at most u?
True
Let u = 2 - -4. Suppose 4*a - a = u. Let z(r) = r**2 + 47*r - 1426. Let t be z(21). Do a and t have different values?
False
Suppose -10119 = 52*o + 489. Is -204 bigger than o?
False
Let x be 0 + 2 + 9 + 90. Let j = -504/5 + x. Which is greater: -2 or j?
j
Let b(k) = k**3 - 5*k**2 - 5*k - 6. Let j be b(6). Suppose -2*x - v + 0 - 5 = 0, 3*v + 3 = j. Suppose 3*z + 0*z + 15 = 0. Which is bigger: x or z?
x
Suppose -5*i = -3*z - 167, i - 5*z + 9*z - 38 = 0. Which is smaller: i or 35?
i
Let q(l) = -5*l + 6. Let c be q(4). Let o be c/216*(-26)/1001. Let x = -389/4158 - o. Is x smaller than 1?
True
Let f = 0.86 + -0.16. Let q = 1.7 - f. Let r(v) = -v**3 - 9*v**2 - 7*v - 9. Let b be r(-8). Does b = q?
False
Let w be (3 - 2)/((