et h be (-14)/168 - 2/(-312)*-347. Is h at least -0.05?
False
Let b be (0 + 2)/(((-220)/(-15))/(-11)). Is b > 4/5?
False
Suppose -3*r - 7 = -22. Suppose 0 = -0*x - r*x + 60. Let q be 6/(-4)*x/(-9). Which is smaller: 0.1 or q?
0.1
Let w = 75 - 72. Suppose 5*f + 19 = -k, -w*f = -2*k + 9 + 5. Are -1 and k nonequal?
True
Suppose -i - 3*i - 124 = 0. Let j = -1565 - -1535. Are j and i unequal?
True
Suppose 4*v = -k - 1837, v = 3*k - 8*k - 483. Is -458 < v?
False
Let s be (-5)/(-1) - (10/4 - -2). Which is greater: -56 or s?
s
Let z be (-420)/(-52)*((-4)/12 - -1). Which is smaller: 4 or z?
4
Let v = 114 - 81. Let w = v + -34. Let i = 4 - 15/4. Is i bigger than w?
True
Let v be (-5 + -6)/(3/(-30)). Is 111 at most v?
False
Let i = -1542.4 - -1542. Is -165/8 at least i?
False
Suppose u = 3*s - 74, -3*u + s = 3*s + 167. Let r = 39 + u. Which is bigger: -1 or r?
-1
Suppose 0 = 4*h - 0*h - 4. Suppose 17 = -4*k + h. Let l be 2*((-1)/3)/((-2)/(-15)). Is l != k?
True
Suppose -g = 3*g - 4. Let u be 3 + 4/((-1)/(-1) - -1). Let h be 22 + (3 - g - u). Are 20 and h non-equal?
True
Let k(t) = -4*t - 9. Let w(d) = -d + 1. Let m be w(-2). Let s be k(m). Is s >= -21?
True
Let g be ((-7)/(-28)*244)/(1/2). Let j = 63 - g. Is 1 bigger than j?
True
Suppose -22*d - 331 = 285. Suppose 5*h + 2*q = -64 - 70, 3*h + 72 = -4*q. Is h <= d?
True
Let h be ((-3 - -5)/(11 + -12))/(-11). Let b = 0.28 + 0.02. Let g = -0.7 - b. Which is smaller: g or h?
g
Let m = 2/725 + -296/2175. Are 1 and m equal?
False
Let n = 0.198 - -2.802. Let z(b) = -b**3 + 4*b**2 - 3*b. Let t be z(3). Suppose t*d = -2*d + 4. Is d at most n?
True
Let n be 4/(-40)*2 - (-164)/20. Let g(c) = -c**2 - 4*c + 1. Let f be g(-3). Do n and f have different values?
True
Let n(a) = 70*a. Let u be n(1). Let o(q) = -7*q + 22. Let w be o(-7). Is u at least w?
False
Suppose 0 = -4*z - 2*g - 38, -g - 4*g = -5*z - 55. Let b be 5*1 - (14 - 11). Suppose 0 = -4*t - b*t - 54. Which is smaller: z or t?
z
Let b be 16/(-16) - (1 + -3). Let j be 4 - (-1 - (-147)/29). Which is smaller: j or b?
j
Suppose 3*o + 172 = -4*w, w - 5*o = -0*o - 66. Let s = -56 - w. Which is greater: s or -3?
-3
Let c = 51/2 - 77/3. Let y = 5.7 - 6. Let d = 0.2 + y. Which is smaller: c or d?
c
Let y(s) = s**3 - 5*s**2 - 9*s + 4. Let a be y(6). Let i be (-15)/77 + (-4)/a. Let m = 8 + -10. Is m not equal to i?
True
Let x = -5255102/6735 + 11704/15. Which is bigger: x or 0?
0
Let i = 1317 - 1257.9. Let d = 62 - i. Let q = d + -2.8. Is 4/5 smaller than q?
False
Let y be 3/(-6) + (-18)/(-4). Suppose -3*x + 9 = -6*x. Let u = y + x. Is -1/8 bigger than u?
False
Let j = -17 + 13. Let g be j/(-14) - (-860)/(-2765). Which is smaller: g or 0?
g
Suppose 2*o + 330 = -3*o. Let w be (-4)/22 + 175/o - -3. Is w equal to 1?
False
Suppose -4*n + 41 = v + 4*v, -4*n + 11 = -v. Suppose -q - q = n*z - 10, 0 = 2*q - z + 5. Let a be (-10)/(-25) - (0 + 2 + -2). Is q >= a?
False
Suppose -92*r = -93*r. Which is smaller: -1/169 or r?
-1/169
Suppose -3*k - 2*u = 1718, 3226 - 362 = -5*k - 4*u. Let y be (2/(-8))/((-33)/k). Which is smaller: y or -5?
-5
Let v = -0.21 + 0.14. Let i = -0.77 - v. Let c = -0.6 - i. Does c = -3?
False
Let y = -13 + 5. Let b = y + 11. Suppose 4*a = -2*o - 40, -11 + 36 = -b*a - 4*o. Is -12 less than a?
True
Suppose 0 = i + r - 145, 378 - 82 = 2*i - r. Which is smaller: i or 148?
i
Suppose -b = -5*w - 7, -4*b = -0*w + 5*w - 3. Is b < 11/5?
True
Let z = -0.99 + -6.01. Let x = -30.07 + 30. Is x > z?
True
Let t = -33 + 39. Suppose 2*v + 2 = -0*v. Is t at most v?
False
Let b = -1.3079 + 1.393. Do -2 and b have the same value?
False
Let s(j) = -j**2 - 14*j - 23. Let r be s(-12). Let t be (-4 + 8)*r + -1. Let w be t/1*13/39. Is w <= 30/13?
True
Let r = 16 - 10. Suppose -55*x + 90 = -37*x. Which is smaller: x or r?
x
Let m = 22 - 31. Let l = 12 + m. Suppose -3*g = -3*b, -l + 7 = 4*g - 5*b. Which is smaller: 1 or g?
g
Let t = -6 + 11. Let r = 22.0661 + 0.0339. Let k = -22 + r. Which is bigger: t or k?
t
Suppose 2*d = y - 4*y + 3, -12 = -3*d + 3*y. Suppose -5*k + 6*o - d*o - 50 = 0, o = 0. Which is greater: -14 or k?
k
Let s = -14 - -36. Let u = 383.9 - 362. Let k = s - u. Is 4 greater than k?
True
Let t be (-66)/8 - (-10)/40. Let c = -4 + t. Is -13 bigger than c?
False
Suppose -8*b = -3*b + 200. Let f be 16/b + -1*257/(-5). Does f = 51?
True
Let i = -0.1086 + -11.6614. Let p = 0.23 - i. Which is smaller: p or 0.1?
0.1
Let p be (-296)/24 - 1/(-3). Let r = -32 - p. Let j be (8 - -6)*6/r. Is -4 less than or equal to j?
False
Let g be 0 + (1/(-3))/1. Suppose -17*o + 8*c - 164 = -15*o, -5*o = -4*c + 362. Do g and o have different values?
True
Suppose -4*n + 1549 = 5*l, 2*n + 2 = -6. Is 313 >= l?
True
Let f = 6.4 - -19.6. Let c = -5.9 + 5.8. Is c smaller than f?
True
Let o(a) = -7*a + 43. Let y be o(5). Let g(i) = -2*i - 5 + 7*i**2 + 4 - 2*i + 3*i. Let z be g(-1). Are z and y nonequal?
True
Let f be 1/2 - -1 - 13/26. Which is greater: 4 or f?
4
Suppose 2*z - 4*f = -62, f = 4*z - 2*f + 134. Let t be 7/(z/(-15)) + -1. Which is greater: t or 1?
t
Let o = 78.5 + 3.5. Which is smaller: o or 0.2?
0.2
Let n be 2/(-5) + 8/20. Let a = -565/8 - -71. Are n and a equal?
False
Let u be 6/(-33) - (-1253)/6468. Is u greater than -1?
True
Let b be -2 - -2 - 14/(-35). Which is bigger: b or 222?
222
Let c(z) = 16*z - 12. Let w be c(-1). Which is bigger: w or -30?
w
Suppose -5*t + 4*z = -7812, -2*z - 16 = -10. Which is greater: 1559 or t?
t
Suppose 3*c + 3*b - 8 = 13, 0 = -2*c + 2*b + 6. Suppose -c*z = 3*i, 4*i + 0*i + 5 = -5*z. Is i < -17/3?
False
Let r be (-7 + 10)/((-2)/6). Let l be ((-57)/r)/(3/(-9)). Let p = l - -77/4. Is 1 equal to p?
False
Suppose 2127 = 10*t + 697. Is t >= 142?
True
Let i = -388 - -369. Which is smaller: i or -32?
-32
Let h = -49803.31 - -49557. Let l = 245 + h. Let d = l - -1.3. Are 3 and d unequal?
True
Let u = 117040796696/4485 + -26096053. Let t = 2/345 - u. Let b be (-7 - -1)/(-3) + -2. Which is greater: b or t?
t
Let g = -122.37 - -121. Let n = g + 1.46. Is n at least -1?
True
Suppose 510 = -f + 43. Which is bigger: f or 0?
0
Let c = -20.996 - 0.004. Let w = c - -10. Let z = w + 10.9. Is z at least as big as 10?
False
Let i(u) = u. Let t(v) = 2*v + 7. Let l(y) = 4*i(y) + t(y). Let a be l(-4). Is -19 at least as big as a?
False
Let t(b) = -b - 6. Let n be t(-5). Let s be -3 - n - 41308/(-100). Let v = 411 - s. Which is smaller: 1 or v?
v
Let v = -309 - -1221/4. Suppose 0 = t - 3. Suppose 0 = -2*m + t*m - 2*r + 12, -r - 16 = 5*m. Is m > v?
False
Let i = 171 + 316. Let o = 81562067/167354 - -17/15214. Let m = o - i. Do m and 1 have different values?
True
Let q = 344 + -321. Which is smaller: q or 1/7?
1/7
Let f be (1/(-3))/((-10)/30). Is f at most 3/19?
False
Let u(t) = -7*t + 2. Let q be u(-4). Let d = q - 30. Suppose -3*p = -6*p. Is p less than d?
False
Let d(v) = v - 59. Let x be d(-17). Which is smaller: x or -77?
-77
Let k(g) = g**2 + 5*g - 1. Let u be k(-6). Suppose 0*w = 3*w - 18. Suppose w*q - 27 = 9. Which is greater: q or u?
q
Let f = -129 + 1291/10. Let m(u) = -u**2 + u + 1. Let l = 9 + -10. Let o be m(l). Is o less than or equal to f?
True
Suppose -w + 4*i = w - 12, -w + 5*i = 3. Let p be (-4)/w + 2/(-3). Which is greater: -18/13 or p?
p
Let o = 18 - -126. Suppose 87 = -11*n - o. Is 0.2 != n?
True
Let h = -80 + 82. Suppose h*y + 16 = -2*y + 2*q, 19 = -3*y + 5*q. Let n(i) = -i**3 - 3*i**2 + 6*i + 6. Let x be n(-4). Which is smaller: x or y?
y
Let p be (-2909)/(-15) - (8 - 5)/3. Let t be -192 - ((-1)/(-1))/1. Let j = t + p. Which is bigger: 0 or j?
0
Let k = 4.6 - 5.3. Suppose 62 = -5*y + 4*x, 3*x + 11 = y - 3*y. Let n be (y/(-80))/(2/12). Is n equal to k?
False
Let f = -3/220 + -73/132. Let g = f + -7/30. Let a = -9 + 25/3. Do a and g have the same value?
False
Let p = 11/9 + -8/9. Is p < 4/217?
False
Suppose 4*k = -3*s - 21, 0 = -3*s + 5*k - 10*k - 24. Which is smaller: -11 or s?
-11
Let o = -12 + 12. Let n be (-1)/(o - 1/(-17)). Is n less than or equal to 0.1?
True
Let t be -7 + 3 + 1 + -10 + 10. Which is smaller: 6 or t?
t
Let o = 8.3 - 1.8. Let p = 0.5 - o. Let h = p - -7. Is h at most -1/2?
False
Let f = 2279/816 - 45/16. Which is bigger: f or -1?
f
Suppose 4*i - 2*i - 24 = 0. Suppose -11*h + i*h = 4. Suppose -h*k = -8, 2*z + k + 2*k + 8 = 0. Is -0.1 at l