 r be (9 + -4)/10 - 0/(-2). Is r <= 33/4?
True
Suppose -i = 3*i - 8. Let f = -5 + 3. Let n be 2 - 2/(4/f). Which is greater: i or n?
n
Let h(w) be the second derivative of -w**5/20 - w**4/2 - w**3/6 - 7*w**2/2 + 2*w. Let f be h(-6). Which is smaller: f or -3?
-3
Suppose -3*z = 4*m - 3*m - 8, m - 4 = z. Let c = -1 + 1. Does z = c?
False
Let b = 5 - 3. Is 1 bigger than b?
False
Let d(c) = -3*c**3 - 2*c - 1. Suppose -k + 0*r + 3*r - 13 = 0, -2*r = -3*k - 11. Let j be d(k). Which is smaller: 3 or j?
3
Let z be (-2)/(-8) - (-2)/(-8). Suppose z = 2*w + h + 13, 4*h - h = w - 11. Let n = 5 + w. Is 2/11 less than n?
True
Suppose 0 = r - 0*r + 2. Let p = r - -2. Is p greater than or equal to -1/13?
True
Let m(c) = 4*c**2 + 4*c - 4. Let t(i) = -7*i**2 - 7*i + 7. Let p(r) = -5*m(r) - 3*t(r). Let g be p(-2). Which is greater: 2 or g?
2
Suppose -3*h + 2*b = 6, 3*h - h = -5*b + 15. Suppose -c = 3, -3*l + 2*c - 7*c - 27 = h. Which is bigger: -3 or l?
-3
Let r(j) = -10*j**3 - 16*j**2 + 3. Let t(z) = -7*z**3 - 11*z**2 + 2. Let c(q) = 5*r(q) - 7*t(q). Let y be c(-2). Let g be 3*(2 + (y - 0)). Is g greater than -4?
True
Suppose 5*c + 0*c = 5. Suppose -2*y = -c - 1. Let j be 2/3 - 4/12. Which is smaller: y or j?
j
Let j = -37 + 41. Is 6 at least as big as j?
True
Suppose 0*i = -2*i. Suppose c + 4*c = i. Which is greater: -1/3 or c?
c
Let c = 166 - 166.2. Which is smaller: c or 3/59?
c
Let x = -1.2 - -0.9. Which is bigger: x or 2/5?
2/5
Let k = -0.55 - -0.35. Is k equal to 2/25?
False
Suppose 0*v + 3*v - 84 = 0. Which is greater: v or 29?
29
Let s(v) = v - 12. Let b be s(18). Which is smaller: 4 or b?
4
Suppose 0 = 4*i - 72 + 12. Suppose 5*r + 4*j = 5 + 6, 0 = r + 4*j - i. Is r smaller than -2/3?
True
Let f(c) = -c**3 - 8*c**2 - 5*c + 8. Let g be f(-7). Let y = 21 - 3. Let s be (-3)/(-2)*(-6)/y. Which is smaller: g or s?
g
Suppose 0 = -30*a + 26*a. Which is greater: a or 1/32?
1/32
Suppose -4 = -3*j - 19. Which is greater: j or -8?
j
Suppose -20*s = 16 - 36. Let q(d) be the third derivative of d**6/120 + d**3/6 - d**2. Let y be q(0). Is y smaller than s?
False
Let i = 61 + -13. Is i at most 47?
False
Let o = -22.9 - -23. Is o != -7?
True
Let a = 32 + -34. Is a bigger than -2?
False
Suppose 83 - 23 = 5*c. Let u = c - 10. Which is bigger: -3 or u?
u
Let n(i) = 3*i**2 - 7*i - 7. Let k be n(-1). Which is greater: -9 or k?
k
Suppose -3*j + 0*j - 27 = 0. Let t = -13 - j. Is -3 smaller than t?
False
Let l = 100 + -896/9. Is 0 greater than l?
False
Let y = 2 + 4. Let c = y + -5.9. Let u be 4/12 + 13/(-57). Are u and c equal?
False
Let u = -11 + 7. Suppose 3*c + 6 = p + 3*p, 5*p - 10 = 5*c. Which is smaller: u or c?
u
Let o be 3*-4*(-1)/3. Suppose 146 = -u - o*q, 4*u + 2*q - 3*q = -584. Let a = -1020/7 - u. Is -1 less than or equal to a?
True
Let j = -0.06 - 5.94. Let a = j - -6.1. Which is smaller: 0 or a?
0
Suppose 3*t = 4*q - 3 - 1, -4*t - 22 = 3*q. Suppose 7 = -7*s - 14. Which is bigger: s or t?
s
Let m be 1/(-8) - 9/(-8). Is -4 greater than m?
False
Suppose 6 = -5*a + 16. Suppose -2*v + 0*v + 10 = -2*i, -a*i - 6 = 0. Let x = -1121/5 + 225. Which is smaller: x or v?
x
Let b = -4 - -2. Let m be (-4)/b - (-1 + 1). Which is smaller: -1 or m?
-1
Let f be 15/(-40)*(-2)/(-3). Let r be (2/(-2))/((-180)/(-24)). Which is smaller: r or f?
f
Let n(v) = -5*v**2 + 7*v - 1. Let a(r) = 14*r**2 - 21*r + 4. Let g(p) = -4*a(p) - 11*n(p). Let h be g(5). Which is smaller: 6 or h?
h
Let i = 1 - 0. Let c = i - 4. Let k = -3 - c. Do k and -3/7 have the same value?
False
Let g = -565/9 + 63. Let q be ((-6)/4)/(3/(-4)). Suppose -q = b - 1. Is b greater than g?
False
Let o = -2 - 2. Which is bigger: o or -1?
-1
Let o be 108/48*(7 + 1). Let f = o + -19. Which is bigger: -1/4 or f?
-1/4
Let n = -51 + 30. Which is bigger: n or -20?
-20
Let h = 8 + -11. Let k be 2*h*(-6)/(-9). Does -4 = k?
True
Let m(f) = -f - 2. Let j be m(-3). Which is greater: 1/9 or j?
j
Let w(f) = -f**3 + 21*f**2 - 18*f - 23. Let q be w(20). Which is bigger: 18 or q?
18
Let r = 33.1 + -33. Suppose 2*m = -3*i - 6, 0*i = i - 2*m - 6. Let n be i/4 + (-4)/10. Is n at most r?
True
Let y be (2 + (-28)/16)*4. Is y != -3/17?
True
Suppose -2*d + 8*z - 24 = 4*z, 3*d - 5*z = -40. Let j be (-10)/(-4)*(-24)/d. Are 3 and j equal?
True
Suppose 0 = 3*h + 3 - 9. Let b be (4 - h)/(2/(-3)). Let r be (-2)/b + (-4)/9. Is -0.1 greater than r?
False
Let u = -0.03 + -1.97. Let k = 1068 + -30975/29. Let l = -41/116 - k. Which is smaller: u or l?
u
Let k be 2/(-2)*1*-18. Let z be 43/(-3) - (-8)/(-12). Let v be (k/z)/((-8)/20). Is 3 less than v?
False
Let a(i) = -i**3 - 7*i**2 + 2*i + 3. Let q be a(-7). Let v = q - -12. Is v != -1?
True
Let q = -12 + -3. Let s = q + 15. Is 6 at least s?
True
Let n = -0.1 - 0. Let c = -13 + 18. Let m = 5 - c. Which is smaller: m or n?
n
Suppose -13 = -3*x - 1. Let j(m) = m**3 - 5*m**2 + 5*m. Let o be j(x). Suppose -5*d - 3 = -o*i, -i + 0 = -2. Is 0 less than or equal to d?
True
Let c = -66.8 + 67. Is 2/73 <= c?
True
Let h = -691/6 - -115. Let q be (4/(-6))/((-2)/(-3)). Which is bigger: q or h?
h
Let r = 11 - 12.1. Let d = -638 - -639. Is d at most as big as r?
False
Suppose -l - 21 = 5*v - 5*l, 0 = 4*v + 5*l - 16. Is v bigger than -7/5?
True
Let n be 1 - (-1 + (-35)/(-20)). Is -0.26 less than or equal to n?
True
Let m be 0 - (-1 - -4) - 2*-4. Let w be ((-2)/(-5))/(2/30). Is m smaller than w?
True
Let s = -7 + 14. Let x = s - 2. Let p = x + -5.1. Is p > 0.02?
False
Let t = 1 - 0. Let c be -3 - (-10)/2 - -1. Suppose -4*f - y + 1 + c = 0, f + y - t = 0. Do 2 and f have the same value?
False
Suppose -12 = 3*p, 2*m + 3*m + 44 = 4*p. Let x be 1*-1 + (-27)/m. Which is smaller: 1 or x?
1
Suppose -2*j = 0, 0 = r + 4*r - 2*j - 80. Is 15 greater than r?
False
Let o(v) = -v**3 - 4*v**2 - v - 1. Let a be o(-4). Let u be 2/(-1) - a*-1. Which is bigger: u or 2?
2
Let k = -7.07 + 0.07. Let q = 0.15 - -7.85. Let c = q + -7.9. Are c and k unequal?
True
Let b = -1.03 + 1. Let p = 0.13 + b. Is p smaller than -1/3?
False
Let w = 2 + -1.96. Let f = w - 1.04. Let a = -0.94 + 1. Which is smaller: f or a?
f
Let z = -113 + 115. Suppose 1 + 2 = 3*x. Does z = x?
False
Suppose -23 = -0*g + g. Are -25 and g equal?
False
Suppose -2*x + 8 = 2*p, 2*p + 5 = p + 2*x. Is 2/35 greater than p?
False
Let v = -1 - 8. Let d = v + 8. Is -1 at most d?
True
Let i be 1/(-4 - (1 - 3) - -1). Which is smaller: i or -4/7?
i
Let y(m) = -m**2 + 8*m. Let d be y(8). Is -1 <= d?
True
Let o = -0.27 + 0.27. Is -24 <= o?
True
Let n = -2.2 + 13.2. Let l = n - 11.2. Which is greater: l or 2/7?
2/7
Let l(a) = -a**2 + 3*a - 1. Let q be l(0). Which is smaller: 3/82 or q?
q
Let d = -28 + -7. Do -34 and d have different values?
True
Let v(m) = m**3 - 7*m**2 + 5*m + 6. Let s be v(6). Which is bigger: s or 1?
1
Let c(x) = -x + 20. Let n be c(9). Let i = -20 + n. Which is bigger: -11 or i?
i
Let n be 13*2/126 - 6/(-27). Is 1 at least n?
True
Let x be ((-4)/(-6))/((-3)/(-9)). Let d be x/30 + (-2)/(-6). Let w = 1 - 0. Is w != d?
True
Suppose -2*l + 4*p = 20, -5*l + 8*p - 45 = 3*p. Let a be (-3)/(6 + (-85)/15). Which is smaller: l or a?
a
Suppose -h + 6*h = -65. Is h >= -14?
True
Let j be -4*-3*5/(-30). Let b(q) = -q - 4. Let h be b(-6). Suppose -m - p = 6, 5*m = -h*p - 10 - 5. Is m less than or equal to j?
False
Let f be ((-1)/(-5))/((-7)/((-1995)/(-12))). Is f != -6?
True
Let j = -16 + 21. Let c(w) = w**2 - 3*w - 1. Let k be c(j). Which is smaller: 10 or k?
k
Let k = -108 + 108.2. Are 0.12 and k nonequal?
True
Let i = 98.81 - 98. Let s = i + -1.75. Let a = 0.06 - s. Which is smaller: a or -0.1?
-0.1
Let p(b) = -b**3 + 11*b**2 + b - 15. Let q be p(11). Is q bigger than -3?
False
Let i(f) = f**3 + 3*f**2 - 4*f + 4. Let o be i(-4). Let j = -1 + 3. Is j smaller than o?
True
Let b(p) = -2*p**2 - 3*p + 1. Let v be b(1). Is v != 0?
True
Let v = -2.9 - 1.1. Let k = -3 - v. Is 2 equal to k?
False
Let j be (-3)/2*(-4)/(-3). Is j smaller than 0?
True
Let h be (-4)/6*81/6. Which is bigger: h or -8?
-8
Let q be (-138)/9*(-1)/(-2). Is -8 bigger than q?
False
Let o = 185 - 105. Let v be 3/5*o/216. Which is bigger: 0.3 or v?
0.3
Let c = 13 - 21. Which is smaller: c or 0.1?
c
Suppose -2*x - 9 - 1 = 0. Let g = 6 - x. Let a be 3/g*(-2)/(-3). Which is greater: -1 or a?
a
Suppose -3*h - 2*f = h + 4, -f =