ich is smaller: l or -26?
-26
Suppose 4*z - 27 = -5*l, -3*z - l = -2*l - 6. Suppose -5*y - 2*f = -3*f - 113, -z*y + 77 = 4*f. Is y > 22?
True
Let w be ((-88)/2)/(14/(-6) - -3). Which is bigger: -64 or w?
-64
Suppose -c + 130 = -522. Let y be -4 - (-3 - 660/c). Let r = -181/1467 + y. Is r greater than -1?
True
Let g(f) = -f**3 + 3*f**2 + 30*f - 24. Let y be g(7). Which is smaller: y or 0?
y
Let w(a) = -a. Let k(x) = -x. Let g(q) = 5*k(q) - 6*w(q). Let l be g(2). Let v(j) = -j**3 + 3*j**2 - j - 2. Let n be v(2). Which is bigger: l or n?
l
Let g be (318/51 - 1) + (65 - 68). Is g equal to 2?
False
Suppose 3*i + 10 - 13 = 0. Suppose -3*z + 5 + i = 0. Which is greater: z or -2.1?
z
Let z = -50 + 14. Let s = 15 + z. Let w = 24 - 24. Is s > w?
False
Let s(p) = p + 7. Let x be s(-5). Let f be -29*3/12 - -2. Let j = 6 + f. Which is greater: j or x?
x
Let g(q) = -q**2 - 12*q + 6. Let v(a) = a**2 + 13*a - 5. Let z(r) = -3*g(r) - 2*v(r). Let d be z(-11). Let k be (1/(-1))/(d/63). Which is smaller: k or -20?
k
Suppose 34 = -3*o - 5*a, 0 = -3*o + o + 4*a + 14. Let x(r) = -r - 6. Let l be x(o). Let q be (l - -1)/(60/20). Which is smaller: q or -2?
-2
Let p(j) = -4*j**3 - 2*j**2 + 2*j - 2. Let f be p(-3). Let t = 412/5 - f. Which is bigger: 1 or t?
1
Let v be 16/4*(-4 + 3). Let y(g) = 6*g + 12. Let t be y(v). Is -12 bigger than t?
False
Let r = -106.4 + 107. Let i = -4.44 + -0.16. Let x = r + i. Which is bigger: -2 or x?
-2
Suppose 157 = -5*g - 0*i - 2*i, i + 63 = -2*g. Let u = g + 31. Is u not equal to -1/40?
True
Let o be (49/(-4) - -11) + 206/88. Is -1.1 less than o?
True
Let n = -21 + 15. Let v = 4 - 2. Let o = n + v. Is o not equal to -9/2?
True
Let o(c) = -2*c**2 - 24*c - 10. Let h be o(-12). Which is smaller: h or -180/19?
h
Let u be 42/(((-4)/18)/((-40)/24)). Which is bigger: 627/2 or u?
u
Let z = -0.083 + 0.063. Let q = z - 0.98. Which is smaller: -0.007 or q?
q
Let v(c) = -c**3 - 2*c - 4. Let j be v(0). Let b be (3/(-8)*-4)/(9/j). Which is smaller: 0 or b?
b
Let r = -659 + 401. Is -258 >= r?
True
Suppose -13*w + 2*w - 99 = 0. Suppose -2*b + v = -18, 36 = b + 3*b + 3*v. Let a = w + b. Which is smaller: a or 6/7?
a
Let d = -10922.959 - -10931. Let r = -0.041 + d. Do r and 0 have the same value?
False
Let w(u) = u**3 - 17*u**2 - 3*u - 25. Let f be w(17). Let j = -76 - f. Is j bigger than 4/27?
False
Let i(r) = -7*r + 17. Let q be i(-8). Let d = 363/5 - q. Do d and -1/7 have different values?
True
Let i = 169/6 + -2185/78. Which is smaller: 7/4 or i?
i
Let t = -682 - -374. Are -0.2 and t nonequal?
True
Let z(b) = -b**3 + 13*b**2 - 14*b + 24. Let h be z(12). Let y = -473/3 + 159. Does y = h?
False
Let z = -15 + 8. Let w be 14/6 + (-1)/3. Suppose w*y + 32 = -2*y. Which is greater: z or y?
z
Suppose -q = z - 0*z - 4, -3*q + z = -16. Suppose 0*b = -q*b. Let i = 9/7 - 20/21. Which is smaller: b or i?
b
Let v = 6 + -4. Let q = 492 + -491. Is q at most v?
True
Let h be (-2)/(-10)*-7 - -1. Suppose -8 = 2*i + 12. Let z = 11 + i. Is h != z?
True
Let k(r) = 2*r**2 + 17*r - 9. Let h be k(-9). Suppose h*p - 2*p = -30. Let m = -22 + p. Which is smaller: -8 or m?
-8
Let q be 10/(-15)*2/(-20). Suppose 5*w = 2*w. Is q less than or equal to w?
False
Let z(h) = -10*h + 2. Let k(f) = 3*f - 1. Let t(n) = 7*k(n) + 2*z(n). Let j be t(3). Let l be (1/7)/(-1 - j). Which is greater: l or 0?
0
Suppose 4*v - f + 73 = 0, 2*v = -5*f + 2*f - 47. Which is greater: -20 or v?
v
Suppose 9*i - 4*i = 3*k - 27, 4*k = 4*i + 28. Let o = -7 + i. Let h = -10 - o. Is h at most as big as -4/3?
False
Suppose g = 2*a - 4, 4*a + g - 4*g - 8 = 0. Let b be 35/50*-1 - a/(-4). Which is smaller: 1 or b?
b
Let i be (-2)/9 - (-28)/45. Let o = 5669/78 + -449/6. Let r = 726/325 + o. Is r at least i?
False
Let q be 16/104 - ((-2)/(-13) + 2). Let z be 3 + (q - (-204)/(-188)). Do z and -1 have the same value?
False
Suppose -u = -1, 0 = -4*x - u + 2*u - 41. Let p = x - 3. Which is smaller: -15 or p?
-15
Suppose -1471*h + 1457*h = 0. Which is smaller: 1/17 or h?
h
Let w = 6 - -13. Let n = 0.537 - 0.537. Is n not equal to w?
True
Suppose -4*f = -4*x - 12, 4*x - 3 = f + x. Let w(i) = i**2 - 5*i - 3. Let c be w(f). Which is smaller: 4 or c?
c
Let t be (-2)/(-8) - (-26158)/(-88). Are t and -298 unequal?
True
Let b be 1869/105 + (-4)/5. Suppose -4*q + 27 + 1 = 0. Suppose q*p = 3*p - 4*c - 24, 3*p - b = 4*c. Do -2/27 and p have the same value?
False
Suppose t + n - 4*n = 11, 5*t - 5*n = 5. Let p be (-4)/(-4)*24*1. Suppose -4*x - p = -0*x. Are t and x equal?
False
Let x(i) = i**3 - 8*i**2 + 7*i + 2. Let k be x(7). Let d be 66/116 - k/4. Let p(t) = t**2 - 5*t - 14. Let m be p(7). Are m and d unequal?
True
Let j be ((-1)/2)/(5/20) + -2. Let k be 2/(-11) + 24/132 - j. Which is bigger: 6 or k?
6
Let l = 81 + -80. Suppose h = 3*s - 6*s + l, 3*h - 3 = 3*s. Which is smaller: s or 1/137?
s
Suppose 0 = -5*i - 3*t + 6, 0 = -i + t - 5 + 3. Is 2/69 bigger than i?
True
Let z = -6215 + 142973/23. Is 2 < z?
False
Let i = -425 + 428. Are 48/19 and i equal?
False
Suppose -p + 4*p - 113 = -v, 3*p = -9. Is v less than or equal to 124?
True
Let t(z) = 4*z**2 - 1. Let w be t(1). Suppose -7*i = -w*i - 24. Let o be (-2 - -7)*i/45. Which is greater: o or -1?
o
Let t = -3952203/2132 + 7415/4. Are t and 1 nonequal?
True
Suppose 14*k = -11*k - 325. Which is bigger: -11 or k?
-11
Suppose 3*a = 2*b + 507, 119*a - 354 = 117*a - 4*b. Is a at least as big as 173?
False
Let r be ((0 + 0)/(-7))/(6/2). Which is bigger: 4/97 or r?
4/97
Let s be 0 - -1*12/28. Let q(c) = 4*c**2 - 61*c + 16. Let a be q(15). Is a at most s?
False
Let h(w) = 3*w**3 + w**2 - 1. Let p be h(1). Let t be p/12 - 22/(-8). Let j = -2 + t. Which is bigger: j or 1/6?
j
Suppose -r - 3*i = -5*r - 33, 5*r - 5*i + 40 = 0. Suppose -3*t - 24 = -9. Are r and t non-equal?
True
Let b = -126 - -125. Is b bigger than 3/338?
False
Suppose -12 = -3*c - r - 3, -12 = -4*c - r. Suppose -k = -4*l - 1, k + 2 = -3*l + c*k. Let n be 12/(-66) + (-120)/(-418). Do n and l have the same value?
False
Let d be (-76836)/95*(-10)/22. Let v = 367 - d. Is -2 bigger than v?
False
Let f(d) = 22*d - 87. Let w be f(4). Which is smaller: w or -1/3?
-1/3
Let l = -13 + 45. Let s = -8 + l. Is s bigger than 24?
False
Let n be (-7)/2*4/2. Let o(x) = x**2 - 9 + x - 4*x**2 + 13. Let r be o(2). Which is smaller: n or r?
n
Let k(u) = u**3 + 38*u**2 + 109*u - 23. Let v be k(-35). Which is smaller: v or -161?
v
Let b = -555 - -555.3. Which is greater: b or 74?
74
Let o = 70/11 + -1417/176. Let s = -265/176 - o. Suppose -24*f = -13*f + 34*f. Are s and f unequal?
True
Let d = -153 - -167.9. Let k = d + -14.9. Which is bigger: -17/5 or k?
k
Let b = 271 - 331. Let a = -135 - -76. Is a at most b?
False
Let t be (-2)/10 + (-513)/(-465) - 1. Which is bigger: t or 0?
0
Let b be ((-7)/(308/(-33)))/(3/(-131)). Are -32 and b equal?
False
Let v = -6.5 + 6.1. Let n = v - -0.6. Which is smaller: n or -1.5?
-1.5
Let k = -21.78 + 22. Let v = k + 12.78. Let h = 16 - v. Which is greater: -1 or h?
h
Let r be ((-2)/2)/(28/(-2)). Let w = -44 - -45. Suppose -a + 2*a = w. Is a not equal to r?
True
Let u = -5 - -9. Let w = 3.879 + -3.779. Are w and u unequal?
True
Let x(d) = -d**2 - 30*d + 501. Let o be x(15). Is o at most -177?
False
Let z be (8/6)/(-2)*3. Let d = z + 2. Let o be (-4 + (-372)/(-84))/(6/16). Which is smaller: d or o?
d
Let c(g) = g**2 - 2*g. Let w be c(0). Suppose w = 17*d - 21*d + 4. Let a be 9/(-26) + (-1)/(-2). Which is bigger: d or a?
d
Let s be (-186)/(-10) + 12/(-20). Suppose s = d + 3*i, 3*d + 0*d - 69 = -4*i. Let b be (-6)/d - (-204)/(-54). Is -0.3 >= b?
True
Let c(v) = 5*v + 30. Let y be c(-6). Let j(k) = -k - 10. Let q be j(y). Is q at least -11?
True
Let f(j) be the second derivative of -j**5/20 + j**4/4 - j**3/6 + j. Let w be f(1). Let h = -273 - -1914/7. Is w bigger than h?
True
Suppose 0 = b - 3*y + 5, 0 = -b + 3*b + y + 17. Let o be 3/b - 35/8. Is -0.1 greater than o?
True
Let w(m) = -m**3 - 2*m**2 + 2*m - 3. Let n(p) = p + 5. Let f be n(-8). Let z be w(f). Is -1/67 bigger than z?
False
Let f = -0.223 - 3.777. Is -11 at least f?
False
Suppose 28 = -18*i + 28. Let x = -2229/16 - -139. Which is greater: x or i?
i
Suppose -203 = -k + 160. Suppose h - k = -5*w, 0 = 5*w - h - 351 - 6. Suppose a - w = 5*a. Which is smaller: 