 + 2*m = g. Let b be (-10)/(-18)*(-16)/40. Is m < b?
False
Let x = 2.3 - 2. Let r = 1.1 + -18.1. Let q = r - -15. Is x at least as big as q?
True
Let a = 3 - 6. Which is greater: 1/8 or a?
1/8
Let x be (4 - 6)*1 - -2. Is 2/17 != x?
True
Suppose -111 = -4*m + 5*x, -m + 117 = 2*m + 3*x. Is m less than 2/3?
False
Suppose 0 = -2*r + l + l + 56, 5*l + 116 = 4*r. Let t be (-33)/r - (0 + -1). Suppose -5*w + x - 6*x - 5 = 0, 5*x = 0. Does t = w?
False
Let g(d) = d**2 - 11*d + 7. Suppose -3*b + 13 = -8. Let i be g(b). Let a = i - -41/2. Is -0.1 greater than a?
True
Let y = 17 + -11. Suppose v - y*v = -5. Is v greater than 2/31?
True
Suppose 0 = -4*r - 3 - 5. Is r less than or equal to -9?
False
Let q = 13 - 14. Let w(r) = r**2 - r - 1. Let h be w(q). Suppose 0 = -4*k - z + 3*z - 6, 15 = 5*z. Is h not equal to k?
True
Let h be (3/(-10))/(0 + (-12)/16). Which is smaller: -30 or h?
-30
Let i(k) = -k**3 + 13*k**2 - 22*k - 10. Let w be i(11). Is w != -1?
True
Let b = -1 + 11. Let f = b + -19/2. Let z = -4 - -6. Are z and f non-equal?
True
Let p(s) = s**3 - 6*s**2 + 2*s + 1. Let y be p(4). Let t be 2 + -2 + (-11)/y. Let l = t - 119/345. Which is smaller: l or -1?
-1
Suppose h - 5*h = -4. Let m be -2*6/4 + h. Let g be (-18)/(-4) + -2 + m. Which is greater: g or 0.3?
g
Let c = 7.69 - 8.1. Let w = c - -0.11. Which is smaller: 0 or w?
w
Let u = 3 - 6. Let l = -0.08 - -0.08. Are l and u unequal?
True
Suppose -14 = 4*y + 3*h + 9, -3 = 3*h. Let i be 0 - 8/(-180)*y. Which is greater: i or 0?
0
Let n = -8 + 7. Let s be (-23)/(-25) - n/(-1). Which is greater: -1 or s?
s
Let h(f) be the third derivative of f**6/120 - 7*f**5/60 - f**4/3 - f**3/2 - 2*f**2. Let u be h(8). Let l be (u/6)/(10/8). Is -1 at most as big as l?
True
Suppose -y + 4 = 3*h, -2*y = -6*y + 4*h + 16. Suppose y*w = -0*w + 4. Let s = 1 + w. Which is smaller: s or 1?
1
Let j = 313/78 + -25/6. Let n be 0/(-2 + -2 + 5). Suppose -2*s - 2 + n = -2*w, -12 = 4*w + 4*s. Which is smaller: j or w?
w
Let o = -2 + 1.9. Let x = 7.5 - 1.5. Let m = 5 - x. Is m less than o?
True
Let n = -1.56 + 1.9. Let d = n + 0.06. Which is bigger: -1 or d?
d
Suppose a - 5*p - 11 = 10, -3*a - 5*p = 37. Suppose 4*d + 3 = -3*i + 6*d, 0 = 4*i - 4*d. Is i != a?
True
Let n = -2.2 + 1.2. Is 2/11 greater than n?
True
Let w(u) = u - 4. Let t be w(9). Suppose -d + t*q - 17 - 9 = 0, -d - 3*q + 14 = 0. Which is bigger: 1/4 or d?
1/4
Let z = 0.86 - 0.66. Which is bigger: -17 or z?
z
Suppose 4*k = 5*k + 7. Is -47/6 less than or equal to k?
True
Suppose 3*y = -2*n - 16, -3*n - 6*y - 5 = -11*y. Does -2 = n?
False
Let s = 7 - 15. Let h = 9 + s. Do h and 1/17 have different values?
True
Let c = 15 - 7. Let u = c - 3. Is u smaller than -2/7?
False
Suppose -13*a - 210 - 102 = 0. Is -4 smaller than a?
False
Suppose 3*p = 4*p - 2. Suppose -3*s + 11 - p = 0. Which is bigger: s or -1?
s
Suppose p - n - 1 = -0*p, -4 = 4*n. Suppose -4*k + 2*k = p. Let h(v) = -v**3 - 4*v**2 - 4*v - 4. Let b be h(-3). Is b <= k?
True
Let r(d) = 2*d + 16. Let z be r(-7). Is z bigger than 5/3?
True
Suppose 2*d = -2*f - 2*f + 30, 4*d - f = 24. Is 8 at most d?
False
Let q = 22 - 25. Suppose -3*v + 4*l = -2*v - 18, v + 18 = -5*l. Let u be -4 + 2*-1 + v. Is u at least q?
False
Suppose p + 0*p - 7 = 2*v, -v - 3*p - 7 = 0. Let g be v/22 - (-4)/22. Suppose -5*t + 0*t - 25 = g. Does t = -5?
True
Let p(z) = 0*z**2 - 5*z**2 + 2*z - 6*z + z**3 - 2*z**3. Let c be p(-4). Is c >= 1/7?
False
Let i(m) = -m**2 - 3*m - 3. Let x = 1 - 0. Let q = x - 4. Let k be i(q). Does -3 = k?
True
Let h = -3 + 6. Let b be 13/(-10) + h - 2. Let p(f) = -f + 4. Let r be p(4). Is r <= b?
False
Let h be -1*(-4)/(4 + 0). Suppose -w = -2*q - h, 3*w - q - 6 - 2 = 0. Which is greater: 1 or w?
w
Let a(h) = -h - 11. Let z(v) = v**3 + 7*v**2 + 3*v + 8. Let l be z(-7). Let n be a(l). Is n at least 1?
True
Let d(n) = -3*n + 2. Let c be d(-6). Suppose -4*u - 30 = -5*w - 5, -5*u + 4*w - c = 0. Is 0 at most as big as u?
True
Let j be 2457/(-12) - (1 + -3). Let a = -205 - j. Is 0 less than or equal to a?
False
Let l be (-2 - 3)*(-2)/(-4). Let q = -7/6 - l. Are 0 and q equal?
False
Suppose 2*l + 3*a = 0, 4*l = l - 5*a + 2. Let q be (-2)/7 - (l + 6). Let z = -3 - -2. Which is greater: q or z?
q
Let h(r) = r**2 + 4*r + 3. Let x be h(-4). Suppose -t + 28 = -5*f + t, x*f = 5*t - 32. Let i = f + 4. Is -2/5 less than or equal to i?
True
Let y = -244 + 4146/17. Let k(h) = -h**2 - 3*h + 3. Let u be k(-4). Let d = u + 1. Which is smaller: d or y?
y
Let o(z) = -3*z**3 + 2*z**2 - 1. Let n be o(1). Let s = -4 - -11. Let f = s - 8. Are n and f unequal?
True
Let r(a) be the third derivative of a**5/60 - a**3/6 + 3*a**2. Let h be r(-1). Which is smaller: h or -2?
-2
Let a = 970 - 49468/51. Which is greater: a or -1?
a
Let n(j) = -j**2 + 13*j + 17. Let x be n(14). Let d = 1 - -2. Does x = d?
True
Suppose -2*c - 2*w + 2 = 0, 2*c - 5*w + 0*w = 23. Let u = c + -2. Is u less than or equal to 3?
True
Suppose -8*f + 15 = 7. Which is smaller: f or -22/5?
-22/5
Suppose 0 = -4*s + 3*s + 3. Suppose -3*c = -7*c + 12. Is c greater than or equal to s?
True
Let r = 14 - 11. Are r and -3 equal?
False
Suppose -2*u - 10 = q, 5*u = -2*q + 4*u - 5. Let a(f) = -3*f + 1. Let s be a(-6). Suppose 0 = -3*m - m - 2*j + 10, -5*m + 4*j = -s. Which is greater: q or m?
m
Suppose 0*v - 4*v + 5*b - 27 = 0, 5*v = -5*b - 45. Which is smaller: v or 1?
v
Let u = -1461/11 + 133. Which is smaller: 1 or u?
u
Let l = -1 + 1.3. Let v = -0.67 - -0.7. Let a = v + 0.97. Is l != a?
True
Let q be -2*(1 - 3/2). Let b be 0 - -4*(q + 1). Let o be (2/4)/(28/b). Is o at most as big as -1?
False
Suppose f - 3*x + 5*x - 8 = 0, -x = -2*f + 1. Is f >= 1/4?
True
Let p(l) = -3 + l**3 + 2 + 7*l**2 - 3*l**2 - 2*l**3. Let g(c) = -2*c - 8. Let r be g(-6). Let n be p(r). Which is greater: n or -1/2?
-1/2
Let l be 378/(-98) - 3/(-1). Which is bigger: l or -2?
l
Let t = -808/9 - -90. Let u = 0.2 + -0.24. Let z = 2.04 + u. Is z less than t?
False
Suppose -3*l - 2*l = 3*q + 10, 4*l = -5*q - 8. Are -5/4 and q unequal?
True
Let v = -17 + 24. Let x be (-3)/v + (-4)/7. Which is smaller: x or 0?
x
Let q be (1 - 2) + (-12)/1. Which is bigger: q or -14?
q
Let h(w) be the first derivative of -w**2/2 - 6*w + 2. Let p be h(-5). Is p bigger than 1?
False
Let t = -1 - -5. Let y = t - 3.9. Which is smaller: y or -1?
-1
Let p = -361 - -16969/47. Which is smaller: p or 1?
p
Suppose -20 = -f - 0*f - 4*b, -b = f - 5. Let c = 1 + f. Is c greater than or equal to 1?
True
Suppose 5*h + 3*m + 10 = -2*m, -3*h + m + 10 = 0. Let w = 0 - h. Suppose -c = -c - 4*c. Which is smaller: c or w?
w
Let p = -6 - 0. Is -6 greater than or equal to p?
True
Let t = 124 - 64. Is 59 at least t?
False
Let b = 7 + -5. Let z be -1*(-2 - 0)/b. Are z and 0 unequal?
True
Let k = -21 + 22. Does 1/20 = k?
False
Let n be (-11 - -8) + 39/12. Let m be (-12)/(-10)*(5 + -3). Which is smaller: n or m?
n
Let k be (-1)/(-2)*(0 + 2). Suppose k + 4 = -5*g. Are g and 8 equal?
False
Let z(g) = -g - 6. Let u be z(-9). Let l(y) = -y + 1. Let t be l(-3). Suppose 2*h - b - 7 = -2, -5*b = -t*h + 13. Which is smaller: u or h?
h
Let p(z) = z**2 + 8*z + 7. Let l be p(-7). Suppose 2*b = 3*c - l*b + 10, 2*c - b = -6. Are c and -2 unequal?
False
Let q(k) = -k - 10. Let w be q(-9). Let m = 87 - 44. Let y = m - 217/5. Which is greater: y or w?
y
Let m(q) = q**3 + 3*q**2 - q + 1. Let p be m(-2). Let y(h) = 5*h + 5. Let r be y(p). Let i = r + -278/7. Which is smaller: 0 or i?
0
Suppose 5*p - 3 = 3*w - 2, 2*w - 8 = -p. Let j = -1.885 - 0.115. Is w greater than j?
True
Suppose 3*i + 7 = o - 8, -4*o + 5 = -i. Let v(s) = 10 + o - s - 2. Let w be v(7). Which is smaller: w or 2?
w
Let m be 8/11 + (6 - 6). Which is greater: m or 1?
1
Let w = -1243/1112 - 1/139. Is -2 less than w?
True
Let l = -2 - 4. Suppose 32*y = 25*y - 35. Which is smaller: y or l?
l
Suppose 5*n - 4*l = 16, l + l = -5*n - 8. Suppose 3*b + 0 = 21. Suppose -2*t = -b*t. Is n at least t?
True
Let k = -6 - -26. Let n be ((-1)/(-2))/(1/16). Let a be ((-4)/(-10))/(n/k). Which is smaller: a or 2/7?
2/7
Suppose 4*i = -3*c - 1, -5*c + 6 = -5*i - 4. Is i at least -2/3?
False
Let i = -7.156 - 0.144. Let v = -1.3 - i. Is -2/9 at most v?
True
Suppose -l = 3*l - 8. Suppose 2*n + l*n = 0. Do -1/2 and n have different values?
True