o. Let q be ((-9)/6)/((-9)/o). Which is greater: q or 3?
q
Suppose -5*y - 2 = -22. Which is bigger: -4 or y?
y
Let j = -18 + 9. Let h be 43/(-21) + (-3)/j. Which is smaller: h or -2?
-2
Let r = 2.9 + -1.9. Is -0.07 greater than r?
False
Let a be 4/6*(-3)/(-2). Suppose -w - 1 = t, -t - 4 - a = 2*w. Let d be 4/12*(-24)/(-2). Which is smaller: t or d?
t
Let t = 23 + -24. Which is greater: 15 or t?
15
Let m = 2/115 - 583/460. Let j = m - -1. Is j less than or equal to 2?
True
Let t be -4*((-13)/6 - -2). Let p = 0.2 + -1.2. Is t greater than or equal to p?
True
Suppose -5 = 2*h + 7. Is 1 greater than h?
True
Let s(z) = -z**2 + 4*z - 2. Let b be s(4). Let n = 2 + 1. Suppose 1 = -c + 2*a, c + c + n*a = -2. Which is smaller: c or b?
b
Suppose -2*p = 3*p. Let o be -4*1 - (-1 + p). Which is smaller: -2 or o?
o
Suppose -c + 55 = 13. Let s be (-2)/4 + c/12. Let g(t) = t + 1. Let z be g(3). Which is smaller: z or s?
s
Let n = 2233/3648 - 34/57. Which is smaller: n or -1?
-1
Let w(o) = 4*o**2 - 1. Let k be w(-1). Suppose m = 2*m - 7. Suppose 2*q = -1 + m. Is k bigger than q?
False
Let l(i) = i - 6. Let f be l(5). Let t be ((1 + 1)/(-1))/f. Let z be (t - (-5)/(-2))*2. Is z at least as big as 0?
False
Let d(t) = -107*t**3 + 2*t**2 + 2*t + 1. Let q be d(-1). Suppose q = -5*u + 3*u. Let s be (-8)/u*12 + -2. Which is smaller: s or 1?
s
Suppose -10 = -3*k + 3*x + 8, -11 = 4*k + 3*x. Is 0 at least k?
False
Let f = 8/23 - 70/69. Which is bigger: 0 or f?
0
Let q(f) = -6*f. Let b be q(1). Let i be (-4)/b*9/6. Which is smaller: 1/9 or i?
1/9
Suppose -5*b - 8 + 23 = 0. Let w = 6 - b. Suppose -22 = -3*v + 5*y + 3, 15 = -w*y. Are v and -2 unequal?
True
Let c = 4 - 12. Let x be 1/36 - (-2)/c. Is -1 equal to x?
False
Let w(r) = -r**3 - 6*r**2 - 3*r + 3. Let f be w(-5). Let n(t) = t + 5. Let g be n(f). Are g and -2 unequal?
False
Let i = -0.06 + 0.16. Let k = i + 0. Which is bigger: k or 0.2?
0.2
Let x = 14 - 8. Suppose -2*l = l - 2*z + x, -5*l + z = 3. Suppose l*i = -3*i. Are 2/7 and i non-equal?
True
Let c = 2 - 1. Let u be (-2)/(-7) + (-3)/7. Is c smaller than u?
False
Suppose 2*x = -q - 11, 0 = 2*q - 3*x + 5*x + 12. Let y = -1 - q. Let g(m) = m**3 - 4*m**2 + 7*m - 11. Let c be g(3). Which is smaller: c or y?
y
Let s = -4 + 3. Suppose -5*t - 1 = -6*t. Is s greater than or equal to t?
False
Let f be ((-20)/6)/(12/18). Let j = 6 + f. Which is bigger: j or 2/13?
j
Suppose -z - 3 = -3*f, -3*f = -5*z - 1 - 2. Let s = -2 + 1. Let i be -2*(s - (-1)/2). Is i <= f?
True
Let j be 4/6*-6 + 6. Is j smaller than 1?
False
Let d = -1 - -2. Let i(r) = r - 3 + d - 2. Let w be i(5). Is -1/4 less than w?
True
Let m(i) = i**2 + 5*i + 2. Suppose 0*r - 6 = 2*r. Let k be m(r). Which is greater: -3 or k?
-3
Let q = 16 + -26. Let c be 14/q - 6/(-15). Is 0 smaller than c?
False
Suppose -2*u = -0*u - 368. Let z = 1291/7 - u. Is 1 less than or equal to z?
False
Let d = 33 + -18. Suppose 5*v + 19 = t, 0 = 4*v + 1 + d. Which is smaller: 2/7 or t?
t
Let w(s) = s**3. Let u be w(-1). Let b = 3.1 - 3.1. Which is bigger: b or u?
b
Let w be -2*1*1/3. Let g = 32 + -34. Which is smaller: w or g?
g
Let a = -22 - -23. Suppose -4*f - 8 = -4*k, -5*f = k - 1 + 5. Which is smaller: f or a?
f
Let d = 2.9 + -11.9. Is 0 greater than d?
True
Let j = -18.63 + -0.37. Let t = -28 - j. Let v = -9.1 - t. Is v at least -3/5?
True
Let j(d) = d**2 + 22*d + 39. Let g be j(-20). Suppose 1 = 4*s + 9. Which is smaller: g or s?
s
Let j(u) = u**3 - 5*u**2 - u + 5. Let z be j(5). Which is bigger: z or 1/5?
1/5
Let h(y) be the first derivative of -y**2/2 + 3*y - 1. Let b be h(3). Which is greater: 3/5 or b?
3/5
Let b = 21 + -29. Let s = b - -9.3. Which is smaller: s or 1?
1
Let s(r) = r - 1. Let g be s(-3). Which is bigger: g or -1?
-1
Let j = -144 - -145. Suppose 0 = u - 5*u + 20. Suppose 3*a - 16 = -5*c, -u*c + 3*c + 2*a = 0. Do j and c have the same value?
False
Let b = 19 - 17. Suppose -b*t + 4*t + 20 = 0. Is t bigger than -10?
False
Let r = -6.04 + 6. Let z = -6.96 + r. Is 0.1 bigger than z?
True
Let o(m) = 5*m + 1. Let s(w) = -2*w. Let v(t) = 3*o(t) + 7*s(t). Let d be v(-3). Is d != -10/7?
True
Let b = 1 + -2. Suppose 1 - 23 = -2*c. Suppose 5*p = -c + 1. Is p less than or equal to b?
True
Let m = -0.1 - 0. Let t = 44.2 + -25.2. Do t and m have the same value?
False
Suppose 5*s = -7 - 8. Let c be -3 + 15/6 + 15. Let h = c - 16. Which is bigger: h or s?
h
Let t = -3.04 - -2.9. Let l = 0.24 + t. Let g = 0.1 + -2.1. Is l at most g?
False
Let a be (21/(-14))/(6/(-4)). Let c = 5 + -21/5. Which is greater: a or c?
a
Let r = 10 + -7. Suppose 0 = n + 4*y + 3, 0*y = 3*n - 2*y - 5. Suppose -3*l + n = -2. Is l less than r?
True
Let n be (36/(-10))/(3/20). Let b be (-2)/n*(-4)/(-6). Let a = b + -11/36. Which is smaller: a or 1?
a
Suppose -2*x + 0*x + 12 = -4*c, -5*x + 4*c + 18 = 0. Suppose 0 = 5*b + l - 8, 3*b + x*l - 6 = l. Is -2 at most as big as b?
True
Let j = -29 - -17. Is j <= -12?
True
Suppose -5*g + 18 = -2*g + 4*q, -5*g + q + 7 = 0. Suppose v = 5*v + 5*b - 12, 0 = -g*b. Which is greater: 8/5 or v?
v
Let k be (-9)/(-6)*(-3 - -1). Which is smaller: -20/7 or k?
k
Let x be 2*-13 + -3*(3 + -2). Are x and -28 unequal?
True
Let a = -0.02 - -0.31. Let i = 0.09 - a. Let k = -0.1 - 0.9. Is k less than i?
True
Let h be (-7)/12 - (-2)/8. Let l = -1.16 - -0.16. Let p = l - -0.7. Is p smaller than h?
False
Let b = -68 - -69. Let g = 50 + -199/4. Is b equal to g?
False
Let q = -3.89 + 0.89. Which is bigger: -1.1 or q?
-1.1
Let k be (-4)/6*(-1)/(-3). Which is smaller: k or 1?
k
Suppose -x - 5 = 0, -5*g + x + 390 = 5*x. Is g less than 82?
False
Let l(g) = -2*g**2 + 5*g - 2. Let h be 2/7 - 19/(-7). Let t be l(h). Is -4 greater than or equal to t?
True
Suppose -3*z + 4 = 5*c, -5*z + 5*c - 6 = 14. Suppose 3*r - 9 = 21. Suppose 5*p = 20, 3*p = -d - d + r. Which is greater: d or z?
d
Let d = 3 + -3.2. Let g be 4/((-12)/27) - 0. Let n be 6/g*6/12. Which is smaller: d or n?
n
Let c be 7/5 + 4 + -5. Let g = 1 + -1. Which is smaller: c or g?
g
Let w(l) = -l**2 + 12*l - 15. Let d be w(10). Suppose -2*r = -4*h + 14, 0 = d*h + 3*r - 6 + 16. Let j be (-20)/16 + -2 + 3. Are h and j equal?
False
Suppose 0 = -h, 5*s = -3*h - 2*h + 10. Suppose r = s*r - 2. Which is greater: 12/5 or r?
12/5
Let l be (-6 - -8) + 21/(-12). Do 11 and l have the same value?
False
Suppose 0*l - 2*l = x - 4, -x + 4 = 0. Suppose l = d - 0*d. Are d and 0 nonequal?
False
Let m be 1/6*-2*21. Which is greater: m or -5?
-5
Let x = 0.06 - 0.04. Let f = -0.32 + x. Which is smaller: f or -2?
-2
Suppose 0 = 4*h + 16, -z - h + 6 = -6*z. Is -2 less than z?
False
Let k = 38 + -14. Let o be (2/k)/((-9)/(-18)). Does -1/3 = o?
False
Let t(j) be the third derivative of j**5/60 + 5*j**4/24 + j**3/6 + 3*j**2. Let x be t(-6). Let c(h) = -h + 6. Let m be c(x). Is -1 less than or equal to m?
True
Suppose 4*o - 19 = -t, -2*o - 16 = -3*o + 2*t. Suppose 2*d - 2*y = -10, -4*y + 25 = -3*d + o. Which is smaller: d or -3/5?
d
Let g be (3/(-2))/(3/(-6)). Let j be ((-10)/(-8))/(g/(-12)). Let k be (-2)/6 + j/(-6). Are k and 1/3 non-equal?
True
Let a(s) = 4*s - 3. Let n be a(2). Which is bigger: 2 or n?
n
Let p = 0 + -3. Let c = 2 - p. Let h = -0.19 - 0.01. Is h greater than c?
False
Let j be 30/3*3/6. Suppose i - 6*i - j = 0. Let q(k) = -k**3 - 2*k**2 - k. Let a be q(-2). Is i <= a?
True
Suppose -4*o = -1 - 3. Suppose 96 = -7*t + 3*t. Let a be ((-4)/t)/(1/(-2)). Is o at least a?
True
Let i = 3 - 1. Let x = 1.9 - i. Let d = 4 + -2. Do x and d have the same value?
False
Suppose 4*g + 0*g - 12 = 0. Suppose -a - g*a = 0. Which is greater: -1 or a?
a
Let v be (-6)/(-8)*12/15. Let i be 1/(1*3/9). Let b = 3 - i. Which is bigger: b or v?
v
Let a = 2 + 6. Which is smaller: 7 or a?
7
Let f(r) = -r**2 - 5*r + 3. Let g be f(-6). Let a be (-2)/g + (-2)/2. Which is smaller: 0 or a?
a
Let y = -9 - 2. Let l = 10 + y. Which is smaller: l or 0.07?
l
Suppose -2*u + u = 4*p - 22, 14 = 2*u + 2*p. Is 4 less than or equal to u?
False
Let c be (3/(3 - -9))/2. Suppose 0 = 3*t - y + 6, -4*t + 8 = 2*y + 2*y. Is t equal to c?
False
Let y be 6*((-2)/6)/1. Which is smaller: -3 or y?
-3
Suppose 0 = 3*n + 2*n - 5. Which is smaller: 1/47 or n?
1/47
Suppose -5*z + 4*q = q + 155, -48 = z - 4*q. Let v = -83/3 - z. Are 0.1 and v nonequal?
True
Let y =