 Which is bigger: 2/11 or u?
2/11
Let i(z) = -2*z**3 + 3*z**2 + 3*z + 2. Let b be i(-2). Let s = 74757.3 + -74756. Is s <= b?
True
Let d = 4857 + -5177. Is -1 greater than d?
True
Suppose 3*g - 3*c = 6, -5*g = c - 23 + 7. Suppose 76 - 24 = 13*w. Suppose 4*r + 12 = -w*u, 5*r + 4 + 6 = -4*u. Is g < r?
False
Let v be (-5)/25 - (1 + (-101853866)/85073280). Let l = 1/11328 + v. Which is smaller: l or -1?
-1
Let s = 669 - 630. Suppose -12*c - s - 165 = 0. Let v(l) = 8*l - 2. Let r be v(-2). Is c at least r?
True
Let p(r) = 2*r + 11. Let h be p(-6). Let j = -175217/58 + 3021. Which is bigger: j or h?
j
Suppose -s - 5*h + 2 = 0, -s - 3*s = h - 46. Let u(g) = -g**3 + 2*g**2 + 3*g + 31. Let r be u(4). Which is greater: s or r?
s
Suppose -g - 5 = 4. Let a(z) be the second derivative of -z**3/3 - 8*z**2 - 18*z. Let s be a(g). Which is smaller: -8 or s?
-8
Suppose 6*g - g = -250. Suppose -87 = -s - 43. Let b = s + g. Is b at most as big as -9?
False
Let f = 0.89105 + 0.11195. Is 4 smaller than f?
False
Let d = 3403 - 3402. Is -3748 equal to d?
False
Let i = 500.5 - 507.5. Let s = 1.6 - -0.4. Is s less than i?
False
Let d be (-1)/(5/3) + 3350548/(-395). Let y = -7744980/913 - d. Which is smaller: y or 1?
y
Suppose 0 = 1891*r - 1649*r - 183436. Which is greater: r or 763?
763
Let y be 8/(-10)*(-2)/((-120)/(-50)). Suppose 4*p = -0*p. Let v be 3 + -1 + 0 + p. Is v at most y?
False
Let n = -422 - -433. Let w(u) be the second derivative of u**5/20 - 11*u**4/12 + u**3/3 - 23*u**2/2 - 2*u. Let q be w(n). Which is bigger: 6/31 or q?
6/31
Suppose -8*m + 211 = -45. Suppose 4*h + m = -4*k, -4*k - 17 = -h + 2*h. Is -31/7 less than h?
False
Let m = 9 - 11. Let g = -5.943 - 0.057. Let h = m + g. Which is smaller: -0.2 or h?
h
Let o = 2449 - 2449.08. Is o smaller than 9?
True
Let y = 118.0327 - 0.0327. Let i = -1.37 + 2.37. Is i greater than or equal to y?
False
Let y be 40/18 + 2/(-9). Let p = 69.6 + 44.4. Let m = -103 + p. Which is greater: m or y?
m
Suppose 29*g + 2954 = 3*g + 40*g. Is 419/2 not equal to g?
True
Let z = 131 + 133. Let m be z/54 + -1 - 2. Which is bigger: 1 or m?
m
Let a be (14 - (3 - 1)) + 2 + -2. Suppose b - a*d + 39 = -10*d, -4*b = -2*d + 150. Is -39 bigger than b?
False
Let p = 6 + -6. Suppose -5*k = -f - 109, -f = -k - p + 21. Let j = -0.261 + 0.461. Which is smaller: k or j?
j
Suppose 0*h - 2*h + 18 = 0. Suppose -8 = h*x - 11*x. Let a be ((-16)/(-10))/x*(-2)/3. Which is bigger: 1 or a?
1
Suppose 0 = 205*j - 584*j + 379. Which is greater: -1/7136 or j?
j
Let c = 3276 - 3473.4. Which is smaller: c or 0.1?
c
Let y = -110.6 + 153.6. Which is smaller: -55 or y?
-55
Let a(c) = -c**2 + 14*c - 55. Let g be a(5). Let h be 14/(-6) - (-11)/((-55)/g). Let m = -7.1 - 0.9. Do m and h have the same value?
False
Let t(d) = -d**3 - 4*d**2 - 3*d - 2. Let b(i) = 5*i - 18. Let q be b(4). Suppose q*y + 10 = 4. Let r be t(y). Is r at most -3/2?
True
Suppose 40 = 3*y + 5*z, -5*z = 5*y - 2*z - 72. Let u be (-310)/(-20) + (-1)/2. Is y less than u?
False
Let k = 1503 - 1809. Which is smaller: 2 or k?
k
Let s = -12573 - -12572. Is -3/6010 less than s?
False
Let w = -31/133 - -359/399. Which is smaller: 850 or w?
w
Suppose -5*i + 74 = -2*i + 4*g, 0 = -2*i - g + 41. Suppose -i*y + 651 = 183. Which is smaller: -0.1 or y?
-0.1
Let g be 5266/(-14) + 23/161. Let u = -380 - g. Let x be 3/(-12) + 15/(-4). Is u equal to x?
True
Let g(f) = 7*f**3 + 4*f - 18. Let x(v) = -20*v**3 - 12*v + 54. Let j(d) = -17*g(d) - 6*x(d). Let h be j(4). Is h < 60?
False
Let p = 5788 - 5788.05. Let a = 6 + 3. Is p greater than or equal to a?
False
Let g(u) = -5907*u**3 + 6*u**2 - 11*u + 5. Let r be g(1). Which is smaller: -5906 or r?
r
Let w be 2/(1*2/(-3)). Let o be (19/(-532))/((-18)/(-49688)). Let c = o - -868/9. Is w <= c?
True
Let o be 954/15*(-4 - 8/(-12)). Suppose 0 = w - 3, 2*z + 416 = w - 3*w. Which is bigger: z or o?
z
Let d(h) = 7*h + 151. Let q be 4*(550/(-264))/((-1)/(-3)). Let i be d(q). Suppose -97 = 5*c + 33. Is c smaller than i?
True
Let r(h) be the third derivative of h**6/120 + 7*h**5/20 + 11*h**4/6 + 55*h**3/6 - 2*h**2 + 64. Let t be r(-19). Is t less than or equal to -59?
True
Suppose 0 = 4*b - 5*i - 271, -5*b - 5*i - 79 = -6*b. Let j(d) = 2*d**2 - 78*d - 17. Let c be j(40). Is c < b?
True
Let a = -3 + -3. Let l(j) be the third derivative of 47*j**4/24 - 146*j**3/3 - 404*j**2. Let o be l(6). Is a != o?
True
Let q be -2*9/912*5/20. Let b = -1573/72352 - q. Let p(l) = -l + 11. Let r be p(10). Does b = r?
False
Let m = 349 + -348.8945. Let z = 0.0055 - m. Are 4.7 and z nonequal?
True
Let p = -7814792/5921 - 2248/191. Let c = p - -1331. Which is smaller: c or -1?
-1
Suppose -23*n = -27*n - x + 68, 3*x = n - 30. Is n equal to -41?
False
Let f(w) = -w**3 + 32*w**2 - 61*w + 57. Let j be f(30). Suppose 10*p - 13 = j. Is 0 at least as big as p?
False
Suppose 22*o + 513 = 3*o. Let k be (11/((-308)/96))/(18/o). Which is greater: k or 5?
k
Suppose 4*p - 4*d - 32 = 0, -3*d = p + 4 + 8. Let f be (-2 + 16)*16/56. Suppose -2*j + 12 = b, -f*b + 28 = j + 3*j. Which is smaller: b or p?
b
Suppose 3*t + 54212 = -5*n + 7*t, 3*n - 3*t + 32529 = 0. Let g be -3 + n/(-1352) + -5. Which is greater: g or 0?
g
Let s(u) = u**2 + 4*u + 2. Let t be s(-6). Suppose t*l = -90 - 78. Let y be (11/(-2))/((-1)/(-2)). Which is greater: l or y?
y
Let j = -4231 + 5617. Is 1384 greater than or equal to j?
False
Let q(o) = 5576*o + 11092. Let f be q(-2). Let d be (-462)/8 + -2 - -1. Is d at most f?
False
Let g be 4 + 3 - 8 - 7. Let r(p) = -p**3 - 10*p**2 + 6*p - 30. Let h be r(g). Does h = -207?
False
Let j = -994 - -985. Let i(n) = -11*n - 5. Let t be i(-2). Suppose -c + 5*y = t, -2*c + 2*y - 5*y - 8 = 0. Is c equal to j?
False
Suppose 3*r = -4*h - 95, 26*r = -h + 25*r - 23. Let v = -0.4 + -0.6. Which is smaller: v or h?
h
Suppose 57 = -3*l + 102. Suppose -l*w + 574 = -8*w. Let i = 111 - w. Is i < 31?
True
Let o = -174.86 - -174.85. Is o at most as big as 89/9?
True
Let a(q) = 17*q**2 + 6*q - 7. Let f(s) = 16*s**2 + 5*s - 6. Let p(c) = 4*a(c) - 5*f(c). Let k be p(-2). Let r = k + 43. Is -7/13 less than r?
False
Let s be 2 - 3 - 2 - (-128)/41. Let n = s - 215/82. Let p = n + 19/6. Is p smaller than 5?
True
Suppose g + 100 = 5*h - 136, 4*h = -8. Let b(r) = -2*r**2 + 7*r + 25. Let d be b(-10). Is g bigger than d?
False
Let c = 2.958 - 0.528. Let f = -15.57 - -16. Let q = c - f. Which is greater: 1 or q?
q
Let j = -928 + 1338. Suppose 2*y - 2*u + j = -0*y, 12 = 4*u. Is y at least -202?
True
Suppose 42*o - 14*o - 42 = -14*o. Let u = -1152664/293 + 3934. Are o and u equal?
False
Let w be 42/(-56) - (-505)/684. Let l(f) = f**2 + 8*f + 8. Let y be l(-7). Which is greater: y or w?
y
Let l(x) = 5*x - 11. Let o = -47 + 50. Let u be l(o). Suppose -q - 2*k + 7 = 0, -u*q + 4*k - 7 = q. Which is bigger: 12/13 or q?
q
Let n be ((-8)/(-16))/((-5)/40). Let a be n/(1*-2) + (38 - 40). Which is smaller: a or 3/94?
a
Let q = -41/57 - -1/19. Let d = -63 + 63.2. Is d greater than q?
True
Suppose -3*l = -0*l + 21. Let h be 7 + -5 - (0 + 174). Let k = h + 165. Are k and l nonequal?
False
Suppose 7*b + 11 - 45 = 3*y, -2*y = -b - 3. Which is smaller: -0.717 or y?
-0.717
Let m = -8232 + 4777. Which is greater: -3454 or m?
-3454
Let p = 9.1029 - 0.1029. Let l be (-1)/1*77/11. Let d be ((-2)/(-36))/(l/(-28)). Is p != d?
True
Let b be ((-142)/34 - -4)*1. Let o = 3.8 + 121. Let l = 125 - o. Which is smaller: b or l?
b
Let k = 18075 - 72301/4. Which is bigger: k or -92.53?
k
Let p = -28.457 - -28.2. Let l = -0.057 - p. Do l and -40 have the same value?
False
Let r be (56/(-36) - -2)/((-36)/54). Are -9291 and r unequal?
True
Let b be 10/145 - (-634886)/(-4466). Which is bigger: b or -142?
-142
Let m = 30 - 64. Let p = m + 33.48. Which is smaller: -1/2 or p?
p
Let v = 12592/7 - 1802. Suppose 3*m = 3*u + 191 - 1298, -2*u = -5*m - 732. Let t = u - 373. Is t at least v?
True
Let x(m) = 147*m**2 - 4*m + 11. Let a be x(5). Let p = -304274/83 + a. Which is smaller: -1 or p?
-1
Let k be 0 + 0 - (-1)/2. Let r = -664 - -664.397. Let p = r - -15.603. Is p not equal to k?
True
Let u = -4271 + 16393. Is u <= 12123?
True
Let x be 54/12 + 2/4 + -2. Let u be -2 + (x - (-1 - 0)). Suppose 15 = -4*y - 3*d, 2*y - 5*y + u*d - 7 = 0. Which is smaller: -22/5 or y?
-22/5
Suppos