t = -4 - 5. Which is bigger: r or t?
r
Let p be (-142*1)/((-3)/6). Let h = -3122/11 + p. Which is greater: h or 0?
h
Let f be 168/34 + -2 + -3. Let h be ((-6)/(-9))/(2/(-3)). Which is smaller: f or h?
h
Let c = -20 + -4. Is c smaller than -24?
False
Let d = 88/123 + -2/41. Let v = 6 + -4. Is v at least d?
True
Let d(h) = -h + 3. Let i be d(3). Suppose -4*q - 3*k = 40, q = -i*k - 4*k - 23. Let o = q - -8. Is 2 bigger than o?
True
Let q be -3 + 0/1 - -2. Which is smaller: -1/40 or q?
q
Suppose -3*x + 0*x = 21. Let l = x + 8. Which is bigger: 4/5 or l?
l
Let w = 0.63 + -0.03. Let n = 0.8 - w. Let v = -2 - -2. Do v and n have the same value?
False
Let b be (-2)/(-8) - 1/4. Let d = -1 - -1. Suppose d*l - 4*l = 0. Is l greater than or equal to b?
True
Let x = 0.04 + -4.04. Let z = x + 3.9. Which is smaller: 0.02 or z?
z
Let d = -0.83 + -0.17. Suppose -4*m + 11 = h, 2*h = 6*h - 4*m + 16. Let t be h*1/(-3 - 0). Which is greater: t or d?
t
Let w be 4 - (4/(-6) - (-5 - -2)). Let l(k) = k**3 + k**2. Let g be l(1). Let t = g - 1. Are t and w unequal?
True
Let i = -0.12 + -15.88. Let q = 12 + i. Let u = 79/252 - 1/36. Is u > q?
True
Let j = -117 + 383/3. Is j <= 10?
False
Let o = -1 - 0. Let v = 1 + o. Let r = -144 + 143. Which is greater: v or r?
v
Suppose 0 = 3*h - i - 3, i - 3*i + 6 = 0. Suppose h*m = -4*u, -2*m + 14 = -4*u + u. Suppose 3*k = -5*a - 8, k = -4*k + a - m. Which is smaller: -2 or k?
-2
Suppose 5*u - 7 = w, 0 = -2*w - 3*u - 0*u + 51. Let k = 17 - w. Which is bigger: -2/19 or k?
-2/19
Let f = -2 + -2. Let t = 6 + f. Let u be ((-8)/(-60))/(1/5). Which is smaller: t or u?
u
Let g = 0.1 - 0.18. Let j = 0.02 - g. Is j at most -1/2?
False
Let z = 2640365/11 - 240203. Let k = -170 - z. Is 0 greater than k?
True
Let m = -1/33 - -37/132. Which is greater: -3 or m?
m
Suppose -a - a = 0. Let y be 9*((-1)/3 - -1). Let b be (-2)/y*(-6)/8. Which is greater: b or a?
b
Suppose -2*z = -3*x + 24, -50 = 4*z - 9*x + 4*x. Let s = z - -19. Which is greater: s or 6?
6
Let w be 2 - ((-4 - -3) + 3). Let l = 0 + w. Is l at most -3/7?
False
Let h = 6.4 - 6.4. Which is greater: 0.15 or h?
0.15
Suppose 0 = 2*p - 3*v - 8 + 4, 0 = 4*p + 2*v - 8. Let o be (p/4)/(3/(-6)). Which is smaller: o or 1/7?
o
Let t be 2/44*(-79410)/9. Suppose -2*p = -3*n - 793, -4*p + 3*n + n = -1592. Let z = t + p. Is 0 at least as big as z?
True
Let j = 6 - 11. Suppose 32 = -10*b - 8. Which is smaller: b or j?
j
Let i = -6.6 - -3.2. Do 0.1 and i have the same value?
False
Let v be (32/(-1456))/(1/(-7)). Let p = -3 + 3.1. Are p and v non-equal?
True
Let b = -0.14 + -0.06. Which is bigger: -1/3 or b?
b
Suppose -5*k = 117 - 2. Is k at most as big as -24?
False
Let d be (3/(-2))/(30/(-24) - -2). Which is smaller: d or -1?
d
Let q = -0.02 + 2.22. Let f = -58 - -58. Is q at most f?
False
Let q = 10 + -3. Suppose -5*f + v = -q, 5*v = -5*f + 2*f - 7. Let w be ((-2)/(-10))/(4/(-5)). Does f = w?
False
Let t(h) = 10 - 6*h - 3*h**2 + h**2 - h**3 - 6*h**2 + 0*h**3. Let n be t(-7). Suppose -1 = n*c + 2. Which is smaller: -3 or c?
-3
Suppose 4*k = 27 - 31. Is 2/17 <= k?
False
Let f(y) = y. Let u be f(1). Suppose 89 + 127 = 3*x. Let m = 358/5 - x. Which is smaller: m or u?
m
Let c = -3 - 0. Let o be c - -1 - 320/6. Let w = -54 - o. Which is smaller: w or 0?
0
Let j be (-24)/15 - (-2)/(-5). Let o(h) = h + 15. Let g be o(-16). Which is smaller: g or j?
j
Let m = 16981/44 - 386. Is -1 < m?
True
Let a(c) = -c**3 - 11*c**2 - 9*c + 14. Suppose 3*b = -27 - 3. Let g be a(b). Suppose -2*i + 0 + 8 = -4*r, 0 = -g*r - 16. Is -4 <= i?
True
Suppose 2*t - 4*v + 22 = 4*t, 4*v - 29 = -3*t. Is 0 greater than or equal to t?
False
Let y = -0.27 - -0.07. Which is smaller: -4 or y?
-4
Suppose -158 - 367 = -5*i - 5*g, 4*i - 4*g - 436 = 0. Which is bigger: i or 106?
i
Let f = -244/903 - 2/129. Let t be 8/(-24) - (-5)/(-3). Let p be (-3 + 2)/((-2)/t). Which is smaller: p or f?
p
Let t be (-2 + 0)/(-2) - 880. Let g be t/(-84) - 6/(-21). Let y = g + -10. Which is smaller: y or 2?
y
Let j = -14.9 + 15. Which is greater: 2/11 or j?
2/11
Let x = 0.3 - 0.4. Let i = -0.9 + x. Let c = 0.06 - -0.04. Which is bigger: i or c?
c
Let v(m) be the first derivative of -1 + 2 + 0 - m**2 + 2*m. Let p be v(2). Which is smaller: -3 or p?
-3
Let t be 25/(-15) + (-8)/(-12). Which is smaller: -4/5 or t?
t
Suppose -7*q + 24 = -5*q + 3*i, -2*q = 4*i - 26. Suppose 0 = 2*w - 5*w + q. Is 3 at most as big as w?
True
Let f be 46/42 + (-2)/3. Let u be (-2 - 3)*(-3 - 32/(-10)). Which is greater: f or u?
f
Let h = -2.2 - -2. Let n = 65.9 + -71. Let o = -5 - n. Which is greater: o or h?
o
Let m = -4 - -4.2. Let o = m - -0.8. Let n = o - -2. Which is smaller: n or 1/3?
1/3
Suppose -j + 2*o - 44 = -4*j, 3*j + 4*o = 52. Let l = j - 19. Is -7 bigger than l?
False
Let u be (-5 - -14)/(42/4). Let y = u + -5/14. Let l = -5.7 + -1.3. Which is greater: y or l?
y
Let p = 60 - 62. Is -24/17 equal to p?
False
Let y = 4 - 4. Let q = 59 - 58. Which is bigger: q or y?
q
Let l be ((-2)/(-12))/((-2)/(-8)). Let h = -466 + 1412/3. Let d = h - 5. Which is smaller: l or d?
d
Let k = -23.4 - 5.6. Let w = k + 26.2. Let i = 3 + w. Which is smaller: i or 1?
i
Let g(o) = o**3 - 7*o**2 + 7*o + 16. Let d be g(5). Do 1/4 and d have the same value?
False
Let t = 0.13 - 0.04. Let s = t + -0.09. Is -0.01 at least s?
False
Let q(o) = o**2 + 4*o + 3. Let a be q(-2). Suppose 5*n = -4*x + 31, n + 13 = -0*x + 4*x. Let p be ((-21)/(-9) + -2)*n. Which is bigger: p or a?
p
Let x = 0.1 - 0.2. Let o(y) be the third derivative of -y**5/60 + 5*y**4/24 + y**3/2 + 2*y**2. Let d be o(6). Is d at least x?
False
Let v(a) = a + 2. Let d be v(-2). Let u be (-12)/(-8)*(-12)/9. Is u less than d?
True
Let v be (-4)/(-14) + (-23)/7. Let d(q) = 6*q + 7. Let b(s) = -7*s - 7. Let f(h) = -5*b(h) - 6*d(h). Let j be f(-4). Is j <= v?
True
Let c be 2 + -3 - (-2)/2. Suppose y - 2 = 2*g - 3, 0 = 3*g - 2*y - 2. Suppose g = x - c + 3. Which is greater: -2 or x?
-2
Let j(p) = p**2 - 11*p + 9. Let m be j(10). Which is smaller: -1/42 or m?
m
Let m(p) = 2*p + 3. Suppose 0 = -3*w + 4*l - 9 - 18, l = 5*w + 28. Let s be m(w). Let h be ((-2)/2)/(s/(-2)). Which is greater: 1 or h?
1
Let b be (-3)/18 - 92/312. Which is smaller: b or -1?
-1
Suppose -10 = 4*b - 5*f, 3*b - 3*f + 2*f = -2. Which is bigger: b or 9/11?
9/11
Let i = -20 - -19. Which is smaller: i or -0.25?
i
Let g be 12*2/20 - 1. Do g and 1 have the same value?
False
Let l be 3 + 0 + 1 + -13. Let g(f) = -f**3 - 9*f**2 + 2. Let r be g(l). Suppose -6*j + 14 = -r*j - 2*c, 4*c = 5*j - 22. Is 6/7 < j?
True
Suppose 0 = -3*n + 4*n + 20. Let k be (-13)/n - 4/10. Suppose -4*x = 5 - 9. Which is smaller: x or k?
k
Let m = 0 + 0. Let s be m + 0 + 1 + 15. Suppose 4*d - 4 = -s, -4*d = a + 14. Which is smaller: a or -3?
-3
Suppose -3*v = -5*y + 11, -3*y + 0*v = 4*v + 5. Let n = -573 - -5171/9. Which is smaller: y or n?
y
Let j = -44 + 29. Let s = -14 - j. Which is bigger: s or 0?
s
Let i = -2 - 7. Let y be (-2 + -4)*(-6)/i. Which is smaller: y or -21/5?
-21/5
Suppose 0 = -2*a - 2*l + 20, -5*l + 10 = 3*a - 16. Let m(j) = 13*j - 1. Let v be m(1). Is v greater than a?
False
Suppose 2*n - 24 = -4*a, 6*a - 24 = 2*a + n. Are a and 7 equal?
False
Suppose 3 = v - 0. Are 0 and v nonequal?
True
Let t = 6.73 - 0.63. Let p = 0.1 - t. Is p at least as big as -0.1?
False
Let v be 6*((-18)/12 - -1). Is v smaller than -0.2?
True
Suppose 3*i + 7 - 1 = 0. Let g = 6 + i. Suppose 0*n = -g*n. Does n = 2?
False
Let o = -1.2 + 1.2. Is 11 at most o?
False
Suppose 0 = 5*k - 3*u + 254, 4*k - 2*k + 83 = -5*u. Let g be 14/k*(-22)/(-4). Is g at most as big as -3?
False
Suppose -3*m - 12 = 3*b - 0*b, -2*b = -5*m + 8. Let u = 47/2 - 23. Which is greater: m or u?
u
Let i be (-1 - (1 + -2))/1. Let f be 592/629 + (1 - 4) + 2. Which is smaller: f or i?
f
Let y(h) = 2*h**2 + 3. Let i be y(3). Let t be 6/(-21) - (-6)/i. Do t and 1 have the same value?
False
Let a = 62 + -61.9. Which is greater: 5/8 or a?
5/8
Let t = -0.02 - -2.02. Let g be (-1 - 3) + (-72)/(-20). Which is smaller: g or t?
g
Let u = -23.9 - -24. Is u < -3?
False
Let u = 24 - -80. Let m be (39/u)/(6/4). Let w(a) = a**2 + 6*a. Let b be w(-6). Do m and b have the same value?
False
Let x = -242 - -294.9. Let w = 47 - x. Let v = 0.1 - w. Is 0.1 >= v?
False
Let f = 0.2 