 to r?
True
Suppose 0 = 5*c + 4*q - 34, -2*c + q + 17 + 7 = 0. Suppose -4*o - 5 = -0*o - 5*t, -4*t = -2*o - c. Is 3 smaller than o?
True
Suppose 408*p - 701 = 407*p. Which is smaller: 703 or p?
p
Let z = -300 - -322. Is 22 bigger than z?
False
Let n = 857 + -952. Which is smaller: -101 or n?
-101
Suppose -49*n + 261 = 65. Which is smaller: -7 or n?
-7
Let o = 12.1 + -12.25. Let w = 13.15 + o. Which is smaller: 3 or w?
3
Let h = 2/1943 + 3792/91321. Is 0 < h?
True
Let q be ((-3 + 3)/(-2))/(-1). Let a = 2 + q. Let s be a/(-15) - 364/(-30). Which is smaller: 2/7 or s?
2/7
Let g(x) = -1. Let u(w) = w**2 + 3*w. Let y(t) = -4*g(t) - u(t). Let m be y(-4). Let b(l) = l**2 + 9*l - 10. Let f be b(-10). Is m >= f?
True
Suppose 4*s + 25 + 15 = 0. Let g = s - -10. Is 1/4 < g?
False
Let v be (-3)/((-21819)/(-6) + 1). Let u = -26801/152775 - v. Let y = 2/7 + u. Which is bigger: y or 0?
y
Let n = 27384/5 - 5453. Which is greater: 25 or n?
25
Let q = 212 + -198. Which is bigger: -2/3 or q?
q
Let q = -97522/386175 - 2/20325. Which is greater: q or 1?
1
Suppose 2*b + 11 = 5, 2*r + b = 13. Which is greater: r or 13?
13
Let a be (-197 + 1)/((2 + -3)*3). Let b = a - 66. Which is greater: b or 3?
3
Let f = -814 + 776. Is f <= -54?
False
Let i = 43 + -35. Suppose -i = -t - 3*t. Is 2 at most as big as t?
True
Let q = -3/364 - -7307/3276. Suppose 2*r + 1 - 7 = 0. Is r equal to q?
False
Suppose 4*o - 12 = v, -2*o + 13 + 3 = -3*v. Let k = -1118 - -10072/9. Which is smaller: k or o?
k
Let k = 0.98 - 97.98. Let q = 96.78 + k. Which is bigger: q or -1/3?
q
Let f = -7.62 + 8.11. Is f smaller than 9?
True
Let x be (4 + (-165)/40)/(5/170). Which is smaller: x or 1/9?
x
Suppose 9 = -2*x + a - 2*a, 0 = 5*x + 5*a + 25. Which is bigger: -29/10 or x?
-29/10
Let o(w) be the third derivative of -w**4/12 + w**3/3 - 7*w**2. Let g be o(2). Let i = g - 11. Is -11 smaller than i?
False
Let q(t) = 2*t**2 - 8*t - 15. Let p(j) = 5*j**2 - 17*j - 29. Let f(r) = 3*p(r) - 7*q(r). Let d be f(8). Is d >= 122?
True
Suppose 0 = 2*q + 4, -4*w + 14*q - 9*q + 254 = 0. Which is bigger: -2/5 or w?
w
Suppose -17*v - 444 + 121 = 0. Which is smaller: -18 or v?
v
Let u be (-387)/(-1005) + 4/(-10). Let f(o) = -79*o + 948. Let s be f(12). Is s bigger than u?
True
Suppose -g - 5*g = -12. Suppose -g*l = -6*l - 4. Which is greater: l or 1/6?
1/6
Let t(z) be the second derivative of z**5/20 + 3*z**4/4 - 3*z**3/2 - 2*z**2 - 40*z. Let x be t(-10). Which is smaller: -10 or x?
x
Let s be (-9)/6*16/24. Let d = s + 4. Which is bigger: 21/5 or d?
21/5
Let s be 7*(5/10 + 1/2). Suppose 6*t = s*t + 8. Are t and -10 equal?
False
Suppose 5*v = 5*f + 35, 0 = -2*v - 74 + 84. Suppose -5*z = -2*x + 25, 3*x - 2*x - z - 14 = 0. Suppose -2*j - 3*j = x. Which is smaller: f or j?
j
Let x be -1 + ((-4)/22 - (-230)/55). Suppose -6 = -4*r - c - 3, x*c = -r + 9. Is -4 less than or equal to r?
True
Suppose -2*m + 396 = 4*m. Let x = 25 - m. Are x and -0.1 equal?
False
Let i(c) = -2*c**2 - 10*c + 2. Let m(o) = -2*o**2 - 9*o + 1. Let x(h) = 3*i(h) - 4*m(h). Let n be x(-5). Let y = n - 12. Is 9 bigger than y?
False
Let n = 9 + -8. Let o be (-1)/(12/8 - n). Let u be (-3)/(-126)*o*-6. Which is smaller: u or 0.1?
0.1
Suppose 4*m - 4*b - 4 - 20 = 0, -4*m + 5*b + 22 = 0. Suppose 2*s - m = 4*x, -5*x + 6*s - s = 0. Let g be (4/(-6))/(2/12) + -1. Is g at most x?
True
Suppose -1 = y + 4*k, 4*y + 2*k - 10 = 2*y. Suppose 7*b + y = 2*v + 2*b, -2*v = 5*b + 3. Let s(n) = n. Let j be s(0). Are j and v nonequal?
True
Suppose -3*c - 5*x = -107, -91 = -5*c + 2*c - x. Let n = c - 25. Let a(b) = 2*b - 10. Let f be a(n). Which is smaller: -4 or f?
-4
Let l be (18/(-47))/((-3)/2). Are 0 and l equal?
False
Suppose -2*q + 12 = 4*q. Suppose 2 = -5*r - q*v, -v + 6*v = -5. Let h = 211/525 - -2/75. Is r less than h?
True
Let p be (45/10)/((-17)/(-894)). Let r = 237 - p. Let v(t) = t**2 - 23*t - 78. Let i be v(26). Are i and r equal?
False
Suppose -l = 5*y - 275, 3*y = -0*y + 5*l + 193. Let r be (-4)/y*-18 - 3. Is -1 less than r?
False
Let t be ((-1)/2)/(4/(-704)). Suppose 86*h = t*h. Let w = -9647/185 - -261/5. Which is smaller: w or h?
h
Let o = -0.27 - -0.32. Let t = o - 0.15. Which is bigger: -1/15 or t?
-1/15
Let n(i) = i**3 + i - 5. Let d be n(0). Suppose 5*u - 10 + 0 = 0. Let q be ((-55)/(-33))/(u/(-6)). Is q at least as big as d?
True
Let j = 767020/43 - 17836. Is j at least as big as 2?
False
Let o be -1*3370/(-60) - 1/6. Is 0.04 > o?
False
Let h(l) = -108 - 18*l + 36 + 40 - l**2. Let p be h(-16). Suppose -2*u - 3 = u. Which is smaller: p or u?
u
Let g(f) = f**3 + 23*f**2 + 7*f - 68. Let v be g(-22). Are -1 and v nonequal?
True
Suppose -5*y - 2*y + 105 = 0. Suppose 0*u - 5*u + y = -3*v, -v - 5 = 0. Which is smaller: u or -10/17?
-10/17
Suppose -12*y = -y + 253. Let t = -14 - y. Suppose 29 = 5*l + 2*g, 0 = -l - 2*g - 4 + 5. Are l and t equal?
False
Let b(t) = 103*t + 743. Let j be b(-11). Is j at most as big as -389?
True
Let v(k) = -35*k + 389. Let w be v(-9). Which is smaller: w or -2/5?
-2/5
Let v = 0 + 35. Which is greater: v or 33?
v
Let l be 55 + -53 + (-56)/25. Let i = -2 - -2. Is i greater than l?
True
Let d be (-3)/9*(-1080)/(-444). Does d = -1?
False
Suppose 2*f + 0*f - 30 = 0. Let i be -4 - (15/(-1))/3. Let x be i*(6/(-2) + 19). Which is smaller: x or f?
f
Let u(y) be the second derivative of -y**4/12 - 5*y**3/6 - 2*y**2 + 20*y. Let x be u(-4). Is x at most -1/46?
False
Let m = 0.016 + -0.036. Which is smaller: m or 17?
m
Let m = 192 - -12. Let l be 1/4 - 59/m. Which is greater: 1 or l?
1
Let c = 135.8 - 178. Let b = -39 - c. Which is bigger: -1/2 or b?
b
Let w be ((-3)/18)/((-3)/8). Suppose -3*b - 3*f + 6 = 0, 5*b + f + 14 = 2*f. Let p be 2*(-1)/b*-1. Which is bigger: w or p?
w
Suppose -o = -0*o - 2. Let c(x) = 1 + 5*x - x**2 - x + 0*x**2 - o*x. Let w be c(2). Is w > 4/7?
True
Let n be -22*(-2 + 11/2). Which is bigger: n or -78?
n
Let j = -145 - -2031/14. Is -1 less than j?
True
Suppose -6*k = -3*k - 5*s + 15, 3*k - 4*s + 12 = 0. Suppose 604 = 9*r - 71. Suppose k = -4*w - w + r. Which is greater: w or 14?
w
Let m(s) = -4*s + 2. Let f be m(1). Let b be f/7 + (-6)/(-21). Let o = 18/19 + -87/152. Are b and o equal?
False
Suppose o + 3 = 5. Let q be 1/(18/8 - o). Suppose 5*u = -3*t + 44, 2*t - 17 = -u - q. Are u and -2 nonequal?
True
Let l = -414 - -438. Which is bigger: l or -1/6?
l
Let f(p) = -p**3 - 9*p**2 - 8*p - 2. Let s be f(-8). Let u = s - -46. Let v = 131/3 - u. Which is greater: v or 0?
0
Let c be -5 + 0 - 120/(624/(-26)). Let k be (-7)/(-69) - (-1)/3. Which is greater: c or k?
k
Let r = -0.1 + 0.17. Let d = 0.03 + r. Are -5 and d nonequal?
True
Let l be 2 - -4 - (0 - -6). Let b be ((-1)/57)/((-1)/3). Which is smaller: b or l?
l
Let t(q) be the second derivative of q**5/20 - 7*q**4/12 + q**3 - 11*q**2/2 - 9*q. Let r be t(6). Is -12 less than r?
True
Let u = 1928 + -1927. Suppose 0 = 4*y - 20, -t + y = 2*t + 179. Which is greater: u or t?
u
Let b be -6 + 292/(-6) + -4. Which is smaller: b or -58?
b
Suppose 55*p = -2859 - 99661. Are p and -0.1 non-equal?
True
Let l be -5 + (8274/240)/7. Suppose 3*v + b + 5 = 3*b, v - 9 = -2*b. Which is bigger: l or v?
v
Let z(n) = n + 8. Let c be z(6). Let h = c - 12. Suppose h*x + 8 = 2*s, -s - 5*x - 13 = s. Which is greater: s or 2/35?
s
Let z be (-5)/25 + (-36)/(-5). Suppose -j + 8*j = -z. Are j and -2/7 equal?
False
Let h be 13/4 - 11/44. Suppose 0 = h*a - 5*a - 4. Does 0.9 = a?
False
Suppose 0 = 3*c - 4 + 7. Suppose -12*t = -10*t + 6. Is t smaller than c?
True
Suppose 5*g + 117 = -3*h, -h + 95 - 15 = -4*g. Which is bigger: g or -23?
g
Let z = -2 - -3. Let a(k) = k**3 + k**2 + 3*k + 58. Let w be a(0). Let l = -53 + w. Is l < z?
False
Let j = -23/163 - -8843/69601. Is -1 less than j?
True
Let a be (1 + 1)*(-54)/(-12). Let q be (-2 + -4)*(-4 + 3). Let x be (-61)/38 + a/q. Is x <= -1?
False
Let c = 28 - 17. Suppose c*x = 8*x + 24. Which is smaller: -2 or x?
-2
Let l(o) = o**3 - 15*o**2 - 15*o - 12. Let a be l(16). Let q be (-4 + a - 0) + 0/2. Is -1/6 less than q?
True
Let a(z) = z**2 + 14. Let d be a(0). Let f be (-92)/2*4/(-8). Suppose -2*t - 18 = -5*w + 3*w, 4*t = 3*w - f. Is w at least d?
False
Let f be 1/((-2)/4) + 2. Let a = -53/2 + 14895/562. Let v = 300/5339 - a. Are f and v nonequal?
True
Let k be 5/2