maller: -5 or h?
h
Let n be (8/(-12))/(2/3). Do -2/31 and n have different values?
True
Let b = 17/30 - 2/3. Let m(z) = z**2 + z**3 - 5*z**2 + 1 + 2*z**2 - z. Let i be m(2). Is b at least i?
True
Suppose 2*d - 20 + 6 = 0. Suppose 5*s - 3 = d. Let o(i) = -i + 1. Let n be o(s). Is -3 bigger than n?
False
Let d = -18 + 17. Let r be (-80)/(-14) - 2/(-7). Let m be r/4*(-3)/6. Do m and d have different values?
True
Suppose 3 - 29 = -13*t. Which is greater: 20/9 or t?
20/9
Let i = 0.2 + 0.5. Let n = 1 - i. Let p = n + -0.3. Which is bigger: 3 or p?
3
Let x be -1 - -1*(-16)/(-14). Let p(l) = -3*l + 22. Let j be p(7). Which is smaller: x or j?
x
Let m be 2/(((-5)/2)/(-5)). Suppose m*z + 13 = -3. Which is greater: -3 or z?
-3
Let m = 61 - 43. Which is greater: 19 or m?
19
Let r be 11610/(-33) - (-8)/(-44). Let d = r - -3523/10. Which is smaller: d or -1?
-1
Let u be 2 - (2 - 2) - -3. Let b = -2 + u. Which is greater: 2 or b?
b
Suppose 6*g - g + 3*m - 82 = 0, 3*g - 50 = -2*m. Let c be 11/g - 5/10. Let s(d) = 2*d**2 - 1. Let f be s(-1). Which is bigger: c or f?
f
Let s be (-70)/8 + 9/12. Are s and -11 nonequal?
True
Let y = -3 + 4. Let r(u) = -2*u - 3. Let x be r(-3). Let z be 8/(-12)*x/12. Which is smaller: z or y?
z
Let d = 369/7 - 53. Let h(n) = -n + 5. Let u be h(4). Which is smaller: d or u?
d
Let p = -0.012 + -28.988. Let o = p - -14. Is o <= 0.1?
True
Let g = -490/3 + 165. Is g at least as big as 1?
True
Let t be (3 - 3)/((-2)/(-1)). Let g = t + -1. Which is smaller: -3/8 or g?
g
Suppose 5*k = 10, -4*g + 3*k + 20 = 2. Suppose g*s = 2*s. Is -6/5 <= s?
True
Let i be 10/4 + (-340)/40. Are i and -60/11 equal?
False
Let t = -12 + 41. Suppose 6*m - 2*m = 4*g + 28, t = 3*m + 5*g. Is m bigger than 8?
False
Let y(b) be the first derivative of -b**3/3 - 4*b**2 + 14*b - 4. Let l be y(-10). Let p be (-69)/(-189) + l/27. Is p at least 1?
False
Let v(i) be the third derivative of -i**6/120 - i**5/10 + i**4/3 + 5*i**3/3 + 3*i**2. Let z be v(-7). Is 3 greater than z?
False
Let z = 7/50790 + 147392503/558690. Let o = z + -264. Suppose 0*g = 3*g. Which is bigger: o or g?
g
Let b = -1 + 4. Let q(c) = -c**2 - 7*c + 6. Let j be q(-8). Which is smaller: b or j?
j
Let j = -7/2 - -4. Which is greater: 3 or j?
3
Let b = 0.05 + -0.22. Let i = b + -3.83. Is i less than 0.3?
True
Let b(s) = s**3 - 3*s**2 + 2*s - 3. Let u be b(3). Suppose -4*a = -u*a. Is 0 at least as big as a?
True
Suppose -5*z = -32 + 7. Suppose -g - 6 = 8. Let c = g + 20. Is z at most as big as c?
True
Suppose -x = -b + 4, -x - 22 = 5*b + 6. Which is greater: x or -9?
x
Let v = -6.85 - 0.15. Which is smaller: v or -0.1?
v
Let g = -130 - -1694/13. Which is smaller: 0 or g?
0
Let y = 5 - 1. Is y < 2?
False
Let w(s) = -2*s**2 - 2*s**2 + 3*s**2 - 3 + 12. Let p be w(0). Suppose -p = g + 2*g. Is -3 >= g?
True
Let q = 6 - 6.03. Let i = -0.27 + q. Let u be ((-3)/15)/((-1)/2). Which is bigger: i or u?
u
Suppose -14 = -x + 3*x. Is -7 equal to x?
True
Suppose 5*i = 3*b, 0*i + 22 = -i + 5*b. Let t be (i - 10/4)*2. Let k = -122/5 - -24. Which is smaller: k or t?
k
Let u be (3/7)/((-15)/20). Is 1 > u?
True
Let m = -673/1494 - -1/166. Let n = 2 - 3. Which is smaller: n or m?
n
Let i be (16/(-7))/(-1) - 2. Let d be 4/(-10) + ((-72)/55)/(-6). Which is bigger: i or d?
i
Let z be 11 + ((3 - 6) + 3)/(-2). Is z at least as big as 0.1?
True
Let g be -2 - (2/(-3))/((-4)/30). Which is smaller: g or -8?
-8
Suppose -n + 25 = 4*n. Suppose -105 - 120 = -n*w. Suppose -4*r + 2*f = -4 + 34, 0 = 5*r - 4*f + w. Is -6 < r?
True
Let k = -13 - -12.7. Which is smaller: k or 1.5?
k
Let f be 2 + 12 - 8/(-4). Let z = 20 - f. Are 2 and z nonequal?
True
Let z = 2 + -1. Suppose -5 = 2*a - 7*a. Let m be (-22)/8 - (a + -4). Which is bigger: m or z?
z
Suppose -2*p + 0 = 10, -p = 4*c - 31. Is 9 smaller than c?
False
Let t(g) = -2*g**3 + g. Let m be t(2). Let w = 13 + m. Which is smaller: w or -3/10?
w
Let l be -4*(0 - 3)/6. Suppose l*w + w = 0. Let u = 0 - w. Is 0 less than or equal to u?
True
Let u(g) = g**2 - 3*g. Let z be u(4). Let f be 0/(z/6*-3). Which is bigger: 2/3 or f?
2/3
Let s be ((-59)/(-57))/(-1) - (-7 - -6). Which is greater: s or -1?
s
Let a = -751/8 - -94. Let l(w) = -w. Let h be l(2). Let i = h + 3. Which is greater: i or a?
i
Let x = 3 + -1. Let z be -2*(5/(-2) + x). Let c be ((-2)/2)/((-4)/6). Is z < c?
True
Let i(z) = 3*z + 1. Let m be i(1). Let x be 0/m*(-2)/(-4). Which is bigger: 2/23 or x?
2/23
Let w = 101 - 709/7. Let a be 3*3/27*0 - 0. Which is smaller: w or a?
w
Let w = -4973 - -174067/35. Let l = w - 3/70. Let b = -6 + 7. Do l and b have the same value?
False
Let l = 51 - 43.3. Let x = -8 + l. Let m = x + 0.3. Is m equal to 2/3?
False
Let s(k) = k**2 + 3*k - 1. Let v be s(-4). Let j be (2/(-3))/(14/v). Let w be 1/4 + 2/(-8). Which is greater: w or j?
w
Suppose 160*v - 28 = 162*v. Which is bigger: -93/7 or v?
-93/7
Suppose -3*w + 0*w = 0. Which is bigger: -6/11 or w?
w
Let i(x) = x + 10. Let d be i(-10). Which is smaller: 83 or d?
d
Let d = 6 - 4. Which is smaller: 4 or d?
d
Suppose 5*j + s = -31, -2*j + 22 = -6*j + 2*s. Is -8 at most j?
True
Let s = -1/2 + 3/4. Let m(x) = -x**2 - 3*x - 2. Suppose -5*v + 5 = 5*r, -3*v + 4*r - 6 = 12. Let k be m(v). Which is greater: s or k?
s
Let a(r) = 2*r**2 + 2*r. Let m be a(3). Suppose m = -q + 5*l, -q - 3*q - 4 = 3*l. Is -5/2 >= q?
True
Suppose -n - 5*c = 20, n + 5*c + 20 = -2*n. Let f(o) = -o**3 + 8*o**2 - 7*o + 1. Let g(v) = 6*v + 1. Let t be g(1). Let b be f(t). Is b < n?
False
Let n = 11 + -5. Let i be (0 + 1)/(3/n). Suppose -4*h = 2*o + i, 2*o + 5*h + 7 - 3 = 0. Which is smaller: o or 2?
2
Suppose 0 = -3*a + 8*a. Is a at most as big as 15/8?
True
Let l be -10*(-2 + 5)*-2. Let p = l - 419/7. Let s(x) = -2*x - 1. Let d be s(-1). Does p = d?
False
Let w be (-25)/(-18)*12/(-15). Are w and 0 non-equal?
True
Let q(g) = -3*g - 15. Let c be q(-10). Let d be 2/6 + 10/c. Let i be 3 + (-2)/(2/1). Is i <= d?
False
Let v(j) = -3*j + 1. Let y be v(1). Which is greater: y or -7/3?
y
Let v(u) = u**2 - 8*u + 16. Let j be v(7). Is 8 <= j?
True
Let d(w) = -w**3 + 5*w**2 - 2*w - 4. Let b be d(4). Suppose -f - b*r + 16 = 0, -f - r - 16 = -5*r. Let k be f + 0 - (-4)/(-10). Which is bigger: k or -1?
k
Suppose -5 = 4*l + 3. Let x be 0*(10/l - -4). Which is greater: 4 or x?
4
Let q be -3 - (-3 + -2) - -12. Let g be ((-1)/q)/((-1)/8). Which is bigger: 1 or g?
1
Let w = 1 + 2. Suppose y - w*t + 3 = -0, 5*y - 4*t = -4. Let x be 2/(-3)*2/12. Are x and y unequal?
True
Suppose 5*l - 74 = 4*d + 14, 2*d + 36 = 2*l. Let u be (-143)/(-936) - 2/l. Is u at least as big as -1?
True
Suppose 3*k - 40 = -5*c, -c = 4*c - 4*k - 75. Let n = -16 + c. Let v be ((-2)/n)/(12/10). Which is bigger: v or 0.2?
v
Let j = 10 - 8. Let b = -6 + j. Which is bigger: b or 1?
1
Let i(g) = -8*g**3 + 2*g - 1. Let n be i(1). Let r(y) = y**3 + 5*y**2 - y - 12. Let o be r(-5). Do n and o have the same value?
True
Let y(t) = t**3 - 3*t**2 + t. Suppose -5*b = -5 - 5. Let p be y(b). Let r(k) = k**3 + 3*k**2 + 2*k. Let c be r(p). Which is smaller: 2 or c?
c
Suppose -n + 1 = -4*v + 4, v - 17 = -3*n. Let h be 3*(-4)/7 + v. Which is greater: h or -2/5?
h
Let c = 7 - 4. Suppose 3*u - 1 = -3*v - 4, c*v + 2*u = -1. Is 2 at least as big as v?
True
Let b(h) = -h**2 - h + 1. Let i be b(1). Let t(d) = 2*d**3 + 1. Let w be t(i). Which is greater: w or 2/5?
2/5
Let c = 218 + -220. Are 0.03 and c non-equal?
True
Let y = -3.3 - 20.7. Let q = 22.9 + y. Which is smaller: -0.1 or q?
q
Let n be (26/(-3))/((-14)/21). Is n greater than 13?
False
Let a be (6/10)/(2/50). Suppose -v = 4*v + a. Is v smaller than -1?
True
Let a = 16165552/25 - 646761. Let q = a + 139. Which is greater: 1 or q?
1
Let s = 0.04 - 6.04. Let q = -6.08 - s. Which is smaller: q or 1?
q
Let u = 0.02 - 0.02. Which is bigger: u or 0.4?
0.4
Let s(z) = -z**2 - z + 7. Let y be s(0). Suppose -3*c + 2*o = 5, 0 = -c - 3*o + 5*o - y. Which is greater: -1/19 or c?
c
Suppose -5*n + 4*n - 5 = 0. Let u(o) = 39*o + 24. Let i(h) = 8*h + 5. Let k(d) = n*u(d) + 24*i(d). Let c be k(-1). Which is smaller: c or 3/2?
3/2
Let g(s) = s**2 - 5*s + 6. Let v be g(4). Suppose -v*f + 4 = -0. Suppose -2*p - 5*m = 16, p + m = -f*p - 11. Is -3 > p?
False
Let f be (3/2)/(18/228). Is 17 smaller than f?
True
Let x be 15*7*(1 + -2