 268 - 2950/11. Let v be ((-5)/(-15))/((-6)/(-36)). Which is bigger: v or h?
v
Let g = 181609/30 + -18160/3. Is g not equal to 10/19?
True
Let q = -5.771 + 2.771. Which is bigger: q or -29/24?
-29/24
Let q = -1.5 - -1.5. Let m(r) = 3*r**2 - 21*r - 8. Let a(z) = -z**2 + 5*z + 2. Let j(x) = -9*a(x) - 2*m(x). Let w be j(-1). Is q at most as big as w?
True
Let t(m) = 9*m - 6. Let w be t(1). Suppose 4*q - j + 6*j = 32, -w = 3*q - 3*j. Which is bigger: 101 or q?
101
Let k(q) = -7*q**2 - 15*q - 8. Let i(j) = -8*j**2 - 16*j - 8. Let g(c) = -6*i(c) + 7*k(c). Let b be g(-6). Let m = -2.2 + 2.3. Which is smaller: b or m?
m
Let a = 718 + -759.7. Let l = a + 1.7. Which is smaller: 3 or l?
l
Let j = 370 - 160. Suppose -2010 = 20*r - j. Is -87 greater than or equal to r?
True
Let p(z) = 37*z - 131. Let a be p(0). Is -125 < a?
False
Let o(b) = b + 5. Let w be o(-1). Suppose -2*f - 4 = 2*f, w*r = 4*f + 48. Let s be (3/139 - 0/r)/3. Is s != 1?
True
Let v be (-4)/(-3) - ((-496)/(-48) - 1). Suppose -r - s + 0*s = -5, -5*r + 5*s + 15 = 0. Let m be r/(-14) + 150/(-21). Which is smaller: m or v?
v
Let k(g) = -2*g**3 + 5*g**2 - 2*g - 3. Let h be k(3). Let q be 4/((-2)/8*h). Let z = 777 - 777. Are z and q non-equal?
True
Let o = 10/751 - 5274/170477. Which is bigger: 0 or o?
0
Suppose 6*l - 10*l + 68 = -5*u, l + u = 26. Let t(o) = -o**2 + 20*o + 44. Let w be t(l). Which is smaller: w or 5/93?
w
Let u = -21.3 + 21.413. Let w = u - 0.213. Is w less than -6.6?
False
Suppose -k = 5*t - 10, -6*t + 4*t - 5*k = -4. Suppose 3*u + 7 = 2*u - d, 0 = t*u - 5*d - 21. Which is smaller: u or 1/2?
u
Let v = -42517/4641828 + -4/6483. Let s = v + -237677/3580. Let w = 66 + s. Is -32/3 equal to w?
False
Suppose 4*r - 167 = 45. Let w = 2996 + -2943. Is r bigger than w?
False
Suppose 0 = 8*q + 59*q - q + 132. Which is smaller: q or -96?
-96
Let z = 47.7 + 94. Let t = -143 + z. Which is smaller: t or -3/4?
t
Let g = 448.6 + -471.6. Is g equal to 44?
False
Suppose -16 = 2*g + 2*g. Let t = 16.9 + 5.1. Let s = -17 + t. Is s greater than g?
True
Let w(a) = a**3 + 2*a**2 - 1. Let u be w(-2). Let h be 55/(-15) - u/(-3). Let i be (h/18)/(9/(162/(-24))). Which is bigger: i or 1?
1
Let i = -3.5 + 1.5. Suppose -2*c + c = -x - 13, -2*c = 4*x + 76. Let f(h) = -h**3 - 15*h**2 + 38*h + 17. Let l be f(x). Is l > i?
False
Let s(t) = 49*t + 322. Let y be s(-27). Is -1003 <= y?
True
Suppose 46*s - 178699 = -7073. Which is smaller: s or 3734?
s
Let b = -1132/3 + 440. Which is smaller: b or 1/4?
1/4
Let v = 724 - 723.88. Is 0.51 at least v?
True
Let n be 0 + -11 + 7475/481. Is n bigger than 6?
False
Let s(i) = i**3 + 1. Let z(w) = -w**2 - w - 4. Let d be z(0). Let g(r) = 3*r**3 - 9*r**2 - r - 9. Let o(l) = d*s(l) + g(l). Let b be o(-9). Is -7 <= b?
True
Let d = -16494056546/2875 + 5737063. Let m = 2561 - 320127/125. Let i = m - d. Is i at most as big as 0?
False
Let g be (-1727)/1012 + 7/4. Let s(k) = -2*k - 23. Let v be s(-12). Suppose 2*o = l - v, 3*l + o = -2*o - 6. Which is greater: l or g?
g
Suppose s - d - 1 + 19 = 0, -s - 2*d - 30 = 0. Let i be (-10)/25 + s/(-5). Suppose -9*m = 5*r - 4*m - 35, 0 = 3*r + 5*m - 21. Is i less than r?
True
Let i(g) = 21*g + 443. Let z be i(-12). Is z greater than 195?
False
Suppose 0 = 8*g - 389 - 67. Let h = -50 + g. Let l be 64/(-48)*h/(-4). Is l greater than or equal to 2/9?
True
Let h = 0.032 - 23.032. Let u = -2.2 + -20.8. Let f = u - h. Do 1/14 and f have the same value?
False
Let t = 5/22719 + 181567/840603. Suppose -d - 3*p - 8 = 0, -3*d + 1 = d + p. Let c = d - 2. Is c bigger than t?
False
Let g = -386.93 + 389. Let u = -1.51 + 1.58. Let y = g - u. Is y bigger than -1.2?
True
Let z be 11/22 + ((-395340)/8)/(-15). Which is smaller: z or 3294?
3294
Suppose -12*c + 7*c = -3*z + 922, -2*z + 5*c = -608. Is 318 at least z?
True
Suppose 14*a - 17*a = -1158. Suppose 11*l = -a - 153. Is l less than -49?
False
Let c = -0.001 - 0.199. Let m = 13 - 63/5. Which is smaller: c or m?
c
Let u(d) = -d**3 - 30*d**2 + 33*d + 70. Let f be u(-31). Suppose 0 = 2*s + f + 186. Does -1 = s?
False
Let f be ((-3)/6 - 0)/((-3)/6). Let v be 2 + 36 + (-2 - f). Which is smaller: 32 or v?
32
Let u be 2/4*396/33. Suppose u*w + 317 = 83. Which is bigger: -4 or w?
-4
Let w be 216/40 - (36/15 - 2). Suppose w*b - 4*n - n + 25 = 0, -2*b = -3*n + 15. Which is greater: b or 1?
1
Let j(k) = 1405*k - 652. Let i be j(6). Is 7778 less than i?
False
Let a = -125917/9 + 13975. Is 1/2 >= a?
True
Let o be (-114)/(-76)*16/126. Which is greater: 15 or o?
15
Let g be (-1)/3 + 0 + (-14)/(-35). Let n be (-12)/42 - 30/(-7). Suppose n*l = -2 + 6. Which is greater: g or l?
l
Suppose -4*y = -9*r + 4779, -2*r = -5*y + 269 - 1331. Is -11 less than or equal to r?
True
Let h(s) = -s**3 + 14*s**2 - 7*s - 4. Let r be h(9). Let y = r - 327. Which is smaller: y or 3?
3
Suppose 5*q - 9*m + 8*m + 5 = 0, 2*q + 4*m - 20 = 0. Suppose q*y + 4*y + 2*w - 258 = 0, -w + 65 = y. Is y equal to 61?
False
Let x be (-287052)/(-3990) + (320/(-50))/8. Suppose -22 = 4*i - 306. Which is greater: i or x?
x
Let t = -103 + -9. Let s = t + 266. Let o = 118 - s. Which is greater: -2 or o?
-2
Let k = 4.95 + -5. Let j = -484.8814 + -0.1186. Let l = j + 484. Which is smaller: k or l?
l
Let o = 373/56 - -17683/952. Is 24 greater than o?
False
Let r be (-8 - -4)/(0 + 35). Suppose 15*q = -111*q - 252. Which is bigger: q or r?
r
Let s = -349 + 824. Let r be 6 - (-4 + s/30). Which is bigger: -6 or r?
r
Let k be (-4)/(-10)*(-25)/(-40). Let c = 0.412 - 0.362. Which is smaller: c or k?
c
Let v = -449/3 + 3176/21. Suppose -2146 + 350 = 4*l. Let q = -447 - l. Which is smaller: q or v?
v
Let m = -237.2 - 25.8. Let p = m + 148. Is 1 >= p?
True
Suppose 3*h - 26 = -4*d, -1 + 13 = 2*h. Is 21/11 equal to d?
False
Let h = 8363 + -8346. Is 96 greater than or equal to h?
True
Let o = 129 + -3222/25. Let l(i) be the second derivative of i**3/3 - 3*i**2/2 - 24*i. Let u be l(1). Which is smaller: u or o?
u
Let s = -143228/371 + 2704/7. Let x be 0/(-17*6/102). Which is bigger: s or x?
s
Let g be 23 - ((-6)/2 - -4). Suppose -4*z = -g - 22. Let f be 13 + (-68)/(-170) + (-2)/5. Which is greater: z or f?
f
Let m(w) = -w**3 - 15*w**2 + 49*w - 65. Let v be m(-18). Is 462/19 not equal to v?
True
Let m = -485 + 489. Suppose 0 = -5*t + m*l + 21, 15 = -5*t + 4*l - 9*l. Let k = 7278/11 + -661. Which is bigger: k or t?
t
Let j = -8436.9413 + 8437. Is j not equal to 2/9?
True
Let d(s) = -88*s + 1388. Let l be d(16). Which is smaller: 130 or l?
l
Let q be ((-1 - -1)/(-3 + 2))/1. Let o be (1 + q)*3 + (-1029)/273. Are -1 and o nonequal?
True
Let v(i) = -244*i + 4098. Let r be v(9). Are 1903 and r nonequal?
True
Let g(p) = p**3 - 8*p**2 - 10*p - 23. Let a be g(9). Let c be ((-16)/a)/((-3)/6). Is c < 2/1573?
True
Let z = 540.004 + -0.004. Let v = -540.59 + z. Is v < 0.2?
True
Let y = 2938053571/1510740 - -1/167860. Let r = 1948 - y. Which is smaller: 4 or r?
r
Suppose -10*f - 79 + 39 = 0. Let s be (-1)/4 + (2 - (-7)/f). Let l be (468/(-66))/(-2 - 0 - s). Is 3 greater than or equal to l?
False
Let q(p) = 6*p - 19. Let l(b) = 17*b - 56. Let d(c) = -4*l(c) + 11*q(c). Let m be d(7). Let u be (66/10)/((-12)/15 + m). Is u equal to 34?
False
Let n be 935 + -17 + 21 + -9. Is n smaller than 4656/5?
True
Let q(c) = -c**2 + 7*c - 5. Let z be q(2). Suppose 0 = n - z*o + 25, 0 = 4*n + n - 4*o + 20. Suppose n = -3*h - 3. Which is smaller: h or -5/11?
h
Let y(n) = -2*n**2 + 9. Let h be y(-2). Let k be (-2 - -4)*(-8)/(h - 0). Which is greater: -8 or k?
-8
Suppose -3*i - 12 = -3*c, -c + 6*c + 2*i = -8. Let v be ((-4)/210)/(2/6). Let w = v - -96/455. Is w greater than or equal to c?
True
Let t = 18575.53 + -18657. Let m = -0.53 + t. Let n = -85 - m. Which is smaller: n or 1/18?
n
Let k = 2287 + 534. Let y be (-4)/14 + 897/k. Is 1 > y?
True
Let u be 1/8 + 370/(-144). Let j = 2 + -7. Let p = -8 - j. Is p at least u?
False
Let x be 2/23 + (297506/253 - -2). Are 1183 and x nonequal?
True
Let u = -125621/453927 - 2/5469. Let p be (20685/(-42) - 26)*(-9)/83. Let n = p - u. Which is smaller: 58 or n?
n
Suppose -249*s + 2571 = 1077. Suppose 0*o = 3*o - 18. Is s greater than o?
False
Let l(p) = 0 + 0*p**2 - 3*p - 4 + 2*p**2 - 3*p**2. Let q be l(-4). Let n be (-36)/q*14/(-3). Is n smaller than -21?
False
Let q be 2*(1