). Let r = 57886/15 - d. Which is smaller: -3 or r?
-3
Let h be (-20)/436*6/25*52/(-195). Is -1 <= h?
True
Let d = -0.13 + 0.3. Let x = 0.7 - 0.6. Let m = x - d. Is 0 smaller than m?
False
Let q = 4380 + -4299. Is 80 not equal to q?
True
Let v = 899519697977/33344270010 + -53501/607862. Let i = v + 1/6095. Which is greater: 26 or i?
i
Let n(b) = b**2 - 242*b + 5426. Let l be n(25). Is -2/5139 greater than l?
False
Let u be 19776/(-56) + 5/35. Let m = u + 1079/3. Which is smaller: m or 7?
m
Suppose -72 = -6*u + 6. Let a = u - 10. Let v be (6 - a)/((-30)/(-3)). Is -2/3 greater than or equal to v?
False
Let w = -138 + 389. Let z = -252 + w. Is z at most -5/37?
True
Suppose 4*j = 4*t + 72, -66 = -3*j - j + 2*t. Suppose 0 = -0*k - 5*k + j. Suppose -a - 4 = k*a. Which is greater: a or 2/5?
2/5
Suppose 5*r - 3 = 5*q + 47, -2*q + 1 = r. Suppose 0 = 10*x + 1588 + 412. Let y = 209 + x. Which is smaller: r or y?
r
Let z = 418 - 418.24. Let l = 0.44 + z. Which is greater: l or -141?
l
Let s = -56.054 + 56. Let f = 5/49 - 33/49. Which is smaller: s or f?
f
Let c = -2722354/21 - -129530. Which is greater: c or -106?
c
Suppose 0 = -17*r + 78 - 27. Which is greater: r or -70?
r
Suppose 18*d - 42 = 12*d - 15*d. Is 13/7 greater than d?
False
Let w be (6/(-5))/(14*(-9)/(-237300)). Which is greater: w or -2259?
-2259
Let d = -0.09103 - -0.09103. Which is bigger: 143 or d?
143
Let v(u) = -u**2 + 5*u + 44. Let l be v(8). Suppose l*i - 27*i = 14. Is i less than -9/17?
True
Suppose -98*v = -t - 93*v - 5447, -2*t = 5*v + 10819. Is t != -5422?
False
Let o(p) = -3*p + 36*p**2 + 18 - 18*p**2 - 19*p**2. Let f be o(-6). Let w = -2686/21 - -128. Which is bigger: w or f?
w
Let m = -0.12 + 0.22. Which is bigger: m or -2/4245?
m
Let z = 13/51 - 3/34. Suppose 63 = 52*n - 31*n. Suppose 0 = -n*j - p - 2, -4*j + 2 = p + 3. Are z and j nonequal?
True
Let a = 22168 + -332392/15. Which is bigger: a or 10?
10
Let b = 3 - 3. Let d = -193.402 + 193.51. Do b and d have the same value?
False
Let n = -441 - -337.9. Let f = 97 + n. Let l = f - -6.05. Which is greater: l or -1?
l
Let g(i) = -3*i**3 - 51*i**2 + 29*i + 2. Let l(c) = c**3 + 18*c**2 - 10*c - 1. Let f(d) = -4*g(d) - 11*l(d). Let y be f(-7). Is -8 at most as big as y?
True
Let a(n) = n**2 + 1417*n + 2829. Let k be a(-2). Which is smaller: -28/1277 or k?
k
Let i(n) be the third derivative of -n**5/20 - 13*n**4/12 - n**3 + 2*n**2 + 6. Let k be i(-8). Which is bigger: 8 or k?
k
Let v be 1 + ((-918)/(-85) + 15)/((-2)/70). Which is smaller: -911 or v?
-911
Let g be 660/(-6397336)*(-4)/15. Do g and -1 have the same value?
False
Let p = -13977/7429 - -51/437. Suppose 2*q - 2 = 3*q. Which is greater: q or p?
p
Suppose -171 = 16*v + 3*v. Let f be (2/(-6))/(v/(-24)*20). Is f greater than or equal to 2?
False
Let n = -44/45 - -6/5. Let y be -19 + (-1576)/(-264) + 13. Is y < n?
True
Let q = -2 - -2.35. Let y = 11037.98 - 11038. Is y >= q?
False
Let k be (-6)/(-15) - ((-94)/14115*246 - -2). Is 0 less than or equal to k?
True
Let b(g) = -g - 7. Let l be b(2). Let w be (18/(-48))/(l/78). Is 3 >= w?
False
Let y(j) = 44*j + 3519. Let g be y(-75). Is 157 smaller than g?
True
Suppose 5*j + 90 = 2*p, -10*j + 4*j = -p + 38. Is 63 < p?
False
Let a = -11975.9 + 11163. Let b = a + 780. Let m = 33 + b. Which is smaller: m or 2/5?
m
Suppose -427*f - 611410 = 1084207. Which is greater: -3970 or f?
-3970
Let j = -94 - 15. Let y = j - -108.9. Is y at least as big as 81?
False
Let k = -444.0242 + 0.0242. Let p = k + 445. Which is smaller: p or -193?
-193
Let u be (2/12*3)/((-2)/40). Let a(g) = -g**3 - 10*g**2 + 12. Let h be a(u). Which is bigger: 10 or h?
h
Let a = 1638.16 + -1612.2. Is -2 bigger than a?
False
Let l = -7643 + 4651. Is l not equal to -2995?
True
Let t be (-4)/((-3090)/(-255) - 12). Is -1 at most t?
False
Let a(t) = 2*t**3 + 8*t**2 + 4*t - 5. Let s(i) = -i**3 - 7*i**2 - 5*i + 5. Let r(d) = 2*a(d) + 3*s(d). Let q be r(6). Which is greater: q or -1/9?
-1/9
Let x(w) = 66*w**3 - 2 - 2*w - 65*w**3 + 5*w**2 + 0. Suppose -4*t = -4*f + 3 + 1, -31 = 3*t + 4*f. Let b be x(t). Are 8 and b non-equal?
False
Let t = 90 + 35. Let z = 123 - t. Which is smaller: z or -0.23?
z
Let x = -103.234 - -0.234. Let a = x - -103.109. Let g = -0.391 - a. Which is smaller: 14 or g?
g
Let n be (9/534)/(15/10). Let a be -1*(-2 - 9/(-6))*(19 + -19). Which is smaller: a or n?
a
Suppose 2*j = 3*a + 591, 3*a + 5*j + 238 = -353. Which is bigger: 0.14 or a?
0.14
Let o(r) = -20*r**2 + 111*r + 1028. Let b be o(-9). Is b not equal to 0.1?
True
Let y = 34 - 24. Let c be 2/(36/135 + (-5)/30). Let m be (y/c)/((-2)/(-6)). Are m and 2 equal?
False
Let v(t) = -t**3 - 135*t**2 + 265*t - 1236. Let u be v(-137). Which is smaller: u or 173?
u
Let u = 74 + -71. Suppose 7*q = 3*s + u*q - 34, -4*q = 16. Suppose -s*h + 15 + 3 = 0. Which is greater: h or 0.6?
h
Let k = -20 + -55. Let l = 126 + k. Let i = l + -32. Is i at most 19?
True
Let m = -10415 + 10609. Suppose -s = -6*s + 960. Which is greater: m or s?
m
Let b = -3433 - -3432. Which is bigger: 8/863 or b?
8/863
Suppose 91*d = 92*d - 16. Suppose -9*x = -11*x + d. Suppose 0 = -2*o - 0*t + t - 1, 5*o + 3*t = -x. Which is greater: -1/74 or o?
-1/74
Let y(g) = -3933*g + 553. Let n be y(2). Is n at most -7313?
True
Let b = -0.14 - 0.01. Let f be (-6 + 11)*672/20. Let w = f + -170. Which is greater: b or w?
b
Let f(y) = -y**2 - 11*y + 17. Let z be f(-13). Let v be (-48)/(-72) - (-1)/3*-35. Which is bigger: v or z?
z
Let h(v) = 2*v**3 - 4*v - 3. Let s(k) = k**3 + k**2 - 3*k - 2. Let o = 14 + -16. Let a(f) = o*h(f) + 3*s(f). Let u be a(3). Is -1 >= u?
True
Suppose -34*u = -33*u - 7. Let s be 2*(620/8 + u). Which is bigger: s or 509/3?
509/3
Let c = -12690 + 13433. Which is bigger: 744 or c?
744
Suppose -2757 = -20*b + 2303. Which is bigger: b or 243?
b
Let u be (-3)/(-36) + -2 + (-151304)/96. Which is smaller: u or 2?
u
Let c = 221549/121 + -1831. Is -1 < c?
True
Suppose 2*f - 685 = 5*g, -5*g + 2*f - 5*f = 710. Suppose 0 = 4*i - 4*j + 544, -5*i + j + 148 = 840. Does i = g?
True
Let j = 96 - 69. Suppose -5*b + 14*b - j = 0. Suppose 0 = 22*c - 25 + b. Is -31 equal to c?
False
Let a = -869/28 + 123/4. Let g(u) = u**3 - 33*u**2 + 2*u - 67. Let p be g(33). Let x be ((9/27)/((-2)/6))/p. Which is bigger: a or x?
x
Let q be (-4256434)/(-343) - (-4)/7. Suppose 14*u + q = 48*u. Are u and 365 non-equal?
False
Let u = -41011 - -25810. Which is greater: 0 or u?
0
Let u = -37 - -43. Suppose -5*r = -25, -7*r = -4*g - u*r + 91. Is 30 > g?
True
Let p = 0.9687 + -0.8687. Let b = 6 + -16. Which is smaller: p or b?
b
Let j = 38096/3 + -11009752/867. Is j at most as big as 1?
True
Suppose 15 = -3*j, 8*n - 15 = 10*n + 5*j. Suppose -n*g - 4*o - 8 = -3*o, 4*o - 2 = -3*g. Let v(m) = -m + 4. Let f be v(6). Do f and g have different values?
False
Let m be ((-30)/4)/(2/4). Suppose 4*z = 3*w + 12, -3*w = -3*z + 2*z + 12. Suppose z = -5*x + 15*x + 150. Is x greater than or equal to m?
True
Let l = -737/7 + 106. Let b(q) = 6*q + 18. Let r be b(0). Suppose r - 8 = 5*p. Which is smaller: l or p?
l
Let o = 3782/33 + -92919892/810777. Which is greater: 1 or o?
1
Let m(c) = -2*c**3 + 7*c - 8. Suppose -6 = 4*o - 18. Let n be m(o). Is -38 at least n?
True
Let c(n) = -8*n + 55. Suppose 134 - 190 = -8*h. Let g be c(h). Is -2/271 greater than g?
True
Let i be (-1)/(-42)*7 + 1174/(-6900). Let z = 571/1150 - i. Which is bigger: -10.9 or z?
z
Suppose -15 = -19*w + 23. Suppose 0 = -t + 3*l - 2, -22*t + 20*t - w*l = -36. Is t at most 12?
False
Let q = -8886 - -4167528/469. Do -1 and q have the same value?
False
Let f(b) = 2*b - 6. Let s be f(0). Let p be 4/(-26) - (-102)/(-13). Let v = p + 3. Which is smaller: v or s?
s
Let c = -775 - -811.86. Let l = 1.74 + c. Let t = l - 39. Which is smaller: t or -10?
-10
Let i = -280 - -630. Suppose 3*t = -s + 1056, 0 = 4*t + 290*s - 291*s - 1401. Is i less than t?
True
Let i = 48 + -47.994. Let h = i - -2.694. Let o = h + -2.9. Do o and -2/9 have different values?
True
Let b = 256.5 + -45.5. Let w = -226 + b. Do w and -6 have the same value?
False
Let j = 13001 + -16250. Is -3249 smaller than j?
False
Let a = 23774 + -23753.854. Let z = 19.9 - a. Let p = 0.054 - z. Does -5 = p?
False
Let j(s) = 10*s + 542. Let f be j(-54). Which is greater: f or 33/62?
f