-108)). Suppose 4*h - 162 = 114. Let w = h + -110. Is m equal to w?
True
Suppose -63 = -8*g + 57. Suppose 2*n + g = 7*n. Suppose 4*a - n*a + 4*c = 6, -18 = -a - c. Is a >= 22?
True
Let p = 3474 - 3475. Which is smaller: p or -349?
-349
Let p(u) = 103*u**2 + 411*u - 1217. Let k be p(3). Which is smaller: k or 933?
933
Suppose -177 = -2*y + 45. Let i be (-79591)/(-710) - 2/20. Which is smaller: y or i?
y
Let r = 0.84 + 1.4. Let y = r - 2.14. Let f be (62/(-6)*-3)/(-1). Is f bigger than y?
False
Let t(l) = -l**2 - 11*l - 24. Let b be t(-8). Suppose b = 5*z - z - 36. Suppose -4*n - 5*n = z. Which is bigger: 2/97 or n?
2/97
Let y = -0.063 - -476.063. Let v = y - 474. Which is smaller: v or -121?
-121
Suppose -11 = -2*o + 1. Let c be 5/5 - 3/o*3426. Let z be (c/(-20))/(-2) + 2/(-10). Is z greater than -45?
True
Let r = -3471 - -3465.7. Which is bigger: 30 or r?
30
Let k = -16075.1023 - 2.8977. Is 0 != k?
True
Let y be ((-1)/(-3))/((-14)/(-63)). Let i = -1785.94 - -1786. Which is bigger: y or i?
y
Let y = -26752 - -17470. Which is smaller: 1 or y?
y
Suppose 2*n + 5*p = -137, -2*p = 5*n - 149 + 439. Suppose 2*b = 3*b. Let a(g) = -g - 1. Let f be a(b). Is n bigger than f?
False
Let y be (-44)/(-352)*-142*(7 + 2 + -1). Is y at most -708/5?
True
Let b be 6/(-8) - 39/12. Let z be -7 - -7 - (3 + -1) - -2. Let m be 3 + -8 + z + 3 + 0. Is m at most as big as b?
False
Let g = -7772 + 7524. Is g smaller than -249?
False
Let m be (-4506)/(-8)*(-91)/(-39)*2/(-7). Is m smaller than 1?
True
Let u be (-10216)/(-10) - (2 - 10). Let z = u - 1030. Let a be 1*-2*2/4. Is z at least a?
True
Suppose -80 = -180*z + 140*z. Does 5/3 = z?
False
Let u = 1745 + -336. Is 1408 > u?
False
Let r = 56092 - 56184. Let y = 0 + 0. Suppose 2*t + 0*t + 186 = y. Which is smaller: r or t?
t
Suppose 4*d + 6 = 2*d. Let j be (d - (-28)/(-12))/((-4)/6). Suppose -j*g + 21 = -5*g. Which is bigger: 1 or g?
g
Suppose 2*z = 5*g + 4*z + 82, 2*g + 28 = -2*z. Let r(t) = 4*t**2 + 76*t - 22. Let u be r(g). Which is bigger: -93 or u?
-93
Suppose g - 10 = -23. Let b = -30 - g. Let o be -14 - b - 3*1. Which is greater: 3/28 or o?
3/28
Let d = -11885 + 47513/4. Let k(q) = -8*q**3 - q**2 + 2*q - 1. Let i be k(1). Is d != i?
True
Let r be 65001/(-20) - 131/(-2620). Which is greater: r or -3251?
r
Let f(c) = -c + 14. Let m be f(11). Let i be (m*(-244)/(-1284))/(-30). Let k = i + 1/428. Is 1 smaller than k?
False
Let s be ((-15)/2305)/(-1)*(-1)/(-18). Let p = s - 165973/35958. Which is smaller: p or -6?
-6
Suppose 1364 - 499 = -5*k. Let b = 17351 - 17522. Which is smaller: b or k?
k
Let z = 20 - 19. Let a be 9/(-36) + 7*z/(-4). Let g be (-90)/(-72) + (a - -1). Are g and -3.3 equal?
False
Let y be (-10)/(-5) + 106 + 2. Let z = y + -109. Let t be 1 + z + (-270)/100. Which is smaller: -1 or t?
-1
Let r be (-3)/5 + (-5 + (-9)/(-15) - -4). Which is smaller: 4/12643 or r?
r
Let z be ((-25)/(-15))/((-120)/(-192))*6. Which is smaller: 22 or z?
z
Let h = -117.9643 - 0.0357. Is h less than 5?
True
Let p(d) = 96*d**2 - 580*d - 4. Let k be p(6). Suppose 0*a = 3*a + 57. Which is bigger: a or k?
a
Suppose v = 3*d - 178, -2*d - v + 140 = 18. Let x be 3 + ((-126)/d - 1). Does 0 = x?
False
Suppose -3*h - t + 41867 = -21222, 5*h = 4*t + 105103. Is 21029 >= h?
True
Let l(f) = -56*f + 2071. Let b be l(37). Which is greater: -86/321 or b?
-86/321
Let o be (-32)/(-56)*((-2583)/(-28) + -4). Is o greater than 2?
True
Let t = -21.9 - -61.9. Let s = 0.95 + 39.25. Let u = t - s. Do 3/22 and u have different values?
True
Let t = -48.95 - -48.7. Let o = 0.143 + t. Which is bigger: -1/4 or o?
o
Let b = 129.13 + -44.09. Let d = -0.96 - b. Let k = 94 + d. Which is smaller: -4 or k?
-4
Let b(w) = 4*w - 18. Let i be b(-12). Let a = i + 104. Let o be (2/(-254))/((-19)/a). Are 1 and o equal?
False
Let v be 0 - (8 - -1 - 0). Let y = -6 - v. Let z be 26/169 - (1 - (-150)/(-39)). Are z and y equal?
True
Let k = -23498 - -22393592/953. Let i = 8 - 9. Are i and k unequal?
True
Let s(d) = -381*d - 3026. Let a be s(-2). Is -2263 equal to a?
False
Suppose 4*l = 2*k - 36, 0*k - 2*k = 0. Let w be 1/l*(-6860)/35. Which is bigger: 23 or w?
23
Let z = -0.75 - -1. Let a = -2594 - -12967/5. Is z at least a?
True
Let b be ((-1)/(-7))/1 + (-1950)/(-21). Let g = b - 181. Is g at least -89?
True
Suppose 212*v + 4 = 214*v. Suppose -6 = 2*f - v. Which is greater: f or -5?
f
Let z(u) = 12*u**2 + 12*u - 25. Suppose -2 = -d + r - 2*r, -d + 3*r = -6. Let v be z(d). Let q = v - 129. Which is greater: q or -28/3?
-28/3
Let q(o) = o**2 - 29*o + 102. Let l be q(30). Let v = l + -242. Is -109 > v?
True
Let g = 1.1 - 7.6. Let w = 4.4 + g. Let r = -95 - -94. Is w at most r?
True
Let n be (-36448)/(1 - -16) - -1. Are n and -2144 equal?
False
Let l(o) = -15*o - 14. Let x be (-46)/24 + (30/72)/(-5). Let z be l(x). Suppose 4*k - 2*i - 12 = 0, -2*k - i = k - 19. Are k and z non-equal?
True
Let g = 7.21 - 11.92. Let t = g + 4.91. Which is bigger: 8/35 or t?
8/35
Let t = -55 - -54. Let w(m) = -6*m**3 - 2*m**2 - 3*m - 2. Let i be w(t). Which is smaller: i or 0.02?
0.02
Let u be (-5 - 0) + 203 + (-9)/(-3). Let l = u + -201. Let f = -14724/161 - -642/7. Which is smaller: l or f?
l
Let u be ((-326)/(-12225))/((-1)/24). Which is smaller: u or 14?
u
Let f(p) = -p**3 + 66*p**2 - 128*p + 246. Let x be f(64). Do 736/3 and x have the same value?
False
Suppose 185*o - 504*o + 672452 = 0. Which is smaller: o or 10547/5?
o
Suppose -2*g = -2 - 0. Let q be -1*0*g/2. Let h be (8/(-10))/(-4)*(56 + (1 - 60)). Which is smaller: q or h?
h
Let b be (-2055)/(-12) - (-13)/(-52). Let w be (-2)/(b/(-810) - (-1)/9). Which is smaller: w or 21?
w
Let t be ((-52)/(-832))/((-1)/2)*(-338)/(-65). Let a be 16/(-6) + (-4)/(-6). Do a and t have the same value?
False
Let r = -219.274 + 0.274. Let t = 220 + r. Is -1.3 smaller than t?
True
Let k be ((-2)/(-6)*-2)/((-208)/(-39)). Let f = -149 - -164. Which is bigger: k or f?
f
Suppose 5*a - 30 = 0, -16*a - 6 = 5*o - 17*a. Is o <= -42/233?
False
Let r = -2573 - -2571. Which is smaller: r or -19?
-19
Suppose -64*n + 19318 = 29506 + 28852. Which is greater: n or -614?
n
Let z = 94 + -96. Let l be (-3)/z*(-86 - -18). Let t = l + 103. Is -7 != t?
True
Let v = 33048185/208 - 158886. Let l = -2/393 - 1147/6288. Let p = v - l. Which is greater: p or 1/2?
1/2
Let h be (-1 + (-16)/8)*(1 + 3202/(-6)). Is h at least 1603?
False
Let z be (4 + -2 - 0)/(-1). Let s be 91/26 - z/(-4). Let m(g) = 2*g**2 + 4*g - 5. Let q be m(s). Which is smaller: 24 or q?
24
Let o be 5/(-3)*(-6 + -1 + 4). Let k = -42 + 80. Let j be ((-10)/(-4))/(19/k). Is o bigger than j?
False
Let t = 7167 + -293880/41. Is 0 > t?
True
Let w be 8/((5 - 21)/(-80) - (-34)/30). Are 3/808 and w unequal?
True
Let g be -1056 + (1 - (39 + -13)). Which is smaller: -7559/7 or g?
g
Suppose 2*y - 5*n - 32 = 3, 2*n - 73 = -5*y. Suppose -2*r + 15 = 3*v, -4*r + r + y = 2*v. Let i be 27/(-6) + 3 - r/(-6). Is i less than 2/47?
True
Let f be ((-121)/(-11495))/((-8)/(-30)). Which is bigger: f or 1?
1
Suppose -2*z - 4*z = 0. Suppose z = 25*t - 26*t. Let v be (-18)/28*(-18)/135. Is v equal to t?
False
Let l(y) = -44 - 19*y - 9*y + 26*y. Let a be l(-25). Let q be 32 + -29 + 1/a*-19. Which is smaller: -2 or q?
-2
Let t = 23825.3 - 23826. Is t at least as big as -153?
True
Let r = -3678.1 - -3678. Is r > -1397?
True
Let m be 3 + (10/(-40) - (-887)/12). Let t = -1157/15 + m. Which is bigger: t or 0?
0
Let y be 900/73260*((-23)/15 - (-2)/6). Which is bigger: y or 1?
1
Let v(f) = -531*f - 6363. Let m be v(-12). Let b = -18 - -7. Which is smaller: m or b?
b
Let h = 22 - 24. Let j = -712933/21072 + -1/7024. Let s = -34 - j. Is h less than s?
True
Let l(s) = -s**2 + 30*s + 31. Let o be l(31). Suppose 6*b - 27 - 117 = o. Let j(z) = 21*z**2 - 2*z - 1. Let u be j(-1). Is b bigger than u?
True
Let s = 8097 + -16189/2. Is -0.013 at most s?
True
Let t be (-4)/(-3)*(-10 + 1781/182). Is t <= 1.837?
True
Suppose 44 - 44 = 22*y. Let t be 1426/7068 + (y - 1/6). Which is greater: t or 1?
1
Let k be ((-86)/(-8))/(12/96). Suppose -6*j - 10 = 2, 0 = -4*q + 3*j + 350. Is k < q?
False
Suppose -4*x + n + 69 = 4*n, 0 = 2*x - 5*n - 15. Suppose -3*v + s = -165, -5*v + 271 = -s - 2*s. Suppose 49*a = v*a - 119. Which is bigger: x or a?
a
Suppose 0 = 36*p - 83933 - 38107