l?
False
Let o be (-3)/12 + 165/(-396). Let x = -29797/15 + 1985. Let q = -199/105 - x. Is o equal to q?
False
Suppose -3*p = 16 - 7. Let q be p - ((-3 - 0) + 5 - 3). Which is bigger: q or -4?
q
Suppose -147 = -8*k - 43. Is k > 17?
False
Let d be (6 - 7)*(2 - 13). Suppose 7*r + 12 = d*r. Suppose -r + 6 = -3*j. Which is smaller: j or 3?
j
Let h = 66 + -143. Let x(w) = 5*w**2 + 234*w + 108. Let i be x(-46). Which is smaller: i or h?
h
Let j be 0/(11 - (8 + -1)). Do j and -14/51 have different values?
True
Let s be (-17972487)/(-62815) + 9/3. Let a = 7/62815 - s. Let h = 289 + a. Are 0.2 and h non-equal?
True
Let k = -49.04 - -0.04. Let o = 48 + k. Let i = 15.38 + -0.38. Which is bigger: o or i?
i
Suppose -49 = 5*j - 12*j. Suppose 18 = -j*f + 144. Is f >= 15?
True
Let g(v) = -v**3 + 4*v**2 + 2*v + 15. Let m be g(5). Let l = -4 + 2. Let i = 1 + l. Is i smaller than m?
True
Suppose 0*k = -k + 10. Let b be (84/(-10))/((-26)/65). Suppose -4*w + 30 = -w + p, -3*w + b = -2*p. Is k smaller than w?
False
Suppose -s = -i - 121, -5*s = 2*i + 121 + 93. Are 0.2 and i nonequal?
True
Let q be (-16)/(-1)*4/(-8). Let x(j) = 5*j**2 + 0*j - 10 + 6*j + j**3 + 4*j**2. Let w be x(q). Is 7 at least w?
True
Suppose -4*a + 4 = 4*w, w + 3*a = -0*w + 9. Let t be -3*(2 + 6/(-9)). Which is smaller: w or t?
t
Let f(a) be the second derivative of -a**4/12 - 4*a**3/3 + 17*a**2/2 - 32*a. Let j be f(-11). Suppose 4*t = -t + 25, 0 = -3*b + 5*t - 73. Are b and j non-equal?
False
Let t = 88241/52 + -1697. Which is bigger: t or 0.6?
0.6
Let u = -448 + 447. Which is smaller: -2/333 or u?
u
Let m = -2.63 - -1.63. Which is smaller: -5 or m?
-5
Suppose 5*g - 10 = p, -4*g = 2*p - 3*p - 7. Suppose 4*k = g*k + 1. Let z be k/(-1) + (7 - 7). Which is greater: z or -2?
z
Let x be (-103)/(-15) + 2*2/30. Let p(c) = 2*c + 0 - c + 3. Let o be p(x). Which is bigger: 9 or o?
o
Let j = -7.8 - -7.57. Let i = 0.43 + j. Which is smaller: -2/5 or i?
-2/5
Let u = 49.1 - 54.1. Which is smaller: -0.024 or u?
u
Suppose -55 = -5*m - 10. Let y be (m/2)/(3/(-6)). Let k = y - -11. Is k >= 2?
True
Let a be (-2)/(-5) + 106/10. Let p be ((-2)/(-6))/((-1)/(-9)). Suppose 1 + 3 = o, 5*d - p*o - 38 = 0. Which is greater: a or d?
a
Suppose -5*i + y - 6 = 4*y, -5*y = i + 10. Suppose -h + 5*f + 21 = i, -21 = h + 5*f - 2. Let r be 30/(-7) - 8/(-2). Is h != r?
True
Suppose -a - 22 = -5*k + k, -3*a - 42 = -4*k. Let q be (-5)/a*32*-7. Let z be q/24 - (-2)/(-6). Are z and -4 non-equal?
True
Suppose 16*x = -21 + 5. Which is smaller: x or -3/34?
x
Let h = 0.3 + -0.6. Let r = -136 + 145. Is r at least h?
True
Let l(h) = 3*h**2 + 4*h - 3. Let m be l(-5). Let u = -59 + m. Do -42/5 and u have the same value?
False
Suppose 0 = o - 4*o. Let f = 2584/39091 - 2/1261. Is o smaller than f?
True
Let k(s) = -15*s**2 + 2*s + 88. Let x be k(-8). Which is smaller: x or -887?
x
Let z be (-544)/24 - 2/6. Let o = -49 + 51. Let t be (o + -5)*(-1)/z. Which is smaller: -2/3 or t?
-2/3
Let j be 21/3 + -27 - -1. Which is smaller: j or 7?
j
Let l = -22075/42 + 1051/2. Which is smaller: l or 87?
l
Let v = -0.91 + 1. Let x = 0.24 - v. Is x at least as big as -0.1?
True
Let z(i) = -i**2 - 36*i - 180. Let l be z(-6). Which is bigger: -3/692 or l?
l
Suppose 0*a - 2*a = 0. Suppose -r + 42 = -3*x + 2*r, -4*x - 5*r - 38 = 0. Let i(f) = f**3 + 13*f**2 + 12*f. Let v be i(x). Is v smaller than a?
False
Let x = 20.1 - 20. Let y = -137 - -131.9. Which is smaller: y or x?
y
Suppose 0 = d - 7 - 2. Suppose -3*g = -t + 6*t - 45, -2*g + 4 = -t. Suppose w + 2*o = t*w - 38, 4*o = -5*w + 44. Is d != w?
True
Let w = -75 + 122. Which is greater: w or 49?
49
Let s = -0.22 + -0.38. Let l = -0.1 + -1.3. Let k = l + s. Which is greater: k or -2/5?
-2/5
Let j be ((-1110)/(-25))/(-3)*5. Let k be ((-447)/j)/3 + (-24)/12. Is 1 > k?
True
Let a(x) = -x**3 - 7*x**2 - 3*x - 2. Let g be a(-4). Let z = -192/5 - g. Is 1/2 less than z?
False
Let f be 6/9 + 6/(-9). Let d = -0.059 + 0.109. Which is smaller: f or d?
f
Let g = -0.06 + -24.94. Let p = 0.0179 - -24.8821. Let x = g + p. Is x at least as big as -0.1?
True
Suppose -229 + 1177 = -2*z. Let r be (1 + 1)*(-6)/z. Which is bigger: 0 or r?
r
Let b = -1026 + 1024. Is -0.511 >= b?
True
Let o be (-1875)/(-90)*(-2)/(-3). Is o greater than 13?
True
Let i(l) = l**2 + 7*l - 13. Let v be i(-7). Let o = -13 - v. Which is smaller: -1/4 or o?
-1/4
Suppose -2*k = -2*v + 8, 2*k = -2*v + 7*v - 5. Let x = 0.78 - 28.38. Let r = x - -28. Which is greater: v or r?
r
Let q be 6*((-3)/(-6))/1. Suppose -q*c = 285 + 336. Let f = c - -2272/11. Which is smaller: -1 or f?
-1
Let b be 7 + (-1 - 3) + 17. Let s be 2/(-2) - (4 - 84/b). Is -1/2 >= s?
True
Let j be 69864/11070*3/((-6)/(-10)). Are 33 and j non-equal?
True
Suppose -5*f - 2 = -7, -3*m + f = 1. Which is smaller: 4 or m?
m
Suppose 0 = -3*s + 8*s - 155. Let f be (-7)/14 + s/2. Let t be ((-10)/f)/(16/6). Which is greater: 3/8 or t?
3/8
Let q be -9*((-1925)/(-84))/11. Is -3 <= q?
False
Let s = 5.44 - -0.16. Let x = s - 6. Let b = 78 - 77. Which is greater: b or x?
b
Let a be (-30)/(-55) - (-6200)/88. Are a and 72 nonequal?
True
Let z(c) = -2*c - 1. Let s be z(1). Let i(t) = t**3 - 5*t**2 + 3*t + 8. Let w be i(4). Suppose 0 = -q - w + 3. Is q at most as big as s?
False
Let c be ((-14)/49)/(3/(-21)). Suppose 8*b = c*b - 6. Suppose -2*t = -2*x + 8, -2*x = -5*t - 9 - 2. Which is bigger: x or b?
x
Suppose f = i - f + 7, 3*f - 17 = -5*i. Let w be 0 + (i + -32 - -2). Let g = 47 + -75. Which is smaller: w or g?
w
Let a = 118 - 131. Let k be 0 + -3 + 0 - 12. Is a at most as big as k?
False
Suppose 3*w = -22 - 119. Which is smaller: -15 or w?
w
Let v be -3103*(2/(-27))/(-2). Let u = -77 - -192. Let d = v + u. Which is bigger: d or -1/3?
d
Let m(n) = n**3 + 9*n**2 + 4*n - 21. Let v be m(-8). Suppose 5*a + o = -9, -a = -5*o + 2*o - v. Which is smaller: a or -1/18?
a
Let a = 0.349 + -334.349. Is a less than 2/3?
True
Let v = -2222160 + 233329351/105. Let d = v + -121/5. Is d smaller than 1?
True
Let w = -1.379 + -1.621. Which is greater: 2 or w?
2
Let g = 44 + -42. Let x be g - 1 - (-10 + 6). Are x and 2 nonequal?
True
Suppose -271 = -a + 9*v - 4*v, 3*v + 825 = 3*a. Which is smaller: a or 275?
275
Suppose 4*f = 5*a - 18, 0 = 2*a - 5*f + 3. Let c = -19 + a. Let u = 12 + c. Is u greater than 0?
False
Let g = 2190 - 2210. Let h = -13 - 8. Is g >= h?
True
Suppose 0 = 5*b + 10, -2*b + 86 = 5*d - 55. Suppose -4*p = f - 1 + d, -21 = 3*p + f. Let o(c) = c**2 + 6*c - 5. Let j be o(p). Which is bigger: j or 0?
j
Let m = 29 + -27. Suppose 4*u - 4*l + 8 = m*u, -2*l = 5*u - 4. Which is bigger: -2/21 or u?
u
Let i = 8173/227 - 36. Are 0.2 and i equal?
False
Let z(k) = -15*k + 2. Let y be z(2). Which is bigger: y or 1?
1
Let m = -24 - -26. Let o be 2858*4/22*m. Let v = 1040 - o. Is 2 less than or equal to v?
False
Let x = -0.08 - -1.48. Let s = 1.4 - x. Let m = -94 - -90. Which is bigger: s or m?
s
Let i(n) = n**2 - 7*n - 1. Let p be i(0). Let d = -6 - -11. Suppose 0 = -6*m + m + d. Which is greater: m or p?
m
Let m = -33937/84 + 404. Do 2 and m have the same value?
False
Suppose -2*k - 2*k + 100 = 0. Let w(i) = -i**2 + 23*i + 46. Let j be w(k). Is j at most as big as -5?
False
Let d be 0/(-5) + 1*-2. Let t be 3*2/(-45) + 68/(-165). Is d equal to t?
False
Let r be 1/(-4) - 401/(-4). Suppose a - r = 5*i - a, -5*i - 3*a - 75 = 0. Let y = -19 - i. Which is smaller: y or -7/4?
-7/4
Let y = 159 - 85. Let l = 74 - y. Which is smaller: 3 or l?
l
Suppose 4*u - 6 - 6 = 0. Suppose -y - u*y = 5*h - 12, -3*h + 4*y - 12 = 0. Let a = -97 + 871/9. Is h greater than a?
True
Let a = -768/7 - -110. Suppose -2*v = -0*v, j - 3 = 5*v. Suppose j*l = -l. Which is bigger: a or l?
a
Let w = 115 - 167. Which is greater: w or -5?
-5
Let u be (-2 - (-26)/12)*-8. Suppose -6*v + 380 = -10*v. Let s = v + 95. Which is bigger: s or u?
s
Suppose 2*x + 3*y = 19, x + 5*y + 3 - 23 = 0. Suppose -2*w = -v - x - 0, 0 = -2*w + 2*v + 6. Suppose 3 = w*k + 1. Is k at least as big as 2/9?
True
Suppose 2*y = -2*y + 16. Let k be y/(84/(-51)) + 3. Which is smaller: k or 1?
k
Suppose o + t = -t + 10, 2*t = 2*o + 10. Suppose o = -3*p + p + 4. Let j = 520 - 519.2. Which is bigger: p or j?
p
Let f be (-8)/12 + 4/6. Suppose f = y + 4*y. Suppose r + 2*r - 6 = y. Which is greater: 3 or 