maller: g or -5?
g
Suppose 2*s + 85 = -3*s - i, 5*i = 2*s + 61. Let v be 27/s*(-8)/(-6). Let b be (-27)/(-21) + -3 - v. Which is greater: -3/8 or b?
b
Let n = 7445.07 + -7445. Does n = 0.2?
False
Suppose 3*l = 3*c + 19587, 1429 = -4*l + 1401. Which is greater: 2 or c?
2
Let v = 5244.66 + -5248. Which is smaller: v or 3/5?
v
Let s be 0 - (1810902910/5662020 + 4/2). Let p = s - -3/94367. Let c = -323 - p. Is -2 bigger than c?
False
Let b = 22.035 + -22. Let m = b - -0.045. Let s = m + -0.18. Is 7/5 at least as big as s?
True
Suppose 0 = 4*k - 0*v + 3*v - 11923005, 0 = 4*k + 5*v - 11923011. Let n = k - 283174891/95. Let t = n - -199/5. Which is greater: -1 or t?
t
Suppose -2*y - 18 - 14 = 0. Let f be (-200)/318 + y/(-24). Which is smaller: f or 1?
f
Let r be 2/(-3) - 112/42*2*-266. Do 1419 and r have different values?
True
Suppose 22*u - 54*u = -2912. Suppose 53 + u = 24*j. Which is bigger: j or 32/7?
j
Let a = -103978 + 1153505/11. Let j = -885 + a. Which is smaller: -1 or j?
-1
Suppose -4*p - 21 = -p. Let t = -112 + 119. Suppose 0 = n - u - 1 + t, -2*u = n + 9. Is n not equal to p?
False
Let f = 186319/345 + -266/69. Let y = 431631/805 - f. Is -1 at most y?
True
Let c(g) = 5*g**3 - 390*g**2 + g - 62. Let r be c(78). Which is smaller: r or 561/37?
561/37
Suppose -52*u = 3509 + 50883. Which is bigger: -1045 or u?
-1045
Suppose -6*g = -787 + 487. Let j = -352/7 + g. Which is smaller: -2/29 or j?
j
Let q = -729 - -727. Let m be 0 - ((-4 - 2) + q + -165). Is 174 not equal to m?
True
Let c = -1.9 - -2. Let f = -263.6 + 3.6. Let m = -266 - f. Is c at most m?
False
Let c = 1985 + -1979. Which is smaller: c or 226?
c
Let k be (-7)/((-4235)/3)*-79*1. Let n = k + -1/121. Let h be 1 + (-126)/(-16) - 11/(-88). Do n and h have the same value?
False
Suppose 3*v - 10 = v. Suppose 0 = 2*g + 5*t - 11 - 1, -2*g + 12 = -3*t. Is g less than v?
False
Let s = -113584/5775 - -59/3. Are 0.3 and s equal?
False
Let c = -0.05012 + 53.15012. Is 2/5 less than or equal to c?
True
Let r = -1401 - -74276/53. Is 0 greater than r?
False
Let q = 165 + -1. Let y = 162 - q. Is y > 2/83?
False
Let m = 0.2 + -0.204. Let u = 153.404 + -153.1. Let x = u + m. Is x != -0.2?
True
Let q = 553 - 400. Suppose 5*x - 126 = x - 5*b, -5*x = 4*b - q. Is x >= 32?
False
Suppose 19*h = 11*h + 416. Suppose 394 = -3*g - 2*m, -g - h = m + 81. Which is greater: -129 or g?
g
Let x = 2.9446 + -3.0766. Are -5.5 and x nonequal?
True
Let a = 133/16 + 19/16. Let q = a + -10. Suppose -5*x + 26 = -7*x. Which is smaller: q or x?
x
Let i = -2.08 - 63.92. Let q = 66.4 + i. Is q smaller than -7?
False
Suppose -2*k - 5*x = 11, -4*k + 21 = -k - 5*x. Suppose -7 = 3*c + k*g, 2*g - g = 2*c. Suppose -7*w + 5*w + 26 = 4*p, -3*p + 12 = w. Is w bigger than c?
True
Let m = 229139/1113 - 71/159. Which is bigger: 206 or m?
206
Let j(f) = 3*f - 59. Let a be j(26). Suppose -a*k = -26*k - 154. Which is greater: -3 or k?
-3
Let z = -199/20900 + -1/275. Suppose 144 = -14*p + 144. Is z != p?
True
Let l be (-7 + 6 - 0)*(1 - 5). Let s(r) = r + l + 0*r + 6 - r**2. Let t be s(-3). Is -9/8 at most as big as t?
False
Suppose -27*y - 3*c = -31*y - 176, 0 = 5*y + 5*c + 220. Let w be 42 + -1 + 2 + -1. Let f = w + y. Which is smaller: f or -0.2?
f
Let p be (11 + 4)/5 + -1. Suppose -p*w + 9*w + 7 = 0. Which is smaller: 0.04 or w?
w
Let y = -4/31311 - -6356201/532287. Does 12 = y?
False
Let d = 18003 - 540023/30. Let w = -4/15 - d. Is w bigger than 0.6?
False
Let r be (((-50)/305)/(-10))/((-18)/12 - -4). Let v = -11 + 12. Which is greater: r or v?
v
Suppose 3075 - 3035 = 8*d. Which is bigger: 32/9 or d?
d
Let t = -65/9807 - 6343/29421. Let m = -6.6 - -173.6. Is m >= t?
True
Suppose 5*y - 14 + 4 = 0. Let v be (13 - y)*68/187. Do v and 2.5 have the same value?
False
Suppose 46*i + 66133 = -34*i + 507733. Is 5520 != i?
False
Suppose 5*u + 24 = 10*u - 2*v, -2*v + 4 = 2*u. Let k(f) = -2*f**2 + f - 6. Let l be k(u). Which is smaller: l or -2?
l
Suppose -20 = c - 1. Let l(k) = 2*k**2 + 47*k + 44. Let t be l(c). Which is smaller: -128 or t?
-128
Let v be (2 + 72/(-28))*2639/(-58). Which is smaller: -8 or v?
-8
Suppose -3*n + 109 = -15785*p + 15787*p, 5*n + 117 = 2*p. Let g(w) = -w**3 + 8*w**2 - 3*w - 3. Let k be g(5). Does k = p?
False
Let x = 643/55 + -122/11. Which is bigger: x or -0.0717?
x
Let c(g) = 3*g**2 + 27*g + 14. Let f(u) = 8*u**2 + 54*u + 27. Let k(t) = 5*c(t) - 2*f(t). Let x be k(26). Is 214/5 less than or equal to x?
False
Suppose -2169 = -2*c - z - 1581, c - 2*z = 294. Which is smaller: 295 or c?
c
Let o(i) = 2*i**3 + 53*i**2 + 320*i + 8. Let l be o(-16). Which is smaller: l or 263?
263
Let c be (2*(-2)/(-48))/(15/135). Suppose -3*b + 4*b - 2 = 0. Let i be (b/(-4))/((-20)/(-10)). Is c equal to i?
False
Suppose -3*j + 4 = -17. Let u = 102 + -100. Suppose 10 = -u*h + j*h. Is -0.17 at most as big as h?
True
Let y be 4*1*6/8. Let f be (-2)/(-3)*y/(-37). Let c(x) = x**3 - 2*x**2 + 22*x - 45. Let m be c(2). Which is smaller: f or m?
m
Let p = -36.1 + 192. Let z = p + -156. Are z and -4.1 unequal?
True
Let d be 25/2265*189/(-210). Is d greater than -1/4?
True
Let t = -442.0547 + 442. Let l = -0.925 - 0.075. Is l at least as big as t?
False
Let i = 3931.19 - 3931. Is i at least as big as -86?
True
Let c = 63 + -81. Let p be ((-4)/(-5) + -2)/(138/(-92)). Which is smaller: p or c?
c
Let i = -419.2 + 414.2. Which is bigger: 0.015 or i?
0.015
Let r be 10/100 + (-1150013)/60230 + 19. Suppose -1 + 0 = f. Is r >= f?
True
Let b(c) = -502*c**2 - 4*c - 8. Let i be b(-1). Is i less than or equal to -500?
True
Let a(d) = -d**2 + 5*d - 3. Let x be a(2). Let f(p) = -p**2 - 7*p + 34. Let b be f(x). Let z(v) = -2*v**3 + 7*v**2 + 9. Let l be z(b). Is -7 at least l?
True
Let u = -6887 - -6950.28. Is u at most as big as 2/5?
False
Let z be 4/(-10) + 0 + 670/50. Suppose z*b = -2*b - 345. Which is greater: -16 or b?
-16
Suppose 8828 = 59*p + 214. Is p != 115?
True
Let u be (110*6/(-225) - 6/(-10)) + 6. Suppose -2*f + 3 = -5*o + 8, 3*f = 3*o + 6. Is o not equal to u?
True
Let o = 4235686319 + -43445434527841/10257. Let u = o + -175/39. Is -1 < u?
True
Suppose 23*z + 1832 + 6580 = 11*z. Is -697 bigger than z?
True
Suppose 39*g + 275 = -778. Let m be -3 - ((-56)/(-7) + g). Let x = 35 + -20. Which is smaller: m or x?
x
Suppose 31207 = 252*a - 67829. Which is smaller: 398 or a?
a
Let m = -0.08 - -6.68. Let s = 5.7 - m. Which is smaller: s or 0.9?
s
Let r = 107/1068 + 40/267. Which is smaller: r or -70.1?
-70.1
Suppose 3*m + m = -g - 1, 5*g + 5 = m. Suppose 23*h - 7*h + 16 = m. Which is smaller: h or -18/43?
h
Let s = -17897 + 16962. Is -6548/7 greater than s?
False
Let n(m) = -m**3 + m**2 + 6*m + 5. Let j be n(-2). Suppose -166 = -j*c + 79. Let p be -1 - 2 - -1*(3 + 50). Is c equal to p?
False
Let k = 42.543 + -3.543. Let i = 40.027 - 0.027. Let t = k - i. Which is greater: t or 38?
38
Let y = -30/239 - 1582/2629. Let t = -7 - -6. Is y at most as big as t?
False
Let b be ((1 - 0) + 0)*-5. Let m be (-62)/(6*(-3)/27). Let v = m + -99. Is b equal to v?
False
Suppose 3*u = -97 - 5. Let d be (-4)/u*-1*2. Suppose -4*z - 60 = 0, 5*z + 10 = 2*r - 2*z - 95. Are r and d unequal?
True
Let p = -211.2409 - -211. Is p at least as big as 0.1?
False
Let j = -11808 - -11937. Let v be 128 + (-1 - -2)*1. Do j and v have the same value?
True
Let r be -6 + 384/63 + 515799/(-189). Is -2729 greater than or equal to r?
True
Let g = -92 - -90. Let f be (1/g)/((-155)/(-40) + -4). Suppose -35 = 3*i + s, f*i = -s + 4*s - 38. Which is smaller: -9 or i?
i
Let g = 29/10 - 633/220. Let m(z) = z + 19. Let q be m(-20). Is g greater than q?
True
Suppose -5*j + 2*l = -24964, 3*j + 89*l - 15028 = 84*l. Is 4998 greater than or equal to j?
True
Let c = 8707 - 7940. Are 5366/7 and c nonequal?
True
Let m be (12 + -10)*10/(-4) - -3. Let o be m/8*236/(-59). Which is smaller: -3/299 or o?
-3/299
Suppose 59*m + 3540 = 74*m. Which is smaller: 234 or m?
234
Let l be ((-132)/30)/(-9*(-34)/3825). Suppose 2*x + 239 = -5*j, -2*j + x - 199 = 2*j. Which is smaller: l or j?
l
Let a = -494423/24 - -20601. Is 70.7 >= a?
True
Suppose 26850 = 4*o + 3386*v - 3383*v, -5*o + 33561 = 3*v. Do 6710 and o have different values?
True
Suppose 0 = 4*t + 24, 152*n - 3*t + 535 = 153*n. Which is bigger: n or 549?
n
Suppose -3*j + 102 -