be d(-45). Is 32 <= u?
False
Let t = 363 + -363.055. Let n = 65.945 - t. Which is smaller: 1 or n?
1
Let t be -12 + (-20587)/(-3430)*2. Is t at least -1?
True
Suppose 0 = 6*m + 59 + 109. Let x be 4*(-2 + m/(-16)). Let n = -14821/25 + 593. Is x <= n?
True
Suppose -4*k + 6920 = 6*k. Let o = -669 + k. Is 21 smaller than o?
True
Let q = 0.1311 - 0.1011. Which is greater: -18.4 or q?
q
Let f be (15/10)/((-175833)/6017312). Let w = -2/2791 + f. Which is greater: w or -50?
-50
Let v(i) be the third derivative of 0 + 0*i - 1/12*i**4 - 1/60*i**5 - 16*i**2 + 17/6*i**3. Let c be v(-5). Which is greater: c or 5?
5
Let c be (-1 - 271*1) + 425/85. Which is smaller: c or -262?
c
Let j = -4198 + 4272. Which is smaller: 19 or j?
19
Let h be 3 + (-32754)/27 - (-19)/171. Which is smaller: h or -1211?
-1211
Let j be (-748592)/(-936) - (-3)/(-9)*(-2)/3. Which is smaller: 799 or j?
799
Let u(i) = -i**2 + 11*i - 1. Let f be u(11). Let m be (13 + -7)*((-272)/(-30))/f. Let j = -54 - m. Is 0 <= j?
True
Let n be 242/605*((-15)/(-13))/(-3). Which is bigger: -1/128 or n?
-1/128
Let l(r) = r**3 - 4*r**2 - 43*r - 22. Let z be l(9). Let w be 9/((-36)/z)*4/(-2). Is w at least 157?
False
Let o be (-8)/(-44) + 516/66. Let z be ((-65)/(-20))/((-2)/o). Which is bigger: z or -17?
z
Let p(r) = 7*r**2 - 6*r - 19. Let m(j) = 4*j**2 - 3*j - 9. Let v(w) = 5*m(w) - 3*p(w). Let l be v(5). Let t = -47 - -46. Is l less than or equal to t?
False
Let l be (10/16)/(3/(-6)). Let f = -353 - -352.56. Let k = -3.56 + f. Which is smaller: l or k?
k
Suppose -3*u = -a + 5, 4*a = -u + 3*a + 5. Suppose 6*s - 2*i - 249 = 5*s, 4*s - 1016 = 4*i. Let l be 5/(105/(-6)) + 116/s. Which is smaller: l or u?
u
Suppose -5*d = -47 + 37, 0 = x - 10*d - 58. Let y = -100 + 176. Which is greater: y or x?
x
Suppose 0*u - 12 = 3*v + 4*u, 3*u + 20 = -5*v. Let q = v - -8. Suppose 4*f - q*g = 32, -4*f = -f + g - 12. Is 2 at least as big as f?
False
Suppose 3*h + 16*h - 2774 = 0. Suppose x + 3*g + 23 + 31 = 0, -3*x - g = h. Is x != -49?
True
Let k be (2 + (-1182)/(-12))/((-3)/(-2)). Suppose -k + 66 = -r. Does 1/6 = r?
False
Suppose 3*c + 2 - 5 = 0. Let t = 331912 - 371741491/1120. Let r = t + -1/224. Is c greater than or equal to r?
True
Suppose -k - 11 = -2*q, 29*k - 4*q = 5*k. Let g be (-2)/7 - 472/(-1358). Are k and g non-equal?
True
Let v be 1/(-3) + 10/3. Suppose -v*u = u + 2*p - 124, 0 = 3*u + 3*p - 87. Suppose -2837 = -135*k + 1618. Is k bigger than u?
False
Let b = -330.9142 - 0.0858. Let h = b - -334. Which is bigger: h or -3/5?
h
Let k = -0.1982 + 0.3982. Which is greater: 1682 or k?
1682
Suppose 4*w + 291 = 95. Let a be (-1 + w/(-35))*-10. Is a > -7?
True
Let d be 1/11 + 0/633. Is d <= -104.2?
False
Let x = 53.62 + -54.26. Which is smaller: -2/11 or x?
x
Suppose -16*n - 1668 = 35611 - 1567. Does n = -6692/3?
False
Let i = -3757 + 11272/3. Are i and -2574 unequal?
True
Let v(m) = -m**2 - 14*m - 26. Let u be v(-12). Let g be 4328/(-60) - u/15. Let c be 4 + -2 + -5 + g/(-34). Is c != 0?
True
Suppose 166*d - 53 = 219*d. Which is greater: d or -8/3189?
-8/3189
Suppose -47*y - 713 = 86. Let c(i) = i**3 + 3*i**2. Suppose 3*l + 19 = 7. Let j be c(l). Is y > j?
False
Let u be (-10)/25*-5*-5 - -9. Which is smaller: -54/253 or u?
u
Let v = -0.382 - 195.618. Let o = v + 195.2. Is -3.3 > o?
False
Suppose -11*d - 123 + 1036 = 0. Suppose -d = -10*f + 57. Is f <= 14?
True
Let y(k) = -2*k - k**3 - 81 + 84 - 2*k + 6*k**2. Let p be y(5). Suppose -9 + p = -m. Which is bigger: 10 or m?
10
Suppose 1118 = 16*j - 162. Suppose -2*i + 2*r = -j, -2*r - 204 = -5*i + r. Let t(c) = 5*c**3 + c**2 - c + 1. Let d be t(2). Are i and d unequal?
True
Let v = -2.13 + 2.393. Let h = 0.463 - v. Which is smaller: h or 1/48?
1/48
Let x = 3085/43 + -594063/602. Let v = x + 914. Which is smaller: -2 or v?
-2
Let h = -1370 + 1372. Let v(w) = -3*w + 1. Let y be v(2). Let a be ((-14)/4)/(y/(-2)). Which is smaller: a or h?
a
Let k = -412.5 - -457.5. Which is smaller: k or -0.8?
-0.8
Let a be 8/24 - (-1)/(-3). Suppose 3*y + 7*i - 3*i - 11 = a, -4*y - 3*i = -3. Let u = y + 3. Is 0 > u?
False
Suppose 4*w = -6 - 10. Let q(v) = -163*v - 481. Let n be q(-3). Is n < w?
False
Let w be (43/(-258))/(-2 + 11/6). Let z be (15/(-3))/((w/(-5))/(-1)). Which is greater: z or -29?
z
Let o(a) = -a**2 + 6*a - 5. Let x be o(4). Suppose 0*b = x*b. Let j = -1480/209 - -138/19. Do j and b have different values?
True
Let g be 35 + -40 - (6 + -485 - (2 - -1)). Which is smaller: 468 or g?
468
Suppose -9*s - 3243 + 2313 = s. Suppose -61 = -t - 153. Is t > s?
True
Let k = -1026 - -888. Let v = 12.1 + 122.9. Let o = v + k. Do -0.12 and o have the same value?
False
Let o = -525 - -1246. Let m = -720.92 + o. Which is bigger: -1/2 or m?
m
Let w(o) = -188*o + 1102. Let k be w(12). Is k at most as big as -1158?
False
Suppose 5*i - 34*i = -18*i - 60610. Are i and 5510 nonequal?
False
Suppose 34 = -5*i - 5*v + 154, i = 4*v + 39. Suppose i = -5*y - 3*f, 0*y + 3*f = 4*y. Let g = 2661 - 2659. Which is bigger: g or y?
g
Let q(r) = 2*r**2 + 4*r + 3. Let a be q(-2). Suppose 0 = -3*h + a, 3*m - 2*h + 116 = 4*m. Is 116 greater than m?
True
Let f = -0.0528 - -0.0128. Let c(s) = -s**3 - 10*s**2 - 10*s - 11. Let d be c(-9). Is f less than or equal to d?
False
Suppose -3*x - 3*w - 196 = -7*x - 0*w, -4*w = 0. Are -72 and x nonequal?
True
Let v(p) = p + 29. Suppose 2*t = -g - t + 4, -4*t = -8. Let o be v(g). Which is greater: o or 51/2?
o
Let k(y) = -y**2 - 13*y. Let z(g) = -2*g + 3. Let o be z(6). Let s be k(o). Let u = 29 + s. Is u != 64?
True
Let v be 0/(-35)*(-6)/48*4. Are v and 1/2238 unequal?
True
Suppose 3*k + 138 = -4*m, -2*m + 3*k = 3*m + 186. Suppose v + 110 = x - 85, x + 3*v = 207. Let y = 162 - x. Is y at least as big as m?
True
Let f be 4/(2 + -2 - -1). Let z(j) = 2*j - 25. Let n(v) = 26*v - 170. Let a(c) = -2*n(c) + 14*z(c). Let i be a(f). Which is smaller: -107 or i?
-107
Let l be (-12)/(-10) + -1 - 252747/1234035. Does l = 1?
False
Let d be (3/(-90))/((-768)/72 - -11). Let f be -6 + 0 - 0/(-3). Which is bigger: d or f?
d
Let l(w) = 119*w - 3015. Let y be l(25). Which is greater: -4 or y?
-4
Let p be (-8)/(-14) - (-6949934)/688674. Let l = p + 3/863. Is l < 10?
False
Let b = -13 + 29. Suppose 12 = -b*l + 92. Let p be 4*l/(10/(-4)). Which is bigger: p or 0.3?
0.3
Let u = -5833.01 + 116.01. Are -2/9 and u unequal?
True
Let i = -18317 - -32109703/1753. Let d(g) = g**2 - 9*g - 22. Let n be d(11). Which is smaller: n or i?
n
Suppose 0 = 691*w - 693*w - 4. Let f = -3.65 - -2.55. Do f and w have different values?
True
Let g(o) = o**2 + 10*o + 16. Let h be g(-6). Let v be (-1)/(-3) - h/3. Suppose 5*q + 5*x = -5, -4*q + v = -4*x + 31. Do q and -26/7 have the same value?
False
Let r be 4/(-3)*(6/(-9))/((-152)/114). Let x = 154 - 26. Which is smaller: x or r?
r
Let a be -3*(115/3 - -1). Let h be 130*(-13)/(-26) + 2*-2. Let d = a + h. Is d bigger than -57?
False
Let d be (4 + (-3)/(-4))/(3/12). Let r = 19 - d. Let j(x) = x**2 + 3*x - 3. Let n be j(r). Is -30/19 equal to n?
False
Let c be (-1 + -6 - 1)*29. Is c < -232?
False
Let n(b) = -21 - 23 - 5 - 4*b + 9. Let p be n(-10). Which is bigger: p or 1/46?
1/46
Let s = 0.2968 + 1.7032. Which is smaller: 73.2 or s?
s
Let q be ((-104)/11232)/(1/(-8)*11). Suppose -3*r - 15 = 5*v - r, -4*r - 18 = -2*v. Is q bigger than v?
True
Let d = 186 + -133. Let v = -86 + d. Which is smaller: v or 1/4?
v
Let o = -346 + 335. Let n = o - -17. Is n <= 1/7?
False
Let o = -7/15 - -1/45. Suppose 3*s - 117 + 42 = 0. Let w = 26 - s. Which is smaller: w or o?
o
Suppose 0 = 4*d + 69 - 21. Let s be (-2)/3*(4 + -1 + -12). Suppose -s*o + 2*o = 60. Which is greater: o or d?
d
Let v = 10.6734 - -0.2166. Which is greater: v or 4?
v
Let i be 19 + (-61 - -48) + 8/18*-43. Is -14 at least as big as i?
False
Suppose -376*w = -374*w - 2, -4*o = 4*w + 780. Which is smaller: -180 or o?
o
Let w(g) = g**2 - 42*g - 44. Let v be w(43). Is 3/1177 less than or equal to v?
False
Suppose -5*u = 3*d - 7*d - 98, 3*u = 2*d + 60. Let o(p) = -2*p**2 + u*p + p**2 - 30*p + 9. Let m be o(-9). Which is smaller: 5 or m?
m
Let c be 6/11 + 6456120/(-11842875). Which is smaller: c or 0?
0
Let a(j) be the third derivative of -3*j**4/8 + 4*j**3 + 15*j**2 - 5*j. Let b be a(4). Which is smaller: b or -13?
-13
Let a b