et r be f(-5). Suppose 4*m - 5*m = r. Which is bigger: -10/9 or m?
m
Let r be (-108 - -94)/(5/118). Which is smaller: r or -331?
-331
Let t(k) = -k**3 + 17*k**2 - 7. Let d be t(17). Let v = d + 11. Suppose -4*h + v + 154 = -5*c, 152 = -5*c + h. Which is smaller: -29 or c?
c
Let w(m) = m + 12. Let l be w(-8). Suppose 3*b + l = -2*u, 4*b = 2*u - u - 20. Which is greater: -3 or b?
-3
Let b(c) = -2*c**3 + 5*c**2 + 7*c. Let g be b(-2). Which is smaller: g or 21?
21
Let p = 1812 - 1778. Which is smaller: 242/7 or p?
p
Suppose -3*w = -5*w - 4*p - 24, -p = 4*w + 69. Suppose 7*d = 16 + 33. Let f be (-1)/(-7) + (-120)/d. Is f less than or equal to w?
False
Let u be 0 + 5 - (-6)/(-7 + 13). Suppose -u*g + 90 = -0*g. Are g and 14 nonequal?
True
Let m = -1006 - -1058. Is m > 49?
True
Let h be 4/(-22) - (-21996)/(-143). Is h <= -151?
True
Let l = -62.9 + 59. Let u = l + 5.9. Is u <= -15?
False
Let z = 3059 + -1681. Which is greater: 1379 or z?
1379
Suppose y - 581 = -5*a, -a + 33 + 68 = 4*y. Let h = 156 - a. Is -1 smaller than h?
True
Let s = 865.9 + -915. Let k = s - -51. Is -1/4 > k?
False
Let q(h) = -h - 7. Let o be q(-3). Let f be ((-6)/o + -1)*(11 - -99). Which is smaller: 54 or f?
54
Let u = -135 + 117. Let h = -0.05 - 0.25. Is h not equal to u?
True
Let m be (27/81)/(((-2)/(-222))/(-1)). Do m and -41 have the same value?
False
Let c = 2501.2 + -2179. Let k = 284 - c. Let s = 38 + k. Which is smaller: s or -1?
-1
Let x be (6 + -5)*(-8)/(-2). Let y be (6 - 4)*(-2)/x. Is y at least as big as -12/11?
True
Let j be (-4438)/(-6)*20/(-70). Let p = 52619/249 + j. Let b = p - -93/830. Is 0 at most b?
True
Let b = -394 + 407. Which is greater: 34 or b?
34
Suppose 3*f - 2*w = 1, 0 = 2*f - w + 3 - 2. Let k be 45/(-6)*(-5 - (2 - f)). Which is greater: 76 or k?
76
Let k = -0.2 + 0.3. Suppose -5*d - 3*t + 20 = 2*t, -2*t = -5*d + 6. Let s be 1 + d - (-1)/(2/(-7)). Is k > s?
True
Let q(w) = w**2 - 10*w + 18. Let g be q(7). Let v = 9 + g. Is v greater than -9?
True
Let g be ((-4)/(-5))/(2/(-15)). Let o be (1/(-2))/(1/g). Let z(u) = u**2 + u. Let i be z(1). Is o greater than or equal to i?
True
Let u(b) = b**2 - 6*b + 2. Let g be u(4). Suppose k - 35 = 2*l, 0 = -l - l - 10. Let c = -31 + k. Is g greater than or equal to c?
True
Let m be (-122)/610 + (123/230)/3. Let i = -5 - -8. Suppose -j - 4 = -i. Is j greater than m?
False
Suppose -5*r = 9 - 4. Let z = 50/81 + -1042/1863. Which is smaller: z or r?
r
Let s = -192/5 + 39. Let h be (-3)/(-12) + 3/(-12). Suppose -2*z = h, -2*j + 2*z - z = 0. Which is bigger: s or j?
s
Let n be (3/(-18))/(1/(-134)). Let k = n - 475/21. Is k < 14?
True
Let l(b) = -b**2 - b + 26. Let o be l(0). Suppose -3*k + o = 7*s - 2*s, 0 = -3*s - k + 14. Suppose 5 + 15 = s*x. Are x and -0.1 equal?
False
Let b = 17509/2 - 8755. Let o = -3.57 + 0.37. Which is smaller: b or o?
o
Suppose -5*c + 35 = -0*c. Let p = c + -5. Let y be (-1)/(-6) + (-46)/(-12). Which is bigger: y or p?
y
Let r = 18 + -18.23. Let n = r - -0.13. Which is smaller: n or 14?
n
Let v = 10/23 + -7/69. Suppose 4 = -5*f - 1. Which is greater: v or f?
v
Let h = 2248/21 + -107. Let l be (36/378)/(1/(-3)). Let r = h - l. Which is bigger: 16 or r?
16
Let r = 0 - -4. Let y = r - 14. Let b = y - -9. Is -1 smaller than b?
False
Suppose 0 = p - 4*z - 68 - 6, -p + 50 = 2*z. Is 58 <= p?
True
Let w = 6.09 + -6.09. Which is smaller: 0.27 or w?
w
Suppose 0 = -5*n + 3*j - 18, -2*j - 4 = -6*j. Let a be ((-6)/3)/((-12)/(-30))*n. Is 16 at most a?
False
Suppose 8 + 22 = 2*v. Let p(k) = k**2 - 5*k - 9. Let r be p(8). Are r and v unequal?
False
Let b = 984 + -982. Is 400 <= b?
False
Let h = 471/104 - 35/8. Let b(r) = -r. Let d(f) = 16. Let q(a) = b(a) + d(a). Let k be q(16). Which is smaller: h or k?
k
Let o = 19.78 + 0.22. Let p = o - 5. Let g = -14 + p. Is g >= -2/11?
True
Suppose 0 = 3*r - 3 - 9. Suppose -4*w + 5*m + 24 = 0, -2*w - r*m + m = 10. Let g = 150 - 1499/10. Which is bigger: g or w?
w
Suppose 0 = r + 4, -101 - 39 = -4*w + 3*r. Suppose 24 = 7*x - w. Does x = 64/7?
False
Let k be -67*((-15)/5 + 4). Let n = -6 - k. Let b be 4/(-20) + n/(-20). Is b at most -4?
False
Let a(o) = 2*o**2 + 20*o - 32. Let i be a(-15). Is 120 at most i?
False
Let q = 14873/174 + -171/2. Do q and -1 have the same value?
False
Suppose -40 = 17*k - 21*k. Let g(x) = x**2 + 6*x + 2. Let t be g(-6). Suppose a - 30 = -t*a. Is k at least a?
True
Let p = -59229/5 - -11793. Is -53 < p?
True
Let d = 8 - 9. Suppose 4 - 2 = o. Let j(c) = -c**3 + 2*c**2 - 3*c + 3. Let g be j(o). Which is greater: g or d?
d
Let b = -116344/93 + 1251. Suppose -1464*m = -1400*m. Which is greater: b or m?
m
Let o be (0 - 1)*6/34. Suppose -2*n + 49 = -3*x + 48, 0 = -4*n - 4. Is x smaller than o?
True
Let g = -2053/1760 - -35/32. Let p = -211921 + 104900969/495. Let w = p - g. Is w less than 0?
False
Suppose m = c + 5 + 1, -6 = 3*c + m. Let y = -39 - c. Is y greater than -35?
False
Let w be (-3080)/(-39368) + (-4)/38. Which is smaller: w or 1?
w
Let x(f) = f**3 - 8*f**2 + 9*f - 8. Let i be x(7). Suppose i*z - z = 210. Let h be (9/2)/(z/8). Is h less than or equal to 1?
True
Suppose -15 = 8*n - 3*n. Let c(z) = z**3 + 6*z**2 + 7*z - 9. Let h be c(-4). Which is greater: n or h?
n
Suppose 2*h + 2*y - 4 = 0, -3*h + 5*y + 0*y + 6 = 0. Let f(q) = 3*q + 19. Let m be f(-5). Suppose m*s = 17 - 5. Does h = s?
False
Let g(q) = -q**2 + 19*q - 10. Let p be (1 + 18*-1)/(-1). Let i be g(p). Let x = 22 - -3. Which is greater: i or x?
x
Let w = 112060 + -5042494/45. Let f = w - 24/5. Is f != 9?
True
Let b = -1.2 + 11. Let x = 10 - b. Which is greater: x or -7?
x
Let c(z) = -z**3 - 2*z**2 - 3*z + 1. Let b be c(-2). Suppose 3*i - b*i = 4. Is i < -2/3?
True
Suppose 7*t - 3*t + 572 = 0. Let x = -7 - -14. Let l be t/x + 3/7. Which is bigger: l or -21?
l
Let f(t) = 0*t + 5*t + 2*t - 5*t + 25. Let b be f(-14). Is b at least as big as -2?
False
Let p = 0.033 - 37.433. Let a = p - -38. Which is smaller: -1/10 or a?
-1/10
Suppose q - 161 = -4*d + 2*q, -5*d + 196 = -3*q. Which is greater: d or -2?
d
Let p = -121 - -25. Let u = p - -96.4. Is u at most 7?
True
Let q be ((-1)/2)/(4/(-24)). Which is smaller: q or -1?
-1
Let m be 0/(-3) - (-208)/40 - 6. Which is bigger: m or -70?
m
Let c be -3*(1 - (-14)/(-6)). Let v = -10 + c. Let r be (v/4)/(18/180). Do r and -16 have the same value?
False
Suppose -5*v + 7*v = -64. Let t be 4/(-1)*(-8)/v. Is -2/177 bigger than t?
True
Suppose -3*o - 2*o - 30 = 0. Let n be -20 + 11 + (8 - 1). Which is greater: n or o?
n
Let r be (-2 + 1)*(588/(-910))/14. Is r at least -0.1?
True
Suppose 32*l - 20*l = 276. Which is bigger: 24 or l?
24
Suppose -6*h = -11*h + 5. Let y = h + 10. Let w be -3 - -36*1/y. Which is smaller: w or 0?
0
Let l = -0.164 + 0.17. Let w = l - 1.006. Let k = 0.2 + -0.1. Is k < w?
False
Let l be (-2 - -2 - 6) + (-36)/(-9). Let d be (l/(-12))/((-5)/(-3350)*5). Which is bigger: 21 or d?
d
Let z be (-10)/(-4)*(-38)/(-95). Let m be (-4 + 3)/(z/2). Are m and 2 unequal?
True
Let f = -261.486 - -0.486. Are f and -0.4 unequal?
True
Let l = 1855 - 1840. Suppose -3*o - 37 = -5*g, 2*g = 4*g + 5*o + 10. Suppose -g*b + 67 = -3. Is l smaller than b?
False
Let n = 39049/6 - 6490. Which is smaller: n or 18?
18
Let m(u) = -u**3 - 11*u**2 + 14*u - 24. Let x be m(-13). Are 132 and x nonequal?
False
Let f be 3/(-20) + 1/(-4). Let q(x) = 1 - 4*x**2 - 423*x + 0*x**2 + 429*x. Let r be q(3). Which is greater: f or r?
f
Let u be (-1146)/21 + (-8)/(-14). Suppose -g + 3*g = -8. Let m be g/1 + (-240)/u. Which is bigger: m or 0?
m
Suppose -44*l + 38*l + 6 = 0. Which is smaller: l or 7/69?
7/69
Let l = -25 + 14. Let v be ((12 - 7)/(-50))/((-4)/(-10)). Which is bigger: v or l?
v
Let j = 10.9 - 9.9. Is j less than or equal to -10?
False
Let k = -0.9 + 1. Let n = -103.5 - -102.5. Which is greater: n or k?
k
Let j(t) be the first derivative of t**3/3 - 5*t**2 + 13*t - 35. Let w be j(5). Which is smaller: w or -11?
w
Let a(v) = v**3 - 11*v**2 - 2*v + 12. Let r be a(10). Let h be r/6*2/(-4). Is 8 greater than h?
False
Let a = -58 + 64. Suppose 0 = 4*h - 38 + a. Is 3 less than h?
True
Let t = -551/22082 + 6/181. Is 0 > t?
False
Let f be 18/(-36)*14/4. Which is bigger: f or 6/13?
6/13
Let d = 64.99 + -65. Let u = -0.11 + 0.01. Which is greater: u or d?
d
Let p be (-90)/225 +