hich is bigger: l or u?
u
Suppose 6*h - 2*h = 40. Let l(f) = -f**3 + 6*f**2 + f - 11. Let p be l(5). Suppose 0 = -2*w + p + 1. Do w and h have the same value?
True
Suppose 0*r = r - 4. Suppose 4*a - 5*a = 0. Let y = r - a. Which is bigger: y or 3?
y
Suppose 0 = 5*i + 5*h - 25, 3*i - 5*h = -0*h - 1. Let b be i/(2 - 28/8). Which is smaller: -3 or b?
-3
Let w = 1845 - 1241. Is w < 0.2?
False
Let g be (-6 - (3 + -8))/((-1)/710). Is g bigger than 711?
False
Let o be (13/39)/(2/154). Let i = o - 26. Does i = 0.08?
False
Let g be (-8 - 1) + (-152)/(-38). Are g and -5 non-equal?
False
Suppose 3*f - 9 = -5*a, 2*a + f + 15 = 6*f. Which is greater: a or -68?
a
Let a be -7*(3 - 4) - 2. Let c be (-3*3/a)/(8/(-40)). Is 13 at least as big as c?
True
Let f = 50 + -35.2. Let n = f + -15. Is n bigger than -5/2?
True
Let z(f) = -5*f**3 + 6*f**2 + 4*f + 16. Let o be z(5). Which is smaller: o or -438?
o
Suppose -7*s - 5 = 9. Let a = s - -1. Which is smaller: -1/86 or a?
a
Suppose 144*g = 143*g + 20. Let k be 8 + (-1 + 2)/1. Suppose 0 = k*l - 11*l - g. Are -1/2 and l non-equal?
True
Let n(o) = 3*o**3 - 2*o**2 + 25*o - 6. Let b be n(4). Which is bigger: 253 or b?
b
Let h = -125 + 124. Let o be (-7)/(-21)*3/h. Which is smaller: o or -12?
-12
Let p be (-32)/40*(-4)/((-352)/10220). Are -93 and p equal?
False
Let z = 33182/35 - 948. Which is greater: z or 0?
z
Suppose -3*i = 6*i + 9. Let o = -327/4 - -81. Which is smaller: i or o?
i
Let x = -13 - -64/5. Suppose -2*s + 4*y = 6, 9*s - 12*s = 2*y + 41. Is x less than or equal to s?
False
Let q be ((-15)/5 - 0) + 5. Let a be (2 + (-4)/q)/2. Which is smaller: a or -1/5?
-1/5
Suppose 0 = -a + 10 - 36. Let d = a + 16. Let h = -11 - d. Is -1 <= h?
True
Let l be (-4 + (-8)/4)*-2. Let s = 76537/5698 + -3/814. Which is smaller: s or l?
l
Let l(j) = -5*j - 11. Let o be l(-4). Let m be (-18)/81 + (-7)/o. Which is greater: -1/15 or m?
-1/15
Let b(q) = q**2 + q + 67. Let j be 0/(((-63)/(-3))/3 - 4). Let x be b(j). Is 66 greater than or equal to x?
False
Let p = -68 + 69. Let v be -1 + ((-13)/11 - -3). Is v < p?
True
Let w be 302/4 - (15/(-2))/5. Is w smaller than 77?
False
Let k = -1.1 - -6.1. Let j = -4.7 + k. Let m = 23/70 - -1/14. Does j = m?
False
Let k(o) = 2*o**2 + 59*o - 50. Let j be k(-31). Which is bigger: 48 or j?
48
Let s = -494 - -119. Which is greater: -747/2 or s?
-747/2
Let c = -0.061 + 1.261. Let j be 4/(-10) - 144/(-10). Suppose 3*s + j = s + 5*x, 3*s + 2*x + 2 = 0. Is c < s?
False
Suppose -3*z = -4*p - 22, z = -0*p - p - 9. Let d be 3/15 + (-208)/(-10). Suppose 0 = -4*j + j - d. Is p at least j?
True
Suppose -392 = 659*j - 645*j. Suppose 93 = 3*b + 3*f, b - 17 - 8 = 2*f. Let y = b + j. Which is greater: y or 4/11?
y
Let h be 2727/(-4770) - 15/(-25). Which is smaller: h or -1?
-1
Let s = -16171/35 - -462. Suppose 4*a = a. Which is bigger: a or s?
a
Suppose -2*k - k + 3*v + 18 = 0, 0 = k + 2*v - 3. Which is greater: -7 or k?
k
Suppose 3*m = 4*m. Let v(j) = -j**2 + j - 3. Let q be v(m). Let g(d) = d**3 - 3*d**2 + d - 1. Let s be g(2). Is s < q?
False
Let x = -0.56 + -0.04. Let k = 8 - 7.4. Let t = x + k. Which is bigger: 0.1 or t?
0.1
Suppose -4*l + 16 = 4*z, 3*l - z - 12 = -2*z. Let i be (25/(-540))/5*6/l. Do i and -1 have different values?
True
Let t = 34.67 - 35. Let h = t - -1.33. Is 8 < h?
False
Let j = 3491/12 + -875/3. Is -2/713 at most as big as j?
False
Let y = 15 + -62. Let f be ((-48)/144)/(2/276). Which is smaller: y or f?
y
Let u be (-9)/(-21) - 1238/(-42)*-3. Which is smaller: 1/5 or u?
u
Let y = 194 - 89. Let l = y - 106. Which is greater: 4 or l?
4
Let s(g) = -g**3 + 5*g**2 - 5. Let u be s(5). Suppose -k + 3*k + 20 = 0. Let c be k/(1 - (-1 - 0)). Does c = u?
True
Let d be (-3 - -8) + -2 + -6 + 1. Let b(a) = 0*a + 2*a + 2*a - 3 - a**2 - 5*a. Let c be b(0). Which is smaller: c or d?
c
Let i be (0 + 0)/(1 + -3). Suppose i = 4*l + l - 25. Suppose 6 = l*f - 4. Which is greater: -2/7 or f?
f
Let w be ((-4)/10)/(1 - (-222)/(-220)). Suppose -7*m + w = 16. Which is smaller: m or 8/3?
8/3
Let h = 17 - 26. Let f = 1 - h. Let o = 11 - f. Which is smaller: 1/10 or o?
1/10
Suppose 2*j = -444*f + 448*f + 44, -6 = -j. Let y = -0.2 - -0.1. Is y equal to f?
False
Let d = -6983/5 - -1375. Is d > -22?
True
Suppose 0 = 9*f - 13*f + 3*i + 442, 0 = 3*f - 2*i - 331. Let u(c) = c**3 - 9*c**2 - 11*c - 12. Let o be u(11). Are f and o nonequal?
False
Let l(s) = s**3 + 17*s**2 + s + 6. Let z be 17/(-2)*(12 + -10). Let k be l(z). Which is bigger: -12 or k?
k
Let m be (-1)/1*28*-1. Let j(u) = 4*u**3 - u**2 + 3*u - 7. Let s be j(2). Which is smaller: s or m?
s
Let u be 4*(1 - -2 - 2). Let o(z) = z**2 - 6*z + 5. Let i be o(u). Let b = 1886/7 + -271. Which is bigger: i or b?
b
Let x(k) = k**3 + 14*k**2 + 14*k + 14. Let d(y) = 3*y - 7. Let h be d(-2). Let o be x(h). Suppose 2*s = j - 6, 5*s - 5*j + 18 = s. Which is bigger: o or s?
o
Suppose -4*t = -0*t + 20, r + 3*t = -12. Suppose -2*b = r*b - 20. Which is bigger: b or 1?
b
Let b(f) = f**2 + f - 6. Let u be b(-5). Suppose w - 3*w = 0. Suppose 0 = 3*z, w*n - 5*z = 3*n - 42. Are n and u equal?
True
Suppose -3*o + z - 1512 = -453, -o - 353 = -z. Which is bigger: -354 or o?
o
Suppose m = -5, 24 + 151 = 5*l + 2*m. Let c = -20 - -25. Suppose c*k + 18 + l = 0. Which is greater: -12 or k?
k
Let w = 69551/62 + -4487/4. Is 0 less than w?
True
Let s(m) = -m**3 - 11*m**2 + 4*m + 42. Let y be s(-11). Are 0.081 and y equal?
False
Let r = 266 - 129. Let f = 66 - r. Is f >= 2/9?
False
Let m be (36/(-45))/(3/(-90)). Let h be (3 + 3)*m/18. Which is greater: h or 7?
h
Let l = 996.05 - 996. Which is greater: l or 28/19?
28/19
Suppose -4*o = -h + 2315, -3*o - 1231 = 5*h + 488. Which is bigger: -579 or o?
o
Let i = 93.3 + -93. Suppose -5*w - 29 + 6 = f, 2*w + 11 = -f. Let l be (f/(-9))/((-9)/6). Do l and i have the same value?
False
Let u = 5.19 - 4.9. Let w = u + -0.4. Is 3 smaller than w?
False
Let p = -121/3 + 40. Let n = 190 - 201. Let x(a) = -2*a**2 - 22*a + 1. Let h be x(n). Which is smaller: h or p?
p
Suppose -2*f = 513 + 515. Let x be (-14)/(-35) - f/(-1260). Let o = x - 3/14. Is o != 4?
True
Suppose -g - 4*g - 15 = 0. Let b be (-8)/(-52)*1/g. Suppose 2*m = -3*m + h - 1, 5 = 3*m + 5*h. Which is smaller: b or m?
b
Suppose -22 = 10*f + 8. Let s(k) = -k**3 + 3*k. Let a be s(2). Are f and a equal?
False
Let t be 14/14 + (-8718685)/1960728. Let o = t - -8/35013. Let a = 23/8 + o. Is 0.1 greater than a?
True
Let x be 2 + 0 - (38 - 29). Let w be (-8)/(-12)*2*-3. Which is greater: x or w?
w
Suppose 0 = -5*f - 23 + 73. Let l be (8 + 0)*(-15)/f. Let m be 5/33 + 4/l. Which is bigger: m or 1?
1
Let x be (-110)/(-60) - (-2 - 11/(-6)). Suppose x*b + 17 = -9. Is -15 at most as big as b?
True
Let g be (-4)/8*16/(-672). Which is smaller: g or 0?
0
Suppose 8*z = 10*z. Which is smaller: z or -33?
-33
Let l = -12/187 - 2/17. Let p(o) = o + 4. Let u be p(-4). Suppose 2*g = -u*g. Which is smaller: l or g?
l
Suppose 0 = -23*a + 22*a + 14. Suppose -a = -s + 3. Is s < 17?
False
Suppose -3*h - j = 2*h - 135, 38 = h - 2*j. Suppose -2*r + 82 = 26. Is r greater than or equal to h?
True
Let a = -35736/13 + 235995/91. Let n = a - -156. Which is smaller: 0 or n?
0
Let y = 32.07 + -0.07. Let t = 19 - y. Which is bigger: -0.2 or t?
-0.2
Let c be 1 + -3 + 10876/4785. Let o = 1405 - 448197/319. Let b = o + c. Which is smaller: b or -1?
-1
Let a = -10 + -45. Let r = a - -55. Is r <= -1/86?
False
Let z = 0.4 - -17.6. Let p = z - 1.2. Let m = p - 17. Which is smaller: m or -3?
-3
Let b = 15 - 20. Let o = 5 + b. Suppose 4*q + 5*y = 27, -2*y = -3*q - o*y + 3. Is 13/4 <= q?
False
Let a = -41.82 - 8.28. Let g = a + 50. Which is bigger: -33 or g?
g
Let s(w) = -w - 5. Let m be s(-7). Let i be 3 + -6 + -2 + m. Suppose -3*r - 3 + 5 = 2*t, -4*t - 5*r = 0. Which is smaller: t or i?
t
Let b = 31 + -29. Let m be -1*((b - 0) + 25/(-5)). Is 3 greater than m?
False
Let a = 791 + -822. Which is bigger: -34 or a?
a
Suppose 43*v = 41*v + 728. Does v = 364?
True
Let h = 0.277 - -67.723. Which is greater: -2 or h?
h
Suppose 4 - 3 = -q. Which is bigger: q or -2/427?
-2/427
Let p be (-2)/((-2)/(-16)*2). Let w be ((-2)/p)/((-2)/(-12)). Let z = -422 + 423. Is z < w?
True
Let z = -9.34 - -9.34. Does 0.202 = z?
False
Let s be ((-512)/(-160))/(106/10). Let d = s