Is s smaller than -3/7?
False
Let f = -3 - -5. Let b = 194/15 - 40/3. Which is smaller: b or f?
b
Let f = 18 + -19. Which is greater: f or 2/39?
2/39
Let j = -2.3 + 5.3. Let i = 0.23 + 0.07. Let c = i - 0.2. Which is bigger: j or c?
j
Let r = -0.04 - 3.16. Let a = 10 + -7. Let d = r + a. Which is bigger: 0 or d?
0
Let u = -13/34 + -2/17. Which is bigger: -2/17 or u?
-2/17
Let a(u) = -5*u + 21. Let d be a(4). Do 1/36 and d have different values?
True
Suppose 12*j - 132 = -0*j. Which is smaller: j or 47/4?
j
Let u = -0.05 - 0.05. Let x = 0.1 + u. Which is bigger: x or -0.1?
x
Suppose -5*k + p - 1 + 18 = 0, 4*p + 4 = 4*k. Let c = 10 - 6. Let q = c - k. Which is smaller: -2/7 or q?
-2/7
Let h be ((-262)/8)/((-18)/24). Let u = h - 43. Which is smaller: u or 1/4?
1/4
Let q = 2914 + -218554/75. Is 1 <= q?
False
Let o = 30 + -12. Suppose -5*h - t = -o, -3*h = -h - 3*t - 14. Let i = 0 - -3. Which is smaller: i or h?
i
Let a = 1/50 + -123/1150. Are -1 and a unequal?
True
Suppose -x - 4*x = -205. Which is bigger: 40 or x?
x
Let s = -0.1 - -0.2. Suppose i + l = -l - 14, 0 = 4*i + 3*l + 36. Let w be (-6)/9 + (-10)/i. Which is greater: w or s?
w
Let t(v) = v**2 - 5*v + 4. Let w be t(4). Which is smaller: w or -1/16?
-1/16
Let a be (6 - 3)/(-1*1). Suppose -4*w - 6 - 2 = 0. Which is bigger: w or a?
w
Suppose 3*u = -2*z + 27, -z - 2*z - u = -37. Is 16 equal to z?
False
Suppose 3*t = -5*r + 1, -5*t + 5*r - 31 = 34. Which is smaller: 2 or t?
t
Let d = 13 + -15. Let a be (d/4)/((-4)/24). Is a <= 0?
False
Let u = -12 + 12. Is 0.06 greater than u?
True
Suppose -7*d + 5*d - 18 = 0. Do -8 and d have the same value?
False
Suppose 8 = -2*u + u. Suppose -p + 3 = -0*f - 2*f, -f + 9 = -2*p. Which is smaller: p or u?
u
Suppose -2*i = 2*q, 4*q = 2*i - 0*i. Is 1 > q?
True
Let b = 0 + 0. Does 1 = b?
False
Let g be 0*(1 - (2 + -2)). Suppose 0 = -g*q + 4*q + 436. Let a = 875/8 + q. Is 1 less than a?
False
Let u(c) = -4*c - 17. Let z be u(-5). Which is bigger: 22/7 or z?
22/7
Let q be 7338/14*4/6. Let a(y) = 116*y + 2. Let p be a(3). Let l = p - q. Which is bigger: l or 1?
1
Let k = -271445/161 + 1686. Which is greater: k or 1?
1
Let k(p) = 2 - p**2 - 3*p + 0*p - 5*p**2 + 1. Let o be k(3). Let y be (-4)/(-12) + 26/o. Which is bigger: y or -1?
y
Let i = -8 - -13. Suppose -c + 4*t + 6 = 0, 0 = 5*c - 4*t - 50 + 20. Is c at most i?
False
Suppose -i + 5*q + 23 = -0*i, -2*q + 1 = 3*i. Let a(c) = c**3 - 4*c**2 + 3*c + 4. Let w be a(i). Let g be (-3)/(-5) + -5 + w. Which is bigger: g or 0?
0
Let n be -2*(-2 + (32 - 4)). Let z = -470/9 - n. Which is bigger: -1 or z?
z
Let x(l) = l + 1. Let b be x(-3). Let m be (5/3)/(b/6). Is m at most -6?
False
Let k = -0.2 + 0.24. Let g = k + -4.04. Let x = -3 + 3. Is x less than g?
False
Let r = -6.95 - -6. Let k = r + -0.05. Let h be (4/(-10))/((-1)/1). Is h bigger than k?
True
Let v(w) = w**3 + 4*w**2 - 5*w - 1. Let y be v(-5). Let h = -26691/4 + 6719. Let u = h - 46. Which is smaller: u or y?
y
Let s be (7 - 5)*18/4. Let p = s + -13. Which is smaller: -5 or p?
-5
Suppose 4*q = 6*q. Let k be (6/4)/(165/(-44)). Which is bigger: k or q?
q
Let m(q) = -q**3 - 8*q**2 - 6*q + 7. Let v be m(-7). Suppose v*r = 4*r + 2*x - 26, 4 = -4*r + 4*x. Let h be 0 + (-4)/6*-6. Is r equal to h?
True
Let p(c) = -c**3 - c**2 - c - 4. Let m = 3 + -3. Let z be p(m). Let j be (-3)/z + -2 + 1. Which is greater: 0 or j?
0
Let b = 13703/7 + -1951. Is b less than 6?
False
Suppose -8*j = -4*j. Let z = 0.6 + 0.2. Let v = z + 0.2. Is v smaller than j?
False
Let d = 3 - 1. Which is greater: d or 4?
4
Let d(b) = b**2 - 4*b + 1. Let l be d(3). Let w be (-2 - l)/(1/(-1)). Let m = w - -1. Which is bigger: m or -1/3?
m
Suppose -3*j - 3 = -0*j. Let a be -21 - (-1 + -2 - 0). Let q be (-4)/a - (-40)/(-18). Are q and j nonequal?
True
Let j = -120/11 + 796/77. Which is bigger: -0.1 or j?
-0.1
Suppose -x + 20 = 4*x. Suppose -5*c = -x*c. Do -6/7 and c have different values?
True
Let a be 28/6 + (-3)/(-9). Suppose a*f + 0*f - 15 = 0. Let j = f - 3. Which is greater: j or 3/4?
3/4
Let t be -2 + 6/4 + (-5)/15. Which is bigger: -2 or t?
t
Let p = 4 - 5. Let d be (-4 - 6/(-3))*p. Is -0.3 > d?
False
Suppose -w = 3*p - 11, -5*p + 0*p = 5*w - 5. Let k(g) = g**2 - 6*g + 4. Let y be k(p). Is -2 less than or equal to y?
True
Let v = -53 + 94. Which is smaller: 40 or v?
40
Let n(u) = -u**2 - 8*u + 10. Let d be n(-9). Is -1/43 > d?
False
Let n = -105 - -177. Suppose -c = 2*y - 34, -4*y + 2*c + n = 3*c. Suppose 4*z - 11 = -w, -w - 5*z = -5*w - y. Is w at most -1?
True
Let v = 19 - 24. Let h = v + 4. Is 1/17 not equal to h?
True
Let t be 18/2 + 8 + -11. Let u be 2/t - (-8)/120. Which is smaller: -4/9 or u?
-4/9
Let z = 0.3 + -0.2. Let s = -240 + 227. Do s and z have the same value?
False
Let k = 102 + -815/8. Suppose 4*n + 7 = 3. Do k and n have the same value?
False
Let a be (4/5)/((-12)/20). Let r be (-2 + 2)/(0 + -2). Which is bigger: r or a?
r
Let w(m) = -2*m**3 - 2*m**2 + 3*m + 3. Let q be w(-2). Suppose -q*n - 3*z = -2*z - 10, -3 = 2*n - z. Which is bigger: 2/17 or n?
n
Suppose -2*f + 15 = -5*f. Let k be (f/(-2))/5*0. Suppose 0 = -k*o + o - 1. Is 4/5 at most as big as o?
True
Let g = -22 + 16. Let h = -11 - g. Which is bigger: -1/3 or h?
-1/3
Let w = 0.1 - 0.5. Let i = w + 0.5. Let v = 0.6 - -1.4. Which is smaller: i or v?
i
Let b = 0.3 - 3.3. Let z = b + 11. Let t = z + -7.8. Is t bigger than -1/4?
True
Let z = 2.8 + -3. Let y be (-108)/20 + 6/15. Let l be 3/y - (-16)/35. Is z greater than l?
False
Let n be 2 - 48*(-1)/(-23). Suppose 2 = 4*s + 6. Are n and s nonequal?
True
Suppose -w + 0*a + 4*a - 3 = 0, -a = w - 2. Suppose -2*v - 1 = 2*z + w, 4*v = -5*z. Let s be 3 - -2 - (0 - -1). Is z smaller than s?
False
Let w(s) = s**3 - 3*s**2 - 3*s. Let h be w(5). Do h and 35 have the same value?
True
Let o(r) = -r. Let f be o(-2). Let s = 6 - f. Suppose -u - i = -4*i + 4, s*u - 3*i + 7 = 0. Which is bigger: u or 0?
0
Suppose 5 = -4*z + z - 4*s, 5*s = 3*z - 40. Let k be (-2)/(-4) - z/10. Is k < 0.5?
True
Let v = 8 - 5. Suppose 3*x = -9 + v. Which is smaller: -4 or x?
-4
Let r(w) = -w**2 - 7*w - 7. Let o be (-1 - 14/(-8))*-8. Let k be r(o). Let l = 3 + -3. Which is smaller: k or l?
k
Suppose 0 = -5*l + 7 - 22. Which is greater: -13/4 or l?
l
Let n(y) = -y**2 - 5*y - 1. Let c be n(-5). Is -1/30 at most c?
False
Let z = -9 - -6. Let u = z - -1. Which is smaller: 0 or u?
u
Let z = 11/2 - 95/18. Which is smaller: 1 or z?
z
Let k be (0 - 3/(-9))*-813. Let v = k + 1361/5. Is 0 < v?
True
Let z = 39/164 - 10499/70356. Let r = -8/33 + z. Which is smaller: r or 0?
r
Let s = -4 - -6. Let a be 1*(-2 - s) + 2. Let t be a - 0 - (-44)/28. Which is smaller: 0 or t?
t
Suppose 8 = -0*z - 4*z, -3*l + 10 = z. Suppose l*n - 5*n = 4*p - 4, 1 = -2*n + p. Let b(i) = i**3 - i**2 - 1. Let d be b(1). Is d > n?
False
Suppose 3*f + 0*y + 8 = -y, 5*f = -5*y - 10. Let q be (f/(-6))/(4/8). Is -2/5 greater than q?
False
Let y = 2.8 - 3. Let f = 1.06 + -1. Let o = f - -0.04. Which is smaller: y or o?
y
Let n = 1/50 + 62/25. Is n smaller than -1?
False
Let p(a) = a**3 + 10*a**2 + 8*a - 6. Let t = 9 + -18. Let w be p(t). Is w <= 3?
True
Let x(p) = -6 + 9*p + p**2 - 5*p**2 + 5*p**2. Let y be x(-10). Let q = -5 + y. Is q at least -2/5?
False
Let s(n) = n - 6. Let q(k) = 6*k. Let i be q(1). Suppose 0 = -0*u - u + i. Let v be s(u). Is -1 not equal to v?
True
Let f = -31/22 - 1/11. Suppose -5*x + 0*x - 10 = 0. Is f greater than x?
True
Let i be (-4)/3*(-3)/2. Let q(j) = -5*j + 6. Let s be q(1). Which is greater: i or s?
i
Let r = -15 - -16.88. Let p = r + 0.12. Which is greater: p or -2?
p
Let k be (-1)/(-3 + -4 + 6). Suppose 26 = 2*j - 4*y - y, -5*y = 5*j + 5. Let t be 3/j*2/3. Which is smaller: k or t?
t
Suppose 4*q - 10 - 14 = 0. Suppose 5*c = -4 - q. Which is bigger: -8/3 or c?
c
Suppose 3*x + 13 = -2*r + 4, -r + 3 = -x. Is x >= -8?
True
Let h be -6*(0 - (-2)/(-4)). Suppose 2*m + h + 23 = s, -3*s = -6. Let k be (2 + 0)*m/8. Is -3 less than or equal to k?
True
Let i = 1 - 4. Let x be 5*((-897)/(-285) + i). Let j = x - 136/133. Which is smaller: j or 0.5?
j
Let v = -21 + 24. Suppose -15 = -v*i - 18. Which is bigger: 0.1 or i?
0.1
Let z(k) = 4*k - 9. Let c be z(3). Which is smaller: 10/3 or c?
c
Suppose 4*c = 3*c + 30. Let m be c/12*8/(-70). Let 