 Let h be ((-1 - -7) + -1)*d. Suppose 0 = -23*m + 22*m - 3. Which is smaller: m or h?
h
Suppose -4*y + 16 = -2*z, -3*z + 3*y - 12 = -2*z. Does z = -15/56?
False
Suppose -2*w - n - 5 = 0, 2*n + 0 - 4 = 3*w. Suppose -4 + 2 = 3*u - i, 5*i - 10 = 4*u. Let j(d) = -d**3 - d**2 + d - 2. Let k be j(u). Is k smaller than w?
False
Let r be ((-6)/(-8))/(982/328 + -3). Let o = r - -123. Let c be 8/70*(-10)/1. Is c less than or equal to o?
True
Let d be 5/(75/(-515)) - 2/3. Is -109/3 less than or equal to d?
True
Let b = -0.334 - -0.034. Suppose -3*x - x - 48 = 0. Let f be (x/42)/(12/(-7)). Is b < f?
True
Let z = -0.3 + 0.3. Let v be (-14 - -13)*(0 - (-3)/15). Which is smaller: z or v?
v
Suppose -n = 5, 3*p + 3*n + 2*n + 22 = 0. Let k be 4 - (16/6)/((-4)/(-12)). Let w be 690/(-84) - k - (-8)/2. Is w smaller than p?
True
Suppose 2 + 4 = 3*a. Let i be ((-3)/(-6))/(1/a). Which is smaller: 4 or i?
i
Let x = 17409/4 + -4314. Is 37 >= x?
False
Let c be 15/(-1) - (-37 + 37). Is c smaller than -19?
False
Suppose 0 = -l - 2 - 8. Let c(d) = 3*d + 28. Let g be c(l). Which is smaller: -5/2 or g?
-5/2
Let f be (1469/65 - 11) + -10. Let i = 0 + 0. Suppose 0 = -4*w + w + 2*y + 2, 2*y - 4 = i. Is w > f?
True
Suppose 6*g - 9*g + 70 = -5*h, h - 34 = -g. Let y be 1*(-3)/(-1) + 1. Suppose w - y*k = 16, -5*w - 3*k - g = -k. Is -4 at least w?
True
Let m(f) = 2*f**3 + 3*f**2 - 3*f + 4. Let t be m(-3). Is t less than or equal to -10?
True
Let v(n) = -n**3 - 4*n + 39. Let z be v(3). Let i = 5 - 7. Which is bigger: i or z?
z
Suppose 14*q = 6*q + 72. Suppose -5*h - 9 = -q. Is 90 != h?
True
Let r = -90/17 + 1013/34. Let b = -1170 + 1196. Which is smaller: b or r?
r
Let s(d) = 17*d - 3. Let j(y) = 765*y - 136. Let h(v) = -3*j(v) + 136*s(v). Let t be h(-1). Is -14 > t?
True
Let f = -1.98 - -2. Let c = 3.0398 - 0.0198. Let u = c - f. Do -2 and u have the same value?
False
Let n = 234 + -235. Is n > -32/29?
True
Let f = 895/12 + -327/4. Which is smaller: f or -7?
f
Let i(r) be the first derivative of r**4/4 + 13*r**3/3 - r**2/2 + 42. Let j be i(-13). Is j less than 12?
False
Let b(s) = 11*s**2 - 163*s - 30. Let j be b(15). Which is smaller: j or 1/209?
j
Suppose 3*k = 3*o - 45, 5*o + 15 = -5*k + 4*k. Which is bigger: -8 or k?
-8
Let d(q) = -q**3 + 9*q**2 - 11*q + 3. Let y be d(7). Suppose -b + y = -5*b. Is -5 at least b?
True
Suppose -4*u = -3*v + 11 + 11, -5*u - 30 = -5*v. Suppose -g - 3*o + 8 = 0, v*g - 2*o + 12 = -o. Let c be (4/6)/(g/6). Which is smaller: c or -7/6?
-7/6
Let y = -525/832 + 8/13. Which is smaller: 1 or y?
y
Let a(b) = 39*b - 1. Let s be a(-1). Let v = -14219 - -14177. Which is greater: s or v?
s
Let j be ((-2)/(-25))/(621/(-45)). Which is smaller: 0 or j?
j
Let r be 2/(-7) + (-10)/(-35). Let k = -3/82 - -355/738. Which is smaller: k or r?
r
Let m = -2.95 + -0.05. Let c = -6.6 + 11.6. Let v = m - c. Is -2/5 < v?
False
Let n = -183/5 + 36. Let j = -20 - -31. Suppose l + j = 9. Which is greater: l or n?
n
Let n be (-21)/(-28) + 22/(-8). Let w be ((-2)/(-2))/(n + 5). Does -1 = w?
False
Let i(d) = -31*d**3 - 2*d**2 + d. Let v be i(1). Suppose 0 = 7*u + 34 + 183. Which is smaller: v or u?
v
Let z = 10.53 + -8.53. Which is greater: z or -384?
z
Let a = -594 - -555.1. Let c = a - -39. Let w = 5 - 4.8. Is w <= c?
False
Suppose 492*w = 487*w. Suppose w = -5*q - 102 - 38. Which is greater: -29 or q?
q
Let r(j) be the first derivative of j**2/2 - j - 1. Let l be r(0). Let u = 312/5 + -62. Which is smaller: u or l?
l
Let h be (206/(-3))/((-20)/(-30)). Which is greater: h or -3?
-3
Let a be ((-6)/392)/(72/(-64)). Let y(m) = m**3 - m**2 - 14*m + 9. Let b be y(4). Is a <= b?
True
Let p be 13/26 + 5/(-12). Let k be 1 + (2/2 - -2) - 3. Which is smaller: k or p?
p
Let z = 138 + -40. Which is greater: z or 97?
z
Let v = -820/7 + 4079/35. Which is greater: v or 40?
40
Let z(q) = -7*q**3 + 2*q**2 + 3*q + 2. Let w be z(-2). Let t = -33 + w. Let a be -2 + t/(6/2). Is a less than 9?
True
Suppose 0 = 5*z, 11 + 4 = -5*s - z. Do s and 2/143 have different values?
True
Let c = -0.43 + 0.52. Which is greater: -1/2 or c?
c
Let q(x) = -2*x**2 + 91*x + 60. Let d be q(42). Is d greater than 352?
True
Let u(b) = b**2 + 6*b - 10. Let a be u(-8). Let y(l) = l**2 - l - 6. Let p be y(4). Is p bigger than a?
False
Let i = 0 - 25. Let o be (-3)/(-9)*18 - (5 + 28). Is i less than or equal to o?
False
Suppose 21*o - 6 = 15*o. Which is bigger: o or 2/565?
o
Suppose 4*a = 4*y + 76, -5*y = 3*a - 0*y - 57. Is a at least 19?
True
Let y = -318.1 + 346. Let b = 29 - y. Let a = -4.9 - b. Is 0.1 greater than a?
True
Suppose 0 = 3*o - 3*c - 9, 0 = 5*o - c + 3 - 2. Let r = 557/10 + -281/5. Is r != o?
True
Let o = -90973/9 + 10098. Let b = 10 + o. Let u = -1.31 + 0.31. Which is smaller: u or b?
u
Let a be (4/(-3))/(104/(-702)). Does -10 = a?
False
Let q be (-2 - -3)*5/1. Suppose -6*p + 11 = -q*p. Is 0.1 bigger than p?
False
Suppose 2 = -2*m - 2*p, -3*m = 6*p - 5*p + 3. Let g = m + 1. Let b = -517/5 + 104. Which is greater: g or b?
b
Suppose 2*x + 3*x + 4*o - 51 = 0, 12 = 3*o. Suppose -x*u - 16 = -3*u, -50 = 3*k + 5*u. Let t be (-24)/(-30)*k/4. Which is bigger: t or 1/4?
1/4
Let d be (4 - -44)/(0 + -1). Let t be d/128 - 17/(-24). Which is smaller: 1 or t?
t
Let h be (-2*2 - (-559)/156)/((-1550)/80). Let s(l) = -2*l**3 + l**2. Let v be s(1). Which is smaller: h or v?
v
Let f(p) be the third derivative of -p**5/60 - 5*p**4/24 + p**3/3 - 2*p**2. Let y be f(-5). Suppose -2 - 4 = -y*z. Which is bigger: z or 7/3?
z
Let y = 739/221 + -45/13. Which is bigger: 0 or y?
0
Let z = -0.7 + 2.7. Let u = -2/6799 - -41008/727493. Let x = u + 517/321. Is z greater than or equal to x?
True
Suppose -62*n + 59*n = 0. Let c be (-990)/2060 + 1/2. Is c <= n?
False
Suppose -6*h = 747 - 729. Is h at least -11/7?
False
Let t = 11059018/5 + -2202925. Let k = t + -8845. Let b = 34 - k. Which is smaller: b or 1?
b
Let r = 3/100 - 3/10100. Which is greater: 1 or r?
1
Let w be 1/(-2)*(9 - 3). Let d be w/1 - -1*2. Let l be (2/(-8))/(50/8). Is d at most l?
True
Let t(o) = o - 9. Let a be t(16). Suppose 3*y + 5 = -3*v - a, -4*y + 5*v + 20 = 0. Which is smaller: y or -3/14?
-3/14
Let b be (-2 - (0 - 1))*0. Suppose 0*r + r - 2*v - 8 = 0, 0 = 5*v + 25. Let p be 216/64 + r*2. Are b and p nonequal?
True
Let l(t) be the third derivative of t**5/60 + 7*t**4/24 - 4*t**3/3 - 4*t**2. Let k be l(-8). Suppose o = -2*o - 6, -4*i + 2 = -5*o. Which is greater: k or i?
k
Let l = -2573 - -2623. Suppose 0 = 4*q + 8, -o - 3*o = 2*q - 196. Is o less than or equal to l?
True
Let l = 148 - 128. Let z be (-30)/204*12/l. Suppose 2*n = 4*h - 3*n + 11, -3*n = -2*h - 7. Which is smaller: h or z?
z
Suppose -o - 5*w = -6, 2*w = -4*o - 39 + 45. Let p be (-4 - -1)/(9/6). Let r be -1*p/8*2. Which is bigger: r or o?
o
Let t be (-1992)/18 + (-2)/6. Let l = 160 + t. Is l < 49?
False
Let c(q) = -q**2 + 42*q - 190. Let k be c(10). Which is smaller: 129 or k?
129
Let q = -211 + 229. Is 20 < q?
False
Let u be (122/3)/(6/9). Let o = u + -41. Which is bigger: o or 19?
o
Let z = -6820/383571 + -2/3519. Let m(g) = -19*g + 96. Let r be m(5). Which is smaller: z or r?
z
Let s = -478 - -478.1. Are s and -686 non-equal?
True
Let k = 1634 + -1003. Let n be (1 + -2)/(-4)*k. Let g = 157 - n. Which is bigger: 0 or g?
0
Let o be ((12/(-4))/(-1))/((-1)/5). Which is bigger: -43/3 or o?
-43/3
Suppose -s = 2*c - 29, 3*c = 3 - 9. Is s < 35?
True
Let j = -3675 + 3674. Let p be 3 - (-4 + 2/1). Suppose 2*t - p = -3*z, 6*t = 4*t + 5*z - 19. Is t < j?
True
Suppose b + 127 = -3*d, -d + 3*b - 51 = -b. Let u = d - -1332/31. Suppose 0 = o + 2*m + 4, 24*o - 28*o = -4*m - 8. Which is smaller: u or o?
u
Let z be (4/(-8))/((-1)/(-32)). Let i = -7 - z. Let o be (-7)/(-5) - 9/i. Which is smaller: -0.1 or o?
-0.1
Let q = -38 - -71. Let z = q - 32.69. Let j = z + -0.33. Which is greater: j or -0.2?
j
Let b(p) = -p**3 + p**2 + 5*p - 24. Let v(d) = -d**2 - d + 1. Let r(u) = b(u) + 4*v(u). Let j be r(-5). Which is bigger: j or 26?
26
Let v be -4 - -14*8/32. Which is smaller: -0.107 or v?
v
Let q(o) = -6*o**3 + 2*o**2 - 15*o - 31. Let p be q(-2). Is p smaller than 54?
False
Let x be 2 + 2 + (1 - 1). Suppose v = -2*z + 6*z - 3, -x*v + 8 = 4*z. Suppose u = z, -2*u - 3*u = -5*a - 60. Are -11 and a equal?
True
Suppose -3 = -a + 4*a,