3*v + 2*q = -5 + 8, -v = -3*q - 1. Which is bigger: v or 8/791?
v
Let d = -14 + 14. Let m(j) = -j**3 - 2*j + 10. Let i be m(2). Which is bigger: d or i?
d
Let m = -8 + 8. Let c(q) = 2*q + 6. Let g be c(m). Suppose 26*a + 400 = 76*a. Which is greater: a or g?
a
Let w be (21 + 1)/((-5)/(-20)). Suppose -6*r - 5*r = -w. Let n be (8/19)/((-16)/r). Is n at most 1?
True
Suppose 8*n = -3*n - 12210. Let b be 2/5 + -1 - 946/n. Let x = b - -23/2109. Are 1 and x equal?
False
Let p = 4306.119 + -4306. Which is bigger: 1.4 or p?
1.4
Let x = -1386 - -1415. Let d be (-108)/2*11/(-22). Is x != d?
True
Suppose b = 4*y + 4, -5*b - y = 29 + 14. Let x be 222/b - 48/(-64). Which is greater: -21 or x?
-21
Suppose -4*m = 4*j - 168, 2*j - m - 72 = -0*m. Suppose 4*d - j = 2*r, -11*r = -15*r + 2*d - 64. Which is smaller: r or -11?
r
Let p = 7.974 + 0.026. Let q = p + -8.32. Let f = q + 0.42. Which is smaller: -0.7 or f?
-0.7
Let d(b) = 9*b**2 + 2*b - 3. Let o be d(2). Suppose -39*n + o*n + 2 = 0. Suppose 4*m - 14 = c, 2*m + n = -m - 5*c. Is m bigger than 4?
False
Let y = 8 + -9.05. Let h = y + 0.05. Let b be 1*4/12*(-144)/(-4). Which is smaller: h or b?
h
Suppose 7*a = 5*a - 236. Let v = 252 + a. Let z = -137 + v. Does z = -27/7?
False
Let j(s) = 2*s - 11. Let q be j(8). Suppose 10 = -k - l - 2*l, -10 = q*k - 5*l. Let r be ((-2)/k)/((-2)/28). Is -40/7 at least r?
True
Suppose 27*v - 200 = -4*h + 29*v, -h + 2*v + 62 = 0. Is h <= 71?
True
Suppose 14 = 2*w + 5*o, -3*w + 2*o - 9 = -4*w. Let u = w - 16. Let j = 2/281 - 291/1405. Does u = j?
False
Suppose -82*b = -5*b + 122353. Which is bigger: b or -1588?
-1588
Let n be 32875/(-22450) - 12/(-8)*1. Is 1 less than n?
False
Let a = 2/16839 + -17091589/33678. Is -508 equal to a?
False
Let u = 5783 - 595652/103. Is 0.6 smaller than u?
False
Suppose -3*s = -3*d + 3, -4*s - d + 539 = 538. Which is smaller: 3/845 or s?
s
Let a = 2910776/7 + -414178. Which is smaller: a or 1647?
1647
Let h(y) = -2*y**2 - 37*y - 16. Let n be h(-18). Suppose 4 = -n*v, -2*s + 40 = v - 6. Which is smaller: 2 or s?
2
Let p = -137 - -139.34. Let t = p + -2.4. Let g = -971/3 + 323. Which is smaller: t or g?
g
Let a = 3.3 - 3.5. Let c = -0.8 + a. Let d = 48 + -74. Is d less than c?
True
Suppose 2*s = 3*g, 0*g + 4 = 2*g. Suppose s - 8 = -5*k. Let f = -1/391 + -385/2346. Is f greater than k?
False
Let x = -47.03 - -46.93. Which is bigger: -390 or x?
x
Let w(n) = n**3 + 13*n**2 + 2*n + 38. Let f be w(-13). Suppose 65*v - 61*v = f. Is v at least -2?
True
Let r = 602 - 4251/7. Let v = r - -16/3. Is v greater than or equal to 2/5?
False
Let c = -3272/47 + 81043/329. Let k = 176 - c. Let s = 3 + -5. Is k at most as big as s?
False
Let y be 0 - 0 - ((10 - 7) + -6). Let j be ((-7)/14)/(y/(-24)) + -4. Which is smaller: j or -3/86?
-3/86
Suppose 0 = 2*c + 272 + 3818. Let n be (28/8)/(-7) - c/(-30). Is -69 less than n?
True
Let j = 9821 + -29047. Which is smaller: -19227 or j?
-19227
Let l(o) be the first derivative of 2*o**2 - 122*o - 65. Let d be l(-42). Is d less than -290?
False
Let w = -2/1039071 + -1039063/4156284. Suppose 455 = -3*v - 4*u + 155, -5*v + 3*u - 471 = 0. Is w greater than v?
True
Let n = -3.1 + -2.7. Let j = 0.055 - 6.055. Let y = n - j. Is y at most 17?
True
Let c be (-45)/(-6)*8/12. Suppose 4*v - 28 = -2*y, -y - 4*v = -v - 10. Suppose l + 13 = 2*j, l = -0*j + c*j - y. Is l smaller than -8?
False
Let o = -1927 - -7711/4. Let x = -21 - -48. Let g be (-7)/(-3) + (-9)/x. Which is smaller: o or g?
o
Let c = -0.3 + -1.7. Let a = c + 1.85. Let i = 792.1 + -792.1. Which is smaller: i or a?
a
Let w = -86 + 91. Let c be (2/(-2))/(-1)*w. Let k be (-2)/(-495 + c)*-2. Is 1 bigger than k?
True
Let u be 13 + -10 + 2 + -5. Let i = 32 + -26. Is u greater than or equal to i?
False
Let d = -7219 + 7219. Which is greater: 281.1 or d?
281.1
Let z be (5 - 93/(-12)) + 1/4. Suppose -2*h - l + 37 = 0, -6*h + 8*h - 12 = 4*l. Which is bigger: h or z?
h
Let r(f) = -1238*f + 1237. Let m be r(1). Does -6/1799 = m?
False
Let k(b) = b**3 - 11*b**2 - 16*b - 86. Let a be k(12). Let r = -133 - a. Which is smaller: r or 54/37?
r
Let g(w) = 235*w**2 + 18*w + 18. Let y be g(-1). Suppose -41*o - 93 = y. Is o equal to -9?
False
Suppose r + 5*w = 19, -5 = r - 4*w + w. Let a be (-474)/r*2/(-6)*2. Is 159/2 greater than a?
True
Let c(l) = l**3 + 22*l**2 + 4*l + 86. Let f be c(-22). Let u be (-1 - 0)*2 - 1. Let r be (-25*(-1 - u))/f. Is r at least as big as 25?
True
Let y(p) = 50*p - 531. Let g be y(-4). Which is greater: -732 or g?
g
Let y be 7512/36*(23/16 - 2). Let k = y + 194389/1656. Let m be ((0 - 0)*1)/(-1). Which is smaller: m or k?
m
Let d be (-3)/12 - (-8 + 15022/1960). Suppose -r + 3*n = -21, 31 = 3*r + n - 2*n. Let q(h) = -h**3 + 8*h**2 + 9*h - 1. Let f be q(r). Which is bigger: f or d?
d
Suppose -358*k - 1617 = -351*k. Let l be 26/(-273) + (-610)/k. Which is greater: l or 3?
3
Suppose -4*v + 5*t + 0 = -1, -2*t - 16 = v. Let m(r) = -4*r**3 - 17*r**2 + 10*r - 3. Let q be m(v). Are 189 and q non-equal?
False
Let j = -55 + 40. Let w be 1 + 6/j + (-581)/560. Suppose 2*a = -69 + 69. Which is smaller: w or a?
w
Let p be (-102654)/405 + (-8)/24*1. Is -255 != p?
True
Let z be (-1)/(-1 + -2 + 16). Let c(d) = d + 18. Let b be c(-14). Which is smaller: z or b?
z
Let x be 4/16*-2*(-3 - -67). Are -25 and x non-equal?
True
Let t(m) = -m**2 - 3*m - 1. Let s be t(-8). Let v(q) = q - 13. Let o be v(16). Suppose -o*g - 3*f - 77 = 43, -5*f + 220 = -5*g. Which is smaller: s or g?
g
Let m(d) = 35*d**3 + d**2 + 5*d - 5. Let f be m(4). Which is bigger: f or 2272?
2272
Let x = 4.75 - -0.08. Let d = x + 0.07. Let u = 5.9 - d. Which is bigger: u or 42?
42
Let h = 0.196 - -90.904. Let c = 91 - h. Are 0.04 and c equal?
False
Let o(m) = 19*m - 91. Let r(c) = 40*c - 185. Let a(w) = -14*o(w) + 6*r(w). Let h be a(22). Is h less than -408?
False
Suppose -p + 5*y = 192, -1189*y = -4*p - 1192*y - 791. Which is greater: p or 6?
6
Suppose -250*j + 259*j - 18 = 0. Suppose 0 = -4*r - 0*r + 36. Does r = j?
False
Let o = -1249 - -1248. Which is bigger: 7/66 or o?
7/66
Let y be 141/9 + -15 + 1 + -1. Which is smaller: -294 or y?
-294
Let t = 20059 - 15342. Which is bigger: 4721 or t?
4721
Let f(i) = 2*i + 20. Let y(t) = -1. Let p(m) = -5*f(m) - 20*y(m). Let k be p(13). Which is greater: k or -0.1?
-0.1
Let v be (7/(-21))/((-1)/33). Let j be -33 + -4 + v + -3. Let u = -33 - j. Is -11/4 at most as big as u?
False
Suppose l + 362 = -5*d, 2*d = 43*l - 37*l - 100. Is d at least 67?
False
Let i(s) = 3*s**2 - 84*s - 1089. Let g be i(58). Which is bigger: 4134 or g?
4134
Suppose 468 = 2*i - 6*i - t, 3*i - 5*t + 374 = 0. Let n = i + 117. Let x be 23/(-115) + n/(-2). Which is bigger: x or -1?
x
Let x = -1861/90 + -173/9. Let s = x + 79/2. Which is bigger: s or 92?
92
Let r(n) = 301*n + 1536. Let c be r(-5). Is 646/21 at most c?
True
Let x = 28.5 + -10.5. Let s = -1.34 - -1.3. Which is smaller: x or s?
s
Let m = -23903/6 - -85883473/21558. Is m greater than 1?
False
Suppose 991*r - 994*r + 7 = 2*s, 5*s - 16 = -7*r. Let n = -10009139138/2163 - -4627434. Let a = n + 2/309. Which is greater: r or a?
r
Let d be 4 - (-1 + 3 + 0). Suppose -4*s + 1 + 27 = -4*p, -3*s + d*p = -16. Is 1/7 >= s?
False
Let s be ((-114)/(-95))/(2/5). Suppose 5*f = 3*g + 2 + s, -f - 21 = -5*g. Which is bigger: 42/13 or f?
f
Suppose -24 = v - 13*v. Suppose -v*q = -3*z - 59, 0 = 6*q - 10*q + z + 103. Let d = 1875/2 + -914. Is q at least as big as d?
True
Let v be ((-2)/3)/(32/48). Let q be (-4)/(8/(-6)) + v. Suppose q*k = -2*g + 7*g - 18, -2*g = 2*k + 4. Which is bigger: k or -3?
-3
Suppose 3602*k - 3709*k = 0. Are k and 2/905 equal?
False
Let b = 341 + -598. Let w = -253 - b. Which is bigger: 3.4 or w?
w
Let q = -18529 - -18530. Which is greater: q or -2/1379?
q
Let y(l) = -590*l + 1937. Let w be y(8). Which is bigger: w or 0.4?
0.4
Let q = -0.261 - 138.739. Let c = 139.03 + q. Which is smaller: -4 or c?
-4
Let i = 11370 + -11324. Suppose 5*r - 1 = 3*n, -2*n = -2*r + 2 - 0. Which is smaller: n or i?
n
Let k be (4 - (13 - -67 - (-10 - -3))) + 6. Which is bigger: k or 25?
25
Let n = -62 - -211. Let g = -7749/52 + n. Which is smaller: g or -1?
-1
Let b = 57 - 42. Let l = -0.0105 + -0.9895. Do l and b have different values?
True
Let f be 4/42 - (4 + 367510/546). A