 = 2*g - 3*g + 11. Let l be 1*9/(-3) + g. Is l at most as big as -3?
False
Let g = -4 + 8. Let c be ((-6)/18)/(2/(-12)). Suppose 0 = 3*x - c*x - 3. Which is bigger: g or x?
g
Let k = -6 + 9. Suppose -1 = -k*z + 5. Which is smaller: z or 4?
z
Suppose -2*f = 4*a - 4, 4*f = -11 - 5. Suppose -a*l + 0*l + 15 = 0. Suppose 0 = -4*t - l + 1. Is 0 greater than or equal to t?
True
Let w be (-1)/(-2)*(-4)/5. Suppose -2*i + 3*m = 21, -i + 4*m - 32 = 3*i. Let b = 2 + i. Do w and b have the same value?
False
Let a = -1.2 + 0.8. Let o = a - -0.6. Is -0.1 < o?
True
Let o be 10/3*(-12)/(-50). Let h(d) = -d**2 - 13*d - 7. Let r be h(-12). Suppose -r*m + 13 = -2*b, 3*b - 2*m + 5 = 2. Is b less than o?
False
Suppose 3*f + 3 = 4*q, 3*q - 2*f + 18 = 7*q. Suppose 4*p = -q*g + 2*p + 20, 4*p - 20 = -g. Which is bigger: 3 or g?
g
Let b be 0*(-2)/6 + 3. Let l be b - 67/13 - -2. Suppose 4*m = -1 + 5. Is m at least as big as l?
True
Let g = 61 - 62. Let b = 1906/15 - 127. Which is greater: g or b?
b
Let i = -3 - 3. Let h = 8 + i. Let s be (0 + 2)/(-4)*h. Which is smaller: s or 1/5?
s
Let s be (3/2)/(8 + 58). Which is bigger: s or 0?
s
Let c(g) = g**3 + 2*g**2 - 3*g - 1. Suppose m + 8 = 4*v + 5*m, -5*v - 3*m = 0. Let p be c(v). Let b be (-3)/12 + 7/12. Is b equal to p?
False
Let f = 0.33 - 0.3. Let p = -9 - -8.73. Let g = p - f. Are 0.1 and g equal?
False
Let v be 2/(-8) + 210/8. Let g = -103/4 + v. Let c = 7 + -8. Which is greater: g or c?
g
Let j be ((-19)/(-2))/(10/(-20)). Which is greater: -0.1 or j?
-0.1
Suppose 5*r + 23 = -b, 2*b - 4*r - r - 29 = 0. Suppose 0*s = -2*s + b. Let w be 2 + -2 + 2/12. Is w > s?
False
Suppose 0 = -4*m - 52 + 200. Let k = m + -21. Let h be 2/10 + k/20. Which is bigger: h or 3?
3
Let u = 11966/15 - 798. Is u at most as big as 1?
True
Let n = -0.45 - 0.05. Suppose -4*r - 18 + 2 = 0. Let i be 13/6 - (-6)/r. Which is smaller: i or n?
n
Let w be ((15/6)/5)/2. Let s(o) = -o**2 - 5*o - 6. Let v be s(-6). Let n be 1/(-2) - 14/v. Is w != n?
True
Suppose 3 = 3*y - 4*t - 5, -5*t + 1 = -y. Suppose 0 = -5*a + 3*v - 104, 0 = a - y*v + 41 - 10. Which is smaller: a or -20?
-20
Let b = -4/747 + -5812/30627. Which is smaller: 1 or b?
b
Suppose y = -4*l - 0 - 28, 5*l + 36 = -y. Which is smaller: l or 0?
l
Let q be 1/(3*2/18). Suppose -q*y - y = 0. Which is bigger: y or -1?
y
Let d be (3/18)/((-5)/20). Which is smaller: d or -1?
-1
Let c = -5 - -2. Let m be 10/c*(-6)/5. Which is bigger: 3 or m?
m
Let h = 12 + -22. Which is smaller: -9 or h?
h
Let n(s) = s**3 + 2*s**2 - 5*s - 3. Let y be n(-3). Suppose 6*i - 3 = y*i. Is 2/9 greater than i?
False
Let x = -22.992 + 23. Is 1/4 greater than x?
True
Suppose -12 = -s - 6. Is 5 < s?
True
Suppose 4*m = 2*v - 14, 4*m - 6*m + 4*v - 22 = 0. Let u be 2273/33 + (-4 - m). Let p = 196/3 - u. Is p < 0?
True
Let g = -23/175 - 11/25. Let j = -1 - -3. Suppose -5*f + 3*s = 20, -4*f - 2*s = j*s - 16. Which is bigger: g or f?
g
Let l = 171 + -122. Is 48 greater than l?
False
Let l be ((-9068)/(-10))/(-5 - 1). Let b = -151 - l. Let f be 0 - (3/9)/(5/15). Which is greater: b or f?
b
Let l = 23 - 23.09. Which is greater: 0 or l?
0
Suppose -7*r - 5 = -2*r. Let o be 1/(((-6)/3)/2). Do r and o have the same value?
True
Let g = -1.01 - 12.79. Let k = g - -14. Are -2/7 and k equal?
False
Suppose -5*d - 9 = 4*o, 0 = 2*o + 1 + 1. Let t be (-1 - d) + (-6)/(-9). Is t not equal to 1?
True
Let l(i) = 2*i**3 - 2*i**2 - i + 2. Let d be l(2). Let z = 5 - d. Let f be (-6)/z + 13/(-2). Is f not equal to -5?
True
Let o = 12 + -15. Which is bigger: -8 or o?
o
Let u be 19/7 + (-2)/(-7). Suppose 0 = -u*c + 2*c. Which is smaller: c or 2/5?
c
Suppose r = 3*r - 2. Let d(p) = p**3 - 8*p**2 + 2*p - 8. Let l be d(6). Let i = 750/11 + l. Is i less than or equal to r?
True
Let g be (3 - 5) + (-142)/6. Let d = 26 + g. Let s = 0.07 + -0.37. Which is bigger: d or s?
d
Let x = 2/31 - -90/527. Is 1 greater than x?
True
Suppose -2*f + 6*f - 4 = 0. Suppose 2*m - 5*j = f - 15, 6 = -2*m + j. Let c(p) = p**2 + 2*p - 1. Let s be c(m). Which is bigger: s or -0.2?
-0.2
Let b = -0.09 - 5.91. Let r = -8 - b. Let m = -1 - 1. Is m < r?
False
Suppose 2*j + 5*n - 20 = -2*j, 5*n = -j + 20. Which is smaller: j or 2?
j
Let m(k) = k**3 + 5*k**2 + 4*k - 4. Let r be m(-5). Does r = -24?
True
Suppose -6 = l - 3*l. Which is bigger: 4 or l?
4
Let j be 2 + (-21)/(-12) - 3. Let f be (3 + 10/(-4))*0. Is j equal to f?
False
Let t be 3 + (-1)/((-4)/(-12)). Is t > 1?
False
Let q = 73/456 + -2/57. Which is greater: q or -2/7?
q
Suppose 3 = -5*b - 7. Let v be 50/(-8) + 70/14. Is v at most b?
False
Let y(o) = o**2 + 10*o - 6. Let a be y(-11). Suppose 2*p - 3*m - 14 = m, -a*m - 14 = p. Is 2 greater than p?
True
Let f = 39419 + -39197.97. Let o = f + -223. Let v = 0.03 - o. Are v and -2 non-equal?
True
Suppose -5 = 4*v - 1, 2*i + v = 9. Suppose -w = -i*t - 13, -3*t = -8*t - 10. Which is greater: w or 2?
w
Suppose -3*c + a = -92, -3*a + 0*a = -2*c + 59. Suppose 0*l + 2*f = -l + 8, 3*l = f + c. Let r be ((-1)/2)/(5/l). Is -1/11 smaller than r?
False
Let z = -19 - -6. Suppose -24 = 4*p + l + 3*l, 2*p + 17 = -l. Which is smaller: p or z?
z
Suppose 2*u + 3*l = 35, l - 22 = -4*u + 23. Is u smaller than 12?
True
Let x = 81 + -80. Let q = -257/20 + 73/5. Is x bigger than q?
False
Let j = 132.2 - 132. Is j less than -2/9?
False
Let r = -1.5 + 1.89. Let x = -0.01 - r. Let z = 0.2 + x. Is z equal to -0.2?
True
Let z = -59987/52180 - 1/2609. Let o = -7/5 - z. Which is bigger: o or 1?
1
Let m be 2 + (7 - 3)/(-1). Let a be (-1)/(-2) + 1/m. Let n be ((-1)/(-4) + a)*1. Which is greater: n or -2/5?
n
Let u be (2 - -2) + 106/(-8). Which is greater: u or -8?
-8
Suppose -4 = -q + 4*h + 11, 2*h = -5*q + 97. Which is bigger: q or 16?
q
Suppose 4*b - 37 = 3*b. Is 36 at least as big as b?
False
Suppose -2*v - 3 = -5*c - v, -6 = -c + 2*v. Let b(u) = u + 36. Let t be b(c). Let q = t + -106/3. Which is greater: q or 2?
2
Suppose -3 = -l - 1. Suppose r = -3*y + l*r + 2, -28 = 3*y + 5*r. Let n be (2/(-4))/((-1)/(-4)). Is y greater than n?
True
Let s be -4 + (3 - 1) + -3. Suppose -326 = k - 319. Which is smaller: k or s?
k
Suppose -2*x - 5 = -5*p + 1, -5*p + x + 3 = 0. Suppose p = 2*c + r - 1, -9 = 5*r + 6. Which is smaller: 4/7 or c?
4/7
Let s = -19 + 3. Are s and -15 non-equal?
True
Suppose 0 = 3*a - 8 - 4. Which is smaller: 3 or a?
3
Let m(y) = y - 12. Let v be m(7). Which is greater: 0 or v?
0
Let v be (-6)/36*3/4. Which is bigger: v or 2/3?
2/3
Suppose -4*h + 9 = -7, -36 = -4*p - 4*h. Suppose p*f + 2 + 3 = 0. Suppose -4*r + 0*r = 0. Is f < r?
True
Let o be (-6)/9 - ((-116)/(-24) - 5). Let z = -2 + 0. Which is smaller: z or o?
z
Suppose 4*g = 339 - 3. Let i be 4/3*(-23)/g. Let d = i + 2/9. Which is greater: d or 1?
1
Suppose -4*k - k = -90. Let b be 12/k + 7/(-24). Let f(d) = d + 5. Let t be f(-6). Which is smaller: b or t?
t
Let s = 25 + -25. Let w be 6/8*4/60. Which is bigger: s or w?
w
Let h be 3/(3 - (1 + 1)). Suppose r = -h*r. Which is smaller: -2/13 or r?
-2/13
Let v = -62.1 - -57. Let m = v - -5. Is m at least as big as 0?
False
Let w be (5 + -1)*2/4. Suppose 20 = -3*u - 4*p, 20 = 3*u - 5*p - 5. Which is smaller: w or u?
u
Let z = 0.346 + -17.446. Let g = 17 + z. Is g != -1.2?
True
Let g = -3 - 1. Let u be (-7)/(-21) + g/9. Is u smaller than -2/7?
False
Let q be ((-3)/9)/((-6)/(-182)). Let u = q - -29/3. Which is smaller: u or -1?
-1
Suppose 0 = 6*k - 4*k. Let f = 2 + k. Which is smaller: -0.2 or f?
-0.2
Let p(s) = s**3 - s**2 + 1. Let u be p(-1). Which is greater: -1/10 or u?
-1/10
Suppose -5 - 1 = -3*n. Suppose 0 = -v + n*v - 3. Is v greater than 3?
False
Suppose -3*p + 2 = -2*p. Suppose x - p*x = 0. Let n = -49 - -340/7. Which is bigger: x or n?
x
Let m(b) = -b**2 + 10*b - 10. Suppose 0 = -0*x + 4*x, -2*j - 5*x + 18 = 0. Let t be m(j). Let o be ((20/(-3))/10)/(22/(-6)). Is o smaller than t?
False
Suppose 10 = 5*k - 0*l + 2*l, 0 = 2*k - 2*l + 10. Which is smaller: -1/24 or k?
-1/24
Let f be (-4)/(-10) - (-69)/15. Are 9/2 and f non-equal?
True
Suppose m + 6 = 3*m. Let g(c) = -3*c**2 + 3*c - 1. Let l be g(2). Let z(x) = x**2 + 8*x + 8. Let n be z(l). Which is smaller: n or m?
n
Let m be (3 + 2)*4/10. Suppose 0 = -m*l + 6 + 34. Suppose 3*n = 5*r - 30, 9 = 3*r - 4*n - l. Which is smaller: r or 4?
r
Suppose 4 = -h + u