j be 3*-4*(-3)/9. Let q be (1 + -3)/(0 + -4). Is q less than j?
True
Suppose 0 = -2*q + 6*q - 8. Let z = q + -1. Is 1 at least as big as z?
True
Let f be 0 - (-1 + 0 + -1). Suppose 4*a - f*z - 35 = z, 4*a - 28 = -4*z. Let b be a/3*3/(-12). Which is bigger: -2/11 or b?
-2/11
Let f = -0.15 + 1.15. Let b = f + -2. Is -2/5 not equal to b?
True
Let j = 1.59 + -1. Is 0.1 greater than or equal to j?
False
Suppose a - v = 6, -3*v = 2*a + a. Is 3/2 smaller than a?
True
Let q = -0.45 - -0.05. Let n = -0.6 + q. Which is smaller: 2/7 or n?
n
Let q = 0.142 - -7.758. Let g = -8 + q. Is g > -0.5?
True
Let z be 12/30*(-30)/(-38). Which is greater: z or 1?
1
Let q = 7.6 - 13. Let o = q - -6. Let u = 0.5 - o. Which is bigger: u or 0.6?
0.6
Suppose 0 = u - 3 - 2. Suppose -u*d = -x + 4*x, -5*d = -5*x. Is -2/19 bigger than d?
False
Let f = -0.043 - -4.043. Let j = -0.3 + 4.2. Let v = j - f. Is v >= 6?
False
Let p = -6 - -6.2. Let z be 35*(-3)/261*-1. Let c = z - 2/29. Is c <= p?
False
Let k be (-1)/4 - (-183)/(-36). Which is smaller: -6 or k?
-6
Let a = 0.06 + 0.24. Let x = -0.39 + 0.09. Let v = a + x. Are v and 1/4 equal?
False
Let m be 2 - (1 + 0 - -3). Let s be (1/3)/(1/(-4)). Is m > s?
False
Let l be (-3 + 0)*(2 + 1). Let b be (-177)/18 + (-1)/6. Is l smaller than b?
False
Suppose i + 4 - 2 = 0. Let r be i/8 + 50/8. Suppose 2*b - r = 4*b. Which is smaller: b or -2?
b
Suppose 7*h = 3*h - 40. Is h smaller than 4?
True
Let a be 0/(-1)*11/(-22). Which is greater: 4/53 or a?
4/53
Let t = 1/17 + 27/119. Which is smaller: t or 1?
t
Let p = -2/9113 - 1494526/27339. Let v = p + 54. Which is smaller: 2/5 or v?
v
Let v be (-9)/6 - (-108)/8. Suppose -v = 4*i, -2*h = 4*i + i + 11. Is 2 bigger than h?
False
Let i be 390/(-18) - 2/(-3). Let k be 2/(-3)*i/(-35). Which is bigger: -1 or k?
k
Let s(a) = -a + 4. Let b be s(4). Which is bigger: -1/5 or b?
b
Let t be 2 + -1 + -2 + 3. Suppose t*z - 3 = z. Suppose 8 = -2*r + 6*r. Which is bigger: z or r?
z
Let m be (-26)/65 + (-32)/(-30). Which is smaller: m or -0.2?
-0.2
Let t = -13665319892/65 + 210244711. Let m = -9020 + t. Let l = m - 2/13. Is l bigger than 1?
False
Let v be (4/6)/((-26)/(-39)). Let b(x) be the second derivative of x**5/20 + x**4/2 - 4*x**3/3 - 3*x**2 - x. Let c be b(-7). Is c less than v?
False
Let c be (2/78*1)/(9/(-27)). Let i be (-16)/(-10) + 6/15. Let u = i - 1. Do c and u have the same value?
False
Let c = 45 - 47. Let g be 2/(-4)*(4 - 0). Let s be 2/g - 2/(-1). Is s smaller than c?
False
Let g(x) = -4*x + 29. Let h(y) = 10*y - 72. Let q(s) = 12*g(s) + 5*h(s). Let r be q(9). Suppose 0*z + 3*z + r = 0. Is -2 at least z?
True
Let h = -2881/3 + 951. Let j = 9 + h. Let o = 5.5 - 5.4. Are j and o non-equal?
True
Let h(x) = -x**2 - 5*x - 2. Let s be h(-4). Let m = 11 + s. Which is smaller: -0.1 or m?
-0.1
Let o be (4/(-28))/(18/21). Let a(u) = u + 11. Let g be a(-10). Is g smaller than o?
False
Let y(l) = -l**2 + 8*l - 13. Let j be y(6). Is j >= 0?
False
Let w be (-4)/(-6) + 22/(-6). Let j be (8/(-10))/((-96)/(-240)). Is w > j?
False
Let l(g) = -g**2 - 6*g + 2. Let u be l(-6). Let s be (3 - (-3 + -1)) + -4. Is s != u?
True
Suppose 0 = -0*h + 2*h + 8. Let d be 4 - h/(-2) - 3. Is d at most as big as -2/15?
True
Let b = 3.4 - 12.4. Are -1 and b equal?
False
Let j = 27 + -28.1. Let s = -2.9 + j. Is 0 bigger than s?
True
Let x be ((-2)/5)/((-18)/45). Let k be 2/8 + 33/(-180). Which is smaller: k or x?
k
Let o = -29 + 30.3. Let i = o + -1.44. Let d = -0.06 + i. Is d greater than -0.1?
False
Let r(w) be the third derivative of w**6/120 + w**5/10 + w**3/3 + 2*w**2. Let u be r(-6). Let k be (u/9)/(4/(-6)). Which is greater: k or 0?
0
Let y be (-1 + -3 + 4)/(-1). Suppose -4*u + 4 = -4. Let o be 1 + u/(-2) + -1. Is o smaller than y?
True
Suppose -6 = -4*h - 2. Let k be 12/8 - 49/56. Is h not equal to k?
True
Let s(k) = k**2 - 2*k + 12. Let y be s(0). Which is smaller: 10 or y?
10
Let t be -5 + 0 + 0/(-2). Let n be -2 - ((4 - 0) + -1). Let z = n - t. Are z and -1/6 nonequal?
True
Suppose -2*q = -0*q + 4. Let c = 5/73 - 531/292. Is c < q?
False
Let c be (2 - 5) + 0 - -7. Suppose 7 = 5*w + 2*h, -2*w - c*h = -w - 5. Is w greater than 1?
False
Suppose 2*p + 37 = -3*o, o = -2*p - o - 34. Let m be 1/(-5) + p/5. Let z = 1 - m. Which is bigger: z or 3?
z
Suppose 2*s - 59 = 5*u - 21, -34 = 3*u - 4*s. Let k be -1*2*(-40)/(-16). Is k >= u?
True
Let b = 3 - 0. Suppose 6*s - 2*s - 8 = 0. Suppose -2*p = j + s*j + 2, 10 = 4*p - j. Which is smaller: p or b?
p
Let n(c) be the third derivative of c**5/60 + 7*c**4/24 - 2*c**3/3 - 2*c**2. Let d be n(-8). Which is bigger: 5 or d?
5
Suppose 4*r - 1 = 3*z, 1 = 3*z - 4*z + 2*r. Let u be (-4)/(-8)*(z + -9). Is u bigger than -3?
False
Let i be (-310)/(-110) - 2/(-11). Let m be i/(-26)*44/33. Which is smaller: m or -1?
-1
Let q be (8/(-3) + 0)*12/(-1). Which is greater: q or 33?
33
Let y be (-2)/(-4)*6/(-5). Let h(k) = k + 1. Let w be h(-1). Suppose w*v = -5*v. Is y < v?
True
Suppose -4*h - 8 = -2*h. Let m = 1 - h. Is m less than 5?
False
Let i(o) = 2*o - 2. Let q(r) = -5*r + 5. Let t(b) = -7*i(b) - 3*q(b). Let k(f) = f + 1. Let v be k(-1). Let n be t(v). Is -4/7 at most as big as n?
False
Let u be (-3)/(-4)*(-4)/(-1). Suppose 0 = j + 2*j - w, 5*j = u*w. Is j less than or equal to -0.04?
False
Let n(y) = y**3 - y**2 - 1. Let j be n(2). Let i(v) = -v**3 + 3*v**2 - 2*v + 3. Let b be i(j). Are -4 and b non-equal?
True
Let s(f) = f + 1. Let y be s(-1). Let i be y/(0/1 + -1). Suppose -4 + i = -j. Is 3 smaller than j?
True
Let f(i) = -i**3 + 7*i**2 - 3*i - 6. Let q be f(6). Let d = -5 + q. Is d > 6?
True
Suppose 5*s - 43 = -c, c - s - 85 = -4*c. Is 19 at least c?
True
Let x = 1.8 + -8.8. Which is smaller: -2/3 or x?
x
Suppose 0 = -5*g - 3*r + 17, -g = -2*r + 11 - 4. Suppose 4*x = 2 + 6. Is g smaller than x?
True
Let p be ((-177)/4)/((-6)/8). Which is bigger: p or 57?
p
Suppose 2*f = 2*m + 16, 0*m = m - 2*f + 9. Suppose 11*j + 53 = -101. Let h = j - m. Is -7 bigger than h?
False
Let v be 10/85 + 688/(-646). Which is smaller: -1 or v?
-1
Let d(q) = -3*q**2 + q + 1. Let a(l) = 4*l**2 - 1. Let n(w) = -2*a(w) - 3*d(w). Let u be n(3). Let c be u/(-3)*(-2 + 5). Which is greater: c or -2/9?
c
Let u(i) = -i - 8. Let r be u(-4). Let g be r/10 + (-4)/(-10). Suppose 0*w - w = g. Is w less than -2?
False
Let r(o) = -10*o. Let v be r(-1). Which is smaller: v or 1?
1
Let x = 2 - 3. Let t(k) = 2*k + 1. Let m be t(x). Let w be (-1)/((15/2)/(-3)). Which is greater: w or m?
w
Let x be (6/15)/(28/20). Let y be (-1)/(-2) - (-20)/8. Suppose -3*w - y + 0 = 0. Are w and x nonequal?
True
Suppose -j + 2*x + 10 = 4*j, -5*j - 4*x + 10 = 0. Suppose 3 = g + j*g. Is 5/4 > g?
True
Let y(q) = -2*q**2 - q + 2. Let w be y(-2). Let r be 1/4 - (w + 4). Which is smaller: -0.1 or r?
-0.1
Suppose 4*v - 57 = v. Which is bigger: v or 18?
v
Let l = -22/21 - -5/7. Which is smaller: l or 1?
l
Let s = -164 - -159. Are s and -0.1 unequal?
True
Let p be (-65)/(-4) + (-2)/8. Let x = p - 10. Let o = -31 + 36. Which is smaller: o or x?
o
Let s = 11 - 7. Suppose v + 60 = -9*v. Let n be (-2)/(-4) + v/s. Which is smaller: n or -2/33?
n
Let u be (1352/39)/(2/3). Which is bigger: 51 or u?
u
Suppose 0 = 4*q + 8 - 24. Suppose 0*p = -q*p. Which is smaller: -2/15 or p?
-2/15
Let b be (-8)/12*1/(-2). Let d = b + 1/6. Which is greater: 0 or d?
d
Let h be (-2)/(-13) + (-45)/39. Which is bigger: -3/7 or h?
-3/7
Suppose 93 - 38 = 5*c - 2*k, -11 = -c - k. Do 11 and c have different values?
False
Suppose -25 = -5*o - 2*p, 3*o + 5*p - 2*p = 6. Suppose 2*t - 6 = -t + 3*v, -4*t + 5*v + 11 = 0. Let y be (-4 + -4)/(0 + t). Is o equal to y?
False
Let j = 10 + -11. Let o be ((-2)/10)/(12/(-15)). Which is smaller: j or o?
j
Let d = -4 - -3. Let g be (6 + -6)*-1*1. Are d and g equal?
False
Suppose 11*t + 130 - 185 = 0. Let g = 3 + 3. Is g greater than t?
True
Suppose 0 = -4*n + 4*k + 56, 0 = n - 3*k - 18 - 4. Let i = n + -6. Is i bigger than 2?
True
Let l be (-4)/3*(-3)/(-12). Which is smaller: l or 1/7?
l
Let y = 32672/45 - 726. Do y and 1 have the same value?
False
Suppose 105 = 7*u + 35. Which is bigger: u or 7?
u
Suppose 7 = -5*l - 8, 4*l = 5*f - 12. Is f < 3/19?
True
Let c = 0.2 + -0.1. Let p = 3 + -3.01. Let x = -2.01 - p. Do c and x have different values?
True
Let c = -