 Let b = r - 68. Suppose -m = 4*m - 5. Which is bigger: m or b?
m
Let x be 1 - 1 - 2/(-3). Let f(o) = -12*o - 186. Let r(p) = 6*p + 92. Let b(z) = 5*f(z) + 9*r(z). Let a be b(-17). Which is smaller: a or x?
a
Let b(c) = 5*c - 34. Suppose 4 = h - 3. Let u be b(h). Which is greater: 2/7 or u?
u
Let d be (24/(-14))/6 + 0. Let x = 6.7 - 7. Are d and x equal?
False
Let k(c) = -3*c**2 + 2*c + 4 - 3 + 4*c**2 - 2. Let f be k(-3). Let t = 3 - f. Which is bigger: t or 1/25?
t
Let w be (3/(-9))/(3/(-18)). Suppose -2*m - 3*n + 12 = -7*n, -3*n = -w*m + 8. Do m and 0 have different values?
True
Let y = 544.7 + -544. Which is greater: -1/7 or y?
y
Let x = -5 - -3. Let s(c) = 3*c**2 + c + 2. Let d be s(-2). Let r be d*(-12)/76 - x. Which is smaller: r or 1?
r
Let q(s) = 7*s**2 + 189*s - 72. Let a be q(-27). Which is smaller: -77 or a?
-77
Suppose 60 = 2*x + 8. Suppose -3*q + 2*z + 38 = -53, 140 = 5*q - z. Which is greater: q or x?
q
Let p(c) = -c - 14. Let w be p(-15). Let r be 2*(8 - 5 - w). Is r < -0.2?
False
Let t(i) = i**2 + 7*i - 451. Let s be t(18). Let l be 1/((-25)/51) - -2. Is s > l?
False
Let n be ((-230)/76 + 3)/((-1)/112). Let l = -785/247 + n. Which is smaller: -1 or l?
-1
Suppose 0 - 15 = -3*b, 3*b - 439 = 4*n. Let t = 955/9 + n. Which is smaller: 1 or t?
t
Let s be -764 + -2 - (-8 + -8 + 12). Which is smaller: -761 or s?
s
Let b = -461/55 + 101/11. Let h(r) = 5*r - 2. Let a(g) = -g + 1. Let y(z) = 6*a(z) + h(z). Let m be y(3). Is b greater than or equal to m?
False
Let n(x) = -x**2 - 20*x - 90. Let g be n(-13). Is g at least as big as 7/39?
True
Let s = 24076 - 24087. Let w be 4/(((-2)/(-3))/(-2)). Is w > s?
False
Let d(x) = 6*x - 81. Let p be d(9). Suppose -2*t - 5*v - 42 = -0, -2*t - 3*v - 46 = 0. Which is smaller: p or t?
p
Let q = 1.427 - 0.267. Which is smaller: -0.2 or q?
-0.2
Let p = 236 + -235. Let c = 53 + -161/3. Is c greater than or equal to p?
False
Suppose -33*y + 4005 = -2793. Which is smaller: 208 or y?
y
Let g be 24/42 - 4974/(-42). Is -1 at least as big as g?
False
Let p = 142 + -128. Which is bigger: p or 1?
p
Let x = -65.9 + 69. Let v(z) = z**3 + 51*z**2 + 46*z - 200. Let u be v(-50). Is x less than or equal to u?
False
Let t = -200 + 174. Is -21 > t?
True
Suppose -5*x - 2*t = 2*t + 1873, 3 = t. Are x and -377 unequal?
False
Let f = -27/14 + 73/56. Let d = 3 + -3.1. Is d at most as big as f?
False
Let w = -7 - -6.88. Let n = w - -0.02. Let j = -1.9 + n. Is -1 greater than or equal to j?
True
Let j = 26 - 32. Let z be (-6)/(j*(-2)/(-3)). Let x = 1 - 2. Is x greater than z?
False
Let b = 288 + -6637/23. Is -1 not equal to b?
True
Let g(m) = 1 + 4*m**3 + 4*m**3 - m**3 - 2*m**3. Let o be g(1). Suppose j - 4 = -o. Are -1 and j nonequal?
True
Let m be (16/672)/(18/(-21)). Is m equal to -3?
False
Suppose 0 = -4*k + 2*s + 20, -2*k + s = -5*k + 20. Suppose 5*r = k*i - 8*i - 5, 0 = 3*i + 5*r + 15. Which is bigger: i or -1?
-1
Suppose -48 = -3*i - 2*w, 5*w = -3*i + 4*i + 1. Suppose -347 = g - 362. Is i less than g?
True
Let n = -30860492/895 + 34481. Which is greater: n or 0?
n
Let u be 12/(-3) + 6 + -2. Suppose 0 = -4*q + i - 9, -5*i + 0 + 5 = u. Let h be 6*1/q + -4. Which is smaller: h or -6?
h
Let c = 29 - 31.8. Let l = -20 - -22.8. Let g = c + l. Which is smaller: -1/19 or g?
-1/19
Let q(m) = -m + 29. Let n be q(8). Let u = 65 + -43. Which is greater: n or u?
u
Let o = -217.893 - 0.107. Which is greater: o or 1/4?
1/4
Let h = 223 + -67. Let m be (-4)/(-22) - (h/11 + -4). Is -13 < m?
True
Suppose s - 1 = u, 6*s - s - 2*u = 2. Suppose -3*t - b + 28 = s, -28 = 5*b - 3. Which is bigger: 14 or t?
14
Suppose -3*u - 113 = 4*y, -5*u + 4*y + 42 - 209 = 0. Let f be (-1)/(3 + 110/u). Let a(j) = -3*j - 4. Let p be a(-3). Is f bigger than p?
True
Let z be (-1 - (-2)/4)*-2. Suppose 6*j - z = 71. Suppose -6*q = -0*q - j. Which is bigger: 6 or q?
6
Let z = -229 - -128. Let s = 97 + z. Which is greater: -5 or s?
s
Let g be 1 - 12*((-9)/2 - -4). Let d = 1 - 3. Which is smaller: g or d?
d
Suppose 0 = u - 3*u - 12. Which is smaller: -12 or u?
-12
Suppose -21 = -13*a - 34. Are -3/76 and a nonequal?
True
Let j(z) = -z**3 + 4*z**2 + 6*z - 2. Let v be j(5). Suppose 22 = 8*n - 11*n - 5*l, -5*l - 13 = 2*n. Let p be 1 + 1 - (-9 - n). Which is bigger: p or v?
v
Let n = 11.896 + 0.104. Let p = -3.8 + 4. Which is smaller: p or n?
p
Let k = -1745/561 - -25/33. Which is greater: -3 or k?
k
Let f = -801 + 1182. Let n be 1/8 - (-5 + f/(-24)). Suppose -32 = -3*c + 28. Which is smaller: n or c?
c
Suppose 12*g - 7*g = -5*a - 40, -21 = 2*a - 3*g. Suppose 3*b + 12 = 0, 0 = 3*z + 2*b + 3*b + 62. Does z = a?
False
Let b = -1172 - -1117. Is -506/9 > b?
False
Let y(o) be the first derivative of o**4/4 - 5*o**3/3 + o**2 + 8*o + 4. Let w be y(4). Is w <= 20?
True
Let n(w) = -w**3 - 14*w**2 - 11*w + 26. Let a be n(-13). Is 1/312 greater than a?
True
Let w = 98 - 114. Let r = -21 - -9. Let n be (-60)/w*r/10. Is n greater than -6?
True
Let x = -4 - -6. Suppose 2 = -5*t + 92. Suppose 17*d = t*d - 2. Is d at least as big as x?
True
Let v be ((-14)/(-7))/((-10)/(-6) - 1). Suppose -h + 0 = -1. Which is bigger: h or v?
v
Suppose 5*d - 2*d = 0. Suppose 3*v - 59 + 8 = d. Let u = -15 + v. Do 3 and u have the same value?
False
Suppose 0 = 5*d - 5, -3*s = 3*d - 2*d + 1727. Are -576 and s non-equal?
False
Let w(j) = -201*j. Let b be w(1). Let p = b + 5428/27. Which is smaller: 0 or p?
0
Let v = -1077 - -1182. Which is smaller: v or 100?
100
Let u be (0 - -3) + (-1380)/48. Let s be 24 - (-2*2)/2. Let c = s + u. Is 0 > c?
False
Let s = -249 - -249. Is -126 < s?
True
Let t be -7 + 55 + 6 + (0 - 3). Is 256/5 not equal to t?
True
Let n(s) = -s**2 - 4*s - 8. Let c be n(-6). Let p(a) = a**3 + 2*a**2 - 3*a. Let t be p(-4). Is c smaller than t?
False
Let u be (-261)/(-174)*1/2. Is u equal to 25?
False
Let g = 436 + -318.4. Let d = -113 + g. Is d greater than or equal to 0?
True
Let d be ((-8)/(-14))/(2/7). Suppose 2*k = 2*v - 16, 2*v + d*v + 5*k = 77. Let j be v/5*(-1)/(-1). Is j greater than 2?
True
Let j = 7236099/228520 + -6264/197. Let w = j - -1/145. Is w greater than -4/5?
True
Let k = -72.7 + 73. Let r = k + -0.3. Which is smaller: r or -15?
-15
Let r = 488 + -560. Is -72 less than r?
False
Let j = 164 - 164. Which is smaller: 2/83 or j?
j
Let m = -3 - -7. Suppose 4*v = -m*t - 88, 26 + 26 = -2*v - 4*t. Does -17 = v?
False
Let l(p) = 2*p**3 - 25*p**2 - 40*p - 29. Let x be l(14). Let n be 16/15*1 + -1. Are x and n nonequal?
True
Suppose 4*p - 56 = 4*b, 6 = 2*p - 0. Let t = 11 + b. Which is smaller: t or -3?
-3
Let j = 118 - 33. Suppose 2*x - 172 = k, 5*k - 63 - 352 = -5*x. Is j smaller than x?
False
Let u = 45 - 158. Let v = u - -105. Which is smaller: v or -11?
-11
Suppose -17*y + 9*y = -24. Are 29 and y equal?
False
Suppose -7*y = 8 - 22. Suppose 2*u - 16 = -y*v, -51 + 6 = -3*u + 4*v. Which is bigger: 9 or u?
u
Let c(w) = 15*w - 178. Let m be c(11). Which is greater: -23 or m?
m
Let k be 8/12 + 7/3. Let s be 0/((-1)/(-1) - k). Let v = -26 - -26. Is v less than s?
False
Let n = 22 - 16. Which is smaller: 16 or n?
n
Let j be (-1)/2 + 3/(36/42). Suppose 0*q = j*q - 2*q. Is -1/16 not equal to q?
True
Let j be 0 - -11*(-96)/9. Which is greater: -117 or j?
-117
Suppose 2*t + 31 = 5*f - 21, 5*f - 3*t - 53 = 0. Suppose -4*r + 9*r - f = 0. Let x be (((-81)/(-24))/9)/(12/16). Which is smaller: r or x?
x
Let m = 234/29 + 3938/87. Which is smaller: 52 or m?
52
Let z = 0.1 + 0. Let h be ((-3)/(-10))/((-29)/(-290)). Which is smaller: z or h?
z
Let t = 282 - 281. Is 1/54 at most as big as t?
True
Let x = 39.832 + -31.9. Let u = 0.068 + x. Is u at most 3?
False
Let x = 272/165 + -20891/495. Which is greater: x or -40?
-40
Let r(g) = -2*g**2 + 25*g - 2. Let z be r(12). Let k(d) = d**3 - 11*d**2 + 9*d + 13. Let s be k(z). Let p be (-1 - s)*26/13. Which is bigger: -5 or p?
-5
Let f(v) = -v**3 + 5*v**2 - 2*v - 5. Let o be f(4). Suppose 2*s - 17 = -3*q, 0*q - 5 = -o*q + s. Let t = 8 - q. Which is smaller: t or -1?
-1
Let u = -5 - -3. Let f(h) be the second derivative of h**3/2 + h**2/2 - 13*h. Let j be f(-1). Are u and j equal?
True
Let z be (-35)/510*(-2)/(-14). Which is bigger: -1 or z?
z
Let t = -39.0169 + -0.0831. Which is smaller: t or 0?
t
Let h = -519 + 360. Let v be h/105 - (-21)/14. Is v >= -1?
True