smaller: -3/13 or o?
-3/13
Let n = 25 + -21. Let q be (n/45)/((-18)/15). Let i be -2 - (-1 - 3/6). Is i greater than or equal to q?
False
Let n be 4/5 - 2/(-10). Let l be 12/(-56)*(-28)/8. Is n at least as big as l?
True
Suppose -24*l = -27*l - 18. Which is smaller: l or -7?
-7
Suppose 12*x - 15*x - r = 218, 3*x - r + 214 = 0. Is x >= -72?
True
Let n(v) = -v**3 - v**2 + 4*v - 1. Let b be n(-3). Suppose 51 = 2*x - a + 12, -5*x - 4*a + 91 = 0. Suppose 24 = x*d - 15*d. Which is smaller: d or b?
b
Let n(u) = -u**2 + 7*u - 7. Let f be n(5). Let o = 2 - f. Let k be (36/(-84))/(3/(-35)). Which is bigger: k or o?
k
Let n = 4095.71 + -4096. Let w = -0.2 + 0.1. Which is greater: n or w?
w
Let h(s) = 2*s**2 - 15*s - 2. Let y be h(8). Let q be (-61)/y - 14/(-84). Is q at least -10?
True
Let f = -497 + 382. Which is bigger: f or 2?
2
Suppose -5*g - 216 = 4*g. Let l be (10/(-9))/(g/18). Which is greater: l or 1?
1
Let k = 0.2 + -0.2. Let p = -1 - k. Let n be (-4)/(-6)*(-3)/(-3). Is p at most as big as n?
True
Suppose 0 = -4*o + 2*y + 11 + 19, -y = -5*o + 33. Suppose -12 = -o*p - 6. Which is smaller: p or -4/19?
-4/19
Suppose b = -2*q + 17, 0 = b - 4*q - 0*q + 13. Suppose 5*n - 8 = b. Suppose n*k + k = -12. Which is bigger: -2 or k?
-2
Suppose 179*o = 174*o - 35. Which is greater: o or -8?
o
Suppose 5*j - 1860 = 1325. Suppose 4*o = -5*b + j, 3*b - 2*o = -0*o + 369. Let u = b - 1873/15. Is u < 0?
False
Suppose -7*c + 10*c - 216 = 0. Which is smaller: 74 or c?
c
Let m = 1.26 + 11.74. Let l = 13.1 - -0.1. Let b = l - m. Are -2 and b equal?
False
Let p = 1.9 + -2.12. Let h = -0.19 + 0.07. Let f = p - h. Is -1.8 >= f?
False
Suppose 14*b = -13*b + 216. Suppose -5*c - 20 = -c. Let z = b + c. Which is smaller: z or 0.4?
0.4
Let q(c) = -c**2 - 16*c - 30. Let i be q(-15). Let u be (42/(-54))/(5/i). Suppose 4*b - 6 = -2. Which is smaller: b or u?
b
Let r be (-68)/(-483) + (60/35)/(-6). Do 0 and r have the same value?
False
Suppose -5*z = 0, v - 4*z + 3*z = 290. Which is smaller: v or 291?
v
Let l(q) = 22*q + 22. Let t be l(-4). Let z = -65 - t. Which is smaller: z or 16?
z
Let i = 2646 - 2644. Is -663 greater than or equal to i?
False
Let l = 1/21 - -5/21. Let b = 66.7 + -1. Let q = 66 - b. Is q less than or equal to l?
False
Suppose -1 = -4*f - g, 3*f + 2*g = g + 1. Suppose f*k = k - 7. Let d = k + -7. Which is bigger: -1/10 or d?
d
Suppose -3*l + 0*c + 4*c + 21 = 0, 0 = -2*c. Suppose 4*m - l = -3. Which is bigger: -1/4 or m?
m
Let b = 0.33 - 0.83. Let o = 8 - 6.5. Let q = o + b. Which is smaller: 2/7 or q?
2/7
Let b(s) = 7*s. Let n be b(2). Let l be (n/(-3) - -4)/(-2). Which is bigger: l or 0?
l
Let h = 1.854 + -11.854. Which is bigger: h or -7/2?
-7/2
Let o(d) = -2*d**2 - d - 27. Let y be 0/(20/(-4) + 3). Let u be o(y). Let k be (12/u - 0)*-3. Which is smaller: 2 or k?
k
Let c = -11 + 9.98. Let j = -0.02 - c. Let w = 1 + -8. Is j bigger than w?
True
Let j = 9 + -27. Let q(o) = 62*o + 1170. Let h be q(-19). Is h less than j?
False
Suppose -598 = 9*v - 7*v. Let a be 10 + (-4)/(-14) + v/91. Is a >= 4?
True
Let s = 1208 + -1205. Which is bigger: s or -1/264?
s
Let b be ((-12)/50)/((-1)/(-15)). Let q = -86 + 81. Which is bigger: b or q?
b
Let u be (-7)/(-20)*(-4)/(-14). Let a = 2/5 + u. Which is smaller: 2 or a?
a
Let n(t) = t**3 + 4*t**2 - 5*t - 7. Let y be n(-3). Let c(r) = r**2 - 18*r + 16. Let s be c(y). Let p be (20/8)/((-7)/2). Which is smaller: s or p?
s
Let j = -88133/15 + 27751/5. Let k = -320 - j. Let i be 4/(-5) + 666/45 + -9. Which is smaller: k or i?
i
Let v be ((-4)/(-1270))/((-47)/(-235)). Which is smaller: 0 or v?
0
Let r(l) = -3*l - 15. Let o be r(-6). Suppose 30 = -o*n - 0*n. Let g be ((-24)/(-150))/(4/n). Is g smaller than 0?
True
Suppose 92*l = 102*l + 10. Is l less than or equal to 5/43?
True
Let p(o) = o**3 + 4*o**2 - o - 4. Let v be p(-4). Suppose v*i - 4*z - 39 = -i, -3*i + 3*z = -108. Let a = i + -141/4. Is 0 bigger than a?
True
Suppose 2*n = -n + 27. Suppose -n - 3 = -h. Suppose -3*u = h + 6. Is -5 equal to u?
False
Let v = -70 - -4. Is v greater than or equal to -62?
False
Suppose -191 = -5*y + 629. Suppose -y = -3*i + 5*i. Let b be i/12 + (-3)/18. Which is smaller: -8 or b?
-8
Let r = 0.52 + -0.18. Let f = -3.34 + r. Are 1/7 and f unequal?
True
Suppose -4*l = -3*l + 6. Let a(k) = -k - 3. Let x be a(l). Let o = 2 - x. Is o not equal to 0.04?
True
Let v be 6 + -5 + 7608/(-7616). Which is smaller: 1 or v?
v
Let w = 11 + -8. Let n be (-54)/w*(-34)/(-10). Let b = n - -61. Is b at most as big as -4?
False
Suppose -4*t = 2*g - 120, -5*g + t + 288 + 1 = 0. Is 58 bigger than g?
False
Let i = 13 + -8. Let r(m) = m + 3*m**2 + 1 + 1 + 1 - 4*m**2. Let p be r(2). Which is smaller: i or p?
p
Let r = 0.14 + -0.05. Let d = -0.06 - -0.06. Are r and d equal?
False
Let h be (-21*28/(-35))/(4/20). Let c(l) = l**2 - l - 2. Let z be c(2). Is h <= z?
False
Suppose -4*t - 6 = -2*t, -4*j = t + 91. Suppose 0 = 3*p - g - 6, 12*g - 9*g = 9. Let d be 225/(-10) - (p + (-14)/4). Is j at least as big as d?
True
Suppose -q - 3*p = -524, 5*q + 526 = 6*q + 2*p. Are 528 and q nonequal?
True
Let i = 33 - 40. Suppose d - 3*a = -4, 0*a - 10 = -3*d - 2*a. Suppose -4*n - 1 = -4*o - 9*n, -d*o - 2 = 2*n. Are o and i non-equal?
True
Suppose -3 - 7 = -2*b - p, 3*b - 33 = 3*p. Is b smaller than 15?
True
Let o be (-6 - 2763/(-18))*(-100)/(-34). Let f = -433 + o. Which is greater: 0 or f?
f
Let b be (11/(-2))/(4/(-8)). Suppose 42 = 4*o - w + 3*w, w - 9 = -o. Is b not equal to o?
True
Let j(o) = 19*o**2 + 2*o - 2. Let b be j(1). Which is smaller: b or 136/7?
b
Let d be 4 + (633/(-53))/3. Let j = -109/159 + d. Is -3 not equal to j?
True
Suppose 2*o - 4*x + 12 + 4 = 0, -o - 4*x = -4. Let a = 0 + o. Let z(c) = -2*c**2 + 2*c + 55. Let i be z(-5). Are a and i equal?
False
Suppose -5*x - 5 - 30 = 0. Suppose -5*r + 6 = 3*a, 0 = 4*r - 4*a + 7 + 1. Suppose 3*z - 1 + 13 = r. Is x smaller than z?
True
Let s(l) = l + 7. Let v be 16/4 - (3 - -1). Let c be s(v). Let x = c - 29. Is -23 greater than or equal to x?
False
Let u = 366 + -1090/3. Let j be 0 - 3/3 - -4. Let n be (j + 30/(-9))*0. Which is smaller: u or n?
n
Let j be (-760)/2850*(-3)/2. Let n(c) = 2*c**2 - 9*c - 8. Let w be n(7). Is w at most j?
False
Let r be 8714/10 - (-6)/10. Is 873 < r?
False
Let b = 70 + -354/5. Let j = 4 + -4. Does b = j?
False
Suppose -i + 2*z - 20 = i, z - 30 = 5*i. Let s(a) = -a**3 - 4*a**2 + 8*a + 5. Let t be s(i). Let x be (t/(-55))/((-3)/(-3)). Which is smaller: 0.2 or x?
x
Let s = 1469 - 1468. Which is smaller: 41/6 or s?
s
Let k(g) = -23 - 1 + 7 - 7*g. Let j(x) = 15*x + 35. Let a(b) = -6*j(b) - 13*k(b). Let l be a(-6). Which is smaller: l or 3?
3
Let p(h) be the first derivative of h**3/3 + h**2/2 - 1. Let g be p(0). Let d(b) = b - 5. Let k be d(g). Which is smaller: -6 or k?
-6
Let x = 215 - 215. Is -140 less than or equal to x?
True
Let z = -7259852/657 - -11050. Let b = z + 15782/4599. Is 3 at most b?
True
Suppose 127 = v - 4. Is v < 130?
False
Let u = -1727.9129 + 1728. Which is bigger: 1 or u?
1
Let a be (2 + 3)*20/(-1450). Suppose 1 = -2*j + 9. Suppose 3 = 5*d + x + 2, 0 = -2*d + j*x + 18. Which is bigger: d or a?
d
Suppose 0 = -3*h - 2*j + 60, 2*h = 2*j - 1 + 31. Which is smaller: h or 170/9?
h
Let k be 174/12 + (-2)/4. Let d = k + -11. Let u = 1 + d. Which is smaller: 2 or u?
2
Suppose 3*j = -j + 80. Let s be (-16502)/(-73080) + (-5)/j. Let l = 2/1015 + s. Does 0 = l?
False
Let l = -210 + 356. Let d = l + -133. Is 10 smaller than d?
True
Let z(h) be the first derivative of -h**4/4 - 2*h**3 - 5*h**2/2 - h - 4. Let k(s) = -s - 9. Let j be k(-4). Let t be z(j). Which is greater: -2 or t?
t
Let o be (-32)/(-24)*(-6)/(-4). Let z(b) = b**3 - 2. Suppose 0 = -16*i + 14*i + 4. Let a be z(i). Which is bigger: a or o?
a
Let c = -29785/42072 - 2/5259. Is c less than -1?
False
Let y(d) = d**2 + 10*d - 10. Let l be y(-11). Which is smaller: l or -8/21?
-8/21
Let l be (-7)/3*(-2)/7. Let q(k) = -5*k + 25. Let d be q(-8). Suppose 4*w = -5*y - 56, -3*y - d = 3*w - 5*y. Is w greater than l?
False
Let g be (1 - 1)/(8 + -9). Let c = 4 - 2. Suppose 4*f - 7 = 1, c*s - f = -6. Which is smaller: s or g?
s
Let i = 4413/11 + -401. Is 61 > i?
True
Let l = -1609 + 1683. Let u be 1/(((-2)/(-1))/152). Is l at most as big as u?
True
Let