/(-16)*(-12)/117)/1. Which is bigger: 0 or f?
f
Suppose 2 = -x + 1. Let w = -59 + 58. Is x greater than w?
False
Let o be (-15)/(-70)*(-5)/(20/(-8)). Which is smaller: 1/3 or o?
1/3
Let s be (11 + 1)*3/(-6). Is -2 at least s?
True
Suppose -5*c - 3 = -b, 4*c - 4*b = 2 + 2. Let h be (c - 1) + -1 + 2. Which is greater: h or -2?
h
Let w = 79.15 + -79. Are 0.1 and w equal?
False
Let z be 1/3 + (-12)/9. Let d = 6 + z. Is 6 at least as big as d?
True
Let a = -1 + -1. Is a at least -1?
False
Let o = -41 - -289/7. Let y = 0.02 + -0.02. Let f = 0.2 + y. Is o greater than f?
True
Let p = 13 - 8. Suppose 5*o - p = 20. Suppose t = o*t + 4. Which is greater: 1/12 or t?
1/12
Let u be 19/(-12) - 4/(-12). Let m = 7/12 + u. Is m < 0?
True
Let i = -59 - -51. Which is smaller: -2 or i?
i
Let t(x) = -x**3 - 14*x**2 - 13*x + 4. Let p be t(-13). Suppose 2*s + 8 = 0, -20 = y + p*s - 1. Let b be y/9 - 30/(-9). Which is smaller: 4 or b?
b
Let d(b) = -3*b**2 - 2. Let n be d(2). Let p = -13 - n. Which is smaller: -0.01 or p?
-0.01
Let c be (-2)/(-1) + (-54)/(-9). Which is smaller: c or 7?
7
Let l = -15 - -14. Is -3/16 >= l?
True
Let i = 10 + -5. Suppose 0 = q - p, 7 = -5*q - i*p - 3. Let k be (q - 2)*(-8)/(-60). Which is smaller: 1 or k?
k
Let l(b) = -b**2 - b - 3. Let i be l(0). Let a be 5/6*-4 - -1. Do a and i have different values?
True
Let v = -109 - -111. Do v and -1/10 have the same value?
False
Let t be 6/33 + (-357)/(-154). Suppose 4*y + y - 25 = 5*h, 4*h - 16 = -5*y. Which is bigger: t or y?
y
Suppose 3*x = -4*n + 97, 4*x = -2*n + 3*n - 29. Let p be n/14 + 6/(-4). Is 1 not equal to p?
True
Let p = -4 - -7. Let w = p + -2.7. Let y = -0.4 + w. Is -1 at least as big as y?
False
Let j be (-3)/(-2) - (-150)/12. Suppose -2 = -4*y + j. Is 2 at least y?
False
Let m(k) = -3*k**2 + 2*k + 2. Let r be m(3). Which is smaller: -21 or r?
-21
Suppose -4*h + 5*h = -5*c - 8, 0 = -4*c + 3*h + 5. Let k be 2/7 + (-44)/7. Do c and k have different values?
True
Let d = 52 - 833/16. Is d > -1?
True
Suppose 7*u - 10*u + 81 = 0. Are 27 and u non-equal?
False
Suppose 3*o + 43 = 5*y, -4*y - 4*o = -2*o - 52. Let t = y + -7. Suppose 0 = 6*m - t*m. Which is greater: -1/5 or m?
m
Let a = 49 + -145/3. Let q be (-3)/(-36)*9 - 13/(-4). Are a and q unequal?
True
Suppose 6*y + 33 = 3*y. Is y equal to -11?
True
Suppose 4*d - 81 = -r, 4*r + 2 = 3*d - 54. Let i = d - 21. Which is bigger: i or -6/17?
-6/17
Let m = 2.5 - 1.6. Let b = m - 1. Which is smaller: 1/12 or b?
b
Suppose -4*z + 2*n + 50 = 0, -2*n + 6 = -0. Let s = -29/2 + z. Is s at least as big as 0?
False
Let k = -2/263679 + -1957464995/1054716. Let w = 1861 + k. Let o = w + -19/4. Which is bigger: 0 or o?
o
Let f be (6/20*5)/(6/8). Suppose -n = -k + 2*k, 0 = 4*n + k - 9. Is f at least n?
False
Let v(d) = d**2 - 4*d - 2. Let o be v(4). Suppose 0 = 2*c - 8. Suppose -c*s + 3*i + 2 = -9*s, -4*i + 4 = 0. Which is smaller: s or o?
o
Let h(g) = -g**3 + 9*g**2 + g - 8. Let l be (4/(-5))/((-2)/25). Let n = 19 - l. Let m be h(n). Which is smaller: 1/6 or m?
1/6
Let m = -0.3 - -0.1. Let p be -6 + 3 - (-996)/290. Let s = p + -1/29. Which is bigger: s or m?
s
Let g be 7/(-6) + 4/6. Let y = 1 + g. Which is greater: -1 or y?
y
Let o = -6 - -3. Let p = -626 + 620. Which is bigger: p or o?
o
Let h be (-2)/282*(2 + -4). Let x = h - -41/423. Let m(r) = r**2 - 2*r + 1. Let j be m(2). Do j and x have different values?
True
Suppose 0*j + 2*j - 28 = 0. Let x = -9 + j. Is x at least as big as -2?
True
Suppose 0 = 2*p - 4. Let i = 29102/27 - 1078. Let g = 22/27 + i. Which is bigger: p or g?
p
Let g = 11.24 + -0.24. Let a = g + -15. Let k = 2 + a. Which is bigger: k or 3?
3
Let s = -51.41 + -11.49. Let y = 68 + s. Let n = y + -5. Is -1 at least as big as n?
False
Let k(j) = -j**2 + 6*j + 10. Let c be k(8). Let a(u) = u + 5. Let b be a(c). Are 1.6 and b non-equal?
True
Let g = -13 + 13. Which is greater: g or 3/4?
3/4
Let z = 84/13 - 394/65. Which is smaller: 1/4 or z?
1/4
Let h = -1 + -9. Let x be 2/12 - h/12. Is x not equal to 3?
True
Suppose u = -u - 3*j - 5, -u - 5*j = 20. Suppose -u*g + 9*v - 4*v = 15, 0 = 4*g - 5*v + 14. Is g greater than -3/8?
False
Let c = 25 + 39. Are 0.1 and c unequal?
True
Suppose -2*p + 0 = -4. Suppose 4*j - 3*j = p. Is j at most as big as 3?
True
Let w = 0.2 + -0.23. Let n = -25 + 26. Is n != w?
True
Let w = 22 - 34. Which is bigger: -11 or w?
-11
Let y(z) be the third derivative of -z**7/2520 + z**6/180 + z**5/20 - z**4/24 + 2*z**2. Let x(m) be the second derivative of y(m). Let h be x(6). Is h <= -6?
True
Suppose -2*m - 8 = -6*n + 4*n, m = -5*n - 4. Let u = n + -3. Which is bigger: u or 1?
1
Let g = -206/3 + 71. Let w = 756 - 4519/6. Let y = w - g. Which is smaller: y or -3?
-3
Suppose -4*j + 12 = -m + 3*m, m - 3*j + 14 = 0. Suppose 5*d - 5 = -20. Is m not equal to d?
True
Let m = 9133023/14 - 651200. Let r = m + -1158. Let z = 2/7 - r. Which is smaller: z or -1?
-1
Let v = 2306/4773 + -20/43. Which is greater: v or -1?
v
Suppose -18*f + 13*f - 105 = 0. Let m = -0.1 + 0.2. Which is smaller: f or m?
f
Let x be 1/1*1/1. Let p(v) = -24*v + 22. Let i be p(1). Does x = i?
False
Let l(x) = -x**3 + 8*x**2 + 2. Let j be -9*(0 + -1) - 1. Let r be l(j). Are r and 6/11 unequal?
True
Let i = -25/2 + 73/6. Let c = 1/3 - 7/27. Which is greater: c or i?
c
Let v(h) = 8*h + 1. Let x be v(-1). Let l = -12 - x. Suppose 4*p + 7 = -3*d, 0 = 4*d - 20 + 8. Is l smaller than p?
True
Let j = 205/4 - 51. Let c be 2/3 - (-24)/(-9). Which is smaller: c or j?
c
Suppose 4*c = 2*c. Which is smaller: c or 8/9?
c
Let k = 1 + 2. Let p be 2/(-1) + k/2. Let s be (-1 + 0)/(1/(-2)). Is p <= s?
True
Let d = 28.969 - -0.031. Let i = -29.6 + d. Let w = -0.1 + 0.1. Do i and w have different values?
True
Suppose 0 = 5*y - 2*y - 2*i + 10, -25 = -4*y - 5*i. Let z = -1 + y. Is z smaller than 2/27?
True
Suppose 3*m = -15 - 3. Let q(s) = -4*s**2 + 2*s - 2. Let h be q(1). Is h at most m?
False
Suppose i = u + 2*i, -2 = 3*u + 2*i. Let c = 1488/5 + -300. Is c <= u?
True
Suppose 0 = -2*c - c. Suppose -2*o + c*o = 0. Suppose 2*i + i = o. Is i bigger than 0?
False
Let u be ((-516)/(-88))/1 - (-1)/2. Are u and 6 nonequal?
True
Let a = 1/536 + 1035/19832. Which is smaller: 1 or a?
a
Let b = -32 + 40. Is -0.2 smaller than b?
True
Let i(w) = w**2 + 11*w - 2. Let p be i(-11). Let g be (-88)/(-12) + p/(-3). Is g smaller than 8?
False
Suppose -5 = 2*u - 3. Is u bigger than -2/15?
False
Let o = 3 + -1. Let s = o + -10. Let i = s - -7. Is i smaller than 2/3?
True
Suppose -23 = 3*s - 5*x, -2*s - 3*s - 3*x = -7. Is -1/12 at most as big as s?
False
Suppose 15 + 7 = -5*z - 3*h, -2*z - 2*h = 12. Let r be 2/(-8) + z/(-4). Is -1 at most r?
True
Let p = 0 + 7. Suppose 0 = -u - t - p, -4*u = -0*t + t + 13. Let h be (0 - -2)*1/u. Which is smaller: h or 1/5?
h
Let q = 3 + -2. Let r = -1.2 + 1.14. Which is smaller: q or r?
r
Let w = 20 + -22. Which is smaller: -9/10 or w?
w
Let p = 3 + -2.8. Let z = p - 0.7. Let g = -1.5 + z. Which is smaller: g or -1/4?
g
Let t = 62 + -249/4. Let g(n) = -n**2 + 7*n - 5. Suppose -4*p - 2*y = -2*p - 4, 5*y = 3*p - 38. Let u be g(p). Is t <= u?
True
Let n be 77/45 + 51/(-85). Which is smaller: 0 or n?
0
Let a = 4.3 + 0.7. Let c = 5.05 - a. Let j = 0.05 - c. Which is bigger: j or 1?
1
Suppose 4*u + 13 + 31 = 0. Which is smaller: -12 or u?
-12
Suppose -1 + 5 = 4*b + x, 2*b - x + 4 = 0. Let o(g) = -6*g + 3. Let h be o(2). Let a be -2 + b*(-3)/h. Is -3 > a?
False
Let d = 2 - -1. Let j be 2 + d + 8/(-2). Is 3/11 greater than or equal to j?
False
Suppose -c - 11 = 5. Let w = 7 - c. Let t = w - 45/2. Which is smaller: 0 or t?
0
Let m = 32 - 18. Let i = -4 - -12. Let g = i - m. Is g smaller than -0.1?
True
Suppose 0 = -2*g + 4 - 0. Let a(w) = 2*w - 6. Let m be a(4). Are g and m nonequal?
False
Suppose -2*x - 2*x + 4*o + 28 = 0, -5*x - 4*o = -35. Let s = -10 + x. Which is smaller: s or -2?
s
Let l = 31 - 60. Let a = -59/2 - l. Are 0 and a unequal?
True
Let q = 0.6 + -0.4. Let z = q - 0.2. Let p = z + 0.2. Which is smaller: p or 1/2?
p
Suppose 0 = 5*m - 5. Suppose 0 = c - 1 - m. Let i be (c/6)/(2/3). Is i smaller than 5?
True
Let h = -5 - -6. Let i = -10 - -9.6. Which is bigger: h or i?
h
Let r(i) = i**2 + 9*i + 4. Let p be r(-9). Let f = p + -2. Let t(y) = y + 9. Let g be t(-8). Whic