+ 12.63. Let f = u + -10. Let h = -11.2 - -14.2. Is h <= f?
True
Suppose f + 3 = -a - 4, -15 = 5*f. Let i be (-6348)/(-906) + (1 - 4) + a. Which is greater: i or 0?
i
Let z = 109 - 105. Let o be (-64)/10*z/((-64)/40). Which is smaller: o or 15?
15
Let o = 680.4 - 681.4. Is o equal to -6.361?
False
Let n be (-510)/(-68)*516/5. Is n greater than 771?
True
Let i = 45.3 + -4.3. Let v = 15 + i. Let w = v + -56. Which is smaller: w or -0.21?
-0.21
Let m(b) = -9*b**3 + 28*b**2 - 11*b + 23. Let x(l) = 4*l**3 - 13*l**2 + 5*l - 12. Let d(q) = 3*m(q) + 7*x(q). Let f be d(8). Which is smaller: 66 or f?
f
Let d be 9 + (28 + -31)*(4 - 1). Is 39/122 greater than d?
True
Let t(n) = 46*n - 115. Let i be t(3). Suppose 0 = -4*l - 4*p, l + 30 = -i*p + 28*p. Are l and -47/12 equal?
False
Let s be (-3588)/2002 - (-3)/7. Let d(n) = -n + 1. Let i be d(3). Which is smaller: s or i?
i
Let s(u) = -u**3 - 35*u**2 - 191*u + 141. Let f be s(-28). Is f greater than or equal to -3/9059?
True
Let i = -160 + 158. Let u be (i/6)/(9/((-63)/2)). Which is greater: -1/3 or u?
u
Let a = -116 + 227/2. Let d = -54 - -53.97. Is d less than or equal to a?
False
Let w be 3*(-56)/(-12) + 3. Let j be (4/258)/(w/153). Let l(u) = u**3 + 2*u**2 + 17*u + 59. Let i be l(-3). Are j and i nonequal?
True
Suppose -7*b - 5*b = -48. Let q(k) = 6*k**3 - 2*k**2 + 3*k - 7. Let g be q(b). Suppose 0 = -13*o - 4*o - g. Is o > -23?
True
Let r be ((0 - 0) + 10)*1690/(-25). Let l be (0 - 5) + r/(-136). Suppose 0 = 4*t - 5*t. Is l at least t?
False
Let w(f) = -171*f**2 - 98*f - 367. Let z be w(-4). Is z equal to -2711?
True
Let q be (-78150)/315 - (-4)/42. Is q <= -251?
False
Let f be -4 + -49 - (-6)/(-2). Let j be ((-3)/f)/((-39)/(-26)). Let y(d) = -d - 2. Let w be y(-2). Are j and w unequal?
True
Let z = -6121/1776 + 112/111. Are z and -1 nonequal?
True
Suppose -6510 = 111*y - 97*y. Let t = y + 407. Suppose -3*f + 3*u = 165, 4*f - 2*u = -0*u - 224. Is f not equal to t?
True
Suppose -61 = -v + 4. Let k = v + -64. Let h be (81/945)/(0/(-1) - 2). Are h and k non-equal?
True
Suppose -56*g + 59*g + 4*d - 4900 = 0, -2*g + 3272 = 2*d. Which is smaller: g or 0?
0
Let x be (-3 + 44/15)*(-117)/8359. Do 0 and x have different values?
True
Let l = -86 - -84. Let b be (l + 6)/8*(-8 + 102). Is b less than 43?
False
Let z be (-24*10/(-45))/((-10)/(-75)). Suppose -z = -6*p - 40. Which is bigger: -345 or p?
p
Let u = 98702/328152825 + -2/116325. Is u not equal to -1?
True
Suppose -3*u + 4*u - 17 = 4*k, 2*u + 2*k = 4. Suppose 0 = -13*d + 634 + 68. Let h be 42/(2 - d/(-6)). Which is greater: h or u?
u
Let a = -24 - -25. Suppose -5*j + f = -75 + a, 3*j + 3*f = 48. Suppose 2*k = -k - j. Is -4 < k?
False
Let n = 734 + -344248/469. Is 2/21 not equal to n?
True
Let y(a) = 5*a**2 + 10*a + 2. Let v be y(-2). Suppose 8*b + v - 10 = 0. Is 1/12 greater than or equal to b?
False
Let n be (4 - 3)*-201 - (2 + 1). Let z be ((-3)/420 + 0)/(n/4630). Let g = z + -11/51. Is 1 at most g?
False
Let h(w) be the second derivative of 7*w**3/3 + 97*w**2/2 - 2*w + 9. Let c be h(-7). Is 1/18 less than c?
False
Let f = 43423/21 + -2068. Let l be (-2 - (-6)/3)/1. Which is smaller: l or f?
f
Suppose 10*q + 35*q + 122*q + 3567120 = 0. Is q equal to -21360?
True
Let b = -4/141389 + -2249308/456545081. Is -1 equal to b?
False
Let v = -673.9 - -673.89. Let i = -9 + 13. Let w be (-93)/(-105) + i/(-14). Which is smaller: v or w?
v
Let t = -0.091 - -43.091. Let d = 85 - t. Let u = -42.05 + d. Is u equal to 0.1?
False
Let i = -4954 - -5243. Is i < 577/2?
False
Let g be (6990/(-18))/(-5) - (-2)/6. Let y(t) = -t**3 + t**2 + 6*t - 2. Let m be y(-5). Let p = m - g. Which is bigger: 39 or p?
p
Let q be 2/((-40)/44)*-5 + 23. Let m(l) be the first derivative of l**4/4 + 7*l**3/3 - 2*l**2 + 7*l - 1. Let y be m(-7). Is y at least as big as q?
True
Suppose 20*n - 480 = 8*n. Suppose -392*u = -387*u + n. Which is smaller: u or -12?
-12
Let v(z) = z**3 - 8*z**2 + 6*z + 10. Let f be v(7). Let m = -81299/13 + 6256. Is m smaller than f?
True
Let d = -0.058 + -46.942. Let n = -181.2 + 228. Let s = n + d. Is s greater than -15?
True
Let o = 7.6 + -41.6. Let f = -32.41 + -1.59. Let n = f - o. Which is smaller: -28 or n?
-28
Let j be (-2)/18 + (-1200)/(-108). Let h(l) = -l**3 + 10*l**2 + 10*l + 20. Let f be h(j). Suppose -3*p + 3 - f = 0. Which is smaller: p or 0?
p
Suppose 0 = 5*s - 3*i - 179 - 234, -3*s - i + 259 = 0. Suppose -19 + s = -6*x. Is -22 at least as big as x?
False
Suppose -a - 82 = 2*q, 4*a + 5*q = a - 251. Let v = a + 112. Which is bigger: 19 or v?
v
Let y = -724 + 766. Do y and 37 have different values?
True
Let h = 797 + -946.2. Let d = 149 + h. Which is smaller: d or 75?
d
Let k = 0.18 - -0.82. Let r = 293.36 + -0.36. Let y = -292.9 + r. Which is smaller: k or y?
y
Let j(c) = -2*c**3 - 14*c**2 + 2. Let k be j(-7). Let q(h) = -2*h**2 + 4*h - 10. Let a be q(-7). Let g = -682/5 - a. Is k bigger than g?
True
Let l(i) = -i**3 + 3*i**2 - 2*i + 2. Let h be l(2). Let k be 0 + -50 + (h - 3). Let q be -4 + (k/(-6) - 4). Is q not equal to -21?
True
Let n = -6615 - -6612. Which is bigger: -259 or n?
n
Let r be (-37)/(370/(-100)) - 11. Let h = 2760/19 - 145. Which is greater: h or r?
h
Let v be (8/14)/((-65073)/(-12971) + (-1 - 4)). Is v at least -29?
True
Let u(j) = j**3 - 32*j**2 - 37*j + 132. Let k be u(33). Let o be (103/28 - k) + -10 + 7. Which is smaller: 2 or o?
o
Let i be (2/3)/(2/(-3)) - -17. Let z be 397/(-66) - i/(-88). Which is bigger: -7 or z?
z
Let n = -17794 + 17157. Which is bigger: 1/2 or n?
1/2
Let k = -45 - -47. Suppose d + 1 - k = 0. Suppose -5*u = -d - 44. Is 10 at most u?
False
Let g = 3.583 + -3.383. Which is smaller: 3/8 or g?
g
Let q(o) = o**2 - 3*o - 1. Let b be q(2). Let h = 2469 - 2475. Let j be ((-43)/b)/(h/18). Which is bigger: j or -44?
j
Let u = -1 + 2. Suppose -l + i - 10 = -4*l, -u = -i. Let v be (l/117)/(35/30 - -2). Are 0 and v nonequal?
True
Let y be (-20)/(-110) - ((-270)/(-308))/5. Suppose 31*j = 29*j - 2. Which is greater: y or j?
y
Suppose l - 5*l - 4*l = -8. Which is smaller: 11/197 or l?
11/197
Suppose -g + 5*g - 140 = -4*l, 3*l - 101 = -g. Suppose l - 50 = -17*f. Are f and -1/123 equal?
False
Let l be 18/42 - (25128/(-182952))/((-1)/3). Let w = 2.9 + 0.1. Let f = w + -3. Which is bigger: f or l?
l
Let c = 1 - -4. Let l = 1135/12 + -541/6. Is c > l?
True
Let k be 1 - 0 - (1 - 1). Let d be 51 - (113 - 59) - (-198)/69. Are k and d equal?
False
Suppose -3*f + 6 = -3*s, 2*f + s - 6 = 10. Let o = 26047 + -182289/7. Which is greater: f or o?
f
Let m be (((-16)/14)/(18/21))/(3/4023). Is m at least as big as -1789?
True
Let y = -1/424 - -461/15688. Let x be (-44)/(-16) + (-4)/(-16). Let c be 4/(-24) - x/(-18). Which is smaller: c or y?
c
Let f = -0.5 - -0.56. Let h = 1.06 - f. Let k = -2 + h. Is -10 greater than k?
False
Let l be (-3)/((-515905)/(-42991) - 12). Is l >= 0?
False
Suppose 0 = -4*h - 5*x - 708, -5*h + 2*x + 8*x - 755 = 0. Which is greater: 0.41 or h?
0.41
Let c(w) = -34*w + 4. Let z be c(-2). Let l be ((-308)/(-8) + -3)*2. Which is smaller: l or z?
l
Suppose 94*o = 95*o + t - 5, 4*t = 2*o + 14. Let d = -16503 + 10842469/657. Which is smaller: d or o?
d
Let w = 129.51 - 129. Let s = 0.023 - 0.233. Let o = w + s. Is o at most as big as 13?
True
Suppose -11*d + 11696 = 5*d. Suppose -d = -9*f - 8*f. Is f < 44?
True
Let a = -15.4 + 15.4467. Let n = a + -6.0467. Which is greater: -0.8 or n?
-0.8
Let q be ((-358)/282 + 740/(-148))/(4/(-6)). Is q at most 9?
False
Let n be 1508220/466992 + (-26)/8. Which is smaller: 1 or n?
n
Let y(s) = 128*s - 638. Let j be y(16). Let d = 127 - 352. Let r be (-30)/d - 98/j. Which is greater: 1 or r?
1
Let y be -5 + (-3 - 65/(-5)). Let t be 20 - (-2 + y + -1). Let h be 130/18 + (-4)/t. Is 2 not equal to h?
True
Let u = 99 - 94. Suppose 13 + 2 = -u*q, -5*a = q - 2817. Suppose g - a = -3*g. Are 140 and g equal?
False
Let b = 0.511 - 3744.511. Which is smaller: b or 0.1?
b
Let f(a) = 2*a**2 + 17. Let u be f(-15). Let k = -510 + u. Which is greater: k or -41?
-41
Suppose 0 = 6*l + 232 + 68. Does l = 4?
False
Let v be -2 + 8 - (-324)/(-8)*-2. Suppose v*x - 28 = 85*x + 4*n, -17 = -x + 5*n. Suppose -3*y - 28 = -5*y. Is x greater than or equal to y?
False
Let s be -2*(-4 - (-14)/4). Suppose 2 = 4*l - 6. Let a