 (-4)/(-20). Is u bigger than f?
False
Suppose -4*j - g + 6*g = 15, -12 = j - 4*g. Let f = -839 + 571. Let z = f + 7767/29. Which is greater: z or j?
j
Let z be (3 - (-28)/(-8))*-6 + 1. Let n(l) = -l**2 + 4*l + 15. Let d be n(6). Is z smaller than d?
False
Suppose 0 = -4*a + 106 + 22. Let q = a - 28. Suppose 4*v = -p - 89, 79 = -4*v + q*p - 3*p. Are -20 and v unequal?
True
Let q = 0.699 + -0.039. Let i = -381 - -381.16. Let l = i - q. Which is bigger: -2/35 or l?
-2/35
Suppose -4*z - 41 + 45 = -3*h, 3*h = 2*z - 14. Let i(g) = -g**3 + 4*g**2 + 2. Let b be i(5). Let y be (-8)/(-2 + -2) - b/h. Which is bigger: 0 or y?
0
Suppose -17*y = -31 - 3. Suppose y*q + q = -42. Suppose 5*z + 37 = -13. Does q = z?
False
Let f = 63 + -56. Suppose 6*n - f*n - 33 = 0. Let m = n + 24. Which is smaller: m or -11?
-11
Let y = 17258 + -17257. Let n(v) = v**3 - 19*v**2 - v + 17. Let q be n(18). Is q at least y?
False
Suppose -z = 2*i - 67, 217 - 48 = 5*i + 4*z. Suppose 0 = 3*f + 2*j + 12, 6*j = 4*f + 3*j + i. Let t be f/(-21) - 376/336. Do -1 and t have different values?
True
Let k be (-1 - 7/3) + 3/9. Let u(w) = -3*w + 8. Let d be u(-4). Suppose 0 = -2*z - 3*l - 10, 0 = -3*z - z + 3*l - d. Which is bigger: k or z?
k
Suppose 0*q + 376 = -2*q. Suppose 5*l - 771 = 4*x, 3517 - 2587 = -5*x - 5*l. Is q at least x?
True
Let s = 109/369 + -3/41. Let d = 16.92 + 0.08. Let l = -15 + d. Is s >= l?
False
Let v = 128643/14 + -20561/7. Which is bigger: 6253 or v?
6253
Let s be (4/(-3))/((-4)/6). Suppose 0 = 2*t + 3*q - 10, -3*t - 1 = s*t + q. Let a = -8307/133 + 258315/4123. Is t != a?
True
Suppose 30*a - 457 = 5*n + 29*a, a = -4*n - 362. Which is smaller: -80 or n?
n
Suppose -3*p - 5*c = -7, -3*c - 94 = -5*p - 37. Is p at most 268/31?
False
Let k be 11 + -3 + 2 + -1. Let j be ((-30)/k)/((-12)/198). Suppose 0 = -0*g - 5*g - j. Are g and -11 nonequal?
False
Let z = 229 - 367. Let a = 67 + z. Let y = 71 + a. Is 27 at most y?
False
Let k be ((12/20)/((-10)/3550))/(-3). Which is smaller: k or 67?
67
Let t be (2/8)/((-8)/32)*2/6. Does t = 0.0482?
False
Let j = -12118408/472703 + 2/42973. Is -27 greater than or equal to j?
False
Let x = 3.76023 - 0.05723. Which is greater: -3 or x?
x
Suppose -7631 - 5014 = 15*k. Let m = k + 547. Which is smaller: m or -295?
m
Let n = 907.9 - 967. Let s = n + 47. Let c = s + 12. Is c at most as big as -21/4?
False
Let b(d) = d**3 + 25*d**2 + 63*d + 399. Let z be b(-29). Is 0.1 greater than z?
True
Let f(l) = 8*l - 2*l - 5*l + 7. Let k be f(5). Suppose 0 = -k*n + 8*n - 176. Which is bigger: n or -43?
-43
Let v = 6451 - 9038. Is v >= -2587?
True
Let r = -82 - -135. Let m = r + -76. Let h = 24 + m. Is -0.08 greater than h?
False
Suppose 3*j - 765 = -756. Suppose -5 = j*x - 29. Let z(p) = 2*p - 1. Let n be z(5). Is n greater than x?
True
Suppose 21 = -2*z + 3. Let l(r) = -r**3 - 9*r**2 + r + 13. Let p be l(z). Suppose 3*o = 3*g + 9, g = 6*g - p*o + 11. Is 2/5 bigger than g?
False
Let n(m) = 4*m**3 - 202*m**2 - 103*m + 49. Let j be n(51). Let r be (-1)/1 + 2/14. Which is bigger: r or j?
r
Let u(h) = 2066*h + 496. Let c be u(4). Is c != 8760?
False
Let c be -6 + 23/(6*3/18). Suppose -4*f = -9*f - 215. Let q = 60 + f. Is q greater than c?
False
Let x be 26*(819/42 + -28). Let a = -3 - -3.1. Is a > x?
True
Suppose 3*w - 1804 = -2014. Is -55 < w?
False
Let m = 136 + -171. Let p be (-2*(-1)/10)/((-7)/m). Is p greater than or equal to -4?
True
Let p(y) = 118*y**3 + y**2 + 6*y + 6. Let w be p(-1). Let f be (26/w)/(1/(-18)). Which is smaller: -25 or f?
-25
Let f = 4746.10758 - 0.10758. Which is bigger: -1/3 or f?
f
Let z(u) = u**3 - u**2 + 45. Let l = -193 - -193. Let d be z(l). Let b = -0.1 - 0.9. Is b smaller than d?
True
Let h(x) = 4*x**3 - x**2. Let o be h(-1). Let j be (5 - 99/18)*4/(-16)*-38. Are j and o nonequal?
True
Let v(q) = q**3 + 8*q**2 - 3*q - 29. Let j be v(-8). Let g be 7/j*(7 + 3598/(-490)). Which is greater: 0 or g?
g
Suppose -282*p = -35*p + 30*p - 665354. Does 7 = p?
False
Let n = 469 - -1219. Does n = 1688?
True
Let r = 4914 - 4897.6. Which is smaller: -0.04 or r?
-0.04
Suppose -9*g + 365 = -4*g. Let j = g + -217/3. Let u = 0.1 - 2.1. Are j and u equal?
False
Suppose 0 = -11*y + 8*y - x + 18435, -18429 = -3*y + x. Which is greater: y or -0.1?
y
Let j = 670 + -643. Let z be 6/(-4)*18/j. Is -194 at most as big as z?
True
Let h = 167563/36 - 18681/4. Let j = h + 89/6. Let c be 0/(-2) + 3 - 5. Which is greater: j or c?
j
Suppose 5*x + 5 - 8 = g, -12 = 4*g + 3*x. Is 38 at least as big as g?
True
Let k = -1.9373 + 2.1373. Which is smaller: -96/47 or k?
-96/47
Let r = 1558 + -1961. Is r not equal to 1/6?
True
Let m = -5 + 14. Suppose -5*u - 3*z - 25 = 0, 2*u + 24*z = 21*z - 1. Let j be (u/(-9))/(m + -8). Which is bigger: 2 or j?
2
Let i be (-2514)/14 + 4/7. Let u = i - -179. Does -4/157 = u?
False
Suppose 10*g + 42 = -28. Let q be 69/(-18) + g/(-28)*12. Suppose -x + 2 = t + 1, -3*x - 2*t = -2. Is x greater than q?
True
Suppose 4*q - 32 = g, 4*g = 7*g - 12. Let r = 41 + -31. Let m be (-16)/(-40) + 26/r. Is m smaller than q?
True
Let h = -862.711 - -862.7. Is 5/6 smaller than h?
False
Let w(v) = 5*v**2 - 11*v + 21. Let n be w(3). Let h(g) = g**2 - g - 5. Let k be h(-5). Suppose -4*b = x + n, 5*b = x + x - k. Which is greater: b or -8?
b
Let u = 41691766 + -1709450765/41. Suppose 0 = 3*y - y + 4310. Let l = y - u. Which is smaller: l or 1?
l
Suppose -108 = -3*p + 5*v, 25 = -2*p + 3*v + 96. Let l(r) = r**3 + 7*r**2 + 14*r + 52. Let m be l(-5). Let x = p - m. Is x less than 1/7?
True
Suppose 0 = 5*z - 2*b + 4114 + 31925, -3*z - 21630 = b. Let n be 5 - (z/(-161))/9. Which is greater: -1 or n?
n
Let i(r) = 5*r - 6. Let g = 17 + -15. Let j be i(g). Suppose -13 - 7 = 2*d - j*v, 3*d = -5*v - 85. Is d less than or equal to -21?
False
Let p(o) = 8*o - 18. Let y be p(-6). Let i = y + 71. Suppose -i*t = -5*c, -2*c + 2 = -t - 1. Is 4 greater than c?
True
Let a be (20433/9)/((-2)/(-6)). Is 6811 at most a?
True
Let l be -11 + 14/((-112)/92360). Is -11556 greater than or equal to l?
True
Let q be (-2020)/(-15)*(2 - 2/4). Suppose 203*d - q = 202*d. Which is bigger: 200 or d?
d
Let u be 39*-4 - 8*1/(-2). Let r = 12 + -9. Let m be (r/(-10))/(u/32 + 5). Is 1/2 less than m?
False
Let s(o) = 7*o**2 + 44*o + 14. Let a be s(-6). Let f be a + (21/14 - 3). Are f and -100 non-equal?
True
Suppose 4*r = -r + 2*r. Suppose r = 7*h - 5 - 9. Let c be h*(-2)/1136*-4. Which is smaller: c or 1?
c
Let f = -69774 + 69758. Let x be 2/(-8) - (-55)/(-36). Let d = x - -98/45. Is d bigger than f?
True
Suppose 13 = -4*c - 5*f + 5, -4*c - 8 = 2*f. Let a be c/(-3 + 2 - -2). Let i be (a/(-5 + 3))/((-27)/3). Which is smaller: i or 1?
i
Let g(o) = 24*o**2 - 5*o + 4. Let s be g(1). Let b(k) = -6*k + 144. Let u be b(s). Is u at least 6?
True
Let o = 20/4379 + -104059/2649295. Which is smaller: o or -1?
-1
Let n(c) = -c**3 - 5*c**2 + 230*c - 70. Let w be n(-18). Which is bigger: 579 or w?
579
Let y = -9203 - -36465/4. Let j = 52385/604 + y. Is 1 < j?
False
Let h be 9/(-6)*2 + 1*-112. Let a = h + 194. Suppose s = 5*r - 157, 0 = 2*r + 7*s - 2*s - a. Is 32 smaller than r?
False
Let x = 4778 - 4740. Which is bigger: -2.9 or x?
x
Let n = 9920 + -9929. Which is bigger: 1424 or n?
1424
Let c be (6 - 66/12)*30*40/123. Which is smaller: 4 or c?
4
Let o be (3 + -4)*411 + -5. Let k be 64/o + (-73)/(-52). Let n = -0.03 - -0.43. Is k > n?
True
Let x(l) = -6 + 9 + 2 - l**3 - 5*l**2 + l. Let u be x(-5). Suppose u = -2*f + 3*f + 5. Which is greater: -8 or f?
f
Let m(c) = c**2 - 107*c - 26. Let b be m(6). Is b < -1/12?
True
Let d be (2359/35)/(1 + 12/(-15)). Suppose -7*f - 330 = -d. Which is smaller: f or -14/71?
-14/71
Let d(w) = 3*w + 3. Let j be d(-7). Let i = -180485 + 180484. Is j less than or equal to i?
True
Suppose -95*f + 93*f = -2*i - 122, -5*f = -4*i - 242. Is -62 less than or equal to i?
False
Let l = 4719 + -4714.9888. Let d = 0.0112 - l. Which is bigger: -16 or d?
d
Suppose 3*b + 36 = 7*b. Let j be b/15 + (-119)/15. Let c be 2/4 + 78/(-12). Do c and j have the same value?
False
Let r(o) = -23*o + 80. Let d be r(-11). Suppose -330*t + 576 = -d*t. Are t and -191 unequal?
True
Suppose d + 4 = -2*t, -5*d + t + 2 = -33. Let r be (-34)/((-2)/d*21/(-14)). Is r bigger than -66?
False
Let c = 9401 + -9402. Do c