 = -f, -14 = 5*o - 8*f + 11*f. Let z be (-15)/10*(44/(-6))/o. Let h be 100/(-8) - 2/(-4). Is z less than or equal to h?
False
Let v = 2503 - 12476/5. Let j = 42/5 - v. Is j equal to -0.25?
False
Let r(d) = 25*d - 40. Let u(m) = -2*m + 1. Let p(f) = r(f) + 6*u(f). Let h be p(3). Suppose -3*i = -5*v - 100, 2*v = h*v + 5*i + 94. Does v = -22?
False
Let k be ((-3 - 2)/((-228)/(-8474)))/(-1). Which is bigger: k or 185?
k
Let r(m) = -128*m - 10*m**2 - 4*m**3 + 3*m**3 + 130*m + 0*m**3 + 21. Let q be r(-10). Which is greater: -4/57 or q?
q
Let s be (35*(-14)/(-49))/(141/(-9)). Which is smaller: -2 or s?
-2
Let u = -1420950 - -5716619/4. Let s = u + -8250. Is s greater than or equal to -45?
False
Let v = 43 + -48. Let k be (-4)/((-32)/(-20))*4/v. Suppose -5*c + 115 = -5*f, -16 + 84 = -3*f + k*c. Are f and -21 unequal?
True
Let z(d) = -3*d - 16. Let t be z(-6). Let q = -403 + 398.9. Which is bigger: t or q?
t
Let t(w) = -5*w**2 + 5*w + 43. Let c be t(11). Let f be c/15 - 2/10. Suppose 3*l = -2*l, -3*k + l = 108. Which is smaller: f or k?
k
Let u = 3 - -20. Suppose 0 = 42*i + 146 - 1154. Is u less than or equal to i?
True
Let b(p) = 4*p**3 - 3*p**2 - 3*p + 1. Let r be b(3). Let u = 68 - r. Let v be (6/9)/((-4)/(-6)). Which is greater: v or u?
v
Let z be (-3693 - 0)*6*(-12)/(-72). Is z bigger than 0?
False
Let j(k) = 12*k + 7. Let c(a) = 5 - 10 + 2 - 6*a. Let t(i) = -5*c(i) - 2*j(i). Let r be t(1). Which is smaller: 32/5 or r?
32/5
Suppose 0 = 5*k - 3*k + 34. Let i(j) be the first derivative of j**4/4 + 14*j**3/3 + 25*j**2/2 - 5*j + 83. Let c be i(-12). Is c at most as big as k?
True
Let w(s) = 2*s**2 - 129*s + 1378. Let a be w(51). Which is greater: a or -7/491?
a
Let r = -7747 - -12061. Which is smaller: r or 4312?
4312
Let a = -4033 + 4070. Let q = -6 + 10. Let r be (-6)/q + 632/16. Is a <= r?
True
Suppose 2*k - 36141 = -5*h, 0 = -2*h + 6*k - 1828 + 16264. Is h bigger than 7229?
False
Suppose 5*x - 61 - 24 = 0. Let s(t) = 2*t**2 - 6*t**2 - 9 + 3*t**2 - 7 + x*t. Let m be s(16). Do m and 1/34 have the same value?
False
Let l(j) = 3*j**2 - 18*j + 91. Let a be l(14). Let k = 438 - a. Suppose -3*u = -3 - 33. Which is greater: u or k?
u
Let f(z) = -3*z**2 + 55*z + 500. Let x be f(15). Let v be 6496/10 + 10/25. Is x smaller than v?
False
Let n(w) = -w**3 - 61*w + 299. Let k be n(9). Is -971 at most k?
False
Let m = -1972/3 - -181457/276. Which is bigger: 1 or m?
1
Suppose -f - 24 = 5*c, -24 = 4*c + 6*f - 4*f. Let v be c + 18 + -4 + -5 - -24. Are 268/9 and v equal?
False
Let v = 214221/75112 + -117/41. Which is smaller: v or 1?
v
Let p = 110 - 188. Let t be (p/(-8))/((-123)/328). Suppose -j = 3*j + 100. Is t > j?
False
Let l be 0*(63/(-14) + 5). Suppose 7*p + 0*p - p = l. Which is greater: 1/174 or p?
1/174
Let x(z) = z**3 - 3*z**2 + 3*z - 16. Let j be x(3). Let q(k) = 10*k + 78. Let a be q(j). Is 11 equal to a?
False
Let a be ((-11)/(-88) - (-2)/(-16))/(-3). Suppose a = -2*q - 5*i - 42, -q - 5*i = 14 + 7. Which is bigger: q or -19?
-19
Let i be (11 + 6162/(-162))*(-10)/(-75). Is -4 greater than or equal to i?
False
Let h(u) = 3*u**3 - 68*u**2 + 58*u + 17. Let o be h(22). Do 321 and o have the same value?
False
Let d = 41 - 45. Let v be (-38)/(-1 - (1 + 0)). Let q = -23 + v. Is d at most q?
True
Suppose -r = 5*r - 36. Suppose -25 = -5*w + t - r*t, 5 = t. Let o be -3 - (-188)/64 - 0. Which is bigger: w or o?
w
Let a = 2.05 - 0.15. Let s = a + -2. Which is greater: -15 or s?
s
Let c = 4 + -5. Let r = -1122 - -14670/13. Let j = r - 524/65. Is c less than j?
False
Let i = 19.04 + -0.04. Let t = -5.2 + 23.2. Let j = t - i. Do -10 and j have different values?
True
Suppose -4611*g - 16215 = -4542*g. Let t be 6/4 - 5/5. Which is smaller: g or t?
g
Let n = 429 - -70. Let y = -476 + n. Let g = -3 + 27. Is y not equal to g?
True
Suppose -8*i - 37*i = -63*i - 1836. Does 145 = i?
False
Let q(w) = w**3 + 17*w**2 + 21*w - 8. Let j be q(-16). Let i be (6 + 0)*(-11)/(j/(-16)). Are i and -2/13 non-equal?
True
Let p(m) = -m**3 + 7*m**2 - 6*m + 2. Let c be p(6). Let t = 945 - 942. Suppose -9 = -x - c*u, -x - x - u = -t. Is x < 3?
True
Let m(b) = -9*b - 12. Let f be m(-3). Let s be (318/(-12))/(1/2). Let p = s - -68. Are f and p nonequal?
False
Suppose 2074 = -4*a - c - c, 2078 = -4*a + 2*c. Let k be (-8 + (-20256)/(-2538))/(22/603735). Let i = a - k. Are 1 and i non-equal?
True
Let b = 1641.652 + -1643. Which is smaller: 3 or b?
b
Let u be (-3)/1 - (-2)/(798/1209). Let z be 8/(-2)*9/36. Which is smaller: u or z?
z
Suppose 6*a = 2*a + 4. Let b(q) = -23*q + 13. Let w be b(-1). Let z be -4 + w/20 + 1. Which is greater: z or a?
a
Let j(x) = 2*x - 10. Let l be j(6). Let r be -3 + 112 + (4 - l). Suppose -2*i - 5*w = -r, -4*w - 25 = -5*i + 203. Which is smaller: i or 49?
i
Let b = 44.9 + -328.9. Let a = b + 285.1. Let w = -0.2 - -0.3. Which is greater: w or a?
a
Suppose 9*o - 408 = -25*o. Suppose 3*d - o*p - 7 = -10*p, 2*d + 4*p = 10. Is -52 at least as big as d?
False
Let m be (1/3)/((-644)/36). Let p be -5*(-99)/330*4/(-6). Which is greater: m or p?
m
Suppose 16*x = -22501 - 105067. Are -7973 and x equal?
True
Let j = -559 + 196. Let i = -576 - j. Is -213 equal to i?
True
Let x be (5 - 21/4)*0. Let v be -54*12/(-198) - x. Let u = 32 + -28. Which is smaller: u or v?
v
Let j(b) = b + 15. Let y be j(-11). Suppose 236 = -y*v - 2*r - 0*r, 0 = 2*v - r + 114. Let q = 67 + v. Do q and 17/2 have the same value?
False
Let f = 17 - 17. Let m be 2860/(-8460) - (16/(-36) - 0). Which is bigger: f or m?
m
Let u be 13 + -13 - (-6)/878. Suppose 116*v = -30*v + 146. Is u less than v?
True
Suppose 5*b = -3*w + 57 + 125, b + 66 = w. Which is greater: w or 1431/22?
1431/22
Let h = -160317 + 1315400983/8205. Is h at least -1?
True
Let w be (-138)/((-32)/48 + 8/(-6)). Suppose -21*s + w + 120 = 0. Which is smaller: s or -10?
-10
Let q = -60238 + 60176.761. Let n = -61.2 - q. Which is smaller: 0.5 or n?
n
Let m = 44.009 - 44. Let n = -0.209 + m. Let v = 0.42 - -0.08. Which is greater: v or n?
v
Let g = 596 - 439. Is g < 158?
True
Let a = 3796863780/16097 + -235874. Is a smaller than 0?
False
Let r = 5816975926 - 1797443578901/309. Let j = 6415 - r. Is j not equal to -1?
True
Suppose 47*u + 252624 = -105*u. Which is greater: u or -1659?
-1659
Let w be -1 + -12 + -162 + -62. Is w not equal to -2617/11?
True
Suppose -161*f - 5488 = -72*f - 25246. Which is smaller: 883/4 or f?
883/4
Suppose -8 = 2*q - 14. Suppose -82 = -q*u - 5*s + 32, -4*u + 135 = s. Suppose 0 = 6*h - 9*h - u. Is -0.1 at least as big as h?
True
Let f = -17488/689 + 1280/53. Is 1.4 bigger than f?
True
Suppose -i = 2*i - 6. Let p be 1 - 8009/(-2)*i/17. Let o = p - 472. Is o greater than 1?
False
Let q(g) = -523*g + 3835. Let a be q(7). Which is smaller: a or 345/2?
345/2
Suppose 0 = 3*c + a - 40, -a + 6 + 22 = 2*c. Let x = c + -9. Suppose w = i + 1, -5*w - 4 = x*i + i. Is -3/38 bigger than w?
False
Let f(g) = -3*g + 22. Let d be f(2). Let y(o) = -o**2 - o + 1. Let z(m) = 5*m**2 - 5*m - 7. Let l(p) = -6*y(p) - z(p). Let v be l(-11). Which is bigger: v or d?
d
Let y be 69/21 + -5*21/35. Is y greater than or equal to 76?
False
Let r(o) = -105*o**2 + 7*o - 2. Let m be r(-1). Which is smaller: -116 or m?
-116
Suppose 0 = x + 3*j - 153, -3*x + 24 = -j - 395. Which is smaller: x or -15?
-15
Let c = 0.15 - -0.02. Let f be 5/((-5)/(-2)) + 8 + 10. Suppose 3*m - f*m = -11*m. Which is greater: c or m?
c
Suppose 64 = -2*l - 24. Let v = 61 + l. Let y be 0 + -1 + 5 + -19 + v. Which is smaller: y or 4?
y
Let q(n) = -2*n**3 + 5*n**2 - 6*n + 5. Let y be q(5). Let z = y + 99. Let x = 72 + z. Is 20 >= x?
False
Let q(s) = -13*s - 148. Suppose -w - 3*j = 10, 4*w + 3*j + 3 = -55. Let l be q(w). Are 60 and l unequal?
False
Let u be ((-60)/(-8))/(-5) - ((-270)/20 + 13). Which is greater: 1/5134 or u?
1/5134
Let f be (775/(-6510))/((-282)/(-27)). Which is greater: 0 or f?
0
Let q be ((-35)/(-20) - (-6)/(-8))*0. Suppose 4*a + 9*a - 910 = q. Let r = 65 - a. Which is greater: -4 or r?
-4
Let w = -17656 + 17657. Which is smaller: -1.0839 or w?
-1.0839
Let t(j) = -j + 9. Let s be 2/(-3)*9*10/(-6). Let p be t(s). Are p and 2/217 equal?
False
Let k be -2 - -3 - 1*6/(-3). Suppose -k*n = 5*n - 32. Let h be (-1 - -4) + (n - 8). Is h greater than 2/111?
False
Let p be (1363/(-2)