b = 24 + -14. Let q = -11 + b. Which is bigger: q or -2/7?
-2/7
Suppose -4*b - 2 = r, 5*b - 2*r - 2*r = 8. Which is greater: 2/35 or b?
2/35
Let u = 209/91 - 28/13. Let a = 13 + -13. Suppose -2*v - 3*t - 2 = a, 5*v = 2*v + 4*t - 3. Is u at most as big as v?
False
Let n = -295 + 297.94. Let p = 0.06 + n. Are -1/2 and p nonequal?
True
Let x = -4/7 - 13/14. Let b = 5 - 9. Let i be (-8)/(-20) + b/35. Does x = i?
False
Let n = 22 - 27. Which is smaller: -2/5 or n?
n
Let r = 3.08 - 0.08. Let k = r + -9. Let t = 5.8 + k. Which is greater: 2/19 or t?
2/19
Suppose 12 = -3*n + 6*n. Let p be (2/n)/(1/24). Let d be 7/p + 1/(-4). Which is bigger: 0 or d?
d
Let x be 1/((-4)/(-28)) - 1. Which is bigger: x or -1/4?
x
Suppose -19 = -3*p + 29. Let t be (-1 + -15)*(-2 + 1). Is t at least as big as p?
True
Let a be (-1)/(270/(-579)) - 0. Let m = 11/5 - a. Which is smaller: m or 1?
m
Let d = 164 - 2786/17. Let f(o) = -5 - 2 + o + 2. Let v be f(6). Are d and v non-equal?
True
Let k(g) = g**2 + 11*g - 2. Let v(t) = t**2 - 7*t - 5. Let j be v(6). Let x be k(j). Let n = x - 0. Which is greater: 0 or n?
0
Let z = 5 - 5. Let p be (-4)/14 - 64/(-28). Is p at most as big as z?
False
Suppose 0 = -0*g + g + 1. Which is greater: -5/3 or g?
g
Suppose 4*c = -u - 20, 0*c = 3*u - 4*c - 20. Which is greater: u or 3?
3
Suppose 3*d - 9 = -4*j - 2*d, j - 2*d + 1 = 0. Is 6/59 at most j?
True
Let w = -59/6 - -10. Which is greater: w or -1?
w
Suppose -6*y = -11*y + 5. Which is greater: 2/91 or y?
y
Suppose -5*v + 8 = 2*i, 1 = -i - 5*v + 5. Suppose -3*y + i = -2. Suppose 4*s - 15 + 3 = 0. Which is smaller: s or y?
y
Let d = 258/133 + -26/19. Which is bigger: 0 or d?
d
Suppose -5*d + 3*d = 56. Let g be 8/d + 9/7. Which is bigger: g or 3?
3
Let r = 0.5 - 0.4. Let u = -2.4 - -0.4. Let n = u - -2.1. Is n greater than or equal to r?
True
Let f be -1 + -1*(1 - -1). Suppose -13 = -4*d - 1. Let h = f + d. Is 1/3 >= h?
True
Let u(c) = -c**3 + 5*c**2 + 7*c - 4. Let p be u(6). Which is smaller: p or 18?
p
Suppose 4*a - 7*f + 6*f = 8, -2*f - 12 = -4*a. Suppose s = 4*s. Let m = s + 0. Is m at most as big as a?
True
Let m = -7 - -8.1. Let l = m - 1.4. Is l bigger than -0.3?
False
Let s = -0.5 + 1.5. Let r = s + -1.1. Is 1 bigger than r?
True
Let a = -76 + 22. Let g be (4/4)/(14/760). Let k = a + g. Which is smaller: 0 or k?
0
Let t = -40 + 40.92. Let d = -0.08 - t. Is -2/3 greater than d?
True
Let a(b) = -8*b - 3. Let s be a(2). Which is smaller: -20 or s?
-20
Let c = -12 - -42. Is 29 bigger than c?
False
Let j(d) = d + 8. Let a be j(0). Let k = a - 5. Let m be 2 + (-3 + k)/2. Is 1 >= m?
False
Suppose -20 = -x - 3*x. Suppose s - i = 5, x*i + 15 = 5*s + 2*i. Let o be -1 - -1 - (-2)/5. Is o less than s?
False
Let k = -1/278 + -1103/2502. Let s = 68 - 48. Suppose 5*d = -5*b - s, -4*b - 2*d - 5 = 3. Which is bigger: b or k?
b
Let d(x) = 6 - 2*x + 3*x + 2. Let k be d(-10). Let j be 1/k*(-2)/1. Which is smaller: j or 2?
j
Let l = 38 + -30. Which is bigger: 7 or l?
l
Let b be (-5)/((-75)/(-2)) + 564/180. Is b < 30/13?
False
Suppose -4*y = -2*c - 7*y - 3, -4 = 2*c + 4*y. Let d be (c - 1)*0/(-2). Suppose -3 = h + 2*h + 2*n, -3*h + 4*n - 3 = d. Which is greater: 2/5 or h?
2/5
Let p = -0.0538 - 14.4962. Let f = -15 - p. Let u = f + 0.05. Which is smaller: u or 0?
u
Let i = 0.03 - -2.17. Let x = 0.8 + i. Which is bigger: 1/4 or x?
x
Let w = -1/12 + 46/3. Let v = w - 15. Let d be (18/14 + -1)*1. Which is smaller: v or d?
v
Let p be 1*430/(-6 - -1). Is -86 less than p?
False
Let j = -260899 - -23742045/91. Let z = j - 30/13. Let m = 5 - 7. Are m and z non-equal?
True
Let o = -8 - -7. Is 0.02 greater than o?
True
Let s = 4 - 7. Let o be (s + (-11)/(-4))*-2. Do 1/4 and o have different values?
True
Suppose -2*l + 632 = 4*j + 2*l, -5*l = 0. Suppose -4*h - 110 - j = 0. Let y = 403/6 + h. Is 2/3 <= y?
False
Let t = 2 + -2. Let m be 1*-4 - (5 - 14). Suppose 0 = -5*b + m. Is t greater than b?
False
Let m = -0.064 - -5.064. Is -5 smaller than m?
True
Suppose t = -5 + 11. Suppose 5*p + 4*a = 20, -t*p + 3*p - a = -5. Is 0 >= p?
True
Suppose -258 = -4*o + 2*f, -3*o = 2*f - 111 - 86. Is o at least 0?
True
Let p = -9 - -12. Does p = -6?
False
Let n(h) = h - 6. Let x be 2 - (-4 + (0 - -2)). Let z be n(x). Let d(j) = -j**3 - 4*j**2 - 2*j + 1. Let o be d(-3). Is o greater than z?
False
Let v = 1.9 + -2.9. Do v and -2 have different values?
True
Let b be 18/(-3) - (-2)/1. Let d(m) = m**3 + m**2 + m - 1. Let n be d(1). Let l be (n/(-2))/(3/9). Which is bigger: l or b?
l
Let u be (-5 + 6)/(3/(-48)). Which is smaller: -14 or u?
u
Let t = -0.08 + 0.09. Let v = t - 0.01. Let m = 3/28 - -47/84. Is v at most as big as m?
True
Suppose 60 = 4*f - 60. Suppose 15*k - 10*k - f = 0. Is k bigger than 0?
True
Suppose -6*m = -m + 25. Is m bigger than -5?
False
Let h = 39 + -32. Let i = -580 - -396. Let s = i + 1290/7. Is h <= s?
False
Let n(q) = -3*q - 11. Let g be (3 - 1)*(-13 - -11). Let w be n(g). Are w and 1/18 equal?
False
Suppose -10 = -2*b, g + b - 3 = 4. Let q(r) = -r**2 + 8*r - 1. Let p be q(7). Suppose 2*n + 4 = p*n. Which is smaller: g or n?
n
Let s = -7 - -6.68. Which is smaller: s or 2?
s
Let f(p) = p**3 + 2*p**2 - p. Let h be f(1). Suppose -4*y = -w - 6 - 1, h*y - 17 = 5*w. Let a = -238 - -2616/11. Which is greater: y or a?
y
Suppose 2*j + 2*j = 0. Suppose 0*r - 5*r - 20 = 0, -r = -3*x + 7. Which is bigger: x or j?
x
Let l = 65 - 456/7. Let o be (2/2)/2*-2. Which is greater: o or l?
l
Let s = -6.86 + -0.14. Let k = 6.9 + s. Which is smaller: -2/9 or k?
-2/9
Let h be (3 - 0) + -1 + -3 - -2. Is h smaller than 6/13?
False
Let q(v) be the second derivative of -v**3 - 2*v + 0 + 4*v**2 + 1/2*v**4 + 1/20*v**5. Let r be q(-7). Is r <= -1/4?
False
Let x be (1/(-2))/((-1)/4). Let u = -14 - -23. Suppose -3*d = -4*n - u, -15 = -5*d + n + 3*n. Which is bigger: x or d?
d
Let p be -3*(-1 - 1 - 1). Let j = 9 - p. Which is smaller: -4/5 or j?
-4/5
Suppose -u - 3*u - 22 = -5*y, -2*y - 2*u = 2. Suppose -y*k - 33 = -7. Is -12 equal to k?
False
Let p be (-1 + 1/2)*(-2 + 1). Which is smaller: -3 or p?
-3
Let t = 218/5 - 44. Do t and -23 have the same value?
False
Let x = -11 + 21. Suppose -x = -4*a + 2. Let y = 6 + -4. Is a > y?
True
Let u = -548/7 - -78. Let h = -15 - -14.9. Is h < u?
False
Let s = -47/544 - 1/32. Is 2/5 less than or equal to s?
False
Let m be (0 + 0)*3/6. Is m <= 10/7?
True
Suppose 0 = 7*w - 4 - 3. Which is bigger: w or 4/43?
w
Suppose 3*w - 3*b - 12 = 0, w - 2*w = b - 2. Let q = 1 - -1. Which is bigger: q or w?
w
Let q be ((-5)/35)/((-9)/21). Which is greater: 0.05 or q?
q
Suppose 22 = 3*p + 2*d, 0 = -4*p + 2*p + 5*d + 2. Is 27/4 less than or equal to p?
False
Let y(m) = -2*m**2 - 33*m - 3. Let d(n) = -n**2 - 16*n - 1. Let z(v) = 13*d(v) - 6*y(v). Let q be z(-10). Let c = 5 + -1. Which is bigger: q or c?
q
Let g = -17.5 + 2.5. Let a = 16 + g. Which is greater: a or -6/7?
a
Let d = 6 + -7. Let l = -1 - d. Is -1/15 at least l?
False
Let k(g) = g**2 - 6*g - 2. Suppose -30 = -3*q - 2*q. Let b be k(q). Let m be (2*-1)/(2 + 0). Is m smaller than b?
False
Let q be 2/6*(0 - -1). Suppose 0 = 3*h + 4 - 19. Suppose -r + 4*r - h*o = 28, -2*o = 3*r + 7. Are q and r nonequal?
True
Suppose -2*h + 0 = -2. Let t(i) = -5*i + 1. Let x be t(h). Let y be 6/x + (-1 - -1). Which is smaller: y or -2?
-2
Let k(y) = 4*y + 6. Let a be k(-3). Which is smaller: -25/4 or a?
-25/4
Suppose 5*h - 3*i + 9 = h, 14 = -5*h + i. Suppose -4*q + q + 21 = -3*l, q = 5. Let p be 0 - (l - (-2 + h)). Is p less than or equal to -4?
False
Let k = -5 - -4.9. Let i = -3 - -2. Are i and k nonequal?
True
Let v be 2/4 + (-348)/(-24). Which is smaller: v or 14?
14
Let h = 101751/47 + -2165. Which is smaller: h or 0?
h
Let y be (-1126)/6 - 24/(-36). Let o be 6/33 - (-56)/y. Is o < 0?
True
Suppose -4*r = 2*r. Let g be ((-2 - -2)/2)/1. Is r < g?
False
Suppose -q = -6 + 5. Let d = 289/396 + 2/99. Is q < d?
False
Suppose -15 - 13 = 4*s. Suppose 4*u = -3*l - 37, 0 = 5*u + 2*l + 25 + 16. Is s <= u?
True
Let r = 8333/165 - 524/11. Let h = 397/135 - r. Is h at most 1?
True
Let a be 2 - ((-60)/3)/(-2). Let q be (3/12)/(3/a). Let k = -3 - -2.9. Are q and k nonequal?
True
Let f(q) = q**3 - 3*q + 3. Let h be f(-3). Let y be (16/24)/(2/h). Which is smaller: -3 or y?
y
Suppose r = 6*r - 135. Is r