). Suppose 0 = w*v - 465 + 97. Are 17 and v unequal?
True
Let h be 0/(2 + -6) + 3. Suppose -2*b = -4*f - h*b + 5, 0 = 2*f + 3*b - 15. Suppose -4*y + f*y + 4*j + 48 = 0, -33 = -4*y + j. Is 7 at least y?
True
Suppose 2*l + 4*x + 24 = 0, l - 2*x = 10 - 2. Let a be l/(-8) - 158/(-8). Suppose 2*d = -3*q + 10, -3*q + d + 3*d - a = 0. Is -4/41 at most as big as q?
True
Let v(p) = -139*p**2 - 9 + 2*p**3 + 0*p + 125*p**2 + 3*p. Let k be v(6). Let d be 30/k - (-2)/7. Which is greater: 0 or d?
0
Let p(a) = -a**2 - 27*a - 189. Let q be p(-33). Let j = q - -329. Which is bigger: -8 or j?
-8
Let u be 9/1164*(-8960)/(-96). Which is smaller: u or 1?
u
Let a = -14321/2 - -7355. Is a bigger than 196?
False
Let d = 5236 - 5170. Is 13 less than d?
True
Suppose 5*y + 10 = 0, 12*t + 2*y = 7*t - 134. Let n be ((-20)/(-130) - 74/t) + -2. Which is smaller: 7/60 or n?
7/60
Let d be 3/((-9)/(-6)) + (-107532)/53737. Is -1 at most as big as d?
True
Suppose 5*b = p + 50, -3*p - 3*b = -p + 100. Suppose 16 = 6*j - 56. Let w = j - 62. Is p at least as big as w?
True
Let v = -1547 + 2906. Is 1360 smaller than v?
False
Let z(u) be the second derivative of -u**4/12 - 13*u**3/6 + 37*u**2 + 38*u + 2. Let j be z(-16). Which is bigger: j or 49/2?
j
Let b be (((-832)/(-14))/8)/((-2)/52). Let o = 193 + b. Which is smaller: o or -7/2?
-7/2
Let m be (2 - 3) + 3 + -2 + -1. Let k be 7 - m/3*(1 + 2). Suppose 3*n + 5 = k*n. Which is bigger: n or 2/19?
n
Suppose -3*l - 226*r + 6157 = -227*r, 10278 = 5*l - 4*r. Which is greater: 2052 or l?
2052
Suppose -5*i - 10 = 0, 3*m + 5*i = -3 - 1. Suppose -m*s - 17 = 5*z, 4*z - 10*s = -14*s - 4. Let d be (-50)/15*42/z. Which is smaller: d or 27?
27
Suppose 1330 = -119*t + 126*t. Let x = t + -168. Suppose -5*w + 4*f + 107 = -10, 5*f = -3*w + 48. Is x < w?
False
Let r = 3.815 - -826.185. Which is smaller: r or 1?
1
Let d = 4129.9152 + -4130. Which is smaller: d or 0.3?
d
Let p = 59 - 67. Let n(x) = 4*x + 35. Let h be n(p). Suppose h = -9*r - 42. Which is greater: r or 6?
6
Let z = 130.281 + -0.281. Let a = z - 183. Which is greater: 0.1 or a?
0.1
Let o(u) be the third derivative of -u**6/120 + 13*u**5/60 - 5*u**4/6 - 16*u**3/3 + 242*u**2. Let s be o(9). Is s smaller than 111?
False
Let o = 55 + -48. Let x(t) = -4*t - 9. Suppose 4*c + 6*j + 8 = 2*j, -2*j + 21 = -3*c. Let k be x(c). Is o less than k?
True
Suppose 4*c - 2 = -10. Let m be (-12)/(-14)*14/(-3). Let x be 1 + (m - c) + 2. Are -5/32 and x non-equal?
True
Let h = -57.5 + -14.5. Let u = h - -72.09. Let m = 0.01 + u. Which is bigger: m or 14?
14
Let f = -4 - -16. Suppose 3*j + f = -12. Let b be ((-2)/j)/(80/(-32)). Is b >= 1?
False
Let g be (1*-8)/((-4)/2). Suppose 3*v = 3*r - 2*v + 240, 3*r = -g*v - 213. Is r at most as big as -77?
False
Suppose s = p - 3, -s - 2*s - 1 = p. Is 5 at least as big as p?
True
Suppose 4*w + 5*w - 81 = 0. Suppose g = -3, 6*i - 3*i + 5*g = w. Let a = -6 - i. Which is greater: -12 or a?
-12
Suppose -30*h + 36 = -28*h. Suppose 13*s + h = 4*s. Let y be (-6)/1*s/6. Which is greater: 10/3 or y?
10/3
Suppose -3*m = 5*q + 642, -3*m + 2*q - 713 = -92. Let c be (22 - 15) + m/29. Let p = 1 + -1. Which is bigger: c or p?
p
Let b = -9 - -3. Let g(w) = 51*w**2 - 64*w + 5. Let x be g(1). Is x >= b?
False
Let d be (2/(696/(-9)))/((-1)/4). Let m(l) = 3*l - 6. Let t be m(2). Suppose w + 3*w = t. Which is smaller: w or d?
w
Suppose 87*u - 90*u = -2964. Suppose -2*o + 4*g + 506 = 0, -7*o + 3*o + 2*g + u = 0. Which is bigger: 244 or o?
o
Let x = 779 + -785. Suppose -i = i. Suppose i*f - 2 = 2*f. Which is bigger: x or f?
f
Let q = -229 - -174. Let m = q + 55.02. Does m = -1?
False
Let i be -10 + (10 + -12 - -16 - -4). Let r = -8 + -5. Which is smaller: r or i?
r
Let n = 269.73 - 267.0911. Let l = n - -0.4141. Let m = -0.053 + l. Is 0.17 smaller than m?
True
Let i = -79 - -91. Suppose -i*j = -5*j - 7. Is -2/1719 greater than j?
False
Suppose -f - 17 = 2*v - 7*v, -3*v = 5*f - 27. Suppose -2*b = f*b. Let a be (b - 8/(-636))*6/2. Which is greater: 1 or a?
1
Let s(m) = -m**3 + m**2 + 10*m + 10. Let l be (0 - 3)*(3 - 2). Let i be s(l). Let y = -30 + 46. Is y not equal to i?
False
Let n = 276.81 - 278. Let g = n - -4.59. Is 4 equal to g?
False
Let r = -17.231 - -0.231. Let u = r - -17. Which is smaller: u or -5.8?
-5.8
Let g be (-24)/136 - 33/(-187). Which is smaller: -12/151 or g?
-12/151
Let n be 175/(-55) + 3 - (-7388)/(-22). Suppose 0 = 19*h + 4119 + 2246. Which is smaller: n or h?
n
Let h be (4/(-6)*3)/(18/9). Let l be (-2 - -1)/((-6)/(-18)). Let p be (-4)/l - 294/225. Is h smaller than p?
True
Let j = 4965 + -5228. Which is greater: j or -262?
-262
Suppose 0 = -39*d - 28536 + 28536. Which is bigger: d or 2/17201?
2/17201
Let b = 2684 - 16093/6. Which is bigger: -14/5 or b?
b
Suppose -q = -2, -4*q = 5*l - 6*q + 204. Let p be l/(-32) - (-6)/8. Is 1/3 greater than p?
False
Let f = -28.352 - -27.272. Which is greater: f or -20?
f
Suppose -7*i - 6 = -48. Let z be (-4)/i*(-534)/4. Let l = 91 - z. Is 3/4 greater than l?
False
Let y = -462.62 + 7.62. Let j = 454 + y. Which is smaller: j or -824?
-824
Let j = -15.104 + -0.096. Let h = j - -15. Let i = 4.68 - 0.68. Is i bigger than h?
True
Let x be -5 + -1 - -41*(2 - 3). Let m = x + 63. Which is bigger: m or 21?
21
Let d = -37/2844 - 11321113/65412. Let k = -173 - d. Let o = -95.0362 - -94.0362. Is o at least k?
False
Let s be ((-50)/30)/(20/(-24)). Suppose -d + y = 3*y + 77, s*y - 207 = 3*d. Which is greater: -70 or d?
-70
Let r = 0.2 - 0.1. Let l = 1667.56 - 1666.46. Which is smaller: l or r?
r
Let r be 6/72 + 0 + (-255)/36. Let t be (-4)/14 + 190/(-70). Let n be (-8)/(-4) + 26/t. Is n less than r?
False
Suppose -148 = 2*m - w, 2*w + 136 = -739*m + 737*m. Is 1 smaller than m?
False
Let o be (-5 + 451/77)/((11 - 3)/(-56)). Let c = -4.1 + 4. Let s = c - -0.02. Which is bigger: o or s?
s
Let s = -205.2 - 877.8. Let v = s + 1080.667. Let t = v - 0.067. Is 0.1 greater than or equal to t?
True
Suppose 0 = -17*o + 5*o - 168. Let x = -1124 + 1101. Which is greater: x or o?
o
Let p = 27239.1718 + -27239. Which is smaller: -1 or p?
-1
Let p = 71950 - 1799044/25. Is -13 < p?
True
Let w = 2748 - 2738. Which is bigger: 0.054 or w?
w
Let b(m) = -85*m - 482. Let t be b(-2). Which is bigger: t or -316?
t
Let o(l) = -4*l - 14. Let m be o(-7). Suppose 117 = 5*g - m*g. Which is smaller: g or -6?
g
Suppose -4*k = m - 58, -2*k - 2*m = 2*m - 22. Suppose 1 - 16 = k*d. Which is smaller: 1/24 or d?
d
Suppose 94*d - 192*d = -102*d + 516. Is 119 at least d?
False
Let d(u) = u**2 - 7*u - 35. Let o be d(12). Let h be (8/2)/(((-80)/o)/8). Which is smaller: -9 or h?
h
Let w = 61 + -28. Let k = -41 + w. Let j be (-1)/(-5 - k/2). Which is smaller: 1/7 or j?
1/7
Suppose 0 = 4*i - 69 + 5. Let p(h) = 2*h**3 + 39*h**2 + 26*h + 4. Let d be p(-1). Which is greater: i or d?
i
Let h = 2/235 + 231/470. Let w = -0.24 + -10.76. Let z = w + 9.6. Which is bigger: h or z?
h
Let j(v) = 31*v - 5. Let u be j(3). Let o be 5/(19740/u) + 0. Let w = 10/47 - o. Which is smaller: 1 or w?
w
Let s be (((-18832)/(-24))/(-11))/((-1)/(-3)). Let w be s/40 + 8/(-32). Are w and 2/3 unequal?
True
Suppose -4*l + 2 = 2*h, 9*h = -4*l + 6*h - 1. Suppose -l*p + 1348 - 1346 = 0. Which is greater: -8/71 or p?
p
Let m = -129.91 + 202.5. Let u = 74 - m. Let t = 81.59 + u. Is -1 at most t?
True
Let p = -161 + 161. Suppose -11*j + 0*j + 264 = p. Which is smaller: j or 21?
21
Suppose -389 = -8*n + 6*n + 5*i, -i - 401 = -2*n. Let f = n - 203. Is 3/7 less than f?
False
Let x be (-41)/246*1/(-3)*(-21)/(-12). Let d(v) = v**2 - 3*v - 4. Let p be d(4). Which is smaller: x or p?
p
Suppose -5*v = -2*c - c + 25, 5*c = -5*v - 25. Suppose -5*i + 4 = -u, c*u + 20 = -5*u + 3*i. Suppose -3*j + 10 = -5*j. Is u greater than or equal to j?
True
Let w = 303 - 292. Suppose -12 = w*b - 1. Is -1 at most as big as b?
True
Let k = 3156 + -3265. Let o = -188 - -78. Which is smaller: k or o?
o
Let b = 92158 + -3594161/39. Suppose 0 = 2*g - 2 - 4. Let m = 3 - g. Which is greater: m or b?
b
Let d = -8493 - -42318/5. Suppose 0 = -2*g - 10 + 68. Let p = g + d. Is 0.3 != p?
True
Let r(w) = w**2 - 11*w + 9. Let y be r(6). Let u be (-26 - y)*2/(-25). Let i be ((-1)/12)/(6/(-16)). Which is smaller: u or i?
i
Let i = 1 + -3. Let n be 1 - i/((-48)/39). Let 