e h(-3). Which is bigger: y or b?
b
Let b be (-8*(-39)/(-208))/(-3). Which is bigger: -10522 or b?
b
Suppose 0 = j - 4, -2*v = -62*j + 64*j - 88. Is 204/5 <= v?
False
Let f be 0/(3*(-2)/(-3)). Let l be 5*(f + 1 + 4). Let r = 3067 - 3041. Which is smaller: l or r?
l
Let o(u) = 47*u**2 + u + 1. Let x be o(-4). Let y = 701 - x. Which is smaller: y or -97/2?
-97/2
Suppose -b = -4, 0*v + 5*b = 5*v - 105. Suppose 0 = 2*z - 5*p + v, 0*z + 4*z - 4*p + 20 = 0. Which is smaller: z or 1/15?
z
Let a = 82 - 34. Let f = 180 - a. Do f and 2 have different values?
True
Let q = 3090 + -2956. Which is smaller: q or 140?
q
Let r be (-81)/7 + (-63)/147. Let v be (-3)/3*5*r/5. Let n be (v/(-16))/(3/(-36)). Are 31/4 and n unequal?
True
Let c = -172.201 - 1.699. Let h = -174 - c. Let i(a) = 10*a**3 + a**2 + 2*a. Let v be i(-2). Is h at most as big as v?
False
Let d = -195.4 - -236. Let v = 3.6 - d. Let k = v - -17. Which is bigger: 2 or k?
2
Suppose 0 = -r - 2, 486 = -2*h + 6*h - r. Let p = h - 86. Let j = p + -34. Which is greater: j or 3?
3
Let y = 28 - 25. Suppose -n + 4*n = y*p - 201, -3*n = -p + 63. Suppose 59*u - p = 56*u. Is 23 at least u?
True
Let y(q) = -3*q - 1. Let a be y(-1). Suppose a*v = v + 2. Let m = 9 - v. Which is bigger: 6 or m?
m
Suppose -29*x - 28740 = 18327. Is x less than or equal to 0?
True
Let p = 0.25751 + 907.74249. Is p > 12?
True
Let q = 6498 - 6497.9. Which is bigger: -14.73 or q?
q
Let t = 1.3 - 0.7. Let x = -1236 - -1236.0601. Let a = x - 0.0001. Which is greater: t or a?
t
Let v(x) = 13*x + 28. Let u(m) = -3*m - 7. Let g(w) = -9*u(w) - 2*v(w). Let i be g(7). Suppose -r = 5*f + 3 - 2, -16 = -2*r - 4*f. Is r less than or equal to i?
True
Suppose -2*v = 9 - 139. Let m = v + -62. Let g be 1 - (3/m - 4/70). Which is smaller: g or -0.2?
-0.2
Suppose -7*y + 412 = -162. Let u = -20 + y. Which is smaller: 64 or u?
u
Let l be (1030/(-6) - -1)*13/((-78)/261). Is l smaller than 7424?
False
Let k = 43468 - 3347140/77. Let u = k - -18/11. Which is greater: 1/67 or u?
u
Let i(l) = -2*l**3 + l**2. Suppose -3*t - t = -4. Let d be i(t). Let r be (-3)/9 + -2 + (-742)/(-588). Which is greater: d or r?
d
Let w = -1117506/11 + 101688. Which is smaller: w or 98?
w
Let m be 6225345/569920 + ((-9)/6 - -2). Let a = -1/8768 + m. Let o = a + -23/2. Are o and -1 equal?
False
Let w = -0.061 - -0.006. Let h = 2.055 + w. Let o = -122 - -127. Which is smaller: o or h?
h
Let i be (3100/140 - 17)*-147. Which is bigger: -760 or i?
i
Suppose -5*x + 5 = 15*q - 20*q, 2*q + 3*x = 3. Suppose -2*j + 7 = 2*u + u, 5*j - 2*u + 11 = q. Is j smaller than -2/345?
True
Let l = 305.841 - -0.159. Let g = -321 + l. Which is bigger: g or 2?
2
Let o = -527/2056 + 98/257. Is -68/9 at least as big as o?
False
Let x(l) = -61937*l + 10. Let d be x(2). Let m = d + 621556/5. Let r = m - 449. Which is greater: r or -1?
-1
Let f = 258 + -125. Let x = f - 133.77. Are -1 and x equal?
False
Let r = 1773.886 + -1776. Let n = r + -0.486. Which is smaller: n or 3?
n
Let s = -3506 - -3505.9. Which is bigger: 0.052 or s?
0.052
Let q(l) = -l**3 + 42*l**2 - l + 51. Let p be q(42). Suppose -4*c - p*o + 7*o = 10, -3*o - 4 = -5*c. Is -10/59 bigger than c?
True
Let r(k) = -k**3 + 11*k**2 + 14. Let q be r(9). Suppose -10*c + 12*c + q = 0. Is c at most as big as -88?
True
Let d(w) = 7*w**2 - 4*w + 10. Let a be d(4). Let l = a + -101. Suppose 0*t + 5*c = l*t + 15, 5*t - 1 = c. Is t != 1/3?
True
Let x = -1.42 - -51.42. Which is smaller: x or 88?
x
Suppose 848 = -110*n + 1178. Let d = -29600/13 + 2280. Which is smaller: d or n?
n
Let z be (2 - -104)*2/4. Let q = -868 + 816. Let k = q + z. Is -2/45 at most as big as k?
True
Let n be (-1)/12 - ((-25751)/132 + 7). Suppose -52 = n*k - 186*k. Which is smaller: k or -348/13?
-348/13
Let t be (-261)/30*10/(-444). Let u = -916/3589 + 30/97. Let z = t + u. Which is bigger: 1 or z?
1
Let s = 0 - -3. Let z be s + -3 + (-214)/(-14). Let i = -15 + z. Which is smaller: i or 0?
0
Let p = 1655/6 + -226753/822. Is -11 less than p?
True
Let i = -30 + 27. Suppose 0 = 2*s + 2, -2*l = -3*l - 2*s + 15. Let v = -23 + l. Which is smaller: v or i?
v
Let s be (2 - -1) + (-65)/5. Let i be (0 + -2)/s + (-648)/40. Suppose -4 = 2*z, 5*h - 3*z + 94 - 5 = 0. Which is smaller: i or h?
h
Let z(b) = 11*b**2 + 60*b + 40. Let r be z(-5). Let q be (-2)/(-8) + 433/28. Are r and q nonequal?
True
Let n = -5999 - -6002. Which is greater: n or 289/123?
n
Suppose -165 = 13*k - 152. Let h be (45/(-12))/(-12 - -6) - k. Is -0.4 at least h?
False
Let g = 186.8 - 6.8. Let j = -308 + 309. Is g bigger than j?
True
Suppose -109 = 4*v + r - 2*r, -3*v - 2*r = 90. Let m be (-4)/v - (-45)/(-21). Let g be (22 - 20) + 2 + 87/(-15). Are g and m unequal?
True
Suppose 3*c + 3*x = 5 + 13, -4*c + 4*x = -56. Which is bigger: c or -90?
c
Let k(d) = -d**3 - d**2 + 15*d - 20. Let m be k(-9). Let h be (-3 - 18905/(-57))/(4/6). Are h and m non-equal?
False
Let h = -24.82 + 24.859. Is h > 2/3?
False
Let u = 13.27 - 15.27. Does u = 0.698?
False
Let w = 11 - -67. Let c = -272 - -351. Let j = c - w. Which is smaller: j or 11?
j
Let u be -2 + (-2 - -2) + (1 - 25). Let w be u*(((-180)/8)/(-5))/(-3). Let g be (0 - (-532)/(-21))/((-6)/9). Which is smaller: w or g?
g
Let c(u) = u**2 + u. Let w be c(0). Let t be (w - 18)*(-4)/(-6). Let f be (2/4)/(-1 - -3). Which is smaller: t or f?
t
Let f(d) be the first derivative of -d**2/2 - 3*d + 11. Let m be f(-4). Is m not equal to 1/36?
True
Let q = 7418/5 + -363487/245. Is q greater than or equal to 8?
False
Suppose -z + 4*d - 114 = 0, 4*d = -5*z + 2*d - 570. Which is smaller: z or -12?
z
Let g be (4/6 - 262/(-48))/((-6)/(-774)). Which is bigger: g or 789?
g
Let m be 3/60 - (-100038)/(-3960). Let v = -11831/11 + 1063. Let r = v - m. Which is smaller: 12 or r?
12
Let r = 266.943 + -267. Let l = r - -36.057. Which is greater: l or -3?
l
Suppose 51 = -17*w + 1683. Let m = 289/3 - w. Which is smaller: 579 or m?
m
Let l = -2.269 - -2.169. Which is smaller: 0.1089 or l?
l
Suppose 103*g + 9406 + 40549 = 0. Is g greater than -2?
False
Suppose -5*z + x = -75, 55*z + 4*x - 4 = 56*z. Let b be (-30)/(-2) + -2 + 4. Is b <= z?
False
Let h = -173945/3 - -57982. Let p = -1 - 3. Let t = p + 5.4. Is t at most as big as h?
False
Suppose 3*k - 8 = -2*n, 4*k - 9 - 11 = -5*n. Suppose 6*i - 53 + 17 = k. Suppose -7*m = -i*m - 33. Do m and 1/3 have the same value?
False
Let y be (6 - (-2 - -6))/((-33)/22). Is 1.453 at least as big as y?
True
Suppose -5*x - 4*w - 17 = -7*w, -4*x + w = 8. Let y be (28 + -26)*5/((-10)/(-3)). Let r be 240/(-160) - y/(-5). Which is bigger: x or r?
r
Suppose 2*b = -3*o + 3058, -2*b - b - 4049 = -4*o. Let p be -2 - -6 - o/252. Does -1 = p?
False
Let i be ((-1)/(-1))/(80/(-16) + 8/3). Is i > 487?
False
Let g = 967.57 + -959. Let x = -8.53 + g. Which is smaller: x or 11/10?
x
Let g be (-24)/(-276) - (5 - (-496204)/(-101016)). Which is greater: g or 0?
0
Let h be (-7980)/(-72) - 15/6. Which is smaller: 107 or h?
107
Suppose 5*u + 219 = -2*w - 821, w - u = -534. Which is smaller: w or -0.06?
w
Let m = 3 - -4. Let x = -93.915 + 0.815. Let n = x - -93. Which is smaller: n or m?
n
Let u = 1.7618 - -0.2382. Is -388 greater than u?
False
Suppose -w + 3*k = -37, -45*w + 41*w = 4*k - 228. Let m = 164 + -109. Is w not equal to m?
True
Let z be 1 - 1 - (-8)/(-12). Let n(g) = g**3 + 11*g**2 + 2*g + 25. Let b be n(-11). Suppose -3*j + 4*j = -2*p, 0 = 3*j + b*p. Which is bigger: z or j?
j
Let c = -28125 - -28130. Is 0.0105 at least as big as c?
False
Let r(q) = -4*q**3 + 53*q**2 - 24*q + 142. Let l be r(13). Which is smaller: -3/194 or l?
l
Suppose -5*q = -3*i - 20076, -33*q + 5*i + 12036 = -30*q. Is q at most as big as 4018?
True
Let r be 5 - (-14 + 13) - 542. Are r and -542 unequal?
True
Let p = 20163 - 20162. Are p and 396/277 equal?
False
Let o be 82/(-3)*(-24)/(-16). Let v = o + 44. Suppose -2*d - 2 = 5*s - 0, 0 = -4*d - v*s - 4. Which is bigger: -2/11 or d?
-2/11
Let a be (0 + (-555)/10)/(1/(-2)). Let z be 186/4*4/8*-4. Let t = a + z. Which is smaller: t or 20?
t
Let a = -14163 + 13117. Which is smaller: a or -1041?
a
Let t = -0.03732 - -2.21732. Which is smaller: 1 or t?
1
Let m be ((-72)/(-216))/(-1495 - 1*4/2). Are m and 0 unequal?
True
Suppose 6212*c = 6195*c - 55794. Which is greater: -3281 or c