-25)) - 3. Let r = 30 + b. Suppose 0 = -6*x + r*x. Which is smaller: x or 4?
x
Suppose 2*s + 3 = 7, -157 = 5*y - s. Suppose -5*d = 10, 4*r - 25 + 3 = 5*d. Let u be 0 - 26 - (r - -1). Which is smaller: u or y?
y
Suppose 3*b = -412*z + 411*z + 3239, -b = -2*z - 1068. Which is greater: 1080 or b?
1080
Suppose 79*r - 87*r - 40 = 0. Let g be (-594)/(-110) + (r - 0). Which is smaller: g or -7/2?
-7/2
Suppose -252*f + 2327 + 2161 = -264*f. Which is greater: -371 or f?
-371
Let h(m) = -2*m**2 - 4*m + 9. Let z be h(-5). Let r be (-28)/z + -2 + (-292)/(-42). Which is bigger: r or 6?
r
Suppose 3*q + 194 = -4*v + q, 3*v + 139 = 5*q. Let p be v - ((-3)/4 - (-90)/(-40)). Are p and -44 nonequal?
True
Let i(o) = -o**3 - 7*o**2 - o - 3. Let h be i(-7). Suppose 0 = 3*r, -5*d + r = -h*r + 10. Let a = 8619/20 + -1731/4. Is a at most as big as d?
False
Let k = -114 - -114. Suppose k = -4*c - c + 5. Let j be c/(34 - 6/2). Are j and 1 nonequal?
True
Let l = -839 + 838.95. Which is greater: -0.0531 or l?
l
Let m(j) = -1. Let a(u) = u - 21. Let b(z) = a(z) + 2*m(z). Let n be b(20). Let o = 55 - 117/2. Which is smaller: o or n?
o
Suppose 5*y - 20 = -10. Suppose y*a + 5*w = -0*a - 27, 0 = -a - 4*w - 9. Which is smaller: -23 or a?
-23
Suppose 0 = z - 41*z + 1520. Which is smaller: 45 or z?
z
Suppose -3*r - 2*g + 3*g + 11 = 0, -4*g - 10 = 5*r. Let q = 198 - 197.77. Which is bigger: r or q?
r
Suppose 6643 = -6*b - 5*d - 14856, 0 = -5*d - 25. Which is bigger: -3578 or b?
-3578
Suppose 4*o + 102 = -0*o - 5*q, -10 = -5*q. Let n be o/21*-3*2/(-4). Let d be (-3 - (-2 - 3)) + n + 7. Which is greater: 9 or d?
9
Suppose -2077 = -j + 2*j - 5*n, 3*j - 5*n + 6221 = 0. Let q be 2/(-5) - j/(-67690)*-13. Which is greater: q or 1?
1
Let y = 6579.22 - 216.22. Which is bigger: 2/9 or y?
y
Suppose 0 = -5*x - w + 992, -2*w - 6 = -5*w. Let l = x + -215. Is -17 < l?
False
Let j be (1/2)/(27/22 + -17 + 16). Let c = 5.03 - 5. Let p = c + -0.13. Which is smaller: p or j?
p
Let k(w) = -w**3 - 41*w**2 - 37*w + 120. Let o be k(-40). Let z = -721 + 42542/59. Is o < z?
True
Let r be (23 - (-5)/(-5))/(14/763). Which is bigger: r or 1?
r
Let a be (10/6 - 2)*9. Let h be 39*(14/a)/(-7). Let x be 0/5 + (-3 - -30). Is h < x?
True
Suppose -25 = -c + 6*c, -5*c - 13 = 2*g. Suppose -x - g*x - 35 = 0. Are x and -5 unequal?
False
Let t be 45/18 + 186/(-56). Let d = 215/168 + t. Which is smaller: -1 or d?
-1
Let k = 477 + -477.16. Let a(x) = 4*x + 42. Let n be a(-10). Are k and n equal?
False
Let o be 10 + (1 + 0)*-3. Let k be (1 + (-55)/(-20))*4 - 8. Is o at least k?
True
Suppose 0*i - 12 = -6*i. Suppose -2*y + 20 = -i. Let k(z) = -z**2 + 14*z - 36. Let j be k(y). Which is smaller: j or 9/4?
j
Let m = -1640 - -1651. Is m not equal to -0.63?
True
Let m = 37.1 + -34. Let j = 59 - -109. Let k = j - 168. Is k > m?
False
Let w = 35.46 + -8.16. Let m = 25.59 - 0.59. Let d = w - m. Do -2/3 and d have the same value?
False
Let h be (((-224)/(-1435))/(-8))/(26/(-39845)). Which is greater: h or 31?
31
Let b(r) = -29*r + 3. Suppose 0 = -5*l, -3*l + 4*l - 15 = 5*d. Let i be b(d). Which is greater: i or 0?
i
Suppose -9 - 11 = 4*l. Let w(b) = 3*b + 7. Let c be w(l). Suppose -24*t - 4*q - 6 = -18*t, 3*q = -4*t - 1. Is c at least as big as t?
False
Let o = -1230 + 250. Let c = 76441/78 + o. Are 0 and c equal?
False
Suppose k = 5*g, -5*k = 5*g + 78 - 18. Let j be -1*((15/k)/1)/2. Which is bigger: 1/5 or j?
j
Let p = 4895.68 + -4895. Is 1 >= p?
True
Let m = -79.01 + 79.31. Which is bigger: 2/1971 or m?
m
Let x = 3.46 - 1.46. Which is smaller: 7.36 or x?
x
Suppose -1122*v + 1139*v = -4318. Are -252 and v equal?
False
Let m = -7 - 10. Let j = m - -2.6. Let a = j + 13.37. Which is greater: a or 0.1?
0.1
Let b be (2 - (-21)/(-7))*-4. Suppose -5*a - 5*f = -10, -f = f - b. Which is bigger: -5/26 or a?
a
Suppose -196*q + 199*q - y + 16226 = 0, 0 = -3*q - 3*y - 16254. Do q and -5411 have the same value?
True
Suppose -10 = o - 2*t, -3*o - t - 40 = o. Let i = o - -19. Suppose 11*w - i*w - 4 = 0. Is 1 > w?
False
Let a = 7.89 - 0.89. Let w = -11 - -14. Let v = a - w. Which is smaller: 0.1 or v?
0.1
Let m be (-2)/12*16/6. Let d = -108.7 - -99.78. Let w = d - -8.96. Which is greater: m or w?
w
Let a be 32/6*2/20. Suppose 0 = -19*y + 8*y + 4873. Let o = y + -442. Is o less than a?
False
Let i be 5695716/1885 + (-4)/(-10). Is 3023 at most as big as i?
False
Let h(n) = 2*n**3 - 9*n**2 - 6*n - 118. Let u(o) = -3*o**3 + 8*o**2 + 5*o + 121. Let y(q) = 4*h(q) + 3*u(q). Let j be y(-12). Which is smaller: -4/597 or j?
j
Suppose 0 = 14*z - 20*z - 174. Let l = 8 + -4. Suppose l*a + 86 + 34 = 0. Which is smaller: z or a?
a
Let r be -40 + 40 + 284/23790. Let l = 5/183 - r. Is 0 less than or equal to l?
True
Let v = 306 + -286. Suppose v*g = 78 - 18. Suppose 3*h - 2*h - 6 = 0. Which is smaller: g or h?
g
Let m(u) = -2*u**2 - 54*u - 10. Let i be m(-17). Suppose 6*s - i = -5*s. Is 29 != s?
True
Suppose 0 = -2*n - 3*p + 227, 0 = -4*p + p - 15. Let a = n + -124. Do a and -33/16 have different values?
True
Let w(l) = -5*l**2 + 8*l + 119. Let r be w(5). Are r and 64 unequal?
True
Let w = 1140 + -1122. Is 0.418 less than or equal to w?
True
Let s = 21.4 + -112.4. Let a = s + 90.926. Let o = 0.074 + a. Which is bigger: 2/59 or o?
2/59
Let n = 9403/24 - 392. Suppose -2*j + 6 = 0, 15 + 5 = s + 5*j. Suppose 3*q = s*v - 10*v + 17, 2*v = -q + 7. Which is smaller: q or n?
q
Let t(h) = -h**3 - 25*h**2 + h + 32. Let k be t(-25). Let u be (k/14)/((-3)/216). Is -31 less than u?
False
Let s = 16/47 + -1338/893. Let h = s + -124/57. Which is greater: -4 or h?
h
Let u(i) = -i**3 - 6*i**2 + 2*i - 36. Let z be u(-7). Let m be 2 - (z - 10) - (-2 + 3). Let x be 4*((-51)/m*-1 - -3). Is -2 at least as big as x?
False
Let o = 634 + -634. Suppose o = 7*h + 185 + 88. Which is bigger: h or -14?
-14
Let z = 273 - 193. Let y = z - 79. Is y less than or equal to 1.01?
True
Let g(v) = -v**3 - v**2 + 20*v + 6. Let f be g(-5). Let x(y) = 119*y - 4. Let w be x(-1). Let l = -117 - w. Is l smaller than f?
False
Let q = -309423 - -391420074/1265. Is 0 at most q?
False
Let w = 1 - -1. Let h(m) = -2*m**3 + 3*m**2 + 7*m - 8. Let s be h(4). Let u be (-12)/21 + s/(-252). Which is greater: u or w?
w
Let h = 5828737/932 + -6254. Which is smaller: -1 or h?
-1
Suppose 0 = 10*p - 46*p - 41950 + 5806. Is p bigger than -1004?
False
Let i be (-5 - -3 - 35)/(-10*208/(-11680)). Which is smaller: -207 or i?
i
Suppose -5 = -4*q - 89. Let d(t) = -t**2 + 8*t - 7. Let k be d(7). Let p be (-19 + (k - 1))/(3 - 2). Are q and p non-equal?
True
Let s = -1024 + 664574/649. Suppose -5*c + 30 = -5*q, -c - 12*q - 19 = -8*q. Which is smaller: s or c?
s
Let j = -0.1 - -0.3. Let r(x) = x**3 + x**2 - 8*x + 7. Let u be r(2). Suppose 0 = u*q + 12, 0 = -8*p + 3*p - 5*q + 50. Which is smaller: j or p?
j
Let s(g) = 45*g - 179*g + 46*g + 176 + 40*g + 44*g. Let t be s(44). Which is smaller: t or 3/73?
t
Let f(s) = 5*s**3 + 17*s**3 + 4*s**2 - 3*s**2. Let n be f(1). Suppose -4*l + n = -5. Is 9 greater than or equal to l?
True
Let m be (-9)/((-2385)/(-50)) - 0. Let j(z) = -2*z**3 + 14*z**2 - 20*z + 47. Let v be j(6). Which is smaller: m or v?
v
Let f be (15/35)/((-3627)/(-182)). Suppose -11*d - 33 + 22 = 0. Which is smaller: d or f?
d
Let r = 7 - 2. Suppose -3*x - 8 = -r*i, i + 3*x + 5 = 3*i. Let j = 5987 - 449024/75. Which is bigger: j or i?
i
Let m = 1.9 + -2. Let y = 1890.94 - 1777.94. Which is bigger: m or y?
y
Let w = -688.444 - -0.444. Let h = w - -688. Is h equal to 0?
True
Let v = -253 + 258. Suppose 10*m = -v*m - 3390. Is -227 > m?
False
Let y = 609191/15 - 40579. Which is greater: y or 35?
35
Let c = 769/30 + -817/30. Suppose -4*t + 3 = -69. Suppose 2*j = -5*d + t, -2*j - 2*d - 1 + 7 = 0. Is j > c?
True
Let n = -47673 + 46865. Is n < -804?
True
Let v(y) = y**2 + 11*y - 6. Let b be (-4)/((10 - 3) + -8). Let u be v(b). Which is smaller: 52 or u?
52
Let p = -13441 - -79601/6. Is -174 less than or equal to p?
False
Suppose 220 = -6*k + 250. Suppose 8*j - k = 123. Is j less than 61/4?
False
Suppose 0 = 5*c + 3*v - 18, -5*c + 3*v = -4 - 8. Suppose 3*n - c*f - 18 = 12, f = -n + 10. Which is bigger: n or 12?
12
Suppose 18*q + 32171 = -8043 + 3368. Is q greater than -2047?
False
Let j be (-5)/2*(-64)/80. Let p be ((-7 - 1)*1)/(j/38). 