uppose -17*g - y = g. Which is smaller: g or 5?
g
Let j(c) = c**2 + 187*c - 2607. Let n be j(13). Is -6/5 > n?
True
Let s = 876 - 912. Is -285/8 bigger than s?
True
Let l(k) = -15*k - 90. Let v be l(-6). Suppose -3*c = -2*h + 6, v = 4*h + 5*c - 7*c - 4. Let z = 33/545 + 2/327. Is z at most as big as h?
False
Suppose -3*v = 5*j - 170, -5*v + 5*j + 166 + 24 = 0. Let m = 9934/3 - 3267. Is v < m?
False
Let x = 969 - 575. Suppose -26*d = -48 - x. Let s = -1.1 + 0.1. Which is smaller: s or d?
s
Let y be (-8)/(-2)*2*25/(-20). Let m be (y + 16)*12/(-11). Is m != -6?
True
Let g be (-26)/(-18)*(-63)/294. Let t = g + -5/14. Is -41 greater than or equal to t?
False
Let y = -1602.81 - -1602.5. Let z = -0.02 - 0.01. Is z at most y?
False
Suppose 0 = -7*r - 2198 + 413. Which is smaller: r or -258?
-258
Suppose -4*v = -5*s - 21 + 5, 0 = 3*v + 2*s - 12. Suppose -5*q + q = -12, 0 = -3*c + v*q - 6. Suppose 7*h - c*h - 110 = 0. Is 23 greater than h?
True
Let y = 17320 + -17355. Let i = -0.3 + 0.2. Which is bigger: i or y?
i
Let f = -835 - -874. Let w be (4 - 162/f)*-13. Is w < 1.2?
False
Let u = -3742 - -4444. Which is bigger: 698 or u?
u
Let m(l) = -2028*l**2 + 636*l + 635. Let b be m(-1). Is b not equal to -2032?
True
Suppose -3*v - 6*v = -0*v. Suppose 2*f + 23 - 7 = a, 2*f = -a - 8. Let i be v*(4 - (-27)/f). Which is smaller: -5 or i?
-5
Let o be 45799/(-12) - 1*(-2)/(-7 + 13). Is o greater than or equal to -3815?
False
Let l = -79936 - -48521133/607. Is l > 0?
False
Let q = 0.2833 + -45.2833. Which is greater: q or -3/2?
-3/2
Let l = 5354 - 123186/23. Which is smaller: l or -3?
-3
Let w = -2052 + 2051. Let h(z) = 5*z**2 - 1. Let r be h(-1). Let d be w/r*(6 + (-24)/3). Is d at least as big as 1?
False
Suppose -4*g = 2*x + 2184, 0 = -2*g - 0*x + 5*x - 1104. Which is smaller: 6 or g?
g
Suppose 95*u = 106*u + 880. Which is smaller: u or -66?
u
Let n = 0 + 9. Let d = 8.5 - n. Let b be (-8)/16*(-1 - 1). Is b bigger than d?
True
Let p be (-1 + 19/1)/(13/(-130)). Let z = -719/4 - p. Suppose -2*s + 1 = -s. Is s bigger than z?
True
Let g = 6429 + -6422. Is g greater than 492/59?
False
Let x = 376 - 196. Let v = 171 - x. Which is smaller: v or -6?
v
Let v = 8497443/560 - 15174. Which is bigger: 1 or v?
1
Let p = -96 - -59. Suppose -11*m + 13*m + h + 82 = 0, 2*m = -4*h - 76. Are m and p equal?
False
Let r = 59 - -21. Let f = 0.7317 + -80.7117. Let k = r + f. Which is greater: k or 4?
4
Let y = 1269 - 1283. Let l = 9340 - 47053/5. Let m = 71 + l. Is y less than or equal to m?
True
Let w = -0.261 + -0.021. Let z = w - -75.282. Are -6 and z non-equal?
True
Let h = 595 + 354. Let x = 1019 - h. Which is bigger: 1 or x?
x
Suppose 0 = w - 2*m - 4, -3*w = -8*w + 3*m + 6. Let u(o) = -o**2 + o - 12. Let p be u(w). Suppose -9*v = -153 + 252. Is p > v?
False
Suppose 0 = 5*w - 19 + 9. Suppose 5*k + 4*m - 8 = -1, -w*k - 17 = -5*m. Let r be 1*k - (-29)/29. Is r less than 1/15?
True
Let o = 3086 - 3070. Is o >= 396/25?
True
Let m = -9188/1927 - -192/41. Is -0.2 at most m?
True
Let k be 176 + -163 - 2*1*(2 + -5). Suppose 3*q - 46 = -5*s, 0 = -s + 5*q + 8 + 18. Let h = k - s. Is h greater than 7?
True
Let b = 3996 - 3995. Which is smaller: b or 3/1454?
3/1454
Let w = -2 + 28. Let y = w - -12. Let q = -39.4 + y. Which is smaller: -0.1 or q?
q
Let x = -3682 - -3949. Which is smaller: 1331/5 or x?
1331/5
Suppose 4*u + i - 5 = 0, 3*u + 2*i = 5*i. Let s be 387/(-1032)*(-24)/22. Is s >= u?
False
Suppose 6*m = -9 + 27. Suppose -2*c - h - 1 = 0, m*c - 5*h = -2*h - 6. Let x be ((-2)/3)/((-4)/6). Is x greater than c?
True
Let y = -2110 - -1609. Which is bigger: -0.06 or y?
-0.06
Let q be (2/(-6))/((-1)/111). Suppose -220*x = -185*x + 1295. Let b = x + q. Is b bigger than -2/7?
True
Let a = 0.2 - -7.4. Let v = -17.369 + 25.013. Let m = v - a. Which is greater: 2/3 or m?
2/3
Let c = -1218731620/11013 - -110663. Which is smaller: c or 0?
c
Let b = 82 + -413. Let g = b - -196. Let m = -115 - g. Which is bigger: m or -2/5?
m
Let h(l) = -2*l**2 - 42*l + 6. Suppose -p = -5, -2*t + 0*p - 45 = -p. Let g be h(t). Let j = 67 - g. Is 39/2 at least j?
False
Let j = -1.0263 - -1.0663. Let f = 0.1 + 0.7. Which is greater: j or f?
f
Let l = 0 + -3. Let r = -353141/534 - -3128/89. Let f = 626 + r. Which is smaller: f or l?
l
Let v(p) = p**3 + 7*p**2 + 22*p - 5. Let c(y) = y**2 + 15*y + 46. Let o be c(-9). Let f be v(o). Is f less than -246?
False
Let x(t) = t**2 + 8*t + 20. Suppose -9*w - w = 40. Let b be x(w). Let f(k) = 6*k - 16. Let l be f(b). Which is greater: 2 or l?
l
Let l(m) = -m**2 + 5*m - 5. Let y be l(3). Suppose 9*w + y = 10. Which is smaller: -4/9 or w?
-4/9
Let p be (2 + -3)*(-5)/(-10)*2. Let c be p/(-3) + (-19)/(399/(-350)). Is c smaller than 16?
False
Let p be (3/2)/((-459)/3024 - 1/16). Which is bigger: p or -10?
p
Suppose 17*d - 10*d + 77 = 0. Let m be 4/(-20) + d/(-55). Which is greater: m or 2/3?
2/3
Let x be (-27)/((-9)/3)*61/(-549). Is 555 >= x?
True
Let c(g) = 5*g**3 - 2*g + 1. Let i be c(1). Let f be i/(-3) + 60/90. Which is greater: f or 2/331?
2/331
Suppose -i + n = 3*i - 1943, i = -2*n + 479. Let b = 239 - i. Are b and -245 equal?
False
Let r = 1857/5 - 98411/265. Is r at most as big as 6.6?
True
Let n = -7 + 8. Let k(i) = -15*i + 1. Let c be k(n). Let g(w) = -w**3 + 3*w**2 - 71*w + 201. Let l be g(3). Which is bigger: l or c?
l
Let p(y) be the second derivative of 5*y**3/6 - 3*y**2/2 - 3*y. Let j(b) = -2*b + 1. Let a(r) = -8*j(r) - 3*p(r). Let l be a(-3). Are -2 and l nonequal?
False
Let q(t) = t - 7. Let y be q(10). Let v be 184/2 - (y - 0)*-1. Let j = v + -95. Which is smaller: j or -2/11?
-2/11
Suppose 85*v - 83898 = 118487. Is v bigger than 2383?
False
Let k = -1 - -2. Let s(h) = -4*h + 152. Let l be s(27). Let y be 5/(30/(-6)) + l/24. Which is bigger: y or k?
k
Let b = 2.01 + -2. Let v = b + 0.19. Let r = 757 + -750. Are v and r non-equal?
True
Let p(o) = o**2 + 14*o - 42. Let y be p(-11). Let s = 12/2269 + -844128/11345. Are s and y unequal?
True
Let l(q) = 2*q**2 - 3*q + 22. Let m be l(-6). Suppose -i + 37 = -4*a - m, a + 4*i + 33 = 0. Which is smaller: a or -35?
a
Let t = 14693 - 14607. Suppose 0 = -3*b + 2*b + 85. Which is smaller: t or b?
b
Suppose -2*b - m = 3*b + 22, 5*m = -5*b - 30. Let y be (-12)/(-1 - b) + -512. Let a be (-24)/y*(-2)/4. Which is bigger: -1 or a?
a
Let f be 3078/36 - (-1 - 7/(-2)). Let b be f/(-9) + -3 + 6. Which is smaller: -7 or b?
-7
Let h = -5222603/41 - -127389. Is 7 equal to h?
False
Let h = -1 + 0. Let n be (2 + -1)*(-5)/(90/(-2914)). Let j = n - 162. Is j greater than or equal to h?
True
Let y(m) = -48*m**2 + 85*m + 161. Let i be y(-2). Does 2/15 = i?
False
Suppose -1410 = 1002*s - 1017*s. Is s smaller than 94?
False
Let p = -5051 + 3672. Are p and -1378 equal?
False
Let f = 0.04 - 2.04. Let t = 1.8 + f. Let k = 0.016648 + -6.016648. Which is bigger: t or k?
t
Let n(u) = u**3 - 4*u**2 - 36*u - 81. Let b be n(9). Let l(s) = 15*s**2 + s - 1. Let a be l(1). Is b smaller than a?
True
Let m(i) = -3*i - 8. Let c be m(-17). Let w = 2443 - 2448. Is c greater than or equal to w?
True
Let v(j) = -11*j - 1. Let i = -8 - -7. Let n(u) = -3*u**2 - 8*u - 7. Let h be n(i). Let s be v(h). Is 21 less than s?
False
Let i = -5/217 - -432/9331. Suppose 5*m - 17 = 2*f, -34 + 19 = -5*m. Is i at least f?
True
Let m = 4776 + -14335/3. Which is greater: m or 0.0309?
0.0309
Let q = 0.089 + -9.089. Let k = -8.57 - q. Let b = k + -0.23. Which is smaller: b or 0.01?
0.01
Let r = 22 - 68/3. Let k = -10729 - -407701/38. Which is smaller: r or k?
r
Suppose 5*l = 51 - 6. Suppose -l*t = -7*t - 168. Let w be 21/t + (-211)/(-4). Is w < -1/3?
False
Suppose 3*t = -0*t - 3*y + 57, 57 = 3*t + 2*y. Let m(s) = 29*s**2 + 370*s - 88. Let u be m(-13). Is u at least as big as t?
False
Suppose -5*b - 31 = -n + 31, 0 = 3*n - 6. Let w be (b/14)/3*70/(-40). Do w and 0.1 have the same value?
False
Let r = -14/605 + 5206/120395. Let n(m) = -m**3 - m**2 + 2*m - 1. Let u be n(0). Is u greater than or equal to r?
False
Let w(v) = -v**2 + 53*v + 18. Let f be w(30). Do 711 and f have the same value?
False
Let v(u) = -29*u - 103. Let t be v(-6). Suppose 7 = -z - t. Which is bigger: 2 or z?
2
Let g = -389233/594 + -67/297. Is -657 bigger than g?
False
Let j = -21 + 21. Suppose 15*t - 7*t - 24 = j. Suppo