*t + 21, -2*t - 1 = -t + u. Suppose t*d = -2*d - 160. Is -32 smaller than d?
False
Let o be (((-2)/(-35))/(-2))/(2 + -5). Which is greater: o or 5/4?
5/4
Let v be (10*4/80)/(5/(-2)). Which is bigger: v or 31?
31
Suppose -3*s = 88 + 11. Let z = s - -26. Which is smaller: z or -17/3?
z
Let j = -9/2 - -5. Let m = -20 + 20. Suppose m = 8*c - 6*c. Is j < c?
False
Let j be -1 - ((-8)/10 + 4585/5075). Is -1 >= j?
True
Let k(w) = -25*w**2 + w. Suppose 0 = s - 3*y - 10 + 2, 2*s = 4*y + 10. Let o be k(s). Do -80/3 and o have different values?
True
Let g be 1*(-2 - -5) + -4111. Let f = -86294/21 - g. Let m = 50/63 + f. Which is bigger: 0 or m?
0
Suppose -3*w = -0*w. Suppose h - 5*h - 12 = 0. Let o be 2/(-12)*h/(-5). Which is greater: o or w?
w
Let l be 23058/(-304) + 6/(-48). Let c = l + 76. Let q(h) = h**2 + 5*h. Let i be q(-5). Which is greater: i or c?
c
Let x = 37 + -26. Suppose -4*c - 5 = x. Let z be (-30)/(-4)*c/6. Is z at most as big as -5?
True
Suppose 0 = 5*f - p + 30, 2*p + 5 + 5 = 0. Let t = 6 + f. Let s be (t/12)/((-15)/(-12)). Is 0 less than s?
False
Let b = 8 + -471/59. Which is smaller: -1 or b?
-1
Let w be (2/(-22))/((-55)/77). Is 1 less than w?
False
Let c(h) be the second derivative of h**4/12 - h**3/3 + h**2/2 - 7*h. Let p be c(1). Let k = 0.2 - 0.1. Which is bigger: p or k?
k
Let k(r) be the first derivative of -r**6/360 - r**5/30 + 8*r**3/3 - 3. Let q(x) be the third derivative of k(x). Let u be q(-4). Which is bigger: -2/77 or u?
u
Suppose -v + 2*v = 0. Let m = 30841/31 - 995. Are m and v non-equal?
True
Let u = 179 - 179. Is -4/11 bigger than u?
False
Suppose -2*n + 107 = -613. Suppose -16*b = -12*b - n. Let c be ((-15)/b)/((-2)/(-27)). Is -3 equal to c?
False
Let c = 59/4 - 1089/76. Is c > -1?
True
Let r = -5197 + 129943/25. Which is greater: 1 or r?
1
Let m = -204 - -276. Which is smaller: m or 74?
m
Let u = 4 - 5. Let j be (-1 + 15/6)/(9/30). Suppose j*m - 6*m = -3*m. Is m greater than or equal to u?
True
Let r = 2/59 + 104/413. Let l be (18 + -5 + -5 + 2)*2. Suppose 0 = -14*p - l + 6. Is r greater than p?
True
Let p = -86 - -84. Is p smaller than 1.7?
True
Let o = -142 - -126. Which is bigger: 13 or o?
13
Suppose -c = -4, 5*a + 10*c - 5*c = 110. Let l be (3 + -9)*(-2)/a. Which is bigger: 2/17 or l?
l
Suppose -f - 26 = 10. Let i = f - -32. Which is smaller: -6 or i?
-6
Suppose 12 = -6*k + 36. Let c be 1/(k/(-6)) + (-19)/(-2). Is 8 smaller than c?
False
Suppose 0 = 3*c - 6 + 15, -4*x + 4*c = -8. Is x >= -7/185?
False
Let q(m) = -4*m + 10. Let f be q(4). Let w be ((-20)/f + -3)*1. Which is smaller: -1 or w?
-1
Let t = -6 - -7.1. Let s = -10.1 + 9. Let u = s + t. Are -9 and u equal?
False
Let g = -2 + 2.1. Let i = g + -0.1. Let m(q) = q**3 + 8*q**2 + 11*q + 11. Let n be m(-7). Is n smaller than i?
True
Suppose 28 = 4*w + 4*h - 4, -10 = -w - 2*h. Suppose -3*r = r - l + 2, -l - w = 4*r. Let s be 2/8 - 3/44. Do s and r have different values?
True
Let w = -4 + 5. Let y = -15.61 - -2.61. Does y = w?
False
Let o be 2/12 + 1007/114. Is 0 at most o?
True
Let f = -227 - -90. Is -137 >= f?
True
Let m be 0/(-9) + (-9)/(-1182). Let g = -2397/4334 + m. Let s be 1*3*4/(-6). Which is greater: s or g?
g
Suppose o - 6*o = -20. Let z(f) be the first derivative of f**4/4 - 4*f**3/3 + f**2/2 - 5*f - 11. Let v be z(o). Is v > -1?
False
Let f be 1 + (-14968)/7486 + -2 + 3. Does f = 0?
False
Let b be -7 + (-13)/2*-14. Are b and 84 equal?
True
Suppose -42 = -4*n + 38. Suppose -t - 6 = -5*p + 27, -4*p + 2*t = -30. Let l be 21/(3 + (4 - p)). Is l at most n?
False
Let u = 33 + -29. Suppose -4*b + 2*b = -u. Suppose 0 = 3*x + 2*h - 36, 55 = b*x + 3*x + 5*h. Which is smaller: -2/7 or x?
-2/7
Let u be (-127)/7 + 2/14. Let k be (u/56)/((-6)/32). Which is bigger: 1 or k?
k
Let y(g) = g - 16. Let p(w) = 4*w - 12. Let s be p(6). Let b be y(s). Let i be (-1)/(-7) + b/(-14). Is i less than or equal to -0.1?
False
Let j = -1140 - -115144/101. Which is smaller: j or 1?
j
Let z = -120 + 164. Suppose 42*a + 24 = z*a. Is a >= 14?
False
Suppose -128 = 22*u + 92. Is -7 != u?
True
Let d = -28/3 - -359/39. Let f(j) = j**3 + 14*j**2 + 48*j + 27. Let g be f(-9). Which is greater: d or g?
g
Let n = 146/3935 - -802232/1074255. Let l = 10/21 - n. Which is smaller: l or 1?
l
Let x(m) = 2*m**2 - 15*m - 23. Let r be x(9). Which is bigger: r or -10?
r
Let t = -1.7 + 36.7. Let g = -50 + t. Let m = -33 - g. Which is greater: m or -1/2?
-1/2
Let o(s) = 4*s**2 + 19*s + 6. Let q be o(-4). Let y = -9 - -4. Which is bigger: y or q?
y
Let t = -17.3 - -16. Let c = 1.2 + t. Which is bigger: c or 3/14?
3/14
Suppose -3*c = 2*c + 5. Let b be (3 - 3)/((-2)/c). Suppose -2*r + 2 = -b. Which is bigger: 2/25 or r?
r
Let r = 28 - 20. Suppose -r*b + b = 7. Is b > 2/23?
False
Suppose 0*i - 2*i - 2*q - 4 = 0, 12 = 3*i - 3*q. Let h be (3*(-40)/(-216))/((-4)/3). Is i at least as big as h?
True
Let g(u) = u**2 - 15*u + 25. Let z be g(12). Suppose 2*m = 2*j + 20, j = -4*j - m - 74. Which is smaller: j or z?
j
Let m be ((-9165)/135)/(-13) - -2*2. Is 8 bigger than m?
False
Let a(g) = g**3 - 40*g**2 + 2*g - 78. Let n be a(40). Which is greater: 17/29 or n?
n
Suppose -34*y + 37*y = -9. Which is greater: 20/7 or y?
20/7
Let m = 23784/47 - 506. Let d = 1443/20210 + 123/430. Let y = m + d. Are y and 3 unequal?
True
Let w(c) = c**3 + 22*c**2 - 26*c + 39. Let o be w(-24). Is o less than -488?
True
Let d = 41.694 - -2.306. Is d > 17?
True
Let k = -22 + 22. Let h(v) = v - 1. Let l be h(k). Is l greater than or equal to -1?
True
Suppose 0 = 5*r + 20, -5*h + 0*h + 4*r = 4. Let l = -6 - -6.4. Which is greater: l or h?
l
Let f = -4/61 - -19/1220. Let h = -7/20 + f. Which is greater: -2/7 or h?
-2/7
Suppose m - 10 = x, 25 = -0*x - 5*x. Suppose -m*o + 15 + 15 = 0. Let j(c) = -c**2 - 16*c + 24. Let v be j(-17). Is o greater than or equal to v?
False
Let j = -2.1 + 2.089. Let k be (-406)/(-348) + (-2)/3. Is k > j?
True
Let x be ((-2)/(2/3))/(-26 + 25). Suppose b - 2*w - x*w = 40, -2*b + w = -35. Is b >= 11?
True
Let g(l) = 135*l + 832. Let o be g(-6). Let m(b) = 13*b - 2. Let p be m(2). Does o = p?
False
Let m = -13.434 - -13.6. Let j = m + 0.034. Let r = -0.1 - -6.1. Is j bigger than r?
False
Let m = -0.9835 - 0.0165. Is 1.42 greater than m?
True
Let u = 114 + -108. Suppose -u*b = -b + 55. Which is smaller: -9 or b?
b
Let o be 10/(-95) - (-34030)/190. Is -0.2 >= o?
False
Let t be 4/((-8)/(-54)) - 2. Let v = t + -36. Is v equal to -12?
False
Suppose 3*m - 9 = 8*w - 11*w, 3*w - 13 = -4*m. Which is bigger: w or -13/70?
-13/70
Suppose 4*n + 21 = -4*x + 1, 0 = -5*x + n - 31. Do x and -6 have the same value?
True
Let g = -0.277 - -0.597. Is -2 less than g?
True
Let y(m) = -76*m + 536. Let z be y(7). Let x = -2957/4 - -744. Which is greater: z or x?
x
Suppose 33*j - 16 = 31*j. Is j at most as big as 8?
True
Let n = -921 - -925. Which is bigger: n or 2.6?
n
Let s be 3 + 28/(-10) - 21834/109320. Which is greater: s or 0?
s
Suppose 0*w - w = -5. Suppose 2*s = w*s. Let n be ((s - 1)*1)/(-3). Which is bigger: -0.05 or n?
n
Let d = -38 + 16. Let q = d + 22.4. Which is greater: q or -2/9?
q
Suppose -4*m - 14 - 10 = 0. Is -1 less than m?
False
Suppose -2*g + 53 - 23 = 0. Which is smaller: 16 or g?
g
Let v = 9.8 - 16.8. Is v greater than 0?
False
Let r be (-4 - -3)*16 + 0. Let m = r - -8. Let v(h) = h + 8. Let d be v(m). Which is greater: d or -11?
d
Let k be (-2662)/(-66) - (-2)/(-6). Let o(i) = 8*i**2 + 6*i - 3. Let d be o(2). Do d and k have the same value?
False
Let f be (108/(-2))/((243/18)/9). Do -37 and f have the same value?
False
Let n = -58 + 60. Suppose 1 = b - x, n*x + 7 = -6*b + 3*b. Which is greater: -2 or b?
b
Let d be (582/(-90) - 1)*9/(-12). Which is smaller: 5 or d?
5
Let f = -13 + -3. Let w(r) = -2*r**2 + 7*r - 11. Let o be w(4). Which is smaller: f or o?
f
Let l = -313 + 277. Let g(m) = -m**3 - 10*m**2 + 13*m - 14. Let y be g(-11). Is l greater than y?
False
Let c(s) = -52*s + 78. Let y be c(3). Which is smaller: y or -76?
y
Let d(t) = t**2 - 18*t + 7. Let w be d(17). Let q be (-1)/2*(-5)/(w/(-4)). Which is greater: q or 1/51?
q
Suppose -10 + 8 = -d. Which is greater: d or 6?
6
Let w(q) = q + 7. Let a be w(-6). Let m be a/(-2) - (-25)/2. Suppose 2*y + 8 - m = 0. Are y and -1 non-equal?
True
Let j = 340.06 + -342. Which 