+ 0*o = 0. Let y = o + -3. Let l be y/(-9)*9/2. Is l < 2?
True
Suppose -4*v = -0*v - 12. Suppose 3 = -5*k - v*z + 10, 3*z - 9 = -3*k. Which is bigger: 1/5 or k?
1/5
Let q = -203/72 + 22/9. Suppose 0*w = -2*w. Is q < w?
True
Let m be (2 + (-20)/6)/10. Which is smaller: m or -1?
-1
Let x be (-3)/(-6)*(-1 + 3). Let k be 4/6 + (-38)/51. Let h = k - 125/357. Which is smaller: h or x?
h
Let t = -1.8 - -2.8. Is -6 at most as big as t?
True
Suppose 2*x + c + 1 = 0, c = -4*x - 4*c + 1. Is -14/9 greater than or equal to x?
False
Suppose 0 = 3*o - 5*q + 63, 2*q - 47 = 3*o + 16. Let s = o - -10. Is s > -11?
False
Suppose 20 = 2*q - 5*v, -2*v + 12 = q - 5*v. Suppose -u - 1 = -q. Is 2 at most u?
False
Suppose 6*v = -0 - 6. Do v and -3/7 have the same value?
False
Let k be 6*(0 - 2/4). Is k >= -1?
False
Suppose a + a = 0. Let b be 6/15 + (-67)/5. Let t = b - -40/3. Is t less than or equal to a?
False
Let i = -11 + 21. Let u be (-3)/(45/6)*i. Let b = u - -3. Which is bigger: b or -2/7?
-2/7
Suppose 0*v + 5*v = 0. Let h be 582/(-36) - (1 + -3). Let a = 259/18 + h. Which is smaller: a or v?
v
Let t be (0 - -2) + (-13)/6. Let k be 24/(-11) + 4/22. Let n be 0/(k - (2 - 3)). Which is smaller: t or n?
t
Let u = 1.47 + 0.58. Let n = -0.05 - 0. Let v = u + n. Which is smaller: v or -3?
-3
Let r(f) = f**2 + 3*f + 2. Let t be r(-3). Let d = t - 1. Let h = -1 - -1. Is h > d?
False
Let n = -0.2 - -0.3. Let f = -1 + 0.8. Let m = f + n. Is 3 at most as big as m?
False
Let j be 10/(-6) - (-40)/60. Which is smaller: j or -4?
-4
Let g(q) = -q**3 + 9*q**2 - q + 9. Let p be g(9). Which is smaller: p or 1/56?
p
Let w = 48 - 48.2. Which is greater: w or -0.7?
w
Suppose 0 = 2*n + 4*p - 24, 2*p - 6 = -2*n + 10. Suppose -n*t + 14 + 10 = 0. Let u be ((8/t)/4)/(-1). Which is greater: u or 0.2?
0.2
Let i = 0.3 - 0.2. Let k = 1.08 + -1. Let d = k + 1.92. Is d != i?
True
Let m(o) = -o**3 - 3*o**2 + o + 6. Let z be m(-2). Let s = 10717/6 - 1775. Let l = 331/30 - s. Which is greater: z or l?
z
Let h = 0.48 - 0.5. Let q = -1.02 - h. Are -5 and q equal?
False
Let d = 0.05 - -14.95. Let z = d + -14.9. Which is smaller: -2/11 or z?
-2/11
Let b = -111108/5 - -22323. Let n = b - 101. Let t = 0.6 + -1.6. Is t < n?
True
Let v = 0.13 - 0.1. Which is smaller: -3/4 or v?
-3/4
Let f = 0 - -4. Let i = -0.04 + -3.56. Let x = f + i. Is 2/5 at most x?
True
Suppose 2*w - 3*a - 1 = -3, 4*a = -3*w - 3. Let i be 1*-2*3/(-21). Which is greater: i or w?
i
Let m(x) = 11*x**3 + x**2 + x - 2. Let h be m(1). Is 12 at least as big as h?
True
Suppose 2*u - 3*y - 15 = 4, 5*u - 3*y = 34. Suppose 0*j = g + j, -u*g - 9 = -4*j. Is g bigger than -2/27?
False
Suppose 5 = 4*h + 3*x, -5*x + 7 = -8. Let t be h/(-2)*-1 - -3. Let g = -11 - -15. Which is smaller: t or g?
t
Let s = -2 + 3. Let x be s/3 + (-1 - 0). Suppose -2*g - 2*g = 4*i + 4, i - 1 = 0. Are x and g non-equal?
True
Suppose 0 = -6*x + 3*x + 15. Suppose 2*n + 4*a = -6, -3*n + 3*a = 2*a - x. Which is smaller: n or -0.3?
-0.3
Suppose -16 + 8 = -2*u. Suppose -m + 8 = 4*k, u*m + 0*k + 2 = k. Is 4/3 != m?
True
Let y = 0.95 - -0.05. Which is bigger: y or 36?
36
Let d(v) = v**3 + 4*v**2 - 2*v - 6. Let i be d(-4). Which is bigger: i or -1?
i
Let l = 1475/14656 - 7/64. Which is bigger: l or 0?
0
Let i = 12/67 + -694/4623. Let z(t) = t**3 - t**2 - t. Let u be z(1). Is i < u?
False
Suppose 17 = 3*y - 4. Suppose -17 = 6*r + y. Suppose -4 + 10 = -2*b. Is r at most as big as b?
True
Let h(z) be the third derivative of -z**4/12 - z**3/2 - 3*z**2. Let i be h(-2). Do i and 0.02 have the same value?
False
Let w be (-34)/(-72) - 2/8. Let l = 1 + -2. Let t = 1 - l. Which is smaller: t or w?
w
Let b(p) = 4*p**3 - 2*p**2 - p - 4. Let x be b(2). Which is smaller: 3 or x?
3
Let h = -0.3 + 0.2. Suppose -1 = 2*w - 11. Let o = 6 - w. Which is smaller: o or h?
h
Let p(m) = -m - 1. Let u be p(3). Let q be (-1)/4*(-8 - u). Let k be (-5)/10 + q/2. Is k > -1/6?
True
Let a = -51 + 88. Which is bigger: a or -1/4?
a
Let f(m) = -m**3 - 6*m**2 + m + 8. Let r be f(-6). Let x = -2 + -1. Let p = r + x. Is p not equal to -2?
True
Let a(f) = f**3 + f**2 + f - 2. Let n be a(0). Let y be 3/n*(-4)/(-3). Suppose -10 = -z + 6*z. Is z equal to y?
True
Let g = 6 - 4. Suppose 2*y + 0*p - 4*p + 28 = 0, g*y + 40 = p. Let u be 70/y - 8/(-44). Is 0 greater than u?
True
Let k be 245/77 + 2/(-11). Suppose 2 = 5*x - k. Which is smaller: 2/17 or x?
2/17
Let o(l) = 4*l + 5. Let w be o(-7). Let u = 18 + w. Is -6 smaller than u?
True
Let d be (-1)/2 + 414/288. Does d = 0?
False
Let t be ((-3)/(-18))/((-30)/9). Is 0 less than t?
False
Suppose 2*x - 2*y = -x - 4, 4*y = 4*x + 12. Suppose x*p = -0*p. Which is smaller: -2/21 or p?
-2/21
Let l be (-12)/(-1)*(1 - 0). Let y be 2/(-4)*l/(-2). Suppose -d + 6 - y = 0. Is 2 > d?
False
Suppose 45 = -3*s + 15. Suppose p + 3*g - 59 = 2*g, 298 = 5*p + 2*g. Let b be 51/p + 6/s. Is b less than or equal to 1?
True
Let f = -13057/35 + 373. Let t(k) = -k - 14. Let x be t(-13). Does x = f?
False
Let n be ((-6)/12)/(2/4). Let u be n/(-2)*(-15)/6. Which is bigger: u or -0.2?
-0.2
Suppose 5*m - 8*t + 3*t - 45 = 0, 0 = 4*m + t - 16. Suppose y - m*a = 1, 0 = 5*y - a - 0*a - 5. Is -2/15 < y?
True
Let f(c) = c - 1. Suppose 0 = 2*g - 3*g + 4*i + 21, 4*g + 11 = -3*i. Let n be f(g). Suppose 0 = 5*j + 2*x + 9, -2*j - x + 1 - 5 = 0. Is j at least n?
False
Let b be 4/(-10) + (-11)/10. Let p(g) = g**3 - g**2 + 1. Let q be p(-1). Which is greater: b or q?
q
Let b(x) = x**3 + 5*x**2 - 6*x + 7. Let q be b(-6). Is q bigger than 8?
False
Let y be (-2)/(-25)*(3 + 2). Let x be 2/7 + (-54)/(-7). Suppose 5*h + x + 2 = 0. Which is smaller: h or y?
h
Let t = 8 + -8.05. Let g = 0.03 - t. Let w = g - 0.08. Which is smaller: w or -2/3?
-2/3
Let r(d) = -3*d - 6. Let n be r(-4). Let p = n - 3. Let l be -3 + -4*(2 - p). Which is greater: 2/15 or l?
l
Let y be (1 - 12/2) + 2. Let d be y + 8 + (-1 - 1). Suppose 0 = c - s, 4*c - s + 15 = d. Which is greater: c or -5?
c
Let a be (-5)/25*(-10 + -5). Let i be 6/(-4)*4/(-3). Which is bigger: a or i?
a
Let s(l) = 2*l - 3. Let j be (-6)/((-6)/(-2)) - -10. Suppose 7*f - 3*f - j = 0. Let u be s(f). Which is smaller: 1/2 or u?
1/2
Suppose 0 = 4*h + 3*f - 54, -3*h - 2*h + f = -58. Suppose -5*i + 5*v = v + 15, h = -4*i - 4*v. Which is smaller: -2 or i?
i
Suppose 2*s + 0*s + 4*n - 10 = 0, -2*s + 2*n - 2 = 0. Let k(c) = c**2 + 6. Let x be k(0). Let h be 2/x + (-6)/18. Do s and h have different values?
True
Let n = 24 + -24. Are n and -4 nonequal?
True
Suppose 7 = 3*w + 1. Let l = 0.3 + -0.4. Is l > w?
False
Let l(t) be the first derivative of -t**4/4 + t**3 + t**2 - 2*t - 4. Let w be l(3). Is 5 at least as big as w?
True
Let l be (-6)/3 - 9363/(-4329). Let k = 1/111 - l. Is -1 smaller than k?
True
Let q = -23 - -36. Let x = 5 - q. Let r be (-5)/3*x/20. Is r not equal to 1?
True
Suppose -2*l = h + 43, 5*l + 57 + 43 = -4*h. Let z be (-16)/l - (-4)/3. Suppose -z*j - 3 = 4*g + 3, 2*g - 3 = j. Is 2 not equal to g?
True
Suppose -4*i = -5*i + 2. Let g be 10/(-6)*i/5. Let x(k) = k**2 + 7*k - 2. Let u be x(-7). Which is smaller: u or g?
u
Suppose 0 = 5*r + t + 26, -4*t = r - 6*r - 21. Does -7 = r?
False
Suppose b - 2 = 2*j, 0*j - 5*b - 29 = 3*j. Let w be ((-1)/1 - 0) + j. Is w at most as big as -4?
True
Let n = -9 - -8.9. Which is smaller: n or -0.08?
n
Let l be 12/16 - (-86)/(-8). Is -10 not equal to l?
False
Let o = 5.87 - 6. Let p = o - -0.23. Is p greater than -1/3?
True
Let c be (-1)/(-3) - (-500)/(-132) - -3. Which is bigger: c or -1?
c
Let f be (-4 + (-51)/(-12))*4. Which is smaller: -3/35 or f?
-3/35
Suppose -4*j + 44 = 156. Let q be 14/4*(-12)/j. Which is smaller: -0.2 or q?
-0.2
Let k = 30 + -2. Let x = k + -46. Is x smaller than -18?
False
Let x = 12.7 + -7.4. Let z = 5 - x. Is z != -0.1?
True
Suppose 0*k = 2*k + 20. Suppose 3*a + 2*i = -33, 0 = a + 2*i - 0*i + 11. Which is smaller: k or a?
a
Let s(c) = -c**2 - 3*c + 4. Let f be s(-3). Suppose 3*m = d - m - 3, d + f = -3*m. Are d and -1 unequal?
False
Let r = 0 + 1. Let j = -2.26 + 0.36. Let p = j + 2. Are r and p unequal?
True
Let q be (-2)/7*28/(-16). Let n = -18 + 11. Let u = 7 + n. Which is bigger: u or q?
q
Suppose -2*u = 2*o + 3*u - 25, -5*u + 25 = -5*o. Suppose 100 = v + v. Let g = v - 449/9. Is g at least o?
True
Let z = -13279/