 b be (-3 + 1)*(-3)/(-30). Let v be (-378)/8 - (-19)/76. Let d = v - -47. Is b equal to d?
False
Suppose 0 = 5*k + 14 + 46. Suppose -45 = 566*s - 561*s. Which is smaller: s or k?
k
Let y = -0.177 - -0.17. Let s = y + 0.827. Let x = 0.18 + s. Which is bigger: x or 3/7?
x
Suppose -2*f = 49 + 39. Let l be 626/(-14) - (-2)/(-7). Is f greater than l?
True
Let i = 10383385/749 + -13863. Do i and 0 have the same value?
False
Let k = -1702 + 1676. Let c = 8 - 12. Let n = -4.1 - c. Which is greater: n or k?
n
Let l = 53 - 40. Suppose 9*z = l*z - 24. Are z and 12 unequal?
True
Let x = 0.2 - 0.3. Let j = 7.658 - 12.658. Is j greater than or equal to x?
False
Suppose 20 = 4*s - 2*z - 24, 0 = 4*z + 8. Suppose 2*l - 4 - 4 = -x, 8 = 3*x - 2*l. Suppose -11 = -p + x*n, 2*n = p + p - 22. Are s and p equal?
False
Suppose -4 = -0*a - 4*a. Suppose 4*w + 4*z = 8, -3*z - 10 = -w - 4. Is w < a?
False
Let n be (-2 - (-4)/(-2)) + (-357)/(-84). Is n smaller than 0?
False
Let i(p) = -p**3 + 4*p**2 + 5*p + 2. Suppose z = 3*w + w - 22, -2*z = 4. Let j be i(w). Let v be (j/(-8))/((-162)/144). Which is smaller: v or 0.01?
0.01
Let s be (-105665)/11739 + 4 - -5. Is s less than or equal to 0?
True
Let r = 102 + -28. Do r and 73 have the same value?
False
Suppose -16*l - 312 = -24*l. Which is bigger: 35 or l?
l
Let v(n) = -3*n**2 - 10*n + 9. Let c be v(7). Suppose m = 4*h - m - 8, 4*m = -h + 20. Let a be h/(-9)*24/c. Is 0 smaller than a?
True
Let f = 1124/7475 - -2/575. Which is smaller: -1 or f?
-1
Let u = 29 - 47. Let t be 1/(-2) + u/4. Let b be -12 - -8 - (0 + 1). Is b less than t?
False
Let g be 0 + -3 + 0 + 3 + 3. Suppose -g*i - 6*d - 58 = -d, -2*d = i + 21. Is i at least -11?
True
Let f be (-3)/5*10/(-4). Let u(m) = 16*m**2 + m - 2. Let o be u(1). Let l = -12 + o. Which is bigger: l or f?
l
Let f be (-130)/(-6) - 4/6. Let w = f - 10. Let d = 15 + -3. Which is bigger: w or d?
d
Let m(w) = w - 8. Let v be m(8). Suppose -3*j - 12 = 3*z - v, -3*z + 8 = -2*j. Are z and -1/201 unequal?
True
Let x = 12 - 12. Let w be 11/18*(2 + x). Let f = -7/9 + w. Is -2 less than or equal to f?
True
Let a = -13 - -17. Suppose -a*n - n = 0. Is n less than -4?
False
Let y = 47 + -125. Let k = y + 46. Are k and -32 non-equal?
False
Let g(w) = -w + 3. Let s be g(0). Let q be (s/3)/(3/(-3)). Which is greater: q or -2/41?
-2/41
Let r = 30 + -34. Let x = 38 - r. Which is smaller: 41 or x?
41
Let t(s) = 34*s**3 - 2*s**2 + 3*s + 6. Let i be t(-1). Which is greater: i or -131/4?
-131/4
Suppose -68*o = 65*o - 148*o. Is -3/1172 <= o?
True
Suppose -y + m = y + 8, 0 = 5*y - 2*m + 19. Let j be (-116)/10 - (y + 9/3). Is -12 less than or equal to j?
True
Let n = -4339/31 - -140. Is n != 21?
True
Suppose -4*u + 18 = s - 1, 2*s + u = 31. Suppose -s*w = -10*w + 5. Are w and 0.4 nonequal?
True
Let l(o) = o**2 + o - 15. Let i be 3*(-2)/(30/(-25)). Let d be l(i). Let m(a) = 2*a**2 - 4*a - 1. Let g be m(4). Do g and d have different values?
False
Let c = 2/1441 + -7233/20174. Let w(z) = 2*z**2 - 4*z + 3. Let g be w(2). Suppose -h = g*h. Is c greater than h?
False
Suppose 3*d = 2*z, 0*z - 12 = -4*z. Are 3/2 and d non-equal?
True
Let h be 1/3 - 1202/6. Let w be h/(-12) + (-4)/6. Is 1 not equal to w?
True
Suppose 2540 = -11*h - 210. Which is smaller: -749/3 or h?
h
Let r = 277/3 + -92. Let b = 0.274 + 0.016. Let s = -13.29 + b. Is r at least as big as s?
True
Suppose -19*u + 1540 = -30*u. Let a = 124 + u. Let w(v) = v**2 + 8*v - 1. Let t be w(-4). Is t at least a?
False
Let q be 2/(112/9496) + 6/14. Is 173 at least as big as q?
True
Let n = -169 - -79. Let h = n - -151. Is -2 at most h?
True
Let h = 4 + 3. Suppose h*n - 55 = -6. Which is greater: 64/9 or n?
64/9
Suppose 12*w = 7*w + 25. Suppose 2*b = -n + w, -2*b + 10 = -5*n - 13. Which is smaller: b or 6?
b
Let p = -13 - -14. Let d be -2*(p/(-1) + -4). Which is smaller: d or 8?
8
Let p = -6.88 - -130.58. Which is greater: p or 0?
p
Suppose -23*y + 20*y = -15. Suppose 64 = -y*n + n. Is n < -16?
False
Suppose 5*o - t - 11 = 0, -3*o = 2*t - 0*t - 4. Suppose o*y + 5 = -3*y. Let p be (-6)/(-8)*(y + -3). Which is bigger: p or -4?
p
Suppose -6*t + 7 = 25. Suppose 4 = 3*y - y. Suppose w + 0 = y. Which is smaller: w or t?
t
Let i be 273302643/(-39)*27604/(-1350). Let b = i - 143290525. Let n = 1/675 + b. Is 0 at least as big as n?
False
Let x be (-6)/(4/(-2)) - 1. Let q(z) = 2*z**3 - 4*z**2 + 2*z + 2. Let r be q(x). Let k be 0/((3 - r)/3). Which is smaller: k or -2/9?
-2/9
Let m be 15/4 - 4 - 411/4. Which is smaller: m or -104?
-104
Let y = 5.355 + -0.055. Let r = y - -1.7. Let c be (-3)/(-4) - (-3)/12. Which is greater: r or c?
r
Let u(o) = -o**3 + o**2 - 13*o - 7. Let a(q) = -q**2 + q - 1. Let t(n) = 6*a(n) + u(n). Let f be t(-4). Which is smaller: 2 or f?
f
Let w = -0.3 - 1.3. Is -1/4 <= w?
False
Let w be ((20/(-95))/2)/1. Which is smaller: -1 or w?
-1
Let k be 2 - 2 - (12 + -4). Let y(s) = -s**2 - 7*s + 8. Let v be y(k). Suppose 0 = -v*d + 4*d. Which is smaller: -2/9 or d?
-2/9
Let k = 10301 + -72301/7. Which is bigger: -1 or k?
-1
Let q be ((0 - 2) + 3)*0. Suppose q = 9*k - 6*k - 54. Suppose 2*n = -2*t + k, t - 40 = -4*n - t. Which is smaller: n or 1?
1
Suppose 127 = -5*h - 2*t, 78 = -3*h - 2*t - t. Let w = 31 + h. Let o(j) = -j - 2. Let a be o(-6). Is a >= w?
False
Suppose -5*y - 9 - 1 = 0. Let o be (-1 - 0) + 1 - -1. Suppose 20 = 4*i, 2*i - 1 - o = -4*t. Is t >= y?
True
Let b be 24 + (5 - 16/4). Let k be 5*(3 + (-73)/b). Which is smaller: 0.3 or k?
0.3
Let p = -47 - -117. Suppose 6*c = c - p. Is -14 bigger than c?
False
Suppose 3780*m = 3775*m - 830. Is -168 at most m?
True
Let v = 1626 + -6297/4. Let a = v - 52. Which is smaller: -10/9 or a?
-10/9
Let s = -7.039 + 0.039. Which is smaller: 3/34 or s?
s
Suppose -5*y - 1 = 3*t - 14, 4*t - y = 2. Is 4/515 < t?
True
Let o be 136/(-51)*9*(-2)/39. Which is smaller: 1 or o?
1
Suppose -69*c = 61 + 8. Is c > -5/54?
False
Let j be 5 + (-5)/((-15)/(-12)). Suppose -2*n - 3 = -1. Let t be 1*-3*(n - 0). Do j and t have the same value?
False
Let q be (-3210)/6500 - (-2)/4. Which is smaller: q or 1?
q
Let h be (((-52)/(-8))/(-13))/(3 + -4). Which is smaller: -2/43 or h?
-2/43
Suppose -l - 91 = 5*p, 0 = 7*p - 11*p - l - 72. Let c(z) = 2*z - 6. Let a be c(6). Let v(k) = -2*k - 7. Let i be v(a). Is i >= p?
True
Let y(a) = -41*a**2 + a. Let s be y(-1). Let m be (4/s)/(8/(-12)). Suppose 0 = -z + 3, 10*j - 14 = 11*j - 5*z. Is m smaller than j?
True
Let n = 112 + -107. Let o = 2.87 - -0.03. Let c = o - 3. Do c and n have different values?
True
Suppose 5*s = 3*c - 71, -c + 4*s = 5*s - 29. Suppose 5*d + c = 7. Let b be d - 4*(-4)/(-16). Is -5 > b?
False
Let s be 6 + (-2 - (-1912)/(-476)). Is s >= 1?
False
Let v = -8 + 6. Let u be (v - 0)*2/22. Let f(i) = 16*i + 15. Let t be f(-1). Does t = u?
False
Let y(q) = -q**3 + 6*q**2 - 6*q + 7. Let d be y(5). Suppose 0*h + d = -2*h. Let l be h/3 - (-37)/3. Which is greater: 13 or l?
13
Let h(f) = -f**3 - f. Let v be h(-1). Let n = 1038 + -988.3. Let b = 50 - n. Which is smaller: b or v?
b
Suppose 35 = -8*p + 43. Which is smaller: p or -4/101?
-4/101
Let b = -739/82 + -20/41. Let j = -17 + 8. Is b >= j?
False
Let j(n) be the third derivative of n**6/120 - n**5/20 - n**4/4 - 8*n**2. Let t be j(5). Let c be t/(-210)*6/(-10). Which is smaller: 1 or c?
c
Let t be 10/30*-14*(-6)/8. Are t and -1 equal?
False
Let q = -7 - -17. Suppose 3*l = q - 4. Suppose -y - l + 3 = 0. Are y and -1/5 equal?
False
Suppose -3*h - 2*o - 32 = 0, -6*o + o = -h - 5. Let q be 10/60 - h/(-24). Which is bigger: q or -6/5?
q
Let m(v) = -v + 11. Let s be m(5). Let r = s - 2. Suppose -5*c + r*b - b = 147, -4*c - 116 = -2*b. Which is smaller: -26 or c?
c
Suppose 2 + 2 = -4*z. Suppose -2*s = 0, 4*w + s + s - 328 = 0. Suppose w*o - 8 = 84*o. Which is smaller: o or z?
o
Let w(t) = -6*t - 11. Let j be w(1). Are j and -10 non-equal?
True
Let z be (2*(172/56 + -3))/(20/(-60)). Suppose -j - 3*w - 5 = 0, -4*j = -w - 4*w + 3. Let t be 6/(-15) - j/5. Is t less than or equal to z?
False
Suppose -18 = h + 2*h. Suppose -4*r + 5 + 11 = 0, 0 = 4*v + 3*r. Which is smaller: h or v?
h
Suppose -40 = 2*h + 3*h. Let c be -1*((7 - 6) + 5). Which is smaller: c or h?
h
Let f = 14 - -3. Suppose 294 + 21 = 21*c. Is c not equal to f?
True
Suppose 3*o - 3 = -0. S