b + 101. Let y be z(20). Let r = 102 - y. Which is greater: -58 or r?
-58
Let p = -421.8 + 360. Let b = 63 + p. Let f = b + -1.3. Which is smaller: f or 1.3?
f
Let a be 2 + ((-40)/(-6) - 8) + (-134)/(-6). Is a < -146?
False
Let d = -2.2 + -3.8. Let j = 0.6 - -5.4. Let a = d + j. Is 1 > a?
True
Suppose -4*h + 85*n = 89*n + 252, 2*h - 5*n = -98. Let t(s) = -15*s + 1. Let y be t(4). Do y and h have the same value?
True
Let t be (102/85)/(3/(-290)). Let b be (2/t)/(494/(-76)). Which is smaller: 0 or b?
0
Suppose -2*c = 2*b, -5*b + 5 = -5*c - 5. Suppose 0 + b = -v. Let h be (3 + 0 - 1)/(-23 - v). Are h and -0.07 non-equal?
True
Let b = -3693 - -11164/3. Let s be -4 + 27 + (-12)/(-3). Is s at most as big as b?
True
Let f = -4232 + 4226. Are 230 and f nonequal?
True
Let u = 271.7 + -16.7. Let y = u + -254.4. Which is smaller: y or -2/3?
-2/3
Suppose 17*z - 325 = 22*z. Let i = -70 - -25. Let n = i - z. Which is bigger: 17 or n?
n
Let f be 10/25 + 0/(-3). Let t be -2 + 2 - (0/(-1))/(-3). Which is greater: f or t?
f
Suppose -5*h + 1290 = h. Let l(z) = -z**3 + 56*z**2 + 61*z - 11. Let w be l(57). Is w at least as big as h?
True
Suppose 0 = 24*f - 19997 + 3125. Let m = f - 616. Which is smaller: 88 or m?
m
Suppose l - 376 = 5*l. Suppose -2856 + 766 = -1672*c + 1694*c. Is c smaller than l?
True
Let v = -363 + -449. Which is smaller: v or -810?
v
Let o be (8/(-6))/((-2)/(-6)). Let v = -8.977 - 0.023. Let a = -13 - v. Is a less than or equal to o?
True
Suppose -132 = 22*l - 28*l. Suppose 0 = 7*o - l*o. Which is smaller: o or -1/161?
-1/161
Suppose 86*j + 3*j = 0. Is j bigger than 2/2019?
False
Let q be 5/(-1)*6*(-7828)/418. Are q and 562 non-equal?
True
Let y be 6*1*(-1)/4 - (-10521)/7098. Is y less than 1?
True
Suppose -5*o = 4*r - 20 + 4, 12 = 3*o. Let f be ((-1)/4)/(71/(-32) - -3). Which is smaller: r or f?
r
Let c be 4 + 13 + (2 - 3). Let p = c + -5. Let w = 30 - 20. Do w and p have different values?
True
Let y = -1018 + -1205. Let f = 5297407/2383 + y. Is f bigger than -1?
True
Suppose 5*g = 3*a + 4804, 0 = -3*a - 116*g + 111*g - 4784. Is -1597 greater than or equal to a?
True
Let r(p) = -p**3 - p**2 + p - 10. Let n be r(-3). Suppose -n*l = -l + 5*l. Do l and -1/90 have the same value?
False
Let z be -2 + (-2 - (-103)/25). Suppose -4*f + 396 + 272 = -4*q, 0 = -q + 5*f - 179. Let d = q + 163. Is z less than d?
False
Let c be (-2)/6*3/(-2). Let f = -64.77 + 64.8. Let q = f - -0.02. Which is greater: c or q?
c
Let n = 105225/7 + -15020. Is 11 bigger than n?
False
Let c = 2136 - 1252. Let h = c + -7081/8. Suppose -4*l = -4*d, 0 = d + 4*l + 8 + 2. Which is greater: h or d?
h
Suppose 5*q = 3*g - 166, 2*g + 73 = -2*q + g. Let w be -1*(q + 1 - -4). Which is bigger: 28 or w?
w
Suppose 0 = -5*y + d - 679, -28*y = -24*y + 3*d + 547. Let t = -130 - y. Is t at least as big as 4/9?
True
Let y = -2/104783 - -123755/993971538. Which is smaller: y or 0?
0
Let c(i) = -i**2 - 12*i + 265. Let t be c(-23). Let q be 2/(-3) + 29/3. Suppose -t = -7*l + q. Which is smaller: -7 or l?
-7
Let r = -5008 + 2836. Let x = -28374/13 - r. Which is greater: -12 or x?
x
Let z(i) = -i**2 - 73*i + 3094. Let v be z(30). Is v bigger than -6.8?
True
Let p be ((-2 + 52)/1)/(-2). Let w = p - -33. Let r(b) = -b - 5. Let d be r(w). Which is smaller: d or -11?
d
Let l be (10191/316)/((-1)/(-2)). Is -2 bigger than l?
False
Suppose 0 = 3*m + 2*h + 8470 - 3088, -5388 = 3*m + 3*h. Is 2 smaller than m?
False
Suppose 0 = -5*z - 2*b - 162, -z + 118 = -4*z + 4*b. Suppose 8*p - 1430 + 326 = 0. Suppose p = -4*q + 3*x, q - 103 = 4*q - 2*x. Are q and z equal?
False
Let q be -1*(-3 - -5)*(-26 - 3). Suppose -2*z = q - 16. Let w be (-2)/(-9) + 400/(-18). Do z and w have different values?
True
Let f = 27 + -82/3. Let t = -25.31 - -165.21. Let z = -140 + t. Is z greater than or equal to f?
True
Let p = 106 - 104. Suppose -p*v + 20 = 178. Let y = v + 317/4. Which is bigger: y or 1/77?
y
Let f = 21 + -16. Let h = -2548 + 2516. Which is smaller: h or f?
h
Let q(g) = -g**2 - g - 1. Let f be q(-4). Let x be (-3)/(-2)*152/12. Suppose -x*s + 43 = 271. Which is smaller: s or f?
f
Let x be (6 - 123/96) + -10 + 4. Is x at least as big as -1?
False
Let h(u) be the third derivative of 2*u**5/15 + 89*u**4/24 + 11*u**3/6 - 42*u**2. Let t be h(-11). Which is smaller: t or -6?
-6
Let w = 87 + -87. Suppose -9*i + 49 + 86 = w. Let y be 176/12*i/(-10). Is -24 > y?
False
Let c = 1805/14 + -259/2. Let f(u) = 10*u + 35. Let y be f(-4). Let q be 0*(y + 2 + 32/12). Which is smaller: c or q?
c
Let q(v) = -v - 2. Let g be q(-2). Suppose g = 5*s + s - 12. Suppose 0 = -h - 4*h - 4*f + 35, 0 = 2*h + 4*f - s. Are h and 10 nonequal?
True
Suppose 3*x - 10 = -0*x + c, 3*x + 3*c = 18. Suppose -3*l + x*l = -37. Let t = l - 0. Which is smaller: t or -36?
t
Let d be (-23)/(-2)*(-31 - -19). Let q = d + 119. Is -23 greater than q?
False
Let i = -1417.1 + 968.1. Do -11 and i have the same value?
False
Let f be (-13 + 8)*3/5. Let m = 603 - 595. Do m and f have the same value?
False
Suppose 0 = -5*k - 2*c + 52, 4*c - 11 - 9 = -3*k. Let a(f) = -5*f - 16. Let b be a(k). Let v = b + 840/11. Which is greater: v or 1?
1
Let p = 0.761 - 4.799. Let a = p - -0.038. Do 3 and a have the same value?
False
Let a(i) = -i**2 - 210*i + 863. Let j be a(4). Which is bigger: 148 or j?
148
Let o = -5547.9 + 5547. Which is bigger: o or -74.1?
o
Let m(a) = 628*a + 278. Let j be m(4). Is 2790 greater than or equal to j?
True
Let b = -87 + 87.61. Let q = 17.61 - b. Is -0.03 > q?
False
Let z = -1379 - -1380. Does z = 451?
False
Let m = 0.08871 - 4.88871. Is m at least as big as 54?
False
Suppose -7*m + 17 + 53 = 0. Suppose -28 = 3*v + r, -58 = 4*v - 4*r - m. Let j(w) = -w**2 - 11*w - 23. Let a be j(v). Which is bigger: a or -12?
-12
Let y = -216 + 172. Let i be ((-8)/y)/(-3 + 30/9). Let f = 0.2 + -0.4. Which is smaller: f or i?
f
Suppose -150*l - 47*l + 50116 = 71*l. Which is smaller: 153 or l?
153
Let o be ((-3)/5)/(15/75). Let l be o + -4 + (-123)/(-1). Is 115 not equal to l?
True
Suppose -4*h + 2*r = h - 1255, -4*h + 981 = 3*r. Suppose -h = 5*k - w, -41 = k + 2*w - 0. Are -45 and k nonequal?
True
Suppose 116*d - 8636 + 336 = 66*d. Which is bigger: 159 or d?
d
Suppose -3 = -3*z - 6. Let a(y) = 6*y**2 - 13*y + 4. Let v be a(2). Suppose -v*h - 1207 + 1207 = 0. Are z and h non-equal?
True
Let t be (-7 - -11)/((-16)/360*-10). Is t greater than 329/33?
False
Let u = 4015 - 3889. Suppose 8*j - 3 = 7*j. Which is bigger: j or u?
u
Let a be 1*(-1)/(-4)*(107 - -1). Is a < 223/8?
True
Let g = -568.4 + 568.3. Are -9/65 and g unequal?
True
Let k be 2/(-100)*12/(-9). Let b = 50165 - 50166. Which is smaller: k or b?
b
Let d = -701 - -567. Let x = 438 + d. Which is bigger: x or 2?
x
Suppose -3*w + 456 = -336. Suppose 2*x - w + 22 = 0. Is x equal to 121?
True
Suppose 8*a + 132 - 116 = 0. Let g be a*4/28 - 510/(-21). Let o(i) = i**3 - 6*i**2 + 5*i - 6. Let n be o(6). Is n > g?
False
Let z be 1328032/94846 + 1*-14. Are 0 and z non-equal?
True
Let a = 827 + -1455. Let d = a - -21983/35. Let s = 1 + -1. Which is smaller: d or s?
s
Let s be (-2)/9 + (-136)/36. Suppose 3*t - 4*t + 207 = 5*w, w + 2*t = 36. Suppose -38*y + w*y + 24 = 0. Is s < y?
False
Let m = -10358 - -10359. Is m at most as big as -21/676?
False
Let t be -3 - 138/(-42) - (-911)/(-28). Let n = -29 + 62. Let c = n + t. Is c at most 0?
False
Let z = 660.8 - 648.72. Is z at most 0.2?
False
Let y be ((-18)/88)/((-18)/(-48)). Let m(r) = r**2 + r - 2. Let q be m(-3). Suppose q*g = g. Which is bigger: y or g?
g
Suppose 2*b - 40 = 7*b. Let p(u) = 42*u - 556. Let d be p(13). Which is bigger: b or d?
b
Let u = 2/402877 + 2956714277/5237401. Suppose 4*p = 6*p - 1130. Let a = p - u. Is a equal to -1?
False
Suppose 0 = -7*x + 4*x - 3*c + 3, -5*x - c - 11 = 0. Let j be 23/(-69)*x/(-4). Which is bigger: j or -3/62?
-3/62
Let m be 4/22*3/4. Let p be -50 + 54 - (8 - -1). Let s be (-2)/(-12)*p + (-10)/(-12). Which is greater: s or m?
m
Let t = 8 + -8.05. Let s = 519 + -334. Let a = s - 179. Which is bigger: a or t?
a
Let o = 2660 + -2659.9814. Are o and -1 equal?
False
Let v = 41 - -250. Let y = -300 + v. Is y less than 28?
True
Let s = 500 + -470. Suppose s*v - 2*v + 168 = 0. Which is smaller: -80/11 or v?
-80/11
Suppose 0 = -3*q + 3, 4*c - 373 =