2 + 9*h - 2. Let p be d(-6). Let i = p - -83. Which is greater: i or -10?
i
Suppose m = f - 3, -3*m - f - f + 6 = 0. Let a = -79 - -163. Let y be (-1)/6 + 5/a. Is y less than m?
True
Suppose -4*y + t = -346, -3*y + 422 = 2*y + 4*t. Let j be 2/7 - (-2 + y/7). Let s = 73/5 - 231/10. Which is smaller: j or s?
j
Let r = 9865 - 10534. Which is greater: r or 5?
5
Let o(f) = 31*f - 117. Let q be o(7). Let d(k) = -k**3 - 4*k**2 + 5*k + 2. Let g be d(-5). Let t be 0 + g - 110/q. Is t at most as big as 2?
True
Let c(g) = -g**3 + 61*g**2 + 62*g - 2. Let i be c(62). Let f = 152/15 - 34/5. Which is greater: f or i?
f
Let t(i) = -i**3 - 2*i**2 - 5*i**2 - 3*i**2 - 19 + 11*i. Let x be t(-11). Which is smaller: x or -13?
x
Let w = 17405 + -17321. Is w bigger than 166?
False
Let f = 629 + -621. Suppose -2*s + a = 0, 4*s - f = -70*a + 68*a. Is -20/67 greater than s?
False
Let w = -4211/5 + 840. Let x(y) = -y - 9. Let p be x(-4). Let n be (-4)/14 + p/7. Are w and n non-equal?
True
Let w = 6867 + -6878. Is w bigger than 3/37?
False
Let x = -168/13 - -13. Let k = -2.44 - -1.44. Which is greater: k or x?
x
Suppose 0 = 12*o - 13*o - 5, 2*n - 4*o = 1120. Let i = -551 + n. Is i smaller than 1/35?
True
Let j(w) = -w + 17. Let l be j(-20). Suppose 3*h - 12 = 0, -f - h = h + l. Do f and -45 have the same value?
True
Let n(l) = 56*l - 1625. Let q be n(29). Which is greater: q or 13/68?
13/68
Let j(q) = -q**2 - q + 1. Let u = 38 + -34. Let n be u/(-6)*(-17 - -20). Let l be j(n). Does l = -7/6?
False
Let l = 1209535742/153461 + -55172/7. Which is bigger: 0 or l?
0
Let z(c) = -c**3 - 4*c**2 + 6. Suppose 0 = 6*j + 11 - 71. Suppose 4*t = 2*t - 3*p, 0 = -2*t + 2*p + j. Let h be z(t). Are h and -57 non-equal?
False
Let k = 7.67 - 8.17. Let h = 13 + -18. Let g = h - -4.95. Is g less than or equal to k?
False
Let s = 439.7 + 3417.3. Is -0.1 less than s?
True
Let k be -7 - (92/69 + -8). Which is greater: -2.735 or k?
k
Let w = 1922.2 + -2628.2. Which is bigger: -1 or w?
-1
Let s = 12 + -22. Let w(l) = 10*l**2 + 7*l**3 - 1 - 2*l - 6*l**3 + 0*l + 4. Let u be w(s). Which is smaller: 65/3 or u?
65/3
Let a(f) = -f**2 + 4*f + 12. Let s be (1 + -1 - 12)/(18/(-12)). Let h be a(s). Let p be 1 - (-3)/(6/(-40)). Is h < p?
True
Let j = -2741 + 2741. Is -1/67 smaller than j?
True
Let z = -1603897/40469027445 + -3/871595. Which is smaller: 1 or z?
z
Let z be (957/(-22) - -8)*2/1. Let s = 72 + z. Which is greater: s or 2/21?
s
Let g be (1 - 0)/(2/6)*32. Let k be 1994/21 + 28/(-98). Is k at least g?
False
Let p be 534/801 + (5/6)/(-1). Which is bigger: p or 2/8595?
2/8595
Let x be 9/21 + (-106)/(-14). Let b(o) = o**3 + 3*o**2 + 7*o + 10. Let u be b(-4). Let n be u/x + 10/40. Is n less than or equal to -4?
True
Let m be (-5516)/33096*-1*((-1618)/4 - 1). Is -69 at most m?
True
Let q = -56.055 + 0.055. Let f = -55.85 + 0.85. Let a = q - f. Which is greater: -35/6 or a?
a
Let b = -263198.381 + 263036. Let u = b + 0.381. Is -1 bigger than u?
True
Let a be (-8)/33*(10 - 16). Let p(n) be the third derivative of -n**4/24 + n**3/3 + n**2. Let z be p(0). Which is smaller: a or z?
a
Let w = 1329.6 + -1329.6. Which is smaller: w or 17/7?
w
Let j = -1519 + 1478. Is -77 at least as big as j?
False
Let k be (-2)/(-7) - (-160935)/105. Let o = k + -164033/107. Let i(f) = 2*f**3 + 3*f**2 - f + 1. Let g be i(-2). Is o != g?
True
Suppose -2*l - 16 = -20. Let j(s) = -2*s**2 - s + 369 - 369 + s**3. Let u be j(l). Which is greater: -6/11 or u?
-6/11
Let x = -441 - -654. Let n = 181.4 - x. Let t = n - -34. Which is smaller: t or 0?
0
Let f = 31529 - 30689. Which is smaller: f or -2?
-2
Let n = 7425 - 29979/4. Is n smaller than -70?
False
Let a(y) = -4*y + 20. Let q be a(19). Let z = q + 40. Let j be (-4)/(z/36)*(-4)/6. Is -7 greater than or equal to j?
False
Let n be (0*7/(-35)*1)/1. Which is smaller: 2/2529 or n?
n
Let n be (0 + 0)/(7/(1 + -8)). Let p be (1*(-2)/146)/(n - 2). Which is smaller: p or -1?
-1
Let l be 1/(-18)*((-905478)/371)/2. Let t = l - 407/6. Which is greater: t or 1?
1
Let o = 1760 + -5069/3. Does o = 71?
False
Let p be -8*12/432 + 47/9. Let t(i) = i**3 - 8*i**2 - 13*i + 17. Let b be t(p). Is b at most as big as -125?
False
Suppose 33 = -2*f + 5*f. Suppose m + 3*q = 128, -504 = -4*m - 35*q + 31*q. Suppose f*n = -m - 139. Is n < -24?
False
Let h = 1338 - 666. Suppose 2*o = 5*r + h, -r + 692 = -6*r - 3*o. Is -136 at least as big as r?
True
Let v = 20629 - 20630. Which is smaller: -53/122 or v?
v
Let j be 0/(-1) + 2/(-6). Let w = -0.00914 + 211.30914. Let d = 212 - w. Which is greater: j or d?
d
Let d(j) = j**3 - 4*j**2 + 20. Let b be d(4). Let u be 22/b*-1 - (-12)/15. Which is smaller: u or 0.3?
u
Suppose 15 - 3 = 3*z. Suppose 0 = -s - z. Let g be (15/30)/(2/s). Is g <= -21/11?
False
Let n be -4*(-1)/(-32)*2/(-600). Is n at most 1?
True
Let w(v) = -v**3 - 3*v**2 + v + 1. Let s be w(-2). Let i be s/(135/(-6)) - (-1651)/(-234). Which is bigger: -7 or i?
i
Let b be (-6)/(-33) + 468/(-396). Let s = 921221/237 - 3887. Which is smaller: s or b?
b
Let n be (-409)/(-1 + (-1)/(-2)). Let u be n/(-897)*(-6)/(-7). Let h = -2/161 - u. Which is smaller: h or 2?
h
Suppose -57 = -f - 20. Suppose -6*p - 13 = -f. Suppose -p*m = -8, -5*n + 0*m = 3*m - 16. Are n and 9/4 equal?
False
Let r(y) = -918*y - 6416. Let l be r(-7). Let o(h) be the second derivative of h**3/6 + 3*h**2/2 + 2*h. Let f be o(7). Is l bigger than f?
False
Suppose 0 = -26*t + 6772 + 2874. Suppose 0 = 5*d + 2*d - t. Is 103/2 at least as big as d?
False
Let u = 439 + -241. Let n = 225 - u. Which is smaller: -2 or n?
-2
Let n be (814/(-6))/(12/504*7). Which is smaller: n or -2440/3?
n
Let a be 808475/2425875 - ((-30)/105 - 26/(-42)). Is 1 at most as big as a?
False
Let j = 10335 + -10333.77. Let h = -0.27 - -0.3. Let m = h - j. Are 0 and m nonequal?
True
Suppose -4*d = 4*s + 3 - 39, -3*d + 2*s = -22. Let i be (8/(-14))/(d/(-196)). Which is bigger: i or 15?
15
Let j be -20*(-5 - (-12)/4). Let x = -37 + j. Suppose 2 = 4*q + i - 0, -x*i = -6. Which is greater: 0.27 or q?
0.27
Let y = 4 + -2. Suppose y*c - c = 0. Let z be (-13)/(-28) - (-6 - (-4 + 33/(-12))). Do c and z have the same value?
False
Suppose 68*c - 66*c = 6. Suppose 0 = c*y + 5 + 4. Which is smaller: y or -17?
-17
Suppose -5 = 15*s - 20*s. Let t = 13 - 14. Let k be 2*(t/14)/(3/9). Which is greater: k or s?
s
Suppose y = 1, -4*n = 3*y + 2 - 1. Let r be (3/(-2) - n)*0. Suppose 0 = -2*a - r*a + 42. Is 22 at least as big as a?
True
Let i(p) = -11*p + 57. Let u(f) = -4*f + 19. Let b(o) = 6*i(o) - 21*u(o). Let y be b(3). Which is smaller: 1/2 or y?
y
Suppose -2*g = -k + 10, -k - 4*g + 6 = 20. Suppose -579 = 6*j - 5*j + k*q, -614 = j - 5*q. Is -589 bigger than j?
False
Let u(x) = 5*x - 18. Let q be u(4). Suppose -5*z - q*h + 4*h = -176, 2*z + 3*h - 78 = 0. Suppose 23*d - 37 = 22*d. Are d and z non-equal?
True
Let r = 1877 + -1876.6. Are r and -98 equal?
False
Let r be 126464/(-10) + (-140)/(-350). Which is bigger: r or -12647?
r
Let t = 0.1566 + 0.8434. Is 7.283 at least t?
True
Suppose p + 5*n - 4 = 2, -5*p + 1 = -4*n. Let l be 6 + ((-2437)/271 - -3). Is l != p?
True
Let q = 303 + -348. Let w be ((-14)/(-15960))/((q/(-24))/5). Which is smaller: w or 0?
0
Let a = 2.49 + -2.9178. Let w = 0.0378 + a. Is w greater than -2/11?
False
Let k = -0.14902 + 0.04902. Is 0.637 greater than k?
True
Let n be (3*-1)/(2*(-12)/9392). Let h be (-3 - 5/((-2945)/n)) + 1. Is 1 > h?
True
Let r(y) = -7*y**2 + 259*y + 1. Let o be r(37). Which is smaller: o or -24/233?
-24/233
Let l = 1.9 - 2. Let v = -1.9 + l. Let a = 14783 + -14778. Is a less than v?
False
Let d = -7/27 + -997/945. Let c = -483/16 - -21113/560. Let b = d + c. Which is smaller: b or 7?
b
Suppose -2*f + 5*a = -165, -455 = -4*f - 3*a - 60. Are 114 and f unequal?
True
Suppose 5*s - 227 + 42 = 0. Suppose -2*x + 7 = s. Let v be ((-18)/15)/((-5)/(-500)*8). Do x and v have the same value?
True
Suppose -6 = 3*o + 4*g + 15, -o - g - 7 = 0. Let f = 9369/2 + -4690. Is f >= o?
True
Let r be 3/(-4)*-2*-2. Let d(w) be the second derivative of -w**4/12 - w**3/3 + 3*w**2/2 + 5*w - 53. Let g be d(r). Is -3/17 at most g?
True
Suppose -3 = 2*y + y, 2*y - 18 = -2*w. Let q be (w/4)/((-16)/40). Let p = q + 209/36. Which is greater: p or -7?
p
Let j = 519.92 - 58.82. Let y = j - 46