 + -742. Is 46 at least f?
True
Suppose 2*m - 3*b - 2082 + 847 = 0, -3*m = 3*b - 1890. Let p be (60/m)/(-6)*5. Let u(g) = g**3 - 4*g**2 + 3*g + 1. Let t be u(3). Is p <= t?
True
Let t(k) = -k. Let g be t(-3). Is g at least as big as -5?
True
Suppose 0 = 998*b - 1000*b + 40. Is 17 smaller than b?
True
Suppose -44*n + 52*n = 0. Which is bigger: -14/23 or n?
n
Let a(l) = l**3 + 20*l**2 + 32*l + 15. Let r be a(-18). Is 175/2 <= r?
False
Let m be 2/(-6) + (-493)/87 + 335. Are m and 330 unequal?
True
Let x(r) = 3*r**2 + 8*r - 80. Let f be x(4). Let z be 1/(-2) + 0 + 1. Is z at most f?
False
Suppose -2 = -7*m + 12. Suppose 27 = 9*p - 0*p. Which is smaller: m or p?
m
Let w(t) = t**3 + 4*t**2 + 2*t - 3. Let y be w(-3). Let l be (-1)/(-3)*(-8)/(-84). Which is smaller: y or l?
y
Let a(z) = 2*z**3 - 10*z**2 - z - 25. Let v be a(5). Which is smaller: -173/6 or v?
v
Let b(w) = 14*w - 3. Let i be b(2). Suppose 5*d - 130 = -0*d. Which is greater: d or i?
d
Suppose 3*f = 58 + 2. Suppose 0 = 2*p + 2*p + f. Let r(u) = -3*u**2 - 1. Let h be r(1). Which is smaller: h or p?
p
Let h be (-1*0/(-2))/(11 + -9). Which is bigger: h or -3/23?
h
Suppose 190 = -2*l + 3*o, 2*l - 2*o = -49 - 137. Is l less than -86?
True
Let g(p) = 4*p**3 + 1 - 5*p**3 + 2*p - 5*p**3. Let s be g(-1). Suppose 0 = -5*a + 4*k - 15, -s*a = -3*a - k + 3. Which is smaller: a or -2/25?
-2/25
Suppose 137 = -w - 321. Which is smaller: -457 or w?
w
Let t = 10 + -10. Let f(r) = r**3 + 4*r**2 - 2. Let a be f(-2). Suppose 0 = 10*w - a*w + 4. Are t and w non-equal?
True
Let x = -0.0469 - -29.7469. Are 0 and x equal?
False
Let g be (-2)/3*(-9)/(-123). Is g <= -1.4?
False
Suppose 6*h - 80 = m + 11*h, 0 = -m + 3*h - 72. Which is smaller: -77 or m?
-77
Let v be (-2508)/28 - 3/7. Let d be ((-9)/v)/(3/(-24)). Which is smaller: -0.2 or d?
d
Suppose -2*w + 6*w + 4*a - 16 = 0, 0 = 4*w + 2*a - 12. Suppose -5*r - 3 = -w*j - 8, -4*j = -r + 19. Let h = 2 - 5/2. Which is smaller: r or h?
r
Suppose -21 = 4*l - 5. Let b be l/(-12)*9 - -26. Let q = b + -24. Are 2 and q equal?
False
Suppose 15 = 11*c - 6*c, -3*r = 2*c - 9. Which is bigger: -1/27 or r?
r
Suppose -10*b = 3*b - 702. Is b at most 55?
True
Let s be (11 + -3)/(-4)*2. Let i = -63/17 + 7/34. Is i at least as big as s?
True
Suppose 0*n + 4*n = -8. Let z = -377521108/385 - -980573. Let t = z - -9/55. Is t greater than or equal to n?
True
Let i be 2/(-4)*(-19 - (-34 + 15)). Suppose 0 = -0*k - 2*k + 30. Let n be (2/k)/((-2)/(-10)). Which is bigger: n or i?
n
Let j = 17.3 - 21. Let l = j + 1.7. Is 0.1 less than l?
False
Let m be (-54)/(-72)*8/177. Which is bigger: 2/9 or m?
2/9
Suppose 20*p - 40 = 21*p. Is -38 equal to p?
False
Let j be (-4)/(8/(-8)) - 5. Is j greater than or equal to -4/79?
False
Let r(u) be the first derivative of u**2 + 77*u - 44. Let g be r(-6). Are 65 and g nonequal?
False
Suppose b - 5 + 1 = 0. Suppose -3 = -b*x - 7. Let k be 7/(-14) - x/6. Which is smaller: k or 0?
k
Let d = 35.7 - 34. Let l = d + 12.3. Which is bigger: 1 or l?
l
Let u(z) = 19*z + 16. Let y be u(-4). Let l be (-9)/y*5 + (-35)/68. Which is smaller: l or 0?
0
Let z be ((-165)/(-1485))/((-2)/4*1). Which is smaller: z or 1/10?
z
Let k = 4 + -4.6. Let y = k - -0.1. Let h = -15260 + 15262. Is h at most y?
False
Let b be 1/(-6)*1 - 189/(-570). Let a = 2/285 - b. Let i = 1 + -2. Which is smaller: i or a?
i
Suppose 4 + 5 = 3*i, i - 214 = c. Is 2 >= c?
True
Let m = -1/13309 - -40738/10793599. Is 1 less than or equal to m?
False
Let k(u) = -2*u**3 - 2*u**2 - 2*u + 1 - 2 + 4. Let v be k(-3). Let c be ((-54)/v)/((-26)/5). Is c at least 1?
False
Let f be 56/14 - (-1)/(68/(-273)). Which is greater: f or 3?
3
Let w = 2081/13 - 160. Suppose -24 = 3*p + 4*u, 0 = -p - 2*p + 3*u - 3. Let b be (1 + p/4)*1. Which is greater: b or w?
w
Let y(t) = 4*t**2 + 3*t - 1. Let g = 138 + -139. Let h be y(g). Which is greater: h or 0.065?
0.065
Let i(x) = x**2 + 75*x - 1. Let s be i(-75). Which is smaller: s or 1/1040?
s
Suppose -3*d - 30 = -3*r, 2*r - 13*d - 32 = -15*d. Suppose 0 = 2*b + r - 13. Is b not equal to -23?
True
Let n(y) = -5*y. Let x be n(2). Let c = 2 + x. Let g = 308 - 317. Is c at least as big as g?
True
Let y = -491 + 490. Which is bigger: y or -15/58?
-15/58
Let d = -1.01 + 0.59. Let p = -0.08 + d. Which is bigger: -5 or p?
p
Let v = -18 + 0. Let j(z) = 6*z - 31. Let f be j(5). Is f < v?
False
Let l = -30/557 - 15608/61827. Let t = 1/37 - l. Which is greater: t or 33?
33
Let r(g) = -g**2 - 7*g + 6. Let n be r(-7). Let v be (-18)/21*(-3)/n. Which is greater: v or 0?
v
Let t = -31 - -38. Suppose -t*r = -13 - 1. Which is smaller: 3 or r?
r
Let k be ((-15)/9 + 1)*(-2)/5. Suppose -4*t + 7 = -3*w, 0*w + 4*w - 5*t + 9 = 0. Which is bigger: w or k?
k
Let c = -0.2984 + -1364.7016. Is -2/5 greater than c?
True
Let k(d) = 3*d**3 - 4*d**2 + 5*d - 6. Let t be k(3). Let g be -56*(-2)/t + -2. Let b = -2 + 3. Is b bigger than g?
True
Let l = 37.189 + -0.389. Let m = 37 - l. Which is smaller: m or 1?
m
Suppose 28 = -4*l + 4*o, l - 8*o = -3*o - 23. Let f(i) = i + 5. Let p be f(l). Let g = 20 - 15. Are p and g unequal?
True
Let f = 1.7 - 0.7. Let u = -5 + f. Let k = 1 - u. Is k equal to -1/3?
False
Suppose -47*n + 28 = -33*n. Which is smaller: n or 5?
n
Let v be (38/6)/(2/2). Let x = v - 33/5. Let r be (1 - 1)*(-2)/(-8). Are x and r non-equal?
True
Let b be -2 + (-1 - 0/(-3)). Let v(z) = z + 7. Let x be v(-3). Suppose -x*q + 5 = -2*a - 5*q, -q + 3 = -2*a. Which is greater: b or a?
a
Suppose -5*t + 270 = 2*c, -2*c - 254 = -4*c - t. Suppose -i - 4*v = -51, -2*i - i - 5*v = -c. Which is smaller: 34 or i?
34
Let q be 30848/(-240) + (-10)/(-75). Which is smaller: -128 or q?
q
Suppose -132 = 2*o - 386. Is o greater than 127?
False
Suppose -i + 8*i - 7 = 0. Is 5/12 smaller than i?
True
Let m be 3 - ((-2)/(-16) + (-119)/(-8)). Which is greater: -11 or m?
-11
Let s be (0 + (-2)/12)/(-1). Let c be 7/2 - 2/4. Suppose -9*l + 6 = -c*l. Is s at least as big as l?
False
Let s be 45/(-408)*1956/(-63). Let f = s - -1/238. Which is bigger: 2 or f?
f
Let o = -0.01 + -4.99. Let p = 4.2 + -4.5. Which is smaller: p or o?
o
Suppose j - 190 = -198. Suppose -h + 1 = -5. Suppose 0*x - 22 = 2*r - 2*x, -2*r - 5*x + h = 0. Which is smaller: r or j?
j
Let s be 2/(-248)*20/(-5). Suppose 2*v + 4*h = 5*h, 5*h + 15 = -5*v. Which is greater: s or v?
s
Let g(v) = 39*v**2 + 51*v + 1. Let l be g(3). Which is smaller: 506 or l?
l
Let g = -42 + 27. Let u be 4/4 - g*(-2)/3. Which is smaller: -10 or u?
-10
Suppose -2 = -9*u + 7*u. Let z be 0 + -4 + u - 160/12. Is -17 at least as big as z?
False
Suppose 7 = 4*l + 3. Let x(y) = -y**3 - y**2 + 2*y - 1. Let t be x(-2). Is t smaller than l?
True
Let t(d) = d**3 - 8*d**2 - 4*d - 2. Let f be t(6). Let u = f - -70. Which is smaller: -27 or u?
u
Suppose -q + 6*q + 996 = -3*d, 3*d = -3*q - 996. Is d bigger than -332?
False
Let o(s) = s**2 - 3. Let t be o(0). Let i = -774 - -515. Let x = 770/3 + i. Is t at least x?
False
Let a be (-4)/(-46) - 5670/138. Is a <= -38?
True
Let n = 543 + -517. Which is smaller: 17 or n?
17
Let w = -3.3 - -0.3. Let r = 67 + -69. Let u = w - r. Is u smaller than 8/5?
True
Let v be 9 - (0 + 7 - -52). Suppose -i - 51 = -2*h, -i + 2*h - 51 = -3*h. Are i and v equal?
False
Let l be 2*(1 - 2)*-1. Let p = 1 - -2. Let g be -1*l - (p + 3). Is -8 greater than or equal to g?
True
Let l = -704/3 + 232. Let k = -11 + 6. Let a = 2 + k. Which is bigger: l or a?
l
Let a = 8681.921 + -8693. Let g = a - -0.079. Are g and 1 nonequal?
True
Suppose 14 = 3*o - 2*o. Let m = 20 - o. Suppose 40 = -2*r + 10*r. Is r less than m?
True
Let n = 70 - 70. Suppose -f + 213 = -5*u + 62, -5*f = -2*u - 65. Let q be (-4)/(-16) + u/(-8). Which is smaller: n or q?
n
Let g = 1.95 - 2. Let f(h) = -2*h - 19. Let k be f(-7). Let n be 5/k + (-3)/(-9). Which is smaller: g or n?
n
Suppose 4*c + 5*h + 2 = 0, -c - 2*h - 11 = -6*h. Let l be (0 - c) + -3 + -1. Let q be (-2 - l)/(20/(-8)). Is q at most as big as 1/4?
False
Let k be 9752/316*8/(-44). Let p = 62/11 + k. Which is bigger: p or -1?
p
Let t be 4*(-6)/(-24) + (-4)/(-2). Let a be -5 + 15/9*t. Which is smaller: a or -2/47?
-2/47
Let c be 434/(-40)*(-2 + 3). Let b = -2/1091 - 40359/4364. Let o = b - c. Which is bigger: o or 3?
3
Let a(w) = -w**2 + 13*w + 28. Let d be a(16). Wh