or 5/8?
l
Let y(x) = -5*x**2 + 7*x - 3. Let r be y(5). Let a be (-1)/7 + r/(-357). Is a at least as big as 1?
False
Let a be -4 - ((-1 - -1)/1)/(-1). Let f be (2/a)/((-5)/(260/16)). Which is greater: 2 or f?
2
Suppose 8 = -10*i + 58. Suppose -2*b - 17 = -i*s, -11*b + 7*b - s - 1 = 0. Which is smaller: -1/115 or b?
b
Let p = -5/6 + 1. Suppose 14 = 8*n - n. Let k be (-8)/36 - n/(-9). Which is smaller: p or k?
k
Let b = 0.59 + -39.59. Let i = 41 + b. Which is greater: i or 29?
29
Let k be 36/16 + 4/(-16) + 5. Suppose w = 2*w - 6. Let d be (-6)/(-4)*20/w. Which is greater: k or d?
k
Let k = -79 + 88. Suppose 4*a + 15 = 5*a. Let o = a - k. Which is smaller: o or 7?
o
Let a = 5.4 - 5.7. Which is bigger: 2/17 or a?
2/17
Let l = -8 + 6. Let m be (32/(-1260))/((-44)/(-920)). Let u = m - 4/99. Which is smaller: u or l?
l
Let w be 0/(2 - 0) + -3. Let k be (-6 + 3)*10/w. Let c be (-116)/154 - k/(-55). Is c at least 0.1?
False
Let q = -27 - -110. Let m = -82 + q. Let g(t) = t**2 - 4*t + 5. Let s be g(4). Which is bigger: s or m?
s
Let u = 311.2 + -312. Is -0.09 at least u?
True
Let n(j) = -12*j**2 - 13*j + 0 - 1 - j**3 + 2*j**3. Let d be n(13). Suppose -9*l + 24 = 6. Are l and d non-equal?
True
Suppose -14*i + 10 = -12*i. Suppose 20 = 4*t - t - 5*o, -3*t = i*o - 40. Let h be 3*t/1065*-1. Which is greater: 1 or h?
1
Let h = 9 + -6. Suppose 0 = 5*p + 10, -7*o = -h*o - 5*p + 2. Let k = 34 - 36. Which is smaller: k or o?
o
Let f(k) = -4*k**2 - k + 11. Let o(i) = 3*i**2 - 11. Let t(w) = 4*f(w) + 5*o(w). Let z be t(-5). Which is bigger: -46/3 or z?
-46/3
Let x(y) = 7*y**2 - 9*y - 10. Let h(n) = 20*n**2 - 26*n - 29. Let g(p) = -6*h(p) + 17*x(p). Let t be g(-2). Let f = 3 + -2. Is f <= t?
False
Let v = -308 - -308. Which is greater: 4/395 or v?
4/395
Suppose 1211 = -264*m - 109. Let t = -5 - -14. Is t less than or equal to m?
False
Let v be 3/(-4 - (-38)/8). Suppose -5*u - 15 = -6*u. Suppose -4*s + u = -d, 4*d + 27 = s + v*s. Which is smaller: s or 1?
1
Let v = 22 - 27. Let c = v + 5.06. Which is smaller: c or 0.2?
c
Suppose 0 = -5*y - 5 - 0. Let x = 2 + y. Suppose -17*w + 3 = -16*w, -5*w + 13 = -2*n. Is n > x?
False
Suppose -3*n + 0*n = -6. Suppose 3 = -5*d - n. Let m = 164 + -2458/15. Is m <= d?
False
Let l(i) = -i - 7. Let s be l(-6). Let f be 2/(4/10 + 12/(-15)). Which is smaller: s or f?
f
Suppose 5*q + 72 = -198. Let u = 27 + q. Is u smaller than -28?
False
Let k(s) be the third derivative of -s**6/120 + s**5/20 + s**4/6 + s**3/2 - 2*s**2. Let o be k(-2). Suppose 0 = f + 2*f + o. Which is bigger: f or -4?
-4
Let y = 40 - 36.9. Let m = y + -3. Suppose -5*f + 2 = -3. Are f and m non-equal?
True
Suppose n + 231 = 5*w, 0 = 4*n - 3 + 7. Is 51 > w?
True
Let w = 74 - 960/13. Let o be (9 + (-150)/20)*(-1)/24. Are w and o non-equal?
True
Let g be 6/27 - 0 - 736/(-90). Let p = g - 39/5. Which is smaller: p or -11/4?
-11/4
Suppose -3 = -n + 3*z, -1588 + 1599 = n + 5*z. Suppose -7 = -5*x - 2. Is n less than x?
False
Let r = -0.01 + -20.99. Let u = -134 - -151. Let g = r + u. Is -2 > g?
True
Let b = 547/20 + -111/4. Let h be ((-1)/(-1))/(68/(-37)). Let d = h - 7/34. Which is greater: b or d?
b
Let l = 0.322 + -0.022. Which is smaller: 61 or l?
l
Let w = -4 + 2. Let a be (-2)/(-20)*w + 0. Let n = -1711 - -1712. Which is smaller: n or a?
a
Suppose -1 + 1 = -6*w. Suppose -4*h = w, 4*h = 5*p - 4*p. Is p > 2/19?
False
Suppose 3*g + 15 - 30 = 0. Let z = 16 - g. Is 9 <= z?
True
Let m(w) = w. Let n(h) = -14. Let x(i) = -2*m(i) + n(i). Let y be x(6). Which is greater: -27 or y?
y
Let q(t) = -4*t - 9. Let o = 11 - 17. Let v be q(o). Is v equal to 17?
False
Suppose 4*i - 693 = b - 4*b, 0 = 4*i. Is b > 231?
False
Let w = 17.8 - 19. Let t = -3.8 - w. Is t smaller than -1?
True
Let n be (-50)/(-8) - 4/16. Let g be n/9 - (-44)/(-30). Suppose 9 = y + 10. Which is bigger: y or g?
g
Let r = -1319/15 - -88. Let n be 0*(-4)/(-8) + 3. Suppose 0 = -3*b - n*b - 6. Which is smaller: b or r?
b
Suppose 2 = -d + 3*d. Let v be (2 - -6)/(-11 + 9). Let h be 0/(-4) + v/(-54). Which is bigger: d or h?
d
Suppose -2*p - 2*p = 4. Let v = 207/5 - 6013/145. Are p and v unequal?
True
Let f(m) = -16*m**2 + 287*m. Let l be f(20). Is -660 at least l?
True
Let z(w) = 2*w + 20. Let j = -12 + 12. Let v be z(j). Is v <= 21?
True
Let i = -353/30 - -1/10. Is i at most -2?
True
Suppose 68 = -u - 5*m, -2*m + 6 = -2. Let q = u + 88. Which is smaller: 17 or q?
q
Let a = -31 - 36. Let r = -111 - a. Is 1/3 greater than r?
True
Suppose -148*t + 137*t - 187 = 0. Is -17 at least as big as t?
True
Let s be (-10 + 0)*10/25. Let n be 6/s*(-2)/(-6). Let o(j) = j**2 - 3*j. Let x be o(3). Which is greater: x or n?
x
Suppose 0 = -9*p + 7*p - 8. Let h be p/(-14) + 1288/(-1078). Let o = -289/330 - h. Which is bigger: -1 or o?
o
Suppose 0 = -4*j - x - 0*x + 24, 0 = -4*j + 5*x. Suppose -p + 0*p = -j. Suppose -4*f = -2*l, 0 = -2*f - f + 6. Is l at most p?
True
Let s = -1455 + 1434.01. Let a = s - -21. Which is smaller: 1/3 or a?
a
Let g = 10.8 + -5.5. Let p = g + -6. Let s = -0.8 - p. Which is greater: -3 or s?
s
Let g = -19402/4847667 - -1/6207. Is g greater than 0?
False
Suppose -205*w + 13 = -192*w. Let p be (3/5)/(24/90). Which is greater: p or w?
p
Suppose -5*f - 1029 = 2*f. Is f at least as big as -147?
True
Suppose 6 = 5*a + 4*h, -2*h + 10 = 5*a + 3*h. Suppose 0 = -5*n + 304 - 4. Let p be 21/n + 18/(-30). Which is smaller: p or a?
a
Suppose -15*x = -19*x + 12. Suppose -x*n + 707 = 4*n. Is 102 at most as big as n?
False
Suppose 53*o = 63*o + 280. Which is smaller: -80/3 or o?
o
Let w be (-65)/(-100) - 3/4. Let f = 2/5 - w. Do 2 and f have the same value?
False
Suppose w + 2*i + 0 = -7, -3*w + i = 0. Let f be (-10)/(-6) + w - 0. Is f bigger than 3?
False
Let g = -5.7 + 49.7. Let k = g - 66. Let f = k + 22.02. Is 2 less than f?
False
Let t be (-24)/132 + (-6)/(-33). Which is greater: t or -5/9?
t
Let k(m) = 4*m**2 + m + 4. Let l be k(5). Let i = l + -31. Which is smaller: i or 77?
77
Let n = 9.9673 + 0.0327. Is n equal to -11/4?
False
Let i = 170 + -2208/13. Suppose -2*r = -5*s - 92, 5*s + 0*s + 116 = -4*r. Let y be -2*(s/(-8) + -2). Which is smaller: i or y?
y
Let q be 1498/126 - (-3)/(0 + -3). Which is bigger: q or 11?
11
Let l = -2106463/129 + 16329. Is 1 less than l?
False
Let t be (-285)/2*2*3/(-9). Let y = -95 + t. Is -2/19 not equal to y?
True
Let y = -50.98 - 0.02. Let i = -50.8 - y. Which is smaller: -11 or i?
-11
Suppose 0 = -6*o + 10*o. Let z(t) = -6*t - 13. Let x be z(o). Is x greater than -15?
True
Let b(a) = -15*a - 90. Let h be b(-6). Do 2 and h have the same value?
False
Let c(k) = -32*k - 48. Let g be c(0). Are -95/2 and g equal?
False
Let a(r) = 2*r**2 - 10*r - 25. Let l be a(-2). Which is bigger: l or 15/7?
l
Let k = 3.8 - 245.8. Let u = 248.02 + k. Let m = 0.02 - u. Which is greater: 2 or m?
2
Let m(n) = 8*n**2 + 10*n + 5. Let a be m(-2). Let s be 2/12*(-6)/(-4). Is a less than or equal to s?
False
Let c(f) = f**3 - 3*f**2 - 2. Let t be c(3). Let y be (0 - 0) + 4 - 9. Let j(m) = m**3 + 6*m**2 + 5*m - 2. Let g be j(y). Is t bigger than g?
False
Suppose 0 = 29*o - 3799 - 13717. Which is greater: 2421/4 or o?
2421/4
Suppose 0*i + 2*i + 4 = 0. Let t be (-4 - 1)*i/(-12). Let r(q) = q**3 - 2*q**2 - 32*q - 22. Let y be r(7). Which is smaller: y or t?
y
Let j = -2209 + 2192. Which is smaller: 0 or j?
j
Let p be (-2184)/(-126)*(-3)/(-4). Which is smaller: -10 or p?
-10
Let y be 3/((-402)/(-4)) + 0. Let t(q) = -q**3 - 2*q**2 - 14*q - 89. Let h be t(-4). Which is smaller: h or y?
h
Let p(i) = 2*i**2 + 18*i + 27. Let a be p(-7). Which is greater: a or 1/131?
1/131
Let x be 3*(-2 + -2)/(-12). Suppose -d = 4*d. Let c = d + x. Is c greater than or equal to 2/45?
True
Let o = -929/9 - -102. Is o < 0?
True
Let d = 14 - 10. Let a = 5 - d. Let r(n) = 2*n**2 + 13*n - 30. Let u be r(2). Which is bigger: u or a?
u
Suppose 3*n - 4*s = 0, 0 = -n + 2*n - s. Let r = n + 2. Let a = 19 + -93/5. Which is smaller: r or a?
a
Let a be (-4)/(-30) + 2424/45. Suppose 2 = 4*y + 6, -3*g = -3*y - a. Which is bigger: g or 20?
20
Let f = 910 - 910. Which is bigger: f or -1/1924?
f
Let x(c) be the third derivative of -5*c**4/24 - 35*c**3/6 + 6*c**2. Let v be x(-6). Is v not equal to -3?
True
Suppose -56 = 6*j + 46. Let i be 16/20*j*3/12. Is -2 <= i?