*m - 4*v. Let p be 646/50 + -4 + (-1224)/(-300). Let h be (-2)/p + 8*55/520. Which is greater: m or h?
h
Let s be 88/154 - 574/833. Which is bigger: -56 or s?
s
Let k be 65/(-4) + (-3 - (-52)/16). Let u be 6*(-4)/6*8/k. Suppose -i = u*i + 2*x + 4, 2*i = 4*x + 24. Is -1/3 > i?
False
Let z = 1.46 - -42.54. Let f = z + -45. Are 2.3 and f unequal?
True
Let l = 9579 - 9710. Is l <= 0.48?
True
Let s = 0.05 + 0.05. Suppose -4*o + m + 203 = 0, 3 = 5*m - 22. Let y be 0 + o/(-96) - (-4)/6. Which is bigger: s or y?
y
Suppose i - 20 = -4*i. Let q be 1*(-1)/1 - (10 - (-38 - -42)). Is q greater than i?
False
Let q be (51 - 59)/(2/(-124)). Is q at most 498?
True
Let j = -89 + -152. Let s = j - -241. Which is bigger: s or -36?
s
Let y(p) = 2*p**2 + p - 2. Let j be y(-2). Let c = -365 + 368. Suppose 0 = c*z - 16 + j. Are -1 and z non-equal?
True
Let q be 2*(-2 - 45/6). Suppose 5*n - 8 = r - 1, 3*r - n = 7. Suppose 4*j = -c - 73, j - r*j - 39 = 3*c. Which is bigger: j or q?
j
Suppose 6*d = 1221 - 393. Suppose -3*l + 5*q - d = 0, -14*q + 17*q = -4*l - 184. Is l at most -44?
True
Let w = -33 - -35. Suppose 3 = w*d + 5. Let u(n) = -31*n - 5. Let p be u(d). Which is greater: 25 or p?
p
Let n = 3.852 + -3.852. Let c = 63 - 31. Which is greater: n or c?
c
Let v = 32 - 7. Let s = -6 - -18. Let f = v - s. Which is greater: 12 or f?
f
Suppose 5*w = -4*v - 7832, -5*w - 1596 = 3*v + 4268. Which is smaller: -1967 or v?
v
Let u(r) = r + 1. Let w(n) = n - 9. Let q(m) = -2*u(m) + w(m). Let d be q(-16). Let t be (-1)/(-2) - 10/(-4). Which is smaller: t or d?
t
Suppose -4*y = 2*q + 130, -3*q - 61 = -y + 99. Let r be (-22)/q*75/(-4). Let z be 1/(-4)*(1 - -1). Are z and r unequal?
True
Let m = -5269 + 6869. Is m != 0.3?
True
Let c(x) = 24*x - 3*x**2 + 4*x**2 - 1 + 4 + 2*x**2. Let u be c(-17). Let o be (-6)/(-21) + (-1133)/u. Which is greater: -1 or o?
-1
Let t = -0.17 + 0. Let j = -297 + 297.307. Let b = j - 0.407. Which is smaller: b or t?
t
Let o = 126 + -123. Suppose -4*g + 1174 = -i, 6*g - o*g = 2*i + 2328. Let r be i/7518 - (-3)/21. Is 0 > r?
True
Let r(d) = -d**2 + d + 2. Let o be r(4). Let h(p) = -p**2 - p + 28. Let y be h(-6). Let x be 1 + y/(-9) + (-9 - -8). Which is greater: x or o?
x
Let u = 24866 + 1689. Which is bigger: 26556 or u?
26556
Suppose 3*q = 2*w - 2715, 16*q - 4063 = -3*w + 11*q. Which is bigger: 1352 or w?
w
Suppose 12 = 3*u, -4*l + u = -l + 451. Let g = l + -9. Are g and -158 unequal?
False
Let o be (-38)/(-12)*-3*8. Let b = o - -70. Let n be b + 3 - -8 - 1*4. Is 3/62 not equal to n?
True
Let i = -548 + 510. Suppose 2 = z - 1. Suppose -2*r + z*r + 39 = 0. Which is greater: i or r?
i
Let g = -27446/3 - -9149. Which is smaller: -1/17 or g?
-1/17
Let l(t) = -8*t**3 - 2*t**2 + 28*t - 56. Let b be l(2). Is b less than -3/13?
True
Let m = -3/11 - 21/44. Let l = 117/761 - 2341/5327. Which is bigger: m or l?
l
Let k = 7889/8385 - -7/195. Let u(f) = f**3 - 9*f**2 - 21*f + 2. Let m be u(-2). Do m and k have the same value?
False
Let n be (-11)/14 - (-4)/14. Suppose 2*b + l - 671 = -4*l, 4*b - 5*l - 1267 = 0. Let d = b + -323. Is n > d?
False
Let r = -1085/2 + 2165/4. Let a(j) = j**3 + 3*j**2 - j + 3. Let b be a(-3). Suppose -4*f + f = b. Does r = f?
False
Let b = 381.036 + -2.036. Is 2/11 < b?
True
Let j be 2/(-8 - (-423)/54). Which is greater: j or -20?
j
Let r = -22 - 35. Let x be 5/(-40) - r/168. Let w(b) = -b**2 + 2*b + 24. Let d be w(6). Is d less than x?
True
Let k be -1 - (-38)/(-18) - ((-671)/(-99) + -7). Let a be 1 + (0 - (-113)/63). Let m = k + a. Is m at most -1/2?
False
Suppose 0 = -3*b + z + 1487, -2*b - 3*z + 138 + 846 = 0. Suppose -11*f + 3*s - 207 = -13*f, -3*s + b = 5*f. Which is bigger: 95 or f?
f
Suppose -70 = 16*f + 58. Let k be (-10)/(-30)*f/12. Which is bigger: -0.056 or k?
-0.056
Let q(h) = -28*h + 90. Let p be q(-16). Let w = 403 - p. Is -139 at most w?
True
Suppose -13*r = -395 - 151. Let p be 11 + ((-1)/(-6))/(7/r). Let h be 1/(-7) + p/56. Is h smaller than 0?
False
Let t = 560 + -1469. Let u be -2 + 4 + t/204. Let d = -11/4 - u. Which is smaller: 1 or d?
d
Let f be 34300/2858 - 348/29. Which is smaller: f or 1?
f
Let u = 185.09 - 190.09. Do -0.1188 and u have different values?
True
Let r = -9.05 + 9. Let p = -0.05 + r. Let w = 9322 + -9329. Which is bigger: p or w?
p
Suppose -55*q - 44*q - 34254 = 0. Which is smaller: q or -337?
q
Let m be 4/22 - 45/(-55). Let n be (70/(-25) - -2)/(2/(-15)). Which is smaller: m or n?
m
Suppose 0 = 2*u + 18 - 36. Let h = u - -12. Let l be ((-6)/(-8))/(h/(-16)). Is 0.1 at most as big as l?
False
Suppose 2*v + 7*z = 2*z + 1887, -4*v = 4*z - 3792. Which is smaller: 949 or v?
949
Suppose 0 = 19*p - 20*p - 1. Let k be (-472)/(-6) - 4/(p - 11). Is k at most 79?
True
Let s be ((-23)/(-115))/(1/(-5)). Let w be s - (-4)/(3 + 1). Suppose -3*u - 4 + 7 = w. Which is smaller: 5/9 or u?
5/9
Suppose -5*t + 6*t - 204 = 0. Let w be t/(-18)*1518/(-64). Let j = 269 - w. Is j not equal to 1?
True
Suppose 809 = -p + 18*m - 19*m, -3997 = 5*p - m. Which is bigger: p or 3?
3
Let v = 4 - -11. Let i be 10/3*(-18)/v. Let u be i/22 - 93/33. Which is smaller: u or 5?
u
Let s(q) be the second derivative of 5*q**3/2 + 3*q**2 - 28*q. Let v be s(4). Let x = v + -72. Which is smaller: -0.2 or x?
x
Let h be 385/310*5020/(-15). Let d = -1250/3 - h. Is d at least -2?
True
Let m be ((-3)/(-2))/(0 + 3). Let b = 4832.78 - 4832.8. Which is smaller: m or b?
b
Suppose -205*w + 7273 - 4532 = -9149. Which is greater: -64 or w?
w
Suppose 0 = 5*g - 54 - 326. Let l = -82 - -159. Which is smaller: g or l?
g
Let l = 1 + 0. Let k be ((-4)/16)/(3 - 5734/1972). Let f = 11/182 - k. Which is smaller: f or l?
l
Let c be (-6*6/(-24))/((-3)/(-32)). Suppose 5*b + r = 5*r - c, 16 = 4*r. Is b at most -2/2805?
False
Suppose 0 = o - 2, -4 = -m - 4*o + 128. Suppose 1031*c = 968*c + 7812. Is c at most as big as m?
True
Suppose -6*z = -5*g + 269, -181 = -4*g - 76*z + 77*z. Is 4/19 less than or equal to g?
True
Suppose -3*g + 4482*o - 4478*o = 29, 5 = -5*g - 2*o. Is -85.6 >= g?
False
Let r(l) = -30*l. Let h be r(-3). Let o be (-273)/117 + 35/21*(-4)/(-20). Which is bigger: h or o?
h
Let i be 4/(-14) - 130/(-14). Let d(t) = -t**2 + 18*t - 61. Let y be d(13). Let s be ((-2)/y)/(1 - (-119)/(-112)). Which is bigger: i or s?
i
Let g = -253 - -247. Suppose 2*d - 100 = -3*o, 0 = 2*d - 6*d + 3*o + 200. Let m be 3 + d/(3 - 8). Is g smaller than m?
False
Let y = -323 + 320. Let d(b) = -14*b**3 - 8*b**2 + 4*b. Let z be d(y). Is 294 smaller than z?
False
Let f = -102 - -157. Suppose 0*b - 3*b + 3*v = 0, -4 = 2*b + 2*v. Is b smaller than f?
True
Let f = 12.435 - 1695.435. Which is bigger: f or 2?
2
Suppose x + 6 - 1 = 4*h, -h = x. Which is greater: x or 5/771?
5/771
Suppose -g - 90 = -5*g - 2*h, g = 3*h + 40. Suppose 3*f = -8 - g. Suppose -27 = r - 5*y, 10*r - 4*y + 72 = 5*r. Is r smaller than f?
True
Suppose -k = 50 - 21. Let x be k + (0 + 0 - 2). Let n = 0.1726 + -1.1726. Is x smaller than n?
True
Suppose -11579 = -97*g + 12703 - 6628. Which is bigger: -14 or g?
g
Let s(a) be the third derivative of 1/60*a**5 + 0*a - 6*a**2 + 5/6*a**3 - 1/2*a**4 + 0. Let u be s(9). Which is smaller: -24 or u?
-24
Suppose 31*w - 3*g = 26*w + 8, 5*g = -4*w - 38. Is w > -44/31?
False
Let z = -1304 + 1304. Is 4 != z?
True
Let f be (-30)/(14/6 - 3). Let b = f - 45. Let h be (6/184)/((-49)/(-588)). Does h = b?
False
Let v = -95701/7 + 13647. Which is smaller: -0.1 or v?
v
Let m be 1/(6/(888/4)). Suppose f - 21 = 3*h, 3*f = f + h + m. Which is greater: f or 14?
f
Suppose 14*j - 20 - 22 = 0. Suppose j*k + 104 + 123 = a, 2*a + 5*k = 443. Which is bigger: 226 or a?
226
Let z(u) = -3*u - 14. Let d be z(-3). Let v(n) = 21*n**2 + 102*n + 2. Let g be v(d). Do 29 and g have the same value?
False
Let i = -21.4 - -18.3. Let z = i - -274.1. Which is bigger: -2/5 or z?
z
Suppose 3*y - j + 7 = -5*j, -4*y + 2*j - 2 = 0. Which is greater: y or 4/16979?
4/16979
Let n = 23949.4 - 23949. Which is greater: n or 1888?
1888
Let g = -153103/2229 + 15/743. Let t = g + 52130/759. Is t >= 1?
False
Let v(z) = 33*z - 203. Let x be v(6). Let k be x/15*(-900)/(-610). Which is smaller: k or -1?
-1
Suppose 5*x = 3*w + 46, 42 = 5*x + 2*w - 19. Suppose -s - x - 50 = 0. Is -60 < s?
False
Let p = 881 + -74. Let j = -8883/11 + p. Is j >