 than 0?
True
Let l = 1/43 + -47/172. Is -13 >= l?
False
Let x = -23.89 - -24. Let c = -0.01 + x. Is c <= -0.07?
False
Let f be -1 - (1 - (-2 + 0)). Which is bigger: f or 1?
1
Suppose -26 = -0*r + 3*r - 4*m, 23 = -4*r + 3*m. Let u = 1/10 + -17/20. Which is smaller: r or u?
r
Let o be -1*14/10*1. Are o and -2 equal?
False
Let h(z) = z + 8. Let b be h(-4). Suppose -2*u + 2*n + 9 = -3*n, 10 = 3*u - 4*n. Which is bigger: b or u?
b
Let m(s) = s**2 - 2*s + 1. Let d be m(1). Let o = d + 0. Suppose 5*r = 5 - 0. Which is greater: o or r?
r
Let j be (2 - -3)/((-5)/10). Let f = -9 - j. Is -4/9 greater than f?
False
Suppose 2*x - 20 = 2*j - 4, -3*x - 2*j = -4. Let v be (2 - 1)*x/2. Suppose 0*i + v*z - 4 = i, 0 = 3*i + 2*z + 4. Is i at most -2?
True
Let i(k) = k**3 + 6*k**2 - 6*k + 10. Let c be i(-6). Which is smaller: 45 or c?
45
Let z(a) = -a**3 + a**2 + a - 4836. Let f be z(0). Let b be 1/1 - f/28. Let y = b + -174. Which is bigger: y or -1?
y
Let k be 2/5 - 2/5. Let f be (-4)/14 + (-32)/(-14). Let u be (-1)/4*4/f. Which is bigger: k or u?
k
Suppose -3*h - f + 785 = 2174, 0 = -4*h - 2*f - 1854. Let n be (-2)/((h/9)/(-7)). Do n and 0 have the same value?
False
Let z(x) = 14*x - 10. Let h(g) = g. Let t(w) = -12*h(w) + z(w). Let k be t(11). Is 11 equal to k?
False
Let j = -8 + 11. Let b = -1 + j. Let x = 106 - 102. Is b at least as big as x?
False
Suppose 0*r + 4*r = k + 42, 2*r - 30 = 5*k. Let x = r - 8. Is x at least as big as -1?
True
Let k = 22 + -17. Suppose -3*u + k*t + 1 = u, -t + 3 = -4*u. Are 2/43 and u non-equal?
True
Let w be (-81)/15 - (-6)/(-10). Is w less than -7?
False
Let x be -6 + 3/1 - 0. Let h be 49/(-17) + x/(-1). Which is greater: 1 or h?
1
Let t(b) = -b**3 - 3*b**2 + 2*b + 6. Let c be t(-3). Which is smaller: c or -2?
-2
Let b = -4391/3 + 1451. Which is greater: -13 or b?
b
Suppose 62 = 4*t - 2*t. Is 31 smaller than t?
False
Let l be (3 - (2 + 0)) + 7. Let b = -9 + l. Which is greater: -4 or b?
b
Suppose 0 = -2*q - v - 3 + 7, -4*v = 0. Let h(p) = -p**2 - 5*p + 7. Let n be h(-6). Suppose 0 = -u + n - 0. Is u at most q?
True
Suppose -6*v + 132 = -3*v. Let w = v + -65. Do -20 and w have the same value?
False
Suppose -3*l + 76 - 79 = 0. Which is smaller: l or 4/53?
l
Let b be (2/4)/(1/2). Let j be 6/7*(-1)/(-9). Which is smaller: b or j?
j
Let y = 7 + -12. Which is smaller: y or -2?
y
Let q be 10/(-25) - (-7154)/60. Let r = q + -118. Which is bigger: r or 1?
1
Let o = 263.94 + -264. Let g = -2 - -2. Which is greater: o or g?
g
Let y = 0.3 + -1.3. Let a = 0.304 + -0.224. Is a != y?
True
Suppose o + 11 = 2. Are -29/3 and o unequal?
True
Suppose x = 3*b - b - 8, 0 = 2*x - 5*b + 20. Is 2/35 at least x?
True
Let g = 136 + -97. Let u be 23/(-6) + 13/g. Are u and -3 non-equal?
True
Let c(o) = o**2 - 4*o + 1. Let t be c(4). Suppose -5*u - 5 = 5*w, -3*u = -2*w - 6 - 6. Which is smaller: t or u?
t
Let y be (-24)/16*(0 + -34). Let v = 201/4 - y. Is -2 <= v?
True
Suppose 4*p - 2*f + 16 = 2*p, -p - f - 14 = 0. Which is bigger: p or -9?
-9
Let k = -41 + 41.1. Which is greater: 31 or k?
31
Suppose -3*d + 0*d = -12. Let m = d - -2. Let s be (-1)/(-3) - 2/m. Is s at least -3/4?
True
Suppose -2*s - 3*g = 4, -7*s - 4*g - 24 = -2*s. Let i be 1/(-4) - 94/s. Let m = 12 - i. Is 1 < m?
False
Let k = 0.8 - -0.2. Let j = -10 - -10.1. Is j greater than k?
False
Let h(f) = f**2 - 9*f - 10. Let m be h(10). Suppose -r - 4 + 0 = m. Suppose 4*g - 2*o + 16 = -6, g = o - 6. Is g smaller than r?
True
Suppose 3 = -x - z - 1, 2*x - 5*z = -1. Let f = x + -1. Which is greater: f or -3?
-3
Let w = 464 + -4172/9. Let k = 41/21 + -5/3. Which is bigger: w or k?
w
Let l be 2/16 + (-782)/(-528). Let d = -4/3 + l. Which is smaller: d or -1?
-1
Let s = 12.9 + -13. Let a = -4 - -4. Which is bigger: s or a?
a
Let m(q) = -q**2 + 4*q - 1. Let a be m(4). Let w be 0/(2 - -1)*a. Suppose 0 = h - i + 4, h + 3*i + w - 8 = 0. Which is smaller: h or 1/11?
h
Let f = 57 + -58. Is f at least as big as 3/16?
False
Let m be ((-1)/(-10))/(38/(-565)). Let j be 1/8*16/152. Let c = j - m. Is c greater than 3?
False
Let k be 80/(-32) + 5/2. Which is smaller: 2/109 or k?
k
Suppose 0 = l - 3*y - 13, l + 4 = -5*y - 7. Is 4 greater than l?
False
Suppose -2*h - h = -15. Let o(c) = -c**2 + 6*c + 3. Let w be o(h). Suppose 0 = p + 3*p - w. Does 3 = p?
False
Suppose 0 = -3*v + 5*t + 24, 5*v - 6 = -0*t - 3*t. Suppose -v*i = 2*i. Is i != -1?
True
Let y = -5 - -8. Suppose 10 = 4*n + 2*z - 10, 10 = y*n - z. Suppose 3*m + 3*d + 6 = -2*m, -n*m - 2*d - 4 = 0. Which is bigger: -3/4 or m?
m
Let v = -16.92 + 17. Are 1/3 and v non-equal?
True
Let v = 48 - 45. Which is smaller: v or 30/13?
30/13
Let q(s) be the first derivative of s**4/4 + s**3 + 3*s**2/2 + s + 4. Let v be q(-2). Let u = -0.11 - -0.07. Which is smaller: u or v?
v
Let v = 18 - 17.8. Let w = -1.8 - v. Which is smaller: 6 or w?
w
Let s = 11 - 11. Let g be (3 - s) + 8/(-3). Which is bigger: 4 or g?
4
Let h = -14 + 23. Suppose -2*v - 28 = 2*q + 2*q, 3*q = -h. Let r = -6 - v. Which is bigger: 3 or r?
3
Let h be (52/78)/((-2)/54). Is -18 greater than h?
False
Let b = 1/1852 - -44441/12964. Which is smaller: b or 2?
2
Let j(y) = -3 + 0*y**3 + 6*y + 2*y**2 - 8*y**2 - y**3. Let i be j(-7). Is 5 smaller than i?
False
Let q(p) = 2*p**3 + 2*p**2 + 2*p + 1. Let o be q(-1). Let j = -749 + 1457/2. Let b = j + 21. Which is smaller: o or b?
o
Let z = -12 - -13. Which is smaller: -2/9 or z?
-2/9
Let d = -219/2 + 111. Suppose 0 = -f - 2*j + 9, 3*j + 6 = 2*f + 4*j. Is d at least f?
True
Let y be 1 - (1 - 2)*-6. Which is greater: y or -6?
y
Let p = 61.85 + -62. Is -1 equal to p?
False
Suppose -q + 1 + 3 = 0. Let b(c) be the first derivative of 3*c**2/2 - 5*c - 2. Let z be b(q). Is z equal to 7?
True
Let l be (-210)/(-55) + (-4)/(-22). Let k be (-1 - 2)*l/6. Let b(c) = -4*c**2 - 13*c - 2. Let o be b(-3). Which is smaller: k or o?
k
Suppose -3*h = -4*n - 0*n, 0 = 4*h - 4*n - 4. Suppose -20 = -h*s - s. Let l be ((-6)/s)/(6/8). Is l less than or equal to -1?
True
Suppose -1 = -2*d + 9. Suppose 2 = -3*q + d. Let u = 3 + -23/7. Which is smaller: q or u?
u
Suppose -22*p + 27*p = -45. Which is bigger: p or -6?
-6
Let p(z) = -2*z - 1. Let d be p(-1). Let m be ((-4)/(-15))/((-10)/(-942)). Let q = -126/5 + m. Is q greater than d?
False
Let d(u) = 2*u - 5. Let b be d(3). Let o(j) = j - 4. Let c be o(6). Which is greater: c or b?
c
Let y(m) = m + 2. Suppose 20 = -3*o + 4*r, -o + 0*o - 2*r = 0. Let t be y(o). Is -2 greater than or equal to t?
True
Let a be 2 + (-2 - 0/(-1)). Suppose 5*j = 2*p + 15, a = -j + p + 2 + 4. Suppose -2*x + l + 2 = -1, -5*x - 5*l = 0. Is j equal to x?
True
Let t = -0.5 + 2.5. Let g = -7 + 4. Let n be g*(-1)/9*3. Is n less than t?
True
Let h(j) = j**3 - 5*j**2 + 4*j - 4. Let k be h(5). Let l be 2/(-2 + k/6). Which is smaller: -1/2 or l?
-1/2
Let d(q) = q**3 + 4*q**2 - 1. Let b be d(-4). Let z(x) = 3*x - 17. Let y be z(5). Which is bigger: b or y?
b
Let i be (8/(-36))/((-4)/(-12)). Suppose 0 = -m - t + 6, 2*t + 3*t - 10 = -m. Let x = m - 7. Which is smaller: x or i?
x
Let l be 15/60*(-3 - 1). Which is smaller: 2 or l?
l
Let s = -5 - -15. Suppose 2*l - 4*l + s = 0. Do 3 and l have different values?
True
Let i(b) = b**3 + 10*b**2 + 11*b + 8. Let x be i(-9). Which is bigger: x or -8?
-8
Let x = -16 + 18.5. Let r = -3 + x. Is -2 != r?
True
Let c be (1 - 0)*(0 - 1). Let k = -0.05 - 0.21. Let v = k + -0.04. Which is bigger: v or c?
v
Let g = -2 - -5. Suppose 2 = -g*r + 8. Suppose 3 = -3*l + 4*l. Which is smaller: l or r?
r
Suppose 8 = 2*l, 5*k = 3*l - 2*l + 21. Suppose 5*p = -2*v + 7, 0 = 4*v + k*p - 0*p - 19. Let h = -7 + 12. Is h > v?
False
Let p = 24 - 20. Is -2 greater than p?
False
Let q = -27 + 77. Is 51 at least as big as q?
True
Let h be 468/(-9)*(-3)/12. Let p = 26 + -14. Is p != h?
True
Let h be 2/4 + 2/(-8). Let i be (-2)/5*-5*-7. Let n be (i/35)/(7/5). Is h greater than n?
True
Let p = -143954/537177 - 502/1307. Let h = -2/137 + p. Is h less than 1/3?
True
Let u(y) = 4*y - 18. Let i be u(21). Which is smaller: i or 67?
i
Let r(z) = z + 1. Let h be r(-6). Let b be h/(-20) - 7/12. Suppose -4*m - 4 = 3*o - 2*o, -20 = 3*m + 5*o. Does m = b?
False
Let o be (3/(-1))/(18/(-12)). Suppose -4*w - 18 = -o. Is w at most -5?
False
Let m = -0.2 + 0.1. Let q = 0.9 - m. Let x 