/(-24))/((-1)/l). Let r be -1 + (0 - (a + -3)). Which is smaller: r or 2/9?
r
Suppose 0 = 2*i + i. Let n be i/(2/(2 - 0)). Do n and -1/6 have the same value?
False
Suppose 17*j + 10 = 16*j. Which is smaller: -13 or j?
-13
Let l = 1.02 - 0.62. Which is bigger: l or 1/6?
l
Suppose 6*r = 3*n + r + 13, 0 = n + 5*r + 11. Is -5 equal to n?
False
Let b be (-1)/5 + 2/10. Is 0 less than b?
False
Suppose 2*t - u - 20 = -2*t, 0 = 3*t - 3*u - 15. Suppose f + t*a - 10 = 2*a, 0 = 3*f + 3*a - 12. Let b = -1/45 + 19/45. Which is smaller: f or b?
b
Let x = 16/9 - 130/63. Let t be 2/(-10) - (-6)/5. Is x greater than t?
False
Let y(j) be the third derivative of -j**6/120 - 3*j**5/20 - 5*j**4/12 - 7*j**3/3 - 10*j**2. Let t be y(-8). Is 3/4 at least as big as t?
False
Suppose -5*s + 3*y + 8 = 0, 3*y = y - 2. Which is smaller: s or 2/13?
2/13
Let t(x) = -x**3 - 6*x**2 - x - 7. Let d be 58/(-10) + 5/(-25). Let f be t(d). Let j = 1 + -2. Do j and f have the same value?
True
Let i(v) = -175*v**2 - v. Let b be i(1). Let y = b - -102. Let t = y - -372/5. Which is smaller: t or 0.2?
0.2
Let x = -19/20 + 6/5. Suppose -2*b - 2*j = 12, 4*j + 14 = 3*b - 2*b. Let c be -2 + b/(-2)*3. Are x and c non-equal?
True
Let w be (-1)/(3/2 + -1). Let l = -7 - -9. Is l equal to w?
False
Let m(l) = -l**2 - 6*l - 7. Let r be m(-5). Let v be (2/(-4))/(2/(-16)). Suppose -25 + 1 = 4*p - v*y, 5*p - y = -18. Which is bigger: r or p?
r
Suppose -19*l + 21*l + 6 = 0. Is 7 < l?
False
Let h(t) = -t + 9. Let p be h(9). Let b be (4/16)/(7/6). Which is smaller: p or b?
p
Suppose i + i - 6 = 0, 98 = -2*j + 4*i. Are -43 and j non-equal?
False
Let s(h) = 2*h + 4. Let m be s(-2). Which is smaller: m or 4/21?
m
Let s(t) = t - 1. Let o be s(3). Is o <= 6?
True
Let m = 311 + -1546/5. Which is greater: m or 2?
2
Let s = -131 - -123. Is -9 at least s?
False
Let o be 9/2 - (-1)/2. Suppose 8*u = 3*u + o. Is u at most as big as 5/4?
True
Let a = -1 - -10. Let n = -125.9 + 126. Does a = n?
False
Let q(l) = 17*l**2 - 3*l - 2. Let z be q(-1). Let d be -9*(2 + (-39)/z). Are d and 2 unequal?
True
Let o = 0.12 + 4.88. Let c = 5.1 - o. Which is bigger: -0.03 or c?
c
Suppose -n = 2*n. Suppose n = -4*q + 4. Is q greater than 1/23?
True
Let o = -2 + 2. Let q = 0.06 + 0.04. Let u = o + q. Is 3 >= u?
True
Let m(g) = g**3 + g**2 + g - 1. Let f be m(0). Let c = f - 1. Let y = 6/13 - 44/39. Which is smaller: c or y?
c
Let q(y) = -y**2 - 8*y - 5. Let v be q(-7). Is v less than 3?
True
Let r be (27/(-45))/((-63)/(-6)). Suppose 4*w + 8 = -4*d, -4*w - 7 = 4*d - w. Which is greater: r or d?
r
Let d be 1 + 0 + (-2484)/2492. Which is smaller: d or 0?
0
Suppose 10 = 3*i - 2*a, -2*a + 4 = 5*i + 14. Which is smaller: i or -4?
-4
Let k be (-5)/1 + 2 + 5. Suppose -17*p = -6*p - 33. Which is smaller: p or k?
k
Let t(j) = 4*j**3 - 5*j**3 - 105 - 83. Let i be t(0). Let m = i - -1314/7. Which is smaller: m or 0?
m
Let b be 9/(-18)*(-4)/10. Is b at least -1?
True
Let p = -33 - -51. Let l = -6 + p. Is l less than 11?
False
Suppose 2*o + 3*o = 0. Which is smaller: o or -2/37?
-2/37
Let z = 63 - 25. Let t = -26 + z. Suppose -2*m + t = 2*n, 0 = 3*m - n - n + 7. Is 1/2 at least m?
False
Suppose 0 = b - 0*b + 4*h - 20, -4*b + 10 = 2*h. Is 1/16 <= b?
False
Suppose a + 2 = -d, 3*d + 0*d = -5*a - 2. Suppose -4*g + 3*b = 6, 3*g = 3*b - 1 - 5. Let v(n) = -n + 3. Let j be v(g). Is a less than or equal to j?
True
Let i be ((-1)/(-4)*-2)/(1/(-2)). Let d be 2/6 + (-4)/(-15). Is i <= d?
False
Suppose 2*r = 7 + 3. Suppose -u = 3*m + 8, -u + 9 = -r*m + 1. Is m at most -3?
False
Let i(u) = u**3 + 3*u**2 - 8*u + 1. Let y(w) = -2*w**3 - 6*w**2 + 17*w - 3. Let j(f) = 9*i(f) + 4*y(f). Let z be j(-3). Which is bigger: 8 or z?
z
Let w be 0/((-2)/(2/(-3))). Suppose w = v + 1. Which is bigger: v or -1/8?
-1/8
Let x = 8 - 3. Suppose 35 = x*m - 5*r, -42 = -5*m + 4*r - 9. Let a = m - 5. Are a and 2 equal?
False
Let t = -17 + 19. Which is smaller: 0.2 or t?
0.2
Suppose 72 = f - 98. Let z be (-2)/7 + 170/1. Let b = z - f. Which is smaller: 0 or b?
b
Let g(b) = -b**3 - 3*b**2 + 5*b - 10. Let w be g(-5). Let l(f) = 3*f + 4. Let d be l(4). Are w and d equal?
False
Let g(u) = u**2 - u - 2. Let y be g(-2). Suppose o - y = -3. Let l(q) = q**2 + 11*q - 12. Let w be l(-12). Is w >= o?
False
Let y be 1/(2*(-1)/(-2)). Let l = -2 + -1. Is l less than or equal to y?
True
Let j(u) = u - 3 + u**3 + u + 5 + 3*u**2. Let r be j(-2). Suppose -2 - r = -4*n. Which is smaller: n or -1/3?
-1/3
Let h be (-2 + 3)/(-1 - (-9)/6). Which is bigger: h or 1/2?
h
Suppose -4*o = -b + 10 + 7, -4*o = 2*b - 10. Let g = -11 + b. Let k = -2 + 2. Which is smaller: g or k?
g
Let i be (-336)/98 + 2*1. Is i != -2?
True
Let y = 4 - 1. Let v(n) = 2*n - 4*n**y + 10*n**2 - n - 10 + n**3 + 2*n**3. Let h be v(10). Which is bigger: 6/5 or h?
6/5
Suppose -1 = -i + 2*u + 2, 2*i + 4*u = -26. Let o be 1/4 + (-3)/12. Let a be o + 1 + (1 - 6). Is i greater than a?
False
Let r(z) = -z**3 + 4*z**2 + 5*z - 3. Suppose -4*b + 0*b = 8. Let c be b/(-9) + (-86)/(-18). Let m be r(c). Is -4 greater than m?
False
Suppose 3*o - 118 = 4*j, -2*o - 3*j = -34 - 39. Let q = 26 - o. Do q and -12 have the same value?
True
Let y be 4/(-12)*30/(-2). Suppose 0*t = y*t. Suppose 4*d - 9 = -t*d + c, 0 = -3*d - 4*c + 2. Is d at most as big as 1/2?
False
Suppose 0 = -4*c - 2*r + 66, -2*r = 3*c + 3*r - 67. Let t be 3/2*(-4)/c. Which is bigger: t or 2/5?
2/5
Let f be 2/((-30)/(-3)) - 248/(-10). Is f at least as big as 24?
True
Let m(f) = -f - 1. Let x = -10 - -14. Let p = x + -1. Let n be m(p). Are -4 and n unequal?
False
Let a be (-6)/(-27) - (-178)/9. Suppose -v + 6*v = a. Let g = -4 + v. Is g equal to -1?
False
Let o be ((-5)/(-15))/(1/51). Suppose -y - 3*k - o = -0, -2*y + 4*k = -16. Let p be y/3*(-6)/4. Which is smaller: 1/4 or p?
1/4
Suppose -4*q = -3*q - 8. Suppose -p - 2*v + 17 = 2*p, 2*v + 11 = p. Is q greater than or equal to p?
True
Let m = -127/9 + -128/9. Is -27 greater than m?
True
Let k = -6 - -5. Let z be (-2 + 11)/(k/2). Let h be (-1 + 1)*6/z. Is -1/2 at most as big as h?
True
Suppose -2*a + 8 = 0, -8 = 4*q - a - a. Is 2/33 less than q?
False
Let f(m) = -39*m**3 - 2*m**2 + 1. Let t be f(-1). Which is greater: 40 or t?
40
Let f = -16 + 21. Are 6 and f unequal?
True
Let d = 2.29 + -0.29. Is 0.04 greater than d?
False
Let s be (-610)/(-1920) + (-1)/3. Let p = s + 259/192. Suppose 4*n - 3 = 5. Which is smaller: p or n?
p
Let n = -21876017/21 + 1042181. Let f = -466 + n. Which is smaller: 0 or f?
f
Let h be (-2)/(-6) + (-2)/(240/28). Let r be (2/6)/((-6)/(-4)). Which is greater: r or h?
r
Suppose -w + 21 = 2*w. Suppose -1 = -2*h + w. Which is bigger: -1 or h?
h
Let b = -20.9 - -20. Let q = -0.1 + b. Which is greater: -0.2 or q?
-0.2
Let s be ((-4)/3)/(-4) - 0. Let k(t) = 2*t - 5. Let q(b) = 2*b - 4. Let y(o) = 3*k(o) - 4*q(o). Let f be y(1). Which is smaller: s or f?
f
Suppose -d - 4*i + 7 = 0, -3*d = 2*i - 3 + 2. Let g(b) = -b - 6. Let n(w) = -1. Let l(y) = -g(y) - n(y). Let o be l(-7). Which is bigger: o or d?
o
Let w = -1 - 3. Suppose -2*m = m - 21. Let p = m + -9. Is p <= w?
False
Let g(v) = v**2 + 9. Let m be g(0). Let t be (m/6)/((-2)/(-12)). Which is smaller: 8 or t?
8
Let j(g) = -10*g + 7. Let q be j(-4). Which is smaller: q or -0.1?
-0.1
Let m = 0.01 - -0.09. Let j = 1 + -4. Let t be (8/2)/(-2) - j. Which is bigger: t or m?
t
Let z be ((-33)/18 - -2) + (-5)/(-15). Let h(v) = -v**2 - 13*v. Let w be h(-13). Is z less than or equal to w?
False
Let l = -19 + -1. Which is greater: -19 or l?
-19
Let k = 5.1 - 6.02. Let r = 0.08 - k. Which is smaller: -2/17 or r?
-2/17
Let x be (1 + 0/(-3))*-1. Let p be 6/(-18)*6/14. Which is smaller: x or p?
x
Let z(p) = 2*p - 2*p**2 - 3*p**3 + 2*p**3 - 4 + 0*p**3 + 0*p**2. Let w be z(-3). Which is smaller: w or -1/2?
w
Suppose 4*v - 4*d - 36 = 0, -3*d = -5*v - 0*d + 39. Which is smaller: -0.1 or v?
-0.1
Let c = -12.7 + 0.7. Let w = c - -13. Is 0.6 != w?
True
Let i(u) = -3*u - 18. Let o be i(-3). Suppose -37 = 5*m + g + 2*g, 4*m = g - 33. Is o not equal to m?
True
Let s = 17/20 + -3/5. Let b be (-1)/(-2)*-2*1. Which is greater: s or b?
s
Let i(y) = 6*y + 2. Let k be i(-2). Let s be (-4)/k + (-4)/10. Suppose 5*a + s*a - 5 = x, 5*a = -4*x + 30. Is a equal to -1/3?
False
Let a(c) = c**2 + 7*c + 8. Let s be a