t z be (-4)/8*2/(-6). Suppose 4*k - 2*k = 0. Which is bigger: z or k?
z
Let t = -8 - -8. Let q be ((-4)/(-6))/(2 + t). Which is greater: q or 0?
q
Let c = 2 - -1. Suppose 0 = 2*t - c*l + 389, t - 5*l + 387 = -t. Let a = 1766/9 + t. Which is bigger: -1 or a?
a
Let s(a) = 6*a**2 + 4*a - 10. Let i be s(3). Is i bigger than 55?
True
Let u = 21 - -12. Suppose -2*g - u = -3. Let s be (-2)/g + 0/2. Which is greater: 0 or s?
s
Let y = 19 + -13. Let w = -5 + y. Let l = -278/15 + 55/3. Do w and l have the same value?
False
Let y = -2 - -3. Let z be (-2)/2 - (-1 + 1). Let t be (8 - 3) + 3*z. Is y at most as big as t?
True
Let r(v) = v - 11. Suppose 5*w + 21 = -4, 3*a - 37 = 5*w. Let g(t) = -t + 11. Let o(b) = a*r(b) + 3*g(b). Let h be o(8). Does h = -2?
False
Let r be -3 + (-1 - -8) + 2. Are r and 6 nonequal?
False
Let a = 2 + 0. Suppose -a*l + 2 = k, 20 = -5*k - 0. Suppose -21*c + 12 = -17*c. Is c bigger than l?
False
Let q = -6.4 - -0.4. Let p = 5 + q. Do 1 and p have different values?
True
Let o = -1/59 - 109/531. Let n(p) = p. Let c be 0 - ((-1 - -2) + -2). Let x be n(c). Which is smaller: o or x?
o
Let m be ((-28)/(-12) + -2)/1. Let b = -6 - -8. Suppose -6 = 4*p + 2*a, -b*p - 2*a = -3*a + 1. Which is greater: m or p?
m
Let p be 18/(-81) + (2 - 16/9). Is 5/17 at least as big as p?
True
Suppose -7*f - 1 - 6 = 0. Which is smaller: -2/85 or f?
f
Let d = 11 - 18. Let g = d + 9. Let o = 0.2 - -0.1. Which is bigger: o or g?
g
Let q = -97 + 49. Let d = 242/5 + q. Are d and -10 equal?
False
Let p(m) = m**2 + 10*m. Let x be p(-10). Let g be (-6 - -7)/(1 + x). Let y = 0 - g. Which is bigger: 0 or y?
0
Suppose 2*n - n = -4*j + 13, n + 2*j - 9 = 0. Suppose 8 - 3 = k. Are k and n equal?
True
Let u = 10 - 14. Let h be (1 + 69/(-66))*u. Let q be (6/(-24))/(1/4). Is q smaller than h?
True
Let a(z) be the first derivative of -z**4/12 - 5*z**3/6 + 3*z**2 + 2*z + 3. Let y(x) be the first derivative of a(x). Let q be y(-6). Which is smaller: 3 or q?
q
Let u(r) = r**3 + 1. Let o be u(-1). Let n = -2 + o. Which is greater: n or -1?
-1
Let i = -216/5 + 43. Let l be (-10)/6 + 3/(-9). Which is bigger: i or l?
i
Let n = -5 - 2. Let l = n + 8. Suppose r - l = 0, r + 2 = 3*h + 6*r. Which is smaller: 1/3 or h?
h
Let d be 176/630 + (-20)/90. Let t = 47/210 - d. Suppose -5*n - 16 = 4*u - n, 0 = 3*u - 4*n - 16. Which is greater: u or t?
t
Let r = -9 + 9.2. Which is greater: r or -2/7?
r
Let w be 1/(-2 - -7 - 0). Which is smaller: w or 0?
0
Suppose -4*f = -8*f + 160. Let d be (-2)/(f/6)*2. Let h = 11.1 + -11. Are d and h non-equal?
True
Let o be 2/10*(-2 - -1). Let l(n) = -n**2 + 11*n - 1. Let c be l(11). Which is smaller: c or o?
c
Let u be 612/(-3640) + (-1)/(-2). Let w = u + -3/65. Is 2 equal to w?
False
Let t = 263 - 261. Let g = -12 + 18. Which is smaller: t or g?
t
Let c = 38179/39 + -979. Which is greater: 0 or c?
0
Let x = -3 + 8. Let s be 9*-1*x/25. Which is smaller: -3 or s?
-3
Suppose 6*m - 3*m = 0. Suppose 3*p - 4 - 2 = m. Which is smaller: 4 or p?
p
Let z(f) = f**2 + 4. Let r be z(0). Suppose r*k = -4 - 20. Are -4 and k unequal?
True
Let w be ((-60)/8 + 6)*(-4)/(-6). Is w less than or equal to -1/22?
True
Suppose -2*k - 1 = 3. Let h be k/12*(3 - 2). Suppose 5*t + 3 + 2 = 0. Which is bigger: h or t?
h
Let n = -2/7 + -31/14. Is -4 > n?
False
Let v be -6*(-2)/44*(-4)/(-24). Which is greater: v or 1?
1
Let q(o) = -o**3 + o**2 - 2*o + 7. Let s be q(5). Let c = s - -512/5. Suppose -2 = -3*d - 5. Is d bigger than c?
False
Let s be 0/2 - 50/3. Let r = s - -17. Suppose 2*h - 4 = 3*n + 3*h, -3*n = 3*h + 12. Which is greater: r or n?
r
Suppose 5*p + q = 135, -3*q = -2*q - 5. Are 27 and p non-equal?
True
Let h = 24 - 314/13. Suppose 5*r - 2 = -17. Let l(z) = z**2 + 2*z - 2. Let v be l(r). Which is greater: v or h?
v
Let v be 1 - 4 - 678/(-222). Let h = 47/185 - v. Does h = -1/6?
False
Let r = 6 - 6. Suppose -4*d = -2*q - 3*q + 121, q - 24 = d. Suppose 5*g + 4*n = q, 3*g - n = g - 3. Do g and r have different values?
True
Let d be (-2)/(-6) + (-1)/3. Let s be -2*(0 - (1 - d)). Is s < 3?
True
Let v be (16/52)/(4 - 63/15). Does -2 = v?
False
Let j = 6.2 + -0.2. Is j greater than or equal to -2/15?
True
Let z be (1/(-3))/(15/(-9)). Let d(j) = j**2 - 3*j. Let y be d(3). Suppose -5*r + 1 = 3*i - y, 3*r = 3*i - 9. Are r and z non-equal?
True
Let a = -8/17 + 33/34. Which is bigger: -4/55 or a?
a
Let b = -3.4 + 3.2. Is 2 >= b?
True
Let o = 17/3 - 19/3. Which is smaller: 6 or o?
o
Let t = -12.79 + 13. Let u = t - 0.12. Let j = -0.19 + u. Which is bigger: j or 1?
1
Let m(i) = -i**3 - 4*i**2 + 2*i + 6. Let n(r) = r + 1. Let j be n(-5). Let u be m(j). Let g be u/(-4)*(1 - 1). Which is smaller: g or -1?
-1
Let q(g) = -6*g + 86. Let v be q(11). Is v bigger than -2?
True
Suppose -j = -15*j - 504. Which is smaller: j or 0?
j
Let u be 3 - (7/(7/6) - 1). Is u greater than -6?
True
Let s be (-278)/762 - (-1)/3. Which is greater: s or 1?
1
Let k(g) = -2*g - 13. Let b be k(-6). Let f be b - (-14 + 4 + -3). Is 1 >= f?
False
Let o = -0.27 + 0.21. Let h be (-2)/(-3) - 8/30. Is h bigger than o?
True
Let y = -21.04 + 22. Let q = y + 0.04. Is -2 equal to q?
False
Suppose -3*y + 0 - 9 = 0. Suppose 0 = 2*j + 3*j. Suppose -12 = -j*l + 3*l. Which is bigger: l or y?
y
Let i be 36/(-10) + 2/(-5). Suppose 2*s = -3 + 9. Let m = i + s. Which is bigger: m or -2/15?
-2/15
Suppose -1 = -s + 3. Let k be 12/63*6/s. Are k and 1 equal?
False
Suppose 2*v = 4*k - 16, -3*v - 20 = -4*k - 0*v. Suppose 6*u + 5 = 5*u - k*x, 9 = -u - 4*x. Which is greater: -2/35 or u?
-2/35
Suppose -1 = 2*a - 0*a + m, -3*a + 4*m = -4. Let p be (0 - a) + 0 + 2. Suppose -v = v - p. Which is smaller: -2/5 or v?
-2/5
Let s(a) = a - 264. Let z be s(0). Let f be (1/4)/((-9)/z). Let x = f + -7. Which is smaller: -0.3 or x?
-0.3
Let c = 19/9 + -68/45. Are -0.05 and c non-equal?
True
Let u = 27 - 13. Let l = -29/2 + u. Which is smaller: -2/7 or l?
l
Let t = -1 - 1. Let v = 23 + -22. Let n = v - t. Which is smaller: n or 1?
1
Suppose 5*g - 26 = -6. Let i = 5 + -5. Let u be i/(6/(-1 + g)). Is 0 smaller than u?
False
Let x = 1.43 - -17.87. Let i = -19 + x. Which is smaller: i or -1/2?
-1/2
Let f(s) = 3*s + 17. Let u be f(-6). Is 1/13 at most u?
False
Let h be 45/51 + -1 - (-826)/(-1071). Which is bigger: 0 or h?
0
Let m = -4 + -8. Which is bigger: 1 or m?
1
Suppose 3*u - 9 = -33. Let y be u/(-20)*6/(-4). Which is smaller: y or -2?
-2
Let g be (-26)/(-6) + (-6)/18. Let m be (-2)/g + 11/2. Let x = m + -5. Which is greater: x or 1/4?
1/4
Suppose 6 = 3*o, 5*o - 20 = j - 3*j. Let t be (-3)/(1/(-2) + -1). Suppose 0 = 3*f - t*x + 5 - 18, 0 = j*f + x. Are 1 and f unequal?
False
Let r(z) = -z**2 + 15*z - 2. Let k be r(14). Let m be (k/2)/3 - 11. Are -9 and m equal?
True
Suppose -n = 0, p - n = -6*n + 1. Let u(q) = 8*q**2 + 2*q - 1. Let a be u(p). Is a > 9?
False
Let y be 10/45 + 796/(-18). Which is greater: 2/3 or y?
2/3
Let j(r) = -4 + 2 + 4*r - r**2 - 1. Let f be j(3). Suppose -4*i + 4*z - 4 = -f*z, -2*i = 5*z - 26. Is 3 greater than i?
False
Let d = 2 - 3. Let x be 4*(-1)/(d - -3). Let k(y) = -y**2 - 3*y + 7. Let w be k(-5). Is x equal to w?
False
Suppose 4*l + 6 = 5*l. Which is greater: 0 or l?
l
Let g be (-10)/15 + 1/(-3). Let v be (273/(-6))/(g/(-2)). Let t be 2/4 + v/126. Which is smaller: t or -1?
-1
Let u = -1 + 1.1. Which is greater: u or -9/5?
u
Let u = 11.01 + -11. Let m = -0.31 + u. Is -3 less than or equal to m?
True
Let f = -11 - -4. Let n = f + 10. Suppose 0*s - 5*y = -s - 19, 4*s + 4*y = 20. Is n != s?
True
Let n(l) = l**3 + 5*l**2 + 4*l - 3. Let j be n(-4). Let t(a) = -a**3 - 2*a**2 + 2*a - 2. Let x be t(j). Let y = -29 - -29. Is x equal to y?
False
Let a = 10 - -10. Which is smaller: a or 0.1?
0.1
Suppose -2*x + s + 18 = 0, -s + 45 = 5*x + 2*s. Is 12 greater than or equal to x?
True
Let t(p) = -p**3 - 9*p**2 - 9*p - 12. Let k = -5 + 9. Suppose k*g + 31 = -x, 0 = -2*g + g - 4*x - 4. Let v be t(g). Is -2 less than v?
False
Let z = 66.1 + -66. Let i be (-3)/1 - -1 - 7. Is z > i?
True
Suppose -4*m + m - 39 = 0. Is m < -13?
False
Let f = 8028 - 96403/12. Let t = 25/4 + f. Is -0.2 greater than t?
False
Suppose 231*q = 233*q + 32. Which is smaller: -73/5 or q?
q
Let t be (-104)/(-6)*6/4. Suppose -30 = -d - d + j, -d + t = 5*j. Let i be (9/(-6))/(12/d). 