uppose -h + v = f*h. Which is smaller: h or 9?
h
Let p = -2 - -2. Let x be (-694785)/126*(-3)/(-20). Let h = x - -826. Which is bigger: p or h?
p
Let l(a) = 40*a**2 - 9*a - 28. Let f be l(-4). Which is bigger: f or 647?
f
Let g be 10*((-63)/(-14))/(-9). Let w = -1.1 + 0.1. Is g > w?
False
Let v be (-2)/(-21) + (-163606)/(-18795). Let g(u) = -u**2 + 8*u - 6. Let r be g(5). Is v > r?
False
Let h = -47 + 48. Let p be h/1 + 4 + (0 - 0). Let t be (-13 - -9)*(-13)/12. Are p and t equal?
False
Let k = 0.1 - -0.1. Let p = -0.1 + k. Let a = 1602 + -1595. Which is bigger: p or a?
a
Let o be -1 - 2/((-16)/10). Let r(t) be the third derivative of t**6/120 - t**5/12 + t**4/24 - 2*t**3/3 - 6*t**2 + 3*t. Let l be r(5). Which is greater: l or o?
l
Suppose 4*v = -v + 35. Let d be (2/(-6))/(v/6531). Let z = 4041/13 + d. Which is smaller: 0.5 or z?
z
Let v = 3 - 5. Let n(k) = -6*k - 21. Let g be n(-5). Let d be 11/3 + -4 + (-15)/g. Are d and v unequal?
False
Let s = -3551/3 + 1181. Which is bigger: s or 0.21?
0.21
Let q(k) = k - 2. Let b be q(4). Let m = -4 + b. Suppose -2*n - 2*o = -16, 338*o - 337*o + 4 = 5*n. Which is bigger: n or m?
n
Let y = 1224 - 496. Are y and 728 unequal?
False
Let u = 0.521 - 1.46. Let b = u - 0.061. Is -2 greater than or equal to b?
False
Let j = -1850 - -127648/69. Which is greater: 0 or j?
0
Let o = 993 + -993.2. Let c(j) = 10*j**3 + j**2. Let i be c(1). Is i greater than o?
True
Let h(v) = v + 3. Let m be h(-14). Let d = 17 + m. Do d and 9 have different values?
True
Let c(n) = -5*n - 12. Let g(q) = -9*q - 24. Let h(v) = -11*c(v) + 6*g(v). Let u be h(10). Let i(z) = -z - 6. Let f be i(-7). Which is greater: f or u?
f
Let h be 9346399/(-84) + 14/(-21). Let p = h - -111243. Let o = -95/4 - p. Which is bigger: 2 or o?
2
Let h = -24 - -16. Let x = -6.7 - 1.2. Let f = x - h. Which is greater: -0.15 or f?
f
Let t(k) = -k**3 - 2*k**2 + 1. Let d be t(-2). Let c(u) = 2*u + 2 - d - 2. Let g be c(2). Is g at most 3?
True
Let r(i) = 2*i**2 - 1. Let y be r(1). Suppose 374*o - 382*o + 24 = 0. Which is bigger: y or o?
o
Let m be 1/(6/225)*2. Suppose -m = -2*t - 3*t. Suppose 0 = -33*z - 8*z + 615. Is z greater than or equal to t?
True
Let n = 2171 + -2172. Is n at most as big as 65?
True
Let o(d) = d**3 + d**2 - 5*d + 2. Let z be o(2). Suppose -h = z*h - 15. Which is greater: h or 8/5?
h
Let l(p) = -p**3 - 7*p**2 + 23*p + 46. Let z be l(-9). Are z and -30/133 nonequal?
True
Let f(n) be the second derivative of -n**4/12 - 5*n**3/6 - 3*n**2/2 - 5*n. Let c be f(-4). Is -1/4 at most as big as c?
True
Let o be ((-27)/18)/((-6)/(-1778)). Let x = -456 - o. Let i = -11 - x. Are -1 and i nonequal?
True
Let s = 0.3 - 0.543. Which is smaller: s or -0.1?
s
Let f(j) = 3*j**2 + 6 - 2*j**2 + j - 3 + 4*j - j**3. Let p be f(3). Which is smaller: -30 or p?
-30
Suppose -13302 - 1490 = -43*i. Are i and 344 equal?
True
Let l = -685 + 659. Suppose 0 = 2*k - 3*f + 39, 5*f - 110 = 4*k + k. Which is bigger: l or k?
l
Let s = -8 + 32. Let t be (s/60)/((-2)/(-15)). Which is bigger: 5/3 or t?
t
Suppose 0 = 3*i - 0*i - 3. Let c be (-5 - (-19)/4) + 2/7. Which is greater: c or i?
i
Let a be 7*((3 - 5) + (-16)/(-7)). Let p = 18 - 13. Suppose -3*c = 2*g + p, 6 = -3*g + a*c - 5*c. Which is greater: g or 1/20?
1/20
Suppose -344*h + 347*h = 3. Let r be 47/(-45) + (0 - -1). Which is smaller: h or r?
r
Let m be (-1 + -1)/((-9)/((-5994)/(-117))). Is 10 >= m?
False
Let c = -18120/11 + 1647. Is 54 smaller than c?
False
Suppose 4*w + 3*h + 31 = 0, 4*w - 5*h + 72 = 17. Let c = w + 11. Is c less than 28/13?
True
Let t be (4/8 - 2)/((-9)/(-132)). Let b = t + 98/5. Let p be 1 + (-1 + 2)/(-1). Is b < p?
True
Let d be 63/(-35) - 1/5. Let q(o) = -4*o**2 + 4*o. Let t(w) = -4*w**2 + 5*w. Let x(l) = 4*q(l) - 3*t(l). Let u be x(1). Which is smaller: d or u?
u
Let l(x) = -x - 1. Let k be l(0). Let c = k - -8. Suppose 3 = -4*m + c*m. Is 1/23 at most m?
True
Let v be 1/4*(-1640)/75. Let y be (-8)/6*234/(-65). Let w = y + v. Are -3/7 and w non-equal?
True
Let x = -19 - -22. Suppose -x*w = 2*w - 50. Let i be (-1)/(-5) - 62/w. Which is smaller: i or -7?
-7
Let k = 172 - 96. Suppose 6*a - 2*a + k = 0. Is a < -18?
True
Suppose -3*t - 7 = -2*t + 4*u, 4*t - 4*u = 12. Which is smaller: -1/2241 or t?
-1/2241
Let d(b) = -b**3 + 5*b**2 - 7*b + 10. Let o be (-4)/18 + (-114)/(-27). Let n be d(o). Is -5/4 > n?
True
Let n(i) = i - 6. Let b be n(6). Suppose -5*a = -2*f - b*a - 6, -5*f = -a - 8. Which is bigger: f or 1?
f
Let l = -16 - -15.971. Let f = l + -25.971. Let u = -26 - f. Do u and -2/35 have the same value?
False
Let t be 245/(-35) - (-67)/(-3). Is t smaller than -29?
True
Let i = -0.12 + 0.02. Let x = 292/227 + -67201/65830. Let u = x + 1/29. Is i > u?
False
Let f be (-18)/(-72) + (-54)/152. Which is smaller: f or -1/5?
-1/5
Suppose -3*i + i = -28. Let f = i - 23. Let u be ((-2)/(-1))/((-4)/18). Is f <= u?
True
Let s be ((-9)/((-18)/(-44)))/2. Let u = s + 6. Which is smaller: -4 or u?
u
Let l = 8.4 - 7.91. Let w = -17.49 + l. Which is smaller: w or 0?
w
Let n be (-140)/(-42)*12/10. Suppose -n*z = 3*j - 43, j = -4*z + 3 + 46. Is z > 12?
True
Let d = 4971 - 104369/21. Is 2 > d?
True
Let v = -42.67 - -40. Let g = v + 8.62. Let c = g - -0.05. Is -2 at most as big as c?
True
Let t = 0.7 - -10.4. Let i = 11 - t. Let a = 56 - 55. Is a != i?
True
Suppose 0 = -23*i + 15*i + 24. Suppose 5*p - 4*d = -85, -30 - 14 = i*p - d. Is p smaller than 2?
True
Let a be 1156/380*35/(-42). Let m = a - -2/57. Which is bigger: m or 0.1?
0.1
Let g = -10 - -6. Let w = g - 0. Let p = w - -4.1. Which is smaller: p or 0.2?
p
Let l be 140/12 + (-8)/(-6). Let r(w) = 26 - 14*w - 7*w + 4*w + w**2. Let k be r(l). Do k and -26 have the same value?
True
Let t be 6 - ((-2 - 0) + 0). Let z be (-2)/t + (-80)/(-64). Let l be (0 - -1) + 38/(-26). Is l bigger than z?
False
Let y = -18 - -115/6. Is y equal to -42?
False
Let l = 36 + -36. Suppose 0*k - 9*k = l. Which is greater: -8/7 or k?
k
Let a = 59 + -59.6. Which is smaller: a or -0.1?
a
Let o = -4.3 + 4. Let d = -7.7 + 15.1. Let m = -7.7 + d. Is m greater than or equal to o?
True
Let f(q) = q**2 - 9*q - 6. Let h be f(5). Let a = h - -37. Are 8 and a nonequal?
True
Suppose 11*q - 90 = 10*q. Is 91 < q?
False
Let p be 12/(-5) + 2 - 12/20. Let g = p - -1. Which is smaller: -14/11 or g?
-14/11
Suppose 0 = 3*o - 12, -3*o + 9 = 2*p - 7. Which is smaller: 2/5 or p?
2/5
Suppose 77*a + 20350 = -33*a. Do a and -184 have different values?
True
Suppose -16 = -10*o + 2*o. Suppose -u - 4*i - 11 = 0, -8*u + 6*u - o = 4*i. Which is bigger: u or 5?
u
Let c be 3/9 + (-616)/1866. Is c greater than or equal to 1?
False
Let f(b) = 2*b**2 + 3*b + 5. Suppose -9*i - 36 = -9. Let k be f(i). Which is greater: k or 17?
17
Suppose 79*m + 9 = 78*m. Suppose 0 = -4*u + 5*g - 4 + 1, u - 12 = -3*g. Let h(s) = s**3 - 4*s**2 + s - 2. Let j be h(u). Which is smaller: j or m?
m
Let n be -2*7/28*20. Let v(w) be the first derivative of -w**3/3 - 5*w**2 - 22*w + 2. Let m be v(n). Is -0.1 smaller than m?
False
Let j = 7.1 - 7.3. Which is smaller: j or 20/19?
j
Let f = 224 + -154. Suppose -f = -3*w - 2*w. Let m be 0/2 - w/133. Is m equal to -1?
False
Suppose 0 = 6*s + 462 - 456. Which is smaller: 16 or s?
s
Let i be (4/(-126))/((-6)/(-18)). Which is bigger: -1 or i?
i
Let q be 0 + 6/(-36) - (-950)/(-12). Let h = q - -79. Which is smaller: h or -11?
-11
Let j = -0.028 - 0.0156. Let v = j + 22.1436. Let n = 22 - v. Is n greater than 0.4?
False
Let k be 82*(-2)/4 - -3. Let a be k/(-2) + -1 + -2. Which is smaller: a or -5?
-5
Let i = 0.51 - 0.31. Do 16 and i have the same value?
False
Let x = 0.9 - -8.3. Let g = x - 0.2. Suppose -2*v + 3 = 5*k + 14, -3*k - 2*v = 9. Is g > k?
True
Let a(l) = l - 2. Let n be a(-4). Let v = -7 - n. Let y = 1291/44 - 117/4. Is y smaller than v?
False
Suppose 2*w = 5*o + 11 - 107, -5*o + 110 = 5*w. Let y be (-4)/(-26) - 774/(-39). Is o equal to y?
True
Let c be (-20)/48*2/5. Let i = -5.8 - 1.2. Is i < c?
True
Let u = -50 + 56. Is u smaller than 41?
True
Suppose 57 = -9*j + 28*j. Which is bigger: j or 20?
20
Let a be 2/7 + 15/21. Let i be 1 - 4 - 636/8. Let t = -81 - i. Are a and t non-equal?
True
Let x = -0.3 + -5.9. Let q = 10 - 4. Let r = x + q. Which is greater: 3/5 or r?
3/5
Let h be (19972/5304 + -3 - -2) 