se 3*o + 284 = -0*o - 2*k, -2*k + 186 = -2*o. Let m = o - a. Is m greater than 2/463?
False
Suppose -2*s = -2*w - 3900, -31*w = -30*w + 3*s + 1966. Is -1953 >= w?
True
Suppose 2*n = -3*o - 77 - 113, 2*n + 310 = -5*o. Which is bigger: -13 or o?
-13
Let y = 25532 + -2502093/98. Is 0 greater than or equal to y?
False
Suppose -210 = -2*k - 3*k. Suppose 4*r = 7*r - k. Which is bigger: 17 or r?
17
Let a be 146/803 - (-2)/(-792)*(-21)/2. Suppose 3*h + 4*t = 34, -2*h + t = -2*t. Suppose 4*w - h*w - 3*o - 7 = 0, -3*o - 5 = 4*w. Are a and w equal?
False
Let v be (-149)/(-1 + 0/6). Let f = 153 - v. Is f equal to 3?
False
Suppose 119 = 5*n + t, n - 34*t = -29*t + 29. Are 17 and n unequal?
True
Suppose 2*r + 25 = -23*z + 28*z, -2*z = 9*r - 10. Is r at least -1/199?
True
Let c(y) = -2*y**2 - 38*y - 30. Let t be c(-18). Let h be 2/6 + (-20)/t. Let m be (2 - 20/4)*h/3. Is m < 4?
True
Suppose q = 5*g - q + 131, 0 = 3*g + q + 83. Let y be (50/3)/(0 + (-6)/g). Does 74 = y?
False
Let w = -284 + 310. Suppose -3*c + t = -14, -5*c + w*t + 20 = 25*t. Which is smaller: 5 or c?
c
Let z be -3 + ((-149)/18 - 82/369). Let g = 12 - 23. Is g at most z?
False
Let x be (71 + 0)/((-42)/128). Let c = x + 656/3. Is c greater than -1/3?
True
Let o be (-711)/4 + (-104)/416. Which is smaller: -177 or o?
o
Suppose -264*l - 1414147 + 4470211 = 0. Is l < 11577?
True
Let w = 153573847/33 - 4653078. Let h = -675 + w. Suppose 0 = 34*r - 10*r. Is h greater than or equal to r?
False
Let z be 101/2*(-40)/615. Let k = 2/41 - z. Which is smaller: -2 or k?
-2
Suppose -5*i + 1260465 = 3*m - 0*i, -i - 420163 = -m. Let z = -8825188/21 + m. Let g = -87 - z. Which is smaller: 0 or g?
0
Let m = 625 - 634. Let p be -3 - -3 - 2/m. Is p bigger than -4/23?
True
Let u = -0.0089 - -6.0089. Is u bigger than -2/43?
True
Let l be (-15)/45*(-2 + 17). Let j be 660/l + (0 - 1). Let n = -133 - j. Is n > 1/39?
False
Let m = -70 - -438. Let t = -327 + m. Which is bigger: 43 or t?
43
Suppose 0 = 5*s - 3*m + m - 25, -s + 2*m = -5. Suppose 9 = v + 2*b, 5*v = 4*b - s*b. Which is smaller: -1/109 or v?
v
Suppose 2*x = -w - 326, -2*w - 37 = -4*x + 615. Which is smaller: w or -323?
w
Let x(o) = -o**2 - 1. Let g(a) = -a**2. Let c(i) = -10*g(i) + 5*x(i). Let b be c(-3). Let p be (6/(-10))/(b/25). Is 1 < p?
False
Let y = 0.2 + 0.5. Let w(q) = -q**3 + 36*q**2 - 31*q - 144. Let z be w(35). Let d be 4/(-6)*((-10)/z)/5. Is y at least as big as d?
True
Let m be (-1)/(-2)*6 - (-388 - -1). Suppose 4*y = 2*y + m. Is y at least 195?
True
Let g = 13.471 - 13.671. Are g and -152.1 nonequal?
True
Suppose -280*n + 279*n = -50. Let m = -98 + n. Does -50 = m?
False
Suppose 7*x - 5*d - 3245 = 12*x, -4*d - 1949 = 3*x. Do x and -4526/7 have different values?
True
Suppose 5*s + 8 = 4*c, 4*s - 3*c = -c - 4. Let b(q) = -q**2 + q - 4. Let u be b(s). Let o be 9/(-12) - (-49)/u. Which is greater: o or -14?
o
Let z = -33/31 + 1657/217. Is 11 <= z?
False
Let q = -1200 - -2497. Is 6484/5 greater than q?
False
Let b = 40.03 + -40. Let p = -40.97 - b. Let k = 68 + p. Which is bigger: k or 2/9?
k
Let m be (-10)/(-8) + (1634/152 - 12). Which is smaller: 2/2339 or m?
m
Let j = 12/17 - 77/85. Suppose 8 + 9 = 17*m. Which is smaller: m or j?
j
Let s be (-755)/(-1359)*12/110. Let j(b) = 2*b - 3*b - 4 + 5. Let h be j(5). Is s not equal to h?
True
Suppose 280 = -2*i - 2*h - 2094, -5*h - 2374 = 2*i. Is 0 >= i?
True
Let n = 31 + -32. Let u be 22 + 5 + -1 + 1/n. Let m = -25 + u. Which is greater: -5 or m?
m
Let u = 30 + -30. Suppose -64 = -u*v + 4*v. Let y be (-4)/18 + v/(-72). Which is bigger: 2/15 or y?
2/15
Let r be (2/(-50))/(15/725). Is r at most -2?
False
Let x be -14 + (3806242/190311 - 6). Which is smaller: 0 or x?
0
Let b be 5/(25/(-5)) + 7/5524*788. Which is smaller: b or 1?
b
Let v = 48620 - 145861/3. Is v smaller than 961?
True
Let d(l) = l - 4. Let v be d(6). Suppose 2*p = z + 49, -13 - 21 = -2*p - 4*z. Which is greater: p or v?
p
Suppose 4*g + 3*m = 1023, -7*m + 11*m = 4. Is g at most as big as 1/2?
False
Let u be (6 - 130/22)/((-27)/69174). Is u less than or equal to -234?
False
Let a(m) = -43*m - 42. Let r be a(-16). Let j = 2054/3 - r. Which is smaller: j or 40?
j
Let i(m) = -m**3 - 9*m**2 - 18*m. Suppose -31*g - 147 = 39. Let z be i(g). Let v be 18/(-56) - (-2)/(-8). Is v at least z?
False
Let u be -6*(-4)/18*25/(-30). Let t = 4/9 + u. Let p = -406 + 3658/9. Is t at most as big as p?
True
Let v = -2141 + 1953. Is v at least as big as -186?
False
Let h be (2 + -2)/((99/(-44))/((-21)/(-28))). Let i be (-274)/(-4) - (-2)/4. Let p be (i/12 - -6)*(-4 + h). Is -47 equal to p?
True
Suppose m = 5*a + 14, 2*m = -3*a + 5 - 3. Is a > -45/67?
False
Let w be ((-74)/3)/(14/(-21)). Let c = w + -27. Let z = c + -10. Which is smaller: z or -7/15?
-7/15
Let v be 46953/45 + (-6)/15. Let x = v + -3170/3. Is x at most as big as -15?
False
Let k = -0.02 + -0.18. Let l(v) be the first derivative of v**3/3 + 3*v**2/2 - 25*v + 39. Let c be l(-7). Which is smaller: c or k?
k
Let d(w) = 2*w**3 - w**2 - 14*w + 5. Let p be d(-5). Let y = p + -90. Do y and -291 have different values?
True
Let r be 158/18 + 2/9. Suppose 0 = -l + 9 - 7. Suppose -r*c - 35 = -l*c. Which is bigger: -2 or c?
-2
Suppose 8*l - l = -84. Let s(f) = f**3 - 10*f**2 + 4*f + 30. Let g(n) = -n. Let x(t) = -6*g(t) - s(t). Let m be x(10). Which is bigger: m or l?
m
Suppose 113 = -3*z - c, -372*z + 370*z - 78 = -2*c. Which is smaller: -197/5 or z?
-197/5
Suppose -304 = 15*s + 903 + 53. Is s greater than or equal to 0.4?
False
Let d = 15 + -16. Let f = d + 0.76. Let o be (-2 - (-2)/22) + (-10)/110. Which is greater: o or f?
f
Let c be 9 - (1 + 9) - (-5 + 1983). Is -1979 != c?
False
Suppose 0 = -5*w + 234 + 296. Let j = w - 76. Suppose -28*d + j*d = -2. Is -16 not equal to d?
True
Suppose 12*w - 1050 = 2*w. Suppose 0 = -18*y - 93 - w. Which is smaller: y or 2?
y
Let q(d) = d - 17. Let k be 3 + (5 - 4) + -4. Suppose k*x = -x + 10. Let m be q(x). Is m <= -2/9?
True
Suppose -1813 = 4*v - 1869. Suppose 42 = -v*t - 56. Which is smaller: -8 or t?
-8
Let b be ((3/(-27))/(1/3))/(473/73272). Which is smaller: -52 or b?
-52
Let v be 4/12 - (-90)/378. Which is greater: v or -17?
v
Let t be ((-132)/(-55))/(1/(-20)). Is t at most as big as -48?
True
Suppose -2*r - 3*u = 1, -85 = 5*r - 5*u - 20. Let m = r + -2. Let q be (-2 - (-14)/4)/(m/12). Which is greater: -2 or q?
q
Let u be (9513/(-84))/((-2)/(-4)). Let g = u + 222. Let p = g - -5. Is p less than or equal to -1/10?
False
Let b = -519/4 + 2691/20. Is b at most 1/8?
False
Let u = 1139 + -1850. Is -711 not equal to u?
False
Let i(b) = -b**3 - 99*b**2 + 206*b + 629. Let y be i(-101). Which is greater: -1 or y?
y
Let q = -0.0282 + -504.9718. Let h = 503 + q. Which is greater: h or 204?
204
Let k be (5886/585 - 10)/((-1)/15). Let x be (-33)/27 - (-8)/36. Is k >= x?
True
Suppose -6*i = -w + 221, -5*i + 7294*w - 7297*w - 234 = 0. Let f = 33 - 72. Is f > i?
False
Let x(a) = -a**2 - 39*a + 272. Let h be x(6). Which is smaller: h or -1/127?
-1/127
Let z = -468 + 5609/12. Let d = 12 - 23. Let a = d + 9. Which is greater: z or a?
z
Let g = 4/1391139 + 2225667821/2782278. Let p = g + -798. Which is smaller: 1 or p?
1
Let m be 7 + -3 + 6 + -5. Let s(y) = 4*y**3 + 2*y**2 - 4*y + 2. Let j be 6/8 - (-3 + 55/20). Let w be s(j). Is m > w?
True
Let j be (1 - -5)*10/3. Let r be ((-2)/j)/((-2)/(-5)). Let a be ((-4)/(-6))/((-10)/3). Which is smaller: r or a?
r
Let s = 14 - 8. Let q(x) = 6*x**2 - x**3 + 949*x + 9 - 953*x - 3. Let g be q(s). Is g at least -19?
True
Let p = 234.7 - 101.4. Let u = -147 + p. Let r = u - -14.2. Are -4/3 and r equal?
False
Suppose -3*i + 4*i + 99 = 0. Let u = -202 + 194. Let r be u/(-2) + 204/((-8)/4). Is i <= r?
True
Let d = 849553/261 + -3255. Suppose -3*a + 7 = u, -3*a + 2*u + 11 = 4*u. Which is bigger: a or d?
a
Let l = -586/37 + 357824/22607. Are l and 1 non-equal?
True
Let q(y) = -3*y**2 + 4*y - 2. Let u be q(2). Let m be (17 - 16) + (3 - (14 - 1)). Which is smaller: u or m?
m
Let z = -267 - -298. Let b be (-4)/(-14) + (-512)/28. Let t be (-9)/b*(60 - 0). Which is greater: z or t?
z
Let y(j) = -j**2 - 11*j - 5. Let c be y(-2). Suppose 3*b - 4*b = 3*m + c, 2*b + 4*m + 28 = 0. Is b at least -21?
True
Let s = 33 - 27. Suppose -4*d - b + s*b = 3844, -d = 4*b + 