 u be w(-7). Which is bigger: u or y?
y
Let f be (-2)/(-15)*-3*-15. Suppose 0 = o - f*o + 10. Suppose -o*r + 11 = x, -3*x + 5*r - 29 = -7*x. Which is bigger: 2/15 or x?
x
Suppose 12*o - 8*o - 60 = 0. Let v = o - 4. Let q be ((-7)/(-7))/((-1)/(-9)). Is v less than q?
False
Let s be -2 + 2 + 2/(-80). Let u(j) = -j**3 - 7*j**2 - 13*j - 90. Let p be u(-7). Which is greater: p or s?
p
Let w = 2260 - 1436. Is w less than 825?
True
Let b(l) = -l**3 + 11*l**2 - 11*l + 8. Let t be b(10). Let v(x) = -117*x**3 - x**2. Let m be v(1). Let g = 349/3 + m. Which is bigger: g or t?
g
Suppose 0 = -n + 3*b + 2*b + 2, 2*b = 2*n - 4. Suppose 40 = n*l + 2*g, 4*l = 3*g - 5*g + 80. Let s be (-26)/(-24) + (-15)/l. Which is smaller: s or 0?
0
Let k = -5/328 - -663/21976. Which is bigger: -1 or k?
k
Let z(y) = 6*y - 4 + 0 + 1 - 4. Let k be z(4). Which is smaller: 33/2 or k?
33/2
Let c be 10/(-80)*4/10. Let w be (-56)/(-112)*(1 - 3). Is c at most w?
False
Let d(w) = -w**3 + 6*w**2 + w - 6. Let h be d(6). Let p = h - -2. Suppose -p*q = 4*i + 40, 2*i - 2*q = 3*q - 20. Which is smaller: -8 or i?
i
Let i(f) = -f**3 + 4*f - 3. Let m be i(2). Let g be (-6)/4*6/(-27)*m. Let t = -20762/29 + 716. Is g greater than or equal to t?
False
Let q(t) = -t**2 - 4*t - 2. Let s be q(-4). Let z be (s/3)/(96/54). Which is smaller: -1 or z?
-1
Let f be 1/(-4) + 4 + (-303)/(-12). Suppose 0 = 3*h - 5*o + 3 - f, -3*o - 12 = 0. Let q be 0 - (3 - 1*-2). Which is smaller: q or h?
q
Let h(m) be the third derivative of -m**6/120 + m**5/15 + 5*m**4/24 - m**3/6 + m**2. Let b be h(5). Which is smaller: 2/97 or b?
b
Let p(i) = -46*i - 31. Let q be p(-1). Let o = -0.1 + 0. Is o less than q?
True
Let u = 172 + 3. Which is greater: 174 or u?
u
Suppose 13*r + r + 112 = 0. Let i(m) = 5*m - 5. Let g be i(r). Which is smaller: g or -46?
-46
Let l be ((-1)/(-4))/((-3)/8). Let j = 5017 + -5043. Is j != l?
True
Let q be (29 - -1)/2*1410/(-5499). Is q at least -5?
True
Let x = 1307 + -1294. Which is smaller: x or -18?
-18
Let u be -3 + (3 + -3 - 7). Which is smaller: -54/5 or u?
-54/5
Let k = -7 + 8. Let b be (k/(-18))/(22/(-1348)). Let q = -35/11 + b. Which is bigger: 1 or q?
1
Let w(b) = -b**3 - 5*b**2 + 4*b - 8. Let f = 21 - 27. Let i be w(f). Let s be (i/6)/((-32)/(-48)). Do 3/13 and s have the same value?
False
Let h(o) = 2*o + 16. Let u be h(-10). Let g = 0 + -0.5. Let d = g - -1.5. Are d and u equal?
False
Let b be (-2538)/468 - (-10 - -5). Is b less than or equal to 1?
True
Suppose -2*c = 4*m - 24, -3*m - 4 = m - 5*c. Suppose a + 20 = 3*a + 4*h, m*a + h = 61. Is a at least 16?
True
Let g(z) = z + 15. Let k be g(-11). Let r be (-3)/2 + 18/k. Let s be 2 + (-1 + r - 1). Is 3 bigger than s?
False
Let j = 21 + -23. Let l = 4 + j. Suppose 1 = 5*y + 2*d + 4, l*d = -2*y - 6. Are y and -1/12 non-equal?
True
Let r(p) = -2*p + 2. Let x be r(-9). Suppose 0 = 3*o + 2*o + x. Suppose -3*a + 0*a = 0. Which is smaller: a or o?
o
Let b(c) = -13*c**3 - c**2 + 1. Let j be b(1). Let q = j - -15. Let r be (4 - (4 + 3)) + q. Are -5/8 and r equal?
False
Let b be (-15 + 0)*(28/(-20) + 3). Let g = -0.12 + -1.88. Is g < b?
False
Let m(j) = -21*j + 127. Let h be m(6). Is h at least 2/77?
True
Suppose -4*l + 47 = 3. Let o(g) = -g**2 + 11*g + 10. Let j be o(l). Let v = 9 - j. Which is bigger: v or -2/13?
-2/13
Suppose -4*z + 4*l + 28 = 0, -2*z - 7 = 6*l - l. Suppose -4*a + 8*a = -z. Is -1 <= a?
True
Let j = 688/9 + -65378/855. Do j and -1 have the same value?
False
Let w be ((-2)/6)/((-31)/(-44175)). Is w > -475?
False
Suppose n - 6 = 5*w, n + 3*n - 3*w + 27 = 0. Let m be (-2)/3 + 87*(-1)/n. Which is smaller: 41/4 or m?
m
Let o = 1/244 - 515/6588. Let j = -143 - -147. Suppose z - 3*u = -6, 3*u - 2 - j = -3*z. Is o less than or equal to z?
True
Let u = 0.64 - -26.36. Let g = -27.1 + u. Let h = -45 - -19. Which is smaller: h or g?
h
Let l(g) = -g**3 + 6*g**2 + 2*g - 8. Let y be l(6). Let k = -139 + 132. Let x = k + 4. Which is bigger: y or x?
y
Suppose 25 = 25*b - 0. Is b not equal to 12/61?
True
Let v be 52/6*6/4. Let z = -247 - -235. Let c = v + z. Do c and -1 have the same value?
False
Let f = -38 - -24. Let t be (-12)/(-28)*1/((-44)/f). Which is bigger: t or -1?
t
Let d be (4 + (-38)/9)/((-2)/(-28)). Is -4 less than d?
True
Suppose -49*a = 5*c - 50*a - 8, a = 3*c - 6. Is c > 2/4061?
True
Suppose 0 = -4*n - n + 485. Let y = n - -39. Let d = -1226/9 + y. Which is smaller: 4 or d?
d
Suppose -33 = 2*k - 5*p, 5*k + 35 = p + 2*p. Let z be 18/(-136)*(k + (-20)/(-3)). Is z smaller than -1?
False
Let y = 17 - 15. Let x be -36*1*y/52. Is x != 0?
True
Let f = -76.4 - -96. Let q = 3.6 - f. Let y = -16.1 - q. Is 0 less than y?
False
Let n = -11 - -11. Let w = 1 - n. Let h = -0.6 - -2.6. Is w greater than h?
False
Let c(z) = -2*z**2 + z + 4. Let a be c(0). Suppose 2*x - 72 = -a*d, x + 4*d + 58 = 4*x. Is x < 26?
False
Suppose -q + 17 + 35 = -4*u, u = 4*q + 2. Let d be 2 + 200/(-84) - 4/u. Which is greater: 1 or d?
1
Let w be ((-11)/22)/(1/2). Let i be 2*(-1)/(-106)*-2. Let a = -63/265 - i. Which is smaller: w or a?
w
Let v = -545107/21 - -25907. Let f = v - -154/3. Is -3 at least as big as f?
False
Let o = -0.12 + -0.16. Let y = o - -15.28. Let j = -11 + y. Which is smaller: -0.1 or j?
-0.1
Let r = 30 + -26. Let v be 2/(r*(-5)/130). Is -13 < v?
False
Let x(i) = 6*i + 2*i - 10*i**3 + 5 + 3 + 7*i**2 + 9*i**3. Let h be x(7). Is 64 >= h?
True
Let h be ((-4)/5)/(-2) + 14/(-10). Which is smaller: h or -2/619?
h
Let r(d) = -d**2 + 11*d + 13. Let b be r(12). Suppose -5*l + 2 = 2*w + 4, -5*l = -w - b. Which is bigger: 1/3 or w?
1/3
Let i = -17 + 19. Which is bigger: 5/3 or i?
i
Suppose -24 = -2*f + 144. Suppose -f = -23*l + 30*l. Are l and -11 equal?
False
Suppose 2*p - 4*t = -10, -5*p - t - 2*t + 14 = 0. Let y(l) = -l**3 - 4*l**2 - l + 1. Let b be y(-1). Let g be 100/104 - (b + 2). Which is greater: p or g?
p
Let m = -23 - -28. Suppose 5*z - 15 = 0, -5*c - 3*z + m*z + 79 = 0. Let v be ((-2)/c)/(-3 + 4). Is 0.1 >= v?
True
Let p(i) = 2*i + 3. Suppose -2 = -c - 0. Suppose 18 = -5*v - c. Let n be p(v). Which is greater: n or -3?
-3
Let g be (5 + -9)*2/(-4). Suppose 0 = 6*k - g*k + 24. Do -6 and k have different values?
False
Suppose 223 = -28*w - 225. Which is bigger: -18 or w?
w
Let g = -15084 + 301767/20. Let k = -23/5 + g. Suppose f = 5*p - 3, -5*f + 15*p - 11*p = -6. Is k greater than or equal to f?
False
Let n = -10.7 - -13.7. Do n and 7 have the same value?
False
Suppose 4*d = 25 - 153. Is d equal to -31?
False
Suppose -101*d + 4*k = -102*d - 12, -1 = -k. Let b be 4/14 - (-9)/(-7). Let f be 1 + -18 - b - -1. Which is smaller: d or f?
d
Suppose 2*y + 2*y + 28 = -5*q, -5*y - 22 = 3*q. Let p be ((-3)/6)/((-1)/(-18)). Let o be (p/6 - 1)*-2. Which is smaller: o or y?
y
Let i = 21.4 + -20. Let x = 34.3 - 33. Let f = x - i. Is f at most 3?
True
Let w be (-81474)/1628 - (-7)/2. Which is greater: -48 or w?
w
Suppose -4*j = c + 477, 3*j + 344 = -3*c + 5*c. Is j less than or equal to -118?
True
Let q = -1/2228 + -22833/8912. Let z = -21/8 - q. Which is bigger: 0 or z?
0
Suppose 3*f = -2*u + 6*f - 12, -2*u + f = 8. Let s be -4 + 8 + u - 0. Is 1/5 bigger than s?
False
Let h = 8 - 7.939. Let u = 10.939 + h. Which is smaller: -1 or u?
-1
Let d = 36 + -35. Let z = -3 - -11. Let x be (-3)/(-6) - 1/z. Is d greater than x?
True
Suppose 0 = -34*w + 26*w + 4400. Is w at most as big as 549?
False
Let v be -6 - -1 - ((-24)/4 + 3). Is -19 greater than v?
False
Let k = -107/174 - 3/58. Let w = 1.1 - -0.9. Which is bigger: k or w?
w
Suppose 4*a - 2*a + 3*s = -5, -5*a = s - 7. Let x be ((-4)/(160/22))/a. Let h = x - -1/40. Is -4 equal to h?
False
Suppose 0 = -2*m + 4*m - 10. Suppose -5*s + 15 = 5*j, -3*j - 2*j + 5*s = m. Does j = -1/42?
False
Let q(x) = -2*x - 8. Let v(z) = z**2 + 5*z - 11. Let l be v(-6). Let h be q(l). Let s(f) = -3*f + 3. Let p be s(h). Is -3 != p?
False
Let c = -21.52 - -0.52. Let q = 41 + c. Which is smaller: q or 2?
2
Suppose -21*b - 5 = -25*b - 5*t, 5*b - 3 = -3*t. Is -6/71 <= b?
True
Suppose -2*p + 901 = -125. Let l = p + -12827/25. Let f = -2.1 + 2. Which is greater: l or f?
l
Suppose -453 = -8*n + 155. Is 79 less than n?
False
Let w = -0.91 + 0.43. Let o = w - -0.48. Is o bigger than -12?
True
Let n = -229 - -229.71. Is 0.1 less than or equal to n?
T