2 - 4*x + 8. Let l be b(-3). Are l and 77 equal?
False
Let a = -13 + 12. Is a at most as big as -2/715?
True
Suppose -43*k = -47*k. Suppose -x - 5*z + 38 = 0, -3*x = -k*z - z - 114. Do x and 37 have the same value?
False
Suppose -4*i = 3*x + 867 - 292, 0 = -2*i + 3*x - 265. Let y be (3 + -13)*8/i. Is y > 2?
False
Let m(q) = 2*q**3 - q**2 - 24*q - 15. Let u be m(0). Is -68/5 smaller than u?
False
Suppose -k = -2*k + 3. Suppose -k*x + l = -l - 6, 4*x + 4*l = 28. Suppose 26*s + 9 = 29*s. Are s and x nonequal?
True
Let l = 124 - 123.988. Do -3 and l have different values?
True
Suppose 0 = -18*p - 25 + 7. Is p smaller than -5/11?
True
Let m be (4/24 - (-3)/9)*0. Which is greater: -10/147 or m?
m
Suppose -4*b - 2*y + 4 = b, 0 = 3*b - 2*y + 4. Suppose -5*q + 3*u + 74 = 0, 3*u - 22 = -q - b*q. Let k be ((-52)/24)/13*q. Are -3 and k equal?
False
Let k = 391 + -389. Is k <= 2?
True
Suppose -45 - 41 = 5*t - 4*y, 0 = 2*t + y + 24. Let k be -4 - 10*4/t. Which is smaller: k or -2/3?
k
Let a(h) = -3*h + 22. Let c(z) = -10*z + 65. Let j(s) = -7*a(s) + 2*c(s). Let q be j(23). Suppose -3*w = -t + 2, -3 = -3*t + 5*w - 1. Are q and t nonequal?
False
Let t = -33 - -26. Let h = -1 - -1. Which is bigger: t or h?
h
Suppose 2*c - z - 39 = 0, -4*z - 76 = -5*c + c. Let u(a) = -a**2 + 21*a - 62. Let s be u(5). Is c at least as big as s?
True
Suppose -52 = -q + 3*q. Let d = -27 - q. Which is greater: -2/139 or d?
-2/139
Let c = -5.4 + 3.4. Let i = c - -1.3. Is 1/2 equal to i?
False
Suppose 5*t = -5*h + 195, 0*h - 3*h - 2*t + 115 = 0. Let z = h - 48. Which is bigger: z or 0?
0
Let t be 39/9 + (-5)/15. Let l(v) = -2*v**2 + 4*v. Let h be l(t). Let g = h + 17. Which is smaller: g or -2?
-2
Let a(r) = -2*r**2 + 8*r + 10. Let c be a(5). Let i be 4/(-14) + 45/182. Which is greater: c or i?
c
Let z = 3563/54 - 66. Is -3 less than z?
True
Let c be (-1105)/(-68) - (-1)/(-4). Let f be (-7)/(-20) - 12/c. Is f at least as big as 0.4?
False
Let u = -857238 + 595780539/695. Let j = -2/139 - u. Is j < 1?
True
Let v = 243 - 394. Let u = -152 - v. Which is smaller: u or -0.083?
u
Let s = -172 + 246. Let p = s - 76. Which is bigger: 1/8 or p?
1/8
Let a(n) = -4*n + 1. Let w be a(10). Let r = w - -39. Which is smaller: 2/13 or r?
r
Suppose v + 235 = -3*a, -4*v + a - 950 = 3*a. Is -236 bigger than v?
True
Let o be -2 + (26780/(-6746))/(-2). Let z = o + -10580642/30357. Let k = z - -349. Is 0 at most as big as k?
True
Let s be 3*16/(-888)*-8. Which is bigger: s or -1?
s
Let s = 59.6 + -59.5. Which is greater: s or -8?
s
Let p be ((-1)/(-3))/((-102)/(-1836)). Is p <= -53?
False
Let n = -3 + 4. Let p be -1*1 + (-3315)/(-3485). Which is bigger: n or p?
n
Let l = -68/7 + 326/35. Which is smaller: 4 or l?
l
Let h = -20437/1242184 - -1/6751. Which is smaller: 1 or h?
h
Let w(o) = 2*o**2 + 15*o - 15. Let c be w(-8). Let a(m) = m**2 + 8*m + 6. Let t be a(c). Which is smaller: t or -2/415?
t
Let k = -11.7 - 3.3. Let n = k + 18. Is n less than -1?
False
Let g = 834/5 - 167. Is 52 > g?
True
Let d(p) be the first derivative of 1/4*p**4 - p**2 + 5 + 2*p - 2/3*p**3. Let u be d(-2). Is u at least as big as -10?
True
Let z = -1 - -1.2. Let v = 70/81 - 3128/3807. Which is bigger: z or v?
z
Suppose -2*w + 3*q - 11 = 3, -3*q = -12. Let o = 146 - 143. Do w and o have different values?
True
Let u be (-2 - 6/(-2))/(-1). Suppose 4*t + t = 5*m, -5*m = -4*t - 2. Suppose -3*w = 3*v - 33, 12 = m*w + 2. Is u greater than v?
False
Let c(h) = 3*h**2 + 7*h + 4. Let d be c(-4). Let n = 15 - d. Let k = n - -14. Is k equal to 6?
False
Let w be 84/(-48)*(-10)/35. Let o(m) = 4*m. Let u be o(1). Which is bigger: u or w?
u
Suppose 3*q - 240 = -0*n + 3*n, 2*q - 385 = 5*n. Is n equal to -76?
False
Let b = 37.528 + -0.528. Which is greater: 2/13 or b?
b
Suppose -j - 6*j - 42 = 0. Let t be 4/j - (-4)/6. Is t equal to 3/7?
False
Let a = -104 - -39. Is a at most -70?
False
Let c be (-52)/(-6) + (-2)/6*2. Let d be (2/c)/((-4)/((-80)/25)). Which is greater: 1 or d?
1
Let v = -7 + -2. Let a = v - -8.94. Let n = 1.94 - a. Does 1/3 = n?
False
Suppose 16 = 3*i - 11. Let d(o) = -4*o - 133. Let u be d(-35). Is u < i?
True
Let a be (20/25)/(2/10). Let x be -2 - (6 - (-6 + a)). Is -10 > x?
False
Let j be 140/71 + 4/(-2). Suppose -17 = 2*d - 3*l, -41*d + 5*l = -37*d + 29. Are j and d equal?
False
Let q = 127 + -127.28. Let s = -0.28 - q. Which is smaller: -30 or s?
-30
Suppose -4 + 5 = v. Suppose -3*h + r = -7*h + 184, -4*r = 4*h - 196. Let x be (7 - 5) + (-92)/h. Which is smaller: v or x?
x
Let t(b) be the third derivative of -b**4/8 + 2*b**3/3 - b**2. Suppose -y - 3*y - 5*a = -3, -y + a = -3. Let f be t(y). Which is smaller: f or 1?
f
Suppose 4*g + 4*m = -8, 12 = -5*g - 5*m + m. Let s = -0.33 + 14.33. Let z = -13 + s. Do z and g have the same value?
False
Suppose -2*q = -4*d - 34, 5*q - d = 22 + 18. Let j = 17 + -14. Suppose 5*p - 4*p = -3*h + 20, -5*h - j*p = -32. Is q bigger than h?
False
Let t = -2 + 6. Let z(l) be the first derivative of -l**2/2 + 4*l + 1. Let x be z(t). Which is smaller: -1 or x?
-1
Let a = -67.16 - -67. Is a greater than or equal to -5?
True
Let j = 71 + -71.1. Let d(v) = v**2 + 4*v - 30. Let a be d(7). Is j bigger than a?
False
Let i = 39560 + -39577.417. Let t = i + 0.117. Let n = t + 17. Are n and -2/11 equal?
False
Let y(o) = -436*o**2 + 7*o + 6. Let b be y(-1). Is -439 at least as big as b?
False
Let o be 0/((-1)/3*3). Suppose n - 3*w - 36 + 13 = o, -5*n - w + 35 = 0. Let f = 2 + 7. Are f and n non-equal?
True
Suppose 0 = -x + i + 3, x - 5*i - 11 = 0. Is x at most as big as -2/115?
False
Let f = 61 + -42. Suppose -39 = -22*g + f*g. Which is smaller: 12 or g?
12
Let b be ((-120)/(-55) - 2) + 3066/77. Let h(p) = 3*p**2 - 5*p - 3. Let k be h(-3). Which is smaller: b or k?
k
Suppose 0 = -3*b + 5*g + 48, 0 = -4*b - g - 0*g + 41. Let r = -30 - b. Let h = r - -36. Is h <= -1?
True
Let r(p) = 5*p**2 + 1. Let w be r(1). Let n = 14 - w. Suppose 0 = 5*a - 5*c, 4*c - n = -3*a - a. Is a > -1/6?
True
Suppose -2*s + 50 = 5*l, -5*l + 5*s + 23 = -27. Suppose -6*n - 4 = -l. Which is greater: n or 87?
87
Suppose -j + 5 = 3. Suppose 2*c = 3*b - 8, 2*b - 2*c - 5 = -c. Suppose 3*w - 3*m + 18 = 0, -b*m + j = 3*w - m. Which is smaller: -2/9 or w?
w
Let g = -2.4 + 2.5. Let v = 0.2 - g. Which is smaller: 21 or v?
v
Let z = -3 + 6. Let p = -278 + 277.94. Is p at most z?
True
Let g be (48/15)/((-3)/15). Let s be 18/12*g/(-12). Let v be (s + -1)/((-18)/12). Which is greater: -23 or v?
v
Let i = 65 + -65. Suppose 12 = -i*n + 4*n, -5*n + 30 = -5*g. Which is bigger: -17/4 or g?
g
Let b = 1127 + -1127. Let z = 4186/45 - 93. Are b and z equal?
False
Let h(j) = 4*j - 679. Let v be h(44). Which is greater: v or -505?
v
Let z be (200/(-75))/((-6)/(-293)). Let g = 130 + z. Which is smaller: -15 or g?
-15
Let z(g) = -g**2 - 5*g - 4. Let x be z(-3). Let c be x/5 + (693/(-245))/11. Which is smaller: 2 or c?
c
Let q = 0.29 + -0.54. Which is smaller: 4 or q?
q
Let o = -35304899/1248 + 84868/3. Let p = 5/32 + o. Is 0 at least p?
False
Let d be -6 + -1*(1 + 1). Let h(k) = -2*k**2 + 3*k + 8. Let j be h(-2). Let p be (2/j)/(d/(-24)). Is -2 equal to p?
False
Let v = -5770/17 + 340. Is 8 less than or equal to v?
False
Let j = 0.114 - 0.684. Let r = -20.57 - j. Which is bigger: 0 or r?
0
Suppose -5*g + 30 = -2*h + 31, 3*g + 2*h - 9 = 0. Is g at most -3/991?
False
Suppose -5*v - 5*m - 2 = -32, 20 = 4*v + 2*m. Which is smaller: v or -0.18?
-0.18
Suppose 3*p - 7 = -z + 5*p, 21 = 3*z + 4*p. Let w be z + -2 - (-9)/3. Let q = -13 + w. Is -4 > q?
True
Let n(x) = x**2 - 26*x - 191. Let q be n(32). Which is smaller: q or 5/162?
5/162
Let l be 6*(-1)/(-88)*(-16)/18. Let m = 43/165 + l. Which is bigger: m or -1?
m
Let x = -27 + 63. Suppose 46*b = 43*b + x. Do 12 and b have the same value?
True
Let d = 33 - 32. Let b = -78650882/47 - -1673315. Let q = b - -108. Which is greater: q or d?
d
Let m be -9*-8*(-55)/30. Let w = -3163/24 - m. Which is smaller: 0 or w?
0
Let y = -19289 - -1485277/77. Which is smaller: y or 0?
0
Let i be (0 - -3) + (-11 - -2). Which is greater: i or 10?
10
Suppose 4*l = -11 + 3. Let z be (-4)/(1 + (-14)/(-4)). Which is greater: l or z?
z
Let j be (-2)/(-8) + (-14)/24. Let q = 1.628 + -0.028. Let w = 7.6 - q. Which is greater: j or w?
w
Suppose -a = -5