/(-4) + (-29)/(-66). Let h be ((2/16)/(495/(-1320)))/((-1)/(-3)). Is h > d?
False
Let z = 36010 + -25747168/715. Is -1 bigger than z?
False
Suppose -3*l + 0*s + 58 = -4*s, l + 6 = -5*s. Let w be 106 + (8 - l) + 3. Are 103 and w non-equal?
False
Let r = 493/298627 - -7/1153. Which is greater: -2 or r?
r
Let j be 28/(-10) - 575041/(-395). Which is smaller: 1451 or j?
1451
Suppose 4*f + 48 = 44. Let i = -0.2536 + -79.7464. Is f smaller than i?
False
Suppose -7 = -2*w - 5. Let z = w + -64. Let u = 38 + z. Which is greater: -26 or u?
u
Let b(u) = 27*u - 524. Let f be b(14). Which is bigger: f or -724/5?
-724/5
Let h = -15 + -19. Let f be 4 + (3/2 - 20538/(-28)). Let b = -771 + f. Which is smaller: h or b?
h
Suppose 9 = 4*m + 1, m - 3130 = -4*x. Let q = x + -783. Which is bigger: 2/579 or q?
2/579
Suppose -41 = -15*o + 19. Suppose 0 = 3*n + q - 71, 5*n - 59 = o*q + 65. Is n at most 24?
True
Let y(d) = 185*d - 2. Let s be y(-1). Let z = s + 310. Which is greater: z or 124?
124
Let b = -133 - -150. Suppose -10*d + b*d - 4*d = 0. Suppose 20*x + 671 + 109 = d. Which is greater: 2 or x?
2
Let d = 2.1141 + -3.1141. Which is bigger: d or 0.838?
0.838
Let s = -3226 - -2793. Which is smaller: 0 or s?
s
Let c = 0.69 - -7.31. Let q be -9 + ((-20)/(-40))/(2/(-4)). Is c >= q?
True
Suppose 7*p - 2*p = -6*p - 275. Which is smaller: p or -282/11?
-282/11
Let q = -325.7 + 304. Let h = q - -60.7. Is -0.2 not equal to h?
True
Let w = 11380 + -11357. Which is greater: -202 or w?
w
Let j(u) = u**2 - 2*u - 5. Let g be j(2). Suppose 3*c - 4 - 5 = 0. Let d = c - g. Is 6 bigger than d?
False
Suppose 0 = 7*r - 4*r. Suppose 29*s - y = 26*s + 6, -3*s + 3*y = -6. Does s = r?
False
Suppose -5*n - 533 = -3*l, 10*l - 525 = 5*n + 15*l. Let c = 124 + n. Let z = -45 + 63. Is z greater than or equal to c?
True
Let y = 1528 + -2107. Is -586 at most y?
True
Let q = 983.7 - 996.7. Which is smaller: 1/59 or q?
q
Let a = 48/457 + 320791/4570. Let i = 70 - a. Let b(k) = 557*k + 4456. Let g be b(-8). Which is greater: i or g?
g
Let y = -88 - -87.925. Let i = y + -0.425. Is 3/16 smaller than i?
False
Suppose -33*r + 17*r = -22*r + 6. Is r greater than 33/58?
True
Let z = -41/4430 - -682831/1023330. Let m = z - -2/231. Let o = 22.9 - 23.2. Is m < o?
False
Let g = 13 - -35. Let c = g + -62. Let i = c + 14. Is i < 4/3?
True
Let u be (-15)/(-60)*(-8)/10 + (-59616)/20. Is -2983 equal to u?
False
Let g be (-2455)/3750 - (-2)/3. Suppose -198*c = -200*c - 2*v, 0 = 2*c + 5*v - 3. Which is greater: g or c?
g
Let v(q) = q**2 + 437*q + 47233. Let a be v(-191). Suppose 2*z = -3*z + 1240. Is a >= z?
False
Let v = -7220 - -7220. Are v and -1984 non-equal?
True
Let z = 119/33 + -36/11. Let a = -682 - -459. Which is smaller: z or a?
a
Let r = 268/394835 - -2/25285. Is -3 less than or equal to r?
True
Suppose 5*b - 79 = -329. Let v be (1139 - 1129) + (47/(-5) - 1). Is v greater than b?
True
Let v = -1884 - -1846. Which is greater: v or 5?
5
Let l be ((-6)/4)/(-2 - 15/(-12)). Let m(f) = 15*f**2 - 2*f + 2. Let j be m(l). Suppose -2*w = -0*w - j. Is 28 smaller than w?
True
Suppose m - 2*f + 56 = 0, 6*f - 2*f - 238 = 5*m. Suppose z + 42 = 2*h + 2, -5*z - 3*h = 213. Is m bigger than z?
False
Let o = 50 + -51. Let v be 5/o + 5565/1115. Let x = -215/892 + v. Is -2/19 less than or equal to x?
False
Suppose 4*j - 5*j = -5*d + 59, 2*d + 324 = -4*j. Let f = -74 - j. Let l be 4/f*105/(-30). Which is bigger: l or -0.3?
-0.3
Let l = 194 - 151. Let p = -89 - -131. Let g = l - p. Which is smaller: -2 or g?
-2
Let j(x) = -22*x + 8*x**2 + 45*x - 1 - 21*x. Let p be j(4). Is p less than 136?
True
Suppose 5*s = 3*h - 3 - 5, 0 = 3*s + 3*h. Let y = -603 - -599.83. Let d = 3.87 + y. Which is smaller: d or s?
s
Let w(y) = 223*y - 9. Let m be w(-1). Let z = m + 231. Are z and 1/139 equal?
False
Let f be -6*(3 + 20/12). Let n = 8003/1344 + -375/64. Do f and n have different values?
True
Let q = -437 + 572. Suppose q - 135 = -14*k. Which is bigger: 2/7 or k?
2/7
Let q = -136.54 + 11.44. Let y = q + 98. Let a = 27 + y. Is 1/70 greater than or equal to a?
True
Let i = 30170 - 30170. Is 2245.1 > i?
True
Let a(w) = -4*w. Let b be a(8). Let p be ((-20)/110 - (-102)/(-44)) + 110/40. Is p <= b?
False
Let c = 329/1110 + 23/222. Is c greater than 7.88?
False
Let d be 4 - (110/(-605) + 7212/(-22)). Is d < 333?
True
Let j = -0.294 + -118.706. Let m = -118.907 - j. Let w = -6.907 - m. Is -0.6 less than or equal to w?
False
Let i = -11771/1722 + 2/861. Let g = i - -20/3. Which is smaller: g or 30?
g
Let a = -127 - -118. Let c be (-10)/(-30) - 14/40. Let z = c - 23/60. Which is smaller: a or z?
a
Let r = 7 - 4. Let m be 1689/((1/(-2))/(5/(-50))). Let b = 337 - m. Is r smaller than b?
False
Let n(z) = 2*z**3 - 41*z**2 + 60*z - 46. Let t be n(17). Do -1046 and t have the same value?
False
Let i be 4 + (-46)/10 + 1098/305. Suppose -y + 124 + 13 = 0. Suppose -38 = i*b - y. Is b at most as big as 33?
True
Suppose -3*l - 5*l = -0*l. Suppose 10*u + 5*u + 390 = l. Is u less than or equal to -31?
False
Suppose -19*j + 3639 = 1319 - 1347. Is 0.04 greater than j?
False
Let i(d) = d**3 + 22*d**2 - 21*d + 46. Let o be i(-23). Suppose 2*y + o*y = 2*m, 5*y + 2*m = -21. Is -2 less than or equal to y?
False
Let s = 6396.9927 - 6397. Is s at least as big as 14?
False
Let w = -67.6 + 6.6. Let r = 117 + w. Let q = r - 116. Which is greater: 0 or q?
0
Let d = -32.46 - -70.378. Let f = -38 + d. Let i = 0.082 + f. Is 13 at least as big as i?
True
Let q be 3 + (-46937)/13566 + (-1)/(-2). Is 1 at least q?
True
Suppose 3267*j + 6 = 3270*j. Is 65/127 greater than or equal to j?
False
Let g = 24.627 - 0.227. Let h = 24.39 - g. Is 0 at least h?
True
Suppose -48*r + 13*r = -245. Suppose -r*j + 15*j = 8. Which is smaller: -1/364 or j?
-1/364
Let n = -7754.1 - -7754. Is n less than or equal to -1020?
False
Let z = 12.3008 + -0.3008. Which is bigger: 0.092 or z?
z
Let x = -815 + 779. Suppose 0 = -3*k - 2*a - 121, 4*k - 2*a + 3*a + 158 = 0. Let r = k - x. Which is smaller: r or -4?
-4
Suppose -5*t = -534 + 179. Let m = t - 71. Suppose m = -47*n + 44*n. Which is bigger: 1/63 or n?
1/63
Let y = -692 - -469. Is y greater than -216?
False
Suppose -20*j = -16*j + 8. Let o = -152 - -160. Is o not equal to j?
True
Let u = -298493017/728 - 152787/364. Let h = -409920 - u. Let r = h - 519. Is r not equal to -1?
True
Suppose -11 = -5*t - l, -5*l = 2*t - 0 - 9. Let s be (t - 1)/(-1)*8. Let n = 2683 - 2686. Which is smaller: s or n?
s
Let i be ((-4347)/(-81))/(-1*(-1)/3). Let o = 102 - i. Which is smaller: o or -1?
o
Suppose 4*n - 1 + 211 = -2*j, -3*n - 5*j - 175 = 0. Let m = n - -52. Let o be (0/(-1))/m*(-3)/6. Which is smaller: 2/7 or o?
o
Let m = 2482825/14641896 + -1/50664. Which is smaller: 1 or m?
m
Let h(k) = -3*k + 24. Let u be h(6). Suppose -x = -5*i - 83, 2*i - u*i + 4*x - 60 = 0. Are -15 and i equal?
False
Let l be -3 - -3 - -3 - 73. Let a = -158 - l. Let h = a - -25. Is h != -62?
True
Suppose 3*p - 2969 = -3*x + 8*x, x - 5*p + 585 = 0. Let w = x + 595. Which is smaller: -46 or w?
-46
Let w = -38241 - -38242. Let g = 4.02 + -8.09. Let t = g + 0.07. Which is smaller: w or t?
t
Let p = -48 - -13. Let g be (p/20 - -1)*1*20. Let c be ((-4)/g)/((-6)/(-9)). Which is smaller: c or 2.6?
c
Let o(i) = i**3 - 81 - 11*i**2 + 16*i + 108 - 2*i**2 + 4*i. Let r be o(11). Does r = 12?
False
Let g(n) = 2*n**3 + 3*n**2 - 4*n + 2. Let y be g(1). Let c be (y + (-54)/14)*-126. Let r be 126/c + (-5)/2. Are -1 and r non-equal?
True
Let t be ((-72)/48)/(18/(-132)) - 35. Is 0.0534 at most as big as t?
False
Let y = -3 - -4. Let b = y - 1.1. Let q = 54/163 - 53/652. Which is smaller: q or b?
b
Let k(f) = -f**3 - 150*f**2 - 1394*f + 842. Let x be k(-140). Suppose -q + 2*q = -25. Does q = x?
False
Suppose 2*h + 4760 = -5*c, 2*c - 2*h = 3*h - 1933. Which is smaller: c or -956?
-956
Let s be (-8)/(-12)*(1070/(-136) + 8). Let i = 0.04 + -0.34. Which is smaller: i or s?
i
Let l be (-9)/(-25)*65/(-481). Is l smaller than 1?
True
Let j(y) = -2*y**3 + 32*y**2 - 118*y - 6. Let q be j(12). Which is bigger: q or -285?
q
Let w = -3/91 - 23/91. Is w >= 2112?
False
Let z = 542 - 165. Let g = 354 + z. Is g at most 731?
True
Suppose -4*x - 4*k = 400, k + 235 + 57 = -3*x. Which is smaller: -16 or x?
x
Suppose -74*d - c = -73