 -1024. Is a smaller than y?
False
Let q = -11 + 57/5. Is q at least as big as 16?
False
Suppose -3*z = -0*a + 5*a - 52, -2*a + 37 = 3*z. Let m be 3/4 - (-11)/(-4). Let p be ((-1 + m)/(-3))/((-3)/(-33)). Which is greater: z or p?
p
Suppose -65616 = -2*r + 6*r. Let c = -721823/44 - r. Let n = 2/11 - c. Do 1 and n have the same value?
False
Let i be 2/12 - (-33)/18. Suppose -q + 3 = i*q - 3*c, -3*c - 15 = 3*q. Let n be 1*q - 32/(-18). Do n and 0.1 have the same value?
False
Let n be 2/8 - (-236)/(-176). Suppose 2*l + 36 = 6*l + 4*o, 0 = 3*l + o - 21. Let b(q) = -q**2 + 5*q + 4. Let y be b(l). Are n and y non-equal?
True
Let c(k) = 81*k**3 - 3*k**2. Let d be c(1). Let x = 73 - d. Do 0 and x have the same value?
False
Let r(b) = b**2 + 2*b - 2. Let i be r(2). Suppose -3*c + i*c = 0. Suppose 4*a - 2*h = 9*a - 12, 5*a - 14 = -4*h. Is a at most c?
False
Let j = -90 + 2341/26. Let h be (1/6)/((-1436)/(-246) - 7). Let i = j - h. Which is smaller: i or 0?
0
Let u be ((-528)/110)/(14/(-1040)). Let s = -356 + u. Suppose -f + 2*f = 2. Which is smaller: s or f?
s
Let c = -2176 + 2091. Which is bigger: 0.01 or c?
0.01
Let o be (432/(-9))/(-8) - (-57)/(-9). Which is greater: o or -39.4?
o
Let f be 3/(-1) - 1242/45. Do f and -30 have the same value?
False
Let v = 2.3 + -3.3. Let g = 10113 + -10133.955. Let u = g + -0.045. Which is greater: u or v?
v
Let y be 4*3/(-6)*1. Let f be ((-9)/(-99))/(y/(-4)). Is -1 smaller than f?
True
Let t = -2/1349 + 7019/184813. Which is smaller: t or -1?
-1
Let w(l) = 9*l**2 - 11*l - 46. Let n be w(-3). Are n and 65 equal?
False
Let v = 0.3 + -0.2. Let d = v - 0.1. Let s be (-3)/5 + 592/720. Which is greater: s or d?
s
Let o = -33 - 3. Let x = o - -40. Which is bigger: x or 3?
x
Let k be -8*33/(-420) - (-3)/(-7). Which is greater: k or -81?
k
Suppose 0 = 2*x - 2*z + 72, -2*x + 2*z - 66 = -2*z. Let j = -257 - -153. Let y be 55/j - 6/x. Which is smaller: y or -1?
-1
Let v = 101.6 + -104.6. Is v less than or equal to 6?
True
Let v be (1/3)/(230/(-365)). Let h = v + 2/69. Is 2/37 at most h?
False
Let p(w) = 2*w - 9. Let u be p(4). Let n be u/(-4) - 83/(-4). Do n and 21 have the same value?
True
Let c = -6.05 + -4.95. Let s be -4 + -19 - (-1)/(-1). Let w be (-22)/s + (-2)/8. Which is bigger: c or w?
w
Let y = 4 - 12. Let i = 13 + y. Suppose -4*f + j = 4*j - 10, -f - 2*j + i = 0. Which is greater: f or -1/3?
f
Let i(h) = 7*h + 66. Let r be i(27). Which is bigger: r or 257?
257
Let o = 94.03 - 94. Is -0.1 > o?
False
Let d(l) = -l - 6. Let o be d(-11). Let f(h) = 5*h**2 + 3*h**3 - 2*h**3 - 2*h**3 + 5 + o*h + 0*h. Let s be f(6). Which is smaller: s or -3/8?
s
Suppose 4*i = -2*k - 128, 3*i = k - 2*i + 29. Is -56 smaller than k?
True
Let u(q) = q**2 - 4*q - 7. Let n be u(6). Suppose 0 = 3*l - n*l - 44. Is l != -22?
False
Let k be (-13)/(39/12) + (-12)/(-4). Which is greater: -15/43 or k?
-15/43
Suppose 2 = -2*n + 2*r, 4*n = -2*r - r + 10. Let d be -4 + 1 + (-905)/(-305). Are d and n equal?
False
Let j = 69466 - 485055/7. Let k = 172 - j. Do k and -5 have the same value?
False
Suppose 31*w = 35*w + 100. Let n be (-10)/w + 28/5. Which is greater: -0.1 or n?
n
Let p = -3 + 1. Let s be (p/10)/((-8)/(-25)). Is s at least -1?
True
Suppose -3*i - 18 = -r, -4*r + 6*i - 2*i = -48. Let o(f) be the first derivative of f**3/3 - 4*f**2 - 8*f + 1. Let t be o(r). Which is greater: t or 0.1?
t
Suppose -3*y = n - 2, -n + 6 = -y + 4. Let i be 36/(-66)*8/12. Is y greater than i?
True
Let j(f) = -2*f**3 - 6*f**2 - 2*f - 3. Let c be j(-4). Which is smaller: c or 33?
33
Let h(i) = -i**2 + i + 2. Let t be h(-2). Let g = t - 1. Let f = -169 - -165. Which is smaller: g or f?
g
Let l = -13.9 + 13. Let u = 3.06 - 5.96. Let y = u - l. Is y at least 4/9?
False
Let c = 1/1057 - -5279/6342. Let p = 1 + -1. Which is smaller: c or p?
p
Suppose -5*n = 3*i + 2*i - 35, 28 = 4*n + 3*i. Suppose -n*w - 14 - 21 = 0. Are -29/5 and w nonequal?
True
Suppose 0 = 4*h - 2*h + 5*g - 29, -3*h + 11 = g. Suppose 4*i + j - 9 = 0, -i + h*j = -3 + 12. Let d be 8/(-6)*(-6)/(-4). Is i at most d?
False
Let i = 242 + -5. Is i greater than or equal to 238?
False
Let o be (-3377)/216 + 7/21. Let n = o + 123/8. Suppose -4*b + 5*r - 15 = -7*b, b + 2*r - 6 = 0. Which is smaller: n or b?
b
Suppose 0 = -5*l + 2*o + 10, l - 2*l + 2 = -3*o. Suppose l*a - 3 = -a. Is 1 at most as big as a?
True
Let i = -38.95 + 39.1. Are i and -2/9 non-equal?
True
Let y(n) be the first derivative of n**3/3 - 3*n**2/2 - 10*n - 7. Let a be y(-5). Which is smaller: a or 29?
29
Suppose -4*v - 3*h = 0, v - 2*v - h = 0. Are -4/63 and v non-equal?
True
Let f(u) = -4*u - 13. Let m be f(-4). Suppose -5*n = -4*d - 27, 3*n = -n + m*d + 21. Which is bigger: 3/2 or n?
n
Let s be ((-22)/6)/(2/6). Let i(w) be the third derivative of -w**5/60 + 7*w**4/12 + 5*w**3/6 - 16*w**2. Let o be i(15). Do o and s have the same value?
False
Let z be (11/(22/4))/(-4)*90. Which is greater: -42 or z?
-42
Suppose -10*l + 15 = 3*y - 9*l, 3*y = 4*l. Suppose 0 = 3*o - k + 11, 0*o - 4*o = 3*k + 32. Let n = o - -8. Which is greater: n or y?
y
Suppose 4*n + 0*n - 277 = r, -r - 1 = 0. Let t be (-2)/(-3) - 43/n. Let b be -4 + 9 + (-11 - -7). Which is greater: t or b?
b
Let w be (2 - 48/20)*5*22. Let p(v) = 3*v - 13. Let z be p(-10). Is w <= z?
True
Suppose -18*o - 8 = -14*o. Suppose 0 = -2*v - 8, 0 = -5*s + 2*v - 6*v + 4. Which is smaller: s or o?
o
Let w = -0.1887 - 0.0423. Let v = w + 0.031. Which is bigger: v or 1?
1
Let v = 84 - 78. Suppose -51 = 3*t - 5*h + 4*h, -2*h = -v. Which is smaller: t or -14?
t
Let v = -1871 - -454652/243. Which is smaller: -1 or v?
-1
Suppose 5*a = 0, -1 = 3*x - 3*a - 22. Suppose -2*j + 7*j - 20 = -5*r, j = -4. Which is bigger: r or x?
r
Suppose -6*j + 52 = -2*j. Let z(f) = -f**3 + 13*f**2 + 1. Let p be z(j). Let c = -105 + 1151/11. Is p != c?
True
Let w = 394 + -267. Suppose 0 = 7*q + 6 + w. Which is greater: -17 or q?
-17
Let b be 3/(-15) - 32/(-10). Let j = -18 + 22. Suppose -o + b*d - 4 = 0, 2 = -o + j*d - 3*d. Which is bigger: -2/21 or o?
-2/21
Let l = 1 - 0. Let t be (4 - 3)/(9/18). Is t at most as big as l?
False
Let f = 38 - 11. Let r = f + -2. Suppose a + 2*t - r = -3*t, 3*a - 3*t + 15 = 0. Which is smaller: a or 1/4?
a
Let a = -16692/5 - -16076/5. Do a and -124 have the same value?
False
Let g = -15185 + 333999/22. Let u = 30/11 + g. Which is greater: u or -1?
u
Let f = -40 + 44. Let w be 2*(0 + f/(-28)). Which is smaller: w or -1?
-1
Suppose 0 = -3*g + 4 + 8, 0 = q + 3*g - 16. Let v be (q/(-20) + 16/30)/(-2). Suppose 5*a - 4*a + 1 = 0. Which is smaller: a or v?
a
Let n = -27 + 30. Suppose j + 3*f - n = -0*j, -2*j - f + 1 = 0. Are j and 9 equal?
False
Let c be 4/(-6) + (-8)/(-3). Suppose 4*x - 11 = x - 2*g, c*x + 2*g - 8 = 0. Suppose -j = 5*w - 14, 0 = 4*j + j - 5*w - 10. Is x >= j?
False
Let j = -0.62 + 0.93. Let h = j - -0.69. Which is bigger: h or 17?
17
Let p = 86 - 84. Suppose 2*y = 4*y - b + p, 0 = 5*y + 3*b + 27. Which is greater: y or -0.1?
-0.1
Let t = 1/3 - 0. Suppose 4*p = q - 0*q - 5, p = 3*q - 15. Suppose 2*f + 6 = q*f. Which is smaller: t or f?
t
Let o = -247 + 250. Let q = -0.1 - 0.9. Let t = q + o. Which is greater: -0.4 or t?
t
Let j(m) = -m - 13. Let z be j(-15). Let y be (-4 + (-315)/(-80))*z. Which is smaller: y or 5?
y
Let d(t) = -41*t - 1. Let h be d(-2). Let j = 1657 + -1648. Let o be ((-6)/j)/(6/h). Which is smaller: -1 or o?
o
Suppose 347 + 4671 = 5*p - 4*a, -3033 = -3*p - 5*a. Which is smaller: p or 1?
1
Let h = -1887479/22806 - 39/2534. Let c be (-1 + 16/(-10))/((-6)/190). Let n = c + h. Are n and 0 nonequal?
True
Let t = 18 + 13. Suppose -t + 25 = 6*g. Which is smaller: -6/19 or g?
g
Suppose -4*z + 9 = 2*a + 3, 5*a - 15 = -2*z. Suppose 4*b - 2 + 42 = z. Let c be ((-44)/b)/((-2)/(-5)). Is c < 11?
False
Suppose 166*u = 341*u - 164*u. Is -20 at most u?
True
Suppose 0 = -107*m + 111*m - 92. Does 23 = m?
True
Let s be 0 + 493 - (14 - 17). Let w = s - 9422/19. Are -5 and w equal?
False
Let a = -0.573 + -92.827. Which is smaller: a or -1?
a
Let j = 8363 - 8374. Let m = 12 - 23/2. Is m < j?
False
Let y be (5 + 1)*70/21. Let g be (-1)/(2 - y/8). Let w = 0 + 0. Which is bigger: g or w?
g
Suppose 3*i - q + 6 = 0, -5*i - 2*q - 16 + 6 = 0. Is -20/13 bigger than i?
True
Let y(o) = -27*o**2. Let r be y(1)