 be (-4)/6 + (-210)/(-18). Is w bigger than k?
True
Suppose -127 - 341 = -13*h. Is 37 at most as big as h?
False
Let t(z) = 16*z**2 + z - 2. Let j be t(2). Suppose -s = 3*s + j. Let c(i) = -3*i**2 - 3. Let v be c(2). Is v at most as big as s?
False
Let p = 104 - 25. Suppose 3*i - 14 = p. Let z = -32 + i. Which is smaller: z or -3/16?
z
Suppose -w - 2*u = 3 + 11, -5*w = -3*u + 57. Let i be (-16)/w - 6/9. Do -64 and i have the same value?
False
Let q = -0.85 + 1. Let s = -98.25 - -98. Let i = q + s. Which is smaller: 4/23 or i?
i
Let o = -1914 + 7715/4. Is o <= 16?
True
Suppose -7*k - 4 = -5*k. Let s be (-7)/5 - k - 1674/(-360). Is 5 greater than s?
False
Suppose -6*u - 21 = -5*u + 5*s, 0 = 5*s + 25. Suppose u*q = 9*q - 10. Suppose 4*n - q*l - l - 34 = 0, -l = n - 5. Which is greater: n or 8?
8
Let z be (-26)/(-91)*((-58)/(-4) - 1). Is z > 5?
False
Let t = -46775/13 + 3601. Which is greater: t or 3?
3
Let t = 309.9 + -294. Let c = t - 17. Let v = c + 1. Is v less than -14?
False
Suppose -5*v = -4*v - 13. Suppose 2*x - 3*t - 9 = 3*x, 4*t = -x - v. Is x greater than or equal to 3?
True
Let d = 158 - 263. Is d at most as big as -103?
True
Let x(a) = 121*a - 1185. Let k be x(10). Suppose 3*q - 69 = 3*r, -2*r + 10 = 3*r. Is k >= q?
True
Let t be (-180)/216 + (-55)/6. Let j(r) = -r**3 + 5*r**2 - r - 6. Let w be j(5). Which is smaller: w or t?
w
Let g = 99 + -170. Let v = g + 102. Which is greater: v or 30?
v
Let h = -158/11 - -5971/418. Are 1 and h nonequal?
True
Suppose 3*b = 2*v + b - 14, v - 5*b = -9. Suppose 4*n = -4*m + 3*n + 40, 5*m = 2*n + 37. Which is smaller: v or m?
m
Suppose 0 = -8*g + 13*g + 5*i + 15, 13 = -4*g - 3*i. Which is bigger: -35 or g?
g
Let d(q) be the first derivative of q**4/4 - 7*q**3/3 - 4*q - 84. Let x(y) = 2*y**2 + 5*y + 4. Let g be x(-3). Let a be d(g). Are a and -4 unequal?
False
Let y be 250/90 - 4/(-18). Suppose 4*v + 4*j - 56 = 0, y*j - 1 - 21 = -v. Let k be 160/26 + v/(-65). Which is smaller: k or 7?
k
Let l = -36 - -34.5. Let n = l - -1.3. Is n smaller than 14?
True
Suppose -2*d + 96 = -8*d. Let x = -15 - d. Which is smaller: x or -1/9?
-1/9
Suppose 7*g = 8*g - 84. Let c = g - 83. Which is greater: 1/12 or c?
c
Let n = 31 + -27. Let o be -1 - (2 - n) - 3. Does o = -2?
True
Let i be 27 + ((-6)/(-4))/(11/22). Let j be (125/i)/(-5)*(-3)/10. Which is smaller: j or 0?
0
Let m = 9 + -8. Let u = 0.017 + 15.723. Let x = u + 0.26. Which is smaller: m or x?
m
Let a = -10.5895 + 10.63. Which is greater: a or 1?
1
Let q = -0.1 + 0.08. Let g = -1.25 - -2.25. Which is smaller: g or q?
q
Let t = -26 - -26. Let y = 0 - t. Does 44 = y?
False
Let p = 0.212 - 14.212. Which is bigger: 5 or p?
5
Let x = 767 + -1535/2. Is x > -43?
True
Let v be (-492)/(-576) - (-2)/(-3). Let r = -1103/48 + 23. Let u = v - r. Which is smaller: u or -1?
-1
Let y = -1067 + 1069. Let f = 4.98 + -5. Let z = 0.07 + f. Which is smaller: z or y?
z
Let f = -14 + 7.2. Let r = f - -7. Which is smaller: 5 or r?
r
Let g(m) = -m**2 - 6. Let l be g(0). Let f(b) = -15*b + 443. Let u be f(30). Which is greater: l or u?
l
Let w = -316.7 + 345. Let o = -35 - -62. Let v = o - w. Which is smaller: v or -1/2?
v
Let r = -242 - -229. Which is greater: -22 or r?
r
Let f = 60 + -65. Which is greater: -11 or f?
f
Let g be 174/8 + 5/20. Let r be (-20)/50 - g/(-5). Let l be r/12 - (-4)/6. Are 1 and l equal?
True
Let u(v) = -5 - 7*v**2 + 3*v + 3*v + v**3 + 6. Let i be u(6). Suppose i = 3*w - j + 5, -w + 3 = 4*j. Is 0 less than w?
False
Let w = 12.07 + -0.07. Let q be (-34)/17*(-4)/(-48)*-2. Which is smaller: q or w?
q
Let m = -265600/133 - -1997. Which is bigger: m or -1?
m
Suppose -t = 5, 3*p + 2*t + 303 = -400. Is p != -232?
True
Suppose -3*g - 3*l + 11 = g, 4*g = -5*l + 13. Let k = 9.067 - 1.277. Let f = 0.21 + k. Which is smaller: g or f?
g
Let m = -35.95 + 22.8. Let t = m + 13. Let g = -0.14 - t. Is g <= -2/7?
False
Let q = -2023 + 2023. Is q > 6/19?
False
Let x be (-1)/4 + 52/16. Suppose 2*a = x + 1. Is 0 > a?
False
Let n be (30/1899)/((-9)/(-27)). Is n greater than -1?
True
Suppose -280 = 6*f + 128. Does -69 = f?
False
Suppose -8*d + 0*d + 648 = 0. Which is bigger: d or 79?
d
Let a = -23 + 22.8. Which is smaller: -19 or a?
-19
Suppose 0 = 4*s - 2*s - 534. Let q be 4 - (0 - s/(-63)). Are q and 0 nonequal?
True
Let b = 139 - 157. Which is greater: -21 or b?
b
Suppose n + 13 = 5*v, -n - 4 = -3*v - 1. Suppose u - 9 = -n. Let y be ((-2)/u)/(2/3). Which is smaller: 7/3 or y?
y
Let d(q) = -24*q**3 + q**2. Let a be d(-1). Let k = a - 32. Suppose -2*n - 3 = 9. Is n greater than k?
True
Let r be 28/10*(-1205)/(-12). Suppose -s + 842 = 3*g + s, -2*s - 286 = -g. Let u = g - r. Which is greater: u or -2?
u
Let y(x) be the first derivative of -x**4/2 + 9*x**3 - 13*x**2/2 + 6*x - 12. Let g be y(13). Is g >= -4?
True
Suppose -5*w - 149 = 291. Let l be 16/w - 123/(-11). Suppose 3*p - 29 = -4*r, -2*r + 4*p + 32 = 2*p. Are l and r equal?
True
Let o(u) = u**3 - 10*u**2 + 8*u + 13. Let x be o(9). Let i = 5.03 - 0.03. Let t = i - 5.2. Which is greater: t or x?
x
Let z(u) = 53*u + 72. Let d be z(2). Which is smaller: 176 or d?
176
Suppose -2*k + 165 = -5*k. Is k equal to 2/3?
False
Let h = 230 + -312. Which is greater: -83 or h?
h
Suppose -60 = 5*h + 170. Let z = -46 - h. Let j = -2510/19 - -132. Which is smaller: z or j?
j
Suppose -3*o + 3 + 11 = 5*m, 10 = m + 3*o. Which is bigger: -96 or m?
m
Suppose -2*x - 5*m + 16 = 0, -6*x + 58 = -2*x - 3*m. Let v be -6 + -38*5*(-11)/110. Is v < x?
False
Let v be (19068/(-16))/7*-4. Let y = v + -11580/17. Is -1 > y?
False
Let q(u) = 3*u**2 + 4*u - 2. Let n be q(-2). Suppose -n*b = 10, -2*y - 5*b = -4*b + 29. Do y and -12 have different values?
False
Let q(b) = b**3 - 3*b**2 - 5*b + 1. Let y be q(4). Let g be (y/(-7 + 4))/(-1). Let j be -3*2/(-210)*2. Is g < j?
True
Suppose -7*s = -274 + 106. Does s = 10?
False
Let h = -473 + 472. Which is smaller: 2.84 or h?
h
Let f be 128/72 + (-4)/(-18). Let j be f/(-3) + (-2)/6. Let c = j - -1. Which is bigger: c or 1/5?
1/5
Suppose 2*b - 22 = -0*h + 3*h, -35 = -3*b + 5*h. Suppose 55 = -5*j - b*w, 2*j + 5 = -w - 12. Which is smaller: 1/2 or j?
j
Suppose 4*y + 0*y = 0. Suppose -7 = -5*l + 8, -3*f - l - 45 = 0. Let r be 1/(4/(f/10)). Is r less than y?
True
Suppose 2*j + 8 = 0, 0*j = 4*c - j - 116. Let g = 28 - c. Is g bigger than 2?
False
Suppose s = -5*u - 2, 5*s + 29 = 4*u - 68. Let z = s - -14. Let j be (-1 - z)*16/(-2). Which is bigger: j or -15?
-15
Let z(c) = -3*c**3 - 4*c**2 + c + 16. Let p be z(-2). Which is greater: 93/4 or p?
93/4
Suppose 4 - 8 = -2*w + 3*k, 4*w - 2*k = 16. Suppose -14 = -5*t - 2*u, -w*t + 3*u = -2*t. Let a be -1*(-2 - t - -5). Is -5/7 less than a?
False
Suppose -1 = a - 0. Let t be 6 + ((-4767)/1305 - 7/3). Which is smaller: t or a?
a
Let d be (630/(-36))/((-1)/322). Let a = 1932803/343 - d. Which is smaller: a or 1?
a
Let p(b) = -b**2 - 9*b + 20. Let i be p(-10). Suppose -1 - 9 = i*z. Is z bigger than 4/31?
False
Suppose 3 = 3*a - 3. Let p be (36/(-96))/(a/(-16)). Suppose -3*q + 12 = 3*r + 3, 0 = 3*r - 2*q - 14. Is r less than p?
False
Let m(v) = -v**2 - 2*v + 5. Let q be m(-3). Suppose q*y - 8 = -10. Is -4 less than y?
True
Suppose 5*p - 56 - 219 = 0. Let h = 60 - p. Is 4 bigger than h?
False
Let s = -61 + 83. Does -3 = s?
False
Let y = -65/2 - -33. Let v be ((-16)/24)/(4/(-18)). Let m be 1/((-135)/(-415)) - v. Which is bigger: y or m?
y
Let z = -52 + 33. Let f = z - -18.47. Is f bigger than -1/3?
False
Suppose -9*a = -27 - 9. Let v be 12/7 + a/14 + 1. Which is smaller: v or 13/3?
v
Let j = 40 - 0. Is j <= 3?
False
Let n = -3.485 - -0.485. Is 2/15 < n?
False
Let z = -18/7 + 104/35. Is 6 >= z?
True
Let c(x) be the second derivative of -x**5/2 + x**4/12 - x**2/2 - 12*x. Let b be c(-1). Let p = 15 - b. Is 11/3 at most as big as p?
True
Let d(l) = -2*l**2 + 5*l + 82. Let f be d(-10). Which is smaller: -170 or f?
-170
Let p = 20432/5 - 4084. Suppose r + 24 = 3*r. Suppose 3*b = -b + r. Does b = p?
False
Let y(v) = -v**3 + 9*v**2 + 12*v - 14. Let i be y(10). Let d be 3/i*(-16)/6. Is d > -2?
True
Let x = 1 + -1. Let f = 8 + -7. Let k be f/(2*(-2)/4). Is k >= x?
False
Let k be (-68)/(-85) + 4/(-5). Suppose s = -0*w - 4*w - 35, k = w - 2*s + 20. Let d be (w/3)/((-30)/135). Which is smaller: 16 or d?
d
L