 - 10. Which is smaller: u or d?
d
Suppose 0 = -2*k - 2*k + 8. Let z = -86 - k. Let h be 16/z + 94/(-88). Which is smaller: h or 0.1?
h
Let t be 3/(-6)*(-10 - 0/6). Are t and -11 unequal?
True
Let f = 44825/6 + -7422. Which is greater: f or 49?
49
Suppose 9*l = 10*l - 18. Let h be (-36)/162 + (-176)/l. Is -10 > h?
False
Let h be (-3)/18 + (-1379)/126. Which is greater: h or -10?
-10
Suppose 0 = 13*o - 2479 + 113. Is o at least 182?
True
Let y = 14 + -29. Let q be (-1)/7*5/y. Let k be 5/(-10)*(2 - 2). Which is smaller: q or k?
k
Let x be (56/12)/(4/66) + -2. Let q = 1651/22 - x. Which is smaller: q or -0.2?
-0.2
Let c(o) = o**2 + 9*o + 6. Let v be c(-6). Let t be v/9*77/(-4). Let f = 27 - t. Which is smaller: 0 or f?
0
Suppose 3*g - 2*g = -6. Suppose -10*r = -5*r - 80. Suppose 5*j - j - r = 2*u, -4*u = 2*j + 22. Is g greater than or equal to u?
True
Let q(b) = -28*b + 16. Let f be q(1). Are -15 and f equal?
False
Let p = 17.5 + -17.4456. Which is smaller: p or -1/3?
-1/3
Let g = -762 + 22108/29. Is 5 smaller than g?
False
Let d = 241 + -242. Which is bigger: -1.5 or d?
d
Let y be (-19)/(-2) - (-4)/(-8). Let m be 110/(-294) - (-3)/y. Suppose -7*c = 8 - 8. Is m <= c?
True
Let j be (-74)/(-1147) - 252/62. Suppose 0 = -0*d + 4*d. Is j > d?
False
Suppose -w = -5*g - 9, -3*w - 11 - 19 = 4*g. Which is smaller: -17 or w?
-17
Let t be ((-8)/(-5))/(6/(-15)). Let o be 3 + ((-52)/(-30))/(t/6). Which is smaller: -1/2 or o?
-1/2
Let p be (-1)/10*7/14. Let k = -47 + 32. Let v = -14 - k. Which is greater: p or v?
v
Let h = -0.8 + 0.9. Let n = 5 + 3. Suppose 16 = -3*c - n. Is h bigger than c?
True
Suppose -3*i = -5*f + i - 156, 0 = 4*i + 4. Let d be (-24)/f + (-570)/(-8). Is 70 bigger than d?
False
Suppose -3*d + 4*t - 6*t + 325 = 0, 0 = 2*t - 10. Which is greater: 1/4 or d?
d
Let u = 2433298368/53 - 45912690. Let m = u + 1400. Is m greater than or equal to 0?
False
Let d = -98 + 100. Suppose 4*t = -d*w - 2*w - 308, -393 = 5*w - 3*t. Is w at least as big as -78?
True
Suppose 0 = -167*y + 174*y - 595. Let t be 10*((-6)/10 - -1). Let g be y/(-25) + 3 - t. Which is smaller: -4 or g?
g
Let l = 1159/20 - 231/4. Is -4/3 at least l?
False
Let n = -26 - -21.2. Let u = -5 - n. Suppose 0 = 41*j - 17*j + 96. Is u bigger than j?
True
Let l be ((-3)/(-9))/(3*1/51). Which is bigger: l or 5?
l
Let d be (6/(-12))/(3/120). Do -136/7 and d have the same value?
False
Suppose -13*r - 48 = -15*r. Let j be r/96 + 5/44. Is j smaller than -1?
False
Suppose 0 = 4*l - 16. Suppose 5*j = -4*v - 3, l*j + 1 = 5*v + 15. Let y be ((-5)/(-6 + -4))/(0 + -14). Which is smaller: y or j?
y
Suppose 0*b = 4*b + 120. Let z = b - -26. Are -1 and z unequal?
True
Let z be 70080/252 - (-6)/2. Let f = z + -281. Suppose 5*k - 25 = -0*x + 4*x, 2*k = 2*x + 10. Which is smaller: x or f?
x
Let f(g) = -3*g + 50. Let c be f(17). Which is smaller: -1/144 or c?
c
Let g(y) = -5*y + 5. Let r(s) = -2*s + 2. Let k(x) = -3*g(x) + 8*r(x). Let p be k(0). Let b = p + 0. Is 1/5 less than b?
True
Suppose -g + 42 = 2*g - 3*j, 3*g = -2*j + 42. Let v = -12 + g. Suppose -5*x = v*s - 5, -25 = -x + 5*s + 3. Are 4 and x equal?
False
Let h(x) = -5*x**2 + 1. Let y be h(1). Which is greater: -6 or y?
y
Let o = -12.7 + 0.7. Let h = o + 10. Let r = -1 + h. Which is bigger: -2 or r?
-2
Let r be -3 + 1/(-10)*-34. Which is smaller: r or 0.34?
0.34
Suppose 0*b = -3*b - 15. Let a be -14 - (-3 - 9 - -8). Let y be (-4)/b*125/a. Are y and 0.1 equal?
False
Let c = 700 - 19609/28. Let m = c + 4/7. Let r = 5 - 10. Which is smaller: m or r?
r
Suppose 0 = 17*c - 841 - 2389. Is 190 smaller than c?
False
Let z = -48 + 42. Let q be (-20)/8*6/7335*z. Which is smaller: 1 or q?
q
Let t = 0.1 - 0.2. Let n(j) = 2 - 1 - 6 + 2 - j**3 - 3*j**2. Let o be n(-3). Which is smaller: o or t?
o
Let b be (2 + -5 + 0)/(-1). Suppose b*f = 5 + 7. Is f bigger than 9/2?
False
Let l = -41 - -40. Let n = 3.09 + -0.09. Which is smaller: n or l?
l
Let u = -73 - -51. Let n = -25 - u. Which is smaller: 5 or n?
n
Let f = 24 + -38. Let v = 1659.3 + -1659. Which is bigger: f or v?
v
Let a = -270 - -286. Which is greater: a or 0?
a
Let w(h) = h**2 + 10*h - 40. Let v be w(-13). Let z be (v/(-1) - 0)/((-18)/12). Are -1 and z non-equal?
True
Suppose -3 = 2*x - 19. Suppose -5*b = -b + x. Let n(q) = q**2 + 2*q + 3. Let c be n(b). Is c != 2?
True
Let i(t) = 7*t - 18. Let z be i(0). Let k be z/16*5/(75/(-4)). Suppose 3*u + 1 = -v + 3, 0 = -4*u + 5*v - 29. Which is greater: k or u?
k
Suppose -d - 3 = -2*j, -4*j - 5 = -9*j + 2*d. Let q(o) = o**2 - 13*o + 16. Let l be q(11). Let i be ((-9)/(-30))/(l/5). Is i < j?
False
Suppose 0 = 3*i + 3*h + 45, 2*h = -3*i + 7 - 51. Suppose 6 = p + 5*c - 3, 4*p + 4*c + 44 = 0. Which is smaller: p or i?
p
Let l be 605/5820 + 0 + 2/(-24). Which is bigger: l or 10?
10
Suppose -41 - 124 = r. Let m = r - -110. Which is bigger: m or -57?
m
Let m(x) = 3*x**3 - x**2. Let p be m(-1). Let s(w) = -w**3 - 5*w**2 - 3*w + 1. Let v be s(p). Is v greater than or equal to -16/5?
True
Let x(c) = 80*c**2 + 2*c - 9. Suppose v + n + 7 - 1 = 0, 2*v = -3*n - 14. Let s be x(v). Let h = -8825/7 + s. Which is bigger: 2 or h?
h
Let i = -733 - -730. Which is smaller: i or -8?
-8
Let y = -13145/845551 - -2/4249. Are y and 1 non-equal?
True
Suppose 5*x + 13*h = 12*h - 10, 4*x = -2*h - 14. Is -9/176 bigger than x?
True
Let k be (-966)/154*(-4)/6 + -3. Is k greater than 0?
True
Let q(p) = -8*p - 76. Let s(h) = -2*h - 19. Let t(f) = 2*q(f) - 9*s(f). Let z be t(-9). Let x be (2/(-4)*10)/(-3). Is x > z?
True
Let k = 1307/700 - 44/25. Let q = 42 - 63. Let i = 20 + q. Which is smaller: k or i?
i
Let s = 0.057 + -37.757. Let x = s + 37. Is x equal to 0.1?
False
Let w be -3*-12*(-3)/189. Suppose -5*r + 4*x + 0*x = -21, 9 = r - 2*x. Let g(k) = -k**2. Let o be g(r). Which is smaller: o or w?
o
Suppose -2*d + 0 = 4. Let t = -1942 - -9699/5. Does d = t?
False
Suppose t = -3*v - 14, -5*t = -2*t - 3*v + 102. Let f = t - -30. Is 1/74 less than or equal to f?
True
Suppose 19 = 4*z - 5*r, 9 = -4*r - 3. Let b = -584 + 287. Let t = 2373/8 + b. Are z and t unequal?
True
Let y = 406 + -467. Which is smaller: y or -1/3?
y
Let d be 22/66 - (-28)/(-78). Which is bigger: d or -1/3?
d
Suppose -415 - 10 = 17*r. Do r and 1/2 have different values?
True
Let o = -8803 + 44237/5. Let m = -89/2 + o. Is -1 less than or equal to m?
True
Let h(u) = u**2 - 8*u - 9. Let d be h(9). Suppose c + 0 - 4 = d. Let r be (6/c)/(6/(-36)). Is -11 equal to r?
False
Let y = 4297/3 + -1410. Let d = 27 - y. Suppose p + 0*p = m, 5*p = 3*m + 10. Are m and d equal?
False
Let q be -9 + 12/24 + 8. Which is smaller: q or -748?
-748
Let d be -3 + 3*(-1639)/871. Let n = d - -112/13. Which is greater: 0 or n?
0
Suppose -2*v = 2*v + 2*w - 40, -3*w + 51 = 5*v. Let b(u) = -u**2 + 11*u - 11. Let o be b(10). Let m be 9 + o + 0 + 1. Is v less than m?
False
Let x be (-6)/8*3434/51. Is x >= -51?
True
Let w = -27 - -31. Suppose i - 3 + 2 = 4*v, w*v - 3*i - 5 = 0. Which is smaller: -8/9 or v?
v
Suppose 2*d = -d + b + 12, -2*b = -4*d + 18. Suppose -1 - 5 = d*j. Let t be ((-2)/j)/((-3)/36). Do -12 and t have the same value?
True
Let m = -65 - -43.2. Let o = -22 - m. Is -7 < o?
True
Suppose -5*h = -7 + 2. Let g be ((-1)/3)/((-68)/(-8)). Is g != h?
True
Let t = -1582 - -1582.03. Is 11.9 bigger than t?
True
Let d = -11.52 - -3.52. Which is smaller: -1 or d?
d
Let q = -12 - -12. Let w be (1/5*q)/(1 + -3). Let x be (1/6)/(1/3). Is w less than x?
True
Let f = 46 + -39. Which is smaller: f or 0.04?
0.04
Let z be (69*(-4)/84 - -3)/(-1). Let o = -6.8 - 0.2. Which is greater: o or z?
z
Let x(y) = 4*y**2 - 113*y - 34. Let j be x(28). Which is bigger: -68 or j?
j
Let j = 223 - 223. Which is smaller: j or 1/491?
j
Let a = 464.8 - 464. Which is bigger: a or -29?
a
Let z be (-2)/(-4) - (-1)/(-2). Let y = -290251/25 + 11610. Is z less than y?
False
Let k be 204/15*91/12. Let t(l) = -2*l**2 + 4*l - 7. Let r be t(-6). Let c = r + k. Is -1 greater than c?
False
Let r(o) = 155*o - 1206. Let q be r(8). Let t be 31 + 2 - (1 - 1). Which is smaller: q or t?
t
Let x = 455/12 + -33819/892. Which is bigger: -1 or x?
x
Suppose -q = -5*h - 6 + 2, 0 = 5*q + 3*h - 20. Suppose q*s - 4*z = -2*z + 26, 3*s - z = 20. Is s != 6?
True
Let s = 14.8 - -4.2. Which is smaller: s or 17?
17
Let m 