5*l**2 + 456*l - 907. Let s be o(2). Is n less than s?
True
Suppose -46*u + 44*u = -762. Suppose 35*o + u = 66. Suppose -y - 1 = 7. Are o and y nonequal?
True
Let s = -48.066 + 48. Let n = s + -0.134. Suppose -20 = -4*a + 4*j + 16, 3*j = -4*a + 15. Is n != a?
True
Suppose -597*f + 582*f + 3270 = 0. Which is greater: 213 or f?
f
Let h be (-2)/(-10*1/(-40)). Suppose 3*m + 4*v = -0*v + 159, 5*m = -2*v + 265. Let o = h + m. Do 0 and o have the same value?
False
Let b = -4349 + 1548241/356. Do 0 and b have the same value?
False
Let d(m) = m**2 + 2*m - 3. Let u be d(-3). Suppose -40*i = -44*i + 44. Let b be (2/(-23))/(i/517) - -4. Is b smaller than u?
True
Let x = 0.27 - 35.77. Let h = x + -0.5. Let n = -40 - h. Which is smaller: n or -5?
-5
Let y = 191.9 + -459.6. Let h = 268 + y. Let n = 24.053 + -0.053. Is n <= h?
False
Let h = -2.748 + -329.252. Is h not equal to -1?
True
Suppose -8*q + 5*q = 3*c - 792, 1065 = 4*q - 5*c. Let p be q/(-5) - (-3 - -2). Which is smaller: p or -54?
-54
Suppose 56 = 20*d - 13*d. Let g be (d - 1188/15)*(-10)/(-6). Is g smaller than -119?
False
Let x = 48 + 1183. Let p = x + -112020/91. Which is smaller: 0 or p?
0
Suppose 3*f - 12 = -f - 5*z, 0 = 5*f + z - 15. Suppose f = -9*q + 6*q. Which is bigger: q or 2/5?
2/5
Let a be 2 + 96/(-44) + 126/(-33). Let g be (-12)/8 - a/8. Let q(o) = o**2 - 2. Let p be q(2). Which is greater: p or g?
p
Let d = 10848 - 22075. Is d at least -11226?
False
Let d(u) = -97*u - 1009. Let b be d(-21). Which is greater: 2055/2 or b?
b
Let y = -3/10 + 13/8. Which is smaller: 2 or y?
y
Let u = -3.3 + 64. Let z = u - 64. Let t = 1.01009 + -0.01009. Which is greater: t or z?
t
Let i = 3392 - 3391.905. Is 0.14 >= i?
True
Let y be ((-6)/(-9))/((-12)/(-468)). Suppose -30 = -2*a - l + y, 4*a = -4*l + 108. Is a != -2/7?
True
Suppose 3*a = -5*o - 40 - 20, -o - 19 = 2*a. Let c be 4 + (16056/445)/o. Is 0 greater than c?
True
Let d(f) = -5*f + 2*f + 9 + 0*f + 4*f. Let c be d(-7). Let k(z) = z**3 - 15*z**2 + z - 10. Let l be k(15). Is l != c?
True
Suppose -9 = -a - 4*v - 5, -3*a - v + 12 = 0. Suppose -2*b = 5*w + 8 + 134, b - a*w = -45. Is b smaller than -63?
False
Let p(o) = -325*o - 4257. Let l be p(-14). Which is bigger: l or 284?
l
Let c = 2064 - 476786/231. Let s(q) be the first derivative of -q**2 - 14*q + 15. Let l be s(-7). Is c > l?
False
Suppose 14*t = 4*t. Let s be (0 - (-18)/(-192))/(9/30). Are t and s equal?
False
Suppose 4*y + 21 = 3*g, -g = 5*y + 21 - 9. Let x be y/(-5) + (-748)/1105. Which is smaller: x or 0?
x
Let q(d) = 940*d + 13493. Let l be q(4). Is l at least as big as 17252?
True
Let u(t) = -t**2 - 15*t + 51. Let c be u(-17). Suppose 7*r + c = 10. Which is smaller: 5/11 or r?
r
Let p = -48 - -44. Let d be (-60)/(-25)*(18/p - -5). Let m = 3 - 1. Which is smaller: d or m?
d
Let u = 92 + -91.46. Let v = 0.44 - u. Is v equal to 118?
False
Let j be -4 + -1 + -1 + 4/((-8)/1102). Which is smaller: -555 or j?
j
Suppose 4*i = 52 - 388. Suppose q + 147 = -2*q. Let m = i - q. Is m >= -35?
True
Let o be 605/55 + (-292)/(-46). Which is smaller: 16 or o?
16
Suppose -4*t + 370 = 4*u - 398, 10 = -5*u. Suppose -78*f - 134*f = -40916. Which is bigger: t or f?
t
Suppose 0 = 10*z - 1024 + 994. Suppose 7*y - z*t = 9*y + 427, 0 = 5*y - t + 1093. Which is greater: -217 or y?
-217
Suppose b = -3 + 1. Let f(y) = -y**3 - 42*y**2 + 74*y - 620. Let u be f(-44). Which is bigger: b or u?
b
Suppose -7334*g + 66664 = -7282*g. Which is greater: 1284 or g?
1284
Let x be (-2 + 17)/3 - (-68058)/(-13509). Is x smaller than 0?
True
Let r(k) = 59*k - 2880. Let i be r(49). Is 264/23 <= i?
False
Suppose p = 5*o - 16, -5*p + 2*o = -2*o + 17. Let d = 3757.21 - 3800. Let v = d + 41.7. Are p and v equal?
False
Let v = -559 + 556. Let t be v/(9/978) - (3 - 0). Is t greater than -328?
False
Let v be 84/357 - (-432)/476. Which is bigger: 105 or v?
105
Let h = 26 - -140. Suppose 0 = 5*d + 546 - h. Which is smaller: -75 or d?
d
Let g = -1/46424 - 98465299/232120. Which is greater: g or -425?
g
Let p be 2/((-2)/20 + -2 + 2). Let u = p - 88. Let l = 100 + u. Which is smaller: l or -7?
l
Let s = -907 - -11785/13. Let t = -98.6795 + -0.2205. Let x = -99 - t. Is s greater than x?
False
Let w = -4312 - -4313. Which is smaller: w or 20/59?
20/59
Let j be (-15)/(-20)*4/(-6)*92. Let z = -22 - j. Let n be (-8 - (-208)/z)/((-5)/3). Is n greater than 11?
False
Let s = -0.735 - -0.894. Which is smaller: s or -4.1?
-4.1
Suppose 95*o = -7*o - 89*o. Is o bigger than -1/1739?
True
Let o be -2 + 4 - (19 + -30). Let y be (-14)/(-10) - (o + (-14 - -6)). Suppose 0 = t + 4*t + 25. Which is bigger: t or y?
y
Let f = 133 - -444. Suppose -989 = 3*x + f. Let m be ((-3)/x)/(2/(-4)). Which is smaller: 1 or m?
m
Suppose -4*i = -4*f - 8, -i + 3*f - 84 = -88. Which is greater: i or 227.7?
227.7
Suppose 0*z - 4*g = z + 4, 5*g = -3*z - 5. Let i(m) = -6*m + 93. Let q be i(z). Let k = -86 + q. Is 6 bigger than k?
False
Suppose 0 = -f + 4*t - 368, 2*f - t + 858 = 122. Which is smaller: f or -367?
f
Let g = 3731.8 - 3870. Which is smaller: 2/5 or g?
g
Let f = -56/131 - -61249/139908. Is f smaller than 0?
False
Let y = -27.116 + 29.116. Which is smaller: -907.3 or y?
-907.3
Let z = 15729 - 15730. Are z and -166.2 equal?
False
Let m = -8565 + 8567. Which is bigger: -7546 or m?
m
Let h be (-9)/48*(-186)/(-22041). Are h and -1 unequal?
True
Let v(j) = j**3 - j**2 - j + 23. Let r be v(0). Let u(c) = -c**3 - c + 38. Let d be u(0). Let a = d - r. Which is smaller: 13 or a?
13
Let y = 11902 - 11892. Which is smaller: -305 or y?
-305
Let k = -41836.735 + 41969. Let i = k + -0.265. Are i and 2/9 unequal?
True
Suppose -5*r = 4*s + 2899, -s - 213 = -4*r + 475. Is -717 smaller than s?
True
Let x = -11548 - -12203. Which is smaller: x or 657?
x
Let b be (-2)/((10/(-4))/5). Suppose -b = -4*k + 3*g + 36, 5*k - 50 = -4*g. Let q = 567 + -1670/3. Which is smaller: k or q?
k
Suppose 0 = -13*i + 25 + 1. Let q(n) = 4*n**2 - n**i - 4*n**2 + 6*n - 9*n. Let h be q(0). Is h bigger than -6/11?
True
Let i be (-5)/(-7) + 4*(-1)/(-14). Is 19/230 > i?
False
Let d = 22.8 + -16.8. Which is greater: 3.4 or d?
d
Let g = -25261.97 + 24623. Let m = -639 - g. Which is smaller: 12 or m?
m
Let z = -254.113 + 254. Let p = -0.013 - z. Is 1/13 != p?
True
Suppose -4*c + 3 = o - 4*o, 0 = 5*o + 5*c - 30. Suppose -3*g + o + 0 = 0. Which is smaller: 22/29 or g?
22/29
Suppose 1661 = -387*y + 1274. Let m be (-1 + -2)*(-1)/34. Which is smaller: y or m?
y
Let a = 778271/177 + -4397. Is 1 not equal to a?
True
Let s be ((-10)/(-6))/(4/((-144)/(-20))). Let t = -21 - s. Is 2 equal to t?
False
Let t = 1078/1003 - -6/59. Is t != 0?
True
Let u be 4076/(-4739) + 0 - (-2538)/2961. Which is smaller: -1 or u?
-1
Suppose -48 = -5*z - 338. Let p = z - -56. Let o(b) = b**2 + 2*b. Let s be o(p). Which is smaller: -4/29 or s?
-4/29
Suppose -4*g = -0*i + 4*i - 1972, -1 = -g. Which is smaller: -2/5 or i?
-2/5
Suppose -4*w = -5*o + 1757 + 969, -o - 2 = 0. Let a be (2/6)/((-3)/w). Let m = a + -77. Are m and 2/353 nonequal?
True
Suppose 16*h + 3*h + 28848 = 7*h. Are h and -2403 equal?
False
Let y = -19.981 + -0.019. Let d = 137 - 78. Let b = -60 + d. Is b > y?
True
Suppose -31*b + 24*b + 17*b - 10 = 0. Which is greater: 148/97 or b?
148/97
Suppose g + 1 = 0, -2*v - 5*g - 4 = -3. Suppose -17 = -x + v*j - 80, -3*x - j = 189. Let h be (-3)/((-9)/2) + 168/x. Which is bigger: h or 0.8?
0.8
Let f(k) = -20363*k - 162905. Let a be f(-8). Let u be 2/6 + 88/(-222). Which is smaller: u or a?
a
Let a = -0.035 + -1.595. Let q = -2 - a. Is q greater than or equal to 2?
False
Let x be 1742/(-18) + (-20)/(-30). Let k = x + 95. Suppose 2*f = -y + 2, y + 0 = -3*f + 2. Which is greater: f or k?
f
Let w(p) = -14*p - 72. Let n be w(-24). Suppose 196 = 3*g - 4*j, 4*g - 3*j = j + n. Which is greater: 69 or g?
69
Let c = -7596 + 7720. Suppose -500 = -0*j - 4*j. Is c equal to j?
False
Let r(y) = 45*y**3 - y**2 + 27*y - 148. Let u be r(5). Which is bigger: u or 5589?
5589
Let z be ((-1)/(-7))/(-2*(-16)/224). Let x = 20252/9 - 2195. Let k = x - 167/3. Is k at least z?
False
Let u(z) = 50*z**2 - 6*z - 7. Let k be u(-2). Suppose k = 21*q + 1276. Which is bigger: q or -49?
-49
Let f = 325 - 321.6. Let a = f - 3. Which is smaller: -0.094 or a?
-0.094
Let y = 289 - 55. S