hich is smaller: y or h?
h
Suppose 0 = -1098*u + 1104*u - 3228. Which is greater: 537 or u?
u
Let r be (-1 - 2)/((-6)/(-4)). Which is smaller: 0.02 or r?
r
Let r be (-5)/(10/(-48)) - -2. Let i(n) = -6*n - 89. Let x be i(-13). Let p = r + x. Is 15 not equal to p?
False
Let i = 7.061 - 393.431. Let q = 388 + i. Let p = -1.6 + q. Which is smaller: p or -1/3?
-1/3
Let w(c) = -2*c**3 + 24*c**2 - 5*c - 30. Let o be w(11). Is o < 157?
False
Suppose -1 = -2*c + 3*c. Let r be -38*(-1 + 4)*c/3. Is 38 <= r?
True
Let d be 4*((-2)/(-4) + (-297)/486). Which is greater: -43 or d?
d
Let d = -2.1 + 1.2. Let f = 0.4 + d. Let h = 0.4 - -0.6. Is h < f?
False
Let a be (10/7 + -1)*3. Let g = 180 + -179. Which is smaller: a or g?
g
Let n(u) = -2*u - 6. Let d be n(-9). Let f be -4 - (4 - 100/d). Which is greater: 0.4 or f?
0.4
Let v(a) = -a**2 - 14*a - 29. Let n be v(-11). Which is bigger: n or 24/5?
24/5
Let f(t) = t**2 + 16*t + 18. Let i be f(-14). Suppose 9*y - 3*y + 78 = 0. Let k = -24 - y. Which is smaller: k or i?
k
Let p(z) = 12*z - 626. Let j be p(58). Which is smaller: 75 or j?
j
Let q(d) = -47*d**2 + 20*d + 20. Let l(u) = -12*u**2 + 5*u + 5. Let v(x) = 9*l(x) - 2*q(x). Let p be v(-2). Do -60 and p have different values?
True
Let g = 0 - 1. Let w = 15 + g. Let l = -5 - -5.1. Which is smaller: l or w?
l
Suppose -2*r - 5 = 5. Let y be 5*1/(r/4). Let t be (-10)/(-40) + 5/y. Are 1/3 and t non-equal?
True
Suppose -37 = -21*h + 5. Is 25 at most as big as h?
False
Let o be 2/2*(0 - 0). Let s(m) be the third derivative of m**5/60 - m**4/24 - m**3 - 502*m**2. Let c be s(o). Which is greater: -9/2 or c?
-9/2
Let x(a) be the second derivative of -a**5/20 - 5*a**4/6 - 4*a**3/3 + 7*a**2 + a. Let k = 1107 + -1116. Let c be x(k). Are 5 and c non-equal?
False
Suppose 3*o = -7*m + 4*m + 213, 5*m = 3*o + 347. Which is smaller: 208/3 or m?
208/3
Let h be 258802120/(-588) - (-2)/(-1). Let p = 440134 + h. Let z = p + 16/49. Is z greater than -6?
False
Suppose 6*o + 143 = 635. Is 82 at least o?
True
Let w be (8/6)/((-494)/(-390)). Do w and 1 have different values?
True
Let h = -499 + 592. Which is smaller: -3 or h?
-3
Let i(x) = x**3 + 2. Let m be i(0). Let y(n) = n**3 - 3*n**2 - n + 3. Let b be y(3). Let w = b + m. Which is smaller: 3 or w?
w
Suppose 2*r = -4*u + 338 + 88, 208 = 2*u + 2*r. Let y(v) = v**3 - 101*v**2 + 388*v + 109. Let o be y(97). Is o <= u?
True
Let w(v) = 16*v - 260. Let q be w(17). Which is bigger: 230/19 or q?
230/19
Let j = 0.0727 - 7.0727. Is j > 14?
False
Let t be ((-2)/(144/(-207)))/((-1)/(-6)). Which is bigger: t or 18?
18
Let u be 2/3 - 4/6. Let k be 39/65 - (-317)/(-65). Let n = k - -66/13. Which is smaller: u or n?
u
Let w = -0.589 + 0.989. Which is smaller: -0.03 or w?
-0.03
Suppose 5*m - 6 = 9. Let y be (-115)/(-15) + m + (-16)/6. Is 8 at most as big as y?
True
Let j = 0.3 + 0.7. Let z = 27386/5 - 5477. Is z greater than j?
False
Let n(m) = m**2 - 7*m - 15. Let l be n(9). Suppose -3 = 3*g, -d = -5*d - l*g + 1. Is -2/25 less than or equal to d?
True
Let c = -7 + 6.86. Let q = -2.86 + c. Let t = -26/3 - -8. Which is bigger: q or t?
t
Let s = -1761 + 1439. Do s and -322 have different values?
False
Suppose 19 - 1 = 9*k. Let q be (0/k)/((7 - 3) + -2). Which is greater: q or -2?
q
Suppose -9*o + 25 = -14*o. Let w be -7 + 6 + o/(-1). Suppose 0 = 4*d + 4*c + 4, -7 = 5*d - 3*d + 3*c. Is w > d?
False
Let s(b) = 11*b - 8. Let d be s(2). Suppose 0 = -6*j + 4*j + d. Is j < 9?
True
Suppose 5*m + 2*m = -1232. Is m greater than or equal to -175?
False
Let a(l) = -3*l + 8. Let o be a(7). Suppose -6*u = -14*u + 32. Suppose -k = 2*k - 2*w + 26, 0 = -u*k + w - 43. Which is bigger: k or o?
k
Let p = 3.42 - 3.3. Let f = p - -3.88. Is 0.1 less than f?
True
Let k be ((-6)/152)/((-4)/8). Let a = k + 61/190. Is -1 > a?
False
Let n = -14 - 7. Suppose -2*x - m + 14 - 56 = 0, 5*m = x + 32. Are x and n equal?
False
Suppose -2*t + i - 217 = 0, -4*t - 540 = t - 3*i. Let n be -5*(-4 + t/(-30)) - -4. Is 5 at least as big as n?
False
Let p = 0.06 - 8.06. Let d = -22 - -30.3. Let w = p + d. Which is greater: 0.1 or w?
w
Let s = 39.5 + -34. Let r = s + -5.2. Which is greater: -4 or r?
r
Let u = 295 - 264. Which is smaller: -0.01 or u?
-0.01
Suppose -3*g - 45 = 3*b, -3*g + 5*b = 2*b + 75. Is g > 6?
False
Let v(j) = 8*j + 16. Let q be v(8). Let i = 72 - q. Is i >= -9?
True
Let c(u) = u**3 + 8*u**2 - 2*u + 2. Let m be 3/2 + (-28)/8. Let g(o) = -o**3 - 7*o**2 + o - 3. Let t(i) = m*c(i) - 3*g(i). Let r be t(-5). Is -2/5 != r?
True
Let p = -1.39 - -1.49. Is p greater than or equal to 35/22?
False
Let l = 754 + -5283/7. Is l less than or equal to -1/9?
True
Let b(t) be the second derivative of t**3/3 + 9*t**2/2 + 2*t. Let c be b(-8). Which is smaller: -1 or c?
c
Let c = 189 - 187. Which is bigger: c or 5/6?
c
Let w be 11/(11/(-10)) - -4. Let f = -2/1383 - 40097/6915. Is f smaller than w?
False
Let v(c) = -c**2 - 6*c + 16. Let i be v(-8). Which is bigger: 2/895 or i?
2/895
Suppose 4*p + n = -14, 5*p - 5*n + 22 = 2*p. Let k(u) = 6*u - 13*u + 8*u - 2*u + 1. Let j be k(p). Is 3 at most as big as j?
True
Let w be (12/112)/(35/8 + -4). Which is smaller: w or -390?
-390
Let f = 128 - 141. Let n(d) = 6*d + 55. Let x be n(f). Which is greater: -164/7 or x?
x
Suppose i = 5*v + 83, -4*i + 356 = 3*v + v. Which is smaller: -1/2 or i?
-1/2
Let a be 4/22 + 7/22. Let f be (18/(-264))/((-12)/66). Is f less than a?
True
Suppose 0 = 2*b - 10, 2*b = -3*v + 3*b - 11. Let g be v + (-1 - (-6 - -3)). Which is smaller: g or -2/43?
-2/43
Let d(r) = 40*r**3 - 3*r**2 - 1. Let m(x) = 80*x**3 - 6*x**2 - x - 2. Let v(c) = 7*d(c) - 3*m(c). Let p be v(1). Is 38 > p?
False
Let n be -2*(2 - 6/4)*39. Is n at most -29?
True
Suppose 0 = 5*o + 10 - 35, -v - 23 = -5*o. Let t be 46/8 + 3/12. Let b be v/(-22)*(-6 - t). Which is smaller: 1 or b?
1
Suppose 5*x + 2 - 23 = -j, 0 = 3*j + 2*x + 2. Let a be j/(-8)*32*-2. Let z = 46 + a. Is z < 1?
False
Let w = -285 + 298.3. Let m = w + 9.7. Which is smaller: 4 or m?
4
Suppose -100*u = -105*u. Is -2/17 equal to u?
False
Let b(a) = a**3 + 4*a**2 + a - 6. Let c(q) = q**2 - 4*q - 3. Let p be c(4). Let w be b(p). Which is bigger: -2/43 or w?
w
Let r = -1 + 3. Let z(q) = -q + 24. Let m be z(19). Suppose 5*t + m = 5*o, r*t - o - 3*o + 4 = 0. Which is greater: t or -3?
t
Let k be (-5)/(-10)*-4 - 452/(-212). Which is smaller: k or -1?
-1
Let x(g) be the first derivative of -7*g**4/2 - 15. Suppose 0 = -5*a - 4 - 1. Let b be x(a). Are 13 and b equal?
False
Suppose 4*g - 13 = -b, 15 = 22*g - 17*g. Do -6/127 and b have the same value?
False
Let n = 84 - 82. Is 36 at most n?
False
Let v be -5 + (-388)/(-36) + 4/18. Let y be 2 - v - (-1)/1*4. Let w = 1605/11 + -146. Which is smaller: w or y?
w
Let o(y) = -4*y**2 - 16*y + 69. Let i be o(-15). Is i smaller than 1/4?
True
Suppose -209 - 45 = 4*z - 2*l, -4*z = -3*l + 253. Let q = 65 + z. Which is smaller: q or 2/19?
2/19
Suppose 0 = 4*p + 1 + 3. Let v = -910/9 - -31814/315. Which is greater: p or v?
v
Suppose 4*x + 3*p = 26, -14 = -7*x + 4*x - 5*p. Let n = x - 5. Let q = 0 - -1. Which is greater: n or q?
n
Let d = 93 - -43. Let o = d - 137. Is o at most 0.02?
True
Let m = 16 + -10. Let r be -3*m/(-15)*40/3. Is r <= 2/7?
False
Let b be (5 - (-28)/12) + 0 + 2. Is b less than 10?
True
Let k = 207610093/239250 - 75506/87. Let r = k - 12/125. Which is bigger: r or -1?
r
Let q be -4 - (-3 - (5 - 3)) - 16. Let b be 18/(-2) - (q + 15). Let c = -10 - 0. Is b > c?
True
Let u = 189 - 189.5. Which is greater: u or -0.23?
-0.23
Let j(u) = -36*u**2 + 22*u - 39. Let a be j(2). Which is bigger: a or -137?
-137
Let g = 0.19 - -0.91. Let s = g + -0.1. Let f = -4.1 + 5.2. Which is bigger: s or f?
f
Let s = -1 + -8. Let w be ((-24)/(-9))/((-6)/s). Suppose -2*g - 3*h = 7, 0*h - h - 19 = w*g. Which is smaller: g or 2/3?
g
Let d = -131.1 + 141. Let c = -12 + d. Is c not equal to -1?
True
Let y be 1/(-6) + 1247/174. Is 7 less than or equal to y?
True
Suppose 0 = -0*f - 4*f + 8. Suppose f*j = 54 - 32. Is 11 at least j?
True
Let c = -5.8 - -5.3. Suppose -3*a + 5*u = -0*u + 17, 3*u = 2*a + 10. Let j be 3/(-12) - a/(-4). Does c = j?
False
Let n = 96 - 127. Let f be (-29)/n - (-3)/(-9)*3. Are f and 1 unequal?
True
Suppose 3*v + 23 = 23. Suppose v*k - k = 7. Suppose 3*t + 6 = 2*t - 