h is bigger: b or w?
b
Let i(b) = 3*b - 4. Let t(x) = -7*x + 9. Let p(z) = -5*i(z) - 2*t(z). Let u be p(-7). Suppose u*k = 4*k. Which is smaller: 2/49 or k?
k
Suppose -x = -5*y + 26, -y + 2*x - 3*x + 4 = 0. Let t(k) = -k**3 - 34*k**2 - 62*k + 69. Let d be t(-32). Is y < d?
False
Suppose -4*f + 39 = 19. Let g = 13 + -11. Suppose -5 - f = -g*s. Is s less than -2?
False
Let g = -1.5 + 3.3. Let b = -10.2 - g. Let o = b + 16. Which is smaller: o or 1?
1
Suppose 2 + 4 = 3*m - 3*a, -30 = -3*m - 5*a. Let f(r) = -12*r - 3. Let c be f(-2). Suppose -14 - c = -m*j. Is j at most 7?
True
Let i = -1151 - -7996/7. Which is smaller: i or -9?
-9
Let x = -1.952 + 2.052. Which is smaller: x or -0.994?
-0.994
Let f be (0*1/(-3))/2. Suppose -6*a + f*a = -5*a. Which is smaller: a or 1/10?
a
Let o be 12/(-7) - (-16)/(-56). Let f be o + (-13)/(-52) + 2/(-8). Is -2 at most as big as f?
True
Let r(a) = a**2 - 13*a + 36. Let v be r(8). Let h be (-1)/2*((-84)/(-2) + v). Is -18 at most h?
False
Let s(g) be the third derivative of g**5/60 + g**4/8 - 13*g**3/3 - g**2 + 3. Let k be s(-10). Does 44 = k?
True
Suppose 0 = 18*y - 12*y - 1902. Is y greater than 317?
False
Suppose 0 = -7*p + 4*p + 12. Suppose -p + 13 = x + a, 3*a = 0. Let f(d) = 7*d**2 - 3*d - 1. Let j be f(-1). Is x at most as big as j?
True
Let s be 1/(-8) + -5 + (-1001)/(-168). Which is greater: s or 15?
15
Let k be 4/(-16) + (-6)/8. Let p be ((-36)/33 - k)*103. Let w = 4657/495 + p. Which is smaller: 1 or w?
w
Let w(n) = 3*n - 14. Let t be w(6). Suppose -3*b - t*q + 5*q = -4, 40 = 5*b + 5*q. Which is smaller: 13/5 or b?
13/5
Let o(k) = -k - 7. Suppose -4*r = u + 21, 4*r + 11 = -2*u - 15. Let c(y) = y**2 + 6*y + 2. Let g be c(r). Let x be o(g). Is -4/9 at least as big as x?
True
Let b(s) = 2*s**2 + 3*s - 2. Let w be b(1). Suppose -w = 4*a + 5. Suppose -d + f = 7, -9 = d - 4*f + 4. Do d and a have different values?
True
Let s(h) = -h**2 + 10*h + 9. Let m be s(10). Let f be 3/36*m + -1. Let l = 17 - 15. Is f at least l?
False
Let o = -5122 + 5122.5. Let s = -3.8 - -4. Does s = o?
False
Suppose 7*n + 98*n - 14805 = 0. Is n bigger than 143?
False
Let j(c) = -c**3 - 15*c**2 - 16*c - 29. Let y be j(-14). Let l be (-13 - -14)/(y/((-2)/2)). Do 3/31 and l have different values?
True
Let w = -33 + 41. Which is smaller: w or 11?
w
Let t = -9665/8 - -1209. Which is smaller: t or 1?
t
Let l = 2.2 + -11.2. Let w = 22 - 1. Let v = w + l. Which is greater: v or 2/5?
v
Let s = 644 - 57318/89. Are s and -1 unequal?
True
Let w = 108 + -52. Let i = 3 - w. Which is greater: i or -0.1?
-0.1
Let x = -2385 - -2385.27. Is x < -1?
False
Let r = 3.1 + 9.9. Let u = r - 12.7. Let i = -161 + 164. Are i and u equal?
False
Let y = 1 + -1.1. Let n = 1.26 + -1.6. Let h = 0.74 + n. Which is smaller: y or h?
y
Let z = 3/6884 + 247683/323548. Is 0 at most as big as z?
True
Let z be -4*(3 + -3 - 1/4). Is -1/197 less than z?
True
Let p = 11/3 - 107/30. Let n = -400 + 396. Is p != n?
True
Suppose 0 = 4*l - 0 + 16. Let t be ((-60)/l)/(3/1). Let a = t + -2. Which is greater: a or 1?
a
Let g = -432 + 444.12. Which is bigger: g or 2/3?
g
Let j be 1 + 469/(-910)*2. Let d = 0.5 - 0.4. Which is greater: d or j?
d
Let i(j) = 6*j - 88. Let w be i(0). Let a be (8 + 0)/(w/(-36)). Do 3 and a have different values?
True
Let d(o) be the first derivative of -2*o**3/3 - 25*o**2/2 + 8*o + 25. Let t be d(-11). Is 42 less than or equal to t?
False
Let k = 0.2 - 0.21. Let l = 9 - 3. Let z = -5 + l. Is z at most as big as k?
False
Let v = -607 + 709.8. Let r = v - 103. Do -14 and r have different values?
True
Let q be ((-12)/(-14))/((-24)/(-84)). Suppose -r - x - 3*x = 1, 3*r = 5*x - q. Let s be (-9)/15 + 34/90. Which is greater: r or s?
s
Suppose 16 = -u + 3*c, 6 = -u + c - 4. Let t = -214/55 + 45/11. Which is greater: u or t?
t
Let n = 1133/2261 + -10/19. Which is bigger: 0 or n?
0
Suppose 100 = y - 2*p + 4*p, 4*y - p - 427 = 0. Suppose 5*l + y = b - 4*b, 5*b + 110 = 5*l. Is b less than -27?
False
Let q = 515.8 - 528. Which is bigger: -3/7 or q?
-3/7
Suppose 0 = -332*z + 337*z + 5. Which is greater: -1/25 or z?
-1/25
Suppose -126 = -102*g + 60*g. Suppose -2*r - j - 17 = 3*r, 3*r = 2*j - 5. Which is bigger: g or r?
g
Let i(h) = -79*h + 13. Let v be i(4). Let x = 13633/45 + v. Which is bigger: x or 0?
0
Let l = -0.0643 + 31.1643. Is l greater than -1/2?
True
Suppose 0 = 4*i + b - 44, -4*i = -9*i - b + 55. Let v be 1 - -1 - 25/i. Suppose -16 = -9*o - 25. Are o and v non-equal?
True
Let b = 82 + -83. Is -9.3 greater than b?
False
Let q(i) = i**3 + 19*i**2 + 22*i + 24. Let z be q(-18). Let m be (-8)/(-6) + 76/z. Which is bigger: m or -0.4?
m
Let y(f) = -f**2 + 8*f - 10. Suppose 0 = -l + 9 - 5. Let b be y(l). Let z be (-12)/3 + 27/b. Which is greater: z or -0.2?
z
Let g(n) = n**3 - 11*n**2 - 1. Let t be g(11). Let j be (-24)/(2 - 10 - t). Is 3 equal to j?
False
Let l = 386/5 + -77. Suppose -3 - 22 = -5*j. Suppose h = j*h. Are l and h equal?
False
Let p = 7.87 + -7.67. Which is smaller: 15.9 or p?
p
Suppose 0*o - 3*w - 15 = o, 4*o + 4*w = -20. Let a be (-1 + 35)/((-6)/5). Let f = 141/5 + a. Is f bigger than o?
False
Let p(s) = -s**2 - 4*s + 2. Let h be p(-5). Let o = 2/893 + -50905/1786. Let v = -30 - o. Which is greater: h or v?
v
Let l(b) = b**3 + b**2 + 1. Let h be l(-2). Let r = 31 + h. Let w be 2*(60/r + -2). Which is greater: 1 or w?
1
Let c(x) = x**2 + 6*x - 3. Let a be c(-5). Suppose -3*z = i + 168, -2*z = -6*z - 2*i - 224. Let s be a/z - 78/350. Which is smaller: s or -1?
-1
Suppose 5*l - 5*v - 5 = 0, 4*v - v - 3 = 0. Let c be l/14 - ((-4)/5 - -1). Is -1 less than or equal to c?
True
Let f(s) = 2*s - 2. Let d be f(2). Suppose -d*z = -a - 15, -3 = 3*z + 4*a + 2. Is 4 != z?
True
Let q be 4*(207/(-22))/(-9). Is q smaller than 5?
True
Suppose -60 = 10*b + 120. Let r = -17 - b. Which is greater: 3/34 or r?
r
Let a be (-48)/(-26) - 42/(-273). Suppose -x = a - 6. Which is bigger: x or -3?
x
Let x be -12*5/(-2)*(-112)/128. Does x = -26?
False
Let s = 1029 + -1607. Let f = s + 50288/87. Suppose 4*m + 5*i = 6, -21*m + 20*m = -5*i + 11. Is m at most as big as f?
True
Suppose 123*n = 125*n. Which is greater: 797 or n?
797
Let l = -21.4 + 21.1. Let u = -840/5629 + -2/433. Which is smaller: l or u?
l
Let w be (-2)/3 - 154/(-42). Suppose 0 = w*k + s - 7 - 11, -k - 8 = 5*s. Which is greater: -3 or k?
k
Let u = 74.57 - 74. Let y = u - -2.13. Let l = y - 0.7. Which is bigger: l or -0.2?
l
Suppose o - 4 = 0, -5*n + 2*n = -4*o + 10. Let g be (-21)/(-5)*(34/6 + -5). Is n less than or equal to g?
True
Let s be 23 - 25 - (25/(-19) - 1). Is 0 < s?
True
Suppose -4*k + 4 + 4 = 0. Let f = k - 1. Let q be -3*3/45*f. Which is bigger: q or 1/3?
1/3
Let c be (-375)/(-63) + (-12 - -6). Let i = 1 + -1.1. Is c less than or equal to i?
False
Let v(l) = -2*l**2 - 7*l + 10. Let c be v(6). Let g = c + 160. Do 56 and g have the same value?
True
Suppose -2*b + b = 16. Let k = 22 + b. Let t be ((k - 4)/4)/(-2). Are t and 0 unequal?
True
Let c = 3.65 + 6.75. Which is smaller: -1/12 or c?
-1/12
Suppose -13 - 5 = -2*v - 4*f, 0 = f + 1. Let x(p) = -2*p - 4. Let z be x(5). Let g be (-2)/v*(-21)/z. Which is smaller: g or 0.1?
g
Let h be 14*(-6 + 4)*3/(-6). Let v = h - 14. Which is smaller: v or -6/13?
-6/13
Suppose 3*x = r - 2, -3*x - 1 - 2 = 0. Let n = -771/3116 - 2/779. Is r greater than n?
False
Suppose -3*j - 49 + 16 = -3*i, 2*i = j + 13. Let x(a) = 17 - 7 - 7*a + a. Let t be x(3). Is j at most as big as t?
True
Let b = -1/99518902659 + -18731646896076715/20459394565345197. Let t = -884/683 - b. Let d = t + 4/43. Which is greater: 9 or d?
9
Let l = 15 + -22. Let j be (1/(-1))/(-6 - l). Let i = 0.07 + -0.07. Is i less than j?
False
Let g(t) be the third derivative of t**6/120 - 3*t**5/20 + 7*t**4/12 - 11*t**3/6 + 2*t**2. Let x be g(7). Is x greater than -11?
False
Let p be (-1)/7 + 414/7. Let h = 99 + -39. Which is bigger: p or h?
h
Let w = -67 - -62. Let z be (w/3 - 1)*3. Is -8 <= z?
True
Let y = -10.301 + 0.201. Let n = y - -0.1. Let x = n + 10. Which is bigger: -0.1 or x?
x
Let d be 4 - (1 + 0 + (-90)/(-15)). Which is greater: -13/6 or d?
-13/6
Let r = -214838747/278505 - 2/55701. Let d = 778 + r. Which is bigger: 8 or d?
8
Let v(l) = l**2 - 7*l + 3. Let m be v(11). Let g = 2.3 - 2.4. Which is smaller: 