 = h - -41. Which is greater: -1 or o?
o
Let n = 17 - 14. Let k = -64.7 + 68. Let v = k - 3.31. Which is greater: v or n?
n
Let r = -3.81 - -2.85. Which is bigger: -2 or r?
r
Let v be ((-2)/(-22))/(2/(-4)). Let f = -0.141 + 0.197. Let y = f - -0.014. Is v less than y?
True
Suppose 7*v - 11*v = 0. Suppose -4*u + 2*y - 28 = -v, -5*u + y = 32. Which is bigger: -7 or u?
u
Let h = -59 + 59.026. Let f = h - 0.726. Which is bigger: f or -0.2?
-0.2
Let u(c) = 3*c**3 + 48*c**2 - 107*c + 18. Let z be u(-18). Let x be ((-2)/4)/(1/4). Which is smaller: x or z?
x
Let x(u) = -u**3 + 3*u**2 - 2*u + 19. Let s be x(3). Which is smaller: s or 15?
s
Let v = -31 + 121. Let f be 62/(-666) + 10/v. Let p = -35/111 - f. Is p > -1.1?
True
Let u(h) = -3*h + 12. Suppose 3*b + 2*b = 4*g - 31, 2*b = -g - 2. Let y be u(g). Which is smaller: y or 1/2?
y
Suppose -2*x = 5*x - 7. Let n be 4 + (4 - (x - -5)). Which is smaller: n or -1/22?
-1/22
Suppose -8*q - 25 = -41. Which is greater: 13 or q?
13
Let x = -29 + 21. Let y = 9 + x. Let w = -5.1 + -1.9. Does w = y?
False
Suppose 0 = -2*g + 11 - 5. Suppose 2*k - 31 = 3*d, k + 20 = 2*k - g*d. Do k and 10 have the same value?
False
Let k be 2/((-120)/(-1 - -6)). Is k bigger than -1?
True
Let a(p) = -p + 9. Let b be a(-15). Suppose -j - 5*u = -b, 3*u = -3*j + 13 + 11. Is j > -1?
True
Suppose -15*n = 3*n - 2142. Do n and 116 have the same value?
False
Let d(p) be the third derivative of -p**5/60 - p**4/6 + 5*p**3/6 - 3*p**2. Let s be d(-4). Suppose s*f = -8 - 7. Which is bigger: f or -5?
f
Let w = 249 - 210. Which is bigger: 40 or w?
40
Let j = -36 + 40. Suppose j*k - 71 = 3*b, -3*k + 7*k - b = 61. Which is greater: k or 13?
k
Let c = 34 - 19. Let r = -163 + 176. Which is bigger: c or r?
c
Let b = -0.35 - 0.1. Let q = b + -0.25. Which is smaller: -0.1 or q?
q
Let g be (6 + 2)/((-9)/(-36)). Let n = g + -33. Which is smaller: 0 or n?
n
Let i be (-3*3/(-18))/(1/(-60)). Let b be (24/15 + -2)/((-3)/i). Which is smaller: b or -5?
-5
Suppose -2*m + 3318 = -4*n, 2*n + 1110 = -5*m - 579. Let q = 1613/2 + n. Do -27 and q have different values?
True
Suppose 0 = 5*w + 3*d - 26, d - 7 = -w - 1. Suppose 5*p - 8*a + 40 = -13*a, p - w = 5*a. Which is greater: -19/4 or p?
-19/4
Let w(s) = 25*s - 13. Let t be w(1). Which is smaller: 19 or t?
t
Let c(p) = -5*p + 2*p + p - 3 + 4*p. Let b be c(4). Suppose -b + 17 = -4*g. Do -0.1 and g have the same value?
False
Suppose 4*n + 2*o + 5 = 21, -2*o = -4. Suppose -5*w - n*t = -14, 3*t + 6 = 3*w + 12. Which is greater: w or 2/47?
w
Suppose 26*n + 48 = 32*n. Let m(i) = i**3 + 23*i**2 + 41*i - 13. Let g be m(-21). Is g >= n?
True
Let r be (54/(-12))/(-9) - 22/(-4). Is 5 <= r?
True
Let l = 72 - 146. Let j = l + 73.83. Which is smaller: 0.1 or j?
j
Let d(f) = -17*f - 543. Let a be d(-32). Which is bigger: 2/2441 or a?
a
Suppose -5 + 10 = 5*g. Suppose 0 = -4*b + 12, 4*b = z + 14 - g. Is z < -1?
False
Let a = 1.3 - 5.4. Let m = a - -1.1. Suppose w - 5*w - 18 = -2*r, 5*w = 2*r - 22. Which is greater: r or m?
r
Suppose 0 = 3*s + 4*q - 13 - 10, 5*s = q. Suppose 15*o = 7*o. Which is smaller: s or o?
o
Suppose 0*r = -4*r + n + 21, -3*r - 4*n = 8. Is r != 15?
True
Suppose 4*u - 5*p = 31, 4*p = -u - 2*u. Suppose -c - 16 = -0*t + u*t, 4*c - 8 = 2*t. Are c and -1/8 nonequal?
True
Let v = 28/3 - 61/6. Let u = 179 + -181. Which is bigger: u or v?
v
Suppose -6 = 7*m - 8*m. Suppose r = m*r. Which is bigger: 8/11 or r?
8/11
Let a(d) = d**3 - 7*d**2 - d + 6. Let v be a(7). Suppose -1 + 4 = -l - s, -4*l + 2*s = 18. Let w be (-10)/(-90)*6/l. Are v and w equal?
False
Let y = 0.3 + 20.7. Which is bigger: y or 1?
y
Let f = 295.4 - 298. Which is smaller: 3 or f?
f
Let x = -891 + 894. Which is bigger: 60/31 or x?
x
Let b = 5.62 - 5.6376. Is 1 smaller than b?
False
Let d = 6 + 0. Suppose -2*s + d = -2*k - 0, 5*k = 2*s - 18. Let g be s/5 + 42/(-15). Is g less than -4?
False
Let w(q) = -3*q + 12. Let n be w(-14). Suppose 5*d = -n - 201. Is d >= 0?
False
Let i = 25 - 35. Let u = -0.065 + 0.163. Let y = u - -0.002. Is i < y?
True
Let d be ((-420)/7)/10*220/(-24). Do 51 and d have different values?
True
Suppose 0 = 282*p - 304*p - 1144. Which is smaller: -49 or p?
p
Let j be (-111)/(-39) + 22/143. Is j equal to 23/11?
False
Suppose 0 = 3*f + 2*w - 1035, 2*w = -2*f + 421 + 269. Which is greater: 347 or f?
347
Let a be (-3 - -2)*(-3)/((-15)/625). Let m = -130 - a. Which is bigger: m or -60/13?
-60/13
Let z(r) = -2*r - 14. Let s be z(-10). Is s bigger than 7?
False
Let m = -32/29 + 615/58. Suppose p + 3*w + 7 = 0, -3*p + 5 = 2*p + 5*w. Suppose -p*o + 14 = -41. Which is bigger: o or m?
o
Let i be 6*(-1)/(-9)*3. Suppose -2*r + 6*f + i = 2*f, f + 3 = -2*r. Let g be (-1 - 14/(-30))*153/102. Is r equal to g?
False
Suppose 4*v = 3*a + 80, 0 = -5*v - 4*a + 88 + 12. Let p = v + -18. Is p at least -3?
True
Let h be -2*(-1 - (-10)/4). Let f be ((-144)/(-60))/12 + 38/10. Is f at most as big as h?
False
Let b = 2673/2 + -1305. Which is smaller: 4 or b?
4
Let z = -17.17 - -17. Let h = -2.12 + 2. Let n = z - h. Which is greater: n or -0.1?
n
Let h(l) = -14*l - 1243. Let z be h(-77). Which is greater: 1 or z?
1
Let s = 1/7 - 10/21. Let m = -25.19 - -25. Let p = m + 2.19. Are p and s equal?
False
Let b(u) be the second derivative of u**3/6 - 5*u**2/2 + 2*u. Let p be b(4). Let d = 3453/17 + -203. Which is smaller: p or d?
p
Let b(o) = o**3 + o**2 + 4. Suppose 4*a + a + 15 = 0. Let k be b(a). Let i = 0 - k. Is 14 < i?
False
Let r be ((-6)/2542)/(-1)*(-426)/639. Which is smaller: 1 or r?
r
Let z = 18 - 16. Suppose -5*b + 106 = -r, r - 48 = -0*b - z*b. Let d be ((-1)/2)/(b/(-77)). Which is greater: 1 or d?
d
Let l = -63 - -105. Let u = -45 + l. Which is greater: u or -12?
u
Suppose -16 = -2*g + 4*i, -g + 7 = -5*i - 4. Let n be (g/4)/((-2)/24). Let w be (-3)/n + (-1)/(-6). Do 1 and w have the same value?
False
Let y(l) = -l - 26. Let x = -8 - 0. Let f be y(x). Is -18 less than f?
False
Let y = 65 + -66. Let p be -4*(-1 - (-1316)/8). Let l = 9806/15 + p. Are y and l nonequal?
True
Suppose 0 = -179*h + 175*h - 60. Which is smaller: h or -1?
h
Let f(p) = -6 - p + 0*p - 3*p + p**2. Let r be f(5). Let x = 2153 - 6460/3. Which is bigger: r or x?
x
Let b be 14/70 + (-1)/5. Let g be (-1 - -4)/(2/(-4)). Let d be (-1)/2*g/(-21). Does d = b?
False
Let k be 3/(-6)*6 + 11. Suppose -4*z - 3 = -19. Let p = z - 4. Which is bigger: k or p?
k
Suppose 4*o = -5*m - 164, 0*m - 205 = 5*o + m. Let j(d) = -2*d**3 + 33*d**2 + 15*d - 8. Let q be j(17). Is q < o?
True
Let u be (-6 - -5)/(8/(-40)). Is u greater than or equal to 5?
True
Let n = 86243/7 - 12233. Let f = -88 + n. Is f != -1/3?
True
Suppose -5*i = 8*i - 19*i + 4*i. Let k be (-1 - -15) + (-2)/1. Let j be (k/(-190))/3 + 0. Is j > i?
False
Let r = -442 + 441. Is -38/65 at most as big as r?
False
Suppose 0 = 4*t - 2*a - 56, 2*t - 7 = -2*a + 9. Let u = t + -15. Which is smaller: u or -4?
-4
Let c(w) = 7*w + 49. Let o be c(-12). Is -182/5 less than o?
True
Let y = -87 - -87.2. Let h = -3.8 - y. Is -1 not equal to h?
True
Let k = 85.3 + -85.1. Which is smaller: -97 or k?
-97
Let i be (4/(-72)*4)/(24/(-45)). Let o be ((-2)/48)/(1/(-2)). Let v = i - o. Is v at least 0?
True
Let y = 14 + -2. Let h = 55 - 219/4. Is h < y?
True
Suppose 0 = -13*z - 10*z + 23. Let x = -4159/20 + 208. Is x bigger than z?
False
Let z(o) = o**3 + 20*o**2 + 31*o. Let c be z(-16). Which is greater: c or 527?
c
Suppose -4*l - 5 = -1. Let r = -42 - -39. Let j be r - (-5 + (-2)/l). Does j = 4/13?
False
Let n = -772 - -779. Are 8 and n equal?
False
Let x = 12 - 12. Let u = x + -0.4. Let a = u - -0.3. Which is smaller: -12 or a?
-12
Suppose 0 = 5*b + b - 12. Suppose -b*t + g + 4 = -6, g = 5*t - 19. Suppose -t*n = 2 - 5. Which is smaller: n or 2/13?
2/13
Let d(l) = l**2 + 5*l + 6. Let o(z) = z**2 + 5*z. Let m be o(-4). Let c be d(m). Which is greater: c or 1?
c
Let o be 4/20 + (-6591)/32630. Is o less than 1?
True
Let p = -201 - -227. Which is smaller: 2/21 or p?
2/21
Suppose 0 = 3*g - 7 - 2. Let j(b) = 2*b**2 - 3*b - 3. Let p be j(g). Let w(f) = -4*f**2 - 55*f - 33. Let m be w(-13). Is m < p?
False
Let y(i) = -i**3 - 13*i**2 + 13*i - 12. Let c be y(-14). Suppose 6*f + 8 = c*f. Is f < -5/8?
True
Let s = -175 + 176. Is s >= 1/178?
True
Let c = 10534 + -10539. Suppose d =