aller: b or 1/9?
1/9
Let g be 31/2*(3 - 1). Let s be (-8 - -1 - 7)*80/(-35) + 3. Suppose -4*r = s - g. Is 5 < r?
False
Let o(y) = 10*y - 35. Let b = 143 + -138. Let d be o(b). Suppose -5*n - 5*a + 0*a = -105, -3*a - 39 = -3*n. Which is greater: d or n?
n
Let f = -10673/6218315505 + -7/150219. Is f greater than or equal to -1?
True
Suppose -2*b + 18 = 2*b + 5*v, -b - 4*v = -10. Let a be 11/b - 6/(-12). Suppose 1 = -a*q - 5. Is -9/11 > q?
True
Let t = -1597/7033 + -2/541. Let b be ((-4)/32 - 2/16) + 0. Are b and t equal?
False
Let x = 6352 - 6320. Which is bigger: 16 or x?
x
Let y be 4 - (3 - 473)/2 - -1. Let i = y + -234. Is 9 less than or equal to i?
False
Let i(a) = -305*a - 563. Let f be i(-2). Which is bigger: 50 or f?
50
Suppose -3*p + 41 = -5*x, -2*p - x = -22 + 12. Let r = 8.89 + 0.11. Let q = r + -7. Which is smaller: p or q?
q
Let k(d) = -6*d - 22. Let l be k(-4). Suppose -5*z + 4 = o, 3*o - l*z - 36 = -7. Let w = 16 + o. Do w and 25 have the same value?
True
Let g(c) = 74*c + 24. Let r be g(-1). Let w be r/420*(-12)/(-195). Is 1 greater than w?
True
Suppose -15*n - 1845 = 7*n + 5811. Which is smaller: -345 or n?
n
Suppose 185*x = 187*x - 40. Let v be (-70)/x + 2*(0 + -1). Let f be (2 + -3)/((-2)/(-12)). Is v at least f?
True
Let f(d) = 20 + d**3 + 32*d**2 + 7*d + 39*d**2 - 77*d**2. Let h be f(5). Which is smaller: 17 or h?
17
Let s = 4/537 + 20386/2685. Let y = s - 8. Is y equal to 131?
False
Suppose 14*a = 13*a - 6. Let w be a/((-9)/2 + 3) + -29. Let k = w + 20. Which is smaller: -11 or k?
-11
Let x = -6961/20937 - 6/6979. Which is greater: -17.31 or x?
x
Let s be ((-148)/222)/(4/6). Is s at least as big as 1/2984?
False
Let s be (-385)/(-4686)*9/(189/(-20)). Is s greater than 0?
False
Let l be 6 + 224/(-36) + ((-190)/(-45) - 4). Which is smaller: -2/3199 or l?
-2/3199
Let b be 12*(6 + 100/(-15)). Let y be 39/(-60) - 45/75. Is y equal to b?
False
Let p = 20 - 15. Suppose -4 = 3*c - p*c + 3*q, -5*q = -5*c. Suppose t + 8 = -0*t. Which is smaller: t or c?
t
Suppose 39*v + 41*v - 274517 = -70597. Which is bigger: v or 2551?
2551
Let c = 141.46014 + 0.30086. Let u = c - -0.239. Is u bigger than 0?
True
Let m be (-3600)/(-1755)*3/14 - (-2)/(-7). Which is smaller: m or -398?
-398
Let y = 5364 + -5365. Is 4/2771 less than y?
False
Suppose -n + 2 = n. Let m be (-84)/21 - (2 - n). Let a be 4*m/(-100)*7. Is a at least as big as 1?
True
Let q(x) = -310*x - 308. Let f be q(-1). Let g = -0.0118 + -213.9882. Does f = g?
False
Let v be ((-723639)/595)/((-34)/(-20) + 2/(-10)). Which is smaller: -812 or v?
-812
Suppose -3*u - 27*s = -31*s - 565, 2*s + 760 = 4*u. Which is smaller: 195 or u?
u
Let r(c) = c**3 - 8*c**2 + 3*c - 4. Let m be r(8). Let p = 4 + m. Let q be (5/(-2))/((-12)/p). Is q less than 11?
True
Let h = -14714.6 + 14715. Let u = -1 + 1.09. Let y = 0.09 - u. Which is smaller: h or y?
y
Suppose 40*c = 6*c - 4*c. Suppose 2*y = 5*m + 756, 135 = -m - 6*y + y. Let u be 3/m*14/63. Which is bigger: c or u?
c
Let w = 66200977/11960 + -27676/5. Which is bigger: w or 0?
0
Suppose 3 = -l, 4*u + 5*l + 1191 = 8*l. Let i = -306 - u. Which is greater: -86/19 or i?
-86/19
Let r = 8860 + -5269. Which is smaller: -0.1 or r?
-0.1
Let a be 2/(-3) - (-4)/(-3). Let s be (104/(-6))/((-4)/(-3) + a). Let u = s + -18. Which is smaller: u or 7?
7
Let l be -1721*(20/(-14) + 136/56). Which is smaller: l or -1714?
l
Let h(s) = -1983*s - 3960. Let v be h(-2). Suppose -3*r + 3*z - 5 = -2*z, -z = 5*r - 29. Let p(x) = -x**2 + 8*x - 7. Let a be p(r). Is v at least as big as a?
False
Let g be (-2*7/(-56))/(1/8). Suppose -2*t - 6 = -g*v + 6, 5*t + 2*v - 5 = 0. Is t at most as big as -7/17?
True
Let f = 28 - 10. Let d = -147 - -152. Suppose 37 = 3*q + d*z, 3*z = -q - q + 26. Which is smaller: q or f?
f
Let l(u) = u**3 + 5*u**2 + u + 4. Let q be l(-5). Let o be (-15)/(-20)*12/63. Which is bigger: o or q?
o
Let g be ((-2522)/(-39))/((-2)/(-3)). Suppose 92*t = g*t - 5. Is t <= 3/14?
False
Let h be -231 + 2 + (-1 - 3)*(-2)/(-4). Which is smaller: -244 or h?
-244
Let p be (2/(-3))/(16652/(-2082) - -8). Is -323 > p?
True
Suppose 3*r = 5*r + 4*n + 24, -3*r = -4*n + 76. Let x be (-524)/r + 32/40. Which is smaller: 26 or x?
26
Let l(y) = -9*y - 59. Let r be l(-7). Suppose 3*z + 45 = 3*b, r*b = -0*b - z + 65. Is b <= 16?
True
Let m = 0.19 + -11.19. Let l = m + -21. Which is bigger: -0.4 or l?
-0.4
Let l(c) = c**3 - 10*c**2 - 12*c + 103. Let g be 20/(-5) - (-7)/((-7)/(-11)). Let i be l(g). Is i at most -126?
True
Suppose -10 = 3*i + 5*d, -8 + 3 = -5*d. Let r be -6*(4 - (-39)/(-12))*2. Is i at least r?
True
Suppose 86*q = -130*q + 1080000. Which is bigger: 5002 or q?
5002
Let d be 19616/(-48) + 0 - 1/3. Let m = 328 + d. Is m at least -80?
False
Suppose -4*b = q + q, 2*b - 5*q + 12 = 0. Let g be b + (-5)/((-285)/81). Let l be 17 + -23 - 3 - -9. Is g not equal to l?
True
Let i be (-2)/15*(-1 + (-367)/(-12)). Let c = i - -3/2. Which is smaller: c or -1?
c
Suppose -64*z + 10668 + 10716 = 35*z. Is 217 at most as big as z?
False
Let t = -0.188 + 0.2. Let o = -0.052 + t. Let h = -3.36 + o. Which is smaller: h or 0?
h
Let a(x) = -x**3 - 13*x**2 - 15*x - 28. Suppose -7*n = -2*n, 0 = 2*i + n + 24. Let z be a(i). Let c = z - 39. Is c <= -31?
True
Let y(u) = -u**3 - 7*u**2 - 7*u - 1. Let b be y(-6). Suppose -4*z = -16, -b*n + 152 = -n - z. Let m be 168/n + (-12)/3. Which is greater: m or 0?
m
Suppose -551*m - 20319 - 81306 = 804*m. Let r = -5 + 6. Which is bigger: r or m?
r
Suppose -315*u - 68229 = -182*u. Which is greater: -8 or u?
-8
Let h = 694 + -493. Let n(f) = -578*f + 39503. Let o be n(68). Which is greater: o or h?
h
Suppose 60*s - 2280 = 50*s. Do 230 and s have different values?
True
Let f = -6627 - -6577. Which is smaller: -49 or f?
f
Let p(l) = -21*l - 45. Let q be p(-3). Let f be ((-1)/((-3)/q*-327))/2. Which is greater: f or -1?
f
Let f be (-45)/240*(24/27)/2. Let l be 2/8 + (-33)/90. Let x = l + f. Which is smaller: x or -10?
-10
Let k(w) = -w**3 + 16*w**2 + 150*w - 79. Let r be k(-7). Is 425 < r?
False
Let j = 2.2583 + 1097.6417. Is -1 bigger than j?
False
Let n = -313 + 327.8. Let s = n - 14.9. Let w = 0.12 - -0.02. Which is bigger: w or s?
w
Let k = -32679 + 32762. Which is smaller: 103 or k?
k
Let f = 0.873 + 1.127. Let r(j) = -j**3 + 10*j**2 + 16*j - 5. Let w be r(12). Are f and w equal?
False
Let h = -1.1565 - -0.7465. Let r be ((-10)/(-105))/((-2)/6). Which is greater: r or h?
r
Let o be 27/(-21) + 1 + (-103)/7. Let n(f) = -f**2 - 19*f - 16. Let q be n(o). Let k be 25/175 - q/14. Is k at least -21/8?
False
Let m be 1/(0 + -7 + -651). Let v = 655/1974 - m. Is 223 greater than v?
True
Let r be (-4)/14 - 1532/28. Let a be r/(-69) - (-12)/(-18). Suppose 0 = -25*b - 24 - 1. Which is greater: a or b?
a
Suppose 1016 + 666 = -98*z - 82. Are -1/18 and z equal?
False
Suppose 3*g - 4*k + 16 = 2*g, g + 12 = 3*k. Suppose -4*t + 13 - 157 = g. Which is smaller: -15 or t?
t
Let y(h) = h**3 - 19*h**2 - 147*h + 14. Let u be y(-6). Suppose 0 = -d - 7 - 57. Are u and d equal?
False
Suppose 7*o + 2 = 5*o. Let c = 2119 - 23315/11. Do o and c have different values?
True
Let x = 671 + -670. Is 4/1763 bigger than x?
False
Let q = -3 + 11. Let z = 18747 + -18757. Is q smaller than z?
False
Suppose 47*d + 59*d + 40281 = 6255. Is -322 bigger than d?
False
Suppose 2*p - 8 = 18. Let x = p + -10. Suppose 5*l + 3*u = -39 + 2, 0 = -x*l - u - 19. Do -6 and l have the same value?
False
Let q = -27 - -18. Suppose 152*i = 157*i + 25. Let j(k) = -k**2 - 6*k - 12. Let m be j(i). Is m equal to q?
False
Let u = -233.463 - -233.8. Which is smaller: u or 2/9?
2/9
Let f be 9 + 30/(-4) - 2/(-4). Suppose u + u - 3*g = 302, 304 = 2*u - f*g. Which is bigger: 155 or u?
155
Suppose -5*s + 3*z = -214, -3*s = 3*z - 63 - 75. Suppose 20 = -4*t - s. Which is smaller: t or -7?
t
Suppose -8*q + 142 + 82 = 0. Let r(o) = -o**3 + 4*o**2 - 2*o + 8. Let z be r(4). Which is smaller: q or z?
z
Let m be 3/(-2)*((-4)/62)/(15/30). Let k(a) = -8*a + 4. Let q be k(3). Let j be 14/10 - (-8)/q. Which is greater: m or j?
j
Let i = 155.6 + -167. Let l = 12.4 + i. Which is greater: l or 0.03?
l
Let b = -7/2 + 41/14. Let m(x) = 3*x**2 + 58*x - 452. Let i be m(6). Is i <= b?
False
Let b be (2*2/28)/(3410/216847015). Is b bigger than 9085?
False
Let 