er: f or -1/6?
-1/6
Suppose a - 3*a + z + 4 = 0, 0 = -5*z. Suppose 3*o + u - a*u = 2, -22 = -3*o - 4*u. Suppose 2*k - 12 = -2*k. Which is smaller: o or k?
o
Let n = -12 + 11.96. Which is greater: n or 5?
5
Let u be (-1)/(1/(-3)) - 6. Let x be (-2)/14 + u/(-15). Is x greater than 0?
True
Let j be (-28)/(-160)*-18*(-25)/30. Which is smaller: j or 3?
j
Let i = 21 + -17. Suppose -i*r + 3*z - 16 = 0, 9 + 5 = 2*r + 4*z. Which is bigger: -0.07 or r?
-0.07
Let d = -181/345 - -9/23. Which is bigger: -1 or d?
d
Let q = -1334/3 + 438. Are -7 and q unequal?
True
Let o = -0.05 - 1.95. Let h = 0.09 + 0.91. Let z = h + o. Do z and -2 have the same value?
False
Let i = -0.9 - -1. Let u be -2*3/(-6) - 0. Let d be u/(-3) + (-10)/(-12). Which is greater: i or d?
d
Let k(l) = 2*l + 1. Let u be k(1). Let h(y) = y**3 - 8*y**2 + 2*y - 1. Let w be h(8). Let c = -11 + w. Which is smaller: c or u?
u
Let d be 5/7*6/(-5). Let m(h) = -3*h + 27. Let i be m(9). Is d greater than or equal to i?
False
Let v(w) be the second derivative of w**4/12 + 2*w**3/3 - 3*w**2 + w. Let z be v(-5). Is 0 smaller than z?
False
Let w(c) = c**3 - 7*c**2 - 9*c + 10. Let k be w(8). Let s = k - -1. Is s at most as big as 2?
False
Suppose -5*t + 0*t - 4*m = 5, -2*t - 2*m = 4. Let k be (4/6)/((-2)/t). Let p be -5 + -1 + 3 + k. Which is smaller: -2 or p?
p
Let u = -163/4 - -41. Are -1 and u unequal?
True
Let w = 16 - 24. Let m = -7 - w. Is m not equal to 1?
False
Let v = 6.6 + -0.6. Let k = -20 - -98/5. Is k != v?
True
Let f = 188 + -187.8. Let p be (2/3)/((-1)/3). Which is smaller: f or p?
p
Let g be 10/(4/(6/3)). Suppose 3*s = 2*f + 14, -3 = -2*f + g*f. Suppose 13 = 3*b + 2*y, 0 = 3*b + 4*y - 5 - 12. Which is smaller: b or s?
b
Let o(x) = x**3 + 5*x**2 - 7*x - 2. Let q be o(-6). Let z = 27 + -21. Suppose 0 = q*l + 2 + z. Are l and -3 non-equal?
True
Let i(s) = -6*s - 2. Let d be i(0). Is -2/3 greater than or equal to d?
True
Let o = -3 + 9. Let m(h) = h - 6. Let b be m(o). Is -1/3 less than b?
True
Let o = -40 + 40. Which is greater: -2/51 or o?
o
Let f = 4.11 - 4. Let y = 0.01 - f. Which is greater: -2 or y?
y
Suppose -5*z + n = -7, z - 4*n + 7 = -n. Suppose 0 = z*v - 3*a - 8, -3*v + 12 = 5*a - 0. Suppose 5*h + 12 = -13, 5*l + v*h = -15. Which is greater: 2 or l?
2
Let t = 2/1843 + 42385/3686. Is 13 <= t?
False
Let s(q) = -q - 2. Let d be s(-2). Let z be (-1 - d - 1) + -70. Let k be (-52)/z - (-2)/(-4). Is 1 > k?
True
Let i be (-2114)/(-42) + (2 - 14/6). Are -0.1 and i unequal?
True
Let t = 0.07 + -13.85. Let l = -14 - t. Let o = l + 0.02. Which is bigger: 1/4 or o?
1/4
Let x = 0.05 + 0.04. Which is greater: x or 2/7?
2/7
Let w = 51 + -52. Let u = 576/7 - 82. Which is smaller: w or u?
w
Let c(o) = o**2 + 3*o - 2. Let v be c(-4). Are 1/9 and v nonequal?
True
Suppose 8 = -2*v - 2*i, v + 3*i = 6*v - 20. Let q = 1/3 - -1/6. Which is smaller: v or q?
q
Let k(s) = 2*s**3 - s**2 + s + 2. Let w be k(-2). Let g = 62/3 + w. Let v = 0.01 + -5.01. Which is smaller: v or g?
v
Let g = -130 - -136. Is g equal to 11?
False
Let a(z) = -z**2 - 10*z + 14. Let o be a(-11). Suppose b - o = 2. Suppose -2*n = 2*n - 12. Is n > b?
False
Let k be (-2)/6 + 49/21. Let h be 110/3*1/24. Let r = 5/36 + h. Which is bigger: k or r?
k
Let p(c) = c**2 + 7*c. Let v be p(-7). Let h = -71/1599 - 4/123. Does h = v?
False
Let q = 28 - 4. Let z be q/(-15) - (-9)/15. Which is bigger: z or -1/4?
-1/4
Let c = -68 - -95. Which is smaller: c or 26?
26
Suppose -5*m + 230 = 5*n, 1 = 4*m - 3*m. Let y = -16339/366 + -3/122. Let z = y + n. Which is greater: z or -0.1?
z
Let p = 0.02 - 1.02. Which is greater: p or -4?
p
Let u be (4/(-10))/(1/(-5)). Suppose -3*y = -6*y + 6. Let r = y - u. Which is greater: r or -2/5?
r
Let l be 2/3*12/(-68). Let f = -82/119 - l. Which is greater: -1 or f?
f
Let q be (2/(-16))/((-11)/(-66)). Let j = 3 + -5. Which is bigger: q or j?
q
Let y = -17 + 7. Let v = -10.7 - y. Which is bigger: v or -2/5?
-2/5
Let v be (336/(-36))/((-2)/(-6)). Let f be 20/v - -4 - 3. Which is smaller: -4 or f?
-4
Suppose -83 = -6*y - 29. Is y not equal to 7?
True
Let i = -1.2 - -0.2. Are i and -4 equal?
False
Let w = 28 - 29. Is w bigger than -1?
False
Let h = 16312/205 + 444/41. Let k = -90 + h. Which is bigger: -2 or k?
k
Let s = -1 - 0. Let x be s + 1 + 2 + 3. Suppose 0*u + 5*u + x = 0. Is u at least -2/3?
False
Let z be (6 - 23) + -1 + 4. Is z bigger than 0.1?
False
Suppose 2*j + 0*j = -2*m - 6, -3*j = 2*m + 13. Let z = -3 - -27. Suppose -2*y = 6*i - 2*i, 2*y = 4*i - z. Which is bigger: j or y?
y
Suppose 4*p - 2*v + 104 = 0, -14 = 3*p + 3*v + 64. Which is greater: p or -25?
-25
Suppose 0 = -4*q + 2*q + 8. Let v(m) be the third derivative of -m**6/120 + m**5/12 - m**4/6 + 2*m**2. Let k be v(q). Is k greater than 2/13?
False
Let d = 1 - 7. Let u be (-48)/40*(-1 - d). Is u < -6?
False
Suppose -6*d + 2*d - 5*j + 8 = 0, -2*d - j = 2. Let c be d*((-8)/(-6))/2. Let p be -2*(-1 + 10/4). Which is greater: p or c?
c
Let a = 20 - 28. Let g = 0 + a. Which is greater: g or -1?
-1
Let m(z) = z**3 - 4*z**2 - 7*z + 7. Let c be m(5). Let o = c - -3. Let r be o/(-4)*(-2)/2. Is -3/10 at least as big as r?
False
Let f be (1 - 1)/((-1)/(-2 - -1)). Is 5/4 less than or equal to f?
False
Suppose 308*d = 302*d + 36. Let t be 1/(0 - 1/(-5)). Is t greater than d?
False
Suppose -4 + 0 = -4*t. Let y be (-12)/(-8)*4/(-33). Which is greater: y or t?
t
Suppose -2*w = -5*w + 6072. Let x be 2/(-7) + w/1547. Let z = x - 20/17. Is 1 > z?
True
Let b = 42 + -43. Which is greater: b or -6?
b
Suppose 0 = 11*i - 77 - 11. Does i = 8?
True
Let b(p) = p**2 - 9*p - 10. Let l be b(10). Let o = 10/7 - 95/42. Which is bigger: o or l?
l
Suppose 2*w - b = 0, 2*w + b = -2*w + 6. Let f(s) = 33*s + 2. Let g be f(3). Let h = g + -1513/15. Is h smaller than w?
True
Let l(m) = m**3 - 8*m**2 + 2*m - 12. Let u be l(8). Is u at most 3?
False
Let x be (2 - 2) + 6/14. Let y = 19/28 - x. Is 0 less than or equal to y?
True
Let m = 72 - 40. Suppose -d - m = -5*d. Let n be (1/d)/(3/6). Are n and -1 unequal?
True
Suppose 0*m + d = -3*m - 11, 0 = -2*m + 5*d + 4. Is m at most as big as -3?
True
Let z = -2 + 5. Let m(x) = 4 + 2*x - 3*x - z + 4. Let c be m(4). Is c at most -1?
False
Let s(a) = -a**2 + 5*a - 5. Let u be s(2). Which is smaller: u or 1/6?
1/6
Suppose 0 = t - 2*t + 6. Suppose t = 3*h - 0. Let x = -3 + h. Which is smaller: 0 or x?
x
Let n = 29 - 27. Suppose p + 1 = n. Which is bigger: p or -2/9?
p
Let i be 1 + (2 - 0) + -2. Let z be (i + (-1)/(-1))*-1. Let o be z/4 - 10/(-4). Is 1 at least as big as o?
False
Let t = -50 + 49. Which is bigger: -7/9 or t?
-7/9
Suppose d - 2 = 3, -45 = -2*u - 3*d. Let t = u - 12. Which is smaller: t or 0.1?
0.1
Suppose -5*y + 3 = -3*z, -5*y - 3 = -0*z + 3*z. Is z at least 9/2?
False
Let z = 10 - 10.3. Let x = 4 - 4.4. Let a = x + 0.5. Which is smaller: a or z?
z
Let k = 3/28 - 37/84. Suppose 2 = 2*a, u - 2*a = -u + 10. Let v = u + -7. Is v equal to k?
False
Let u = -20 + 10. Let w = -1 - u. Suppose 2*h - 3*s + w = -2*h, 3 = -h + s. Which is smaller: h or 1/8?
h
Suppose -89 = -x - 4*v, -2*x - 5 + 147 = -4*v. Is 77 <= x?
True
Let z = 3.7 + -2.2. Which is greater: 1/4 or z?
z
Let w = 9 - 6. Suppose 3*o - 9 = 0, 3*o = -4*r + 7 - 2. Let m be (1 + -1 + -2)/r. Which is smaller: w or m?
m
Let b = -11.04 + 0.04. Let x = 11 + b. Which is smaller: x or 0.2?
x
Let p be (3 - 0)*2/(-34). Which is bigger: 1 or p?
1
Let m(p) = -p**3 + 14*p**2 + 15*p. Let d be m(15). Which is smaller: d or 2/39?
d
Suppose -7 = -5*r - 2*m, 5*r = 5*m + 18 + 17. Suppose 0*j - r*j = b + 15, -j - 1 = -b. Let t be j/8 - (-1)/6. Which is greater: t or -1?
t
Let f be (-23)/(-44) - 3/12. Which is bigger: f or 1?
1
Let i be -2 - (-2 - 0) - 2. Let f be 1*1/(i + 1). Let v be (((-16)/28)/((-20)/14))/2. Which is greater: f or v?
v
Suppose 3*g - 26 = 5*q - 3*q, 2*g - 52 = 4*q. Do q and -13 have the same value?
True
Suppose -2*j + 36 = j. Suppose 7*c - 3*c + j = 0. Which is smaller: c or 3?
c
Let n be (-2 - 0)/((-1)/46). Suppose 0*a + 3*z + 38 = a, -3*z + n = 4*a. Let h = 236/9 - a. Is 2/3 < h?
False
Let f(n) = n**2 - 4*n + 6. Let d = -11 + 15. Let a be f(d). Let m(l) = l**2 - 7*l + 4. Let u be m(a). Which is smaller: -1 or u?
u
Let z = 1 - -2. Let n(t) = t**2 + 5*t + 2. Let c be n(-5). Which is bigger: c o