(-1 - (-7)/5)*5. Is 4 at most x?
False
Let u = 91 - 133. Which is smaller: u or -43?
-43
Let p = 0.6 + -0.4. Let o = p - 2.4. Let m = o - -0.2. Which is greater: 0 or m?
0
Suppose 29 = 2*p - 29. Is 29 != p?
False
Let r = -13.1 + 16. Let l = r - 3. Let t = 0.4 + l. Which is smaller: t or 1?
t
Let x = -8.3 - -8. Let o = x - 0.7. Which is smaller: 2/11 or o?
o
Let v = -1 + 3. Suppose -3*f = 4*o + 15, -v*o + 4*f + 15 = f. Let i be (1/(-4))/((-1)/(-2)). Are o and i unequal?
True
Let x(s) = 5*s**2 + 2*s + 10. Let y be x(-3). Which is bigger: 48 or y?
y
Let a be (-3)/(-12) + (-19)/(-4). Suppose 12 = -a*j + 2*p, -3*j - p - 5 = -0. Which is greater: j or 1?
1
Suppose 0 = -2*k - 2*g + 4, -2*k - 3*g - 2 = -7*g. Suppose 4*r + 5 = k. Which is smaller: r or -2?
-2
Let h(a) = 3*a**2 + 8*a + 6. Let o(k) = 16*k**2 + 40*k + 29. Let g(c) = -11*h(c) + 2*o(c). Let x be g(-7). Let y be (4/6)/((-2)/3). Is y <= x?
True
Let t = 0.3 - 0.26. Which is bigger: -0.1 or t?
t
Suppose -2*c + 2*d = 8, -5*c - 2*d + 1 = -0. Which is smaller: 0 or c?
c
Let c be 3/14*-14*4/(-48). Which is greater: 51 or c?
51
Let y(w) = -71*w**3 + 1. Let q be y(-1). Let i be (-3)/(-12) + (-2)/q. Suppose 0 = 5*s - 4*u - 5, 3*s - 1 = 5*u + 2. Is i > s?
False
Let y be 1/(-4) + 45/20. Let r = 12 + -10. Suppose 14 + r = 4*d. Is y smaller than d?
True
Suppose 3*i + 3 = 9. Which is bigger: 3/4 or i?
i
Let s be 3*4/(-30)*-5. Suppose -2*y - 6*r = -s*r + 18, -20 = 5*r. Which is greater: y or 0?
0
Let v = 63/4 - 16. Let g = 5 + -4.9. Let m = -0.1 + g. Which is greater: v or m?
m
Let x = -3 + 5. Suppose -x*q - 4 = -4*q. Let l be (0/((-2)/2))/(-2). Is l at most q?
True
Let n = 9 - 13. Let i = n + 2. Which is greater: i or 0?
0
Suppose 0 = j + n - 4, 4*j - 2*n = 3*n - 20. Let p = -6 - -9. Let u be ((-16)/54)/((-2)/p). Does j = u?
False
Let b(h) = -6*h - 1. Let p be b(1). Let z(t) = t**3 + 6*t**2 - 9*t - 8. Let w be z(p). Let c = w - 8. Are -3 and c non-equal?
True
Let i = 336/325 + -22/25. Is 0 >= i?
False
Let f be (-16)/10 + (-4)/(-10). Let r(q) = -q**3 + 9*q**2 + 1. Let c be r(9). Let g be -2*4/(-8) - c. Which is smaller: f or g?
f
Suppose -83 = -2*x + y, 2*y + y + 161 = 4*x. Which is smaller: 43 or x?
43
Let f(z) = z**3 + 5*z**2 + 4*z - 6. Let w be f(-5). Is -27 smaller than w?
True
Let b be (1 + -1)*(-2)/4. Let v be -3 - (-4 + b + 0). Let a be v - 92/22 - -3. Are 0 and a non-equal?
True
Suppose -3*m - 108 = 3*y, -3*y = -4 + 13. Which is bigger: -34 or m?
m
Let m = -706 - -38856/55. Let h = m + -3/11. Are h and -0.1 equal?
False
Suppose 3*x + 16 = x. Is -6 greater than x?
True
Let i be (7/2 + -3)*0. Let n(t) = t - 3. Let s be n(i). Which is greater: s or 2?
2
Let n be (2/3)/((-4)/6). Let h = 6 - 5.8. Let q = 4.8 + h. Is q greater than or equal to n?
True
Let j be (-254)/9 + (-8)/(-36). Suppose -4*s = s - 60. Let m be (-3)/s + (-15)/j. Does 0 = m?
False
Suppose -d - 7 = -t, 40 = 5*t + d - 7. Suppose 4*n - 2*a - t = -3*a, -3*a = -n - 1. Let s be n/(-6) + (-2)/(-6). Which is greater: s or 1/4?
1/4
Let m = 5 - 7. Let f = 0.2 - 0. Let b = f - 0.3. Are b and m equal?
False
Suppose 4*i - 5*z - 1 = 0, -3 = 2*i - 0*z + z. Is -5 less than i?
True
Let x = -0.3 - 0.7. Suppose 2*v + 2*v = 0. Suppose v = 2*h + 2*j - 4*j - 2, h + 2*j = 1. Is h > x?
True
Let b = -0.06 + -0.24. Let h = b + 2.3. Is 0 > h?
False
Let w(b) = b + 4. Let m be w(-3). Suppose -2*n + 2*k = 4, -3*n + m = 2*k - 3. Which is smaller: 1 or n?
n
Let l = -6 - -6. Let j = -5 + l. Let z = -4.8 - j. Are z and -0.1 non-equal?
True
Let w be (32/140)/((-64)/30 - -2). Which is bigger: w or -3?
w
Let u be 4 + 14*3/(-12). Let b = -52/85 - -6616/255. Let g = b - 25. Is u greater than g?
True
Suppose s + z = 5*s - 17, 2*s = 3*z + 1. Suppose s*t - 3 + 18 = 0. Which is bigger: 3 or t?
3
Let b = 164 - 163. Does 1/86 = b?
False
Let g = 27 - 18. Let j = -13/2 - -14. Which is bigger: g or j?
g
Suppose 3*c = c - 2. Is c less than or equal to 3/38?
True
Let j = -123 - -136. Which is greater: 5 or j?
j
Let p = 0.18 - 0.18. Is p greater than or equal to 0?
True
Let p = 114 - 81. Let a be p/9 - 3/(-9). Which is smaller: 5 or a?
a
Suppose 0 = 5*u - 10*u. Is u greater than or equal to 0.16?
False
Let m = -25 - -14. Is m at least -10?
False
Let b = -92 - -46. Is -46 > b?
False
Let h be -10 + 9 - (1 - -4). Suppose 5*w = 0, -3*w - 7 = -a + 1. Let r = a + h. Is r at least as big as 0.1?
True
Let p = 1 + -3. Let d = 4 + -5. Is p smaller than d?
True
Let z = 2407/11 - 219. Is z greater than -1?
True
Let h = 3 - 2. Let n = 5 + -4. Is h less than or equal to n?
True
Let b be (4 + -7)/(-3) + 15. Is b bigger than 15?
True
Let v = 0 - -13. Let g = -12 + v. Let x be 46/(-63) - 2/(-7). Is g smaller than x?
False
Suppose 0 = z - 0*z + 1. Let f be (z - 2/(-1))*0. Let v = 1 + -2. Are v and f unequal?
True
Suppose 3*w - 15 = -5*u, -3*u + 6*u - 9 = -w. Is w < -2/3?
False
Let y = 3 + -9. Let j(g) = g**3 + 6*g**2 - 2*g - 7. Let f be j(y). Suppose 0 = 4*b + 2*a - 1 + f, 3*b - 3*a = 15. Which is bigger: b or 1/4?
b
Let d = -0.018 + -0.812. Let w = d - 0.17. Is 4/13 greater than or equal to w?
True
Let g(p) = -p**3 - 6*p**2 + 17*p + 9. Let d be g(-8). Let c(b) = b - 2. Let o be c(0). Let h be 4/6 - o/6. Is d != h?
False
Suppose 3*r - 30 = -0*r. Suppose -y + 4*v = -v - r, 0 = -5*v - 10. Let d = -2/3 + 1/3. Which is greater: d or y?
y
Let x = 6 + -4. Suppose 3*k - x*t = 3*t - 11, 5*k - 2*t - 7 = 0. Which is smaller: k or 1?
1
Let o(m) = m. Let u be o(2). Let d be 8/12 - (-21)/9. Which is greater: u or d?
d
Suppose -2*r = r - 18. Suppose 3*i = r*i + 3. Which is smaller: 2/9 or i?
i
Suppose -2*b - 8 = -4*v, -2*b - 5 = -4*v + v. Does 6 = v?
False
Suppose -15 = -7*q + 2*q. Suppose 1 = -2*i + q. Which is greater: i or 6/11?
i
Suppose -5 = -p + f, -2*p - 3*f - 10 = -0*p. Which is bigger: -1/9 or p?
p
Suppose -8*g - 90 = -3*g. Let j = g - -50/3. Is j less than or equal to -1?
True
Let y be ((-4)/(-170))/(2/(-10)). Let p be ((-2)/4)/((-1)/6). Let t be 2*((-15)/6 + p). Is y < t?
True
Let f(r) = r**2 + 9*r - 15. Let m be f(-12). Which is greater: 22 or m?
22
Let r be 144/(-180) - 1*(-1)/(-5). Is -4/67 at most r?
False
Let f(u) = -11*u - 53. Let k be f(-5). Is 1 greater than or equal to k?
False
Let p = 0.04 - 9.04. Let j = -9.1 - p. Which is smaller: j or -9?
-9
Suppose -5*g + 22 = 3*q + 1, 0 = 3*g. Let n(x) = -x + 3. Let o be n(q). Let d be ((-3 + 2)/1)/o. Which is bigger: d or 0?
d
Let x be 3/(1 - -2) - 0. Let c = x + -2. Are -2/9 and c unequal?
True
Let l be (1/(-10))/(4/(-5)). Let c(y) = -y + 8. Let i be c(6). Suppose d - 2*j - 5 = 0, i*j + 2*j + 9 = d. Which is smaller: d or l?
l
Let g = 367 + -5503/15. Let f(a) = -a**3 - 5*a**2 - 3*a + 4. Let x be f(-4). Let o = 0 + x. Which is bigger: o or g?
g
Suppose -6 = -m + 3*m. Let c(q) = q**3 + 7*q**2 + 5*q - 8. Let w be c(-6). Which is smaller: w or m?
m
Let v be 0/7 + 2/(-5). Suppose -5*z = -z. Is v at most as big as z?
True
Suppose 3*g - 7*g = 140. Let a = -141/4 - g. Let j = -1 + 3. Which is smaller: j or a?
a
Let z = -3 - -6. Suppose 0 = z*x - 3 - 0. Which is bigger: x or -2/15?
x
Let s = -0.3 + 0.6. Let t = -1.3 + s. Let m = -131 + 1177/9. Is m < t?
False
Let h = -392/3 + 129. Is -0.1 >= h?
True
Let i(h) = -h**2 - 8*h - 5. Let n(r) = -r - 1. Let u(l) = i(l) - 3*n(l). Let d be u(-3). Are d and 5 non-equal?
True
Let l be (2/(-4))/((-7)/112). Suppose 0 = -s + 12 + l. Let j be (-1)/5 + (-136)/s. Is -8 less than or equal to j?
True
Let z = -44 + -69. Let v = -447/4 - z. Let f(n) = n**2 + n + 2. Let p be f(0). Is p less than v?
False
Let g(s) = -3*s - s + 9 + 2*s + 0*s. Let j(l) = 5*l + 1. Let o be j(1). Let p be g(o). Which is bigger: -1 or p?
-1
Let d be (4 - 4) + 0/(-2). Suppose -2*o + 2*c - 18 = -5*o, -o = -2*c - 6. Let n be 3 + (d - 14/o). Which is smaller: n or 0?
0
Let j = -11 + 12. Let w be (j + -1)*(-11 - -10). Is -2/11 greater than w?
False
Let q(d) = -6*d + 46. Let z(b) = -b + 9. Let j(c) = 2*q(c) - 11*z(c). Suppose -4*k - 5*o = 23, -4*o + 2 = -2. Let r be j(k). Which is bigger: r or -2/9?
r
Let d = 3 - 1. Let v = 2314/7 - 330. Is d < v?
False
Let x(q) = q**3 - 5*q**2 - 4*q - 13. Let f be x(6). Let z be 2*1/(-28)*4. Is f >= z?
False
Let o be ((-35)/(-20))/(1/4). Let n = o - 8. Is n at least as big as -6?
True
Let b = 1.2 - 0.2. Let l(v) = v**3 + 3*v**2