al to k?
False
Let a(i) = i**2 + i - 8. Let l be a(11). Which is greater: l or 128?
128
Let d(c) = c + 7. Let s be d(-6). Let b be s + ((-130)/33 - -3). Is 1 at least as big as b?
True
Let q be (6/8)/((-1)/4). Let h be ((-1)/q)/(4/(-6)). Let j = 2.8 + -4.8. Is j >= h?
False
Let i = -8.2 - 4.8. Let l = -12.94 - i. Which is greater: l or -1?
l
Let k be 17/(-22) + 13/(-26). Let d = k - -39/22. Is 6/17 at least as big as d?
False
Let v be 3 + 5/3 + (-460)/105. Which is smaller: 0.07 or v?
0.07
Let v be 1/(21/(-24) - -1). Suppose 3*o = v + 19. Suppose 10 = 5*s - 4*s. Which is bigger: o or s?
s
Let s be ((-36)/(-16))/(35/20 - 2). Is s < 4/3?
True
Let n = -9 - -12. Suppose -14 = 2*f + 2*h - 2, -f + 14 = -n*h. Is -2/83 at least f?
True
Let v = 8/5501 - 13454/16816557. Which is smaller: 0 or v?
0
Let f = 2164/5 + -431. Suppose -6 = -4*r - 2*g, 68*r - 69*r + 2*g + 9 = 0. Which is smaller: f or r?
f
Let r(b) = b**2 - 3*b + 1. Let h be r(2). Suppose -2*u + 6*u + 7 = 3*v, u - v + 1 = 0. Let s be (-3)/(-12) + 5/u. Is s bigger than h?
False
Let p = -1.84 + 2. Let u = 39 + -39. Which is bigger: u or p?
p
Suppose 3*y = 3*k - y, 0 = -4*y. Is 6/37 less than or equal to k?
False
Suppose -3*x - 15*x = -54. Suppose -2*p + 4*p + 2*a - 2 = 0, -8 = 2*p - x*a. Let o = 1555 + -91743/59. Which is smaller: o or p?
p
Let y be 4/2 - 4*(-5)/10. Suppose 0 = -y*z + 33 - 33. Which is greater: z or 1/42?
1/42
Let n = 0.65 - 0.34. Let z = 0.26 - n. Which is smaller: 0.1 or z?
z
Suppose -5*t = -3*w + 34, -w + 5*t = -17 - 11. Let u be 8/3*-2*(-15)/20. Suppose 9*z - 15 = u*z. Is w smaller than z?
False
Let p = -1274913/508 + 10039/4. Which is smaller: 1 or p?
p
Let d be (-2)/6*(-1575)/168. Let n = -267/88 + d. Which is smaller: -1 or n?
-1
Let x = 1/258 + -3409/14190. Let r = -4/15 - x. Which is greater: -1 or r?
r
Let f = 1195 + -1105. Is 90 != f?
False
Let l(m) = m**3 - 2*m + 1. Let v be l(0). Is v > 1/10?
True
Suppose 2*a - 3*p = -5*p + 180, -5*a - 2*p = -447. Let r = -621/7 + a. Suppose 3*w + 5 = h, -4*w = -4*h - 0*h + 20. Which is bigger: r or w?
r
Let o = -2/33373 - -8776/1168055. Which is greater: 1 or o?
1
Let n = -0.14 + 0.14. Which is bigger: 3.6 or n?
3.6
Let b = 19/72 + 5/8. Let p(o) = -o**2 + 12*o - 18. Let w be p(2). Which is smaller: b or w?
b
Suppose -4*l = -5*y + 125, -5*y + 2*l + 73 = -2*y. Suppose -24*x - 24 = -y*x. Which is bigger: x or 2?
2
Let b = 35.75 - 37. Let g = 1.3 + b. Let s = -0.1 + 0.1. Is s at least g?
False
Let x(z) = -2*z + 70. Let k be x(29). Let q(d) = -17*d**3 - 2*d**2 + 1. Let w be q(-1). Suppose 4*v + k - w = 0. Which is bigger: -2/13 or v?
v
Let s be (1/4)/(60/(-7840)). Is -32 >= s?
True
Suppose -4*i = -5*s - 14, -i - 10*s + 9*s = 1. Which is bigger: i or -3/250?
i
Suppose c = 4*h - 4, 0*h - 8 = 2*c + 5*h. Suppose 0 = -2*l - 1 + 3. Let s be -3 - l - 1/(2/(-2)). Is s smaller than c?
False
Let z be (-41)/(-16) - (-40)/(-10). Let s = -235/48 + z. Which is bigger: s or -7?
s
Let h be (-18)/3*20/6. Let p be (-479)/(-9) + h/90. Which is smaller: p or 52?
52
Suppose -w - 2*l = w + 20, -l + 5 = 0. Let z = -11 - w. Suppose z*m = -0*m. Is -3/5 != m?
True
Let i = 2572 + -2556. Let d be (-2)/(-7) + 131/7. Is i less than or equal to d?
True
Let j = 14 + -34. Let h be (-22)/j + (-6)/10. Let i = 2.06 - 0.06. Which is bigger: i or h?
i
Suppose 0 = -p + 1 + 3. Let o = 7 - p. Suppose -4*x - o*t - 8 = 0, t + t = 0. Which is smaller: -2/3 or x?
x
Suppose -3*r + 5*g + 44 = r, 0 = 3*r + 4*g - 64. Do 6 and r have different values?
True
Let j = -13 + 15. Suppose -2*b = -m - 16, 3*m - j*m = -2*b + 4. Is m <= -2?
True
Let o(s) = -s**3 - 5*s**2 + 6*s - 5. Let p be o(-6). Let g = 41.9 - 42.2. Do g and p have the same value?
False
Suppose -4 + 0 = 4*i. Let h(s) = -s**3 + s. Let a be h(i). Which is smaller: 9 or a?
a
Let f = -259 - -260. Which is smaller: f or 2/139?
2/139
Let g be 5/5*10/(-1). Suppose 0*d = -2*d + 3*k - 21, 4*d + k + 49 = 0. Which is greater: d or g?
g
Suppose -1 + 3 = 2*v. Let a(g) = 2*g + 10. Let q(y) = -2*y - 12. Let s(z) = -4*a(z) - 5*q(z). Let i be s(-9). Which is bigger: i or v?
i
Let a(h) = -h**2 + 2*h**3 + 6*h - 3*h**3 - 4*h - 4*h + 48. Let j be a(0). Suppose i = -2*i - j. Is -16 less than or equal to i?
True
Suppose -3*t - 6 = -4*t. Suppose 0 = t*y - 6. Which is smaller: -0.3 or y?
-0.3
Suppose 15*c - 638 = 5017. Which is smaller: 376 or c?
376
Suppose 5*h = 4*s - 19 - 27, -2 = h. Let f = s - 7. Is 2/5 bigger than f?
False
Let u(k) = -5*k**3 - 2*k**2 + 1. Let p(c) = -6*c**3 - c**2 - c. Let f(z) = -6*p(z) + 7*u(z). Let d be f(7). Suppose d = o + 3*o - 12. Is 2 less than o?
True
Let v be (-2 - -6) + (3 - 1 - 4). Let n be (-4)/v - (9 - 6)*-1. Let s = 531/7 - 74. Are n and s equal?
False
Let z = -432 + 418. Which is smaller: -16 or z?
-16
Let a be 5/((-300)/116) - -1. Let i be 3/(-7) - 4*(-4)/(-28). Is i >= a?
False
Let n = -60 + 59. Let d be ((-7)/518)/(n/(-8)). Which is smaller: d or -1?
-1
Suppose -6*a + 5*a = -3. Suppose a = 2*b - 1. Suppose -3*x = -g, 3*x = -0*g - 4*g. Which is smaller: g or b?
g
Suppose -c + 8 = c. Let s(n) be the first derivative of n**2/2 - 2*n + 63. Let v be s(c). Which is greater: 0.2 or v?
v
Let p = 2.97 - 3.07. Which is smaller: p or -0.83?
-0.83
Let p = 8 + -5. Let c = p - 4. Suppose 0 = -4*f + 3*v + 2*v - 20, 2*f = 2*v - 8. Does c = f?
False
Suppose -137 = -y - 138. Let f = -7 + 5. Let a be (-28)/(-22) + f - -1. Is a bigger than y?
True
Let n(q) = 24*q + 16. Let s be n(3). Let d = -88 + s. Which is smaller: 4/3 or d?
d
Let z = -1559/70 + 158/7. Let j(c) = c + 20. Let m be j(-4). Suppose -2*k + 5 = -0*k + o, -m = -4*k - 4*o. Are z and k equal?
False
Suppose -20*v + 10 = -15*v. Suppose 0*s - 4 = 2*j + v*s, 5*s + 10 = 0. Is -2.1 greater than j?
False
Let a = -441 - -440. Which is bigger: a or 1/1927?
1/1927
Let r = -14/177 + 1753/531. Which is smaller: r or 4?
r
Let f = 729 - 781. Does -0.4 = f?
False
Let w = 51 + -56. Let l(q) = q**2 + 6*q + 4. Let d be l(-6). Suppose 0*h + d*h + 20 = 0. Is w greater than or equal to h?
True
Let c = 5704/2301 - 98/39. Let k = -1168255/118 - -9899. Let j = k + c. Is -1/2 bigger than j?
True
Let s be 1*5*(-7)/(-21)*12/(-20). Let y = 1 + 0. Let k = y + -0.9. Which is smaller: s or k?
s
Let f = -12.784 - 0.216. Let i = 3 + -11. Let t = i - f. Which is greater: 1 or t?
t
Let w(o) = -o - 25. Let a be w(-23). Let h be 2/6 + (-8)/(-60). Let y = -1/5 - h. Which is smaller: a or y?
a
Suppose 5*g + 136 = d, -2*d - 5 = -7*d. Let b = 10 + -23. Let n = g - b. Is n less than -14?
False
Let m = 403 - 371. Is m < 0.1?
False
Suppose 5*a - 16 + 2 = -4*f, -2*f + 10 = a. Suppose 3 = w + 3*p + f, 0 = 5*w - 4*p - 23. Do 0.02 and w have the same value?
False
Suppose h + 2*g - 10 = 0, 8 - 3 = -4*h + g. Is -1/8 greater than h?
False
Let i = -42 - -42. Suppose i*y + y = -2*r - 22, -5*r + 2*y = 46. Suppose -2*n = -4*n - 20. Is r != n?
False
Suppose 0 = -101*o + 108*o + 567. Does o = -2/25?
False
Let k be (-14)/(-40)*-4 - 4/(-10). Which is greater: k or 1/3?
1/3
Let u be ((-26)/3)/((-498)/174 - -3). Is u equal to -62?
False
Suppose i - 4*d = -0*i + 8, 5*i + 2 = -d. Let o be 35*(-10)/6 + i. Let a = 59 + o. Which is smaller: 0.09 or a?
0.09
Let k(d) = -d + 10. Let y be ((-3)/2)/((-6)/(-8)). Let f be (-4 - -6) + (y - -12). Let s be k(f). Which is smaller: -1 or s?
s
Let m be 5/(-5) + (-2)/(-1). Is m != 26/19?
True
Let d be (-69)/130 - 1/(-2). Let w(z) = z**2 - 10*z + 24. Let v be w(7). Are v and d unequal?
True
Let r = 25.045 - 0.045. Let b = 24.1 - r. Which is greater: 0.1 or b?
0.1
Let v = 2 + -46. Does v = -87/2?
False
Let g = -3228/7 + 459. Suppose -3*j + 2 = -5*j. Is g smaller than j?
True
Let a be 3/18*-45*464/10. Which is bigger: -349 or a?
a
Let z = -2191/2146 + -1/74. Is z at least as big as -1?
False
Suppose -63 - 22 = m. Let s = 91 + m. Which is smaller: 2/7 or s?
2/7
Suppose 67*y + 24 = 91. Which is smaller: y or 478?
y
Let g = -87/22 - -17117/4334. Which is bigger: g or -2/17?
g
Let x = -0.125 + 0.18. Let g = 166 + -166.1. Which is smaller: g or x?
g
Let s be 21/35 - 0 - 3291/(-15). Do s and 220 have different values?
False
Let d = -0.053 - 0.737. Let v = d + 0.49. Which is smaller: v or -5?
-5
Let m(o) = -2*o**2 - 44*o - 234. Let k be m(-13). Is k equal to 534?
False
Let k = 134647/6935 - 369/19. Let 