 -i*f + f. Suppose 0*w = f*w. Which is smaller: w or 1?
w
Let p = -60.7 - -46. Let x = -15 - p. Let y = 0.023 - 0.043. Is y less than or equal to x?
False
Let o = 29 + -40. Let z = -34/3 - o. Suppose v - 4*x = -10 + 23, -5*v - 5*x = 60. Is z at most as big as v?
False
Suppose -4*f = -2*k + 4, 3*f = -4 + 1. Let r = 28782832886/329 + -87485956. Let d = r - -992/7. Is k > d?
True
Suppose -82*v + 44303 = -37123. Is v less than or equal to 995?
True
Let r(d) = -10*d + 132. Let u be r(16). Which is smaller: u or -27?
u
Let w = -2 - -1. Let d be 2/50*21345/6. Let i = d - 142. Which is smaller: i or w?
w
Suppose 0 = u, -3*d = 7*u - 3*u - 42. Let g = 18 - d. Suppose 4*w - g*q = -5*q + 8, -3*w - 3*q = 3. Which is greater: w or 2/5?
w
Let p be ((-21315)/150)/(-29) - (-2)/20. Is p greater than 111/29?
True
Let h = 16.4 + -61.1. Let y = -42 - h. Which is greater: y or 1?
y
Let a = 426 + 72. Let v be (3/a)/((-102)/928). Let g = v - 1/249. Is -1 at least g?
False
Let s = 48 + -52. Let q be (-18)/s*-1*6/36. Which is bigger: -2 or q?
q
Let u = -1213/2 + 594. Which is smaller: u or 2/7?
u
Suppose -2*i - 10 = 5*j, 5*i + j = 2*i + 11. Suppose -5*q - 20 = i*n - 2*n, 4*n - 55 = 5*q. Let f(z) = z - 1. Let d be f(q). Which is smaller: -7 or d?
d
Let x be 9767/30 + (-26)/65. Let g = -327 + x. Which is bigger: 0.1 or g?
0.1
Let h = 19/66 + 116/11. Let a(w) = -w**2 + 63*w + 10. Let q be a(63). Is q != h?
True
Let w = -34 - -110/3. Is w less than 1.5?
False
Suppose 3*w - 14 = -4*l, -w - w = 2*l - 8. Let k be l*((-12)/(-28))/(-3). Is 0.6 greater than k?
True
Let s = -238 + 953/4. Is s greater than or equal to -1/40?
True
Let u be 12/9 + (-4)/(-6). Let x be u/(-4) - (-33)/(-18). Which is smaller: x or -2?
x
Suppose -5*a - 7*a + 5*a = 0. Which is greater: 1/81 or a?
1/81
Let f be (-990)/(-243) + -1*4. Let x = 10.6 - 11.6. Which is smaller: f or x?
x
Let k = -1/56 + -15/56. Suppose 5*u + 6*n = 3*n - 26, 3*u + 10 = n. Let i(x) = 13*x + 31. Let l be i(u). Which is smaller: l or k?
l
Let x be 4 - ((-680)/18)/(-10). Is 0 > x?
False
Suppose -b + 2 = -3*b. Let p be 34/20 - b/(-2). Are p and 0 non-equal?
True
Let d(x) = -2*x + 22. Let l be d(10). Let y be (-2)/l*(2 - -1). Which is greater: y or -2?
-2
Let z(b) = -b**3 - 14*b**2 + 18*b - 14. Let x be z(-16). Let s = -4412/21 + x. Let o = 0 + 1. Which is smaller: s or o?
s
Let k be (5 + -2)*(-6)/(-9). Suppose -2 = 3*o + 10, -k*o = 2*i + 36. Let y(g) = 13*g - 155. Let w be y(11). Which is smaller: w or i?
i
Let h(k) = 12*k**2 - 151*k - 2. Let g be h(12). Is -94 < g?
True
Suppose -3*p = -p - 48. Suppose -p = -4*q - 0. Suppose 26 = 5*h + q. Do h and 2 have different values?
True
Let r(p) = -19*p - 278. Let h be r(-15). Suppose 2*n - 2 = n. Suppose j + n*j - 24 = 0. Is j bigger than h?
True
Let o(n) = 3*n**3 + n**2 - 3*n - 875. Let s be o(0). Are -875 and s non-equal?
False
Let p be 24/6 + 1328/14. Let n = -98 + p. Is n > 2?
False
Let f = -286.758 + 287. Which is greater: -2 or f?
f
Let i(a) = 5*a**2 + a + 7. Let k be i(3). Let n be (-11)/k + (-48)/(-190). Which is bigger: 0 or n?
n
Let p = 69.1 - 69. Let k = -30.022 + 30. Does p = k?
False
Let n(x) be the first derivative of -3*x**4/4 + 2*x**3/3 - x**2/2 + 1. Let g be n(1). Let h be (-6)/11*g/(-6). Is 1 > h?
True
Let v = 47 - 35. Let n = -17 + v. Which is bigger: n or 0.2?
0.2
Let u(m) = -m**2 - 10*m + 23. Let y be u(-10). Suppose y + 13 = -2*l. Which is greater: l or -15?
-15
Let u be (-2)/(-4) - 93/174. Let n = 55/87 - u. Let r = 185.1 - 185. Which is smaller: n or r?
r
Let d = -22 + 16. Let x be ((-16)/d - 2)/(2/(-3)). Let p = 6 - 13/2. Which is smaller: p or x?
x
Let o = 17 - 15. Suppose 0*a - 4 = o*a. Let h(x) = x + 1. Let i be h(a). Which is greater: i or -3?
i
Let o = 1/3099 - -175609/3099. Is o greater than 58?
False
Let a be 0 - (-16)/374*(-19)/38. Which is smaller: a or 1?
a
Let f(a) = a**3 + 6*a**2 - 8*a - 6. Let s be f(-7). Let j be (-1 + 8/12)*-1. Which is bigger: s or j?
s
Let g = 47121214/1867 - 25239. Is g greater than 1?
False
Suppose 3*a + 2 = 2*z, -5*z - 10 = -a - 28. Let k be 58/4*a/(-5). Which is bigger: k or -7?
k
Let f(q) = q**3 + q + 7. Let z be f(0). Suppose -5 + z = 2*g. Let m = 476 - 3326/7. Is g at least as big as m?
True
Suppose 0 = -2*m + 6*m - h + 3, 23 = -4*m - 3*h. Which is bigger: -14/15 or m?
-14/15
Let a = 3.85 - -0.15. Suppose 0*f = 4*f + 12. Let t be (4/3)/(f/(-9)). Is a at most as big as t?
True
Let c be (3 + -2)*-8 - -2. Let k = 236 + -243. Is k at least as big as c?
False
Let j = -22 + 26. Suppose -3 + 11 = 2*t + j*c, 0 = 2*t + 3*c - 9. Which is smaller: t or 7?
t
Suppose -t = 60144 + 24728. Let o = 426008/5 + t. Let k = o + -328. Is 0 >= k?
False
Let b be ((-12)/15)/((-98)/(-105)). Let f = 4 - 1. Suppose 0 = -f*q + 1 - 4. Which is bigger: b or q?
b
Let b = -31 + 33. Suppose -2*r - 4*d = -8, 2*r - d + 11 = -b*r. Which is bigger: r or -14/17?
-14/17
Let l = -1342 + 1261. Which is greater: -86 or l?
l
Let d = -174 - -178. Is d less than or equal to 51/20?
False
Let b be (((-660)/(-18))/10)/((-1)/(-6)). Which is bigger: b or 5?
b
Let w = 518 - 949. Which is smaller: w or -432?
-432
Suppose -3*j - 2*r = 137 + 177, -5*j = 4*r + 520. Let n = j - -99. Is -9 smaller than n?
False
Let f = 48 + -142/3. Suppose 4*x = 2*x. Suppose -2*k - 3 + 1 = x. Which is smaller: k or f?
k
Let v be (-11 + 0 + 1)/(-1). Suppose -y = 7 - v. Suppose 4*d = h + 20, 5*h + 59 = -y*d - 64. Does -25 = h?
False
Let y = -1 + -6. Let i be 4/(-14) + (-30)/y. Is 0 != i?
True
Let d = -38 + 13. Let a = d + 23. Let w = -165 + 499/3. Is w less than a?
False
Let o(y) = y**3 - 11*y**2 + 17*y + 17. Let b be o(9). Let a(c) = 2*c**2 - 18*c + 16. Let m be a(b). Is -3/11 at least m?
False
Suppose -4*r - 44 = 3*s - 140, 51 = 3*r - 3*s. Let q = r - 20. Is q less than or equal to -2/13?
False
Suppose 0 = -9*l + 10*l - 10. Let u be (-12)/255*l/12. Does 0 = u?
False
Let r be ((-5)/15)/(83/18). Is 1 smaller than r?
False
Suppose s = -0*s - 4. Let y = s + 6. Suppose -y*w + 5*w = 0. Is w equal to -3?
False
Let t = -759 - -758.9. Which is smaller: -328 or t?
-328
Let p be (-137)/(-5) - (-40)/(-100). Let g = -29 + p. Is -8/5 smaller than g?
False
Let t = 231 + -224. Which is bigger: -0.1 or t?
t
Let g = 5.7 + -68.7. Let b = 60.9 + g. Which is smaller: b or -0.1?
b
Let t be (-5)/4 + 1/4. Suppose 3*m = -3*n - 6, -5*n + 10 = -0*n. Let q be (m/(48/(-3)))/(-1). Is q > t?
True
Let c = -215 - -214.9. Is c bigger than 3?
False
Suppose 0 = 4*y + 3*a - 6*a - 8, 2*y + 2*a = -10. Which is smaller: y or -1.6?
-1.6
Let v(u) = u - 12. Let y be v(17). Suppose -6*j + y*j = 6. Let k(p) = p + 11. Let m be k(j). Is m at most as big as 5?
True
Let z(g) = -g**2 + 5*g - 2*g + 3*g**2 - 7 - g. Let i be z(-3). Suppose 10 = -i*h - 15, -2*a + 2*h + 12 = 0. Which is smaller: a or 1/8?
1/8
Let v be 6*(20/(-12) + 1). Let k(s) = -s**3 - 6*s**2 - 8*s. Let p be k(v). Is 1/4 >= p?
True
Let l = -1 + -13. Suppose -3*y = 2*v - 35, -7*v - 32 = -4*y - 6*v. Let d = y + l. Is d at least -6?
True
Let q = 99001/118 + -839. Is q greater than or equal to 1?
False
Suppose 1488 + 176 = -32*t. Is -39 > t?
True
Let o = -11 + 16. Let j = -1051.8 - -1052. Is o not equal to j?
True
Let a(j) = -733*j - 6. Let m be a(-4). Let x be m/(-78) - 2/(-2). Let z = x - -110/3. Which is greater: 0 or z?
z
Suppose -10*q - 2*g = -12*q + 34, 4*q - 2*g - 74 = 0. Are q and 18 non-equal?
True
Let r = -14 - -12. Suppose 0 = 4*s + 7 + 1. Let p = 6 + s. Is p bigger than r?
True
Suppose 28*l - 18 = -1754. Suppose 2*s + 315 = -3*s. Is s at most as big as l?
True
Suppose 0 = 28*l - 2*l + 78. Suppose u + 2*u = -r + 18, -4*r - 5 = u. Let w = u + -15. Which is smaller: w or l?
w
Let a = 2 - 1. Suppose -875*q = -871*q + 12. Which is smaller: a or q?
q
Suppose 3*x - 6 = -3*k, -5*k + k + 26 = -5*x. Which is smaller: -2.5 or x?
-2.5
Suppose -2 = -2*i - 8. Let p(z) = -z**2 - 2*z - 5. Let f be p(i). Are -1 and f equal?
False
Let i = -589 + 2903/5. Are i and -7 equal?
False
Let g = 3.12 + -0.12. Let c = 9 + -18. Let o = c - -10. Which is smaller: g or o?
o
Let w be (55 + 28)/((-1)/3). Is -248 at most w?
False
Let x = -1715 - -5602/3. Are x and 151 non-equal?
True
Let u = 9.45 + -9. Let w = u + -0.55. Which is smaller: w or 13?
w
Let t(c) = -c**2 + 15*c + 37. Let x be t(17). Let m = -23 +