= -5*h + 5688. Which is smaller: h or 159?
h
Let c(j) = j**3 + 39. Let u be c(0). Suppose 0*l - 4*t = 2*l - 90, l - t - 33 = 0. Which is smaller: l or u?
l
Let w(n) = 4*n + 131. Let s be w(-34). Let l be 37 + -33 + (-1 - -5) + s. Let f = 3.2 + -3. Are f and l non-equal?
True
Let n = 169.2 + -169. Let s = n + -196.2. Which is greater: -2 or s?
-2
Let t = 2011 - 2023. Which is bigger: -139 or t?
t
Suppose 90*n = -2*m + 89*n - 120, -5*m - 294 = 4*n. Which is bigger: -61 or m?
-61
Let r = -0.1663 + -87.5337. Let v = -94 - r. Let u = -6.2 - v. Which is bigger: -5/18 or u?
u
Let g be (-21)/(-12)*(-20 - -24). Suppose -3*y - g*t + 2*t = -170, 2*y = t + 122. Is y less than or equal to 60?
True
Let u(n) = -n**2 - 3*n**2 + 1 + 4*n + 11*n**2. Let c be u(-1). Suppose c*d - 10 = 2*m, -2*m - 1 = -d + 6. Is -2/29 at most d?
True
Suppose -35*y = -4*y - 13392. Let j = y - 441. Suppose -67 = 4*u + 1. Which is bigger: u or j?
j
Let z = -4264 - -3736. Which is smaller: z or -525?
z
Let w = 3499 + -3950. Is 0.2 >= w?
True
Let c = -96723/4 + 23548. Is -633 at most as big as c?
True
Suppose 5*y - t = -1862 + 7208, -2*y - 4*t = -2134. Which is smaller: y or 1067?
1067
Let q(b) = -2*b**2 - 11*b + 100. Let u be q(7). Let g(t) = -t**3 - 10*t**2 - 6*t + 7. Let j be g(-8). Do j and u have different values?
True
Let y = -0.4 + 0.3. Let m(h) = -h**3 - 28*h**2 - 54*h - 63. Let z be m(-26). Let a be ((-4)/(-168))/(z/(-99)). Which is greater: a or y?
a
Let v be (-21)/2*200/70. Let l be (v/(-9))/((-145)/(-174)). Let i(d) = 3*d**2 - 3*d + 1. Let k be i(2). Which is smaller: l or k?
l
Let y(s) = 3*s**2 - 80*s + 158. Let b be y(25). Which is greater: 40 or b?
40
Let a = 4297/13754 - 5/1058. Is a bigger than -8/45?
True
Let c be (-308)/2002 - ((-179289)/39 - 3). Are 4595 and c nonequal?
True
Let c = -29369/751530 - -1/18330. Which is smaller: c or 1?
c
Let w(k) = -304*k + 3880. Let s be w(35). Which is greater: -6759 or s?
-6759
Let o be (-2)/6 + (-5)/(-15). Suppose -1 = r + r + 3*b, o = -4*b - 12. Suppose 2*c - 16 = c - 5*p, r*c = 3*p - 5. Which is greater: 2 or c?
2
Let b = 1.1 - 1. Let k = -8.455 - 214.545. Do k and b have the same value?
False
Let y = 87 - 47. Let q(a) = 7*a - 65. Let w be q(5). Let v be 4/(-9)*w/y. Which is bigger: -3/2 or v?
v
Suppose 2*n - 5 = -3*n. Suppose -4*z = 3*l - 10, -5*z - 4*l + n = -12. Let x = -26161/41 + 638. Is x smaller than z?
True
Let c = 99777 + -251238489/2518. Let r = -14607/420506 + c. Is 0 >= r?
True
Let d = 4368 - 5826. Do -0.1 and d have the same value?
False
Let b = -3748.67 + 3748. Which is greater: b or -3/7?
-3/7
Let n be (3/2151*-6)/(-5 - -1). Let w = 229/4780 + n. Which is bigger: w or 1?
1
Suppose -40 = -21*q + 11*q. Suppose a + 29 = -q*l + 3, -2*l + 2 = -a. Let p = 2 + -14. Does a = p?
False
Let d be (145/10)/(((-42)/(-532))/(-3)). Is -556 at most d?
True
Suppose 4*u + 36 = -940. Let q be (u/(-24))/(1/3). Which is greater: 30 or q?
q
Let u = -309 + 238. Let p = u + 76. Are -23 and p unequal?
True
Let x = -233 + 268. Suppose 0 = b - 3*h + 8, -4*b + x*h - 30*h = 53. Which is smaller: b or -15?
b
Let g(y) = -y**3 + 2*y**2 - 2*y + 1. Let b be g(1). Let t = 424 + 504. Let p = t + -88159/95. Which is smaller: p or b?
b
Let i be (-48615)/116550 + 4/30. Is 1 >= i?
True
Suppose -4*o = -16, -2*o = -3*m - 70 + 80. Which is smaller: 0.468 or m?
0.468
Let j = -10.2988 - -0.2988. Suppose -41*q = -49*q - 360. Is j <= q?
False
Let u(o) = -68*o - 16. Let q be u(-4). Let n be 6 - (2536/q - 4). Is -1 bigger than n?
False
Let n be ((-26)/6)/((-234)/(-1166) - 66/363). Which is smaller: -230 or n?
-230
Suppose 0 = 11*v + 4*v - 8610. Let y = v - 573. Let o be ((-6)/(-376))/((-2)/8). Which is greater: o or y?
y
Let n = 2.583 - -2029.417. Is n != 1?
True
Suppose 1 = 5*i + 21, i - 80 = -4*m. Let y = m + -27. Let b be (270/(-14))/(-3) + y/14. Which is bigger: b or 7?
7
Let i be -1 + (3/252 - 4/2). Let h = i - -26/21. Which is bigger: h or -1?
-1
Let u = -49.9 - -20.8. Let l = -29 - u. Which is greater: -6.2 or l?
l
Let r = 141 - 44.1. Let x = -97 + r. Which is bigger: 11 or x?
11
Let x = 183 + -206.2. Let c = x - 6.8. Let f = 31 + c. Are f and 0 unequal?
True
Suppose 6 = -6*y - 0. Let i be 7*y*1848/49. Let g be (3 - -2)*i/385. Which is greater: -2 or g?
-2
Let o be -6*(-4 - (-112)/42). Let r(d) = d**2 - d + 2. Let l be r(2). Suppose -3*i + 4*i = -3, 4*i = l*c - o. Which is smaller: c or -2/203?
c
Let u be ((-4)/(-6))/(-1)*(17410/20 + 10). Which is smaller: -582 or u?
u
Let n be (114/(-18) - -6)*(-8 - -5). Let p = 41312/51 - 810. Is p at least n?
False
Suppose 32*i + 4 = 5*i + 4. Is 7/1583 greater than i?
True
Let a = -0.3214 - -0.2214. Does 3920 = a?
False
Let t = 279 - 274. Suppose t*n = 25, 2*p - 53 - 208 = n. Which is greater: -2/7 or p?
p
Suppose 0 = -23*t - 2483 - 1297 - 2200. Which is smaller: t or 1?
t
Let s = -1264 - -1267. Let w = -5 + 8. Suppose 4 = w*r - 5. Is r bigger than s?
False
Let i(f) = f - 42. Let k be i(-23). Let v = -63 - k. Which is smaller: -4.5 or v?
-4.5
Suppose -4*u - 4*a - 16 = 0, u + 10 = -3*a + 4*a. Let x be -2 + (76/(-12))/(u/(-21)). Which is bigger: -3/4 or x?
-3/4
Let i = 4686 - 3959. Is i at most 729?
True
Let g = -1175 + 296. Let o = -9659/11 - g. Which is smaller: o or 1?
o
Suppose -5598 - 2705 = -10*u - 503. Do u and 777 have the same value?
False
Let x be 0 + 5/((-15)/(-126)). Suppose -42 = -3*w + 3*n, x = 4*w + 3*n - 28. Let s = w + -15. Which is smaller: 25 or s?
s
Let z be (-94)/(-228) - 1/3. Let a(y) = -16*y + 55. Let o be a(1). Suppose -13*i - o = -26. Which is bigger: z or i?
z
Suppose 0 = -3*w - 12*w + 90. Let g be 20/10 - w/(-9)*-3. Does g = 1/15?
False
Let b = -425 + 415. Is -40 >= b?
False
Suppose 0 = 3*f + 2*f - 110. Suppose -2*w = -f + 130. Let p = w - -54. Which is bigger: p or -1?
p
Let n be 1 - (1 + 1)/(-2). Suppose -8*y + 3*y + g = -21, 2*g + 7 = 3*y. Let j be -6*y/10 + (-3 - -7). Are n and j equal?
False
Suppose 0 = 16*l + 24*l - 3045 - 3515. Is l at least 159?
True
Let o be (1 - (-1)/(-564)) + (3 - 4). Let w = 3513 - 3514. Which is greater: w or o?
o
Let g = 21997 - 21969. Which is bigger: g or -6?
g
Let i be (47 - (-2094179)/(-44556))/(1/((-16)/(-14))). Is i at most 1?
True
Suppose -10 = -2*t, -6*f + 52 = -4*f - 4*t. Let j be (12/5)/((-189)/f). Which is smaller: j or 0?
j
Let p = 79318/3 - 1447632815/54753. Let n = p + 2263115/164259. Is 13 equal to n?
False
Let k be 177/6*66/561. Is 3 >= k?
False
Let a be (46/3)/(1/3). Let y = -297 - -461. Let v = y + -117. Is v at least as big as a?
True
Suppose -5*t - 363 = -313. Let d be 328/(-36) - (40/36)/5. Which is smaller: d or t?
t
Let b(k) = -k - 34. Let j = 1 - 1. Let r be b(j). Suppose 0 = -31*i - 671 - 352. Which is smaller: i or r?
r
Let n = -1711 - -1712. Is n <= 2454?
True
Let u be 1/((20/(-265))/4). Suppose 5*w = 2*m - 116 - 9, 5 = w. Let y = m + u. Is y <= 62/3?
False
Suppose 189*n + 31698 = -448*n - 1124*n. Let z = -18 - 2. Which is bigger: z or n?
n
Let s = -199 + 193.52. Let j = s + 5.08. Which is smaller: -0.3 or j?
j
Let x(g) = g**3 - 8*g**2 + 10*g - 24. Let b be x(8). Let w = b + -65. Let l = -1 - 7. Is w bigger than l?
False
Suppose -40*c + 43 = 3. Are 1/12 and c equal?
False
Suppose 24*o = -13*o - 1073. Are o and -38 unequal?
True
Let r(f) = f**2 + 4*f - 42. Let t be r(5). Suppose 242 + t = 5*b. Which is smaller: 48 or b?
48
Let k = 35187 - 35501. Is 2 <= k?
False
Let b(n) = n**2 - 4*n - 51. Let u be b(-6). Suppose u = -24*z + 28*z - 3*r, 9 = 2*z - 3*r. Let s = 121 + -1574/13. Which is smaller: z or s?
s
Let v = 1426 - 1485. Does -4/3 = v?
False
Let j(b) = -117*b - 93. Let v be j(5). Let x = v - -2035/3. Let c = 2 - 2. Is c smaller than x?
True
Let j = -305.7 + 329. Let s = j + -23. Which is bigger: s or 71?
71
Let q(o) = 4*o + 36. Let c be q(-30). Let b be (c/(-18))/1*3/22. Do 0 and b have different values?
True
Suppose 10*h + 41 = -198 - 311. Is -90 at least h?
False
Suppose b = -0*b + 2*d - 10, -5*b - 4*d + 6 = 0. Let o be 246/(-84) + 1/b. Let z be 126/22 + (-6)/(-22) - (16 - 8). Are z and o unequal?
True
Suppose 20*d - d = 19. Let r be 1/(-2) + d + (-14)/(-28). Which is smaller: r or 142?
r
Let u = -26/11939 - -263204/250719. Suppose 2*g - 2*v = -2*g + 16, 0 = -5*g - 3*v - 2. Which is smaller: u or g?
u
Let k = -804 + 195. Is -611 e