 g = 140 + 21. Are 39 and n non-equal?
True
Suppose 7*y + 10 = 4*y + 4*z, -5*z + 14 = -3*y. Let m = 181/56 + -19/8. Which is bigger: y or m?
y
Let w(c) = c - 8. Let d = 11 - 5. Let l be w(d). Is -3 <= l?
True
Let f = -0.2 - 0. Let g = f + 0.2. Let l = 0.26 - 0.46. Which is smaller: l or g?
l
Let o = -10 + 6. Suppose 2*s + 4 + 4 = 0. Is s bigger than o?
False
Suppose -2*d - 5*s - 5 = -30, -5*s + 25 = 0. Suppose 5*p = -d + 5. Let j = 4 + -3. Is p at least j?
True
Let r be (-15)/(-25)*52/(-18). Let j = 11/6 + r. Which is bigger: 0 or j?
j
Let b = 91 - 168. Which is greater: -76 or b?
-76
Suppose 0 = -5*t - 5*a - 1250, 446 = -3*t - a - 312. Let l = -3808/15 - t. Which is smaller: l or -1?
-1
Let r = 8 + -5. Suppose -3*q - 14 = -u, 2*u - 6*u + 20 = -r*q. Let y be (q/6*1)/2. Does y = 2/7?
False
Let n = -0.12 - -0.82. Let y = n + 2.3. Which is greater: y or 1?
y
Let j be (4/10)/(18/(-27)). Which is greater: 1/3 or j?
1/3
Let o(x) = -2*x**2 + x - 1. Let q be o(1). Let r be (-2 - 0) + q + 4. Which is greater: -2 or r?
r
Let a(k) = k**3 + 5*k**2 - 4*k + 1. Let f be a(-6). Which is bigger: -12 or f?
f
Let v(k) = -17*k + 1. Let t be v(1). Let x = -10 - t. Let z = 6 - x. Which is bigger: 1 or z?
1
Let u = -1 - -1.8. Is -1 >= u?
False
Let n(w) be the first derivative of -w**4/4 - w**3 - w + 1. Suppose -q + 3*u - 15 = 0, 0 = -0*q + 5*q - 3*u + 27. Let o be n(q). Is o greater than -0.4?
False
Let m = -3.1 - -3. Let d = m + -1.9. Is -1 less than d?
False
Let i = -120 + 838/7. Which is greater: i or 0?
0
Let j = 561 - 8411/15. Is 0 greater than j?
False
Let r = -1420/9 + 158. Which is bigger: r or -0.6?
r
Let s be (-12)/(16/4) - -9. Suppose 0 = -i + s*i + 20. Which is smaller: -6 or i?
-6
Suppose -2*f + 4*b = -10, -f - b = -6*b - 8. Suppose -27 = -3*r - f*j, 0 = r - 5*r - 3*j + 32. Suppose r*u = 3*u - 4. Which is greater: 3 or u?
3
Let l = 10.1 - -0.9. Is 1 at most as big as l?
True
Let g be 2/9 - 219/(-108). Which is bigger: g or 2?
g
Let h = 0.976 - -0.024. Let o = -2 + 1. Is h bigger than o?
True
Let h be (-6)/28 - (13 - 13). Is h greater than or equal to 1?
False
Let q(k) = -2*k**3 + 4*k**2 - 5*k + 3. Let l be q(3). Let y be 6/(-8) + l/24. Is y > -5?
True
Suppose 0*s - s + 3 = 0. Let f = s + -3. Let k(b) = b**2 - 9*b - 10. Let l be k(10). Is f <= l?
True
Suppose 2*a = a + 4*o + 2, -4*a - 3*o + 46 = 0. Let m = a + -8. Which is smaller: m or 1?
1
Let p = -19 - -21. Suppose p = 5*l - 2*d - 3, -5*l = 3*d - 5. Let h = -2 - -1. Is l at most as big as h?
False
Let h be (-2)/1 - (-5 - 1). Let u = 7 - h. Suppose 2 + 4 = u*w. Which is greater: 0.1 or w?
w
Suppose 2*i = 2*u + 12, 0 = 4*u - 2*i + 6*i + 56. Is -21/2 less than or equal to u?
True
Let v(t) = -4*t + 2. Let s be v(-2). Suppose -2*p = b - 9, -3*b = -5*b + s. Let f be (-6)/(((-18)/4)/3). Which is smaller: p or f?
p
Let x = 5 - -3. Let d = x - 5. Suppose -4 = -q - d. Is q < 3?
True
Let x(l) = -6*l - 1. Let o be x(-3). Let z = 104 + -88. Which is greater: z or o?
o
Let b(t) = -t + 3. Let v be b(6). Which is smaller: v or -13?
-13
Let z be 0/(8/4 + -4). Is 1/40 less than or equal to z?
False
Let g = -41 + 61. Is g bigger than 21?
False
Suppose 12 = a + 4*g, 9 = -4*a + 2*g + 3. Is 4/23 != a?
True
Suppose 0*d - d - 8 = -2*v, -4*d = 5*v + 6. Are d and -2 equal?
False
Suppose -4*q + 74 = -6*q. Is q >= -36?
False
Let c(d) = d**3 - 27*d**2 + 50*d + 12. Let q be c(25). Let z(a) = 6*a - 1. Let p be z(2). Is p less than or equal to q?
True
Suppose -6 = -3*f + 3, 0 = 4*p - 2*f + 82. Let b be ((-1)/p)/(3/(-9)). Which is smaller: b or 1?
b
Suppose -4*m - m + f = 2322, 2*f + 471 = -m. Let s be 88/m + (-2)/(-10). Let a = -101/744 + s. Which is bigger: 0 or a?
0
Let l = -0.04 - 0.16. Let v = -0.7 - l. Let u = -0.6 - v. Which is bigger: u or -1?
u
Let x be ((-3)/12)/(-1 - 0). Suppose -4*p + 47 = -3*p. Let q = p - 139/3. Is q != x?
True
Let d = 571 + -24551/43. Let b = -226 + 225. Which is smaller: b or d?
b
Let z(f) = -f**2 + 10*f - 10. Let o be z(9). Let w be -1 - 14*o/2. Which is bigger: 5 or w?
w
Suppose 0*l = 2*l. Let q(h) = -2*h + 10. Let u be q(7). Which is greater: l or u?
l
Let k = -11 + 5. Which is greater: 0 or k?
0
Let w(z) = z**2 - 3*z - 3. Let t be w(5). Suppose -4*o + t = 3. Is 2/35 greater than o?
False
Let r be (-104)/(-18) + 8/36. Let q(v) = v**2 - 6*v + 8. Let d be q(r). Let n be (0/1)/(d/4). Which is smaller: 5 or n?
n
Let t = -75.2 + 75. Is t greater than 0.03?
False
Let k(v) = v + 24. Let d be k(-8). Does d = 16?
True
Let c be (-4)/6*(-27)/18. Suppose -p + c = 7. Which is smaller: p or -5?
p
Let o = 181/7 - 3376/133. Is 0 at most as big as o?
True
Let q = -0.94 - 0.06. Let u = 7.13 - 0.13. Let n = -4 + u. Which is smaller: q or n?
q
Let w = 7 + -2. Let q = 0.1 - -3.9. Let j = w - q. Do j and 0 have the same value?
False
Let l(b) = -b - 2. Let y be l(-3). Let z be 2 + y*(-24)/15. Is -2/11 at least as big as z?
False
Let g be (-342)/(-17) - (-5)/((-255)/6). Suppose w + 0*w - 19 = 0. Is g at least w?
True
Suppose -7 = j - 15. Is j greater than 8?
False
Let n(c) = 4*c - 2*c - 3 + 0*c + 11. Let x be n(-6). Let g(d) = 3*d + 3. Let q be g(-2). Which is greater: q or x?
q
Let g = -2 - -4. Let r be (3/(-3))/(g/4). Let c be (1/2)/(1/(-2)). Which is greater: r or c?
c
Let x(c) = -5*c - 29. Let m be x(-6). Is -1/44 at most m?
True
Let w = 0.106 - -4.894. Let s be 1/(-2) + 3/14. Is w less than s?
False
Let q = 2 + 3. Let b = q + 3. Let u = b + -10. Which is bigger: -1 or u?
-1
Suppose 5*j - 3 = 4*j. Which is bigger: j or -4?
j
Let f(z) = 3*z - 4. Suppose 5*u - 33 = -r - 8, -5*r - 5*u + 25 = 0. Let t be f(r). Is -4 at most t?
True
Let w(d) = 14 - d - 14. Let u be w(-2). Suppose -v + 5*c = -16, -c + 2 + 2 = -u*v. Which is smaller: -3 or v?
v
Let t be (-14)/7 + (2 - 1/21). Is 0 <= t?
False
Let w = 18 - 30. Let n be (w/40)/(2/5). Let z = 0 - 1. Is n smaller than z?
False
Suppose -4*n + 85 = -3*j, 4*j - 3*j + 65 = 3*n. Is 23 at most as big as n?
False
Let u = 88 - 150. Is u greater than or equal to -62?
True
Let s be (-2)/3 + (-168)/(-36). Which is smaller: s or 16/5?
16/5
Suppose 5*x = 81 - 16. Let r = x - 6. Suppose 2*g = -i - 1 - r, -20 = 5*g. Which is smaller: i or 1/2?
i
Suppose 0 = -5*h - 0*h - 25, -4*l = 5*h - 15. Suppose -5*p - 5*c - l = 0, 0 = 4*p + 3*c - 8 + 17. Is -7/3 <= p?
False
Let q = -11 - -14. Are q and 7/2 equal?
False
Let c = -43 - -313/7. Which is smaller: c or 2?
c
Suppose -3*x + 5*q - 3*q = 89, -4*x = q + 115. Which is bigger: x or -28?
-28
Let y(f) = -f**2 - 7*f + 6. Let i be y(-8). Suppose 0 = -0*p - 2*p - 6. Is p greater than i?
False
Let c = 10/53 + 539/795. Let t = -1/5 + c. Which is smaller: 0 or t?
0
Let a(u) = -u**3 + 3*u**2 - u. Let v be a(3). Which is bigger: -14/5 or v?
-14/5
Suppose 0*u = 4*u - 4. Which is bigger: 1/44 or u?
u
Let u = 227/1143 + 3/127. Is u less than -23?
False
Let v = -5 - -6. Let f be 2*v*(-1 - 0). Which is greater: -1 or f?
-1
Let y be (-1 + 2)/(-1) - -3. Suppose -4*x + y*f = -22, 15 = 4*x + f + 4*f. Is x at least as big as 5?
True
Let p = -226/3 - -75. Which is smaller: p or -4.4?
-4.4
Let l = -2 - -3.6. Let c = l + -0.6. Are -1 and c nonequal?
True
Suppose -r + 2*r + 1 = 0, -4*r = -5*k + 19. Let c be 18/((-6)/(-3)) + k. Which is greater: 11 or c?
c
Let j(t) = -t + 2. Let a be j(0). Suppose -2*i = a*i. Which is smaller: -2 or i?
-2
Let u = 0 - -2. Let s be -2 + u*(-5)/(-6). Is s >= 1/6?
False
Let k = 1/3 + 1/6. Let r(p) be the second derivative of p**4/6 - 2*p**3/3 + p**2 + p. Let d be r(2). Is k != d?
True
Let i(q) = 4*q**2 - 6*q - 6*q**3 - 3*q**2 + 7*q - 5 + 4. Let r be i(1). Which is greater: -6 or r?
r
Suppose 22*t = 19*t. Let x be 12*(-2)/6*-2. Suppose 0 = 4*l - 0*l - x. Is l greater than or equal to t?
True
Let l be (-2)/12 + (-50)/(-12). Suppose -l = 5*z - 19. Are z and 2 equal?
False
Let a be 763/13 + 4/1. Let k = a + -63. Is k > 1?
False
Let g = 9 - 19. Let v = 10.06 + g. Which is bigger: v or 0.1?
0.1
Let c = 9 - 8.1. Let k = c - -0.1. Let x be 8/5*(4 + (-15)/10). Which is smaller: x or k?
k
Suppose -4*s = s - 3*r + 12, -2*r + 8 = -4*s. Let k be 14/(-5) + 3 + s. Let m = 3 - 3.2. Is m at most k?
True
Let z(i) = i**2 - 3*i + 3. Let v be z(3). Suppose 20 = -5*o, v*l + 4 = -2*o - 7. Let x = -3 - l. Which is bigger: x or -3/4?
-3/4
Let t = -7 + 3. Let c = t + 4