maller than -1?
False
Let g = -4 + 8. Let r = g + -5. Let a be r/(-2)*(2 + -1). Which is greater: a or 1?
1
Let r be 11/(-44) + 29/4. Let z = 34 + -29. Which is smaller: z or r?
z
Let g = 1.5 + -1.58. Is g bigger than 0.1?
False
Let k = -2 - -3. Suppose -a + k = 3*z, -4*z + 4*a + 14 - 2 = 0. Let n be (2/30)/((-2)/5). Which is smaller: n or z?
n
Let c(d) = -d**3 - 8*d**2 - 10*d - 9. Let x be c(-7). Let b be ((-8)/x)/(2/3). Which is smaller: 0.1 or b?
b
Let z = 28 + -32. Which is smaller: -1/2 or z?
z
Let r be 0 + 162/(-40) - -4. Which is smaller: 0 or r?
r
Let s be ((-2)/(-6))/((-3)/27). Let w be (2/s)/(2/3). Is w < -3/2?
False
Let a be (-72)/546 - (-2)/7. Is 1 at most a?
False
Let z = -587/2530 + 9/46. Is z less than 1?
True
Let z = 55.9 + -59. Let r = 1.5 + -2.4. Let v = z + r. Which is smaller: 0 or v?
v
Let c = -30 + 40. Which is smaller: c or 8?
8
Let m(r) = 2*r - 3. Let k be m(1). Do -3/4 and k have different values?
True
Suppose -20 = y - 5*y, x + 2*y - 22 = 0. Let t = 12 - 0. Is x >= t?
True
Let h = 0.14 - -5.86. Let b = h - 4. Let v = 0.5 + -0.3. Which is greater: v or b?
b
Let n be (1/(-5))/((-9)/(-45)). Which is bigger: n or 0.02?
0.02
Let u = 10.88 - 11. Let p = -0.12 - u. Is -0.5 >= p?
False
Suppose -2*a + 3*a = -17. Let b = a - -25. Are 9 and b non-equal?
True
Let c = -0.03 - 0.07. Suppose 4 = -2*p - 3*q - 4, 2*q = -4. Let x be 2/p + 18/15. Which is smaller: x or c?
x
Let a = -11 + 17. Let r(z) = 1 + 7*z + z**3 + 0*z**3 - a*z**2 - 2*z**3. Let x be r(-7). Is x < 1?
False
Let z be 0/(-2) + (-7)/(-14). Is z less than -5?
False
Let w be (7/(-4))/(1/4). Let h = w + 4. Let k be 9/(-6)*4/h. Which is smaller: k or 0.3?
0.3
Suppose j + 8 = 5*t, 4*j - 3*t + 40 = -j. Let l(g) = -g - 7. Let c be l(j). Let i be (-3)/(c - 3/(-6)). Is i < -2?
False
Suppose -3*t - 5*i - 44 = 0, -4*i = 5*t - 0*t + 82. Do -18 and t have the same value?
True
Let v(q) = q - 4. Let r be v(-7). Let t = 14 + r. Which is greater: t or 4?
4
Let g = 11 + -5. Suppose -g*x - 4 = -2*x. Is 1 <= x?
False
Let p(f) = -f**2 + 12. Let n be p(0). Let o be 4/n*(0 + -1). Suppose 3*j - 5*v + 12 = j, 5*j + 3*v = 1. Is o at most as big as j?
False
Suppose 5*d + 2 = 7. Let y be 8/(7 + -3) - 14. Let c be 2 + -2 + (-1)/y. Which is greater: c or d?
d
Let h = 265 + -10675. Let s be ((-18)/3591)/(1/h). Let g = s + -366/7. Is g at least as big as -1?
True
Suppose 0 = -4*p - m - 31, 0*m = 5*p + 3*m + 37. Let l = -5 - p. Let c(g) = -g + 2. Let a be c(l). Is -5 equal to a?
False
Let b = -19 + 811/43. Is b greater than or equal to 1?
False
Let d = -100 + 90. Which is smaller: d or -12?
-12
Suppose 12*o - 4 = 14*o. Let p(u) = 3*u - 2*u + 1 + 0*u. Let x be p(-4). Is x bigger than o?
False
Let j(c) = -2*c + 1. Let d be j(-1). Suppose 3*p - 12 = -3*f, -2 = -f + d. Which is greater: -2/7 or p?
-2/7
Let c(h) = -h**2 + 8*h - 10. Let y be c(7). Let f be ((-1)/4)/(y/12). Let l be 4/10 + (-72)/105. Is l at least f?
False
Let r(f) = -f**3 + 8*f**2 + 2. Let z be r(8). Suppose -3*b + 21 = -a, -z*b + 2*a + 9 = 3*a. Is 7 equal to b?
False
Let m be 4 + -2 + (-3)/(-108). Let t = m + -16/9. Is t < -12?
False
Suppose j = -2*k - 5, -13 + 40 = 5*j - 3*k. Let d be (-4)/(4/7) - -1. Let l be (-8)/d*(-3)/(-2). Which is smaller: l or j?
l
Let y be (-2)/(-3 - (-40)/12). Let q = -11 - y. Is q at most -4?
True
Let b(u) = u - 6. Let s be b(7). Let g(m) = m**2 - m + 28. Let i be g(0). Let j be 8*((-54)/i - -2). Do j and s have the same value?
False
Let x = -8 - -15. Let w = x - 5. Is -1 equal to w?
False
Let c = 1 - 11. Suppose 5*y + 0*y + 55 = 0. Which is bigger: c or y?
c
Suppose t + 4 = 7. Let g(l) = -l + 4. Let z be g(t). Let p = 23 - 164/7. Are p and z nonequal?
True
Suppose -2*u = -4*u - 16. Are u and -8 unequal?
False
Let y = 12 + -4. Let n = 8.1 - y. Let a = -0.1 + 0.1. Do n and a have the same value?
False
Let f(o) = -4*o + 1. Let x be f(1). Let n = 3 + x. Let s = -29 + 117/4. Which is bigger: s or n?
s
Let n(j) = -5*j**2 + 6*j + 10. Let d be n(-2). Is -19 less than or equal to d?
False
Suppose 3*x = -5*c - 8, -4*x - 2*c = -6*c. Is x > -4/3?
True
Let v(b) = b**3 + b. Let m(g) = 7*g**3 + 7*g**2 + 6*g. Let w(y) = m(y) - 6*v(y). Let o be w(-7). Which is bigger: -1/5 or o?
o
Let j(w) = 11*w - 54. Let b be j(5). Let q be (1 - 18/22)/(-1). Is q equal to b?
False
Let d be (-4)/(-10) - 8/(-5). Let g(h) = -h**3 + 2*h - 1. Let u be g(-2). Let m = 5 - u. Are m and d equal?
True
Let k = 25.2 + -25. Do -0.21 and k have the same value?
False
Let w = -11 + 6. Let h = 2 + w. Let t be 2/((-4)/h + -2). Is -3 < t?
False
Let j = 0 + -0.16. Let b = -0.12 - j. Which is smaller: -0.2 or b?
-0.2
Suppose 4*o - 189 = 3*m, -m = m - 10. Which is bigger: 50 or o?
o
Let c = 281/2 + -1371/10. Which is greater: 4 or c?
4
Suppose 4*k + 4 = 2*q - 4, q - 1 = -k. Suppose 0*s + s = -3*y + 14, -2*s + 1 = -3*y. Suppose u - s*x + x - 8 = 0, 2*x = 3*u - 4. Does u = k?
False
Suppose 3*a = -5*i - 22, 2*i = 4*a - 3*i + 41. Is a > -7?
False
Suppose 15 = -5*t - y + 146, 4*y = -2*t + 56. Is 25 smaller than t?
True
Let n be -1*1/(-2 + 3). Let i(u) = -u**2 - 1. Let g(r) = 4*r**2 + 5*r + 2. Let x(v) = n*g(v) - 5*i(v). Let c be x(2). Are -2 and c unequal?
True
Let h be (2 - 4 - 0)/(-2). Which is smaller: h or -2/9?
-2/9
Let x = 0.3 - -0.7. Let v = 207 - 1861/9. Which is smaller: x or v?
v
Let y = 0.09 + -5.59. Let s = y + 5. Is 1 at least s?
True
Let q = 0.378 + -0.068. Let a = 0.01 - q. Let f = -7.9 + 8. Which is smaller: f or a?
a
Suppose -c + 2*r + 1 = 0, -4*c + 14 = 2*r - 0. Suppose 2*y = -c*y. Which is smaller: y or 2/57?
y
Let l = -2420 - -142786/59. Let h = l - 196/767. Is h at least 1?
False
Suppose 3*l - 25 = -2*l. Let y = 76 + -72. Does l = y?
False
Suppose 3*q - 4*q = 120. Let u be (-3)/(-1)*32/q. Let g = 0 + 1. Is u < g?
True
Let j(m) = m + 7. Let z be j(7). Let q be (-77)/1127 + 4/z. Let w = 43/92 - q. Is w > 1?
False
Suppose -4*w - 4*c = 0, 5*w + c + 3 = -5. Let q = 12 + -12.2. Which is greater: w or q?
q
Let n = 30 + -22.5. Let c = -6 + n. Let d = c - 0.5. Is d less than 1?
False
Suppose 0*m = -m + 7. Suppose -h - m = -6. Which is smaller: h or 3/13?
h
Suppose -2 = -4*t - 26. Which is smaller: t or 0.2?
t
Suppose 14 - 5 = -3*k. Let l(v) = v. Let j be l(-3). Let s be -1*1 + 0/j. Which is bigger: s or k?
s
Suppose 0 = -3*g + 2*g + 3*h - 11, -h = 3*g - 7. Let s = -6 + 5. Let o = -4 - s. Is o >= g?
False
Let u(s) = s**2 + s. Let o be u(1). Let t be 3/(9/(-4)*o). Let k be (-4)/(-10) - 6/(-10). Is t not equal to k?
True
Let d be (((-21)/(-7))/(-27))/((-5)/(-6)). Let f = 1 + -1. Which is bigger: f or d?
f
Suppose 0*f = -2*f - 8. Let u be f/(-2) - 45/21. Which is greater: 0.1 or u?
0.1
Suppose 26 = 4*y - t + 9, 4*t = -y + 17. Suppose 0*r - 4*u = 2*r - 18, -3*r - y*u + 22 = 0. Let l = -2836/13 - -218. Which is smaller: r or l?
r
Suppose -4*k + 1 = -3*g + 5, -10 = -3*k - g. Suppose 10 = 2*h - 4*c, 0 = -2*h + h + 5*c + 8. Suppose 0 = 5*z + s, 0 = -2*z + h*s - 2*s + 7. Is z less than k?
True
Let t be (-3 - (-5 - -5)) + 2 + 0. Is t less than or equal to -1/68?
True
Let b = -0.05 - 0.65. Let i = -0.3 + b. Let r = -22 + 21.4. Is r not equal to i?
True
Let m(r) = r**3 + 3*r**2 - 7*r - 7. Let w be m(-5). Let g = -21 - w. Is g at least -5/11?
True
Let o = -105 + 178. Which is greater: 72 or o?
o
Let l = 2.15 - 2. Let p = 0.1 - l. Let y = p - 2.95. Which is greater: -0.1 or y?
-0.1
Let y(t) be the third derivative of -5/24*t**4 + 0 + 0*t - 1/60*t**5 - 2*t**2 - 2/3*t**3. Let m be y(-5). Which is smaller: -5 or m?
-5
Let a be 10/(-15) + (-105)/18. Which is bigger: -8 or a?
a
Let u = -11 + 16. Suppose -2*a + u - 3 = 0. Is 1 > a?
False
Let w = 1 - 1. Suppose 5*l + 4*b = 56, -2*l + 0 = -3*b - 4. Let c be (-4)/l + (-2)/(-4). Is c <= w?
True
Let d(q) = -q**2 + 2*q - 1. Let j(f) = -f**3 - f**2 - f + 1. Let b be j(0). Let u be d(b). Which is smaller: -2/9 or u?
-2/9
Suppose -66*z + 61*z - 75 = 0. Is -15 >= z?
True
Let a be -1 - 0/1 - 17. Let o be (-6)/45*a/7. Let u = 2/35 - o. Is -2 less than or equal to u?
True
Let o = 5 + -11. Is o bigger than 1/16?
False
Let i = -0.9 - -0.74. Let y = 0.06 + i. Which is bigger: -3 or y?
y
Let h(m) = -m**2 + 8*m - 7. Suppose -2*d = 2*d - 28. Let n be d - (1 - (1 + 0)). Let f be h(n). Is f <= 0?
True
Let t = 6.4 - -1.6. Let i = t + -7.92. Let f