r: 41/9 or b?
41/9
Suppose 0 = 64*o - 59*o - 10. Suppose -2*s + 110 = 4*f - 5*s, 4*s - 44 = -o*f. Do f and 27 have the same value?
False
Let n = 176959/2 + -82052. Is n greater than or equal to 6429?
False
Suppose -3*t - 10 = -5*r, -4*t + 2*t + 10 = 5*r. Let c be ((-12)/3 + r + 1)*-1. Which is greater: 5/84 or c?
c
Let u = -6663 + 5262. Is 0 < u?
False
Let o = -611 + 939. Let l = -330 + o. Which is smaller: -18/23 or l?
l
Let w(s) = -25*s + 159. Let j be w(5). Let y = -49 + j. Which is smaller: -11 or y?
y
Let s be (12 - 6) + (-2)/2. Let f be s*(-3)/3*2. Let k(d) = -d**3 - 11*d**2 - 9*d + 8. Let h be k(f). Is h at most as big as -8?
False
Suppose 0 = -5*g + 2*s + 264, -g + s + s = -40. Which is greater: -201 or g?
g
Let v = -0.0732 - -0.0102. Let y = v + 1.863. Let j = 0.1 - 0.3. Which is smaller: y or j?
j
Let z = -18.36 + 17.36. Is -1473 <= z?
True
Let n(h) = 1084*h - 2. Let a be n(-2). Let c be (-2)/(-7) - (-592)/a. Let w = -96284 + 96285. Which is smaller: c or w?
c
Let p(r) = -r**2 + 7*r + 2. Suppose -5*k = -5*q + 10, 2*q - 3*k - 4 = -2*k. Let m be (6/(-8))/(-3*q/32). Let d be p(m). Which is smaller: d or 15?
d
Suppose -11*u - 4 = -15*u. Let x be -2*u + 130/170 + 1. Is 0 greater than or equal to x?
True
Let u = -232 + 331. Let t = -100.6 + u. Which is smaller: t or 2?
t
Let s(f) = f**3 - 31*f**2 - 65*f - 31. Let y be s(33). Let a be y/(-10) + (-38778)/(-196190). Is a smaller than 0?
True
Suppose 2*j - 4 = 4*k, -3*j - 10*k + 15*k = -10. Which is bigger: j or -169?
j
Let g = 64 - 64. Let k = -4929 + 83784/17. Which is bigger: k or g?
g
Let m = 1183/589 - 40/19. Let b be (-5 + 3)/(((-8)/22)/2). Suppose -7*y - 4*y + b = 0. Which is smaller: y or m?
m
Suppose -137 = -7*p + 3. Suppose x + 0 - 6 = -5*f, -5*x - p = 0. Which is bigger: f or 3?
3
Let i = 1.9462 - 34.5462. Which is smaller: -18 or i?
i
Let b = -5.65883 - 0.14117. Is -21/10 less than b?
False
Let z be (-16)/(-72) + 1293005/(-306270) + (3 - -1). Is 1 less than z?
False
Suppose 10*u - 349 + 176 = -173. Let d(v) = -v**2 - v. Let w be d(-3). Which is bigger: u or w?
u
Let f be 225/123*(-31 - -29). Are f and -4 non-equal?
True
Let m(n) = 2*n**2 - 12*n + 6. Let w be m(14). Suppose -4*i = -8*f + 13*f - 950, -5*f + 720 = 3*i. Is i > w?
False
Let b = 0.02999 - -4.97001. Which is smaller: -3.65 or b?
-3.65
Let k be 58/(-4)*15/((-45)/(-24)). Let r = 116 + k. Let t be -9*(-2)/75*(-100)/630. Is r less than or equal to t?
False
Let h = -0.28 - 80.72. Let m(p) = 3484*p + 34840. Let s be m(-10). Which is smaller: s or h?
h
Suppose 12*m = 8*m + 4*n + 196, -5*n = 5*m - 195. Let k be 2 - (-40)/(-18) - m/(-198). Let i be (-8)/(-12) + 80/(-102). Which is smaller: k or i?
i
Let j = -231 - -250. Suppose -5*b - 9 = -7*s + 8*s, 3*b + 4*s = -j. Which is greater: b or 1/315?
1/315
Let g = -3334 + 3334. Is 21/121 greater than g?
True
Let n = -0.2138 + -7.7862. Let y = 0 - 1/2. Which is greater: n or y?
y
Let k = 1122 - 1213. Which is smaller: k or -92?
-92
Let j = 1.4 - 1. Let y = -75 - -56. Which is smaller: j or y?
y
Suppose 3*v = -5*y + 1135, -7*v + 2*v - 199 = -y. Let p = -210 + y. Is p at least 9?
True
Suppose 4*o + o - 130 = 0. Suppose -6 = -p + 4*b, 3*b = -p + 2*b - 19. Let h be (-1)/2 - 357/p. Is o bigger than h?
True
Let z be -325 + 318 + (-51564)/(-7366). Is z >= 0?
True
Let w be 2 - ((-752)/(-378) - 0). Let p(g) = -g**2 - 21*g + 92. Let v be p(-23). Suppose -v*s + 45*s = 0. Which is greater: w or s?
w
Let i = -106 - -159. Suppose 3*g - i = -47. Let r be (-1 - (-1 + g)) + 15/1. Is r >= 14?
False
Let i be (-140)/8*12/(-15). Let j be 7*(2/i + 0). Is j < 2/73?
False
Let g = -5647/41 - -1765737/12874. Let k = -12/157 - g. Let s(x) = 2*x**2 + 3*x. Let o be s(-2). Which is smaller: k or o?
k
Let v = 29.2 - -6.4. Let f = -3.6 + v. Is 1 at most f?
True
Let h = -548.4 - -547.4. Which is smaller: h or 3/35?
h
Suppose -7*l + 11011 = -4725. Which is greater: 2252 or l?
2252
Let k(c) = 74*c - 24*c + 43 - 20*c - 24*c. Let r be k(-7). Which is greater: 2/225 or r?
r
Suppose -5*v = 3*w - 162 - 767, -8 = -2*v. Suppose 6*k + w + 39 = 0. Let d = -53 - k. Is d > 22/7?
True
Let n = -614 + 684. Suppose -4*s - s + n = 0. Let d be 4/14 + 0/1. Which is smaller: d or s?
d
Suppose 5*x - 5 = 0, 0*x + 2999 = -3*y + 5*x. Is y != -997?
True
Let q be 8250/(-40)*((-15)/9 + 129/45). Which is bigger: q or -248?
q
Let a(y) = -219*y - 3941. Let h be a(-18). Are h and 45/139 non-equal?
True
Let j(d) = d**3 + 5*d**2 - d - 5. Let w be j(-5). Let y(p) = -1. Let l(v) = 3*v + 14. Let x(h) = l(h) + 3*y(h). Let r be x(-5). Is w at most r?
False
Suppose 10*s - 782 + 782 = -3*s. Which is smaller: 3/1744 or s?
s
Let k be (9 - (2 + 4))/(4 - 1). Let h(p) = p**3 - 2*p**2 + p - 1. Let m be h(k). Which is greater: 5/54 or m?
5/54
Suppose 0 = 3*c - 1 + 25. Let x be -12*(c + (-904)/(-112)). Suppose 3*u = 2*p - 6, -5*p = 6*u - u - 15. Is x bigger than u?
False
Let j(o) = 9*o - 783. Let n be j(87). Which is smaller: -11/139 or n?
-11/139
Let c = 68067/5 + -13527. Let a = -4542/55 + c. Let m = -697 - -702. Which is smaller: m or a?
a
Let z = -16953 - -26078. Is z >= 0.1?
True
Let c(b) = -2*b + 25. Let n be c(12). Let x(g) = g**2 - 4*g + 3. Let l be x(n). Let r(j) = 2*j + 5. Let k be r(-3). Which is smaller: l or k?
k
Suppose 0 = 5*m - 4 - 6. Let q be (4/6)/((0 + m)/276). Suppose 0 = -2*v - 5*d - 22, 0*d + q = -4*v + 2*d. Is -21 less than or equal to v?
True
Let p = -37436.312 + 37437. Is p bigger than 2/17?
True
Let l = -69 - 50. Let a = -1433/12 - l. Is a at least as big as 1?
False
Let v(b) = -b**3 - b**2 - 3*b - 1. Let p be v(-1). Suppose 3*x = x - 5*y - 22, -p*y = -4*x + 4. Is 5/56 greater than x?
True
Let d be 17/(-34) - (-11)/10. Let v = -17/30 - d. Is v bigger than -1?
False
Let i = 20 - 12. Suppose 124 = 44*d - 8. Suppose -2*b + 17 = -j, 5*b = d*j + 50 - 7. Is i at most b?
True
Let m = -38.85 + 40. Let x = 262 - 261.15. Let h = x + m. Which is smaller: 1 or h?
1
Let b be (1448/6)/(-4) + 5/15. Let u be (-5)/3*54/b*2. Let n be u/(-4)*(-24)/(-6). Is -6 bigger than n?
False
Let p = -21764 - -21737. Let c(i) = i**3 - 5*i**2 - 2*i - 2. Let r be c(4). Is r less than or equal to p?
False
Let u be (42/5 - 2/5)/(-99). Let q = u + -1384/2475. Are q and -1 equal?
False
Suppose -2*v + 15*v - 8115 = 49. Which is greater: v or 629?
629
Suppose 0 = -33*l + 18*l + 1020. Do 68 and l have the same value?
True
Let l = -25943 + 25942. Which is smaller: l or 6019?
l
Let j = -12.55 - -12.9. Let t = 4.65 + j. Is t at least -2/5?
True
Suppose 0 = -2*k - 3*b - 5369, -3 = -b - 0. Which is smaller: -2690 or k?
-2690
Let y(z) = 16*z**3 - 15*z**2 - 26*z - 20. Let a be y(-4). Which is bigger: a or -1179?
-1179
Let s = -607/5 + 122. Let r be (-50)/(-14) + 52/(-91). Suppose 0 = 10*q - r*q. Which is smaller: s or q?
q
Let g = -4189 + 4197. Do g and 15 have the same value?
False
Suppose 0*l - 5*l + 85 = 5*d, 0 = -4*l - d + 59. Let g be (-2)/l*(42 + -36). Which is bigger: 1 or g?
1
Let v(h) = 29*h - 25. Let f be v(3). Suppose -81*q - 19 = -f*q. Are 5 and q unequal?
True
Let w = 0.1321 + 59.7679. Let i = w - 56. Let a be (144/27 - 5)*((-1 - -4) + -3). Which is smaller: i or a?
a
Let s = -4403 - -4173. Are s and -220 nonequal?
True
Let p be (-5 - (-13644)/2727)/(37/12 - 4). Which is greater: 0 or p?
0
Let f = -2 - 0. Suppose 4*w + 3 = 15. Suppose -6 = w*v - 9. Are f and v equal?
False
Suppose -18*a = -23*a + 690. Suppose -5*f = -4*h + 297, -a + 444 = 4*h - 2*f. Let q be (2 - 158/h)*(1 - -2). Is q at most as big as 0?
True
Let c(z) = z**3 + 5*z**2 + 6*z + 4. Let g be c(-4). Let l = g - -9. Let h = 89460 + -89455. Are l and h equal?
True
Let t(s) = -s**3 - 9*s**2 - 16*s - 18. Let w be t(-9). Let a be (w/(-581))/((1 - -2) + -4). Is 1 at most a?
False
Let u be (656/(-14350))/((-98)/10 - 1). Which is smaller: u or 0?
0
Let i = -10128 - -10128. Let m = 236872/137 - 1729. Is m greater than or equal to i?
False
Let j = 9.8 + -0.8. Let t = -1072/9 - -355/3. Which is smaller: j or t?
t
Let u be (114/735)/((-234)/(-345)) - 60/390. Which is smaller: u or -1?
-1
Suppose 4*s - 2*s - 26 = -5*y, 0 = 5*s + 3*y - 27. Suppose 339 = -s*f + 36. Which is smaller: -103 or f?
-103
Suppose -4216 = -6*k - 430. Are 5684/9 and k equal?
False
Let v(r) = 2*r + 31. Let w be v(-13). Suppose -4*b = -8, w*b - 922 = 