 0?
True
Let t be 699/45 + 1 + (-6)/(-9). Which is smaller: t or 17?
17
Let r = -0.062 + 0.162. Let w = -22 + 16. Let y = -11 - w. Which is bigger: y or r?
r
Let s = -760/11 + 68. Is s less than or equal to 12?
True
Let f(a) = a**2 - 6*a - 9. Let l(w) = 5*w**2 - 31*w - 46. Let o(m) = -11*f(m) + 2*l(m). Let t be o(6). Let y = -5.5 + 5.3. Which is greater: t or y?
y
Let b = -150 + -55. Which is greater: -202 or b?
-202
Let q be 8/12*6 + -106 + -3. Is -106 < q?
True
Let c = 15 + 80. Let p be c/(-50) - (-2)/(-4). Which is smaller: -3 or p?
-3
Let n = 1805/21 + -257/3. Which is greater: -1.4 or n?
n
Let s = -89.641 - 0.359. Is s greater than or equal to 0?
False
Suppose -8*m = -7*m - 5*k + 8, m + 6 = 3*k. Is -3/55 < m?
False
Suppose -8*i + 6*i = 32. Let t be 4/i - (-62)/56. Which is greater: t or 1?
1
Suppose 5*r - 6 - 4 = 0. Let c be -1*(-14 + r)*1. Let w = 25 - c. Is 13 at most as big as w?
True
Suppose 2*o + 3*o = -3*h + 31, 3*o = -3*h + 21. Suppose -3*d + h*a + 3 = -2*d, -2*d = -3*a - 2. Let u be 6/15 - (-44)/(-10). Is d > u?
False
Suppose 0*l - 14 = l. Let h be (-188)/(-28) + -3 + (-4)/l. Let u be ((-2)/8)/((-3)/(-4)). Is u bigger than h?
False
Let y = 3.1 + -3.3. Is 43 less than y?
False
Let m(q) = -q**3 + 8*q**2 + 7*q + 8. Let k be (-2)/11 - (-202)/22. Let p be m(k). Which is bigger: -12 or p?
p
Let y be 1/((-6)/(-15))*10/25. Let t = 7.1 + -7.082. Which is greater: t or y?
y
Let p be (3/2)/(57/(-1216)). Which is greater: p or -4?
-4
Let b = 1.077 - 2.077. Which is bigger: b or -0.0728?
-0.0728
Let s be (-128)/36 + (1 - 2). Is s equal to -4?
False
Let x = -835 + 835. Is x at least as big as 3/1448?
False
Let x be (2*-1)/((-10)/35). Let n(b) = -7*b + 15*b**2 + 0 - 10*b**2 + b**3 - x. Let s be n(-6). Is s not equal to 0?
True
Let w = 128 + -48. Which is bigger: w or 79?
w
Let x(r) = -r**2 - 8*r + r**2 - 2 + 2*r**2 - r**2. Let c be x(7). Is c > -9?
False
Let o(n) = n**3 - 21*n**2 - 21*n + 25. Let w be o(22). Suppose 15 = 2*q - 81. Is w less than q?
True
Let s be (67/670)/((-93)/55 + 1). Is 1 smaller than s?
False
Let r(k) = -k**2 + 2*k + 3. Let n be r(3). Suppose -4*o - 7 = d, n = -4*d - d + 3*o + 11. Let f be (-32)/(-63) - 4/18. Which is smaller: f or d?
f
Let n = 6324 - 6349297/1004. Which is smaller: n or 1?
n
Let f be (-2378)/546 + (-7 - -11). Let n = 2/91 + f. Which is greater: n or -15?
n
Let w be ((-2)/(-345))/(133/35). Which is smaller: 0 or w?
0
Let z be ((-18)/(-15))/((-1)/(-5)). Suppose z*t = t - 5. Which is greater: -4 or t?
t
Let a(o) = o + 43. Let s be a(28). Suppose -4*g + 173 = -s. Does g = 62?
False
Let x be (12/(-8))/(2/(-188)) + 0. Let y be (2/x)/((-21)/63). Let w = -2 + 3. Which is bigger: w or y?
w
Let b(t) = -t**2 + 24*t + 32. Let i be b(23). Suppose 17*d + i = 22*d. Suppose -7 = -5*p + 4*f, 0*p + 5*f = -p - 16. Is p smaller than d?
True
Let n(f) be the second derivative of f**4/6 + 5*f**3/3 + 4*f**2 - 9*f. Let c be n(-4). Which is smaller: c or -4/9?
-4/9
Let i = -2414 + 152083/63. Let y be 0/(-1 + -1 - -5). Which is bigger: y or i?
i
Let h(b) = 3*b**2 + 18*b + 7. Let w be h(-7). Suppose -7*m + w = -7. Suppose m*o + 0*o - 8 = -2*a, -4*o = -2*a + 8. Which is bigger: -2/51 or o?
o
Suppose -7*g - 56 = -9*g. Let t be 4 - 6 - 102/4. Let n = g + t. Which is smaller: 2 or n?
n
Let k = -2/61 - 137/1403. Which is bigger: k or -11?
k
Let q = 0.08 + -0.01. Let f = q + -0.1. Is 1/2 equal to f?
False
Let d be -4 + 1 - (-5 - 3). Suppose 0 = d*b - 20, 4*w + 4*b + 0*b - 16 = 0. Let t(n) = n**3 + n**2 + n + 1. Let z be t(w). Is z at most 1/6?
False
Let m(f) = -f**3 + 3*f**2 + 6*f - 3. Suppose -2*j - 23 = -81. Suppose 5*n - j = -3*c, -2*n - c + 5*c - 4 = 0. Let o be m(n). Is 7/2 greater than o?
False
Suppose 0 = k - 5, 2*o = -k - 124 - 99. Is 0.1 smaller than o?
False
Let f(l) = -l**2 - 16*l + 56. Let o be f(-19). Which is smaller: 2/883 or o?
o
Suppose -i - 312 = 3*v, 0 = 4*v - v - i + 306. Which is smaller: -102 or v?
v
Suppose -4*q = 2*m - 3*m - 52, -3*m - q = 117. Let i(o) = -o**2 + o - 32. Let z be i(0). Let t be z/m*10/28. Is 1 > t?
True
Let u = 52654 - 264386/5. Let r = u - -222. Is -2 < r?
True
Let r be (-16)/4*(-3)/18. Suppose 3*g + 1 = 2*k + 2*g, 0 = -5*k - 2*g - 2. Which is bigger: r or k?
r
Let h = 3191/1816045 + 2/4081. Which is bigger: 1 or h?
1
Let y be 12/54 - ((-40)/18)/(-1). Let w = 8 + y. Let v = 38 + -67/2. Is v > w?
False
Let i = 55/127 + -12443/27559. Which is greater: 1 or i?
1
Let l = -5.16 + 43.16. Which is bigger: 2 or l?
l
Let n = 9 + -3. Let h = 13 - n. Let u = h + -8. Which is smaller: u or 3/4?
u
Suppose 32 = -3*j + 284. Suppose 0*t - j = 4*t. Is -21 at least t?
True
Let w = -7 - -61/9. Let t = -13 - -16. Suppose t*d + 0 = 3. Are d and w unequal?
True
Let x be (-8)/(-36) + 1496/720. Which is bigger: x or 2?
x
Suppose -5130 = -d + 28*d. Which is greater: d or -189?
-189
Let c be 144/(-56) - (-6)/2. Let v = 8 + 5. Suppose -4*k = -3*g + 1 + 8, -4*g - v = 3*k. Is c bigger than g?
True
Let q be 1617/153 + -3*(-1)/6. Let c = -65/6 + q. Does c = -0.1?
False
Let d(v) = 2*v**2 + 58*v - 106. Let h be d(-25). Are -305 and h equal?
False
Suppose 3*n - 28 = -6*f + f, 5*n + 4*f - 38 = 0. Suppose -5*o = -n + 16. Is o less than or equal to -5/4?
True
Let u(a) = a + 5. Let w be u(-1). Suppose 4 = -3*p + 3*q + 7, 3*q = -w*p - 10. Is 1/62 < p?
False
Let y be (-28)/(-12) - 2/(-3). Suppose 4*q + 3 = 15. Suppose b - 21 = -p - 4*b, -p - q = -b. Which is smaller: p or y?
p
Let p = -3.88 - -3.78. Which is smaller: p or 0.312?
p
Suppose 6*h = 5*h - 1. Let i be (-4)/(-3)*27/(-90). Which is smaller: i or h?
h
Let n = -59 - -63. Suppose -4 = 3*t - 4*w, -2*t + n*w - 2 = 2. Do 2/63 and t have the same value?
False
Let d be (-2)/(-14)*28/120. Which is smaller: -29 or d?
-29
Let z(l) = 2*l**2 + 19*l + 44. Let y be z(-4). Which is smaller: 9/11 or y?
y
Suppose 0*i = 8*i + i. Are i and 75 equal?
False
Suppose 2*h + 3*h = -30. Let r = 8 + h. Let l be (-546)/240 - r/(-5). Are -1 and l non-equal?
True
Let w = 0.15 + -1.45. Let c = 1.3 + w. Let x = 0.5 + c. Does -0.2 = x?
False
Let b = 421/2 + -213. Which is greater: 7/4 or b?
7/4
Let a(s) = 290*s**2 + s - 2. Let p be a(1). Let r = 13581/47 - p. Is 0 at least r?
True
Let v = 0.53 + -1.53. Let x = 2 + v. Let z = 0.1 - -3.9. Which is smaller: z or x?
x
Let r be ((-1)/(320 - (0 - -5)))/(-1). Is r at least -1?
True
Suppose 262*u = 257*u + 15. Which is smaller: 1 or u?
1
Let i be 42/(-231) + (-20112)/(-22). Are 913 and i non-equal?
True
Let j = 185 - 180. Is 6 greater than j?
True
Let r = 89 - 88.3. Let u = 0.46 + 2.24. Let f = u - r. Is f less than or equal to 0?
False
Let x = 15.8 + 1.2. Let h = -25.5 + x. Let m = 2.5 + h. Is m < -2?
True
Suppose 0 = -151*g + 147*g - 88. Suppose -54 = 5*v + 201. Let k = 30 + v. Does g = k?
False
Let q = -5 - 36. Let x = -11 - q. Let i be (-5)/2*(-48)/x. Is 4 greater than or equal to i?
True
Let b = 2 - 1.9. Let v = 900/11 - 20678/253. Which is smaller: b or v?
v
Let d = 802 - 802. Which is greater: 2/1825 or d?
2/1825
Let m = 36.3 - 34. Let r = m - 3. Let p = 270 + -269. Which is bigger: r or p?
p
Let u(t) = t**3 - t**2 + 4*t - 12. Let v be u(2). Which is bigger: v or -138?
v
Let u = -1144/7 + 163. Let r(a) = -12*a + 71. Let t be r(5). Suppose 0 = t*j + 15 - 4. Is j at most as big as u?
True
Suppose -17*j = -7*j - 210. Is 23 less than or equal to j?
False
Let k = 2438/5 - 490. Let w be 2/(-4) + 3/(-2). Which is smaller: w or k?
k
Let k = -1.3 + 0.7. Let z = -1.6 - k. Let p = 4 - 4.4. Is z >= p?
False
Suppose 21*d - 3616 - 752 = 0. Which is greater: 207 or d?
d
Let m = 2.98 - -0.02. Let q = -31 + 18. Let r be 1/(-3)*(15 + q). Which is smaller: r or m?
r
Suppose 82*n = -415 - 405. Let v(m) = 1. Let q(o) = -o - 6. Let j(y) = -q(y) + 6*v(y). Let t be j(n). Is 2 smaller than t?
False
Let g be 2*(-1 + (-3)/(-6)). Is g greater than 1/29?
False
Let z be ((-1)/(-2))/(2*(-2)/(-32)). Suppose z*d - 6 = -2. Are 1 and d non-equal?
False
Suppose 0*w - w - 7 = -z, 3*w = 5*z - 31. Let d be 3/(-15) + (-4)/z. Suppose 2*l + 10 = 0, l = -5*a - 0 - 5. Which is smaller: a or d?
d
Let l = -0.5 + 1.5. Let k be (-8)/26*1/20. Which is smaller: k or l?
k
Let w(i) be the third derivative of i**4/24 + 5*i**3/2 - i**2. Let z be w(-15). Let u = 101 - 503/5. Does z = u?
False
Let i be 282/(-2)*20