k = 21 - 5. Suppose k = r - 0*r. Suppose -3*b + r = b. Is b less than 5?
True
Suppose 4*w - 2*l - 8 = -0*l, -3*w + 2*l + 4 = 0. Let q be -3 - -14*w/20. Is 2/7 at least q?
True
Let k(h) = -4 - 2 - h**2 + 1 - 8*h. Let z be k(-8). Is z > -5?
False
Let l = 6.8 + -5.9. Are 2/3 and l non-equal?
True
Let g = 10 - 22. Let j be g/16*2/3. Which is smaller: -0.2 or j?
j
Suppose -4*v + 2*j = -18 + 6, 5*j + 21 = v. Which is smaller: 2/9 or v?
2/9
Suppose -4*o = 3*c + 10, o + 1 = -2*o + c. Is -12/11 <= o?
True
Suppose 8*l = 7*l. Is 0 != l?
False
Let i be 1*(36/10)/6. Which is smaller: 3 or i?
i
Let j = -17 + 16. Which is greater: j or 1?
1
Suppose 3*f = 1 + 14. Let m be 30/25 - 2/f. Which is bigger: 0 or m?
m
Suppose -10 = -5*w - 0. Suppose 13 = w*l + 3*l + 2*j, 0 = l - j + 3. Is 3/4 greater than or equal to l?
False
Let t be (-2 + 6)*(-49)/(-28). Do t and 7 have the same value?
True
Let p = 8 - 3. Suppose 0 = 5*v - p*s - 15, -3*s - 17 = v - 0. Which is smaller: v or -1/2?
v
Let k be (-2)/12*4*1. Let v(n) = 4*n**2 + n. Let g be v(1). Suppose f + 5 = -g*i, 0 = 2*i + i - 2*f + 16. Does i = k?
False
Suppose -5*t + 5 = 25. Suppose -2*n = -2*c + 10, 3*n + 5*c = -2*n - 5. Is n greater than t?
True
Let j = 0.07 + 1.43. Let x = -4.5 - j. Let s = x - -6. Is s at most -1?
False
Let j = -85 + 84.9. Let l = 1 - 1. Let x = -0.2 + l. Is x equal to j?
False
Suppose 0 = d + 3*d - 3*b + 36, 2*b = -2*d - 18. Let r = 5 + d. Is r less than or equal to -3?
True
Suppose 4*n - 88 = -0*n. Let r be (-2)/8 + n/24. Which is bigger: -1 or r?
r
Suppose 4*r = 5*u - 16, -u - 3*r + 9 = 2*r. Let g = -1 + u. Let a(x) = -x**3 - 6*x**2 - x - 4. Let w be a(-6). Is w less than g?
True
Let a = -1 - -2. Let v = 79 - 556/7. Which is smaller: a or v?
v
Let u(k) = -2*k. Let i be u(-3). Let n(g) = g - 1. Let r be n(7). Let y = r - i. Is y >= 2/27?
False
Let k be ((-4)/(-10))/((-9)/(-3)). Let d be (-2)/(-4) + (-21)/18. Let n = -1 - d. Is n at most k?
True
Let c = -1.5 + 0.5. Let v = 0.6 + c. Let s = v + 0.2. Which is smaller: s or -1/4?
-1/4
Let h = 247/27 - 61/27. Which is smaller: 6 or h?
6
Let x be 4 + 30/(-8) + (-13)/36. Which is smaller: x or 0.4?
x
Let t = 9 - -1. Let p = -7 + t. Let b = 0.04 + -1.04. Is p at most b?
False
Let h be 2/((-3)/3 + 0). Let a be 0 + (-4 - -3)*0. Which is smaller: h or a?
h
Let m be 19/532 + (-4)/14. Is m at least 0?
False
Let g be ((-2)/(-5))/((-6)/(-390)). Is g at least 26?
True
Let r(i) = -i**3 + 4*i**2 + 6*i + 6. Let y be r(5). Let q = y + -9. Is q at least 1?
True
Let f be (1*(2 + -3))/(-1). Suppose 6*i - 3*i - 15 = 0. Let c be i/60 + 2/(-6). Is c <= f?
True
Suppose u - g - 3 = 2, 3*u - 12 = 2*g. Suppose -3*v - 2*r = u*v - 20, 0 = v + 5*r - 4. Let a be 16/v*(-1)/(-10). Which is greater: -1 or a?
a
Suppose -1 = -8*s + 7*s. Which is smaller: -0.021 or s?
-0.021
Let l be -2 - -5 - (-8 - -12). Which is smaller: -2/39 or l?
l
Let l = -1 + 1. Let r = -1 + l. Is 0 greater than or equal to r?
True
Let z(h) = -h**3 + 4*h**2 - 5*h + 7. Let l be z(3). Let k = -17/45 + 2/45. Is l at least k?
True
Suppose n - 3*t - 8 = -2*t, 3*t = 5*n - 48. Suppose 5*i - i + n = 0. Suppose -5*w = 2 + 8. Are w and i unequal?
True
Suppose 4*a + 110 = -z - 2*z, 0 = -2*z - a - 65. Let q be z/25 - (-2)/10. Which is bigger: q or 6/19?
6/19
Let o = 5 + -9. Let y = -13 - -11. Let n = y + -1. Is n at most o?
False
Let d = 265/3 + -4771/54. Let l = -29/108 - d. Which is bigger: l or 0.1?
0.1
Let h be ((-3)/(-3) - 1)*1. Suppose 5 = -f - h. Let m = -4 - f. Is m <= -2/7?
False
Let n = -35 - -36. Is 5/3 at most as big as n?
False
Let g = 7 + -12. Let i = 11 - 7. Let t be (-3 + i)*(-1 - g). Is 3 not equal to t?
True
Suppose 2*k - 8 = 3*k. Let n be 3 + -7 + (-36)/k. Is n at most -3/5?
False
Let y be 0/(0 - (3 + -1)). Let l = -32 + 14. Let n be 6/l*0/2. Is n not equal to y?
False
Let s = -6.67 - -7.1. Let o = s + -0.4. Let f be 0/2 - (-1 - 0). Which is greater: f or o?
f
Let a = -4 + 6. Let s(i) = i**3 - 3*i**2 + 1. Let o be s(a). Let j = -2 - o. Which is smaller: -1/4 or j?
-1/4
Let u(h) = -h**3 - 6*h**2. Let f be u(-6). Suppose 3*s + 4*i + 5 = -6, 2*i + 7 = -s. Let q be (s/15)/(4 + -3). Which is smaller: q or f?
f
Let o(j) = -j**2 + 11*j - 24. Let x be o(6). Which is bigger: 5 or x?
x
Let v be -38*1/20 - -2. Suppose 2*x + 3*y = 6*x - 28, 3*x + 3*y = 0. Let j be (8/(-12))/(x/(-6)). Which is smaller: j or v?
v
Let m be (-2)/10 - (-4)/(-5). Let f be 2 - ((-401)/(-616) - m). Let l = 2/77 + f. Is l >= 1?
False
Let g be (-6)/18*-5 + (-4)/6. Let r = 64 - 698/11. Is r equal to g?
False
Let i = 13 + -9. Suppose 0 = i*p + 31 - 3. Which is bigger: -8 or p?
p
Let x = 4 + 1. Suppose 3 = 4*m - x. Which is bigger: 4 or m?
4
Let o be 3 + (0/4 - 2). Let c(g) = 9*g**3 + g**2 - 2*g + 1. Let l be c(o). Is 10 != l?
True
Suppose 6*h - 3*h = 0. Let u be 1*5*(h - -1). Suppose -2*a + u*a = 6. Which is smaller: a or 1?
1
Suppose 0 = -5*y + 3*w + 24, 2*y + 4*w - 10 - 10 = 0. Is y <= -1?
False
Let n = 0.2 + -0.1. Let g = 5 + -5.1. Let v = n + g. Which is greater: 2 or v?
2
Let n = 18 + -16.9. Let z = n + -0.6. Which is smaller: 1 or z?
z
Let w be 5/2 - 3/6. Suppose -13 = w*o + 2*k - 7*k, 0 = -4*o + k + 1. Let t be (2*(0 - -1))/(616/(-56)). Is o >= t?
True
Let o = 71 - 70. Do o and 11/5 have the same value?
False
Let w = 5 - -4. Let y = w - 17. Let x = 11 + y. Is 2 equal to x?
False
Let v(s) = 19*s - 1. Let j be v(2). Is j less than or equal to 38?
True
Let u be (5/(-40))/(10/(-24)). Which is smaller: u or 0?
0
Let w = 1.8 - 1.64. Let n = -0.2 + w. Which is smaller: n or 1/4?
n
Let l be 5 - (141/48 - -2). Is -1 less than l?
True
Let b(v) = 2*v**3 - 4*v**2 + 4*v. Let a be b(2). Which is bigger: a or 6?
a
Let x = -255 + 521. Let t = -3992/15 + x. Which is bigger: t or 1?
1
Let a(q) = -q**3 + 5*q**2 - 2*q - 8. Let g be a(4). Which is greater: g or -1/9?
g
Let z(t) = -t + 1. Let y be z(2). Let w be -2*(-1)/2 + y. Let b be (-32)/(-18) + 1 + -3. Do b and w have different values?
True
Let a be 7/2 + (-3)/(-6) + -3. Let r be (-1)/(-3) - (-25)/33. Is r >= a?
True
Let y = 7/153 + -401/15453. Is 1 > y?
True
Let p(b) = -3*b - 7. Let g be p(-5). Suppose 3*t - 2*t - g = 5*h, 4*h + t + 10 = 0. Is -1/2 smaller than h?
False
Let x(h) = h**3 - 11*h**2 + h + 7. Let a be x(11). Is a bigger than 15?
True
Let n = -0.07 + 3.07. Let j = n - 0. Let v = j - 4. Is 0.2 > v?
True
Let j be 6/((-3)/(-12)*3). Which is smaller: j or 6?
6
Let i(z) = z**3 + 6*z**2 - 8*z - 6. Let a be i(-7). Let f be ((-6)/12)/(2/8). Let g be 3 - -2*f/3. Which is smaller: a or g?
a
Let g be (24/5)/((-1)/(-50)). Suppose -4*a + g = -0*a. Let c be 2 + a/(-27) + 0. Which is bigger: c or -1?
c
Let j(r) = r + 2. Let d be j(-2). Let o = 5 - d. Suppose -o*p = -0*p + 5. Which is smaller: p or -3?
-3
Let d = -0.4 - 3.5. Which is bigger: d or 0?
0
Let d = 401/2 + -195. Which is greater: 7 or d?
7
Suppose -18 = -i + 3*i. Let p = i + 18. Suppose 5*g + j + p = 2*j, -2*g + j - 3 = 0. Are g and -3 equal?
False
Let j be (-2)/4*(-14)/(-4). Are j and -2 non-equal?
True
Suppose 3*a - 5*p = 36, -5*a - p + 24 = -3*a. Is a at least as big as 9?
True
Let b be -6 + 0 + (-364)/(-42). Let q(d) = -d**3 + d**2 + 2. Let i be q(0). Which is smaller: i or b?
i
Let q = 0.09 + 0.21. Let p = 1.7 + q. Which is smaller: p or -3?
-3
Let z(i) = 0*i**2 + 6*i + i**2 - 2*i**2 - 8 + 3*i. Let k be z(8). Which is smaller: k or -4/5?
-4/5
Let d be ((-1)/2)/(5/(-40)). Suppose -4*u = 4*t + t + 29, -5*t = -d*u + 21. Is t at most as big as -5?
True
Let t = 325 - 988/3. Is -3 at least t?
True
Let p be (9/6)/((-6)/(-8)). Suppose 0 = 4*t - l - 4*l + 6, 4*t = -l + 6. Which is smaller: p or t?
t
Suppose 5*l - 3*j - 6 = -2*j, 5*l = 5*j - 10. Suppose -l*k + 13 = 43. Let m be (5/k)/((-2)/12). Is 2 equal to m?
True
Let s = 0.12 - 1.12. Which is greater: s or -0.05?
-0.05
Suppose -5*c + s - 6*s = 50, -4*c + 4*s - 24 = 0. Let w = 8 + c. Is w greater than or equal to 1?
False
Let z be 2 + -6 - (-4 + 1). Let r be 482/(-6) + z/(-3). Let v = r + 163/2. Which is smaller: v or 0?
0
Suppose 0*d + 4*d - 56 = 0. Is 2 smaller than d?
True
Suppose 0 = -4*g - j + 5*j - 28, g + j = -11. Is g greater than or equal to -9?
True
Let l(a) = 10*a**3 + 34*a**2 + 7*a - 7. Let s(v) = 7*v**3 + 23*v**2 + 5*v - 5. Let t(d) = -5*l(d) + 7*s(d). Let i be t(-9). Which is 