 Let n be r(-5). Let y(b) = -b**3 + 6*b**2 - 7*b + 6. Let o be y(5). Which is smaller: n or o?
n
Suppose 0 = 5*z - 2*z - 339. Let u = 77 - z. Let a be -1 - (u/21)/4. Is -1 bigger than a?
False
Suppose 7 = -4*j - 13, -20 = 4*g + 4*j. Let h be 2 + g + 2*-1. Let f be (-9)/((-6)/(-2)) + h. Is f > -2?
False
Suppose 3 = -2*j - 4*t - t, 0 = -3*j + 4*t + 7. Which is bigger: 8/13 or j?
j
Let u be (-3)/2*10/15. Which is smaller: u or -2?
-2
Let q be ((488/(-6))/4)/1. Which is bigger: q or -20?
-20
Let o be (9 - 256/28)*(1 + -36). Let i = 0 + 0. Let t = i - -1. Is t at least as big as o?
False
Let o = -28 - -27.3. Is o at most -0.1?
True
Let s = -11 + 11.3. Which is smaller: s or 0?
0
Let z be -2*(0 - (-9)/(-6)). Suppose -2*l = -2*a - 0*l + 6, -a - l = z. Let t be 2/(-5) - 2/(-5). Is t >= a?
True
Let q be ((-2)/3)/((-2)/(-6)). Let s be (-25)/30*(-13)/q. Let a = -19/4 - s. Which is smaller: a or 2?
a
Suppose 4*r = -4, 3*r = -0*i - i - 3. Suppose i = g + g. Suppose 14 = -y + 5*d, 3*y + d + g - 6 = 0. Which is smaller: 0 or y?
0
Suppose -2*w = 2*w. Suppose w = 2*b - 2*t, -4*b + 8 = 5*t + 17. Does 0 = b?
False
Suppose 12 = -4*c, -2*c = 5*k + c - 66. Let x be (-10)/75 - (-2)/k. Which is smaller: x or 4/3?
x
Let z be (-1)/(-4) - (-2)/8. Let q = -3/14 + z. Let n = 0.5 + 1.5. Is n >= q?
True
Suppose -2*v + 20 = -5*d + v, -3*d + 22 = 5*v. Is d at least -3/2?
True
Suppose -6 = -3*v - 9. Let g be (3 - (-54)/(-15))/v. Suppose 2*s + s = 6. Which is bigger: g or s?
s
Suppose 0 = -0*s + s + 1. Let j(n) = n**3 + 10*n**2 - 12*n - 11. Let k(w) = -12*w**2 + 1. Let m be k(-1). Let f be j(m). Is s at most f?
True
Let j be 1*-2*2 - -1. Are j and 0 non-equal?
True
Let a(c) = -2*c + 6. Let v be a(3). Is -24 equal to v?
False
Let d = -74161/329 - -4236/47. Let a = 149 - 14. Let h = a + d. Is h smaller than 0.2?
True
Let p = 11 - 10. Which is smaller: p or -2/67?
-2/67
Let r be 27/(-18) - (-1 - 1). Let p(z) = -z - 6. Let j be p(-7). Let a = j + -2. Which is smaller: r or a?
a
Let m(o) = -o**2 + 6*o + 4. Let u be m(6). Let w = 7 - u. Is 3 at most w?
True
Let t = -4 + 2. Let w = -17 + 18. Which is greater: t or w?
w
Let q be 32/(-6) - (-4)/(-6). Suppose 2*r + 26 = -5*u + r, r = 4. Is u != q?
False
Suppose 4*t + 3*y = 6*y + 53, -3*t - y + 30 = 0. Which is smaller: 9 or t?
9
Suppose w + 3*v = -0*w - 4, 5*w - 4*v = 37. Let z be w/(-7) - (-3 + 2). Are 1 and z unequal?
True
Let t(b) = 2*b - 1. Let x be t(1). Which is smaller: x or 0?
0
Let d be (-223)/(-15) + 10/75. Is d greater than or equal to 15?
True
Let h(n) = -n + 11. Let a be h(7). Let m be ((-6)/a)/(6/16). Let k = m + 3. Which is smaller: k or -4/7?
k
Let a = -0.868 + 0.068. Let l = -0.08 - 1.72. Let f = a - l. Is f <= 2/3?
False
Suppose 0 = l + 3*l + 4. Let t = l - 3. Let b = 4 + -9. Is b greater than or equal to t?
False
Let v be (-8)/136*(-1 + -1). Is 2/7 less than v?
False
Suppose c + 8 = -0*t - t, 0 = c + 2*t + 4. Is -11 less than or equal to c?
False
Let h be -1 + -3*3/9. Suppose -5*c = -n - 19, -n + 3*c - 7 = 2*c. Is h smaller than n?
False
Let t(o) = -o**2 + 5*o - 2. Let n be t(5). Let q = -0.7 + 0.3. Let p = q + -0.6. Is p less than n?
False
Let f = -1 - -1. Let s = f - 0. Let i = 0 + s. Which is smaller: i or 1?
i
Suppose 3*o = -0*o + 18. Let q be (1/(-2))/((-15)/o). Which is smaller: q or 1?
q
Let i be (8/78)/(2/(-3)). Let g(p) = 2*p - 15. Let m be g(10). Suppose -c + 2 = -2*d, -m*d - 2*c = c + 16. Is d > i?
False
Let k(u) = u + 5. Let p be k(-6). Which is smaller: 2/33 or p?
p
Let i = 39 - 265/6. Which is greater: i or -6?
i
Let x(h) = -h**2. Let k be x(1). Let b(y) = 4*y**3 + 2*y**2 + 2*y + 1. Let f be b(k). Let d be (6/21)/(f/(-7)). Which is smaller: d or -2?
-2
Suppose 0 = 3*a + a + 12. Let o = 9 - 24. Let l be 2/(o/a + 0). Which is smaller: l or 1?
l
Suppose 20*o = 14*o + 606. Is 102 less than o?
False
Let a = -0.07 - -0.1. Let j(y) = -y**2 - 11*y - 9. Suppose 4*m + 28 = -2*r, 2*r + 2*m = 4*r + 16. Let n be j(r). Do a and n have the same value?
False
Suppose 4*n + 2*g = 106, 5*n + g = 4*g + 138. Which is bigger: n or -1?
n
Suppose -24 = 3*d - d. Let f be d/(-14)*14/2. Let x = f + -11. Which is bigger: x or 2?
2
Let r = -56107/5859 + 4/837. Let s = r - -1707/182. Let j = 4/13 - s. Is 1/2 bigger than j?
False
Let o = -21 + 13. Let d be (-3)/12 - 34/o. Is d at least as big as 4?
True
Let v be 1/(-2) + 3/6. Let b be (v + 9)*(-2)/(-6). Let i be 1 + -2 - (3 - b). Is i <= 2/3?
True
Suppose -2*q + 7 = 11. Are -2 and q non-equal?
False
Suppose 2*f = 2*j - 12, 0 = -5*j - 0*j - 3*f + 22. Suppose -v = m + 1, -1 - 4 = j*v + m. Is -2 less than v?
True
Suppose -4 = t - 0*t. Let x(m) = -m**2 - 4*m - 6. Let d be x(t). Let y be 1 + d/10 - 0. Which is smaller: y or -3/4?
-3/4
Let i = 71 + -67. Which is smaller: 3 or i?
3
Let y = -1.7 - -0.8. Let v = 0.7 + y. Let a = 1 - 2. Which is greater: a or v?
v
Let t be ((-8)/(-12))/(2/9). Let u = -1 + t. Let g = -1 - -2. Which is smaller: u or g?
g
Let k = -46 + 31. Which is smaller: k or 1/2?
k
Let l = 71 - -85. Let y be 63/l + (-3)/12. Which is bigger: -1/4 or y?
y
Let h(l) = -l**3. Let n(z) = z**2 + z + 1. Let o(u) = h(u) - n(u). Let m be o(0). Let x = -300 - -2094/7. Are m and x equal?
False
Let g = 2.3 - 2. Let s = -0.7 - g. Let r = -3 + s. Which is greater: -2/3 or r?
-2/3
Suppose 3*g = -3*g + 30. Is g less than -3?
False
Suppose 7 = 2*t - 3. Let o be (t/(-2) - 4)*2. Which is smaller: -14 or o?
-14
Let b(q) be the first derivative of q**4/4 + q**3/3 - q**2/2 + 15*q - 4. Let y be b(0). Suppose 4*d - y = -d. Is 5 != d?
True
Let b = -169 - -156. Which is smaller: b or 4/3?
b
Suppose 8*g + 48 = 10*g. Which is smaller: 26 or g?
g
Let v(x) = -x**3 - 6*x**2 - 4*x + 6. Let h be v(-5). Do 8/15 and h have the same value?
False
Let c = -38/407 + -10/37. Which is bigger: c or 0.1?
0.1
Let l be 1*-1 + 3 + -6. Let k be -5 + 2 + 8/l. Which is greater: k or -4?
-4
Let y(c) = -c - 4. Let v be (-1 + 3)/2*-6. Let f be y(v). Which is bigger: f or 3?
3
Let t = 110/3 - 37. Suppose -2*y + 10 = 4*w, w + 1 = 2*y + 2*w. Is y at least as big as t?
False
Suppose -2*g + 0 = -2. Let n = 5 - 7. Let s be 0 - (-1 + (n - -5)). Is g > s?
True
Let b(y) = -3*y - 47. Let u be b(-16). Is -2/63 less than u?
True
Suppose 0*k = -3*k - 9. Let n be (3/(-4))/(k/(-12)). Is n at most -3?
True
Let a = -22 + 21.96. Which is smaller: a or -1?
-1
Let l = 116 - 59. Let u = l + -111/2. Let v = -3 + 5. Is u bigger than v?
False
Let z = -3 - -6. Let m(d) = z*d - 1 - 7*d + 3*d. Let n be m(3). Does -4 = n?
True
Let b = -14 - -4. Let a = 115.1 + -125. Let m = a - b. Which is smaller: m or 2/3?
m
Let d = 29/34 - 6/17. Let c = 8 - 5. Let l be (c*(-2)/(-15))/2. Is d smaller than l?
False
Let p = 12.5 - -0.5. Which is bigger: p or -2?
p
Suppose 0*q - 2*q = -3*x - 9, 4*x = -4*q - 12. Let i be 1/(-2) - (-3)/6. Let w be i/(2*(1 - 0)). Is w less than q?
False
Suppose -j = 4, -2*j + 6 = 3*w - 4. Let s = 2 - w. Do s and -4 have different values?
False
Let l(i) = -2*i**3 - 4*i**2 - 3*i. Let h be l(-2). Let f be 3*((-14)/h + 2). Is -3/4 at least f?
True
Suppose 0 = 31*l - 32*l. Is l greater than or equal to -1?
True
Suppose 0 = -5*l + 9*l - 12. Which is greater: l or 11/3?
11/3
Suppose 3*k + 40 = 16. Suppose -16 = 3*z + 5. Are k and z unequal?
True
Suppose -4*j = -3*v - 6*j + 5, 6 = 2*v + 4*j. Is -1/49 at least v?
False
Let h = 2/93 - 103/465. Let l = 0.3 + -0.1. Which is smaller: l or h?
h
Let v = 4 - 3. Is 1/9 smaller than v?
True
Let c = -0.05 + -0.25. Let b = -8.2 - -8. Let v = c - b. Is 1 > v?
True
Let g = 12 - 8. Suppose 0 = -4*q - k - 3, -4*q + 3*q + g = 5*k. Is q less than or equal to 2/39?
True
Let f = 1307 + -911. Let c = f - 1166/3. Which is bigger: c or 6?
c
Let s be 66/(-44)*4/6. Which is bigger: s or -2?
s
Let h(t) = -t**2 + 5*t - 2. Let w be h(2). Which is smaller: w or 1/4?
1/4
Suppose -67 = 3*g - 5*a + 15, -37 = 3*g + 4*a. Which is smaller: g or -20?
-20
Let x be ((-6)/(-4))/((-3)/(-4)). Suppose x = f - 1. Is -2/11 < f?
True
Suppose 4*j = -2*t - 3*t + 33, 4*t = -j + 22. Let g = 166 + -164. Is g greater than or equal to j?
True
Let p(z) = z + 8. Let b be p(-18). Is -12 at least as big as b?
False
Let m = -15 - -15. Let a = -120957/85 + 1423. Is m > a?
True
Let l = -3 - 0. Let h be l/(6/4)*-3. Let v(w) = -w + 7. Let j be v(h). Is 0 no