**2 + 20*d - 10. Let z be i(10). Which is smaller: -6 or z?
z
Let k = -32023/14 + 2287. Which is smaller: -16 or k?
-16
Let p = 258 + -262. Let m be p*(-1)/(14/133). Are 186/5 and m unequal?
True
Let v be 56/(-14) - 58/(-8). Let q(g) = g + 1. Let w(y) = -3*y - 10. Let a(b) = 4*q(b) + w(b). Let j be a(9). Are j and v equal?
False
Let i(j) = j**3 + 6*j**2 - 3*j - 14. Let s be i(-6). Suppose -s*v + 15 = -r, -3*v = -5*v. Which is greater: r or -11?
-11
Suppose -4*t = z - 0 - 20, z = 3*t + 27. Let r be ((-1)/(-145))/((-19)/(285/z)). Which is smaller: 1 or r?
r
Let m = 45 + -43. Suppose 2*a + 2*r = -m*a + 4, -10 = -2*a + r. Suppose 0 = 3*h + 2*d + 5, -6*d = -a*h - 3*d. Which is smaller: h or 11?
h
Let k = -273.0194 + 0.0194. Let u = -276 - k. Is u > 24?
False
Let m be 9 - 110/20 - (-1)/(-2). Suppose m*x + 323 + 61 = 0. Is -128 >= x?
True
Let d = 265/3 - 86. Let k = d + -115/57. Is -1 at least as big as k?
False
Let v(p) = -2*p - 10. Let a = -18 + 35. Let g be v(a). Let s be 3/2 + 1*g/8. Which is bigger: s or -1?
-1
Let k = 0 - 2. Let g = -14/117995 + -519136/353985. Are k and g equal?
False
Let n be -2*(2 - 29/14). Suppose j + 4*i = -15, 29*j - 3*i - 7 = 34*j. Which is bigger: j or n?
j
Let q(w) = -2*w**3 - 3*w**2 + 4*w + 10. Let u be q(-2). Let y be 0*(1 + 2)/u. Do 2/449 and y have different values?
True
Suppose -2*g = -3*v + 1098, -v + 4299 = -5*g + 1567. Let x = 431 + g. Which is smaller: -112 or x?
x
Let f = -13 + 28. Let u be (22 - 7800/351) + (-492)/(-27). Is f less than u?
True
Let b = 180.17 + -177.17. Is b greater than 2017?
False
Let c(a) = -153*a + 1072. Let k be c(7). Is 5/12 less than k?
True
Let r(q) = 4*q**2 + 151*q + 4009. Let z be r(-48). Is z at least as big as 5978?
False
Suppose -6*t + 0*t = -1092. Suppose -8*i - t = 178. Let k be i + ((-3)/1)/(1/(-1)). Is -43 < k?
True
Suppose 993 = 224*p - 220*p + s, 948 = 4*p - 4*s. Let b be 13/(-2 - (-39)/19). Which is greater: p or b?
b
Suppose 13*p + 11*p = 25*p. Which is smaller: 7/368 or p?
p
Let k = 2025 + -2105. Which is smaller: -71 or k?
k
Let j = 301 + -302. Let i be (j + 21/(-9))*(-33)/(-22). Which is bigger: i or -72/13?
i
Let p = -0.3599 + 0.3199. Is p less than or equal to -1/626?
True
Let j = 1.6388 - 1.68. Let k = -0.3122 - j. Let i = k + 0.071. Which is bigger: -2/75 or i?
-2/75
Suppose 0 = 4*o + y - 19, 3*y = -3*o + 8*o - 28. Suppose 4*h - 3*h + 148 = -3*z, z + 726 = -o*h. Let n be h/(-4) - -6*2/(-48). Are n and 37 nonequal?
True
Let r be 24/(-16) + 6/4. Let t be (-38)/38 - (0 + r + -1). Which is smaller: 75 or t?
t
Let a be (611/(-130) - -1) + 1 + 0. Let u = 9/103 + 1088/515. Let f = a + u. Which is smaller: -0.1 or f?
f
Let u = 78219 + -4927927/63. Let y = -16/7 - u. Suppose 10*i = 19 - 29. Is y equal to i?
False
Let o be ((-80973)/729)/((5 + -3)/12). Which is bigger: -666 or o?
-666
Let c = 68.705 + 2.295. Are c and -2/3 equal?
False
Let y = -27.13 + 5.13. Let c = 0.1 + -5.1. Let n = 4 + c. Is y less than n?
True
Let a = 58.55 + -52.55. Which is smaller: 0.053 or a?
0.053
Let n = 219841 - 219840. Let b be 2 - ((-50)/(-6) + 0). Is n less than b?
False
Let v = 537 + -432. Let a = -278 + v. Is -171 greater than a?
True
Suppose 6*n - 4*x + 6 = 5*n, -3*n - 4*x = 18. Let o = n - -18. Suppose o*l - 144 = 18*l. Which is smaller: l or -25?
-25
Let a = -419/1644 + 2/411. Is a != 2/1329?
True
Suppose x - 53 = v, -2*x = 8*v - 3*v + 237. Let a be (3 - (3 - 1))*(-77)/v. Let b = 129/91 - a. Which is greater: b or 0?
0
Suppose -5*g - 1 = 4. Let r be 62*g/(-2) + -11 + 14. Suppose 5*k - 2*q = r, 2*q + 1 = 3*k - 17. Is k less than or equal to 22/3?
False
Let y be 1/(-1 + (-12)/(-14)). Let d(j) = -24*j**3 + 8*j - 5*j**3 + 28*j**3 - 6*j**2 + 8. Let o be d(y). Is -22 >= o?
False
Let m = 1932 - 2262. Let s(k) = -3*k**2 - 4*k - 12. Let r be s(-11). Is r < m?
True
Let z be 1925/2 + -1 - 26/78. Let g = -958 + z. Which is bigger: 3 or g?
g
Let m be 2/4*(-11 - -11). Let z = -76 - -88. Let h be 3*(z/(-30) + 526/1290). Is m > h?
False
Let h be ((-208)/(-80) - (-4)/10)/1. Suppose -5*x - 4*j + 40 = 183, -9 = -h*j. Suppose -5*d + 0*r = r + 164, -2*r = 2*d + 72. Which is bigger: d or x?
x
Let p = 435 - 240. Let c = p + -184. Suppose 18 = 2*h + 3*k, h + 2*k = -h + 20. Which is smaller: h or c?
c
Let g = 1 + -2. Let h = 15425/3 + -5143. Is g at least h?
True
Let l be (2/12 - (-105)/(-270)) + 1581/432. Which is smaller: 3 or l?
3
Let h = -0.135 - -0.035. Let q(s) = 3*s - 2*s + 2*s - 9 - 2*s. Let u be q(9). Is h less than or equal to u?
True
Let v be 14 + 0 + (-2 - 1). Let m = 12 - v. Let j = 23/3 + -206/27. Which is smaller: m or j?
j
Let i be (-45)/(-25)*(29 - 4). Suppose -g + 7700 = -2*g. Let b be g/(-176) - (-6)/(-8). Is i equal to b?
False
Let a = 101 + -104. Let z be (a + 78)*(-6)/105. Let x = -136/35 - z. Which is smaller: x or -0.47?
-0.47
Let x be (-3 - (-16)/4)/(8/((-56)/(-7))). Which is smaller: x or 1/8291?
1/8291
Suppose -4*n - 7 = -3*w, -5*w - 5*n + 29 = -6. Suppose -12 = -4*k + w*k. Let t be ((-39)/12)/(3/k). Which is greater: t or 14?
14
Suppose -4411*d = -4400*d - 11. Let r be 160/(-15)*13/46 + 3. Which is smaller: d or r?
r
Let l = 136.06 - -2.94. Let j = l - 142. Which is smaller: -1/11 or j?
j
Suppose f = -1 + 22. Suppose -40 = 2739*j + 2737*j - 5478*j. Which is bigger: j or f?
f
Let s = -48 - -47. Let u be 48*(-3 - (-101)/33). Let q = u + -789/275. Which is bigger: q or s?
q
Let w = -671 + 1123. Let g = -231 + w. Which is smaller: 441/2 or g?
441/2
Suppose z - 5*z - 12 = 5*v, -4*v - 18 = -z. Suppose -2*h = 4*k + 30, -3*k + z*h = -2*k. Is k at most -5?
True
Suppose -6*t = -10*t + 8. Let k be t/(-6) - 2/(-3). Let v = 3.521 - 0.721. Which is smaller: k or v?
k
Let i(o) = 2*o**2 - o. Let y be i(0). Suppose -2*m + 168 = -y*m. Let g = 590/7 - m. Which is smaller: g or 1.4?
g
Suppose -6*b + 3*b + 780 = 0. Let u = b - 141. Is u <= 117?
False
Let w be (-1)/(-5) - (5 - (-104)/(-5)). Suppose 15*r + w = 11*r. Let j be -1 + 1 + r - (-1178)/361. Which is bigger: -1 or j?
j
Let c be -1*(-4)/12*3. Let o = 32 + -29. Suppose 0*p + u = o*p - 10, 0 = -2*p + 2*u + 8. Which is smaller: p or c?
c
Let x be (3762/(-4))/(-3) - (-15 + 20). Let z = x - 308. Is 93 >= z?
True
Let h be (-7 - (-312)/36) + 2/(-3). Let c be ((-35)/(-28) - 1/4)/h. Which is bigger: c or 1/10?
c
Let n(q) = -q**3 + 9*q**2 - 20*q + 65. Let p be n(6). Suppose p = 7*k + 46. Which is smaller: 24/35 or k?
24/35
Let n(j) = -133*j - 399. Let k be n(-3). Which is smaller: 59/51 or k?
k
Let v = -30 - -29. Let t(f) = -f**2 - 10*f - 25. Let o be t(-6). Let m be 0 - ((-20)/22 - o). Which is smaller: v or m?
v
Let h(m) = 4*m**2 - 9*m - 3. Let x be h(4). Let t(n) = -n**2 + 29*n + 28. Let v be t(30). Is v less than x?
True
Let n be (1 - (-6)/(-8)) + 5310/360. Suppose -6*w + n*w = -9. Is w at most 23?
True
Let q(x) = -2*x - 4. Let l be q(27). Let f = l - -26. Is -31 at least as big as f?
True
Let g(u) = -3225*u - 9937. Let k be g(-3). Is -285 less than or equal to k?
True
Suppose -4*f - 91 = -j, 5*f - 3 - 12 = 0. Suppose -2*v - 6 = 0, -a - 3*v + j = -4*v. Let i be 3 + (1 - 2) + (-176)/a. Which is bigger: 1 or i?
1
Let w(n) = -n**2 + 27*n - 181. Let i be w(15). Let q be (8/3)/((-2)/(-9)). Let z be (i/2 + 2)*2/q. Which is smaller: z or -0.04?
-0.04
Let x be (-10796)/(-26) + (-2427)/10517. Is 418 less than x?
False
Let x = 18420 + -18434. Which is bigger: 377 or x?
377
Let c be (2484/(-8) - 10)/(68/(-16) - -4). Which is bigger: 10263/8 or c?
10263/8
Let p = 36 - 186/5. Let r = -53.5021 + 51.5021. Which is greater: p or r?
p
Let t be 1594*5/((-150)/(-135))*2/3. Does 4782 = t?
True
Let t be 6/(-39) - (185/65 + -3). Suppose 2*d = 4*d + 492. Let r be -3 + d/(-39) + -3. Are t and r nonequal?
True
Let v be (-4991)/(-10) - (0 - (-2)/(-5)). Is v less than 500?
True
Let a = 12019 - 12019. Are 19 and a unequal?
True
Let a = 5.129 - 5.229. Is 5/12 < a?
False
Let r = 3829 - 4081. Are -9 and r non-equal?
True
Let h(u) = 3*u**2 - 19*u + 8. Let x be h(6). Suppose 0 = x*c - y + 3*y - 6, -5*y + 8 = 4*c. Is 5 >= c?
False
Let q = -0.1 - -15.1. Let z = -13 + q. Let i(o) = o**3 - 17*o**2 - 2*o + 30. Let y be i(17). Which is bigger: z or y?
z
Suppose 96 = 4*q - 0*q. Let r be (-6)/20*20/q. Let w = 1294 + -6498/5. Which is bigger: r or w?
r
Let t be 4440/278*6/(-12) + 8. Which is 