7 + 175. Let h = b - -708/5. Which is smaller: h or -1?
-1
Suppose -z - 31 = 5*j, 2*z = 3*z + j + 11. Which is bigger: 2 or z?
2
Let r = -6 + 14. Suppose 0 = -5*s + 23 - 3. Which is bigger: s or r?
r
Suppose 4 = 5*n + 3*c, 0 = 2*n + 3*n - c + 8. Is n != 3/43?
True
Let s = -0.01 - -0.01. Let i = 8.3 + -1.3. Let y = i + -9. Is s smaller than y?
False
Let g = 9 + -15. Let b = -5 - g. Which is bigger: b or -1/5?
b
Suppose 2*q + 15 + 5 = 0. Is q bigger than -10?
False
Let t = -4/2007 + -3130/443547. Is 1 <= t?
False
Let t = -14 + 13.98. Let r = -1.98 + t. Is r at least 0.1?
False
Let a = 0.004 - 0.114. Which is smaller: 4 or a?
a
Let c = -2 + 0.5. Let j = c + -4.5. Which is greater: 1 or j?
1
Let i be (-2*3/(-192))/1. Let m = i - 71/224. Is -1.4 != m?
True
Suppose 4*b - 3*n = 13, 0*n - 9 = -3*b + 2*n. Let c be (-6)/(-4)*8/15. Which is smaller: b or c?
c
Let d(a) = a**2 + 3*a + 2. Let b be d(-2). Suppose -5*z + 70 = 5*p, b = 2*p - z - 24 - 4. Which is bigger: p or 15?
15
Let h(g) = -2 + 2*g - 5*g - 2. Let t be h(-3). Are 2 and t nonequal?
True
Let m = -5760/7 - -17114/21. Let a = m - -25/3. Is a less than 0?
False
Let x = 26 + -17. Suppose -l + 2*l + x = 0. Which is greater: l or -1?
-1
Let g be 6/15 - 343/820. Let p = -277/2788 + g. Does -1 = p?
False
Suppose 6*s - 8*s = 0. Let k be s + (-24)/(-13) - 2. Which is bigger: -2 or k?
k
Let f be 4/(-54)*(-27)/(-18). Which is greater: 0.2 or f?
0.2
Let q be (3/(18/3))/(-1). Which is greater: -4 or q?
q
Let j(u) = -2*u**2 + 3*u - 4. Let q be j(3). Which is greater: q or -12?
-12
Let t be -4 + (-16)/(-4) + -8. Is -7 at least t?
True
Let o = 24 + -8. Suppose -q = q + o. Let c be (-1)/(-4) - 2/q. Is c less than 2?
True
Let t be (-2 + 20/6)/4. Does 0 = t?
False
Let u = 0.5 + 0.5. Which is greater: u or 0.4?
u
Let v(m) be the third derivative of m**6/120 + m**5/5 + m**4/24 + 13*m**3/6 - 10*m**2. Let s be v(-12). Is -1/16 <= s?
True
Let d = 5.4 - 6. Let n = d + -0.4. Let g = n - 2. Is g less than 1?
True
Let x be 1 - (-225)/33 - (-8)/44. Which is smaller: x or 7?
7
Let l = 0.2 + -0.4. Suppose a - 10 = -4*a. Is l not equal to a?
True
Let b = 1053/7 + -151. Which is greater: -1 or b?
b
Let a = -19.4 - -21. Let d = a - -0.4. Is 0.1 at most d?
True
Suppose 46 = 5*d - 34. Let f be 15/(-28) - (-4)/d. Let z = -1 + 0. Which is smaller: f or z?
z
Let t = 2/47 + 37/235. Let y = 28.1 - 34. Let x = 6 + y. Which is smaller: x or t?
x
Let f be (-3 - -2) + (-3 - -10). Let q(v) = -v**3 + 8*v**2 - 6*v - 6. Let o be q(f). Let m be 2/o*(-1 - 2). Which is smaller: -1 or m?
-1
Let r(d) = d**2 + 3*d - 4. Let h be r(-5). Suppose c + h = 3*c. Suppose 2 - 8 = 3*x + c*z, z + 7 = 4*x. Is x > -2/9?
True
Let m = -3 + 2. Let g = -1 - m. Let y = -9/4 + 5/2. Which is smaller: g or y?
g
Let l be 4/20 + 138/(-15). Let k = l - -10. Which is greater: k or 7/5?
7/5
Let p(i) = -i + 11. Let h be p(-10). Let l = h - 22. Is l <= -1/5?
True
Let f be (6/4 + -3)/(3/4). Is 3/5 > f?
True
Suppose 5*m = v + 2 - 22, m = -3*v + 12. Suppose -9 = b - 3*q + 7, q - 10 = v*b. Let a = -1 - 0. Is a > b?
False
Suppose 53 = -5*k - 27. Let r = -59 - -43. Are r and k nonequal?
False
Suppose w = -0*w. Suppose 4*r = 19*g - 14*g - 5, 0 = -2*g + 4*r + 14. Which is bigger: w or g?
w
Let b = 2 + 1. Suppose h - 6 = -v, -6*v = -3*v - 12. Suppose z - h - 1 = 0. Does z = b?
True
Let w = -97 - -142. Let d = w + -1167/26. Let t = 2/39 + d. Which is greater: 1 or t?
1
Let w = -16 - -27. Let q(y) be the first derivative of y**3/3 - 11*y**2/2 - 4*y - 1. Let r be q(w). Is r at most as big as -4?
True
Let d be -1 + 5*(-4)/(-10). Which is greater: d or 9/7?
9/7
Let j = -85.3 + 85. Do j and -0.1 have different values?
True
Let w(d) = 2*d + d - 2*d - 6 - 3*d. Let p be w(-4). Let y = 8 + -6. Is y greater than or equal to p?
True
Let c(l) = -l + 6. Let j be c(6). Suppose b - 2 = 2*w - j, 2*b = -w - 1. Is b bigger than 6?
False
Let d(p) = 10*p - 1. Let j be d(2). Suppose -u - j = 2*i + i, -4*i = 4*u + 36. Which is smaller: -2 or u?
u
Let j = -305/4 + 16767/220. Which is smaller: j or 1?
j
Let s = 86 - 87.81. Let b = s - 0.19. Which is greater: b or 0?
0
Suppose i - 15 = -3*k, -4*k = -0*i - 5*i - 1. Suppose -3*b + 92 = 20. Suppose -3*o = 4*r - 3, -5*o - b = -3*r - 0*r. Is i greater than or equal to r?
True
Let n = -17 - -18. Let g = -1.7 + 1.48. Are n and g equal?
False
Let x = -6 + 9. Suppose 0 = 2*d + x + 1. Let p = 0.3 - -3.7. Which is greater: d or p?
p
Let u be 2 + 0/(-1 - -4). Let m be 4/(-10) + u/5. Is -1/4 > m?
False
Let x = 11 - 11. Suppose x*m = -4*m + 24. Which is smaller: 5 or m?
5
Let g(n) = n + 5. Let o be g(-5). Let c(r) = r**2 - 3*r + 3. Let s be c(6). Let z = s - 64/3. Which is smaller: o or z?
z
Suppose 2*p = 3*l - 11, -p + 14 = -6*p + 3*l. Let u(w) = -1. Let h(t) = t + 7. Let y(k) = h(k) + 3*u(k). Let f be y(-4). Are f and p equal?
False
Let l be ((-18)/20)/(12/(-50)). Let r = 4 - l. Suppose -3*s = -5*q - 20, -3*s + 14 = -q - 2. Which is bigger: q or r?
r
Suppose 4*w + 3*z - 2 = -12, 2*w - 2*z = 2. Is w equal to 6/13?
False
Suppose 3*r + 3 = -0. Which is smaller: 2/15 or r?
r
Suppose 3*a - 4*p = -14, 0 = -3*a - 3*p - 6 + 27. Suppose 5 = a*s - 1. Suppose 0 = d - 5*d + 16. Which is smaller: d or s?
s
Suppose -3*c - 31 = 2. Which is greater: c or 1?
1
Let b be 8/(-12)*(-2)/4. Suppose 6*w - 7 = 23. Is b less than w?
True
Let v be 41/63 + (-2)/9. Let i be (-14)/(-18) + 4/18. Is i at least v?
True
Let z = -2.7 - -3. Let m = -0.3 + z. Is -6 at most m?
True
Let v = 15 + -16.2. Let p = 5.3 + v. Let a = 4 - p. Is a != -1?
True
Let j = 0 + -1. Does j = -1?
True
Let f be (4/(-6))/((-21)/(-9)). Let h = 1220/7 + -174. Which is smaller: f or h?
f
Let y = 7 + -7. Do -1.6 and y have different values?
True
Let p = -11 - -15. Does p = 4?
True
Let h = 2 - 2. Suppose 0 = -m + 5*m + 8. Is m != h?
True
Let s = 2 - 1. Let a = 108 - 123. Which is greater: s or a?
s
Let y = -4.3 + 1.3. Which is bigger: 3 or y?
3
Suppose -5*i = -3 - 7. Let j = i + 1. Suppose r - 3*l - j = -r, 7 = 4*r - 5*l. Which is greater: r or 2?
r
Let c(r) = r**2 + 7*r - 11. Let q = 16 - 26. Let v be c(q). Let p = 12 - v. Which is smaller: -6 or p?
p
Let o = 15 - 6. Let u be (4/10)/(7 - o). Do -1 and u have the same value?
False
Let o = -11 - -9.4. Let j = -1 + 3. Let i = o + j. Which is greater: 1 or i?
1
Let i = 7.9 + -9. Let y = i + 1.05. Which is smaller: y or -0.1?
-0.1
Let p be 3/(-2)*(-4)/6. Let a(w) = -w - 8. Let i be a(0). Let b = 8 + i. Is b at most as big as p?
True
Suppose -3*m + 2*c + 5 = -5, 0 = m + 5*c - 9. Is 2 bigger than m?
False
Let b(k) be the third derivative of k**6/120 + k**5/30 + k**4/24 + k**3/3 + k**2. Let r = -4 + 2. Let n be b(r). Is 3 at most n?
False
Let p = -2.8 + 13.8. Let y = p + -10.9. Which is greater: y or -1/3?
y
Let k = 0.2 - 0.2. Let v = k + 1. Let h = v + -2. Is 1/2 equal to h?
False
Let a(o) = o**2 + 3*o - 3. Let x be a(-4). Let i be 1/1 + x/(-1). Is 2/5 smaller than i?
False
Let i(s) = s + 5. Let c be i(5). Suppose 0 = 4*t + t - c. Let j = t - 2. Which is bigger: j or -1?
j
Let w be ((-12)/(-22))/(-3)*(-29)/58. Is w at least -2/3?
True
Suppose 21*k + 2 = 23*k. Is -2/33 greater than or equal to k?
False
Let h = 3 - 5. Suppose -2*t - 3 = 1. Is h bigger than t?
False
Let q = -0.2 + 0.32. Let c = q - 5.12. Which is smaller: c or 0.1?
c
Suppose 0 = 3*i - 4*a + 4, -i = i + a - 1. Suppose i = -h + 2*h + 5*y - 14, -h = -5*y + 16. Let f be 1 + h + 5/(-5). Which is bigger: f or 1/4?
1/4
Let a be 30/4 + 1/2. Suppose -4*m + 8 = -0*m. Suppose m = -5*k - a. Is k bigger than -1?
False
Suppose 5*u + 5*s - 15 = 0, 0 = -3*u + 2*s + 18 + 1. Suppose -7 + 2 = -u*j. Is -1 smaller than j?
True
Let k(p) = 2*p - 11 + 16 + 14. Let u be k(-9). Let y be 72/(-39) + (1 - -1). Which is bigger: u or y?
u
Let t = -23/20 + 12/5. Let x = 1/225 - 17/75. Is x less than t?
True
Let z be (-2 + -3 + -6)/(-1). Let c(y) = -y**2 + 10*y. Let l be c(z). Is -12 <= l?
True
Let y = -8 - -4. Let k be ((-1)/2*4)/y. Which is greater: 2 or k?
2
Let p = 69 + -60. Is 39/5 >= p?
False
Suppose 14 = i - 3*k, 3*k + 3 + 9 = 0. Suppose i*v - 3*v = -10. Suppose d + 10 = 3*a, -3 = 4*d - 3*a + v. Which is smaller: d or 2/7?
d
Let x = 526/1767 - 28/57. Which is smaller: 0 or x?
x
Let a be (4/(-8))/(1/14). Is a less than or equal to -0.1?
True
Let r 