 d?
3
Let i = 5.14 + -0.14. Which is smaller: i or 2/3?
2/3
Let q = -21 + 29. Suppose q*m - 3*m = -25. Is m at most as big as -5?
True
Let m = 0.1 + -0.6. Let b = -3.5 - m. Is 1 not equal to b?
True
Let z = -10 - -9.9. Which is greater: z or 1/9?
1/9
Let i = 16 - 114/7. Do i and -1 have different values?
True
Let t = 2 + -3. Let w = -3 + 2. Let g = t - w. Do -3 and g have different values?
True
Let c = -21 + 10. Let u = 15 + c. Let g be 1/(u - 9/3). Is g greater than or equal to 1?
True
Suppose -3*j + j = -a + 7, 0 = 4*j - a + 15. Let t be 2/5 - (-2)/(-30). Are t and j non-equal?
True
Let r = 0.1 - 3.1. Let y = r - -2.9. Is -0.1 < y?
False
Let f = 6 - -5. Let y = 10 - f. Which is greater: -2/13 or y?
-2/13
Let y = -49.3 + 43. Let n = -6 - y. Let f = n + -0.3. Which is smaller: 2 or f?
f
Let s = -3 - -11. Suppose s*m - 10*m = -2. Do -3/14 and m have the same value?
False
Let r be (0 - 9/(-3)) + 1. Suppose -4*p = -h - 1, r*h = p - 2*p - 4. Is h bigger than 1?
False
Let y = 0.3 - -5.7. Let m = -65.2 - -71. Let j = m - y. Is j bigger than -4/5?
True
Suppose i = -a + 27, -8*i - 132 = -4*a - 4*i. Which is greater: a or 32?
32
Suppose -3*o = o. Suppose -2*p + 3*p + 39 = 5*q, 4*p + 16 = o. Let n(l) = l**2 - 7*l - 6. Let z be n(q). Are -6 and z nonequal?
False
Let t be (6/(-7))/((-1)/(-7)). Let y be 0 - (9/t - -1). Which is bigger: y or 2?
2
Let w = 13 - 8. Suppose -x + w*x = 0. Suppose x = -2*r + r. Which is smaller: r or -2/11?
-2/11
Let b = -196 - -185. Let s(q) = -q - 1. Let a be s(8). Which is greater: b or a?
a
Let r(t) = -7*t**3 + 6*t - 7. Let b(c) = c**3 - c**2. Suppose -2*n + 1 + 1 = 0. Let y(l) = n*r(l) + 6*b(l). Let v be y(-7). Which is bigger: v or 1?
1
Let c be 3 + (1 - 0 - 0). Let i be 4/30 - 1591/(-555). Is i less than or equal to c?
True
Let j(o) = o**2 + 7*o + 6. Let d be j(-6). Suppose 0 = 4*a - r + 6*r + 24, 2*r + 4 = 4*a. Let v = a - -2. Which is greater: v or d?
v
Let n be ((-12)/15)/(2/(-60)). Let q(g) = g**3 + 4*g**2 - 5*g + 3. Let v be q(-4). Is n smaller than v?
False
Suppose o - 4*o = 12. Is -4 < o?
False
Let b be -6 + 0 + (5 - 2). Which is bigger: -2 or b?
-2
Suppose a + 1 = 2. Which is smaller: 3/5 or a?
3/5
Let h be (-8 - -4) + 4/2. Let q(a) = -a**2 - 2*a. Let g be q(h). Let d = g + 2. Which is greater: 3/2 or d?
d
Let l be -1*(3 + -4 + 3). Let m(u) = -u**3 - 3*u**2 - 2*u + 1. Let t be m(l). Which is smaller: -1/6 or t?
-1/6
Suppose -5*v = -5, 4*v - 8 = -0*m + 4*m. Which is greater: m or 2/19?
2/19
Suppose 4*q = -0*q. Which is greater: -4 or q?
q
Let m = -5 - -11. Let p be (-42)/105*(0 - (11 - 1)). Which is smaller: m or p?
p
Let h = 0.9 - 1. Let f = h - 1.9. Let w be (-1)/(-3) - (6 + -6). Which is greater: f or w?
w
Let v(p) = -p**2 - 3*p. Let l be v(-3). Suppose -f + 5*z + 3 = 0, l*z + 2*z = -2*f + 6. Let u(b) = b**2 - 3*b. Let y be u(f). Is 0 at most as big as y?
True
Let j(x) be the second derivative of -x**3/6 - 3*x**2/2 - x. Let v be j(-4). Which is smaller: v or 2/11?
2/11
Let h be ((-155)/(-5) + -6)*(1 + 0). Is 25 not equal to h?
False
Let k = 15 - 15. Let y = 0.6 - 1.2. Which is bigger: k or y?
k
Suppose 5*r - 2*r - 29 = -c, 0 = -3*c + 6. Let l = 6 - r. Suppose -1 = x + 1. Which is smaller: l or x?
l
Suppose s - 4*d = -s - 30, 0 = 4*s + 3*d + 115. Let i = s + 76/3. Let n = -0.1 - 0. Which is bigger: n or i?
i
Suppose -3*m = -2*m + 1. Which is bigger: m or -2/23?
-2/23
Let h = 6 + -6. Suppose h = 2*o - 0*o. Is o not equal to 0?
False
Let m = -2777/24 + 707/8. Let a = 28 + m. Which is smaller: a or -3?
-3
Let n = -5 + 0. Let x be n/(-15) - 8/6. Suppose -s - 2*s - 6 = 0. Is x less than s?
False
Suppose o + y = 0, 3*y = 4*o - 17 + 3. Do o and 13/5 have different values?
True
Let y = 21 + -23. Let g be (y + 0)/(-2 + 8). Which is greater: g or 0.6?
0.6
Suppose 20 = 4*g, 4*d - 5*g - 25 = 46. Which is greater: d or 23?
d
Let m be ((-31)/(-1) + 2)*-9. Let c be 2/(-7) + m/(-819). Let d = 24 - 71/3. Is c bigger than d?
False
Let u = 3709/7 + -529. Is u at most 0?
False
Let k = 9 - 5. Suppose -5*q + k = -1. Is -1/5 less than q?
True
Let f = -2 + 1. Let k = f - -1. Let v be k - (-3)/(27/(-6)). Is -2 less than or equal to v?
True
Suppose 3*v - 17 = 2*c, 4*c + 0*c = -4. Suppose -4*r + 13 - v = 0. Let x be 2/(-4)*r + -1. Which is smaller: x or -1?
x
Let c(r) = -16*r**3 + 3*r**2 + 3*r + 1. Let t = 5 + -6. Let o be c(t). Is o equal to 17?
True
Suppose x + 2*n + 10 = -n, 3*x - 4*n - 22 = 0. Is 2 at least x?
True
Suppose -2*q = -0*q - 4*p + 2, -19 = -5*q - 2*p. Suppose i + q*i = -4. Is -1 smaller than i?
False
Let j be (-3)/2 + (-4240)/(-2632). Let i = j - -3/94. Suppose 0 = -5*o - 3*b + 3, b + 2 = -o + 3*b. Is o at least as big as i?
False
Let k = -199 + 194. Is k greater than or equal to 1/16?
False
Let x = -1096 + 49318/45. Which is bigger: x or 0.2?
0.2
Let g = 101 + -401/4. Which is smaller: 1/4 or g?
1/4
Let p be 13/(-6) + (-1)/(-6). Let o be (18/4)/((-1)/p). Is o != 9?
False
Suppose -5 = -4*s - 5*u + 27, -4*u + 16 = 0. Suppose -w - 4 = s*w. Is w bigger than -3?
True
Let d = -445/6 - -29803/402. Which is smaller: d or 0?
d
Let q be (-1 - -1)/(4 + -5). Suppose 120 = 3*d + 3*v, q*d = d - v - 46. Let c = -93/2 + d. Which is smaller: c or -4?
-4
Let d = 1.4 - 2.26. Let y = 0.14 - d. Is 2/9 greater than or equal to y?
False
Let f = -2 + 5. Let y = f + 2. Let o = -3 + y. Is 2 != o?
False
Let k be (-1 + 17)/(-2) - -2. Let p(z) = -z**3 - 6*z**2 + 6*z - 13. Let o be p(-7). Does k = o?
True
Suppose 3*j - 6 = 3*g, 3 = -5*j + g + 33. Which is smaller: 23/3 or j?
j
Let u = 0.4 - 0.4. Let s = u - 0. Let n = -5 - -5.02. Which is bigger: n or s?
n
Let d be 2 + -2 - -1 - 1. Is 1/12 <= d?
False
Let y(q) = q - 1. Let l be y(6). Suppose -2 = 3*d - l. Is -2/25 at least d?
False
Let w = -17.2 - -20. Let a = -2.98 - 0.02. Let g = w + a. Is 0 at least as big as g?
True
Let b be 11 + -9 + (-6)/(-2). Suppose -b*f = -3 - 2. Which is smaller: 3/2 or f?
f
Suppose 0 = 3*o + 8 - 5. Which is smaller: o or -2/5?
o
Let t = -121.37 + 121. Is 2 at least as big as t?
True
Let b be -4 - ((-5316)/663 - -4). Let t be 1527/65*1/(-17). Let h = t - b. Which is bigger: h or -2?
h
Let x be (-1422)/90*(-2)/(-2). Which is bigger: -15 or x?
-15
Let y = -1487 - -5863/4. Let c = y + 21. Does -4 = c?
False
Let z = -12.77 + -0.23. Let d = 13.13 + z. Let r = d + -0.03. Which is smaller: -1/4 or r?
-1/4
Let c = -0.57 - 0.43. Is -49 >= c?
False
Let l = 248 - 2234/9. Let s(v) = -v**2 + 6*v + 4. Let p be s(6). Suppose 0 = -p*t - 1 + 5. Which is bigger: l or t?
t
Let r = -145/4 + 1313/36. Let d be (2/5)/(78/(-325)). Which is greater: d or r?
r
Let m = -8.96 + 6.96. Let k = -1 - -1.1. Let f = k - 0. Which is greater: m or f?
f
Let s = -27035/17 - -1589. Which is greater: s or -2?
s
Let l be (-4)/(-6) + 3/9. Suppose 2*b - 2*a - 1 + 7 = 0, 4*a = 2*b + 8. Let t be (-4)/8*b/(-11). Which is greater: t or l?
l
Suppose -4*j - 3*y - 12 = 0, j + y = -3*j - 12. Let l be (-3 - j)/2 + 2. Is l >= 1?
True
Let l = 33 - 23. Let w(k) = k**2 - 6*k + 2. Let r be w(6). Let z be -15*(r - l/6). Do -6 and z have the same value?
False
Let i be (-3)/2*(-26)/91. Suppose -d = -5*b + 14, 0*d - 2*d + b - 10 = 0. Let k(v) = v**2 + 5*v + 5. Let u be k(d). Which is smaller: u or i?
i
Let h = 0.4 + -3.4. Let k = -6 + 3. Let q = k - h. Which is smaller: -3 or q?
-3
Let o(y) = -y**2 + 15*y - 16. Let i be o(14). Which is bigger: i or 0?
0
Let w(l) = -85*l**2 - 3*l + 4. Let d be w(1). Which is greater: d or -83?
-83
Let h be -1 + -2 + 3 + -2. Let w be 1*2*h/4. Is w greater than 1?
False
Suppose 0 = -0*k + 2*k - 4. Suppose k*y = g + 1, -y + 5*g = g - 11. Which is bigger: -1/4 or y?
-1/4
Let o be (-1)/4 - 322/(-8). Let q be (3/4)/(105/o). Is -0.1 >= q?
False
Let w = 5 - 23. Let r be (-2)/(-9) - 50/w. Suppose p - 10 = -4*l, r*p - 2*p = 2. Is l at least as big as 2?
True
Let k(m) = -m**2 + m. Let v be k(3). Let q be 72/(-4)*4/v. Suppose -3*p + 7*p = -2*j - q, -2*p - 18 = -2*j. Is 4 bigger than j?
False
Let z = -0.29 + -18.71. Let k = 20 + z. Which is bigger: 0.03 or k?
k
Let r be -1 - 2 - (7 + -10). Let f = 2/39 + -47/156. Which is greater: r or f?
r
Let j be (-4)/16 - (-18)/(-56). Let v = -11 - -10. Is j bigger than v?
True
Let j be 10/(-375) - 0/(-1). Is j greater than or equal to -1?
True
Let l be 6 - (0 - (-6)/3). Sup