to m?
True
Let l = -44/17 + 713/85. Which is greater: 6 or l?
6
Let l = -4 + 4. Let s = -1 - l. Is s at least as big as 1?
False
Suppose 2 = -3*v - 1, 3 = -i - 2*v. Suppose -2*l + 4*w = 26, w + 5 = -5*l - w. Let f be i - 1/(3/l). Which is smaller: -1/4 or f?
-1/4
Suppose 0 = -10*a + 2 + 28. Let c(m) = 7*m + 9. Let j(v) = -v. Let s(l) = -c(l) - 5*j(l). Let b be s(-6). Are a and b equal?
True
Let g(y) = -y**2 - 16*y + 25. Let l be g(-17). Suppose 4*u = l - 12. Is u greater than -11?
True
Let w(f) = f**2 + 7*f + 6. Let x be w(-4). Which is bigger: -5 or x?
-5
Let s = -16.05 - -0.05. Which is smaller: s or 2?
s
Let n(m) = 2*m + 12. Let d be n(-16). Which is greater: -18 or d?
-18
Let t = 4 - -3. Is 2 >= t?
False
Let l = -1.6 - 0.4. Suppose w = -2*c - 1, 4*w + c = 3*w. Is l less than w?
True
Let a = 129 - 265/2. Is a equal to 1?
False
Let d be 2 + (-14)/(-6)*(-6 - -5). Which is smaller: d or 2.4?
d
Let k be (-10)/35 + 52/(-14). Let t = k - -6. Suppose -t*u - u = 0. Which is bigger: u or 3/5?
3/5
Suppose 0 = 4*j - 0*j. Suppose 3 = 3*x - 3. Let i be -1 - (x - (-7)/(-4)). Which is bigger: j or i?
j
Let c = 2/41 - -35/123. Is -11 greater than or equal to c?
False
Let f be 1/(-2)*(-36)/(-297). Is f equal to 1?
False
Let k = 0.02 + 7.98. Let s = -13.9 - -14. Is k equal to s?
False
Let y = -18 - -15. Which is greater: -2 or y?
-2
Suppose 0 = -3*b + 4*s - 28, 0 = 2*b + b - 2*s + 26. Are -8 and b unequal?
False
Let i = -40 + 40.92. Let h = 0.08 + i. Is h not equal to 0.1?
True
Let k(v) = v**3 - v - 4. Let c be (-10)/45 + (-4)/(-18). Let h be k(c). Do -2 and h have the same value?
False
Let k = 27 - 13. Suppose 4*n + 140 = 14*n. Is k bigger than n?
False
Let k = 469/4 + -114. Is k less than 3?
False
Suppose 0 = 4*v + 3*b - 12, 3*b + 0*b - 12 = -3*v. Let h be (-32)/12 + 8/4. Is h less than or equal to v?
True
Let l = 1 + 3. Let s be (l/2)/(2 - 8). Let k = 1/11 - -15/77. Which is bigger: s or k?
k
Let p = 44 + -133/3. Let j = -17 - -17. Is p at least j?
False
Suppose -c = 2*d + 3 - 8, 3 = 3*d. Is 5 less than or equal to c?
False
Let l = 160 - 150. Which is bigger: l or 3?
l
Let t = 321 - 316. Suppose -4*w + w = 0. Is t bigger than w?
True
Suppose 3*y + 28 = 3*d - 2, 5*d + 13 = -4*y. Let p = 11 + y. Is 3 less than p?
True
Suppose 3*p + 5*o = -29 - 14, 0 = -4*p + 2*o - 14. Is 4 at most p?
False
Let t = 0.1 + -0.1. Which is smaller: t or -2/3?
-2/3
Let q = 8.8 - -1.2. Let r = -13 + q. Is r at least 0.1?
False
Let c(r) = r**2 + 2. Let o(t) = -t**2 + 3*t + 2. Let j be o(3). Let b be c(j). Let n be 52/60 + b/(-9). Is 1 > n?
True
Let u(d) = -d + 8. Let w(p) = -p**3 - 5*p**2 + 5*p. Let b be w(-6). Let i be u(b). Suppose -2*x = i*x. Which is greater: 1 or x?
1
Let d = 4.8 - 1. Let z = d - 4. Which is smaller: -2 or z?
-2
Let q be (-30)/12 - ((-1)/(-2) + -1). Which is bigger: -8/3 or q?
q
Let f(u) = -u**3 - 4*u**2 - 2*u + 3. Suppose 3*v - 10 = -2*t + 14, 47 = 3*t - v. Suppose 2*a = -3*a - t. Let y be f(a). Is -2 >= y?
False
Let d be (-2)/48*2*(-1)/4. Which is smaller: d or -1?
-1
Let w = 1/211 - 641/1688. Is 0 greater than w?
True
Suppose -4*y + x + 1 = 0, -5*y + 3*x + 2*x = 10. Is y at least as big as 6/17?
True
Suppose 4*m + 10 = c + 3, -c - 9 = 4*m. Let o = -4 + 2. Is c >= o?
True
Let o = -345 + 73. Let h be 2/(-8) + (-36)/o. Does h = -1?
False
Let t(z) = -z**3 - 11*z**2 + 1. Let c be t(-11). Are -2/139 and c non-equal?
True
Let g be (-1)/(-2) + (-1)/(-2). Let n be (-1)/(-4) + 78/8. Suppose b - n = 2*b + 4*i, -2*i = 6. Is g <= b?
True
Let q = -5.34 + 0.34. Let l = -3 - -2. Which is smaller: l or q?
q
Let m be ((-16)/(-12))/((-1)/(-3)). Let c = 7 - m. Are c and 1/4 unequal?
True
Let y = -93.973 + 94. Which is smaller: 0.1 or y?
y
Let t = -0.2 + -0.8. Let z = t + 0. Let u be (-7)/3 + 2/6. Is z > u?
True
Let z = -3.5 - -3.12. Let b = 0.18 + z. Are b and 8 non-equal?
True
Suppose -9 = 2*w + 11. Let c = w + 6. Is -5/2 > c?
True
Let t be -2*(2 - 9/(-2)). Let l = -5 - t. Let c be l/(-36) - (-14)/(-18). Which is bigger: 0 or c?
0
Suppose 0 = -3*x + 15, 0 = -5*s + 4*x - 76 + 26. Let z(u) = u**2 + 7*u + 2. Let l be z(s). Let b = 5 + l. Is 0 bigger than b?
False
Let a(c) = -c - 1. Let i be a(-1). Let y(f) = -f - 6. Let h be y(-5). Let j = -2 - h. Which is greater: i or j?
i
Let y = -37/6 - -20/3. Let v = -6 + 8. Is y at least as big as v?
False
Suppose -q + 10 - 2 = 0. Let i be ((-28)/(-144))/((-2)/q). Let y = i + 1/9. Does y = -2?
False
Suppose 2*s - 2 = 5*a - 0, 4*s = 5*a - 6. Is a less than or equal to 1?
True
Let f(i) = 6*i. Let u be f(1). Suppose x - 30 = -4*a - 1, 5*a + 70 = 5*x. Suppose 0 = c - 3*w + 5 + 2, -5*c + 2*w = -x. Is c <= u?
True
Let o = -0.1 - 0.1. Let p = -0.2 - o. Let x = 88 + -266/3. Is x greater than or equal to p?
False
Let x be (-2 + -2 + 4)/2. Let r = 69749/345 - 1011/5. Which is greater: x or r?
x
Let r(t) = -t**2 - 31*t - 36. Let n be r(-26). Is 94 at most as big as n?
True
Let l(h) = h**3 + h**2 - 3*h - 3. Let p be l(-2). Let m be (-1 - -2)/(-2) - 0. Is p less than m?
True
Let f be 12/(-66) - (-46)/11. Suppose f*h + 15 + 1 = 0. Is -3 at least h?
True
Suppose -5*w + 2*w = b - 11, 2*w + 4 = 5*b. Let j be w - (7 + 4 + -3). Is -5 less than or equal to j?
True
Let i be 6/15 - 12/5. Let h be (1 + -3)/(-1 + i). Which is greater: -7 or h?
h
Suppose 31 = 3*s + 34. Are s and -4/27 nonequal?
True
Suppose 4*f + 8 = 3*k, -4*f - 4 = -5*k + 4. Let i be ((-18)/(-2) - 1) + 0. Let c = -7 + i. Which is greater: c or k?
c
Let s(n) = n**2 + 13*n + 24. Let f be s(-11). Is 20/7 less than f?
False
Let a = -86 - -343/4. Suppose 3*r + 2 = 4*r, -3*w - 5*r + 7 = 0. Is a at most as big as w?
False
Suppose n + 1 = -5*z + 43, 5*n - 123 = 4*z. Which is greater: n or 0.1?
n
Suppose 0*q - 5*q = 0. Let v be (-2)/(-4) - (-45)/18. Let s be v - (-2)/(-2)*4. Which is greater: s or q?
q
Let i(a) = a**3 - 16*a**2 - 17*a - 4. Let u be i(17). Is -2 < u?
False
Suppose -2*m + 3*g + 149 = 0, -m + 3*g = 2*m - 225. Let f be (-6)/(-8) + m/(-16). Is -4 > f?
False
Let k be 6*-1*(-4)/8. Is 0.03 less than k?
True
Suppose -p - i - 3 = p, -i - 11 = 4*p. Let w be (6/(-60))/(p/10). Let d = 34 + -33. Which is bigger: w or d?
d
Suppose -32 = -5*s - 12. Let x be (-575)/s*(-2)/(-10). Let d = 29 + x. Is d > 0?
True
Let w(r) = 7*r - 1. Let f be w(-1). Is -7 <= f?
False
Let b be (-1)/(-2) + 2639/882. Let u = b - 34/9. Which is greater: u or 8?
8
Let d be 2/(-3) + 403/39. Which is smaller: 10 or d?
d
Let n = 26 - 22. Do n and 13/4 have different values?
True
Let h(w) = w**2 - 5*w - 2. Let x be h(6). Let v(k) = -k**2 + 2*k + 2. Let z be v(0). Suppose -z = -y - r, -x*y - 3*r = y. Is y at most -3?
True
Let q(a) = -a**2 - 8*a + 10. Let w be q(-9). Let r be ((-3)/(-12) + 0)/1. Is r > w?
False
Let x be 10/(-70) + (-41)/(-140). Is x < -1?
False
Let v = -0.14 + 13.14. Let u = 13 - v. Which is greater: u or 13?
13
Let p(n) = -n**2 + 2*n + 1. Let b be p(-1). Let a be (21*2/6)/1. Suppose a*g - 8*g = 0. Is b smaller than g?
True
Let d = -67 - -66. Is -3/71 bigger than d?
True
Let w = -16 - -17. Is w greater than 2/9?
True
Let c = 15 + -9. Let y = c + -3. Let l = y - 5. Which is bigger: -0.1 or l?
-0.1
Let z = -1419/8 + 177. Which is smaller: 0 or z?
z
Let m be (-2)/((30/(-9))/5). Suppose -3 - m = -r. Is 7 != r?
True
Suppose 0 = 2*o + 4*z, o + z + 0 - 2 = 0. Suppose 0 = 2*a + q - 4, -2*a + o*q = -4*a - 8. Suppose 0 = -3*c - a + 1. Which is smaller: c or 2?
c
Let c = -2 - -6. Suppose g + 1 - c = 0. Suppose -3*h - 10 = 2*n, -g*h - 11 = -3*n - h. Which is smaller: n or 1/5?
1/5
Let o = 35.9 - 39. Let r = o + 0.1. Let h be (-2 + 2)*(-1 + 0). Is r at least h?
False
Let t = -29 - -16. Which is smaller: t or -15?
-15
Let x(m) = -4*m + 13. Let h(v) = -11*v + 38. Let w(t) = 3*h(t) - 8*x(t). Suppose 5*o - 1 = 39. Let c be w(o). Which is smaller: 4/3 or c?
4/3
Suppose 0 = l + l + 4*i + 26, -3*i + 12 = -3*l. Which is bigger: l or -6?
-6
Let t(i) = i + 1. Let r be t(1). Suppose -r*h = -5*w + 15, 4*w - 5*w + 3 = -2*h. Suppose h = -m + 4*m - 3. Which is greater: 1/4 or m?
m
Let v be (-852)/4460 + 5/25. Which is smaller: v or 0?
0
Suppose 0 = -2*s + 5*o + 46, 2*s - 4*o = 33 + 9. Which is smaller: s or 10?
10
Let k(d) = 21*d**2 + 5*d - 15. Let b(o) = 4*o**2 + o - 3. Let h(u) = -11*b(u) + 2*k(u). Let t be h(3). Let p be (6/t)/(1/(-3)). Whi