 (-1)/1 - b/x. Do 1/2 and j have the same value?
False
Let i(v) = -v**2 - 12*v + 13. Let j = -62 + 49. Let n be i(j). Let p be (-5)/((-25)/6) + -2. Is p at least n?
False
Let f be (-2 + 9/3)*7/(-21). Let n = 2114 + -16937/8. Is n at least f?
False
Let d(w) = w**2 - 14*w + 55. Let v be d(7). Which is greater: v or 39/7?
v
Let p be ((-384)/(-20))/(1/(20/3)). Is p greater than 128?
False
Let x = 31936/34515 - 261/590. Let m = x + 2/117. Is m bigger than -6/7?
True
Suppose -3*q - q = 2*c - 20, 5*c - 3*q + 2 = 0. Suppose c*v + 3*j = 13, v = 3*j - 2 + 4. Suppose -v*a = -2*a. Is a smaller than 1/7?
True
Let y = -1.05 + 1. Let x = -0.05 - 0.01. Let p = x - -0.16. Are p and y equal?
False
Suppose -60*t + 70*t + 2700 = 0. Is -270 <= t?
True
Suppose 0 = -3*k - 7 - 2. Let h be 0*(-4)/(-24)*k. Which is smaller: h or -2/7?
-2/7
Let z = -0.14635 - -100.13635. Let p = z + -100. Which is greater: -0.2 or p?
p
Let y be -6*22/(-33) + (-32 - 1). Is -25 <= y?
False
Suppose -2*y - 4*w + 1058 = 0, 0 = y + 3*y - w - 2089. Suppose -8*p - y = -11. Is p bigger than -63?
False
Let j = 58.8 - 65.5. Which is smaller: -1 or j?
j
Let g = -15819 + 2309451/146. Let x = g + 2/219. Let c = 18 - 17. Which is smaller: x or c?
x
Let d = 33 + 276. Is 308 bigger than d?
False
Let n = -4.7 - -4.681. Let o = -0.019 - n. Is o < -3?
False
Let w = 410 - 409.9833. Is w bigger than -1?
True
Let b(t) = t**2 + 6*t + 4. Let z be b(-5). Let f be 3 + (-3 - -2) + z. Let v be (-3 - (-8)/2) + -1. Is v < f?
True
Let a be 4/7 + (-11)/((-13090)/(-645)). Which is greater: 0 or a?
a
Let o = 43.8 + -47.8. Is o less than or equal to -183?
False
Let r be 0 + -1 - (-1155)/1199. Which is smaller: r or -1?
-1
Let q = -2952 - -8740/3. Let m be (234/(-30))/(2/(-10)). Let u = m + q. Is 0 less than u?
True
Let j(v) = -v**3 + 39*v**2 - 63*v - 73. Let i be j(37). Which is smaller: i or 335?
i
Suppose -3*v + 85 - 13 = 0. Let o = v - 19. Suppose -1 = s, 4*s - 1 = o*g + 10. Is -3 less than g?
False
Let v = 23 + -23. Let a = -28 - -16. Let y = -11.94 - a. Is y > v?
True
Suppose -2*i + 91 = -117. Which is greater: 103 or i?
i
Let g be 8/(-28) - (-86)/7. Let z be (408/30 - 6/10)/1. Which is greater: z or g?
z
Let g be 2/(-1 - 14/(-13)). Suppose 4*j = 3*i + g, -4*j + 9 = -2*i - 3*j. Is -1 != i?
True
Let f = 111 + -96. Let g(v) = 3*v - 3. Let d be g(-4). Let p = f + d. Which is bigger: -7 or p?
p
Suppose -5 = -5*g + 5. Let d be (-2)/4*g*2. Which is smaller: d or -1?
d
Let j be 2 - (2 - (-96)/(-56))/(2/14). Let q be 3*((-17)/(-8) + -2). Which is smaller: j or q?
j
Suppose -1175 = 5*h - 970. Which is bigger: -40 or h?
-40
Let a = 1212722845/786546 + -2/393273. Let b = -37655/24 + a. Let p = b + 27. Is -1 at least as big as p?
False
Let l = -0.37 + 1.37. Let j = -2.8 + 2. Let p = l + j. Which is smaller: p or -2/5?
-2/5
Suppose 10*n + 455 = 15*n - 5*w, 4*w = -20. Which is greater: n or 87?
87
Let l(t) = -4*t**2 + 6*t + 7. Let f be l(5). Let a be f/(-27)*(-4)/(-14). Let x = -0.1 + 1.1. Is x <= a?
False
Let r(v) = v**3 + 3*v - 3. Let y(m) = m**3 - m**2 + 3*m - 3. Let p(a) = -2*r(a) + 3*y(a). Let o be p(4). Let i be 5/(-3)*65/o. Which is greater: -5 or i?
i
Let w = -7.1 + -62.9. Let i = 49 + w. Let b = -22 - i. Is b equal to 0?
False
Let u(d) = -12*d + 8. Let k be u(1). Let v be 411/(-36) - (k/(-24))/(-1). Which is smaller: -11 or v?
v
Let f be (2/(-14))/((-2268)/(-332)). Let j be ((-2)/72*-2)/(27/(-30)). Let o = f - j. Which is greater: o or -1?
o
Let n = 0.063 + -0.063. Let o = 6.1 + -6. Let b = 0.4 - o. Is b < n?
False
Suppose 0 = 3*s - 3*d - 42, 4*s = 3*s + 2*d + 18. Suppose n - 22 = -4*x - n, s = 2*n. Which is greater: x or 2?
x
Let s be (-6)/8*(3 + 17). Let t be (s/30)/(1/(-2)). Is 3/10 greater than t?
False
Let l = -447 + 444. Is l greater than or equal to -94?
True
Let k be 44/20*-2*105/168. Let j(t) = -t**3 + 2*t**2 + t + 3. Let w be j(3). Is k less than or equal to w?
False
Suppose 20 + 56 = -4*f. Let p be (354/12)/(2/(-4)). Let n be (p/f + -3)*-1. Which is smaller: -1 or n?
-1
Let g = 735 + -731. Let o = 7.83 - -0.17. Are o and g unequal?
True
Let p be (2 - -6)/2 + 56298/(-14070). Is p at least -1?
True
Let j(w) = w**3 + 9*w**2 + 5*w - 18. Let a be j(-8). Let c be (-3 - 24/(-9))*(a + -3). Which is smaller: -8 or c?
-8
Let r = 191 + -309. Which is smaller: -119 or r?
-119
Let q be 4/2 - (0 - -8). Suppose -250*j - 5*f = -253*j + 7, 0 = -4*j + 4*f + 4. Are q and j equal?
False
Suppose 0 = -4*u - l + 113, 0 = -2*u + 3*l + 18 + 49. Let k = 17 - u. Which is smaller: k or -11?
k
Let s be ((-1034)/206 - -5)/16. Is s smaller than -1?
False
Suppose 5*v - 5 = 5*c, -4*c = -v - 8*c + 1. Let r be 9616/(-105) + (-6)/21. Let m = r - -92. Which is greater: v or m?
v
Let t be (0/(-1) - -1)*-1. Let v(x) = 8*x + 2. Let l be v(7). Let o = -59 + l. Are o and t unequal?
False
Let k = 427 - 456. Are -212/7 and k nonequal?
True
Let f = 6408/5 - 1282. Let l = -0.04 + -1.96. Which is greater: f or l?
f
Let t = -3.15 + 2.15. Is -0.9 < t?
False
Let q(p) = p**2. Let w be q(-2). Let i(t) = t**3 + 6*t**2 + 4. Let f(b) = -b**2 - 2*b + 2. Let z be f(2). Let g be i(z). Is w less than g?
False
Suppose 6 = -d + 4*o, -2*o = -4*d + 4 - 0. Suppose -10 - 2 = -d*g. Let h be (6/126)/(1/g). Which is greater: 0 or h?
h
Let q = -95 - -93. Is q at most as big as -57?
False
Let w be 1/(-3) + 28/3. Suppose -w*c + 43 = 331. Let f = -31 - c. Which is bigger: -1/24 or f?
f
Suppose 5*j - 3*j - 2 = 0. Suppose -j - 49 = -2*h - 2*n, -h - 4*n + 22 = 0. Let u = -25 + h. Are 6/11 and u equal?
False
Let o(f) = -f**2 - f + 1. Let r be o(3). Let j = -21 - r. Let v = -433/862 + 1/431. Is v at least j?
True
Let z(y) = -y**2 + 11*y + 9. Let t be z(12). Let g be 1 + 2/(t + 2). Let r be (-11)/(-22)*(g + 3). Which is smaller: r or -3/10?
-3/10
Let s be (2 - 1)/(17/4 + -4). Let b be 1/2 + (-10)/s*1. Which is bigger: -4 or b?
b
Let a(o) be the second derivative of o**5/20 + o**4/3 + o**3/6 + 5*o**2/2 + o. Let i be a(-4). Let v = 3326/25 - 133. Which is smaller: i or v?
v
Suppose 0 = -0*n - 3*n + 15. Suppose v = n*v - 12. Suppose -21 = v*m - 6*m. Is m != 7?
False
Let a(n) be the first derivative of n**2/2 - 11*n + 1. Let g be a(-12). Is -24 greater than or equal to g?
False
Suppose -s + n = 1, -2*s = -2*n - 2*n - 4. Let t be (-2)/s*(-4 - (-45)/10). Is t >= 6?
False
Suppose 0 = -18*l + 25*l + 1799. Does -258 = l?
False
Suppose 0*z - l + 8 = 2*z, 5*z = -3*l + 20. Suppose 5*n + z = 19. Let i be (3 + 42/(-15))*n. Which is bigger: 0 or i?
i
Let h = -1775 - -1777. Which is smaller: -3 or h?
-3
Let o = -12.3 - -12.4. Let i = 9 - 9.7. Let c = -0.2 - i. Which is bigger: c or o?
c
Let g(j) = -j**2 + 8*j + 10. Let m be g(7). Suppose -m + 2 = 3*h. Let y(d) = -4*d + 36. Let u be y(10). Which is smaller: h or u?
h
Let v = 3.04 + -7.26. Let n = v - -0.42. Let x = -4 - n. Is x less than or equal to 0.3?
True
Suppose z - 6 = 2*c, -4*c - 7*z = -11*z + 16. Which is greater: -30/11 or c?
c
Let m(j) = j - 3. Let h(r) = r**2 + 12*r - 28. Let n be h(-14). Let c be m(n). Are 2/29 and c equal?
False
Let h(r) = r**3 + 12*r**2 - r - 11. Let m be h(-12). Are -1/2 and m equal?
False
Let m be (3288/24)/(-2 + 0 - -1). Let k = m - -134. Which is smaller: k or 2?
k
Let l be (10 - 270/24)/(-5). Which is greater: -619 or l?
l
Suppose 0 = f - 2. Let b(o) = 3*o**2 + 5*o + 3 - 2 - 5*o**f + 3*o**2. Let v be b(-5). Which is smaller: 4 or v?
v
Let g(u) be the second derivative of 3*u**3/2 + 5*u**2/2 + 4*u. Let w(j) = 8*j + 5. Let t(q) = -6*g(q) + 7*w(q). Let n be t(-6). Is n >= -7?
True
Let y = 53 - 53. Let f = 0.76 - 0.26. Which is bigger: y or f?
f
Let c(s) = 2*s + 16. Let l be c(-6). Suppose l*g - 5 = -65. Is -15 at least as big as g?
True
Let f = 11 + -8. Suppose 0 = -4*u + u + f*r + 9, -3*u = -5*r - 5. Let h = u - 14. Is h < -9?
False
Let l be 22/(-10) - 10/(-50). Let q be (l/6)/((-35)/30). Which is bigger: q or 2/39?
q
Suppose 0 = -i - 4*s - 0*s + 24, -5*i + 5*s = -20. Let l be (-2)/7 - i/(-77). Are 0 and l equal?
False
Let q = 1.49 - 1.3. Let f = 1.78 + -1.88. Do f and q have different values?
True
Suppose -3*a - 13 = 3*h - 70, -5*h = 2*a - 41. Let m = 9 - a. Is m >= -9?
True
Let f be 4 + -11 - (-64719)/9243. Which is greater: 0 or f?
f
Suppose -19 = u + 4*i, 5 = -i - 0. Let h be (-23)/(-6) - (-2)/12. Let n be 14/(-