 -2/581 - j. Which is greater: -3 or o?
o
Let m = -543 - -543. Is m bigger than 3/142?
False
Suppose r - 3*v = 3*r - 1, 0 = -3*r - v + 12. Suppose 32*b - 27*b - 35 = 0. Suppose -b*o - r = -2*o. Which is smaller: 0 or o?
o
Let d = -495 - -495. Which is smaller: 2/537 or d?
d
Let u = 0.31 - 16.11. Let h = u + 24. Let q = -0.2 + h. Which is smaller: 2 or q?
2
Let m = -2.8 + -14.5. Let t = m + 17. Do t and -0.1 have different values?
True
Let u = -0.15 + -14.85. Is 0 smaller than u?
False
Let m = 6707/15 + -447. Does -1 = m?
False
Suppose -18 = -3*w + 3*q, 4*w + w = -q + 12. Suppose -4*g - w = -5*g. Suppose 5*d = g*d. Is 3/10 less than d?
False
Let k be (-2 - -4)*(1 - 1/(-1)). Suppose 301 = 3*y - 2*t, k*y + 3*t - 254 = 170. Is y at least as big as 102?
True
Let m = -1305 + 1345. Which is smaller: m or 5?
5
Let f = -2115 - -2735. Which is smaller: 621 or f?
f
Suppose -5*v + 19 = 81*k - 85*k, -2*k - 5 = -v. Is -5/83 >= k?
True
Let j be 68/85 - 360104/230. Let u = 1564 + j. Which is smaller: -1 or u?
-1
Suppose 134 = 4*n - 330. Let t be (-1)/(n/(0 + 2)). Suppose 5*h = m - 7, -2*h = 5*m - 10 + 2. Which is bigger: t or h?
t
Let f(s) = s**3 - 2*s**2 + s - 1. Let n be f(2). Let p = -3 + n. Suppose 2*y = 5*i + 6*y + 13, -3*y = i + 7. Which is bigger: p or i?
i
Let z be (-1)/(-4) - (-18)/(-8). Let m be (-2)/6*(-1)/(16/264). Let s = m - 93/14. Does s = z?
False
Let j(k) = -k + 21. Let w be j(15). Let f be (w + -5)/((-3)/3). Which is greater: f or -2/9?
-2/9
Suppose 6*c = 2*c. Suppose 4*u + 16 = c, 0*w = 2*w - 2*u - 16. Suppose 1 = -w*a + 5. Is a less than 2/21?
False
Let o = -884 + 3535/4. Suppose 124 - 25 = -3*b. Let d = b - -65/2. Which is smaller: d or o?
d
Let v be (-684)/(-399)*1*10. Does -0.2 = v?
False
Let m = 1347153/313 - 4304. Is m > -1?
True
Let w be ((-3)/(-10))/(4/(-10)). Let o be (-4)/(-10) + (-119)/85. Which is smaller: w or o?
o
Suppose -y - 5*l - 2 = -23, -2*y + 5*l = 18. Let s be -2 + 7/((-7)/(-6)). Let a be (-8 - -8) + s/62. Which is bigger: a or y?
y
Suppose -3*d + 12 = d. Suppose -d*t + 5 = -1. Let h be 15/(2 - t - -1). Is 15 equal to h?
True
Let r = -4861/18 + 270. Let a = 21 + -35. Let p = -14 - a. Which is bigger: p or r?
p
Let r(o) be the second derivative of 2*o**5/5 + o**3/6 + o**2 + 13*o. Let x be r(-1). Is -5 equal to x?
False
Let y = 10 - 6. Suppose y = -l + 3. Is l smaller than -7/12?
True
Let o = -23.1 + 23.36. Which is greater: o or 4/7?
4/7
Let r be (-1 + 0)*10/(-2). Suppose 2*d = 3*z + 3 + 5, r*z = 5*d - 20. Let w = -114 - -685/6. Is z at most as big as w?
True
Let r = 3307 - 591951/179. Does r = -1?
False
Let u be 3*4/(-48) + 6/(-8). Let z(m) = m**3 + m**2 - m - 1. Let r be z(u). Let p(g) = -g**3 + 6*g**2 - 6*g + 6. Let c be p(5). Which is smaller: c or r?
r
Let m = 16523/11 + -1504. Is -1 greater than m?
True
Let o = -345 - -1381/4. Which is smaller: -1.47 or o?
-1.47
Let d = 1222129/395 + -3094. Which is greater: d or 1?
1
Let g = 444 + -448. Is g at most as big as -4?
True
Let y = -200/9 + 206/9. Do y and 1.3 have different values?
True
Suppose 2*n = -26*n + 18 + 10. Let g be (5 - 1) + 2/(-2). Let b be 18/4 - (g - 1). Are b and n non-equal?
True
Suppose -9*d + 0*d = -1404. Let c = d - 155. Which is bigger: c or -1/24?
c
Let a be (-4)/(-56)*4*7. Suppose 2*h + 4 = -a. Is -3 bigger than h?
False
Let w = -5479/38 + 144. Which is bigger: 1 or w?
1
Let z = -13/44 - -5/44. Let n = -2132 - -2132. Which is smaller: n or z?
z
Let r be (-4)/(-3)*2565/38. Let o = r - 179/2. Which is greater: 0 or o?
o
Suppose -17*k + 20*k = 0. Is -14/27 greater than k?
False
Suppose r + 33*r + 510 = 0. Is -14 > r?
True
Let n = -37 - -61. Let f = n + -23. Let h = 0.7 + -1.1. Which is greater: f or h?
f
Let l(r) = 6*r**2 + 4. Let a be (-6)/3 - (1 + -5). Let t be l(a). Let k be 2/(-3) + t/(-24). Which is greater: -2 or k?
k
Let s = 32 - 6. Let z = -320.1 - -320. Which is bigger: s or z?
s
Let d = 0.059 + 2.361. Let t = -0.42 + d. Let x be 1/4 + 0/(-2). Which is greater: x or t?
t
Let v(m) = 5*m - 23. Let i be v(5). Suppose 3*q + 15 = 5*h + q, h - 3*q = 3. Let b = i - h. Is b > 0?
False
Let n = -1216 - -1213. Which is smaller: n or -106?
-106
Suppose -5 - 22 = -27*v. Which is greater: 6/205 or v?
v
Let h(w) = w**3 - 9*w**2 - 10*w - 10. Suppose -5*j = -3*j - 20. Let b be h(j). Let n = -9 - b. Is n less than 3/10?
False
Suppose -38*h - 15111 = -15*h. Is 1/4 at least h?
True
Suppose 0*q + 4 = 2*q. Let c be q/5 + (-27)/(-15). Let m = -6612 - -6614. Which is smaller: c or m?
m
Let l = 964 + -549. Is 415 smaller than l?
False
Suppose 0 = -3*t + 5*g + 150, -t - 2*g + 24 = -15. Let x = 39 - -7. Which is smaller: x or t?
t
Let v be 220/(-36) + (-5)/(-45). Is -2 greater than v?
True
Let k = -7 - -9. Let h(o) = -o**3. Let w be h(1). Let z be ((-4)/10)/(w/5). Is z != k?
False
Let o be 1904/5 + (-9)/(-45). Which is smaller: o or 380?
380
Let w = 22 - 10. Let r be (w/(-126))/(1/6*2). Which is smaller: r or 7/2?
r
Let r be 12/(-14) + 1 + 39087/301. Is 130 > r?
False
Suppose -3*s - 2*d = 2*d - 4, -d - 10 = -2*s. Suppose -4*u - 72 = -2*l, s*u + 154 = 4*l + u. Is 1 greater than l?
False
Let r be ((-6)/9)/((-16)/102). Which is greater: 4 or r?
r
Let y(r) = 20*r**3 + 1. Let g be y(1). Let q = 23 - g. Let u be 2*(2 - q/(-4)). Is u greater than 5?
False
Suppose 3 = 4*p - 17. Suppose -w - p*x = -3*w - 108, -5*w - 237 = 4*x. Let b be (-4)/(-18) - w/63. Which is greater: b or -2/41?
b
Let j = -2/3 + -1/12. Suppose -4 = l, 2*l = -4*i - 1 + 25. Suppose -4 + i = -2*c. Is c < j?
True
Let y(t) = -t**2 + 7*t - 21. Let i be y(5). Let m(f) = -2*f**2 - 16*f + 7. Let b be m(i). Which is greater: -60 or b?
b
Let f = 548 - 545. Which is bigger: 31/8 or f?
31/8
Suppose 1297 = 4*k - 9*k - d, -5*d - 528 = 2*k. Is -261 equal to k?
False
Let v be 65/(-25) + 4/(-10) + 1. Let g be 2 + 29/(-18) + v/(-12). Which is smaller: g or 2?
g
Let f = 3 + -43. Let n be (2 + f/18)*-3. Which is greater: n or 26?
26
Let l(r) = -r**2 - 4*r - 4. Let m(t) = t + 1. Let d(p) = -l(p) + m(p). Let k be d(-4). Which is greater: -3/13 or k?
k
Let m be 8/12 + (-116)/(-6). Let o be (-35)/m*(-8)/(-6). Which is bigger: -2 or o?
-2
Let j be 24/12 + 24/(-10). Let c = -2.1 + 2.13. Is j < c?
True
Suppose 0 = -2*v + 6*v + 16. Let k = 591/4 - 589/4. Which is bigger: v or k?
k
Let p = -5 - 2. Let h = 8 + p. Let i = h + -0.9. Do -2/3 and i have different values?
True
Let f be -7 + (0 - 2) + 6. Let h be 11 + f + 4 + -4. Let w be 24/3 - h/4. Which is greater: w or 0.1?
w
Let c = -2264 + 2263. Which is smaller: 2/7881 or c?
c
Let m(u) = 5*u**2 - 4*u**3 - 8*u - 2 + u**3 + u**3 + 3*u**3. Let q be m(-6). Which is smaller: q or 11?
q
Let w(l) = l - 4. Let u be w(-6). Let f = u + 15. Let y = -586 - -587. Which is smaller: y or f?
y
Suppose 2*h - 32 = -5*i, -3*h = -h + 3*i - 32. Suppose 0 = 4*d - 5*d - h. Let r be 4/d + (-15)/(-28). Which is smaller: r or 1/4?
1/4
Let a(m) = -7*m**2 - 5*m - 1. Let c(q) = 8*q**2 + 6*q + 2. Let k(d) = -6*a(d) - 5*c(d). Let h be k(2). Is h less than 27/7?
False
Let y(m) = 3*m**3 + 6*m**2 + 12*m + 42. Let r be y(-4). Is r at least as big as -99?
False
Let q = -0.3 + -0.7. Let x = q + 0.8. Let n(m) = m**2 + 6*m - 15. Let r be n(-8). Which is smaller: x or r?
x
Let j = -8.6 - -30.5. Let z = -22 + j. Which is smaller: z or 1/7?
z
Suppose -2*j + 132 = 552. Let t be 56/j - (-2)/3. Which is bigger: t or 0?
t
Let w be (-3)/(10/4 + -3). Let x = -76 + 49. Let y = x - -34. Do w and y have different values?
True
Let z = -164 - -139. Let b = -11 - 13. Which is greater: b or z?
b
Let a = -578 + 586. Which is smaller: a or 9?
a
Let m(w) = 3*w + 14. Let p be m(-6). Let k be (-21)/p + (-4)/16. Suppose h = 4*a - 2*h - 20, k*h = 5*a - 30. Is 3 less than a?
False
Let b = -46.73 - -47. Let n = 16.27 - b. Let c = n + -16.1. Is c > -7?
True
Suppose 0 = -2*s, -124 = 3*k - 7*k + 2*s. Are k and 34 non-equal?
True
Let m = -827 - -831. Does m = 16?
False
Suppose -756 - 8 = -3*u + 2*b, 5*u + 4*b = 1244. Is 251 >= u?
False
Suppose 3*s - 8*c + 11*c = 159, -4*c - 244 = -4*s. Which is smaller: 56 or s?
56
Let a = 9 - 7. Suppose 5*m - 8 = -a*f, -2 = -2*f - 0*f - 2*m. Is f greater than or equal to -1/14?
False
Let d = 2.9 - 0.9. Let l = d - 1.91. Let o = -55.8 - -56. Which is smaller: o or l?
l
Let j = -30 + 1. Let l = j - -92. Is 63 less