h is greater: m or d?
m
Let p = -1727/9296 + -1/581. Is p less than 0?
True
Let n be (-6)/(-8) + 3/(-4). Let x(o) = -o**3 + 3*o**2 + 6*o - 5. Let s be x(4). Let r = -4 + s. Which is smaller: n or r?
r
Let y = -26 - -23. Is 0.7 equal to y?
False
Suppose 74 = g + 14. Let u be (-4 - 2)/(g/(-16)). Which is bigger: 1 or u?
u
Let h = 19 - 18. Do 1 and h have different values?
False
Suppose -5*p - 53 = -8. Which is greater: p or -8?
-8
Let z = -89 + 142. Let h be (-2)/6 + 1588/30. Let s = z - h. Which is smaller: 1 or s?
s
Let o = 0.3 - 0.6. Let n = -0.1 - o. Let w(i) = i**2 - 3*i + 2. Let z be w(1). Is z > n?
False
Let s(x) be the first derivative of -x**3/3 + 3*x**2/2 + 2*x - 3. Let n be s(4). Which is smaller: n or -0.2?
n
Suppose -3*n + 58 + 23 = -3*j, 64 = -2*j + 4*n. Which is smaller: -23 or j?
-23
Let i be (-284)/68 + ((-8)/(-2) - 0). Is i at most as big as 1?
True
Let x be (24/15)/((-1)/(-5)). Let g be 4/(-18) + (-666)/(-81). Does x = g?
True
Let x(h) = -h**2 - 2*h + 3. Let m(t) = -t**2 - t + 3. Let l(i) = 4*m(i) - 3*x(i). Let n be l(3). Let q = -1/2 + n. Which is bigger: -2 or q?
q
Let z = 8.3 - 0.3. Let r = 0.05 - 7.05. Let t = r + z. Does t = 3?
False
Let p = 28 - 27. Which is greater: 0.2 or p?
p
Suppose q - 15 = 3*o, -24 = -5*q - 5*o - 9. Let k be (-54)/30*(-20)/6. Is k != q?
False
Let s be 12/3 - (-1 + 3). Let k be 4*s/(3 + 1). Let v(z) = -z**3 + 2*z**2 - 2. Let m be v(k). Are -1 and m unequal?
True
Let x be (-6)/8 + 3/4. Is 2 != x?
True
Suppose 0*z - m + 9 = 3*z, 4*z = -3*m + 17. Let k be 4 + (z/(-2) - 1). Let a(g) = -g**2 - 4*g - 3. Let h be a(-3). Is h <= k?
True
Let s be 1 + (-2 + 1 - 1). Let k(u) = 6*u**2 - 3*u**2 - 3 + 4*u - 4*u**2. Let c be k(3). Which is smaller: c or s?
s
Let a = -103 - -104.3. Is a less than or equal to 0.01?
False
Let a = 1 + -2. Let f = -1/77 - -181/2079. Let c = 40/189 + f. Which is smaller: c or a?
a
Let a be (-3)/(-2) + 27/(-18). Suppose -5*g - 3 = -3*i + 1, 4*g - 4*i + 8 = a. Is 1/8 smaller than g?
True
Let p = 8.1 + -8.2. Which is greater: p or 1/5?
1/5
Let p(s) = 4*s + 1. Let t be p(-1). Let q be (4 + -8)/((-2)/(-1)). Let r = t - q. Is -0.1 at most r?
False
Let t = 36 + -32. Which is smaller: 7/2 or t?
7/2
Let q = -14 - -27. Which is greater: 0.1 or q?
q
Let t = -1.5 + 1.1. Let u = 0.2 - 1.2. Is u < t?
True
Suppose 3*w + 6 = -3*z, 4 = z - 5*w - 24. Let y(s) = s + 6. Let d be y(-3). Is z smaller than d?
False
Let w = -0.39 + -1.71. Let m = -3.3 + 1.3. Let k = w - m. Which is bigger: -1/2 or k?
k
Let p = 12.5 + -8.5. Is p >= 2/19?
True
Let i = 15.9 - 9.8. Which is bigger: 0 or i?
i
Let f = -7.33 + 0.63. Let s = f - -7. Which is bigger: -1/3 or s?
s
Let b(d) = -2*d + 2. Let g be b(-1). Suppose -4 = g*m - 8*m. Which is bigger: -1/7 or m?
m
Let i(n) = n**2 + 3*n - 8. Let u be i(-5). Which is smaller: 0.1 or u?
0.1
Suppose 3*n = 3*u + 6 + 6, 4*n = -2*u + 16. Is u not equal to 6?
True
Let a = 502 + -2542/5. Which is smaller: -6 or a?
a
Suppose -s - 3*s - 2*w = 6, 0 = 4*w - 20. Let v(f) = f - 1. Let y be v(-2). Let k = y - s. Which is smaller: k or -1/5?
-1/5
Let f = 2/25 + -33/100. Let o be -1 + ((-10)/(-4) - 1). Which is greater: f or o?
o
Let v = 34 - 22. Suppose -2*i = 2*i + v. Is 3 at most as big as i?
False
Let c(w) = w + 4. Let v be c(0). Suppose 6*a = 9*a - 15. Is a <= v?
False
Let q be 11 - (2 - (6 + -2)). Let g = -13 + q. Let d = 1083/7 - 155. Is d at most g?
True
Let a be (5/(5/3))/1. Suppose -3*g - 3*l = 30, a*g - 2 = 4*l + l. Do g and -4 have different values?
True
Let q be (2 - 0) + 1/(-1). Which is greater: -2 or q?
q
Let j = -18 - -10. Let u = 8 + j. Let g = -0.1 - -0.2. Is g <= u?
False
Let w(j) = 3*j**2 + 4*j - 1. Let i(n) = -n**2 + 3. Let b be i(3). Let s be w(b). Let k = 247/3 - s. Is k greater than or equal to -2?
True
Let x = -0.07 - 0.23. Let z = -6.1 + 12. Let v = z + -6. Is x not equal to v?
True
Let o = 0.217 + 0.033. Which is greater: 0 or o?
o
Suppose -14*p = -9*p - 5. Is -1/20 at least as big as p?
False
Let n(w) = -w**3 - 4*w**2 - 4*w + 5. Let b be n(-3). Does 9 = b?
False
Let x be (12/(-90))/((-2)/(-3)). Suppose -m - 3 = -4*m. Is x bigger than m?
False
Let a be -5 + 2 - (2/(-2) + -47). Which is bigger: 44 or a?
a
Suppose y = -2*d - 3*y + 14, 3*y + 50 = 4*d. Which is bigger: 9 or d?
d
Let x be -7 - -4*(-1)/(-1). Which is smaller: x or -4?
-4
Suppose 204 = 6*z + 84. Is 19 equal to z?
False
Let i(r) = r**2 - 2*r + 1. Let x be i(3). Let j be (-1)/(6/(-5) - -1). Suppose -5*y - 8 = x*a - 25, y = j*a - 14. Is a less than or equal to 3?
True
Let g = 17 - 15. Is -3 at least as big as g?
False
Let i be (-48)/(-5) - 14/(-35). Let p be (i/(-25))/(2/(-10)). Is p at most 0?
False
Let t = 27 - 15. Suppose -j = 3*j - t. Let w be ((-1)/j)/((-12)/(-18)). Is -3 less than or equal to w?
True
Suppose 0*r - 4*r + 12 = 0. Suppose -r = 5*o + 2. Let q be 12/7*-1 + 2. Does q = o?
False
Let p(u) = u**2 - 2*u + 3. Let m be p(2). Suppose -n + 0 = 4*t - 25, -4*t + m*n = -21. Is t at most 7?
True
Suppose -4 = -s - 3. Suppose -3*d + s = -11. Suppose d*y + 3*t - 2 + 14 = 0, -14 = 3*y + t. Which is smaller: y or -5?
y
Let x = -16 - -12. Which is smaller: -2 or x?
x
Let x(z) = z**2 - 5*z - 30. Let h be x(10). Which is smaller: h or 21?
h
Let f be (-2 + 4)*(-5)/(-105). Let m = f + -25/42. Is m less than -1?
False
Suppose 15*y - 1 = 16*y. Which is smaller: -3/13 or y?
y
Let i(x) = -3*x + 20. Let b be i(9). Do -8 and b have different values?
True
Let s = 0.7 - 0.6. Let a be -2*2*(-1)/5. Is a at most s?
False
Let u = -0.73 + -0.27. Suppose 0*z - 5*z = 0. Suppose 8 = -z*n - 4*n. Which is bigger: u or n?
u
Let w(n) = n**3 + 6*n**2 + 6*n + 6. Let r be w(-5). Let x = 2 - 2.2. Is x <= r?
True
Let w(g) = -g**3 - g**2 + 4*g + 1. Let x be w(-3). Suppose 3*c = 6*c + 2*k - x, -c - k + 3 = 0. Is -2/9 at most c?
True
Let a be (9/12)/((-7)/(-28)). Does a = -2?
False
Let a(y) = 2*y - 1. Suppose 0 = f - 0*f - 3*d - 1, 0 = 2*d - 2. Let p = f + -3. Let k be a(p). Which is smaller: k or 3/5?
3/5
Let d be (2 + -2*1)*(-18 + 17). Is 6/13 less than or equal to d?
False
Let u(b) = -b**2 - 4*b - 3. Let w be u(-2). Suppose 2*j + w = 3*j. Is j at least 1/8?
True
Let j(o) = -o + 13. Let d be j(13). Let z = 1 + d. Let n = -63 + 507/8. Is n < z?
True
Suppose -z + 0*z = -7576. Let j be (-4)/(-6) + z/(-60). Let f = 126 + j. Does -1 = f?
False
Let v = 0 + -2. Let t = 3 + v. Which is bigger: -3/10 or t?
t
Let m = 2624/13 + -202. Let p(k) = k**3 + 2*k**2 - 2*k - 3. Let u be p(-2). Is u <= m?
False
Let o = -39 - -40. Let u = -109/60 - -7/4. Is o bigger than u?
True
Let i be (-14)/(-4)*(-7 - -5). Let t(v) = v**3 + 6*v**2 - 5*v + 6. Let f be t(i). Which is bigger: -7 or f?
-7
Suppose 18 = 4*y - y. Suppose -4*p - y = 6. Is p <= 3?
True
Let p be -8 + (-1)/(-2)*0. Let t be 12/((1 + -2)*-1). Let a be 18/p + 3/t. Which is greater: a or 1?
1
Let x = 17 - 21. Which is bigger: -1 or x?
-1
Suppose -60 = 6*w - 138. Which is smaller: w or 150/13?
150/13
Let z = -3 - -3. Let c be ((-8)/12)/((-16)/18). Which is greater: z or c?
c
Let n(p) = p**2 - 2*p. Let f(s) = 2*s**2 - 5*s. Let h(z) = -3*f(z) + 5*n(z). Let b be h(5). Which is smaller: -0.1 or b?
-0.1
Let j = 179 - 170. Is 13 > j?
True
Let t be 20/9 - (-8)/(-36). Let x(q) = q + 1. Let w be x(t). Which is smaller: 4 or w?
w
Suppose -4*h + 45 + 11 = 0. Is h greater than or equal to 13?
True
Suppose 3*o + 0*o = 3. Is 7 at most as big as o?
False
Suppose -3*h = 0, 2*h - 9 = 5*b - 29. Which is bigger: -0.7 or b?
b
Let d = 22.27 - 0.27. Let a = 15 - d. Is a <= -2/7?
True
Let f = -0.03 + 0.63. Let v = -0.4 + f. Which is greater: v or 0.1?
v
Let u = -1392 + 79342/57. Is u != 0?
True
Let l be (-7)/((-21)/6) + -5. Which is smaller: l or -28?
-28
Let m = 2 - 4. Let w = -11 + 2. Let i = w + 6. Is m at least i?
True
Let w be (5 - -10)*(-2)/(-3). Let l = 13 - w. Is 3 at least l?
True
Suppose -4*z - 20 = 0, 0*z = 3*x - z - 20. Suppose -4*f + x + 3 = 0. Let y be 39/12 - (-2)/(-8). Which is greater: y or f?
y
Let j = 1 + -1. Suppose j = -d + 10 - 3. Let x(p) = p**2 + 5*p - 6. Let a be x(-7). Are a and d non-equal?
True
Let h be (-2 + 3)*(3 - -18). Let c be (-2)/h + 0 + 0. Which is bigger: 1 or c?
1
Let v(i) = 0*i**2 + i**3 + i**2 + i**2. Let a be v(-2). Which is bigger: a or 2/15?
2/15
Let r = 92 - 68. Is r >= 24?
True
Suppose