r: 1 or q?
q
Let i = 0 - -0.2. Suppose -4*d = 4*h - 41 - 19, 0 = -4*h + 2*d + 30. Suppose -o - 4*o = -h. Which is smaller: i or o?
i
Let l(f) = 20*f + 41. Let j(u) = 7*u + 14. Let x(q) = -17*j(q) + 6*l(q). Let g = -18 + 9. Let o be x(g). Which is greater: -2/19 or o?
-2/19
Let t be 1/3*(8 - 14). Let m be (-26)/(-10) - 2/(-5). Suppose 3*p = -6 - m. Which is smaller: p or t?
p
Let n = 2/69 + -257/138. Is n bigger than -1?
False
Let p be -3 + 2 + 0 + 1. Is -5/7 not equal to p?
True
Let u = 8.086 + -0.086. Which is smaller: u or 6?
6
Let b = -6 + 10. Suppose 0 = v + 4, b*v - 2*v - 4 = 4*u. Let d(o) = 2*o + 4. Let i be d(-4). Which is smaller: i or u?
i
Let f = 1.08 - 0.11. Let u = -1 + f. Do u and -1 have different values?
True
Suppose 0 = -4*c + 5*n + 7, c - 3*n - 5 = -5*n. Let j(m) = -c + 0 - 2*m + m. Let a be j(-4). Is a > 1?
False
Let o = 0.9 - -0.1. Let s = o - 0.8. Is -2/5 less than or equal to s?
True
Let k = -1.8 - -4.8. Are -2 and k equal?
False
Let j = -16 + 13. Which is greater: -30/11 or j?
-30/11
Let l(s) = s**3 + 5*s**2. Let r be l(-5). Which is smaller: r or -3/4?
-3/4
Let y = 0.027 - -0.863. Let q = y + 0.11. Let g(v) = v + 6. Let z be g(-6). Which is greater: q or z?
q
Let p = 6 + 1. Let m be (p + -3)/(2 + -3). Let l be 0*(2/m)/(-1). Is l at most as big as 1?
True
Let p(x) = -22*x - 42. Let q be p(-2). Let v(m) = -m + 7. Let w be v(5). Is w not equal to q?
False
Let u be (24/(-8) - -2)/(1 - 2). Which is smaller: -1/44 or u?
-1/44
Let j = 44 + -40. Is 1 less than j?
True
Let g(u) = -u**2 - 11*u - 3. Let h be g(-10). Suppose -6*z + h*z = 0. Is 0 at least z?
True
Let z be ((-2)/(-6))/(2/12). Suppose 7 = 2*c - 43. Suppose 15 = 4*v + 3*l, -v = -5*v + 5*l - c. Is z > v?
True
Let p = 61.97 - 62. Is -0.03 < p?
False
Suppose 0 = 3*g, 0 = -2*i + g - 1 - 1. Let h be (-3)/1 - (-17)/6. Are h and i equal?
False
Let s be -1 + (-28)/(-7 - -3). Which is smaller: s or 5?
5
Let y be 2 + (-4)/(-2) + -1. Suppose i - k = -2*k, -4*i - k = -y. Let z = -24 + 49/2. Which is smaller: z or i?
z
Suppose -6 = 2*t - 4*t. Let a be t - 2/(-3 + 1). Is 0.1 at least as big as a?
False
Let z be (-1)/(-3)*(164/158 + -1). Which is bigger: -1 or z?
z
Let x = 386 - 387. Suppose -2*y + 2*h - 40 = 0, -2*y - 6*h + h - 26 = 0. Let b be (-3)/44*(-16)/y. Which is bigger: b or x?
b
Let a(m) = m**2 - 7*m. Let d be a(7). Do -5/4 and d have the same value?
False
Let b(j) be the first derivative of -j**2/2 - 3. Let y be b(1). Let t = y + 3. Are 2 and t non-equal?
False
Suppose 0 = s - 4*s + 4*j - 10, 4*s - j = -9. Do s and 0 have different values?
True
Let o be (3 - (-3)/(-6))/2. Does o = 1?
False
Let k be (-4)/(-6)*(-3)/(-13). Let w(m) = -m**3 + 2*m**2 + 6*m - 6. Let n be w(4). Let a be 4/(-18) - n/(-18). Is k greater than a?
True
Let c be (28/35)/((-154)/(-1160)). Let l = c - 46/7. Which is smaller: l or -1?
-1
Let x(i) = 2*i**2 - 1. Let d be x(1). Let c be (-1)/1*(-3)/d. Suppose -y - c*y = 8. Is y at least -3?
True
Suppose 2*l + 2 = -2*i + 34, 2*i - 70 = -4*l. Which is smaller: l or 21?
l
Let k = 23/7 - -55/28. Let a = k + -65/12. Are 0 and a nonequal?
True
Let w(a) = -a**2 + a. Let u be w(0). Which is smaller: u or 1/19?
u
Let j(p) = -p**3 - 9*p**2 - p - 6. Let u be j(-9). Suppose u*n = 5*n + 16. Which is smaller: n or -9?
-9
Let h(r) = -4*r**3 + 2*r**2 + r. Let s be h(-1). Suppose -3*k - 2*k - s = 0. Let b = -11 - -11. Are b and k unequal?
True
Let i = 4 + 0. Let l(g) = g**2 + 8*g - 4. Let b = 23 - 32. Let q be l(b). Is q at least i?
True
Suppose 0 = -y + 2 - 5. Let f = -4 - y. Are f and -1 equal?
True
Let l = -9 - -5. Let u(c) = c**3 + 5*c**2 + 5*c + 2. Let a be u(l). Which is smaller: -5/2 or a?
-5/2
Let a = 16.65 - 0.65. Is a >= 0?
True
Let x = 14 + -14. Let j = 0.1 + -1.1. Let t = j - 0. Is x >= t?
True
Let t = 3.7 - 4. Let w = 0.1 + -0.3. Let o = t - w. Is 0 bigger than o?
True
Let y be ((-1)/(14 + -1))/1. Are 0.1 and y non-equal?
True
Let n(x) = -x**3 - x**2 + 5*x + 1. Let q be n(-3). Is q bigger than 4?
False
Let p = 33 - 36. Which is bigger: p or -5?
p
Let f be 5 + (-780)/(-35) - (-2)/(-7). Is f greater than 24?
True
Suppose -z - 4*z + k - 9 = 0, 3*z + 3 = 3*k. Which is bigger: -6 or z?
z
Suppose 5*y + 0*z + 6 = z, -2*z = 8. Let d be (3 - 1)/(5 - -2). Which is smaller: y or d?
y
Let d(b) = 3*b - 1. Let w be d(1). Let a = w - -5. Do 7 and a have different values?
False
Let h = -29976/13 - -2307. Let d = h + 1/78. Is 2 at least d?
True
Let h be 3/2*(-16)/(-24). Are h and 8/11 equal?
False
Let v(c) = -c - 5. Let h(o) = o**3 + 4*o**2 - 5*o + 2. Let a be h(-5). Suppose u = -a*u - 15. Let w be v(u). Which is smaller: w or 2?
w
Let x = 0.07 + 1.23. Let m = -1.5 + x. Is m > -2?
True
Let m be 6/9*54/8. Let u = -7 + 2. Let x = u + m. Which is smaller: -0.1 or x?
x
Let o(q) = q - 3. Let y be o(0). Let u(l) = -3 + 2*l**2 - l**2 - 2*l**2 - 4*l. Let g be u(y). Which is smaller: -2/13 or g?
-2/13
Let u(p) = -p**3 + 3*p**2 - p + 1. Let g be u(2). Suppose 6*l - 3 = g*l. Let t = 243/4 - 61. Is l smaller than t?
False
Let u = -56 - -18. Is -38 smaller than u?
False
Let f(i) = 6*i**2 + i. Let o be f(-1). Let p = -4 + o. Let k(h) = -h + 11. Let u be k(8). Which is smaller: p or u?
p
Let t be (-3)/(-6)*1*2. Let m(o) = o**3 + 10*o**2 + 9*o + 3. Let g be m(-9). Let z be 2 - g*15/24. Which is smaller: t or z?
z
Let h = -40 + 40. Let y(a) = -a + 6. Let t be y(5). Suppose 2*n + t + 1 = h. Is -6/7 greater than or equal to n?
True
Let i be 0*(1 - (-3)/(-6)). Let f be 2 - 0 - (-2 - -1). Let g be -1 + 1 + f/9. Which is greater: g or i?
g
Let k be ((2 - 2) + 0)/(-2). Suppose 4*g + k*g = 0. Let q = g - 0. Is q greater than -0.2?
True
Suppose 0 = 4*w - 8*w + 28. Let h = 29 + -47. Let o = h + 26. Is o less than w?
False
Let t(r) = -r**2 - 9*r + 11. Let q be t(-10). Let a be (12 - 2)/(q - -1). Suppose 5 + 10 = 3*n - 3*y, a*n = 2*y + 10. Which is smaller: n or -3/8?
-3/8
Let p = 0 - 0. Is p smaller than 1/22?
True
Let a be 18/5 - 12/20. Let f be a + (-4)/2*2. Which is greater: f or 2/29?
2/29
Let t = 5 - 5.1. Let l(p) = -p + 12. Let o be l(7). Is t != o?
True
Let g be 0*(-3)/6*-2. Let b = g - -2. Suppose 5*h + q = 9, 1 = b*h - 2*q - 5. Does 2 = h?
True
Let r be (5 + -2)*(-2 - -3). Suppose 0 = -2*h + r*h. Let g be ((-25)/(-2))/(-5) - -3. Do g and h have the same value?
False
Let u be -1 - -1 - (-12)/10. Let i = -34 + 20. Let x be 6/(-27) - i/63. Is u less than or equal to x?
False
Let i be 1/((-10)/(-4))*-5. Suppose -3*c - 10 = -f, 0 = 3*c - 7*c + 2*f - 14. Is i greater than or equal to c?
True
Let k = -1002644/637 + 1574. Let c = -8/49 - k. Suppose 0 = -5*f + 5. Which is smaller: f or c?
c
Let z = 627 - 1061. Let l = z - -2177/5. Which is bigger: 2 or l?
2
Let r(u) = 12*u**2 - u + 1. Let s be r(1). Let f be s/3*(-2)/(-316). Which is greater: 0 or f?
f
Let r = 13 - 16. Which is smaller: r or -6?
-6
Let h = 6.7 + -0.7. Let s be 8/(-16)*(1 + -3). Which is bigger: h or s?
h
Let p(w) = 3 + 8*w - 9*w + 2*w + 0*w. Let b be p(7). Which is bigger: 11 or b?
11
Let m = 97.3 - 92. Let d = m + -5. Which is bigger: -2 or d?
d
Let q = 2 + -2.2. Let a = -2 - 2. Let x = -3 - a. Which is bigger: q or x?
x
Suppose 3*d + 4 = u, u + 0 = 1. Which is smaller: d or 2/21?
d
Let p(z) = z**3 + 2 - 5 + 6 + z**2. Let x be p(0). Let o = 0 - -1. Is o smaller than x?
True
Let h(i) be the first derivative of -i**3/3 - 4*i**2 - 11*i + 4. Let r be h(-7). Is r greater than or equal to 0?
False
Let r = -1093 - -4351/4. Which is smaller: -6 or r?
-6
Let u = -0.1 - -2.1. Let d be (35 - -1)/(-1) - 0. Let v be d/(-135) - 4/(-10). Is u smaller than v?
False
Let x be (-1)/(-7) - 1/7*-13. Which is greater: x or 33?
33
Let b be (1 - 0)*-2*-2. Let n be (-204)/(-18) - 2/6. Suppose 15 = n*c - 8*c. Which is bigger: b or c?
c
Let a = 0.5 + -2.5. Let c = a + 1.9. Let j = -4.1 - c. Which is greater: j or 0?
0
Let i(r) = r**2 + 4*r - 4. Let s be i(-5). Let b(g) = -g**2 - 7*g - 6. Let k be b(-5). Suppose k*o = 2*o + 4. Is o < s?
False
Let k = 265 - 1583/6. Which is smaller: k or 0.3?
0.3
Let m = 0.19 - 0.09. Which is smaller: -0.03 or m?
-0.03
Let x be (-13)/(-12) + (-2)/(-8). Which is smaller: x or 1?
1
Let k = 419/6 + -70. Is -2 less than k?
True
Let u(d) = 5*d**3 + 8*d**2 - 6*d + 11. Let g(v) = -v**3 - v**2 + v - 1. Let j(s) = -4*g(s) - u(s). Let m b