7). Let d be z(l). Which is bigger: 11 or d?
d
Let k(s) = s**3 + 2*s**2 - s - 4. Let q be k(-1). Let j be 1/(q*4/(-464)). Which is bigger: 56 or j?
j
Suppose 5*o + 4*p + 6 = 0, -6*o - 10 = -3*o - 4*p. Is o bigger than -32/31?
False
Let t = 1574/9 + -7879/45. Which is smaller: t or 0.17?
t
Suppose -8*w + 5*w = 0. Suppose 5*u - 3*v - 22 = w, -3*v - 2 = 2*u - 15. Suppose -2*x - 3*x - 25 = -u*l, -l - x = -1. Is 0 at most as big as l?
True
Suppose 2*j + 354 = -5*x, 3 = -9*j + 10*j. Let u = x + 72. Let o be (-1*(0 - -1))/8. Which is smaller: u or o?
o
Let w(h) = h**2 + 4*h - 8. Let g be w(-5). Let y(j) = j**2 + j - 7. Let b be y(g). Let l be 8/35 + 2/10. Are l and b nonequal?
True
Let c = -23.09 - -23. Let a = 3.91 - c. Suppose 14*n = 5*w - 43, 2*n + 3*n + 10 = 0. Is a smaller than w?
False
Suppose 2*v - 769 = 3*g, -6*v + 2*v = -4*g - 1024. Let u = -255 - g. Is -29 at most as big as u?
True
Let f be -4 + (92048/14 - -6*(-6)/42). Are f and 13139/2 unequal?
True
Let j = 85 + -84.94. Let p = -180/13 - -347/26. Which is smaller: p or j?
p
Suppose h + 8*d = 5*d + 9, 4*h = 5*d - 15. Which is bigger: 19/94 or h?
19/94
Let n = -190 + 16. Let i = 16703/96 + n. Does i = -1?
False
Let i(f) = 2*f**2 - 15*f - 57. Let m be i(10). Let h be -11*(m + (-140)/(-21)). Is h at most as big as 4?
True
Let g = 0.603 - -0.388. Let f = g - -0.009. Does -49 = f?
False
Suppose -10*m = -30*m + 14*m. Let q = -2 - -10. Let z be (3*1)/((-12)/q). Which is bigger: z or m?
m
Let t be (-2)/(-3)*(6 - 3). Suppose 11*m - 14*m + 681 = t*r, 1133 = 5*m + 4*r. Is 231 > m?
True
Let b = -217770/42536563 - -2/54049. Is 0 > b?
True
Let g = 23317/1188 - -1/108. Let p be (-1)/10 + (-4220)/(-200). Which is smaller: g or p?
g
Let v = 212/147 + 11/49. Which is smaller: 3 or v?
v
Suppose -8 = n - 4*n + r, 5*r - 36 = -4*n. Suppose 19 = 3*c + 4*g, 0*g - 2*g + n = -4*c. Let w = -1711/19 + 90. Which is smaller: w or c?
w
Suppose -5*b - 5*w = -55, -171 = -5*w - 151. Let u be 2/(-7) + 48/21. Suppose -b*h = -u*h - 5. Are h and 2/9 non-equal?
True
Let c(v) = -v**3 - 44*v**2 + 59*v + 176. Let m be c(-44). Which is greater: m or -2419?
-2419
Let r(b) = b**2 + 5*b - 14. Let i be r(-7). Suppose -2*c - c + 4*c = i. Suppose -61*o + 62*o + 8 = c. Does -50/7 = o?
False
Let r(s) = s**2 + 6*s - 112. Let j be r(-14). Is j equal to -2/403?
False
Let s = 151600 - 30168322/199. Which is greater: s or 0?
s
Let g be (-6)/10 + 60660/100. Is g at least as big as 6660/11?
True
Suppose -12*z - 974 = 4*u - 9*z, 5*u + 1221 = -2*z. Let v = u + 245. Are -2/107 and v unequal?
True
Suppose -98*b - 369943 = -77903. Which is smaller: -2979 or b?
b
Suppose 297 = -3*o - 3*a, 136 = -o - 3*a + 27. Let t = 90 + o. Let k be (0 + t + 22)/(4/6). Do k and 28 have different values?
True
Suppose m - 7*y = -94, 2*y + 57 = -m + 8. Is m smaller than -57?
True
Let s = 7404.9226 - 7405. Is s at most as big as -1?
False
Let s be ((-69)/(-46))/((-3)/(-306)). Let y = s + -188. Is -34 greater than or equal to y?
True
Let n = -6223/24 - -15040975/58008. Is 1 greater than n?
True
Suppose -5*o = -8 - 7. Suppose 0 = o*g - 140 + 203. Suppose 2*k + w - 6 + 0 = 0, -4 = -w. Which is bigger: k or g?
k
Let h = -116.6 + 123. Let w = h - 7.7. Is w at least as big as -0.05?
False
Let g be (13*1)/(((-231)/(-22))/21). Suppose v = 5*k + 124, 2*v = 4*k - g + 124. Are -101/4 and k nonequal?
True
Suppose -5*o + 100 = -h + 40, -4*h = 0. Suppose -3 = 11*i - o*i. Suppose i*a + 0*a = 0. Which is smaller: a or -11/3?
-11/3
Suppose -6 = -9375*p + 9359*p - 22. Which is greater: p or -62/83?
-62/83
Let y(r) = r**2 + 106*r + 2590. Let o be y(-59). Which is smaller: -2385/13 or o?
-2385/13
Let i be (-28)/(-12)*27/6. Let f be 3/(-15)*-39 - 1/(-5). Suppose -a + f*a = 70. Is a at least as big as i?
False
Suppose -2*s = 5*t - 51, 0 = 2*t + s + 4*s - 12. Suppose 0 = -6*z - 7 - t. Let w be ((-1)/z)/((-65)/30 + 5). Is 0 at least w?
False
Let g be (-28)/84 + 2190/(-45). Let a = 19/102 - 1/51. Are a and g unequal?
True
Let v = -17130 + 17130.1. Is -2526 bigger than v?
False
Let k = -80 - 77. Let w = k - -315/2. Is w less than 17?
True
Let f be (-50)/(-225) - (-16)/252. Which is smaller: f or -17/24?
-17/24
Suppose -13*k + 26*k = 52. Suppose -k*z - 3*x = -0*z - 150, -5*z = -x - 197. Is 5 >= z?
False
Let b = 687.499 - -1.501. Let i = b - 689.1. Is 80 equal to i?
False
Let r = -1407.8177 - -1407.8. Which is bigger: 0.5 or r?
0.5
Let c be ((-12)/(-15))/((-4)/(-20)). Let n be 4/(-130)*(339 - -1)/c. Let h = n - -217/78. Which is bigger: h or 1?
1
Suppose -5*q + 63 - 233 = 0. Let g = q + 34. Which is smaller: 2/359 or g?
g
Suppose -69*t = -65*t + 2*b + 2, 5*t + b - 2 = 0. Which is smaller: t or -1/232?
-1/232
Let s be 167/2*(-1 + 10/14). Let j = 14543/609 + s. Suppose i - 2 = 0, -2 = -5*a + 2*i - 3*i. Do j and a have different values?
True
Let s = 8.76 + -8.13. Let o = -5.8 + 5.8. Is o at most as big as s?
True
Let q(n) = 3*n - 3. Suppose 2*j = -p + 6, 5*j = 3*j - 2*p + 10. Let k be q(j). Suppose 2*f - f + 66 = k. Is -65 > f?
True
Suppose -23*r + 37*r = 84. Suppose r = -2*z, -504 = 5*b - 4*z + 7*z. Is b equal to -100?
False
Let a(b) = 3*b + 69. Let t be a(-20). Let k(r) = -8*r + 26. Let g be k(3). Suppose 5*l + 4*i + 12 = 0, g*l - 2*i = i + t. Which is greater: -2/29 or l?
l
Let h(s) = -s**2 - 3*s + 14. Suppose -8*c = -4*c - 16. Let j be h(c). Which is smaller: -11 or j?
j
Let o be 34916/645 - ((-2)/(-15))/1. Suppose 39*m = o*m. Let d = 334/5 - 6396/95. Which is smaller: m or d?
d
Let k = 3224 + -3759. Are k and 0.1 unequal?
True
Let q = 18.44 + 95.56. Are q and 1/7 non-equal?
True
Let k be 0 - (-2)/(-172)*2. Let b = 305609 - 305610. Which is smaller: k or b?
b
Let v be (-33)/(-15) - (1 + -1). Suppose 0 = 5*n + 4*t - 121, -2*n + 5*t + 53 + 2 = 0. Let o = n + -22. Which is greater: o or v?
o
Let g = -0.01942 - 0.20678. Which is smaller: -1 or g?
-1
Suppose -z - 43 + 37 = 0. Let n be 1 - -3*4/z. Let g be n*3 + 62/7 + -5. Which is smaller: g or 1/3?
1/3
Let f be (6 - 639/36)/(2/(-8)). Suppose 44*u + 15 = f*u. Suppose -4*t - h + 16 = 0, t + 0*t = 2*h + 4. Is u greater than or equal to t?
True
Let i be (2/(-8))/(18/(-176)). Let p be 422/(-1899)*18/8*2/(-2). Which is smaller: p or i?
p
Suppose 10*l - 2174 = 276. Let k be ((-725)/l - -3)*(-4 + 11). Is 22/3 < k?
False
Let z(w) = 76 + w - 3*w - 65 - 41. Suppose 39 = -3*h - 0*h. Let i be z(h). Is i less than or equal to -12?
False
Let k(u) = u**3 + u**2 - 4*u. Let h be k(3). Let j(l) = l**2 + 19*l - 6. Let z be j(-19). Let g be -6*z/(-162) + (-14)/18. Is h at least as big as g?
True
Let x be 86/(-301)*(-21)/1401*(-2)/60. Does 0 = x?
False
Suppose -3*m - 43346 = -43346. Which is smaller: 2/26771 or m?
m
Let s = 180 - 182. Let g be (-5)/5 - ((-8)/s + -13). Which is smaller: g or 47/5?
g
Let n(s) = -4*s - 88. Let h be n(-16). Let y be (-145)/(-14) - h/(-28). Which is greater: 10 or y?
10
Suppose -7*d - 540 = 8*d. Let a = -987 - -948. Which is smaller: a or d?
a
Let a(j) = -j**2 - 23*j - 1755. Let l be a(0). Which is smaller: l or -1754?
l
Let v = 8933 + -8930. Let k = -7 + 9. Suppose -k*s = -3*l - 40, -l + 9 + 15 = 2*s. Which is bigger: v or s?
s
Let a = -180.2748 + 2.6748. Is a at most 2?
True
Suppose 34 = 4*w + 5*f, 0 + 2 = f. Let q be 133/(-4) - -3 - w/8. Which is smaller: q or -162/5?
-162/5
Let q = 49 - 102. Let y = -36 - q. Let v = y - 16.91. Which is bigger: v or 1?
1
Let u(g) = 3*g**3 + 17*g**2 - 7*g - 13. Let i = 132 - 138. Let w be u(i). Which is smaller: w or 0?
w
Let a = -11747.99 + 11748. Which is bigger: 0.463 or a?
0.463
Let k = -239 + 243. Suppose -3*w - 13 = 5*a + 1, -a - k = w. Let s = -6237/17 - -367. Which is smaller: a or s?
a
Suppose -32*x = -27*x - 3320. Let k be 9/(-12) - (0 - 494/x). Is 1 smaller than k?
False
Suppose 34*g - 68 = 6*g - 40. Which is smaller: -3/11999 or g?
-3/11999
Let j(o) = -14*o**2 - 131*o - 44. Let x be j(-9). Which is bigger: x or -3/229?
x
Let g be 6*1 + (303 - 13). Suppose 4*v - g + 304 = 0. Is -8/13 at least as big as v?
True
Let u be ((-59160)/(-3700) + -16)/(13*-1). Are u and -2 non-equal?
True
Suppose 2*h + z - 5 = 0, 2*z = h + 3*z - 4. Let g be (2 - -1)/(22/h). Suppose 6 = -16*n + 16*n + 3*w + 21, 10*n + 2*w - 10 = 0. Which is smaller: n or g?
g
Let i = -2788 - -2779. Which is smaller: i or 4/75?
i
Let l =