q. Which is greater: q or o?
o
Let c = -3466/7 - -496. Let s = 7264 + -7263. Is c >= s?
False
Let f(h) = -2*h**2 + 14*h - 8. Let j be f(6). Which is smaller: 2.2 or j?
2.2
Let g be (26/(-5) - -1) + 6/30. Let m(l) = -l**3 - 4*l**2 - 4*l - 9. Let i be m(g). Is 6 smaller than i?
True
Let g = 3.6 - 2.4. Let n = -0.4 - -0.2. Let z = n + g. Which is bigger: -3/7 or z?
z
Suppose -2*r - 117 = -5*r. Let i = r - 38. Which is smaller: i or -12?
-12
Let j = -1413 - -1507. Which is smaller: 101 or j?
j
Let a be (132/99)/((-2)/(-1)). Which is smaller: a or -30?
-30
Suppose -3*n = -16*n - 0*n. Do -17 and n have the same value?
False
Let v = 51 - 107. Let g = -31 - v. Let m = g + -25.16. Is m at most 0?
True
Suppose -20 = 5*p - p, -w - 2*p - 6 = 0. Suppose -1 + w = 3*r. Let q be 34/(-52) + (-1)/(-2). Is r equal to q?
False
Let w = -0.101 + -34.899. Let s = w - -34. Let r = -59 - -411/7. Which is bigger: r or s?
r
Let i = 6440/11 + -586. Is 33 <= i?
False
Suppose -2*m + 69 = -5*o, -o - 2*o - 3*m - 54 = 0. Is o equal to -17?
False
Let k(o) = 2*o**3 - 5*o**2 + 4*o - 1. Let r be k(3). Suppose -6*s + r = -s. Suppose 0*y = s*y - 4. Is y at most as big as -1/13?
False
Suppose -4*s - 8 = 0, -3*r + 3*s = -8*r + 64. Let k = 22 - r. Suppose 37*j - k = 35*j. Is j less than 1?
False
Suppose -6*h = -80*h + 34040. Does h = 458?
False
Let t = 91895/52 + -1767. Which is smaller: -1 or t?
-1
Let l be 4/((-56)/74) + 2 + 3. Which is smaller: -1.4 or l?
-1.4
Let b = -235.52 + -9.48. Is -2 > b?
True
Let u be 3*11*7/231. Is u > 70/39?
False
Let f = 627 + -626. Is 31 at most as big as f?
False
Suppose 0 = 9*t - 7*t. Suppose t = -5*b - b. Let s = 9 + -11. Which is bigger: s or b?
b
Let l = 2.02 + -145.02. Let o = l + 144. Which is bigger: o or 0.21?
o
Let f be 2 - -171 - 0 - -3. Let r be 6/9 - f/282. Suppose -1 = -q, -25*c + 2*q - 2 = -23*c. Is c >= r?
False
Let a be (-230)/7*(-70)/(-10). Which is bigger: a or 1?
1
Suppose -5*o + 4 = -3*l, o - 16 = -2*o - 5*l. Suppose 5*j + o*m - 24 = 0, -4*j - 4*m = 6 - 30. Let u be 0*1/j*-1. Is 2/25 at least u?
True
Let d be 9/(-40) + (-4)/10. Let h = 116 - 117. Which is smaller: h or d?
h
Suppose -4*d - 3*t = -74, 0*d - 2*d - 3*t + 40 = 0. Let g = d + -26. Let s = -7 - g. Is 3 greater than or equal to s?
True
Suppose h - 8 = 7. Let n = h - 11. Suppose 0*s - 2*z + 66 = -n*s, -4*z - 28 = 2*s. Is s >= -15?
False
Suppose -2*c - 243 = -x, 0*x + x = -2*c - 233. Which is greater: c or -118?
-118
Suppose 0 = -d - 2*j - 4, -3*d + 2*j - 30 = -j. Let v be (-20)/d*(-4)/80*2. Which is smaller: -2 or v?
-2
Let b = -99 - -45. Let d = b - -86. Is d at least as big as 3?
True
Suppose 7*f = -f + 864. Suppose -5*r = -42 - f. Is r bigger than 30?
False
Suppose 34*m + 48 = 82. Which is smaller: m or 5/456?
5/456
Suppose 3*f + 5*z - 21 = 25, -3*f - 4*z + 47 = 0. Let w = f + -13. Suppose 4*q + 1 = t, 4*t + 0*q + 16 = -w*q. Which is bigger: 1 or t?
1
Suppose 0 = f + 4*f. Suppose -2*l - 289 = 5*b - 2*b, -b - 4*l - 113 = f. Let d = b - -463/5. Which is greater: 0 or d?
0
Let t be 5 + ((-3)/3 - 2). Suppose -4*r = -t*r - 8. Suppose 5*m - r*n + 2*n - 24 = 0, -3*n = -5*m + 21. Does 5 = m?
False
Let f = 12.055 - 12. Let l = 1.929 + -2.029. Which is greater: l or f?
f
Let v(g) = -g**3 - 6*g**2 - 4*g - 3. Let q be v(-6). Let y be (-14)/q*(-45)/(-6). Let z be 0 - ((-10)/3)/y. Which is smaller: z or -1?
-1
Let h(f) = -3*f**2 + 45*f - 77. Let k be h(22). Is k greater than or equal to -539?
True
Let a(t) = -t**3 + 8*t**2 - 10*t + 10. Suppose j = -2*w + 6 + 7, -2*j + 30 = 3*w. Suppose j = 2*d + 7. Let k be a(d). Which is greater: -2/3 or k?
-2/3
Let p = 1704989/21 + -81208. Let m(z) = -3*z - 6. Let d be m(4). Let w = d - p. Is w bigger than 1?
False
Suppose -12*h - 6 = -15*h. Suppose -11 = -h*v - 17. Which is smaller: 20 or v?
v
Let h be ((-1596)/(-444) - (3 - 1)) + -2. Which is smaller: h or 1?
h
Suppose 17 = -3*w + 8. Let a = 19 + -42. Let p = -29 - a. Which is bigger: w or p?
w
Let f be ((0 + 25)/(-5))/(-1). Suppose 11 = f*c + 16. Is c equal to -3/16?
False
Let j(a) be the first derivative of -a**4/4 + a**3 + a**2 - a - 7. Let b be j(2). Suppose -b = 5*o - 3*m, 2*o + 2*o - 8 = -m. Which is bigger: o or 0?
o
Suppose 188 = 7*t - 134. Let s = t - 47. Suppose -1 = -i - 0. Is i at least as big as s?
True
Let x(z) = -z**2. Let y(u) = 3*u**2 - 20*u + 10. Let n(o) = x(o) + y(o). Let c be n(9). Is c less than or equal to -10?
False
Let l(d) = -d + 4. Let a be l(4). Suppose a*w - 16 = 2*w. Let v(r) = 5*r + 4. Let u be v(-2). Which is smaller: w or u?
w
Suppose -3*c + 12 = -5*a + a, -15 = c + 5*a. Which is bigger: -10/41 or c?
c
Let h = -713/1820 - 3/364. Is h <= -37?
False
Let o = 1.87 + -1.8. Suppose -c - 3 = -2*c. Suppose -u = 2*u - c. Which is greater: o or u?
u
Let s = -23.9 - -47.1. Let m = s + -23. Which is bigger: -0.02 or m?
m
Suppose 518 = 5*u - v, 60*u = 56*u - 4*v + 400. Which is greater: u or 104?
104
Suppose -8*y = -3*y + 25, 4*y = 5*w + 75. Let z = w + 39. Suppose 2*t + 2*t + z = 0. Is 1 > t?
True
Let h be (2/(-4))/((-340)/24 + 14). Is 3 less than or equal to h?
True
Let v(i) = -i**2 - 4*i + 2. Let p be v(-4). Let y be (-2)/19*(-3 + p). Let s = y - 101/57. Are -2 and s non-equal?
True
Let l = -53 + 53.31. Let s = -0.35 + l. Which is bigger: 4 or s?
4
Let p be (-162)/(16/(-38)*1/(-3)). Let i = -1146 - p. Which is smaller: i or 8?
8
Let p(b) = b**2 + 7*b + 1. Let y be p(-3). Let c = 128 + -138. Which is bigger: c or y?
c
Let n be (-25)/5*(-108)/10. Let z be (n/(-135))/(7/5). Is z greater than -0.7?
True
Suppose y + 2*u - 2 = 0, 2*y - 3*u - 15 = -y. Suppose a - 4*c + 2*c + 38 = 0, -4*a - 92 = y*c. Is -28 > a?
False
Let g = -0.78 - 59.22. Let s = g - -63.5. Is 1 less than s?
True
Let a be 3 + 1 - (-545565)/1092. Let n = -6434/13 + a. Let y = n + -66/7. Which is smaller: -2 or y?
-2
Let w = -6 + 4. Let t = 111/7 + -576/35. Is t at most w?
False
Let k = 9.77 - 33.22. Let l = 29.6 + k. Let i = 0.15 - l. Is 1 at least i?
True
Let k be (2 - 18/8)/(8/(-32)). Let n = 367/200 - 24/25. Which is bigger: n or k?
k
Suppose 0 = 23*a - 9*a + 14. Is a > -29?
True
Let b be ((-2)/10)/(48/(-15)). Let q be (5/(-10))/(2/16). Let u(s) = -s**2 - 5*s - 3. Let a be u(q). Which is bigger: a or b?
a
Let z = -44 + 50. Let j be z/(-8) + 25/(-4). Which is smaller: -4 or j?
j
Let q = -3.6 - -3.7. Suppose 0*a - 3 = -a. Suppose 0 = -5*m - a*t - 1, -3*t + 5 = 3*m - 4*t. Which is bigger: m or q?
m
Let o be ((-53235)/99)/(-7) + (-2)/(-11). Let v = -90 + o. Is v bigger than -10?
False
Let r be (-286)/(-16) - 1*3/(-24). Is 18 equal to r?
True
Let i be 2 - (0 + 3 - 2). Let r = 598 - 6583/11. Is r at most i?
True
Let v(s) = 2*s - 2. Let k(q) = 3*q - 5. Let r be k(2). Let h be v(r). Is h equal to -1/2?
False
Let y be ((-3256)/(-16) + 4)/(-1). Which is greater: y or -209?
y
Let j = 351 + -190. Which is smaller: j or -2?
-2
Let z = -5.97 - 0.03. Let s = -72.3 - -72. Let m = s + 0.4. Which is bigger: m or z?
m
Let h = -45212437/7444200 + 56/48975. Let x = -132/19 - h. Which is smaller: x or 0?
x
Suppose -461*a + 468*a = 0. Which is smaller: a or 9/317?
a
Suppose 25 = 3*w + 4. Which is smaller: 45/8 or w?
45/8
Let l = 184 - 178. Which is bigger: l or 64?
64
Let c(j) = -j - 5. Let f be c(-11). Suppose r = f*r. Which is greater: 2 or r?
2
Suppose -3219 + 1259 = 14*r. Is -140 > r?
False
Let k = -7 + 4. Let m = -49 - -44. Is k at least m?
True
Let w be (-12)/(-30) + (-7)/5. Let v be (-3 + 3)/(0 + -1). Let s be v + w - 63/(-61). Which is smaller: 0 or s?
0
Let q = -153.16 + 150. Let h = q - -0.16. Which is bigger: -2/11 or h?
-2/11
Suppose 20*z + 25 = -295. Does 0 = z?
False
Let p be (36/4 + -10)*2/10. Is -7.7 at most p?
True
Suppose 3*v - 7*d = -2*d + 2, -3*v = -4*d - 4. Suppose -1 = -2*p + 3*b, 5*b = -3*p + v*b - 4. Let k = -0.08 + 0.1. Is k < p?
False
Let a be (180/165)/(2/22). Do 21 and a have the same value?
False
Suppose 0 = 5*f - 0*z - 2*z - 52, -4*f = -2*z - 42. Suppose 3*s + f - 4 = 0, -4*u + 16 = -4*s. Which is smaller: 5/8 or u?
5/8
Let l = -83 + 191. Which is greater: l or 109?
109
Let m(f) = -2*f - 6. Let d be m(3). Let o = d - 47. Which is greater: o or -60?
o
Let d = -16 + 26. Let p = d + -13. Let o = 6 + p. Is o != -2/11?
True
Let f be 21/63*((-14338)/7166 + 2). Which is smaller: -1 or f?
-1
Suppose -4*u = 6 