 Are u and a nonequal?
True
Let z(a) = -51*a**2 + 649*a + 29. Let w be z(13). Is -461/3 at most as big as w?
True
Suppose 0*u + 2*u = -3*r + 15, 2*u - r = 3. Let a be ((-2)/4*-2)/(u/(-9)). Let z(d) = -d**2 - 3*d - 2. Let c be z(-3). Which is greater: a or c?
c
Suppose -5*m + 0 = -15, -2*m = 5*i - 61. Let h = i - 6. Let t be h/7 - (-4)/14. Which is smaller: t or -1/4?
-1/4
Let o = 762 - 760. Is o less than -14.8?
False
Let z(q) = -q**3 - 9*q**2 - 20*q - 33. Let l be z(-9). Which is smaller: 145 or l?
145
Suppose 3*k = 3*u + 117, -3*u + 8*u + 155 = 4*k. Let p = k - 38. Is 0.5 at most p?
True
Let f be (-3)/15*440/308. Which is bigger: f or -0.363?
f
Let d = -10506 + 10515.971. Let a = 0.029 + d. Is a less than -2?
False
Let f = -130 - -1692/13. Let j be (-8)/28 + (-144)/(-14). Let o be (5/(-10) + j/12)*3. Is o bigger than f?
True
Suppose 4*f - 8 = -0. Let v be (-18)/(-27)*(-1 - f). Let u be (6 + -6)*v/4. Is u > -9/7?
True
Let n = -21.9 - -18. Let m = n - -4. Is m less than 0.07?
False
Suppose -173*r + 291 = -172*r. Does r = 293?
False
Let d be ((-33)/11)/((-20)/466). Let c = d + -70. Let s(o) = o + 3. Let w be s(-4). Which is smaller: c or w?
w
Let k be (-295)/(-1003)*(6/5)/3. Which is smaller: 29 or k?
k
Suppose -2*k + 10 + 40 = 0. Let b = 20 + k. Suppose 0 = -2*a + 7*a - b. Which is smaller: a or 10?
a
Let k be 12/(-74)*(-12)/9. Let q = k + -146/333. Is -1/6 at least as big as q?
True
Let g be 8/(-20) + (-8)/(-20). Suppose -y = -2*h - 5, -4*h + 7*h + y + 10 = g. Let v be (-9 - h)*(-1 + 2). Is -7 less than v?
True
Let q = 291/2 + -142. Is 5 <= q?
False
Suppose -86 = 3*f - 2*j, j - 108 = 4*f - 0*j. Suppose -5*b + 22 - 86 - 56 = 0. Is f greater than b?
False
Let d be ((-42)/756)/((-1)/(-2)). Which is greater: d or -7?
d
Let c = -848 + 833.8. Is c < -0.5?
True
Let o be 20/(-16)*(-4)/(-10). Suppose 0 = 3*y + 4*v + 7 + 5, 0 = y - 4*v - 12. Which is greater: y or o?
y
Let h = -12.2 - -8.7. Let o = -3.55 - h. Which is greater: o or 1/2?
1/2
Suppose -2*y + 29 = -11. Let k(p) = 3*p**2 - 3*p + 3. Let q be k(3). Is y >= q?
False
Let m = 17 - 54. Let w = 36 + m. Let x = 0 - -1/20. Which is smaller: x or w?
w
Let d(s) = -s - 11. Let q be d(-10). Let w = -12.2 - -9.2. Is w < q?
True
Let p(o) = o**3 - o**2 - 37*o - 34. Let i be p(7). Which is bigger: -5/239 or i?
i
Let c(b) be the third derivative of 0 + 0*b + 3*b**2 - 3/2*b**3 + 1/8*b**4. Let j be c(5). Is -1/3 <= j?
True
Let k(p) = p**2 + 9*p + 5. Let z be k(-7). Let w be 1/(-2) - (z + 0). Which is greater: w or 10?
10
Suppose 1 + 15 = -4*z. Let a(b) = b**2 + 7*b + 5. Let v be a(z). Let l(w) = -w**2 + 12*w + 101. Let y be l(-6). Is y >= v?
True
Suppose 1 = 2*r + 9. Let m = r - -10. Let t be -2*3/m*0. Which is smaller: -4/5 or t?
-4/5
Suppose -28 = -3*q - 4*d, -15 - 22 = -2*q + d. Let f(n) = -n**3 + 17*n**2 - 16*n - 29. Let t be f(q). Which is bigger: 0.1 or t?
0.1
Let d(v) = 5*v - 2. Let h be d(1). Suppose -h = 4*r - r. Which is smaller: 1/47 or r?
r
Let n = 39.063 - 0.063. Let j = n - 23. Is -2 smaller than j?
True
Suppose 2*g = 2*u - 78, -3*g + 48 = 3*u + 147. Let x = g + 41. Let y = -2 + 8. Is x greater than y?
False
Let g(a) = -a**2 + a + 26. Let v be g(0). Suppose 0 = -3*q + 5*q + v. Which is bigger: q or -15?
q
Let u = 1 - 1.25. Let m = -0.71 - u. Let s = -0.14 + m. Which is smaller: s or -1?
-1
Let g = -55 - 40. Which is bigger: g or -94?
-94
Let j = 1 + 53. Do j and 54 have different values?
False
Let p be ((-9)/6)/(9/(-12)). Let v(m) = -3*m**2 + 2*m + 4*m**2 + p*m**2 - m**3. Let b be v(4). Is b at most as big as -9?
False
Let n be 9*(0 + (-50)/(-141)) + -3. Which is smaller: n or 0?
0
Suppose 2*t - 16 = -10. Let f be (-2 + t)*(2 + -5). Is 0.01 > f?
True
Let x = -16 + -6. Suppose -4*n - 2*f - 10 = 0, -4*n = -3*f - f - 8. Let t be (11/x)/(n + 3). Which is smaller: t or 2/31?
t
Let v(j) = -j + 9. Let u = -25 - -39. Let m be v(u). Which is smaller: m or -14?
-14
Let q(d) = -d + 3. Let s be q(0). Let a(z) = z**3 + 22*z**2 + 23*z - 24. Let u be a(-21). Let r = u - -73. Which is smaller: r or s?
s
Let k = 47 + -36. Let x(h) = -h**2 + 13*h - 20. Let j be x(k). Does j = 8/7?
False
Let x be (-10)/(-30)*(-413 + 2). Which is smaller: x or -139?
-139
Let g = -160 + 158. Is g < -13/6?
False
Let l = -38845195/88 - -441417. Let k be 2/(-3) + 238/(-48). Let n = l - k. Is 1 < n?
False
Let s = -96.2 - -96. Is 0.113 != s?
True
Let x be ((-15)/12 - -1)*8/(-2). Is -3/28 > x?
False
Let z(g) = -6*g**2 - 10*g - 15. Let j(x) = -2*x**2 - 3*x - 5. Let v(o) = -8*j(o) + 3*z(o). Let a be v(-4). Let y = -18 - a. Which is smaller: y or -3?
y
Suppose 5 = i, -5*y + 26 = i - 19. Let s be (-5)/(-30) + (-58)/(-12). Is y <= s?
False
Let n = 2504 - 2503. Which is smaller: n or 2/2569?
2/2569
Let q = 3 + -4. Let d be (4/(-10))/((-3)/210). Let i be ((-1)/18)/((-7)/d). Which is bigger: q or i?
i
Let p = -1/2271 - -13637/24981. Do p and -5 have the same value?
False
Let m = 14 - 13. Suppose -m = -a - 3*r, 0 = 3*a + r + 2*r - 9. Suppose a*u - 24 = -0*u. Which is greater: -2/3 or u?
u
Let i = -4745 - -4719.01. Let f = i + 26. Let d = f - 13.01. Do -1 and d have different values?
True
Let z = -95 - -286/3. Which is smaller: z or -0.004?
-0.004
Let h be 1/(-1)*(-2 + 7). Suppose 15 = -8*q - 17. Which is smaller: h or q?
h
Suppose 0 = 2*r - 3*c - 6, -r + 13 = -4*c. Let n = -1 + 1. Suppose n = -3*b - 9. Is r < b?
False
Let b = -0.291 - 0.709. Is b greater than or equal to 117/2?
False
Suppose -12*w + 3657 = -3963. Is w at least 634?
True
Let r(i) = -11*i + 945. Let x be r(86). Let g = -214 - -84. Let u = -4289/33 - g. Do x and u have the same value?
False
Let a = 3 + 4. Let h = 18.9 + -26. Let b = a + h. Which is smaller: b or 0?
b
Let g = 14.987 - 15. Let d be 0 + -2 + (18/4)/3. Is g <= d?
False
Let a = -55.7 + 55.4. Let h = 5 - 2. Does h = a?
False
Let l be 35036/4389 - (-16)/(-2). Which is smaller: -2/7 or l?
-2/7
Let j = 1 + 1. Suppose -5*z - 5 = 3*g + j*g, 5*g - 30 = 2*z. Suppose -4*w = 3*s, 35 = -5*w - 18*s + 23*s. Is z > w?
False
Let p = -16 + 62. Let w = 185/4 - p. Let r be (0/(-1))/(4/(-4)). Which is smaller: w or r?
r
Let l = -1706 + 1674. Are l and -31 non-equal?
True
Let q be (-10 + -5)*(-2)/10. Suppose -k - q*k + 4 = 0. Which is bigger: -0.15 or k?
k
Let k(c) = c**2 + 15*c - 23. Let v be k(-17). Suppose -v = -5*m - 2*b, -2*m - b + 11 = 2*b. Let g be (-11 + 3)/(m + 1). Which is smaller: g or -3?
g
Suppose 23*o = 26*o. Let s be 9*9/(-2 + 5). Let t be 1/(1/((-30)/s)). Which is smaller: o or t?
t
Let t = -0.04 - 0.07. Let p = -0.16 - t. Let a = p + -0.95. Is -3 at least as big as a?
False
Suppose 176 = p + 78. Which is smaller: 100 or p?
p
Suppose 2*o + 3 = 3*n + 9, 0 = o + 5*n + 23. Let q be (-4)/54*o - 12/81. Suppose a - 3 = -3*x - 0*a, a - 3 = 0. Is x at most q?
True
Let p(j) = -j**2 - 7*j + 11. Let o be p(-8). Suppose -5 = -4*w - c, 4*w - o*c + 21 = 6. Let l be w/6 + (-1)/23. Is 0 smaller than l?
False
Let v = 14.7 - 12.1. Let a = -34.4 - v. Are a and 1/2 equal?
False
Suppose 7 + 0 = -z. Let n = 34/5 + z. Is n at most -1?
False
Let r = 6.3 + 30.6. Let o = r - 37. Is 35 greater than o?
True
Let m be ((-3)/(-2))/((-10)/(-20)). Suppose -o - 2 = 0, 0 = 4*z - 5*o + m*o. Are z and 0 equal?
False
Let q be (-2)/(10/(-3) - -3). Let c = -5 + 11. Suppose -5*r + c*r - 4 = 0. Which is smaller: q or r?
r
Let k = 61 + -67. Let h be (-126)/(-31) + k + 2. Which is smaller: h or 0?
0
Suppose 7*n - 34 + 6 = 0. Suppose -n*t - 4*d = d, 5*t - 2*d = 0. Which is bigger: t or -2/53?
t
Let d be (-55)/1 + (2 - 3). Let v be (7/d)/(4/(-14)). Let o = v + -3/80. Which is greater: -0.3 or o?
o
Let h = -285 - -285. Which is bigger: 7/13 or h?
7/13
Let q be (-790)/(-30) + 2/3. Let m be (-2 - 3)*(-6)/(-105). Are q and m unequal?
True
Let h = -180 + 90. Let d be (6*(-8813)/(-196))/(-3). Let l = h - d. Is l equal to -0.2?
False
Let w = 3 - 1. Let p = -116.7 + 116. Which is bigger: w or p?
w
Let f be 1/(-5) - (-11)/5. Is f < 3/2?
False
Let n = 1548 + -92881/60. Is n >= 2?
False
Let a be (2 - 811/411)*(-70208 + 2). Let v = a - -1879. Which is smaller: v or 1?
v
Suppose -16*m + 4*a = -11*m - 4, -a - 1 = 0. Let d = -27407/92 + 1193/4. Let l = -10/161 + d. Which is greater: l or m?
l
Suppose 4*k = 4*o + 376, 3*o - 9 + 105 = k. Let u = -118 + k. Which is greater: u or -23?
