1441580. Let b = z + -9683. Is 45 less than b?
False
Let q = 21030 + -84119/4. Which is smaller: -770/9 or q?
-770/9
Let s = 14527 - 12597. Is 1926 greater than s?
False
Let j = -629 + 922. Let q = j - 254. Is 39 <= q?
True
Let l be (1*878)/(-5 + 3). Let v = 4.2596 + -4.1596. Which is smaller: v or l?
l
Let s(a) = a**3 - 25*a**2 - 81*a + 71. Let m be s(28). Which is greater: m or 0.19?
m
Let k(o) = -3*o**2 - 5*o - 13. Let s be k(-9). Let d = 3379/16 + s. Let b = 80 - 81. Which is bigger: d or b?
d
Let m = 7.99 - 8. Let t = -4719 - -14153/3. Which is smaller: m or t?
t
Suppose 32*v - 34*v + 2020 = 4*p, -4*v + 1515 = 3*p. Which is bigger: 503 or p?
p
Let v = -230 - -228.82. Let r = -11.82 + v. Which is smaller: -3 or r?
r
Suppose 0 = -0*w - w. Suppose -2 = -2*m - w. Let g be ((-54)/26 - 1) + 3 + 1164/2964. Do g and m have the same value?
False
Let u be ((-12)/18)/(3 + (-183)/63). Let o(n) be the third derivative of n**4/24 + 2*n**3/3 - n**2. Let t be o(-8). Which is greater: t or u?
t
Let w(z) = -z**2 - 35*z - 346. Let s be w(-10). Is -117 > s?
False
Let n = -2/12141 - 144410/7782381. Is 1 > n?
True
Let h be 2 + -2 - (4 - 7). Suppose -44 = -5*v + 3*v + 5*u, h*u - 11 = -v. Let f = 140 - 139. Do v and f have the same value?
False
Let b be 4/(6/(-6))*1. Let h(r) = r**3 + 2*r**2 - 3*r - 3. Let z be h(b). Do -23 and z have different values?
False
Let d = 107 - 185. Let f = d - -174. Let g = f - 105. Which is greater: 1 or g?
1
Let i = -149 - -289. Let w = i + -140. Are w and 2/3 unequal?
True
Let o be 1085/(-10) + 2/4. Let s be -5*2*(-2)/o. Suppose -70*p - 71*p = -147*p. Which is bigger: s or p?
p
Let a = 4984 - 4257. Is a greater than 5098/7?
False
Let m = -479 - -446. Which is smaller: 24 or m?
m
Let b = -45.2 - -49. Let p = b + 1.2. Let j = 18 + -16. Which is greater: p or j?
p
Let f(o) = o + 126. Let x be f(-30). Which is smaller: 80 or x?
80
Let b = -63075/113 + 5247201/6328. Let g = b + -271. Which is smaller: g or 1?
g
Let z = -4853.1 - -4851. Which is bigger: z or 88?
88
Let d = 11271 - 101441/9. Which is smaller: d or -6/85?
d
Suppose -4*f - 4*z + 8*z = 16, 0 = -3*f - 5*z - 4. Let y = -1923/4 + 478. Which is bigger: f or y?
y
Let i(r) = -r**3 - 3*r**2 + 3*r - 4. Let l be i(-4). Let z be (25/(-175))/((-114)/(-21)). Are z and l equal?
False
Let a be 60/(-1925)*(-190)/57. Suppose 5*t + 40 = 35. Is t bigger than a?
False
Let y be -40 - -40 - 4*-1. Suppose -y*c = 1018 + 66. Which is smaller: -270 or c?
c
Suppose -11*a = -2*a + 531. Let f = -10 + a. Let c be -1*(-1)/(-3) + f/9. Which is smaller: -3 or c?
c
Let o be 0 - ((-1)/(-1) - 2). Let z = -107493/7 + 15307. Let w = -49 - z. Which is smaller: o or w?
w
Let j = -107 + 103. Let v be -9*(-1)/(-1)*j/(-68). Let r = 12 + -13. Which is smaller: r or v?
r
Let i(f) = -f**2 + 54*f + 1674. Let d be i(-22). Which is smaller: d or 840?
d
Suppose 61*a - 17587 - 4617 = 0. Is a bigger than 361?
True
Let i = 4130 - 4131. Are i and 2/3707 nonequal?
True
Let k(v) = -v**2 - 85*v + 2406. Let g be k(34). Is g >= -1639?
False
Suppose 79 = p + 80. Let z be (-9 - 4)/p*1. Let h be (-2 + 1)*(-11 + -1). Is h greater than or equal to z?
False
Let l = 27509 - 9557. Is l smaller than 17951?
False
Let j = 0.077 + 28.923. Let z = 61 - j. Let u = -92/3 + 31. Is u greater than z?
False
Let m = 572/3 + -190. Let k = 0 - m. Which is smaller: k or 118?
k
Let v = 56 + -51. Let k = 0.5 + v. Let c = -5.4 + k. Which is smaller: c or -2.9?
-2.9
Let p(r) = 9*r - 20. Let u be p(10). Let j be (-40)/u + 386/14 + 4. Which is smaller: j or 35?
j
Let w(v) be the second derivative of 5*v**3/2 + 68*v**2 + 15*v - 4. Let b be w(-9). Which is smaller: b or -8.2?
-8.2
Let y be -8 + -1 + 1 + 4. Let o = -2.03 + 0.03. Let c = -1.7 - o. Which is greater: y or c?
c
Let z(y) = 22*y**3 - 39*y**2 + 4*y - 12. Let g be z(2). Which is bigger: g or 14?
g
Let s be 34/(-192) - (-23)/69. Let t = 3/32 + s. Which is smaller: t or 1?
t
Suppose 3*t = 5*t - 222. Let b = 96 - t. Which is bigger: b or -12?
-12
Suppose 4 + 0 = -x. Let b be 1062/(-351) - (x + 1). Let z = 113 - 113. Which is smaller: b or z?
b
Suppose 0*o = -6*o - 9372. Let q be 23*(-1)/((-30)/o). Let u = q + 1198. Are u and 0 unequal?
True
Let h = -478 + 478. Let u = -1413/2576 - -3/112. Which is bigger: u or h?
h
Let x be ((-277)/(-2))/(2/(-4)). Let d = x + 244. Suppose -139 = 4*r + 1. Which is smaller: r or d?
r
Let f be (-1)/5 - (3 - 126/30). Let s be (-2 - (-109 + -2))*f. Is s at least as big as 110?
False
Let d(s) = s**2 + 9*s - 12. Let g be d(-10). Suppose 352 = 4*b + 15*a - 13*a, 3*a - 255 = -3*b. Which is smaller: b or g?
g
Let f = 64.7931 - 68.19389. Let h = f + -0.06221. Let k = h - 0.037. Which is bigger: k or -1/2?
-1/2
Let w = -141 + -567. Which is bigger: w or -2/7?
-2/7
Suppose -3*i + r = -8, -i + 16 = 3*r - 6*r. Is i at most as big as -1312?
False
Let d = 113.805 - 1.405. Let l = 240 + -131. Let s = d - l. Is s < -0.1?
False
Suppose -22317 = -4*z + s, -4*z + 11*s - 14*s = -22313. Which is smaller: 5581 or z?
z
Suppose -w - 74 = -t, 2*w = 4*w. Suppose 19*p = 40*p - 1554. Are p and t unequal?
False
Suppose x + 36 = 3*x + 2*a, -a = -x + 8. Let k(m) = -m**3 + 15*m**2 - 24*m - 3. Let u be k(x). Which is bigger: -3 or u?
u
Let v = -158.21 + 93.21. Which is smaller: v or -4/7?
v
Let f be -3 - (5 - -13)/((-6)/3). Suppose -f = -4*v - 2*a, -5*a = -3*v - 5 + 29. Are v and -40 unequal?
True
Suppose -40*k - 248 - 272 = 0. Let o be 2 + (17 - -1) + 1. Let c = k + o. Is 6 > c?
False
Let v = 280 - 401. Let t = v + 69. Let d = t + 85. Which is smaller: 1/3 or d?
1/3
Let p(g) = 28*g - 78. Let s be p(13). Suppose 806 - s = 4*u. Let r be (-26)/u - (254/80 - -1). Which is bigger: -4 or r?
-4
Suppose 5*u = 10*u - 30. Let g be -2*40/12 + u. Which is bigger: g or 114?
114
Let p = 8.4495 + -0.4495. Which is greater: p or 5.2?
p
Let b(p) = 61*p + 1645. Let d be b(-28). Do -14 and d have different values?
True
Let p(s) = -s**2 + 201*s - 394. Let w be p(2). Is w bigger than 168/43?
True
Suppose 15*j + 2*r + 26 = 14*j, 5*j - 3*r = -65. Let i = -2 - -8. Let w = i + -20. Are j and w non-equal?
True
Let m = -2639 - -1539. Let a = m + 157301/143. Is a <= 1?
True
Let u(i) = i**3 - 14*i**2 + 12*i + 14. Let p(j) = 2*j - 5. Let w be p(9). Let x be u(w). Let g be x/(2*2/(-32)). Are -7 and g equal?
False
Let t = -39.4615 + 0.0615. Let x = t - -33.4. Is x != 24?
True
Let o = 0.4023 + 0.0677. Is 1/12 at most as big as o?
True
Suppose -12*s + 1809 - 261 = 0. Do s and 122 have different values?
True
Let d = -2872 + 2746. Does -123 = d?
False
Let c be 0 + -1 + (-42)/4. Let q be 1/((-12)/(-44))*(8 + -5). Suppose -10*m + q*m = -11. Is m at least as big as c?
True
Let u = -94/63 + 76/63. Does u = 2/1397?
False
Let i(x) = -x**3 + 59*x**2 - 45*x - 761. Let k be i(58). Which is greater: -31 or k?
k
Suppose 3*n - 3*t - 9 = 0, 4*n - 6 = -t + 11. Suppose -8*v - n = -4*v. Is v less than -5/27?
True
Suppose -18 = -2*h + 4*i, -9*h = -4*h + 3*i + 7. Let a be (-14 - -3) + 18377/1645. Is h < a?
False
Let a = -1662 + 1656. Which is smaller: 1/27 or a?
a
Let p = 425 - 431. Let d be p + 4/(-8)*452. Is -231 at most d?
False
Let p = 16.575 - 11542.575. Do -0.1 and p have the same value?
False
Suppose 13*h + 9315 = -14*h. Let n = -315 - h. Which is smaller: n or 86/3?
86/3
Let x be (4*1043/98)/((-192)/(-672)). Let q be -5*(-2)/(-6) - -2. Which is smaller: q or x?
q
Let s = -4 + -5. Let l(o) = o**2 + 11*o + 31. Let h be l(-7). Let r be (-14)/9*s/h - 4. Which is smaller: -1/5 or r?
-1/5
Suppose 156 = -10*k - 24. Let z(t) = -9*t - 162. Let d be z(k). Which is greater: d or -1?
d
Let m(g) = -544*g + 308. Let n be m(1). Let b = -189 - 46. Is n greater than b?
False
Let v = 0.577 - -26.723. Let x = 19.3 - v. Let d = -1 + 1.3. Which is bigger: x or d?
d
Let x = -0.3 + -0.7. Let u be (1 - 2 - -4) + 68/(-22). Are x and u non-equal?
True
Let r = -64270/3 + 21424. Which is bigger: 1056 or r?
1056
Let j = 3 - 4. Suppose -4*w + 331 = 3*a, 148*w - 335 = -3*a + 143*w. Let t be a/42 - (-2 - 778/(-172)). Which is greater: j or t?
t
Let q be ((-178)/1335)/(2/6573). Let r = q - -438. Which is bigger: r or 18?
18
Let q be (-4 + 9/3)/(1/(-3)). Let f(d) = -d**3 + 6*d**2 + 5. Let g be f(6). Which is greater: g or q?
g
Let n = 32.06 + -41.06. Is n greater than or equal to 