). Which is bigger: n or r?
r
Let u = -1576/70555 - -2/685. Let w = -0.441 + -0.559. Which is smaller: u or w?
w
Suppose 4*t - 4 = 0, 0 = 3*x - 5*x + 2*t. Let f = 9639/31 - 311. Is x smaller than f?
False
Suppose 0 = -5*o - 19 + 29. Do 15/17 and o have the same value?
False
Let y(v) = -v**3 + 10*v**2 + 17*v - 3. Let i be y(12). Let d = -347/4 - i. Which is smaller: 45 or d?
d
Let c be ((-10)/190)/(4 + 63/(-15)). Let k(j) = j**2 - 2*j - 4. Let p be k(3). Is c less than or equal to p?
False
Let v = -1393 + 1398. Is 54 greater than or equal to v?
True
Let g = 53461/20 + -14134/5. Let s(b) = 41*b - 9. Let m be s(4). Let t = g + m. Is 1 greater than t?
False
Let f = -110 - -108. Let x be 11/4 + (f - 27/(-12)). Which is smaller: x or 1?
1
Suppose -r - 218 = -4*s + 853, -3*r - 1077 = -4*s. Suppose -5*j + 3*h = -s, 0*h + 2*h = j - 59. Let y be 3/j*4/(-4). Which is smaller: 0 or y?
y
Let p be -12 - (-225)/(-300)*16/2. Are p and -157/9 equal?
False
Let w(q) = q**2 - 3*q. Let j be w(3). Suppose j = 5*u - 4*u + 4*o - 10, -2*u - 5*o + 29 = 0. Let i be -2*(-35)/u + -3. Which is smaller: i or 1?
i
Let n = 73456/273 + -3498/13. Is 0 less than or equal to n?
False
Let b be 12 + ((-6)/2 - -4). Let k = -10 + b. Suppose 0 = 3*f - k*i + 6, 3*f + 31 = -2*i. Which is smaller: -5 or f?
f
Let w(q) = 5*q + 23. Let s be w(-4). Let a be ((-2)/s)/(92*(-2)/(-24)). Suppose c = -2*c. Is a equal to c?
False
Let p = 822 - 823. Let n = 411 + -9047/22. Which is bigger: p or n?
n
Suppose 12*r - 5*r + 224 = 0. Let c = 32 + r. Are c and 7/11 non-equal?
True
Let k = -4 + 4.9. Let j = -1.2 + k. Which is bigger: j or 3?
3
Let i(a) = -7*a + 84. Let v be i(14). Which is greater: 11 or v?
11
Let y = -110 - -109. Let r be 28/(-3) - (-4 + y). Which is greater: -3 or r?
-3
Suppose -2*h - 5*w = 275, -4*h + 115 = -5*h + 2*w. Which is smaller: 1 or h?
h
Let x be (-18)/1 + (-48)/(-6). Which is greater: -7 or x?
-7
Let x = 11 - 6. Let w = 5.4 - x. Suppose 9*s = b + 10*s, -b - 6 = -5*s. Is w at most b?
False
Let c = -0.8 + 0.8. Let u = 0.11 + c. Let x = u + 0.89. Is x >= 0.13?
True
Let l(i) = -i**2 - 7*i - 5. Let q be l(-6). Suppose j + 2*j - 15 = 0. Let o = j + -34/7. Which is bigger: o or q?
q
Let z = -15 + 15.7. Let k = 0.8 - z. Let y = -230/3 - -78. Is y less than k?
False
Let l(y) = -y**3 + 8*y**2 + 11*y - 19. Let a be l(9). Is -1/14 smaller than a?
False
Let j(v) = 2*v**2 - v - 4. Let l be j(-3). Suppose -4*a + 43 = -17. Which is smaller: l or a?
a
Let v(r) = r**2 - 3*r - 2. Let s be v(5). Let k be -1 + -7 - (s + -8). Let x be ((-6)/(-4 + 1))/k. Which is smaller: -4/7 or x?
-4/7
Let z = -800/3 + 267. Let i = -5 - -5.05. Which is bigger: i or z?
z
Let c = 2092 - 48126/23. Let g(p) = -p**3 + p**2 - p. Let k be g(0). Is c > k?
False
Let u = 13 - 11. Let n be 195/20*-2*u. Let m be n/(-9) - (-3)/(-1). Is m > 0?
True
Let y = 166 + -165. Is y < 10?
True
Let b = 1137 - 1344. Which is greater: 1 or b?
1
Suppose 18 = 780*o - 774*o. Let l(i) = -i**3 - 8*i**2 + 10*i + 12. Let u be l(-9). Let g = u - 1. Which is smaller: o or g?
g
Let d = 14016/7 + -2006. Suppose 3*w = -4*q - 5, 0*q - 3*q = -2*w - 9. Let k = q - 6. Which is bigger: k or d?
d
Let a = 13/18 - 5/9. Let t(b) = 4*b**3 + 17*b**2 + 17*b + 13. Let n(v) = -v**3 - v**2 - v. Let j(r) = -5*n(r) - t(r). Let l be j(13). Is a >= l?
True
Let l = -15.9 - 0.1. Let b(o) = -8*o - 36. Let f be b(-5). Let s be ((-1)/f)/((-1)/1*1). Is l smaller than s?
True
Suppose -4193 = -5*c + 5492. Let a be c/(-637) + 0 + 3. Which is smaller: a or -1?
-1
Let o(w) = -w + 6. Let i be o(5). Suppose -17 = -2*m - m - 5*x, 0 = 3*m - 3*x - 33. Let z = m + i. Which is smaller: 9 or z?
9
Let u = -13898/259 - -376/7. Let j be (1 + -1)/((-8)/4). Is u smaller than j?
False
Let v = -1 - -5. Suppose -5*z = c + 21 + v, -z - 5*c + 19 = 0. Let g(u) = u + 12. Let q be g(-17). Which is smaller: z or q?
z
Let s = -6 + 11. Let z be 4*(s/(-2) - -3). Suppose -z*u = -7*u. Which is smaller: -3 or u?
-3
Let z(r) = 6*r + 1. Let j be z(-2). Let s = -4178/435 - 9/145. Is j at most as big as s?
True
Let x = -705.1 - -705. Is -15 greater than x?
False
Let n = -271 - -8941/33. Let q(t) = 54*t + 324. Let z be q(-6). Is n <= z?
True
Let q be (1 - -1) + 0 + 0. Let x be -4*4*(-39)/(-52). Let b(d) = -d**2 - 11*d + 13. Let i be b(x). Which is bigger: i or q?
q
Let w = 3/326 - 667/1630. Which is smaller: w or -0.911?
-0.911
Let l = -1112/3 - -381. Let u(s) = 13*s**2 + 4*s + 1. Let f be u(-1). Which is bigger: f or l?
l
Let t = 9/4 + -19/12. Which is greater: 15 or t?
15
Suppose -o - 8*v - 7 = -6*v, -2*o + 22 = -5*v. Is 17/18 <= o?
True
Let u = 256 - 255. Which is smaller: u or 11/32?
11/32
Let g(t) = 3*t - 19. Let s be g(6). Let h be (-3 - 24/(-9))/(s/3). Let q be 2/6 - 17/33. Is h at most as big as q?
False
Let p(h) = -h**2 + 8*h + 11. Let r be p(9). Suppose 4*u - 14 = -2*c, 5*c + r*u - u = -1. Is -26/11 equal to c?
False
Let b(u) = -2*u**2 - 13*u - 6. Let s(w) = -6*w**2 - 38*w - 17. Let r(g) = -17*b(g) + 6*s(g). Let i(k) = -k - 10. Let o be i(-5). Let y be r(o). Is y <= -17?
False
Let w = 5 - 0. Let t = w - 5. Is -7 greater than or equal to t?
False
Let g = 21.58 + -5.58. Which is bigger: 2/5 or g?
g
Let u(v) = 2*v**3 + 11*v**2 + 14*v + 11. Let s be u(-6). Which is smaller: -653/6 or s?
s
Let c be ((-45)/20)/(15/40). Let v be (-2)/5*(-10)/c. Which is greater: v or -1/3?
-1/3
Suppose -3*a - 2*g + 10 + 12 = 0, 4*g - 34 = -5*a. Let q be (-3 + a/4 + 1)*-2. Which is smaller: -2/13 or q?
q
Let p = -1105/3333 - 2/1111. Let i be 4/14 + 20/(-21). Let o = i - -1/2. Which is bigger: p or o?
o
Let h be 4/(-12)*183/2. Is -30 greater than or equal to h?
True
Let a be ((-10)/(-3) - -1) + -4. Is a >= -158?
True
Suppose 20 = 6*v - 28. Suppose -3*f - v*g = -3*g - 7, g = 5*f + 7. Is f less than -1/36?
True
Let t be 0 - ((-84)/(-220) - 2/10). Is t bigger than 12/13?
False
Suppose -2*a + 5*n = -660, -21*n + 660 = 2*a - 22*n. Is 329 at least as big as a?
False
Let l = 145 - 146. Is -5/4 smaller than l?
True
Let m = -0.02 - 0.18. Suppose -5*k - 25 = 0, -k - 24 = -4*q + 3*k. Let n be q - 72/20 - -3. Are n and m equal?
False
Suppose 17 = -3*p + j, -2*j - 51 = 5*p + 2*j. Let c(o) = o**2 + 9*o. Let t be c(p). Let k be 2/t + 116/224. Is k at least as big as 0?
True
Suppose y - 9 = -4*v + 4, 4*v - 16 = 0. Let r be (40/12)/5*y/13. Is 1 less than r?
False
Let y be (-117)/7 - 2/7. Suppose 3*u + 4*g = 47, 3*g - 6*g = 3. Let i = u + y. Which is smaller: -2/37 or i?
-2/37
Suppose -2*o - 3*z + 6 = -5*o, -4*z + 16 = 0. Let g be (1 - o/3)/(32/(-96)). Let w = -511/10 + 51. Which is smaller: w or g?
g
Let f = -56/23 + 3719/1518. Is 1 less than f?
False
Let s = 34 + -22. Suppose 7*p = 8*p - 3. Suppose -8 - 25 = -p*z. Is z bigger than s?
False
Let u be (-4)/14 + 25/14. Let c = u - 19/10. Let f = -2/279 + 847/1395. Which is greater: f or c?
f
Suppose 2*y = 3*k + 13, k - 25 = 5*y + 5*k. Let s = -11/17 - -10/17. Which is bigger: y or s?
s
Let r be (39/((-1560)/224))/((-4)/490). Which is smaller: 687 or r?
r
Let y be 2/6 - (-11)/3. Let g be 0/(2 - 1*y). Let h be (-273)/(-714) + 3 + (-14)/4. Is h less than g?
True
Suppose 7 = 3*y + 2*f + 71, 2*f - 128 = 5*y. Which is greater: -71/3 or y?
-71/3
Let p(q) = -27*q + 25*q - 7 - 19 - 3. Let t be p(-9). Which is smaller: t or -8?
t
Let p = -0.018 + 1.618. Let x = 2.5 - 4. Let o = x + p. Which is smaller: -2/17 or o?
-2/17
Let q(i) = -8*i**2 + 5*i - 2. Let y be q(1). Are y and -4 nonequal?
True
Let k(f) = f**3 + 10*f**2 + 12*f + 2. Let d be k(-8). Let w = d + -58. Is -25 at least as big as w?
False
Let m = 0 + 0. Let k be (-7)/(-490) + (-2)/(-10). Which is bigger: m or k?
k
Let q(c) = c**3 - 12*c**2 + 8*c + 7. Let z be q(11). Is z not equal to -1?
True
Let o = 22.9403 - -0.0597. Is 0.2 at most o?
True
Suppose 0 = -u + 3*u + 36974. Let n be u/(-7)*1/(-9). Let q = 293 + n. Which is bigger: 0 or q?
0
Let c be (-8)/(-24) - (-5)/3. Let r be (c/(-50))/((-4)/8). Let d = 4 - 4. Which is greater: d or r?
r
Let h = -72 + 70. Let k = 1.5 + h. Which is bigger: k or -18?
k
Let i = 18 + -11. Let j = -6.98 + i. Let o = 46 - 45. Is o less than j?
False
Suppose -1 = 5*z + 3*w - 12, -5*w - 15 = 0. Do z and -11 have the same value?
False
Let t = -1885/7 - -710659/2639. Which is bigger: -1 or t?
t
Let i be (-300)/(-45) + 2/(-3