1)/j. Which is smaller: -1 or z?
-1
Let i be 1/3 - (-5)/((-420)/88). Is -1 smaller than i?
True
Let i be (-2)/(-9) + 410/18. Let m = i - 16. Suppose -3*q - 6 = 0, -m*v + 3*v + 2 = -3*q. Which is greater: v or 2/7?
2/7
Suppose 5*t - 4*t - 25 = 0. Suppose 2*h = h + t. Let n be h/15 - (-4)/(-6). Which is smaller: 2/13 or n?
2/13
Let j be 136/(-32) - 2*(-2 - 0). Let y = -1 + 2. Does y = j?
False
Let z = 4 + -4.1. Let t = -12 + 14. Is z bigger than t?
False
Suppose 3*r + 27 = -18. Let v be 5 + (-5)/(r/(-9)). Let k(n) = 4*n - 1. Let x be k(v). Is 7 greater than or equal to x?
True
Suppose 0*u = -3*k + u, -u = 4*k + 7. Which is bigger: k or -10/7?
k
Let y = -11670 - -46905/4. Let p = 56 - y. Suppose 2*c + 5 = -3*c. Which is bigger: p or c?
p
Let z be ((-12)/(-10))/(3/(-15)). Let t = -11 - z. Is t > -6?
True
Suppose 0 = -10*z + 5*z. Are 0 and z equal?
True
Let s(p) = p**2 - 3*p - 2. Let n be s(4). Suppose q + 2*h + n = -2*q, 3*q + 3 = -3*h. Which is smaller: 1/6 or q?
q
Let f be -3 - -5 - (2 - -27). Let p = 18 + f. Do p and -8 have different values?
True
Let u be (-9)/9 + 26/1. Suppose 4*a + u = 81. Is a at least 15?
False
Let q = 4.4 - 0.4. Let n = q - 6. Let k = -2 - -2.1. Is n > k?
False
Let j = 4 + -3.9. Let m = j - 2.1. Which is bigger: m or -2/13?
-2/13
Let j(t) = -t**3 + 8*t**2 - 8*t + 10. Let i be j(7). Suppose -4*v - i*o = -29, v - 4*o + 2 + 5 = 0. Suppose 4*f - v = -5*h, f + 2 = h + 1. Is f != -5/4?
True
Suppose -q + 2 = -0. Suppose -s = q + 1. Let u be (s/9)/(0 - -1). Which is greater: u or 0.2?
0.2
Let m be 30/9 - 3/9. Which is greater: m or 9/5?
m
Suppose -5*p + 2 = 5*z + 7, -3*p + z = -9. Suppose 2*u = -b - p*u + 17, -5*u + 16 = -4*b. Suppose 0 = -t + b. Which is smaller: t or 2?
t
Let o(q) = -q + 21. Let m be o(9). Let h be (6/27)/(4/m). Which is smaller: h or -9?
-9
Let l(x) = 0*x + 8 - x - 25. Let u be l(-8). Let v be (u - 0)*(-5)/15. Are v and 2 unequal?
True
Let x = 222/5 + -45. Let m be (-9)/12 - 3/(-4). Which is greater: x or m?
m
Let a be (-1 + 0)/(3/(-12)). Suppose -5*h = 4*r + 21, 0*r + 24 = -4*h + a*r. Which is smaller: -6 or h?
-6
Suppose 2*v + 4 = -2*y, -3*y = 2*v - 3*v + 10. Is v at most 1/178?
False
Let z be -2*(-1 + 3)/4. Let l = 13 - 14. Let d be 1/(l - (-1 - z)). Which is smaller: -1/2 or d?
d
Suppose -m - 2*t = -2*m + 30, 0 = 3*m + 3*t - 63. Does 26 = m?
False
Let u be ((-2)/(-2))/((-2)/(-26)). Suppose -5*o - 2 = u. Suppose 3*y - 10 = 4*h, 4*h + 0 + 16 = 0. Which is smaller: y or o?
o
Let n(z) = -z - 4. Let w be n(-7). Let s be (w + -3)*1 - -4. Suppose s*x - x = 0. Is 0 > x?
False
Let m = 9.5 - 9. Let z = -0.3 + m. Is 1/4 > z?
True
Let g = -24/243589235 - -124181012517952/5115373935. Let t = -24277 + g. Let v = -5/21 + t. Which is bigger: -2 or v?
v
Let r be 9/(-6)*16/(-6). Is r at most as big as 4?
True
Let r be (-2 + (-186)/(-15))*15/2. Do r and 78 have the same value?
True
Suppose -5*z + 7 + 13 = 0. Let d be z/(0 - (3 + -37)). Which is bigger: d or 0?
d
Let j be 3 - 0 - 166/(-6). Let k = 31 - j. Which is smaller: 2 or k?
k
Suppose 0 = 5*i - 729 - 3426. Let w = i + -478. Let v = w + -5293/15. Is v less than or equal to 1?
True
Suppose 0 = -6*m + m. Suppose m = g + 5*i - 22, 4*i = -5*g - 0*i + 26. Suppose -5*t - l + 2*l = -g, -t = 5*l + 10. Which is smaller: -2 or t?
-2
Let w(h) = -h - 1. Let j be w(2). Let g be 1*(-2)/((-6)/j). Let n(x) = x**2 + 4*x - 7. Let r be n(-5). Which is greater: r or g?
g
Let n(t) = -t**2 + 8*t - 8. Let v be n(6). Suppose 5*m + 20 = 45. Is m bigger than v?
True
Let h = 0 - -1. Is h bigger than 2/5?
True
Let q(v) = -4*v**2 - 2*v + 1. Let k be q(1). Let o(c) = c**2 + 4*c - 2. Let h be o(k). Suppose 0 = 5*m - 6*m + 2. Which is bigger: m or h?
h
Let b(u) = u + 1. Let v(a) = -3*a - 5. Let c(n) = -2*b(n) - v(n). Let s be c(0). Let k = -0.2 + 0.4. Which is bigger: k or s?
s
Let p be 3/(-5) + (-126)/(-10). Let c = p - 50. Let i be -2*(2 - c/(-20)). Does -1 = i?
False
Let b be -2 - (114/20)/(-3). Suppose 0 = -l + 2*l. Suppose 5*g = -5*x - l*x, 0 = 3*x - 3*g - 6. Which is smaller: b or x?
b
Let t be ((-78)/(-21))/((-16)/(-28)). Which is greater: t or 7?
7
Let f = -26 - -132/5. Which is smaller: 0 or f?
0
Suppose 5*a + 8 = 4*x, 4*x - 13 + 5 = -5*a. Let y be (-1 + a)/(0 + 1). Let s be -1 - 1 - 3*y. Is 2 at most s?
False
Suppose 2*f = 15 + 21. Suppose -5*q + f = -4*l - 3, -25 = -5*q. Which is bigger: l or 4/7?
l
Let o = 9 + -7. Suppose -o*j + 2 + 0 = 0. Is j at least 1?
True
Let h(q) = q**3 + 7*q**2 - 9*q - 6. Let u be h(-8). Suppose -28 = -x + 5*g, u*x - 5 - 6 = g. Suppose 0 = -5*i + x*i + 2. Is -2/15 greater than i?
False
Let p = 0.03 + -0.1. Let c = 0.17 + p. Let v = 6 + -4. Which is greater: c or v?
v
Let g = 39 + -49. Is g at most -11?
False
Suppose 0 = -3*g + 6. Let v be (g/(-16))/((-6)/(-8)). Is v bigger than -1?
True
Let h be -1 + 2 - -2 - 5. Is 0.03 not equal to h?
True
Suppose -k = 75 - 27. Let z be (k/15 + 3)*-4. Suppose 3*u = 6, 2*u = -3*r + 13 - 6. Do z and r have the same value?
False
Let o(b) = b**2. Let g be 0/(-2 + 0/2). Let f(k) = k**2 - k. Let l be f(g). Let h be o(l). Is h less than or equal to -2/3?
False
Let q be ((-21)/(-6))/(3/24). Let u be (q/(-49))/((-2)/7). Are 6 and u unequal?
True
Let s be (20 + -21)/(((-2)/94)/(-1)). Is s at most -47?
True
Let h = 29 + -12. Which is smaller: 18 or h?
h
Let z = -7.89 + 4.98. Let g = z + -0.09. Let c = g + -3. Are 1 and c non-equal?
True
Let c(o) = -3*o + 4*o + 8 + 2 - 5. Let i be c(-6). Which is greater: i or -1/4?
-1/4
Let h(d) = -3*d + 1. Let g be h(-1). Let w = -5 + g. Let b be (-2)/(-18)*3 - 2. Is b <= w?
True
Suppose -17*g + 3*g - 98 = 0. Which is bigger: g or -41/5?
g
Let g = 53 + -51. Do -4/5 and g have different values?
True
Let d = 8 + -4. Is 0.1 less than or equal to d?
True
Let x(a) = a**3 - 6*a**2 - 6*a - 3. Let y be x(7). Suppose 1 = 2*j - m, 4*m = -j + 4*j - y. Which is smaller: -2 or j?
-2
Let m = -90.28 + 90. Does m = 0.1?
False
Let w = 129/31 - -6299/155. Let l be 15*(0 + 0 - -3). Let n = w - l. Which is smaller: n or -0.1?
n
Let q be ((-6)/3)/(4/6). Suppose 15 = -6*o + o. Is o at most q?
True
Suppose 2*u - 11 = 3*u + 3*r, 3*r + 12 = 0. Is 5/23 greater than u?
False
Let q = -0.9 - -11.9. Is 2/3 greater than q?
False
Suppose k - 54 = -4*k + 4*b, -5*k + 5*b = -55. Let z(p) = -p + 6. Let w be z(k). Which is smaller: -2 or w?
w
Let z = -0.7 + 1.2. Let d = z + 1.5. Is 2/11 at most d?
True
Let o = 34 + -34. Let n = 521/4 - 131. Which is greater: o or n?
o
Suppose 4*x - 2*x - 132 = -5*t, 100 = 3*t - 4*x. Let i = -20 + t. Is i > 1?
True
Suppose 14 = -k + 11. Is k <= -12/5?
True
Let j = 4 - 13/2. Let q = -2 - j. Does q = -1?
False
Let t = 54 - 20. Which is bigger: 2/5 or t?
t
Suppose m - 2*j - 1 = 1, -15 = 5*j. Let o be ((-7)/m)/(2/(-16)). Which is bigger: -13 or o?
-13
Suppose 5*v - 11 = 9*q - 12*q, -2*v = -2*q - 14. Are 3 and v nonequal?
True
Let r = 62 + -77. Which is smaller: r or -13?
r
Let n(x) = -7*x**2 - 2*x - 1. Let w = -7 + 6. Let c be n(w). Which is bigger: -5 or c?
-5
Suppose 29 = -4*c + 5. Let m be 1/(5/2 + -2). Let a be 3/m - 34/4. Which is greater: c or a?
c
Let n = -10 + 20. Let v(q) = q**3 - 9*q**2 - 9*q - 10. Let p be v(n). Let r = 2 + -3. Is r at most p?
True
Let o be (2 - -1) + -2 - 4*-2. Are o and 12 nonequal?
True
Let x = 0.5 + -1.9. Let g = x - 0.6. Let c = -0.8 - -1. Which is bigger: g or c?
c
Let c = -142/95 - -36/19. Which is smaller: c or 0?
0
Let u = -0.3 - 1.6. Let t = 0.6 + -0.5. Let r = t - u. Which is bigger: r or -1?
r
Let o = -6 + 5. Let q(a) = -3*a - 2. Let p be q(o). Suppose 7*n = 4*n. Does p = n?
False
Let d(f) = -f + 6. Let p be d(5). Suppose -2*r = -2*h - 4, 4*h + 5 = r - 0*r. Is p greater than or equal to r?
True
Let c(f) = 3*f**2 - f + 5. Let q(b) be the third derivative of -b**5/60 - b**3/6 + b**2. Let l(w) = c(w) + 6*q(w). Let p be l(-1). Is p at most as big as -3?
True
Let f(g) = -15*g - 108. Let n be f(-7). Let k be 2/7 - 23/7. Is n > k?
False
Suppose -2*r - 2 - 2 = 0. Let m be 2/(-8)*(5 - -5). Which is bigger: m or r?
r
Let f = 33/100 + -2/25. Let q be -2 - ((-35)/(-4))/(-7). Is q equal to f?
False
Let g be ((-8)/(-4))/(2/4). Let l(a) = -a**2 + 4*a + 5. Let f be l(g). Which is greater: 6 or f?
6
Let z(c) = c**2 + 4*c - 6. Let a be z(-6). Which is greater: a or 5?
a
Let n(m) = -m**2 + 