t d be f(3). Which is smaller: d or 272?
272
Let b(h) = -219*h**3 + 7*h**2 + 7. Let l be b(-2). Is l >= -2/3?
True
Let s = -296 - -417. Let z = 102 - s. Is z greater than -21?
True
Let f(v) be the third derivative of 0 + 5/6*v**3 - 1/6*v**5 + v**4 + 4*v**2 + 0*v - 1/120*v**6. Let a be f(-12). Is a less than -0.1?
False
Suppose -5*a - 6*a - 44 = 0. Let i be -5 - (-4 - (a + 7)). Suppose 4 - 7 = 5*g + i*r, -16 = 4*r. Which is smaller: -3/59 or g?
-3/59
Let q be 2 + (-2)/(-2) + -1 + 18/(-7). Suppose -8 = -3*l + l, -3*c = 3*l - 18. Let f = 2 - c. Is q > f?
False
Suppose -445*t + 92400 = 875*t. Suppose 4*i - d + 4*d - 273 = 0, 3*i - 210 = 3*d. Which is smaller: i or t?
i
Let r = 138/7 + -20. Let x = 26.63 - 24. Let s = -0.63 + x. Which is smaller: r or s?
r
Let p = -3330454567 + 2514492450514/755. Let a = p - -4951/5. Let j = 730/3171 - a. Which is greater: 0 or j?
j
Let a = 13 + -21. Let k be a + -1 - (2 - 3). Suppose -171*n - 1939 - 168 = 130*n. Is n smaller than k?
False
Let i(c) = 8*c**2 + 24*c - 1. Let r be i(-3). Let x be (196/42)/((-2)/3). Is x smaller than r?
True
Let p = 11261 + -11260. Which is smaller: p or 15/314?
15/314
Suppose 38 = -4*q + 7*y, -79*q + 2*y - 7 = -74*q. Is -1/9545 <= q?
True
Suppose -40*u + 40339 = 9859. Is 762 greater than or equal to u?
True
Let u = -9010 + 35651/4. Is u greater than -96?
False
Let b = -16273 - -16262.6632. Let y = -0.0632 + b. Is y > 0?
False
Suppose 0 = -h - 14*h. Suppose 0 = -4*z - 4*w - 1516, -3*w - 6 = -h. Is -378 equal to z?
False
Let l = 14 + 39/5. Let h = -661/20 + l. Suppose -3*a + 3*k = 24, -10*a - 2*k = -5*a + 61. Which is smaller: a or h?
h
Let h = -12891 - -51565/4. Let a(l) = l**3 + 3*l**2 - 3*l + 4. Let q be a(-4). Is h at least q?
True
Let o = 1070 - 980. Let k be (7 + 82)*(0 - 0 - -1). Is o greater than or equal to k?
True
Suppose 2*y + 214 = -5*q - 72, 0 = 5*q - 5*y + 300. Suppose 56*x - 135 = 47*x - 90. Is x greater than or equal to q?
True
Let b = -34 + 47. Let r = 155.61 - 12.61. Let l = 143.3 - r. Which is greater: b or l?
b
Let c(a) = a + 41. Let m be c(8). Suppose -35 = m*o - 44*o. Which is bigger: -8 or o?
o
Suppose -3400 + 5128 = -8*c. Is c < 0.7?
True
Let t(b) = 8 - 1603*b**3 - b + 10*b**2 + 0*b + 1602*b**3. Let u be t(10). Let s be (u/26)/((-4)/8). Which is greater: 0 or s?
s
Suppose 65*p = 74*p - 42930. Suppose 1940 = 22*f - p. Is 306 at least as big as f?
True
Let d be 28/(-7) - (-1 + -8). Suppose -2*g - 3 = -3*n, d*n - 28 = -2*g - 7. Is 28 > g?
True
Suppose -4*p + 2*p + 17 = -3*d, 0 = -5*p - d + 17. Suppose 0 = -h + p*r + 12, -3*h - 3 = -8*h + r. Is h equal to -0.139?
False
Let d be (-73)/((-5)/(3015/(-3204))). Let b = d - -55/4. Which is greater: b or 0?
b
Let w = -559 + 557. Let u be ((7 - 7)/4)/w. Which is smaller: u or -2/51?
-2/51
Suppose 5*y - 3*u - 116 = -0*u, 5*y = -2*u + 106. Suppose y*j - 16 = 18*j. Suppose -f - 4*b - j = 0, 0 = 6*f - 2*f - 3*b - 60. Is f equal to 14?
False
Suppose g - n - 74 = 0, -12*n + 8*n + 16 = 0. Let x be (g/120)/((-4)/10). Suppose 0*s + 9 = -4*s - y, 4*s = 2*y + 6. Which is smaller: s or x?
x
Let y(s) = -4*s**3 - 32*s**2 + 20*s + 7. Let f be y(-8). Suppose 2*h = -2*t - h - 316, -5*t = h + 777. Which is greater: f or t?
f
Let l = 1036 - 897. Which is greater: l or 1105/8?
l
Suppose -z + 5*z + 17*z = -4*z. Is z bigger than -2/1167?
True
Let l(n) = 3*n - 10. Suppose 2*d - 5*v = -14 + 53, 0 = 2*d + 4*v + 6. Let m be l(d). Suppose 6*q = m*q - 65. Are q and 14 non-equal?
True
Let r = 14884 + -16610543/1116. Let f = r + -14137/1116. Suppose 4*v - 3*y + 58 = 0, -v - 2*v = 4*y + 31. Which is bigger: v or f?
f
Let x be 35/20*26/24. Let z = x + -9/16. Let l = -146/9 + 152/9. Which is smaller: l or z?
l
Let k be (76/(-95) - (-2141)/2680)*(-30)/216. Which is bigger: k or 0?
k
Let r be (-8)/72 + (-57)/(-270). Let n = 43/30 - r. Which is greater: n or 1?
n
Let a = 2007 + -5502. Is -3494 at least a?
True
Let o = 423 + -146. Let t = o + -231. Which is greater: 48 or t?
48
Let q be 4/14 + 296/252*-1. Let j = 5.002 - 0.002. Let w = j + -5.1. Are w and q unequal?
True
Let u be (-26068)/2401 + -17 + 1. Is u <= -26?
True
Let r = 0.0738 + 0.8262. Let j = -0.8 + r. Which is bigger: j or -23?
j
Suppose 22*w - 26*w - 5 = 5*p, -4*p - 3 = 3*w. Is 315/107 greater than p?
False
Let p be (796/(-8) - -2)*8/6. Let r = 93 + p. Let k = -44 - r. Is -6 >= k?
True
Suppose -98*w + 1933 - 1835 = 0. Are w and -3/1780 non-equal?
True
Let g(q) = 3*q + 7. Let a be g(-5). Suppose 0 = -4*y + 6*s + 172 - 124, 0 = 3*y + s + 30. Is a > y?
False
Suppose -4*r + 3*w + 2*w - 4553 = 0, r = 2*w - 1133. Is r < -1145?
True
Suppose -83*f = -82*f + 103. Which is greater: f or -15?
-15
Suppose 11*a - 8208 = 17*a. Let m be (80/a)/(5/(-6)). Are 0 and m unequal?
True
Suppose -2*r - 5*h - 205 = 0, 0 = r - h + 38 + 54. Let d be 6/(1 + 85/r). Let p be (-2)/d + 40/60. Is 0 != p?
True
Let i be 1/(9985/(-2495) + 4). Let l = i + 4493/9. Is 26 smaller than l?
False
Suppose -218*i - 40 = -40. Is -33/178 at most i?
True
Let f be ((-40)/(-17025))/4*-651. Let c = f - 4/227. Is c smaller than 18?
True
Let a(q) = q**2 - q - 11. Let p be a(4). Let y be ((-12)/6 + 1)/p. Are 3 and y equal?
False
Suppose -24*w + 467 = -781. Let a = w - 42. Which is greater: -4/5 or a?
a
Let f = 189 + -191. Let g be (f/7)/((-1227)/203 + 6). Is g >= 7?
False
Let o be 163293/326162 - (-1)/(-2). Is -1 not equal to o?
True
Let j = 0.03 + -4.53. Let y = j - -6.7. Let b = y + -0.2. Which is smaller: 8 or b?
b
Let f = -1036 + 7286/7. Let h be (((-110)/(-8))/11)/(1/4). Suppose 0*u + 9 = h*s - 4*u, -5*u = -s - 15. Does f = s?
False
Let j(x) = -x**2 - 7*x + 12. Let d be j(-8). Suppose 0*z + 3 = d*u + z, -5*u = z - 5. Let a be ((-240)/(-280))/(4/(-14)). Which is greater: a or u?
u
Suppose 2*j + b - 12 = 0, -2*j + 4*b = -0*j + 8. Let o be 62/(-1)*((-6)/j)/(-3). Is o not equal to -32?
True
Let z be (96/80)/((-13)/(-15) - 1). Let b(i) = -i**2 + 12*i + 125. Let a be b(-7). Which is smaller: z or a?
z
Suppose -5*w = -62 - 63. Suppose 5*m - y = -6*y + w, 0 = -3*m - y + 25. Suppose -m*g - 177 = -13*g. Are 59 and g equal?
True
Let a be (-3 - 0) + (-4)/(-20)*-709. Let i = a - -144. Which is smaller: i or -0.03?
i
Let z = -21 + 103. Let d = z + -77. Which is smaller: 0.2 or d?
0.2
Let k = -5260014370/29057 - -181024. Is 0 smaller than k?
False
Let v = 245/632 + 1175843/5688. Let g = v - 550/3. Let y = -17111/720 + g. Is y less than or equal to -1?
False
Suppose -861*j + 492*j = -12546. Let n be (50/(-8))/(3/(-16)). Is n greater than j?
False
Let y = -244 - -88. Let a = y + 152. Which is greater: a or 0.21?
0.21
Let z = -809 + 812. Let s = -20.972 + -0.028. Is s at most z?
True
Let o = 6 - 8. Suppose 3*r = 2*j - 22 + 87, 5*r = 4*j + 125. Let i be 248/(-170) + (-10)/j. Is i smaller than o?
False
Suppose 35 = -11*o + 90. Suppose o*x = 3*l - 8, 2 = 3*l - 2*x - 3. Which is greater: l or 20/19?
20/19
Suppose -5*s - 69 = -59. Let a be (0 + -1)*1*10/s. Suppose a*c = 2*c + p - 21, -15 = -5*p. Is c less than 1?
True
Let t(v) = -2 + 1 - 2 - 8*v - 2*v**2 - 3*v. Let a be t(-5). Let s(b) = b**3 - 2*b**2 - 2. Let r be s(a). Are r and 0 non-equal?
True
Let l be 112/84*762/8. Suppose 3*z - 56 = 3*v + 55, -l = -3*z - 5*v. Which is bigger: 75/2 or z?
z
Suppose -3*q + z = -1 + 15, 5*z - 20 = 5*q. Let s be 5*(-6)/(-1 + q). Suppose s*o = -3*w - 21, -w = o + 4*o + 17. Which is greater: -5 or o?
o
Let t = 271 + -1075/4. Let q be 58*1/5 - 0. Let g = -532/45 + q. Do g and t have the same value?
False
Suppose 4*b - 2*h - 22 = 0, b + 3*b + 5*h - 15 = 0. Let k(d) = 15*d + 8 - 43*d - 16 - 22 - 19 + 3*d**2. Let y be k(11). Which is greater: y or b?
y
Let u(c) = c**2 + 6*c - 1. Let j be u(-6). Let n be 36*((-525)/50 + 11). Is j at least as big as n?
False
Let x be 10870/14504 - ((-202)/(-248) + 22/(-341)). Which is bigger: -1 or x?
x
Let r = 515/698 - 83/349. Let u = 3.13 - 3. Let i = u + 1.67. Is i less than or equal to r?
False
Let d = 38 - -172. Let u = 250 - d. Let m = 0.7 + -1.7. Is u bigger than m?
True
Let w = -5281 + 89744/17. Let o = -13 + 12. Which is smaller: w or o?
w
Let f be (4/259)/(464/(-4872)). Which is bigger: 14 or f?
14
Let m = -7352 - -7351. Which is smaller: m or 3/4555?
m
Suppose 0*p = -2*p + 2*u - 18, 0 = -4*p - 4*u - 20. Let v = p + 7. Let i = -18 - v. Which