m + 836458 - 120265. Is 2568 != m?
True
Let h be 570*(5 + (-4)/1). Let d be (0 + 1)*5*(-12)/h. Which is smaller: 9 or d?
d
Let s be 3 + 4/18 + (-845)/(-45). Suppose -26*m + s*m + 4 = 0. Which is greater: m or 2?
2
Let u = -8 + 13. Suppose 3*d - 3*g = 42, -5*d - 9*g + 11*g + 67 = 0. Suppose -18*z = 5*t - d*z + 5, -5*z = -3*t - 3. Which is smaller: t or u?
t
Let h be 2/1*(3 - -1). Suppose 0 = -2*c - g + 17, -3*c + 4*g = -4*c + 12. Is c bigger than h?
False
Let g = 691209 + -309661781/448. Let w = g - -3/64. Let s(p) = 542*p**2 + 3256*p + 19. Let q be s(-6). Is q greater than or equal to w?
False
Let r be (336/(-294))/((-4)/126). Suppose 5*h - 11 = -2*j, 3*j - 7*h = -3*h + 51. Let c = j + -25/2. Is c >= r?
False
Suppose 5*t = 3*g + 5, -4*g - 8*t = -4*t - 4. Let b be ((-3 + 0)/(-81))/(-4 - 129/18). Are b and g nonequal?
True
Let x = -1388 + 1390.1. Are x and -3 non-equal?
True
Let r = -26642 + 26524. Which is smaller: r or 44?
r
Let o = -258497/2 - -132799. Which is smaller: o or 3551?
o
Let u(x) = x**3 + 6*x**2 - 7*x - 14. Let m be u(-6). Let h be (-41)/14 + 84/m. Does 0 = h?
False
Let d be 13 + (19 - 29 - 1). Which is smaller: d or 2808?
d
Suppose -f + 3*a + 22 = 0, 2*f - 6*f + a + 110 = 0. Let t be 1 + 1 + 0 + -35 + -2. Let z be (-1)/(-5) - 938/t. Which is smaller: f or z?
z
Suppose -3*a = -13*a + 4*d + 14700, -4409 = -3*a + d. Is a != 1461?
True
Let u(x) = x**3 - 6*x**2 + 6*x - 7. Let k be u(2). Suppose 127 + 177 = 8*b. Let y = -52 + b. Which is greater: y or k?
k
Suppose 10*n = 656 + 1594. Let s = n + -1797/8. Which is bigger: s or -1/2?
s
Suppose a + 24 = o - a, -2*o = 4*a - 80. Suppose -5*z = 3*s + o, 4*s + 4*z = z - 61. Let y(b) = -b - 16. Let i be y(s). Is i equal to 3?
True
Let p = -689 + 583. Let j = -105 + -104. Let h = p - j. Is 103 smaller than h?
False
Let z = -240.09 - 1.91. Let v = -242 - z. Which is greater: -0.0218 or v?
v
Let q be (2/3)/((-8)/12). Let s = 466 + -11647/25. Is s at least as big as q?
True
Let o(i) = -i**2 - 45*i + 174. Let g be o(4). Is -101 >= g?
False
Let a be 16/((-10368)/1308) - 5/(-6). Which is bigger: -1 or a?
-1
Let m be 40/(-22) + 8/(-44). Let y(l) be the second derivative of l**5/20 - 7*l**4/6 + 5*l**3/2 - 29*l**2/2 - 24*l. Let c be y(13). Is c smaller than m?
True
Suppose -20*v = -219 + 279. Let t be (4/6)/(v - (-56)/24). Which is smaller: t or 14.6?
t
Let j = -324.734 + -0.266. Let n = j - -325. Is -230 at most n?
True
Let c(r) = r**2 + 5*r + 10. Let t be c(5). Suppose 4*o = -u - t, -o + 2*o - 4*u + 32 = 0. Let n be (13/(-65))/(o/10 - -1). Which is bigger: n or -7?
n
Suppose 4965 = -3*c - 3*m, -6*c - 3*m = -10*c - 6620. Do -1655 and c have the same value?
True
Let a be 2/10 + 28/(-35) + 32/50. Suppose 4 + 2 = 2*q. Suppose -q*c = 6, 4*c + 9 = -0*f - f. Which is smaller: a or f?
f
Let c = -0.0885 + -1.2515. Which is bigger: c or 2/41?
2/41
Let l = -10 - -15. Suppose 2*w + 3*w + l = 0. Let y be (2 - 10/6) + w. Is y bigger than -6?
True
Let s be -1353 - ((-3)/(-2))/((-1)/2). Is -1352 > s?
False
Suppose 14*b - 228 = 173 - 331. Let l be (-530)/(-136) + (-4)/16. Which is greater: b or l?
b
Let x be 1*(4/(-14))/(-29*13/(-398489)). Is -275 bigger than x?
True
Let v(z) be the first derivative of z**4/4 + 7*z**3/3 + 5*z**2/2 + 8*z + 5. Let j be (-14 - -8)/(-1 - (-4)/2). Let f be v(j). Which is smaller: f or 11?
11
Suppose -4*c - 6*c + 30 = 0. Suppose -19 = -c*v - 19. Which is bigger: 2/597 or v?
2/597
Let r = 2.98 + -2.68. Let d = -13 + 25. Let a be 8/d + (-8)/6. Is r < a?
False
Suppose 2*s + 2*x = -684, 0*s + 5*x + 1376 = -4*s. Is -342 <= s?
True
Let s be ((-4)/(-12))/((-3)/3717). Let g = s + 399. Which is smaller: -13 or g?
g
Let q = 463 - 466. Let i be ((-11451)/(-105))/11 - q/(-15). Which is bigger: 0 or i?
i
Let o be 9*-27 - ((-7)/2)/(-7)*-12. Are o and -230 nonequal?
True
Let a = 1.335 + -55.335. Let c = 9 + -7. Which is smaller: c or a?
a
Let n = 59 - 53. Let p be (2 - n)*(1 - 329/332). Let r = 673/249 + p. Which is greater: r or 0.2?
r
Let x be 8/84 - (-120)/63. Let z be (-2 + -1)*4*x/24. Is 2/317 greater than or equal to z?
True
Let g(p) = -8*p**3 + 3*p**2 - 2. Let y be g(-1). Let z be (-2328)/(-3360) + y/(-12). Do 1 and z have the same value?
False
Suppose 2*s + 111 = s. Let k = -7604 - -46291/6. Let n = s + k. Which is greater: 0 or n?
n
Let v = 0.2 - 0. Let s be 24/(-20)*(-63 - -3). Let i be ((-18)/(-70))/((s/(-30))/(-4)). Which is greater: v or i?
i
Let p = 5 - 6. Let j be (-6)/27*(2 + (-1038)/492)/(-6). Which is smaller: p or j?
p
Let x = 177 - -106. Let w = x + -282. Does 9/13 = w?
False
Suppose 0*g - 4*g = 0. Let r be (35 - 2479/74)*104/(-6). Is r at most g?
True
Suppose -3*j - 19*j - 22 = 0. Let u = -49236/19 + 2590. Is u less than j?
True
Let a be 6*(91/(-42) + 2). Which is smaller: -271.9 or a?
-271.9
Let z be 418/264*6*(-2)/548. Is 0 at most as big as z?
False
Let m be 3615/(-5775) + (-3)/(-5). Suppose -5*k + 117 = 3*i - k, 2*k = -2*i + 78. Let a = 38 - i. Which is smaller: m or a?
a
Let w(a) = a**3 - 3*a**2 + a. Let z be w(0). Let i be (-6)/(-12)*(z + 173/2). Are i and 44 nonequal?
True
Let g be (37 + 31130/(-308))*8/1. Which is smaller: -512 or g?
g
Let u be (0 + 1)/(10/(-1490)). Suppose -4*m - 590 = -2*t, -4*m - 593 = 33*t - 32*t. Does m = u?
False
Suppose 4*f = 5*r - 84, 2*f = -3*r + 8*r - 92. Suppose 4*j = -5*l + r, l + 10*j = 5*j - 17. Let q be (1 - 2/(-6))/(1/6). Are l and q equal?
True
Suppose 2*j = -3*p + 6*p + 20, -5*j = 5*p. Let v be 260/(-546) - p/7. Let c be (-1 + 3)/(2/1). Is c greater than v?
True
Let k be (-40)/360 - (1108/9)/(-1). Let h = 7.4 - 7.3. Is h < k?
True
Suppose -508 = 35*h - 31*h. Let d be 254/h*(-2)/(-4). Is d equal to 0.665?
False
Let x = -4550336080/11363 - -400452. Which is smaller: x or 1?
x
Let t(r) = r**2 + 10*r - 143. Let k be t(-18). Let f be ((-11)/((-198)/24))/k + -2. Which is bigger: 68 or f?
68
Let k = -138 - -166. Suppose -k*u + 11*u - 17 = 0. Is u at most -16/7?
False
Suppose -61 + 5 = -4*g. Suppose v - s + 7 = 4*s, -55 = -3*v - 4*s. Let d = v - g. Is -2/35 > d?
True
Let t be (7 + -6)/(1/(-569)). Let j = t - -10806/19. Which is smaller: j or 0?
j
Let s = -207 + 213. Let f be ((15/s)/1)/(9/36). Is f less than 3?
False
Suppose 17*a - 58 = 61. Let n(c) be the second derivative of -c**4/12 + 5*c**3/6 - 11*c**2/2 - c. Let r be n(a). Is r > -25?
False
Suppose -u - 3 = -26. Let q = u + -1199/52. Which is smaller: 0 or q?
q
Let u be (-6)/45*-5*12/1. Let r(a) = 9*a - 1. Suppose 0*g = g - 1. Let p be r(g). Is u < p?
False
Let k = -465.9 + 465. Let v = -21 + 20.9. Do k and v have the same value?
False
Let z be ((-400)/32 - 7)/((-39)/(-104)). Let k be -2 - -1 - (5 + 45). Which is smaller: k or z?
z
Let u be 2 + -1 + 21/7. Let z be u/(-4) + 0 - -1. Let k = 11/39 + -115/546. Which is greater: k or z?
k
Let k(y) = -14*y + 1. Let i be k(1). Let c(q) = 3*q**2 + 5*q - 34. Let l be c(-10). Suppose 0 = -23*s + 5*s - l. Which is smaller: s or i?
i
Let v = 0.085 - 72.085. Let j = v + 69.1. Let z = 2.4 + j. Is -5 < z?
True
Let y be (14 + 297/(-22))/((-2 + -1)/(-564)). Which is smaller: 1584/17 or y?
1584/17
Let s(c) = 3*c. Let o be s(0). Suppose o = -2*h + 7*h + 25, 3*v + 11 = -4*h. Let a be (-1 - (v + 0)) + -14. Is -18 less than a?
False
Let j = 16.14 - 8.49. Let a = -608.65 + j. Are 1 and a unequal?
True
Suppose -2 = c - 1. Let v be ((-121)/726)/(((-6)/5)/((-6)/(-380))). Do c and v have different values?
True
Let l = 1.34 + -1.24. Let n be (65/52)/((-1)/(-20)). Which is smaller: n or l?
l
Suppose -2*m - 1 = 1. Let w(b) = -b**2 - 61*b + 8290. Let n be w(65). Which is greater: m or n?
n
Let f be 4 + (8/28 - 1060/(-14)). Suppose 25 = s + f. Which is smaller: s or -56?
-56
Let j be -39*(9870/(-819) - -12). Which is smaller: j or 2167?
j
Suppose -4*l = -2*f - 7976, 0 = l + 25*f - 23*f - 1989. Is 3983/2 less than or equal to l?
True
Let c = -2687.42 + 2664. Let t = c + 23. Let n = t - -0.57. Which is greater: 0.1 or n?
n
Let o be ((-1)/(-4))/((-18)/216) - -6. Let m be (-4)/(16/o)*2/6. Is 0 less than m?
False
Let p = -3582 - -3583. Which is greater: -798 or p?
p
Suppose -1056 = 16*z - 1040. Is 2/997 less than or equal to z?
False
Let n = 1.52 - -0.48. Is 0.392 smaller than n?
True
Suppose -4*n = z + 165, n + 45 = 4*z - 5*z. Suppose -9*r - 4147 = 4*r. Let f = r + 279. Is n g