+ -5. Which is bigger: g or 3/4?
g
Let j = -122 + 115. Do -10 and j have different values?
True
Let h(g) = -6*g + 12. Let q be h(6). Do -25 and q have the same value?
False
Let q = -19 + 8. Let t = q + 4. Let b = t + 4. Is -2 bigger than b?
True
Let t = 767/47844 + -3/443. Which is smaller: 0 or t?
0
Let k be (-2216)/3948*(-3)/(-4). Let v = 3/47 + k. Let f = v + 43/42. Is f at most 1?
True
Suppose f = -5*s - 20, 0*s - 4*s - 5*f = 37. Let a(b) be the second derivative of b**5/20 + b**4/6 - b**3/6 + 2*b**2 - 2*b. Let u be a(-3). Is s smaller than u?
True
Suppose -4*d + 74 = 2*c, 3*d + 12 = -0*d. Let v be (-2298)/16*(-6)/c. Let b = v - 92/5. Which is smaller: 1 or b?
b
Let g = -20 + 16. Which is greater: 0.2 or g?
0.2
Let h = 1 - 2. Suppose -4*c - 5 + 29 = 0. Let n be (8/c - 1)*1. Is n at least h?
True
Let k be (-8)/6*1/4. Let q(w) = w**3 - 6*w**2 + 4*w + 6. Let v be q(5). Which is smaller: v or k?
k
Let w be (-4)/10*2/12. Let y = -5 + 4. Is y smaller than w?
True
Let u = 39 + -34. Is 5 less than u?
False
Let o be -3 + -2 + 28 - 2. Suppose -o + 53 = -4*j. Is -8 less than j?
False
Let y be (-1 - 3)/((-1)/((-3)/(-6))). Which is smaller: 19/6 or y?
y
Suppose 2*s = -5*x + 543, -4*x + 3*s + 330 = -x. Suppose -4*p + x = 3*w, -w + 0*w - 67 = -2*p. Suppose 5*d + p = 6. Is -5 greater than d?
False
Let l be ((-2)/(-3))/((-4)/6). Let v = 70 - 557/8. Which is bigger: v or l?
v
Let i = -2 + 0. Let n = 0.02 + -2.02. Is n >= i?
True
Let c(g) = g**2 + 7*g - 6. Let r be c(-8). Suppose r*u = -5 - 11. Is -7 at least as big as u?
True
Suppose 3*a = 2*i + 29, -37 = -3*a + 3*i + i. Let r be a/4 - 3 - -2. Suppose 0 = 5*k + 5*y - 10, 0 = 2*k - 4*k - 4*y + 6. Which is smaller: k or r?
r
Let j be (6/8)/(2/8). Let l be (-2)/(-5) - (-18)/5. Let c = 4 - l. Which is greater: j or c?
j
Let f = -46 + 47. Which is smaller: -3 or f?
-3
Let u(q) = 5*q + 7. Let g be u(0). Suppose 0*y - 5*y + 35 = 0. Is g at most as big as y?
True
Let w = 999/4 + -250. Let o = 1 + 1. Which is greater: w or o?
o
Let f(h) = -6*h**3 - h**2 - h - 1. Let o be f(-1). Let p = -15 - -19. Which is smaller: o or p?
p
Let s = 24.1 + -24. Let n = 0.1 + -0.3. Is s > n?
True
Let v = 21 - 137/7. Which is bigger: v or 2?
2
Let y = -48 + 46. Which is smaller: 6 or y?
y
Suppose 0 = o + o. Suppose -4*m + o - 4 = 0. Which is smaller: m or -2?
-2
Suppose -2*n + 45 = -3*t, 4*n = t + t + 70. Suppose -2*p - 3*a + 15 = 0, 2*p - p = a + n. Let k be (-3)/p - (-2)/8. Is 2/7 <= k?
False
Suppose 62 = 7*p + 13. Let t be (7 - p)/(-2 - 1). Which is smaller: t or 7/5?
t
Let f(g) = 2*g - 10. Let a be f(7). Which is greater: -1/3 or a?
a
Let d be (-9)/15 - 7/5. Let i be (d - -2 - 1)/13. Suppose 2 = -4*u - 2. Which is bigger: i or u?
i
Let k = -16 + 11. Is -2/7 != k?
True
Let z be -15*(-2 - 48/(-20)). Let w(i) = -i**2 - 9*i - 2. Let g be w(z). Is g at most 16?
True
Let t be (-32)/(-14) - 0 - 2. Let p = 144.06 + -147. Let r = p - 0.06. Which is smaller: r or t?
r
Let d = -13/16 - -267/368. Which is smaller: d or -0.1?
-0.1
Let p = -3377/430 - -79/10. Which is bigger: p or 1?
1
Let g be (-1)/(-2) - 6/(-4). Let w = 0 + g. Let v = 8/21 - -5/42. Is w <= v?
False
Suppose 0 = -13*t + 9*t + 24. Which is smaller: 5 or t?
5
Let y be 150/45*(-6)/4. Suppose 5*q + 10 = 3*q. Are y and q non-equal?
False
Let m be -3 - -4 - (-4970)/(-4966). Let p = m - -702695/7449. Let t = 96 - p. Is 3 at most as big as t?
False
Let b = -5.1 - -5. Let t = b - 0. Which is smaller: t or -1/7?
-1/7
Let d be 1 + (1 - 4) - -3. Let a(i) = i**3 - 3*i**2 - 5*i + 3. Let y be a(4). Are y and d equal?
False
Let i = 69 - 15. Which is smaller: i or 55?
i
Let p = 3.2 - 0.2. Let m = -0.39 + -1.53. Let w = -0.08 + m. Which is greater: w or p?
p
Let n = 0.3 + -0.4. Let h = -24 - -23.81. Let b = h + 0.09. Is n at most as big as b?
True
Let f = -77 + 233/3. Which is smaller: f or 0.3?
0.3
Let x = 8 - 6. Which is smaller: -6 or x?
-6
Let i be (-3)/(-2)*16/6. Suppose -3*v = -8*v. Suppose v = 5*q - i*q - 7. Does 7 = q?
True
Suppose -5*h + 4*h = 0. Which is greater: -5/6 or h?
h
Suppose -2*y + 5*k = -7, 4*k + 0 - 4 = 0. Let l be 3/114*y/(-3). Is l not equal to 1?
True
Let k(a) = a**3 - 7*a**2. Let b be k(7). Let u be (1/(-3))/(7/6). Do b and u have the same value?
False
Let j = -12 - -11.9. Is j equal to 2?
False
Let s be (2 - 2)/(-2)*1. Let u = -281/9 + 31. Is s bigger than u?
True
Let p be ((-2)/(-4))/(7/(-112)). Are p and -6 equal?
False
Suppose -5*x - 9*x + 14 = 0. Which is smaller: x or -2/197?
-2/197
Let n = -3.3 - -3.3. Is -2/117 at least n?
False
Let y(w) = w**2 - 2*w - 2. Let v be y(2). Suppose 4*g = 4*f - 24, f - 2*g = -2*f + 13. Let n be (-4)/(-4) - (f - -1). Which is smaller: v or n?
v
Let i be 2 + ((-3)/(-5) - 1). Let r = i - 1/10. Which is smaller: 3 or r?
r
Let t be (-4 + 2)/(2/5). Let k be t/(-4) + (-9)/36. Do 1/4 and k have different values?
True
Let x(t) be the third derivative of -t**6/120 + t**5/10 - t**4/24 + 7*t**3/6 - t**2. Let f be x(6). Is 1/6 > f?
False
Let w = -11 + 10. Let f(j) = -j. Let z be f(0). Is w smaller than z?
True
Let f(h) = -h - 3. Let o = 0 + -3. Let s be f(o). Let m = 56/9 + -262/45. Is s <= m?
True
Let l be (-6)/40 + 1/(-4). Are l and 0 equal?
False
Let r be ((-2)/6)/((-1)/12). Suppose -3*l - 30 = -3*p, l + r*p = -11 + 1. Let h(z) = -z**3 - 9*z**2 + 10*z - 2. Let c be h(l). Which is smaller: -1 or c?
c
Let p = -927/7 - -132. Suppose 2*z = -0 + 2. Let n be (z*(-2 + 1))/(-1). Are p and n non-equal?
True
Let k = -4.5 - -4. Let b = 12 + -12.7. Let j = b - k. Is 1 greater than j?
True
Let z = -13 - -10. Is z at least 3?
False
Let f = 16 + -14. Let t(y) = -y**3 + y**2 + y + 2. Let n be t(f). Which is smaller: n or 4/7?
n
Let w(m) = 4*m**2 + 4*m + 5. Let p(v) = -7*v**2 - 7*v - 9. Let j(u) = -3*p(u) - 5*w(u). Let k be j(0). Which is smaller: 3 or k?
k
Let h(a) = a**3 + 4*a**2 + a + 3. Let s be h(-4). Let m be -1*((-692)/(-5) + -1). Let n = -138 - m. Is s > n?
False
Let k = 0.09 + 0.91. Let i = 12 + -7. Which is smaller: i or k?
k
Let u(q) = -q - 6. Let z be u(-8). Let x be 1 + -1 + 8/z. Suppose 0*g = g + x. Which is greater: g or -5?
g
Let y = 161 - 496/3. Is 0.1 bigger than y?
True
Let n = -2.7 + 2.6. Let q = -22 - -13. Is n >= q?
True
Let d = -20 - -22. Which is smaller: d or 1/4?
1/4
Let i(c) = c**3 - 5*c**2 - 4*c - 8. Let b be i(6). Is 2 != b?
True
Let w(t) = 2*t - 2. Let u be w(2). Let f be (-1)/(u/(-4)) + 0. Let r be 1 - (f - (3 + 0)). Is r at least 2?
True
Let f(m) = -m**2 - 9*m - 4. Let v be f(-10). Let r = -9 - v. Suppose 0 = 5*l - r - 0. Which is smaller: 2 or l?
l
Let h be (-1)/((4 - 4) + (-2)/30). Which is bigger: -3 or h?
h
Suppose -17*u = -17 - 17. Are u and 24 equal?
False
Suppose 4*u - 3*u = 29. Let s = u + -113/4. Which is bigger: s or 1?
1
Let n = -0.051 - -0.052. Is n <= 0.1?
True
Suppose -2*o = -2*s + 6*s - 26, 0 = -5*s - 5*o + 25. Let k = s - 9. Which is smaller: k or -1/3?
k
Let c = -33 - -22. Is -8 greater than c?
True
Let k = 55 + 1. Let q be (-10)/35 - 26/k. Which is bigger: -2 or q?
q
Let h = 14 + -13. Is 15/7 at least h?
True
Let x = 36 - 15. Are x and 20 nonequal?
True
Let k = 130 + -79. Is k smaller than 49?
False
Let u(t) = t**2 + 4*t - 2. Let m be u(-5). Suppose -5*a + m*a = -4. Suppose -l + i = 0, 0 = -a*l - i - 3*i - 6. Are -3/2 and l non-equal?
True
Let s be 20/(-3)*12/(-5). Let i be s/(-30)*15/(-20). Which is greater: i or 1?
1
Let d be 1 + 1/(-3 + 4). Are 3 and d nonequal?
True
Let n(a) = a + 4. Let x(w) = -w**2 + 3*w - 5. Let g be x(2). Let m be n(g). Which is smaller: m or -2/81?
-2/81
Suppose -7*x = -10*x - 9. Is -2 <= x?
False
Let h = 0 - 2. Which is bigger: 0.1 or h?
0.1
Let l be (3 - 2)*(-4)/(-26). Let h = -17 + 33. Suppose -4*g = -f - h, -5*f - 2*g + 8 = -0*f. Which is greater: f or l?
l
Let z = -0.3 - -6.3. Let p = 5 + 0. Let v = p - z. Which is smaller: 0.3 or v?
v
Let o be 2/7 - (-60)/(-14). Let y = o + 1. Do -2 and y have different values?
True
Let g = -40 - -86. Which is smaller: -1 or g?
-1
Let c = -5.02 + 5. Let r = 0.06 + c. Let y = r - 2.04. Is y at most 1/2?
True
Suppose 0 = -4*u + u - 30. Let m = -5 - u. Is m at most 3?
False
Suppose -20 = 7*u - 2*u. Let g be 6/9 - u/(-6). Is g at least -2?
True
Suppose 2*f - 25 + 23 = 0. Which is smaller: -1/56 or f?
-1/56
Suppose 3*u = u. Suppose u*m = -4*m. Is -