e -6 = 3*u - 3*i, 0 = 2*i - 2 + 4. Let y be (-4 - -4)*u/(-9). Which is smaller: y or g?
g
Let c = -2 - -2. Suppose -6*u + 3*u = -3. Let g be (-14)/104*u - 19/76. Does g = c?
False
Suppose 2*r - 4*r - 22 = 4*i, -65 = 4*r + i. Let x(n) = -n**3 - 20*n**2 - 37*n + 42. Let g be x(r). Is g bigger than -196?
False
Let m = -248 - -101. Let k = -351 + 204. Is m at most k?
True
Let l be 6/1 + (-5 + 4)*5. Let k be 3/((2 - (7 + -2)) + 40). Is k not equal to l?
True
Suppose 123*g = 128*g - 610. Let p be -7 - (10 + -20) - g/42. Which is greater: p or 13?
13
Suppose 4*b = 5*b. Let p be 1/(7/3 - (811410/45)/37). Is p >= b?
False
Let m be 0 + (-3)/7 + (17 - 861/49). Is 34/201 smaller than m?
False
Let w = 5 - 0. Suppose 5*r - 36 = -a, 3*r - w*a = -a + 17. Suppose -61 - 35 = -16*n. Is n >= r?
False
Let h = 166 - 174.23. Let s = h + 7.8. Let o = s + -0.17. Is 0 at least o?
True
Let g = -63 + 63. Let a be 6/33 - (g - (-144)/308). Is a greater than -69?
True
Let y = 57 - 23. Suppose 0 = 5*z + 4*m - 20 + 15, 0 = 4*z + 3*m - 5. Suppose -19 = -z*a - 3*x + 143, 28 = a + 5*x. Which is smaller: a or y?
a
Let n = 11167 - 11164. Is n != -52/29?
True
Suppose -9234 = 8*n + 10*n. Let k = n + 3593/7. Is 2/9 at most k?
True
Let c = -2401.3 - -2400.99. Are 38 and c nonequal?
True
Suppose 0*d - d = 1. Let l(h) = -32*h**2 - 4*h + 11. Let b be l(2). Let w = b - -123. Do w and d have different values?
True
Suppose -89 = -390*j + 479*j. Let f be 4/78*9/14. Which is smaller: f or j?
j
Let s be ((-1056)/440)/(8946/37220) + 10. Which is smaller: s or 0?
0
Let m = -9363 + 9367. Which is smaller: m or 252/67?
252/67
Let i be (-231)/84 - (-21)/6 - (-2)/8. Which is bigger: -1/2761 or i?
i
Let m = -5423 - -5062. Which is smaller: m or 0.2?
m
Let u be (3 + 465/8)/((-12)/(-1008)*-3). Is u greater than -1711?
False
Let c = -5 + 5. Let h = -3158735/98 + 32232. Which is smaller: c or h?
c
Suppose -5*l - 30 = -2*b + 3*b, 0 = 4*b. Let s be (l + (-2842)/(-474))/(1 + -2). Which is greater: 1 or s?
1
Let z = -382 - -391. Let p be (4/z)/(44/594). Which is smaller: p or 21?
p
Let v = -0.236 + 0.236. Let b = -186 - -186.068. Which is smaller: b or v?
v
Let c be (2/24)/(1548/(-27)). Let h = 775/688 + c. Let f = 37 + -36. Which is smaller: h or f?
f
Let w = 18886 + -18861. Is w bigger than 29?
False
Suppose 5*w - 2*x - 41 = 0, 4*w - x - 42 + 11 = 0. Suppose -w*z + 4 = 102. Let c be (z/(-70) - 14/20)*-2. Is c <= -1/81?
False
Let a be 21135/3696 - 0/(16/4). Let o = 63/11 - a. Is o >= 1?
False
Suppose -2*b = -8*i + 3*i + 11, -20 = 3*b - 4*i. Let v(m) = 3*m**2 + 10*m - 9. Let s be v(b). Is s at most 103?
True
Let y = 705 - 709. Suppose 3*n - 5*n = 166. Let o = n + 159/2. Is o less than y?
False
Let d be (-5400)/(-504) - (-3 - -13). Which is greater: d or 1?
1
Let q be 10 + (-2 - (-1 + 2)). Let f(u) = -u**3 + 6*u**2 + 8*u - 7. Let b be f(q). Let j be (-2)/(-42) - -5*(-12)/180. Is b >= j?
True
Let c be 10/((-110)/3753)*-1. Let m = c + -341. Which is smaller: m or 2/19?
2/19
Let y be (1617/(-2) - -2)/(165/(-330)). Is 1613 less than y?
False
Suppose -s + 2*m + 634 = 190, s - 5*m - 459 = 0. Is 439 less than or equal to s?
False
Let m = 117 - 113. Suppose -2*g = -3*l - 310 + 25, -l = -m*g + 575. Is g at least 145?
False
Let c = -7964 - -7979. Which is smaller: c or -7?
-7
Let v be 7/(1001/26) + 26/(-22). Is -2/28971 >= v?
True
Let r = 848 + -853. Suppose -4*v = 3*x - 22, -13 + 4 = -v + x. Suppose -v = -4*a - 19. Is r equal to a?
False
Let n = 10426 + -10386. Is n != 31?
True
Let q(i) = 2755*i + 9761. Let s be q(-10). Is s at most as big as -17791?
False
Suppose 0 = h - 4*t - 15, 0 = -7*t + 2*t. Let z(x) = -x + 10. Let q be z(h). Which is greater: -6 or q?
q
Let k(u) = u**3 + 8*u**2 - 10*u + 2. Let f be k(1). Which is smaller: f or 1/167?
1/167
Let g(t) = t**3 + 28*t**2 + 2. Let q be g(-28). Suppose 5*r + q = -3*f - 2, -9 = 3*f. Let a = -97 + 1747/18. Which is smaller: r or a?
a
Suppose 0*g + 480 = 5*d + 5*g, 2*g = 4*d - 360. Let j be d/36 + -3 - -1. Let o(z) = -3*z - 8. Let q be o(-3). Which is bigger: j or q?
q
Suppose 0*j + 3*j = 0. Let s = 4527/69283 + -24/877. Are j and s equal?
False
Suppose -40 = -4*x - 2*i, -3*i - i = -x - 8. Let q be 23/92 + 1318/x. Let c be 280/q - 1/3. Are c and 0 non-equal?
True
Let g(f) = 4*f + 1. Let y be g(1). Suppose -c - 3*l - 2 - y = 0, -2*c = 3*l + 5. Let i be (2 - (-5 + -2))*(-22)/(-231). Which is smaller: i or c?
i
Let l be (-6388 - 21) + (-14)/(-2) - 9. Which is bigger: l or -6412?
l
Let i be (0 - (-55)/45) + 4/(-18). Let t = -5913 - -1300863/220. Which is bigger: i or t?
i
Let q = 0.29 + -0.39. Suppose 17*y = 22*y - 685. Let t = -97 + y. Do t and q have different values?
True
Let s = 9 - 21. Suppose 5*m + 5*b = 95, 5*m - 20 - 73 = -3*b. Suppose -3*r - 50 = y - m, 0 = -2*r + y - 23. Which is smaller: s or r?
s
Let r(j) = j**2 + 80*j - 9. Let g be r(0). Suppose 2*f = f + 39. Suppose -3*o = 3*h + f, 2*o - h + 8 = -9. Which is smaller: o or g?
o
Let h = 69310 - 345413/5. Let p = h - 229. Which is smaller: p or -3?
-3
Suppose -534*h + 25537 = -24628 - 99889. Let d(z) = 36*z**3 - z**2 - 2. Let r be d(2). Does r = h?
False
Let q = -61 - -75.1. Let a = q + -0.1. Let k(c) = -8*c**2 + 14*c + 133. Let r be k(5). Which is greater: r or a?
a
Let p be (2/25*15)/((-2)/(-130)). Suppose -t - t = -p. Suppose -5*g + 107 + 7 = 3*f, 5*f + 4*g = 190. Is f != t?
True
Let v = -8 - -13. Suppose -v*p - 7 = -4*t + 5, -4*t - 16 = 2*p. Let j be (35/4 - -4) + (-1)/p. Which is smaller: j or 11?
11
Let x be (-1815)/(-10) + 8 - 42/(-12). Is 259 less than or equal to x?
False
Suppose -2*u = 4*l - 1072, -5*l - 114 = -79. Which is bigger: u or 547?
u
Suppose 0 = 5*m + j - 3084, 2*m - 1240 = -44*j + 42*j. Which is smaller: 614 or m?
614
Let x(y) = -25*y**2 + 7*y - 34*y + 3*y**3 + 0 + 19 - 2*y**3. Let i be x(26). Is i >= -5?
False
Let d = -0.29 - -1.39. Let z = -344/135 + 58/27. Does z = d?
False
Let v = -168661/58 + 2908. Let s = -90 + 632/7. Are v and s equal?
False
Let d = 22.232 - 22.5. Let y = -0.168 - d. Which is smaller: 0.08 or y?
0.08
Let j = 0.099 - -0.001. Let r = -8.3 - -8. Let a = 16.3 + r. Do a and j have the same value?
False
Let u = 20349/1612 - 164/13. Let v = u + -507/1364. Is v <= 0?
True
Let g = -68.254 - 6.802. Let t = 0.056 + g. Which is smaller: -3/7 or t?
t
Let q(u) = u**3 - 4*u**2 - 25*u + 29. Let w be q(7). Let t = w - 0. Which is smaller: 7/55 or t?
7/55
Suppose -q + 4*q = -174. Suppose 20 = -5*w, s + 5*w + 350 = -5*s. Is q bigger than s?
False
Let b be 26970/29 - (-7 - -5 - -7). Which is smaller: b or 923?
923
Let u = -3.84 - -0.9. Let m = u + 0.14. Let d = m - -0.8. Is -14 smaller than d?
True
Suppose -2*n + 15*y - 304 = 18*y, n + 162 = y. Which is smaller: n or -153?
n
Let h = -10483 + 9945. Which is bigger: -529 or h?
-529
Let c = 66/2015 - 3/310. Is c less than 9?
True
Let k be 19 - ((-16016)/3885 - -23). Which is smaller: k or 0?
0
Let p = 0.217 - 0.327. Let n = 1 + -1.19. Let k = p + n. Is k >= -3?
True
Let b = 11.1 - 5. Let k = 14557.9 - 14563. Let r = k + b. Which is smaller: r or 12?
r
Let o(g) = -164*g**2 + 6*g + 18. Let r be o(5). Let a = r + 44624/11. Which is greater: a or 6?
6
Let v = 102 + -85. Suppose v*f - 105 = -20. Suppose 7 = -4*p + 5*m + 2, 5*p - 5 = -f*m. Is p > 2/19?
False
Let u(f) = -f**2 + 4*f + 49. Let i be u(9). Let k be -6 + i + (-215)/(-108). Which is smaller: 1 or k?
k
Let o = 823 - 826.62. Let z = 3.65 + o. Let h be 1/(-2) + 15/42. Which is smaller: z or h?
h
Let k(h) = 9*h**2 + 16. Let l be k(4). Let d be 8/(l/1316) - 9. Is 56 less than or equal to d?
True
Suppose 12*b = -b. Let q be 49/112 + 0 + b/(-3). Are 1 and q nonequal?
True
Let y(g) = -13*g**3 - g. Let t be y(-1). Let p be 4/t + 6/126. Let s = -271/715 + -3/143. Which is smaller: p or s?
s
Let o(f) = -6*f - 62. Suppose -39*l = 4*l + 473. Let q be o(l). Is 0 < q?
True
Let t = -2.33 + 2.43. Let k = 0.5 + -12.5. Which is smaller: t or k?
k
Let i(z) = -15*z - 79. Let r be i(-5). Let v be (-76)/2109*6/r. Suppose -4*n + 12 = -5*p + p, 2*n - 8 = 0. Is v < p?
True
Let c = -30353 - -30352. Which is smaller: c or -24/191?
c
Let c = 1010 - 1010.1. Let y be 44/(-77) - 44/70. Which is smaller: c or y?
y
Let q = 2 - 1. Suppose -3*d - q = -4*d. Let y = -0.0604974 - -52.0604974. Are d and y equal?
False
Let o