(-36))/((-2)/(-56)). Which is bigger: 171 or g?
171
Let l = 72 + -71. Let o be 7/(147/(-24)) - (-1 - l). Is -1 at least o?
False
Suppose 6*n - 5*n + 5 = 0. Which is bigger: n or -4?
-4
Suppose 0 = 2*b + 38 - 44. Which is smaller: 4 or b?
b
Suppose -r + 4 = 4*v - 0, -4*v = 5*r - 20. Suppose v = 3*x - 0*x + 3. Let p = 78 - 781/10. Is x smaller than p?
True
Let m be 0*((-10)/(-2))/5 - 3. Let s(k) = k**3 - k - 1. Let o be s(2). Suppose o*y + 7 + 8 = 0. Are y and m nonequal?
False
Suppose -3*n = -0*n + 45. Let a = 36 + n. Which is bigger: 19 or a?
a
Let k(u) = -u - 4. Let s be k(5). Let c be 1/1*2/s. Suppose -a - 2 = 0, 2*h + 5*a - 10*a - 12 = 0. Which is bigger: c or h?
h
Let g be -6*-9*1/(-126). Does g = -17?
False
Let g be 4*5/(-15) + 40/(-6). Let k be 1 - 0*(-1)/1. Let w(p) = -8*p**2 - p. Let n be w(k). Which is smaller: n or g?
n
Let o = 25 - 16. Suppose 0 = -o*v + 4*v. Let r be (-3 - (-105)/18) + -3. Is v less than r?
False
Let p = -11 + -3. Let z = -13.8 - p. Let a = -9.8 - z. Which is greater: -0.1 or a?
-0.1
Let c be 5 - ((-86)/(-3569))/((-4)/(-846)). Is 0 at least as big as c?
True
Let a be -1 - (2/161 + -1). Suppose 0 = -413*v + 394*v. Which is smaller: v or a?
a
Suppose n - 2 = -2*v - 0*n, -4 = n. Suppose v*g - 2*y + 10 = 6*g, 20 = -5*y. Suppose -g*j + 24 = -2*j. Is 6 > j?
False
Let d be 13/(26/12)*2/4. Let p(z) = 2*z - 9. Let r be p(d). Are -8 and r equal?
False
Let w = -8 - -11. Suppose -w*l - 6 + 3 = 0. Let c be (-1)/(1 - 1 - l). Which is bigger: 4 or c?
4
Suppose 3*g + 3*o - 51 = 0, -8*o = -3*o + 20. Suppose 0 = 6*r - 3 - g. Suppose -r*p = -p - 6. Which is smaller: -0.06 or p?
-0.06
Let g be (-48)/108*(-154)/(-8). Let x = -23/3 - g. Does 2 = x?
False
Let q = -64 - -64. Let k = 23.1 + -30.1. Which is bigger: k or q?
q
Let v = 551.311 + -551. Which is greater: v or -0.1?
v
Let u = 280 + -232. Is -0.7 equal to u?
False
Suppose -2*h + 3*h - 2 = 0. Suppose 2*y + 3*y = h*f + 15, -4*y + f + 15 = 0. Let v be 1 - -3 - (0 - 2 - 0). Are y and v non-equal?
True
Let h = -626 - -627. Which is greater: 125 or h?
125
Let m(b) = -2*b**2 - 12*b + 5. Let x be m(-6). Suppose 2*v - x*v = 0. Which is bigger: -1 or v?
v
Let o be 1/(-3) + (-2185)/69. Let t be o/(-760) + 2/(-10). Which is greater: 1 or t?
1
Let z = -10826 + 10824. Let u = -6 - -13. Which is greater: u or z?
u
Suppose 34 + 6 = 5*t. Suppose 0 = 3*j, -5 = -k + 5*j - 0. Suppose 6*y - 7 = k*y. Is t smaller than y?
False
Let b = 12 - 2. Let c be (-14)/(-35) + 66/b. Which is smaller: 5 or c?
5
Let l = 0 + 0.02. Let y = 153 - 155.02. Let d = y + l. Which is smaller: d or -0.2?
d
Let g be (-13)/16 + 2 + -1. Suppose 4*o - 105 = 111. Let a = 54 - o. Is a equal to g?
False
Let d = 0.62 - 0.02. Let k = -0.6 + d. Let u = 2 - k. Which is bigger: u or 0.1?
u
Let p = 866 - 21642/25. Is p != 1?
True
Let v = -38 - 121. Is -159 smaller than v?
False
Let a = 8455/8 - 1054. Do a and 4 have the same value?
False
Let t be 1/(-6)*8*(-3)/4. Do t and -1/121 have different values?
True
Suppose -2*o - 6 + 26 = 0. Let g be (3 + 39/(-15))*o. Let d = 1 - -3. Is g > d?
False
Let v(x) = -x**2 - 7*x - 6. Let j be v(-4). Let m(n) = n**2 - 8*n + 12. Let b be m(j). Which is bigger: b or 2/85?
2/85
Let l = 1106.9 - 1107. Is -285 at most l?
True
Let t(a) = -2*a - 2. Let x be t(-20). Let j be 8 + -12 + 148/x. Which is smaller: j or 0?
j
Let w(a) = -4*a**3 + a**2 + 8. Let s be w(-4). Suppose 8*o = -2*o + s. Suppose 0 = -3*p + 9 + 72. Are o and p equal?
False
Let h = -3188/7 + 453. Which is greater: h or -3?
h
Let i(z) = -2*z**3 - 14*z**2 + 3. Let m be i(-7). Suppose -w + 29 + 16 = 5*n, 0 = -m*w + 5*n + 155. Which is smaller: 49 or w?
49
Let m be (-114)/84 - ((-20)/(-8) + -3). Let v(p) be the third derivative of -p**4/24 + 5*p**3/6 + p**2. Let q be v(5). Are m and q nonequal?
True
Let i = 770.816 - 771. Which is smaller: i or 0.3?
i
Suppose 2*n - 3*d = -d + 8, -4 = 2*n + 2*d. Which is greater: n or -2/67?
n
Let c(u) = 4*u - 28. Let f be c(8). Let d be (f/8)/(6/(-4)). Which is greater: -4/7 or d?
d
Let g = 24961/60 + -416. Is g at least as big as 2?
False
Let p = 2.9 + -92.9. Let b = p + 109. Is 2 less than b?
True
Let a be -2 - 3*(-4)/6. Let b = -81 - -74. Is a > b?
True
Let a be (-578)/(-930) - (-453)/(-755). Suppose -3 = -5*g - b + 3, -5*g + 5*b = 0. Which is bigger: a or g?
g
Let v(c) be the second derivative of c**3 - 33*c. Let q be v(-1). Let s be 0 - 0 - 52/10. Which is smaller: q or s?
q
Let i(t) = -t. Let a be i(2). Let u be (a/(-7))/(6/14). Suppose 2*k = -6*k. Is u >= k?
True
Let x = 399 + -398. Is x equal to 2/4227?
False
Suppose 35*p - 39*p + 24 = 0. Is 6 >= p?
True
Let k be (3/14)/((-7)/(-896)*12). Let c = 20/21 - k. Do 3 and c have the same value?
False
Suppose -r = -6*r + 6845. Are r and 1369 equal?
True
Suppose 26*f = -41*f + 26*f + 41. Suppose 0 = -5*b - 4*j - 9, -4 = j - 3. Which is smaller: b or f?
b
Suppose 3*k - 102 = -d, -4*k - 45 - 484 = -5*d. Is d greater than or equal to 105?
True
Let p(k) = 5*k**3 - k**2 + k - 1. Let c be p(1). Suppose 4*f - 12 = -c*j, 4*f + 2*j - 6 = 4*j. Suppose -3*z = -f + 5. Which is greater: 0 or z?
0
Let m = 253 - 255.7. Which is bigger: m or 0.03?
0.03
Let h = 30051045/988 + -121655/4. Let o = h - 42/19. Suppose -5*b = k - 3, 0*b + b + 5 = -3*k. Which is smaller: o or b?
o
Let n = 1264.0727 - 1264. Is n <= -1?
False
Let o = -84 - -84.041. Let f = 0.059 + o. Do f and -2/37 have different values?
True
Let u = -190 + 191.5. Let p = 30 + -30.4. Is u less than p?
False
Suppose -7*h + 9*h = 44. Let a = -3 + 25. Let z = a - h. Which is smaller: 3/8 or z?
z
Suppose -5*g + 63 - 143 = 0. Is -17 equal to g?
False
Suppose o + 0 = 2*y + 1, 4*o = -y + 4. Let l be (-24)/80*(-20)/2. Is o not equal to l?
True
Let v = -6/19 + 1606/1235. Which is smaller: 2 or v?
v
Let n(v) = -v**2 + 7*v - 6. Let x be n(6). Let k be -4 - 7/(28/880). Let z = k + 4255/19. Which is greater: x or z?
x
Let g = -97.3 - -95.3. Which is greater: g or 18.6?
18.6
Suppose -29 - 124 = 17*l. Which is greater: l or -8?
-8
Let g(w) = -w**2 + 11*w + 5. Let u be g(13). Is -20 != u?
True
Let y be 238/63 + (-6)/(-27). Suppose -c - 19 = 2*c - 5*f, 12 = -c - y*f. Let v(l) = -l**2 + 6*l. Let q be v(7). Is q greater than or equal to c?
True
Let t = -1172 + 1173. Is t less than or equal to 32/27?
True
Let x = 1.7 + 6.3. Let a = x + -6. Let k = 20.1 + -20.2. Is a <= k?
False
Let q = 0 - 0. Let r = 21074/93 - 680/3. Is q greater than r?
True
Let f = -386 - -386. Let b be (-8)/(-70)*(-1)/2. Which is greater: b or f?
f
Suppose 0 = 4*v + 18 + 42. Let r be (-1)/(-4) - v/(-156). Let a = -3 + 1. Is r at least as big as a?
True
Suppose 0 = -2*c - 4*h - 16, 15 = 5*c - 2*h - 5. Suppose -m + 4 = 4*m + s, -c*s = m + 1. Let v = 10/13 - 76/65. Is m smaller than v?
False
Let m = 744.0445 + -0.0445. Let n = -747.09 + m. Let o = n + 0.09. Is -1/4 at least o?
True
Let y be ((-2)/(-3))/(9/(108/32)). Let o = -2 + 2.3. Which is greater: y or o?
o
Suppose -5*m - 4*q + 6*q + 4 = 0, -4*m = -2*q - 2. Suppose -6 = 2*f - 5*p + m*p, -p = 3*f + 31. Let v(o) = -3*o + 4. Let h be v(4). Is f less than h?
True
Let l = 35 + -65. Let j = -29.98 - l. Which is bigger: j or 2?
2
Let b = 4/2525 + 6008/32825. Is 1 greater than or equal to b?
True
Let g = 32 - 15. Suppose 3*b + 22 = 2*z - b, 2*z + b - g = 0. Suppose 0 = -7*f + 4*f + z, 3*l + f - 6 = 0. Is -1/18 smaller than l?
True
Let m be 0*(2/11 + (-259)/(-814)). Is m less than -5/84?
False
Let i = 49 - 46. Let w be (-1 - i) + 3 + 1. Let v be (-2)/6 + (-13)/24. Which is greater: w or v?
w
Let c be (-24)/(-6) - 6/2. Let v be 1*c/2*0. Is v bigger than 0?
False
Let s(v) = 3*v**2 + 91*v - 32. Let m be s(-32). Is m smaller than 128?
False
Let r = 76 - 49. Let i = -28 + r. Does 8 = i?
False
Let m be 668*((-6)/5 - -1). Let w = -134 - m. Which is bigger: w or -3?
w
Suppose 410 = 30*i - 790. Which is greater: 20 or i?
i
Suppose -d - 3 = 11. Which is greater: -18 or d?
d
Let u = 158.4 + -158.3. Let y be 46/(-10) - (-2)/(-5). Are u and y nonequal?
True
Suppose -499 = -5*b + 4*g + 70, 4*b + 5*g - 488 = 0. Which is bigger: 115 or b?
b
Let w(f) = -f**2 - 22*f + 771. Let h be w(28). Are -629 and h unequal?
False
Suppose 5 = 9*s - 31. Let o = 572/15 + -169/5. Which is bigger: o or s?
o
Let l = -183/22 + 3623/462. Let w(m) = -m**2 - 3*m - 3. L