 + 0.1. Which is smaller: w or g?
g
Let v(a) = 8*a + 9. Let h be v(1). Which is greater: h or -0.08?
h
Suppose 5*d - d + 8 = 0. Let g be d - ((-19881)/33)/(-3). Let s = 203 + g. Which is greater: s or -1?
s
Let q = -174 + 213. Which is greater: 2/7 or q?
q
Let l(b) be the first derivative of b**2/2 + 23*b - 10. Let p be l(-17). Suppose 3*o + 3*k - 2*k + 2 = 0, 3*k + p = 4*o. Is -8/9 greater than o?
False
Let d = 17 - 23. Let j be (-3)/d*(-20)/(-2). Suppose 0*z + 1 = z, j*n = 5*z. Is 3/4 > n?
False
Let q(a) = -a**3 + 4*a**2 - 3*a + 4. Let b be q(4). Let h(c) = 15*c + 2. Let l be h(1). Suppose 2*m = -l + 1. Is m at least b?
True
Suppose 2*b = -3*b + 35. Suppose -b*d + 5*d = 0. Suppose d = 6*v + 16 + 2. Which is smaller: v or -3/2?
v
Suppose -k + 7 = -m - m, 0 = k - 5*m - 4. Suppose 0 = -4*h + 6*h + 2. Is k <= h?
False
Let y(f) = -114*f**3 - f**2 + 14*f - 15. Let x be y(1). Which is bigger: -349/3 or x?
x
Let w = 7 + 167. Let y = w - 91. Which is bigger: 82 or y?
y
Suppose 5*d - v = -11, -4*d + 6*v - 2*v = 12. Let m be d/(-1) + (-4 - 105/3). Is -35 at most m?
False
Let w(n) = -n**3 - 2*n**2. Let r be w(0). Which is smaller: 3/154 or r?
r
Let k(o) = -103*o**2 - 12*o - 1. Let x be k(-2). Let d = 15953/41 + x. Which is smaller: d or 1?
d
Let f = -5.9 + -2.1. Let a = -9 - f. Let s = a + 5. Which is greater: s or 0.1?
s
Let a(f) be the second derivative of 5*f**3/3 - 63*f**2/2 + 38*f. Let i be a(6). Which is bigger: i or 3/10?
3/10
Let n = 18553/13 + -1427. Suppose -7 = -m - 3. Which is smaller: n or m?
n
Let f(j) = -9*j - 17. Let t(x) be the third derivative of -5*x**4/12 - 3*x**3 - 5*x**2. Let a(r) = 7*f(r) - 6*t(r). Let v be a(-4). Which is greater: -2/5 or v?
v
Suppose -2*v + 4*z - 22 = 0, 4*v = z - 56 + 19. Let q(d) be the first derivative of d**3/3 + 4*d**2 - 10*d + 23. Let i be q(v). Which is bigger: 1/5 or i?
1/5
Let i = -28.32 - -28. Let x = i - 0.68. Is -2 greater than x?
False
Let k = -2990033 + 21149621/7. Let n = k + -31408. Let d = 67 + n. Which is smaller: -1 or d?
-1
Let o(f) = -198*f**2 - 3*f - 5. Let h be o(-1). Which is smaller: h or -198?
h
Let i = -0.4 + -0.55. Let j = -0.05 - -0.1. Let p = i - j. Is -1 at least p?
True
Suppose 0 = -2*v + 14 + 18. Suppose -79 - v = -5*g. Suppose -4*k + 64 = -0*y - 4*y, -4*y = -12. Is g <= k?
True
Let v = -0.09 - -0.79. Let w = -0.041 - -0.541. Let g = -0.5 - w. Which is smaller: v or g?
g
Let d = 156 - 134. Let a be (48/d)/(-6)*2. Let l be 2/2 + 1 + -2. Is l greater than or equal to a?
True
Let x be 1 - 21 - -1*1. Let q = -24 - x. Let c = q + 4. Which is smaller: -2/45 or c?
c
Suppose -2*d - 4*q + 96 = 0, 0 = -0*d + 4*d + 4*q - 180. Suppose 0 = -46*n + d*n - 4. Which is bigger: 0 or n?
0
Suppose -3*i + 24 = -2*d, d + d = -4*i + 18. Let v be 9/(-4)*(i - 2). Let u be (-6)/v - 6/9. Is u at most 1/9?
True
Let o = 76 - 73. Suppose -41 = -o*p - 17. Which is smaller: 10 or p?
p
Let q be 2 - 6 - (3 + (-75)/1). Let g = 97 - q. Which is smaller: 30 or g?
g
Let t(s) = -s**3 - 13*s**2 - 10*s - 19. Let n be t(-12). Which is bigger: n or -41?
-41
Let k(j) = -j**3 - 11*j**2 - 12*j + 8. Let f be (-224)/21 - 4/(-6). Let v be k(f). Let q be -2*((-60)/v - -2). Is 6 less than or equal to q?
False
Let b be -172*(-7)/((-84)/30). Let m be ((-13548)/(-45))/(7/10). Let r = m + b. Are 1 and r equal?
False
Let z be 219*-1*13/(-39). Let g be z/24 - (-1)/8. Which is smaller: 4 or g?
g
Let o be (-2 + 7)/(2 + -1). Let p(y) = 4*y**2 + y + 1. Let j be (5/10)/(1/(-2)). Let v be p(j). Which is bigger: o or v?
o
Let w be (-6)/8 + 11555/(-300). Let v = -197/5 - w. Which is smaller: 1/4 or v?
v
Let q(j) = j**2 - 15*j - 66. Let y be q(0). Which is bigger: y or -15?
-15
Let z be (-48)/16 + -2 + 0. Let l = 6 + z. Is l equal to 2?
False
Let w be 9/(3/1) + 96 + -100. Is w not equal to 1/211?
True
Let i = -71.83 - -70. Let q = 2 + i. Let k = 0.1 - q. Which is bigger: 0 or k?
0
Suppose 3*a - 7*h = 5581, 0 = a - 2*h - 1447 - 412. Which is greater: a or 1852?
1852
Let s = 323/3 + -107. Let m(y) = -94*y**2 + y + 2. Let b be m(-1). Let q = b - -2419/26. Which is smaller: s or q?
q
Let w = 9 - 3. Suppose -41 = -w*d + 25. Let h = 12 + -2. Which is greater: h or d?
d
Let f = 78 + -54.2. Let j = -0.2 - f. Is j not equal to 0?
True
Suppose m + 10 - 6 = 0. Let j = 0.9 - 0.6. Let w = -0.7 - j. Is w != m?
True
Let i = 543.8 + -544. Which is greater: i or 1/29?
1/29
Let q be 55/(-15)*9/(-8). Which is greater: 3 or q?
q
Let v = -0.079 - -0.145. Let q = v + 10.914. Let x = q + 0.02. Is 0.1 at least as big as x?
False
Let r be ((-1722)/432 - -4)/((-84)/(-16)). Is r smaller than 1?
True
Suppose -2*r - 452 = -2*v, -4*r - 92 + 805 = 3*v. Which is bigger: 1158/5 or v?
1158/5
Let v = -769 + 769.5. Is v smaller than 9.1?
True
Let i(r) = -21*r - 117. Let b be i(-11). Which is smaller: b or 1/4?
1/4
Suppose 8*b = 8 + 24. Suppose -s - 2*s = d - 1, 0 = -3*s + b*d - 19. Are 1/9 and s nonequal?
True
Let o = -3.7 - -21.7. Let j = o - 17.5. Are j and -2 equal?
False
Let f = 0.0382 - 0.0282. Are f and -4/23 unequal?
True
Suppose -5*g = -5*w + 45, -g - 25 = 3*w - 4. Let t(u) = u + 8. Let k be t(-4). Let v = g + k. Is -7 smaller than v?
False
Let z = 0.2 - 0.2. Suppose -15*d + 0*d = -150. Let o be (d - (-195)/(-20))*4/(-2). Which is greater: z or o?
z
Let t = -0.05 - 3.25. Let c = 0.7 - t. Let q = 3.8 - c. Is q >= -2/3?
True
Let m be (-8 + 14)*2/(-3). Let p = -1 - m. Suppose -p*s + 5*s - 4*x - 30 = 0, 59 = 5*s - 2*x. Is 10 greater than or equal to s?
False
Let v(u) = 43*u + 442. Let c be v(-12). Which is smaller: c or -82?
-82
Suppose 4*n = 2*m - 92 - 8, 5*n = -3*m + 183. Let p = 49 - m. Which is smaller: p or -6?
p
Let r(z) = -z**3 + 7*z**2 - 2*z - 3. Let b be r(6). Let j = b - 38. Which is smaller: -16 or j?
j
Let a be ((-1)/3)/(7/36). Let y = -1885 - -1884.9. Which is greater: a or y?
y
Suppose 0 = -3*u + 2*t + 4, -3*t = -4*u - 5*t + 10. Suppose -x + u = -0. Let q be (3/x)/((-4)/16). Is q at most as big as -6?
True
Let n = 0.32 + -1.5. Let k = n - -0.98. Which is greater: k or 5/6?
5/6
Suppose 3*t = -3*g - 6, -11 = 5*t - 2*t - 2*g. Let j be t/4 - (-7882)/10360. Which is bigger: j or 0?
j
Let f = 41 - 39. Let m be -3 - (144/(-28) - -2). Which is greater: f or m?
f
Let m be 2 + (-3 - (5 - -9)) + 1. Is m smaller than -15?
False
Suppose 2*j + p + p = -4, -2 = -2*j + p. Let a(c) = -3*c + j + 4 - c + 2*c. Let n be a(8). Which is greater: -11 or n?
-11
Let q be 1*((-2)/(-5) - 852/355). Is q smaller than 9.88?
True
Let s = 338 - 332. Which is greater: s or -13?
s
Let s be 24/132 + 9834156/(-374). Let k = s + 29341421/1105. Let i = k - 259. Which is smaller: -1 or i?
-1
Let a be 1/(3*2/6). Let b be ((-1)/(-1))/(1/a). Let j be ((-24)/(-176))/(6/(-8)). Which is smaller: j or b?
j
Let r = 368 - 369. Let x be 130/584 + (-1)/4. Which is bigger: x or r?
x
Suppose 26*a + 9 = 23*a + 2*c, -a - 3 = 2*c. Let d = -159/62 + 2/31. Which is smaller: d or a?
a
Suppose x - 3*m - 2 = -9, -2*x + 2 = 2*m. Which is smaller: x or -26/213?
x
Suppose -5*w = -54 + 14. Suppose f = 4*c + 4 + 6, f = 3*c + w. Suppose 0 = -g - 2*d - 4, g - 3*d - 7 = f*g. Is 1 != g?
True
Suppose 0 = 3*r + r + 28. Let x(y) = -3*y + 4. Let f be x(r). Suppose -m - 3*i = 2*m + 15, 0 = -m - 5*i - f. Which is smaller: m or 2?
m
Let j be ((-3746)/(-4))/(25/(-50)). Let x = j - -20575/11. Which is greater: x or -4?
x
Let o(i) = 11*i - 24. Let x be o(5). Which is greater: 29 or x?
x
Let w be 2/4*(4 + -2). Let u be ((-28)/(-35))/((-5542)/85). Which is greater: u or w?
w
Suppose -204 - 110 = -2*w. Which is greater: 156 or w?
w
Suppose 0 = -5*k + 4*d + 6 - 58, 3*k - 3*d = -33. Let c be 5/k*(-7)/(-175). Which is smaller: c or 1?
c
Suppose t = 3*t - 12. Suppose 50*q - 55*q = -20. Which is bigger: q or t?
t
Suppose 45*g + 24 = 48*g. Are g and -2 equal?
False
Let z = -2 + 6. Suppose 23 = o - 0*j - 5*j, 17 = z*o - 5*j. Let k(u) = -8*u + 5. Let q be k(1). Is q < o?
True
Let y = -3.7 - -3.6. Let i = 3.7 + y. Let d = i - 2.6. Is -5 >= d?
False
Let z be 117/(-4) - (-50)/(-10). Do z and -34 have different values?
True
Suppose 9 + 0 = 3*u. Suppose 0*n + n = 1, 32 = -k + u*n. Which is bigger: -28 or k?
-28
Let h be -5*(-4)/(-10)*4. Let m = 60 - 55. Suppose -2*w = -m*q - 41, q - 6*q - 5*w - 55 = 0. Which is bigger: q or h?
h
Let k(v) = 10*v + 13 -