 Is 4/7 at most as big as m?
True
Let w = 23 - 18. Let z = -6 + 9. Suppose w*r + b = -25, 4*r + 2*b + 29 = z. Is -4 not equal to r?
False
Suppose 0 = 2*i - 8 - 2. Suppose i*l = -3*w - 9, -3*w + 2*l - l + 9 = 0. Suppose 6*q = w*q. Is -1/2 less than or equal to q?
True
Let g(k) = k**2 - k - 8. Let j be g(0). Which is smaller: -10 or j?
-10
Let t = 0.16 - 6.16. Let j = -11 - -3. Let d = j - t. Is d less than or equal to 0.1?
True
Suppose -10*i = -7*i + 3. Let s be i/3 - (-192)/36. Is s less than 4?
False
Let x be -4 + ((-240)/(-9))/5. Which is smaller: 1 or x?
1
Let f = -39/5 - -8. Let z = 6 - 3. Suppose -2*d + m - 1 = z*d, -d + 2*m + 7 = 0. Which is greater: f or d?
f
Let z = -24 - -39. Do z and 16 have different values?
True
Suppose 6*r + 36 = 3*r. Let o be ((-64)/r)/(1/3). Suppose 4*y = y + 2*i - o, 10 = -4*y - 3*i. Is -4 at least as big as y?
True
Suppose -m - 1 + 4 = 0. Suppose m = -4*t + 2*v - v, 3*v + 15 = 0. Is t <= -1?
True
Let w = -21.1 - -21. Is w >= 42?
False
Let t be -1 + -2 - ((-65)/5 + 1). Is 9 smaller than t?
False
Let u be (-2)/3*(-11)/(-22). Is u > 0?
False
Let j = -4 - 6. Let q be (5 + j)/(2/2). Let f = 0.4 + -0.3. Which is greater: q or f?
f
Suppose 0 = -5*w - 5*j - 20, -w - 3 - 9 = 5*j. Let g be w/(-2)*(-364 - 1). Let t = -2549/7 - g. Which is smaller: t or 0?
0
Let v(f) = f**2 + 5*f + 2. Let z be v(-5). Let j be -2*z/(-4)*3. Do j and 2 have the same value?
False
Suppose 3*b = 5*h - 2*b + 240, -2*h + 3*b - 96 = 0. Is -46 > h?
True
Suppose -2 = -3*x - 11. Suppose l - 1 = 2. Is x at most l?
True
Suppose 4*w = 1 + 11. Let f(y) = y**2 + y - 4. Let t be f(-3). Which is greater: t or w?
w
Let q = -39 - -22. Which is greater: q or 1/4?
1/4
Let c be 14/(-18) + (-2)/9. Is 1/96 greater than or equal to c?
True
Let r = -1/117 - -197/234. Is 1 at least as big as r?
True
Let v = 1 - 2. Let k = v - 1. Which is bigger: k or 1?
1
Let k = 2 - 1.5. Is 1/2 <= k?
True
Let n(f) = -12*f**2 - 1. Let i be n(-1). Let b = 14 + i. Is -2/7 greater than b?
False
Let r be (7 - 4)*(1 - (-80)/(-6)). Which is smaller: r or -38?
-38
Let i be (-38)/20 - (-6)/4. Let f = 11 - 6. Suppose -4*g - 5 = -f*u, -2*u + 1 = -2*g - 1. Which is greater: g or i?
g
Let b be (-18)/(-4) + (-5)/10. Let y be 10/35 - b/14. Is y > 0?
False
Let a be (-2084)/116*(-1)/(-152). Let o = a - -3/232. Is -1 at most o?
True
Suppose 2*r = r. Suppose r = -3*p + 2*a + 6, 4*p - 3*a - 10 + 2 = 0. Is 5/7 smaller than p?
True
Let v be (-3)/(-2)*(-4 + 2) - -13. Which is greater: 11 or v?
11
Let v(t) = -t - 2. Let u be v(-2). Suppose u = -g + 4 - 9. Is -4 bigger than g?
True
Let o be 1/2*(-3)/9. Let v(b) = -b**2 + 4*b - 2. Let f be v(3). Is o < f?
True
Let u be (-4)/18 - 61/9. Let j(z) = 5*z**3 - 7*z - 7. Let w(g) = -2*g**3 + 3*g + 3. Let t(v) = u*w(v) - 3*j(v). Let o be t(-1). Is 0 at most as big as o?
True
Suppose -l = -2*l + 21. Let k be ((-8)/(-14))/(30/l). Let p = 13 - 38/3. Which is greater: k or p?
k
Let i be 1/3*(-3)/2. Let v = -15 - -10. Let j be 12/(-5) + (-2)/v. Which is smaller: i or j?
j
Suppose 0*n + n = 2. Suppose p - 1 = n*p. Let l be -1*((-32)/168 - 1/7). Is l bigger than p?
True
Suppose -2*w = 2*a, 0*a - 4*a + 3*w = 7. Which is bigger: a or -2?
a
Suppose w = 4*w + 9. Let t be (-2)/w*36/(-8). Let g = 2.1 + -0.1. Which is bigger: t or g?
g
Let b = -0.1 + -0.9. Let a = -41 - -34. Is b equal to a?
False
Let a = 231607/7 + -33208. Let n = 121 + a. Let l = -19/20 - -6/5. Is n less than or equal to l?
True
Let i = 2 + -3. Let s = 8.7 - 8.7. Which is smaller: s or i?
i
Suppose -5*s + 10 = -5*b, -2*s + 8 = 2*s + 2*b. Let p = s + -6. Is p <= -3?
True
Let t = -46 + -15. Is -0.1 > t?
True
Let o(s) = -s**3 + 4*s**2 - s + 3. Let r be o(4). Is r less than 0?
True
Let t = -1.1 + 11.1. Let m = -10 + t. Which is smaller: m or 4?
m
Let x(i) = -2*i**2 + i + 1. Let n be x(-1). Let p(q) = 0*q**2 + 3 - 2 + q - q**2. Let l be p(-1). Is l at most n?
False
Let p = 2/25 + -91/200. Let u = -1 + 0. Which is greater: u or p?
p
Let r(d) = -d**2 - 4*d + 2. Let k be r(-4). Let l be 4/(16/18)*k. Suppose 3 + l = -4*w. Is w smaller than -3?
False
Let y(s) = -s**2 + 10*s - 7. Let c be y(9). Suppose -f - f = -c. Which is smaller: f or -2/27?
-2/27
Let l be 15/(-9) + (-480)/(-126). Suppose 3*m - 3 = -0*m. Which is smaller: l or m?
m
Suppose 78*m - 7 = 77*m. Are 41/5 and m non-equal?
True
Let k be (340/(-60))/(1/3). Is k equal to -16?
False
Let q(f) = f - 5. Let i be q(4). Is -11/5 less than or equal to i?
True
Let o = -21 - -23. Let z(y) = y**3 + 6*y**2 + 3*y - 7. Let t be z(-5). Which is smaller: o or t?
o
Suppose -4*v + 10 = -y, 0 = -3*y - y - 2*v + 14. Let i be 9/4 + (-2)/8. Suppose d = i*f - 7, 4*f - y*d = 3*d + 17. Are 2 and f nonequal?
True
Let r be 11 - (-3 - -2)*-1. Suppose 0 = -5*g + s + 56, 3*s + 2 + 1 = 0. Which is smaller: r or g?
r
Let g = 2 + -3. Is g at least as big as 2/5?
False
Suppose 5*a - 16 = 9. Let x = 3 - a. Suppose -4*z - 4 = 5*c - 20, -4*c + 16 = 0. Which is smaller: x or z?
x
Let g = -91 - -56. Is g smaller than -2?
True
Let j = -16 + 5. Which is greater: -1 or j?
-1
Let g = -17.3171 - -0.0971. Let m = g - -0.22. Let o = 11 + m. Do -1 and o have the same value?
False
Let f = 134.9 - 126.81. Let p = f - 8. Is p at least -1/4?
True
Let h = -4197/13 + 323. Is 1 <= h?
False
Let h = -24 + 25. Which is bigger: h or -0.9?
h
Suppose -c = -3 + 2. Let w be -6 - (-2 + c + 0). Is 0 equal to w?
False
Let a be (-6)/45*(-11)/3. Let v = -724/1665 + a. Which is greater: v or -1?
v
Suppose 2*m = 2*p + 12, 14 = -3*m - p - 4*p. Suppose 3 = -r - m*r. Let c = -2.05 - -0.05. Is c smaller than r?
True
Let b be (47*3)/(-1 - -2). Let p = 707/5 - b. Let n(u) = -u**3 - u**2 + u + 1. Let j be n(0). Is p greater than j?
False
Let a be 5 + (-3)/(-6)*-11. Is a less than -2?
False
Let k = 6.956 + 0.144. Let x = k + -7. Let g be 4/35 + (-4)/10. Which is bigger: x or g?
x
Let k(x) = -2*x + 1. Let d(u) = -u**2 + 5*u - 5. Let h be d(4). Let o be k(h). Suppose 0 = -t + 4, -o*p + p + 12 = 2*t. Which is greater: 1 or p?
p
Suppose -5*p = -3*p - 16. Suppose 3*z + 2*w = -p, -3*z = z + 5*w + 6. Let m = -7 - z. Is m at most as big as -4?
False
Let g(t) = 5*t + 7. Let i be g(6). Which is smaller: 38 or i?
i
Let l be (-2)/(6/4 - 2). Suppose -2*b + 3 + 9 = 0. Let y = b - l. Is y > 3?
False
Let z be 1 + (2 + -3)/(4/(-44)). Which is smaller: z or 40/3?
z
Let x be ((-6)/(-9))/((-8)/(-60)). Let a = x + -2. Do 4 and a have different values?
True
Let k = -0.6 + 0.8. Let s = k + 0. Is 0.2 greater than s?
False
Let w be (1 - -4)/((-5)/(-35)). Suppose -h + 45 = -3*h - 5*b, b = -3*h - w. Is h greater than -10?
False
Let r = -4 + 6. Let m = -4 - -9. Let k be m/25 + 14/5. Is r at least k?
False
Suppose -4*v + i + 33 = -14, -2*v = -5*i - 1. Let z = -13 + v. Let l be 28/15 - (5 - 3). Is z greater than or equal to l?
True
Let v be (3/2)/(3/32). Let s = -11 + v. Let k = -9 - -15. Is s at least k?
False
Let h = -619 - -8051/13. Which is smaller: h or 0?
0
Let l = 1401/6775 - -9/271. Which is smaller: -1 or l?
-1
Let s(v) = -5*v - 2. Let c be s(-1). Suppose 2*o + 15 = c. Is o > -6?
False
Let g be (1 + 2/(-3))*0. Suppose c = 2*w - g*w - 2, 2*c - 5 = -5*w. Are c and 0 unequal?
False
Let j = 27 - 23. Is j <= 6?
True
Let d = 0.13 + -0.3. Which is smaller: d or -1?
-1
Suppose 0 = s - 2*s + 5. Suppose -4*m - 3*z = -2*m + s, 2*m - 3*z = 1. Let d = 17/35 + -1/5. Which is smaller: m or d?
m
Let g = -7934/3 - -2616. Let l = 28 + g. Is l > -1?
True
Let x be 6/(-24) - 81/(-4). Let u = x + -20. Is u at most as big as 2/49?
True
Suppose 3*s - 6 = i + 2, 3*i + 17 = 2*s. Suppose -2*b = -0*b + 5*o + s, -3*o + 9 = 2*b. Let v be 9/b*(-3)/9. Is 3/5 >= v?
True
Let y be ((-12)/20)/((-16)/(-10)). Which is greater: y or 0?
0
Let b be (-3)/(3/2 + 0). Let o be (2 - 1) + b/4. Which is smaller: 1 or o?
o
Let i = -19.99 - -20. Is -2/7 less than i?
True
Let h be ((-2)/(2 - 0))/(-1). Does 1 = h?
True
Let j = 10 + -6. Let o(d) = -d + 3. Let s be o(j). Is -1 at least as big as s?
True
Suppose -l + 12 = 2*b, -4*l + 4*b = l + 10. Let k be 4/2*(-1)/1. Is k at least as big as l?
False
Let i = -0.98 + 0.88. Let h(r) = -r**3 + 11*r**2 + r - 15. Let w be h(11). Which is greater: w or i?
i
Let b be (1 - 0/2)/1. Suppose k = 2*d - 8, -4*d + 1 = 5*k - b. Let r = k - 1. Which is smaller: r or -2?
r
