
q
Let r = -0.8 - -1.2. Let x = 0 - r. Let k = x + 0.6. Are k and 0.1 unequal?
True
Suppose 5*o = -0*o. Let h be ((-1)/2)/(1/(-6)). Let c be (o/(-1))/(h/1). Which is smaller: -1/3 or c?
-1/3
Suppose 0 = -3*f + 5*f - 10. Let x be (-1 - 1) + (5 - f). Which is greater: x or -2/3?
-2/3
Suppose 0 = l - 2, -5*t + 7*l = 4*l - 4. Is 11 at least as big as t?
True
Suppose 0 = -2*h + h. Let z = -2.9 - 0.1. Let w = -4 - z. Which is bigger: h or w?
h
Suppose 2 - 10 = n. Let d = -13 - n. Is d at least -6?
True
Let v be 6/(-4) + 2/4. Let p = 0.06 + -0.16. Let s = 0.2 + p. Which is smaller: v or s?
v
Suppose -g - 2*j + 5*j - 9 = 0, -j = -4*g - 3. Suppose -2*i = a - 3, a - 2*a = -2*i - 11. Let n be ((-2)/a)/((-2)/4). Which is smaller: n or g?
g
Let k = -1/48 + -5/16. Which is smaller: k or 0.01?
k
Let q = -3127/10160 - 3/635. Do -1 and q have different values?
True
Let r = -261/4 - -66. Let c be -1 + (-1)/(-1) + 2. Which is greater: r or c?
c
Suppose -h - 3*m = -41, 2*m + 16 = -2*h + 3*h. Let y = -51/2 + h. Which is smaller: y or -1/6?
-1/6
Let w be (-2362)/(-14) - (-21)/(-7). Let u = -166 + w. Which is smaller: u or -1?
-1
Let j = -48 + 49. Which is greater: 1/3 or j?
j
Let r(v) = v**3 + 11*v**2 - 10*v + 16. Let c be r(-12). Let h be c/6*(-7)/(-28). Is h greater than 3?
False
Let b be (-15)/(-21) - (-2)/7. Let n be (8/(-6))/(10/(-135)). Let h = 109/6 - n. Which is smaller: b or h?
h
Let y be (138/(-39))/(-1) + -4. Is y smaller than 1?
True
Let s = -15 + 12. Suppose 7 = 4*b + 31. Let w = -10 - b. Is s bigger than w?
True
Let a(v) be the third derivative of v**5/60 - v**4/24 + v**3/3 - 2*v**2. Let j be a(0). Let h be (j + -1)/((-3)/6). Which is smaller: h or -1?
h
Let t be (-60)/(-75) - (-1)/5. Let a be -2*(-2 - 50/(-26)). Is a equal to t?
False
Let b be 0 - ((-20)/(-132) - (-1)/(-3)). Let a = 2 - 2. Which is smaller: b or a?
a
Let a = 2 - 1.7. Is a less than 2/3?
True
Let l = 29 - 29. Which is smaller: l or -2/5?
-2/5
Let y = 1111.14 - 1095. Let r = y - 16. Let z = r + -0.04. Which is bigger: -1/2 or z?
z
Let c = 23 + -20. Do c and 8/3 have different values?
True
Let f = -10 + 4. Is f > -4?
False
Let j(c) = c**2 - 7*c + 3. Let g be j(6). Let s(d) = d**2 - 3. Let p be s(g). Let n be (0 - (-2)/p)*9. Which is smaller: 4 or n?
n
Let y be 3*(-2 - 16/(-6)). Is y at most 2?
True
Let w = -8 + 13. Suppose v = -c + w*c, 0 = -3*v + 12. Let n be (-10)/12 + c/6. Is 0 smaller than n?
False
Let k(d) = -d - 9. Let j be k(9). Let v = -15 - j. Which is smaller: v or -0.1?
-0.1
Let x = 0 + 36. Suppose -5*h + x = 6. Let q be ((-98)/(-21))/(4/6). Which is smaller: h or q?
h
Let w = 13.8 + 9.2. Which is greater: w or -3?
w
Suppose r + 5*k - k = -14, 4*k + 20 = 2*r. Let p be 0 + 2 + -4 + 23. Let l be 6/28 - (-6)/p. Is r bigger than l?
True
Let u = -9.7 - 0.3. Let v = -10 - u. Is -2 <= v?
True
Let f be 6/4*(-12)/(-9). Suppose -1 - 3 = f*o. Is o at most as big as 0.1?
True
Let t(w) = 3 - 5 + 6*w - w**2 + 4*w**2 - 3 - w**3. Let q be t(4). Is 4 at most q?
False
Let d be (15/27 - 1)/(8/12). Which is bigger: d or -3/5?
-3/5
Let l = -11 - -15. Let t be 10/l*32/120. Which is bigger: t or -2/7?
t
Suppose -3*q + 7*q = -16. Let g = q + -1. Which is greater: g or -3?
-3
Let y be (-4)/(-7)*2/(-24)*22. Is y bigger than -1?
False
Let n = -22 + -5. Let i = -53/2 - n. Which is smaller: i or 0?
0
Suppose 5*o - 7 = -n, -4*o = n - 4 - 2. Let b be n/10 + 370/(-975). Let t = 173/312 + b. Does 1 = t?
False
Let w be (-2)/9 - (-4)/18. Let o be (-3 - -1) + 2 - -37. Let i = 107/3 - o. Is i >= w?
False
Let a = 65 + -65. Is 5/17 greater than a?
True
Let r = 943 - 3753/4. Is 6 greater than or equal to r?
True
Let w(s) be the third derivative of 0*s + 5/24*s**4 + 1/15*s**5 + 0 - 2*s**2 - 1/120*s**6 + 1/2*s**3. Let p be w(5). Is p < 2?
False
Suppose -5*d - 4*l = -67, -2*l - 9 = -4*d + 55. Which is smaller: d or 13?
13
Let i = -10/63 - -1/21. Suppose -12 + 32 = 4*p. Suppose -2*j + 5*k = 2*j + 6, -p*j = -2*k - 1. Is i < j?
True
Suppose 4*i - 75 = -i. Let v = i - 5. Are 10 and v non-equal?
False
Let f = 527/4 - 131. Let q(t) = -7*t**3 + t**2 + t. Let u be q(-1). Suppose 0 = -4*b + 1 + u. Is b <= f?
False
Suppose 2*q + q - 12 = 0, 0 = b + 3*q - 8. Suppose -n = -0*n - 16. Let r be b/18 - n/36. Which is bigger: r or -2?
r
Let m = 4 + -5. Let x be (m + 3)*2/(-4). Which is smaller: x or 2/5?
x
Suppose -3*c - 15 = -2*m, 5*m - 24 - 3 = 4*c. Suppose u = m*w - 4, -u = -0*w - w. Let d be ((-6)/54)/(1/w). Which is smaller: d or 1?
d
Let s(m) = m**3 - m**2 + 5*m + 2. Let y be s(4). Let k be 85/y + 2/7. Which is bigger: k or 1?
k
Let a = -1.15 + 0.15. Let t = -0.02 - 3.98. Let k = 3 + t. Is a != k?
False
Let z be (-2)/(-3)*(-3)/(-8). Let r = 31 - 50. Let s = r - -75/4. Is z less than or equal to s?
False
Suppose 4*h + 19 = 3*s - h, 2*s = h + 1. Let a = -9 - s. Let l be 2/(-3)*3/a. Which is greater: l or 1?
1
Let r be 4/(16/6)*-10. Let y be r/9 - 0 - -2. Is y > 1?
False
Suppose 21 - 5 = 2*a. Let f = 4 + -6. Let q be (-50)/72 - f/a. Is 1 <= q?
False
Suppose -3*x = -3*a + 2*x + 11, 3*x - 1 = -2*a. Let t = a - 0. Is t <= 2?
True
Let v be -5 + -2 + 1 + 1. Let f be (-6 + 3)/3 + 3. Suppose b + 20 = -5*z - 2*b, 2*z = f*b - 8. Which is smaller: z or v?
v
Suppose -34 = 5*u - 4. Let s be (3/u)/((-1)/20). Suppose 3 = 4*t + p, -2*p = 5*t + 2*p + s. Does 1/2 = t?
False
Suppose 4*u + 3*i = 2*i + 19, 5*u - i = 35. Let q = -12 + 7. Let g be (-1)/q - u/5. Which is smaller: g or -2?
-2
Suppose m = 5*h - 3 - 0, 3*h + 3*m = 9. Let f be ((-18)/(-45))/(936/(-290)). Let b = -1/78 - f. Are h and b nonequal?
True
Suppose 5*y = 55 - 0. Let g = y - 3. Which is bigger: 9 or g?
9
Let z = 2 - 45. Let r be (-629)/15 - (-6)/(-9). Let w = z - r. Is w >= 0?
False
Suppose 0 = -w + 4*w - 21. Suppose w + 7 = 2*x. Which is smaller: x or 8?
x
Let z be 4/3*30/20. Is 4 >= z?
True
Suppose -p = -3*c + 65, -2*c - 2*p + 90 = 2*c. Let w be (-2)/6 + (-192)/(-9). Which is bigger: c or w?
c
Suppose a = -3*q - 3*a + 3, -a - 3 = -3*q. Let d be 4*-1*-2 + -1. Suppose 0 = -2*r + d*r. Is r <= q?
True
Let j = -1 + 1. Let d(q) = q. Let k be d(1). Let o = k + 0. Do o and j have the same value?
False
Let r = 65 + -61. Let u = -1 - -4. Which is greater: r or u?
r
Suppose 0 = -2*w + 2 + 2. Let h be w + -1 + (2 - -1). Which is bigger: h or 3?
h
Let g be 7*1 - 9/(-9). Which is greater: g or 6?
g
Let m = 22 - 21. Is m != -2/29?
True
Let o be (-2)/9 + (-32)/18. Let x be (-10)/(-4) + 1/o. Let f(d) = d**2 + 3. Let l be f(0). Is x smaller than l?
True
Let z = 18 - 8. Suppose 3*m = 2*x + z, m - 8 = -7*x + 3*x. Let f be 7/7*-1*x. Which is greater: f or 1?
1
Let f be 44/55 - 672/(-10). Is f <= 68?
True
Let p = -568/7 + 81. Let u(s) = s**3 - 3*s**2 + 2*s + 1. Suppose -4*b + 26 = 5*m, -3*m = -2*b - 3*b + 14. Let o be u(m). Which is smaller: p or o?
p
Let a be 2/8 - (-139)/4. Let w = a - 59. Let f be 6/(-20)*(-16)/w. Which is bigger: f or 0?
0
Let k be 19/(-2) + 5/(-10). Is -9 < k?
False
Let c = 68 + -72. Let d = -2.1 - -2. Is d equal to c?
False
Suppose 6*u - 64 = 4*n + 4*u, 2*u = 0. Let y = 23 + n. Which is smaller: y or 6?
6
Let t be -2*-1*(-1)/2. Suppose 0*x = -2*x. Which is smaller: x or t?
t
Let q be (2/8)/(5/20). Suppose -g - 3*t - 11 = -6*t, 0 = t - 4. Let c = g + q. Does c = 2?
True
Let s = 2 + 9. Suppose -4*y = -5*c + 2 + s, 4*c - 2 = -y. Let t = -17 - -33/2. Is y greater than t?
False
Let y = 1053/2 + -106349/202. Are -1 and y non-equal?
True
Let n be 20/3*(-36)/15. Let i = n - -10. Is -6 <= i?
True
Let m be (-6)/(-14) - (-495)/21. Is m smaller than 23?
False
Suppose 4*x = 3*x - 2. Let t = 84 - 76. Does t = x?
False
Let k(d) = -d**3 + d**2 - d + 1. Let n(v) = 4*v**3 - 16*v**2 + 16*v - 2. Let i(q) = -3*k(q) - n(q). Let c be i(12). Is c bigger than -13?
False
Let v be (-14)/105 - 223/15. Is -106/7 >= v?
False
Let l = -4 + 2. Let d = -0.3 - -1.3. Which is smaller: l or d?
l
Let a = 15.7 - 15. Let y = a + -5.7. Let i = -4 - y. Is i >= -0.5?
True
Let h be (-8)/52 - 197/(-13). Is h > 16?
False
Suppose 7*l - 3*s - 11 = 2*l, 2*l + 5*s = -8. Let n be 587/(-21) + l/(-3). Let i = 28 + n. Which is greater: -2 or i?
i
Let g be 33*(1 - 0) - 3. Are 29 and g unequal?
True
Let f be (-22)/(-5) - (-6)/(-15). Suppose 2*k = -f*z, 0*z = 3*k - z + 14. Let x be 14/10 - (0 - -1). Which is greater: x or k?
x
Supp