an g?
False
Suppose 0 = -5*i + 4 + 281. Let p = 561 + -556. Let l be (-1)/(p - 282/i). Is l != -19?
False
Suppose 2*b - 2*d - 6 = 0, b + 88 - 121 = -5*d. Suppose b*h - h - 1183 = 0. Which is smaller: 170 or h?
h
Suppose -5*l = 4*h + 40, 5*l - 3*h + 42 - 2 = 0. Let o be 9/36 + 0 + 130/l. Is o != -87/5?
True
Suppose 7*q - 176 = -q. Let u(y) = y**2 - y + 21. Let b be (0/8)/(0 + -2). Let i be u(b). Which is smaller: i or q?
i
Let n = 44749 - 44750. Let x = 167857/312 + -538. Is x > n?
True
Let y(z) = z**3 - z**2 + 3. Suppose i - 9 = 4*k, 0 = 5*i + 4*k + 12 + 15. Let q be y(i). Let c = 9893 - 9927. Is q not equal to c?
True
Let b = 1/299 + -341/12558. Let s = -53204/21 + 2534. Let o = b - s. Which is smaller: o or -2/3?
-2/3
Let f be (46/10)/(60/50). Let s = -102 + 102. Suppose 4*o + 4*o - 40 = s. Is f not equal to o?
True
Let n be (-6)/(-4)*1*64/(-12). Let p be 3*(-2)/n*58. Is p bigger than 44?
False
Let w = 2.1 - 2. Let f = 16812 - 17036. Which is smaller: f or w?
f
Suppose -5*t = -7*t + 4. Let y be (5 - 252/44)/((-3)/t). Let p = y + -461/66. Which is bigger: p or -6?
-6
Let t be -8*(-24)/84*-259. Which is greater: t or -2953/5?
-2953/5
Suppose -4*m - 44 = -48. Is m greater than -4/1179?
True
Let h(g) = 9*g - 68. Let v be h(8). Suppose 0 = v*c, -2*c + 4 = 2*y - 6*c. Let j = y + 77. Which is greater: 80 or j?
80
Let m = 327/31 - 114537/155. Do m and -727 have different values?
True
Suppose 4*t = 3*t - 1. Let y(c) = -201*c + 101*c + 98*c - 36. Let z be y(-20). Which is greater: t or z?
z
Suppose -93 = -4*g - v + 27, v + 120 = 4*g. Suppose -5*i = 2*n + 17, -7 = i - 2. Let m be ((-46)/n)/((-18)/48). Which is smaller: g or m?
g
Let z be -2 + -2 + 6 + -1. Let y be ((-327)/97446)/(-2 + 1). Which is smaller: y or z?
y
Let v = 92 - 92. Let m be (1/424)/((-1)/(-313)). Let p = 6/53 - m. Is p less than or equal to v?
True
Suppose -701 = -3*q - 4*t, -4*q - t = 4*t - 933. Let r = 228 - q. Which is greater: -1/3 or r?
r
Let p be (-88)/(-22) - (244/(-54))/(-1). Let j = 968/1971 + p. Are -2/3 and j unequal?
True
Let c = 117.1 - 129. Let o = c + 6.7. Let q = -6.2 - o. Which is greater: q or -43?
q
Let k = -0.22 + 0.16. Let m = k - -0.16. Let b = -41 - -24. Is b at least as big as m?
False
Let f(m) = 5*m + 16. Let u be f(0). Suppose 3*c = -43*s + 39*s + 28, -s = 5*c - 24. Is c smaller than u?
True
Let t = 175 - 306. Let n = -132 - t. Is 2/49 at least n?
True
Let q be (0 - 1185)/(-147 - -148). Which is bigger: q or -1192?
q
Let i(v) = -12*v - 94. Let m be i(-7). Let b be (11 + m)*(0 + 0 + 21). Which is bigger: 7 or b?
b
Suppose -4*m + 3*y + 4 = 101, -4*m - y = 101. Let o = -27 - m. Let x = 6 - 11. Which is smaller: o or x?
x
Suppose -6*y = -y. Suppose -2 = -y*s + 2*s. Let b = -3/983 - -3042/30473. Is b smaller than s?
False
Let w = 5424.5 + -5425. Is -1/188 at least as big as w?
True
Let m = 2011/219 - -11/73. Suppose 3 = -2*z + f + 21, -f = -3*z + 28. Suppose -2*n + 4*j - 5 + 29 = 0, -z = -2*n - 3*j. Is n greater than or equal to m?
False
Let b = -57 + 121. Let h = -4 + 6. Is h less than b?
True
Let i = -5/10282 - -105625/5768202. Which is greater: 1 or i?
1
Suppose -5*l + 4*l + 6 = -d, 0 = 4*d. Suppose -5*a + l = -24. Let s be a/(-4)*(-4)/(-3). Which is greater: 6 or s?
6
Let p be 4/1 - (-2)/(-3 + 2). Suppose -2*g - 114 = 4*y, -p*y + 3 = 3*g + 54. Is y greater than 0?
False
Suppose 24*y = -263*y + 5902155. Which is smaller: y or 20564?
20564
Let t be -1*(-1 + 0 - 0). Suppose 4*q + 5*v = -12, 5*q - 2*v - 2*v = -15. Let f be 2/(2 + -81 + (-3 - q)). Which is bigger: f or t?
t
Let w = -72865 + 800621/11. Which is bigger: -82 or w?
w
Suppose -156 - 516 = -16*n. Which is smaller: n or 41?
41
Let i be 20/(-7) + 2 + 198880/229152. Are 1 and i unequal?
True
Let a = 33.39 - 55.39. Is 29 at most as big as a?
False
Let h be -3 + (-1615)/(-70)*628. Let r = -14517 + h. Which is smaller: -31 or r?
r
Suppose 10*f = 15*f + 3*c - 72, 4*f = -3*c + 60. Is f at least 22/9?
True
Let m = -154 + 181. Let l be 2/30*m*5/(-4). Is l bigger than -3?
True
Let j be -5*4/20*-6. Suppose -j = 4*d + 2. Let c be d/7 - ((-480)/63 - -4). Which is greater: 0 or c?
c
Let m = -36 + 50. Let s(p) be the third derivative of p**6/120 + 13*p**5/60 - p**4/24 - p**3/6 + 4*p**2. Let c be s(-13). Which is smaller: m or c?
c
Suppose 4*r + 29*r + 79951 = 16*r. Which is greater: r or -4707?
r
Let c be 2/(-5) + (-2 - (-24)/10). Suppose 6 = -3*n - 3*l, c = -n + 3*l + 2*l + 22. Suppose -2*m - 2 = -n. Which is smaller: 7/5 or m?
m
Let m(z) = 2*z - 10. Let s(w) = w + 5. Let o be s(6). Let t be m(o). Suppose 4*g - 3*r - t = 6*g, 2*g + 16 = -2*r. Which is greater: g or -11?
-11
Let r = 4430 - 4425.756. Which is greater: -1 or r?
r
Let b be 13 + -25 - (-6)/(-2). Is -17 >= b?
False
Suppose 3*j = 2*j - 3*j. Suppose j = -9*h + 10*h. Is -2/519 at least h?
False
Let v be -3 + 4 - (-5 + -33). Suppose v*b + 148 = -86. Which is bigger: -32/5 or b?
b
Let m(j) = j + 14. Let f be m(-16). Let n be (-1410)/(-12)*8*f/(-4). Which is smaller: 1 or n?
1
Let a be ((-29988)/1960)/(2/(30/(-873))). Which is smaller: -1 or a?
-1
Let u = -2.127 - 2.873. Let d = -280 + 279.99. Is u not equal to d?
True
Let x be 6/(-8)*(1834272/(-91710) - -20). Which is smaller: 0 or x?
0
Let d = -59 + 64. Let b be d/(-7620)*3*-2. Is -1 bigger than b?
False
Let j = -5.86 + -0.64. Let x = 9.5 + -8. Let b = x + j. Which is greater: 2 or b?
2
Let w = -30 + 16. Let g = -2/77289 - 8192620/541023. Is g >= w?
False
Let z = -47 - -52. Suppose -z*v - 405 = -5*k + 290, v + 562 = 4*k. Suppose 63 = 4*w - k. Which is smaller: 52 or w?
w
Suppose -4*o + 9282 = -3*t, 1544*t - 2*o = 1548*t + 12332. Is t <= -0.1?
True
Let b be (-2068)/(-28574) + (-240)/520*4/24. Is b smaller than 0?
True
Suppose 2*z = -z + 906. Let q = 1512/5 - z. Is 0.89 equal to q?
False
Let s be (14/(3 + -2))/(10 + -9). Suppose s*d = 20*d. Which is smaller: -1/5 or d?
-1/5
Let n = -12943/12 + 2469/4. Let y be (-6)/(-10) - (-4534)/10. Let m = n + y. Is 0 equal to m?
False
Suppose -x = -4*b - 1833, -3*x + 5549 = -18*b + 16*b. Which is smaller: 1855 or x?
x
Let m = 2/832347 - 28301116/548516673. Which is greater: -1 or m?
m
Let l = 9310854/29 + -321102. Which is smaller: -39 or l?
-39
Suppose 23066 = -42*u + 16976 - 47502. Which is smaller: u or -1278?
-1278
Let g(x) = -x**3 + 7*x**2 + 2*x + 44. Let r be g(8). Is r greater than 454?
False
Let c(d) = -10*d**2 - 19*d + 50. Let q be c(4). Let b = 186 + q. Which is greater: b or -0.97?
b
Let q be (-2 - (-8)/6)*(1 - 7). Suppose -5*x + 75 = q*j, -3*x + 3*j + 3 = -15. Suppose 0*g = -5*k + 2*g + x, -5*g = 15. Is -6 smaller than k?
True
Let u = 16729 + -15813. Does 4 = u?
False
Let c = 693.3 + -693.9. Is -1/122 bigger than c?
True
Suppose -7*k - 693 = -2912. Let s = -296 + k. Which is smaller: 27 or s?
s
Let b = 6.05 - 3.8. Let q = b - 2. Let g = q + -0.35. Is -35 at least g?
False
Let n = 8144.833 + -8145. Is n greater than -0.03?
False
Let b = -329 + 149. Let f be (-2)/3 - 147/b. Which is bigger: 3/4 or f?
3/4
Let b(q) = 83*q + 31. Let x be b(-1). Let v(k) = k + 56. Let g be v(x). Which is greater: -12 or g?
g
Let i(s) = 21*s**2 + s - 1. Let x be i(1). Let f(l) = 3*l**2 + 7*l - 3415. Let j be f(-35). Is x at most j?
False
Let y = 0.6169 - 1.6169. Is -7827 < y?
True
Let s = -5080/959 - 18/137. Let k = -93403/28 + 3341. Let z = s + k. Which is smaller: z or 13?
z
Let w be ((-2 + 3)/(-5) - -1)*(-4951 - -6). Which is greater: -3952 or w?
-3952
Let z be (143/26)/(63/(-98)). Which is bigger: z or -9?
z
Let f(y) = y**2 - 2*y - 3*y**3 + y**3 - 3 - 1 + 5*y**3. Let n = -1914 + 1913. Let b be f(n). Which is greater: -11 or b?
b
Suppose -10*d + 190 = -1230. Let q = 145 - d. Is q >= 6?
False
Suppose -2*u = -39*r + 35*r - 2, 3*r = -4*u - 7. Let f be (r/(-3))/(-1*4/(-12)). Are 21/19 and f equal?
False
Let p = -5326 + 5129. Is p not equal to -1577/8?
True
Let f(g) = 194*g - 5539. Let j be f(36). Which is bigger: 1446 or j?
1446
Let a be (1 + -1)/(3/(1 + 2)). Suppose -6*i + 3*i - b = 257, a = 4*b - 16. Are i and 1 unequal?
True
Suppose -11*t - 550 = -10*t - 5*h, 3*t = -3*h - 1542. Which is bigger: -521 or t?
t
Let l(t) be the third derivative of -t**5/60 - t**4/4 + 4*t**3/3 + 6*t**2. Let y be l(5). Let u be 6 + (-52 - (-1 - -2)). Is u at most y?
True
Suppose -6*a = -379*a + 34*a + 339