196 - -195.6. Is f <= 0.39?
True
Suppose -4*a = -w - 2*w + 162, 3*a = 5*w - 281. Suppose w + 18 = 4*g + 4*y, -4*g - 5*y + 76 = 0. Let r = g - 14. Is 14/3 at least r?
False
Let w = 333/68 - 1127069/230180. Is 0 smaller than w?
True
Let n(g) = -11*g + 2. Suppose 0 = -8*i + 5*i - 3. Let k be n(i). Is k < -1?
False
Let l = -4.481 - -1.481. Let y = 11 - 7. Which is bigger: l or y?
y
Let o = 58/61 - 1364/793. Let x be ((-1)/2 - -1)*-2. Let j be 2*x*(-4)/(-8). Which is bigger: o or j?
o
Let f be ((-21)/9063)/7*-6. Is 1 greater than or equal to f?
True
Let r be 31/(-2)*(-4)/(-1). Let q be (2 - r/(-30))*2. Let b(w) = -2*w - 2. Let s be b(-1). Is s != q?
True
Let r be (-219)/9 + 88/(-132). Let j be -2 - (2 + (2 - -18)). Is r at least as big as j?
False
Suppose 9*n + 3000 = 2991. Is -12/5 less than or equal to n?
True
Let a = 2/9 - -4/9. Let t be (-2)/8 + (-1742)/952 + 3. Let y = t - 12/17. Are a and y nonequal?
True
Let c = 631/3 - 194. Let j = c - 17. Which is greater: j or -88?
j
Let r = 5.49 - 169.49. Is r not equal to 2/7?
True
Let r = 23 + -15. Let u = r - 7. Is u != -4/3?
True
Let t = 2/1795 - 1971/157960. Let i be 6/(-21) + (-281)/(-616). Let x = i - t. Are -1 and x non-equal?
True
Let n = 0.562 - -0.004. Let x = 5.546 - n. Let j = x - -0.02. Which is bigger: 0.1 or j?
j
Let h(a) = -a**2 - 3*a. Let y be h(-3). Let f be 152/(-144) - 40/(-180). Is y at most f?
False
Suppose 2*h + 12 = -5*r, -r - 11 = 4*r + h. Let q be (15/(-6))/((-1)/r). Let z be ((-15)/(-225)*20)/((-1)/3). Which is smaller: z or q?
q
Let u = 0.153 - -3.947. Let b = u - -75.9. Which is bigger: b or 0?
b
Suppose b - f + 33 = 0, -56 - 37 = 3*b + 3*f. Let z be 6/(-4)*b/6. Let v be z/(-52) - (-24)/(-351). Which is bigger: 0 or v?
0
Let n = -0.039 + -4.061. Let g = n - -1.1. Is 0 smaller than g?
False
Let v be 4/74 + 8850/555. Is v at most 249/17?
False
Suppose 8 = 3*l - 1. Suppose l*q + v = -q, 2*q + v = 0. Let o = 67.6 - 72.6. Is q equal to o?
False
Let g = 0.394 + -2.284. Let w = -0.11 + g. Which is smaller: 0.3 or w?
w
Let n be (8/(-20))/(4/(-5)). Let m = -0.5 - -0.26. Let i = m + 0.04. Is i at most as big as n?
True
Let v = 28 - 28.1. Which is greater: v or 28.1?
28.1
Let c be 18/(-20) - 7/(-14). Let l be (-3)/3 - 0/1. Does c = l?
False
Let f(b) = -b - 6. Suppose -5*j - 6*q + 2*q - 25 = 0, j + 2*q - 1 = 0. Let x be f(j). Suppose x*c - c = -14. Is c bigger than -7?
False
Let g be ((-5 - -3) + 2)/1. Suppose -v + 2*v = g. Suppose 3*s - 2*s - 1 = v. Which is smaller: 4/9 or s?
4/9
Let w = 93 + -95. Let k be 11/w + 4 + 0. Which is greater: -1 or k?
-1
Suppose 2*t = 10, 2*g - 2*t = -2*g + 190. Suppose 3*p + 2*p = b + 247, 0 = 6*p - b - 297. Is g < p?
False
Let q = 31.74 + -32. Let d = 12.74 - q. Let p = -12.96 + d. Which is smaller: p or 1?
p
Let m(h) = -10*h - 166. Let n be m(-17). Which is bigger: 68/13 or n?
68/13
Let j = 0 + -3. Let n be 105/9*(-32)/160. Which is greater: j or n?
n
Let b be 0/((-1)/(2 - 1)). Suppose -148 - 110 = -86*v. Is v equal to b?
False
Let i be -3 - 24/(4 + -10). Which is smaller: i or 10?
i
Let r = -77891/46935 + 42/745. Let p = -85 + 748/9. Let i = r - p. Is i greater than 1/3?
False
Let v = -903 - -904.7. Which is bigger: v or -24?
v
Suppose -3*r - 196 = 4*d, 0 = 3*d + 2*r + 53 + 95. Let z = d + 58. Let m = -0.2 - -0.1. Which is smaller: m or z?
m
Suppose -5*l - h = -8, -2 = -2*l - 3*h - 4. Suppose 2*o - 8 = -l*o. Let y = -54 - -56. Is o greater than y?
False
Let s = -148 + 130. Let y be s/(-24) - 35/4. Is y at least -39/5?
False
Let y = -3469/21 + 165. Is 0 less than y?
False
Suppose 0 = -10*k + 12*k - 2. Let d be (-5210)/7 + 2 - 2. Let n = d - -743. Which is greater: k or n?
k
Suppose 5*y - 5*t = 1660, -t - 1322 = -4*y - 3*t. Which is smaller: y or 1319/4?
1319/4
Suppose -4*q + 68 = -3*c, -4*c + 4*q = 61 + 23. Which is smaller: c or -19?
-19
Suppose 4*j - 16 = -5*o, 21 = j - 2*j + 5*o. Which is smaller: j or 33?
j
Let m = 6852 + -322080/47. Is m bigger than -1?
True
Suppose -2*z = -5*f + 116, z - 3*z = -4. Let q be (-1)/(-2)*f/(-42). Is 0 != q?
True
Let b(h) = 2*h**2 - 2*h + 8. Let t be b(9). Is 152 bigger than t?
False
Suppose -j - j - 12 = 0. Let m be j/10*(-2)/(-3). Let z = -719.6 - -720. Which is greater: z or m?
z
Let d be 11/(-8)*(-5 + 1). Let h = -2 + d. Suppose 8*j + 30 = 11*j - 5*k, -3*k = j + 4. Which is smaller: h or j?
h
Let q be ((-16)/(-12))/(12/9). Let w be 129/78 - q - 14/21. Which is smaller: w or 1?
w
Let k = 32001/16 + -2001. Is 0 smaller than k?
False
Let n = 172 - 63. Let d = n - 7519/69. Which is bigger: d or -1?
d
Suppose -27 - 108 = 5*p. Let b = 137/5 + p. Does 10 = b?
False
Let b = 2 - -6. Suppose 3*j = b + 4. Let r be ((-3)/j)/((-6)/72). Is r bigger than -1?
True
Let m = 0.471 - 42.671. Let h = 42 + m. Is h greater than -1/3?
True
Suppose 0*n = 2*n - 2, x = n - 5. Let z be (-3786)/1035*x/(-8). Let t = 2/69 + z. Which is greater: t or -1?
-1
Let m be (-1 + 2)*(-3 - -2). Suppose 5*v + 44 + 60 = 4*n, 23 = -v + 3*n. Let p be (-15)/v - (-23)/(-36). Is m less than p?
True
Suppose 0 = 4*k + 16 + 24. Let v = 7 + -3. Let r = k + v. Do 0 and r have different values?
True
Let d be (-220)/425 - 8/(-20). Which is bigger: d or -2?
d
Let i(x) = -x**3 - 4*x**2 - 4*x - 3. Let y be i(-3). Let j be (y - -3)*(-10)/135. Which is smaller: 1/2 or j?
j
Suppose 0*k - 315 = -5*k. Suppose 5*m = k - 48. Suppose v + 3*v + 12 = 5*o, -4 = -3*o + 4*v. Which is bigger: o or m?
o
Let u = -1679 + 1653. Is -36 bigger than u?
False
Let x(p) = -p**3 + 7*p**2 + p + 2. Let s be x(4). Let q be 12/(-16)*(-3)/s*-3. Is 1 smaller than q?
False
Let g = 6451/26 + -248. Let s = -4 + 3. Which is smaller: g or s?
s
Let y = 17 + -8. Let g be 7*(-7)/((-49)/(-6)). Let v be (g/(-21))/(y/(-21)). Which is bigger: v or -1?
v
Suppose 8*x - 396 = 2*x. Let j = x - 109. Which is greater: j or -42?
-42
Let b(j) = -j**2 - 35*j + 36. Let f be b(-36). Is 17/20 greater than or equal to f?
True
Let p = 21 + -15. Which is smaller: 27/5 or p?
27/5
Let t be (3/(-2 - -3))/1. Let f be 4/(t - -1) + 5. Let d be (6/4)/(f - 0). Which is greater: d or 1/11?
d
Let h = -373409/115 - -3247. Which is smaller: h or 1?
h
Let y = 15 - 20. Let b be 1/y + 45/(-25). Is b < -9/5?
True
Let z = -211 - -210. Which is greater: z or 2/735?
2/735
Suppose 4*g - 3*q = 41, -3*q - 22 + 3 = -2*g. Let y be g/(-13) - 1*-1. Suppose -24*c = 176 - 200. Which is smaller: y or c?
y
Let n(k) = 3*k**3 + 13*k**2 + 7*k - 15. Let z(q) = -4*q**3 - 14*q**2 - 7*q + 16. Let u(x) = 3*n(x) + 2*z(x). Let h be u(-10). Is h >= 16?
True
Let k = -27 - -59. Let i = k - 39. Is i > -0.1?
False
Let d(x) = -4*x + 21. Suppose -3*l + 15 = -3. Let m be d(l). Let p = -1 - 0. Are p and m unequal?
True
Let m(q) = q**3 + 7*q**2 - 36*q - 21. Let y be m(-15). Is y greater than or equal to -1282?
True
Let n = -422 - -9709/23. Is n greater than -1?
True
Let w = 16 - 114/7. Let j = -123 + -66. Let n be (-10)/35 + (-68)/j. Is w equal to n?
False
Suppose 0 = -4*k + 38*k - 1326. Which is greater: k or 45?
45
Let f be (-3968)/186 + (-4)/(-3). Let a be (-1)/(-3) - 116/6. Do f and a have different values?
True
Let a = 608 + -58. Is a less than 0?
False
Let o be 90/(-4)*(-176)/(-12). Let m be (2/o)/((-7)/21). Let i = m + -57/110. Which is smaller: 0 or i?
i
Let s(l) = -25*l - 175. Let t be s(-7). Which is smaller: 13 or t?
t
Let u be 6/6*3/9. Let x = -2 - -6. Let k = x - 7. Is k <= u?
True
Suppose -5*s = -3*b + 6, 0 = 4*b - 2*s - 2*s - 8. Let h be 2 - (-20)/(b - -2). Let x(u) = -2*u**2 + 13*u - 13. Let g be x(4). Is h less than g?
False
Let c be (-2 - 22/(-4))*6. Suppose -3*p + 76 - 85 = 5*d, 0 = 3*d + 2*p + 6. Which is smaller: d or c?
d
Let m(i) be the third derivative of -i**5/60 - i**4/6 - i**3/2 - 11*i**2. Let s be m(-6). Let o = s - -41. Is o greater than or equal to 26?
True
Let w be (-2 - 1)/((-3)/(-36)*4). Let z(r) = -r**2 - 7*r - 7. Let m be z(-5). Let x be (m*2)/((-3)/4). Which is bigger: x or w?
x
Suppose 0 = -5*h - 14 - 1. Let v(o) = o**3 - o**2 + o + 4. Let g be v(0). Suppose g*s + s = 0. Does s = h?
False
Let n = 1264 + -1268. Is -3/4 equal to n?
False
Let g be 7*(45/(-35) - -2). Suppose s - g*s = 0. Which is smaller: s or -24?
-24
Let c = -25.2 - -157.2. Let j = c - 124. Which is smaller: j or -1?
-1
Let z = 2.3 - 2.3. Let y be (303/(-153))/(337/(-18)).