 = 0, -5*s + 3*t = -61. Which is smaller: s or 0?
0
Suppose -f - 19 = -5*i, -3*i - 2*i + 4*f + 31 = 0. Suppose 5*q = -i*r - 1, 2*q = -0*r + r + 4. Let m be 12/9 - (2 - 1). Which is smaller: q or m?
m
Let u = 29 - 29. Let k be 1/(u + 0 + -1). Which is greater: -30 or k?
k
Let n = 0.125 - 34.125. Is n less than -2?
True
Let p be 642/27 - 4/(-18). Suppose -4*v + 4*l - 44 = 0, p + 12 = -3*v + 2*l. Let h be v/(-6)*(-4)/(-7). Does 0 = h?
False
Suppose f - 2*f = -2*f. Which is smaller: f or -3/17?
-3/17
Let h be 2169/315 + 6/(-45)*3. Let x = 31/5 - h. Which is smaller: 0.6 or x?
x
Let a = -3.138 + 0.138. Let f = 0.759 - 0.059. Do a and f have different values?
True
Let f = -366 + 477. Which is smaller: f or 113?
f
Let g = -0.15066 + 62.32066. Let k = g + -63. Which is smaller: k or 1?
k
Let t be (-47)/(-4)*(4 - 8). Is -45 smaller than t?
False
Let t = 2170 + -2361. Which is greater: t or 3/4?
3/4
Let l(r) = r**3 + 16*r**2 - r - 17. Let m be l(-16). Is 18/37 > m?
True
Suppose -5*a - 3*j + 7*j = 6, -5*j = 5*a - 30. Is -20 smaller than a?
True
Let g be ((-14)/(-4))/((-1)/(-2)). Let k = 8 - g. Let j be 3 - (-1 + 148/40). Is j greater than k?
False
Let v = -32 - -4. Let y = v + 32. Which is bigger: y or -2?
y
Let f(v) = -v**2 + 8*v - 6. Suppose -2*z - 116 = -r + 5*r, -3*z + 6 = 0. Let a = r + 37. Let g be f(a). Which is bigger: g or -2/5?
g
Let l = -34 - -44. Let a = 1/4 - -1/2. Which is smaller: a or l?
a
Suppose -5*c + 4*g = -11, 5*g + 2 = 3*c - 2. Suppose -6 = 6*v - 72. Is c bigger than v?
False
Let y = -8803/147 - 71/49. Let r = 60 + y. Which is greater: -1 or r?
-1
Let x = 100.8 + -90. Let q = x - 0.8. Which is smaller: q or 1/4?
1/4
Suppose -20 = -4*i - 6*i. Suppose f - 5*b = -i*b + 13, -2*b = -5*f. Let c = -367/4 - -89. Which is smaller: f or c?
c
Let c be (34 + 140)*6/(-9). Is c < -117?
False
Let k(p) = -5*p + 6. Let g be k(4). Let c be g/63 + (-40)/(-18). Suppose -3 = -c*w - 5. Which is bigger: -2/35 or w?
-2/35
Let s be (2 - 12/5)*5. Suppose 144 = -2*g - 14*g. Let a = g - -5. Are s and a equal?
False
Let s = -13 + 10. Let h be s + (-12)/(-51) + 3. Which is smaller: 0 or h?
0
Let t be (-9)/(-2)*848/(-318). Which is smaller: -45 or t?
-45
Suppose -14 = -5*p - 3*z, 12 = 4*p + z + z. Suppose p*m - 14 = 6. Let u = 75/26 - -8/13. Are u and m non-equal?
True
Let i = -6 - -3. Let z = i + 6. Suppose -2*j = -f + z*f + 2, 4 = -3*f - 4*j. Is -3/4 > f?
False
Suppose -15 = 21*b - 24*b. Is 3 at least b?
False
Let k(b) be the third derivative of -b**6/120 + b**5/60 + 5*b**4/24 - b**3/2 - 2*b**2. Let o be k(3). Do -6 and o have the same value?
True
Suppose 2 = -5*g - 8. Let m(f) = -3*f - 15. Let d be m(-6). Suppose -1 = x + d. Which is smaller: x or g?
x
Suppose -4*v = -3*y - 2*v - 86, 0 = -4*v - 8. Let q be 4/(-46) - 24224/736. Which is greater: q or y?
y
Let l(t) = 12 - 5 + 24*t**2 + 6*t - 23*t**2. Let v be l(-5). Suppose 0 = 2*y + v*y. Is y smaller than -3/4?
False
Let s(f) = -16*f + 97. Let z be s(6). Is -2/3627 bigger than z?
False
Let p be (-2)/15*-69 - (-3)/(-15). Let z be 2 + 51/(-18) + 3/p. Is z equal to 85?
False
Suppose 10*x + 4 = 8*x. Let n be (x + (-28)/(-6))*(-27)/(-6). Are 13 and n unequal?
True
Suppose 4 = p - 0*o + 2*o, 0 = -o - 2. Suppose 2*w - 5 = x, p = 5*w + 2*x - 0*x. Let s = -48 + 142/3. Does w = s?
False
Let y = -0.2 - 0.1. Let d = -0.25 - y. Which is smaller: d or -4?
-4
Suppose -3*k + 30 = 78. Suppose 2*a + 16 = 6*a. Suppose 3*c = -w - 46, -3*c - a*w - 15 = 25. Are k and c nonequal?
False
Suppose 0 = 5*o - 26 - 69. Suppose 4*f = -4*p + 60, 111*f - 20 = 116*f. Is o greater than or equal to p?
True
Suppose 6*v = 4*v + 2. Let c be 6/15 - 1/(-10). Do c and v have the same value?
False
Let y = 21 - 18. Suppose 0 = -a - y*a + 60. Let s be 5*(a/(-25))/(-3). Which is bigger: -1 or s?
s
Let v = -1107 + 1105. Is -214 less than v?
True
Let z = -55 + 39. Let s be (-8 - z/4) + 10. Let w be s/18 - (-2)/102. Is w less than -1?
False
Let t = 1012 - 1008.942. Let o = -0.058 + t. Which is smaller: 2 or o?
2
Let h = 127 - 127. Which is bigger: h or -1/137?
h
Suppose 2*f - 6 = 0, -2*c - 41 = -4*f + 209. Is c < -121?
False
Suppose 2*b = -4, 5*b - 2*b = 2*t - 20. Suppose 13*l = -5*g + 16*l - 15, -4*l = -5*g - 10. Let x = t + g. Which is greater: x or -1/22?
x
Suppose 9*m = 7*m. Suppose 3*p = 6 - m. Let y be p/10*6/18. Is 1 greater than or equal to y?
True
Suppose 0*g - 3*g = 0. Let y(v) = v**3 - 10*v**2 + 19*v - 20. Let c be y(8). Suppose -8 = -r + c*h, r - h + 1 - 3 = g. Do r and 0 have the same value?
True
Let k = 48731/28 + -1740. Which is bigger: 0 or k?
k
Let y = -21.68 + 44.59. Let h = 24.5 - y. Is 1 at most as big as h?
True
Suppose 3*j + 11 = 2*v, -3*v + 4*j = -4*v. Suppose -2*z - v*o = -160, z + 330 = 5*z + 3*o. Let t be (2 + z/(-44))/(-1). Is -1 > t?
False
Let i(t) = -t**3 + 14*t**2 - 12*t - 62. Let d be i(12). Is d at most 80?
False
Let x = -52 - -60. Let a be 2/x*4 + (-2 - -2). Is -4/15 at most a?
True
Let w = 165.5 + -165. Which is smaller: w or 5?
w
Let x = -135.74708 + -0.08292. Let t = x - -136. Let n = -88/225 + -2/225. Is n less than or equal to t?
True
Let x = 4/105 + -533/210. Let n = 2189 - 2189. Is x > n?
False
Let o be ((-2)/(-6)*-1)/(28 + -29). Which is greater: -38 or o?
o
Let i be (63/(-210))/(102/(-5)). Which is smaller: i or -1?
-1
Let k = 0.058 - 0.091. Let w = -19.967 + k. Are w and -1/2 unequal?
True
Suppose 34*r - 38*r + 300 = 0. Let m = -824/11 + r. Let z = -1 + 0. Is z at least m?
False
Suppose 991 = -10*w + 4621. Is 363 bigger than w?
False
Suppose -10 = 4*w + 5*x - 51, -2*w + 3 = -x. Suppose 35 + 37 = -w*i. Let s be i/12 + (2 - -1). Which is bigger: s or 2?
2
Let q(x) = x - 3. Let r be q(5). Suppose -184 = -r*w + 4*w. Is w at most -92?
True
Let x = -152 + 180. Are x and 27 nonequal?
True
Let o be 6/(-5 + 2)*-2. Let g be ((-2)/o)/((-2)/(-12)). Let t(m) = -2*m + 20. Let k be t(12). Which is smaller: g or k?
k
Let m = -153 - -153. Do m and -1/269 have the same value?
False
Let i = -59 + 37. Let y = 2.2 + -16.2. Let q = y - i. Are 0.1 and q non-equal?
True
Suppose -2*m = -4*m. Suppose -1 - 11 = -3*j. Suppose -2*y = 4*r - 16, m = 3*y + 2*r - j. Is -8 less than y?
True
Let j = -760 + 688. Which is smaller: -1 or j?
j
Suppose -5*c = -45*c. Is -51/44 at most as big as c?
True
Let f(z) = z**2 - 5*z - 14. Let a be f(8). Does a = 32/3?
False
Let h = -6 - -2. Let d be (-3)/(-15) + 3/(-15). Let o be 0 - d*h/4. Which is smaller: o or -2/7?
-2/7
Let l = 18.26 + -0.26. Let q(p) = 7*p**2 - 4*p + 4*p**2 + 13*p**3 + 15*p + 11 - 12*p**3. Let n be q(-10). Which is smaller: l or n?
n
Let d(n) = n**3 - 8*n**2 + 6*n + 1. Let b be d(7). Let x = 20 - 26. Do x and b have the same value?
True
Let d(z) = -z**3 - 11*z**2 - z + 22. Let o be d(-5). Is o > -125?
True
Suppose 7 = -3*g - 5, 8 = -p - 5*g. Suppose x - p = -x. Let b(v) = -2*v + 62. Let l be b(30). Which is smaller: x or l?
l
Let y(z) = -2*z**3 + 3*z**2 + 20*z + 1. Let u be y(4). Which is bigger: u or 11/5?
11/5
Let v(q) = -q**3 + 3*q**2 - 2*q + 3. Let y be v(2). Suppose r - 2*r - 11 = -3*w, y*r = -15. Suppose 1 = -2*b - w*b + j, 0 = -2*b + 3*j + 7. Is -8 equal to b?
False
Let u = -30.09 - -50.09. Let r = -8/15 - -6/5. Which is bigger: u or r?
u
Let b be 8 - (-4)/(-68)*112. Is 2 equal to b?
False
Let p be -3 - (12/4 - 7). Which is greater: p or 6/13?
p
Let d = -0.326 + -1.674. Is -312 greater than or equal to d?
False
Let y = -674624/375 + 1799. Let p = y - 607/87000. Which is smaller: 0 or p?
p
Let j = 293 + -294. Let t be (2/(-120))/(1/26). Let i = 1/210 + t. Is i not equal to j?
True
Let h = 4921/3 + -1688. Let u = -47 - h. Which is greater: 2 or u?
2
Let v be (4/6 - 0)*(-4743)/62. Which is greater: 0 or v?
0
Let x be 12576/216 - 1/9*2. Let v be (-46)/14 - -1 - (54 - x). Which is smaller: v or 0.3?
0.3
Suppose -5*x - 158 = -k - k, 4*x + 237 = 3*k. Suppose 2*f + s = 7*f - k, -5*f = 2*s - 67. Let l = 7 - -7. Is l at least f?
False
Suppose -2*f + 5*m - 56 = 0, 3*f = f + 3*m - 48. Which is greater: f or -9?
-9
Let b be 4/(-2*1/3). Let p be (b/21)/(4/6). Suppose -29*l + 41 = 12*l. Is l less than p?
False
Suppose -4*i + 0*i = 84. Let m be (-2)/3*27/i. Let r = 310 + -308. Is m <= r?
True
Let j = -57 + 60. Let g be 624/(-320) - (j/5)/(-3). Is -1/2 at most as big as g?
False
Let x = 882 - 325. W