o be (-9)/(1296/q) - (-1)/(-4). Which is bigger: 1 or o?
o
Let y = -4432 - -4431. Which is smaller: y or 6/421?
y
Let x = 38 + -30. Suppose 4 = -7*d + 32. Suppose 2*b = l + 4, -x*b - 4*l = -d*b + 16. Which is greater: b or 2/157?
2/157
Let m be 9/15*(-1150)/(-175)*21/18. Suppose 0 = n + 3*l - 10 - 11, 25 = 5*l. Do m and n have the same value?
False
Let p(v) = v**3 + 23*v**2 + 3. Let q be p(-23). Suppose -110 = -q*n + 88. Let s be (-1 - 2) + 3/(n/70). Is 0 smaller than s?
True
Let c be (-165 - 8)*3/(-8). Let r = c + 525/8. Are 132 and r equal?
False
Let g(s) be the third derivative of s**5/60 - 7*s**3/6 + 17*s**2. Let m be g(-3). Suppose -11*i + 12 = -5*i. Do i and m have the same value?
True
Suppose -6*w + 3*w - 15 = 0. Suppose -189*p + 192*p + 3*a - 12 = 0, 0 = -3*p + 3*a - 24. Is p equal to w?
False
Suppose 11*m - 18*m = 91. Let i = -10 - m. Which is greater: i or 10?
10
Let i(a) = -a + 16. Let h be i(9). Suppose 2*k - h = -7. Let x be 1 + 5/(-20) - 125/220. Is k at most x?
True
Let f(c) = -144*c + 6924. Let p be f(48). Suppose s = 3*d - s + 6, -2*d = 2*s - 6. Is p not equal to d?
True
Let k be ((-4)/8 + (-1)/(-6))*-15. Let i be 28/16 + (5/4)/k. Let f be ((-80)/(-28) + -4)/i. Is -2 > f?
False
Let p = -398.558 + -0.442. Let n = p + 392. Let y = -1 + 1. Is n <= y?
True
Let j = -13.1 - -13.204. Let g = 0.066 + j. Let a = g - -2.83. Which is smaller: 1 or a?
1
Let y be (-8*8/(-48))/((-2219)/(-189) + -11). Suppose -3*p + 5*k = -9, k - 15 = -5*p - 3*k. Which is greater: y or p?
p
Suppose 5*u + 36 + 154 = -5*s, -2*s = -2*u - 84. Let h be 2/(-10)*1 + u/(-25). Do 1 and h have the same value?
False
Suppose 200 = 55*m - 45*m. Let s be (-17 - -14)/((-6)/m) - 0. Which is greater: s or 7?
s
Suppose 26 = 5*i + q, -3*i + 5*q = 99 - 109. Which is smaller: 217/43 or i?
i
Suppose -n - 163 = 2*j, -55*n + 59*n - 12 = 0. Let a be (-2)/11 - (j/33 + 2). Is a equal to 115?
False
Let q = -0.072 + 1.072. Let d = 28.02 + -246.02. Is d at most q?
True
Suppose 5*u = 10, -3*b - 5*u + 24 + 34 = 0. Suppose -b = 5*g - 6*g. Suppose -18*n + g*n = 2. Which is smaller: n or -3/7?
n
Let l be (-240247)/(-3840368) + 4/(-64). Is -1 bigger than l?
False
Let x be ((-2)/8)/((-3)/(-6)). Let j = 4063.86 + -4025. Let c = 2.86 - j. Which is bigger: x or c?
x
Suppose -4*c + 2*s - 748 + 62 = 0, 5*s + 313 = -2*c. Which is smaller: -170 or c?
-170
Suppose 3 = -h, -371*f - 15 = -373*f + 3*h. Suppose -4*z = 2*j - 98 + 368, 3*z - j + 200 = 0. Which is greater: z or f?
f
Let c = 137 - -7436. Which is smaller: c or 7572?
7572
Suppose 25 = -2*y - 3*b, 79 = 2*y - 3*b + 134. Which is greater: y or -511/24?
y
Suppose 0*y = -2*y - 34. Let j be -16 - (-21 - 16) - 38. Do j and y have the same value?
True
Let m(u) = 2*u**2 + 11*u - 2. Let h be m(-6). Let w be (h/18)/(8/36). Let l be -3 + 0 + (w - 18)*-1. Which is smaller: l or -3?
-3
Let z = 24113/2 + -12056. Which is smaller: 13109 or z?
z
Let r = 7 + 3. Let f = 11.1 - r. Let j = f + -1.1. Is j bigger than -2?
True
Let v = 4032 + -3603. Which is bigger: v or 3848/9?
v
Let l = -28961 - -28960. Is l less than 9/539?
True
Let b = 54997/50 + -1100. Let i(m) = -m**3 + 14*m**2 + 35*m - 47. Let f be i(16). Which is bigger: f or b?
f
Suppose -3*c - 44 = 2*u, 8*u - 3*u + 38 = -3*c. Let d be (c/(-6))/((-2)/(-3)). Is 36/11 greater than d?
False
Let o be (-3)/6*0*(-6)/(-6). Let f = -5281/8030 + 50/73. Is f >= o?
True
Let y = 0.17453 - -388.82547. Let u be (2 - 2) + (-1)/(-3). Which is greater: y or u?
y
Let b = 2516/9 - 110983/396. Let m = 619/308 - b. Is 4 not equal to m?
True
Let c(i) = -i**3 + 19*i**2 - 20*i + 2. Let t be c(18). Let b = -25 + t. Is b <= -62?
False
Let v = 42.7 + -33.7. Let i = -75 - -372/5. Is i < v?
True
Suppose 1230 - 184 = -110*v + 56. Is v != 70?
True
Let u(c) = -c**3 + 24*c**2 + 24*c + 26. Suppose -107*q + 175 = -100*q. Let w be u(q). Which is smaller: w or -15/41?
-15/41
Let t(u) = u**2 - 23*u + 94. Let r be t(10). Let n be 46 + -38 - (r - 1). Let f = -33 - -79. Which is smaller: n or f?
n
Suppose 4*a = 4*c - 28, 20*c = 4*a + 19*c + 16. Is a > 11?
False
Let w be 8/(-16) + ((-14601)/150)/1. Let m = -98 - w. Which is smaller: m or -2/3?
-2/3
Let q = 97/8 - 1201749/99112. Is q less than 1?
True
Let p(t) = 2*t**3 - 3*t**2. Let n be p(2). Let d = -6108 + 6113. Suppose -c = d*f - 1, f + 0*f + 4*c = n. Which is bigger: f or 21?
21
Let r be ((-5282)/570)/((-1)/(-411)). Do r and 0 have the same value?
False
Let s = -237 - -244. Let h(x) be the second derivative of x**3/2 - 7*x**2/2 + x. Let g be h(s). Which is smaller: 2 or g?
2
Suppose 0 = x + 4*x - g - 17, -2*x = 5*g + 4. Let o be -6 - (-294)/35 - (3 + -1). Let q = o + 4/15. Which is smaller: x or q?
q
Let s = 9 + -10. Let j be (3 + s)/((-4)/(-32)). Suppose -3*v + 170 - 122 = 0. Is v > j?
False
Suppose 5*j - 2*s - 606 = 0, 4*s = 5*s - 2. Let r = j - 3417/28. Let c = -2 - -3. Which is bigger: c or r?
c
Let y be (-2)/10 + 369/45. Let x = y - -37. Suppose 2*n + 5 - x = 0. Do n and 18 have the same value?
False
Let w be (-14)/(-1) - (3 + 1). Let k be -1 + 402/w + (-18)/90. Suppose 0 = 6*x - k + 93. Which is greater: -11 or x?
x
Let k(b) = 51*b**2 + 18*b - 4. Let u be k(-2). Suppose -165*p + u*p - 263 = 0. Which is bigger: p or -264?
p
Suppose 14*o = 8*o + 24. Let m be (-7)/1736*o/3. Is m >= -1?
True
Let f = -3094 - -1010. Is -2083 greater than or equal to f?
True
Let c = -81 + 113. Let k be (-1)/(20/c)*5. Let q be (0 - 1)/(6/(-36)*k). Is q <= -2/3?
True
Let q = -25363/4 + 6358. Which is bigger: q or -1?
q
Let r = 8852 - 15439. Which is bigger: -6588 or r?
r
Let j = 0.268 + 12.732. Let p = -13.06 + 0.56. Let f = p + j. Is -5 > f?
False
Let y(h) = 3*h**2 + 159*h + 2035. Let v be y(-21). Let c = 41 + -22. Is c bigger than v?
False
Let d = -5444 + 5354. Which is smaller: d or 2?
d
Suppose 0 = 5*k - 95 + 70. Let t be -3 + 38/14 + k/15. Which is smaller: 0 or t?
0
Let k be ((-3246)/219)/2 - 119/(-17). Are k and 1 equal?
False
Let m = -81/193 + 249425/1544. Is m less than 161?
False
Let z = 12063 + -12038.6. Is z at least 18?
True
Let f = -229.8 - -156. Let k = 74 + f. Is 2/3 >= k?
True
Let n be (-16 + 196/12)/(1/(-543)). Is n equal to 1?
False
Let c = 1014 + -98356/97. Let b(y) = -y**3 + 10*y**2 - y + 9. Suppose -5*m + 3*g + 38 = 0, -m + 0*g + 6 = -g. Let s be b(m). Which is greater: c or s?
c
Let v = 0.9519 + -0.8479. Which is smaller: -3 or v?
-3
Suppose -2*v - 50 = -5*b - 135, 0 = 3*v. Let q(k) = 43*k - 1. Let m be q(2). Suppose -3*z = 2*z + m. Do z and b have the same value?
True
Suppose -23*v + 48 = -17*v. Suppose 6*p = p - 20, p - v = 2*j. Which is smaller: j or -19/4?
j
Let o be -226*(-2082)/(-1152) + (1 - 1). Let z = o + 1226/3. Is z at most as big as -1?
False
Let l = -2013.2 - -1905.7. Which is greater: 0.3 or l?
0.3
Let g be 716/(-1336) - (-3)/6. Let c(f) = -7*f**3 + 19*f**2 + 78*f + 10. Let l be c(5). Is g at least as big as l?
False
Let b(o) = 4*o - 26. Let t be b(12). Let a be 2*(-3 + t/4). Suppose -5*u + 95 = z + 299, a*u - 5*z + 210 = 0. Which is smaller: u or -40?
u
Let t(p) = p**3 + 16*p**2 + 26*p - 46. Let n be t(-14). Let f be 1798*2/16344 + 4/n. Do 1 and f have the same value?
False
Let y = 136 + -161. Let f be 100/(-26) - (-21 - (y + 9)). Suppose -3*n + 5*c + 25 = 0, 14 = -n - 3*c - 1. Is f smaller than n?
False
Let z be (-70 + 1)*(282/846)/(6/958). Is -3672 >= z?
True
Suppose -11*h = -14*h. Let c = 16185 + -453193/28. Which is bigger: c or h?
h
Let n be ((-1)/(-1*43))/((-17)/17). Let k = n + 231/688. Is -1 != k?
True
Let r = -6130.9 - -6131. Is -64.87 greater than r?
False
Suppose 0 = 110*t - 75*t + 3745. Which is greater: t or 6?
6
Let f(k) = 8*k**2 + 4*k + 8. Let s be f(6). Suppose 0 = -x + 6*x + s. Let b be 152/x - 1*-3. Are 1 and b equal?
False
Let m = 908 + -932. Let q be (-4)/2 + 9 + m + 18. Which is smaller: q or -3/416?
-3/416
Let a be (-31)/(-3)*(-30)/520. Let b = a - -3/4. Let v = b - 19/39. Is -3.5 smaller than v?
True
Let g = -305 + 280. Let h be -1*-5*((-20)/g)/4. Which is smaller: -5/48 or h?
-5/48
Let b be (1 + 14/(-6))*5850/21900. Which is greater: 0.1 or b?
0.1
Let m = 66 + -44. Suppose 2*q + 3*v - 22 = 0, -m = -2*q - 0*q - 4*v. Let p(j) = 6*j + 13. Let g be p(0). Which is bigger: q or g?
g
Let s be 5 - (-177)/5 - 6/(-10). Let m be 11 - -6*5/(-10). Suppose m*l - 3