a + 35 = 3*a. Suppose -f + 3*q - a = 0, 3*f - f - 1 = q. Let t(j) = -j**2 + 5*j - 3. Let o be t(f). Is o at most as big as 4?
True
Suppose -349 = -a - 4*m, 2*a = -2*a + m + 1379. Let v be 876/21*(-33)/4. Let l = v + a. Is l != 2?
True
Let b = 0.4 + -0.4. Let i = -1 + 1. Suppose 4*q - 8*q = i. Is q != b?
False
Let f = 3 + -2. Let a be 12/(-3)*f/(-4). Let g be 1 - (-14)/(-10) - 0. Are a and g non-equal?
True
Let v = 150602644/15121359 + -2/1680151. Let b = -88/9 + v. Which is smaller: b or -0.3?
-0.3
Suppose -4*x - x + y = -18, -x = 4*y - 12. Are 4 and x non-equal?
False
Suppose n - 5*n + 216 = 0. Let x be (-48)/n + (-4)/(-6). Which is bigger: x or -1?
x
Let f(y) = -2*y + 26. Let i be f(-8). Which is bigger: i or 40?
i
Let w be 3*-2*(-1)/6. Let y = -2 - -1. Let x = y + 2. Is w smaller than x?
False
Suppose 2*h = -0*h - 10, 17 = 3*f - 4*h. Which is smaller: 4/35 or f?
f
Let v(b) = -b**2 - 11*b + 12. Let g be v(-12). Are g and -1/33 equal?
False
Suppose -5*d + 3*d = 0. Are 1 and d equal?
False
Let c(q) = 3*q - 3. Let g be c(2). Let r = -24 - -22. Is g > r?
True
Let s = 144 + -144.91. Let h = 0.09 - s. Which is smaller: h or -6?
-6
Let w be -1*(-33)/(-27) - -1. Is 0 at most w?
False
Let t(f) = f**3 + f. Let o be t(1). Let g be o - (2 - 1)*1. Is 0 greater than or equal to g?
False
Let j(o) = -o - 3. Let t = -9 + 4. Let m be j(t). Let n(u) = -u**3 + 3*u**2 + 6*u - 5. Let v be n(4). Which is greater: v or m?
v
Let u be (-4)/(-7)*21/(-54). Let p = -8 + 7.97. Which is smaller: p or u?
u
Let y(d) = -d**2 + 9*d - 5. Let g be y(5). Which is bigger: g or 14?
g
Suppose -4*r + 4*y = -28, -4*r + 5*y = 16 - 48. Let n be (1/(-3))/(r/27). Are n and -4 unequal?
True
Let b = -1549/13 + 119. Is 1 < b?
False
Suppose 3*x = 4*m + 23, 4*x + 3 = m - 1. Let v be m/(-24) + 56/(-150). Which is bigger: -1 or v?
v
Let z = -3 + 7. Suppose -2*n + 3*n - z = 0. Is n less than or equal to 4?
True
Let f = 17/13 + -1934/1469. Let r = f + 343/452. Which is smaller: 2 or r?
r
Let i(u) be the second derivative of u**4/12 - u**3/3 - 3*u**2/2 + 2*u. Let v be i(3). Let q = 1 - v. Which is smaller: q or 2/9?
2/9
Suppose -2*k - 5*d + 14 = 0, 0 = -4*k - 5*d - 0*d + 18. Suppose 3*s - k*s - 7 = 0. Let c(z) = -z**3 + 8*z**2 - 7*z - 1. Let p be c(s). Is p >= -2/5?
False
Let t = -87 + 87. Which is smaller: 6/13 or t?
t
Suppose -5*y = -3*y - 18. Which is smaller: 10 or y?
y
Let q be ((-4)/(-1) - -1)*4. Which is greater: q or 21?
21
Let d be ((-3)/2)/((-2)/(16/(-30))). Which is bigger: d or -5/7?
d
Let h(p) = -p + 1. Let z be h(6). Let a be 1/z - 101/(-5). Suppose -2*f + a = -7*f - 2*m, 39 = -4*f + 3*m. Which is greater: -5 or f?
-5
Let h be ((-36)/(-8))/(9/12). Suppose 0 = -2*i - h - 2. Let z be (i/6 + 1)*-1. Which is smaller: -6 or z?
-6
Let k be (-2)/6 + (-28)/6. Let r(j) = -j**2 + 7*j + 56. Let o be r(12). Which is smaller: o or k?
k
Suppose u - 4 = -1. Suppose 0 = -f - u*f + 992. Let c be 3/12 + (-46)/f. Which is greater: 1 or c?
1
Let c be 2/3 + (-16)/18. Let r = -5 + -9. Let l be (-2 + 0)*(-2)/r. Is l at least c?
False
Let m be 1 - (2 + 0 + -2). Suppose m - 5 = 2*h. Is -1 > h?
True
Let q(a) = -a**3 - 4*a**2 - 2*a + 1. Let w be q(-3). Let v = 6 - w. Which is smaller: v or 9?
v
Let p be -2 + (-2 + -2 - -22). Let s be (-124)/p - (-6)/8. Which is bigger: s or -8?
s
Let m = 107 + -104. Is m less than -17?
False
Let y(b) be the first derivative of b**2/2 + 8. Let f be y(0). Which is bigger: f or -2?
f
Let d(z) = -z**3 + 5*z**2. Let v be d(5). Suppose -25 = -5*n - 70. Let m = n - -47/5. Which is smaller: m or v?
v
Let s be (-70)/100 + 2/4. Let z(j) = -j**2 - 6*j + 2. Let u be z(-6). Suppose 0 = -5*q, -3*f + u*f + 2*q - 1 = 0. Do f and s have the same value?
False
Let s = -4 + 15. Let m = 22 + -28. Let w = s + m. Which is bigger: w or -0.1?
w
Suppose 4*l - 5*l - 2 = 0. Let o be ((-4 - l) + 0)/5. Which is bigger: o or 1?
1
Let c be (2/6)/((-32)/24). Let i = 0.03 + 1.97. Let y = -1.8 + i. Which is smaller: c or y?
c
Let z(o) be the second derivative of -o**4/12 + o**3 + o**2/2 - 4*o. Let x be z(6). Suppose 2*b + 11 = 3*l - 3, -b = x. Is 2 at most l?
True
Let l(s) = s**2 - 4*s + 2. Suppose 5*q + 1 = 11. Let y be l(q). Is 2 at most as big as y?
False
Suppose -8*g = -7*g - 9. Is -0.1 >= g?
False
Suppose 6 + 0 = 3*d, 0 = 4*x - d + 10. Is -4 >= x?
False
Let h be 2 + 1/(1/(-2)). Suppose h = 3*b + b. Let f = b - 1. Is f smaller than 0?
True
Let b = 0.12 - 0.1. Let f = -2.02 + b. Which is bigger: 3 or f?
3
Let i = 37 + -19. Let w be -2*((-15)/i + 1). Is -2 at least w?
False
Let w = 1259 - 162410/129. Is 1 at most as big as w?
False
Let c = 622/1529 + -6/139. Let d = -7 - -6.9. Is d at most as big as c?
True
Let i = -11 - -12. Let q = 5.392 - 0.092. Let w = -0.3 + q. Is w bigger than i?
True
Suppose -2*y - 15 = 3*y. Which is smaller: -2 or y?
y
Let h = -1 - -2. Let l = -5506/13 - -424. Are l and h nonequal?
True
Suppose 0 = l + 4*l. Suppose 2*s = -a + 8, -5*a + 16 = 5*s - 3*s. Suppose l = w + m, -2*w + 5*m - a - 5 = 0. Which is greater: 2 or w?
2
Let f = -1.2 - -1.3. Let k(v) = -v**3 - 4*v**2 - 3*v + 1. Let h be (-3 + 1)*3/2. Let y be k(h). Is f > y?
False
Let z = 11 - 16. Is z greater than -5?
False
Let y = 8 + -6. Suppose -4*b + y*b + 3*p = 120, 0 = 4*b + 5*p + 196. Let h be -1 + (-33)/b*2. Is h equal to -1/2?
False
Let o(j) = -j**3 + 8*j**2 - 2*j - 5. Suppose 3 = h - 5*g + 1, 4*g + 10 = 2*h. Let z be o(h). Let t be 9/z + (-2)/4. Is 1 > t?
True
Suppose -5*j + 6 + 4 = n, 4*j = 5*n - 21. Let m = -237 + 2606/11. Is j > m?
True
Let x be 2/2 - (1 + 5). Let i = 3 + x. Are i and -3/2 unequal?
True
Let x = -68.1 - -74. Let d = x - 6. Let b(r) = r - 4. Let z be b(3). Which is smaller: z or d?
z
Let d = 0 + 1. Let n be 128/22 - 2/(-11). Let m be n/(-15) + 3/20. Which is smaller: d or m?
m
Let o = 325/21 - 46/3. Is o bigger than 1?
False
Let j(z) = z**3 + 3*z**2 + z + 2. Let c be j(-3). Is c bigger than -4/3?
True
Suppose -5*k = 2*y + 24, 4*k + 30 = 4*y + 78. Let h be (-30)/(-2)*(-4)/y. Is -0.1 less than h?
True
Let p = -631 + 1297/2. Which is smaller: p or 19?
p
Let w(g) = -g**3 + 5*g**2 + 7*g + 1. Let q be w(6). Let n = -8 + q. Let f be 1/(-3) + 1/21. Which is bigger: n or f?
f
Let w = 0 - -2. Suppose 2 = -l - d, -4*l + w*d = -3*d + 17. Let k = l + 2. Which is smaller: 2 or k?
k
Let u be (-4)/(-5) - (-4)/20. Let w be 18/(-63) + (-9)/(-7). Is u < w?
False
Let d = -5 + 10. Is d at least 5?
True
Let f be (4/708)/(2/9363). Let i = 3/59 + f. Let b = i + -27. Which is greater: b or -2?
b
Suppose 0 = 3*f - 2*r - 13, f + 0*r = -5*r + 10. Suppose -4*s - n + 4 = 0, -5*s + 3*n + f = -0*s. Let d be (0 - -1) + -4*8/44. Which is bigger: d or s?
s
Suppose 0 = -3*i + 5*h + 165, -6*h = -5*h - 3. Which is bigger: i or 62?
62
Suppose 2*p = -2*i - 3 + 9, 0 = 4*p + 3*i - 9. Is 10 greater than or equal to p?
True
Suppose 5*s + 0 = -5. Let p be (-3)/(s/1) + -2. Which is bigger: p or 3/7?
p
Suppose 2*b + 2*b = 4. Let r be ((b - -1)/(-1))/2. Let s be ((-1)/(-3))/(r/(-3)). Is s at most as big as 2?
True
Suppose 5*g - 53 = 277. Suppose 3*v - g = 57. Let x = v + -285/7. Which is bigger: x or 0.1?
x
Let w = -4 - -4.03. Let b = w - 0.03. Is 3 <= b?
False
Suppose -d - 9 = -u - 3*u, -11 = -u + 2*d. Let g = u + -1. Which is smaller: g or -4?
-4
Let z(q) be the third derivative of q**6/120 + q**5/30 - 5*q**4/24 - 2*q**3/3 - 2*q**2. Let a be z(-3). Is a at most as big as 2?
True
Suppose 0*r - r - o - 5 = 0, -20 = 2*r - 3*o. Let u(x) = -x - 11. Let t be u(-6). Which is greater: t or r?
t
Suppose -2 = -v + 5. Suppose 3*q - 22 = 5*n + v, 0 = 3*q - 3*n - 21. Is q bigger than 7/2?
False
Suppose -4*i + 20 = 0, i - 7 = -4*c + 14. Which is bigger: 5 or c?
5
Let t(w) = -w - 1. Let m = -16 + 18. Let l be t(m). Is l at least as big as -3?
True
Suppose v = 4*x - 54, 2*v + 3*v + 4 = x. Let h be 4/x + (-36)/28. Is h at most as big as -1?
True
Let u = 475/2673 + 1/243. Let t = 7 - 16. Let y = 9 + t. Which is smaller: y or u?
y
Let g(p) be the first derivative of -3*p**4/2 - 2*p**3/3 - p**2 - p - 2. Let n be g(-1). Suppose 7 = -n*m - 3. Which is smaller: -4/3 or m?
m
Suppose -2*m - 2*m = q + 14, -4*m = 12. Let n be -6*1/2 - q. Which is greater: n or -14/9?
n
Let c = 0.03 + -0.15. Let o = c - 0.88. Let y = -0.32 - -0.3. Which is bigger: o or y?
y
Let f be 5 + -7 