s than or equal to -8/19?
True
Suppose 5 = 3*u - 2*g, 2*g - 1 + 3 = 0. Let q = u + 0. Let n = 84 + -88. Is n equal to q?
False
Suppose 5*b = -10 + 30. Let f = 640968/5 + -128189. Is f <= b?
False
Let z = -6518/5 - -110056/85. Which is smaller: -9 or z?
-9
Let t = 917.6 - 918.6. Is t greater than or equal to -13065?
True
Let t(y) = -35*y - 38. Let x be t(-17). Let o = x + -325. Is -1 greater than or equal to o?
False
Let f = 5092 + -5091.969. Let r = -11 - -11.07. Let k = 0.93 + r. Which is bigger: f or k?
k
Suppose -4*v - 3*y = 8, 12*v + 3*y - 2 = 13*v. Let g be ((-81)/(-54))/(v/676). Is -507 less than or equal to g?
True
Let s = -5033/5 + 1010. Let f = -3.24 - -4.82. Let k = f - 1.48. Are s and k unequal?
True
Let a = 3017 + -3016.798. Is -3 at least as big as a?
False
Suppose -6*p + 50 = -10. Let d be 5/165*(p + -4). Is d greater than -5/8?
True
Let i(c) = 3*c**3 + 23*c**2 - 11*c - 16. Let h be i(-8). Which is smaller: h or -44?
-44
Suppose 9*n - 5*n = -20, 3*n = -5*m + 1090. Let v be 3/(-2) - m/(-34). Suppose v*z - 8 = g + 3*g, -8 = -3*z + 4*g. Is -0.26 bigger than z?
False
Let a be (-2412)/10854 + 7/(-9). Let j be 1/(-13)*1 - 0. Which is smaller: a or j?
a
Let k(v) = v**2 - v + 3. Let z = 3 + -3. Let c be k(z). Let h = 25309/9284 - -1/844. Is h less than c?
True
Suppose -11*i + 13*i - 12 = 0, 0 = -3*z - 3*i + 4107. Which is bigger: z or 6821/5?
6821/5
Let d(k) = -10*k - 74. Let x be d(6). Suppose 0 = 2*r + 1 + 1. Let q be r + (x/(-48) - (-6)/(-3)). Does 1 = q?
False
Let a be (2/2 - (-1665)/522) + -3. Is a greater than 1?
True
Let j = 52 - 43. Let f = j + -6. Suppose 5*l - 41 = -4*q, -f*q - 3*l = -l - 22. Are q and 4 nonequal?
False
Suppose 3*u = -2*k + 3, -20*k = -25*k - 4*u + 4. Suppose 1 + 1 = 5*t + f, 2*t + 4*f - 8 = 0. Let w be 3/5*(t + -5). Which is smaller: w or k?
w
Suppose -178 = -81*g + 38 + 108. Let k(q) = -q - 1. Let c(o) = -4*o - 11. Let u(z) = -c(z) + 5*k(z). Let v be u(4). Is g at most as big as v?
False
Let p = -27854 - -27553. Which is bigger: p or 10?
10
Let y = -19 - -47. Let u(q) be the second derivative of -29*q**3/6 - 18*q. Let m be u(-1). Is m at most as big as y?
False
Let g = -662 - -537. Let r be 3/(-24)*-4*(-742)/3. Is g < r?
True
Let l be (-133)/(-14)*-20*-10. Is 1902 less than or equal to l?
False
Suppose 22*k - 40*k = -25*k. Which is bigger: -2/3273 or k?
k
Let s = -66 + 110. Suppose i + 172 = -d, 41*i + 160 = -d + s*i. Is -169 > d?
False
Let y be -1*-5*8388/9. Let i be (6/(-4))/(30/y). Is i less than -232?
True
Let t = 221 + -225. Let q be t*(6/72)/(3/(-9)). Is 21/16 >= q?
True
Let o = -389 - -1960. Suppose -11*h - 416 + o = 0. Which is smaller: 106 or h?
h
Let q = -4190 - -4178. Is -163/15 less than q?
False
Let i = -213014/9 + 23668. Is i at most 0.0546?
True
Let h = -118.7 - -118.59. Which is smaller: 444 or h?
h
Let b = -65.9694 - -66. Let r = b + 0.0694. Which is greater: -0.11 or r?
r
Let h = 1986 + -2027.1. Which is greater: h or 2/15?
2/15
Let p = 392 - 388. Suppose 3*z - 17 - 31 = -4*m, -3*z - 24 = -p*m. Do m and 8 have the same value?
False
Suppose -3*k = -5*k - 4. Let f be 0*(-1)/k*-2 - 150. Let i = 144 + f. Which is bigger: 7 or i?
7
Let w be -6 - 1949/(-3)*(-34 - -31). Is w > -1954?
False
Let j = 94 - 80.7. Let r = j - 56.3. Is r at least -1?
False
Let r(y) = -2*y + 43. Let w be r(14). Suppose n + 3 = -3*k + 8, 0 = -3*n - 3*k - w. Which is bigger: -74/7 or n?
n
Let p be (-2638)/(-110) - (50 + -41). Let v = -178/11 + p. Let t = 1 + -2. Is v less than t?
True
Let o = -13760205372353/2471 + 5568678727. Let p be (-1 + 7)*1011/(-63). Let j = p - o. Does j = 1?
False
Let v be (48/(-14))/((-145)/(-203)). Let j = -108 - -109. Is j at most v?
False
Let h = 1556 + -2257.6. Let b = h - -699. Are 9 and b nonequal?
True
Suppose 3*h - 5 = 4, 0 = 5*z - 4*h + 687. Let c = 97 + z. Which is bigger: -37 or c?
-37
Let b = -562 - -1684/3. Is -203 >= b?
False
Suppose 9 + 12 = 2*x + m, 2*x = -2*m + 18. Suppose -2 = 10*i - x*i. Which is smaller: i or -3/80?
-3/80
Let k be (-3 - -4)*-3 - -4. Let p be ((-12)/5)/(1*k/(-5)). Is p less than 10?
False
Suppose 0 = -11*l + 6*l. Let n = -6474899/507 + 12771. Is l at most n?
False
Let t = -2/399087 - 1379643751/1596348. Let o = -16873/20 - t. Which is greater: o or 21?
21
Suppose -4*b = 3*m - 23, -2*b - 4 - 16 = -2*m. Suppose 80 = m*l - 4*l. Let r be (-12)/l + 9/12. Is 9 smaller than r?
False
Let f be (2/(-8))/((-2)/16). Suppose 13*x = 16*x. Suppose x = -12*d - 4 - 152. Is f smaller than d?
False
Let c be 43/(-86)*(-8)/(-4). Is -36/385 less than c?
False
Let l(f) = f**3 + 9*f**2 + f + 12. Let y be l(-9). Suppose 0*u - y*u = -15. Suppose u*a - 3*m - 150 = 0, 3*a - 4*m = -0*a + 79. Which is smaller: 34 or a?
a
Suppose -38*u = -442 + 404. Are -2559 and u nonequal?
True
Let d be -210 - -6*3/(-6). Let f be (d/2)/((-3)/2). Let o = f - 495/7. Are 2/5 and o equal?
False
Let u = 7676.7 - 7677. Does u = 514?
False
Let d(h) = -2393*h. Let m be d(0). Let v = 1/118 + 671/4366. Are m and v unequal?
True
Let o be 6/(-68)*(-38)/(-171). Let f = 47/204 - o. Which is smaller: 2.8 or f?
f
Let h = -8277 + 11988. Do h and 3712 have different values?
True
Let w(l) = -7*l + 11. Let v(a) = 2*a + 2. Let h(o) = 6*v(o) + 3*w(o). Let r be h(5). Do r and 2/199 have different values?
True
Let l = -347 + 346. Is l at most as big as -1/7023?
True
Suppose -4*f = -i - 604, f - i = 57 + 97. Let s be ((-150)/35)/(1/(-7)). Suppose c + b + s = 0, -c = 4*c - 5*b + f. Is c bigger than -30?
False
Let x = 739 + -726. Let o be x + -43 + 8/1. Is -93/4 smaller than o?
True
Let a(n) = -3*n + 3. Let f be a(2). Let x = 127 + -128. Let b be (3/78)/(x/60). Is f <= b?
True
Let j be (-3)/(12/(-82)) - (-1)/(-2). Let s be 8/j - 94/10. Let x be (8/12)/(14/s). Is 0 smaller than x?
False
Let q = -49/118201 + 3/409. Is q < -0.07?
False
Let p be ((-714)/12)/(-7) - 3/6. Let f = -19 + 22. Let v be -2*(4 - p)/(-4) + f. Is v < 2/27?
False
Let a = -693/5 + 139. Suppose 2*r = 2*w + 4, 4*r + 0*r - 26 = -5*w. Suppose -5 = w*o - 3. Is a bigger than o?
True
Let s(u) be the third derivative of u**6/120 - u**5/10 + 7*u**4/12 + u**3/6 + 36*u**2 - 3*u. Let k be s(5). Which is bigger: k or 189/4?
189/4
Let q(t) = 3*t**2 - 18*t - 3. Let u be q(9). Let a be -7 + u/10 - 1/(-5). Let c = -0.5 - -0.7. Is c <= a?
True
Let v(d) = 2*d**2 + 14*d - 27. Let t be (16/1)/(8/4). Suppose -31*r - t = -30*r. Let a be v(r). Is -13 <= a?
True
Let o = -8 + 24. Let j be 203/12 - 10/24*68/(-340). Which is greater: o or j?
j
Let x = -779.656 - -780.656. Let a = -3 - -2. Let q = 22 - a. Is q bigger than x?
True
Let c = 17153 - 17142. Which is bigger: -128 or c?
c
Let l be (0 - (0 - 2))/(4/10). Suppose l*p - 207 = 4*b, p + 94 = 3*p + 4*b. Let j = 41 - p. Is -2 at least j?
True
Suppose -40*m = -41*m - 3*n - 15, -n = 5. Are -1/5081 and m non-equal?
True
Let f = 696 - -571. Which is smaller: f or 1268?
f
Let w be (-20)/(-150) + -2*2/30. Suppose w*p + 2415 = -15*p. Is -160 less than p?
False
Let j = -2537 - -5768. Which is greater: 3232 or j?
3232
Let n(z) = -z**3 - 51*z**2 - 132*z + 115. Let r be n(-45). Is r less than -6095?
False
Let p be (4/(-12)*0)/(1*-2). Suppose -3*d + 0*d = c + 4, 2*d - 2*c - 8 = p. Suppose -2*i + 3*b - 22 = -d*i, -33 = 3*i - b. Is -9 < i?
False
Let s(g) = -4*g + 36. Let r be s(8). Suppose 0 = 7*p + r + 38. Let d = -2/637 + -10186/1911. Which is smaller: d or p?
p
Let q = 0.2923 + -0.3923. Which is greater: q or 4/207?
4/207
Let p be (-1 + 6)*8152/40730 + 4/(-4). Is 0 greater than or equal to p?
False
Let i = -1823 + 1787. Which is smaller: 0.12 or i?
i
Let d = -184.8 - -183.8. Do -0.5281 and d have the same value?
False
Let m = -651.5 - -650.5. Which is smaller: 168.9 or m?
m
Let a = 103/21 + -29/6. Let q = -0.094 + 0.163. Let o = q + 2.931. Which is smaller: o or a?
a
Suppose -20*y = -3*v - 17*y - 21, 2*y = v + 14. Is v <= -7017?
False
Let o = 51 + -85. Let m(t) = 24*t + 353. Let w be m(-15). Let v = w + o. Which is smaller: v or -42?
-42
Suppose -5*n + 3115 = 5*u, 5*n = -2*u + 2*n + 1250. Is 611 greater than or equal to u?
False
Suppose -12*t - 3*t = -480. Is t not equal to 34?
True
Let g be ((-2090)/380)/(22/(-4)). Which is smaller: -20/801 or g?
-20/801
Suppose 4*v = -3*j - 1723, 7*j - 4*v = 11*j + 2292. Is -569 at least as big as j?
True
Let g be (