 -6*f, 3*m + f = 0. Suppose -5*y + 5 = -0*y. Are y and m non-equal?
True
Let d = -46 - -52. Which is bigger: 19/3 or d?
19/3
Let m = -7/10 + 83/90. Let c be (-2)/((1 - 0) + -2). Let r = -2 + c. Is m less than or equal to r?
False
Let q = 9 - 7. Let c = -2 + q. Does 1 = c?
False
Let w = -0.8 + 0.3. Let h = -11 - -12. Are h and w non-equal?
True
Let u(f) = -3*f - 85. Let y be u(-28). Is y at least as big as 2/23?
False
Let m = -1 + -6. Is -7 greater than m?
False
Let i be ((-88)/20)/((-34)/10 + 3). Which is bigger: i or 6?
i
Let y = -112 - -114. Do y and 4/7 have different values?
True
Suppose -73 = u - 47. Is -27 less than or equal to u?
True
Let v = -14/15 + 4/3. Let n = 1.88 + 0.12. Is v > n?
False
Let g = 199 + -197. Which is bigger: g or 18/13?
g
Let o = 0 + -13. Is -14 <= o?
True
Suppose 4*q = -2 - 2. Let n = 26 + -31. Is q <= n?
False
Let p = -89 - -90.9. Is p less than 2?
True
Suppose -5*d + d = 0. Let l be -3*4/54 - d. Let s = 4 - 3. Which is smaller: s or l?
l
Let h = -3 + 4. Let m(x) = 78*x**3 - x**2 + 1. Let n be m(h). Let q = -544/7 + n. Which is bigger: q or 0?
q
Let i = -3 + 6. Suppose 0 = -k - 4*b + 21, 24 = k - 0*k + 5*b. Let n = -5 + k. Which is bigger: i or n?
n
Suppose 0 = -w + 1. Let j(a) = -4*a - 3. Let f be j(-4). Let h = f - 12. Is h < w?
False
Let f(x) = -2*x**3 + 16*x**2 - 5*x + 3*x**3 - 12*x**2 - 1. Let u be f(-5). Is u at least as big as -2/21?
False
Let y = -1 + 0. Let m = 37/85 + -4/17. Which is smaller: m or y?
y
Let m = 32 + -158/5. Suppose 2 = -y + 3*y. Is y less than m?
False
Suppose -10*n = -7*n - 2*b, -n = 3*b. Is n at most as big as 19?
True
Suppose -3*y - u = 2, -2*y + 2*u = -2*u - 22. Suppose -2*q = -13 + y. Let o be 0 - -2*q/(-16). Which is smaller: o or -1?
-1
Let c be ((-4)/(-55))/(2/5). Suppose 8*x = -4*x - 12. Which is smaller: c or x?
x
Let j = -19 - -21. Which is smaller: 0.2 or j?
0.2
Let p(j) = j**3 + 8*j**2 - 9*j - 10. Let d be p(-9). Let w = 9 + d. Does 0.1 = w?
False
Let w(d) = -31*d - 581. Let j be w(-19). Let l(g) = g**2 - 3*g - 2. Let x be l(3). Let h be 9*(3 + x/1). Which is greater: j or h?
h
Let j be (-18)/(-534)*(-6)/9. Is j less than or equal to -1?
False
Let m(i) = i. Let s be 0 + 2/(-2) + 3. Suppose -5*b + 5 = k, 2*b + 3 + 7 = s*k. Let l be m(b). Which is bigger: -1 or l?
l
Let r = -1 - -3. Suppose 5*f - r*m - 2 = 0, 18 = f - m + 5*m. Suppose t + 5*j - 17 = 0, -4*t + 0*t = -f*j - 2. Is t less than 0.2?
False
Let t(v) = -v + 1. Let j be t(15). Which is smaller: j or -2/5?
j
Let m(f) = -f**2 - f. Let u(j) = -3*j**3 - 5*j**2 - 6*j - 1. Let l(o) = 6*m(o) - u(o). Let b be l(-1). Which is smaller: b or -2?
b
Suppose 23 = 3*l + 116. Which is greater: l or -32?
l
Let y = -6874/299 - -300/13. Which is smaller: y or -1?
-1
Suppose -2*b + 2*n = 4, -3*n + n + 8 = 0. Suppose r + 14 = 3*z + 1, b*z - 4 = -4*r. Is r greater than or equal to -2?
True
Let k be 6/5*(-20)/(-6). Suppose 20 + 60 = k*a. Let t be 5/(-2)*24/a. Are t and -0.1 nonequal?
True
Let l be ((-28)/(-16))/(-7)*-4 - -3. Is l not equal to 16/5?
True
Let f(t) = -4*t**2 - t - 1. Let r = -1 - 0. Let u be f(r). Is -4 at least as big as u?
True
Let n = 1.6 + -0.6. Suppose x + 4*l + 2 = -x, 2*l = 2. Let w = 4 + x. Is n less than or equal to w?
True
Let h be 12*(6/(-27) - (-16)/(-36)). Which is greater: h or -15?
h
Let a(v) = -v + 17. Let h be a(13). Suppose 4*u = 5 + 7. Which is greater: u or h?
h
Let w be -5 - (2/2 - 4). Let t be 0 + (-7 - 2*-1). Which is bigger: w or t?
w
Let f = -11795 - -224155/19. Let g = f + -626/209. Is 0 < g?
False
Suppose 44 = -5*y - 3*l, -5*l - 29 = y - 7. Let g = y + 4. Is g > -3?
False
Let q be 16/(-56) - (-32)/14. Let a be (3/(-3))/((-2)/q). Is a at most -1/16?
False
Let t = -5 - -6. Is 1/4 at most as big as t?
True
Let m be 0 - -2 - (-48)/(-18). Let g(x) = -x**2 + 7*x + 7. Suppose 43 = 5*d + 3*j, d + 5*j = 14 - 1. Let k be g(d). Which is smaller: k or m?
k
Let d be (0 + -2)*4/(-2). Let i(f) = 3*f**2 + f + 2. Let j be i(-2). Suppose -4*x - 2*k - 12 = -5*k, -j = 4*x + d*k. Which is smaller: x or -2?
x
Let c be 3 + (-25)/10 + (-1)/(-2). Is 5 at most as big as c?
False
Let v(h) be the third derivative of -h**6/120 - h**5/20 + h**4/12 - 5*h**3/6 - 4*h**2. Let d be v(-4). Is 3 < d?
False
Let n = -0.45 - -0.23. Let m = 4.32 + n. Let q = m - 4. Which is greater: q or -3?
q
Let b = -0.2 - 0.8. Let k = -31 - -21. Which is greater: b or k?
b
Let k be 23/(-54) + 6/12. Which is bigger: k or -2?
k
Let l be 1395/36 + (-6)/8. Let g be 3*(l/(-9) - -4). Is g bigger than -0.1?
False
Let p = 3 + -2.4. Let m = -0.1 + p. Let v = m - 0.4. Which is smaller: v or 0?
0
Let u = 7.17 + -0.17. Let k = -7.09 + u. Does k = -1?
False
Let c = 48 + -69. Let a be (28/c)/(7/3). Which is greater: -2 or a?
a
Let b = -42 + 42.012. Which is greater: 0.2 or b?
0.2
Let h be 2/5*(-550)/(-60). Are h and 5 equal?
False
Let n(t) = t**2 - 9*t + 12. Let z be n(8). Let v(q) = q**3 - 3*q**2 - 3*q - 5. Let u be v(z). Let r be 14/(-8) + -1 + 2. Are u and r equal?
False
Let j(h) be the first derivative of h**2 - 16*h - 8. Let u be j(9). Which is smaller: u or 5?
u
Suppose -4*u - 6 = -6. Let b = 130/77 - 6/11. Which is bigger: b or u?
b
Let q = 946.47 + -962. Let f = q + 13.5. Let d = 0.03 + f. Which is greater: d or 0.1?
0.1
Let c be ((-6)/18)/(1/((-6)/(-2))). Let k be (6/81)/((-1)/(-3)). Is c > k?
False
Let f = -1478/275 - -60/11. Let z = -0.9 + -0.1. Is f greater than or equal to z?
True
Let h = -61/341 + 14/31. Let c be (2/((-2)/1))/1. Are c and h unequal?
True
Let k(y) = y + 4. Let j be k(-9). Let q = j + 8. Suppose -u - f - q = -1, 0 = -4*u - 2*f - 4. Is u not equal to 1?
True
Let r = -5 + -27. Which is greater: -30 or r?
-30
Suppose 5*o - o + 9 = m, -2*o = -2*m + 6. Let k = 166/5 + -33. Which is smaller: m or k?
k
Suppose 4*v = 4*u - 12, -3 = -0*v + 5*v + u. Which is greater: v or 2/9?
2/9
Suppose -a - 3*y - y + 24 = 0, 3*y = -2*a + 58. Let k = -16 + a. Suppose l + k = -3*l. Which is smaller: l or -5?
-5
Let m(k) be the first derivative of k**3/3 - 5*k**2/2 - 2. Suppose 3*b + 8 = 4*h, h + 3*b - 2 = 3*h. Let z be m(h). Does 2/9 = z?
False
Let f = -15379/17 + 905. Which is smaller: f or 1?
f
Let n = -432/7 - -62. Let a be (12/(-108))/((-1)/3). Is a <= n?
False
Let f be ((-6)/(-4))/(1/2). Suppose -5 = -f*u + 4. Is u > 0?
True
Let b(l) = l + 2. Suppose -2*s = 3*s + 5*d - 25, 25 = -4*s + 5*d. Let f be b(s). Let y = f - 3. Is -2 greater than y?
False
Suppose w + 3*k = -2*w + 21, 5 = 5*w - k. Let g be -2 + (32/10 - w). Let v = 5 + -7. Which is smaller: v or g?
v
Suppose 20 = 4*j, 4*j = -0*w - 2*w + 32. Suppose -w*m = -m. Let v = 3 + -10/3. Which is bigger: v or m?
m
Suppose 8 = -4*y + 12. Is -8/19 > y?
False
Let i = -1.07 + 0.07. Is i bigger than -0.1?
False
Suppose f + f = -10. Let x(p) = p**2 + 4*p - 4. Let l be x(f). Is 2/3 greater than l?
False
Let h be 1*-7*(1 - -3). Let a be 8/h + 69/21. Suppose a*r - b = 11, b + 4*b = 5*r - 25. Is 3 less than or equal to r?
True
Let l = 1.5 + -3.7. Let u = l - -0.8. Which is smaller: u or 0?
u
Let t(d) = d**3 - 4*d**2 - 7*d + 4. Let j be t(5). Let s = -13 - -8. Is s > j?
True
Suppose -6 = -0*h - h. Let y(o) = o**3 - 6*o**2 + 2*o - 7. Let a be y(h). Let d be (-4)/(-1)*(1 + 0). Is d at most a?
True
Let u = -4 - -3.9. Let n(p) = -p**3 + p**2 - p. Let m be n(2). Let i(k) = k**3 + 6*k**2 - 1. Let h be i(m). Which is smaller: h or u?
h
Suppose -h + 7 = -0. Is 7 < h?
False
Suppose -150 = 8*n + 2*n. Which is bigger: n or -61/4?
n
Let b be ((-4)/6)/(2/(-69)). Let g = b - 11. Let a be ((-3)/4)/((-18)/g). Which is greater: -2/15 or a?
a
Let w be ((-4)/6)/((-2)/18). Suppose c + c - w = 0. Let i be (c/2)/((-3)/4). Is -1 less than i?
False
Let a(w) = -w**2 - 5*w. Let i be a(-5). Let m = -2 + 4. Let x be (3 - 2) + m/(-3). Which is smaller: x or i?
i
Let r(w) = -w**2 - 7*w - 8. Let b be r(-6). Let f(x) = -x**2 + 13*x - 2. Let i = 43 + -30. Let u be f(i). Is u at most b?
True
Let d = 6 + 1. Suppose 2*o - 2*s = -d*s + 13, o + s = 2. Suppose -c = -5*l + 8, 2*l + 2*l - 13 = 3*c. Is o less than or equal to c?
False
Let i = 0.2 + -0.3. Let k be 7/(-49)*-1*2. Is i bigger than k?
False
Suppose 4*p = -2*g + 10 + 4, -14 = -p - 4*g. Let q(o) = 5*o**2 - 4*o**2 + 0*o**2. Let s be q(2). Does p = s?
False
Let h be (-2 - (64 + -3)) + (2 - 6). Which is g