as big as a?
True
Suppose 2*k + 5*b = 888, 40*k - 38*k - 888 = -4*b. Is k at most 444?
True
Let t be (-25868)/45269 - (10145/23541 - (0 - -1)). Which is smaller: t or -1?
-1
Let r(z) = -z**3 - 21*z**2 + 101*z + 26. Suppose 9 = -j - 16. Let b be r(j). Is -1/138 less than or equal to b?
True
Let p = -50.87 + -1.13. Let r = -87494 - -87494.3. Is r >= p?
True
Let h be (-76)/(-57) - ((-2)/3 - 0). Suppose h*j = -51 + 61. Is -33 < j?
True
Let r be (2/(-3))/(1/24*8). Let i be (3 + 4 - 6)/((-2)/r). Which is greater: -1/199 or i?
i
Suppose -5*u + 3*p + 36989 = 0, -4*u + 2*p - 3*p = -29581. Suppose -14*o - 29*o = -u. Which is bigger: 170 or o?
o
Let p = 46 - -52. Let b = -66 + p. Let m = -23 + b. Which is bigger: m or -1?
m
Let d(w) = -w**2 - 17*w - 22. Let m be d(-16). Let t be (-6)/(4/88*m). Let l = 13 - 12. Is t bigger than l?
True
Let x = 6084525799/39560 - 153805. Are 1 and x equal?
False
Let n = 36184/11 - 3286. Suppose -5762*f + 5771*f - 18 = 0. Are f and n non-equal?
True
Let v(y) = -2*y + 7. Let l be v(6). Let t = l - -4. Suppose 0 = 3*i - 2*c + 18, 37 = 3*i - 4*c + 67. Is t bigger than i?
True
Let x = 76.769 - 74.269. Let u = -2.3 + 0.3. Is x greater than or equal to u?
True
Let t be 3 + 4/(-14)*1043/98. Suppose 4*m = -3*b + 51, 2*b + 46 - 20 = 4*m. Let y(h) = h**3 - 8*h**2 - 10*h + 8. Let l be y(m). Does t = l?
False
Suppose 6*d + 6 = 18. Suppose 2*t - 16 = -r, r - 14 = d*t - 2. Suppose 0 = -s + 3, -q + 4*s - r = -2. Which is smaller: q or -1/4?
-1/4
Let d = -2.4426 - -0.1356. Let u = d + 2.24. Which is greater: -2 or u?
u
Let m(n) be the first derivative of -n**4/4 - n**3/3 + 13*n**2/2 + 12*n - 55. Let p be m(-5). Is p at most as big as 46?
False
Let w be (-438)/511 - (-40)/63. Which is greater: w or -1/441?
-1/441
Suppose -3*b = -a + 38 + 21, 0 = 3*a + 5*b - 247. Let c be 250/(-900)*a/(-5). Is c <= 4?
False
Let g be ((-1)/3)/(4 - 333/81). Let z be (13/g)/(2*(-9)/(-54)). Suppose 15 = -0*l + l. Which is smaller: z or l?
z
Let b = 89 - 177. Let c = 704 + -701. Which is smaller: b or c?
b
Let q = 1833 - 1883.06. Let w = -159 - -109. Let k = w - q. Are 1/4 and k equal?
False
Let x = -145 + 15. Let a be (-78)/x*1*25. Which is smaller: 19 or a?
a
Let k = -361.19 + -13.81. Is k less than 2/17?
True
Suppose 2236 = -21*d + 8*d. Let k be ((-4)/(-8))/((-2)/d). Does 43 = k?
True
Let u = 73 + -67. Suppose u*o = -441 - 129. Let j = o + 113. Is 17 < j?
True
Let d = 1721/70 - 243/10. Let u = 1 - 1.04. Let k = u - 0.26. Is d smaller than k?
False
Let y be -1744 - ((-12)/(-4) + 5 + -3). Let j = y + 276341/158. Which is smaller: j or 0?
j
Let d = -6432 + -6058. Which is smaller: -0.1 or d?
d
Let u = -21 + -16. Let o = 38 + u. Let y be ((-2)/(-2))/(o/(-18)*1). Is -18 at most as big as y?
True
Let d(k) = -2*k**2 - 2*k - 1. Let a be d(0). Suppose 3*f + 6*x - x = -85, -4*f = 5*x + 110. Let j be f/190*-22 + -3. Is j at most a?
False
Let f = -3538 + 3892. Which is smaller: f or 352?
352
Suppose 0 = 349*q - 343 - 6. Let p = -5662 + 2525251/446. Which is smaller: p or q?
p
Let b = 127 + -160. Let r be (-2 - 38/(-18))*b. Let o(v) = 4*v + 3. Let y be o(-2). Which is smaller: r or y?
y
Let q(m) = -m**2 - 4*m + 1. Let p be q(-4). Let b(z) = -22*z + 371. Let c be b(-45). Let y = 39475/29 - c. Is p != y?
True
Let q(p) = 11*p**2 + p - 2. Let r be q(1). Let f be (-18 + r)*4/(-2). Suppose 0 = 15*l - 12*l - 51. Which is smaller: f or l?
f
Let h = -3473 - -5261. Let r be 6 - (85888/h)/8. Is r smaller than -1?
False
Let v = 2659360/283 + -9397. Let c be (6*(-1)/(-849))/(68/(-6486)). Let n = c - v. Which is smaller: 0 or n?
n
Let h = -1455 + 27636/19. Which is smaller: -0.06 or h?
h
Let l be (2 - 1218/(-26)) + (-22)/(-143). Let c be (-150)/l - (69 + -72). Is 1 > c?
True
Suppose 148*n - 43991 - 86101 = 0. Is n greater than 877?
True
Let q be -1 - 29/(-3) - (-32)/96. Let o be (-3)/2*(-2 + -1 - q). Let g be (-23)/o + 0 - 8/36. Which is smaller: 2/5 or g?
g
Let g = -6218 - -7940. Are 1722 and g nonequal?
False
Let g(a) = -a + 4. Let v(n) = -52*n**2 - 10*n - 98. Let l(p) = 8*g(p) + v(p). Let x be l(-4). Which is bigger: x or 0?
0
Let n = -22.7 + -64.3. Let p = n - -87.04. Let g = 0.05 + -6.05. Is g >= p?
False
Let i(y) = y**3 - 6*y**2 + 7*y - 10. Let o be (-3 - -4)*-31 + 0. Let w = o - -36. Let b be i(w). Is b at most 2/17?
True
Suppose 0 = 5*o - n - 1615, -941 = 916*o - 919*o - 5*n. Which is smaller: 2250/7 or o?
2250/7
Suppose 86 = -4*l + 40*t - 34*t, 0 = 3*t - 3. Is -15 not equal to l?
True
Suppose 0 = 24*w - 22*w - j - 1106, -4*w - 5*j = -2156. Which is smaller: -9 or w?
-9
Let y = -3.161 - -114.161. Which is smaller: y or 1/7?
1/7
Let a(k) = -k**3 - 8*k**2 - 6*k + 8. Let v be a(-7). Let m = 0.03 - -0.006. Let h = 0.126 - m. Is h greater than v?
False
Let p = 1765 - 173. Is p > 7964/5?
False
Let d(g) = -11*g - 49. Let h be d(-4). Let r be (h*96/(-200))/(3/40). Is r >= 1/2?
True
Let r be (-1 - (-21)/14)/((69/86166)/(-23)). Which is smaller: r or -14362?
-14362
Suppose 0 = -3*x + 23 - 11, 0 = 2*i - 2*x - 294. Is i smaller than -37?
False
Let c = 0.7779 - 0.4359. Do c and -0.5 have different values?
True
Let j = 0 + 52. Let m be (339/(-6102))/(4/(-3816)). Is j less than or equal to m?
True
Let y(l) = -2*l**2 - 11*l + 7. Let g be y(-6). Suppose -5*n = -5*w + 40, n - 4*w + 28 = -2*n. Let x be (-5)/30*n/(-26). Which is greater: x or g?
g
Let u be 3 - 9 - (-1 + -1). Let s be 4 + (-8 - u) + 42. Which is smaller: s or 43?
s
Let d = -148625 - -2525175/17. Are d and -86 unequal?
True
Let p = 6/139 + -328/14039. Let x = -146467 + 146467. Is x equal to p?
False
Let o = -383 - -271. Let a = -1453/13 - o. Let i = -180 + 180. Are a and i nonequal?
True
Let h = 5.238 + -5. Let o = h - 0.138. Does 56 = o?
False
Let b be ((-5)/(-10))/((-177)/144*-4 + -5). Let r be 138/10*2/(-6). Which is greater: r or b?
r
Let d = -23421.2513 + 23421. Which is bigger: -0.2 or d?
-0.2
Let x be (3 - 5)/((-2)/(-4)). Suppose 4*o + 178 - 126 = -4*y, -5*o - 15 = -5*y. Which is smaller: x or o?
o
Let k = -3785 - -3386. Is -399 > k?
False
Let c = 895.379 - 895. Let f = 0.249 - c. Which is smaller: -0.5 or f?
-0.5
Suppose -15*y + 13*y = -158. Let z = 76 - y. Let v(h) = -3*h. Let q be v(-2). Which is greater: z or q?
q
Suppose 0 = -579*m + 588*m - 27. Which is greater: 135/47 or m?
m
Let q be ((-26)/52*(0 + -2))/(3/(-258)). Which is smaller: -84 or q?
q
Let q = -951 - -1383. Let p be -2*3/(-42) - q/(-14). Suppose -8*c - p - 9 = 0. Which is smaller: 2 or c?
c
Suppose 0 = 70*k - 206 + 2236. Which is smaller: k or 7?
k
Let w = 71 + -66. Suppose w*u + 2 = 2*c + 10, 5*c - 13 = -4*u. Which is smaller: c or -2/553?
-2/553
Let c(h) = -h**3 + h**2 + 35*h + 2968. Let n be c(0). Is n less than 2967?
False
Let d be ((-22)/(-4))/((-9)/54). Suppose 0 = 2*i + 48 + 18. Are i and d unequal?
False
Let r = -1097 + 1097.07. Which is greater: r or -0.052?
r
Let h be (-3 - 12/(-20))/(9/(-45)). Which is greater: h or -176?
h
Suppose c + 10*w = 12*w + 588, 3*c - 5*w = 1767. Let p = c - 15451/26. Is p less than 1?
True
Suppose 70*x + 20895 = 65*x. Let q be 0 + (x/14)/3. Is -100 equal to q?
False
Let b = 20257 + -21309. Is b smaller than -1052?
False
Let x = 41053 - 39572. Which is greater: x or 1472?
x
Let l = 29185 + -29185.4. Which is greater: l or -305?
l
Let g(w) = -w**3 + 8*w**2 - 2*w + 4. Let j be g(6). Let q = 42 + -29. Suppose -q*t - 192 = -16*t. Are t and j equal?
True
Let h = -35 - -19. Suppose 55 + 14 = 23*t. Suppose 5*m - c + 33 + 46 = 0, 0 = 3*m + t*c + 51. Is h bigger than m?
False
Suppose -5*s + 65 = 10. Suppose 5*u - s = -16. Let l = 2 + -5. Which is smaller: l or u?
l
Suppose 15 = -17*k + 20*k. Suppose z - 6*s = -10*s - 49, -k*z = 3*s + 228. Let p = -49 - z. Is -21/8 greater than p?
True
Let i(q) = 5*q**2 - 32*q + 3. Let m(g) = 2 - 6*g - 6*g - 1 + 2*g**2 + g. Let l(n) = -4*i(n) + 11*m(n). Let k be l(-4). Is 4 less than k?
False
Suppose -2*v = -4*k + 3*v + 297, -k + 43 = 5*v. Let b = 72 - k. Suppose 5*s = b*u + 108, -u - 18 = -0*u + s. Is -20 at most u?
False
Let w = -38 - 155. Let y = w - -193.1. Is 2/7 greater than or equal to y?
True
Suppose 3*b - 94 = 65. Let n = -7474 + 30103/4. Which is smaller: n or b?
n
Let p = -0.3 + 0. Let v = -0.2 - p. Let t = -37434 + 37433.9. Are v and t equal?
False
Let h(k) = -12*k - 681. Let i be h(