er: l or w?
l
Suppose 0*u - u = w - 8, 0 = -u + 4*w - 12. Suppose 0 = 2*n + 4*o + 90, 0 = n + u*o + o + 36. Is n <= -51?
True
Let v(o) = -15*o - 803. Let a be v(-43). Which is smaller: -154 or a?
a
Let r(n) = 4*n - 5. Let a be r(-3). Let g = a + 2. Let s be ((-12)/(-30))/(213/g). Which is smaller: s or -1?
-1
Suppose 5*f + 9 = -31. Let c = f + -4. Let a = c + 18. Is 7 bigger than a?
True
Let r = -28 - -37.2. Let d = -9.26 + r. Is d at most as big as -2/3?
False
Suppose -3*c = -p - 5, 7*c - 2*p - 3 = 8*c. Which is smaller: c or 25/18?
c
Suppose -9*c + 5*c = -8. Let n be (-2 - (-20)/25)*10/(-4). Let s be ((-8)/84*n)/(1/(-7)). Is s < c?
False
Let v = -222.88 + 218. Let f = 52.88 + -53. Let o = v + f. Which is greater: o or -0.1?
-0.1
Let l be 1/((2/(-5))/(-2)). Suppose 0 = -4*c - 1 + 9, 0 = 2*u + 3*c - 12. Let d be ((-253)/276)/((6/(-8))/u). Which is smaller: d or l?
d
Let o be ((-251)/(-1) - -3)*(3 + -5). Let k be 6/(-8) - o/16. Is k at most 31?
True
Let b(o) = -44*o + 707. Let s be b(8). Is 355 bigger than s?
False
Suppose 5*m - 25 = -3*x - 10, 4*m - 3*x + 15 = 0. Let v be 1 + 5 - 2976/434. Which is smaller: m or v?
v
Let o(d) = -28*d**2 + d - 2. Let r be o(1). Is r at least -2/5?
False
Suppose -6*x + 6 = -2*m - 3*x, -5*x + 10 = -2*m. Let h be (9/15)/(8/40). Let t be (-2 - 15/20) + h. Is t at least as big as m?
True
Let n(k) = -4*k - 10. Let o be n(4). Let b = o - -53. Is 29 greater than b?
True
Let j = 7 - 2. Suppose 4*m = -2*y - 10, 8*m - j*m + 5*y + 25 = 0. Let o be 7 - 12/(-15) - (16 + -9). Which is smaller: m or o?
m
Suppose 4 = -13*s + 17*s. Let z be (-1)/((-1)/4*s). Suppose 12 = -z*j - 5*p - 0, -5*p + 6 = -2*j. Which is bigger: j or -4?
j
Suppose 45*o - 79*o = -1326. Are 305/8 and o unequal?
True
Let j = 8 + -4. Let g be j/10 - 14/14. Which is bigger: 0 or g?
0
Suppose -5*a = s + 20, 5 = -s - 0. Let p(q) = -q**3 - 4*q**2 + 3. Let u be p(a). Let r be -1 - (2 - 10/(-4)). Which is smaller: r or u?
u
Let x be (1 + 6)*(-104)/(-28). Do 2/7 and x have different values?
True
Suppose -3*r - 18 = -h + 2*r, -2*r = -2*h + 20. Is -0.6 <= h?
True
Suppose -24 = -2*y + 72. Let a be 3/4*y/(-33). Which is smaller: -1 or a?
a
Let t be (8 + -7)/(2/10). Suppose -5*p = -3*d - 2029, 0*p - 3375 = t*d - 5*p. Let o = 2036/3 + d. Which is smaller: o or 6?
o
Let c = 21 + -16. Suppose -6*k + 3*k = 5*r + 28, 0 = 5*k - 2*r - c. Let s = -8423/25 - -337. Which is smaller: s or k?
k
Let n be 44/(6/(-9)*-3). Let z(c) = -c**2 + 21*c + 45. Let u be z(22). Which is bigger: u or n?
u
Let h = 0.28 - 0.45. Let j = 1.17 + h. Is -5/7 at least as big as j?
False
Let b = -0.1261 + -20.8739. Which is smaller: -43 or b?
-43
Let r be ((-732)/45)/(6/(-5) + 1). Which is smaller: 81 or r?
81
Suppose 7*y - 2*y - 30 = -5*h, -2*y + 3*h - 8 = 0. Suppose y*f = f + 8. Let q be 2/3 - f/30. Which is greater: q or -1?
q
Suppose 0 = -4*s + f + 2 - 16, -2*s + 5*f + 2 = 0. Let z be ((-2)/s)/(11/22). Let g be -2 + z - (1 - 3). Is 2 at least g?
True
Suppose 15*b - 18*b = -12. Let t = 0.4 - 0.3. Let p = -0.9 - t. Which is bigger: p or b?
b
Suppose 0 = 6*w - 25*w - 228. Let a be 4 + 2 + 6*8/w. Which is greater: 5/9 or a?
a
Suppose 51 = 5*g - 69. Let t(n) = -2*n - 8. Let k(c) = -2*c - 7. Let m(v) = 3*k(v) - 2*t(v). Let h be m(-14). Which is greater: h or g?
g
Let k = -0.033 + 3.033. Let f = -30 - k. Do f and -1/4 have the same value?
False
Let r = 5.82 - -0.18. Let g = 6 - r. Which is smaller: 0.07 or g?
g
Let x = 319 - 301. Which is bigger: 20 or x?
20
Suppose 4*i + 4*o = 36, 3*i - 3 = -o + 30. Let j = 13 - i. Suppose 5*u - j - 94 = 0. Which is smaller: u or 18?
18
Let c be 6/(-12) + 15/6. Let m be (c + 0)/((-9)/72). Is -16 <= m?
True
Let q = -639 + 802. Which is smaller: q or 161?
161
Let q = -1.851 + 3.351. Which is bigger: q or -2/19?
q
Let v(w) = w**3 - 8*w**2 + 3*w + 2. Let m be v(8). Let c be ((1 - -2) + m)/1. Suppose -5*p + c = -3*u, -3*u = u - 3*p + 35. Is u < -7?
True
Suppose -4*j + 72 = -3*j - 5*z, -208 = -4*j + 4*z. Suppose -4*k + 56 + 132 = 0. Do k and j have the same value?
True
Let c = -0.1529 + 0.3529. Is c greater than or equal to -0.0435?
True
Suppose n - 2 = -2*c + 3*c, -10 = c - 3*n. Suppose -18 = 3*b + c*d, 4*b - 17 + 41 = 5*d. Is b smaller than 6?
True
Let c = -0.04 + -5.76. Let y = 6.8 + c. Does 0.03 = y?
False
Let c = 0 + -29. Let f = -13 - c. Is f < 0?
False
Let b = 259261/143 - 1813. Let x be (-2 - -1*2)/(4/4). Is b smaller than x?
False
Suppose -4*p + 93 = 21. Suppose 0 = 3*g - p + 6. Suppose g*i = -0*i. Which is bigger: 7/6 or i?
7/6
Suppose -3*y - y + 4 = 0. Let m = 62.39 + -137.39. Do m and y have the same value?
False
Suppose -m = -5*j - 39, -2*m - 2 = j + 8. Let f(b) = -9*b**2 - 2*b. Let o be f(1). Which is bigger: j or o?
j
Let c = -0.282 - 22.718. Is c at least as big as -2?
False
Let w = -7 - -11. Let d(f) = -63*f - 442. Let k be d(-7). Is k at most as big as w?
True
Suppose -3*t + 120 = -3*r, -5*r + 124 = t + 3*t. Let o be ((-18)/t)/((-1)/6). Does 8 = o?
False
Let y = 1/43 + -56/4257. Let a(r) = r**3 + 6*r**2 + 7*r - 5. Let w be a(-4). Is w >= y?
False
Let h = 1.51 - 1.7. Let x = -1.19 - h. Is -1 smaller than x?
False
Let i be (-5759)/52 + 1/(-4). Is -109 bigger than i?
True
Let x be (-2130)/(-4)*(-18)/(-27). Suppose -2*v - 3*v + x = 0. Let k = 215/3 - v. Which is smaller: -1 or k?
-1
Let k(p) = -2*p**2 - 46*p - 59. Let l be k(-22). Suppose 2*c + 18 = -2*j, -c = 4*j - 3*c + 42. Let q be 0 + 2 - l/j. Is 0 at least as big as q?
False
Let i = -187 - -316. Does i = 129?
True
Suppose 309 = 19*m + 290. Is m at least 5/189?
True
Suppose -77*k + 30*k = 1128. Is k != -27?
True
Let u be (-54)/(-36)*35/(-40). Which is greater: u or 7?
7
Let q be ((-30)/8)/((-21)/(-28)*6). Let x = 4 - 4. Is x equal to q?
False
Let p = -259 + 260.7. Let u = 77.1 + -77. Which is smaller: p or u?
u
Let s be -1*-2*(-5)/2. Let t be 2/(-3) - s*1/(-15). Which is smaller: t or -1/5?
t
Suppose 0 = -474*n + 458*n - 800. Suppose 5*h - 75 = m, m + 2*h + 17 + 23 = 0. Is n at most m?
True
Let x = 22 + -12. Let f be (-8)/x*33/44. Which is smaller: f or 0.1?
f
Suppose -6*p - 3*z = -2*p - 36, -2*p + 3*z = 0. Let a be (-7)/(-2) - 3*-1. Is p greater than a?
False
Suppose 4*d - 2*y = -y + 221, 0 = 3*y + 15. Which is smaller: 55 or d?
d
Let g = -3.188 - -3.07. Is g at least as big as 0.2?
False
Let b(v) = -2*v - 1. Let t be b(-3). Let n(y) = -2*y**2 - 10 + 4 + 3*y + y**3 + 2*y**2 - 4*y**2. Let l be n(4). Which is smaller: l or t?
t
Let f be (200/(-4980))/((-4)/(-6))*-1. Are 1 and f nonequal?
True
Suppose -4*h + r + 22 = -r, -5*r + 5 = 0. Suppose h = -v + 9. Let l be v/(-18)*-3*-2. Which is greater: -10/7 or l?
l
Let x(i) = i - 5. Let n be x(-9). Let t = -17 - n. Which is smaller: t or -4?
-4
Let q = -66717/5 - -199619/15. Is -36 less than q?
True
Let u be 7 - (0 - 1)*1. Suppose -3*x + 11*x = -0*x. Suppose x*m - 41 = -3*m + 5*z, -2*m + 3*z = -26. Is m greater than u?
False
Let p = 15427 + -15445. Suppose -3*m - m = 72. Is m greater than or equal to p?
True
Let w = 121.9 + -97. Which is greater: w or 0.2?
w
Let l(q) = q + 7. Let m(n) = 2*n**2 - 8*n + 4. Let h be m(4). Let u be (h/8 + 1)*-2. Let t be l(u). Does t = 1?
False
Let q = -1 + 1.2. Are q and 24 unequal?
True
Let j(p) = 5*p + 3. Let l be j(-2). Let u be 2 - -5 - 424/32. Which is smaller: l or u?
l
Let j = -70 + 42. Let h = -28 - j. Is h >= -14?
True
Let v = 182 + -93. Are 88 and v nonequal?
True
Let m be -2*1*(-1 + (-15)/(-10)). Let t(r) = 56*r - 2. Let l be t(2). Let w = l + -443/4. Is m equal to w?
False
Let s be 3/(9*(-3)/(-18)). Suppose 10 = -5*d + 10*d. Suppose -d*i + i = -s. Are i and 8 equal?
False
Let k(g) be the second derivative of -g**3/3 + 22*g**2 + 36*g. Let b be k(14). Is 18 greater than b?
True
Suppose 0 = -y + n - 29, -2*n - 3*n = 4*y + 80. Which is bigger: y or -27?
y
Let g = -387 - -495. Which is greater: g or -1?
g
Let p be (-20)/7 + 0 + 2. Let c = -15 - -17.8. Let l = 2.7 - c. Is p at most as big as l?
True
Suppose 12*a + 10 = 2*a. Let z = -11 - a. Which is greater: z or -43/5?
-43/5
Let j = 413 + -1240/3. Is j >= 31?
False
Let n(h) = 2 + 9 - 3 + 1 + h. Let z be n(-8). Is z smaller than 3/29?
False
Suppose 733 = 5*v + 2*k, 8*v - 5*k = 7*v + 125. Let l = v - 146. Do l and 0 have the same value?
False
Let r(d) = d**2 + 13*d + 2. Let v be r