e
Let t = 2.9 + -6.8. Let z = 1.9 + t. Let f = -11 + z. Which is smaller: 0 or f?
f
Let x be (-69 - 16948/(-228)) + (1 - 2) + -5. Which is smaller: x or -6913?
-6913
Let x = -7 + -40. Let v = 107 + x. Let k = v - 60. Which is bigger: k or 31?
31
Let n be 7/(-28)*(127 + -126). Let m = 1.5 - -0.5. Let k = -1 - m. Do k and n have the same value?
False
Let j(u) = 2*u**3 + 6*u**2 - 13*u - 18. Let o(n) = -2*n**3 - 7*n**2 + 14*n + 19. Let l(r) = 7*j(r) + 6*o(r). Let p be l(-3). Is 0.1 < p?
False
Let h = 4488 - 4087. Is 399 <= h?
True
Suppose 4*r = 5*m - 26, 13*m = 141*r - 137*r + 42. Is 4746 not equal to m?
True
Let o(d) be the second derivative of d**5/20 + 7*d**4/3 - 9*d**3/2 + 57*d**2/2 + 93*d. Let l be o(-29). Which is bigger: l or -1/58?
-1/58
Let g = -39.4 - -39. Let u = g - 0.6. Which is greater: u or 46?
46
Let c = 640.017 + -0.017. Let m = c - 848. Is 0.1 at most m?
False
Suppose 0 = 2*l - 6, 2*f - 5*l + 25 = 4*f. Suppose 2*m - 6 = 4*r, -f*r + 3 + 7 = m. Suppose -2*z + 5*z + 3 = 0. Which is greater: r or z?
r
Let g = 724 + -1024. Let s = 379 + g. Do 77 and s have the same value?
False
Let r = 451 + -1783/4. Let z = r + -11/2. Let b = 263 - 267. Which is smaller: b or z?
b
Let t = -11/73 + 21411/146. Let g = t + -146. Is g smaller than -0.5?
False
Let j be 4 + 1 - (0 - 121). Let p be (-16509)/162*j/78. Let f = p + 1484/9. Are 1 and f non-equal?
True
Let m be (60/(-27) - -2) + (62608/(-63))/(-8). Is m <= 122?
False
Let j = -319 + 322. Let h be ((-45)/(-5) - 7)/(3/j). Which is bigger: 3 or h?
3
Let j = 1178222/211 - 5584. Let m be (-175)/105 + 2/(-6). Is m at least as big as j?
False
Let m be (3 + -7)/2 + -20 + (4 - -12). Which is smaller: m or -21?
-21
Let z = -308.92 + 312. Let f = 1.92 + z. Which is bigger: 17 or f?
17
Suppose 2*t + 1618 = -2*y - 8378, 3*t + 15066 = 5*y. Is t < -5008?
False
Let q(r) = 6*r - 113. Let n(v) = 14*v - 227. Let b(i) = -6*n(i) + 13*q(i). Let d be b(-17). Is 9/5 smaller than d?
False
Let x = 0.233 + -10.233. Which is smaller: -48 or x?
-48
Let f = -50.000612 - -0.000612. Suppose 29 - 11 = -3*g. Which is bigger: g or f?
g
Let h be (-45)/550*-5*28/12*-4. Let n = -0.053 + -0.047. Is n equal to h?
False
Let b(q) = -q - 4. Let k be b(-4). Let m be ((-48)/(-472))/(-2 - 2). Which is smaller: m or k?
m
Let v = -22150 + 141317001/6380. Which is smaller: v or 1?
v
Suppose p = -4, 3*u = -2*u - 2*p - 8. Suppose -2*f = -v + 701, -f + 4*v - 368 = -u*f. Are -347 and f non-equal?
True
Let r = -245.99 + 247. Let c = 16.01 - r. Is c at least 0?
True
Let n = 1196 + -421. Let d = n + -774. Which is smaller: 113 or d?
d
Suppose 3*g + j = 154, -3 = 3*j + 3. Let t = g + -50. Let n be 2/5 + t/30*9. Is n at most as big as -53?
False
Let n be ((-305)/(-15) + -17)*30. Suppose -3*d = -d - 202. Which is smaller: n or d?
n
Let n = -1956/18649 + -34754029/127559160. Let p = n + 2/855. Which is bigger: p or 0?
0
Let t = -423317/570 + 2228/3. Let c = -1448 + 1447. Does t = c?
False
Suppose 27 = -0*u + 5*u + m, m = 2. Let x(g) = g**3 + 5*g**2 + 3*g + 3. Let c be x(-4). Suppose c*v - u*v = -4. Is -5/4 <= v?
False
Let b = -6.6 - 1.4. Let k = 117.2 - 110.2. Which is greater: b or k?
k
Suppose -4*v + 0 + 4 = 0. Suppose r - 11 = 17. Let y be 1/(v - 24/r). Is 7 equal to y?
True
Suppose 0 = 5*v - 163 + 28. Let p be (-11)/(-4) + -3 - (-387)/(-4). Let b = -69 - p. Which is bigger: v or b?
b
Let r = -1441117/33205 + 4/6641. Is -0.01 equal to r?
False
Suppose 3*l = -0*l - 6, 108 = -2*o - 5*l. Let u = -32 - o. Is 81/5 != u?
True
Let m be -4 + 2 + ((-5)/(-5) - 957). Let w = m + 33526/35. Is w bigger than 0?
False
Let i = -180683/3555 + -113/395. Which is smaller: -50 or i?
i
Let n = -0.49 + -64.51. Let p = n - -68. Do p and -29 have the same value?
False
Suppose -s + 5*q - 93 = 0, -11*q + 7*q = -3*s - 290. Which is smaller: s or -1650/17?
s
Let x(u) = -u**3 - 11*u**2 - 19*u - 74. Let w be x(-10). Suppose 2*b - 66 = -w. Let t = 44 - 18. Is t greater than b?
True
Let i = -128 + 2430/19. Suppose 0 = -g + 11 + 49. Let f be (-24)/g + (-3)/5. Is f smaller than i?
True
Let t = 45 + -33. Suppose 3*z + 2*b = -0*z + t, 3*z = 3*b + 12. Suppose -3*w = w + 4, -z*p - 3*w + 1 = 0. Which is smaller: -2/119 or p?
-2/119
Let t be (2/3)/((-696)/(-16965)). Is t less than 1?
False
Let n = 306 - 757. Let r = n - -440. Is r less than 0.4?
True
Let q = -15.61 - 4.39. Let m be (-209)/(-5313) - (-2)/(-23). Which is greater: m or q?
m
Let w(p) = -5*p + 693. Let n be w(98). Is 197 greater than or equal to n?
False
Suppose -16*c + 13*c + 75 = 0. Let h = 24 - c. Let b be (2 + h)*-3 + (-154)/(-55). Which is greater: b or 1?
1
Let v(m) = -2*m**2 + 41*m - 19. Suppose 0 = 241*f - 247*f + 120. Let t be v(f). Are t and 10/97 unequal?
True
Suppose m = 2*l + 55, l + 15*m - 13*m = -5. Which is smaller: l or -418?
-418
Let w = -92.4 - -87. Let t = 6.8 + w. Let m = -1.5 + t. Is 1/47 less than or equal to m?
False
Let r(b) = -24*b**2 - 221*b + 661. Let x be r(3). Which is smaller: -217 or x?
x
Let v = 2/51349 - -256207/13812881. Let l = -2366/2959 - v. Which is bigger: 8 or l?
8
Let d(c) = 2*c**2 + 56*c - 3. Let w(f) = -4*f**2 - 111*f + 7. Let h(o) = -5*d(o) - 3*w(o). Let u be h(-28). Is u < 317/4?
True
Let d = 21152 + -21151.84. Is d > -752?
True
Let p = 4671 - 4572. Let m = 29 + 71. Is m bigger than p?
True
Suppose 2*p - 6 + 2 = -3*n, 36 = 4*n - 5*p. Suppose 17 + 33 = 10*l. Suppose z + l*z = n*z. Are z and 12/13 non-equal?
True
Let p be ((-2618)/(-49))/11 + (-11)/1. Which is bigger: p or -5/12?
-5/12
Let g = 32.86 + -1.86. Let d = -30 + g. Which is bigger: d or 0.068?
d
Let s be 12441/2233*(-7)/(-3). Is 569/43 at least s?
True
Let u(y) = -y**3 - 39*y**2 - 32*y + 166. Let c = 541 - 579. Let n be u(c). Is n > 0.03?
False
Let s = 74 - 74. Let v = 50.168 + -50. Let u = 0.058 - v. Is u at most s?
True
Suppose -2*l - t + 8 = 0, -5*t - 8 = 5*l - 3*l. Let q(c) = 4*c**2 - c + 3. Let f be q(3). Suppose -l*d + f + 6 = 0. Which is bigger: 6 or d?
d
Let n = -50 + -82. Let h = n - -92. Is -122/3 at most as big as h?
True
Let l = 2943 + -3165. Is -221 less than l?
False
Let d = 3272 + -3273.66. Is d smaller than -1/3?
True
Let w = 0.02439 + -0.02439. Are w and -611 unequal?
True
Let x be -3 + -3 + (-374360)/(-62457). Is x greater than 1/3?
False
Let l be (12/(-16))/((-2)/(-216)). Let i(q) = -3*q**2 - 10*q + 27. Let a be i(-5). Let n be 3 + (-688)/8 + a. Is l >= n?
True
Suppose -19*p = -18*p - 4, -5*h + 2*p + 337 = 0. Are h and 5 equal?
False
Suppose 0 = 4*c - 2*k + 436, -3*k - 110 = c - 4*k. Let n = 110 + c. Suppose -5*w = -4*u - 6 + 1, 4*w + n*u - 4 = 0. Which is smaller: w or -15?
-15
Let h(z) = -21*z + 27. Let p be h(-6). Let k = 168 - p. Suppose j - 6*j + 75 = 0. Is k greater than j?
False
Suppose 3*j + s + 1 = 3, 0 = 2*j + 5*s - 10. Suppose -14*p = -405 + 2239. Let d = -4455/34 - p. Which is bigger: j or d?
j
Suppose 4*c + n + 56 = -23, 3*n + 77 = -4*c. Let q be 9 + c + (4 - 2). Is -7 <= q?
False
Suppose -2*f + 2*o + 14 = 0, 3*f + 13 = -5*o + 50. Suppose -7 = -3*a - 2*b - 4, 3*a + 4*b = f. Let h be (-28)/8*2 - (-2 - a). Is -4 greater than or equal to h?
True
Let b = -5593/575 + -113/23. Which is smaller: b or -16?
-16
Suppose -17*y + 16 = -86. Does y = 19/3?
False
Let m = 6903 + -6903. Which is greater: m or 3/688?
3/688
Let s(d) = -2*d**2 + 329*d - 10756. Let u be s(45). Let h(m) = -m - 1. Suppose -4*n = 0, 0*n - 3 = -z - 4*n. Let w be h(z). Is w greater than u?
False
Suppose -34 - 16 = -25*p. Suppose g + p*g = -3*g. Which is smaller: g or 2/127?
g
Suppose -4*v - q + 8 = 0, 3*v - 19 = -3*q - 4. Let p = 138/17 - 2112/323. Is p != v?
True
Let r be ((1 + 1)/(-2))/(-2)*10/53615. Is r greater than 0?
True
Let c = -234 - -405. Suppose -c = 34*g - 15*g. Is g at least as big as 1.5?
False
Let m = 0.0157 - -0.1843. Is -360 not equal to m?
True
Suppose -35 = -y - 3*v + 8, -y + 42 = 2*v. Suppose 0 = -4*l + c + 11 + 23, -5*l + 2*c + 41 = 0. Let z be ((-3)/l)/(6/(-738)). Is y less than z?
True
Let j = -51 + 66. Suppose 7*h = 22*h + j. Which is smaller: h or 1/218?
h
Suppose 2*c + 5*u = -c + 412, 0 = 4*c + 2*u - 540. Let i be c/(-26) - 16/(-104). Let n be i*6/(-525)*-5. Which is greater: 0.1 or n?
0.1
Let z = -44.15 + 11.15. Let f(g) = g**3 + 2*g**2 + 2*g + 10. Let n be f(-3). Which is smaller: n or z?
z
Suppose 17 - 6