1 = 5*t - 10. Which is bigger: t or 1?
t
Let b = 0 - -4. Let h be b/(-9) - (-2)/(-9). Is -1 at most h?
True
Let c = 131 + -127. Does 12 = c?
False
Suppose 0*j + 2 = j. Let v be -6 - -6 - (1 + 2). Is j less than v?
False
Let x = -13 + 19. Let s = x + -10. Is s at least as big as -3?
False
Suppose -q = -4*q + d - 37, 0 = 2*d - 2. Let t be 9/(-4) - 3/q. Let l = t - -4. Is l >= 3?
False
Let w be (-5)/30 - (-2 + 1). Which is greater: 1 or w?
1
Let n(b) = b**2 + 15*b + 15. Let c be n(-13). Let h = c - -6. Is h < -1?
True
Let b(a) = a**2 + 6*a + 2. Let c be b(-7). Let u be 8/36 - 56/c. Let g(z) = -z**3 - 5*z**2 + 6*z + 1. Let d be g(u). Is d >= 0?
True
Suppose 0 = 2*r - 3 - 5. Suppose r = n + n. Let b be (n/1)/(-2)*-3. Is b >= -2/3?
True
Let b = -2.33 + 1.33. Suppose -f - 3 = -0. Is f at most b?
True
Let h(i) be the second derivative of i**6/360 - i**5/120 - i**3/2 - i. Let g(u) be the second derivative of h(u). Let k be g(0). Is 0 >= k?
True
Let u = -125 + 128. Let l = 0.1 + -0.3. Which is smaller: u or l?
l
Let w = -4 - 1. Let h = -5.2 - w. Let m be (-3)/2 - (-3 - -2). Which is smaller: m or h?
m
Let m(n) = -n - 7. Let c be m(-7). Let r(a) = -a**2. Let d be r(c). Let s(i) = -i**3 + 3*i**2 - i + 3. Let b be s(3). Is d < b?
False
Let r(g) = g**2 + 5*g + 3. Let o be r(-5). Let h be -6*(-2)/o*-1. Which is greater: h or 1/4?
1/4
Let g = -5 + 3. Let l = 11 - 8. Suppose -4*t - 4*w = t + 14, 0 = t - l*w - 1. Are g and t equal?
True
Let f = -13/12 - -5/4. Is f at least 0?
True
Let x(c) = c. Let h = 9 + -9. Let i be x(h). Let v = -3 - -3.4. Is v at least as big as i?
True
Suppose -44*l = -46*l + 4. Does l = 59?
False
Let c = -0.05 + 0.05. Let a = c + 5. Let g = a + -5.2. Do g and -2 have the same value?
False
Suppose -12*q = -1 + 1. Are 1/60 and q unequal?
True
Let h be ((-1 + 3)*-1)/2. Let i = -68 - -39. Let j = -86/3 - i. Which is greater: h or j?
j
Let q be (2/6*-2)/(24/138). Which is smaller: -4 or q?
-4
Suppose -2*j = -7*j - 5. Let q be 7 + -5 - 116/14. Let t = -206/35 - q. Which is smaller: t or j?
j
Let y = 13 - 9. Let s be 5 - (y + 0) - 3. Is -4 bigger than s?
False
Suppose 0 = -0*o + 5*o - 30. Let q be 3*1/(o/14). Let n be (-4)/q + 2 + -1. Which is smaller: 1 or n?
n
Let l = -18.2 + 16. Let b = 1.5 + l. Let t = b + 0. Is t at least as big as -1/3?
False
Suppose 5*d + 25 = 0, 2*s + 2*d + 0*d = 16. Let p = s + 2. Which is smaller: p or 14?
14
Let g = 13.7 - 13. Let q = 2 + -3. Let r = g + q. Which is greater: r or 2?
2
Let p = -18 + 19. Let g = -2.8 - -3. Let x = g + -0.2. Are x and p non-equal?
True
Suppose 0 = 4*x - 28 - 12. Let g = x - 8. Which is smaller: g or -0.1?
-0.1
Let t be -1*(1 - -2 - 2). Let w be 14 + (-1 - t - -2). Let h = -31/2 + w. Which is smaller: h or 2?
h
Let h = 112 + -157. Let i = 3 - 0. Let s be h/(-297) + (-1)/i. Which is smaller: s or 0?
s
Let f be (-4)/(-8) - (1 + 1/(-2)). Is f greater than -1?
True
Let z = -42 - -124/3. Let h(g) = 4*g. Let t be h(-2). Let s be 21/(-28) + 2/t. Which is smaller: s or z?
s
Let a = 15 + -12. Which is greater: a or 16/5?
16/5
Let a be ((-7)/(-2))/((-2)/(-4)). Let c = a - 4. Suppose c*x - 2*x = -1. Which is bigger: 2/7 or x?
2/7
Let q(d) = 10*d + 21. Suppose g + p = -0*p - 5, 0 = -g + p - 9. Let l(x) = 7*x + 14. Let r(t) = g*l(t) + 5*q(t). Let y be r(-3). Which is bigger: 3 or y?
y
Let v = -2 + 6. Is 8 != v?
True
Let t = 45 - 134/3. Is t at least as big as 1?
False
Let r(d) = -d**3 - 6*d**2 - 8*d - 5. Let c(k) = -k**3 - 8*k**2 + 9*k - 5. Let a be c(-9). Let s be r(a). Let l be -1 + 2 + -4 + s. Is -1/2 > l?
False
Let y(h) = h - 18. Let a be y(9). Is -10 less than a?
True
Let p = -12 + 10. Let y = p - -5. Is 2 < y?
True
Suppose -3*b = -20 + 2. Let l = b + -5. Which is bigger: l or 3/5?
l
Let t be ((-2)/3)/((-10)/(-201)). Let g = t + 14. Is 0 at least g?
False
Let i = 895/13 - 69. Which is greater: i or -1?
i
Let s(v) = -v - 4. Suppose 0 = g + 7 + 4. Let o = -18 - g. Let p be s(o). Is p greater than or equal to -1?
True
Let c = 16/3 - 49/9. Suppose 2*v + v + 2*v = 0. Which is smaller: v or c?
c
Let c = 0.1 + -0.13. Let d = 0.17 - c. Let z(f) = -f**2 + 3*f + 1. Let h be z(4). Is h at least as big as d?
False
Let o be ((-5)/15)/(2/6). Are 5/12 and o unequal?
True
Let k = -7.9 + 8.9. Which is smaller: -5 or k?
-5
Suppose 17 = 5*x + 7. Let s be x - (-1 - -1)/(-3). Suppose 0 = v + s*v + 3. Is -1 less than or equal to v?
True
Let w = -103 - -109. Which is greater: 0 or w?
w
Let j be (1 + 0 + -1)/(-2). Let a(l) = l**2 + 6*l - 5. Let d be a(-7). Suppose -d*h = -3*h + 1. Is h less than or equal to j?
False
Suppose 0 = 65*x - 59*x + 126. Which is smaller: -23 or x?
-23
Let g(s) be the second derivative of s**5/20 - 5*s**4/12 + s**3/2 + 5*s**2/2 - 6*s. Let z = -9 + 13. Let w be g(z). Which is smaller: -1/6 or w?
-1/6
Let z be 4 + 5/(15/(-9)). Let q be z/(-3) - (-6)/(-9). Let d be -6*q/(-2)*-2. Is d > 6?
False
Let j = -6 + 12. Which is greater: 5 or j?
j
Let l be -1 + (1 - -2) - -1. Suppose -l*p + 4*n - 9 = 0, -6*p + p = -5*n + 10. Which is bigger: -2/13 or p?
p
Suppose 51 = -3*w + 4*b, -3*w - 66 = 2*b - b. Let k be (2 - 0) + w/7. Suppose -3*r + 11 = 5*j - 0*r, -5*j = 2*r - 9. Which is greater: j or k?
j
Suppose n - 1 = -2*y + 1, 4*y - 4*n + 8 = 0. Let v = 101/3 + -34. Which is smaller: v or y?
v
Suppose 6*p = -p + 294. Which is smaller: 41 or p?
41
Suppose 4*i - 3*i = 12. Suppose -3*z + 0 = -i. Suppose -z*n = -5*n. Which is smaller: n or -1/4?
-1/4
Let z be -4 + (-2 - -8) + 1. Suppose 5 = -5*y + w, -3 = 4*y - y - z*w. Which is smaller: y or -1/4?
y
Let v = 9 + -8. Let m be (v + (-12)/9)*-75. Suppose x + 2*x + 5*z + m = 0, -4*x - 25 = 5*z. Is x at most as big as -3?
False
Let s = -1771/36 - -195/4. Let q be (0/(-5 - -2))/(-2). Is q at least as big as s?
True
Let k be (38/(-33))/(1/(-63)). Let t = k + -72. Do 2 and t have different values?
True
Let f = -0.06 - 0.94. Let d = 6.4 - 6. Let l = d - 0.2. Which is smaller: f or l?
f
Let g(h) = -26*h**3 + h**2. Let i be g(1). Let j be 4/10 + 60/i. Which is smaller: j or -3?
-3
Let d = 2.52 - 0.02. Let y = d - 2.9. Is -0.4 <= y?
True
Let w be 12/(-1 - 3) + 2. Let j(t) = -t + 1. Let u be j(2). Do u and w have the same value?
True
Let c = 93/5 + -91/5. Let n = 69.1 + -69. Which is smaller: c or n?
n
Suppose -d + 2 = 0, -4*s = -0*s + 4*d - 20. Suppose 2*a = 3*a + 3. Let k be (-2 + 3)/(-1) - a. Is k less than s?
True
Let k be (-2)/(-8) - 25/4. Which is bigger: k or -7?
k
Let s = 5 - 8. Let k = 2 + s. Let c = 25/6 + -53/12. Which is greater: k or c?
c
Let v = -99/68 - -12/17. Let i be 2 - (3 - 0) - 1. Do v and i have different values?
True
Let u = 0.0924 - 4.1224. Let y = u - -0.03. Which is bigger: y or 0.1?
0.1
Suppose -4*v = -4*a - 7*v - 1, -5*v - 13 = a. Suppose -4*z = -9*z - 3*d - 27, 4*z + 4*d = -20. Let b be (-21)/(-9) + 2/z. Does b = a?
True
Let d(y) = 11*y + 7. Let q be d(-3). Is -26 bigger than q?
False
Suppose -61*a = -66*a + 5. Which is greater: 1/107 or a?
a
Let n(d) = -d**3 + 5*d**2 + 9*d - 16. Let u be n(6). Is u <= 2/3?
False
Let v = -55/336 + 1/48. Which is bigger: v or 0?
0
Suppose -7 = -3*m - d, -5*m - d + 8 = -3*d. Is m at least 18/17?
True
Let d(t) = -2*t - 11. Let g be d(-4). Let a(j) = -j**2 + 10*j + 2. Let y be a(10). Let r = -5 + y. Is r at most as big as g?
True
Let x = 3 - 2.9. Let g = -0.006 + 0.106. Is x at least as big as g?
True
Suppose -4*v + 13 - 5 = 0. Suppose -7*x - v = -6*x. Let b = -16 + 15. Which is smaller: x or b?
x
Suppose 2*h = 4*v + 20, -7*h + 5*v + 40 = -2*h. Let f(t) = -t**3 + 6*t**2 - 3. Let d be f(h). Which is smaller: -4 or d?
-4
Let s = 14 - 10. Let p be 1 - ((-5 - -2) + s). Let l be (2/(-5))/(1 - -1). Is p smaller than l?
False
Let h(i) = -4*i**3 + i**2 - 2*i - 1. Let k be h(-1). Is 5 greater than or equal to k?
False
Let v = 13 - 9. Suppose -v*z = 4 + 12. Let x = -2 - z. Is 2 less than x?
False
Let o be (-3 + 1)/(2/5). Let q = o - -7. Let u = q - 0. Is u > 2?
False
Let z = 0.0189 + -4.9089. Let s = z + -0.11. Which is greater: -1/4 or s?
-1/4
Suppose 0 = -4*u + 5 + 3. Suppose -2*k = -3*b - 0*b + 18, 4*k + 20 = u*b. Is b at least 4?
True
Let n = -8 - -33/4. Is -1/2 greater than n?
False
Let l = 0.895 + 0.045. Let o = l - -0.06. Let q = -0.6 - 0.4. Is o equal to q?
False
Let u be ((-18)/(-30))/(2/10). Let p be 16/u*9/(-6).