5525. Which is smaller: u or -223?
-223
Let z = 137.7 + -2.7. Let m = z + -135. Is -83 less than m?
True
Suppose 0 = 19*u - 42 + 137. Let r = 167.17 + -167. Which is smaller: r or u?
u
Suppose -2*t + 22*p - 19*p = 415, 0 = t + p + 215. Is t <= 2/11?
True
Suppose -4*b + 58*s - 53*s + 428 = 0, -107 = -b - 2*s. Suppose -3*l + 329 = -2*l. Suppose 2*j - 3*r - 210 = 0, 3*r - 109 - l = -4*j. Which is bigger: j or b?
j
Let u be 2/8 - 5790/120. Let w = 112 + u. Let z = -65 + w. Is z < -8/17?
True
Let m(d) = d**3 + 4*d**2 - d - 1. Let k be m(-2). Suppose -6*z + 7 = -23. Let u = 15 - z. Which is smaller: u or k?
k
Let o be 5/((-30)/(-36)) - 1/(-1). Let y = 72 + -69. Is y at least as big as o?
False
Let v be 4*14 - (1 + 3). Suppose 56*t - 12 = v*t. Suppose -3*u - 4*l + 2*l + 66 = 0, -u = -t*l - 11. Is u at least as big as 18?
True
Suppose -3*a - 4*l - 17 = 0, -3*l - 594 = a - 580. Which is smaller: a or 2/1333?
2/1333
Suppose 8 = -4*x + 5*g - 12, 3*g = 12. Suppose -5*u = 4*v + 4, x = -2*v + 5*u - 2. Is v < 7?
True
Let q = 7287 + -7257. Which is greater: 382/13 or q?
q
Let f be (2/13)/((14 + -12)*32). Is f at most -1?
False
Let a be -12*45/2970 - (-2)/(-110). Is 63 > a?
True
Suppose -24*v - 380 = -20. Is v < 104?
True
Suppose 3*t + 16265 = 2*h, -13*h + 17*h - 2*t - 32502 = 0. Is 8122 at most as big as h?
True
Let j = 7105 - 7469. Which is smaller: j or -3?
j
Suppose 0 = -4*h + 4*l + 24, 3*h = -0*h + 2*l + 18. Suppose -87 + 57 = -h*a. Suppose 7*k - a*k + 8 = 0. Is k < 3?
True
Suppose 4*w - 24 = -6*m + m, -6*w - 3*m + 18 = 0. Which is smaller: w or -3/616?
-3/616
Let d(s) = 24 - 53 + 31 - 4*s. Let y be d(-8). Let m = y - 54. Which is greater: m or -1?
-1
Let g = -70.32 - -44.32. Let w = 0 - -4. Is w at most g?
False
Let l be (2/(-130))/(1/5381). Let p be (-56)/600*-865 - (-2)/3. Let x = p + l. Which is smaller: x or -1?
x
Let i = 0.281 + -0.397. Let a = -52 + 51.9. Is a smaller than i?
False
Let y(l) be the third derivative of -l**6/120 + 11*l**5/60 - l**4/3 - 11*l**3/3 + 2*l**2 - 5. Let g be y(9). Is g bigger than 68?
False
Let q be 69/46*((-182)/5 - (-2)/5). Which is greater: -48 or q?
-48
Let g be (9 + (-164)/20)*(-1 + -1)/20. Let s(y) = y**2 - 6*y + 5. Let w be s(5). Which is greater: g or w?
w
Let g(l) = -16621*l + 49869. Let h be g(3). Suppose -45 - 15 = -3*j. Is h not equal to j?
True
Suppose 10*w - 24 = 6. Let s be 84/(-104) - w*3/(-18). Do 1 and s have the same value?
False
Let h be 3 + -4 + (-16)/(-4) + -16. Let f(z) = z**3 + 13*z**2 - 3*z - 23. Let g be f(h). Is g bigger than 15?
True
Let z = -27077.7 - -27122. Which is greater: z or 0.2?
z
Let d = 1933956/41 - 47174. Which is smaller: d or -5?
-5
Let k = -7193 - -42653/6. Let d = k - -84. Is 3 smaller than d?
False
Let y = 39 - 3.9. Let u = y - 31.1. Is 5 <= u?
False
Let z = 3 - 3.1. Let q = -1002 + 1116. Let t = -114.3 + q. Are z and t nonequal?
True
Let j be (-4)/(-5) - 48/(-15). Suppose 5*w - 5*q = 33 + 12, j = w - 2*q. Which is smaller: w or -4?
-4
Let w be 60/52 - 2/(-52)*-4. Let d be 34 - (w/3)/((-3)/18). Suppose -7*v + d = -3*v. Is 28/3 < v?
False
Let o be 598/92 + (-3)/2. Suppose o*y = 3*h + 38, -5*y + 28 - 8 = 0. Which is smaller: h or -2?
h
Let j = -4381 - -4368. Suppose 0 = 3*a + 12, -3*y + 6*a - 4*a = 52. Which is smaller: y or j?
y
Suppose -296*p - 3305376 = 72*p. Which is bigger: p or 2?
2
Let x be 0 + 0 - (-90)/15. Let b be (-10)/(-30) + (-8)/x. Is -46 greater than b?
False
Let y(c) = -c**2 - c + 47. Let r be y(-7). Suppose 9 = -r*w + 59. Suppose h + a + 0*a - w = 0, 5*h = -4*a + 45. Which is smaller: h or -1?
-1
Let t = 104.216 + -0.216. Let o = -33 + t. Let u = o + -70.93. Which is bigger: 0 or u?
u
Let r(x) = 4*x - 24. Let b(l) be the first derivative of -2*l**2 + 23*l - 36. Let d(a) = 4*b(a) + 3*r(a). Let u be d(8). Which is smaller: -13 or u?
-13
Suppose -130*h = -250*h + 126*h. Which is smaller: h or -15?
-15
Let a = 1.23 + -1.18. Let j = a - -0.15. Is -0.04 not equal to j?
True
Let u = -272 - -209. Let b be -9*14/u*1*-4. Is b less than -31/4?
True
Let f(d) = -13*d - 75. Let p be f(-6). Let x be p/18 + 10175/(-61410). Is 1 at least x?
True
Let h = 180517 + -76358749/423. Let s = h - 4/47. Let l = -13 + 6. Which is smaller: l or s?
l
Let u be (-15)/(-3) + -2 + 2. Let w = -1189 + 1192. Suppose k = 6*k - 2*r + 72, 0 = -u*k - w*r - 67. Which is bigger: k or -3?
-3
Let t(c) = 39*c**3 - c**2. Let p be t(1). Let g(o) = o**3 + 2*o**2 - 4. Let w be g(-8). Let z = -349 - w. Which is smaller: p or z?
p
Let g = 89 + -20. Let i = -39.913 + -0.087. Let y = i + g. Is 1 less than or equal to y?
True
Let q be (21/(-8022))/((-2)/(-128)). Which is greater: q or 0?
0
Let k(l) = -11*l**2 + 7*l**2 + 5*l**2 - 20*l + 53. Let b be k(17). Let c be -2 - ((-6)/(-2) - 5). Does c = b?
False
Let l(x) = -x**3 - 27*x**2 - 69*x - 169. Let b be l(-25). Which is bigger: b or 312?
312
Let n = -179/15 + -219/5. Let u = 47662/855 + n. Let m = u - 356/1197. Does m = -0.04?
False
Let m = -0.06 - 0.51. Let l = m + -22.43. Let j = -6.1 + 6. Is j equal to l?
False
Let l be (2/3)/(100/(-255)). Let h = l - -16/5. Is 1/3 > h?
False
Let r be 5 - (6 + -150 + -7). Suppose -4*h = -593 - 27. Is h at most as big as r?
True
Suppose 4*n - 5*z = 1634, 2*n + 830 = 4*n + 4*z. Suppose -37 = -11*d - n. Let i be 2/12 + (-422)/12. Do i and d have the same value?
False
Let u = 1227 - 343. Let y = u - 75138/85. Let b = -0.2714 - -0.2714. Is y not equal to b?
True
Let z(j) = j**3 + 4*j**2 - 3*j - 6. Let m be z(-4). Let n(d) be the second derivative of 8*d**3/3 + 71*d**2/2 + 92*d - 2. Let x be n(-4). Are x and m non-equal?
True
Suppose 83*l + 2492 = 69*l. Let j be l/(-4)*(-106)/53. Are j and -88 equal?
False
Let b(r) = -r**3 + r**2 - 3*r + 10. Let p be b(2). Let m be (0 + p - 6/9)*61. Which is smaller: -40 or m?
m
Let f(b) = 29 - 287*b + 91*b + 92*b + 95*b. Let l be f(3). Let p = 6 + -47/9. Which is bigger: l or p?
l
Let z(d) = 26*d**2 - 111*d - 450. Let b be z(-4). Which is bigger: 418 or b?
418
Let i be (-47502)/(-1512) - (5 + 13). Is i equal to 13?
False
Suppose 7*g - 4*g - 750 = 0. Let l = 1411 - 1410. Is g less than or equal to l?
False
Let p be (-4)/((-28)/161) - 11 - 11. Is 2/26885 >= p?
False
Let h be (11 + 0)/(7 + (-4716)/672). Which is greater: -2459/4 or h?
-2459/4
Suppose 4*m - 3*b = -13, 75 - 60 = -3*m + 4*b. Is m < -4/1379?
True
Suppose -33*i = -3326 + 32003. Is -868 bigger than i?
True
Let u = 90635/119 + -8846/17. Let d = 241 - u. Which is greater: 0.053 or d?
0.053
Let v(m) = 37*m**2 - 85*m - 14. Let a be v(-5). Which is greater: a or 1337?
1337
Let r(m) = -124*m + 8805. Let f be r(71). Are 3/10961 and f non-equal?
True
Let k = 41 - 44. Let y = 9 + k. Let p = -12 + y. Which is smaller: p or -16/3?
p
Let n = -483 + 493. Suppose 13*r - 2 = 14*r. Let o(w) = 5*w**2 + 5*w + 4. Let b be o(r). Which is greater: b or n?
b
Let t be (-2)/56 + (-493)/(-476). Which is smaller: 1555 or t?
t
Let c be (-161)/(-391)*(1 - 2). Suppose 0 = -g, 2*o - 5 = -3*g - 7. Which is smaller: o or c?
o
Suppose 304*i + 2*s = 309*i - 106, 5*i - s = 108. Let m be 1 - -1*43/2. Which is smaller: i or m?
i
Let v be 105/(-42) - 254/(-24). Let u = -25/3 + v. Is u less than or equal to -90?
False
Let l(i) = -i**3 + 4*i**2 - 2. Let v be l(4). Let o = 305.23 - 303. Let b = o - 0.03. Does b = v?
False
Let d(i) = 135*i - 646. Let j be d(10). Is 707 at least j?
True
Suppose 7*m + 13 = 4*m - 5*i, -4*i - 13 = 5*m. Let g be (-1)/(-5) - (-4)/((-480)/474). Which is bigger: g or m?
m
Suppose 2*f + 2*f + 20 = 0. Let r be (1 - 5)*(-25)/5. Suppose r = -21*o + 17*o. Is o bigger than f?
False
Let s be 6*8/10224*(-144)/(-20). Which is bigger: 1 or s?
1
Let h(t) be the first derivative of -t**2/2 + 63*t + 141. Let q be h(25). Which is smaller: q or 39?
q
Let t(i) = -2*i + 3. Let b be t(-9). Let d = 11 + b. Let k be (1/2)/((-16)/d). Which is greater: k or -8/15?
-8/15
Let z be 24/(-23)*(-28)/((-5544)/(-22)). Which is greater: z or 1?
1
Suppose -21*b + 26*b + 52 = l, -4*b - 3*l - 34 = 0. Which is bigger: -6.3 or b?
-6.3
Suppose 10*d = -10*d + 14*d. Are 6/289 and d nonequal?
True
Suppose 1005735 = -150*t + 349785. Is -4374 > t?
False
Let g(w) = -4*w + 1. Let p be g(-7). Suppose 0 = -p*h + 25*h - 404. Is h at most -100?
True
Let t(s) = -2*s**2 - 46*s - 225. Let m be t(-6). Which 