= h + 31. Which is greater: -3 or r?
r
Suppose -127*t - 9 = -118*t. Which is greater: t or -1169?
t
Let q = -0.026 + -5.374. Let w = q + -1.6. Let g be 1/(-4) - (-18)/72. Which is bigger: w or g?
g
Let v be 12*((-9)/12 + 1). Suppose -5*z + 135 = a, -4*a + 3 = z + a. Suppose z = -v*p - p. Is p bigger than -6?
False
Let c(h) = -2*h - 3. Let i be c(-3). Suppose 0 = 2*u - i*u + 3. Which is bigger: 1 or u?
u
Let r = -0.316 + -1.014. Let p = r + 1.4. Which is smaller: -1 or p?
-1
Let n = -25.58 + -7.42. Which is greater: n or -5?
-5
Let t = -32 - -13. Let m = 13/818 - -140579/7362. Let d = t + m. Do d and 0 have different values?
True
Let k = -14/15 - -32/15. Suppose 0 = -3*m + 4*m - 2. Does k = m?
False
Let y = -1.49 - -1.59. Which is smaller: y or -6.5?
-6.5
Suppose -3*b + 5 = 4*w - 0*w, -3*w - b = 0. Let t(o) = -9*o - 1. Let p be t(3). Let a = 53/2 + p. Are a and w non-equal?
True
Let c be (-4)/(-14)*65/650. Are -0.7 and c unequal?
True
Let t be (-145)/261*3/(-12). Is t at most 1?
True
Let o = 15.08 - 15.08. Which is smaller: o or 1.177?
o
Let o be (-1 - -3)/(4/(-14)). Let y(v) = -v - 18. Let f be ((-2)/(-4))/((-4)/80). Let w be y(f). Which is greater: o or w?
o
Let b(g) = g**2 + 3*g + 2. Let w = -1 - 1. Let x be b(w). Let k be ((-40)/42)/((-2)/3). Is k not equal to x?
True
Let h = -670.51 - -675. Let p = h - 4.3. Which is smaller: p or -1/2?
-1/2
Let m(i) = -i**2 + 6*i + 15. Let v be m(8). Let p = 34/7 - 1272/259. Which is smaller: p or v?
v
Let j = 8.11 - 0.11. Let p = j + -20. Let v = 12.1 + p. Is 5 at most as big as v?
False
Let g = -18.7 - 13.3. Which is bigger: 0.09 or g?
0.09
Let v be (-3)/(-12) - (-2)/(-4). Let m = 84163/1022 + -93/146. Let l = 82 - m. Is v != l?
True
Let m = -22.3 - -25. Let x = 2.6 - m. Are x and -5 equal?
False
Let z(y) = 13*y - 13. Let m be 5 + 6*3/(-6). Let g be z(m). Is g at most 7?
False
Let a(l) = -2*l**2 - 3*l + 6. Let g be a(-3). Let i be (g - 36/(-14)) + 208/28. Are 5 and i non-equal?
True
Let l be (24/5)/(15/400). Is 129 at most as big as l?
False
Let x(s) = s**2 + 11*s - 5. Let k be x(-11). Let z = -1 + 4. Suppose 4*v = -z - 5. Is k greater than or equal to v?
False
Suppose -3*i - 4*j + 13 = 0, -23 = -5*i + j - 9. Suppose 0 = -i*f + f. Suppose -4*g + q + 25 = f, 2*g - 2*q + 13 = 3*g. Is 6 less than or equal to g?
True
Let r(b) = -b**3 - 27*b**2 + 2*b - 11. Let p be r(-27). Is -61 less than p?
False
Suppose -5*k + 61 = 3*n - 414, 4*k - 380 = 5*n. Let r = k + -177. Is r at most -82?
True
Let g = 134 + -535/4. Let w = 14 - 1. Is g at most as big as w?
True
Suppose 259 = -2*s + 133. Let q = -121 + 58. Is s less than q?
False
Let p = -54.384 - -50.5. Let r = p - 0.116. Which is bigger: r or -1/5?
-1/5
Let a = 437 + -435. Which is bigger: -2 or a?
a
Let y(z) = -z**2 + 9*z + 11. Let m be y(11). Let a = -9 - m. Suppose -2*r - 2*b - a = -6, -2*r = 5*b - 13. Which is greater: -3 or r?
r
Suppose 0 = 5*c - 0*d + 3*d - 9, 0 = -5*c - d + 3. Suppose 4*m - 15 + 3 = c. Suppose 16 = m*x - x. Which is greater: 7 or x?
x
Let b = 197.4 + -195.9. Which is smaller: b or -2?
-2
Let c = 329 + -329. Which is greater: c or -1/365?
c
Suppose -3*o = 5*r - 239, -3*o - 130 = -3*r + 23. Which is bigger: 50 or r?
50
Suppose -44 = 7*x - 3*x. Let w be (-30)/(-9) + 4/6. Suppose -2*r - 18 = 4*u, -w*r - 2*u = -r + 31. Is r greater than x?
False
Let f = -17.15 + 2.25. Let n = f - -15. Let m be (-6 - -4)*2/(-4). Is n < m?
True
Let m be -2 - (1 + -7 + 1). Suppose -5*w - m = -5*f + 2, 0 = -w - f + 3. Let k be (8/(-120))/(3/(-81)). Is w > k?
False
Let g(s) = s**3 + 7*s**2 + 13*s - 20. Let w be g(-5). Suppose 5*t - 4*d = -167, 4*t = -d - 4*d - 150. Is t smaller than w?
False
Let o(c) = c**2 - c + 1. Let l(f) = 4*f**2 - 11*f + 9. Let w(m) = -l(m) + 3*o(m). Let u be w(7). Let v = 0.12 + 2.88. Which is greater: u or v?
v
Let r be (2 + (-3 - (-4 - -2)))/1. Let b be ((-22)/(-30))/(3/5). Which is smaller: b or r?
r
Let a = -14977 + 194869/13. Are 14 and a unequal?
True
Let k = 1.319 + -1.3. Let z = k - -13.981. Which is bigger: 1 or z?
z
Let y = -13466/51 + 264. Let x(c) = -4*c**2 + 140*c - 135. Let i be x(34). Which is smaller: i or y?
y
Let f(l) = 5*l + 5*l + 8*l - 7 - 24*l. Let b be f(0). Let k = -9 - -5. Which is smaller: b or k?
b
Let u = 11 + -21. Let w(k) = k**3 + 5*k**2 + 2*k + 2. Let y(n) = 9*n + 4. Let x be y(-1). Let r be w(x). Is r less than or equal to u?
False
Let y = 3/20 - 29/60. Let i = 7/12 + y. Is -1/48 >= i?
False
Suppose -5*t + 710 = 2*f - 7*f, -3*t - f + 422 = 0. Let w be t/(-165) - 4/(-10). Let a = 29/33 - w. Which is bigger: 1 or a?
a
Suppose 4*t + 2*c + 2*c = 20, 5*t - 3*c - 9 = 0. Suppose 0 = t*k - n + 5, 2*k + 1 = -3*n - 6. Let d be 1/((-10)/7)*2. Is d bigger than k?
True
Let i = -164.04 + 164. Which is bigger: i or 16?
16
Let z = 35/24 + -1/8. Let a = 128/21 - 31/7. Let h = a - z. Is 5 at least h?
True
Let x = 12 + 5. Let s = 23.9 - 5.9. Let d = x - s. Is 5 greater than d?
True
Let z be (-2)/10 + ((-41)/5)/(-1). Let n(d) = -d**3 + 9*d**2 - 6*d - 7. Let c be n(z). Let g(l) = 8*l**3 - 2*l**2 + 1. Let b be g(1). Which is smaller: c or b?
b
Let n be (1 - 0)/(-3) + 70/147. Let w be 10/4 + 3/2. Suppose -2*z = -w*z. Is z greater than or equal to n?
False
Let w = -51945/4 - -12865. Is -120 less than w?
False
Let u be 1/((-4)/(-16)) + 466. Let n = u + -19268/41. Are n and 1 equal?
False
Let w be -1 + (1420/(-25))/4 + 2. Is w <= 0.2?
True
Suppose 2 + 2 = 3*t + 5*i, 2 = -3*t - 2*i. Let o(n) be the third derivative of -n**5/60 - 7*n**4/24 + n**3/3 - n**2. Let s be o(-7). Are t and s non-equal?
True
Let u be 6*(-4)/(-8)*1. Let w(r) = -4*r - 3. Let i(s) = -3*s - 3. Let k(z) = 5*i(z) - 4*w(z). Let m be k(u). Which is smaller: 3 or m?
m
Let k = -73 - -64. Suppose -5*p - 7 - 33 = 0. Let r = p - k. Is r <= 1?
True
Let d be (42/(-8))/((-30)/80). Let n = -8 + d. Which is smaller: n or 2?
2
Let g(p) = 4*p - 8. Let h be g(3). Let q be 1148/357 + h/34. Which is smaller: 2 or q?
2
Suppose -36*f - 265 = 5*v - 41*f, 3*f - 263 = 5*v. Which is greater: v or -57?
v
Suppose 6*k + 920 = -5*y, -3*k - 213 - 242 = 5*y. Which is bigger: -311/2 or k?
k
Let f be (6/12)/((-8)/272). Which is greater: f or -13?
-13
Let u = 11 - 20. Let s = u - -9. Let a = -7/12 + 5/4. Which is smaller: a or s?
s
Let h = -0.1477 - -0.0077. Is 22 smaller than h?
False
Let g = 204 - 213. Let j(x) = -x**3 + 6*x**2 - 7*x + 1. Let f be j(5). Is g at least f?
True
Let y = -5 - -6. Let w be (y + 25/(-26))*-4. Suppose 21*g - 10*g = 11. Is w equal to g?
False
Suppose 3*g = -2*g + o + 46, 1 = -o. Suppose g*m - 2*m = -14. Let t = 2 + -4. Is t not equal to m?
False
Let j = 174 - 185. Let x be -2*(-1)/(-2) + -10. Are j and x nonequal?
False
Let m = -1.8 - 0.2. Let t be (-40)/96 - (-10)/(-40). Is t >= m?
True
Let y = 0.69 - -0.01. Let f = y - 4.5. Let k = -4 - f. Which is bigger: k or 1?
1
Suppose -4*s - 10 + 34 = -5*n, 3*s = -n - 1. Let g = -2 - n. Suppose -12 = -4*d, -g*d = c - 5*d + 7. Which is bigger: c or 2/3?
c
Let z = -229 - -3663/16. Is z > 6/5?
False
Suppose -4*b - 2 = 2*y - 0*y, -5*b + 3*y = 30. Suppose -4*q - 22 = -2. Is b greater than or equal to q?
True
Suppose 3*j + 2 = -k, 3*j - 2*j = k - 6. Let u be j - (-6)/(-9)*-3. Suppose -a = 7 - 1. Are u and a unequal?
True
Suppose 0*y - y = 13. Let x(h) = h**2 - 15*h + 29. Let q be x(13). Suppose 4*s + q*g + 41 = 0, 5*s + 36 = g - 39. Does y = s?
False
Let h be (-219126)/74*3/(-9). Let m = h - 987. Suppose -5*f = -2*c + 12, 60*c - 4*f - 5 = 63*c. Which is smaller: c or m?
m
Let j = 0.203 + -88.203. Let a = 96 + j. Is a at most 0?
False
Suppose 15 = f - 6*f. Let m(h) be the third derivative of -h**5/60 - h**4/12 + h**3/3 - h**2. Let y be m(f). Which is bigger: -5/6 or y?
-5/6
Let f = -37.6 - -45. Let z = -4.4 + f. Let a = 6 - 3. Is a greater than or equal to z?
True
Let f(v) = -8*v - 14*v**2 - 9 + 13*v**2 - 3*v. Let h be f(-8). Let y = 14 - h. Which is greater: -4/17 or y?
-4/17
Let k be (-143)/(-91) - (3 - 1). Which is bigger: k or -0.16?
-0.16
Let k = 63 + -42. Let a be 14/k*(-3)/11. Let p = 5/2 + -3. Which is bigger: a or p?
a
Let v be (6/(-162))/((-1)/(-39)). Is -1 > v?
True
Let y(j) = 7*j + 133. Let h be y(-19). Which is bigger: -2/51 or h?
h
Let j = 1004 - 1005.2. Is j < -16?
False
Let d = 60 - 254. Is d smaller than -197?
False
Suppose