d + -0.3. Which is smaller: g or -3?
-3
Let p be (3/6)/(4/(-14)). Is -3 greater than or equal to p?
False
Let b(t) = -t**2 + 10*t - 11. Let c be b(8). Let v = c + -6. Which is bigger: -3/4 or v?
-3/4
Let b = -6 - -4. Let z be (4/36)/(1/b). Suppose 2*t + 1 + 1 = 0. Which is greater: t or z?
z
Let i be 1/(-4 - (-164)/40). Which is greater: 8 or i?
i
Let j be ((21/6)/7)/(-1). Suppose -4*w = -7*w. Which is smaller: j or w?
j
Suppose -5*s = 91 - 36. Do -11 and s have different values?
False
Let t be (-4)/(16/12) - 1. Let a be 3/(-3 - -6) + t. Let p(z) = -z**2 - 1. Let m be p(0). Which is smaller: a or m?
a
Suppose -5*d + 4 = 9. Let j = -9 + d. Let u be (3 - (-42)/j) + 1. Which is smaller: -1 or u?
-1
Let h(o) = 7 - o**3 + 5*o**2 - 4*o + o + o. Let j be h(5). Let f = 0 + 1. Which is bigger: j or f?
f
Let g be (8 - -2)/(-2 + 1). Let b = 7 + g. Which is smaller: b or -2?
b
Suppose -3 = 2*g - 5. Let p be (-4)/18*(0 - g). Let u = 13 - 13.3. Is u > p?
False
Suppose -5*x - 23 = -s, -2*x - 5*s + 4 = -3. Do x and -13/5 have the same value?
False
Let z be (-2)/2 + 18/22. Suppose i + 24 = -5*y, 4*i + 10 - 34 = 4*y. Which is smaller: i or z?
z
Suppose 3*n = 5*n - 44. Suppose 0 = 5*r + a - 14, -5*r - 3*a + n = -0. Suppose r*p + 2*p = 0. Which is smaller: p or -1/6?
-1/6
Suppose 37*u + 132 = 40*u. Is u bigger than 45?
False
Let d = 165 + -165. Is d bigger than -2/263?
True
Let g = -6/43 - 117/86. Which is smaller: -1 or g?
g
Suppose -12*k + 250 = -2. Which is smaller: 19 or k?
19
Let z(s) = -s + 11. Let g be z(0). Suppose -3*y + g = -h, 2*h - 7 = -3*y + 7. Let t = y + -4. Which is greater: t or -1/7?
t
Suppose 10 + 0 = 5*o. Suppose 3*j = 3*i - 2*i - 10, -o*i - 13 = 5*j. Let h = -4 - -3. Which is bigger: i or h?
i
Let y = -19 - -18. Is 0 equal to y?
False
Let p = 12 + -7. Suppose -2*d = -11 + p. Is d <= 5?
True
Let k be (-1)/((-1)/(-4)*-1). Let h be (k - 5)/(1/5). Which is greater: 0 or h?
0
Let s be (19 - (-1 - -2))/(2 - 0). Is 8 smaller than s?
True
Let g = -1685/6 - -575/2. Let t = -266/39 + g. Is 0 at least as big as t?
True
Let z = -1.3 - -1.4. Let p = z + -1.1. Which is bigger: p or 3/7?
3/7
Let d(u) = u. Let s be 10/6 - (-1)/3. Suppose 1 = s*p + 5, 2*p = -5*a + 1. Let q be d(a). Is -0.2 >= q?
False
Let k be (4/6)/((-12)/18). Let i be (-2)/(0 - (2 + k)). Let m be (i - 2) + 2/(-6). Are -1 and m equal?
False
Let w = -312 - -9674/31. Which is bigger: 1 or w?
1
Let s = -346 + 4841/14. Which is smaller: 1 or s?
s
Let a be 10/24*6/30. Is 0 > a?
False
Suppose -2*f - 13 = 3*m - 6*m, -3*m + 8 = -f. Which is greater: 0 or m?
m
Let s = -1 + 2. Let h = -47 - -52. Which is smaller: h or s?
s
Let j = -8/3 - -46/15. Suppose -2*b + 5 = 3*s - 5, -4*b + 20 = 0. Which is smaller: s or j?
s
Let v = 1/74885 - -19095584/6814535. Let x = -42/13 + v. Let a = -95 + 94. Which is bigger: a or x?
x
Let x be 2 - 0 - (-96)/(-47). Is x less than 0?
True
Let r(a) = 2*a + 7. Let d be r(-6). Suppose 3*i + 0*t - 4*t = 9, -3*t = i - 3. Let z = d + i. Which is smaller: -1 or z?
z
Let b = -8 + 6. Let v = -3 - -2.8. Is v at most as big as b?
False
Let g = -22 - -23. Which is bigger: g or 12/11?
12/11
Let h = -0.11 + 0.21. Which is smaller: h or -5/4?
-5/4
Let d = -3 + 1. Let n = 4 + -9. Let v be (-3)/n - (-22)/55. Which is smaller: d or v?
d
Suppose 5*k - 17 = -4*m, 2*k + 1 + 9 = 4*m. Suppose -m*l = -0*x + 2*x - 7, 0 = -l + 5*x - 9. Is -2 at least as big as l?
False
Let a be 4/5 - 528/760. Is 0.3 at most as big as a?
False
Let u = 14 - 13. Suppose 2*r - u = 3*r. Is r at most as big as -1?
True
Suppose -f + r - 2 = 2*f, 0 = -4*f + 4*r. Are f and -4 nonequal?
True
Let h be (-1)/4 - (-101)/(-12). Suppose 45 = -5*a + o, 3*a - 4*o - 4 = 6*a. Let u = a - h. Does u = 0?
False
Let u = 13.4 - 13. Let g = 5.6 - 6. Let i = g + u. Which is greater: -0.1 or i?
i
Let c(x) = -x**2. Let v = 2 + -3. Let d be c(v). Let w be (-19)/4 + 3 + 2. Which is smaller: w or d?
d
Let d = 0 + 0. Let b be ((-3)/9*d)/3. Which is smaller: -0.5 or b?
-0.5
Suppose m - 4 + 3 = 0. Let b = -187/7 + 27. Which is smaller: b or m?
b
Let x be (-26)/1 + 1 + 2. Let z = x + 14. Let s be (1/9)/((-3)/z). Which is greater: -1 or s?
s
Let d be 11 - 9 - (-2 - 11/(-1)). Which is greater: d or -3?
-3
Let f be (2/(-12)*-3)/((-5)/(-50)). Is 1 not equal to f?
True
Let t = 10 - 21. Suppose -n + u + 72 = -5*n, -5*u + 48 = -4*n. Let q = t - n. Which is greater: q or 5?
q
Let t be 10/(80/28 + -2). Is t less than or equal to 11?
False
Let q be (-3)/(-2) - (-1)/2. Let a be 2*8 - 2/q. Suppose 5*t - 25 = 4*y, y - 5*t + 2*t + a = 0. Is -1 <= y?
True
Let g = 2/531 + -3196/2655. Let m = -71 - -351/5. Let b = g - m. Which is smaller: -1 or b?
-1
Let u(c) = c**2 - 7*c - 8. Let g be u(8). Suppose -2*h + g*h = 2. Which is bigger: 2/19 or h?
2/19
Let v = 23 - 9. Let l = v - 15. Are 0 and l equal?
False
Let i be (2 - (-3 - -7)) + 1. Let n be 207/(-228) - (-6)/8. Which is smaller: i or n?
i
Let q(s) = -s**2 + s + 1. Let p be q(3). Let h be 13/7 - (7 + p). Is h < 0?
True
Suppose 3*j + 4*w - 38 = 0, -5*w + 0 - 2 = j. Suppose j = l + 6*t - t, -t = 5*l - 42. Let r(n) = -n**3 + 9*n**2 - 8*n - 2. Let z be r(l). Is z > -3?
True
Let z(h) = h + 6. Suppose s - 5*f = -12 - 18, 0 = 4*s + 4*f. Let y be z(s). Suppose -4 = o - y. Which is greater: o or -1?
-1
Let i = -7 - -6.97. Let x = i - -0.23. Is -1/3 less than x?
True
Let o = 0.11 - -7.89. Let a = o + -11. Let z = 3.1 + a. Are z and -0.1 nonequal?
True
Suppose -k - 4 - 5 = 5*r, 5*k + 5*r - 15 = 0. Suppose -3*s - t + 31 = t, 0 = s + 5*t - 32. Is s greater than or equal to k?
True
Suppose -3*s = 2*s. Let r be 18/7 + -9 + 6. Which is bigger: s or r?
s
Let l = 77 + -1543/20. Let i be ((-1)/(-10))/((-27)/18). Let n = l - i. Which is smaller: n or -1?
-1
Suppose -3*a + 4*k = 8, a + 0*k = 5*k - 21. Which is greater: 2 or a?
a
Let k = -18 + 73/4. Which is smaller: -1 or k?
-1
Let o be 2 - (37 - (-1 + 0)). Let p be (2/o)/(2/8). Suppose 0*m = -5*c + m - 5, 3*c - 2*m + 10 = 0. Are p and c nonequal?
True
Let l = 7 - 4. Let y(g) = g**3 + 6*g**2 - 8*g - 6. Let w be y(-7). Let o be (l + (-1 - w))/(-1). Are -2 and o equal?
False
Let c be (-4)/(-4) + 14/(-12). Let s = 19 + -19. Are s and c unequal?
True
Let w be ((-324)/(-84))/((-4)/(-7)). Is 6 at most as big as w?
True
Suppose -8 = -2*w + 2*l, 5*w + 1 = -3*l - 19. Let m be w - (-1 - 3/(-3)). Which is bigger: m or -2?
m
Let m(t) = t + 8. Let z be m(-5). Suppose -4*i + 0 = -4*q - 12, -q - z*i + 13 = 0. Is -0.3 at most q?
True
Let f(m) = m**3 - 13*m**2 + 11*m + 7. Let t be f(12). Is -3 at least t?
True
Let u be 55/(-22)*(-2)/40. Is u greater than 0?
True
Let h = 93 - 91. Is h > 0.07?
True
Let w(r) = r**3 + 4*r**2 - 2*r - 1. Let c be w(-4). Let u = 186 + -179. Is c <= u?
True
Suppose 0 = -2*s + 9 + 51. Let t = s - 119/4. Do t and -0.03 have different values?
True
Suppose 0 = 5*g + 43 + 22. Let k = -53/4 - g. Suppose 3*a - 5 = -8. Are k and a equal?
False
Let i = -56/5 - -11. Is 2/3 greater than i?
True
Let w be (-1)/4 - 76/16. Let y(t) = t + 7. Let m be y(w). Suppose -d = 2*a - 0 + 5, 2*a + 8 = -m*d. Is -1/4 != a?
True
Suppose -158 = 2*f - 132. Are -14 and f equal?
False
Let h be (-10)/45 + 2/9. Let p = h - -2. Suppose 6*x = p*x. Which is greater: x or 2?
2
Let a = -33 + 15. Which is smaller: -3 or a?
a
Let d be (-1*1)/((-24)/48). Let n = 71 + -493/7. Which is smaller: n or d?
n
Let j = 0 + 0. Let z(h) = -h**2. Let s be z(j). Let g = 29 + -117/4. Is g < s?
True
Let t be (18/(-15))/(4/(-10)). Suppose -k + 2 = t. Which is smaller: -3 or k?
-3
Let b(c) be the first derivative of 2*c**3/3 - 2*c**2 + c - 1. Let y be b(3). Let v = -101 - -109. Which is smaller: y or v?
y
Let v = 11891/29 + -410. Let r = v - 33/116. Do r and 11 have the same value?
False
Let b(r) = r**3 - 7*r**2 + 5*r + 4. Let h be b(6). Is h greater than or equal to -4?
True
Let b(n) = -n**2 - 7*n + 11. Let z be b(-8). Let d = 4 + -1. Suppose 2*p = -2*h - 0 + 4, z = d*h + 2*p. Do h and 1/4 have different values?
True
Suppose 4*v + 14 = -3*z - 34, -4*v = 0. Is -15 <= z?
False
Let z = 1024/555 - 5/111. Let q be ((-3)/(-4))/(2/8). Which is smaller: q or z?
z
Let i(j) = j**3 + 2*j**2 + 4*j + 2. Let g be i(-2). Let a = -11 - g. Which is bigger: -3 or a?
-3
Let v(x) = -2*x - 5. Let u be v(-6). Let q = u + -4. Let o be (q/(-3))/(15/(-9)).