be (v + (-4 - -3))/(-2). Which is bigger: q or -4/7?
-4/7
Let h be (8/(-20))/(1992/(-710)). Let y = h - -2/83. Are 1 and y non-equal?
True
Let q(r) = r**3 - 8*r**2 - 15*r + 20. Let f be q(9). Are f and -35 non-equal?
True
Let i be ((-1)/(-3) - 0)/((-3)/(-9)). Is -1/68 at least i?
False
Let u(c) = 2*c - 5*c + 7 + c - 4. Let p be u(3). Is -9/4 at least p?
True
Let i = -17 + 17. Which is smaller: -1/21 or i?
-1/21
Let f = -246 - -2463/10. Is -0.4 >= f?
False
Let z = -73 + 514/7. Let d = -0.88 + 0.68. Is d less than z?
True
Let c(h) = h**3 + 9*h**2 + 5*h - 11. Let b be c(-8). Let r = b - 8. Let j(p) = p**3 + 7*p**2 + 4*p - 6. Let o be j(-6). Which is greater: o or r?
o
Let k be (-228)/15 + (-1)/(-5). Let l be (-4757)/k - (-1)/(-3). Let t = l - 315. Which is smaller: t or 2?
t
Suppose 0 = 3*k + 10 - 1. Let b be (-1)/1*(2 + k). Which is smaller: b or 0?
0
Let n = -15700879430593/1937 + 8105771345. Let l = 2250/13 + n. Let h = -495/1192 - l. Which is smaller: h or 1?
h
Let d(v) = -3*v - 11. Let r be d(-6). Which is smaller: r or 5?
5
Let p = -276.9 + 263. Let m = p - -14. Which is smaller: 8 or m?
m
Let q(m) = m**3 - m**2 - 4*m + 1. Let r be q(3). Is r at least 7?
True
Let c be (-52)/(-91) - 142/224. Let l be 1*(-3)/9*3. Which is smaller: l or c?
l
Let l(z) = -2*z**2 - 2*z + 2. Let c be l(-2). Let s = -49 - -48. Which is greater: s or c?
s
Let i be (-8)/72 + (-2)/(-6). Which is bigger: 5 or i?
5
Suppose -4*b + 5 + 3 = 0. Suppose 2*m - 2 = 0, 2*n + 2*n = -4*m. Which is greater: n or b?
b
Let d(j) = j - 8. Let u be d(4). Let t = -293/24 + 71/8. Is t greater than u?
True
Suppose 0 = -4*r + r + 33. Let f(i) = -i**3 + 11*i**2 + i - 14. Let n be f(r). Let j be 3/(-12) + n + 3. Are j and 1 unequal?
True
Suppose -2*k - k - 15 = 3*s, 0 = 4*k + 12. Let u = 21288/29 + -734. Let t = u + -33/58. Is t at least s?
True
Let k = 1 + 3. Suppose v + 4*g = -2*v - 8, k*v = 2*g - 40. Which is smaller: v or -7?
v
Let q be (-16)/6 - -3 - (-3)/(-9). Is q <= -6/11?
False
Let g be (5 + -3)*(-1)/(-2). Which is bigger: g or 2/3?
g
Let v be (2 + 2 + -2)*9/(-12). Are v and 0 unequal?
True
Let k = 48 + -48. Do 6/19 and k have the same value?
False
Let m(t) = t**3 - 7*t**2 + t - 8. Let c be m(7). Let p = 1 - c. Let l be p*3/18*3. Is l < 1?
False
Let z(u) be the third derivative of u**5/60 - u**4/24 - u**3/6 - 6*u**2. Suppose h = 2*h - 5*c + 27, 3*h - 3*c = -21. Let i be z(h). Which is bigger: i or 4?
i
Let n be 2*-1*(-80)/32. Is 3/4 less than n?
True
Let s be 0 + (2 - 1/1). Suppose s - 3 = y. Let k = 3 + y. Which is bigger: k or 0?
k
Let v(t) = -t**2 + 5*t + 12. Let p be v(7). Do p and -5 have different values?
True
Let b = 40 + -40. Which is bigger: -10/13 or b?
b
Let v(g) be the second derivative of g**3/3 + 7*g**2 + 6*g. Let p be v(-6). Let i(o) = o + 1. Let z be i(2). Is p <= z?
True
Let m = -3614 - -18159/5. Let d = -18 + m. Which is bigger: 0 or d?
0
Let x be (-5)/(-20) + 34/24. Let u = 4 + -2. Which is smaller: x or u?
x
Let r be ((-20)/4 + 4)/(-3). Is r less than -1?
False
Let b be (-1 + 4/2)*5. Suppose t + b = 2*o, 3*o - 15 = -3*t - o. Suppose 0 = -3*x + z + t, x - z = 4 - 3. Which is smaller: x or 2/5?
x
Suppose -5*l - 5*s = -2*s + 7, 0 = -4*l - 5*s - 16. Let g = -1 - l. Which is bigger: g or 0.1?
0.1
Suppose 5*y + 0*y = -25. Is -15/4 >= y?
True
Suppose 4*t + 5*v + 15 = -2, 5*v - 23 = t. Let u = -5 + 9. Let z be 4*2/u + -9. Which is bigger: t or z?
z
Let t = 0.9 - 1. Let i = 0.2 + t. Let c = i + -0.1. Which is greater: c or -0.1?
c
Let m = -13/414 + 2/23. Is m greater than -1?
True
Let g be 6 + 11/(11/(-2)). Which is bigger: 40/11 or g?
g
Suppose -4*y = -132 + 20. Let t be y/(-16) + -1 - -3. Let n = 0.1 - 0.2. Which is greater: n or t?
t
Suppose 0 = -5*f + 3*f + 12. Suppose -3*c - f = -0. Which is greater: c or -9?
c
Suppose -5*c + 4*y - 16 = 0, 7*c = 4*c - 4*y - 16. Suppose -2*m + 42 = 5*g + 6, 0 = 4*m - g - 28. Let t be m/(-20) + (-39)/15. Which is bigger: c or t?
t
Let l be 74/4 + 2/4. Suppose 54 = 5*t + l. Suppose t*d - 2*d = -15. Do -2 and d have different values?
True
Let s = -1.3 - -0.3. Let y = -9 + 9. Let x = s - y. Is 1 not equal to x?
True
Let q be -1*2 - -3 - -2. Suppose -q*d - 15 = 0, 6*t - 2*t = -3*d - 23. Let v = -19.1 + 18.6. Which is smaller: v or t?
t
Suppose 2*m + 3*m + 3*o + 155 = 0, 0 = -4*o - 20. Is m <= -25?
True
Let g be 1/((-2 - -3)*1). Let v = 6/91 + 1/13. Which is smaller: g or v?
v
Let w(b) = -b**2 - 3*b + 3. Let t be w(-4). Let r = t + 0. Is r at least as big as -1?
True
Suppose 16*p = -33 - 47. Which is greater: -16/3 or p?
p
Let g = 328/3 + -667/6. Is -2 less than g?
True
Let a = 364/99 + -38/11. Suppose -4*x = -0*x + 8. Let t be (-3)/x*(-2)/(-3). Is t greater than a?
True
Let o be -2 + 6*-1 - 0. Let z(h) = -7*h + 3*h**2 - 4 - 4*h**2 + 11. Let k be z(o). Which is smaller: k or -2?
-2
Suppose -4*v - 2 = -2*p + 4, 6 = -3*v. Let n be -10 + 1 - (1 + p). Do n and -8 have different values?
True
Let i be (-2)/(-4) + 1/2. Is i at most as big as -1/50?
False
Suppose 4*b = o, -3*o = -4*b + o + 12. Which is smaller: b or -2?
-2
Let k = 0.6 + 0.4. Let d = 1 - k. Let g = -0.1 + d. Which is bigger: g or 0.1?
0.1
Let p be -4*4*(-9)/(-12). Let x be 2/(-8) - (-33)/p. Let g(u) = -u**2 - 5*u + 2. Let k be g(-6). Which is smaller: x or k?
k
Let b be (-11 - -8) + (-11)/(-3). Is 2 at most as big as b?
False
Let l = -173 - -154. Which is greater: 2/13 or l?
2/13
Let v = -246 + 256.9. Let q = -0.1 - v. Let f = -10 - q. Is f equal to 6?
False
Suppose 3*u - u = -12. Let b = u - -4. Let m be b/(4*(-2)/4). Is 1/10 > m?
False
Let z be 2/3*((-648)/66)/(-4). Which is bigger: 1/4 or z?
z
Suppose -3*o - 6 = 3*s, 3*o - 5*s = -0 - 6. Which is smaller: -36/11 or o?
-36/11
Let u(v) = 2*v**2 + 4*v - 1. Let r be u(-3). Let t(b) = -b - 5. Let k be t(r). Let o be 20/8*(-2)/k. Is 1/3 != o?
True
Let d = 11 + -5. Suppose -4*w - d = -w - 2*z, 0 = 3*w - 5*z + 15. Is w less than or equal to -2/19?
False
Let u = 0.1 + 0.3. Let k = u + -0.5. Let z = 0.3 + -0.4. Is z less than or equal to k?
True
Let g = -27.1 + 27. Which is smaller: g or -15?
-15
Suppose 4*y + 28 = -2*o, 3*o + 18 = 6. Is y greater than or equal to -4?
False
Let v be ((-10)/(-30))/((-2)/(-108)). Suppose -6 + v = -4*l. Is 0.2 != l?
True
Let k be 4/6 - (-8)/6. Let c be 1 - k - -9 - 2. Is c smaller than 6?
False
Suppose -3*s + 0*s - 3 = 0. Let u be ((-6)/2)/15*s. Let g = -3 + 4. Which is smaller: u or g?
u
Suppose q - 4 = 3*j, 4*q - 2*j = 2*j + 56. Suppose -b = 3*r - 20, 1 = -b - r + q. Which is greater: 16 or b?
b
Let u = 4.06 + -4. Let i = u + -3.06. Are i and 2/7 non-equal?
True
Let p = -6 + 6.08. Let b = -0.18 + p. Which is bigger: -1/9 or b?
b
Let j = 77 - 76. Which is bigger: -1/13 or j?
j
Let s(i) = 2*i - 16. Let o be s(11). Let l be 4/(-6)*(-42)/4. Which is smaller: l or o?
o
Let c be 4/(-2) - (2 - 10). Let z be (-14)/c + 2/6. Suppose 0 = -0*t - t - 3. Is z at least t?
True
Let w = -21 + 3. Let x be -2 + (w/4)/(-3). Which is greater: -1 or x?
x
Let y = 0.449 - -0.051. Which is smaller: 0 or y?
0
Let y = -1066/11 + 97. Let w = -33.13 - -33. Let d = -0.23 - w. Is y at least as big as d?
True
Let c = -7 - -10. Suppose c*a - 4 = -1. Which is smaller: a or -2/9?
-2/9
Suppose 0 = -5*v + g - 25 - 3, -5*g = -3*v - 30. Let z = 5 + -9. Let j = v - z. Which is bigger: j or 1?
1
Let u = 1.2 + -0.2. Let n = 0.8 - u. Let r = n - 0.8. Is 7 at most r?
False
Let i = -0.097 - 4.803. Let x = i + -0.1. Which is smaller: x or -0.1?
x
Let j be 8*(1 + (-9)/6). Let w be (-6)/j*(-4)/6. Which is smaller: w or 1/3?
w
Let o(t) = -t**2 - 7*t + 10. Suppose 2*i + g + 3*g = 0, -32 = 5*i + 2*g. Let r be o(i). Suppose -r*f + 6 = -2*q, 2*q = -3*q - 25. Are -5 and f nonequal?
True
Suppose 2*o + 2 = -0*o. Which is greater: o or -1/11?
-1/11
Let d(h) = 5*h**3 + 2*h**2 - 4*h - 2. Let m be d(-2). Which is greater: m or -28?
m
Let g = 5 - 1. Let m be 1/4 - (-11)/g. Let n(f) = f - 6. Let l be n(10). Is l equal to m?
False
Suppose -6 = -2*b - 4*n + 50, 5*n - 83 = -3*b. Let f = b + -20. Are f and 5 unequal?
True
Let o(b) = b**3 - 4*b**2 + 2*b + 4. Let p be o(3). Let q be (-12)/(-99)*6/(-4). Which is smaller: q or p?
q
Let h(f) = -2*f**3 - 2*f**2 + 2*f. Suppose -s + 14 = 4*o, s - 2 = -2*o + 4. Let g be h(s). Suppose 3*j + g*d + 14 = 0, -2*j - d + 0*d = 6. Are