be 18/(-10) + 2/j. Are 0 and f nonequal?
True
Let j(u) = -7*u**3 + u**2. Let d be j(-1). Is 2 smaller than d?
True
Let p = -21.2 + 21. Is 5 <= p?
False
Let p be ((-4)/(-10))/((-1)/5). Let k be -3*(p/1)/(-2). Which is bigger: -2 or k?
-2
Let j = -36/43 + 617/172. Which is smaller: -1 or j?
-1
Let j = -21 - -13. Let f = -9 - j. Is f less than -4/3?
False
Let f(m) = -m**3 + 4*m**2 + 4*m - 6. Let s be f(5). Is s <= -13?
False
Let u(h) = h + 9. Let y be u(-7). Suppose 1 = a, o + o = 4*a + 2. Are y and o non-equal?
True
Let q = -0.056 + 0.156. Which is greater: 3/19 or q?
3/19
Suppose 0 = 9*j - 7*j. Suppose 2*r - 6 = 0, 5*h - 4 = 2*r - j*r. Suppose 0 = -2*o - h*o. Which is smaller: o or -2/29?
-2/29
Let d(m) = -m - 6. Let b be d(-7). Which is bigger: 2/197 or b?
b
Suppose -z - 4*l = 9 - 3, 2*l - 2 = 2*z. Suppose -4*g + 9*g = 4*y - 4, -y = -g. Are y and z equal?
False
Let h(n) = 2*n - 18. Let x be h(9). Is -1 greater than x?
False
Let x(d) = d**2 - 8*d - 11. Suppose -4*i = 4*g - 52, 5*g - 2*i - 24 = 2*g. Let l be x(g). Which is bigger: l or 8?
l
Let c = 100/159 - -2/53. Which is smaller: 9/7 or c?
c
Suppose -4*i + 5*t = 27, -3*t + 6 = -3*i - 12. Is -9/4 at most i?
False
Let s = -17 - 18. Let x be (-1 + s)/(1/(-2)). Let y be ((-2)/(-6))/(8/x). Which is bigger: -0.1 or y?
y
Let o = -190 - -3219/17. Do o and 0 have the same value?
False
Let y(q) = -2*q**2 - 11*q + 7. Let j be y(-6). Which is smaller: 2 or j?
j
Let q be -3 - -2*1 - (-175)/28. Is 4 greater than or equal to q?
False
Suppose 5*n - 2*a + 31 = 0, -5*n = 2*a - 10 + 29. Let m be -9 - -3 - -2 - n. Is m >= 1?
True
Let u = -80 - -98. Which is greater: u or 2/5?
u
Let z = 8 - 13. Let d = z + 5.4. Let x = 0 - d. Which is bigger: x or 2/5?
2/5
Let n = -21 - -30. Let r = n - 8. Which is greater: r or 0?
r
Let v = -22.68 - -1.88. Let j = v + 18. Let z = j - -3. Is z at least -1?
True
Suppose -3*h + 6 = -3. Let o be (-9)/h - 0/(-4). Which is smaller: -6 or o?
-6
Let b = -0.7 + 0.61. Let m = b - -0.13. Is m > -1/2?
True
Suppose -4*j + j + 3 = 0. Let t = 2 - j. Let b = t + 1. Is 2/3 bigger than b?
False
Let i = -10 - -13. Suppose 7 = 4*q - i*q. Which is smaller: 8 or q?
q
Let i(k) = k**2 + 7*k - 3. Let v be i(-6). Suppose 5*r = 3*r - 2*l - 20, 0 = -2*r - 5*l - 26. Which is bigger: v or r?
r
Let s be ((-9)/(-3))/3 + -5. Let y = -5 - s. Is y less than 1?
True
Let d = 63.8 + -59. Let l = -0.2 - d. Let m = 5 + l. Is 2 greater than m?
True
Let v be 10/(-3)*12/10. Suppose -6 = 3*f + 3*b, 2*b + 3 - 5 = 0. Let r = f - v. Which is smaller: r or 0?
0
Suppose -2 = -5*l + 3. Let n = 9.9 - 10. Which is smaller: n or l?
n
Let k = 8.3 + -1.3. Let r = k + -8. Let d = -0.05 + 2.05. Which is smaller: d or r?
r
Let u = 8 + -11. Let z be -1*46/12 - u. Is z <= 0?
True
Let a(w) be the first derivative of -w**3/3 + 4*w**2 + 6*w + 2. Let h be a(9). Let s = -1 - h. Is s < 2?
False
Let o = -4278 + 2935. Let c = 84607/63 + o. Which is bigger: c or 0?
0
Let m(q) = -q**2 - q + 8. Suppose 4*u - 2*s = -6, 0 = -4*u - 7*s + 4*s + 9. Let z be m(u). Suppose 3*o = z*o. Which is smaller: o or -2?
-2
Let g = -82826/7 + 11879. Let t = g - 47. Let l = -0.4 - -2.4. Is l < t?
False
Suppose -f - 12 = -4*p, -2*f + 29 = -4*f + 3*p. Is f >= -16?
True
Let h = -13 - -18. Let m = 5.4 - h. Which is smaller: m or 0.1?
0.1
Let n = 8.9 + -0.9. Let q = n - 6. Is -2/7 greater than or equal to q?
False
Let p(l) = l + 4. Let a be p(-8). Let c be 0*(-4)/a + 2. Which is greater: 4 or c?
4
Let v be 4*(-30)/(-16)*-2. Let b be (-18)/v*20/(-6). Let f be (b - 1) + (2 - 0). Which is bigger: -2 or f?
-2
Let v = 107 - 107. Is v < -1?
False
Let o = -7 - -8. Are 0.1 and o non-equal?
True
Let s be 379/(-2) - (-12)/(-8). Let u = 1531/8 + s. Is u <= 0?
False
Let c be 1/(-3 - 232/(-78)). Which is bigger: c or -36?
-36
Let v = -16 + 65/4. Is 0.4 less than or equal to v?
False
Let r = -4 - -4. Let s = r + 0.01. Let u = s + -2.01. Which is bigger: u or -1?
-1
Suppose -4*n - u = 115, -3*n - 100 = n - 4*u. Is -28 < n?
False
Let d(b) = b**2 + 3*b + 1. Let q be d(0). Let o(t) = 4*t**2. Let w be o(1). Suppose 3*y = w*y. Is q at least y?
True
Let x = 25.3 - 25. Is x greater than or equal to -1?
True
Let t be 279/14 - (-2)/(-4). Let l = -19 + t. Is l <= 1?
True
Let c be 72/30 - (-6)/(-15). Is c != 11?
True
Suppose -6*z + 15 = -3*z. Suppose 0 = i - z*i + 8. Suppose -i*d + 4*x = -x - 18, 0 = d - x - 3. Is 0 greater than or equal to d?
True
Let t = -3 + 5. Suppose 0*g - s = -2*g - t, -4*g - 5*s = -10. Suppose g = -4*l - 1 - 3. Are l and 2/19 unequal?
True
Suppose -3*f + 19 = 2*h, h + 11 = 3*f + 5*h. Let y = f - -4. Let l = y - 40/3. Do l and -8 have the same value?
False
Let a(b) be the third derivative of b**6/20 - b**4/24 - 3*b**2. Let u be a(1). Is 4 greater than or equal to u?
False
Let i = 4/339 + -25784/1695. Is i at most as big as -14?
True
Let w(h) = 5*h**3 + 29*h**2 + 1. Let t(z) = -z**3 - 7*z**2. Let x(l) = 9*t(l) + 2*w(l). Let u be x(5). Suppose 2*b - 3*b = u. Which is bigger: b or -1?
-1
Let y be 72/(-105) - 4/(-14). Let g = -4.23 - -4.2. Which is smaller: g or y?
y
Suppose 0 = p - b + 4, 3*p + b - 2*b = -8. Let k = 56/13 + -319/65. Which is smaller: p or k?
p
Let k = -18.6 + 17.9. Let r = -1 - -2. Is k at most as big as r?
True
Let s = -0.27 + 0.14. Let x = -0.43 - s. Let l = 2 - 3. Do l and x have different values?
True
Let q = 24 - 70/3. Are q and 2 nonequal?
True
Let q = 0.81 - -4.19. Is -0.2 at most as big as q?
True
Let u(t) = 3*t**3 + 8*t**2 - 5*t - 6. Let k be u(-6). Let i = k + 4366/13. Does i = -1?
False
Let u = -199/20 - -39/4. Let p = -1.3 + 0.3. Is u smaller than p?
False
Let x be 3 - (0 - (1 + -3)). Let p = -4 + x. Let n be (8/46)/(-1 - p). Is n at least as big as 0?
True
Let j = 1.2 + -1.06. Let a = 0.07 - j. Do -0.1 and a have different values?
True
Let u(f) = f**2 - 8*f + 5. Let a be u(7). Let d be (-2 - -4) + 1*a. Let g = -642/5 + 128. Which is smaller: g or d?
g
Let g be (-2)/(-6) + 116/12. Let p be (-2)/5 - 6/g. Let t be p + 21/12 + -2. Which is bigger: -2 or t?
t
Let u(p) = p**3 + 2*p**2 - 8*p - 4. Let l be u(-5). Let v = -233/6 - l. Let s be (-2)/8 - 1/(-4). Is v greater than or equal to s?
True
Let f be 230936/(-18648) + 4/(-18). Let y = f - 152/37. Let d = 17 + y. Which is bigger: -1 or d?
d
Let s be (-1368)/(-280)*(2 - (-12)/9). Which is greater: 15 or s?
s
Let u = -641 - -4465/7. Is u greater than or equal to -3?
False
Suppose -3*d = 6 - 9. Is d at most as big as 1/33?
False
Let u be (-2)/(-3) - ((-60)/(-18) - 3). Which is smaller: u or 47?
u
Let r be 5/20 + (-22)/24. Let y = -0.06 + 0.03. Which is bigger: r or y?
y
Let c = -51 - -37. Which is smaller: -12 or c?
c
Suppose -10 = -2*o, -5*s = 5*o + 5 - 45. Suppose s*j = 4*j. Let l be (-4)/(-22)*3/1. Is l greater than j?
True
Suppose -2*c + 15 = -3*l - 4*c, 2*c = 0. Suppose 0*s = s + 7. Let w = l - s. Is 1 > w?
False
Let p(u) = -u. Let h be p(-2). Let b be h/(-13)*3/3. Which is smaller: -1 or b?
-1
Let a = -1.92 - 0.08. Which is greater: -3 or a?
a
Let a(r) = 2*r + 1. Let m be a(-2). Let i be m/6*(0 - 0). Suppose 2*x + y - 1 = 0, -6 = -x + 7*y - 2*y. Which is smaller: i or x?
i
Let t = -18/7 - -93/28. Is t < 0?
False
Suppose -l - 5*f = 56, -4*l - 5*f + 3*f = 296. Is -78 at least as big as l?
False
Let l(t) = -5*t + 4. Let v be l(3). Let h be (-2)/v*(-3 - -2). Which is bigger: h or 1?
1
Let o = 0.42 - 4.22. Let h = 4 + o. Which is smaller: h or 0.1?
0.1
Let u(o) = o**3 - 13*o**2 - 5*o - 19. Let h be u(13). Let y be (-8)/28 - 556/h. Which is smaller: 5 or y?
5
Suppose 5*q - 1 = -21. Let f be q/(-16) - 14/(-8). Let b = f + -2. Which is bigger: 1/3 or b?
1/3
Let q(h) = 5*h**3 - 2*h**2 + 2*h - 1. Let u be q(1). Suppose -u*x - 8 = -0*x. Let i be x/(-7) + (-36)/28. Is i not equal to 1/4?
True
Let d = 3 - 4. Let r = 0 + d. Let y = -0.33 + 0.03. Which is smaller: r or y?
r
Let d(f) = 2*f**2 + 1 - 3*f + 9*f - f**2 - f**3. Let m be d(3). Let x = -474 + 9008/19. Are m and x unequal?
True
Let l be (-4 + 3 - -1)*1. Is -8 at most l?
True
Let x be (-17)/(-51) - (-76)/(-246). Is 1 smaller than x?
False
Suppose -5*c = -8 + 23. Does c = -4?
False
Let d be (-138)/(-7) + 4/14. Let z be d/11 + 1*-2. Suppose 2*q + q = 0. Are q and z unequal?
True
Let u = 0.2 - 1.2. Let k = u - 0. Which is greater: k or -3?
k
Let a(k) = k**