-785.9745. Let l = 0.0745 - r. Is l greater than u?
True
Let o(z) = -7*z + 69. Suppose 4*k - 42 = -2*i, 0 = -0*k + 4*k - i - 39. Let p be o(k). Let q be (6/2)/((-212)/8). Is p != q?
True
Suppose -6*c + 13 = -4*d + 1, 10 = 4*d + 5*c. Let n = 23/13 + -1002/559. Is n less than d?
True
Let b(l) = 39*l + 31 - 77*l + 40*l. Let v be b(15). Suppose 3*q + v = -32. Which is greater: -33 or q?
q
Let n = 28617 + -28617.3. Which is smaller: -0.5892 or n?
-0.5892
Let i be (-164)/(-1435)*(-5)/2. Suppose 3*r - 20 = -r, r - 365 = 5*m. Which is smaller: m or i?
m
Let q = 1954483/264 + -59595/8. Let o be ((-16)/22)/((-10)/(-555)). Let m = q - o. Which is smaller: -7 or m?
-7
Let m be (14 + -3 + (-540)/48)/((-546)/(-225)). Which is smaller: 1 or m?
m
Let n = -4.45 + -0.2. Let f = 0.05 + n. Let y = -5.6 - f. Is -1 at most as big as y?
True
Let g = 645 - 1077. Let j = 435 + g. Which is smaller: -2 or j?
-2
Suppose 30*v - 2814 = 24*v. Which is greater: 483 or v?
483
Let p = 191 + -499. Let i be ((-8)/p)/((-3)/(-21)). Let a(r) = -r**3 + 7*r**2 - 7*r - 14. Let u be a(5). Is u <= i?
False
Suppose -15 = -5*j, 4*z = -5*j + 387 - 100. Are 338/5 and z unequal?
True
Let j(h) = -273*h - 4611. Let p be j(-22). Which is smaller: p or 9756/7?
9756/7
Suppose 2648 = -2*n + 10*n. Suppose -7*r = 61 + n. Let v = r + 59. Which is greater: 9 or v?
9
Let m be 2/(-6)*18/(-20). Suppose -14*x + 23 = -11*x + 4*t, -4*x = 4*t - 36. Suppose 55*n = -5*k + 56*n + 2, -4*n = k - x. Is k greater than or equal to m?
True
Let w(g) = g**2 + 42*g + 320. Let a be w(-10). Which is greater: -1/6942 or a?
a
Suppose 4*h - 37 = -141. Let p(z) = -z**3 - 5*z**2 - 7. Let x be p(-5). Does h = x?
False
Let h = 0.9 - -4.1. Let c = 3223.11 - 3223. Does c = h?
False
Suppose 11*x + 177 - 166 = 0. Suppose -4*j + 1 = 5*z, -5*j - 3 = 5*z + 2. Let k be (-6)/j + x*156/159. Which is smaller: k or -1?
-1
Suppose -47*z + 54*z + 98 = -91*z. Is z <= -1/890?
True
Let y be 22/(-2)*(38/10 - 4). Let s = -898 - -893. Is y equal to s?
False
Suppose 84*f - 86*f = 5*c - 50, -5*f = -4*c + 7. Let i be (-3)/c - (10 + -16). Is 7 at most as big as i?
False
Let p be (-402)/495 - 78/(-143). Which is smaller: p or 2.6?
p
Let z = 153 - 91. Let i = 64 - z. Suppose -29 = -i*s - 5*y, -2*y - 52 = -4*s - 6*y. Which is smaller: 10 or s?
10
Suppose 179*m + 50*m + 181*m - 393 = 17*m. Let d = 92486682/2035 + -45448. Are d and m non-equal?
True
Let u = 1.3 - 0.3. Let j = 203 + -147. Let n = j + -63. Is u bigger than n?
True
Suppose -9*d + 5*d - 100 = -4*h, 4*h = -4*d - 60. Suppose 2*n - n = -24. Which is smaller: d or n?
n
Let c(f) = 12 + 25*f + 25*f - 45*f. Let q be c(-4). Let n be (-9 - q)/((-226)/4). Are 0 and n non-equal?
True
Let g = 245 + -238. Suppose -g*s + 35 = -14*s. Which is smaller: s or 22?
s
Let i be 4 + 44*(550/(-40) + 13). Let q(x) = -2*x**2 - 8*x - 5. Let h be q(-6). Is h >= i?
True
Suppose 4*q + 1960 = 2*c, -972 = 2*q + 37*c - 36*c. Is q >= -495?
True
Let t = 22 - 15. Let i be (-1)/t + 25/(-315). Let k = 241/2363 - 6/139. Are k and i non-equal?
True
Let j be 16/(-2) - 0/(-1). Let u be (-2 - (0/2 + -1))*j. Suppose u = 2*f, -3*y - 6*f + 14 = -f. Is -21 not equal to y?
True
Let z = 4 + -12. Let g be 5/5*0 - -66. Let i = -62 + g. Which is greater: i or z?
i
Let l(d) = 13*d**2 + 29*d + 6. Let p be l(-2). Does p = -1/7581?
False
Let l be 36/765*(-5)/(-2). Let q = -89 - 0. Let o = q + 88.7. Which is smaller: l or o?
o
Let u = -2630 - -2640. Are -29 and u non-equal?
True
Let p(g) = g**2 + 10*g + 7. Let x be p(-5). Let s be ((-88)/x)/(2/(-3)). Suppose -2*b = -24*b - 132. Is b >= s?
True
Let w(b) = -b**3 - 11*b**2 + 59*b - 10. Let i be w(-15). Let u be -6*i/30*15. Are u and -6 nonequal?
True
Suppose 35*h = 10*h - 3350. Let n be h/(-67) + (-1 - 4). Are n and -37/15 equal?
False
Let r = 3.075 - 0.075. Let u = r + -6. Let m = -3/7 + 47/28. Is m > u?
True
Let y = 15896 + -16059. Which is smaller: -3 or y?
y
Let k = 10684 - 21332. Let f = -16408570/1541 - k. Which is greater: -1 or f?
f
Let o(c) = 3*c**3 - 18*c**2 + 9*c + 29. Let j be o(5). Which is bigger: j or -22/51?
-22/51
Let k = 102 - 107. Let h be -1*(4/8)/(k/(-190)). Is h >= -134/7?
True
Suppose 24*z + 54 = -18. Is z smaller than -51/32?
True
Let v = 28 - 10. Suppose 3*j = q - 64, 55*q - 2*j + 247 = 58*q. Suppose -67*i - 228 = -q*i. Which is bigger: i or v?
i
Let j = -12962 + 17428. Which is greater: j or 13399/3?
13399/3
Let f = -344 + 382. Suppose 28*d - f*d = 10. Is -2/721 equal to d?
False
Let n = 101 - 91.2. Let t = 11.8 - n. Is t less than -110?
False
Let y be (78 + -57)*((-44)/12 - -4). Which is smaller: y or 77?
y
Suppose 3*i - 84 - 238 = -o, o + 2*i = 318. Let c = -290 + o. Do 21 and c have different values?
True
Let f = -16207 + 16216. Is -0.0647 less than or equal to f?
True
Let z be ((-54)/(-81))/(4*(-1)/(-18)). Let r be (z - -2) + -12 + -35. Let w be (-81)/2 + (-1)/2. Is w less than or equal to r?
False
Let z be (-10 + 1349/133)*(1 - 5436). Which is bigger: z or -776?
-776
Let n be (-343575)/(-5090)*(3 + -1 + 359/(-160)). Which is bigger: n or -15?
-15
Let k(l) = -9*l - 343. Let b be k(-38). Suppose -4 = -d - 3*d. Is d at most as big as b?
False
Suppose -4*p + 0*p = 0. Let t = 8.4455 - -1.2545. Are p and t unequal?
True
Let i = -69 - -68. Let a be 136/(-17) - (-6 + i). Which is bigger: a or -10/39?
-10/39
Suppose 0 = -5*h + 2*s + 2088, -2*s = -25*h + 27*h - 852. Are 423 and h equal?
False
Suppose 0 = 4*s + 2*i - 314, 63 + 177 = 3*s - 3*i. Which is smaller: s or 77?
77
Suppose -4 = 2*x - 0*x + 5*a, 5*x + a = 36. Suppose 50 = -7*m + x. Let w be ((-15)/45)/(2/m). Which is smaller: 1/78 or w?
1/78
Let a = -3882908/21 + 184802. Is a >= -97?
False
Let i = 15088 - 120431/8. Let d be ((-98)/(-1) + 4)*(38/6 - 6). Which is greater: i or d?
i
Suppose -8 = x, -32*v + 4*x + 1272 = -27*v. Which is smaller: 227 or v?
227
Let g(a) = -21*a - 25. Let c be (-5)/2*(-6 - 32/(-5)). Let m be g(c). Are 1/69 and m nonequal?
True
Suppose -q = -3*i + q + 255, 279 = 3*i + 2*q. Is i equal to 96?
False
Let k = -338772/11 + 30798. Let q(r) be the first derivative of r**2/2 - 3*r + 1. Let x be q(4). Is k at least x?
False
Suppose 9*g - 109 = -2*m + 6*g, m - 2*g = 51. Let f be m/(-72) - (-23)/207. Let t = -0.19 - -0.09. Which is smaller: f or t?
f
Let h = -18086 - -18089.04. Is h smaller than 13?
True
Let x be (43 - 3)*(2/4 + -2). Let h be x/110 + (-2020)/(-154). Which is smaller: h or 14?
h
Suppose 0 = -7*m + 917 + 448. Let z be (-2)/(-15) + (452/30)/(7/91). Do m and z have the same value?
False
Suppose -5*k - 35 + 0 = 0. Let v be 30/12*(-14)/(-5). Suppose 10 - 45 = v*m. Which is greater: k or m?
m
Let a = -11781 - -12231. Is a greater than 450?
False
Suppose -4*p + 33 + 158 = h, -2*p = -3*h - 85. Suppose -47 = -10*z - p. Is 4/159 >= z?
True
Suppose -255*z - 56 = -262*z. Suppose 0 - z = -2*o. Which is smaller: 11 or o?
o
Let b(a) = a**3 - 12*a**2 - 14*a + 16. Let n be b(13). Let s be n + 339*(-16)/1816. Which is bigger: 1 or s?
1
Suppose -13 = 27*z - 40. Let t be 27/54*4*1 - z. Which is greater: 6/35 or t?
t
Let f(z) = 35*z + 89. Let r be f(24). Let y = r + -99402/107. Which is smaller: y or 0?
0
Let o = 0.02994 - -11.97006. Which is smaller: o or -26/31?
-26/31
Let x(i) = -2*i**2 - 5*i + 7. Let g be x(-3). Suppose 0 = 5*f + 2*r - 11, 8 = g*f + 4*r - 8. Let b be (f/(-2) - -1)*(-30)/120. Which is greater: 1 or b?
1
Let b be (-17213)/490 + (-1)/(-2). Let y = b + 174/5. Which is smaller: y or 0?
0
Suppose 6*c - 48 = -0*c. Suppose 96*q = 100*q - c. Let h = q - 23. Which is greater: h or -20?
-20
Let z be (-95)/210 + (-2)/(-7) - (-2557)/6. Is 429 at least as big as z?
True
Suppose 0 = 17*h + 175 - 770. Suppose 0 = 5*u - 7 - 18. Suppose 3*y - 24 = -2*m - m, 0 = -4*y - u*m + h. Is -1/4 < y?
True
Let f = 201 + -197. Suppose 0 = -g - f*g + 15. Are 2 and g equal?
False
Let h = 1546363/28244 - 1/7061. Is 54 <= h?
True
Suppose -b + 3*b - 36 = 0. Suppose 0 = 2*h + 136 - 140. Suppose 2*w = 3*c - 3*w - b, -h*c - 2*w + 28 = 0. Is 11 less than or equal to c?
True
Suppose 10 = 4*v + w, 2*w - 4 = 2*v - 2*w. Let t(p) = 4*p + 6. Let l be t(5). Which is smaller: v or l?
v
Let v = -293.3 - -293.25. Which is smaller: v or -2/9?
-2/9
Suppose -2*c + 4*w + 2939 = 3*w, -2*c + 10*w = -2984. Which is smaller: c or 1466?
1466
Let h(m) 